0.00/0.00 c 2016-06-29T17:25:12+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-4117537-1467213912.opb"]
0.00/0.01 c use --random-gen="1080618414 540044106 3011112316 379721442 3407196107 2982495825 4014529127 2094524336 269765851 399368715 923655521 2045163355 1493980694 2804553347 1988453039 2275053902 3232577110 2339264715 134211743 3307209146 606480456 1497313558 812025047 3515754320 2202378298 1051681351 909479155 1389183446 3885669353 1108037726 587828804 3714279729 3513776061 3641290035 1518699089 2587375401 4117462428 1029909466 1580708886 664442818 795582334 3076042126 2733132387 3736670746 3752250853 3086600921 220656360 3996963159 2875360371 3854102629 3725658815 413513093 3910113035 844802802 242806179 674130706 2654521781 3791236090 3694980814 1587293924 4270821089 177050248 1316257781 2906930182 3177634040 2085670801 3357508408 71111306 538811503 3924301107 260275600 1890602663 2182974595 1423475968 2759246396 3664147872 3881340739 574534604 6963511 3541846250 2386393520 451695467 859994850 2500982840 3899448150 1111391662 649450072 3054082544 3248289025 2478053482 2389907600 891066065 1235204215 306478646 3277139151 708521194 2697027061 2393655043 67709887 2997230732 1462158480 2746162801 4053484059 3199433095 635380641 731947123 822627639 1861393798 2498656584 1497141958 1044080805 2548807206 3238146024 3802822139 242884849 3732434487 2283527256 1393781418 3432381370 1391074284 1369007417 2458141864 3818569913 3385924459 3109519639 2931608724 865565590 1078285062 2383180494 224110488 2375010814 1529568832 3684738514 1788547735 559611008 1798432267 4193093131 3242931888 3807090050 223188345 2566909299 450587254 3010528407 599835468 2773809735 3926111036 2850967305 2247343086 2523561574 2430704285 3353877482 2020062931 2816097250 3742895054 756199977 1908800128 1699461954 1765080894 2857622969 468220321 2205007551 3776316996 3170335674 2812525884 4253999944 4217625518 1353356969 4091014308 1098312107 1627227982 3590625759 3687913667 3992105064 20265230 3645506969 1532908145 3685579431 3969726801 3507268328 3721488483 3300179624 148451243 4014345675 699823336 4190248765 2850680033 3883648693 4290470427 3985026769 3547405526 3927561876 134490858 2301952440 1318571979 2261658077 1344843562 3155010050 3103851480 1203719680 2367643768 2768774272 438343083 3414712045 2532314500 1287659047 2477472857 3423271170 5345140 2324014492 270440844 2009067404 1707265966 845844361 1470054317 1273421539 173303777 3464442604 3861742820 3061335374 2587655393 2444592683 1131578473 762665801 2034089011 2030739569 2529420950 2573501689 848906966 96744222 673284336 245689992 698949913 1437531647 2955168446 1572377507 1022485028 2886005449 4246859587 2097244542 2830018777 4257060574 858113052 3144727120 2234832587 236821035 3800802066 1780666243 1856501747 2890710982 3922935761 1740544880 3665956285 4235370895 2159667574 3357944627 3145851922 255 362436" option to reproduce the execution
0.00/0.01 c #vars 256
0.00/0.01 c #constraints 94
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 | 142 0 | 18 | 0
0.00/0.03 c 0.0s | 1 | 131 | 100 | 142 0 | 18 | 0
0.00/0.06 c 0.0s | 2 | 336 | 250 | 157 0 | 18 | 0
0.00/0.09 c 0.1s | 3 | 657 | 475 | 173 2 | 18 | 0
0.09/0.15 c 0.1s | 4 | 1093 | 813 | 191 5 | 18 | 0
0.19/0.26 c 0.2s | 5 | 1695 | 1320 | 211 8 | 18 | 0
0.38/0.40 c 0.4s | 6 | 2683 | 2081 | 257 13 | 18 | 0
0.49/0.54 c 0.5s | 6 | 3452 | 2672 | 257 17 | 18 | 0
0.49/0.54 c #cpu_time = 0.522s
0.49/0.54 c #wall_clock_time = 0.523s
0.49/0.54 c #decision = 3452
0.49/0.54 c #random_decision = 15
0.49/0.54 c #conflict = 2672
0.49/0.54 c #restart = 6
0.49/0.54 o 115
0.49/0.54 c BCD2: updating upper bound: 256 -> 114
0.49/0.54 c BCD2: 0 <= obj <= 114
0.49/0.54 c BCD2: #cores=0, #unrelaxed=256, #relaxed=0, #hardened=0
0.49/0.54 c BCD2: #sat=1 #unsat=1 bias=1/2
0.49/0.54 c Solving starts ...
0.49/0.54 c ============================[ Search Statistics ]============================
0.49/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.54 c | | | | Limit GC | Var | Constra
0.49/0.54 c =============================================================================
0.49/0.54 c 0.0s | 0 | 0 | 0 | 257 0 | 18 | 0
0.49/0.54 c 0.0s | 0 | 5 | 0 | 257 0 | 18 | 0
0.49/0.54 c #cpu_time = 0.001s
0.49/0.54 c #wall_clock_time = 0.001s
0.49/0.54 c #decision = 5
0.49/0.54 c #random_decision = 0
0.49/0.54 c #conflict = 0
0.49/0.54 c #restart = 0
0.49/0.54 c BCD2: found a new core of size 6: cost of the new core is >=1
0.49/0.54 c lower bound updated to 1
0.49/0.54 c BCD2: 1 <= obj <= 114
0.49/0.54 c BCD2: #cores=1, #unrelaxed=250, #relaxed=6, #hardened=0
0.49/0.54 c BCD2: #sat=1 #unsat=2 bias=2/3
0.49/0.54 c Solving starts ...
0.49/0.54 c ============================[ Search Statistics ]============================
0.49/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.54 c | | | | Limit GC | Var | Constra
0.49/0.54 c =============================================================================
0.49/0.54 c 0.0s | 0 | 0 | 0 | 257 0 | 18 | 0
0.49/0.54 c 0.0s | 0 | 6 | 1 | 257 0 | 18 | 0
0.49/0.54 c #cpu_time = 0.001s
0.49/0.54 c #wall_clock_time = 0.001s
0.49/0.54 c #decision = 6
0.49/0.54 c #random_decision = 0
0.49/0.54 c #conflict = 1
0.49/0.54 c #restart = 0
0.49/0.55 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.49/0.55 c lower bound updated to 2
0.49/0.55 c BCD2: 2 <= obj <= 114
0.49/0.55 c BCD2: #cores=1, #unrelaxed=245, #relaxed=11, #hardened=0
0.49/0.55 c BCD2: #sat=1 #unsat=3 bias=3/4
0.49/0.55 c Solving starts ...
0.49/0.55 c ============================[ Search Statistics ]============================
0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.55 c | | | | Limit GC | Var | Constra
0.49/0.55 c =============================================================================
0.49/0.55 c 0.0s | 0 | 0 | 0 | 257 0 | 19 | 0
0.49/0.55 c 0.0s | 0 | 12 | 0 | 257 0 | 19 | 1
0.49/0.55 c #cpu_time = 0.001s
0.49/0.55 c #wall_clock_time = 0.001s
0.49/0.55 c #decision = 12
0.49/0.55 c #random_decision = 0
0.49/0.55 c #conflict = 0
0.49/0.55 c #restart = 0
0.49/0.55 c BCD2: found a new core of size 10: cost of the new core is >=1
0.49/0.55 c lower bound updated to 3
0.49/0.55 c BCD2: 3 <= obj <= 114
0.49/0.55 c BCD2: #cores=2, #unrelaxed=235, #relaxed=21, #hardened=0
0.49/0.55 c BCD2: #sat=1 #unsat=4 bias=4/5
0.49/0.55 c Solving starts ...
0.49/0.55 c ============================[ Search Statistics ]============================
0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.55 c | | | | Limit GC | Var | Constra
0.49/0.55 c =============================================================================
0.49/0.55 c 0.0s | 0 | 0 | 0 | 257 0 | 19 | 1
0.49/0.55 c 0.0s | 0 | 8 | 0 | 257 0 | 19 | 1
0.49/0.55 c #cpu_time = 0.001s
0.49/0.55 c #wall_clock_time = 0.001s
0.49/0.55 c #decision = 8
0.49/0.55 c #random_decision = 0
0.49/0.55 c #conflict = 0
0.49/0.55 c #restart = 0
0.49/0.55 c BCD2: found a new core of size 2: cost of the new core is >=1
0.49/0.55 c lower bound updated to 4
0.49/0.55 c BCD2: 4 <= obj <= 114
0.49/0.55 c BCD2: #cores=3, #unrelaxed=233, #relaxed=23, #hardened=0
0.49/0.55 c BCD2: #sat=1 #unsat=5 bias=5/6
0.49/0.55 c Solving starts ...
0.49/0.55 c ============================[ Search Statistics ]============================
0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.55 c | | | | Limit GC | Var | Constra
0.49/0.55 c =============================================================================
0.49/0.55 c 0.0s | 0 | 0 | 0 | 257 0 | 19 | 2
0.49/0.55 c 0.0s | 0 | 19 | 0 | 257 0 | 19 | 2
0.49/0.55 c #cpu_time = 0.001s
0.49/0.55 c #wall_clock_time = 0.001s
0.49/0.55 c #decision = 19
0.49/0.55 c #random_decision = 0
0.49/0.55 c #conflict = 0
0.49/0.55 c #restart = 0
0.49/0.55 c BCD2: found a new core of size 12: cost of the new core is >=1
0.49/0.55 c lower bound updated to 5
0.49/0.55 c BCD2: 5 <= obj <= 114
0.49/0.55 c BCD2: #cores=4, #unrelaxed=221, #relaxed=35, #hardened=0
0.49/0.55 c BCD2: #sat=1 #unsat=6 bias=6/7
0.49/0.55 c Solving starts ...
0.49/0.55 c ============================[ Search Statistics ]============================
0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.55 c | | | | Limit GC | Var | Constra
0.49/0.55 c =============================================================================
0.49/0.55 c 0.0s | 0 | 0 | 0 | 257 0 | 19 | 2
0.49/0.55 c 0.0s | 0 | 12 | 0 | 257 0 | 19 | 2
0.49/0.55 c #cpu_time = 0.001s
0.49/0.55 c #wall_clock_time = 0.001s
0.49/0.55 c #decision = 12
0.49/0.55 c #random_decision = 0
0.49/0.55 c #conflict = 0
0.49/0.55 c #restart = 0
0.49/0.55 c BCD2: found a new core of size 3: cost of the new core is >=1
0.49/0.55 c lower bound updated to 6
0.49/0.55 c BCD2: 6 <= obj <= 114
0.49/0.55 c BCD2: #cores=5, #unrelaxed=218, #relaxed=38, #hardened=0
0.49/0.55 c BCD2: #sat=1 #unsat=7 bias=7/8
0.49/0.55 c Solving starts ...
0.49/0.55 c ============================[ Search Statistics ]============================
0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.55 c | | | | Limit GC | Var | Constra
0.49/0.55 c =============================================================================
0.49/0.55 c 0.0s | 0 | 0 | 0 | 257 0 | 19 | 3
0.49/0.55 c 0.0s | 0 | 18 | 0 | 257 0 | 19 | 3
0.49/0.55 c #cpu_time = 0.001s
0.49/0.55 c #wall_clock_time = 0.001s
0.49/0.55 c #decision = 18
0.49/0.55 c #random_decision = 0
0.49/0.55 c #conflict = 0
0.49/0.55 c #restart = 0
0.49/0.55 c BCD2: found a new core of size 8: cost of the new core is >=1
0.49/0.55 c lower bound updated to 7
0.49/0.55 c BCD2: 7 <= obj <= 114
0.49/0.55 c BCD2: #cores=6, #unrelaxed=210, #relaxed=46, #hardened=0
0.49/0.55 c BCD2: #sat=1 #unsat=8 bias=8/9
0.49/0.55 c Solving starts ...
0.49/0.55 c ============================[ Search Statistics ]============================
0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.55 c | | | | Limit GC | Var | Constra
0.49/0.55 c =============================================================================
0.49/0.55 c 0.0s | 0 | 0 | 0 | 257 0 | 19 | 3
0.49/0.55 c 0.0s | 0 | 19 | 1 | 257 0 | 19 | 3
0.49/0.55 c #cpu_time = 0.001s
0.49/0.55 c #wall_clock_time = 0.001s
0.49/0.55 c #decision = 19
0.49/0.55 c #random_decision = 0
0.49/0.55 c #conflict = 1
0.49/0.55 c #restart = 0
0.49/0.55 c BCD2: relaxing 7 and merging with 1 cores into a new core of size 15: cost of the new core is >=2
0.49/0.55 c lower bound updated to 8
0.49/0.55 c BCD2: 8 <= obj <= 114
0.49/0.55 c BCD2: #cores=6, #unrelaxed=203, #relaxed=53, #hardened=0
0.49/0.55 c BCD2: #sat=1 #unsat=9 bias=9/10
0.49/0.56 c Solving starts ...
0.49/0.56 c ============================[ Search Statistics ]============================
0.49/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.56 c | | | | Limit GC | Var | Constra
0.49/0.56 c =============================================================================
0.49/0.56 c 0.0s | 0 | 0 | 0 | 257 0 | 20 | 3
0.49/0.56 c 0.0s | 0 | 24 | 0 | 257 0 | 20 | 4
0.49/0.56 c #cpu_time = 0.001s
0.49/0.56 c #wall_clock_time = 0.001s
0.49/0.56 c #decision = 24
0.49/0.56 c #random_decision = 0
0.49/0.56 c #conflict = 0
0.49/0.56 c #restart = 0
0.49/0.56 c BCD2: found a new core of size 12: cost of the new core is >=1
0.49/0.56 c lower bound updated to 9
0.49/0.56 c BCD2: 9 <= obj <= 114
0.49/0.56 c BCD2: #cores=7, #unrelaxed=191, #relaxed=65, #hardened=0
0.49/0.56 c BCD2: #sat=1 #unsat=10 bias=10/11
0.49/0.56 c Solving starts ...
0.49/0.56 c ============================[ Search Statistics ]============================
0.49/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.56 c | | | | Limit GC | Var | Constra
0.49/0.56 c =============================================================================
0.49/0.56 c 0.0s | 0 | 0 | 0 | 257 0 | 20 | 4
0.49/0.56 c 0.0s | 0 | 27 | 0 | 257 0 | 20 | 4
0.49/0.56 c #cpu_time = 0.001s
0.49/0.56 c #wall_clock_time = 0.001s
0.49/0.56 c #decision = 27
0.49/0.56 c #random_decision = 0
0.49/0.56 c #conflict = 0
0.49/0.56 c #restart = 0
0.49/0.56 c BCD2: found a new core of size 10: cost of the new core is >=1
0.49/0.56 c lower bound updated to 10
0.49/0.56 c BCD2: 10 <= obj <= 114
0.49/0.56 c BCD2: #cores=8, #unrelaxed=181, #relaxed=75, #hardened=0
0.49/0.56 c BCD2: #sat=1 #unsat=11 bias=11/12
0.49/0.56 c Solving starts ...
0.49/0.56 c ============================[ Search Statistics ]============================
0.49/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.56 c | | | | Limit GC | Var | Constra
0.49/0.56 c =============================================================================
0.49/0.56 c 0.0s | 0 | 0 | 0 | 257 0 | 20 | 4
0.49/0.56 c 0.0s | 0 | 23 | 0 | 257 0 | 20 | 4
0.49/0.56 c #cpu_time = 0.001s
0.49/0.56 c #wall_clock_time = 0.001s
0.49/0.56 c #decision = 23
0.49/0.56 c #random_decision = 0
0.49/0.56 c #conflict = 0
0.49/0.56 c #restart = 0
0.49/0.56 c BCD2: found a new core of size 2: cost of the new core is >=1
0.49/0.56 c lower bound updated to 11
0.49/0.56 c BCD2: 11 <= obj <= 114
0.49/0.56 c BCD2: #cores=9, #unrelaxed=179, #relaxed=77, #hardened=0
0.49/0.56 c BCD2: #sat=1 #unsat=12 bias=12/13
0.49/0.56 c Solving starts ...
0.49/0.56 c ============================[ Search Statistics ]============================
0.49/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.56 c | | | | Limit GC | Var | Constra
0.49/0.56 c =============================================================================
0.49/0.56 c 0.0s | 0 | 0 | 0 | 257 0 | 20 | 4
0.49/0.56 c 0.0s | 0 | 34 | 0 | 257 0 | 20 | 4
0.49/0.56 c #cpu_time = 0.001s
0.49/0.56 c #wall_clock_time = 0.001s
0.49/0.56 c #decision = 34
0.49/0.56 c #random_decision = 0
0.49/0.56 c #conflict = 0
0.49/0.56 c #restart = 0
0.49/0.56 c BCD2: found a new core of size 11: cost of the new core is >=1
0.49/0.56 c lower bound updated to 12
0.49/0.56 c BCD2: 12 <= obj <= 114
0.49/0.56 c BCD2: #cores=10, #unrelaxed=168, #relaxed=88, #hardened=0
0.49/0.56 c BCD2: #sat=1 #unsat=13 bias=13/14
0.49/0.56 c Solving starts ...
0.49/0.56 c ============================[ Search Statistics ]============================
0.49/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.56 c | | | | Limit GC | Var | Constra
0.49/0.56 c =============================================================================
0.49/0.56 c 0.0s | 0 | 0 | 0 | 257 0 | 20 | 4
0.49/0.56 c 0.0s | 0 | 50 | 1 | 257 0 | 20 | 4
0.49/0.56 c #cpu_time = 0.001s
0.49/0.56 c #wall_clock_time = 0.001s
0.49/0.56 c #decision = 50
0.49/0.56 c #random_decision = 0
0.49/0.56 c #conflict = 1
0.49/0.56 c #restart = 0
0.49/0.56 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.49/0.56 c lower bound updated to 13
0.49/0.56 c BCD2: 13 <= obj <= 114
0.49/0.56 c BCD2: #cores=10, #unrelaxed=167, #relaxed=89, #hardened=0
0.49/0.56 c BCD2: #sat=1 #unsat=14 bias=14/15
0.49/0.56 c Solving starts ...
0.49/0.56 c ============================[ Search Statistics ]============================
0.49/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.56 c | | | | Limit GC | Var | Constra
0.49/0.56 c =============================================================================
0.49/0.56 c 0.0s | 0 | 0 | 0 | 257 0 | 21 | 4
0.49/0.56 c 0.0s | 0 | 39 | 0 | 257 0 | 21 | 5
0.49/0.56 c #cpu_time = 0.001s
0.49/0.56 c #wall_clock_time = 0.001s
0.49/0.56 c #decision = 39
0.49/0.56 c #random_decision = 0
0.49/0.56 c #conflict = 0
0.49/0.56 c #restart = 0
0.49/0.56 c BCD2: found a new core of size 11: cost of the new core is >=1
0.49/0.56 c lower bound updated to 14
0.49/0.56 c BCD2: 14 <= obj <= 114
0.49/0.56 c BCD2: #cores=11, #unrelaxed=156, #relaxed=100, #hardened=0
0.49/0.56 c BCD2: #sat=1 #unsat=15 bias=15/16
0.49/0.57 c Solving starts ...
0.49/0.57 c ============================[ Search Statistics ]============================
0.49/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.57 c | | | | Limit GC | Var | Constra
0.49/0.57 c =============================================================================
0.49/0.57 c 0.0s | 0 | 0 | 0 | 257 0 | 21 | 5
0.49/0.57 c 0.0s | 0 | 39 | 0 | 257 0 | 21 | 5
0.49/0.57 c #cpu_time = 0.001s
0.49/0.57 c #wall_clock_time = 0.001s
0.49/0.57 c #decision = 39
0.49/0.57 c #random_decision = 0
0.49/0.57 c #conflict = 0
0.49/0.57 c #restart = 0
0.49/0.57 c BCD2: found a new core of size 9: cost of the new core is >=1
0.49/0.57 c lower bound updated to 15
0.49/0.57 c BCD2: 15 <= obj <= 114
0.49/0.57 c BCD2: #cores=12, #unrelaxed=147, #relaxed=109, #hardened=0
0.49/0.57 c BCD2: #sat=1 #unsat=16 bias=16/17
0.49/0.57 c Solving starts ...
0.49/0.57 c ============================[ Search Statistics ]============================
0.49/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.57 c | | | | Limit GC | Var | Constra
0.49/0.57 c =============================================================================
0.49/0.57 c 0.0s | 0 | 0 | 0 | 257 0 | 21 | 5
0.49/0.57 c 0.0s | 0 | 37 | 0 | 257 0 | 21 | 5
0.49/0.57 c #cpu_time = 0.001s
0.49/0.57 c #wall_clock_time = 0.001s
0.49/0.57 c #decision = 37
0.49/0.57 c #random_decision = 0
0.49/0.57 c #conflict = 0
0.49/0.57 c #restart = 0
0.49/0.57 c BCD2: found a new core of size 6: cost of the new core is >=1
0.49/0.57 c lower bound updated to 16
0.49/0.57 c BCD2: 16 <= obj <= 114
0.49/0.57 c BCD2: #cores=13, #unrelaxed=141, #relaxed=115, #hardened=0
0.49/0.57 c BCD2: #sat=1 #unsat=17 bias=17/18
0.49/0.57 c Solving starts ...
0.49/0.57 c ============================[ Search Statistics ]============================
0.49/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.57 c | | | | Limit GC | Var | Constra
0.49/0.57 c =============================================================================
0.49/0.57 c 0.0s | 0 | 0 | 0 | 257 0 | 21 | 5
0.49/0.57 c 0.0s | 0 | 35 | 0 | 257 0 | 21 | 5
0.49/0.57 c #cpu_time = 0.001s
0.49/0.57 c #wall_clock_time = 0.001s
0.49/0.57 c #decision = 35
0.49/0.57 c #random_decision = 0
0.49/0.57 c #conflict = 0
0.49/0.57 c #restart = 0
0.49/0.57 c BCD2: found a new core of size 4: cost of the new core is >=1
0.49/0.57 c lower bound updated to 17
0.49/0.57 c BCD2: 17 <= obj <= 114
0.49/0.57 c BCD2: #cores=14, #unrelaxed=137, #relaxed=119, #hardened=0
0.49/0.57 c BCD2: #sat=1 #unsat=18 bias=18/19
0.49/0.57 c Solving starts ...
0.49/0.57 c ============================[ Search Statistics ]============================
0.49/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.57 c | | | | Limit GC | Var | Constra
0.49/0.57 c =============================================================================
0.49/0.57 c 0.0s | 0 | 0 | 0 | 257 0 | 21 | 5
0.49/0.57 c 0.0s | 0 | 44 | 0 | 257 0 | 21 | 5
0.49/0.57 c #cpu_time = 0.001s
0.49/0.57 c #wall_clock_time = 0.001s
0.49/0.57 c #decision = 44
0.49/0.57 c #random_decision = 0
0.49/0.57 c #conflict = 0
0.49/0.57 c #restart = 0
0.49/0.57 c BCD2: found a new core of size 10: cost of the new core is >=1
0.49/0.57 c lower bound updated to 18
0.49/0.57 c BCD2: 18 <= obj <= 114
0.49/0.57 c BCD2: #cores=15, #unrelaxed=127, #relaxed=129, #hardened=0
0.49/0.57 c BCD2: #sat=1 #unsat=19 bias=19/20
0.49/0.57 c Solving starts ...
0.49/0.57 c ============================[ Search Statistics ]============================
0.49/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.57 c | | | | Limit GC | Var | Constra
0.49/0.57 c =============================================================================
0.49/0.57 c 0.0s | 0 | 0 | 0 | 257 0 | 21 | 5
0.49/0.57 c 0.0s | 0 | 52 | 0 | 257 0 | 21 | 5
0.49/0.57 c #cpu_time = 0.001s
0.49/0.57 c #wall_clock_time = 0.001s
0.49/0.57 c #decision = 52
0.49/0.57 c #random_decision = 0
0.49/0.57 c #conflict = 0
0.49/0.57 c #restart = 0
0.49/0.57 c BCD2: found a new core of size 11: cost of the new core is >=1
0.49/0.57 c lower bound updated to 19
0.49/0.57 c BCD2: 19 <= obj <= 114
0.49/0.57 c BCD2: #cores=16, #unrelaxed=116, #relaxed=140, #hardened=0
0.49/0.57 c BCD2: #sat=1 #unsat=20 bias=20/21
0.49/0.57 c Solving starts ...
0.49/0.57 c ============================[ Search Statistics ]============================
0.49/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.57 c | | | | Limit GC | Var | Constra
0.49/0.57 c =============================================================================
0.49/0.57 c 0.0s | 0 | 0 | 0 | 257 0 | 21 | 5
0.49/0.57 c 0.0s | 0 | 56 | 1 | 257 0 | 21 | 5
0.49/0.57 c #cpu_time = 0.001s
0.49/0.57 c #wall_clock_time = 0.001s
0.49/0.57 c #decision = 56
0.49/0.57 c #random_decision = 0
0.49/0.57 c #conflict = 1
0.49/0.57 c #restart = 0
0.49/0.58 c BCD2: found a new core of size 15: cost of the new core is >=1
0.49/0.58 c lower bound updated to 20
0.49/0.58 c BCD2: 20 <= obj <= 114
0.49/0.58 c BCD2: #cores=17, #unrelaxed=101, #relaxed=155, #hardened=0
0.49/0.58 c BCD2: #sat=1 #unsat=21 bias=21/22
0.49/0.58 c Solving starts ...
0.49/0.58 c ============================[ Search Statistics ]============================
0.49/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.58 c | | | | Limit GC | Var | Constra
0.49/0.58 c =============================================================================
0.49/0.58 c 0.0s | 0 | 0 | 0 | 257 0 | 21 | 5
0.49/0.58 c 0.0s | 0 | 50 | 1 | 257 0 | 21 | 5
0.49/0.58 c #cpu_time = 0.001s
0.49/0.58 c #wall_clock_time = 0.001s
0.49/0.58 c #decision = 50
0.49/0.58 c #random_decision = 0
0.49/0.58 c #conflict = 1
0.49/0.58 c #restart = 0
0.49/0.58 c BCD2: relaxing 8 and merging with 1 cores into a new core of size 23: cost of the new core is >=2
0.49/0.58 c lower bound updated to 21
0.49/0.58 c BCD2: 21 <= obj <= 114
0.49/0.58 c BCD2: #cores=17, #unrelaxed=93, #relaxed=163, #hardened=0
0.49/0.58 c BCD2: #sat=1 #unsat=22 bias=22/23
0.49/0.58 c Solving starts ...
0.49/0.58 c ============================[ Search Statistics ]============================
0.49/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.58 c | | | | Limit GC | Var | Constra
0.49/0.58 c =============================================================================
0.49/0.58 c 0.0s | 0 | 0 | 0 | 257 0 | 22 | 5
0.49/0.58 c 0.0s | 0 | 42 | 0 | 257 0 | 22 | 6
0.49/0.58 c #cpu_time = 0.001s
0.49/0.58 c #wall_clock_time = 0.001s
0.49/0.58 c #decision = 42
0.49/0.58 c #random_decision = 0
0.49/0.58 c #conflict = 0
0.49/0.58 c #restart = 0
0.49/0.58 c BCD2: found a new core of size 1: cost of the new core is >=1
0.49/0.58 c lower bound updated to 22
0.49/0.58 c BCD2: 22 <= obj <= 114
0.49/0.58 c BCD2: #cores=18, #unrelaxed=92, #relaxed=164, #hardened=0
0.49/0.58 c BCD2: #sat=1 #unsat=23 bias=23/24
0.49/0.58 c Solving starts ...
0.49/0.58 c ============================[ Search Statistics ]============================
0.49/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.58 c | | | | Limit GC | Var | Constra
0.49/0.58 c =============================================================================
0.49/0.58 c 0.0s | 0 | 0 | 0 | 257 0 | 22 | 6
0.49/0.58 c 0.0s | 0 | 53 | 0 | 257 0 | 22 | 6
0.49/0.58 c #cpu_time = 0.001s
0.49/0.58 c #wall_clock_time = 0.001s
0.49/0.58 c #decision = 53
0.49/0.58 c #random_decision = 0
0.49/0.58 c #conflict = 0
0.49/0.58 c #restart = 0
0.49/0.58 c BCD2: found a new core of size 11: cost of the new core is >=1
0.49/0.58 c lower bound updated to 23
0.49/0.58 c BCD2: 23 <= obj <= 114
0.49/0.58 c BCD2: #cores=19, #unrelaxed=81, #relaxed=175, #hardened=0
0.49/0.58 c BCD2: #sat=1 #unsat=24 bias=24/25
0.49/0.58 c Solving starts ...
0.49/0.58 c ============================[ Search Statistics ]============================
0.49/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.58 c | | | | Limit GC | Var | Constra
0.49/0.58 c =============================================================================
0.49/0.58 c 0.0s | 0 | 0 | 0 | 257 0 | 22 | 6
0.49/0.58 c 0.0s | 0 | 47 | 0 | 257 0 | 22 | 6
0.49/0.58 c #cpu_time = 0.001s
0.49/0.58 c #wall_clock_time = 0.001s
0.49/0.58 c #decision = 47
0.49/0.58 c #random_decision = 0
0.49/0.58 c #conflict = 0
0.49/0.58 c #restart = 0
0.49/0.58 c BCD2: found a new core of size 1: cost of the new core is >=1
0.49/0.58 c lower bound updated to 24
0.49/0.58 c BCD2: 24 <= obj <= 114
0.49/0.58 c BCD2: #cores=20, #unrelaxed=80, #relaxed=176, #hardened=0
0.49/0.58 c BCD2: #sat=1 #unsat=25 bias=25/26
0.49/0.58 c Solving starts ...
0.49/0.58 c ============================[ Search Statistics ]============================
0.49/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.58 c | | | | Limit GC | Var | Constra
0.49/0.58 c =============================================================================
0.49/0.58 c 0.0s | 0 | 0 | 0 | 257 0 | 22 | 6
0.49/0.58 c 0.0s | 0 | 49 | 0 | 257 0 | 22 | 6
0.49/0.58 c #cpu_time = 0.001s
0.49/0.58 c #wall_clock_time = 0.001s
0.49/0.58 c #decision = 49
0.49/0.58 c #random_decision = 0
0.49/0.58 c #conflict = 0
0.49/0.58 c #restart = 0
0.49/0.58 c BCD2: found a new core of size 1: cost of the new core is >=1
0.49/0.58 c lower bound updated to 25
0.49/0.58 c BCD2: 25 <= obj <= 114
0.49/0.58 c BCD2: #cores=21, #unrelaxed=79, #relaxed=177, #hardened=0
0.49/0.58 c BCD2: #sat=1 #unsat=26 bias=26/27
0.49/0.58 c Solving starts ...
0.49/0.58 c ============================[ Search Statistics ]============================
0.49/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.58 c | | | | Limit GC | Var | Constra
0.49/0.58 c =============================================================================
0.49/0.58 c 0.0s | 0 | 0 | 0 | 257 0 | 22 | 6
0.49/0.59 c 0.0s | 0 | 57 | 0 | 257 0 | 22 | 6
0.49/0.59 c #cpu_time = 0.001s
0.49/0.59 c #wall_clock_time = 0.001s
0.49/0.59 c #decision = 57
0.49/0.59 c #random_decision = 0
0.49/0.59 c #conflict = 0
0.49/0.59 c #restart = 0
0.49/0.59 c BCD2: found a new core of size 9: cost of the new core is >=1
0.49/0.59 c lower bound updated to 26
0.49/0.59 c BCD2: 26 <= obj <= 114
0.49/0.59 c BCD2: #cores=22, #unrelaxed=70, #relaxed=186, #hardened=0
0.49/0.59 c BCD2: #sat=1 #unsat=27 bias=27/28
0.49/0.59 c Solving starts ...
0.49/0.59 c ============================[ Search Statistics ]============================
0.49/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.59 c | | | | Limit GC | Var | Constra
0.49/0.59 c =============================================================================
0.49/0.59 c 0.0s | 0 | 0 | 0 | 257 0 | 22 | 6
0.49/0.59 c 0.0s | 0 | 54 | 0 | 257 0 | 22 | 6
0.49/0.59 c #cpu_time = 0.001s
0.49/0.59 c #wall_clock_time = 0.001s
0.49/0.59 c #decision = 54
0.49/0.59 c #random_decision = 0
0.49/0.59 c #conflict = 0
0.49/0.59 c #restart = 0
0.49/0.59 c BCD2: found a new core of size 1: cost of the new core is >=1
0.49/0.59 c lower bound updated to 27
0.49/0.59 c BCD2: 27 <= obj <= 114
0.49/0.59 c BCD2: #cores=23, #unrelaxed=69, #relaxed=187, #hardened=0
0.49/0.59 c BCD2: #sat=1 #unsat=28 bias=28/29
0.49/0.59 c Solving starts ...
0.49/0.59 c ============================[ Search Statistics ]============================
0.49/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.59 c | | | | Limit GC | Var | Constra
0.49/0.59 c =============================================================================
0.49/0.59 c 0.0s | 0 | 0 | 0 | 257 0 | 22 | 6
0.49/0.59 c 0.0s | 0 | 56 | 0 | 257 0 | 22 | 6
0.49/0.59 c #cpu_time = 0.001s
0.49/0.59 c #wall_clock_time = 0.001s
0.49/0.59 c #decision = 56
0.49/0.59 c #random_decision = 0
0.49/0.59 c #conflict = 0
0.49/0.59 c #restart = 0
0.49/0.59 c BCD2: found a new core of size 1: cost of the new core is >=1
0.49/0.59 c lower bound updated to 28
0.49/0.59 c BCD2: 28 <= obj <= 114
0.49/0.59 c BCD2: #cores=24, #unrelaxed=68, #relaxed=188, #hardened=0
0.49/0.59 c BCD2: #sat=1 #unsat=29 bias=29/30
0.49/0.59 c Solving starts ...
0.49/0.59 c ============================[ Search Statistics ]============================
0.49/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.59 c | | | | Limit GC | Var | Constra
0.49/0.59 c =============================================================================
0.49/0.59 c 0.0s | 0 | 0 | 0 | 257 0 | 22 | 6
0.49/0.59 c 0.0s | 0 | 58 | 0 | 257 0 | 22 | 6
0.49/0.59 c #cpu_time = 0.001s
0.49/0.59 c #wall_clock_time = 0.001s
0.49/0.59 c #decision = 58
0.49/0.59 c #random_decision = 0
0.49/0.59 c #conflict = 0
0.49/0.59 c #restart = 0
0.49/0.59 c BCD2: found a new core of size 1: cost of the new core is >=1
0.49/0.59 c lower bound updated to 29
0.49/0.59 c BCD2: 29 <= obj <= 114
0.49/0.59 c BCD2: #cores=25, #unrelaxed=67, #relaxed=189, #hardened=0
0.49/0.59 c BCD2: #sat=1 #unsat=30 bias=30/31
0.49/0.59 c Solving starts ...
0.49/0.59 c ============================[ Search Statistics ]============================
0.49/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.59 c | | | | Limit GC | Var | Constra
0.49/0.59 c =============================================================================
0.49/0.59 c 0.0s | 0 | 0 | 0 | 257 0 | 22 | 6
0.49/0.59 c 0.0s | 0 | 65 | 1 | 257 0 | 22 | 6
0.49/0.59 c #cpu_time = 0.001s
0.49/0.59 c #wall_clock_time = 0.001s
0.49/0.59 c #decision = 65
0.49/0.59 c #random_decision = 0
0.49/0.59 c #conflict = 1
0.49/0.59 c #restart = 0
0.49/0.59 c BCD2: found a new core of size 22: cost of the new core is >=1
0.49/0.59 c lower bound updated to 30
0.49/0.59 c BCD2: 30 <= obj <= 114
0.49/0.59 c BCD2: #cores=26, #unrelaxed=45, #relaxed=211, #hardened=0
0.49/0.59 c BCD2: #sat=1 #unsat=31 bias=31/32
0.49/0.59 c Solving starts ...
0.49/0.59 c ============================[ Search Statistics ]============================
0.49/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.59 c | | | | Limit GC | Var | Constra
0.49/0.59 c =============================================================================
0.49/0.59 c 0.0s | 0 | 0 | 0 | 257 0 | 22 | 6
0.49/0.59 c 0.0s | 0 | 48 | 0 | 257 0 | 22 | 6
0.49/0.59 c #cpu_time = 0.001s
0.49/0.59 c #wall_clock_time = 0.001s
0.49/0.59 c #decision = 48
0.49/0.59 c #random_decision = 0
0.49/0.59 c #conflict = 0
0.49/0.59 c #restart = 0
0.49/0.59 c BCD2: found a new core of size 1: cost of the new core is >=1
0.49/0.59 c lower bound updated to 31
0.49/0.59 c BCD2: 31 <= obj <= 114
0.49/0.59 c BCD2: #cores=27, #unrelaxed=44, #relaxed=212, #hardened=0
0.49/0.59 c BCD2: #sat=1 #unsat=32 bias=32/33
0.49/0.59 c Solving starts ...
0.49/0.59 c ============================[ Search Statistics ]============================
0.49/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.59 c | | | | Limit GC | Var | Constra
0.49/0.59 c =============================================================================
0.49/0.59 c 0.0s | 0 | 0 | 0 | 257 0 | 22 | 6
0.49/0.60 c 0.0s | 0 | 50 | 0 | 257 0 | 22 | 6
0.49/0.60 c #cpu_time = 0.001s
0.49/0.60 c #wall_clock_time = 0.001s
0.49/0.60 c #decision = 50
0.49/0.60 c #random_decision = 0
0.49/0.60 c #conflict = 0
0.49/0.60 c #restart = 0
0.49/0.60 c BCD2: found a new core of size 1: cost of the new core is >=1
0.49/0.60 c lower bound updated to 32
0.49/0.60 c BCD2: 32 <= obj <= 114
0.49/0.60 c BCD2: #cores=28, #unrelaxed=43, #relaxed=213, #hardened=0
0.49/0.60 c BCD2: #sat=1 #unsat=33 bias=33/34
0.49/0.60 c Solving starts ...
0.58/0.60 c ============================[ Search Statistics ]============================
0.58/0.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.58/0.60 c | | | | Limit GC | Var | Constra
0.58/0.60 c =============================================================================
0.58/0.60 c 0.0s | 0 | 0 | 0 | 257 0 | 22 | 6
0.58/0.60 c 0.0s | 0 | 51 | 0 | 257 0 | 22 | 6
0.58/0.60 c #cpu_time = 0.001s
0.58/0.60 c #wall_clock_time = 0.001s
0.58/0.60 c #decision = 51
0.58/0.60 c #random_decision = 0
0.58/0.60 c #conflict = 0
0.58/0.60 c #restart = 0
0.58/0.60 c BCD2: found a new core of size 1: cost of the new core is >=1
0.58/0.60 c lower bound updated to 33
0.58/0.60 c BCD2: 33 <= obj <= 114
0.58/0.60 c BCD2: #cores=29, #unrelaxed=42, #relaxed=214, #hardened=0
0.58/0.60 c BCD2: #sat=1 #unsat=34 bias=34/35
0.58/0.60 c Solving starts ...
0.58/0.60 c ============================[ Search Statistics ]============================
0.58/0.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.58/0.60 c | | | | Limit GC | Var | Constra
0.58/0.60 c =============================================================================
0.58/0.60 c 0.0s | 0 | 0 | 0 | 257 0 | 22 | 6
0.58/0.60 c 0.0s | 0 | 53 | 0 | 257 0 | 22 | 6
0.58/0.60 c #cpu_time = 0.001s
0.58/0.60 c #wall_clock_time = 0.001s
0.58/0.60 c #decision = 53
0.58/0.60 c #random_decision = 0
0.58/0.60 c #conflict = 0
0.58/0.60 c #restart = 0
0.58/0.60 c BCD2: found a new core of size 1: cost of the new core is >=1
0.58/0.60 c lower bound updated to 34
0.58/0.60 c BCD2: 34 <= obj <= 114
0.58/0.60 c BCD2: #cores=30, #unrelaxed=41, #relaxed=215, #hardened=0
0.58/0.60 c BCD2: #sat=1 #unsat=35 bias=35/36
0.58/0.60 c Solving starts ...
0.58/0.60 c ============================[ Search Statistics ]============================
0.58/0.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.58/0.60 c | | | | Limit GC | Var | Constra
0.58/0.60 c =============================================================================
0.58/0.60 c 0.0s | 0 | 0 | 0 | 257 0 | 22 | 6
0.58/0.60 c 0.0s | 0 | 59 | 0 | 257 0 | 22 | 6
0.58/0.60 c #cpu_time = 0.001s
0.58/0.60 c #wall_clock_time = 0.001s
0.58/0.60 c #decision = 59
0.58/0.60 c #random_decision = 0
0.58/0.60 c #conflict = 0
0.58/0.60 c #restart = 0
0.58/0.60 c BCD2: found a new core of size 7: cost of the new core is >=1
0.58/0.60 c lower bound updated to 35
0.58/0.60 c BCD2: 35 <= obj <= 114
0.58/0.60 c BCD2: #cores=31, #unrelaxed=34, #relaxed=222, #hardened=0
0.58/0.60 c BCD2: #sat=1 #unsat=36 bias=36/37
0.58/0.60 c Solving starts ...
0.58/0.60 c ============================[ Search Statistics ]============================
0.58/0.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.58/0.60 c | | | | Limit GC | Var | Constra
0.58/0.60 c =============================================================================
0.58/0.60 c 0.0s | 0 | 0 | 0 | 257 0 | 22 | 6
0.58/0.60 c 0.0s | 0 | 56 | 0 | 257 0 | 22 | 6
0.58/0.60 c #cpu_time = 0.001s
0.58/0.60 c #wall_clock_time = 0.001s
0.58/0.60 c #decision = 56
0.58/0.60 c #random_decision = 0
0.58/0.60 c #conflict = 0
0.58/0.60 c #restart = 0
0.58/0.60 c BCD2: found a new core of size 1: cost of the new core is >=1
0.58/0.60 c lower bound updated to 36
0.58/0.60 c BCD2: 36 <= obj <= 114
0.58/0.60 c BCD2: #cores=32, #unrelaxed=33, #relaxed=223, #hardened=0
0.58/0.60 c BCD2: #sat=1 #unsat=37 bias=37/38
0.58/0.60 c Solving starts ...
0.58/0.60 c ============================[ Search Statistics ]============================
0.58/0.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.58/0.60 c | | | | Limit GC | Var | Constra
0.58/0.60 c =============================================================================
0.58/0.60 c 0.0s | 0 | 0 | 0 | 257 0 | 22 | 6
0.58/0.60 c 0.0s | 0 | 58 | 0 | 257 0 | 22 | 6
0.58/0.60 c #cpu_time = 0.001s
0.58/0.60 c #wall_clock_time = 0.001s
0.58/0.60 c #decision = 58
0.58/0.60 c #random_decision = 0
0.58/0.60 c #conflict = 0
0.58/0.60 c #restart = 0
0.58/0.60 c BCD2: found a new core of size 1: cost of the new core is >=1
0.58/0.60 c lower bound updated to 37
0.58/0.60 c BCD2: 37 <= obj <= 114
0.58/0.60 c BCD2: #cores=33, #unrelaxed=32, #relaxed=224, #hardened=0
0.58/0.60 c BCD2: #sat=1 #unsat=38 bias=38/39
0.58/0.60 c Solving starts ...
0.58/0.60 c ============================[ Search Statistics ]============================
0.58/0.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.58/0.60 c | | | | Limit GC | Var | Constra
0.58/0.60 c =============================================================================
0.58/0.60 c 0.0s | 0 | 0 | 0 | 257 0 | 22 | 6
0.58/0.61 c 0.0s | 0 | 163 | 20 | 257 0 | 22 | 6
0.58/0.61 c #cpu_time = 0.003s
0.58/0.61 c #wall_clock_time = 0.003s
0.58/0.61 c #decision = 163
0.58/0.61 c #random_decision = 0
0.58/0.61 c #conflict = 20
0.58/0.61 c #restart = 0
0.58/0.61 c BCD2: relaxing 10 and merging with 3 cores into a new core of size 45: cost of the new core is >=4
0.58/0.61 c lower bound updated to 38
0.58/0.61 c BCD2: 38 <= obj <= 114
0.58/0.61 c BCD2: #cores=31, #unrelaxed=22, #relaxed=234, #hardened=0
0.58/0.61 c BCD2: #sat=1 #unsat=39 bias=39/40
0.58/0.61 c Solving starts ...
0.58/0.61 c ============================[ Search Statistics ]============================
0.58/0.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.58/0.61 c | | | | Limit GC | Var | Constra
0.58/0.61 c =============================================================================
0.58/0.61 c 0.0s | 0 | 0 | 0 | 257 0 | 25 | 6
0.58/0.62 c 0.0s | 1 | 358 | 100 | 257 0 | 25 | 9
0.58/0.65 c 0.0s | 2 | 694 | 250 | 257 1 | 25 | 9
0.58/0.69 c 0.1s | 3 | 1097 | 475 | 257 3 | 25 | 9
0.69/0.71 c 0.1s | 3 | 1252 | 572 | 283 3 | 25 | 9
0.69/0.71 c #cpu_time = 0.097s
0.69/0.71 c #wall_clock_time = 0.097s
0.69/0.71 c #decision = 1252
0.69/0.71 c #random_decision = 2
0.69/0.71 c #conflict = 572
0.69/0.71 c #restart = 3
0.69/0.71 c BCD2: relaxing 9 and merging with 13 cores into a new core of size 126: cost of the new core is >=16
0.69/0.71 c lower bound updated to 39
0.69/0.71 c BCD2: 39 <= obj <= 114
0.69/0.71 c BCD2: #cores=19, #unrelaxed=13, #relaxed=243, #hardened=0
0.69/0.71 c BCD2: #sat=1 #unsat=40 bias=40/41
0.69/0.71 c Solving starts ...
0.69/0.71 c ============================[ Search Statistics ]============================
0.69/0.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.71 c | | | | Limit GC | Var | Constra
0.69/0.71 c =============================================================================
0.69/0.71 c 0.0s | 0 | 0 | 0 | 283 0 | 39 | 9
0.69/0.73 c 0.0s | 1 | 226 | 100 | 283 0 | 39 | 24
0.69/0.74 c 0.0s | 2 | 446 | 250 | 283 0 | 39 | 24
0.69/0.76 c 0.1s | 3 | 704 | 475 | 283 2 | 39 | 24
0.69/0.78 c 0.1s | 4 | 1077 | 813 | 283 4 | 39 | 24
0.79/0.86 c 0.2s | 5 | 1686 | 1320 | 283 6 | 39 | 24
0.99/1.02 c 0.3s | 6 | 2628 | 2081 | 312 9 | 39 | 24
1.10/1.13 c 0.4s | 7 | 4157 | 3223 | 312 15 | 39 | 24
1.20/1.25 c 0.5s | 8 | 6267 | 4936 | 344 23 | 39 | 24
1.39/1.48 c 0.8s | 9 | 9325 | 7506 | 344 34 | 39 | 24
1.69/1.77 c 1.1s | 10 | 13912 | 11361 | 379 51 | 39 | 24
2.20/2.22 c 1.5s | 11 | 20717 | 17144 | 417 74 | 39 | 24
2.79/2.89 c 2.2s | 12 | 30376 | 25819 | 459 107 | 39 | 24
3.89/3.99 c 3.3s | 13 | 44540 | 38832 | 505 153 | 39 | 24
5.60/5.61 c 4.9s | 14 | 65423 | 58352 | 556 218 | 39 | 24
7.59/7.62 c 6.9s | 14 | 92261 | 82452 | 556 293 | 39 | 24
8.09/8.10 c 7.4s | 15 | 98303 | 87632 | 612 308 | 39 | 24
10.09/10.10 c 9.4s | 15 | 124847 | 111132 | 612 375 | 39 | 24
11.89/11.97 c 11.3s | 16 | 146904 | 131552 | 674 431 | 39 | 24
13.89/13.97 c 13.3s | 16 | 169744 | 152652 | 674 487 | 39 | 24
15.89/15.98 c 15.3s | 16 | 191583 | 173252 | 674 540 | 39 | 24
17.89/17.99 c 17.3s | 16 | 215109 | 195052 | 742 598 | 39 | 24
18.19/18.22 c 17.5s | 17 | 217694 | 197432 | 742 603 | 39 | 24
20.19/20.22 c 19.5s | 17 | 240626 | 218232 | 742 653 | 39 | 24
22.19/22.23 c 21.5s | 17 | 263110 | 239332 | 742 703 | 39 | 24
24.20/24.23 c 23.5s | 17 | 284865 | 259632 | 742 752 | 39 | 24
26.19/26.23 c 25.5s | 17 | 307075 | 279932 | 742 800 | 39 | 24
27.69/27.74 c 27.0s | 18 | 324955 | 296252 | 817 838 | 39 | 24
29.69/29.74 c 29.0s | 18 | 350009 | 318452 | 817 887 | 39 | 24
31.69/31.74 c 31.0s | 18 | 374095 | 340052 | 817 935 | 39 | 24
33.69/33.74 c 33.0s | 18 | 397272 | 361352 | 817 982 | 39 | 24
35.69/35.75 c 35.0s | 18 | 420301 | 382052 | 817 1028 | 39 | 24
37.68/37.76 c 37.1s | 18 | 441549 | 401852 | 817 1072 | 39 | 24
39.69/39.77 c 39.1s | 18 | 463529 | 422252 | 817 1118 | 39 | 24
41.68/41.77 c 41.1s | 18 | 485728 | 442752 | 899 1163 | 39 | 24
41.89/41.95 c 41.2s | 19 | 487654 | 444482 | 899 1166 | 39 | 24
43.88/43.95 c 43.2s | 19 | 509229 | 464482 | 899 1207 | 39 | 24
45.38/45.49 c 44.8s | 19 | 524746 | 479196 | 899 1238 | 39 | 24
45.38/45.49 c #cpu_time = 44.673s
45.38/45.49 c #wall_clock_time = 44.788s
45.38/45.49 c #decision = 524746
45.38/45.49 c #random_decision = 2117
45.38/45.49 c #conflict = 479196
45.38/45.49 c #restart = 19
45.38/45.49 c BCD2: relaxing 4 and merging with 2 cores into a new core of size 58: cost of the new core is >=6
45.38/45.49 c lower bound updated to 40
45.38/45.49 c BCD2: 40 <= obj <= 114
45.38/45.49 c BCD2: #cores=18, #unrelaxed=9, #relaxed=247, #hardened=0
45.38/45.49 c BCD2: #sat=1 #unsat=41 bias=41/42
45.38/45.49 c Solving starts ...
45.38/45.49 c ============================[ Search Statistics ]============================
45.38/45.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
45.38/45.49 c | | | | Limit GC | Var | Constra
45.38/45.49 c =============================================================================
45.38/45.49 c 0.0s | 0 | 0 | 0 | 899 0 | 41 | 24
45.48/45.51 c 0.0s | 1 | 162 | 100 | 899 0 | 41 | 26
45.48/45.53 c 0.0s | 2 | 445 | 250 | 899 0 | 41 | 26
45.48/45.55 c 0.1s | 3 | 768 | 475 | 899 0 | 41 | 26
45.48/45.58 c 0.1s | 4 | 1297 | 813 | 899 0 | 41 | 26
45.58/45.63 c 0.1s | 5 | 2105 | 1320 | 899 1 | 41 | 26
45.68/45.74 c 0.2s | 6 | 3390 | 2081 | 899 3 | 41 | 26
45.78/45.88 c 0.4s | 7 | 4897 | 3223 | 899 5 | 41 | 26
46.08/46.13 c 0.6s | 8 | 7277 | 4936 | 899 8 | 41 | 26
46.38/46.46 c 1.0s | 9 | 10776 | 7506 | 899 13 | 41 | 26
46.88/46.91 c 1.4s | 10 | 15716 | 11361 | 899 21 | 41 | 26
47.68/47.79 c 2.3s | 11 | 22535 | 17144 | 899 32 | 41 | 26
48.68/48.79 c 3.3s | 12 | 33225 | 25819 | 899 49 | 41 | 26
50.78/50.80 c 5.3s | 12 | 46383 | 37219 | 899 71 | 41 | 26
50.98/51.08 c 5.6s | 13 | 48264 | 38832 | 899 75 | 41 | 26
53.08/53.10 c 7.6s | 13 | 62254 | 50332 | 899 97 | 41 | 26
54.58/54.65 c 9.2s | 14 | 72066 | 58352 | 899 112 | 41 | 26
56.58/56.65 c 11.2s | 14 | 86355 | 70152 | 899 135 | 41 | 26
58.48/58.55 c 13.1s | 15 | 106297 | 87632 | 899 170 | 41 | 26
60.49/60.56 c 15.1s | 15 | 119512 | 98732 | 899 192 | 41 | 26
62.48/62.57 c 17.1s | 15 | 131893 | 109132 | 899 213 | 41 | 26
64.48/64.57 c 19.1s | 15 | 144835 | 119932 | 899 235 | 41 | 26
66.48/66.59 c 21.1s | 15 | 157720 | 130632 | 899 256 | 41 | 26
66.68/66.78 c 21.3s | 16 | 158790 | 131552 | 899 258 | 41 | 26
68.68/68.78 c 23.3s | 16 | 172402 | 142752 | 899 280 | 41 | 26
70.68/70.79 c 25.3s | 16 | 189467 | 156552 | 899 307 | 41 | 26
72.78/72.81 c 27.3s | 16 | 206111 | 170252 | 899 334 | 41 | 26
74.79/74.82 c 29.3s | 16 | 222622 | 183552 | 989 360 | 41 | 26
76.78/76.82 c 31.3s | 16 | 237933 | 195852 | 989 382 | 41 | 26
76.99/77.09 c 31.6s | 17 | 239912 | 197432 | 989 385 | 41 | 26
78.98/79.09 c 33.6s | 17 | 262792 | 215732 | 989 419 | 41 | 26
81.08/81.10 c 35.6s | 17 | 286560 | 233432 | 989 451 | 41 | 26
83.08/83.11 c 37.6s | 17 | 314454 | 251832 | 989 485 | 41 | 26
85.08/85.11 c 39.6s | 17 | 341150 | 269532 | 989 518 | 41 | 26
87.08/87.12 c 41.6s | 17 | 366290 | 287232 | 989 550 | 41 | 26
88.18/88.20 c 42.7s | 18 | 378042 | 296252 | 989 567 | 41 | 26
90.08/90.20 c 44.7s | 18 | 404288 | 314352 | 989 600 | 41 | 26
92.18/92.21 c 46.7s | 18 | 428909 | 331752 | 989 633 | 41 | 26
94.18/94.21 c 48.7s | 18 | 451255 | 348852 | 989 664 | 41 | 26
96.17/96.22 c 50.7s | 18 | 474985 | 367152 | 989 698 | 41 | 26
98.17/98.23 c 52.7s | 18 | 499166 | 384752 | 989 730 | 41 | 26
100.18/100.23 c 54.7s | 18 | 522174 | 401652 | 989 761 | 41 | 26
102.17/102.23 c 56.7s | 18 | 544195 | 418552 | 989 792 | 41 | 26
104.17/104.23 c 58.7s | 18 | 567190 | 435852 | 989 824 | 41 | 26
105.17/105.24 c 59.7s | 19 | 578574 | 444482 | 989 839 | 41 | 26
107.17/107.25 c 61.8s | 19 | 605784 | 462982 | 989 873 | 41 | 26
109.17/109.25 c 63.8s | 19 | 631037 | 481282 | 989 907 | 41 | 26
111.18/111.26 c 65.8s | 19 | 657063 | 499882 | 989 941 | 41 | 26
113.17/113.26 c 67.8s | 19 | 682034 | 518182 | 1088 974 | 41 | 26
115.17/115.27 c 69.8s | 19 | 701215 | 533382 | 1088 999 | 41 | 26
117.17/117.28 c 71.8s | 19 | 721003 | 548582 | 1088 1025 | 41 | 26
119.17/119.28 c 73.8s | 19 | 739949 | 563782 | 1088 1051 | 41 | 26
121.18/121.29 c 75.8s | 19 | 763259 | 581382 | 1088 1080 | 41 | 26
123.18/123.30 c 77.8s | 19 | 783956 | 596682 | 1088 1106 | 41 | 26
125.28/125.30 c 79.8s | 19 | 805304 | 613082 | 1088 1134 | 41 | 26
127.27/127.31 c 81.8s | 19 | 827889 | 630882 | 1088 1163 | 41 | 26
129.27/129.31 c 83.8s | 19 | 852172 | 648182 | 1088 1192 | 41 | 26
131.27/131.32 c 85.8s | 19 | 877094 | 664682 | 1088 1220 | 41 | 26
131.47/131.60 c 86.1s | 20 | 880454 | 666827 | 1088 1224 | 41 | 26
133.57/133.60 c 88.1s | 20 | 905783 | 683127 | 1088 1251 | 41 | 26
135.57/135.61 c 90.1s | 20 | 923353 | 696027 | 1088 1273 | 41 | 26
137.58/137.61 c 92.1s | 20 | 942320 | 710327 | 1088 1297 | 41 | 26
139.57/139.62 c 94.1s | 20 | 961528 | 725027 | 1088 1322 | 41 | 26
141.57/141.62 c 96.1s | 20 | 983945 | 741927 | 1088 1350 | 41 | 26
143.57/143.63 c 98.1s | 20 | 1011293 | 759427 | 1088 1380 | 41 | 26
145.57/145.63 c 100s | 20 | 1031304 | 773927 | 1088 1405 | 41 | 26
147.57/147.64 c 102s | 20 | 1051650 | 788327 | 1088 1429 | 41 | 26
149.57/149.64 c 104s | 20 | 1071368 | 802427 | 1088 1453 | 41 | 26
151.57/151.64 c 106s | 20 | 1093152 | 817927 | 1088 1479 | 41 | 26
153.57/153.65 c 108s | 20 | 1115046 | 833327 | 1088 1505 | 41 | 26
155.57/155.65 c 110s | 20 | 1137468 | 849027 | 1088 1531 | 41 | 26
157.56/157.65 c 112s | 20 | 1157150 | 864127 | 1088 1557 | 41 | 26
159.57/159.66 c 114s | 20 | 1176625 | 878727 | 1088 1581 | 41 | 26
161.56/161.67 c 116s | 20 | 1197155 | 893027 | 1088 1605 | 41 | 26
163.56/163.68 c 118s | 20 | 1219535 | 907727 | 1088 1630 | 41 | 26
165.56/165.68 c 120s | 20 | 1241762 | 922827 | 1088 1655 | 41 | 26
167.57/167.69 c 122s | 20 | 1264916 | 938227 | 1088 1681 | 41 | 26
169.67/169.70 c 124s | 20 | 1284535 | 952627 | 1088 1706 | 41 | 26
171.67/171.71 c 126s | 20 | 1306372 | 967927 | 1088 1731 | 41 | 26
173.67/173.72 c 128s | 20 | 1327151 | 982827 | 1088 1757 | 41 | 26
175.67/175.74 c 130s | 20 | 1347874 | 997427 | 1088 1781 | 41 | 26
176.07/176.14 c 130s | 21 | 1351949 | 1000345 | 1088 1786 | 41 | 26
178.07/178.15 c 132s | 21 | 1366395 | 1011845 | 1197 1804 | 41 | 26
180.07/180.16 c 134s | 21 | 1379023 | 1022545 | 1197 1821 | 41 | 26
182.07/182.18 c 136s | 21 | 1395021 | 1035245 | 1197 1840 | 41 | 26
184.07/184.19 c 138s | 21 | 1412851 | 1048945 | 1197 1862 | 41 | 26
186.06/186.19 c 140s | 21 | 1432986 | 1064645 | 1197 1886 | 41 | 26
188.17/188.20 c 142s | 21 | 1452325 | 1079645 | 1197 1909 | 41 | 26
190.16/190.22 c 144s | 21 | 1465547 | 1090345 | 1197 1925 | 41 | 26
192.16/192.22 c 146s | 21 | 1479353 | 1101745 | 1197 1943 | 41 | 26
194.16/194.22 c 148s | 21 | 1496039 | 1114645 | 1197 1963 | 41 | 26
196.16/196.23 c 150s | 21 | 1514799 | 1129545 | 1197 1986 | 41 | 26
198.16/198.23 c 152s | 21 | 1532668 | 1144145 | 1197 2008 | 41 | 26
200.17/200.25 c 154s | 21 | 1548953 | 1158045 | 1197 2030 | 41 | 26
202.16/202.25 c 156s | 21 | 1567741 | 1173045 | 1197 2053 | 41 | 26
204.16/204.25 c 158s | 21 | 1585925 | 1187245 | 1197 2075 | 41 | 26
206.16/206.26 c 160s | 21 | 1602448 | 1201245 | 1197 2097 | 41 | 26
208.16/208.26 c 162s | 21 | 1619137 | 1215145 | 1197 2118 | 41 | 26
210.16/210.26 c 164s | 21 | 1635416 | 1227845 | 1197 2138 | 41 | 26
212.16/212.28 c 166s | 21 | 1651057 | 1240245 | 1197 2157 | 41 | 26
214.15/214.29 c 168s | 21 | 1669251 | 1255045 | 1197 2179 | 41 | 26
216.25/216.30 c 170s | 21 | 1684812 | 1267845 | 1197 2199 | 41 | 26
218.25/218.30 c 172s | 21 | 1702807 | 1282745 | 1197 2222 | 41 | 26
220.25/220.30 c 174s | 21 | 1721043 | 1297645 | 1197 2245 | 41 | 26
222.26/222.32 c 176s | 21 | 1737658 | 1311545 | 1197 2267 | 41 | 26
224.25/224.32 c 178s | 21 | 1753712 | 1324645 | 1197 2287 | 41 | 26
226.25/226.33 c 180s | 21 | 1770487 | 1338945 | 1197 2310 | 41 | 26
228.25/228.33 c 182s | 21 | 1791139 | 1353745 | 1197 2332 | 41 | 26
230.25/230.34 c 184s | 21 | 1810417 | 1368545 | 1197 2355 | 41 | 26
232.25/232.34 c 186s | 21 | 1826567 | 1381945 | 1197 2376 | 41 | 26
234.26/234.35 c 188s | 21 | 1843787 | 1396245 | 1197 2398 | 41 | 26
236.25/236.35 c 190s | 21 | 1861785 | 1410445 | 1197 2420 | 41 | 26
238.25/238.36 c 192s | 21 | 1882436 | 1426045 | 1197 2444 | 41 | 26
240.25/240.36 c 194s | 21 | 1903043 | 1441245 | 1197 2468 | 41 | 26
242.25/242.37 c 196s | 21 | 1924094 | 1456745 | 1197 2492 | 41 | 26
244.26/244.37 c 198s | 21 | 1942781 | 1471045 | 1197 2514 | 41 | 26
246.25/246.38 c 200s | 21 | 1961974 | 1486445 | 1197 2538 | 41 | 26
248.05/248.19 c 202s | 22 | 1981612 | 1500622 | 1197 2560 | 41 | 26
250.15/250.20 c 204s | 22 | 2007075 | 1516622 | 1197 2585 | 41 | 26
252.15/252.20 c 206s | 22 | 2027750 | 1530522 | 1197 2606 | 41 | 26
254.15/254.21 c 208s | 22 | 2047437 | 1544522 | 1197 2628 | 41 | 26
256.16/256.21 c 210s | 22 | 2068597 | 1559622 | 1197 2651 | 41 | 26
258.15/258.22 c 212s | 22 | 2089831 | 1575022 | 1197 2675 | 41 | 26
260.15/260.22 c 214s | 22 | 2112014 | 1590422 | 1197 2699 | 41 | 26
262.15/262.23 c 216s | 22 | 2135652 | 1606022 | 1197 2723 | 41 | 26
264.15/264.23 c 218s | 22 | 2158250 | 1621622 | 1197 2747 | 41 | 26
266.16/266.24 c 220s | 22 | 2178608 | 1635822 | 1197 2769 | 41 | 26
268.15/268.24 c 222s | 22 | 2199475 | 1650022 | 1197 2791 | 41 | 26
270.15/270.25 c 224s | 22 | 2220226 | 1666122 | 1197 2816 | 41 | 26
272.15/272.25 c 226s | 22 | 2241518 | 1682522 | 1197 2841 | 41 | 26
274.15/274.26 c 228s | 22 | 2263468 | 1699522 | 1197 2867 | 41 | 26
276.16/276.27 c 230s | 22 | 2282644 | 1714422 | 1197 2891 | 41 | 26
278.15/278.28 c 232s | 22 | 2301154 | 1729322 | 1197 2914 | 41 | 26
280.15/280.29 c 234s | 22 | 2320766 | 1744222 | 1197 2937 | 41 | 26
282.25/282.30 c 236s | 22 | 2341427 | 1759022 | 1317 2959 | 41 | 26
284.25/284.30 c 238s | 22 | 2363051 | 1774122 | 1317 2980 | 41 | 26
286.25/286.31 c 240s | 22 | 2383560 | 1788222 | 1317 3000 | 41 | 26
288.25/288.32 c 242s | 22 | 2403480 | 1802622 | 1317 3021 | 41 | 26
290.24/290.32 c 244s | 22 | 2423534 | 1817122 | 1317 3041 | 41 | 26
292.24/292.32 c 246s | 22 | 2443889 | 1831722 | 1317 3062 | 41 | 26
294.24/294.32 c 248s | 22 | 2464879 | 1846722 | 1317 3083 | 41 | 26
296.24/296.33 c 250s | 22 | 2484590 | 1860922 | 1317 3103 | 41 | 26
298.24/298.34 c 252s | 22 | 2505024 | 1875622 | 1317 3124 | 41 | 26
300.25/300.34 c 254s | 22 | 2526211 | 1891122 | 1317 3146 | 41 | 26
302.24/302.35 c 256s | 22 | 2548642 | 1906522 | 1317 3168 | 41 | 26
304.24/304.36 c 258s | 22 | 2570063 | 1922222 | 1317 3190 | 41 | 26
306.24/306.37 c 260s | 22 | 2590002 | 1937222 | 1317 3211 | 41 | 26
308.24/308.38 c 262s | 22 | 2611560 | 1952822 | 1317 3234 | 41 | 26
310.25/310.39 c 264s | 22 | 2632090 | 1967822 | 1317 3255 | 41 | 26
312.24/312.40 c 266s | 22 | 2652056 | 1983422 | 1317 3277 | 41 | 26
314.34/314.41 c 268s | 22 | 2670938 | 1998422 | 1317 3298 | 41 | 26
316.34/316.43 c 270s | 22 | 2690404 | 2014022 | 1317 3320 | 41 | 26
318.34/318.43 c 272s | 22 | 2710007 | 2028622 | 1317 3341 | 41 | 26
320.34/320.43 c 274s | 22 | 2727474 | 2042322 | 1317 3361 | 41 | 26
322.35/322.44 c 276s | 22 | 2746162 | 2057322 | 1317 3382 | 41 | 26
324.34/324.44 c 278s | 22 | 2766663 | 2072722 | 1317 3403 | 41 | 26
326.34/326.46 c 280s | 22 | 2787082 | 2088422 | 1317 3426 | 41 | 26
328.34/328.46 c 282s | 22 | 2806976 | 2103522 | 1317 3447 | 41 | 26
330.34/330.46 c 284s | 22 | 2826716 | 2118922 | 1317 3468 | 41 | 26
332.34/332.46 c 286s | 22 | 2845450 | 2133122 | 1317 3488 | 41 | 26
334.35/334.46 c 288s | 22 | 2865107 | 2148622 | 1317 3510 | 41 | 26
336.34/336.47 c 290s | 22 | 2885514 | 2163822 | 1317 3531 | 41 | 26
338.34/338.48 c 292s | 22 | 2904803 | 2178922 | 1317 3552 | 41 | 26
340.34/340.49 c 294s | 22 | 2924920 | 2193722 | 1317 3573 | 41 | 26
342.34/342.49 c 296s | 22 | 2944354 | 2208122 | 1317 3593 | 41 | 26
344.34/344.49 c 298s | 22 | 2964251 | 2223422 | 1317 3615 | 41 | 26
346.34/346.50 c 301s | 22 | 2983079 | 2237422 | 1317 3635 | 41 | 26
348.24/348.40 c 302s | 23 | 3000895 | 2251038 | 1317 3654 | 41 | 26
350.34/350.40 c 304s | 23 | 3021341 | 2265938 | 1317 3675 | 41 | 26
352.33/352.41 c 306s | 23 | 3040149 | 2279938 | 1317 3695 | 41 | 26
354.33/354.41 c 308s | 23 | 3059364 | 2294238 | 1317 3715 | 41 | 26
356.34/356.42 c 310s | 23 | 3076838 | 2307438 | 1317 3733 | 41 | 26
358.33/358.43 c 312s | 23 | 3092103 | 2319638 | 1317 3750 | 41 | 26
360.33/360.44 c 314s | 23 | 3114550 | 2335638 | 1317 3773 | 41 | 26
362.33/362.45 c 316s | 23 | 3133117 | 2348838 | 1317 3792 | 41 | 26
364.33/364.46 c 318s | 23 | 3150719 | 2361938 | 1317 3811 | 41 | 26
366.35/366.47 c 320s | 23 | 3167544 | 2374938 | 1317 3829 | 41 | 26
368.34/368.48 c 322s | 23 | 3189563 | 2389838 | 1317 3851 | 41 | 26
370.34/370.48 c 324s | 23 | 3209037 | 2403938 | 1317 3871 | 41 | 26
372.34/372.49 c 326s | 23 | 3227150 | 2417338 | 1317 3890 | 41 | 26
374.34/374.49 c 328s | 23 | 3244966 | 2431738 | 1317 3910 | 41 | 26
376.44/376.50 c 331s | 23 | 3264032 | 2445738 | 1317 3930 | 41 | 26
378.44/378.51 c 333s | 23 | 3283907 | 2460038 | 1317 3951 | 41 | 26
380.44/380.52 c 335s | 23 | 3301513 | 2474138 | 1317 3971 | 41 | 26
382.43/382.53 c 337s | 23 | 3320665 | 2488338 | 1317 3991 | 41 | 26
384.43/384.55 c 339s | 23 | 3337554 | 2501438 | 1317 4010 | 41 | 26
386.43/386.56 c 341s | 23 | 3354213 | 2514738 | 1317 4028 | 41 | 26
388.43/388.57 c 343s | 23 | 3371343 | 2527738 | 1317 4047 | 41 | 26
390.44/390.57 c 345s | 23 | 3390133 | 2541838 | 1317 4066 | 41 | 26
392.43/392.58 c 347s | 23 | 3409863 | 2555938 | 1317 4086 | 41 | 26
394.53/394.60 c 349s | 23 | 3427340 | 2569238 | 1317 4105 | 41 | 26
396.53/396.61 c 351s | 23 | 3443036 | 2582238 | 1317 4124 | 41 | 26
398.53/398.62 c 353s | 23 | 3460490 | 2596338 | 1317 4143 | 41 | 26
400.53/400.62 c 355s | 23 | 3478773 | 2610238 | 1317 4163 | 41 | 26
402.53/402.63 c 357s | 23 | 3494681 | 2623538 | 1317 4182 | 41 | 26
404.52/404.64 c 359s | 23 | 3511321 | 2637038 | 1317 4201 | 41 | 26
406.52/406.64 c 361s | 23 | 3528138 | 2649638 | 1317 4219 | 41 | 26
408.52/408.65 c 363s | 23 | 3547630 | 2663638 | 1317 4238 | 41 | 26
410.52/410.65 c 365s | 23 | 3565581 | 2676938 | 1317 4257 | 41 | 26
412.53/412.66 c 367s | 23 | 3583818 | 2690138 | 1317 4276 | 41 | 26
414.53/414.66 c 369s | 23 | 3605159 | 2704638 | 1317 4297 | 41 | 26
416.53/416.67 c 371s | 23 | 3625947 | 2718938 | 1317 4317 | 41 | 26
418.53/418.68 c 373s | 23 | 3650178 | 2734138 | 1317 4338 | 41 | 26
420.53/420.68 c 375s | 23 | 3670182 | 2748838 | 1317 4359 | 41 | 26
422.53/422.69 c 377s | 23 | 3689449 | 2763238 | 1317 4380 | 41 | 26
424.53/424.69 c 379s | 23 | 3708302 | 2776738 | 1317 4399 | 41 | 26
426.63/426.70 c 381s | 23 | 3727335 | 2790638 | 1317 4419 | 41 | 26
428.63/428.71 c 383s | 23 | 3744577 | 2804538 | 1317 4438 | 41 | 26
430.63/430.72 c 385s | 23 | 3761862 | 2818238 | 1317 4458 | 41 | 26
432.63/432.72 c 387s | 23 | 3781854 | 2832838 | 1317 4478 | 41 | 26
434.63/434.73 c 389s | 23 | 3801041 | 2847638 | 1317 4499 | 41 | 26
436.63/436.74 c 391s | 23 | 3821869 | 2863338 | 1317 4522 | 41 | 26
438.62/438.74 c 393s | 23 | 3840282 | 2878538 | 1449 4542 | 41 | 26
440.62/440.74 c 395s | 23 | 3860319 | 2893938 | 1449 4562 | 41 | 26
442.62/442.74 c 397s | 23 | 3878368 | 2908538 | 1449 4581 | 41 | 26
444.62/444.75 c 399s | 23 | 3896040 | 2923038 | 1449 4600 | 41 | 26
446.63/446.76 c 401s | 23 | 3914566 | 2937738 | 1449 4619 | 41 | 26
448.62/448.77 c 403s | 23 | 3930978 | 2951038 | 1449 4636 | 41 | 26
450.62/450.79 c 405s | 23 | 3946058 | 2963738 | 1449 4652 | 41 | 26
452.62/452.80 c 407s | 23 | 3963792 | 2977938 | 1449 4670 | 41 | 26
454.72/454.81 c 409s | 23 | 3982936 | 2991738 | 1449 4688 | 41 | 26
456.72/456.81 c 411s | 23 | 3999451 | 3003838 | 1449 4704 | 41 | 26
458.72/458.82 c 413s | 23 | 4016803 | 3016738 | 1449 4721 | 41 | 26
460.72/460.83 c 415s | 23 | 4033354 | 3029638 | 1449 4737 | 41 | 26
462.72/462.84 c 417s | 23 | 4047867 | 3041638 | 1449 4753 | 41 | 26
464.72/464.86 c 419s | 23 | 4063886 | 3053938 | 1449 4769 | 41 | 26
466.71/466.86 c 421s | 23 | 4081138 | 3067438 | 1449 4786 | 41 | 26
468.71/468.88 c 423s | 23 | 4093009 | 3077438 | 1449 4799 | 41 | 26
470.73/470.88 c 425s | 23 | 4110608 | 3091838 | 1449 4818 | 41 | 26
472.82/472.90 c 427s | 23 | 4129070 | 3107038 | 1449 4837 | 41 | 26
474.82/474.90 c 429s | 23 | 4145795 | 3120538 | 1449 4855 | 41 | 26
476.82/476.91 c 431s | 23 | 4161243 | 3133038 | 1449 4871 | 41 | 26
478.82/478.92 c 433s | 23 | 4175487 | 3145238 | 1449 4887 | 41 | 26
480.82/480.93 c 435s | 23 | 4190118 | 3157838 | 1449 4903 | 41 | 26
482.83/482.93 c 437s | 23 | 4206080 | 3170638 | 1449 4920 | 41 | 26
484.82/484.94 c 439s | 23 | 4225601 | 3185038 | 1449 4939 | 41 | 26
486.82/486.94 c 441s | 23 | 4242197 | 3197538 | 1449 4955 | 41 | 26
488.82/488.95 c 443s | 23 | 4260078 | 3211738 | 1449 4974 | 41 | 26
490.82/490.96 c 445s | 23 | 4278194 | 3225738 | 1449 4992 | 41 | 26
492.82/492.97 c 447s | 23 | 4294722 | 3238438 | 1449 5008 | 41 | 26
494.82/494.98 c 449s | 23 | 4312723 | 3251238 | 1449 5025 | 41 | 26
496.82/496.99 c 451s | 23 | 4335359 | 3265938 | 1449 5044 | 41 | 26
498.92/499.00 c 453s | 23 | 4354082 | 3279438 | 1449 5062 | 41 | 26
500.92/501.01 c 455s | 23 | 4374719 | 3294138 | 1449 5081 | 41 | 26
502.92/503.02 c 457s | 23 | 4395189 | 3307938 | 1449 5098 | 41 | 26
504.92/505.03 c 459s | 23 | 4413123 | 3321338 | 1449 5116 | 41 | 26
506.91/507.04 c 461s | 23 | 4432201 | 3334738 | 1449 5133 | 41 | 26
508.91/509.04 c 463s | 23 | 4450803 | 3348338 | 1449 5151 | 41 | 26
510.91/511.05 c 465s | 23 | 4468944 | 3362138 | 1449 5169 | 41 | 26
512.91/513.07 c 467s | 23 | 4485584 | 3375438 | 1449 5186 | 41 | 26
513.21/513.30 c 467s | 24 | 4487300 | 3376662 | 1449 5188 | 41 | 26
515.21/515.31 c 469s | 24 | 4498141 | 3385562 | 1449 5199 | 41 | 26
517.21/517.32 c 471s | 24 | 4507089 | 3393362 | 1449 5209 | 41 | 26
519.22/519.35 c 473s | 24 | 4516051 | 3401062 | 1449 5218 | 41 | 26
521.21/521.36 c 475s | 24 | 4529170 | 3412762 | 1449 5233 | 41 | 26
523.21/523.37 c 477s | 24 | 4543772 | 3425762 | 1449 5250 | 41 | 26
525.21/525.39 c 479s | 24 | 4557921 | 3437962 | 1449 5266 | 41 | 26
527.21/527.39 c 481s | 24 | 4569513 | 3447462 | 1449 5278 | 41 | 26
529.31/529.41 c 483s | 24 | 4578890 | 3455462 | 1449 5288 | 41 | 26
531.31/531.42 c 485s | 24 | 4586983 | 3462662 | 1449 5297 | 41 | 26
533.31/533.43 c 487s | 24 | 4595712 | 3470162 | 1449 5307 | 41 | 26
535.31/535.43 c 489s | 24 | 4605521 | 3478462 | 1449 5317 | 41 | 26
537.31/537.45 c 491s | 24 | 4615624 | 3486862 | 1449 5328 | 41 | 26
539.31/539.46 c 493s | 24 | 4625235 | 3495062 | 1449 5339 | 41 | 26
541.31/541.47 c 495s | 24 | 4636731 | 3504762 | 1449 5351 | 41 | 26
543.31/543.48 c 497s | 24 | 4648274 | 3514562 | 1449 5364 | 41 | 26
545.31/545.49 c 499s | 24 | 4662022 | 3526562 | 1449 5379 | 41 | 26
547.40/547.50 c 502s | 24 | 4674240 | 3537162 | 1449 5392 | 41 | 26
549.40/549.50 c 504s | 24 | 4686115 | 3547862 | 1449 5406 | 41 | 26
551.40/551.51 c 506s | 24 | 4698506 | 3558062 | 1449 5419 | 41 | 26
553.40/553.53 c 508s | 24 | 4712421 | 3569362 | 1449 5434 | 41 | 26
555.41/555.53 c 510s | 24 | 4723571 | 3578662 | 1449 5445 | 41 | 26
557.40/557.54 c 512s | 24 | 4733754 | 3587262 | 1449 5456 | 41 | 26
559.40/559.55 c 514s | 24 | 4744690 | 3596462 | 1449 5468 | 41 | 26
561.40/561.57 c 516s | 24 | 4756351 | 3606662 | 1449 5481 | 41 | 26
563.40/563.59 c 518s | 24 | 4769124 | 3617862 | 1449 5495 | 41 | 26
565.41/565.59 c 520s | 24 | 4782330 | 3629062 | 1449 5510 | 41 | 26
567.40/567.60 c 522s | 24 | 4796783 | 3641262 | 1449 5526 | 41 | 26
569.50/569.61 c 524s | 24 | 4809833 | 3652162 | 1449 5540 | 41 | 26
571.51/571.62 c 526s | 24 | 4822792 | 3663062 | 1449 5554 | 41 | 26
573.51/573.62 c 528s | 24 | 4835192 | 3673462 | 1449 5567 | 41 | 26
575.51/575.64 c 530s | 24 | 4850159 | 3686162 | 1449 5583 | 41 | 26
577.51/577.65 c 532s | 24 | 4861160 | 3695662 | 1449 5595 | 41 | 26
579.50/579.66 c 534s | 24 | 4875261 | 3707962 | 1449 5611 | 41 | 26
581.50/581.67 c 536s | 24 | 4887174 | 3718262 | 1449 5625 | 41 | 26
583.50/583.67 c 538s | 24 | 4899344 | 3728762 | 1449 5638 | 41 | 26
585.60/585.70 c 540s | 24 | 4908839 | 3736762 | 1449 5648 | 41 | 26
587.60/587.71 c 542s | 24 | 4921543 | 3747462 | 1449 5662 | 41 | 26
589.61/589.72 c 544s | 24 | 4933115 | 3756962 | 1449 5674 | 41 | 26
591.60/591.72 c 546s | 24 | 4947373 | 3768862 | 1449 5689 | 41 | 26
593.60/593.74 c 548s | 24 | 4961214 | 3780562 | 1449 5704 | 41 | 26
595.60/595.74 c 550s | 24 | 4974936 | 3791862 | 1449 5719 | 41 | 26
597.60/597.74 c 552s | 24 | 4988074 | 3803262 | 1449 5733 | 41 | 26
599.60/599.75 c 554s | 24 | 5002755 | 3816262 | 1449 5750 | 41 | 26
601.60/601.76 c 556s | 24 | 5017951 | 3828362 | 1449 5765 | 41 | 26
603.60/603.77 c 558s | 24 | 5031883 | 3840062 | 1449 5780 | 41 | 26
605.60/605.78 c 560s | 24 | 5043741 | 3850562 | 1449 5793 | 41 | 26
607.60/607.78 c 562s | 24 | 5057980 | 3862962 | 1449 5809 | 41 | 26
609.70/609.80 c 564s | 24 | 5073037 | 3876162 | 1449 5826 | 41 | 26
611.70/611.81 c 566s | 24 | 5087376 | 3889062 | 1449 5843 | 41 | 26
613.70/613.82 c 568s | 24 | 5101151 | 3901362 | 1449 5858 | 41 | 26
615.70/615.82 c 570s | 24 | 5114969 | 3913662 | 1449 5874 | 41 | 26
617.70/617.83 c 572s | 24 | 5129262 | 3925562 | 1449 5889 | 41 | 26
619.69/619.85 c 574s | 24 | 5143036 | 3937062 | 1449 5904 | 41 | 26
621.69/621.85 c 576s | 24 | 5155251 | 3947762 | 1449 5918 | 41 | 26
623.70/623.86 c 578s | 24 | 5168675 | 3959062 | 1449 5932 | 41 | 26
625.69/625.87 c 580s | 24 | 5182738 | 3970962 | 1449 5947 | 41 | 26
627.69/627.87 c 582s | 24 | 5194619 | 3980962 | 1449 5960 | 41 | 26
629.69/629.87 c 584s | 24 | 5204328 | 3989262 | 1449 5971 | 41 | 26
631.69/631.89 c 586s | 24 | 5213557 | 3997262 | 1449 5981 | 41 | 26
633.69/633.90 c 588s | 24 | 5226758 | 4008562 | 1449 5995 | 41 | 26
635.70/635.90 c 590s | 24 | 5242079 | 4021362 | 1449 6011 | 41 | 26
637.79/637.91 c 592s | 24 | 5256794 | 4034062 | 1449 6027 | 41 | 26
639.79/639.93 c 594s | 24 | 5271148 | 4046162 | 1449 6043 | 41 | 26
641.79/641.94 c 596s | 24 | 5285862 | 4058962 | 1449 6059 | 41 | 26
643.79/643.95 c 598s | 24 | 5301392 | 4072062 | 1449 6076 | 41 | 26
645.79/645.97 c 600s | 24 | 5314460 | 4083062 | 1449 6090 | 41 | 26
647.79/647.97 c 602s | 24 | 5328503 | 4095462 | 1449 6106 | 41 | 26
649.79/649.98 c 604s | 24 | 5341867 | 4106762 | 1449 6120 | 41 | 26
651.79/651.99 c 606s | 24 | 5355636 | 4118362 | 1449 6135 | 41 | 26
653.89/654.01 c 608s | 24 | 5367032 | 4127962 | 1449 6147 | 41 | 26
655.89/656.02 c 610s | 24 | 5378511 | 4137562 | 1449 6160 | 41 | 26
657.89/658.02 c 612s | 24 | 5392783 | 4149662 | 1449 6175 | 41 | 26
659.90/660.04 c 614s | 24 | 5405402 | 4159962 | 1449 6189 | 41 | 26
661.89/662.04 c 616s | 24 | 5420654 | 4172062 | 1449 6204 | 41 | 26
663.89/664.06 c 618s | 24 | 5433642 | 4183062 | 1449 6218 | 41 | 26
665.89/666.08 c 620s | 24 | 5448523 | 4194762 | 1449 6234 | 41 | 26
667.99/668.10 c 622s | 24 | 5465465 | 4208562 | 1449 6251 | 41 | 26
669.99/670.12 c 624s | 24 | 5482146 | 4222162 | 1449 6269 | 41 | 26
671.99/672.13 c 626s | 24 | 5498630 | 4235262 | 1449 6286 | 41 | 26
673.99/674.13 c 628s | 24 | 5513258 | 4247262 | 1449 6301 | 41 | 26
675.99/676.15 c 630s | 24 | 5526192 | 4258362 | 1449 6315 | 41 | 26
677.99/678.16 c 632s | 24 | 5541380 | 4271062 | 1449 6332 | 41 | 26
679.99/680.17 c 634s | 24 | 5554891 | 4282462 | 1449 6346 | 41 | 26
681.99/682.18 c 636s | 24 | 5569296 | 4294562 | 1449 6362 | 41 | 26
683.98/684.18 c 638s | 24 | 5584806 | 4307562 | 1449 6379 | 41 | 26
685.98/686.19 c 640s | 24 | 5600641 | 4319862 | 1449 6394 | 41 | 26
688.08/688.21 c 642s | 24 | 5617136 | 4332362 | 1449 6411 | 41 | 26
690.08/690.21 c 644s | 24 | 5632448 | 4344562 | 1449 6426 | 41 | 26
692.08/692.21 c 646s | 24 | 5648930 | 4357662 | 1449 6443 | 41 | 26
694.09/694.23 c 648s | 24 | 5666751 | 4371462 | 1449 6461 | 41 | 26
696.08/696.24 c 650s | 24 | 5683873 | 4385462 | 1449 6479 | 41 | 26
698.08/698.25 c 652s | 24 | 5700123 | 4398262 | 1449 6495 | 41 | 26
700.09/700.26 c 654s | 24 | 5717003 | 4411062 | 1449 6512 | 41 | 26
702.09/702.26 c 656s | 24 | 5733330 | 4423862 | 1449 6528 | 41 | 26
704.09/704.27 c 658s | 24 | 5749606 | 4436662 | 1449 6545 | 41 | 26
706.09/706.28 c 660s | 24 | 5765206 | 4448862 | 1449 6561 | 41 | 26
708.09/708.28 c 662s | 24 | 5780713 | 4461862 | 1449 6577 | 41 | 26
710.09/710.29 c 664s | 24 | 5796764 | 4474162 | 1449 6593 | 41 | 26
712.18/712.30 c 666s | 24 | 5811972 | 4486362 | 1449 6608 | 41 | 26
714.18/714.31 c 668s | 24 | 5826841 | 4498962 | 1449 6625 | 41 | 26
716.18/716.32 c 670s | 24 | 5840936 | 4510862 | 1449 6640 | 41 | 26
718.19/718.32 c 672s | 24 | 5856518 | 4523562 | 1449 6656 | 41 | 26
720.18/720.33 c 674s | 24 | 5870500 | 4535462 | 1449 6671 | 41 | 26
722.18/722.34 c 676s | 24 | 5884260 | 4546962 | 1594 6685 | 41 | 26
724.18/724.35 c 678s | 24 | 5899179 | 4559162 | 1594 6700 | 41 | 26
726.18/726.37 c 680s | 24 | 5911643 | 4569562 | 1594 6712 | 41 | 26
728.19/728.38 c 682s | 24 | 5924723 | 4580262 | 1594 6724 | 41 | 26
730.18/730.39 c 684s | 24 | 5938167 | 4591862 | 1594 6737 | 41 | 26
732.18/732.39 c 686s | 24 | 5952391 | 4603762 | 1594 6751 | 41 | 26
734.28/734.41 c 688s | 24 | 5965572 | 4615062 | 1594 6765 | 41 | 26
736.28/736.42 c 690s | 24 | 5980131 | 4626662 | 1594 6778 | 41 | 26
738.28/738.44 c 692s | 24 | 5993156 | 4637862 | 1594 6791 | 41 | 26
740.28/740.45 c 694s | 24 | 6009276 | 4650662 | 1594 6806 | 41 | 26
742.28/742.45 c 696s | 24 | 6022082 | 4661462 | 1594 6819 | 41 | 26
744.28/744.46 c 698s | 24 | 6035047 | 4671862 | 1594 6831 | 41 | 26
746.28/746.47 c 700s | 24 | 6047132 | 4682162 | 1594 6844 | 41 | 26
748.28/748.48 c 702s | 24 | 6060642 | 4693562 | 1594 6857 | 41 | 26
750.37/750.50 c 705s | 24 | 6073993 | 4705362 | 1594 6871 | 41 | 26
752.38/752.52 c 707s | 24 | 6086903 | 4716462 | 1594 6883 | 41 | 26
754.37/754.52 c 709s | 24 | 6099153 | 4727462 | 1594 6896 | 41 | 26
756.37/756.53 c 711s | 24 | 6110679 | 4737362 | 1594 6908 | 41 | 26
758.37/758.54 c 713s | 24 | 6122113 | 4747062 | 1594 6919 | 41 | 26
760.37/760.55 c 715s | 24 | 6135593 | 4758662 | 1594 6932 | 41 | 26
762.37/762.56 c 717s | 24 | 6149345 | 4770362 | 1594 6946 | 41 | 26
764.38/764.57 c 719s | 24 | 6163471 | 4782562 | 1594 6960 | 41 | 26
766.37/766.59 c 721s | 24 | 6176857 | 4794162 | 1594 6974 | 41 | 26
768.47/768.61 c 723s | 24 | 6187051 | 4802662 | 1594 6983 | 41 | 26
770.47/770.61 c 725s | 24 | 6197755 | 4811762 | 1594 6994 | 41 | 26
772.47/772.63 c 727s | 24 | 6210290 | 4822462 | 1594 7006 | 41 | 26
774.47/774.64 c 729s | 24 | 6222873 | 4833262 | 1594 7019 | 41 | 26
776.48/776.64 c 731s | 24 | 6235691 | 4844362 | 1594 7032 | 41 | 26
778.47/778.66 c 733s | 24 | 6249406 | 4856062 | 1594 7046 | 41 | 26
780.47/780.68 c 735s | 24 | 6263909 | 4868662 | 1594 7060 | 41 | 26
782.47/782.68 c 737s | 24 | 6278796 | 4881262 | 1594 7075 | 41 | 26
784.47/784.69 c 739s | 24 | 6290725 | 4891262 | 1594 7087 | 41 | 26
786.57/786.70 c 741s | 24 | 6304297 | 4902562 | 1594 7100 | 41 | 26
788.58/788.72 c 743s | 24 | 6318721 | 4914662 | 1594 7114 | 41 | 26
790.57/790.74 c 745s | 24 | 6333482 | 4927062 | 1594 7128 | 41 | 26
792.57/792.75 c 747s | 24 | 6347118 | 4938762 | 1594 7142 | 41 | 26
794.56/794.75 c 749s | 24 | 6363084 | 4951662 | 1594 7157 | 41 | 26
796.56/796.76 c 751s | 24 | 6378627 | 4964562 | 1594 7172 | 41 | 26
798.58/798.76 c 753s | 24 | 6394202 | 4977162 | 1594 7187 | 41 | 26
800.57/800.78 c 755s | 24 | 6408852 | 4988862 | 1594 7201 | 41 | 26
802.57/802.79 c 757s | 24 | 6424302 | 5001362 | 1594 7215 | 41 | 26
804.67/804.80 c 759s | 24 | 6440085 | 5013862 | 1594 7230 | 41 | 26
806.67/806.82 c 761s | 24 | 6454330 | 5025662 | 1594 7243 | 41 | 26
808.67/808.82 c 763s | 24 | 6469951 | 5038762 | 1594 7259 | 41 | 26
810.67/810.83 c 765s | 24 | 6484481 | 5051362 | 1594 7274 | 41 | 26
812.66/812.83 c 767s | 24 | 6499262 | 5063762 | 1594 7288 | 41 | 26
812.87/813.04 c 767s | 25 | 6500713 | 5065098 | 1594 7290 | 41 | 26
814.86/815.04 c 769s | 25 | 6519286 | 5079498 | 1594 7307 | 41 | 26
816.86/817.05 c 771s | 25 | 6537376 | 5093798 | 1594 7324 | 41 | 26
818.86/819.06 c 773s | 25 | 6554948 | 5108398 | 1594 7341 | 41 | 26
820.86/821.07 c 775s | 25 | 6570768 | 5122198 | 1594 7357 | 41 | 26
822.86/823.08 c 777s | 25 | 6586601 | 5136398 | 1594 7374 | 41 | 26
824.87/825.09 c 779s | 25 | 6604030 | 5150598 | 1594 7391 | 41 | 26
826.96/827.10 c 781s | 25 | 6620218 | 5164098 | 1594 7407 | 41 | 26
828.96/829.11 c 783s | 25 | 6639391 | 5177598 | 1594 7423 | 41 | 26
830.96/831.12 c 785s | 25 | 6659439 | 5191598 | 1594 7439 | 41 | 26
832.96/833.12 c 787s | 25 | 6675463 | 5204698 | 1594 7455 | 41 | 26
834.96/835.12 c 789s | 25 | 6692468 | 5217798 | 1594 7470 | 41 | 26
836.97/837.13 c 791s | 25 | 6708471 | 5230898 | 1594 7486 | 41 | 26
838.96/839.14 c 793s | 25 | 6726571 | 5244198 | 1594 7501 | 41 | 26
840.97/841.14 c 795s | 25 | 6743301 | 5257298 | 1594 7517 | 41 | 26
842.97/843.15 c 797s | 25 | 6759599 | 5270498 | 1594 7533 | 41 | 26
844.96/845.16 c 799s | 25 | 6776242 | 5283898 | 1594 7548 | 41 | 26
846.97/847.17 c 801s | 25 | 6790395 | 5295698 | 1594 7562 | 41 | 26
848.96/849.17 c 803s | 25 | 6803988 | 5306698 | 1594 7575 | 41 | 26
850.96/851.18 c 805s | 25 | 6821163 | 5320598 | 1594 7592 | 41 | 26
852.96/853.18 c 807s | 25 | 6838016 | 5334298 | 1594 7608 | 41 | 26
854.96/855.19 c 809s | 25 | 6853924 | 5347598 | 1594 7623 | 41 | 26
856.96/857.19 c 811s | 25 | 6869248 | 5360398 | 1594 7639 | 41 | 26
859.07/859.21 c 813s | 25 | 6883662 | 5372098 | 1594 7652 | 41 | 26
861.06/861.22 c 815s | 25 | 6899429 | 5385298 | 1594 7668 | 41 | 26
863.06/863.23 c 817s | 25 | 6915123 | 5398698 | 1594 7684 | 41 | 26
865.06/865.24 c 819s | 25 | 6931118 | 5412298 | 1594 7700 | 41 | 26
867.06/867.25 c 821s | 25 | 6947819 | 5426598 | 1594 7717 | 41 | 26
869.06/869.25 c 823s | 25 | 6964783 | 5440498 | 1594 7733 | 41 | 26
871.06/871.26 c 825s | 25 | 6980329 | 5453498 | 1594 7748 | 41 | 26
873.06/873.26 c 827s | 25 | 6997492 | 5466698 | 1594 7764 | 41 | 26
875.06/875.27 c 829s | 25 | 7016792 | 5480998 | 1594 7781 | 41 | 26
877.06/877.27 c 831s | 25 | 7034313 | 5494598 | 1594 7797 | 41 | 26
879.06/879.29 c 833s | 25 | 7050338 | 5507698 | 1594 7812 | 41 | 26
881.16/881.30 c 835s | 25 | 7064122 | 5518598 | 1594 7825 | 41 | 26
883.16/883.31 c 837s | 25 | 7079304 | 5530798 | 1594 7839 | 41 | 26
885.15/885.31 c 839s | 25 | 7096841 | 5544498 | 1594 7855 | 41 | 26
887.15/887.32 c 841s | 25 | 7109558 | 5554598 | 1594 7867 | 41 | 26
889.15/889.33 c 843s | 25 | 7122424 | 5565098 | 1594 7880 | 41 | 26
891.15/891.35 c 845s | 25 | 7136562 | 5576398 | 1594 7893 | 41 | 26
893.16/893.36 c 847s | 25 | 7152776 | 5589498 | 1594 7909 | 41 | 26
895.15/895.36 c 849s | 25 | 7169982 | 5603498 | 1594 7925 | 41 | 26
897.15/897.37 c 851s | 25 | 7188007 | 5617198 | 1594 7941 | 41 | 26
899.15/899.38 c 853s | 25 | 7205329 | 5631598 | 1594 7958 | 41 | 26
901.15/901.38 c 855s | 25 | 7220380 | 5644198 | 1594 7973 | 41 | 26
903.15/903.40 c 857s | 25 | 7236235 | 5657098 | 1594 7988 | 41 | 26
905.15/905.40 c 859s | 25 | 7252267 | 5669698 | 1594 8003 | 41 | 26
907.25/907.41 c 861s | 25 | 7267831 | 5682198 | 1594 8018 | 41 | 26
909.26/909.41 c 863s | 25 | 7282616 | 5693498 | 1594 8031 | 41 | 26
911.26/911.41 c 865s | 25 | 7298637 | 5707098 | 1594 8047 | 41 | 26
913.26/913.42 c 867s | 25 | 7315797 | 5720198 | 1594 8063 | 41 | 26
915.25/915.43 c 869s | 25 | 7335343 | 5734098 | 1594 8079 | 41 | 26
917.26/917.44 c 871s | 25 | 7353263 | 5748498 | 1594 8096 | 41 | 26
919.25/919.44 c 873s | 25 | 7369641 | 5760998 | 1594 8111 | 41 | 26
921.25/921.45 c 875s | 25 | 7385573 | 5772898 | 1594 8125 | 41 | 26
923.25/923.45 c 877s | 25 | 7397676 | 5782198 | 1594 8136 | 41 | 26
925.25/925.46 c 879s | 25 | 7413284 | 5795298 | 1594 8152 | 41 | 26
927.26/927.48 c 881s | 25 | 7427624 | 5807098 | 1594 8166 | 41 | 26
929.25/929.49 c 883s | 25 | 7440674 | 5817998 | 1594 8178 | 41 | 26
931.35/931.50 c 886s | 25 | 7456421 | 5831098 | 1594 8194 | 41 | 26
933.35/933.51 c 888s | 25 | 7473840 | 5845998 | 1594 8211 | 41 | 26
935.35/935.51 c 890s | 25 | 7491098 | 5860598 | 1594 8229 | 41 | 26
937.35/937.52 c 892s | 25 | 7509396 | 5875198 | 1594 8246 | 41 | 26
939.35/939.53 c 894s | 25 | 7527636 | 5890098 | 1594 8263 | 41 | 26
941.34/941.55 c 896s | 25 | 7541929 | 5902298 | 1594 8278 | 41 | 26
943.34/943.57 c 898s | 25 | 7551843 | 5910998 | 1594 8288 | 41 | 26
945.34/945.58 c 900s | 25 | 7565356 | 5922498 | 1594 8302 | 41 | 26
947.44/947.60 c 902s | 25 | 7580698 | 5935398 | 1594 8317 | 41 | 26
949.44/949.62 c 904s | 25 | 7591037 | 5944198 | 1594 8327 | 41 | 26
951.45/951.62 c 906s | 25 | 7602117 | 5953798 | 1594 8339 | 41 | 26
953.45/953.63 c 908s | 25 | 7615288 | 5964698 | 1594 8351 | 41 | 26
955.45/955.64 c 910s | 25 | 7626077 | 5973998 | 1594 8362 | 41 | 26
957.45/957.64 c 912s | 25 | 7639685 | 5985298 | 1594 8376 | 41 | 26
959.45/959.67 c 914s | 25 | 7649664 | 5993698 | 1594 8385 | 41 | 26
961.45/961.68 c 916s | 25 | 7661496 | 6003498 | 1594 8397 | 41 | 26
963.45/963.69 c 918s | 25 | 7674246 | 6013898 | 1594 8409 | 41 | 26
965.55/965.70 c 920s | 25 | 7685638 | 6023798 | 1594 8421 | 41 | 26
967.55/967.70 c 922s | 25 | 7696616 | 6033098 | 1594 8432 | 41 | 26
969.55/969.71 c 924s | 25 | 7710416 | 6044598 | 1594 8446 | 41 | 26
971.55/971.71 c 926s | 25 | 7723530 | 6055598 | 1594 8459 | 41 | 26
973.55/973.71 c 928s | 25 | 7737891 | 6067498 | 1594 8473 | 41 | 26
975.55/975.72 c 930s | 25 | 7754065 | 6080898 | 1594 8488 | 41 | 26
977.54/977.73 c 932s | 25 | 7770520 | 6094698 | 1594 8505 | 41 | 26
979.54/979.74 c 934s | 25 | 7786827 | 6107798 | 1594 8520 | 41 | 26
981.54/981.74 c 936s | 25 | 7804399 | 6121698 | 1594 8537 | 41 | 26
983.54/983.76 c 938s | 25 | 7822455 | 6135298 | 1594 8553 | 41 | 26
985.55/985.78 c 940s | 25 | 7841823 | 6148998 | 1594 8569 | 41 | 26
987.54/987.79 c 942s | 25 | 7860296 | 6162598 | 1594 8585 | 41 | 26
989.54/989.79 c 944s | 25 | 7877419 | 6175798 | 1594 8600 | 41 | 26
991.64/991.81 c 946s | 25 | 7893290 | 6187898 | 1594 8614 | 41 | 26
993.64/993.82 c 948s | 25 | 7906990 | 6198398 | 1594 8627 | 41 | 26
995.64/995.82 c 950s | 25 | 7924177 | 6211498 | 1594 8642 | 41 | 26
997.64/997.83 c 952s | 25 | 7940524 | 6224298 | 1594 8657 | 41 | 26
999.64/999.84 c 954s | 25 | 7955677 | 6236498 | 1594 8671 | 41 | 26
1001.64/1001.85 c 956s | 25 | 7971750 | 6249698 | 1594 8687 | 41 | 26
1003.64/1003.86 c 958s | 25 | 7985955 | 6261798 | 1594 8701 | 41 | 26
1005.64/1005.87 c 960s | 25 | 7995490 | 6270098 | 1594 8711 | 41 | 26
1007.64/1007.89 c 962s | 25 | 8008812 | 6280898 | 1594 8724 | 41 | 26
1009.64/1009.90 c 964s | 25 | 8018680 | 6289298 | 1594 8733 | 41 | 26
1011.74/1011.92 c 966s | 25 | 8029264 | 6298198 | 1594 8744 | 41 | 26
1013.73/1013.93 c 968s | 25 | 8040035 | 6307498 | 1594 8755 | 41 | 26
1015.73/1015.95 c 970s | 25 | 8054051 | 6318498 | 1594 8768 | 41 | 26
1017.73/1017.96 c 972s | 25 | 8068735 | 6330998 | 1594 8783 | 41 | 26
1019.73/1019.98 c 974s | 25 | 8080946 | 6341298 | 1594 8795 | 41 | 26
1021.74/1021.99 c 976s | 25 | 8094599 | 6352298 | 1594 8808 | 41 | 26
1023.73/1023.99 c 978s | 25 | 8106765 | 6362398 | 1594 8820 | 41 | 26
1025.83/1026.00 c 980s | 25 | 8118573 | 6372398 | 1594 8831 | 41 | 26
1027.83/1028.01 c 982s | 25 | 8135013 | 6385798 | 1594 8847 | 41 | 26
1029.83/1030.01 c 984s | 25 | 8148015 | 6396498 | 1594 8860 | 41 | 26
1031.83/1032.02 c 986s | 25 | 8162792 | 6407698 | 1594 8873 | 41 | 26
1033.84/1034.02 c 988s | 25 | 8176900 | 6419498 | 1594 8887 | 41 | 26
1035.84/1036.03 c 990s | 25 | 8192191 | 6431998 | 1594 8902 | 41 | 26
1037.84/1038.04 c 992s | 25 | 8208936 | 6446098 | 1594 8918 | 41 | 26
1039.84/1040.05 c 994s | 25 | 8224763 | 6458698 | 1594 8933 | 41 | 26
1041.83/1042.05 c 996s | 25 | 8241807 | 6472898 | 1594 8950 | 41 | 26
1043.84/1044.06 c 998s | 25 | 8258560 | 6487598 | 1594 8967 | 41 | 26
1045.83/1046.07 c 1000s | 25 | 8275633 | 6502198 | 1594 8984 | 41 | 26
1047.83/1048.08 c 1002s | 25 | 8292558 | 6515898 | 1594 9001 | 41 | 26
1049.83/1050.08 c 1004s | 25 | 8309577 | 6529198 | 1594 9016 | 41 | 26
1051.93/1052.10 c 1006s | 25 | 8327515 | 6543898 | 1594 9034 | 41 | 26
1053.93/1054.10 c 1008s | 25 | 8342573 | 6556598 | 1594 9049 | 41 | 26
1055.94/1056.11 c 1010s | 25 | 8359600 | 6570398 | 1594 9065 | 41 | 26
1057.93/1058.11 c 1012s | 25 | 8371930 | 6580898 | 1594 9077 | 41 | 26
1059.93/1060.12 c 1014s | 25 | 8384771 | 6592198 | 1594 9090 | 41 | 26
1061.93/1062.14 c 1016s | 25 | 8395396 | 6601098 | 1594 9101 | 41 | 26
1063.93/1064.16 c 1018s | 25 | 8407514 | 6610998 | 1594 9112 | 41 | 26
1065.93/1066.17 c 1020s | 25 | 8423393 | 6623498 | 1594 9127 | 41 | 26
1067.93/1068.17 c 1022s | 25 | 8438786 | 6635498 | 1594 9141 | 41 | 26
1069.93/1070.18 c 1024s | 25 | 8453326 | 6646998 | 1594 9155 | 41 | 26
1071.92/1072.19 c 1026s | 25 | 8469751 | 6660698 | 1594 9171 | 41 | 26
1074.02/1074.20 c 1028s | 25 | 8484347 | 6673098 | 1594 9186 | 41 | 26
1076.02/1076.21 c 1030s | 25 | 8502142 | 6686798 | 1594 9202 | 41 | 26
1078.02/1078.21 c 1032s | 25 | 8518167 | 6700898 | 1594 9219 | 41 | 26
1080.03/1080.22 c 1034s | 25 | 8533623 | 6713798 | 1594 9234 | 41 | 26
1082.02/1082.23 c 1036s | 25 | 8543043 | 6722098 | 1594 9243 | 41 | 26
1084.02/1084.24 c 1038s | 25 | 8559955 | 6735898 | 1594 9259 | 41 | 26
1086.02/1086.24 c 1040s | 25 | 8576644 | 6749498 | 1594 9275 | 41 | 26
1088.02/1088.25 c 1042s | 25 | 8594577 | 6763398 | 1594 9291 | 41 | 26
1090.03/1090.25 c 1044s | 25 | 8609336 | 6775798 | 1594 9306 | 41 | 26
1092.02/1092.25 c 1046s | 25 | 8627013 | 6789598 | 1594 9322 | 41 | 26
1094.02/1094.25 c 1048s | 25 | 8641925 | 6802198 | 1594 9337 | 41 | 26
1096.02/1096.26 c 1050s | 25 | 8659617 | 6816098 | 1594 9353 | 41 | 26
1098.03/1098.26 c 1052s | 25 | 8677002 | 6830198 | 1594 9370 | 41 | 26
1100.03/1100.27 c 1054s | 25 | 8694038 | 6843898 | 1594 9386 | 41 | 26
1102.03/1102.27 c 1056s | 25 | 8714312 | 6858698 | 1594 9403 | 41 | 26
1104.03/1104.28 c 1058s | 25 | 8733416 | 6873298 | 1594 9421 | 41 | 26
1106.03/1106.28 c 1060s | 25 | 8752748 | 6887898 | 1594 9438 | 41 | 26
1108.03/1108.28 c 1062s | 25 | 8772309 | 6902798 | 1594 9456 | 41 | 26
1110.03/1110.29 c 1064s | 25 | 8790925 | 6916998 | 1594 9472 | 41 | 26
1112.13/1112.30 c 1066s | 25 | 8810085 | 6932198 | 1594 9490 | 41 | 26
1114.13/1114.31 c 1068s | 25 | 8826963 | 6946398 | 1594 9507 | 41 | 26
1116.12/1116.32 c 1070s | 25 | 8843881 | 6960898 | 1594 9524 | 41 | 26
1118.12/1118.33 c 1072s | 25 | 8860462 | 6975498 | 1594 9541 | 41 | 26
1120.12/1120.34 c 1074s | 25 | 8877940 | 6990698 | 1594 9559 | 41 | 26
1122.12/1122.35 c 1076s | 25 | 8894732 | 7005398 | 1594 9577 | 41 | 26
1124.13/1124.36 c 1078s | 25 | 8910338 | 7018898 | 1594 9593 | 41 | 26
1126.12/1126.37 c 1080s | 25 | 8927590 | 7032898 | 1594 9609 | 41 | 26
1128.12/1128.38 c 1082s | 25 | 8941940 | 7044398 | 1594 9623 | 41 | 26
1130.12/1130.38 c 1084s | 25 | 8957815 | 7057598 | 1594 9639 | 41 | 26
1132.12/1132.39 c 1086s | 25 | 8973785 | 7071498 | 1754 9654 | 41 | 26
1134.22/1134.41 c 1088s | 25 | 8990018 | 7084598 | 1754 9668 | 41 | 26
1136.23/1136.42 c 1090s | 25 | 9004724 | 7096798 | 1754 9681 | 41 | 26
1138.22/1138.43 c 1092s | 25 | 9019148 | 7108498 | 1754 9694 | 41 | 26
1140.22/1140.43 c 1094s | 25 | 9035491 | 7121698 | 1754 9708 | 41 | 26
1142.22/1142.44 c 1096s | 25 | 9050296 | 7132998 | 1754 9720 | 41 | 26
1144.22/1144.45 c 1098s | 25 | 9065082 | 7144698 | 1754 9733 | 41 | 26
1146.22/1146.46 c 1100s | 25 | 9081164 | 7156898 | 1754 9746 | 41 | 26
1148.22/1148.46 c 1102s | 25 | 9094801 | 7168398 | 1754 9758 | 41 | 26
1150.22/1150.48 c 1104s | 25 | 9109754 | 7180898 | 1754 9772 | 41 | 26
1152.21/1152.49 c 1106s | 25 | 9124531 | 7192998 | 1754 9785 | 41 | 26
1154.31/1154.50 c 1109s | 25 | 9138158 | 7204298 | 1754 9797 | 41 | 26
1156.31/1156.51 c 1111s | 25 | 9154304 | 7217198 | 1754 9811 | 41 | 26
1158.31/1158.52 c 1113s | 25 | 9169758 | 7229998 | 1754 9825 | 41 | 26
1160.32/1160.52 c 1115s | 25 | 9186141 | 7243698 | 1754 9840 | 41 | 26
1162.31/1162.55 c 1117s | 25 | 9201643 | 7256598 | 1754 9854 | 41 | 26
1164.31/1164.56 c 1119s | 25 | 9218434 | 7270098 | 1754 9868 | 41 | 26
1166.31/1166.56 c 1121s | 25 | 9234867 | 7283598 | 1754 9883 | 41 | 26
1168.31/1168.56 c 1123s | 25 | 9249474 | 7296098 | 1754 9896 | 41 | 26
1170.32/1170.56 c 1125s | 25 | 9264725 | 7309198 | 1754 9910 | 41 | 26
1172.31/1172.57 c 1127s | 25 | 9280548 | 7322098 | 1754 9924 | 41 | 26
1174.31/1174.58 c 1129s | 25 | 9295150 | 7334598 | 1754 9938 | 41 | 26
1176.31/1176.59 c 1131s | 25 | 9310803 | 7347598 | 1754 9951 | 41 | 26
1178.41/1178.61 c 1133s | 25 | 9327621 | 7360898 | 1754 9966 | 41 | 26
1180.41/1180.62 c 1135s | 25 | 9344743 | 7374398 | 1754 9980 | 41 | 26
1182.42/1182.63 c 1137s | 25 | 9361585 | 7387298 | 1754 9994 | 41 | 26
1184.41/1184.63 c 1139s | 25 | 9377868 | 7400998 | 1754 10009 | 41 | 26
1186.41/1186.64 c 1141s | 25 | 9396392 | 7414598 | 1754 10023 | 41 | 26
1188.41/1188.65 c 1143s | 25 | 9412098 | 7427598 | 1754 10037 | 41 | 26
1190.41/1190.66 c 1145s | 25 | 9430421 | 7440898 | 1754 10052 | 41 | 26
1192.41/1192.68 c 1147s | 25 | 9446230 | 7453898 | 1754 10066 | 41 | 26
1194.41/1194.68 c 1149s | 25 | 9462211 | 7466298 | 1754 10079 | 41 | 26
1196.41/1196.69 c 1151s | 25 | 9477071 | 7479098 | 1754 10093 | 41 | 26
1198.50/1198.71 c 1153s | 25 | 9490433 | 7490198 | 1754 10105 | 41 | 26
1200.50/1200.72 c 1155s | 25 | 9505782 | 7502398 | 1754 10118 | 41 | 26
1202.50/1202.73 c 1157s | 25 | 9522026 | 7515498 | 1754 10132 | 41 | 26
1204.50/1204.74 c 1159s | 25 | 9536467 | 7527298 | 1754 10145 | 41 | 26
1206.51/1206.75 c 1161s | 25 | 9552454 | 7540098 | 1754 10159 | 41 | 26
1208.50/1208.76 c 1163s | 25 | 9567727 | 7552798 | 1754 10173 | 41 | 26
1210.50/1210.76 c 1165s | 25 | 9583547 | 7565498 | 1754 10186 | 41 | 26
1212.50/1212.77 c 1167s | 25 | 9597372 | 7577298 | 1754 10199 | 41 | 26
1214.50/1214.79 c 1169s | 25 | 9612160 | 7589598 | 1754 10212 | 41 | 26
1215.90/1216.14 c 1170s | 26 | 9622321 | 7597752 | 1754 10221 | 41 | 26
1217.90/1218.15 c 1172s | 26 | 9640885 | 7610752 | 1754 10235 | 41 | 26
1219.91/1220.16 c 1174s | 26 | 9657864 | 7625852 | 1754 10251 | 41 | 26
1221.91/1222.16 c 1176s | 26 | 9671660 | 7637652 | 1754 10264 | 41 | 26
1223.91/1224.17 c 1178s | 26 | 9687027 | 7651152 | 1754 10278 | 41 | 26
1225.90/1226.17 c 1180s | 26 | 9702207 | 7664552 | 1754 10293 | 41 | 26
1227.90/1228.19 c 1182s | 26 | 9716728 | 7677752 | 1754 10307 | 41 | 26
1230.00/1230.20 c 1184s | 26 | 9731701 | 7690752 | 1754 10321 | 41 | 26
1232.00/1232.21 c 1186s | 26 | 9747822 | 7704452 | 1754 10336 | 41 | 26
1234.01/1234.21 c 1188s | 26 | 9762467 | 7717352 | 1754 10350 | 41 | 26
1236.00/1236.21 c 1190s | 26 | 9777601 | 7730952 | 1754 10364 | 41 | 26
1238.00/1238.22 c 1192s | 26 | 9793004 | 7743552 | 1754 10378 | 41 | 26
1240.00/1240.22 c 1194s | 26 | 9808803 | 7756652 | 1754 10392 | 41 | 26
1242.00/1242.22 c 1196s | 26 | 9824930 | 7769952 | 1754 10406 | 41 | 26
1244.00/1244.23 c 1198s | 26 | 9840703 | 7783752 | 1754 10421 | 41 | 26
1246.00/1246.23 c 1200s | 26 | 9853898 | 7795052 | 1754 10433 | 41 | 26
1248.00/1248.24 c 1202s | 26 | 9869235 | 7807552 | 1754 10447 | 41 | 26
1250.00/1250.25 c 1204s | 26 | 9883814 | 7819852 | 1754 10460 | 41 | 26
1252.00/1252.26 c 1206s | 26 | 9899854 | 7832752 | 1754 10474 | 41 | 26
1254.00/1254.26 c 1208s | 26 | 9916020 | 7845952 | 1754 10488 | 41 | 26
1256.01/1256.26 c 1210s | 26 | 9931985 | 7859252 | 1754 10503 | 41 | 26
1258.00/1258.26 c 1212s | 26 | 9946095 | 7871452 | 1754 10516 | 41 | 26
1260.00/1260.27 c 1214s | 26 | 9960585 | 7882552 | 1754 10528 | 41 | 26
1262.00/1262.28 c 1216s | 26 | 9976308 | 7896452 | 1754 10543 | 41 | 26
1264.10/1264.30 c 1218s | 26 | 9993046 | 7911252 | 1754 10558 | 41 | 26
1266.10/1266.30 c 1220s | 26 | 10008316 | 7923852 | 1754 10572 | 41 | 26
1268.11/1268.31 c 1222s | 26 | 10024207 | 7936952 | 1754 10586 | 41 | 26
1270.10/1270.33 c 1224s | 26 | 10039880 | 7949452 | 1754 10600 | 41 | 26
1272.10/1272.33 c 1226s | 26 | 10055529 | 7962252 | 1754 10613 | 41 | 26
1274.10/1274.34 c 1228s | 26 | 10069074 | 7973552 | 1754 10626 | 41 | 26
1276.10/1276.35 c 1230s | 26 | 10085937 | 7987152 | 1754 10640 | 41 | 26
1278.10/1278.35 c 1232s | 26 | 10095947 | 7994852 | 1754 10649 | 41 | 26
1280.10/1280.35 c 1234s | 26 | 10111026 | 8006252 | 1754 10661 | 41 | 26
1282.10/1282.36 c 1236s | 26 | 10126101 | 8018652 | 1754 10674 | 41 | 26
1284.09/1284.37 c 1238s | 26 | 10137748 | 8028052 | 1754 10684 | 41 | 26
1286.09/1286.39 c 1240s | 26 | 10152844 | 8040852 | 1754 10698 | 41 | 26
1288.19/1288.40 c 1242s | 26 | 10168643 | 8054352 | 1754 10713 | 41 | 26
1290.20/1290.42 c 1244s | 26 | 10182917 | 8066852 | 1754 10726 | 41 | 26
1292.19/1292.43 c 1246s | 26 | 10196856 | 8078952 | 1754 10739 | 41 | 26
1294.19/1294.43 c 1248s | 26 | 10211515 | 8092152 | 1754 10754 | 41 | 26
1296.19/1296.43 c 1250s | 26 | 10226779 | 8104552 | 1754 10767 | 41 | 26
1298.19/1298.45 c 1252s | 26 | 10240965 | 8115752 | 1754 10779 | 41 | 26
1300.19/1300.47 c 1254s | 26 | 10252647 | 8125352 | 1754 10790 | 41 | 26
1302.20/1302.48 c 1256s | 26 | 10265610 | 8136052 | 1754 10801 | 41 | 26
1304.19/1304.49 c 1258s | 26 | 10279405 | 8147852 | 1754 10814 | 41 | 26
1306.29/1306.50 c 1261s | 26 | 10295862 | 8161952 | 1754 10829 | 41 | 26
1308.29/1308.50 c 1263s | 26 | 10312916 | 8175552 | 1754 10844 | 41 | 26
1310.29/1310.51 c 1265s | 26 | 10331323 | 8190152 | 1754 10859 | 41 | 26
1312.29/1312.51 c 1267s | 26 | 10347598 | 8203452 | 1754 10874 | 41 | 26
1314.29/1314.51 c 1269s | 26 | 10365165 | 8217652 | 1754 10889 | 41 | 26
1316.28/1316.52 c 1271s | 26 | 10381021 | 8230752 | 1754 10903 | 41 | 26
1318.29/1318.53 c 1273s | 26 | 10395440 | 8241752 | 1754 10915 | 41 | 26
1320.29/1320.53 c 1275s | 26 | 10412353 | 8253952 | 1754 10928 | 41 | 26
1322.29/1322.55 c 1277s | 26 | 10427232 | 8265152 | 1754 10940 | 41 | 26
1324.30/1324.55 c 1279s | 26 | 10439524 | 8275052 | 1754 10951 | 41 | 26
1326.29/1326.57 c 1281s | 26 | 10453036 | 8285952 | 1754 10963 | 41 | 26
1328.29/1328.58 c 1283s | 26 | 10463968 | 8294952 | 1754 10973 | 41 | 26
1330.39/1330.60 c 1285s | 26 | 10477627 | 8306152 | 1754 10985 | 41 | 26
1332.39/1332.60 c 1287s | 26 | 10493330 | 8318352 | 1754 10998 | 41 | 26
1334.39/1334.61 c 1289s | 26 | 10507574 | 8330352 | 1754 11011 | 41 | 26
1336.39/1336.61 c 1291s | 26 | 10520718 | 8340952 | 1754 11022 | 41 | 26
1338.39/1338.62 c 1293s | 26 | 10536692 | 8354552 | 1754 11037 | 41 | 26
1340.39/1340.63 c 1295s | 26 | 10552819 | 8368452 | 1754 11052 | 41 | 26
1342.39/1342.63 c 1297s | 26 | 10565476 | 8379152 | 1754 11063 | 41 | 26
1344.38/1344.64 c 1299s | 26 | 10580113 | 8390752 | 1754 11076 | 41 | 26
1346.38/1346.65 c 1301s | 26 | 10594234 | 8403052 | 1754 11089 | 41 | 26
1348.39/1348.67 c 1303s | 26 | 10608394 | 8415152 | 1754 11102 | 41 | 26
1350.38/1350.67 c 1305s | 26 | 10623716 | 8427552 | 1754 11116 | 41 | 26
1352.38/1352.68 c 1307s | 26 | 10636695 | 8438552 | 1754 11128 | 41 | 26
1354.38/1354.68 c 1309s | 26 | 10652168 | 8450352 | 1754 11140 | 41 | 26
1356.38/1356.69 c 1311s | 26 | 10667717 | 8461752 | 1754 11152 | 41 | 26
1358.39/1358.69 c 1313s | 26 | 10681103 | 8473652 | 1754 11165 | 41 | 26
1360.38/1360.69 c 1315s | 26 | 10693983 | 8483952 | 1754 11176 | 41 | 26
1362.38/1362.70 c 1317s | 26 | 10706273 | 8494152 | 1754 11187 | 41 | 26
1364.48/1364.70 c 1319s | 26 | 10721287 | 8506152 | 1754 11200 | 41 | 26
1366.48/1366.70 c 1321s | 26 | 10732829 | 8515952 | 1754 11211 | 41 | 26
1368.48/1368.72 c 1323s | 26 | 10746153 | 8527052 | 1754 11223 | 41 | 26
1370.49/1370.72 c 1325s | 26 | 10758836 | 8537252 | 1754 11234 | 41 | 26
1372.48/1372.74 c 1327s | 26 | 10771052 | 8546752 | 1754 11244 | 41 | 26
1374.48/1374.74 c 1329s | 26 | 10785644 | 8557952 | 1754 11256 | 41 | 26
1376.48/1376.74 c 1331s | 26 | 10802372 | 8571452 | 1754 11271 | 41 | 26
1378.48/1378.75 c 1333s | 26 | 10816190 | 8582352 | 1754 11282 | 41 | 26
1380.48/1380.76 c 1335s | 26 | 10829190 | 8592652 | 1754 11293 | 41 | 26
1382.48/1382.76 c 1337s | 26 | 10841782 | 8602752 | 1754 11304 | 41 | 26
1384.48/1384.77 c 1339s | 26 | 10856436 | 8614452 | 1754 11317 | 41 | 26
1386.47/1386.77 c 1341s | 26 | 10868802 | 8624152 | 1754 11327 | 41 | 26
1388.47/1388.78 c 1343s | 26 | 10882683 | 8634552 | 1754 11339 | 41 | 26
1390.47/1390.79 c 1345s | 26 | 10895037 | 8643852 | 1754 11349 | 41 | 26
1392.49/1392.79 c 1347s | 26 | 10909419 | 8655852 | 1754 11361 | 41 | 26
1394.48/1394.80 c 1349s | 26 | 10924882 | 8668752 | 1754 11375 | 41 | 26
1396.58/1396.80 c 1351s | 26 | 10940990 | 8683152 | 1754 11391 | 41 | 26
1398.58/1398.81 c 1353s | 26 | 10955615 | 8695552 | 1754 11404 | 41 | 26
1400.58/1400.82 c 1355s | 26 | 10971020 | 8708452 | 1754 11418 | 41 | 26
1402.57/1402.83 c 1357s | 26 | 10986318 | 8720452 | 1754 11431 | 41 | 26
1404.58/1404.85 c 1359s | 26 | 11002160 | 8732752 | 1754 11444 | 41 | 26
1406.57/1406.86 c 1361s | 26 | 11017906 | 8745152 | 1754 11458 | 41 | 26
1408.57/1408.87 c 1363s | 26 | 11033243 | 8757952 | 1754 11472 | 41 | 26
1410.57/1410.88 c 1365s | 26 | 11049675 | 8771052 | 1754 11486 | 41 | 26
1412.57/1412.88 c 1367s | 26 | 11065506 | 8784952 | 1754 11501 | 41 | 26
1414.57/1414.89 c 1369s | 26 | 11081692 | 8799252 | 1754 11516 | 41 | 26
1416.67/1416.90 c 1371s | 26 | 11097402 | 8813252 | 1754 11531 | 41 | 26
1418.66/1418.92 c 1373s | 26 | 11113262 | 8826452 | 1754 11546 | 41 | 26
1420.66/1420.92 c 1375s | 26 | 11128393 | 8838952 | 1754 11559 | 41 | 26
1422.66/1422.93 c 1377s | 26 | 11142377 | 8850552 | 1754 11571 | 41 | 26
1424.66/1424.95 c 1379s | 26 | 11158286 | 8863852 | 1754 11586 | 41 | 26
1426.66/1426.96 c 1381s | 26 | 11174608 | 8877352 | 1754 11600 | 41 | 26
1428.66/1428.96 c 1383s | 26 | 11190396 | 8890752 | 1754 11614 | 41 | 26
1430.65/1430.98 c 1385s | 26 | 11205462 | 8903552 | 1754 11628 | 41 | 26
1432.65/1432.99 c 1387s | 26 | 11221124 | 8916052 | 1754 11641 | 41 | 26
1434.75/1435.00 c 1389s | 26 | 11237521 | 8928652 | 1754 11655 | 41 | 26
1436.75/1437.01 c 1391s | 26 | 11254353 | 8941352 | 1754 11669 | 41 | 26
1438.75/1439.02 c 1393s | 26 | 11271451 | 8954552 | 1754 11683 | 41 | 26
1440.76/1441.02 c 1395s | 26 | 11285561 | 8966452 | 1754 11696 | 41 | 26
1442.75/1443.03 c 1397s | 26 | 11301838 | 8979252 | 1754 11709 | 41 | 26
1444.75/1445.04 c 1399s | 26 | 11316126 | 8991252 | 1754 11722 | 41 | 26
1446.74/1447.05 c 1401s | 26 | 11328679 | 9002052 | 1754 11734 | 41 | 26
1448.74/1449.07 c 1403s | 26 | 11341710 | 9012952 | 1754 11746 | 41 | 26
1450.75/1451.08 c 1405s | 26 | 11355858 | 9024752 | 1754 11758 | 41 | 26
1452.74/1453.10 c 1407s | 26 | 11371240 | 9037152 | 1754 11772 | 41 | 26
1454.84/1455.12 c 1409s | 26 | 11383170 | 9047452 | 1754 11783 | 41 | 26
1456.83/1457.13 c 1411s | 26 | 11396756 | 9059052 | 1754 11795 | 41 | 26
1458.83/1459.14 c 1413s | 26 | 11409043 | 9069552 | 1754 11806 | 41 | 26
1460.83/1461.15 c 1415s | 26 | 11422851 | 9081152 | 1754 11819 | 41 | 26
1462.84/1463.17 c 1417s | 26 | 11437523 | 9093352 | 1754 11832 | 41 | 26
1464.83/1465.18 c 1419s | 26 | 11451858 | 9105252 | 1754 11845 | 41 | 26
1466.83/1467.19 c 1421s | 26 | 11467657 | 9118352 | 1754 11859 | 41 | 26
1468.93/1469.20 c 1423s | 26 | 11482998 | 9131052 | 1754 11872 | 41 | 26
1470.93/1471.21 c 1425s | 26 | 11500736 | 9144652 | 1754 11887 | 41 | 26
1472.92/1473.22 c 1427s | 26 | 11516958 | 9157552 | 1754 11901 | 41 | 26
1474.93/1475.23 c 1429s | 26 | 11534586 | 9171452 | 1754 11916 | 41 | 26
1476.92/1477.24 c 1431s | 26 | 11551197 | 9184652 | 1754 11930 | 41 | 26
1478.92/1479.25 c 1433s | 26 | 11565744 | 9196552 | 1754 11943 | 41 | 26
1480.92/1481.26 c 1435s | 26 | 11582974 | 9209852 | 1754 11957 | 41 | 26
1482.92/1483.28 c 1437s | 26 | 11601038 | 9223252 | 1754 11972 | 41 | 26
1484.92/1485.29 c 1439s | 26 | 11616487 | 9235452 | 1754 11985 | 41 | 26
1486.92/1487.30 c 1441s | 26 | 11631581 | 9247452 | 1754 11998 | 41 | 26
1489.01/1489.30 c 1443s | 26 | 11649123 | 9260652 | 1754 12012 | 41 | 26
1491.01/1491.31 c 1445s | 26 | 11665142 | 9272952 | 1754 12026 | 41 | 26
1493.01/1493.31 c 1447s | 26 | 11681023 | 9285552 | 1754 12039 | 41 | 26
1495.01/1495.32 c 1449s | 26 | 11695680 | 9297452 | 1754 12052 | 41 | 26
1497.01/1497.33 c 1451s | 26 | 11709876 | 9309052 | 1754 12065 | 41 | 26
1499.02/1499.34 c 1453s | 26 | 11727626 | 9322152 | 1754 12079 | 41 | 26
1501.01/1501.34 c 1455s | 26 | 11743478 | 9334452 | 1754 12092 | 41 | 26
1503.01/1503.34 c 1457s | 26 | 11758513 | 9346552 | 1754 12105 | 41 | 26
1505.01/1505.35 c 1459s | 26 | 11777355 | 9360352 | 1754 12120 | 41 | 26
1507.01/1507.36 c 1461s | 26 | 11793366 | 9372552 | 1754 12133 | 41 | 26
1509.02/1509.38 c 1463s | 26 | 11809485 | 9385152 | 1754 12147 | 41 | 26
1511.01/1511.39 c 1465s | 26 | 11826254 | 9398152 | 1754 12160 | 41 | 26
1513.01/1513.39 c 1467s | 26 | 11843332 | 9411252 | 1754 12174 | 41 | 26
1515.11/1515.40 c 1469s | 26 | 11864439 | 9426452 | 1754 12191 | 41 | 26
1517.10/1517.40 c 1471s | 26 | 11880882 | 9439552 | 1754 12205 | 41 | 26
1519.10/1519.41 c 1473s | 26 | 11898236 | 9453552 | 1754 12220 | 41 | 26
1521.11/1521.41 c 1475s | 26 | 11916089 | 9467652 | 1754 12235 | 41 | 26
1523.10/1523.43 c 1477s | 26 | 11933496 | 9481352 | 1754 12250 | 41 | 26
1525.10/1525.44 c 1479s | 26 | 11950366 | 9495252 | 1754 12265 | 41 | 26
1527.09/1527.44 c 1481s | 26 | 11967044 | 9508652 | 1754 12279 | 41 | 26
1529.09/1529.45 c 1483s | 26 | 11987007 | 9523552 | 1754 12295 | 41 | 26
1531.09/1531.45 c 1485s | 26 | 12005801 | 9537852 | 1754 12311 | 41 | 26
1533.10/1533.46 c 1487s | 26 | 12024547 | 9552052 | 1754 12326 | 41 | 26
1535.09/1535.47 c 1489s | 26 | 12041330 | 9565452 | 1754 12340 | 41 | 26
1537.08/1537.48 c 1491s | 26 | 12052331 | 9574752 | 1754 12350 | 41 | 26
1539.09/1539.49 c 1493s | 26 | 12064354 | 9584852 | 1754 12361 | 41 | 26
1541.19/1541.50 c 1496s | 26 | 12078854 | 9596252 | 1754 12374 | 41 | 26
1543.19/1543.50 c 1498s | 26 | 12095418 | 9608752 | 1754 12387 | 41 | 26
1545.20/1545.53 c 1500s | 26 | 12109925 | 9619952 | 1754 12399 | 41 | 26
1547.18/1547.53 c 1502s | 26 | 12125166 | 9632052 | 1754 12412 | 41 | 26
1549.18/1549.54 c 1504s | 26 | 12139819 | 9643752 | 1754 12425 | 41 | 26
1551.18/1551.56 c 1506s | 26 | 12153798 | 9655052 | 1754 12437 | 41 | 26
1553.18/1553.58 c 1508s | 26 | 12165961 | 9664252 | 1754 12447 | 41 | 26
1555.18/1555.58 c 1510s | 26 | 12178844 | 9674552 | 1754 12458 | 41 | 26
1557.17/1557.60 c 1512s | 26 | 12190374 | 9683952 | 1754 12468 | 41 | 26
1559.27/1559.61 c 1514s | 26 | 12203771 | 9695152 | 1754 12480 | 41 | 26
1561.27/1561.61 c 1516s | 26 | 12216857 | 9705852 | 1754 12492 | 41 | 26
1563.27/1563.62 c 1518s | 26 | 12229941 | 9716152 | 1754 12503 | 41 | 26
1565.28/1565.64 c 1520s | 26 | 12242753 | 9725652 | 1754 12513 | 41 | 26
1567.28/1567.65 c 1522s | 26 | 12253767 | 9733752 | 1754 12522 | 41 | 26
1569.27/1569.66 c 1524s | 26 | 12266993 | 9743952 | 1754 12533 | 41 | 26
1571.27/1571.67 c 1526s | 26 | 12282763 | 9756452 | 1754 12546 | 41 | 26
1573.27/1573.67 c 1528s | 26 | 12295923 | 9767552 | 1754 12558 | 41 | 26
1575.27/1575.67 c 1530s | 26 | 12308975 | 9778752 | 1754 12570 | 41 | 26
1577.27/1577.67 c 1532s | 26 | 12323141 | 9790652 | 1754 12583 | 41 | 26
1579.28/1579.69 c 1534s | 26 | 12335812 | 9800052 | 1754 12593 | 41 | 26
1581.37/1581.70 c 1536s | 26 | 12349949 | 9811352 | 1754 12606 | 41 | 26
1583.37/1583.71 c 1538s | 26 | 12362745 | 9821352 | 1754 12616 | 41 | 26
1585.37/1585.72 c 1540s | 26 | 12376389 | 9833052 | 1754 12629 | 41 | 26
1587.36/1587.73 c 1542s | 26 | 12389495 | 9843652 | 1754 12641 | 41 | 26
1589.36/1589.73 c 1544s | 26 | 12403116 | 9854852 | 1754 12653 | 41 | 26
1591.37/1591.74 c 1546s | 26 | 12417101 | 9866352 | 1754 12665 | 41 | 26
1593.36/1593.75 c 1548s | 26 | 12431010 | 9878152 | 1754 12678 | 41 | 26
1595.36/1595.76 c 1550s | 26 | 12446365 | 9890652 | 1754 12691 | 41 | 26
1597.36/1597.77 c 1552s | 26 | 12459993 | 9902152 | 1754 12704 | 41 | 26
1599.35/1599.79 c 1554s | 26 | 12472265 | 9912752 | 1754 12715 | 41 | 26
1601.45/1601.80 c 1556s | 26 | 12484456 | 9922952 | 1754 12726 | 41 | 26
1603.46/1603.81 c 1558s | 26 | 12497944 | 9933352 | 1754 12738 | 41 | 26
1605.45/1605.82 c 1560s | 26 | 12509730 | 9942952 | 1754 12748 | 41 | 26
1607.45/1607.82 c 1562s | 26 | 12522094 | 9953152 | 1754 12759 | 41 | 26
1609.44/1609.82 c 1564s | 26 | 12534790 | 9963752 | 1754 12770 | 41 | 26
1611.44/1611.83 c 1566s | 26 | 12549775 | 9975952 | 1754 12784 | 41 | 26
1613.45/1613.83 c 1568s | 26 | 12565012 | 9988252 | 1754 12797 | 41 | 26
1615.44/1615.84 c 1570s | 26 | 12580857 | 10000952 | 1754 12811 | 41 | 26
1617.44/1617.85 c 1572s | 26 | 12593526 | 10011452 | 1754 12822 | 41 | 26
1619.44/1619.88 c 1574s | 26 | 12607266 | 10022152 | 1754 12834 | 41 | 26
1621.44/1621.88 c 1576s | 26 | 12621185 | 10033452 | 1754 12846 | 41 | 26
1623.44/1623.89 c 1578s | 26 | 12635001 | 10044952 | 1754 12858 | 41 | 26
1625.54/1625.91 c 1580s | 26 | 12648322 | 10056052 | 1754 12870 | 41 | 26
1627.53/1627.92 c 1582s | 26 | 12662246 | 10067152 | 1754 12882 | 41 | 26
1629.53/1629.94 c 1584s | 26 | 12672692 | 10075552 | 1754 12891 | 41 | 26
1631.53/1631.94 c 1586s | 26 | 12682500 | 10083552 | 1754 12900 | 41 | 26
1633.54/1633.95 c 1588s | 26 | 12694880 | 10093452 | 1754 12911 | 41 | 26
1635.54/1635.97 c 1590s | 26 | 12709437 | 10105652 | 1754 12924 | 41 | 26
1637.55/1637.97 c 1592s | 26 | 12722381 | 10116552 | 1754 12936 | 41 | 26
1639.54/1639.97 c 1594s | 26 | 12733303 | 10125252 | 1754 12945 | 41 | 26
1641.54/1641.99 c 1596s | 26 | 12745663 | 10135452 | 1754 12956 | 41 | 26
1643.54/1643.99 c 1598s | 26 | 12757496 | 10144752 | 1754 12966 | 41 | 26
1645.54/1645.99 c 1600s | 26 | 12771110 | 10155952 | 1754 12978 | 41 | 26
1647.63/1648.01 c 1602s | 26 | 12784357 | 10167052 | 1754 12990 | 41 | 26
1649.64/1650.01 c 1604s | 26 | 12796808 | 10177652 | 1754 13002 | 41 | 26
1651.63/1652.02 c 1606s | 26 | 12810712 | 10189152 | 1754 13014 | 41 | 26
1653.63/1654.04 c 1608s | 26 | 12825069 | 10200752 | 1754 13027 | 41 | 26
1655.63/1656.05 c 1610s | 26 | 12839294 | 10212552 | 1754 13040 | 41 | 26
1657.62/1658.05 c 1612s | 26 | 12854874 | 10225952 | 1754 13054 | 41 | 26
1659.63/1660.06 c 1614s | 26 | 12867192 | 10236152 | 1754 13065 | 41 | 26
1661.62/1662.07 c 1616s | 26 | 12882766 | 10249152 | 1754 13079 | 41 | 26
1663.62/1664.07 c 1618s | 26 | 12898394 | 10261452 | 1754 13092 | 41 | 26
1665.62/1666.08 c 1620s | 26 | 12914822 | 10274752 | 1754 13106 | 41 | 26
1667.62/1668.08 c 1622s | 26 | 12932658 | 10289452 | 1754 13122 | 41 | 26
1669.62/1670.09 c 1624s | 26 | 12949202 | 10303752 | 1754 13138 | 41 | 26
1671.62/1672.10 c 1626s | 26 | 12964932 | 10317552 | 1754 13152 | 41 | 26
1673.72/1674.11 c 1628s | 26 | 12980300 | 10330752 | 1754 13167 | 41 | 26
1675.71/1676.11 c 1630s | 26 | 12996913 | 10344152 | 1754 13181 | 41 | 26
1677.71/1678.11 c 1632s | 26 | 13012020 | 10356552 | 1754 13195 | 41 | 26
1679.71/1680.11 c 1634s | 26 | 13027015 | 10369552 | 1754 13209 | 41 | 26
1681.71/1682.12 c 1636s | 26 | 13042468 | 10382352 | 1754 13222 | 41 | 26
1683.72/1684.12 c 1638s | 26 | 13056604 | 10393952 | 1754 13235 | 41 | 26
1685.70/1686.13 c 1640s | 26 | 13072937 | 10407752 | 1754 13250 | 41 | 26
1687.70/1688.15 c 1642s | 26 | 13089576 | 10421752 | 1754 13265 | 41 | 26
1689.70/1690.15 c 1644s | 26 | 13106403 | 10434852 | 1754 13279 | 41 | 26
1691.70/1692.15 c 1646s | 26 | 13120704 | 10445252 | 1754 13290 | 41 | 26
1693.71/1694.16 c 1648s | 26 | 13135928 | 10457052 | 1754 13303 | 41 | 26
1695.69/1696.17 c 1650s | 26 | 13151297 | 10469752 | 1754 13317 | 41 | 26
1697.69/1698.19 c 1652s | 26 | 13167175 | 10481852 | 1754 13329 | 41 | 26
1699.69/1700.19 c 1654s | 26 | 13180939 | 10493452 | 1754 13342 | 41 | 26
1701.79/1702.20 c 1656s | 26 | 13194226 | 10504252 | 1754 13354 | 41 | 26
1703.79/1704.21 c 1658s | 26 | 13210266 | 10516652 | 1754 13367 | 41 | 26
1705.79/1706.21 c 1660s | 26 | 13226048 | 10529752 | 1754 13381 | 41 | 26
1707.79/1708.21 c 1662s | 26 | 13240133 | 10541152 | 1754 13394 | 41 | 26
1709.79/1710.23 c 1664s | 26 | 13253853 | 10552952 | 1754 13406 | 41 | 26
1711.79/1712.24 c 1666s | 26 | 13266819 | 10563352 | 1754 13418 | 41 | 26
1713.80/1714.25 c 1668s | 26 | 13280148 | 10573952 | 1754 13429 | 41 | 26
1715.79/1716.27 c 1670s | 26 | 13293642 | 10584752 | 1754 13441 | 41 | 26
1717.80/1718.29 c 1672s | 26 | 13308431 | 10596552 | 1754 13454 | 41 | 26
1719.89/1720.30 c 1674s | 26 | 13321697 | 10607152 | 1754 13465 | 41 | 26
1721.89/1722.32 c 1676s | 26 | 13336217 | 10619152 | 1754 13478 | 41 | 26
1723.89/1724.33 c 1678s | 26 | 13351990 | 10632252 | 1754 13492 | 41 | 26
1725.88/1726.35 c 1680s | 26 | 13367053 | 10644352 | 1754 13505 | 41 | 26
1727.88/1728.37 c 1682s | 26 | 13379257 | 10654252 | 1754 13516 | 41 | 26
1729.89/1730.37 c 1684s | 26 | 13394753 | 10666852 | 1754 13530 | 41 | 26
1731.88/1732.39 c 1686s | 26 | 13411249 | 10680252 | 1754 13544 | 41 | 26
1733.98/1734.40 c 1688s | 26 | 13427436 | 10693752 | 1754 13559 | 41 | 26
1735.98/1736.42 c 1690s | 26 | 13438331 | 10702452 | 1754 13568 | 41 | 26
1737.98/1738.43 c 1692s | 26 | 13451058 | 10712052 | 1754 13579 | 41 | 26
1739.97/1740.45 c 1694s | 26 | 13463176 | 10722052 | 1754 13590 | 41 | 26
1741.99/1742.45 c 1696s | 26 | 13476030 | 10732652 | 1754 13601 | 41 | 26
1743.98/1744.45 c 1698s | 26 | 13490455 | 10744052 | 1754 13613 | 41 | 26
1745.98/1746.45 c 1700s | 26 | 13506088 | 10756552 | 1754 13627 | 41 | 26
1747.98/1748.47 c 1702s | 26 | 13519707 | 10767352 | 1754 13638 | 41 | 26
1749.98/1750.47 c 1704s | 26 | 13532879 | 10777952 | 1754 13650 | 41 | 26
1751.98/1752.48 c 1706s | 26 | 13544271 | 10787152 | 1754 13660 | 41 | 26
1753.98/1754.49 c 1708s | 26 | 13559342 | 10798752 | 1754 13672 | 41 | 26
1756.07/1756.51 c 1711s | 26 | 13573168 | 10809952 | 1754 13684 | 41 | 26
1758.07/1758.52 c 1713s | 26 | 13584290 | 10819052 | 1754 13694 | 41 | 26
1760.07/1760.54 c 1715s | 26 | 13596093 | 10828752 | 1754 13705 | 41 | 26
1762.07/1762.54 c 1717s | 26 | 13609203 | 10839252 | 1930 13715 | 41 | 26
1764.08/1764.55 c 1719s | 26 | 13619807 | 10847952 | 1930 13724 | 41 | 26
1766.07/1766.55 c 1721s | 26 | 13630530 | 10856552 | 1930 13732 | 41 | 26
1768.06/1768.56 c 1723s | 26 | 13641373 | 10865352 | 1930 13741 | 41 | 26
1770.06/1770.57 c 1725s | 26 | 13655001 | 10876452 | 1930 13752 | 41 | 26
1772.06/1772.58 c 1727s | 26 | 13668483 | 10887752 | 1930 13763 | 41 | 26
1774.16/1774.60 c 1729s | 26 | 13680036 | 10896852 | 1930 13772 | 41 | 26
1776.16/1776.61 c 1731s | 26 | 13692845 | 10906552 | 1930 13782 | 41 | 26
1778.16/1778.62 c 1733s | 26 | 13709114 | 10920152 | 1930 13795 | 41 | 26
1780.16/1780.63 c 1735s | 26 | 13721424 | 10930152 | 1930 13805 | 41 | 26
1782.16/1782.65 c 1737s | 26 | 13732155 | 10938352 | 1930 13813 | 41 | 26
1784.15/1784.67 c 1739s | 26 | 13743400 | 10947052 | 1930 13822 | 41 | 26
1786.15/1786.67 c 1741s | 26 | 13754837 | 10955852 | 1930 13830 | 41 | 26
1788.16/1788.67 c 1743s | 26 | 13765307 | 10964452 | 1930 13839 | 41 | 26
1790.15/1790.68 c 1745s | 26 | 13775664 | 10972852 | 1930 13847 | 41 | 26
1792.25/1792.71 c 1747s | 26 | 13789296 | 10983252 | 1930 13858 | 41 | 26
1794.25/1794.73 c 1749s | 26 | 13799110 | 10991452 | 1930 13866 | 41 | 26
1796.24/1796.74 c 1751s | 26 | 13809467 | 10999852 | 1930 13874 | 41 | 26
1798.24/1798.77 c 1753s | 26 | 13820206 | 11008652 | 1930 13883 | 41 | 26
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-4117537-1467213912/watcher-4117537-1467213912 -o /tmp/evaluation-result-4117537-1467213912/solver-4117537-1467213912 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467210309-2000 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117537-1467213912.opb
pid=2430
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.21 2.28 2.20 3/179 2433
/proc/meminfo: memFree=27964124/32872528 swapFree=1553660/1717180
[pid=2433] ppid=2430 vsize=665156 CPUtime=0 cores=0,2,4,6
/proc/2433/stat : 2433 (toysat) R 2430 2433 1984 0 -1 4202496 2473 0 0 0 0 0 0 0 20 0 4 0 418822 681119744 2834 33554432000 4194304 16246674 140733214926512 140733214925936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2433/statm: 166801 2843 442 2943 0 163695 0
[pid=2433/tid=2434] ppid=2430 vsize=682564 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2434/stat : 2434 (toysat) S 2430 2433 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418822 698945536 2903 33554432000 4194304 16246674 140733214926512 139989906074864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2433/tid=2435] ppid=2430 vsize=686660 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2435/stat : 2435 (toysat) S 2430 2433 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418822 703139840 2919 33554432000 4194304 16246674 140733214926512 139989895585008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2433/tid=2436] ppid=2430 vsize=690756 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 418822 707334144 2935 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[startup+0.100159 s]
/proc/loadavg: 2.21 2.28 2.20 3/179 2433
/proc/meminfo: memFree=27964124/32872528 swapFree=1553660/1717180
[pid=2433] ppid=2430 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/2433/stat : 2433 (toysat) R 2430 2433 1984 0 -1 4202496 24328 0 0 0 7 2 0 0 20 0 4 0 418822 1247350784 24677 33554432000 4194304 16246674 140733214926512 140733214925936 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2433/statm: 304529 24683 737 2943 0 301423 0
[pid=2433/tid=2434] ppid=2430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2434/stat : 2434 (toysat) S 2430 2433 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418822 1247350784 24688 33554432000 4194304 16246674 140733214926512 139989906074864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2433/tid=2435] ppid=2430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2435/stat : 2435 (toysat) S 2430 2433 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418822 1247350784 24693 33554432000 4194304 16246674 140733214926512 139989895585008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2433/tid=2436] ppid=2430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 418822 1247350784 24697 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116
[startup+0.200479 s]
/proc/loadavg: 2.21 2.28 2.20 3/179 2433
/proc/meminfo: memFree=27964124/32872528 swapFree=1553660/1717180
[pid=2433] ppid=2430 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/2433/stat : 2433 (toysat) R 2430 2433 1984 0 -1 4202496 45666 0 0 0 14 5 0 0 20 0 4 0 418822 1247350784 46014 33554432000 4194304 16246674 140733214926512 140733214925936 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2433/statm: 304529 46026 737 2943 0 301423 0
[pid=2433/tid=2434] ppid=2430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2434/stat : 2434 (toysat) S 2430 2433 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418822 1247350784 46031 33554432000 4194304 16246674 140733214926512 139989906074864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2433/tid=2435] ppid=2430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2435/stat : 2435 (toysat) S 2430 2433 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418822 1247350784 46039 33554432000 4194304 16246674 140733214926512 139989895585008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2433/tid=2436] ppid=2430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 418822 1247350784 46039 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116
[startup+0.300419 s]
/proc/loadavg: 2.21 2.28 2.20 3/179 2433
/proc/meminfo: memFree=27964124/32872528 swapFree=1553660/1717180
[pid=2433] ppid=2430 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/2433/stat : 2433 (toysat) R 2430 2433 1984 0 -1 4202496 67333 0 0 0 21 8 0 0 20 0 4 0 418822 1247350784 67682 33554432000 4194304 16246674 140733214926512 140733214925936 12478189 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2433/statm: 304529 67697 737 2943 0 301423 0
[pid=2433/tid=2434] ppid=2430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2434/stat : 2434 (toysat) S 2430 2433 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418822 1247350784 67704 33554432000 4194304 16246674 140733214926512 139989906074864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2433/tid=2435] ppid=2430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2435/stat : 2435 (toysat) S 2430 2433 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418822 1247350784 67709 33554432000 4194304 16246674 140733214926512 139989895585008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2433/tid=2436] ppid=2430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 418822 1247350784 67714 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116
[startup+0.700394 s]
/proc/loadavg: 2.21 2.28 2.20 3/179 2433
/proc/meminfo: memFree=27964124/32872528 swapFree=1553660/1717180
[pid=2433] ppid=2430 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/2433/stat : 2433 (toysat) R 2430 2433 1984 0 -1 4202496 155726 0 0 0 50 19 0 0 20 0 4 0 418822 1247350784 156073 33554432000 4194304 16246674 140733214926512 140733214908416 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2433/statm: 304529 156080 786 2943 0 301423 0
[pid=2433/tid=2434] ppid=2430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2434/stat : 2434 (toysat) S 2430 2433 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418822 1247350784 156085 33554432000 4194304 16246674 140733214926512 139989906074864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2433/tid=2435] ppid=2430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2435/stat : 2435 (toysat) S 2430 2433 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418822 1247350784 156090 33554432000 4194304 16246674 140733214926512 139989895585008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2433/tid=2436] ppid=2430 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 418822 1247350784 156096 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116
[startup+1.50041 s]
/proc/loadavg: 2.21 2.28 2.20 3/183 2437
/proc/meminfo: memFree=26720928/32872528 swapFree=1553660/1717180
[pid=2433] ppid=2430 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/2433/stat : 2433 (toysat) R 2430 2433 1984 0 -1 4202496 245790 0 0 0 116 33 0 0 20 0 4 0 418822 1248399360 246115 33554432000 4194304 16246674 140733214926512 140733214909512 12659183 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2433/statm: 304785 246115 846 2943 0 301679 0
[pid=2433/tid=2434] ppid=2430 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2434/stat : 2434 (toysat) S 2430 2433 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418822 1248399360 246115 33554432000 4194304 16246674 140733214926512 139989906074864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2433/tid=2435] ppid=2430 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2435/stat : 2435 (toysat) S 2430 2433 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418822 1248399360 246115 33554432000 4194304 16246674 140733214926512 139989895585008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2433/tid=2436] ppid=2430 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418822 1248399360 246115 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140
[startup+3.10037 s]
/proc/loadavg: 2.21 2.28 2.20 3/183 2437
/proc/meminfo: memFree=26525504/32872528 swapFree=1553660/1717180
[pid=2433] ppid=2430 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/2433/stat : 2433 (toysat) R 2430 2433 1984 0 -1 4202496 267447 0 0 0 273 36 0 0 20 0 4 0 418822 1337528320 267772 33554432000 4194304 16246674 140733214926512 140733214908416 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2433/statm: 326545 267772 846 2943 0 323439 0
[pid=2433/tid=2434] ppid=2430 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2434/stat : 2434 (toysat) S 2430 2433 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418822 1337528320 267772 33554432000 4194304 16246674 140733214926512 139989906074864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2433/tid=2435] ppid=2430 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2435/stat : 2435 (toysat) S 2430 2433 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418822 1337528320 267772 33554432000 4194304 16246674 140733214926512 139989895585008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2433/tid=2436] ppid=2430 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418822 1337528320 267772 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180
[startup+6.30036 s]
/proc/loadavg: 2.28 2.29 2.21 4/183 2437
/proc/meminfo: memFree=26524796/32872528 swapFree=1553660/1717180
[pid=2433] ppid=2430 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/2433/stat : 2433 (toysat) R 2430 2433 1984 0 -1 4202496 267469 0 0 0 593 36 0 0 20 0 4 0 418822 1337528320 267794 33554432000 4194304 16246674 140733214926512 140733214908416 5722656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2433/statm: 326545 267794 847 2943 0 323439 0
[pid=2433/tid=2434] ppid=2430 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2434/stat : 2434 (toysat) S 2430 2433 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418822 1337528320 267794 33554432000 4194304 16246674 140733214926512 139989906074864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2433/tid=2435] ppid=2430 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2435/stat : 2435 (toysat) S 2430 2433 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418822 1337528320 267794 33554432000 4194304 16246674 140733214926512 139989895585008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2433/tid=2436] ppid=2430 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418822 1337528320 267794 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.33 2.30 2.21 3/183 2437
/proc/meminfo: memFree=26524876/32872528 swapFree=1553660/1717180
[pid=2433] ppid=2430 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/2433/stat : 2433 (toysat) R 2430 2433 1984 0 -1 4202496 267721 0 0 0 1233 36 0 0 20 0 4 0 418822 1338576896 268046 33554432000 4194304 16246674 140733214926512 140733214908416 13818362 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2433/statm: 326801 268046 847 2943 0 323695 0
[pid=2433/tid=2434] ppid=2430 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2434/stat : 2434 (toysat) S 2430 2433 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418822 1338576896 268046 33554432000 4194304 16246674 140733214926512 139989906074864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2433/tid=2435] ppid=2430 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2435/stat : 2435 (toysat) S 2430 2433 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418822 1338576896 268046 33554432000 4194304 16246674 140733214926512 139989895585008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2433/tid=2436] ppid=2430 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418822 1338576896 268046 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204
[startup+25.5005 s]
/proc/loadavg: 2.26 2.28 2.21 3/183 2438
/proc/meminfo: memFree=26524820/32872528 swapFree=1553660/1717180
[pid=2433] ppid=2430 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/2433/stat : 2433 (toysat) R 2430 2433 1984 0 -1 4202496 267895 0 0 0 2513 36 0 0 20 0 4 0 418822 1338576896 268220 33554432000 4194304 16246674 140733214926512 140733214908416 5827671 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2433/statm: 326801 268220 847 2943 0 323695 0
[pid=2433/tid=2434] ppid=2430 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2434/stat : 2434 (toysat) S 2430 2433 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418822 1338576896 268220 33554432000 4194304 16246674 140733214926512 139989906074864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2433/tid=2435] ppid=2430 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2435/stat : 2435 (toysat) S 2430 2433 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418822 1338576896 268220 33554432000 4194304 16246674 140733214926512 139989895585008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2433/tid=2436] ppid=2430 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418822 1338576896 268220 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204
[startup+51.1005 s]
/proc/loadavg: 2.25 2.28 2.21 4/183 2438
/proc/meminfo: memFree=26524828/32872528 swapFree=1553660/1717180
[pid=2433] ppid=2430 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/2433/stat : 2433 (toysat) R 2430 2433 1984 0 -1 4202496 267898 0 0 0 5072 36 0 0 20 0 4 0 418822 1338576896 268223 33554432000 4194304 16246674 140733214926512 140733214908416 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2433/statm: 326801 268223 850 2943 0 323695 0
[pid=2433/tid=2434] ppid=2430 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2434/stat : 2434 (toysat) S 2430 2433 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418822 1338576896 268223 33554432000 4194304 16246674 140733214926512 139989906074864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2433/tid=2435] ppid=2430 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2435/stat : 2435 (toysat) S 2430 2433 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418822 1338576896 268223 33554432000 4194304 16246674 140733214926512 139989895585008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2433/tid=2436] ppid=2430 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418822 1338576896 268223 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204
[startup+102.3 s]
/proc/loadavg: 2.30 2.28 2.21 3/183 2439
/proc/meminfo: memFree=26524180/32872528 swapFree=1553660/1717180
[pid=2433] ppid=2430 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/2433/stat : 2433 (toysat) R 2430 2433 1984 0 -1 4202496 267898 0 0 0 10191 37 0 0 20 0 4 0 418822 1338576896 268223 33554432000 4194304 16246674 140733214926512 140733214908416 5754796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2433/statm: 326801 268223 850 2943 0 323695 0
[pid=2433/tid=2434] ppid=2430 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2434/stat : 2434 (toysat) S 2430 2433 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418822 1338576896 268223 33554432000 4194304 16246674 140733214926512 139989906074864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2433/tid=2435] ppid=2430 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2435/stat : 2435 (toysat) S 2430 2433 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418822 1338576896 268223 33554432000 4194304 16246674 140733214926512 139989895585008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2433/tid=2436] ppid=2430 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418822 1338576896 268223 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204
################
# More data... #
################
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269759 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1313348
[startup+1362.3 s]
/proc/loadavg: 2.25 2.27 2.20 4/183 2470
/proc/meminfo: memFree=26514056/32872528 swapFree=1553660/1717180
[pid=2433] ppid=2430 vsize=1313348 CPUtime=1362.08 cores=0,2,4,6
/proc/2433/stat : 2433 (toysat) R 2430 2433 1984 0 -1 4202496 269434 0 0 0 136152 56 0 0 20 0 4 0 418822 1344868352 269759 33554432000 4194304 16246674 140733214926512 140733214908416 5673995 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2433/statm: 328337 269759 850 2943 0 325231 0
[pid=2433/tid=2434] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2434/stat : 2434 (toysat) S 2430 2433 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269759 33554432000 4194304 16246674 140733214926512 139989906074864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2433/tid=2435] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2435/stat : 2435 (toysat) S 2430 2433 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269759 33554432000 4194304 16246674 140733214926512 139989895585008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2433/tid=2436] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269759 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1313348
[startup+1422.3 s]
/proc/loadavg: 2.51 2.32 2.22 3/183 2471
/proc/meminfo: memFree=26513632/32872528 swapFree=1553660/1717180
[pid=2433] ppid=2430 vsize=1313348 CPUtime=1422.07 cores=0,2,4,6
/proc/2433/stat : 2433 (toysat) R 2430 2433 1984 0 -1 4202496 269462 0 0 0 142150 57 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 140733214908416 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2433/statm: 328337 269763 851 2943 0 325231 0
[pid=2433/tid=2434] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2434/stat : 2434 (toysat) S 2430 2433 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989906074864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2433/tid=2435] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2435/stat : 2435 (toysat) S 2430 2433 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989895585008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2433/tid=2436] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1313348
[startup+1482.3 s]
/proc/loadavg: 2.24 2.28 2.21 3/183 2472
/proc/meminfo: memFree=26513532/32872528 swapFree=1553660/1717180
[pid=2433] ppid=2430 vsize=1313348 CPUtime=1482.02 cores=0,2,4,6
/proc/2433/stat : 2433 (toysat) R 2430 2433 1984 0 -1 4202496 269508 0 0 0 148145 57 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 140733214908416 6042879 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2433/statm: 328337 269763 851 2943 0 325231 0
[pid=2433/tid=2434] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2434/stat : 2434 (toysat) S 2430 2433 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989906074864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2433/tid=2435] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2435/stat : 2435 (toysat) S 2430 2433 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989895585008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2433/tid=2436] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1313348
[startup+1542.31 s]
/proc/loadavg: 2.22 2.27 2.20 4/184 2476
/proc/meminfo: memFree=26513680/32872528 swapFree=1553660/1717180
[pid=2433] ppid=2430 vsize=1313348 CPUtime=1542 cores=0,2,4,6
/proc/2433/stat : 2433 (toysat) R 2430 2433 1984 0 -1 4202496 269553 0 0 0 154141 59 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 140733214908416 5722668 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2433/statm: 328337 269763 851 2943 0 325231 0
[pid=2433/tid=2434] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2434/stat : 2434 (toysat) S 2430 2433 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989906074864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2433/tid=2435] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2435/stat : 2435 (toysat) S 2430 2433 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989895585008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2433/tid=2436] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 1313348
[startup+1602.3 s]
/proc/loadavg: 2.18 2.25 2.20 3/183 2478
/proc/meminfo: memFree=26513364/32872528 swapFree=1553660/1717180
[pid=2433] ppid=2430 vsize=1313348 CPUtime=1601.95 cores=0,2,4,6
/proc/2433/stat : 2433 (toysat) R 2430 2433 1984 0 -1 4202496 269596 0 0 0 160135 60 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 140733214908416 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2433/statm: 328337 269763 851 2943 0 325231 0
[pid=2433/tid=2434] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2434/stat : 2434 (toysat) S 2430 2433 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989906074864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2433/tid=2435] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2435/stat : 2435 (toysat) S 2430 2433 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989895585008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2433/tid=2436] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1313348
[startup+1662.3 s]
/proc/loadavg: 2.18 2.23 2.19 3/183 2479
/proc/meminfo: memFree=26513264/32872528 swapFree=1553660/1717180
[pid=2433] ppid=2430 vsize=1313348 CPUtime=1661.92 cores=0,2,4,6
/proc/2433/stat : 2433 (toysat) R 2430 2433 1984 0 -1 4202496 269637 0 0 0 166131 61 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 140733214908416 5677273 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2433/statm: 328337 269763 851 2943 0 325231 0
[pid=2433/tid=2434] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2434/stat : 2434 (toysat) S 2430 2433 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989906074864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2433/tid=2435] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2435/stat : 2435 (toysat) S 2430 2433 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989895585008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2433/tid=2436] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1313348
[startup+1722.3 s]
/proc/loadavg: 2.21 2.23 2.19 4/183 2480
/proc/meminfo: memFree=26512920/32872528 swapFree=1553660/1717180
[pid=2433] ppid=2430 vsize=1313348 CPUtime=1721.89 cores=0,2,4,6
/proc/2433/stat : 2433 (toysat) R 2430 2433 1984 0 -1 4202496 269683 0 0 0 172127 62 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 140733214908416 13809242 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2433/statm: 328337 269763 851 2943 0 325231 0
[pid=2433/tid=2434] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2434/stat : 2434 (toysat) S 2430 2433 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989906074864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2433/tid=2435] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2435/stat : 2435 (toysat) S 2430 2433 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989895585008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2433/tid=2436] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1313348
[startup+1782.3 s]
/proc/loadavg: 2.17 2.22 2.18 3/183 2481
/proc/meminfo: memFree=26512588/32872528 swapFree=1553660/1717180
[pid=2433] ppid=2430 vsize=1313348 CPUtime=1781.86 cores=0,2,4,6
/proc/2433/stat : 2433 (toysat) R 2430 2433 1984 0 -1 4202496 269725 0 0 0 178123 63 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 140733214908416 5828013 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2433/statm: 328337 269763 851 2943 0 325231 0
[pid=2433/tid=2434] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2434/stat : 2434 (toysat) S 2430 2433 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989906074864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2433/tid=2435] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2435/stat : 2435 (toysat) S 2430 2433 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989895585008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2433/tid=2436] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1313348
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 2481
/proc/meminfo: memFree=26513052/32872528 swapFree=1553660/1717180
[pid=2433] ppid=2430 vsize=1313348 CPUtime=1800.04 cores=0,2,4,6
/proc/2433/stat : 2433 (toysat) R 2430 2433 1984 0 -1 4202496 269739 0 0 0 179941 63 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 140733214908416 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2433/statm: 328337 269763 851 2943 0 325231 0
[pid=2433/tid=2434] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2434/stat : 2434 (toysat) S 2430 2433 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989906074864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2433/tid=2435] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2435/stat : 2435 (toysat) S 2430 2433 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989895585008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2433/tid=2436] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1313348
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 2433 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 2481
/proc/meminfo: memFree=26513052/32872528 swapFree=1553660/1717180
[pid=2433] ppid=2430 vsize=1313348 CPUtime=1800.04 cores=0,2,4,6
/proc/2433/stat : 2433 (toysat) R 2430 2433 1984 0 -1 4202496 269739 0 0 0 179941 63 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 140733214908416 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2433/statm: 328337 269763 851 2943 0 325231 0
[pid=2433/tid=2434] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2434/stat : 2434 (toysat) S 2430 2433 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989906074864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2433/tid=2435] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2435/stat : 2435 (toysat) S 2430 2433 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989895585008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2433/tid=2436] ppid=2430 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2433/task/2436/stat : 2436 (toysat) S 2430 2433 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 418822 1344868352 269763 33554432000 4194304 16246674 140733214926512 139989885111472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1313348
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.08
CPU user time (s): 1799.42
CPU system time (s): 0.658899
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 1313348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.658899
maximum resident set size= 1079052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269739
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= 318
involuntary context switches= 1877
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.06208 second user time and 9.82551 second system time
The end