0.00/0.00 c 2016-06-29T17:36:30+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-4117699-1467214589.opb"]
0.00/0.01 c use --random-gen="3517403608 1823952078 3686372864 657951989 3945295644 3973265030 2921665179 2431908930 1433798554 785368633 3429209709 3144819736 2236893004 3104289685 3079852317 3145629529 1491615338 4121330947 3877005643 3108179650 109150185 2621219694 2365439634 1429426823 2879590222 3652438268 2022118867 3607026704 2456981212 483342698 1069109357 203652396 563912761 242987930 250661403 3927637709 4179599770 898023532 812776241 598250125 1971701800 3005148459 1328882386 788003709 547902702 229119793 3363206161 1164395805 4024306934 3906963346 2783957659 2894968590 978493085 348498232 2265831867 1260364046 3888926162 2957941122 2821573829 4221536119 3819245440 1339865703 4016095895 3455029607 2820382815 3002988121 1035902158 2537506377 2653143407 1080584033 1532741199 573078184 500831641 4150665526 3663702764 3334158713 1239819308 2327459266 2423167073 2771639201 4191932940 1958400808 3113875967 4024231990 1001482620 971636860 888343301 1335625598 3712862172 1531411116 3279472225 680362299 2785085837 3407496506 3728641086 3140905526 1560155872 703388468 1245616186 2133564971 3553310705 1858116727 1101396533 799754163 4220568153 2134211692 1059376069 1102068529 299901110 894197288 1342291104 2125655383 1540643760 3829721360 3180092675 87355718 1949415048 2869645335 877444875 3592730139 3896657059 4095793275 4059287851 551456351 3279343984 3352071568 3537203906 1877765779 2161614083 2345294423 2368246037 591452861 1230543154 223046628 2252181212 2547304396 2007840254 1278209200 1490859016 60470031 1986256327 2908750665 2667318040 3906506885 3825432490 3628868146 1873311345 3184379746 2700319357 2971070674 646553583 3826462028 693243361 378925563 326016779 2456287085 254670782 2696234885 2962283488 1563411705 794280165 3667478088 3047539553 2463526828 2713578876 3831146625 3827737219 4106798443 3413753411 2392633627 2425602572 459770092 2526966849 3226128527 264598705 3564748291 3840766146 2113855118 1099170813 3500614386 4098415905 4163605070 1582184081 2640339713 1213511628 4093539784 3011450683 2731870629 3767162091 4225920876 3329644836 2940143476 266900673 2587298742 3648401805 4009252056 2387749812 805461488 3523143935 1775336417 3207222158 2013342848 2597345982 2125778804 3843826008 578260838 86490115 712962517 2798245796 2288128216 3320188635 2522043374 4254437546 1115793977 605824647 1733101521 1314392030 2752288893 3145285675 3590432730 495614574 193374957 2338998309 748653134 2872263943 260576528 1668758801 2989013631 1078793537 1868261078 778080243 4244047943 930843219 2571590543 2523248869 3628765963 3556705277 1324124671 1473142080 3503223450 3341796554 1207587691 3243159534 1636906100 2603530494 1421375744 4010377026 3206653489 2511638730 3990632402 340438986 194042326 3842568244 1055687694 3215599711 599988351 255 362436" option to reproduce the execution
0.00/0.01 c #vars 144
0.00/0.01 c #constraints 70
0.00/0.01 c BCD2: Hardening is enabled.
0.00/0.01 c BCD2: BiasedSearch is enabled.
0.00/0.01 c Solving starts ...
0.00/0.01 c ============================[ Search Statistics ]============================
0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.01 c | | | | Limit GC | Var | Constra
0.00/0.01 c =============================================================================
0.00/0.01 c 0.0s | 0 | 0 | 0 | 90 0 | 9 | 0
0.00/0.02 c 0.0s | 0 | 107 | 76 | 90 0 | 9 | 0
0.00/0.02 c #cpu_time = 0.009s
0.00/0.02 c #wall_clock_time = 0.009s
0.00/0.02 c #decision = 107
0.00/0.02 c #random_decision = 2
0.00/0.02 c #conflict = 76
0.00/0.02 c #restart = 0
0.00/0.02 o 70
0.00/0.02 c BCD2: updating upper bound: 144 -> 69
0.00/0.02 c BCD2: 0 <= obj <= 69
0.00/0.02 c BCD2: #cores=0, #unrelaxed=144, #relaxed=0, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 90 0 | 9 | 0
0.00/0.02 c 0.0s | 0 | 2 | 0 | 90 0 | 9 | 0
0.00/0.02 c #cpu_time = 0.001s
0.00/0.02 c #wall_clock_time = 0.001s
0.00/0.02 c #decision = 2
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.02 c lower bound updated to 1
0.00/0.02 c BCD2: 1 <= obj <= 69
0.00/0.02 c BCD2: #cores=1, #unrelaxed=141, #relaxed=3, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 90 0 | 9 | 0
0.00/0.03 c 0.0s | 0 | 3 | 1 | 90 0 | 9 | 0
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 3
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2
0.00/0.03 c lower bound updated to 2
0.00/0.03 c BCD2: 2 <= obj <= 69
0.00/0.03 c BCD2: #cores=1, #unrelaxed=139, #relaxed=5, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=3 bias=3/4
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 90 0 | 10 | 0
0.00/0.03 c 0.0s | 0 | 3 | 1 | 90 0 | 10 | 1
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 3
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 7: cost of the new core is >=3
0.00/0.03 c lower bound updated to 3
0.00/0.03 c BCD2: 3 <= obj <= 69
0.00/0.03 c BCD2: #cores=1, #unrelaxed=137, #relaxed=7, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=4 bias=4/5
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 90 0 | 11 | 1
0.00/0.03 c 0.0s | 0 | 3 | 1 | 90 0 | 11 | 2
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 3
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 9: cost of the new core is >=4
0.00/0.03 c lower bound updated to 4
0.00/0.03 c BCD2: 4 <= obj <= 69
0.00/0.03 c BCD2: #cores=1, #unrelaxed=135, #relaxed=9, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=5 bias=5/6
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 90 0 | 12 | 2
0.00/0.03 c 0.0s | 0 | 2 | 0 | 90 0 | 12 | 3
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 2
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.03 c lower bound updated to 5
0.00/0.03 c BCD2: 5 <= obj <= 69
0.00/0.03 c BCD2: #cores=2, #unrelaxed=134, #relaxed=10, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=6 bias=6/7
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 90 0 | 12 | 3
0.00/0.03 c 0.0s | 0 | 10 | 0 | 90 0 | 12 | 3
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 10
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.03 c lower bound updated to 6
0.00/0.03 c BCD2: 6 <= obj <= 69
0.00/0.03 c BCD2: #cores=3, #unrelaxed=126, #relaxed=18, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=7 bias=7/8
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 90 0 | 12 | 3
0.00/0.03 c 0.0s | 0 | 7 | 0 | 90 0 | 12 | 3
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 7
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.03 c lower bound updated to 7
0.00/0.03 c BCD2: 7 <= obj <= 69
0.00/0.03 c BCD2: #cores=4, #unrelaxed=124, #relaxed=20, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=8 bias=8/9
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 90 0 | 12 | 4
0.00/0.03 c 0.0s | 0 | 8 | 2 | 90 0 | 12 | 4
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 8
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 2
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.00/0.03 c lower bound updated to 8
0.00/0.03 c BCD2: 8 <= obj <= 69
0.00/0.03 c BCD2: #cores=4, #unrelaxed=121, #relaxed=23, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=9 bias=9/10
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 90 0 | 13 | 4
0.00/0.03 c 0.0s | 0 | 13 | 0 | 90 0 | 13 | 5
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 13
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 10: cost of the new core is >=1
0.00/0.03 c lower bound updated to 9
0.00/0.03 c BCD2: 9 <= obj <= 69
0.00/0.03 c BCD2: #cores=5, #unrelaxed=111, #relaxed=33, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=10 bias=10/11
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 90 0 | 13 | 5
0.00/0.03 c 0.0s | 0 | 8 | 2 | 90 0 | 13 | 5
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 8
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 2
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 23: cost of the new core is >=4
0.00/0.03 c lower bound updated to 10
0.00/0.03 c BCD2: 10 <= obj <= 69
0.00/0.03 c BCD2: #cores=4, #unrelaxed=109, #relaxed=35, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=11 bias=11/12
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 90 0 | 15 | 5
0.00/0.03 c 0.0s | 0 | 9 | 0 | 90 0 | 15 | 7
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 9
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 6: cost of the new core is >=1
0.00/0.03 c lower bound updated to 11
0.00/0.03 c BCD2: 11 <= obj <= 69
0.00/0.03 c BCD2: #cores=5, #unrelaxed=103, #relaxed=41, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=12 bias=12/13
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 90 0 | 15 | 7
0.00/0.04 c 0.0s | 0 | 10 | 1 | 90 0 | 15 | 7
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 10
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.00/0.04 c lower bound updated to 12
0.00/0.04 c BCD2: 12 <= obj <= 69
0.00/0.04 c BCD2: #cores=5, #unrelaxed=98, #relaxed=46, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=13 bias=13/14
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 90 0 | 16 | 7
0.00/0.04 c 0.0s | 0 | 13 | 0 | 90 0 | 16 | 8
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 13
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.04 c lower bound updated to 13
0.00/0.04 c BCD2: 13 <= obj <= 69
0.00/0.04 c BCD2: #cores=6, #unrelaxed=90, #relaxed=54, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=14 bias=14/15
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 90 0 | 16 | 8
0.00/0.04 c 0.0s | 0 | 19 | 0 | 90 0 | 16 | 8
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 19
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.04 c lower bound updated to 14
0.00/0.04 c BCD2: 14 <= obj <= 69
0.00/0.04 c BCD2: #cores=7, #unrelaxed=81, #relaxed=63, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=15 bias=15/16
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 90 0 | 16 | 8
0.00/0.04 c 0.0s | 0 | 32 | 1 | 90 0 | 16 | 8
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 32
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 12 and merging with 2 cores into a new core of size 23: cost of the new core is >=6
0.00/0.04 c lower bound updated to 15
0.00/0.04 c BCD2: 15 <= obj <= 69
0.00/0.04 c BCD2: #cores=6, #unrelaxed=69, #relaxed=75, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=16 bias=16/17
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 90 0 | 18 | 8
0.00/0.04 c 0.0s | 0 | 20 | 0 | 90 0 | 18 | 10
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 20
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.04 c lower bound updated to 16
0.00/0.04 c BCD2: 16 <= obj <= 69
0.00/0.04 c BCD2: #cores=7, #unrelaxed=62, #relaxed=82, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=17 bias=17/18
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 90 0 | 18 | 10
0.00/0.04 c 0.0s | 0 | 27 | 0 | 90 0 | 18 | 10
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 27
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.04 c lower bound updated to 17
0.00/0.04 c BCD2: 17 <= obj <= 69
0.00/0.04 c BCD2: #cores=8, #unrelaxed=54, #relaxed=90, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=18 bias=18/19
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 90 0 | 18 | 10
0.00/0.04 c 0.0s | 0 | 22 | 0 | 90 0 | 18 | 10
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 22
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.04 c lower bound updated to 18
0.00/0.04 c BCD2: 18 <= obj <= 69
0.00/0.04 c BCD2: #cores=9, #unrelaxed=51, #relaxed=93, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=19 bias=19/20
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 90 0 | 18 | 10
0.00/0.04 c 0.0s | 0 | 27 | 0 | 90 0 | 18 | 10
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 27
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 5: cost of the new core is >=1
0.00/0.04 c lower bound updated to 19
0.00/0.04 c BCD2: 19 <= obj <= 69
0.00/0.04 c BCD2: #cores=10, #unrelaxed=46, #relaxed=98, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=20 bias=20/21
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 90 0 | 18 | 10
0.00/0.04 c 0.0s | 0 | 28 | 1 | 90 0 | 18 | 10
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 28
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 9: cost of the new core is >=2
0.00/0.04 c lower bound updated to 20
0.00/0.05 c BCD2: 20 <= obj <= 69
0.00/0.05 c BCD2: #cores=10, #unrelaxed=42, #relaxed=102, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=21 bias=21/22
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 90 0 | 19 | 10
0.00/0.05 c 0.0s | 0 | 26 | 0 | 90 0 | 19 | 11
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 26
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.05 c lower bound updated to 21
0.00/0.05 c BCD2: 21 <= obj <= 69
0.00/0.05 c BCD2: #cores=11, #unrelaxed=41, #relaxed=103, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=22 bias=22/23
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 90 0 | 19 | 11
0.00/0.05 c 0.0s | 0 | 27 | 0 | 90 0 | 19 | 11
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 27
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.05 c lower bound updated to 22
0.00/0.05 c BCD2: 22 <= obj <= 69
0.00/0.05 c BCD2: #cores=12, #unrelaxed=40, #relaxed=104, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=23 bias=23/24
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 90 0 | 19 | 11
0.00/0.05 c 0.0s | 0 | 32 | 0 | 90 0 | 19 | 11
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 32
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 5: cost of the new core is >=1
0.00/0.05 c lower bound updated to 23
0.00/0.05 c BCD2: 23 <= obj <= 69
0.00/0.05 c BCD2: #cores=13, #unrelaxed=35, #relaxed=109, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=24 bias=24/25
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 90 0 | 19 | 11
0.00/0.05 c 0.0s | 0 | 31 | 0 | 90 0 | 19 | 11
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 31
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 4: cost of the new core is >=1
0.00/0.05 c lower bound updated to 24
0.00/0.05 c BCD2: 24 <= obj <= 69
0.00/0.05 c BCD2: #cores=14, #unrelaxed=31, #relaxed=113, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=25 bias=25/26
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 90 0 | 19 | 11
0.00/0.05 c 0.0s | 0 | 30 | 0 | 90 0 | 19 | 11
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 30
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.05 c lower bound updated to 25
0.00/0.05 c BCD2: 25 <= obj <= 69
0.00/0.05 c BCD2: #cores=15, #unrelaxed=30, #relaxed=114, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=26 bias=26/27
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 90 0 | 19 | 11
0.00/0.05 c 0.0s | 0 | 32 | 1 | 90 0 | 19 | 11
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 32
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 9: cost of the new core is >=2
0.00/0.05 c lower bound updated to 26
0.00/0.05 c BCD2: 26 <= obj <= 69
0.00/0.05 c BCD2: #cores=15, #unrelaxed=26, #relaxed=118, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=27 bias=27/28
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 90 0 | 20 | 11
0.00/0.05 c 0.0s | 0 | 28 | 0 | 90 0 | 20 | 12
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 28
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.05 c lower bound updated to 27
0.00/0.05 c BCD2: 27 <= obj <= 69
0.00/0.05 c BCD2: #cores=16, #unrelaxed=25, #relaxed=119, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=28 bias=28/29
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 90 0 | 20 | 12
0.00/0.05 c 0.0s | 0 | 33 | 1 | 90 0 | 20 | 12
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 33
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 12: cost of the new core is >=1
0.00/0.05 c lower bound updated to 28
0.00/0.05 c BCD2: 28 <= obj <= 69
0.00/0.05 c BCD2: #cores=17, #unrelaxed=13, #relaxed=131, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=29 bias=29/30
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 90 0 | 20 | 12
0.00/0.05 c 0.0s | 0 | 25 | 0 | 90 0 | 20 | 12
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 25
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.05 c lower bound updated to 29
0.00/0.05 c BCD2: 29 <= obj <= 69
0.00/0.05 c BCD2: #cores=18, #unrelaxed=12, #relaxed=132, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=30 bias=30/31
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 90 0 | 20 | 12
0.00/0.06 c 0.0s | 0 | 27 | 0 | 90 0 | 20 | 12
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 27
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.06 c lower bound updated to 30
0.00/0.06 c BCD2: 30 <= obj <= 69
0.00/0.06 c BCD2: #cores=19, #unrelaxed=11, #relaxed=133, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=31 bias=31/32
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 90 0 | 20 | 12
0.00/0.06 c 0.0s | 0 | 76 | 5 | 90 0 | 20 | 12
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 76
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 5
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.06 c lower bound updated to 31
0.00/0.06 c BCD2: 31 <= obj <= 69
0.00/0.06 c BCD2: #cores=19, #unrelaxed=10, #relaxed=134, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=32 bias=32/33
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 90 0 | 21 | 12
0.00/0.06 c 0.0s | 0 | 54 | 3 | 90 0 | 21 | 13
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 54
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 3
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 5: cost of the new core is >=2
0.00/0.06 c lower bound updated to 32
0.00/0.06 c BCD2: 32 <= obj <= 69
0.00/0.06 c BCD2: #cores=19, #unrelaxed=9, #relaxed=135, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=33 bias=33/34
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 90 0 | 22 | 14
0.00/0.07 c 0.0s | 1 | 175 | 100 | 100 1 | 22 | 15
0.00/0.08 c 0.0s | 2 | 496 | 250 | 111 2 | 22 | 15
0.00/0.09 c 0.0s | 3 | 841 | 475 | 123 5 | 22 | 15
0.09/0.10 c 0.0s | 3 | 1081 | 635 | 123 7 | 22 | 15
0.09/0.10 c #cpu_time = 0.045s
0.09/0.10 c #wall_clock_time = 0.045s
0.09/0.10 c #decision = 1081
0.09/0.10 c #random_decision = 6
0.09/0.10 c #conflict = 635
0.09/0.10 c #restart = 3
0.09/0.10 c BCD2: relaxing 4 and merging with 3 cores into a new core of size 58: cost of the new core is >=12
0.09/0.10 c lower bound updated to 33
0.09/0.10 c BCD2: 33 <= obj <= 69
0.09/0.10 c BCD2: #cores=17, #unrelaxed=5, #relaxed=139, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=34 bias=34/35
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 123 0 | 25 | 15
0.09/0.11 c 0.0s | 1 | 163 | 100 | 136 0 | 25 | 18
0.09/0.12 c 0.0s | 2 | 357 | 250 | 136 1 | 25 | 18
0.09/0.13 c 0.0s | 2 | 581 | 346 | 136 3 | 26 | 19
0.09/0.13 c #cpu_time = 0.022s
0.09/0.13 c #wall_clock_time = 0.022s
0.09/0.13 c #decision = 581
0.09/0.13 c #random_decision = 0
0.09/0.13 c #conflict = 346
0.09/0.13 c #restart = 2
0.09/0.13 c BCD2: updating lower bound of a core
0.09/0.13 c lower bound updated to 37
0.09/0.13 c BCD2: 37 <= obj <= 69
0.09/0.13 c BCD2: #cores=17, #unrelaxed=5, #relaxed=139, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=35 bias=35/36
0.09/0.13 c Solving starts ...
0.09/0.13 c ============================[ Search Statistics ]============================
0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.13 c | | | | Limit GC | Var | Constra
0.09/0.13 c =============================================================================
0.09/0.13 c 0.0s | 0 | 0 | 0 | 136 0 | 26 | 20
0.09/0.14 c 0.0s | 1 | 178 | 100 | 136 0 | 26 | 20
0.09/0.16 c 0.0s | 2 | 385 | 250 | 150 1 | 26 | 20
0.09/0.19 c 0.1s | 3 | 684 | 475 | 150 3 | 26 | 20
0.19/0.24 c 0.1s | 4 | 1100 | 813 | 150 6 | 26 | 20
0.29/0.32 c 0.2s | 5 | 1735 | 1320 | 165 10 | 26 | 20
0.39/0.43 c 0.3s | 6 | 2642 | 2081 | 165 17 | 26 | 20
0.59/0.60 c 0.5s | 7 | 4010 | 3223 | 182 26 | 26 | 20
0.79/0.86 c 0.7s | 8 | 6049 | 4936 | 201 39 | 26 | 20
0.99/1.05 c 0.9s | 8 | 7744 | 6266 | 201 49 | 26 | 20
0.99/1.05 c #cpu_time = 0.922s
0.99/1.05 c #wall_clock_time = 0.921s
0.99/1.05 c #decision = 7744
0.99/1.05 c #random_decision = 31
0.99/1.05 c #conflict = 6266
0.99/1.05 c #restart = 8
0.99/1.05 c BCD2: relaxing 3 and merging with 10 cores into a new core of size 135: cost of the new core is >=31
0.99/1.05 c lower bound updated to 38
0.99/1.05 c BCD2: 38 <= obj <= 69
0.99/1.05 c BCD2: #cores=8, #unrelaxed=2, #relaxed=142, #hardened=0
0.99/1.05 c BCD2: #sat=1 #unsat=36 bias=36/37
0.99/1.05 c Solving starts ...
0.99/1.05 c ============================[ Search Statistics ]============================
0.99/1.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.05 c | | | | Limit GC | Var | Constra
0.99/1.05 c =============================================================================
0.99/1.05 c 0.0s | 0 | 0 | 0 | 201 0 | 36 | 20
0.99/1.07 c 0.0s | 1 | 149 | 100 | 201 0 | 36 | 30
0.99/1.09 c 0.0s | 2 | 350 | 250 | 222 0 | 36 | 30
1.10/1.13 c 0.1s | 3 | 612 | 475 | 222 2 | 36 | 30
1.10/1.20 c 0.1s | 4 | 998 | 813 | 222 4 | 36 | 30
1.20/1.26 c 0.2s | 5 | 1583 | 1320 | 222 7 | 36 | 30
1.29/1.36 c 0.3s | 6 | 2445 | 2081 | 222 12 | 36 | 30
1.49/1.50 c 0.4s | 7 | 3773 | 3223 | 222 19 | 36 | 30
1.69/1.72 c 0.7s | 8 | 5760 | 4936 | 245 30 | 36 | 30
1.99/2.05 c 1.0s | 9 | 8625 | 7506 | 245 46 | 36 | 30
2.48/2.56 c 1.5s | 10 | 12953 | 11361 | 270 69 | 36 | 30
3.29/3.33 c 2.3s | 11 | 19466 | 17144 | 270 102 | 36 | 30
4.39/4.50 c 3.4s | 12 | 29130 | 25819 | 297 150 | 36 | 30
6.19/6.23 c 5.2s | 13 | 43581 | 38832 | 327 217 | 36 | 30
8.19/8.23 c 7.2s | 13 | 58918 | 52632 | 360 285 | 36 | 30
8.99/9.08 c 8.0s | 14 | 65226 | 58352 | 360 311 | 36 | 30
11.00/11.08 c 10.0s | 14 | 80521 | 71952 | 360 372 | 36 | 30
12.99/13.09 c 12.0s | 14 | 95269 | 85152 | 397 431 | 36 | 30
13.39/13.48 c 12.4s | 15 | 97986 | 87632 | 397 441 | 36 | 30
15.40/15.48 c 14.4s | 15 | 112540 | 100732 | 397 496 | 36 | 30
17.39/17.49 c 16.4s | 15 | 126367 | 113232 | 397 549 | 36 | 30
19.39/19.49 c 18.4s | 15 | 140619 | 125932 | 437 601 | 36 | 30
20.39/20.41 c 19.4s | 16 | 146966 | 131552 | 437 623 | 36 | 30
22.39/22.42 c 21.4s | 16 | 162020 | 145052 | 437 676 | 36 | 30
24.39/24.42 c 23.4s | 16 | 176344 | 157952 | 437 726 | 36 | 30
26.39/26.42 c 25.4s | 16 | 191409 | 171352 | 437 778 | 36 | 30
28.38/28.44 c 27.4s | 16 | 207113 | 185252 | 437 832 | 36 | 30
30.18/30.28 c 29.2s | 17 | 220724 | 197432 | 481 877 | 36 | 30
32.18/32.28 c 31.2s | 17 | 236402 | 211332 | 481 926 | 36 | 30
34.19/34.29 c 33.2s | 17 | 251373 | 224632 | 481 973 | 36 | 30
36.18/36.30 c 35.2s | 17 | 266441 | 238132 | 481 1021 | 36 | 30
38.28/38.31 c 37.3s | 17 | 281503 | 251732 | 481 1069 | 36 | 30
40.28/40.32 c 39.3s | 17 | 296065 | 264932 | 481 1116 | 36 | 30
42.28/42.33 c 41.3s | 17 | 310998 | 278232 | 481 1163 | 36 | 30
44.28/44.34 c 43.3s | 17 | 327515 | 292832 | 530 1214 | 36 | 30
44.78/44.81 c 43.8s | 18 | 331410 | 296252 | 530 1226 | 36 | 30
46.78/46.82 c 45.8s | 18 | 345802 | 309252 | 530 1268 | 36 | 30
48.78/48.83 c 47.8s | 18 | 360340 | 322452 | 530 1311 | 36 | 30
50.78/50.83 c 49.8s | 18 | 374855 | 335452 | 530 1354 | 36 | 30
52.78/52.84 c 51.8s | 18 | 389650 | 348652 | 530 1398 | 36 | 30
54.78/54.84 c 53.8s | 18 | 403882 | 361452 | 530 1440 | 36 | 30
56.78/56.86 c 55.8s | 18 | 418379 | 374452 | 530 1483 | 36 | 30
58.78/58.86 c 57.8s | 18 | 432915 | 387552 | 530 1527 | 36 | 30
60.78/60.87 c 59.8s | 18 | 447848 | 400852 | 530 1571 | 36 | 30
62.78/62.87 c 61.8s | 18 | 462945 | 414352 | 530 1616 | 36 | 30
64.78/64.87 c 63.8s | 18 | 477666 | 427552 | 530 1659 | 36 | 30
66.78/66.88 c 65.8s | 18 | 492132 | 440552 | 583 1700 | 36 | 30
67.38/67.49 c 66.4s | 19 | 496547 | 444482 | 583 1712 | 36 | 30
69.39/69.49 c 68.4s | 19 | 511309 | 457582 | 583 1752 | 36 | 30
71.49/71.51 c 70.5s | 19 | 525165 | 470082 | 583 1790 | 36 | 30
73.48/73.51 c 72.5s | 19 | 539697 | 483182 | 583 1829 | 36 | 30
75.48/75.51 c 74.5s | 19 | 555377 | 497282 | 583 1872 | 36 | 30
77.48/77.53 c 76.5s | 19 | 569524 | 510082 | 583 1911 | 36 | 30
79.48/79.54 c 78.5s | 19 | 583433 | 522482 | 583 1949 | 36 | 30
81.48/81.54 c 80.5s | 19 | 597481 | 535082 | 583 1987 | 36 | 30
83.48/83.55 c 82.5s | 19 | 611633 | 547682 | 583 2025 | 36 | 30
85.48/85.55 c 84.5s | 19 | 625274 | 559882 | 583 2063 | 36 | 30
87.47/87.55 c 86.5s | 19 | 639217 | 572282 | 583 2100 | 36 | 30
89.47/89.57 c 88.5s | 19 | 653753 | 585182 | 583 2140 | 36 | 30
91.47/91.58 c 90.5s | 19 | 668310 | 598182 | 583 2179 | 36 | 30
93.48/93.58 c 92.5s | 19 | 682493 | 610882 | 583 2218 | 36 | 30
95.47/95.59 c 94.5s | 19 | 696164 | 623182 | 583 2256 | 36 | 30
97.57/97.60 c 96.6s | 19 | 710208 | 635782 | 583 2294 | 36 | 30
99.58/99.61 c 98.6s | 19 | 724568 | 648482 | 583 2333 | 36 | 30
101.58/101.62 c 100s | 19 | 738395 | 660882 | 642 2369 | 36 | 30
102.58/102.61 c 101s | 20 | 745059 | 666827 | 642 2386 | 36 | 30
104.59/104.61 c 103s | 20 | 760105 | 680227 | 642 2424 | 36 | 30
106.58/106.62 c 105s | 20 | 774920 | 693427 | 642 2461 | 36 | 30
108.58/108.62 c 107s | 20 | 789655 | 706527 | 642 2497 | 36 | 30
110.58/110.63 c 109s | 20 | 804806 | 720027 | 642 2535 | 36 | 30
112.58/112.63 c 111s | 20 | 819670 | 733227 | 642 2572 | 36 | 30
114.58/114.63 c 113s | 20 | 835595 | 747227 | 642 2611 | 36 | 30
116.58/116.64 c 115s | 20 | 851314 | 761127 | 642 2650 | 36 | 30
118.57/118.66 c 117s | 20 | 866789 | 774827 | 642 2689 | 36 | 30
120.57/120.66 c 119s | 20 | 882086 | 788427 | 642 2727 | 36 | 30
122.57/122.66 c 121s | 20 | 896839 | 801427 | 642 2764 | 36 | 30
124.57/124.68 c 123s | 20 | 911563 | 814527 | 642 2800 | 36 | 30
126.58/126.68 c 125s | 20 | 925887 | 827427 | 642 2837 | 36 | 30
128.57/128.69 c 127s | 20 | 940294 | 840227 | 642 2873 | 36 | 30
130.57/130.69 c 129s | 20 | 954875 | 853127 | 642 2909 | 36 | 30
132.57/132.69 c 131s | 20 | 969830 | 866327 | 642 2945 | 36 | 30
134.57/134.70 c 133s | 20 | 984081 | 879127 | 642 2981 | 36 | 30
136.67/136.70 c 135s | 20 | 998714 | 892227 | 642 3017 | 36 | 30
138.67/138.71 c 137s | 20 | 1013994 | 905727 | 642 3055 | 36 | 30
140.67/140.72 c 139s | 20 | 1028807 | 918927 | 642 3092 | 36 | 30
142.67/142.73 c 141s | 20 | 1043119 | 931727 | 642 3127 | 36 | 30
144.67/144.73 c 143s | 20 | 1057075 | 944227 | 642 3162 | 36 | 30
146.66/146.74 c 145s | 20 | 1070724 | 956527 | 642 3197 | 36 | 30
148.66/148.75 c 147s | 20 | 1084448 | 968927 | 642 3231 | 36 | 30
150.67/150.76 c 149s | 20 | 1098456 | 981427 | 642 3266 | 36 | 30
152.66/152.77 c 151s | 20 | 1111983 | 993627 | 707 3297 | 36 | 30
153.86/153.91 c 152s | 21 | 1119485 | 1000345 | 707 3315 | 36 | 30
155.86/155.91 c 154s | 21 | 1134345 | 1013545 | 707 3348 | 36 | 30
157.86/157.92 c 156s | 21 | 1149210 | 1026845 | 707 3382 | 36 | 30
159.86/159.93 c 158s | 21 | 1164150 | 1040145 | 707 3416 | 36 | 30
161.86/161.93 c 160s | 21 | 1178780 | 1053245 | 707 3450 | 36 | 30
163.88/163.94 c 162s | 21 | 1193380 | 1066345 | 707 3483 | 36 | 30
165.87/165.94 c 164s | 21 | 1207737 | 1079145 | 707 3516 | 36 | 30
167.87/167.94 c 166s | 21 | 1221312 | 1091345 | 707 3547 | 36 | 30
169.86/169.95 c 168s | 21 | 1235507 | 1104045 | 707 3580 | 36 | 30
171.86/171.95 c 170s | 21 | 1249347 | 1116445 | 707 3612 | 36 | 30
173.87/173.97 c 172s | 21 | 1263783 | 1129345 | 707 3645 | 36 | 30
175.86/175.98 c 174s | 21 | 1278719 | 1142745 | 707 3679 | 36 | 30
177.86/177.99 c 176s | 21 | 1293434 | 1155845 | 707 3713 | 36 | 30
179.96/180.00 c 178s | 21 | 1307999 | 1168845 | 707 3746 | 36 | 30
181.96/182.00 c 180s | 21 | 1322184 | 1181545 | 707 3779 | 36 | 30
183.96/184.01 c 182s | 21 | 1336305 | 1194145 | 707 3811 | 36 | 30
185.97/186.02 c 184s | 21 | 1350340 | 1206845 | 707 3844 | 36 | 30
187.96/188.04 c 186s | 21 | 1364074 | 1219145 | 707 3876 | 36 | 30
189.96/190.05 c 189s | 21 | 1378098 | 1231745 | 707 3908 | 36 | 30
191.96/192.06 c 191s | 21 | 1391588 | 1243945 | 707 3939 | 36 | 30
193.96/194.07 c 193s | 21 | 1405800 | 1256645 | 707 3971 | 36 | 30
195.96/196.09 c 195s | 21 | 1419520 | 1269045 | 707 4002 | 36 | 30
197.96/198.09 c 197s | 21 | 1433404 | 1281445 | 707 4034 | 36 | 30
200.05/200.10 c 199s | 21 | 1446881 | 1293545 | 707 4065 | 36 | 30
202.05/202.12 c 201s | 21 | 1460973 | 1306245 | 707 4097 | 36 | 30
204.05/204.13 c 203s | 21 | 1474785 | 1318645 | 707 4128 | 36 | 30
206.06/206.13 c 205s | 21 | 1489052 | 1331345 | 707 4161 | 36 | 30
208.06/208.14 c 207s | 21 | 1503450 | 1344145 | 707 4194 | 36 | 30
210.07/210.14 c 209s | 21 | 1516867 | 1356245 | 707 4225 | 36 | 30
212.06/212.14 c 211s | 21 | 1530666 | 1368545 | 707 4256 | 36 | 30
214.06/214.16 c 213s | 21 | 1544542 | 1381045 | 707 4288 | 36 | 30
216.06/216.17 c 215s | 21 | 1557922 | 1393045 | 707 4318 | 36 | 30
218.06/218.18 c 217s | 21 | 1572432 | 1405845 | 707 4351 | 36 | 30
220.06/220.18 c 219s | 21 | 1586333 | 1418245 | 707 4382 | 36 | 30
222.06/222.19 c 221s | 21 | 1600024 | 1430545 | 707 4414 | 36 | 30
224.06/224.19 c 223s | 21 | 1613517 | 1442645 | 707 4445 | 36 | 30
226.16/226.20 c 225s | 21 | 1627073 | 1454745 | 707 4476 | 36 | 30
228.15/228.21 c 227s | 21 | 1640197 | 1466545 | 707 4506 | 36 | 30
230.15/230.22 c 229s | 21 | 1653687 | 1478545 | 707 4536 | 36 | 30
232.16/232.23 c 231s | 21 | 1667145 | 1490545 | 778 4565 | 36 | 30
233.85/233.98 c 232s | 22 | 1678335 | 1500622 | 778 4589 | 36 | 30
235.85/235.98 c 234s | 22 | 1692671 | 1513322 | 778 4619 | 36 | 30
237.85/237.99 c 236s | 22 | 1707125 | 1526122 | 778 4649 | 36 | 30
239.95/240.00 c 238s | 22 | 1721428 | 1538822 | 778 4679 | 36 | 30
241.96/242.02 c 240s | 22 | 1735346 | 1551322 | 778 4708 | 36 | 30
243.95/244.03 c 242s | 22 | 1748381 | 1563022 | 778 4735 | 36 | 30
245.95/246.04 c 244s | 22 | 1761485 | 1575022 | 778 4763 | 36 | 30
247.95/248.04 c 246s | 22 | 1775870 | 1587922 | 778 4794 | 36 | 30
249.95/250.05 c 248s | 22 | 1789875 | 1600522 | 778 4823 | 36 | 30
251.95/252.05 c 250s | 22 | 1805036 | 1614022 | 778 4855 | 36 | 30
253.96/254.06 c 253s | 22 | 1819777 | 1627122 | 778 4886 | 36 | 30
255.96/256.06 c 255s | 22 | 1833722 | 1639722 | 778 4916 | 36 | 30
257.95/258.07 c 257s | 22 | 1847549 | 1651922 | 778 4945 | 36 | 30
259.95/260.07 c 259s | 22 | 1861490 | 1664322 | 778 4974 | 36 | 30
261.95/262.09 c 261s | 22 | 1874967 | 1676322 | 778 5002 | 36 | 30
263.96/264.10 c 263s | 22 | 1887988 | 1688122 | 778 5029 | 36 | 30
266.05/266.11 c 265s | 22 | 1900999 | 1699822 | 778 5057 | 36 | 30
268.05/268.11 c 267s | 22 | 1914151 | 1711622 | 778 5085 | 36 | 30
270.05/270.13 c 269s | 22 | 1927073 | 1723322 | 778 5112 | 36 | 30
272.05/272.13 c 271s | 22 | 1940310 | 1735222 | 778 5140 | 36 | 30
274.05/274.14 c 273s | 22 | 1953949 | 1747322 | 778 5169 | 36 | 30
276.05/276.15 c 275s | 22 | 1968074 | 1759922 | 778 5199 | 36 | 30
278.05/278.16 c 277s | 22 | 1982334 | 1772622 | 778 5229 | 36 | 30
280.05/280.17 c 279s | 22 | 1995701 | 1784722 | 778 5257 | 36 | 30
282.04/282.17 c 281s | 22 | 2009523 | 1797022 | 778 5285 | 36 | 30
284.04/284.17 c 283s | 22 | 2022940 | 1809022 | 778 5314 | 36 | 30
286.05/286.18 c 285s | 22 | 2036577 | 1821222 | 778 5342 | 36 | 30
288.04/288.19 c 287s | 22 | 2049338 | 1832822 | 778 5369 | 36 | 30
290.04/290.19 c 289s | 22 | 2062666 | 1844722 | 778 5397 | 36 | 30
292.14/292.20 c 291s | 22 | 2075601 | 1856322 | 778 5424 | 36 | 30
294.15/294.21 c 293s | 22 | 2088212 | 1867822 | 778 5451 | 36 | 30
296.15/296.21 c 295s | 22 | 2101146 | 1879522 | 778 5478 | 36 | 30
298.15/298.22 c 297s | 22 | 2114187 | 1891222 | 778 5505 | 36 | 30
300.15/300.22 c 299s | 22 | 2127394 | 1903022 | 778 5533 | 36 | 30
302.15/302.23 c 301s | 22 | 2141031 | 1915122 | 778 5561 | 36 | 30
304.15/304.24 c 303s | 22 | 2154270 | 1926922 | 778 5589 | 36 | 30
306.14/306.24 c 305s | 22 | 2167226 | 1938522 | 778 5616 | 36 | 30
308.14/308.25 c 307s | 22 | 2179776 | 1949922 | 778 5643 | 36 | 30
310.15/310.26 c 309s | 22 | 2191986 | 1960922 | 778 5669 | 36 | 30
312.14/312.27 c 311s | 22 | 2205531 | 1973122 | 778 5697 | 36 | 30
314.14/314.28 c 313s | 22 | 2218531 | 1984722 | 778 5724 | 36 | 30
316.14/316.29 c 315s | 22 | 2231255 | 1996222 | 778 5751 | 36 | 30
318.14/318.29 c 317s | 22 | 2243891 | 2007522 | 778 5777 | 36 | 30
320.24/320.30 c 319s | 22 | 2256345 | 2018722 | 778 5803 | 36 | 30
322.14/322.30 c 321s | 22 | 2269553 | 2030522 | 778 5831 | 36 | 30
324.24/324.31 c 323s | 22 | 2282311 | 2042022 | 778 5857 | 36 | 30
326.24/326.32 c 325s | 22 | 2295051 | 2053522 | 778 5885 | 36 | 30
328.24/328.32 c 327s | 22 | 2308103 | 2065222 | 778 5912 | 36 | 30
330.24/330.33 c 329s | 22 | 2320993 | 2076822 | 778 5939 | 36 | 30
332.25/332.34 c 331s | 22 | 2333959 | 2088322 | 778 5966 | 36 | 30
334.24/334.35 c 333s | 22 | 2346787 | 2099822 | 778 5993 | 36 | 30
336.24/336.36 c 335s | 22 | 2359505 | 2111222 | 778 6020 | 36 | 30
338.24/338.37 c 337s | 22 | 2373085 | 2123422 | 778 6049 | 36 | 30
340.24/340.38 c 339s | 22 | 2386657 | 2135422 | 778 6077 | 36 | 30
342.24/342.39 c 341s | 22 | 2399600 | 2147122 | 778 6105 | 36 | 30
344.24/344.39 c 343s | 22 | 2412776 | 2158922 | 778 6132 | 36 | 30
346.34/346.40 c 345s | 22 | 2426464 | 2171122 | 778 6161 | 36 | 30
348.34/348.40 c 347s | 22 | 2440343 | 2183522 | 778 6190 | 36 | 30
350.33/350.42 c 349s | 22 | 2454044 | 2195722 | 778 6219 | 36 | 30
352.33/352.43 c 351s | 22 | 2467072 | 2207522 | 778 6247 | 36 | 30
354.33/354.43 c 353s | 22 | 2480950 | 2219922 | 778 6276 | 36 | 30
356.34/356.44 c 355s | 22 | 2494595 | 2232022 | 856 6303 | 36 | 30
358.33/358.46 c 357s | 22 | 2508678 | 2244422 | 856 6330 | 36 | 30
359.43/359.56 c 358s | 23 | 2516128 | 2251038 | 856 6344 | 36 | 30
361.43/361.56 c 360s | 23 | 2530826 | 2264038 | 856 6372 | 36 | 30
363.43/363.57 c 362s | 23 | 2544990 | 2276638 | 856 6400 | 36 | 30
365.43/365.57 c 364s | 23 | 2559134 | 2289138 | 856 6426 | 36 | 30
367.44/367.58 c 366s | 23 | 2573374 | 2301738 | 856 6454 | 36 | 30
369.44/369.58 c 368s | 23 | 2587138 | 2313838 | 856 6480 | 36 | 30
371.44/371.59 c 370s | 23 | 2600669 | 2325938 | 856 6505 | 36 | 30
373.44/373.60 c 372s | 23 | 2614120 | 2337838 | 856 6531 | 36 | 30
375.54/375.60 c 374s | 23 | 2627131 | 2349438 | 856 6556 | 36 | 30
377.54/377.61 c 376s | 23 | 2641107 | 2361838 | 856 6582 | 36 | 30
379.54/379.62 c 378s | 23 | 2653645 | 2373138 | 856 6607 | 36 | 30
381.53/381.62 c 380s | 23 | 2666246 | 2384538 | 856 6631 | 36 | 30
383.53/383.63 c 382s | 23 | 2679392 | 2396238 | 856 6656 | 36 | 30
385.53/385.64 c 384s | 23 | 2693197 | 2408438 | 856 6683 | 36 | 30
387.53/387.66 c 386s | 23 | 2706685 | 2420538 | 856 6709 | 36 | 30
389.53/389.67 c 388s | 23 | 2719286 | 2431838 | 856 6733 | 36 | 30
391.54/391.67 c 390s | 23 | 2731940 | 2443238 | 856 6757 | 36 | 30
393.53/393.68 c 392s | 23 | 2745167 | 2455038 | 856 6783 | 36 | 30
395.53/395.69 c 394s | 23 | 2758010 | 2466538 | 856 6807 | 36 | 30
397.63/397.70 c 396s | 23 | 2770401 | 2477738 | 856 6831 | 36 | 30
399.63/399.70 c 398s | 23 | 2783299 | 2489238 | 856 6856 | 36 | 30
401.63/401.72 c 400s | 23 | 2796121 | 2500838 | 856 6881 | 36 | 30
403.63/403.73 c 402s | 23 | 2808903 | 2512338 | 856 6906 | 36 | 30
405.63/405.74 c 404s | 23 | 2821337 | 2523538 | 856 6930 | 36 | 30
407.63/407.75 c 406s | 23 | 2834855 | 2535638 | 856 6956 | 36 | 30
409.63/409.75 c 408s | 23 | 2847699 | 2547338 | 856 6981 | 36 | 30
411.62/411.75 c 410s | 23 | 2859869 | 2558338 | 856 7005 | 36 | 30
413.63/413.77 c 412s | 23 | 2872511 | 2569838 | 856 7029 | 36 | 30
415.62/415.77 c 414s | 23 | 2885669 | 2581638 | 856 7054 | 36 | 30
417.62/417.78 c 416s | 23 | 2898652 | 2593338 | 856 7079 | 36 | 30
419.62/419.78 c 418s | 23 | 2912006 | 2605338 | 856 7105 | 36 | 30
421.62/421.79 c 420s | 23 | 2925527 | 2617338 | 856 7131 | 36 | 30
423.72/423.80 c 422s | 23 | 2938997 | 2629338 | 856 7157 | 36 | 30
425.73/425.81 c 424s | 23 | 2951697 | 2640738 | 856 7181 | 36 | 30
427.73/427.82 c 426s | 23 | 2964799 | 2652438 | 856 7206 | 36 | 30
429.73/429.83 c 428s | 23 | 2977516 | 2663938 | 856 7231 | 36 | 30
431.73/431.84 c 430s | 23 | 2990515 | 2675638 | 856 7257 | 36 | 30
433.73/433.85 c 432s | 23 | 3003830 | 2687538 | 856 7282 | 36 | 30
435.73/435.85 c 434s | 23 | 3017289 | 2699438 | 856 7308 | 36 | 30
437.73/437.85 c 436s | 23 | 3029900 | 2710738 | 856 7333 | 36 | 30
439.73/439.86 c 438s | 23 | 3042201 | 2721838 | 856 7357 | 36 | 30
441.72/441.87 c 440s | 23 | 3054787 | 2733138 | 856 7381 | 36 | 30
443.72/443.88 c 442s | 23 | 3066906 | 2744038 | 856 7404 | 36 | 30
445.72/445.89 c 444s | 23 | 3079017 | 2754938 | 856 7428 | 36 | 30
447.73/447.89 c 446s | 23 | 3091516 | 2766138 | 856 7452 | 36 | 30
449.72/449.90 c 448s | 23 | 3104123 | 2777338 | 856 7477 | 36 | 30
451.82/451.91 c 450s | 23 | 3116307 | 2788338 | 856 7500 | 36 | 30
453.82/453.92 c 452s | 23 | 3128568 | 2799338 | 856 7524 | 36 | 30
455.82/455.94 c 454s | 23 | 3140791 | 2810338 | 856 7548 | 36 | 30
457.82/457.95 c 456s | 23 | 3153286 | 2821738 | 856 7572 | 36 | 30
459.83/459.96 c 458s | 23 | 3165741 | 2833038 | 856 7597 | 36 | 30
461.82/461.97 c 460s | 23 | 3177965 | 2844038 | 856 7620 | 36 | 30
463.82/463.98 c 462s | 23 | 3191566 | 2856238 | 856 7646 | 36 | 30
465.82/465.99 c 464s | 23 | 3205491 | 2868538 | 856 7673 | 36 | 30
467.81/467.99 c 466s | 23 | 3219349 | 2880838 | 856 7699 | 36 | 30
469.91/470.00 c 468s | 23 | 3232568 | 2892638 | 856 7725 | 36 | 30
471.92/472.01 c 470s | 23 | 3245717 | 2904338 | 856 7750 | 36 | 30
473.91/474.02 c 472s | 23 | 3258610 | 2915938 | 856 7775 | 36 | 30
475.91/476.02 c 474s | 23 | 3271301 | 2927438 | 856 7800 | 36 | 30
477.92/478.03 c 476s | 23 | 3283811 | 2938538 | 856 7824 | 36 | 30
479.92/480.03 c 478s | 23 | 3296090 | 2949638 | 856 7848 | 36 | 30
481.92/482.04 c 480s | 23 | 3308287 | 2960738 | 856 7871 | 36 | 30
483.93/484.04 c 482s | 23 | 3320875 | 2972038 | 856 7896 | 36 | 30
485.92/486.05 c 484s | 23 | 3333631 | 2983538 | 856 7921 | 36 | 30
487.92/488.06 c 487s | 23 | 3346382 | 2995038 | 856 7945 | 36 | 30
489.92/490.07 c 489s | 23 | 3358948 | 3006238 | 856 7970 | 36 | 30
491.92/492.08 c 491s | 23 | 3371321 | 3017438 | 856 7994 | 36 | 30
493.92/494.08 c 493s | 23 | 3384069 | 3029038 | 856 8019 | 36 | 30
495.91/496.08 c 495s | 23 | 3397104 | 3040738 | 856 8044 | 36 | 30
497.91/498.09 c 497s | 23 | 3409875 | 3052238 | 856 8069 | 36 | 30
500.01/500.10 c 499s | 23 | 3422127 | 3063238 | 856 8093 | 36 | 30
502.01/502.11 c 501s | 23 | 3434904 | 3074738 | 856 8117 | 36 | 30
504.01/504.12 c 503s | 23 | 3448140 | 3086538 | 856 8143 | 36 | 30
506.02/506.13 c 505s | 23 | 3461055 | 3098138 | 856 8168 | 36 | 30
508.02/508.13 c 507s | 23 | 3474016 | 3109838 | 856 8193 | 36 | 30
510.02/510.15 c 509s | 23 | 3487597 | 3121938 | 856 8219 | 36 | 30
512.02/512.16 c 511s | 23 | 3500385 | 3133438 | 856 8244 | 36 | 30
514.01/514.16 c 513s | 23 | 3513954 | 3145538 | 856 8270 | 36 | 30
516.01/516.16 c 515s | 23 | 3526283 | 3156838 | 856 8295 | 36 | 30
518.02/518.17 c 517s | 23 | 3539100 | 3168438 | 856 8320 | 36 | 30
520.01/520.18 c 519s | 23 | 3552254 | 3180238 | 856 8345 | 36 | 30
522.01/522.18 c 521s | 23 | 3565281 | 3191938 | 856 8370 | 36 | 30
524.01/524.18 c 523s | 23 | 3578837 | 3204038 | 856 8397 | 36 | 30
526.01/526.19 c 525s | 23 | 3591362 | 3215238 | 856 8421 | 36 | 30
528.11/528.20 c 527s | 23 | 3604166 | 3226638 | 856 8446 | 36 | 30
530.12/530.21 c 529s | 23 | 3617246 | 3238338 | 856 8471 | 36 | 30
532.11/532.22 c 531s | 23 | 3629587 | 3249438 | 856 8495 | 36 | 30
534.11/534.22 c 533s | 23 | 3641770 | 3260438 | 856 8519 | 36 | 30
536.11/536.22 c 535s | 23 | 3653927 | 3271438 | 856 8542 | 36 | 30
538.11/538.23 c 537s | 23 | 3666487 | 3282838 | 856 8567 | 36 | 30
540.11/540.24 c 539s | 23 | 3679064 | 3294138 | 856 8592 | 36 | 30
542.11/542.24 c 541s | 23 | 3691487 | 3305238 | 856 8616 | 36 | 30
544.11/544.26 c 543s | 23 | 3704221 | 3316638 | 856 8640 | 36 | 30
546.11/546.27 c 545s | 23 | 3717068 | 3328138 | 856 8664 | 36 | 30
548.11/548.28 c 547s | 23 | 3729489 | 3339438 | 856 8689 | 36 | 30
550.11/550.28 c 549s | 23 | 3742046 | 3350738 | 942 8712 | 36 | 30
552.11/552.30 c 551s | 23 | 3754360 | 3361838 | 942 8734 | 36 | 30
554.20/554.30 c 553s | 23 | 3766162 | 3372438 | 942 8755 | 36 | 30
554.90/555.02 c 553s | 24 | 3770864 | 3376662 | 942 8763 | 36 | 30
556.90/557.04 c 555s | 24 | 3784403 | 3388762 | 942 8787 | 36 | 30
558.90/559.05 c 557s | 24 | 3797210 | 3400362 | 942 8810 | 36 | 30
560.91/561.05 c 559s | 24 | 3810489 | 3412262 | 942 8833 | 36 | 30
562.90/563.06 c 562s | 24 | 3823106 | 3423662 | 942 8856 | 36 | 30
564.90/565.06 c 564s | 24 | 3836068 | 3435262 | 942 8878 | 36 | 30
566.90/567.08 c 566s | 24 | 3849360 | 3447162 | 942 8902 | 36 | 30
568.90/569.09 c 568s | 24 | 3862549 | 3458962 | 942 8925 | 36 | 30
570.91/571.09 c 570s | 24 | 3875413 | 3470462 | 942 8947 | 36 | 30
573.01/573.11 c 572s | 24 | 3887786 | 3481662 | 942 8969 | 36 | 30
575.01/575.11 c 574s | 24 | 3900452 | 3493062 | 942 8992 | 36 | 30
577.01/577.11 c 576s | 24 | 3913210 | 3504262 | 942 9014 | 36 | 30
579.01/579.12 c 578s | 24 | 3925993 | 3515762 | 942 9036 | 36 | 30
581.01/581.14 c 580s | 24 | 3938667 | 3527062 | 942 9059 | 36 | 30
583.01/583.15 c 582s | 24 | 3951206 | 3538262 | 942 9081 | 36 | 30
585.00/585.15 c 584s | 24 | 3964468 | 3549962 | 942 9104 | 36 | 30
587.00/587.16 c 586s | 24 | 3977674 | 3561662 | 942 9127 | 36 | 30
589.00/589.17 c 588s | 24 | 3990603 | 3573262 | 942 9150 | 36 | 30
591.00/591.18 c 590s | 24 | 4004097 | 3585262 | 942 9173 | 36 | 30
593.10/593.20 c 592s | 24 | 4016796 | 3596562 | 942 9196 | 36 | 30
595.11/595.22 c 594s | 24 | 4029388 | 3607862 | 942 9218 | 36 | 30
597.10/597.22 c 596s | 24 | 4041710 | 3618962 | 942 9240 | 36 | 30
599.10/599.23 c 598s | 24 | 4054246 | 3630162 | 942 9262 | 36 | 30
601.10/601.23 c 600s | 24 | 4067814 | 3642162 | 942 9285 | 36 | 30
603.10/603.24 c 602s | 24 | 4080728 | 3653662 | 942 9308 | 36 | 30
605.10/605.26 c 604s | 24 | 4093506 | 3665062 | 942 9331 | 36 | 30
607.10/607.26 c 606s | 24 | 4105955 | 3676362 | 942 9353 | 36 | 30
609.10/609.28 c 608s | 24 | 4118651 | 3687762 | 942 9375 | 36 | 30
611.10/611.29 c 610s | 24 | 4131184 | 3698962 | 942 9398 | 36 | 30
613.20/613.31 c 612s | 24 | 4144030 | 3710462 | 942 9420 | 36 | 30
615.20/615.31 c 614s | 24 | 4156537 | 3721662 | 942 9442 | 36 | 30
617.20/617.32 c 616s | 24 | 4168851 | 3732662 | 942 9464 | 36 | 30
619.20/619.32 c 618s | 24 | 4181515 | 3744062 | 942 9487 | 36 | 30
621.19/621.34 c 620s | 24 | 4193876 | 3755162 | 942 9509 | 36 | 30
623.19/623.35 c 622s | 24 | 4206373 | 3766362 | 942 9531 | 36 | 30
625.19/625.35 c 624s | 24 | 4219409 | 3778062 | 942 9554 | 36 | 30
627.19/627.37 c 626s | 24 | 4232290 | 3789562 | 942 9576 | 36 | 30
629.20/629.38 c 628s | 24 | 4244958 | 3800962 | 942 9599 | 36 | 30
631.19/631.40 c 630s | 24 | 4258282 | 3812762 | 942 9622 | 36 | 30
633.29/633.41 c 632s | 24 | 4271222 | 3824362 | 942 9645 | 36 | 30
635.29/635.41 c 634s | 24 | 4283306 | 3835262 | 942 9666 | 36 | 30
637.29/637.42 c 636s | 24 | 4295966 | 3846562 | 942 9688 | 36 | 30
639.29/639.42 c 638s | 24 | 4308591 | 3857862 | 942 9711 | 36 | 30
641.30/641.44 c 640s | 24 | 4320487 | 3868662 | 942 9732 | 36 | 30
643.29/643.46 c 642s | 24 | 4332871 | 3879862 | 942 9754 | 36 | 30
645.29/645.47 c 644s | 24 | 4345161 | 3890862 | 942 9776 | 36 | 30
647.29/647.49 c 646s | 24 | 4356908 | 3901462 | 942 9796 | 36 | 30
649.39/649.50 c 648s | 24 | 4369665 | 3912962 | 942 9819 | 36 | 30
651.39/651.50 c 650s | 24 | 4382149 | 3924262 | 942 9841 | 36 | 30
653.39/653.51 c 652s | 24 | 4395303 | 3935962 | 942 9864 | 36 | 30
655.39/655.53 c 654s | 24 | 4408577 | 3947862 | 942 9888 | 36 | 30
657.39/657.54 c 656s | 24 | 4421742 | 3959562 | 942 9911 | 36 | 30
659.38/659.55 c 658s | 24 | 4434560 | 3970962 | 942 9933 | 36 | 30
661.38/661.55 c 660s | 24 | 4446572 | 3981862 | 942 9954 | 36 | 30
663.39/663.57 c 662s | 24 | 4459174 | 3993162 | 942 9977 | 36 | 30
665.40/665.58 c 664s | 24 | 4471640 | 4004362 | 942 9999 | 36 | 30
667.39/667.58 c 666s | 24 | 4484090 | 4015462 | 942 10021 | 36 | 30
669.39/669.58 c 668s | 24 | 4495945 | 4026162 | 942 10042 | 36 | 30
671.49/671.60 c 670s | 24 | 4508508 | 4037362 | 942 10064 | 36 | 30
673.49/673.61 c 672s | 24 | 4520483 | 4048162 | 942 10085 | 36 | 30
675.49/675.61 c 674s | 24 | 4532474 | 4058862 | 942 10106 | 36 | 30
677.50/677.63 c 676s | 24 | 4545088 | 4070162 | 942 10128 | 36 | 30
679.49/679.64 c 678s | 24 | 4558474 | 4082162 | 942 10152 | 36 | 30
681.49/681.64 c 680s | 24 | 4571599 | 4093762 | 942 10175 | 36 | 30
683.49/683.65 c 682s | 24 | 4584381 | 4105162 | 942 10197 | 36 | 30
685.49/685.66 c 684s | 24 | 4597826 | 4117062 | 942 10221 | 36 | 30
687.49/687.66 c 686s | 24 | 4611413 | 4129162 | 942 10245 | 36 | 30
689.49/689.66 c 688s | 24 | 4625066 | 4141162 | 942 10268 | 36 | 30
691.49/691.67 c 690s | 24 | 4638856 | 4153162 | 942 10292 | 36 | 30
693.49/693.68 c 692s | 24 | 4651965 | 4164762 | 942 10315 | 36 | 30
695.48/695.68 c 694s | 24 | 4664477 | 4175962 | 942 10337 | 36 | 30
697.48/697.69 c 696s | 24 | 4677121 | 4187262 | 942 10359 | 36 | 30
699.49/699.70 c 698s | 24 | 4689971 | 4198662 | 942 10382 | 36 | 30
701.58/701.70 c 700s | 24 | 4702884 | 4210162 | 942 10404 | 36 | 30
703.58/703.72 c 702s | 24 | 4715544 | 4221562 | 942 10427 | 36 | 30
705.58/705.74 c 704s | 24 | 4727810 | 4232662 | 942 10448 | 36 | 30
707.58/707.75 c 706s | 24 | 4740567 | 4244062 | 942 10471 | 36 | 30
709.58/709.76 c 708s | 24 | 4753596 | 4255662 | 942 10494 | 36 | 30
711.58/711.77 c 710s | 24 | 4767366 | 4267762 | 942 10518 | 36 | 30
713.58/713.78 c 712s | 24 | 4781214 | 4279962 | 942 10542 | 36 | 30
715.58/715.79 c 714s | 24 | 4794763 | 4291862 | 942 10565 | 36 | 30
717.67/717.81 c 716s | 24 | 4808446 | 4304062 | 942 10589 | 36 | 30
719.67/719.81 c 718s | 24 | 4822235 | 4316262 | 942 10614 | 36 | 30
721.67/721.83 c 720s | 24 | 4835274 | 4327962 | 942 10637 | 36 | 30
723.68/723.83 c 722s | 24 | 4848680 | 4339962 | 942 10660 | 36 | 30
725.67/725.84 c 724s | 24 | 4861717 | 4351662 | 942 10683 | 36 | 30
727.66/727.86 c 726s | 24 | 4874181 | 4362962 | 942 10705 | 36 | 30
729.66/729.87 c 728s | 24 | 4886586 | 4374162 | 942 10728 | 36 | 30
731.67/731.88 c 730s | 24 | 4898703 | 4385162 | 942 10749 | 36 | 30
733.68/733.89 c 732s | 24 | 4911677 | 4396762 | 942 10772 | 36 | 30
735.78/735.90 c 734s | 24 | 4924512 | 4408262 | 942 10795 | 36 | 30
737.76/737.91 c 736s | 24 | 4937683 | 4420062 | 942 10818 | 36 | 30
739.76/739.92 c 738s | 24 | 4950938 | 4431862 | 942 10841 | 36 | 30
741.76/741.92 c 740s | 24 | 4964283 | 4443762 | 942 10865 | 36 | 30
743.76/743.94 c 742s | 24 | 4977167 | 4455362 | 942 10888 | 36 | 30
745.77/745.95 c 744s | 24 | 4989401 | 4466362 | 942 10909 | 36 | 30
747.76/747.96 c 746s | 24 | 5001925 | 4477662 | 942 10932 | 36 | 30
749.76/749.96 c 748s | 24 | 5014145 | 4488662 | 942 10953 | 36 | 30
751.76/751.96 c 750s | 24 | 5026784 | 4499962 | 942 10975 | 36 | 30
753.76/753.97 c 752s | 24 | 5038929 | 4510962 | 942 10997 | 36 | 30
755.76/755.98 c 754s | 24 | 5051385 | 4522162 | 942 11019 | 36 | 30
757.76/757.99 c 756s | 24 | 5063247 | 4532862 | 942 11040 | 36 | 30
759.76/759.99 c 758s | 24 | 5075589 | 4543962 | 942 11062 | 36 | 30
761.86/762.00 c 760s | 24 | 5087935 | 4555062 | 942 11084 | 36 | 30
763.86/764.01 c 762s | 24 | 5100213 | 4566162 | 942 11106 | 36 | 30
765.86/766.03 c 764s | 24 | 5112714 | 4577362 | 942 11128 | 36 | 30
767.85/768.03 c 766s | 24 | 5124741 | 4588262 | 942 11149 | 36 | 30
769.86/770.03 c 768s | 24 | 5136288 | 4598762 | 942 11170 | 36 | 30
771.85/772.05 c 771s | 24 | 5148533 | 4609862 | 942 11192 | 36 | 30
773.85/774.07 c 773s | 24 | 5160672 | 4620762 | 942 11213 | 36 | 30
775.85/776.07 c 775s | 24 | 5173039 | 4631862 | 942 11235 | 36 | 30
777.85/778.07 c 777s | 24 | 5186102 | 4643562 | 942 11258 | 36 | 30
779.85/780.09 c 779s | 24 | 5198880 | 4655062 | 942 11281 | 36 | 30
781.85/782.09 c 781s | 24 | 5211671 | 4666662 | 942 11304 | 36 | 30
783.95/784.10 c 783s | 24 | 5224884 | 4678662 | 942 11327 | 36 | 30
785.95/786.11 c 785s | 24 | 5237449 | 4689962 | 942 11350 | 36 | 30
787.94/788.12 c 787s | 24 | 5250130 | 4701362 | 942 11372 | 36 | 30
789.94/790.12 c 789s | 24 | 5262693 | 4712662 | 942 11394 | 36 | 30
791.95/792.13 c 791s | 24 | 5274502 | 4723362 | 942 11415 | 36 | 30
793.94/794.13 c 793s | 24 | 5286607 | 4734262 | 942 11436 | 36 | 30
795.94/796.14 c 795s | 24 | 5298668 | 4745162 | 942 11458 | 36 | 30
797.93/798.14 c 797s | 24 | 5310434 | 4755762 | 942 11478 | 36 | 30
799.93/800.16 c 799s | 24 | 5323159 | 4767062 | 942 11501 | 36 | 30
801.93/802.16 c 801s | 24 | 5335183 | 4777862 | 942 11522 | 36 | 30
803.94/804.18 c 803s | 24 | 5348955 | 4789962 | 942 11546 | 36 | 30
805.93/806.18 c 805s | 24 | 5362067 | 4801662 | 942 11569 | 36 | 30
807.93/808.19 c 807s | 24 | 5375220 | 4813462 | 942 11592 | 36 | 30
810.03/810.21 c 809s | 24 | 5387168 | 4824262 | 942 11613 | 36 | 30
812.03/812.21 c 811s | 24 | 5399427 | 4835162 | 942 11634 | 36 | 30
814.03/814.22 c 813s | 24 | 5412123 | 4846462 | 942 11657 | 36 | 30
816.04/816.24 c 815s | 24 | 5424121 | 4857262 | 942 11678 | 36 | 30
818.03/818.25 c 817s | 24 | 5436370 | 4868262 | 942 11700 | 36 | 30
820.03/820.26 c 819s | 24 | 5448423 | 4879162 | 942 11721 | 36 | 30
822.03/822.28 c 821s | 24 | 5460426 | 4890062 | 942 11742 | 36 | 30
824.03/824.29 c 823s | 24 | 5472421 | 4900962 | 942 11764 | 36 | 30
826.13/826.30 c 825s | 24 | 5484819 | 4912062 | 942 11786 | 36 | 30
828.13/828.31 c 827s | 24 | 5497100 | 4923162 | 942 11808 | 36 | 30
830.12/830.32 c 829s | 24 | 5509256 | 4934062 | 942 11829 | 36 | 30
832.12/832.33 c 831s | 24 | 5521340 | 4944962 | 942 11851 | 36 | 30
834.12/834.34 c 833s | 24 | 5533773 | 4956162 | 942 11873 | 36 | 30
836.12/836.35 c 835s | 24 | 5546154 | 4967262 | 942 11894 | 36 | 30
838.13/838.36 c 837s | 24 | 5558340 | 4978162 | 942 11916 | 36 | 30
840.12/840.37 c 839s | 24 | 5570726 | 4989262 | 942 11938 | 36 | 30
842.12/842.38 c 841s | 24 | 5583126 | 5000362 | 942 11959 | 36 | 30
844.12/844.38 c 843s | 24 | 5595680 | 5011562 | 942 11981 | 36 | 30
846.12/846.40 c 845s | 24 | 5608174 | 5022662 | 1037 12003 | 36 | 30
848.22/848.41 c 847s | 24 | 5620394 | 5033562 | 1037 12022 | 36 | 30
850.22/850.43 c 849s | 24 | 5632308 | 5044262 | 1037 12042 | 36 | 30
852.22/852.44 c 851s | 24 | 5644014 | 5054762 | 1037 12060 | 36 | 30
854.22/854.41 c 853s | 25 | 5655418 | 5065098 | 1037 12079 | 36 | 30
856.21/856.42 c 855s | 25 | 5668875 | 5077098 | 1037 12100 | 36 | 30
858.21/858.42 c 857s | 25 | 5681849 | 5088698 | 1037 12121 | 36 | 30
860.21/860.43 c 859s | 25 | 5694875 | 5100398 | 1037 12142 | 36 | 30
862.22/862.44 c 861s | 25 | 5708245 | 5112298 | 1037 12164 | 36 | 30
864.21/864.44 c 863s | 25 | 5721366 | 5123998 | 1037 12185 | 36 | 30
866.21/866.45 c 865s | 25 | 5733931 | 5135298 | 1037 12205 | 36 | 30
868.20/868.46 c 867s | 25 | 5746430 | 5146498 | 1037 12226 | 36 | 30
870.20/870.47 c 869s | 25 | 5758815 | 5157598 | 1037 12246 | 36 | 30
872.21/872.48 c 871s | 25 | 5770998 | 5168498 | 1037 12266 | 36 | 30
874.20/874.48 c 873s | 25 | 5783218 | 5179498 | 1037 12286 | 36 | 30
876.20/876.49 c 875s | 25 | 5795098 | 5190098 | 1037 12305 | 36 | 30
878.30/878.50 c 877s | 25 | 5806707 | 5200598 | 1037 12324 | 36 | 30
880.30/880.51 c 879s | 25 | 5818534 | 5211298 | 1037 12343 | 36 | 30
882.30/882.52 c 881s | 25 | 5830236 | 5221998 | 1037 12362 | 36 | 30
884.30/884.53 c 883s | 25 | 5842101 | 5232698 | 1037 12381 | 36 | 30
886.29/886.53 c 885s | 25 | 5854414 | 5243698 | 1037 12401 | 36 | 30
888.29/888.53 c 887s | 25 | 5866474 | 5254598 | 1037 12421 | 36 | 30
890.29/890.55 c 889s | 25 | 5878016 | 5265098 | 1037 12439 | 36 | 30
892.29/892.56 c 891s | 25 | 5889124 | 5275198 | 1037 12457 | 36 | 30
894.29/894.57 c 893s | 25 | 5901062 | 5285898 | 1037 12476 | 36 | 30
896.29/896.58 c 895s | 25 | 5912869 | 5296598 | 1037 12496 | 36 | 30
898.29/898.58 c 897s | 25 | 5924437 | 5307098 | 1037 12514 | 36 | 30
900.29/900.59 c 899s | 25 | 5936108 | 5317598 | 1037 12533 | 36 | 30
902.39/902.60 c 901s | 25 | 5947975 | 5328298 | 1037 12552 | 36 | 30
904.39/904.62 c 903s | 25 | 5959333 | 5338498 | 1037 12571 | 36 | 30
906.39/906.63 c 905s | 25 | 5971096 | 5349098 | 1037 12590 | 36 | 30
908.39/908.66 c 907s | 25 | 5983372 | 5360098 | 1037 12610 | 36 | 30
910.38/910.67 c 909s | 25 | 5995251 | 5370798 | 1037 12629 | 36 | 30
912.38/912.67 c 911s | 25 | 6007327 | 5381598 | 1037 12648 | 36 | 30
914.38/914.69 c 913s | 25 | 6019249 | 5392298 | 1037 12668 | 36 | 30
916.38/916.69 c 915s | 25 | 6031391 | 5403198 | 1037 12687 | 36 | 30
918.47/918.70 c 917s | 25 | 6044342 | 5414698 | 1037 12708 | 36 | 30
920.48/920.71 c 919s | 25 | 6057154 | 5426098 | 1037 12728 | 36 | 30
922.47/922.73 c 921s | 25 | 6069662 | 5437398 | 1037 12749 | 36 | 30
924.47/924.74 c 923s | 25 | 6081965 | 5448498 | 1037 12769 | 36 | 30
926.46/926.75 c 925s | 25 | 6094066 | 5459398 | 1037 12788 | 36 | 30
928.46/928.76 c 927s | 25 | 6106171 | 5470298 | 1037 12808 | 36 | 30
930.47/930.77 c 929s | 25 | 6117848 | 5480798 | 1037 12827 | 36 | 30
932.46/932.78 c 931s | 25 | 6129739 | 5491498 | 1037 12846 | 36 | 30
934.46/934.79 c 933s | 25 | 6142037 | 5502498 | 1037 12866 | 36 | 30
936.56/936.81 c 935s | 25 | 6154239 | 5513498 | 1037 12886 | 36 | 30
938.56/938.81 c 937s | 25 | 6166722 | 5524698 | 1037 12906 | 36 | 30
940.56/940.82 c 939s | 25 | 6178725 | 5535598 | 1037 12925 | 36 | 30
942.56/942.84 c 941s | 25 | 6190891 | 5546598 | 1037 12945 | 36 | 30
944.56/944.86 c 943s | 25 | 6203678 | 5558098 | 1037 12966 | 36 | 30
946.55/946.87 c 945s | 25 | 6215519 | 5568898 | 1037 12985 | 36 | 30
948.55/948.87 c 947s | 25 | 6227261 | 5579598 | 1037 13004 | 36 | 30
950.55/950.88 c 949s | 25 | 6239211 | 5590398 | 1037 13023 | 36 | 30
952.55/952.89 c 951s | 25 | 6251877 | 5601698 | 1037 13044 | 36 | 30
954.56/954.90 c 953s | 25 | 6264282 | 5612798 | 1037 13064 | 36 | 30
956.64/956.91 c 955s | 25 | 6275921 | 5623298 | 1037 13083 | 36 | 30
958.64/958.91 c 957s | 25 | 6287512 | 5633798 | 1037 13102 | 36 | 30
960.64/960.91 c 959s | 25 | 6299908 | 5644798 | 1037 13122 | 36 | 30
962.64/962.93 c 961s | 25 | 6311858 | 5655498 | 1037 13141 | 36 | 30
964.64/964.94 c 963s | 25 | 6323777 | 5666298 | 1037 13160 | 36 | 30
966.65/966.94 c 965s | 25 | 6336428 | 5677598 | 1037 13181 | 36 | 30
968.64/968.94 c 967s | 25 | 6348469 | 5688498 | 1037 13200 | 36 | 30
970.64/970.95 c 969s | 25 | 6360336 | 5699198 | 1037 13220 | 36 | 30
972.64/972.97 c 971s | 25 | 6372928 | 5710498 | 1037 13240 | 36 | 30
974.64/974.97 c 973s | 25 | 6385520 | 5721898 | 1037 13261 | 36 | 30
976.64/976.98 c 975s | 25 | 6397940 | 5732998 | 1037 13281 | 36 | 30
978.63/978.98 c 977s | 25 | 6411100 | 5744698 | 1037 13302 | 36 | 30
980.63/980.99 c 979s | 25 | 6424057 | 5756198 | 1037 13323 | 36 | 30
982.74/983.00 c 981s | 25 | 6436858 | 5767498 | 1037 13343 | 36 | 30
984.74/985.00 c 983s | 25 | 6449199 | 5778498 | 1037 13363 | 36 | 30
986.73/987.02 c 985s | 25 | 6461864 | 5789698 | 1037 13383 | 36 | 30
988.74/989.02 c 987s | 25 | 6473721 | 5800398 | 1037 13403 | 36 | 30
990.73/991.03 c 989s | 25 | 6485720 | 5811198 | 1037 13422 | 36 | 30
992.73/993.04 c 991s | 25 | 6498762 | 5822798 | 1037 13443 | 36 | 30
994.73/995.04 c 993s | 25 | 6511069 | 5833798 | 1037 13463 | 36 | 30
996.73/997.04 c 995s | 25 | 6522970 | 5844498 | 1037 13483 | 36 | 30
998.73/999.05 c 998s | 25 | 6535801 | 5855898 | 1037 13503 | 36 | 30
1000.73/1001.06 c 1000s | 25 | 6548756 | 5867298 | 1037 13524 | 36 | 30
1002.72/1003.07 c 1002s | 25 | 6561562 | 5878598 | 1037 13544 | 36 | 30
1004.72/1005.08 c 1004s | 25 | 6574018 | 5889698 | 1037 13564 | 36 | 30
1006.82/1007.10 c 1006s | 25 | 6586473 | 5900798 | 1037 13584 | 36 | 30
1008.82/1009.10 c 1008s | 25 | 6598390 | 5911498 | 1037 13604 | 36 | 30
1010.82/1011.12 c 1010s | 25 | 6611288 | 5922998 | 1037 13625 | 36 | 30
1012.82/1013.14 c 1012s | 25 | 6624107 | 5934398 | 1037 13645 | 36 | 30
1014.82/1015.16 c 1014s | 25 | 6635991 | 5945098 | 1037 13664 | 36 | 30
1016.81/1017.17 c 1016s | 25 | 6647289 | 5955298 | 1037 13683 | 36 | 30
1018.81/1019.17 c 1018s | 25 | 6659435 | 5966198 | 1037 13702 | 36 | 30
1020.81/1021.17 c 1020s | 25 | 6671249 | 5976798 | 1037 13721 | 36 | 30
1022.82/1023.18 c 1022s | 25 | 6683897 | 5987898 | 1037 13741 | 36 | 30
1024.81/1025.18 c 1024s | 25 | 6696244 | 5998798 | 1037 13761 | 36 | 30
1026.81/1027.18 c 1026s | 25 | 6708203 | 6009598 | 1037 13780 | 36 | 30
1028.81/1029.19 c 1028s | 25 | 6719868 | 6020098 | 1037 13799 | 36 | 30
1030.91/1031.20 c 1030s | 25 | 6731840 | 6030798 | 1037 13818 | 36 | 30
1032.91/1033.22 c 1032s | 25 | 6743794 | 6041598 | 1037 13838 | 36 | 30
1034.91/1035.22 c 1034s | 25 | 6756255 | 6052798 | 1037 13858 | 36 | 30
1036.90/1037.23 c 1036s | 25 | 6769702 | 6064598 | 1037 13879 | 36 | 30
1038.90/1039.24 c 1038s | 25 | 6781880 | 6075498 | 1037 13899 | 36 | 30
1040.90/1041.24 c 1040s | 25 | 6793875 | 6086198 | 1037 13918 | 36 | 30
1042.90/1043.26 c 1042s | 25 | 6806608 | 6097598 | 1037 13939 | 36 | 30
1044.89/1045.26 c 1044s | 25 | 6819576 | 6109098 | 1037 13959 | 36 | 30
1046.89/1047.27 c 1046s | 25 | 6832344 | 6120398 | 1037 13980 | 36 | 30
1048.89/1049.27 c 1048s | 25 | 6844339 | 6131198 | 1037 13999 | 36 | 30
1050.89/1051.29 c 1050s | 25 | 6856028 | 6141798 | 1037 14019 | 36 | 30
1052.99/1053.30 c 1052s | 25 | 6868157 | 6152698 | 1037 14038 | 36 | 30
1054.99/1055.32 c 1054s | 25 | 6879986 | 6163298 | 1037 14058 | 36 | 30
1056.98/1057.32 c 1056s | 25 | 6891419 | 6173598 | 1037 14076 | 36 | 30
1058.99/1059.33 c 1058s | 25 | 6903024 | 6184098 | 1037 14095 | 36 | 30
1060.99/1061.33 c 1060s | 25 | 6914871 | 6194698 | 1037 14115 | 36 | 30
1062.98/1063.34 c 1062s | 25 | 6926825 | 6205398 | 1037 14134 | 36 | 30
1064.98/1065.35 c 1064s | 25 | 6938507 | 6215898 | 1037 14153 | 36 | 30
1066.98/1067.36 c 1066s | 25 | 6950273 | 6226498 | 1037 14172 | 36 | 30
1068.98/1069.38 c 1068s | 25 | 6962094 | 6237098 | 1037 14191 | 36 | 30
1070.98/1071.39 c 1070s | 25 | 6974087 | 6247798 | 1037 14210 | 36 | 30
1072.97/1073.39 c 1072s | 25 | 6985432 | 6257998 | 1037 14228 | 36 | 30
1074.97/1075.39 c 1074s | 25 | 6996681 | 6268098 | 1037 14247 | 36 | 30
1077.07/1077.41 c 1076s | 25 | 7008614 | 6278698 | 1037 14266 | 36 | 30
1079.07/1079.42 c 1078s | 25 | 7020173 | 6288998 | 1037 14284 | 36 | 30
1081.08/1081.43 c 1080s | 25 | 7031882 | 6299398 | 1037 14303 | 36 | 30
1083.07/1083.44 c 1082s | 25 | 7044234 | 6310298 | 1037 14323 | 36 | 30
1085.07/1085.46 c 1084s | 25 | 7055874 | 6320798 | 1037 14342 | 36 | 30
1087.06/1087.47 c 1086s | 25 | 7067592 | 6331198 | 1037 14360 | 36 | 30
1089.06/1089.48 c 1088s | 25 | 7079134 | 6341498 | 1037 14379 | 36 | 30
1091.17/1091.50 c 1090s | 25 | 7090442 | 6351698 | 1037 14398 | 36 | 30
1093.17/1093.51 c 1092s | 25 | 7101896 | 6361998 | 1037 14416 | 36 | 30
1095.17/1095.53 c 1094s | 25 | 7113219 | 6372298 | 1037 14434 | 36 | 30
1097.16/1097.53 c 1096s | 25 | 7124868 | 6382798 | 1037 14453 | 36 | 30
1099.16/1099.54 c 1098s | 25 | 7137110 | 6393698 | 1037 14473 | 36 | 30
1101.16/1101.56 c 1100s | 25 | 7148214 | 6403698 | 1037 14491 | 36 | 30
1103.16/1103.56 c 1102s | 25 | 7159697 | 6413998 | 1037 14510 | 36 | 30
1105.17/1105.57 c 1104s | 25 | 7170708 | 6423898 | 1037 14527 | 36 | 30
1107.15/1107.58 c 1106s | 25 | 7182228 | 6434198 | 1037 14546 | 36 | 30
1109.15/1109.59 c 1108s | 25 | 7193997 | 6444698 | 1037 14565 | 36 | 30
1111.15/1111.59 c 1110s | 25 | 7205668 | 6455098 | 1037 14584 | 36 | 30
1113.25/1113.61 c 1112s | 25 | 7217153 | 6465298 | 1037 14602 | 36 | 30
1115.25/1115.62 c 1114s | 25 | 7228781 | 6475698 | 1037 14621 | 36 | 30
1117.25/1117.62 c 1116s | 25 | 7240661 | 6486398 | 1037 14640 | 36 | 30
1119.24/1119.63 c 1118s | 25 | 7252827 | 6497198 | 1037 14660 | 36 | 30
1121.24/1121.63 c 1120s | 25 | 7265221 | 6508398 | 1037 14680 | 36 | 30
1123.24/1123.64 c 1122s | 25 | 7277558 | 6519398 | 1037 14700 | 36 | 30
1125.24/1125.64 c 1124s | 25 | 7290247 | 6530798 | 1037 14721 | 36 | 30
1127.24/1127.65 c 1126s | 25 | 7303252 | 6542398 | 1037 14742 | 36 | 30
1129.23/1129.66 c 1128s | 25 | 7315329 | 6553298 | 1037 14762 | 36 | 30
1131.23/1131.66 c 1130s | 25 | 7327214 | 6563898 | 1037 14781 | 36 | 30
1133.24/1133.68 c 1132s | 25 | 7339136 | 6574598 | 1037 14800 | 36 | 30
1135.24/1135.68 c 1134s | 25 | 7350830 | 6585098 | 1037 14819 | 36 | 30
1137.23/1137.69 c 1136s | 25 | 7361912 | 6595098 | 1037 14837 | 36 | 30
1139.24/1139.69 c 1138s | 25 | 7373087 | 6605198 | 1037 14856 | 36 | 30
1141.33/1141.70 c 1140s | 25 | 7384133 | 6615198 | 1037 14874 | 36 | 30
1143.33/1143.72 c 1142s | 25 | 7395584 | 6625498 | 1037 14892 | 36 | 30
1145.33/1145.72 c 1144s | 25 | 7407201 | 6635898 | 1037 14911 | 36 | 30
1147.33/1147.73 c 1146s | 25 | 7418622 | 6646098 | 1037 14930 | 36 | 30
1149.33/1149.74 c 1148s | 25 | 7430485 | 6656698 | 1037 14949 | 36 | 30
1151.33/1151.75 c 1150s | 25 | 7442543 | 6667498 | 1037 14968 | 36 | 30
1153.33/1153.76 c 1152s | 25 | 7454910 | 6678398 | 1037 14988 | 36 | 30
1155.33/1155.76 c 1154s | 25 | 7466573 | 6688798 | 1037 15007 | 36 | 30
1157.32/1157.77 c 1156s | 25 | 7478347 | 6699298 | 1037 15026 | 36 | 30
1159.32/1159.77 c 1158s | 25 | 7490327 | 6709898 | 1037 15045 | 36 | 30
1161.33/1161.79 c 1160s | 25 | 7501909 | 6720198 | 1037 15064 | 36 | 30
1163.32/1163.80 c 1162s | 25 | 7513722 | 6730798 | 1037 15083 | 36 | 30
1165.42/1165.80 c 1164s | 25 | 7525466 | 6741198 | 1037 15102 | 36 | 30
1167.41/1167.81 c 1166s | 25 | 7537037 | 6751498 | 1037 15120 | 36 | 30
1169.41/1169.82 c 1168s | 25 | 7548812 | 6761998 | 1037 15139 | 36 | 30
1171.41/1171.83 c 1170s | 25 | 7560217 | 6772298 | 1037 15158 | 36 | 30
1173.42/1173.84 c 1172s | 25 | 7571300 | 6782298 | 1037 15176 | 36 | 30
1175.41/1175.85 c 1174s | 25 | 7582774 | 6792598 | 1037 15195 | 36 | 30
1177.41/1177.86 c 1176s | 25 | 7594349 | 6803098 | 1037 15214 | 36 | 30
1179.40/1179.88 c 1178s | 25 | 7606383 | 6813898 | 1037 15233 | 36 | 30
1181.40/1181.90 c 1180s | 25 | 7617777 | 6824198 | 1037 15252 | 36 | 30
1183.40/1183.90 c 1182s | 25 | 7629074 | 6834398 | 1037 15270 | 36 | 30
1185.51/1185.91 c 1184s | 25 | 7640758 | 6844998 | 1037 15289 | 36 | 30
1187.50/1187.92 c 1186s | 25 | 7652598 | 6855598 | 1037 15308 | 36 | 30
1189.50/1189.92 c 1188s | 25 | 7664737 | 6866498 | 1037 15328 | 36 | 30
1191.50/1191.94 c 1190s | 25 | 7677045 | 6877498 | 1037 15348 | 36 | 30
1193.50/1193.96 c 1192s | 25 | 7688687 | 6887898 | 1037 15366 | 36 | 30
1195.50/1195.96 c 1194s | 25 | 7700309 | 6898398 | 1037 15385 | 36 | 30
1197.50/1197.97 c 1196s | 25 | 7711326 | 6908398 | 1037 15403 | 36 | 30
1199.49/1199.97 c 1198s | 25 | 7722536 | 6918498 | 1037 15422 | 36 | 30
1201.49/1201.97 c 1200s | 25 | 7734092 | 6928898 | 1037 15440 | 36 | 30
1203.49/1203.98 c 1202s | 25 | 7745761 | 6939398 | 1037 15459 | 36 | 30
1205.49/1205.98 c 1204s | 25 | 7757352 | 6949798 | 1037 15478 | 36 | 30
1207.58/1208.00 c 1206s | 25 | 7768685 | 6959998 | 1037 15496 | 36 | 30
1209.59/1210.02 c 1208s | 25 | 7780121 | 6970298 | 1037 15515 | 36 | 30
1211.58/1212.04 c 1210s | 25 | 7791437 | 6980498 | 1037 15533 | 36 | 30
1213.58/1214.05 c 1213s | 25 | 7803783 | 6991498 | 1037 15553 | 36 | 30
1215.58/1216.05 c 1215s | 25 | 7815874 | 7002298 | 1037 15572 | 36 | 30
1217.57/1218.07 c 1217s | 25 | 7827385 | 7012698 | 1037 15591 | 36 | 30
1219.59/1220.08 c 1219s | 25 | 7839024 | 7023198 | 1037 15610 | 36 | 30
1221.58/1222.09 c 1221s | 25 | 7850260 | 7033298 | 1037 15628 | 36 | 30
1223.58/1224.10 c 1223s | 25 | 7862584 | 7044198 | 1037 15648 | 36 | 30
1225.68/1226.10 c 1225s | 25 | 7874850 | 7055098 | 1037 15668 | 36 | 30
1227.67/1228.10 c 1227s | 25 | 7886864 | 7065798 | 1037 15687 | 36 | 30
1229.67/1230.11 c 1229s | 25 | 7899007 | 7076598 | 1037 15707 | 36 | 30
1231.68/1232.12 c 1231s | 25 | 7910856 | 7087198 | 1037 15726 | 36 | 30
1233.67/1234.12 c 1233s | 25 | 7922992 | 7097998 | 1037 15745 | 36 | 30
1235.67/1236.14 c 1235s | 25 | 7934646 | 7108498 | 1037 15764 | 36 | 30
1237.67/1238.14 c 1237s | 25 | 7946079 | 7118798 | 1037 15783 | 36 | 30
1239.67/1240.15 c 1239s | 25 | 7957950 | 7129398 | 1037 15802 | 36 | 30
1241.67/1242.17 c 1241s | 25 | 7970420 | 7140498 | 1037 15822 | 36 | 30
1243.67/1244.18 c 1243s | 25 | 7982367 | 7151098 | 1037 15842 | 36 | 30
1245.67/1246.19 c 1245s | 25 | 7994930 | 7162298 | 1037 15862 | 36 | 30
1247.76/1248.21 c 1247s | 25 | 8006702 | 7172898 | 1037 15881 | 36 | 30
1249.76/1250.21 c 1249s | 25 | 8018049 | 7183198 | 1037 15900 | 36 | 30
1251.76/1252.23 c 1251s | 25 | 8029643 | 7193598 | 1037 15918 | 36 | 30
1253.76/1254.25 c 1253s | 25 | 8041251 | 7203998 | 1037 15937 | 36 | 30
1255.77/1256.26 c 1255s | 25 | 8052493 | 7214198 | 1037 15956 | 36 | 30
1257.76/1258.27 c 1257s | 25 | 8063681 | 7224298 | 1037 15974 | 36 | 30
1259.75/1260.27 c 1259s | 25 | 8074958 | 7234498 | 1037 15992 | 36 | 30
1261.75/1262.30 c 1261s | 25 | 8086837 | 7245198 | 1037 16012 | 36 | 30
1263.85/1264.30 c 1263s | 25 | 8097958 | 7255298 | 1037 16030 | 36 | 30
1265.85/1266.30 c 1265s | 25 | 8108591 | 7264998 | 1037 16048 | 36 | 30
1267.86/1268.32 c 1267s | 25 | 8119996 | 7275298 | 1037 16066 | 36 | 30
1269.85/1270.33 c 1269s | 25 | 8132021 | 7286098 | 1037 16086 | 36 | 30
1271.85/1272.35 c 1271s | 25 | 8143779 | 7296698 | 1037 16105 | 36 | 30
1273.85/1274.37 c 1273s | 25 | 8155327 | 7307098 | 1037 16123 | 36 | 30
1275.85/1276.37 c 1275s | 25 | 8166689 | 7317298 | 1037 16142 | 36 | 30
1277.85/1278.37 c 1277s | 25 | 8178454 | 7327898 | 1037 16161 | 36 | 30
1279.84/1280.39 c 1279s | 25 | 8190857 | 7338998 | 1037 16181 | 36 | 30
1281.94/1282.40 c 1281s | 25 | 8203001 | 7349798 | 1037 16201 | 36 | 30
1283.94/1284.40 c 1283s | 25 | 8214864 | 7360498 | 1037 16220 | 36 | 30
1285.94/1286.41 c 1285s | 25 | 8226525 | 7370998 | 1037 16239 | 36 | 30
1287.94/1288.42 c 1287s | 25 | 8238013 | 7381298 | 1037 16258 | 36 | 30
1289.94/1290.42 c 1289s | 25 | 8249382 | 7391598 | 1037 16277 | 36 | 30
1291.94/1292.44 c 1291s | 25 | 8260974 | 7401998 | 1037 16295 | 36 | 30
1293.94/1294.45 c 1293s | 25 | 8272477 | 7412398 | 1037 16314 | 36 | 30
1295.94/1296.46 c 1295s | 25 | 8283606 | 7422498 | 1037 16332 | 36 | 30
1297.93/1298.47 c 1297s | 25 | 8295321 | 7433098 | 1037 16352 | 36 | 30
1299.93/1300.49 c 1299s | 25 | 8307294 | 7443798 | 1037 16371 | 36 | 30
1302.04/1302.50 c 1301s | 25 | 8319427 | 7454698 | 1037 16391 | 36 | 30
1304.03/1304.51 c 1303s | 25 | 8330918 | 7464998 | 1037 16409 | 36 | 30
1306.03/1306.52 c 1305s | 25 | 8342332 | 7475298 | 1037 16428 | 36 | 30
1308.02/1308.53 c 1307s | 25 | 8354136 | 7485798 | 1037 16447 | 36 | 30
1310.02/1310.54 c 1309s | 25 | 8365734 | 7496198 | 1037 16466 | 36 | 30
1312.02/1312.55 c 1311s | 25 | 8377054 | 7506398 | 1037 16484 | 36 | 30
1314.03/1314.56 c 1313s | 25 | 8388907 | 7516898 | 1037 16503 | 36 | 30
1316.02/1316.57 c 1315s | 25 | 8400355 | 7527098 | 1037 16521 | 36 | 30
1318.02/1318.58 c 1317s | 25 | 8410823 | 7536698 | 1141 16538 | 36 | 30
1320.02/1320.58 c 1319s | 25 | 8421962 | 7546698 | 1141 16555 | 36 | 30
1322.02/1322.59 c 1321s | 25 | 8432968 | 7556598 | 1141 16571 | 36 | 30
1324.11/1324.60 c 1323s | 25 | 8444450 | 7566898 | 1141 16588 | 36 | 30
1326.12/1326.60 c 1325s | 25 | 8456289 | 7577498 | 1141 16606 | 36 | 30
1328.11/1328.61 c 1327s | 25 | 8467910 | 7587798 | 1141 16623 | 36 | 30
1330.01/1330.55 c 1329s | 26 | 8478955 | 7597752 | 1141 16639 | 36 | 30
1332.01/1332.57 c 1331s | 26 | 8490985 | 7608352 | 1141 16656 | 36 | 30
1334.01/1334.58 c 1333s | 26 | 8502793 | 7618852 | 1141 16673 | 36 | 30
1336.01/1336.59 c 1335s | 26 | 8514875 | 7629552 | 1141 16691 | 36 | 30
1338.11/1338.60 c 1337s | 26 | 8526866 | 7640252 | 1141 16709 | 36 | 30
1340.11/1340.60 c 1339s | 26 | 8538023 | 7650352 | 1141 16725 | 36 | 30
1342.11/1342.62 c 1341s | 26 | 8549280 | 7660452 | 1141 16742 | 36 | 30
1344.11/1344.63 c 1343s | 26 | 8559959 | 7670152 | 1141 16758 | 36 | 30
1346.11/1346.64 c 1345s | 26 | 8571191 | 7680252 | 1141 16774 | 36 | 30
1348.11/1348.65 c 1347s | 26 | 8582437 | 7690252 | 1141 16790 | 36 | 30
1350.10/1350.65 c 1349s | 26 | 8592886 | 7699752 | 1141 16806 | 36 | 30
1352.10/1352.67 c 1351s | 26 | 8604271 | 7709952 | 1141 16823 | 36 | 30
1354.10/1354.68 c 1353s | 26 | 8615446 | 7720052 | 1141 16839 | 36 | 30
1356.10/1356.69 c 1355s | 26 | 8626372 | 7729952 | 1141 16855 | 36 | 30
1358.10/1358.69 c 1357s | 26 | 8637578 | 7740052 | 1141 16872 | 36 | 30
1360.09/1360.70 c 1359s | 26 | 8648563 | 7749952 | 1141 16888 | 36 | 30
1362.19/1362.71 c 1361s | 26 | 8660064 | 7760252 | 1141 16905 | 36 | 30
1364.19/1364.72 c 1363s | 26 | 8671498 | 7770452 | 1141 16922 | 36 | 30
1366.19/1366.73 c 1365s | 26 | 8682886 | 7780552 | 1141 16938 | 36 | 30
1368.19/1368.74 c 1367s | 26 | 8693414 | 7790052 | 1141 16954 | 36 | 30
1370.20/1370.76 c 1369s | 26 | 8704647 | 7800152 | 1141 16970 | 36 | 30
1372.19/1372.76 c 1371s | 26 | 8716383 | 7810652 | 1141 16987 | 36 | 30
1374.19/1374.76 c 1373s | 26 | 8727635 | 7820752 | 1141 17004 | 36 | 30
1376.19/1376.78 c 1375s | 26 | 8738960 | 7830952 | 1141 17021 | 36 | 30
1378.19/1378.78 c 1377s | 26 | 8750700 | 7841452 | 1141 17038 | 36 | 30
1380.19/1380.78 c 1379s | 26 | 8761736 | 7851352 | 1141 17054 | 36 | 30
1382.19/1382.78 c 1381s | 26 | 8772211 | 7860852 | 1141 17070 | 36 | 30
1384.19/1384.78 c 1383s | 26 | 8782761 | 7870452 | 1141 17086 | 36 | 30
1386.29/1386.80 c 1385s | 26 | 8793599 | 7880252 | 1141 17102 | 36 | 30
1388.29/1388.82 c 1387s | 26 | 8804830 | 7890352 | 1141 17119 | 36 | 30
1390.28/1390.82 c 1389s | 26 | 8815451 | 7900052 | 1141 17135 | 36 | 30
1392.28/1392.84 c 1391s | 26 | 8826333 | 7909952 | 1141 17151 | 36 | 30
1394.29/1394.85 c 1393s | 26 | 8836965 | 7919552 | 1141 17167 | 36 | 30
1396.28/1396.87 c 1395s | 26 | 8847565 | 7929152 | 1141 17183 | 36 | 30
1398.28/1398.88 c 1397s | 26 | 8858293 | 7938852 | 1141 17198 | 36 | 30
1400.28/1400.89 c 1399s | 26 | 8869265 | 7948752 | 1141 17214 | 36 | 30
1402.38/1402.90 c 1401s | 26 | 8880037 | 7958452 | 1141 17230 | 36 | 30
1404.38/1404.90 c 1403s | 26 | 8890862 | 7968152 | 1141 17246 | 36 | 30
1406.28/1406.90 c 1405s | 26 | 8901492 | 7977752 | 1141 17262 | 36 | 30
1408.38/1408.92 c 1407s | 26 | 8912023 | 7987252 | 1141 17278 | 36 | 30
1410.38/1410.93 c 1409s | 26 | 8922160 | 7996452 | 1141 17293 | 36 | 30
1412.38/1412.94 c 1411s | 26 | 8932446 | 8005752 | 1141 17308 | 36 | 30
1414.38/1414.94 c 1413s | 26 | 8943605 | 8015752 | 1141 17324 | 36 | 30
1416.39/1416.96 c 1415s | 26 | 8954925 | 8025952 | 1141 17341 | 36 | 30
1418.38/1418.96 c 1417s | 26 | 8965641 | 8035652 | 1141 17357 | 36 | 30
1420.38/1420.96 c 1419s | 26 | 8976544 | 8045552 | 1141 17374 | 36 | 30
1422.38/1422.98 c 1421s | 26 | 8988054 | 8055852 | 1141 17390 | 36 | 30
1424.38/1424.98 c 1423s | 26 | 8999269 | 8065852 | 1141 17407 | 36 | 30
1426.38/1426.98 c 1425s | 26 | 9010307 | 8075752 | 1141 17423 | 36 | 30
1428.39/1428.98 c 1427s | 26 | 9021186 | 8085552 | 1141 17439 | 36 | 30
1430.39/1430.99 c 1429s | 26 | 9032057 | 8095352 | 1141 17456 | 36 | 30
1432.48/1433.00 c 1431s | 26 | 9042957 | 8105152 | 1141 17472 | 36 | 30
1434.48/1435.02 c 1433s | 26 | 9053795 | 8114952 | 1141 17488 | 36 | 30
1436.48/1437.03 c 1435s | 26 | 9064449 | 8124552 | 1141 17504 | 36 | 30
1438.48/1439.04 c 1437s | 26 | 9075407 | 8134352 | 1141 17520 | 36 | 30
1440.49/1441.05 c 1440s | 26 | 9086518 | 8144352 | 1141 17536 | 36 | 30
1442.48/1443.06 c 1442s | 26 | 9097434 | 8154252 | 1141 17553 | 36 | 30
1444.48/1445.08 c 1444s | 26 | 9108433 | 8164152 | 1141 17569 | 36 | 30
1446.58/1447.10 c 1446s | 26 | 9118983 | 8173752 | 1141 17585 | 36 | 30
1448.58/1449.11 c 1448s | 26 | 9129728 | 8183452 | 1141 17601 | 36 | 30
1450.58/1451.12 c 1450s | 26 | 9140128 | 8192752 | 1141 17616 | 36 | 30
1452.59/1453.13 c 1452s | 26 | 9150354 | 8202052 | 1141 17631 | 36 | 30
1454.58/1455.14 c 1454s | 26 | 9160903 | 8211652 | 1141 17647 | 36 | 30
1456.58/1457.16 c 1456s | 26 | 9171896 | 8221552 | 1141 17663 | 36 | 30
1458.58/1459.18 c 1458s | 26 | 9182910 | 8231452 | 1141 17680 | 36 | 30
1460.68/1461.20 c 1460s | 26 | 9194058 | 8241452 | 1141 17696 | 36 | 30
1462.68/1463.21 c 1462s | 26 | 9204586 | 8251052 | 1141 17712 | 36 | 30
1464.69/1465.22 c 1464s | 26 | 9215357 | 8260852 | 1141 17728 | 36 | 30
1466.68/1467.23 c 1466s | 26 | 9226033 | 8270552 | 1141 17744 | 36 | 30
1468.68/1469.23 c 1468s | 26 | 9236731 | 8280052 | 1141 17759 | 36 | 30
1470.68/1471.25 c 1470s | 26 | 9247516 | 8289852 | 1141 17775 | 36 | 30
1472.68/1473.26 c 1472s | 26 | 9258245 | 8299452 | 1141 17791 | 36 | 30
1474.68/1475.26 c 1474s | 26 | 9268879 | 8309052 | 1141 17807 | 36 | 30
1476.68/1477.27 c 1476s | 26 | 9279659 | 8318752 | 1141 17823 | 36 | 30
1478.68/1479.29 c 1478s | 26 | 9290395 | 8328452 | 1141 17839 | 36 | 30
1480.77/1481.31 c 1480s | 26 | 9300808 | 8337952 | 1141 17855 | 36 | 30
1482.77/1483.33 c 1482s | 26 | 9311367 | 8347552 | 1141 17870 | 36 | 30
1484.77/1485.34 c 1484s | 26 | 9322332 | 8357352 | 1141 17887 | 36 | 30
1486.78/1487.34 c 1486s | 26 | 9333628 | 8367552 | 1141 17903 | 36 | 30
1488.77/1489.36 c 1488s | 26 | 9345234 | 8377952 | 1141 17921 | 36 | 30
1490.77/1491.36 c 1490s | 26 | 9356656 | 8388152 | 1141 17937 | 36 | 30
1492.77/1493.38 c 1492s | 26 | 9368043 | 8398252 | 1141 17954 | 36 | 30
1494.77/1495.40 c 1494s | 26 | 9379192 | 8408252 | 1141 17970 | 36 | 30
1496.87/1497.40 c 1496s | 26 | 9389826 | 8417852 | 1141 17986 | 36 | 30
1498.78/1499.40 c 1498s | 26 | 9400939 | 8427752 | 1141 18002 | 36 | 30
1500.87/1501.41 c 1500s | 26 | 9411935 | 8437552 | 1141 18019 | 36 | 30
1502.87/1503.42 c 1502s | 26 | 9422840 | 8447452 | 1141 18035 | 36 | 30
1504.87/1505.43 c 1504s | 26 | 9434076 | 8457452 | 1141 18051 | 36 | 30
1506.87/1507.43 c 1506s | 26 | 9444920 | 8467252 | 1141 18068 | 36 | 30
1508.86/1509.45 c 1508s | 26 | 9456244 | 8477352 | 1141 18084 | 36 | 30
1510.88/1511.46 c 1510s | 26 | 9468027 | 8487852 | 1141 18101 | 36 | 30
1512.87/1513.48 c 1512s | 26 | 9479370 | 8498052 | 1141 18118 | 36 | 30
1514.87/1515.48 c 1514s | 26 | 9490757 | 8508252 | 1141 18135 | 36 | 30
1516.97/1517.50 c 1516s | 26 | 9502356 | 8518652 | 1141 18152 | 36 | 30
1518.97/1519.50 c 1518s | 26 | 9514076 | 8529052 | 1141 18169 | 36 | 30
1520.97/1521.51 c 1520s | 26 | 9525764 | 8539352 | 1141 18186 | 36 | 30
1522.98/1523.53 c 1522s | 26 | 9537703 | 8549852 | 1141 18203 | 36 | 30
1524.97/1525.53 c 1524s | 26 | 9548652 | 8559652 | 1141 18219 | 36 | 30
1526.97/1527.55 c 1526s | 26 | 9559296 | 8569252 | 1141 18235 | 36 | 30
1528.97/1529.57 c 1528s | 26 | 9570153 | 8578952 | 1141 18251 | 36 | 30
1530.97/1531.57 c 1530s | 26 | 9581046 | 8588652 | 1141 18267 | 36 | 30
1532.97/1533.59 c 1532s | 26 | 9592155 | 8598552 | 1141 18283 | 36 | 30
1535.07/1535.61 c 1534s | 26 | 9603791 | 8608952 | 1141 18301 | 36 | 30
1537.07/1537.63 c 1536s | 26 | 9614976 | 8618952 | 1141 18317 | 36 | 30
1539.06/1539.64 c 1538s | 26 | 9626370 | 8629252 | 1141 18334 | 36 | 30
1541.06/1541.64 c 1540s | 26 | 9637498 | 8639252 | 1141 18350 | 36 | 30
1543.06/1543.65 c 1542s | 26 | 9648509 | 8649252 | 1141 18367 | 36 | 30
1545.07/1545.66 c 1544s | 26 | 9659578 | 8659152 | 1141 18383 | 36 | 30
1547.06/1547.67 c 1546s | 26 | 9670517 | 8668952 | 1141 18399 | 36 | 30
1549.06/1549.68 c 1548s | 26 | 9681428 | 8678752 | 1141 18415 | 36 | 30
1551.06/1551.69 c 1550s | 26 | 9691967 | 8688252 | 1141 18431 | 36 | 30
1553.16/1553.70 c 1552s | 26 | 9703439 | 8698552 | 1141 18448 | 36 | 30
1555.16/1555.71 c 1554s | 26 | 9713986 | 8708052 | 1141 18464 | 36 | 30
1557.17/1557.72 c 1556s | 26 | 9725168 | 8718052 | 1141 18480 | 36 | 30
1559.16/1559.74 c 1558s | 26 | 9735805 | 8727652 | 1141 18496 | 36 | 30
1561.16/1561.75 c 1560s | 26 | 9746972 | 8737552 | 1141 18512 | 36 | 30
1563.16/1563.76 c 1562s | 26 | 9757852 | 8747352 | 1141 18529 | 36 | 30
1565.16/1565.77 c 1564s | 26 | 9768695 | 8757152 | 1141 18545 | 36 | 30
1567.16/1567.77 c 1566s | 26 | 9779566 | 8766952 | 1141 18561 | 36 | 30
1569.16/1569.79 c 1568s | 26 | 9790115 | 8776452 | 1141 18577 | 36 | 30
1571.16/1571.80 c 1570s | 26 | 9800498 | 8785852 | 1141 18592 | 36 | 30
1573.25/1573.81 c 1572s | 26 | 9810779 | 8795152 | 1141 18608 | 36 | 30
1575.25/1575.82 c 1574s | 26 | 9821361 | 8804652 | 1141 18623 | 36 | 30
1577.25/1577.83 c 1576s | 26 | 9831905 | 8814252 | 1141 18639 | 36 | 30
1579.26/1579.83 c 1578s | 26 | 9842278 | 8823552 | 1141 18655 | 36 | 30
1581.27/1581.85 c 1580s | 26 | 9853074 | 8833252 | 1141 18671 | 36 | 30
1583.26/1583.86 c 1582s | 26 | 9864129 | 8843152 | 1141 18687 | 36 | 30
1585.26/1585.87 c 1584s | 26 | 9874815 | 8852752 | 1141 18703 | 36 | 30
1587.26/1587.87 c 1586s | 26 | 9885646 | 8862452 | 1141 18719 | 36 | 30
1589.26/1589.88 c 1588s | 26 | 9896138 | 8871952 | 1141 18735 | 36 | 30
1591.27/1591.88 c 1590s | 26 | 9906944 | 8881752 | 1141 18751 | 36 | 30
1593.26/1593.90 c 1592s | 26 | 9918316 | 8891852 | 1141 18768 | 36 | 30
1595.36/1595.91 c 1594s | 26 | 9929499 | 8901852 | 1141 18784 | 36 | 30
1597.36/1597.92 c 1596s | 26 | 9940560 | 8911752 | 1141 18800 | 36 | 30
1599.36/1599.93 c 1598s | 26 | 9951763 | 8921752 | 1141 18817 | 36 | 30
1601.36/1601.95 c 1600s | 26 | 9962902 | 8931752 | 1141 18833 | 36 | 30
1603.36/1603.95 c 1602s | 26 | 9973681 | 8941452 | 1141 18849 | 36 | 30
1605.36/1605.97 c 1604s | 26 | 9984529 | 8951252 | 1141 18865 | 36 | 30
1607.36/1607.99 c 1606s | 26 | 9996037 | 8961552 | 1141 18882 | 36 | 30
1609.46/1610.00 c 1608s | 26 | 10007201 | 8971452 | 1141 18899 | 36 | 30
1611.46/1612.01 c 1610s | 26 | 10018490 | 8981552 | 1141 18915 | 36 | 30
1613.45/1614.03 c 1612s | 26 | 10029045 | 8991052 | 1141 18931 | 36 | 30
1615.46/1616.04 c 1614s | 26 | 10039669 | 9000652 | 1141 18947 | 36 | 30
1617.45/1618.06 c 1617s | 26 | 10050923 | 9010652 | 1141 18963 | 36 | 30
1619.45/1620.07 c 1619s | 26 | 10061669 | 9020352 | 1141 18979 | 36 | 30
1621.45/1622.09 c 1621s | 26 | 10072086 | 9029852 | 1141 18995 | 36 | 30
1623.55/1624.10 c 1623s | 26 | 10082931 | 9039652 | 1141 19011 | 36 | 30
1625.55/1626.12 c 1625s | 26 | 10093366 | 9049052 | 1141 19027 | 36 | 30
1627.56/1628.13 c 1627s | 26 | 10104267 | 9058852 | 1141 19043 | 36 | 30
1629.55/1630.14 c 1629s | 26 | 10114533 | 9068052 | 1141 19058 | 36 | 30
1631.55/1632.14 c 1631s | 26 | 10124720 | 9077352 | 1141 19073 | 36 | 30
1633.55/1634.15 c 1633s | 26 | 10135113 | 9086752 | 1141 19088 | 36 | 30
1635.55/1636.17 c 1635s | 26 | 10145627 | 9096152 | 1141 19104 | 36 | 30
1637.55/1638.18 c 1637s | 26 | 10156077 | 9105552 | 1141 19119 | 36 | 30
1639.55/1640.19 c 1639s | 26 | 10166884 | 9115152 | 1141 19135 | 36 | 30
1641.65/1642.22 c 1641s | 26 | 10177199 | 9124552 | 1141 19151 | 36 | 30
1643.65/1644.23 c 1643s | 26 | 10187730 | 9133952 | 1141 19166 | 36 | 30
1645.65/1646.25 c 1645s | 26 | 10198114 | 9143352 | 1141 19182 | 36 | 30
1647.65/1648.26 c 1647s | 26 | 10208594 | 9152752 | 1141 19197 | 36 | 30
1649.65/1650.27 c 1649s | 26 | 10218759 | 9161952 | 1141 19212 | 36 | 30
1651.65/1652.28 c 1651s | 26 | 10229183 | 9171352 | 1141 19228 | 36 | 30
1653.64/1654.28 c 1653s | 26 | 10239586 | 9180752 | 1141 19243 | 36 | 30
1655.64/1656.30 c 1655s | 26 | 10250058 | 9190252 | 1141 19259 | 36 | 30
1657.74/1658.30 c 1657s | 26 | 10260606 | 9199752 | 1141 19274 | 36 | 30
1659.74/1660.31 c 1659s | 26 | 10270950 | 9209052 | 1141 19289 | 36 | 30
1661.74/1662.31 c 1661s | 26 | 10281060 | 9218152 | 1141 19304 | 36 | 30
1663.75/1664.31 c 1663s | 26 | 10291825 | 9227852 | 1141 19320 | 36 | 30
1665.74/1666.32 c 1665s | 26 | 10302635 | 9237552 | 1141 19336 | 36 | 30
1667.74/1668.33 c 1667s | 26 | 10314123 | 9247652 | 1141 19353 | 36 | 30
1669.74/1670.33 c 1669s | 26 | 10325677 | 9257952 | 1141 19370 | 36 | 30
1671.74/1672.34 c 1671s | 26 | 10337207 | 9268252 | 1141 19387 | 36 | 30
1673.75/1674.36 c 1673s | 26 | 10348376 | 9278252 | 1141 19403 | 36 | 30
1675.74/1676.38 c 1675s | 26 | 10359327 | 9288052 | 1141 19419 | 36 | 30
1677.75/1678.40 c 1677s | 26 | 10370332 | 9297852 | 1141 19436 | 36 | 30
1679.85/1680.40 c 1679s | 26 | 10380823 | 9307352 | 1141 19451 | 36 | 30
1681.85/1682.40 c 1681s | 26 | 10391261 | 9316752 | 1141 19467 | 36 | 30
1683.85/1684.41 c 1683s | 26 | 10401806 | 9326252 | 1141 19483 | 36 | 30
1685.85/1686.42 c 1685s | 26 | 10412295 | 9335752 | 1141 19498 | 36 | 30
1687.85/1688.44 c 1687s | 26 | 10422321 | 9344852 | 1141 19513 | 36 | 30
1689.85/1690.46 c 1689s | 26 | 10433092 | 9354552 | 1141 19529 | 36 | 30
1691.85/1692.46 c 1691s | 26 | 10443892 | 9364252 | 1141 19545 | 36 | 30
1693.85/1694.47 c 1693s | 26 | 10454425 | 9373752 | 1141 19561 | 36 | 30
1695.85/1696.48 c 1695s | 26 | 10464990 | 9383252 | 1141 19576 | 36 | 30
1697.85/1698.49 c 1697s | 26 | 10475275 | 9392452 | 1141 19592 | 36 | 30
1699.84/1700.49 c 1699s | 26 | 10485705 | 9401852 | 1141 19607 | 36 | 30
1701.94/1702.50 c 1701s | 26 | 10496018 | 9411152 | 1141 19622 | 36 | 30
1703.94/1704.51 c 1703s | 26 | 10506422 | 9420452 | 1141 19638 | 36 | 30
1705.94/1706.53 c 1705s | 26 | 10517260 | 9430152 | 1141 19654 | 36 | 30
1707.94/1708.55 c 1707s | 26 | 10527615 | 9439552 | 1141 19669 | 36 | 30
1709.95/1710.56 c 1709s | 26 | 10538358 | 9449152 | 1141 19685 | 36 | 30
1711.94/1712.56 c 1711s | 26 | 10549063 | 9458752 | 1141 19701 | 36 | 30
1713.94/1714.56 c 1713s | 26 | 10559532 | 9468252 | 1141 19716 | 36 | 30
1715.94/1716.57 c 1715s | 26 | 10569933 | 9477552 | 1141 19732 | 36 | 30
1717.94/1718.59 c 1717s | 26 | 10580828 | 9487352 | 1141 19748 | 36 | 30
1720.04/1720.60 c 1719s | 26 | 10591711 | 9497152 | 1141 19764 | 36 | 30
1722.04/1722.62 c 1721s | 26 | 10602295 | 9506752 | 1141 19780 | 36 | 30
1724.03/1724.63 c 1723s | 26 | 10612989 | 9516352 | 1141 19795 | 36 | 30
1726.03/1726.64 c 1725s | 26 | 10623718 | 9525852 | 1141 19811 | 36 | 30
1728.03/1728.64 c 1727s | 26 | 10634220 | 9535352 | 1141 19827 | 36 | 30
1730.03/1730.65 c 1729s | 26 | 10644495 | 9544652 | 1141 19842 | 36 | 30
1732.04/1732.66 c 1731s | 26 | 10654917 | 9554052 | 1141 19857 | 36 | 30
1734.03/1734.66 c 1733s | 26 | 10664981 | 9563152 | 1141 19872 | 36 | 30
1736.03/1736.68 c 1735s | 26 | 10674916 | 9572152 | 1141 19887 | 36 | 30
1738.04/1738.68 c 1737s | 26 | 10684757 | 9581152 | 1141 19902 | 36 | 30
1740.04/1740.69 c 1739s | 26 | 10694973 | 9590352 | 1141 19917 | 36 | 30
1742.14/1742.70 c 1741s | 26 | 10705079 | 9599452 | 1141 19933 | 36 | 30
1744.14/1744.71 c 1743s | 26 | 10715072 | 9608552 | 1141 19948 | 36 | 30
1746.14/1746.72 c 1745s | 26 | 10725421 | 9617852 | 1141 19963 | 36 | 30
1748.14/1748.73 c 1747s | 26 | 10735982 | 9627452 | 1141 19979 | 36 | 30
1750.14/1750.74 c 1749s | 26 | 10746504 | 9636952 | 1141 19995 | 36 | 30
1752.14/1752.75 c 1751s | 26 | 10757141 | 9646452 | 1141 20010 | 36 | 30
1754.14/1754.75 c 1753s | 26 | 10767483 | 9655752 | 1141 20026 | 36 | 30
1756.14/1756.76 c 1755s | 26 | 10778034 | 9665152 | 1141 20041 | 36 | 30
1758.13/1758.77 c 1757s | 26 | 10788448 | 9674452 | 1141 20056 | 36 | 30
1760.13/1760.79 c 1759s | 26 | 10799025 | 9683952 | 1141 20072 | 36 | 30
1762.23/1762.80 c 1761s | 26 | 10809860 | 9693552 | 1141 20088 | 36 | 30
1764.23/1764.82 c 1763s | 26 | 10820330 | 9703052 | 1141 20103 | 36 | 30
1766.23/1766.82 c 1765s | 26 | 10831218 | 9712852 | 1141 20119 | 36 | 30
1768.24/1768.84 c 1767s | 26 | 10842103 | 9722652 | 1141 20135 | 36 | 30
1770.23/1770.85 c 1769s | 26 | 10852524 | 9732052 | 1141 20151 | 36 | 30
1772.23/1772.86 c 1771s | 26 | 10863173 | 9741752 | 1141 20166 | 36 | 30
1774.23/1774.87 c 1773s | 26 | 10873385 | 9751052 | 1141 20182 | 36 | 30
1776.23/1776.88 c 1775s | 26 | 10884119 | 9760652 | 1141 20197 | 36 | 30
1778.24/1778.88 c 1777s | 26 | 10894973 | 9770452 | 1141 20213 | 36 | 30
1780.23/1780.89 c 1779s | 26 | 10905548 | 9779952 | 1141 20229 | 36 | 30
1782.23/1782.89 c 1781s | 26 | 10915855 | 9789252 | 1141 20244 | 36 | 30
1784.33/1784.91 c 1783s | 26 | 10926571 | 9798852 | 1141 20260 | 36 | 30
1786.33/1786.92 c 1785s | 26 | 10936987 | 9808252 | 1141 20275 | 36 | 30
1788.33/1788.93 c 1787s | 26 | 10947335 | 9817652 | 1141 20291 | 36 | 30
1790.34/1790.95 c 1789s | 26 | 10957362 | 9826752 | 1141 20306 | 36 | 30
1792.33/1792.95 c 1791s | 26 | 10967245 | 9835752 | 1141 20321 | 36 | 30
1794.33/1794.96 c 1793s | 26 | 10977222 | 9844852 | 1141 20335 | 36 | 30
1796.33/1796.97 c 1795s | 26 | 10987387 | 9854052 | 1141 20350 | 36 | 30
1798.33/1798.98 c 1797s | 26 | 10998063 | 9863652 | 1141 20366 | 36 | 30
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-4117699-1467214589/watcher-4117699-1467214589 -o /tmp/evaluation-result-4117699-1467214589/solver-4117699-1467214589 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467209132-3988 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117699-1467214589.opb
pid=4807
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.19 2.23 2.21 2/179 4810
/proc/meminfo: memFree=23599464/32872528 swapFree=1253612/1390560
[pid=4810] ppid=4807 vsize=808380 CPUtime=0 cores=1,3,5,7
/proc/4810/stat : 4810 (toysat) R 4807 4810 3971 0 -1 4202496 3029 0 0 0 0 0 0 0 20 0 4 0 2419791 827781120 3390 33554432000 4194304 16246674 140735824763072 140735824762496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4810/statm: 202607 3400 441 2943 0 199501 0
[pid=4810/tid=4811] ppid=4807 vsize=826812 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4811/stat : 4811 (toysat) S 4807 4810 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419791 846655488 3462 33554432000 4194304 16246674 140735824763072 139644358339824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4810/tid=4812] ppid=4807 vsize=830908 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4812/stat : 4812 (toysat) S 4807 4810 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419791 850849792 3480 33554432000 4194304 16246674 140735824763072 139644347849968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4810/tid=4813] ppid=4807 vsize=835004 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419791 855044096 3496 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[startup+0.100164 s]
/proc/loadavg: 2.19 2.23 2.21 2/179 4810
/proc/meminfo: memFree=23599464/32872528 swapFree=1253612/1390560
[pid=4810] ppid=4807 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/4810/stat : 4810 (toysat) R 4807 4810 3971 0 -1 4202496 23255 0 0 0 5 4 0 0 20 0 4 0 2419791 1247350784 23602 33554432000 4194304 16246674 140735824763072 140735824762496 12874965 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4810/statm: 304529 23610 782 2943 0 301423 0
[pid=4810/tid=4811] ppid=4807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4811/stat : 4811 (toysat) S 4807 4810 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419791 1247350784 23615 33554432000 4194304 16246674 140735824763072 139644358339824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4810/tid=4812] ppid=4807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4812/stat : 4812 (toysat) S 4807 4810 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419791 1247350784 23622 33554432000 4194304 16246674 140735824763072 139644347849968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4810/tid=4813] ppid=4807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419791 1247350784 23627 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116
[startup+0.2005 s]
/proc/loadavg: 2.19 2.23 2.21 2/179 4810
/proc/meminfo: memFree=23599464/32872528 swapFree=1253612/1390560
[pid=4810] ppid=4807 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/4810/stat : 4810 (toysat) R 4807 4810 3971 0 -1 4202496 42545 0 0 0 12 7 0 0 20 0 4 0 2419791 1247350784 42892 33554432000 4194304 16246674 140735824763072 140735824762496 12479207 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4810/statm: 304529 42904 784 2943 0 301423 0
[pid=4810/tid=4811] ppid=4807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4811/stat : 4811 (toysat) S 4807 4810 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419791 1247350784 42910 33554432000 4194304 16246674 140735824763072 139644358339824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4810/tid=4812] ppid=4807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4812/stat : 4812 (toysat) S 4807 4810 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419791 1247350784 42914 33554432000 4194304 16246674 140735824763072 139644347849968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4810/tid=4813] ppid=4807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419791 1247350784 42920 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116
[startup+0.300479 s]
/proc/loadavg: 2.19 2.23 2.21 2/179 4810
/proc/meminfo: memFree=23599464/32872528 swapFree=1253612/1390560
[pid=4810] ppid=4807 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/4810/stat : 4810 (toysat) R 4807 4810 3971 0 -1 4202496 62782 0 0 0 18 11 0 0 20 0 4 0 2419791 1247350784 63129 33554432000 4194304 16246674 140735824763072 140735824762496 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4810/statm: 304529 63145 784 2943 0 301423 0
[pid=4810/tid=4811] ppid=4807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4811/stat : 4811 (toysat) S 4807 4810 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419791 1247350784 63149 33554432000 4194304 16246674 140735824763072 139644358339824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4810/tid=4812] ppid=4807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4812/stat : 4812 (toysat) S 4807 4810 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419791 1247350784 63153 33554432000 4194304 16246674 140735824763072 139644347849968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4810/tid=4813] ppid=4807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419791 1247350784 63160 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116
[startup+0.700418 s]
/proc/loadavg: 2.19 2.23 2.21 2/179 4810
/proc/meminfo: memFree=23599464/32872528 swapFree=1253612/1390560
[pid=4810] ppid=4807 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/4810/stat : 4810 (toysat) R 4807 4810 3971 0 -1 4202496 143048 0 0 0 47 22 0 0 20 0 4 0 2419791 1247350784 143395 33554432000 4194304 16246674 140735824763072 140735824762496 13954518 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4810/statm: 304529 143407 785 2943 0 301423 0
[pid=4810/tid=4811] ppid=4807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4811/stat : 4811 (toysat) S 4807 4810 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419791 1247350784 143415 33554432000 4194304 16246674 140735824763072 139644358339824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4810/tid=4812] ppid=4807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4812/stat : 4812 (toysat) S 4807 4810 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419791 1247350784 143420 33554432000 4194304 16246674 140735824763072 139644347849968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4810/tid=4813] ppid=4807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2419791 1247350784 143425 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116
[startup+1.50043 s]
/proc/loadavg: 2.19 2.23 2.21 3/183 4814
/proc/meminfo: memFree=22615784/32872528 swapFree=1253612/1390560
[pid=4810] ppid=4807 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/4810/stat : 4810 (toysat) R 4807 4810 3971 0 -1 4202496 245633 0 0 0 113 36 0 0 20 0 4 0 2419791 1248399360 245959 33554432000 4194304 16246674 140735824763072 140735824762384 5754752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4810/statm: 304785 245959 847 2943 0 301679 0
[pid=4810/tid=4811] ppid=4807 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4811/stat : 4811 (toysat) S 4807 4810 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419791 1248399360 245959 33554432000 4194304 16246674 140735824763072 139644358339824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4810/tid=4812] ppid=4807 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4812/stat : 4812 (toysat) S 4807 4810 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419791 1248399360 245959 33554432000 4194304 16246674 140735824763072 139644347849968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4810/tid=4813] ppid=4807 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2419791 1248399360 245959 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140
[startup+3.10043 s]
/proc/loadavg: 2.18 2.22 2.21 3/183 4814
/proc/meminfo: memFree=22441952/32872528 swapFree=1253612/1390560
[pid=4810] ppid=4807 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/4810/stat : 4810 (toysat) R 4807 4810 3971 0 -1 4202496 267455 0 0 0 269 39 0 0 20 0 4 0 2419791 1337528320 267781 33554432000 4194304 16246674 140735824763072 140735824744960 5823520 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4810/statm: 326545 267781 847 2943 0 323439 0
[pid=4810/tid=4811] ppid=4807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4811/stat : 4811 (toysat) S 4807 4810 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419791 1337528320 267781 33554432000 4194304 16246674 140735824763072 139644358339824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4810/tid=4812] ppid=4807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4812/stat : 4812 (toysat) S 4807 4810 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419791 1337528320 267781 33554432000 4194304 16246674 140735824763072 139644347849968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4810/tid=4813] ppid=4807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2419791 1337528320 267781 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180
[startup+6.30043 s]
/proc/loadavg: 2.18 2.22 2.21 3/183 4814
/proc/meminfo: memFree=22442028/32872528 swapFree=1253612/1390560
[pid=4810] ppid=4807 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/4810/stat : 4810 (toysat) R 4807 4810 3971 0 -1 4202496 267479 0 0 0 589 40 0 0 20 0 4 0 2419791 1337528320 267805 33554432000 4194304 16246674 140735824763072 140735824744960 5721840 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4810/statm: 326545 267805 849 2943 0 323439 0
[pid=4810/tid=4811] ppid=4807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4811/stat : 4811 (toysat) S 4807 4810 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419791 1337528320 267805 33554432000 4194304 16246674 140735824763072 139644358339824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4810/tid=4812] ppid=4807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4812/stat : 4812 (toysat) S 4807 4810 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419791 1337528320 267805 33554432000 4194304 16246674 140735824763072 139644347849968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4810/tid=4813] ppid=4807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2419791 1337528320 267805 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.15 2.22 2.20 3/183 4814
/proc/meminfo: memFree=22442320/32872528 swapFree=1253612/1390560
[pid=4810] ppid=4807 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/4810/stat : 4810 (toysat) R 4807 4810 3971 0 -1 4202496 267493 0 0 0 1229 40 0 0 20 0 4 0 2419791 1337528320 267819 33554432000 4194304 16246674 140735824763072 140735824744960 5754801 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4810/statm: 326545 267819 849 2943 0 323439 0
[pid=4810/tid=4811] ppid=4807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4811/stat : 4811 (toysat) S 4807 4810 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419791 1337528320 267819 33554432000 4194304 16246674 140735824763072 139644358339824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4810/tid=4812] ppid=4807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4812/stat : 4812 (toysat) S 4807 4810 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419791 1337528320 267819 33554432000 4194304 16246674 140735824763072 139644347849968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4810/tid=4813] ppid=4807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2419791 1337528320 267819 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180
[startup+25.5005 s]
/proc/loadavg: 2.13 2.21 2.20 4/183 4814
/proc/meminfo: memFree=22443176/32872528 swapFree=1253612/1390560
[pid=4810] ppid=4807 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/4810/stat : 4810 (toysat) R 4807 4810 3971 0 -1 4202496 267508 0 0 0 2509 40 0 0 20 0 4 0 2419791 1337528320 267834 33554432000 4194304 16246674 140735824763072 140735824744960 5823116 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4810/statm: 326545 267834 849 2943 0 323439 0
[pid=4810/tid=4811] ppid=4807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4811/stat : 4811 (toysat) S 4807 4810 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419791 1337528320 267834 33554432000 4194304 16246674 140735824763072 139644358339824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4810/tid=4812] ppid=4807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4812/stat : 4812 (toysat) S 4807 4810 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419791 1337528320 267834 33554432000 4194304 16246674 140735824763072 139644347849968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4810/tid=4813] ppid=4807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2419791 1337528320 267834 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180
[startup+51.1005 s]
/proc/loadavg: 2.15 2.21 2.20 3/183 4814
/proc/meminfo: memFree=22441976/32872528 swapFree=1253612/1390560
[pid=4810] ppid=4807 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/4810/stat : 4810 (toysat) R 4807 4810 3971 0 -1 4202496 267578 0 0 0 5068 40 0 0 20 0 4 0 2419791 1337528320 267904 33554432000 4194304 16246674 140735824763072 140735824746072 6842338 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4810/statm: 326545 267904 849 2943 0 323439 0
[pid=4810/tid=4811] ppid=4807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4811/stat : 4811 (toysat) S 4807 4810 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419791 1337528320 267904 33554432000 4194304 16246674 140735824763072 139644358339824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4810/tid=4812] ppid=4807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4812/stat : 4812 (toysat) S 4807 4810 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419791 1337528320 267904 33554432000 4194304 16246674 140735824763072 139644347849968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4810/tid=4813] ppid=4807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2419791 1337528320 267904 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180
[startup+102.301 s]
/proc/loadavg: 2.23 2.23 2.20 3/183 4815
/proc/meminfo: memFree=22441904/32872528 swapFree=1253612/1390560
[pid=4810] ppid=4807 vsize=1306180 CPUtime=102.29 cores=1,3,5,7
/proc/4810/stat : 4810 (toysat) R 4807 4810 3971 0 -1 4202496 267579 0 0 0 10187 42 0 0 20 0 4 0 2419791 1337528320 267905 33554432000 4194304 16246674 140735824763072 140735824744960 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4810/statm: 326545 267905 849 2943 0 323439 0
[pid=4810/tid=4811] ppid=4807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4811/stat : 4811 (toysat) S 4807 4810 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419791 1337528320 267905 33554432000 4194304 16246674 140735824763072 139644358339824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4810/tid=4812] ppid=4807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4812/stat : 4812 (toysat) S 4807 4810 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419791 1337528320 267905 33554432000 4194304 16246674 140735824763072 139644347849968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4810/tid=4813] ppid=4807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2419791 1337528320 267905 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1306180
################
# More data... #
################
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268114 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1307204
[startup+1302.3 s]
/proc/loadavg: 2.15 2.15 2.17 4/183 4845
/proc/meminfo: memFree=22436532/32872528 swapFree=1253612/1390560
[pid=4810] ppid=4807 vsize=1307204 CPUtime=1301.83 cores=1,3,5,7
/proc/4810/stat : 4810 (toysat) R 4807 4810 3971 0 -1 4202496 268174 0 0 0 130122 61 0 0 20 0 4 0 2419791 1338576896 268114 33554432000 4194304 16246674 140735824763072 140735824744960 13954525 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4810/statm: 326801 268114 850 2943 0 323695 0
[pid=4810/tid=4811] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4811/stat : 4811 (toysat) S 4807 4810 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268114 33554432000 4194304 16246674 140735824763072 139644358339824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4810/tid=4812] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4812/stat : 4812 (toysat) S 4807 4810 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268114 33554432000 4194304 16246674 140735824763072 139644347849968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4810/tid=4813] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268114 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1307204
[startup+1362.3 s]
/proc/loadavg: 2.21 2.17 2.17 3/183 4846
/proc/meminfo: memFree=22436192/32872528 swapFree=1253612/1390560
[pid=4810] ppid=4807 vsize=1307204 CPUtime=1361.79 cores=1,3,5,7
/proc/4810/stat : 4810 (toysat) R 4807 4810 3971 0 -1 4202496 268218 0 0 0 136117 62 0 0 20 0 4 0 2419791 1338576896 268114 33554432000 4194304 16246674 140735824763072 140735824744960 5523464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4810/statm: 326801 268114 850 2943 0 323695 0
[pid=4810/tid=4811] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4811/stat : 4811 (toysat) S 4807 4810 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268114 33554432000 4194304 16246674 140735824763072 139644358339824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4810/tid=4812] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4812/stat : 4812 (toysat) S 4807 4810 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268114 33554432000 4194304 16246674 140735824763072 139644347849968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4810/tid=4813] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268114 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1307204
[startup+1422.3 s]
/proc/loadavg: 2.14 2.16 2.17 3/184 4850
/proc/meminfo: memFree=22436572/32872528 swapFree=1253612/1390560
[pid=4810] ppid=4807 vsize=1307204 CPUtime=1421.79 cores=1,3,5,7
/proc/4810/stat : 4810 (toysat) R 4807 4810 3971 0 -1 4202496 268225 0 0 0 142117 62 0 0 20 0 4 0 2419791 1338576896 268121 33554432000 4194304 16246674 140735824763072 140735824744960 6022421 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4810/statm: 326801 268121 850 2943 0 323695 0
[pid=4810/tid=4811] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4811/stat : 4811 (toysat) S 4807 4810 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268121 33554432000 4194304 16246674 140735824763072 139644358339824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4810/tid=4812] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4812/stat : 4812 (toysat) S 4807 4810 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268121 33554432000 4194304 16246674 140735824763072 139644347849968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4810/tid=4813] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268121 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1307204
[startup+1482.3 s]
/proc/loadavg: 2.23 2.18 2.18 3/184 4873
/proc/meminfo: memFree=22436348/32872528 swapFree=1253612/1390560
[pid=4810] ppid=4807 vsize=1307204 CPUtime=1481.77 cores=1,3,5,7
/proc/4810/stat : 4810 (toysat) R 4807 4810 3971 0 -1 4202496 268227 0 0 0 148114 63 0 0 20 0 4 0 2419791 1338576896 268123 33554432000 4194304 16246674 140735824763072 140735824744960 12477716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4810/statm: 326801 268123 851 2943 0 323695 0
[pid=4810/tid=4811] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4811/stat : 4811 (toysat) S 4807 4810 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268123 33554432000 4194304 16246674 140735824763072 139644358339824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4810/tid=4812] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4812/stat : 4812 (toysat) S 4807 4810 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268123 33554432000 4194304 16246674 140735824763072 139644347849968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4810/tid=4813] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268123 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1307204
[startup+1542.31 s]
/proc/loadavg: 2.15 2.16 2.17 3/183 4875
/proc/meminfo: memFree=22437088/32872528 swapFree=1253612/1390560
[pid=4810] ppid=4807 vsize=1307204 CPUtime=1541.77 cores=1,3,5,7
/proc/4810/stat : 4810 (toysat) R 4807 4810 3971 0 -1 4202496 268227 0 0 0 154113 64 0 0 20 0 4 0 2419791 1338576896 268123 33554432000 4194304 16246674 140735824763072 140735824746072 5523325 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4810/statm: 326801 268123 851 2943 0 323695 0
[pid=4810/tid=4811] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4811/stat : 4811 (toysat) S 4807 4810 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268123 33554432000 4194304 16246674 140735824763072 139644358339824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4810/tid=4812] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4812/stat : 4812 (toysat) S 4807 4810 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268123 33554432000 4194304 16246674 140735824763072 139644347849968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4810/tid=4813] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268123 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1307204
[startup+1602.3 s]
/proc/loadavg: 2.09 2.14 2.16 3/183 4876
/proc/meminfo: memFree=22436844/32872528 swapFree=1253612/1390560
[pid=4810] ppid=4807 vsize=1307204 CPUtime=1601.76 cores=1,3,5,7
/proc/4810/stat : 4810 (toysat) R 4807 4810 3971 0 -1 4202496 268227 0 0 0 160111 65 0 0 20 0 4 0 2419791 1338576896 268123 33554432000 4194304 16246674 140735824763072 140735824744960 5666933 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4810/statm: 326801 268123 851 2943 0 323695 0
[pid=4810/tid=4811] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4811/stat : 4811 (toysat) S 4807 4810 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268123 33554432000 4194304 16246674 140735824763072 139644358339824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4810/tid=4812] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4812/stat : 4812 (toysat) S 4807 4810 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268123 33554432000 4194304 16246674 140735824763072 139644347849968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4810/tid=4813] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268123 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1307204
[startup+1662.3 s]
/proc/loadavg: 2.15 2.16 2.17 4/183 4877
/proc/meminfo: memFree=22436852/32872528 swapFree=1253612/1390560
[pid=4810] ppid=4807 vsize=1307204 CPUtime=1661.74 cores=1,3,5,7
/proc/4810/stat : 4810 (toysat) R 4807 4810 3971 0 -1 4202496 268227 0 0 0 166109 65 0 0 20 0 4 0 2419791 1338576896 268123 33554432000 4194304 16246674 140735824763072 140735824744960 13001464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4810/statm: 326801 268123 851 2943 0 323695 0
[pid=4810/tid=4811] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4811/stat : 4811 (toysat) S 4807 4810 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268123 33554432000 4194304 16246674 140735824763072 139644358339824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4810/tid=4812] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4812/stat : 4812 (toysat) S 4807 4810 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268123 33554432000 4194304 16246674 140735824763072 139644347849968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4810/tid=4813] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268123 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1307204
[startup+1722.3 s]
/proc/loadavg: 2.25 2.19 2.18 3/183 4878
/proc/meminfo: memFree=22436732/32872528 swapFree=1253612/1390560
[pid=4810] ppid=4807 vsize=1307204 CPUtime=1721.74 cores=1,3,5,7
/proc/4810/stat : 4810 (toysat) R 4807 4810 3971 0 -1 4202496 268265 0 0 0 172108 66 0 0 20 0 4 0 2419791 1338576896 268161 33554432000 4194304 16246674 140735824763072 140735824746072 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4810/statm: 326801 268161 851 2943 0 323695 0
[pid=4810/tid=4811] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4811/stat : 4811 (toysat) S 4807 4810 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268161 33554432000 4194304 16246674 140735824763072 139644358339824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4810/tid=4812] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4812/stat : 4812 (toysat) S 4807 4810 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268161 33554432000 4194304 16246674 140735824763072 139644347849968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4810/tid=4813] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268161 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1307204
[startup+1782.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/183 4879
/proc/meminfo: memFree=22435872/32872528 swapFree=1253612/1390560
[pid=4810] ppid=4807 vsize=1307204 CPUtime=1781.73 cores=1,3,5,7
/proc/4810/stat : 4810 (toysat) R 4807 4810 3971 0 -1 4202496 268265 0 0 0 178106 67 0 0 20 0 4 0 2419791 1338576896 268161 33554432000 4194304 16246674 140735824763072 140735824746072 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4810/statm: 326801 268161 851 2943 0 323695 0
[pid=4810/tid=4811] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4811/stat : 4811 (toysat) S 4807 4810 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268161 33554432000 4194304 16246674 140735824763072 139644358339824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4810/tid=4812] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4812/stat : 4812 (toysat) S 4807 4810 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268161 33554432000 4194304 16246674 140735824763072 139644347849968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4810/tid=4813] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268161 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1307204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.19 2.17 2.17 3/182 4928
/proc/meminfo: memFree=23309052/32872528 swapFree=1253612/1390560
[pid=4810] ppid=4807 vsize=1307204 CPUtime=1800.03 cores=1,3,5,7
/proc/4810/stat : 4810 (toysat) R 4807 4810 3971 0 -1 4202496 268265 0 0 0 179936 67 0 0 20 0 4 0 2419791 1338576896 268161 33554432000 4194304 16246674 140735824763072 140735824746072 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4810/statm: 326801 268161 851 2943 0 323695 0
[pid=4810/tid=4811] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4811/stat : 4811 (toysat) S 4807 4810 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268161 33554432000 4194304 16246674 140735824763072 139644358339824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4810/tid=4812] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4812/stat : 4812 (toysat) S 4807 4810 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268161 33554432000 4194304 16246674 140735824763072 139644347849968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4810/tid=4813] ppid=4807 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4810/task/4813/stat : 4813 (toysat) S 4807 4810 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2419791 1338576896 268161 33554432000 4194304 16246674 140735824763072 139644337376432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1307204
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 4810 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.04
CPU user time (s): 1799.37
CPU system time (s): 0.672897
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 1307204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.672897
maximum resident set size= 1072644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268265
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= 446
involuntary context switches= 1836
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.12107 second user time and 7.40987 second system time
The end