0.00/0.00 c 2016-06-29T20:06:33+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-4118178-1467223593.opb"]
0.00/0.01 c use --random-gen="1876592709 2973972166 181134524 4016334867 4057081447 798137946 1308698456 559396515 3553107570 1684293484 1010351674 1268423857 1043791105 790097641 1199478075 117803781 2276070703 2768035973 3233742999 279730342 3541932926 2694051744 2174384606 3083321508 3851214114 592289019 3947048492 1152330678 1492249713 289460527 2002918883 1769465163 1790392024 4110487699 3530592018 3392681781 1344046133 1770540021 3789989758 3376560795 4221330878 2090969839 1011083112 3451922228 975348526 1703870418 925686067 2300180450 2772885257 1621206259 3630647812 2465425159 1897734626 3974498876 1742288821 427801801 3479554132 3504181919 4266124267 625122960 3578715038 269634860 1772834809 124865861 4195715203 2441110215 2881227203 308391861 2999442500 2763109845 207464255 198422736 3263389898 2420891558 596387707 2253499954 1789917999 3614286598 49790225 1798056264 2922261893 3140867354 1091415839 1224929112 3219895343 233792179 839853490 295813640 3018756974 1701647070 110387889 3857543545 310992455 3944542924 931167575 877460682 3666923619 84529670 1446451517 4267959773 421249478 2976944079 2291924889 2272422822 2226863611 189361099 534063707 1746929009 2847301141 839969013 2063070898 763928586 2201302781 1823301435 493732911 4257799811 1967857744 2212080963 3231725974 1810573772 2677926910 3644361979 104016839 522061725 4212199994 1962153953 740871429 1032673572 2088677529 2879803912 3662582154 3627291929 4158838913 3292820893 4178114316 1130624505 2348275548 3414594603 3430243378 78237549 3933342558 3848460148 3418768781 2890229257 1680002803 1201672605 76493991 2661414891 361710289 3146971537 3049081988 1472493412 2800963397 2999902682 1812900353 68833873 2719622277 3011313759 2185018034 3146899664 2323761908 3219274437 3297064759 2992323895 2259084927 3849827514 629108605 2255846702 3476074437 1255188027 4141624974 4240155233 1481911206 869483261 376722561 322683061 2187837309 2135150570 471896959 112438050 369543730 3547882854 3159876435 2238049923 1735133053 4266173605 3763513831 369716148 2202697045 896183644 3528637845 1732120913 141894819 3420000247 3663753265 320062036 2113419327 2763279983 2903746731 1856874782 566662359 3599869621 2796287184 1460078823 3177187452 1124672296 1478474592 2513675674 2841980016 1856097323 2034910161 2274917367 2034213905 30843977 1845207409 2981493317 1348946595 3249870125 302675331 1706559274 879273046 916136120 3304051031 330382657 273757191 1412588722 756506955 2908328475 1428127289 3093942859 315769620 2115128565 3388135373 416417390 1063928366 119308835 141768016 927556527 4019816221 2159441868 1524735550 3326909930 1926191628 570361923 3332019120 3298218758 2798315323 3787641537 3394351582 2539091133 784076454 2953801207 2676772770 3354750834 384176200 2165726595 255 362436" option to reproduce the execution
0.00/0.01 c #vars 336
0.00/0.01 c #constraints 512
0.00/0.02 c BCD2: Hardening is enabled.
0.00/0.02 c BCD2: BiasedSearch is enabled.
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 293 0 | 0 | 0
0.00/0.02 c 0.0s | 0 | 31 | 0 | 293 0 | 0 | 0
0.00/0.02 c #cpu_time = 0.001s
0.00/0.02 c #wall_clock_time = 0.001s
0.00/0.02 c #decision = 31
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 o -1
0.00/0.02 c BCD2: updating upper bound: 240 -> 118
0.00/0.02 c BCD2: 0 <= obj <= 118
0.00/0.02 c BCD2: #cores=0, #unrelaxed=240, #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 | 293 0 | 0 | 0
0.00/0.02 c 0.0s | 0 | 122 | 0 | 293 0 | 0 | 0
0.00/0.02 c #cpu_time = 0.001s
0.00/0.02 c #wall_clock_time = 0.001s
0.00/0.02 c #decision = 122
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.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 -119
0.00/0.03 c BCD2: 1 <= obj <= 118
0.00/0.03 c BCD2: #cores=1, #unrelaxed=238, #relaxed=2, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=2 bias=2/3
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 | 293 0 | 0 | 0
0.00/0.03 c 0.0s | 0 | 122 | 0 | 293 0 | 0 | 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 = 122
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 -118
0.00/0.03 c BCD2: 2 <= obj <= 118
0.00/0.03 c BCD2: #cores=2, #unrelaxed=236, #relaxed=4, #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 | 293 0 | 0 | 0
0.00/0.03 c 0.0s | 0 | 242 | 1 | 293 0 | 0 | 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 = 242
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.03 c lower bound updated to -117
0.00/0.03 c BCD2: 3 <= obj <= 118
0.00/0.03 c BCD2: #cores=2, #unrelaxed=235, #relaxed=5, #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 | 293 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 243 | 1 | 293 0 | 1 | 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 = 243
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.03 c lower bound updated to -116
0.00/0.03 c BCD2: 4 <= obj <= 118
0.00/0.03 c BCD2: #cores=2, #unrelaxed=234, #relaxed=6, #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 | 293 0 | 2 | 1
0.00/0.03 c 0.0s | 0 | 125 | 0 | 293 0 | 2 | 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 = 125
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 -115
0.00/0.03 c BCD2: 5 <= obj <= 118
0.00/0.03 c BCD2: #cores=3, #unrelaxed=232, #relaxed=8, #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 | 293 0 | 2 | 2
0.00/0.03 c 0.0s | 0 | 125 | 0 | 293 0 | 2 | 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 = 125
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 -114
0.00/0.03 c BCD2: 6 <= obj <= 118
0.00/0.03 c BCD2: #cores=4, #unrelaxed=230, #relaxed=10, #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 | 293 0 | 2 | 2
0.00/0.03 c 0.0s | 0 | 125 | 0 | 293 0 | 2 | 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 = 125
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 -113
0.00/0.03 c BCD2: 7 <= obj <= 118
0.00/0.03 c BCD2: #cores=5, #unrelaxed=228, #relaxed=12, #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 | 293 0 | 2 | 2
0.00/0.03 c 0.0s | 0 | 247 | 1 | 293 0 | 2 | 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 = 247
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.03 c lower bound updated to -112
0.00/0.03 c BCD2: 8 <= obj <= 118
0.00/0.03 c BCD2: #cores=5, #unrelaxed=227, #relaxed=13, #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 | 293 0 | 3 | 2
0.00/0.03 c 0.0s | 0 | 246 | 1 | 293 0 | 3 | 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 = 246
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.03 c lower bound updated to -111
0.00/0.03 c BCD2: 9 <= obj <= 118
0.00/0.03 c BCD2: #cores=5, #unrelaxed=226, #relaxed=14, #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 | 293 0 | 4 | 3
0.00/0.04 c 0.0s | 0 | 246 | 1 | 293 0 | 4 | 4
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 = 246
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.04 c lower bound updated to -110
0.00/0.04 c BCD2: 10 <= obj <= 118
0.00/0.04 c BCD2: #cores=5, #unrelaxed=225, #relaxed=15, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=11 bias=11/12
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 | 293 0 | 5 | 4
0.00/0.04 c 0.0s | 0 | 128 | 0 | 293 0 | 5 | 5
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 = 128
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 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to -109
0.00/0.04 c BCD2: 11 <= obj <= 118
0.00/0.04 c BCD2: #cores=6, #unrelaxed=223, #relaxed=17, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=12 bias=12/13
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 | 293 0 | 5 | 5
0.00/0.04 c 0.0s | 0 | 128 | 0 | 293 0 | 5 | 5
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 = 128
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 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to -108
0.00/0.04 c BCD2: 12 <= obj <= 118
0.00/0.04 c BCD2: #cores=7, #unrelaxed=221, #relaxed=19, #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 | 293 0 | 5 | 5
0.00/0.04 c 0.0s | 0 | 128 | 0 | 293 0 | 5 | 5
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 = 128
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 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to -107
0.00/0.04 c BCD2: 13 <= obj <= 118
0.00/0.04 c BCD2: #cores=8, #unrelaxed=219, #relaxed=21, #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 | 293 0 | 5 | 5
0.00/0.04 c 0.0s | 0 | 247 | 1 | 293 0 | 5 | 5
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 = 247
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.04 c lower bound updated to -106
0.00/0.04 c BCD2: 14 <= obj <= 118
0.00/0.04 c BCD2: #cores=8, #unrelaxed=218, #relaxed=22, #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 | 293 0 | 6 | 5
0.00/0.04 c 0.0s | 0 | 250 | 1 | 293 0 | 6 | 6
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 = 250
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.04 c lower bound updated to -105
0.00/0.04 c BCD2: 15 <= obj <= 118
0.00/0.04 c BCD2: #cores=8, #unrelaxed=217, #relaxed=23, #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 | 293 0 | 7 | 6
0.00/0.04 c 0.0s | 0 | 249 | 1 | 293 0 | 7 | 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 = 249
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.04 c lower bound updated to -104
0.00/0.04 c BCD2: 16 <= obj <= 118
0.00/0.04 c BCD2: #cores=8, #unrelaxed=216, #relaxed=24, #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 | 293 0 | 8 | 7
0.00/0.04 c 0.0s | 0 | 129 | 1 | 293 0 | 8 | 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 = 129
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 2 and merging with 2 cores into a new core of size 8: cost of the new core is >=5
0.00/0.04 c lower bound updated to -103
0.00/0.04 c BCD2: 17 <= obj <= 118
0.00/0.04 c BCD2: #cores=7, #unrelaxed=214, #relaxed=26, #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 | 293 0 | 10 | 8
0.00/0.05 c 0.0s | 0 | 127 | 0 | 293 0 | 10 | 10
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 127
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 2: cost of the new core is >=1
0.00/0.05 c lower bound updated to -102
0.00/0.05 c BCD2: 18 <= obj <= 118
0.00/0.05 c BCD2: #cores=8, #unrelaxed=212, #relaxed=28, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=19 bias=19/20
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 | 293 0 | 10 | 10
0.00/0.05 c 0.0s | 0 | 130 | 1 | 293 0 | 10 | 10
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 130
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 2 and merging with 2 cores into a new core of size 12: cost of the new core is >=7
0.00/0.05 c lower bound updated to -101
0.00/0.05 c BCD2: 19 <= obj <= 118
0.00/0.05 c BCD2: #cores=7, #unrelaxed=210, #relaxed=30, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=20 bias=20/21
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 | 293 0 | 12 | 10
0.00/0.05 c 0.0s | 0 | 130 | 1 | 293 0 | 12 | 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 = 130
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 2 and merging with 1 cores into a new core of size 14: cost of the new core is >=8
0.00/0.05 c lower bound updated to -100
0.00/0.05 c BCD2: 20 <= obj <= 118
0.00/0.05 c BCD2: #cores=7, #unrelaxed=208, #relaxed=32, #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 | 293 0 | 13 | 12
0.00/0.05 c 0.0s | 0 | 126 | 1 | 293 0 | 13 | 13
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 126
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 2 and merging with 1 cores into a new core of size 16: cost of the new core is >=9
0.00/0.05 c lower bound updated to -99
0.00/0.05 c BCD2: 21 <= obj <= 118
0.00/0.05 c BCD2: #cores=7, #unrelaxed=206, #relaxed=34, #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 | 293 0 | 14 | 13
0.00/0.05 c 0.0s | 0 | 125 | 0 | 293 0 | 14 | 14
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 = 125
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 2: cost of the new core is >=1
0.00/0.05 c lower bound updated to -98
0.00/0.05 c BCD2: 22 <= obj <= 118
0.00/0.05 c BCD2: #cores=8, #unrelaxed=204, #relaxed=36, #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 | 293 0 | 14 | 14
0.00/0.05 c 0.0s | 0 | 242 | 1 | 293 0 | 14 | 14
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 = 242
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 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.05 c lower bound updated to -97
0.00/0.05 c BCD2: 23 <= obj <= 118
0.00/0.05 c BCD2: #cores=8, #unrelaxed=203, #relaxed=37, #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 | 293 0 | 15 | 14
0.00/0.05 c 0.0s | 0 | 138 | 1 | 293 0 | 15 | 15
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 = 138
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 2 and merging with 3 cores into a new core of size 11: cost of the new core is >=7
0.00/0.05 c lower bound updated to -96
0.00/0.05 c BCD2: 24 <= obj <= 118
0.00/0.05 c BCD2: #cores=6, #unrelaxed=201, #relaxed=39, #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 | 293 0 | 18 | 15
0.00/0.05 c 0.0s | 0 | 124 | 0 | 293 0 | 18 | 18
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 = 124
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 2: cost of the new core is >=1
0.00/0.05 c lower bound updated to -95
0.00/0.05 c BCD2: 25 <= obj <= 118
0.00/0.05 c BCD2: #cores=7, #unrelaxed=199, #relaxed=41, #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 | 293 0 | 18 | 18
0.00/0.06 c 0.0s | 0 | 124 | 0 | 293 0 | 18 | 18
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 = 124
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 2: cost of the new core is >=1
0.00/0.06 c lower bound updated to -94
0.00/0.06 c BCD2: 26 <= obj <= 118
0.00/0.06 c BCD2: #cores=8, #unrelaxed=197, #relaxed=43, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=27 bias=27/28
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 | 293 0 | 18 | 18
0.00/0.06 c 0.0s | 0 | 126 | 0 | 293 0 | 18 | 18
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 = 126
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 2: cost of the new core is >=1
0.00/0.06 c lower bound updated to -93
0.00/0.06 c BCD2: 27 <= obj <= 118
0.00/0.06 c BCD2: #cores=9, #unrelaxed=195, #relaxed=45, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=28 bias=28/29
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 | 293 0 | 18 | 18
0.00/0.06 c 0.0s | 0 | 126 | 0 | 293 0 | 18 | 18
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 = 126
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 2: cost of the new core is >=1
0.00/0.06 c lower bound updated to -92
0.00/0.06 c BCD2: 28 <= obj <= 118
0.00/0.06 c BCD2: #cores=10, #unrelaxed=193, #relaxed=47, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=29 bias=29/30
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 | 293 0 | 18 | 18
0.00/0.06 c 0.0s | 0 | 242 | 1 | 293 0 | 18 | 18
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 = 242
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 1
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 3: cost of the new core is >=2
0.00/0.06 c lower bound updated to -91
0.00/0.06 c BCD2: 29 <= obj <= 118
0.00/0.06 c BCD2: #cores=10, #unrelaxed=192, #relaxed=48, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=30 bias=30/31
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 | 293 0 | 19 | 18
0.00/0.06 c 0.0s | 0 | 241 | 1 | 293 0 | 19 | 19
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 = 241
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 1
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 3: cost of the new core is >=2
0.00/0.06 c lower bound updated to -90
0.00/0.06 c BCD2: 30 <= obj <= 118
0.00/0.06 c BCD2: #cores=10, #unrelaxed=191, #relaxed=49, #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 | 293 0 | 20 | 19
0.00/0.06 c 0.0s | 0 | 133 | 1 | 293 0 | 20 | 20
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 = 133
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 1
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 8: cost of the new core is >=5
0.00/0.06 c lower bound updated to -89
0.00/0.06 c BCD2: 31 <= obj <= 118
0.00/0.06 c BCD2: #cores=9, #unrelaxed=189, #relaxed=51, #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 | 293 0 | 22 | 20
0.00/0.06 c 0.0s | 0 | 125 | 0 | 293 0 | 22 | 22
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 = 125
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 2: cost of the new core is >=1
0.00/0.06 c lower bound updated to -88
0.00/0.06 c BCD2: 32 <= obj <= 118
0.00/0.06 c BCD2: #cores=10, #unrelaxed=187, #relaxed=53, #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 | 293 0 | 22 | 22
0.00/0.06 c 0.0s | 0 | 239 | 1 | 293 0 | 22 | 22
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 = 239
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 1
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 3: cost of the new core is >=2
0.00/0.06 c lower bound updated to -87
0.00/0.06 c BCD2: 33 <= obj <= 118
0.00/0.06 c BCD2: #cores=10, #unrelaxed=186, #relaxed=54, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=34 bias=34/35
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 | 293 0 | 23 | 22
0.00/0.07 c 0.0s | 0 | 126 | 0 | 293 0 | 23 | 23
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 126
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to -86
0.00/0.07 c BCD2: 34 <= obj <= 118
0.00/0.07 c BCD2: #cores=11, #unrelaxed=184, #relaxed=56, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=35 bias=35/36
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 293 0 | 23 | 23
0.00/0.07 c 0.0s | 0 | 127 | 0 | 293 0 | 23 | 23
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 127
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 3 and merging with 2 cores into a new core of size 9: cost of the new core is >=5
0.00/0.07 c lower bound updated to -85
0.00/0.07 c BCD2: 35 <= obj <= 118
0.00/0.07 c BCD2: #cores=10, #unrelaxed=181, #relaxed=59, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=36 bias=36/37
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 293 0 | 25 | 23
0.00/0.07 c 0.0s | 0 | 139 | 1 | 293 0 | 25 | 25
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 139
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 1
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 4 and merging with 2 cores into a new core of size 17: cost of the new core is >=9
0.00/0.07 c lower bound updated to -84
0.00/0.07 c BCD2: 36 <= obj <= 118
0.00/0.07 c BCD2: #cores=9, #unrelaxed=177, #relaxed=63, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=37 bias=37/38
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 293 0 | 27 | 25
0.00/0.07 c 0.0s | 0 | 185 | 1 | 293 0 | 27 | 27
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 185
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 1
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 11: cost of the new core is >=6
0.00/0.07 c lower bound updated to -83
0.00/0.07 c BCD2: 37 <= obj <= 118
0.00/0.07 c BCD2: #cores=9, #unrelaxed=175, #relaxed=65, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=38 bias=38/39
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 293 0 | 28 | 27
0.00/0.07 c 0.0s | 0 | 159 | 1 | 293 0 | 28 | 28
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 159
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 1
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 3 and merging with 3 cores into a new core of size 19: cost of the new core is >=10
0.00/0.07 c lower bound updated to -82
0.00/0.07 c BCD2: 38 <= obj <= 118
0.00/0.07 c BCD2: #cores=7, #unrelaxed=172, #relaxed=68, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=39 bias=39/40
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 293 0 | 31 | 28
0.00/0.07 c 0.0s | 0 | 118 | 0 | 293 0 | 31 | 31
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 118
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to -81
0.00/0.07 c BCD2: 39 <= obj <= 118
0.00/0.07 c BCD2: #cores=8, #unrelaxed=170, #relaxed=70, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=40 bias=40/41
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 293 0 | 31 | 31
0.00/0.07 c 0.0s | 0 | 118 | 0 | 293 0 | 31 | 31
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 118
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to -80
0.00/0.07 c BCD2: 40 <= obj <= 118
0.00/0.07 c BCD2: #cores=9, #unrelaxed=168, #relaxed=72, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=41 bias=41/42
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 293 0 | 31 | 31
0.00/0.07 c 0.0s | 0 | 227 | 1 | 293 0 | 31 | 31
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 227
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 1
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.08 c lower bound updated to -79
0.00/0.08 c BCD2: 41 <= obj <= 118
0.00/0.08 c BCD2: #cores=9, #unrelaxed=167, #relaxed=73, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=42 bias=42/43
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 293 0 | 32 | 31
0.00/0.08 c 0.0s | 0 | 226 | 1 | 293 0 | 32 | 32
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 226
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 1
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.08 c lower bound updated to -78
0.00/0.08 c BCD2: 42 <= obj <= 118
0.00/0.08 c BCD2: #cores=9, #unrelaxed=166, #relaxed=74, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=43 bias=43/44
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 293 0 | 33 | 32
0.00/0.08 c 0.0s | 0 | 120 | 0 | 293 0 | 33 | 33
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 120
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.08 c lower bound updated to -77
0.00/0.08 c BCD2: 43 <= obj <= 118
0.00/0.08 c BCD2: #cores=10, #unrelaxed=164, #relaxed=76, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=44 bias=44/45
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 293 0 | 33 | 33
0.00/0.08 c 0.0s | 0 | 120 | 0 | 293 0 | 33 | 33
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 120
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.08 c lower bound updated to -76
0.00/0.08 c BCD2: 44 <= obj <= 118
0.00/0.08 c BCD2: #cores=11, #unrelaxed=162, #relaxed=78, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=45 bias=45/46
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 293 0 | 33 | 33
0.00/0.08 c 0.0s | 0 | 229 | 1 | 293 0 | 33 | 33
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 229
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 1
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.08 c lower bound updated to -75
0.00/0.08 c BCD2: 45 <= obj <= 118
0.00/0.08 c BCD2: #cores=11, #unrelaxed=161, #relaxed=79, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=46 bias=46/47
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 293 0 | 34 | 33
0.00/0.08 c 0.0s | 0 | 231 | 1 | 293 0 | 34 | 34
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 231
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 1
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.08 c lower bound updated to -74
0.00/0.08 c BCD2: 46 <= obj <= 118
0.00/0.08 c BCD2: #cores=11, #unrelaxed=160, #relaxed=80, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=47 bias=47/48
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 293 0 | 35 | 34
0.00/0.08 c 0.0s | 0 | 175 | 1 | 293 0 | 35 | 35
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 175
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 1
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 8: cost of the new core is >=5
0.00/0.08 c lower bound updated to -73
0.00/0.08 c BCD2: 47 <= obj <= 118
0.00/0.08 c BCD2: #cores=10, #unrelaxed=158, #relaxed=82, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=48 bias=48/49
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 293 0 | 37 | 35
0.00/0.08 c 0.0s | 0 | 119 | 0 | 293 0 | 37 | 37
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 119
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.08 c lower bound updated to -72
0.00/0.08 c BCD2: 48 <= obj <= 118
0.00/0.08 c BCD2: #cores=11, #unrelaxed=156, #relaxed=84, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=49 bias=49/50
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 293 0 | 37 | 37
0.00/0.09 c 0.0s | 0 | 120 | 1 | 293 0 | 37 | 37
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 120
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 1
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: relaxing 5 and merging with 2 cores into a new core of size 26: cost of the new core is >=12
0.00/0.09 c lower bound updated to -71
0.00/0.09 c BCD2: 49 <= obj <= 118
0.00/0.09 c BCD2: #cores=10, #unrelaxed=151, #relaxed=89, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=50 bias=50/51
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 293 0 | 39 | 37
0.00/0.09 c 0.0s | 0 | 170 | 2 | 293 0 | 39 | 39
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 170
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 2
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 10: cost of the new core is >=6
0.00/0.09 c lower bound updated to -70
0.00/0.09 c BCD2: 50 <= obj <= 118
0.00/0.09 c BCD2: #cores=10, #unrelaxed=149, #relaxed=91, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=51 bias=51/52
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 293 0 | 40 | 39
0.00/0.09 c 0.0s | 0 | 115 | 0 | 293 0 | 40 | 40
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 115
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.09 c lower bound updated to -69
0.00/0.09 c BCD2: 51 <= obj <= 118
0.00/0.09 c BCD2: #cores=11, #unrelaxed=147, #relaxed=93, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=52 bias=52/53
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 293 0 | 40 | 40
0.00/0.09 c 0.0s | 0 | 219 | 1 | 293 0 | 40 | 40
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 219
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 1
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.09 c lower bound updated to -68
0.00/0.09 c BCD2: 52 <= obj <= 118
0.00/0.09 c BCD2: #cores=11, #unrelaxed=146, #relaxed=94, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=53 bias=53/54
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 293 0 | 41 | 40
0.00/0.09 c 0.0s | 0 | 117 | 1 | 293 0 | 41 | 41
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 117
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 1
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: relaxing 10 and merging with 5 cores into a new core of size 44: cost of the new core is >=21
0.00/0.09 c lower bound updated to -67
0.00/0.09 c BCD2: 53 <= obj <= 118
0.00/0.09 c BCD2: #cores=7, #unrelaxed=136, #relaxed=104, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=54 bias=54/55
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 293 0 | 46 | 41
0.00/0.09 c 0.0s | 0 | 105 | 0 | 293 0 | 46 | 46
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 105
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.09 c lower bound updated to -66
0.00/0.09 c BCD2: 54 <= obj <= 118
0.00/0.09 c BCD2: #cores=8, #unrelaxed=134, #relaxed=106, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=55 bias=55/56
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 293 0 | 46 | 46
0.00/0.09 c 0.0s | 0 | 105 | 0 | 293 0 | 46 | 46
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 105
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.09 c lower bound updated to -65
0.00/0.09 c BCD2: 55 <= obj <= 118
0.00/0.09 c BCD2: #cores=9, #unrelaxed=132, #relaxed=108, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=56 bias=56/57
0.00/0.10 c Solving starts ...
0.00/0.10 c ============================[ Search Statistics ]============================
0.00/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.10 c | | | | Limit GC | Var | Constra
0.00/0.10 c =============================================================================
0.00/0.10 c 0.0s | 0 | 0 | 0 | 293 0 | 46 | 46
0.09/0.10 c 0.0s | 0 | 106 | 0 | 293 0 | 46 | 46
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 106
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: found a new core of size 2: cost of the new core is >=1
0.09/0.10 c lower bound updated to -64
0.09/0.10 c BCD2: 56 <= obj <= 118
0.09/0.10 c BCD2: #cores=10, #unrelaxed=130, #relaxed=110, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=57 bias=57/58
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 | 293 0 | 46 | 46
0.09/0.10 c 0.0s | 0 | 202 | 1 | 293 0 | 46 | 46
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 202
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 1
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.09/0.10 c lower bound updated to -63
0.09/0.10 c BCD2: 57 <= obj <= 118
0.09/0.10 c BCD2: #cores=10, #unrelaxed=129, #relaxed=111, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=58 bias=58/59
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 | 293 0 | 47 | 46
0.09/0.10 c 0.0s | 0 | 107 | 0 | 293 0 | 47 | 47
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 107
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: found a new core of size 2: cost of the new core is >=1
0.09/0.10 c lower bound updated to -62
0.09/0.10 c BCD2: 58 <= obj <= 118
0.09/0.10 c BCD2: #cores=11, #unrelaxed=127, #relaxed=113, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=59 bias=59/60
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 | 293 0 | 47 | 47
0.09/0.10 c 0.0s | 0 | 200 | 1 | 293 0 | 47 | 47
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 200
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 1
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.09/0.10 c lower bound updated to -61
0.09/0.10 c BCD2: 59 <= obj <= 118
0.09/0.10 c BCD2: #cores=11, #unrelaxed=126, #relaxed=114, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=60 bias=60/61
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 | 293 0 | 48 | 47
0.09/0.10 c 0.0s | 0 | 207 | 1 | 293 0 | 48 | 48
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 207
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 1
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.09/0.10 c lower bound updated to -60
0.09/0.10 c BCD2: 60 <= obj <= 118
0.09/0.10 c BCD2: #cores=11, #unrelaxed=125, #relaxed=115, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=61 bias=61/62
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 | 293 0 | 49 | 48
0.09/0.10 c 0.0s | 0 | 108 | 0 | 293 0 | 49 | 49
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 108
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: found a new core of size 2: cost of the new core is >=1
0.09/0.10 c lower bound updated to -59
0.09/0.10 c BCD2: 61 <= obj <= 118
0.09/0.10 c BCD2: #cores=12, #unrelaxed=123, #relaxed=117, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=62 bias=62/63
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 | 293 0 | 49 | 49
0.09/0.10 c 0.0s | 0 | 205 | 1 | 293 0 | 49 | 49
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 205
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 1
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.09/0.10 c lower bound updated to -58
0.09/0.10 c BCD2: 62 <= obj <= 118
0.09/0.10 c BCD2: #cores=12, #unrelaxed=122, #relaxed=118, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=63 bias=63/64
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 | 293 0 | 50 | 49
0.09/0.10 c 0.0s | 0 | 109 | 0 | 293 0 | 50 | 50
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 109
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: found a new core of size 2: cost of the new core is >=1
0.09/0.11 c lower bound updated to -57
0.09/0.11 c BCD2: 63 <= obj <= 118
0.09/0.11 c BCD2: #cores=13, #unrelaxed=120, #relaxed=120, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=64 bias=64/65
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 293 0 | 50 | 50
0.09/0.11 c 0.0s | 0 | 196 | 1 | 293 0 | 50 | 50
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 196
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 1
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 7: cost of the new core is >=4
0.09/0.11 c lower bound updated to -56
0.09/0.11 c BCD2: 64 <= obj <= 118
0.09/0.11 c BCD2: #cores=12, #unrelaxed=118, #relaxed=122, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=65 bias=65/66
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 293 0 | 52 | 50
0.09/0.11 c 0.0s | 0 | 204 | 1 | 293 0 | 52 | 52
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 204
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 1
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.09/0.11 c lower bound updated to -55
0.09/0.11 c BCD2: 65 <= obj <= 118
0.09/0.11 c BCD2: #cores=12, #unrelaxed=117, #relaxed=123, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=66 bias=66/67
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 293 0 | 53 | 52
0.09/0.11 c 0.0s | 0 | 195 | 1 | 293 0 | 53 | 53
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 195
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 1
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 9: cost of the new core is >=5
0.09/0.11 c lower bound updated to -54
0.09/0.11 c BCD2: 66 <= obj <= 118
0.09/0.11 c BCD2: #cores=12, #unrelaxed=115, #relaxed=125, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=67 bias=67/68
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 293 0 | 54 | 53
0.09/0.11 c 0.0s | 0 | 196 | 1 | 293 0 | 54 | 54
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 196
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 1
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=3
0.09/0.11 c lower bound updated to -53
0.09/0.11 c BCD2: 67 <= obj <= 118
0.09/0.11 c BCD2: #cores=12, #unrelaxed=113, #relaxed=127, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=68 bias=68/69
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 293 0 | 55 | 54
0.09/0.11 c 0.0s | 0 | 106 | 0 | 293 0 | 55 | 55
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 106
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 0
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: found a new core of size 2: cost of the new core is >=1
0.09/0.11 c lower bound updated to -52
0.09/0.11 c BCD2: 68 <= obj <= 118
0.09/0.11 c BCD2: #cores=13, #unrelaxed=111, #relaxed=129, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=69 bias=69/70
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 293 0 | 55 | 55
0.09/0.11 c 0.0s | 0 | 108 | 0 | 293 0 | 55 | 55
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 108
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 0
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: found a new core of size 2: cost of the new core is >=1
0.09/0.11 c lower bound updated to -51
0.09/0.11 c BCD2: 69 <= obj <= 118
0.09/0.11 c BCD2: #cores=14, #unrelaxed=109, #relaxed=131, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=70 bias=70/71
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 293 0 | 55 | 55
0.09/0.11 c 0.0s | 0 | 108 | 0 | 293 0 | 55 | 55
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 108
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 0
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: found a new core of size 2: cost of the new core is >=1
0.09/0.11 c lower bound updated to -50
0.09/0.11 c BCD2: 70 <= obj <= 118
0.09/0.11 c BCD2: #cores=15, #unrelaxed=107, #relaxed=133, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=71 bias=71/72
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 293 0 | 55 | 55
0.09/0.12 c 0.0s | 0 | 202 | 1 | 293 0 | 55 | 55
0.09/0.12 c #cpu_time = 0.001s
0.09/0.12 c #wall_clock_time = 0.001s
0.09/0.12 c #decision = 202
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 1
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.09/0.12 c lower bound updated to -49
0.09/0.12 c BCD2: 71 <= obj <= 118
0.09/0.12 c BCD2: #cores=15, #unrelaxed=106, #relaxed=134, #hardened=0
0.09/0.12 c BCD2: #sat=1 #unsat=72 bias=72/73
0.09/0.12 c Solving starts ...
0.09/0.12 c ============================[ Search Statistics ]============================
0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.12 c | | | | Limit GC | Var | Constra
0.09/0.12 c =============================================================================
0.09/0.12 c 0.0s | 0 | 0 | 0 | 293 0 | 56 | 55
0.09/0.12 c 0.0s | 0 | 201 | 1 | 293 0 | 56 | 56
0.09/0.12 c #cpu_time = 0.001s
0.09/0.12 c #wall_clock_time = 0.001s
0.09/0.12 c #decision = 201
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 1
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.09/0.12 c lower bound updated to -48
0.09/0.12 c BCD2: 72 <= obj <= 118
0.09/0.12 c BCD2: #cores=15, #unrelaxed=105, #relaxed=135, #hardened=0
0.09/0.12 c BCD2: #sat=1 #unsat=73 bias=73/74
0.09/0.12 c Solving starts ...
0.09/0.12 c ============================[ Search Statistics ]============================
0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.12 c | | | | Limit GC | Var | Constra
0.09/0.12 c =============================================================================
0.09/0.12 c 0.0s | 0 | 0 | 0 | 293 0 | 57 | 56
0.09/0.12 c 0.0s | 0 | 193 | 1 | 293 0 | 57 | 57
0.09/0.12 c #cpu_time = 0.001s
0.09/0.12 c #wall_clock_time = 0.001s
0.09/0.12 c #decision = 193
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 1
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 8: cost of the new core is >=5
0.09/0.12 c lower bound updated to -47
0.09/0.12 c BCD2: 73 <= obj <= 118
0.09/0.12 c BCD2: #cores=14, #unrelaxed=103, #relaxed=137, #hardened=0
0.09/0.12 c BCD2: #sat=1 #unsat=74 bias=74/75
0.09/0.12 c Solving starts ...
0.09/0.12 c ============================[ Search Statistics ]============================
0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.12 c | | | | Limit GC | Var | Constra
0.09/0.12 c =============================================================================
0.09/0.12 c 0.0s | 0 | 0 | 0 | 293 0 | 59 | 57
0.09/0.12 c 0.0s | 0 | 199 | 1 | 293 0 | 59 | 59
0.09/0.12 c #cpu_time = 0.001s
0.09/0.12 c #wall_clock_time = 0.001s
0.09/0.12 c #decision = 199
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 1
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.09/0.12 c lower bound updated to -46
0.09/0.12 c BCD2: 74 <= obj <= 118
0.09/0.12 c BCD2: #cores=14, #unrelaxed=102, #relaxed=138, #hardened=0
0.09/0.12 c BCD2: #sat=1 #unsat=75 bias=75/76
0.09/0.12 c Solving starts ...
0.09/0.12 c ============================[ Search Statistics ]============================
0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.12 c | | | | Limit GC | Var | Constra
0.09/0.12 c =============================================================================
0.09/0.12 c 0.0s | 0 | 0 | 0 | 293 0 | 60 | 59
0.09/0.12 c 0.0s | 0 | 168 | 2 | 293 0 | 60 | 60
0.09/0.12 c #cpu_time = 0.001s
0.09/0.12 c #wall_clock_time = 0.001s
0.09/0.12 c #decision = 168
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 2
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: relaxing 8 and merging with 5 cores into a new core of size 31: cost of the new core is >=15
0.09/0.12 c lower bound updated to -45
0.09/0.12 c BCD2: 75 <= obj <= 118
0.09/0.12 c BCD2: #cores=10, #unrelaxed=94, #relaxed=146, #hardened=0
0.09/0.12 c BCD2: #sat=1 #unsat=76 bias=76/77
0.09/0.12 c Solving starts ...
0.09/0.12 c ============================[ Search Statistics ]============================
0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.12 c | | | | Limit GC | Var | Constra
0.09/0.12 c =============================================================================
0.09/0.12 c 0.0s | 0 | 0 | 0 | 293 0 | 65 | 60
0.09/0.12 c 0.0s | 0 | 96 | 0 | 293 0 | 65 | 65
0.09/0.12 c #cpu_time = 0.001s
0.09/0.12 c #wall_clock_time = 0.001s
0.09/0.12 c #decision = 96
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 0
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: found a new core of size 2: cost of the new core is >=1
0.09/0.12 c lower bound updated to -44
0.09/0.12 c BCD2: 76 <= obj <= 118
0.09/0.12 c BCD2: #cores=11, #unrelaxed=92, #relaxed=148, #hardened=0
0.09/0.12 c BCD2: #sat=1 #unsat=77 bias=77/78
0.09/0.12 c Solving starts ...
0.09/0.12 c ============================[ Search Statistics ]============================
0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.12 c | | | | Limit GC | Var | Constra
0.09/0.12 c =============================================================================
0.09/0.12 c 0.0s | 0 | 0 | 0 | 293 0 | 65 | 65
0.09/0.12 c 0.0s | 0 | 97 | 0 | 293 0 | 65 | 65
0.09/0.12 c #cpu_time = 0.001s
0.09/0.12 c #wall_clock_time = 0.001s
0.09/0.12 c #decision = 97
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 0
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.09/0.12 c lower bound updated to -43
0.09/0.12 c BCD2: 77 <= obj <= 118
0.09/0.12 c BCD2: #cores=11, #unrelaxed=90, #relaxed=150, #hardened=0
0.09/0.12 c BCD2: #sat=1 #unsat=78 bias=78/79
0.09/0.12 c Solving starts ...
0.09/0.12 c ============================[ Search Statistics ]============================
0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.12 c | | | | Limit GC | Var | Constra
0.09/0.12 c =============================================================================
0.09/0.12 c 0.0s | 0 | 0 | 0 | 293 0 | 66 | 65
0.09/0.13 c 0.0s | 0 | 180 | 1 | 293 0 | 66 | 66
0.09/0.13 c #cpu_time = 0.001s
0.09/0.13 c #wall_clock_time = 0.001s
0.09/0.13 c #decision = 180
0.09/0.13 c #random_decision = 0
0.09/0.13 c #conflict = 1
0.09/0.13 c #restart = 0
0.09/0.13 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 6: cost of the new core is >=3
0.09/0.13 c lower bound updated to -42
0.09/0.13 c BCD2: 78 <= obj <= 118
0.09/0.13 c BCD2: #cores=11, #unrelaxed=88, #relaxed=152, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=79 bias=79/80
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 | 293 0 | 67 | 66
0.09/0.13 c 0.0s | 0 | 177 | 1 | 293 0 | 67 | 67
0.09/0.13 c #cpu_time = 0.001s
0.09/0.13 c #wall_clock_time = 0.001s
0.09/0.13 c #decision = 177
0.09/0.13 c #random_decision = 0
0.09/0.13 c #conflict = 1
0.09/0.13 c #restart = 0
0.09/0.13 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 8: cost of the new core is >=4
0.09/0.13 c lower bound updated to -41
0.09/0.13 c BCD2: 79 <= obj <= 118
0.09/0.13 c BCD2: #cores=11, #unrelaxed=86, #relaxed=154, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=80 bias=80/81
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 | 293 0 | 68 | 67
0.09/0.13 c 0.0s | 0 | 95 | 0 | 293 0 | 68 | 68
0.09/0.13 c #cpu_time = 0.001s
0.09/0.13 c #wall_clock_time = 0.001s
0.09/0.13 c #decision = 95
0.09/0.13 c #random_decision = 0
0.09/0.13 c #conflict = 0
0.09/0.13 c #restart = 0
0.09/0.13 c BCD2: found a new core of size 2: cost of the new core is >=1
0.09/0.13 c lower bound updated to -40
0.09/0.13 c BCD2: 80 <= obj <= 118
0.09/0.13 c BCD2: #cores=12, #unrelaxed=84, #relaxed=156, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=81 bias=81/82
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 | 293 0 | 68 | 68
0.09/0.13 c 0.0s | 0 | 177 | 1 | 293 0 | 68 | 68
0.09/0.13 c #cpu_time = 0.001s
0.09/0.13 c #wall_clock_time = 0.001s
0.09/0.13 c #decision = 177
0.09/0.13 c #random_decision = 0
0.09/0.13 c #conflict = 1
0.09/0.13 c #restart = 0
0.09/0.13 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.09/0.13 c lower bound updated to -39
0.09/0.13 c BCD2: 81 <= obj <= 118
0.09/0.13 c BCD2: #cores=12, #unrelaxed=83, #relaxed=157, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=82 bias=82/83
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 | 293 0 | 69 | 68
0.09/0.14 c 0.0s | 0 | 292 | 55 | 323 0 | 69 | 69
0.09/0.14 c #cpu_time = 0.012s
0.09/0.14 c #wall_clock_time = 0.012s
0.09/0.14 c #decision = 292
0.09/0.14 c #random_decision = 0
0.09/0.14 c #conflict = 55
0.09/0.14 c #restart = 0
0.09/0.14 c BCD2: relaxing 26 and merging with 6 cores into a new core of size 82: cost of the new core is >=31
0.09/0.14 c lower bound updated to -38
0.09/0.14 c BCD2: 82 <= obj <= 118
0.09/0.14 c BCD2: #cores=7, #unrelaxed=57, #relaxed=183, #hardened=0
0.09/0.14 c BCD2: #sat=1 #unsat=83 bias=83/84
0.09/0.14 c Solving starts ...
0.09/0.14 c ============================[ Search Statistics ]============================
0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.14 c | | | | Limit GC | Var | Constra
0.09/0.14 c =============================================================================
0.09/0.14 c 0.0s | 0 | 0 | 0 | 323 0 | 75 | 69
0.09/0.17 c 0.0s | 1 | 322 | 100 | 323 0 | 75 | 75
0.19/0.20 c 0.1s | 1 | 567 | 198 | 356 0 | 75 | 75
0.19/0.20 c #cpu_time = 0.057s
0.19/0.20 c #wall_clock_time = 0.057s
0.19/0.20 c #decision = 567
0.19/0.20 c #random_decision = 0
0.19/0.20 c #conflict = 198
0.19/0.20 c #restart = 1
0.19/0.20 o -23
0.19/0.20 c BCD2: updating upper bound: 118 -> 96
0.19/0.20 c BCD2: 82 <= obj <= 96
0.19/0.20 c BCD2: #cores=7, #unrelaxed=57, #relaxed=183, #hardened=0
0.19/0.20 c BCD2: #sat=2 #unsat=83 bias=83/85
0.19/0.20 c Solving starts ...
0.19/0.20 c ============================[ Search Statistics ]============================
0.19/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.20 c | | | | Limit GC | Var | Constra
0.19/0.20 c =============================================================================
0.19/0.20 c 0.0s | 0 | 0 | 0 | 356 0 | 75 | 76
0.19/0.23 c 0.0s | 1 | 262 | 100 | 356 0 | 75 | 76
0.19/0.28 c 0.1s | 2 | 649 | 250 | 392 0 | 75 | 76
0.29/0.34 c 0.1s | 3 | 1028 | 475 | 392 1 | 75 | 76
0.29/0.38 c 0.2s | 3 | 1278 | 600 | 432 1 | 75 | 76
0.29/0.38 c #cpu_time = 0.178s
0.29/0.38 c #wall_clock_time = 0.178s
0.29/0.38 c #decision = 1278
0.29/0.38 c #random_decision = 4
0.29/0.38 c #conflict = 600
0.29/0.38 c #restart = 3
0.29/0.38 c BCD2: relaxing 50 and merging with 7 cores into a new core of size 233: cost of the new core is >=83
0.29/0.38 c lower bound updated to -37
0.29/0.38 c BCD2: 83 <= obj <= 96
0.29/0.38 c BCD2: #cores=1, #unrelaxed=7, #relaxed=233, #hardened=0
0.29/0.38 c BCD2: #sat=2 #unsat=84 bias=84/86
0.29/0.38 c Solving starts ...
0.29/0.38 c ============================[ Search Statistics ]============================
0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.38 c | | | | Limit GC | Var | Constra
0.29/0.38 c =============================================================================
0.29/0.38 c 0.0s | 0 | 0 | 0 | 432 0 | 85 | 76
0.39/0.42 c 0.0s | 1 | 187 | 100 | 432 0 | 85 | 89
0.39/0.48 c 0.1s | 2 | 488 | 250 | 432 0 | 85 | 89
0.59/0.61 c 0.2s | 3 | 838 | 475 | 476 0 | 85 | 89
0.69/0.79 c 0.4s | 4 | 1345 | 813 | 476 1 | 85 | 89
0.99/1.05 c 0.7s | 5 | 2039 | 1320 | 524 2 | 85 | 89
1.29/1.31 c 0.9s | 6 | 2916 | 2081 | 524 4 | 85 | 89
1.69/1.74 c 1.4s | 7 | 4273 | 3223 | 577 7 | 85 | 89
2.29/2.38 c 2.0s | 8 | 6193 | 4936 | 635 11 | 85 | 89
3.29/3.35 c 3.0s | 9 | 9167 | 7506 | 699 16 | 85 | 89
4.59/4.67 c 4.3s | 10 | 13590 | 11361 | 769 24 | 85 | 89
6.59/6.69 c 6.3s | 10 | 19988 | 17061 | 846 35 | 85 | 89
6.69/6.72 c 6.3s | 11 | 20076 | 17144 | 846 36 | 85 | 89
8.69/8.75 c 8.4s | 11 | 26671 | 23044 | 846 46 | 85 | 89
9.69/9.76 c 9.4s | 12 | 29772 | 25819 | 931 51 | 85 | 89
11.69/11.77 c 11.4s | 12 | 36132 | 31419 | 931 61 | 85 | 89
13.78/13.80 c 13.4s | 12 | 41672 | 36619 | 931 70 | 85 | 89
14.58/14.65 c 14.3s | 13 | 44029 | 38832 | 1025 73 | 85 | 89
16.59/16.68 c 16.3s | 13 | 50248 | 44432 | 1025 82 | 85 | 89
18.58/18.70 c 18.3s | 13 | 55587 | 49432 | 1025 90 | 85 | 89
20.68/20.72 c 20.3s | 13 | 61002 | 54532 | 1025 98 | 85 | 89
22.18/22.28 c 21.9s | 14 | 65184 | 58352 | 1128 104 | 85 | 89
24.19/24.29 c 23.9s | 14 | 70764 | 63352 | 1128 111 | 85 | 89
26.29/26.30 c 25.9s | 14 | 75980 | 68152 | 1128 118 | 85 | 89
28.29/28.33 c 27.9s | 14 | 81045 | 72852 | 1128 125 | 85 | 89
30.29/30.35 c 30.0s | 14 | 85885 | 77352 | 1128 132 | 85 | 89
32.29/32.36 c 32.0s | 14 | 90863 | 82052 | 1128 138 | 85 | 89
34.29/34.38 c 34.0s | 14 | 95799 | 86752 | 1241 145 | 85 | 89
34.69/34.74 c 34.4s | 15 | 96711 | 87632 | 1241 146 | 85 | 89
36.69/36.74 c 36.4s | 15 | 101761 | 92432 | 1241 152 | 85 | 89
38.68/38.78 c 38.4s | 15 | 106926 | 97232 | 1241 159 | 85 | 89
40.79/40.83 c 40.4s | 15 | 111766 | 101732 | 1241 165 | 85 | 89
42.78/42.86 c 42.5s | 15 | 116662 | 106032 | 1241 171 | 85 | 89
44.78/44.87 c 44.5s | 15 | 121402 | 110432 | 1241 177 | 85 | 89
46.78/46.89 c 46.5s | 15 | 126456 | 115332 | 1241 183 | 85 | 89
48.88/48.92 c 48.5s | 15 | 131074 | 119732 | 1241 189 | 85 | 89
50.88/50.92 c 50.5s | 15 | 135555 | 124032 | 1241 195 | 85 | 89
52.88/52.94 c 52.6s | 15 | 140230 | 128432 | 1241 201 | 85 | 89
54.38/54.43 c 54.0s | 16 | 143630 | 131552 | 1366 204 | 85 | 89
56.38/56.46 c 56.1s | 16 | 149969 | 136952 | 1366 211 | 85 | 89
58.38/58.47 c 58.1s | 16 | 155535 | 141952 | 1366 217 | 85 | 89
60.37/60.50 c 60.1s | 16 | 160910 | 146752 | 1366 223 | 85 | 89
62.47/62.52 c 62.1s | 16 | 166405 | 151652 | 1366 229 | 85 | 89
64.47/64.53 c 64.2s | 16 | 171946 | 156352 | 1366 235 | 85 | 89
66.47/66.55 c 66.2s | 16 | 177116 | 160952 | 1366 241 | 85 | 89
68.47/68.58 c 68.2s | 16 | 182385 | 165452 | 1366 246 | 85 | 89
70.47/70.59 c 70.2s | 16 | 187668 | 169952 | 1366 252 | 85 | 89
72.57/72.62 c 72.2s | 16 | 192566 | 174252 | 1366 257 | 85 | 89
74.57/74.67 c 74.3s | 16 | 197343 | 178652 | 1366 263 | 85 | 89
76.67/76.70 c 76.3s | 16 | 202046 | 183052 | 1366 268 | 85 | 89
78.67/78.76 c 78.4s | 16 | 206941 | 187552 | 1366 274 | 85 | 89
80.66/80.77 c 80.4s | 16 | 211621 | 191952 | 1366 279 | 85 | 89
82.66/82.80 c 82.4s | 16 | 216619 | 196552 | 1503 284 | 85 | 89
83.16/83.20 c 82.8s | 17 | 217583 | 197432 | 1503 285 | 85 | 89
85.16/85.23 c 84.9s | 17 | 223686 | 202832 | 1503 292 | 85 | 89
87.16/87.25 c 86.9s | 17 | 229161 | 207832 | 1503 297 | 85 | 89
89.17/89.29 c 88.9s | 17 | 234504 | 212532 | 1503 303 | 85 | 89
91.27/91.33 c 90.9s | 17 | 239984 | 217632 | 1503 309 | 85 | 89
93.26/93.34 c 93.0s | 17 | 245079 | 222332 | 1503 314 | 85 | 89
95.26/95.35 c 95.0s | 17 | 249865 | 226732 | 1503 319 | 85 | 89
97.26/97.38 c 97.0s | 17 | 254943 | 231332 | 1503 324 | 85 | 89
99.27/99.38 c 99.0s | 17 | 260250 | 235932 | 1503 329 | 85 | 89
101.27/101.38 c 101s | 17 | 265005 | 240232 | 1503 334 | 85 | 89
103.27/103.40 c 103s | 17 | 270410 | 244932 | 1503 340 | 85 | 89
105.37/105.43 c 105s | 17 | 275634 | 249532 | 1503 345 | 85 | 89
107.37/107.45 c 107s | 17 | 280777 | 254132 | 1503 350 | 85 | 89
109.36/109.46 c 109s | 17 | 285898 | 258632 | 1503 355 | 85 | 89
111.36/111.46 c 111s | 17 | 290734 | 263032 | 1503 360 | 85 | 89
113.46/113.50 c 113s | 17 | 295551 | 267332 | 1503 365 | 85 | 89
115.47/115.54 c 115s | 17 | 300519 | 271532 | 1503 370 | 85 | 89
117.46/117.55 c 117s | 17 | 305540 | 275832 | 1503 374 | 85 | 89
119.46/119.59 c 119s | 17 | 310871 | 280332 | 1503 380 | 85 | 89
121.56/121.61 c 121s | 17 | 315709 | 284732 | 1503 385 | 85 | 89
123.56/123.64 c 123s | 17 | 320849 | 289332 | 1503 390 | 85 | 89
125.56/125.68 c 125s | 17 | 326399 | 294332 | 1654 395 | 85 | 89
126.56/126.62 c 126s | 18 | 328840 | 296252 | 1654 397 | 85 | 89
128.55/128.63 c 128s | 18 | 334835 | 301452 | 1654 403 | 85 | 89
130.55/130.64 c 130s | 18 | 341102 | 306852 | 1654 408 | 85 | 89
132.55/132.65 c 132s | 18 | 346559 | 311752 | 1654 414 | 85 | 89
134.55/134.65 c 134s | 18 | 352177 | 316952 | 1654 419 | 85 | 89
136.55/136.67 c 136s | 18 | 357633 | 321852 | 1654 424 | 85 | 89
138.55/138.69 c 138s | 18 | 363339 | 326852 | 1654 429 | 85 | 89
140.54/140.69 c 140s | 18 | 368490 | 331152 | 1654 434 | 85 | 89
142.64/142.72 c 142s | 18 | 373377 | 335552 | 1654 439 | 85 | 89
144.64/144.74 c 144s | 18 | 378509 | 340352 | 1654 444 | 85 | 89
146.64/146.74 c 146s | 18 | 383411 | 344852 | 1654 448 | 85 | 89
148.64/148.76 c 148s | 18 | 387906 | 349052 | 1654 453 | 85 | 89
150.75/150.81 c 150s | 18 | 393238 | 353752 | 1654 458 | 85 | 89
152.74/152.82 c 152s | 18 | 398253 | 358452 | 1654 462 | 85 | 89
154.74/154.83 c 154s | 18 | 403215 | 363152 | 1654 467 | 85 | 89
156.74/156.86 c 156s | 18 | 408512 | 367952 | 1654 472 | 85 | 89
158.73/158.88 c 158s | 18 | 413464 | 372552 | 1654 477 | 85 | 89
160.73/160.89 c 160s | 18 | 418606 | 377252 | 1654 482 | 85 | 89
162.84/162.91 c 162s | 18 | 423558 | 381952 | 1654 487 | 85 | 89
164.83/164.94 c 164s | 18 | 428563 | 386652 | 1654 492 | 85 | 89
166.83/166.97 c 166s | 18 | 433951 | 391652 | 1654 497 | 85 | 89
168.83/168.99 c 168s | 18 | 439213 | 396452 | 1654 502 | 85 | 89
170.84/170.99 c 170s | 18 | 444464 | 401252 | 1654 507 | 85 | 89
172.94/173.03 c 172s | 18 | 449443 | 405952 | 1654 512 | 85 | 89
174.95/175.06 c 174s | 18 | 454284 | 410452 | 1654 517 | 85 | 89
176.94/177.08 c 176s | 18 | 459501 | 415152 | 1654 522 | 85 | 89
178.93/179.08 c 178s | 18 | 464653 | 419852 | 1654 527 | 85 | 89
181.03/181.10 c 180s | 18 | 469708 | 424452 | 1654 531 | 85 | 89
183.03/183.11 c 182s | 18 | 474657 | 428952 | 1654 536 | 85 | 89
185.03/185.15 c 184s | 18 | 480055 | 433852 | 1654 541 | 85 | 89
187.04/187.15 c 186s | 18 | 485136 | 438452 | 1654 546 | 85 | 89
189.03/189.19 c 188s | 18 | 490571 | 443452 | 1820 551 | 85 | 89
189.43/189.59 c 189s | 19 | 491682 | 444482 | 1820 552 | 85 | 89
191.53/191.63 c 191s | 19 | 497140 | 449382 | 1820 557 | 85 | 89
193.54/193.64 c 193s | 19 | 501973 | 453782 | 1820 561 | 85 | 89
195.53/195.65 c 195s | 19 | 506781 | 458182 | 1820 565 | 85 | 89
197.53/197.67 c 197s | 19 | 511511 | 462382 | 1820 569 | 85 | 89
199.53/199.69 c 199s | 19 | 516261 | 466682 | 1820 573 | 85 | 89
201.63/201.70 c 201s | 19 | 521059 | 471082 | 1820 578 | 85 | 89
203.63/203.72 c 203s | 19 | 525628 | 475282 | 1820 582 | 85 | 89
205.63/205.72 c 205s | 19 | 530419 | 479682 | 1820 586 | 85 | 89
207.62/207.75 c 207s | 19 | 534914 | 483982 | 1820 590 | 85 | 89
209.62/209.78 c 209s | 19 | 539323 | 488182 | 1820 594 | 85 | 89
211.62/211.79 c 211s | 19 | 544017 | 492582 | 1820 598 | 85 | 89
213.72/213.81 c 213s | 19 | 548543 | 496682 | 1820 602 | 85 | 89
215.72/215.81 c 215s | 19 | 552896 | 500582 | 1820 606 | 85 | 89
217.72/217.86 c 217s | 19 | 557423 | 504582 | 1820 610 | 85 | 89
219.71/219.88 c 219s | 19 | 561892 | 508682 | 1820 614 | 85 | 89
221.81/221.90 c 221s | 19 | 566625 | 513182 | 1820 618 | 85 | 89
223.81/223.92 c 223s | 19 | 571134 | 517482 | 1820 622 | 85 | 89
225.81/225.94 c 225s | 19 | 575349 | 521482 | 1820 626 | 85 | 89
227.81/227.96 c 227s | 19 | 579599 | 525582 | 1820 630 | 85 | 89
229.82/230.00 c 229s | 19 | 583420 | 529282 | 1820 633 | 85 | 89
231.91/232.03 c 231s | 19 | 587732 | 533382 | 1820 637 | 85 | 89
233.91/234.04 c 233s | 19 | 592267 | 537682 | 1820 641 | 85 | 89
235.91/236.06 c 235s | 19 | 596434 | 541582 | 1820 645 | 85 | 89
237.90/238.06 c 237s | 19 | 600484 | 545282 | 1820 649 | 85 | 89
240.00/240.10 c 239s | 19 | 604387 | 548982 | 1820 652 | 85 | 89
242.01/242.13 c 241s | 19 | 608775 | 553082 | 1820 656 | 85 | 89
244.00/244.17 c 243s | 19 | 613854 | 557482 | 1820 660 | 85 | 89
246.10/246.21 c 245s | 19 | 618081 | 561382 | 1820 664 | 85 | 89
248.10/248.23 c 247s | 19 | 622378 | 565282 | 1820 668 | 85 | 89
250.10/250.27 c 249s | 19 | 626189 | 568782 | 1820 671 | 85 | 89
252.10/252.27 c 251s | 19 | 630257 | 572582 | 1820 675 | 85 | 89
254.11/254.29 c 253s | 19 | 634024 | 576082 | 1820 678 | 85 | 89
256.21/256.33 c 255s | 19 | 638041 | 579782 | 1820 682 | 85 | 89
258.20/258.37 c 257s | 19 | 642248 | 583782 | 1820 686 | 85 | 89
260.20/260.37 c 259s | 19 | 646936 | 588282 | 1820 690 | 85 | 89
262.30/262.41 c 262s | 19 | 651354 | 592582 | 1820 694 | 85 | 89
264.29/264.44 c 264s | 19 | 656111 | 597082 | 1820 698 | 85 | 89
266.29/266.49 c 266s | 19 | 660278 | 601082 | 1820 702 | 85 | 89
268.40/268.55 c 268s | 19 | 664304 | 604882 | 1820 706 | 85 | 89
270.50/270.62 c 270s | 19 | 668198 | 608682 | 1820 710 | 85 | 89
272.49/272.64 c 272s | 19 | 672236 | 612482 | 1820 713 | 85 | 89
274.49/274.65 c 274s | 19 | 676197 | 616182 | 1820 717 | 85 | 89
276.49/276.67 c 276s | 19 | 679843 | 619682 | 1820 720 | 85 | 89
278.59/278.72 c 278s | 19 | 683549 | 622982 | 1820 723 | 85 | 89
280.59/280.78 c 280s | 19 | 687498 | 626582 | 1820 727 | 85 | 89
282.69/282.80 c 282s | 19 | 691340 | 630282 | 1820 730 | 85 | 89
284.69/284.83 c 284s | 19 | 695170 | 633882 | 1820 734 | 85 | 89
286.69/286.83 c 286s | 19 | 699042 | 637582 | 1820 737 | 85 | 89
288.68/288.84 c 288s | 19 | 703063 | 641482 | 1820 741 | 85 | 89
290.68/290.84 c 290s | 19 | 706872 | 645082 | 1820 744 | 85 | 89
292.68/292.85 c 292s | 19 | 710700 | 648782 | 1820 748 | 85 | 89
294.69/294.88 c 294s | 19 | 714651 | 652582 | 1820 751 | 85 | 89
296.78/296.92 c 296s | 19 | 719188 | 656782 | 1820 755 | 85 | 89
298.78/298.92 c 298s | 19 | 723232 | 660482 | 1820 759 | 85 | 89
300.78/300.94 c 300s | 19 | 727231 | 664282 | 2003 762 | 85 | 89
302.18/302.33 c 301s | 20 | 729914 | 666827 | 2003 764 | 85 | 89
304.18/304.36 c 303s | 20 | 735244 | 671827 | 2003 769 | 85 | 89
306.18/306.36 c 305s | 20 | 740378 | 676727 | 2003 773 | 85 | 89
308.17/308.38 c 307s | 20 | 745337 | 681427 | 2003 777 | 85 | 89
310.18/310.38 c 309s | 20 | 750176 | 686027 | 2003 781 | 85 | 89
312.28/312.41 c 312s | 20 | 754926 | 690627 | 2003 785 | 85 | 89
314.27/314.42 c 314s | 20 | 759799 | 695327 | 2003 790 | 85 | 89
316.27/316.46 c 316s | 20 | 764823 | 700127 | 2003 794 | 85 | 89
318.27/318.49 c 318s | 20 | 769620 | 704627 | 2003 798 | 85 | 89
320.38/320.50 c 320s | 20 | 774544 | 709227 | 2003 802 | 85 | 89
322.38/322.51 c 322s | 20 | 779668 | 713927 | 2003 806 | 85 | 89
324.38/324.55 c 324s | 20 | 784515 | 718527 | 2003 810 | 85 | 89
326.38/326.56 c 326s | 20 | 789140 | 722927 | 2003 814 | 85 | 89
328.37/328.57 c 328s | 20 | 793835 | 727327 | 2003 818 | 85 | 89
330.47/330.60 c 330s | 20 | 798246 | 731527 | 2003 821 | 85 | 89
332.47/332.63 c 332s | 20 | 803014 | 735927 | 2003 825 | 85 | 89
334.47/334.66 c 334s | 20 | 807582 | 740227 | 2003 829 | 85 | 89
336.48/336.69 c 336s | 20 | 812065 | 744427 | 2003 833 | 85 | 89
338.57/338.71 c 338s | 20 | 816338 | 748527 | 2003 836 | 85 | 89
340.57/340.73 c 340s | 20 | 821270 | 753127 | 2003 840 | 85 | 89
342.57/342.75 c 342s | 20 | 825951 | 757527 | 2003 844 | 85 | 89
344.57/344.78 c 344s | 20 | 830759 | 761927 | 2003 848 | 85 | 89
346.57/346.78 c 346s | 20 | 835393 | 766327 | 2003 852 | 85 | 89
348.57/348.78 c 348s | 20 | 839804 | 770527 | 2003 856 | 85 | 89
350.66/350.84 c 350s | 20 | 844504 | 775027 | 2003 860 | 85 | 89
352.76/352.90 c 352s | 20 | 849190 | 779527 | 2003 864 | 85 | 89
354.76/354.90 c 354s | 20 | 853536 | 783527 | 2003 867 | 85 | 89
356.76/356.92 c 356s | 20 | 857876 | 787627 | 2003 871 | 85 | 89
358.76/358.93 c 358s | 20 | 862089 | 791627 | 2003 874 | 85 | 89
360.76/360.95 c 360s | 20 | 866332 | 795627 | 2003 878 | 85 | 89
362.76/362.96 c 362s | 20 | 870681 | 799727 | 2003 881 | 85 | 89
364.76/364.98 c 364s | 20 | 874926 | 803727 | 2003 885 | 85 | 89
366.86/367.01 c 366s | 20 | 879481 | 808127 | 2003 889 | 85 | 89
368.85/369.02 c 368s | 20 | 883751 | 812227 | 2003 892 | 85 | 89
370.85/371.04 c 370s | 20 | 887976 | 816327 | 2003 896 | 85 | 89
372.86/373.06 c 372s | 20 | 892740 | 820827 | 2003 900 | 85 | 89
374.96/375.10 c 374s | 20 | 897078 | 825027 | 2003 903 | 85 | 89
376.95/377.13 c 376s | 20 | 901311 | 829127 | 2003 907 | 85 | 89
378.95/379.13 c 378s | 20 | 905517 | 833127 | 2003 911 | 85 | 89
380.95/381.18 c 380s | 20 | 909825 | 837227 | 2003 914 | 85 | 89
383.05/383.22 c 382s | 20 | 913946 | 841227 | 2003 918 | 85 | 89
385.05/385.25 c 384s | 20 | 918655 | 845727 | 2003 922 | 85 | 89
387.05/387.29 c 386s | 20 | 922912 | 849827 | 2003 925 | 85 | 89
389.14/389.32 c 388s | 20 | 926899 | 853627 | 2003 929 | 85 | 89
391.14/391.33 c 390s | 20 | 930947 | 857527 | 2003 932 | 85 | 89
393.14/393.36 c 392s | 20 | 934887 | 861327 | 2003 935 | 85 | 89
395.14/395.38 c 394s | 20 | 938871 | 865127 | 2003 939 | 85 | 89
397.24/397.42 c 397s | 20 | 943101 | 869227 | 2003 942 | 85 | 89
399.24/399.46 c 399s | 20 | 947433 | 873427 | 2003 946 | 85 | 89
401.34/401.51 c 401s | 20 | 951784 | 877627 | 2003 950 | 85 | 89
403.33/403.53 c 403s | 20 | 956072 | 881727 | 2003 953 | 85 | 89
405.33/405.57 c 405s | 20 | 960411 | 885827 | 2003 957 | 85 | 89
407.43/407.60 c 407s | 20 | 964336 | 889627 | 2003 960 | 85 | 89
409.43/409.64 c 409s | 20 | 968604 | 893727 | 2003 964 | 85 | 89
411.43/411.66 c 411s | 20 | 972513 | 897427 | 2003 967 | 85 | 89
413.44/413.70 c 413s | 20 | 976220 | 900927 | 2003 970 | 85 | 89
415.53/415.74 c 415s | 20 | 980608 | 905127 | 2003 974 | 85 | 89
417.53/417.77 c 417s | 20 | 984665 | 908927 | 2003 977 | 85 | 89
419.53/419.78 c 419s | 20 | 989022 | 913127 | 2003 981 | 85 | 89
421.63/421.81 c 421s | 20 | 993688 | 917527 | 2003 985 | 85 | 89
423.63/423.84 c 423s | 20 | 998237 | 921727 | 2003 988 | 85 | 89
425.63/425.85 c 425s | 20 | 1002319 | 925527 | 2003 992 | 85 | 89
427.62/427.86 c 427s | 20 | 1006761 | 929627 | 2003 995 | 85 | 89
429.62/429.87 c 429s | 20 | 1011101 | 933727 | 2003 999 | 85 | 89
431.72/431.90 c 431s | 20 | 1014887 | 937227 | 2003 1002 | 85 | 89
433.72/433.91 c 433s | 20 | 1018740 | 940827 | 2003 1005 | 85 | 89
435.72/435.96 c 435s | 20 | 1022526 | 944427 | 2003 1008 | 85 | 89
437.72/437.98 c 437s | 20 | 1026399 | 948027 | 2003 1011 | 85 | 89
439.82/440.01 c 439s | 20 | 1030371 | 951827 | 2003 1015 | 85 | 89
441.81/442.02 c 441s | 20 | 1034193 | 955527 | 2003 1018 | 85 | 89
443.81/444.07 c 443s | 20 | 1038269 | 959427 | 2003 1021 | 85 | 89
445.91/446.12 c 445s | 20 | 1042183 | 963227 | 2003 1025 | 85 | 89
447.91/448.18 c 447s | 20 | 1045893 | 966727 | 2003 1028 | 85 | 89
450.01/450.23 c 449s | 20 | 1050037 | 970627 | 2003 1031 | 85 | 89
452.01/452.24 c 451s | 20 | 1053985 | 974327 | 2003 1034 | 85 | 89
454.01/454.28 c 453s | 20 | 1057957 | 978027 | 2003 1037 | 85 | 89
456.00/456.29 c 455s | 20 | 1062612 | 982427 | 2003 1041 | 85 | 89
458.10/458.31 c 457s | 20 | 1066930 | 986527 | 2003 1045 | 85 | 89
460.10/460.35 c 459s | 20 | 1071016 | 990527 | 2003 1048 | 85 | 89
462.10/462.39 c 462s | 20 | 1075055 | 994427 | 2204 1052 | 85 | 89
464.21/464.41 c 464s | 20 | 1078917 | 998227 | 2204 1055 | 85 | 89
465.41/465.65 c 465s | 21 | 1081089 | 1000345 | 2204 1056 | 85 | 89
467.42/467.66 c 467s | 21 | 1085819 | 1004745 | 2204 1060 | 85 | 89
469.40/469.67 c 469s | 21 | 1090509 | 1009045 | 2204 1063 | 85 | 89
471.40/471.68 c 471s | 21 | 1095099 | 1013245 | 2204 1067 | 85 | 89
473.50/473.72 c 473s | 21 | 1099687 | 1017545 | 2204 1070 | 85 | 89
475.50/475.74 c 475s | 21 | 1104367 | 1021845 | 2204 1074 | 85 | 89
477.50/477.79 c 477s | 21 | 1109107 | 1026245 | 2204 1077 | 85 | 89
479.60/479.80 c 479s | 21 | 1113234 | 1030145 | 2204 1080 | 85 | 89
481.61/481.82 c 481s | 21 | 1117297 | 1033945 | 2204 1083 | 85 | 89
483.60/483.85 c 483s | 21 | 1121760 | 1038145 | 2204 1087 | 85 | 89
485.60/485.88 c 485s | 21 | 1125933 | 1042145 | 2204 1090 | 85 | 89
487.60/487.89 c 487s | 21 | 1129831 | 1045845 | 2204 1093 | 85 | 89
489.59/489.89 c 489s | 21 | 1133667 | 1049445 | 2204 1096 | 85 | 89
491.69/491.92 c 491s | 21 | 1138142 | 1053445 | 2204 1099 | 85 | 89
493.70/493.94 c 493s | 21 | 1142422 | 1057245 | 2204 1102 | 85 | 89
495.69/495.96 c 495s | 21 | 1146476 | 1060945 | 2204 1105 | 85 | 89
497.69/497.99 c 497s | 21 | 1150583 | 1064645 | 2204 1108 | 85 | 89
499.79/500.02 c 499s | 21 | 1155155 | 1068645 | 2204 1111 | 85 | 89
501.79/502.02 c 501s | 21 | 1159321 | 1072545 | 2204 1114 | 85 | 89
503.79/504.06 c 503s | 21 | 1163760 | 1076645 | 2204 1118 | 85 | 89
505.89/506.11 c 505s | 21 | 1168618 | 1081145 | 2204 1121 | 85 | 89
507.88/508.12 c 507s | 21 | 1173132 | 1085445 | 2204 1125 | 85 | 89
509.88/510.13 c 509s | 21 | 1177586 | 1089645 | 2204 1128 | 85 | 89
511.88/512.17 c 511s | 21 | 1181771 | 1093645 | 2204 1132 | 85 | 89
513.88/514.17 c 513s | 21 | 1186299 | 1097745 | 2204 1135 | 85 | 89
515.88/516.18 c 515s | 21 | 1190802 | 1101745 | 2204 1138 | 85 | 89
517.98/518.23 c 517s | 21 | 1195407 | 1106045 | 2204 1141 | 85 | 89
519.97/520.25 c 519s | 21 | 1199876 | 1110145 | 2204 1145 | 85 | 89
521.97/522.29 c 521s | 21 | 1204625 | 1114545 | 2204 1148 | 85 | 89
524.07/524.33 c 523s | 21 | 1209199 | 1118745 | 2204 1152 | 85 | 89
526.07/526.36 c 525s | 21 | 1214128 | 1123145 | 2204 1155 | 85 | 89
528.07/528.38 c 527s | 21 | 1218569 | 1127245 | 2204 1159 | 85 | 89
530.17/530.41 c 530s | 21 | 1222663 | 1131045 | 2204 1162 | 85 | 89
532.17/532.45 c 532s | 21 | 1226628 | 1134745 | 2204 1165 | 85 | 89
534.26/534.50 c 534s | 21 | 1230765 | 1138645 | 2204 1168 | 85 | 89
536.26/536.52 c 536s | 21 | 1234956 | 1142445 | 2204 1171 | 85 | 89
538.26/538.52 c 538s | 21 | 1238683 | 1145945 | 2204 1174 | 85 | 89
540.26/540.55 c 540s | 21 | 1242316 | 1149345 | 2204 1176 | 85 | 89
542.26/542.57 c 542s | 21 | 1246421 | 1153145 | 2204 1179 | 85 | 89
544.37/544.61 c 544s | 21 | 1250743 | 1157045 | 2204 1183 | 85 | 89
546.36/546.65 c 546s | 21 | 1254707 | 1160745 | 2204 1185 | 85 | 89
548.35/548.67 c 548s | 21 | 1258936 | 1164645 | 2204 1189 | 85 | 89
550.45/550.72 c 550s | 21 | 1262970 | 1168345 | 2204 1192 | 85 | 89
552.45/552.75 c 552s | 21 | 1267128 | 1172245 | 2204 1195 | 85 | 89
554.45/554.79 c 554s | 21 | 1271616 | 1176345 | 2204 1198 | 85 | 89
556.55/556.84 c 556s | 21 | 1275604 | 1180045 | 2204 1201 | 85 | 89
558.56/558.86 c 558s | 21 | 1279630 | 1183745 | 2204 1204 | 85 | 89
560.55/560.89 c 560s | 21 | 1283504 | 1187345 | 2204 1207 | 85 | 89
562.65/562.90 c 562s | 21 | 1287108 | 1190745 | 2204 1210 | 85 | 89
564.65/564.90 c 564s | 21 | 1291174 | 1194445 | 2204 1213 | 85 | 89
566.65/566.92 c 566s | 21 | 1294910 | 1198045 | 2204 1216 | 85 | 89
568.64/568.94 c 568s | 21 | 1298970 | 1201945 | 2204 1219 | 85 | 89
570.65/570.95 c 570s | 21 | 1302702 | 1205545 | 2204 1222 | 85 | 89
572.64/572.95 c 572s | 21 | 1306442 | 1209145 | 2204 1224 | 85 | 89
574.64/574.98 c 574s | 21 | 1310258 | 1212745 | 2204 1227 | 85 | 89
576.64/576.99 c 576s | 21 | 1314459 | 1216545 | 2204 1230 | 85 | 89
578.74/579.00 c 578s | 21 | 1318600 | 1220345 | 2204 1233 | 85 | 89
580.74/581.03 c 580s | 21 | 1323231 | 1224645 | 2204 1237 | 85 | 89
582.74/583.07 c 582s | 21 | 1327684 | 1228745 | 2204 1240 | 85 | 89
584.84/585.13 c 584s | 21 | 1331773 | 1232645 | 2204 1243 | 85 | 89
586.84/587.17 c 586s | 21 | 1335576 | 1236245 | 2204 1246 | 85 | 89
588.93/589.20 c 588s | 21 | 1339635 | 1240045 | 2204 1249 | 85 | 89
590.93/591.24 c 590s | 21 | 1343422 | 1243645 | 2204 1252 | 85 | 89
592.93/593.28 c 592s | 21 | 1347225 | 1247345 | 2204 1255 | 85 | 89
595.03/595.34 c 594s | 21 | 1351110 | 1251045 | 2204 1258 | 85 | 89
597.04/597.36 c 596s | 21 | 1355166 | 1254845 | 2204 1261 | 85 | 89
599.13/599.41 c 599s | 21 | 1359075 | 1258445 | 2204 1264 | 85 | 89
601.13/601.45 c 601s | 21 | 1363017 | 1262145 | 2204 1267 | 85 | 89
603.13/603.48 c 603s | 21 | 1366764 | 1265645 | 2204 1270 | 85 | 89
605.23/605.51 c 605s | 21 | 1370694 | 1269245 | 2204 1273 | 85 | 89
607.23/607.56 c 607s | 21 | 1374463 | 1272745 | 2204 1275 | 85 | 89
609.23/609.57 c 609s | 21 | 1378615 | 1276745 | 2204 1279 | 85 | 89
611.33/611.62 c 611s | 21 | 1382942 | 1280845 | 2204 1282 | 85 | 89
613.32/613.64 c 613s | 21 | 1386812 | 1284545 | 2204 1285 | 85 | 89
615.32/615.67 c 615s | 21 | 1390906 | 1288445 | 2204 1288 | 85 | 89
617.42/617.71 c 617s | 21 | 1395116 | 1292345 | 2204 1291 | 85 | 89
619.41/619.72 c 619s | 21 | 1399217 | 1296245 | 2204 1294 | 85 | 89
621.41/621.73 c 621s | 21 | 1403235 | 1299945 | 2204 1297 | 85 | 89
623.42/623.75 c 623s | 21 | 1407333 | 1303845 | 2204 1301 | 85 | 89
625.51/625.80 c 625s | 21 | 1411423 | 1307745 | 2204 1304 | 85 | 89
627.51/627.81 c 627s | 21 | 1415424 | 1311545 | 2204 1307 | 85 | 89
629.51/629.84 c 629s | 21 | 1419524 | 1315445 | 2204 1310 | 85 | 89
631.51/631.88 c 631s | 21 | 1423387 | 1319145 | 2204 1313 | 85 | 89
633.51/633.90 c 633s | 21 | 1427041 | 1322645 | 2204 1316 | 85 | 89
635.61/635.91 c 635s | 21 | 1430929 | 1326345 | 2204 1319 | 85 | 89
637.61/637.93 c 637s | 21 | 1434857 | 1330145 | 2204 1322 | 85 | 89
639.60/639.93 c 639s | 21 | 1438670 | 1333745 | 2204 1325 | 85 | 89
641.60/641.97 c 641s | 21 | 1442359 | 1337245 | 2204 1327 | 85 | 89
643.70/644.01 c 643s | 21 | 1445968 | 1340645 | 2204 1330 | 85 | 89
645.70/646.05 c 645s | 21 | 1449608 | 1344145 | 2204 1333 | 85 | 89
647.70/648.07 c 647s | 21 | 1453721 | 1348045 | 2204 1336 | 85 | 89
649.70/650.09 c 649s | 21 | 1457702 | 1351745 | 2204 1339 | 85 | 89
651.80/652.10 c 651s | 21 | 1461870 | 1355745 | 2204 1342 | 85 | 89
653.80/654.13 c 653s | 21 | 1465833 | 1359545 | 2204 1345 | 85 | 89
655.80/656.19 c 655s | 21 | 1470177 | 1363645 | 2204 1349 | 85 | 89
657.89/658.20 c 657s | 21 | 1474191 | 1367545 | 2204 1352 | 85 | 89
659.89/660.22 c 659s | 21 | 1478191 | 1371445 | 2204 1355 | 85 | 89
661.90/662.23 c 661s | 21 | 1482154 | 1375245 | 2204 1358 | 85 | 89
663.89/664.27 c 663s | 21 | 1485795 | 1378745 | 2204 1361 | 85 | 89
666.00/666.33 c 665s | 21 | 1489417 | 1382145 | 2204 1363 | 85 | 89
668.00/668.35 c 667s | 21 | 1493150 | 1385645 | 2204 1366 | 85 | 89
669.99/670.38 c 669s | 21 | 1496707 | 1389045 | 2204 1369 | 85 | 89
671.99/672.39 c 672s | 21 | 1500497 | 1392645 | 2204 1372 | 85 | 89
674.10/674.42 c 674s | 21 | 1504264 | 1396245 | 2204 1375 | 85 | 89
676.09/676.48 c 676s | 21 | 1507966 | 1399745 | 2204 1378 | 85 | 89
678.09/678.49 c 678s | 21 | 1511240 | 1402845 | 2204 1380 | 85 | 89
680.09/680.49 c 680s | 21 | 1514941 | 1406345 | 2204 1383 | 85 | 89
682.19/682.54 c 682s | 21 | 1518546 | 1409745 | 2204 1386 | 85 | 89
684.19/684.57 c 684s | 21 | 1522276 | 1413345 | 2204 1388 | 85 | 89
686.19/686.59 c 686s | 21 | 1525960 | 1416845 | 2204 1391 | 85 | 89
688.29/688.61 c 688s | 21 | 1529386 | 1420145 | 2204 1394 | 85 | 89
690.29/690.64 c 690s | 21 | 1532946 | 1423545 | 2204 1397 | 85 | 89
692.29/692.66 c 692s | 21 | 1536727 | 1427145 | 2204 1400 | 85 | 89
694.39/694.70 c 694s | 21 | 1541250 | 1431445 | 2204 1403 | 85 | 89
696.39/696.73 c 696s | 21 | 1545564 | 1435545 | 2204 1406 | 85 | 89
698.38/698.76 c 698s | 21 | 1550105 | 1439745 | 2204 1410 | 85 | 89
700.39/700.79 c 700s | 21 | 1554231 | 1443745 | 2204 1413 | 85 | 89
702.48/702.84 c 702s | 21 | 1558749 | 1448045 | 2204 1416 | 85 | 89
704.48/704.87 c 704s | 21 | 1562812 | 1451745 | 2204 1419 | 85 | 89
706.58/706.94 c 706s | 21 | 1566920 | 1455645 | 2204 1423 | 85 | 89
708.68/709.00 c 708s | 21 | 1570990 | 1459545 | 2204 1426 | 85 | 89
710.68/711.03 c 710s | 21 | 1574893 | 1463345 | 2204 1429 | 85 | 89
712.68/713.04 c 712s | 21 | 1578792 | 1467145 | 2204 1432 | 85 | 89
714.69/715.07 c 714s | 21 | 1582889 | 1471045 | 2204 1435 | 85 | 89
716.68/717.08 c 716s | 21 | 1586588 | 1474645 | 2204 1438 | 85 | 89
718.78/719.10 c 718s | 21 | 1590635 | 1478545 | 2204 1441 | 85 | 89
720.78/721.14 c 720s | 21 | 1594590 | 1482345 | 2204 1444 | 85 | 89
722.78/723.14 c 722s | 21 | 1598917 | 1486445 | 2204 1447 | 85 | 89
724.78/725.19 c 724s | 21 | 1603012 | 1490345 | 2425 1450 | 85 | 89
726.88/727.23 c 726s | 21 | 1606906 | 1494045 | 2425 1453 | 85 | 89
728.88/729.25 c 728s | 21 | 1610828 | 1497845 | 2425 1456 | 85 | 89
730.38/730.78 c 730s | 22 | 1613683 | 1500622 | 2425 1458 | 85 | 89
732.38/732.80 c 732s | 22 | 1618636 | 1505222 | 2425 1461 | 85 | 89
734.48/734.84 c 734s | 22 | 1622937 | 1509322 | 2425 1464 | 85 | 89
736.48/736.85 c 736s | 22 | 1627354 | 1513422 | 2425 1467 | 85 | 89
738.47/738.87 c 738s | 22 | 1631549 | 1517422 | 2425 1470 | 85 | 89
740.47/740.89 c 740s | 22 | 1635872 | 1521422 | 2425 1473 | 85 | 89
742.57/742.93 c 742s | 22 | 1639726 | 1525122 | 2425 1476 | 85 | 89
744.57/744.95 c 744s | 22 | 1643860 | 1528922 | 2425 1479 | 85 | 89
746.58/746.96 c 746s | 22 | 1647879 | 1532722 | 2425 1482 | 85 | 89
748.57/748.98 c 748s | 22 | 1652163 | 1536622 | 2425 1484 | 85 | 89
750.67/751.01 c 750s | 22 | 1656174 | 1540422 | 2425 1487 | 85 | 89
752.67/753.05 c 752s | 22 | 1660079 | 1544122 | 2425 1490 | 85 | 89
754.67/755.07 c 754s | 22 | 1664478 | 1548322 | 2425 1493 | 85 | 89
756.77/757.13 c 756s | 22 | 1669043 | 1552622 | 2425 1496 | 85 | 89
758.78/759.17 c 758s | 22 | 1673129 | 1556422 | 2425 1499 | 85 | 89
760.88/761.21 c 760s | 22 | 1677010 | 1560122 | 2425 1502 | 85 | 89
762.87/763.25 c 762s | 22 | 1681030 | 1563822 | 2425 1505 | 85 | 89
764.87/765.25 c 764s | 22 | 1684823 | 1567422 | 2425 1507 | 85 | 89
766.87/767.28 c 766s | 22 | 1689061 | 1571422 | 2425 1510 | 85 | 89
768.97/769.32 c 768s | 22 | 1693563 | 1575622 | 2425 1513 | 85 | 89
770.97/771.35 c 770s | 22 | 1697643 | 1579422 | 2425 1516 | 85 | 89
772.98/773.36 c 772s | 22 | 1701436 | 1583022 | 2425 1519 | 85 | 89
774.98/775.37 c 774s | 22 | 1705233 | 1586622 | 2425 1521 | 85 | 89
776.98/777.38 c 776s | 22 | 1709598 | 1590422 | 2425 1524 | 85 | 89
779.08/779.43 c 779s | 22 | 1713453 | 1593922 | 2425 1527 | 85 | 89
781.08/781.47 c 781s | 22 | 1718008 | 1598022 | 2425 1530 | 85 | 89
783.18/783.51 c 783s | 22 | 1722014 | 1601722 | 2425 1533 | 85 | 89
785.18/785.51 c 785s | 22 | 1725785 | 1605322 | 2425 1535 | 85 | 89
787.17/787.56 c 787s | 22 | 1729504 | 1608822 | 2425 1538 | 85 | 89
789.27/789.60 c 789s | 22 | 1733739 | 1612822 | 2425 1541 | 85 | 89
791.27/791.64 c 791s | 22 | 1737628 | 1616522 | 2425 1543 | 85 | 89
793.27/793.65 c 793s | 22 | 1741097 | 1619822 | 2425 1546 | 85 | 89
795.27/795.67 c 795s | 22 | 1744764 | 1623222 | 2425 1548 | 85 | 89
797.28/797.67 c 797s | 22 | 1748555 | 1626822 | 2425 1551 | 85 | 89
799.27/799.68 c 799s | 22 | 1752652 | 1630722 | 2425 1554 | 85 | 89
801.37/801.70 c 801s | 22 | 1757214 | 1635122 | 2425 1557 | 85 | 89
803.37/803.73 c 803s | 22 | 1762018 | 1639722 | 2425 1561 | 85 | 89
805.37/805.76 c 805s | 22 | 1766890 | 1644222 | 2425 1564 | 85 | 89
807.37/807.77 c 807s | 22 | 1771311 | 1648322 | 2425 1567 | 85 | 89
809.47/809.82 c 809s | 22 | 1775431 | 1652122 | 2425 1570 | 85 | 89
811.48/811.86 c 811s | 22 | 1779695 | 1656222 | 2425 1573 | 85 | 89
813.47/813.87 c 813s | 22 | 1784050 | 1660422 | 2425 1576 | 85 | 89
815.57/815.93 c 815s | 22 | 1788188 | 1664422 | 2425 1579 | 85 | 89
817.57/817.97 c 817s | 22 | 1792065 | 1668122 | 2425 1581 | 85 | 89
819.57/819.99 c 819s | 22 | 1796256 | 1672122 | 2425 1584 | 85 | 89
821.67/822.00 c 821s | 22 | 1800182 | 1675922 | 2425 1587 | 85 | 89
823.67/824.02 c 823s | 22 | 1804351 | 1679922 | 2425 1590 | 85 | 89
825.67/826.05 c 825s | 22 | 1808617 | 1683922 | 2425 1593 | 85 | 89
827.67/828.05 c 827s | 22 | 1812766 | 1687822 | 2425 1596 | 85 | 89
829.66/830.08 c 829s | 22 | 1816898 | 1691722 | 2425 1599 | 85 | 89
831.76/832.10 c 831s | 22 | 1821257 | 1695822 | 2425 1602 | 85 | 89
833.76/834.14 c 833s | 22 | 1825871 | 1700022 | 2425 1605 | 85 | 89
835.77/836.14 c 835s | 22 | 1829915 | 1703822 | 2425 1608 | 85 | 89
837.76/838.16 c 837s | 22 | 1833919 | 1707622 | 2425 1611 | 85 | 89
839.86/840.21 c 839s | 22 | 1838348 | 1711822 | 2425 1614 | 85 | 89
841.86/842.23 c 841s | 22 | 1842546 | 1715722 | 2425 1617 | 85 | 89
843.86/844.25 c 843s | 22 | 1846501 | 1719422 | 2425 1619 | 85 | 89
845.86/846.27 c 845s | 22 | 1850085 | 1722722 | 2425 1622 | 85 | 89
847.87/848.29 c 847s | 22 | 1853567 | 1726022 | 2425 1624 | 85 | 89
849.97/850.34 c 849s | 22 | 1857478 | 1729622 | 2425 1627 | 85 | 89
851.96/852.35 c 851s | 22 | 1861269 | 1733222 | 2425 1630 | 85 | 89
853.96/854.38 c 853s | 22 | 1865100 | 1736822 | 2425 1632 | 85 | 89
856.06/856.42 c 856s | 22 | 1868820 | 1740222 | 2425 1635 | 85 | 89
858.06/858.44 c 858s | 22 | 1872566 | 1743822 | 2425 1637 | 85 | 89
860.06/860.49 c 860s | 22 | 1876355 | 1747422 | 2425 1640 | 85 | 89
862.06/862.50 c 862s | 22 | 1879776 | 1750722 | 2425 1642 | 85 | 89
864.15/864.55 c 864s | 22 | 1883516 | 1754322 | 2425 1645 | 85 | 89
866.15/866.55 c 866s | 22 | 1886845 | 1757522 | 2425 1648 | 85 | 89
868.15/868.58 c 868s | 22 | 1890880 | 1761322 | 2425 1650 | 85 | 89
870.25/870.61 c 870s | 22 | 1894614 | 1764822 | 2425 1653 | 85 | 89
872.25/872.67 c 872s | 22 | 1898060 | 1768122 | 2425 1655 | 85 | 89
874.35/874.73 c 874s | 22 | 1901622 | 1771522 | 2425 1658 | 85 | 89
876.36/876.77 c 876s | 22 | 1905379 | 1775122 | 2425 1661 | 85 | 89
878.45/878.83 c 878s | 22 | 1908904 | 1778522 | 2425 1663 | 85 | 89
880.46/880.86 c 880s | 22 | 1912441 | 1781922 | 2425 1666 | 85 | 89
882.56/882.92 c 882s | 22 | 1916088 | 1785422 | 2425 1668 | 85 | 89
884.66/885.00 c 884s | 22 | 1919500 | 1788622 | 2425 1671 | 85 | 89
886.66/887.00 c 886s | 22 | 1923354 | 1792322 | 2425 1673 | 85 | 89
888.66/889.05 c 888s | 22 | 1926988 | 1795822 | 2425 1676 | 85 | 89
890.77/891.11 c 890s | 22 | 1930556 | 1799122 | 2425 1678 | 85 | 89
892.76/893.12 c 892s | 22 | 1934125 | 1802422 | 2425 1681 | 85 | 89
894.76/895.13 c 894s | 22 | 1937625 | 1805722 | 2425 1683 | 85 | 89
896.76/897.17 c 896s | 22 | 1941440 | 1809222 | 2425 1686 | 85 | 89
898.86/899.22 c 898s | 22 | 1945368 | 1812922 | 2425 1688 | 85 | 89
900.86/901.23 c 900s | 22 | 1949113 | 1816422 | 2425 1691 | 85 | 89
902.86/903.27 c 902s | 22 | 1952990 | 1820022 | 2425 1694 | 85 | 89
904.85/905.30 c 904s | 22 | 1957397 | 1824022 | 2425 1697 | 85 | 89
906.95/907.30 c 906s | 22 | 1961424 | 1827722 | 2425 1699 | 85 | 89
908.95/909.32 c 908s | 22 | 1965162 | 1831222 | 2425 1702 | 85 | 89
910.95/911.34 c 910s | 22 | 1969101 | 1835022 | 2425 1705 | 85 | 89
912.95/913.39 c 913s | 22 | 1973099 | 1838622 | 2425 1707 | 85 | 89
915.05/915.40 c 915s | 22 | 1976780 | 1842022 | 2425 1710 | 85 | 89
917.06/917.43 c 917s | 22 | 1980880 | 1845722 | 2425 1713 | 85 | 89
919.15/919.50 c 919s | 22 | 1984639 | 1849222 | 2425 1715 | 85 | 89
921.15/921.54 c 921s | 22 | 1988483 | 1852722 | 2425 1718 | 85 | 89
923.15/923.54 c 923s | 22 | 1992606 | 1856422 | 2425 1721 | 85 | 89
925.15/925.56 c 925s | 22 | 1996423 | 1859922 | 2425 1723 | 85 | 89
927.25/927.60 c 927s | 22 | 1999912 | 1863222 | 2425 1726 | 85 | 89
929.25/929.65 c 929s | 22 | 2003644 | 1866722 | 2425 1728 | 85 | 89
931.35/931.73 c 931s | 22 | 2006975 | 1869822 | 2425 1730 | 85 | 89
933.35/933.77 c 933s | 22 | 2010292 | 1872922 | 2425 1733 | 85 | 89
935.45/935.83 c 935s | 22 | 2014296 | 1876622 | 2425 1735 | 85 | 89
937.45/937.85 c 937s | 22 | 2017761 | 1879722 | 2425 1738 | 85 | 89
939.44/939.88 c 939s | 22 | 2021626 | 1883122 | 2425 1740 | 85 | 89
941.44/941.89 c 941s | 22 | 2025187 | 1886322 | 2425 1743 | 85 | 89
943.55/943.94 c 943s | 22 | 2029471 | 1890222 | 2425 1745 | 85 | 89
945.54/945.97 c 945s | 22 | 2033273 | 1893822 | 2425 1748 | 85 | 89
947.54/947.99 c 947s | 22 | 2036837 | 1897122 | 2425 1751 | 85 | 89
949.64/950.02 c 949s | 22 | 2040566 | 1900622 | 2425 1753 | 85 | 89
951.64/952.05 c 951s | 22 | 2044047 | 1903822 | 2425 1756 | 85 | 89
953.64/954.08 c 953s | 22 | 2047422 | 1907022 | 2425 1758 | 85 | 89
955.74/956.13 c 955s | 22 | 2050844 | 1910222 | 2425 1760 | 85 | 89
957.75/958.17 c 957s | 22 | 2054775 | 1913722 | 2425 1763 | 85 | 89
959.74/960.19 c 959s | 22 | 2058623 | 1917222 | 2425 1765 | 85 | 89
961.84/962.21 c 961s | 22 | 2062303 | 1920522 | 2425 1768 | 85 | 89
963.84/964.21 c 963s | 22 | 2065808 | 1923822 | 2425 1770 | 85 | 89
965.84/966.24 c 965s | 22 | 2069383 | 1927122 | 2425 1773 | 85 | 89
967.84/968.26 c 967s | 22 | 2072878 | 1930422 | 2425 1775 | 85 | 89
969.95/970.33 c 969s | 22 | 2076408 | 1933722 | 2425 1778 | 85 | 89
971.94/972.37 c 971s | 22 | 2079920 | 1937022 | 2425 1780 | 85 | 89
974.04/974.43 c 974s | 22 | 2083284 | 1940222 | 2425 1782 | 85 | 89
976.14/976.50 c 976s | 22 | 2086438 | 1943122 | 2425 1785 | 85 | 89
978.14/978.54 c 978s | 22 | 2090648 | 1947022 | 2425 1787 | 85 | 89
980.14/980.59 c 980s | 22 | 2094571 | 1950822 | 2425 1790 | 85 | 89
982.24/982.60 c 982s | 22 | 2098460 | 1954522 | 2425 1793 | 85 | 89
984.24/984.66 c 984s | 22 | 2102376 | 1958222 | 2425 1796 | 85 | 89
986.24/986.70 c 986s | 22 | 2106418 | 1962022 | 2425 1798 | 85 | 89
988.34/988.75 c 988s | 22 | 2110636 | 1966022 | 2425 1801 | 85 | 89
990.44/990.80 c 990s | 22 | 2114229 | 1969422 | 2425 1804 | 85 | 89
992.44/992.87 c 992s | 22 | 2117914 | 1972922 | 2425 1807 | 85 | 89
994.44/994.89 c 994s | 22 | 2121427 | 1976322 | 2425 1809 | 85 | 89
996.54/996.91 c 996s | 22 | 2125063 | 1979822 | 2425 1812 | 85 | 89
998.55/998.93 c 998s | 22 | 2129156 | 1983722 | 2425 1815 | 85 | 89
1000.54/1000.94 c 1000s | 22 | 2133145 | 1987522 | 2425 1817 | 85 | 89
1002.54/1002.99 c 1002s | 22 | 2137089 | 1991322 | 2425 1820 | 85 | 89
1004.64/1005.02 c 1004s | 22 | 2140812 | 1994922 | 2425 1823 | 85 | 89
1006.64/1007.02 c 1006s | 22 | 2145584 | 1999322 | 2425 1826 | 85 | 89
1008.64/1009.06 c 1008s | 22 | 2150141 | 2003422 | 2425 1829 | 85 | 89
1010.65/1011.09 c 1010s | 22 | 2154837 | 2007722 | 2425 1832 | 85 | 89
1012.75/1013.11 c 1012s | 22 | 2159308 | 2011922 | 2425 1835 | 85 | 89
1014.74/1015.12 c 1014s | 22 | 2163777 | 2016122 | 2425 1838 | 85 | 89
1016.74/1017.16 c 1016s | 22 | 2167831 | 2020022 | 2425 1841 | 85 | 89
1018.74/1019.18 c 1018s | 22 | 2171694 | 2023722 | 2425 1844 | 85 | 89
1020.74/1021.19 c 1020s | 22 | 2175886 | 2027722 | 2425 1847 | 85 | 89
1022.84/1023.20 c 1022s | 22 | 2180081 | 2031522 | 2425 1850 | 85 | 89
1024.84/1025.27 c 1024s | 22 | 2184162 | 2035222 | 2425 1853 | 85 | 89
1026.94/1027.31 c 1026s | 22 | 2188407 | 2039222 | 2425 1855 | 85 | 89
1028.94/1029.34 c 1028s | 22 | 2192306 | 2042722 | 2425 1858 | 85 | 89
1031.04/1031.41 c 1031s | 22 | 2196039 | 2046122 | 2425 1861 | 85 | 89
1033.04/1033.45 c 1033s | 22 | 2199971 | 2049822 | 2425 1863 | 85 | 89
1035.03/1035.46 c 1035s | 22 | 2203449 | 2053122 | 2425 1866 | 85 | 89
1037.04/1037.48 c 1037s | 22 | 2206812 | 2056322 | 2425 1868 | 85 | 89
1039.14/1039.53 c 1039s | 22 | 2210766 | 2060122 | 2425 1871 | 85 | 89
1041.13/1041.56 c 1041s | 22 | 2214566 | 2063722 | 2425 1874 | 85 | 89
1043.23/1043.60 c 1043s | 22 | 2218411 | 2067222 | 2425 1876 | 85 | 89
1045.23/1045.64 c 1045s | 22 | 2222100 | 2070622 | 2425 1879 | 85 | 89
1047.23/1047.65 c 1047s | 22 | 2226079 | 2074422 | 2425 1881 | 85 | 89
1049.33/1049.71 c 1049s | 22 | 2229506 | 2077722 | 2425 1884 | 85 | 89
1051.34/1051.71 c 1051s | 22 | 2233143 | 2081022 | 2425 1886 | 85 | 89
1053.33/1053.75 c 1053s | 22 | 2236920 | 2084422 | 2425 1889 | 85 | 89
1055.43/1055.80 c 1055s | 22 | 2240621 | 2087922 | 2425 1891 | 85 | 89
1057.43/1057.83 c 1057s | 22 | 2244065 | 2091222 | 2425 1894 | 85 | 89
1059.43/1059.85 c 1059s | 22 | 2248456 | 2095222 | 2425 1897 | 85 | 89
1061.43/1061.87 c 1061s | 22 | 2252784 | 2099222 | 2425 1900 | 85 | 89
1063.53/1063.94 c 1063s | 22 | 2256622 | 2102722 | 2425 1902 | 85 | 89
1065.54/1065.99 c 1065s | 22 | 2260136 | 2106022 | 2425 1905 | 85 | 89
1067.63/1068.00 c 1067s | 22 | 2263845 | 2109522 | 2425 1907 | 85 | 89
1069.63/1070.02 c 1069s | 22 | 2267657 | 2113122 | 2425 1910 | 85 | 89
1071.63/1072.05 c 1071s | 22 | 2271593 | 2116722 | 2425 1913 | 85 | 89
1073.63/1074.05 c 1073s | 22 | 2275223 | 2120022 | 2425 1915 | 85 | 89
1075.73/1076.10 c 1075s | 22 | 2279171 | 2123722 | 2425 1918 | 85 | 89
1077.73/1078.12 c 1077s | 22 | 2283388 | 2127522 | 2425 1921 | 85 | 89
1079.73/1080.14 c 1079s | 22 | 2287342 | 2131122 | 2425 1923 | 85 | 89
1081.73/1082.15 c 1081s | 22 | 2290955 | 2134422 | 2425 1926 | 85 | 89
1083.73/1084.18 c 1083s | 22 | 2294925 | 2138022 | 2425 1928 | 85 | 89
1085.83/1086.20 c 1085s | 22 | 2298316 | 2141222 | 2425 1931 | 85 | 89
1087.83/1088.25 c 1087s | 22 | 2301995 | 2144622 | 2425 1933 | 85 | 89
1089.83/1090.26 c 1089s | 22 | 2305258 | 2147622 | 2425 1935 | 85 | 89
1091.83/1092.29 c 1091s | 22 | 2308702 | 2150822 | 2425 1938 | 85 | 89
1093.92/1094.30 c 1093s | 22 | 2312027 | 2153922 | 2425 1940 | 85 | 89
1095.92/1096.33 c 1095s | 22 | 2315638 | 2157322 | 2425 1943 | 85 | 89
1097.92/1098.39 c 1098s | 22 | 2319419 | 2160922 | 2425 1945 | 85 | 89
1100.02/1100.45 c 1100s | 22 | 2322661 | 2164022 | 2425 1948 | 85 | 89
1102.02/1102.48 c 1102s | 22 | 2325904 | 2167122 | 2425 1950 | 85 | 89
1104.03/1104.49 c 1104s | 22 | 2328962 | 2170022 | 2425 1952 | 85 | 89
1106.12/1106.56 c 1106s | 22 | 2332407 | 2173322 | 2425 1954 | 85 | 89
1108.22/1108.60 c 1108s | 22 | 2335671 | 2176422 | 2425 1957 | 85 | 89
1110.22/1110.62 c 1110s | 22 | 2339153 | 2179722 | 2425 1959 | 85 | 89
1112.22/1112.62 c 1112s | 22 | 2342750 | 2183122 | 2425 1962 | 85 | 89
1114.22/1114.65 c 1114s | 22 | 2346219 | 2186422 | 2425 1964 | 85 | 89
1116.23/1116.68 c 1116s | 22 | 2350059 | 2190022 | 2425 1967 | 85 | 89
1118.33/1118.71 c 1118s | 22 | 2353667 | 2193422 | 2425 1969 | 85 | 89
1120.32/1120.74 c 1120s | 22 | 2357305 | 2196722 | 2425 1972 | 85 | 89
1122.32/1122.79 c 1122s | 22 | 2361223 | 2200322 | 2425 1974 | 85 | 89
1124.42/1124.85 c 1124s | 22 | 2365521 | 2204222 | 2425 1977 | 85 | 89
1126.42/1126.88 c 1126s | 22 | 2368961 | 2207422 | 2425 1980 | 85 | 89
1128.42/1128.89 c 1128s | 22 | 2372343 | 2210622 | 2425 1982 | 85 | 89
1130.52/1130.95 c 1130s | 22 | 2375763 | 2213822 | 2425 1984 | 85 | 89
1132.52/1132.97 c 1132s | 22 | 2379091 | 2216922 | 2425 1987 | 85 | 89
1134.51/1134.98 c 1134s | 22 | 2382054 | 2219722 | 2425 1989 | 85 | 89
1136.51/1136.99 c 1136s | 22 | 2385390 | 2222922 | 2425 1991 | 85 | 89
1138.61/1139.03 c 1138s | 22 | 2388761 | 2226122 | 2425 1993 | 85 | 89
1140.61/1141.06 c 1140s | 22 | 2391990 | 2229222 | 2425 1996 | 85 | 89
1142.71/1143.10 c 1142s | 22 | 2396044 | 2232922 | 2425 1998 | 85 | 89
1144.72/1145.12 c 1144s | 22 | 2399569 | 2236222 | 2668 2001 | 85 | 89
1146.71/1147.14 c 1146s | 22 | 2403149 | 2239422 | 2668 2003 | 85 | 89
1148.71/1149.18 c 1148s | 22 | 2406847 | 2242722 | 2668 2005 | 85 | 89
1150.81/1151.24 c 1150s | 22 | 2410482 | 2245922 | 2668 2007 | 85 | 89
1152.81/1153.25 c 1152s | 22 | 2414142 | 2249322 | 2668 2009 | 85 | 89
1153.91/1154.31 c 1153s | 23 | 2416036 | 2251038 | 2668 2011 | 85 | 89
1155.91/1156.33 c 1155s | 23 | 2420470 | 2254938 | 2668 2013 | 85 | 89
1157.92/1158.34 c 1157s | 23 | 2424597 | 2258538 | 2668 2016 | 85 | 89
1160.01/1160.40 c 1160s | 23 | 2428504 | 2262138 | 2668 2018 | 85 | 89
1162.01/1162.41 c 1162s | 23 | 2432445 | 2265638 | 2668 2020 | 85 | 89
1164.01/1164.42 c 1164s | 23 | 2436279 | 2269038 | 2668 2023 | 85 | 89
1166.01/1166.45 c 1166s | 23 | 2440832 | 2273038 | 2668 2025 | 85 | 89
1168.11/1168.50 c 1168s | 23 | 2445081 | 2276938 | 2668 2028 | 85 | 89
1170.12/1170.51 c 1170s | 23 | 2448833 | 2280438 | 2668 2031 | 85 | 89
1172.11/1172.54 c 1172s | 23 | 2453047 | 2284338 | 2668 2033 | 85 | 89
1174.11/1174.58 c 1174s | 23 | 2457337 | 2288238 | 2668 2036 | 85 | 89
1176.21/1176.61 c 1176s | 23 | 2461208 | 2291838 | 2668 2038 | 85 | 89
1178.21/1178.65 c 1178s | 23 | 2465116 | 2295438 | 2668 2041 | 85 | 89
1180.31/1180.70 c 1180s | 23 | 2469063 | 2299138 | 2668 2043 | 85 | 89
1182.31/1182.73 c 1182s | 23 | 2473173 | 2302938 | 2668 2046 | 85 | 89
1184.31/1184.76 c 1184s | 23 | 2477055 | 2306638 | 2668 2048 | 85 | 89
1186.31/1186.79 c 1186s | 23 | 2481106 | 2310438 | 2668 2051 | 85 | 89
1188.41/1188.83 c 1188s | 23 | 2484798 | 2313838 | 2668 2053 | 85 | 89
1190.41/1190.85 c 1190s | 23 | 2488802 | 2317538 | 2668 2056 | 85 | 89
1192.40/1192.88 c 1192s | 23 | 2492544 | 2321138 | 2668 2058 | 85 | 89
1194.50/1194.93 c 1194s | 23 | 2496225 | 2324638 | 2668 2060 | 85 | 89
1196.51/1196.93 c 1196s | 23 | 2499871 | 2328138 | 2668 2063 | 85 | 89
1198.50/1198.96 c 1198s | 23 | 2503193 | 2331338 | 2668 2065 | 85 | 89
1200.60/1201.00 c 1200s | 23 | 2506676 | 2334638 | 2668 2067 | 85 | 89
1202.60/1203.04 c 1202s | 23 | 2510601 | 2338238 | 2668 2070 | 85 | 89
1204.60/1205.09 c 1204s | 23 | 2514515 | 2341938 | 2668 2072 | 85 | 89
1206.70/1207.11 c 1206s | 23 | 2518235 | 2345438 | 2668 2075 | 85 | 89
1208.70/1209.17 c 1208s | 23 | 2522126 | 2349038 | 2668 2077 | 85 | 89
1210.71/1211.19 c 1210s | 23 | 2525698 | 2352438 | 2668 2079 | 85 | 89
1212.80/1213.21 c 1212s | 23 | 2529955 | 2356138 | 2668 2082 | 85 | 89
1214.80/1215.24 c 1214s | 23 | 2534021 | 2359938 | 2668 2084 | 85 | 89
1216.80/1217.25 c 1216s | 23 | 2537875 | 2363638 | 2668 2087 | 85 | 89
1218.80/1219.29 c 1218s | 23 | 2541709 | 2367238 | 2668 2089 | 85 | 89
1220.90/1221.30 c 1220s | 23 | 2545337 | 2370738 | 2668 2092 | 85 | 89
1222.91/1223.34 c 1222s | 23 | 2548863 | 2374138 | 2668 2094 | 85 | 89
1224.90/1225.39 c 1225s | 23 | 2552502 | 2377638 | 2668 2096 | 85 | 89
1227.00/1227.43 c 1227s | 23 | 2555903 | 2380938 | 2668 2099 | 85 | 89
1229.00/1229.44 c 1229s | 23 | 2559310 | 2384238 | 2668 2101 | 85 | 89
1231.00/1231.44 c 1231s | 23 | 2563053 | 2387838 | 2668 2103 | 85 | 89
1233.00/1233.48 c 1233s | 23 | 2566640 | 2391238 | 2668 2106 | 85 | 89
1235.10/1235.53 c 1235s | 23 | 2569990 | 2394438 | 2668 2108 | 85 | 89
1237.11/1237.58 c 1237s | 23 | 2573116 | 2397438 | 2668 2110 | 85 | 89
1239.20/1239.63 c 1239s | 23 | 2576951 | 2400938 | 2668 2112 | 85 | 89
1241.20/1241.65 c 1241s | 23 | 2580310 | 2404038 | 2668 2114 | 85 | 89
1243.20/1243.68 c 1243s | 23 | 2583935 | 2407538 | 2668 2117 | 85 | 89
1245.30/1245.71 c 1245s | 23 | 2587594 | 2411038 | 2668 2119 | 85 | 89
1247.30/1247.71 c 1247s | 23 | 2591140 | 2414438 | 2668 2121 | 85 | 89
1249.30/1249.73 c 1249s | 23 | 2594607 | 2417738 | 2668 2124 | 85 | 89
1251.29/1251.76 c 1251s | 23 | 2598177 | 2421138 | 2668 2126 | 85 | 89
1253.39/1253.80 c 1253s | 23 | 2601845 | 2424538 | 2668 2128 | 85 | 89
1255.39/1255.83 c 1255s | 23 | 2605379 | 2427838 | 2668 2130 | 85 | 89
1257.39/1257.89 c 1257s | 23 | 2608730 | 2431038 | 2668 2133 | 85 | 89
1259.49/1259.94 c 1259s | 23 | 2612429 | 2434538 | 2668 2135 | 85 | 89
1261.50/1261.97 c 1261s | 23 | 2616512 | 2438338 | 2668 2137 | 85 | 89
1263.51/1264.00 c 1263s | 23 | 2620347 | 2441838 | 2668 2140 | 85 | 89
1265.60/1266.00 c 1265s | 23 | 2623818 | 2445138 | 2668 2142 | 85 | 89
1267.60/1268.03 c 1267s | 23 | 2627869 | 2448938 | 2668 2145 | 85 | 89
1269.60/1270.03 c 1269s | 23 | 2631670 | 2452538 | 2668 2147 | 85 | 89
1271.60/1272.05 c 1271s | 23 | 2635394 | 2456038 | 2668 2150 | 85 | 89
1273.60/1274.06 c 1273s | 23 | 2639058 | 2459538 | 2668 2152 | 85 | 89
1275.61/1276.06 c 1275s | 23 | 2642725 | 2462938 | 2668 2154 | 85 | 89
1277.60/1278.08 c 1277s | 23 | 2646404 | 2466438 | 2668 2157 | 85 | 89
1279.70/1280.14 c 1279s | 23 | 2650243 | 2470038 | 2668 2159 | 85 | 89
1281.70/1282.15 c 1281s | 23 | 2653899 | 2473438 | 2668 2161 | 85 | 89
1283.70/1284.15 c 1283s | 23 | 2657492 | 2476738 | 2668 2164 | 85 | 89
1285.70/1286.16 c 1285s | 23 | 2661182 | 2480238 | 2668 2166 | 85 | 89
1287.70/1288.17 c 1287s | 23 | 2665086 | 2483938 | 2668 2168 | 85 | 89
1289.80/1290.21 c 1289s | 23 | 2669465 | 2488138 | 2668 2171 | 85 | 89
1291.80/1292.21 c 1291s | 23 | 2673378 | 2491938 | 2668 2174 | 85 | 89
1293.80/1294.24 c 1293s | 23 | 2677544 | 2495938 | 2668 2177 | 85 | 89
1295.80/1296.29 c 1295s | 23 | 2681365 | 2499638 | 2668 2179 | 85 | 89
1297.90/1298.35 c 1297s | 23 | 2685130 | 2503138 | 2668 2181 | 85 | 89
1299.90/1300.38 c 1300s | 23 | 2688712 | 2506538 | 2668 2184 | 85 | 89
1302.00/1302.43 c 1302s | 23 | 2692354 | 2509938 | 2668 2186 | 85 | 89
1303.99/1304.46 c 1304s | 23 | 2695754 | 2513138 | 2668 2188 | 85 | 89
1306.09/1306.50 c 1306s | 23 | 2699356 | 2516438 | 2668 2190 | 85 | 89
1308.09/1308.52 c 1308s | 23 | 2703114 | 2519938 | 2668 2193 | 85 | 89
1310.09/1310.54 c 1310s | 23 | 2706975 | 2523538 | 2668 2195 | 85 | 89
1312.19/1312.62 c 1312s | 23 | 2710681 | 2526938 | 2668 2198 | 85 | 89
1314.20/1314.63 c 1314s | 23 | 2714608 | 2530538 | 2668 2200 | 85 | 89
1316.19/1316.66 c 1316s | 23 | 2718411 | 2534038 | 2668 2202 | 85 | 89
1318.29/1318.70 c 1318s | 23 | 2722005 | 2537438 | 2668 2205 | 85 | 89
1320.29/1320.74 c 1320s | 23 | 2725815 | 2540938 | 2668 2207 | 85 | 89
1322.29/1322.75 c 1322s | 23 | 2729552 | 2544238 | 2668 2209 | 85 | 89
1324.29/1324.75 c 1324s | 23 | 2733216 | 2547738 | 2668 2212 | 85 | 89
1326.29/1326.77 c 1326s | 23 | 2736768 | 2551138 | 2668 2214 | 85 | 89
1328.29/1328.80 c 1328s | 23 | 2740057 | 2554338 | 2668 2216 | 85 | 89
1330.39/1330.83 c 1330s | 23 | 2743477 | 2557538 | 2668 2218 | 85 | 89
1332.39/1332.85 c 1332s | 23 | 2747418 | 2561138 | 2668 2221 | 85 | 89
1334.39/1334.88 c 1334s | 23 | 2751254 | 2564638 | 2668 2223 | 85 | 89
1336.48/1336.91 c 1336s | 23 | 2755220 | 2568238 | 2668 2225 | 85 | 89
1338.48/1338.93 c 1338s | 23 | 2758827 | 2571538 | 2668 2228 | 85 | 89
1340.49/1340.98 c 1340s | 23 | 2762652 | 2575038 | 2668 2230 | 85 | 89
1342.58/1343.01 c 1342s | 23 | 2765965 | 2578138 | 2668 2232 | 85 | 89
1344.58/1345.03 c 1344s | 23 | 2769720 | 2581438 | 2668 2234 | 85 | 89
1346.58/1347.03 c 1346s | 23 | 2773462 | 2584838 | 2668 2237 | 85 | 89
1348.58/1349.04 c 1348s | 23 | 2777290 | 2588238 | 2668 2239 | 85 | 89
1350.68/1351.10 c 1350s | 23 | 2780938 | 2591538 | 2668 2241 | 85 | 89
1352.69/1353.11 c 1352s | 23 | 2784339 | 2594738 | 2668 2243 | 85 | 89
1354.68/1355.16 c 1354s | 23 | 2787900 | 2598138 | 2668 2246 | 85 | 89
1356.68/1357.16 c 1356s | 23 | 2791450 | 2601538 | 2668 2248 | 85 | 89
1358.68/1359.18 c 1358s | 23 | 2794997 | 2604838 | 2668 2250 | 85 | 89
1360.78/1361.23 c 1360s | 23 | 2799167 | 2608738 | 2668 2253 | 85 | 89
1362.78/1363.28 c 1362s | 23 | 2803149 | 2612438 | 2668 2255 | 85 | 89
1364.88/1365.31 c 1364s | 23 | 2807105 | 2616138 | 2668 2258 | 85 | 89
1366.89/1367.33 c 1366s | 23 | 2811162 | 2619738 | 2668 2260 | 85 | 89
1368.88/1369.34 c 1368s | 23 | 2815075 | 2623338 | 2668 2263 | 85 | 89
1370.88/1371.35 c 1370s | 23 | 2818788 | 2626838 | 2668 2265 | 85 | 89
1372.88/1373.36 c 1372s | 23 | 2822604 | 2630338 | 2668 2268 | 85 | 89
1374.88/1375.38 c 1374s | 23 | 2827096 | 2634438 | 2668 2270 | 85 | 89
1376.88/1377.38 c 1376s | 23 | 2831148 | 2638238 | 2668 2273 | 85 | 89
1378.98/1379.41 c 1379s | 23 | 2835058 | 2641938 | 2668 2276 | 85 | 89
1380.98/1381.42 c 1381s | 23 | 2838984 | 2645638 | 2668 2278 | 85 | 89
1382.98/1383.45 c 1383s | 23 | 2842792 | 2649238 | 2668 2280 | 85 | 89
1384.98/1385.49 c 1385s | 23 | 2846456 | 2652738 | 2668 2283 | 85 | 89
1387.08/1387.53 c 1387s | 23 | 2849974 | 2656038 | 2668 2285 | 85 | 89
1389.08/1389.54 c 1389s | 23 | 2853622 | 2659438 | 2668 2287 | 85 | 89
1391.08/1391.54 c 1391s | 23 | 2857133 | 2662738 | 2668 2290 | 85 | 89
1393.08/1393.55 c 1393s | 23 | 2860711 | 2666138 | 2668 2292 | 85 | 89
1395.07/1395.59 c 1395s | 23 | 2864042 | 2669338 | 2668 2294 | 85 | 89
1397.17/1397.66 c 1397s | 23 | 2867691 | 2672838 | 2668 2296 | 85 | 89
1399.17/1399.68 c 1399s | 23 | 2871211 | 2676238 | 2668 2299 | 85 | 89
1401.27/1401.75 c 1401s | 23 | 2874898 | 2679738 | 2668 2301 | 85 | 89
1403.28/1403.78 c 1403s | 23 | 2878480 | 2683138 | 2668 2303 | 85 | 89
1405.38/1405.82 c 1405s | 23 | 2882345 | 2686738 | 2668 2306 | 85 | 89
1407.37/1407.86 c 1407s | 23 | 2885710 | 2689938 | 2668 2308 | 85 | 89
1409.37/1409.88 c 1409s | 23 | 2888939 | 2693038 | 2668 2310 | 85 | 89
1411.47/1411.91 c 1411s | 23 | 2892757 | 2696538 | 2668 2312 | 85 | 89
1413.47/1413.95 c 1413s | 23 | 2896333 | 2699838 | 2668 2315 | 85 | 89
1415.47/1415.96 c 1415s | 23 | 2899822 | 2703038 | 2668 2317 | 85 | 89
1417.58/1418.01 c 1417s | 23 | 2903311 | 2706338 | 2668 2319 | 85 | 89
1419.57/1420.05 c 1419s | 23 | 2906570 | 2709438 | 2668 2321 | 85 | 89
1421.67/1422.11 c 1421s | 23 | 2909707 | 2712438 | 2668 2323 | 85 | 89
1423.67/1424.13 c 1423s | 23 | 2913631 | 2716138 | 2668 2326 | 85 | 89
1425.67/1426.14 c 1425s | 23 | 2917232 | 2719538 | 2668 2328 | 85 | 89
1427.67/1428.17 c 1427s | 23 | 2920681 | 2722838 | 2668 2330 | 85 | 89
1429.68/1430.18 c 1429s | 23 | 2924385 | 2726338 | 2668 2333 | 85 | 89
1431.67/1432.19 c 1431s | 23 | 2928214 | 2729838 | 2668 2335 | 85 | 89
1433.77/1434.21 c 1433s | 23 | 2931472 | 2732838 | 2668 2337 | 85 | 89
1435.77/1436.26 c 1435s | 23 | 2935041 | 2736138 | 2668 2339 | 85 | 89
1437.77/1438.29 c 1437s | 23 | 2938263 | 2739138 | 2668 2341 | 85 | 89
1439.87/1440.32 c 1439s | 23 | 2941619 | 2742338 | 2668 2344 | 85 | 89
1441.87/1442.35 c 1441s | 23 | 2944994 | 2745538 | 2668 2346 | 85 | 89
1443.87/1444.36 c 1443s | 23 | 2948550 | 2748938 | 2668 2348 | 85 | 89
1445.97/1446.41 c 1446s | 23 | 2952021 | 2752238 | 2668 2350 | 85 | 89
1447.97/1448.43 c 1448s | 23 | 2956019 | 2755938 | 2668 2353 | 85 | 89
1449.97/1450.46 c 1450s | 23 | 2959732 | 2759438 | 2668 2355 | 85 | 89
1451.97/1452.49 c 1452s | 23 | 2963216 | 2762738 | 2668 2357 | 85 | 89
1454.07/1454.54 c 1454s | 23 | 2966727 | 2766038 | 2668 2360 | 85 | 89
1456.07/1456.54 c 1456s | 23 | 2970043 | 2769138 | 2668 2362 | 85 | 89
1458.06/1458.55 c 1458s | 23 | 2973292 | 2772138 | 2668 2364 | 85 | 89
1460.16/1460.60 c 1460s | 23 | 2976545 | 2775238 | 2668 2366 | 85 | 89
1462.16/1462.62 c 1462s | 23 | 2979970 | 2778438 | 2668 2368 | 85 | 89
1464.16/1464.65 c 1464s | 23 | 2983024 | 2781338 | 2668 2370 | 85 | 89
1466.16/1466.69 c 1466s | 23 | 2986449 | 2784538 | 2668 2372 | 85 | 89
1468.26/1468.73 c 1468s | 23 | 2989577 | 2787538 | 2668 2374 | 85 | 89
1470.27/1470.78 c 1470s | 23 | 2992902 | 2790738 | 2668 2376 | 85 | 89
1472.36/1472.81 c 1472s | 23 | 2996555 | 2794138 | 2668 2379 | 85 | 89
1474.36/1474.84 c 1474s | 23 | 2999817 | 2797238 | 2668 2381 | 85 | 89
1476.36/1476.87 c 1476s | 23 | 3003916 | 2800938 | 2668 2383 | 85 | 89
1478.36/1478.88 c 1478s | 23 | 3007662 | 2804538 | 2668 2386 | 85 | 89
1480.46/1480.91 c 1480s | 23 | 3011465 | 2808138 | 2668 2388 | 85 | 89
1482.47/1482.93 c 1482s | 23 | 3015053 | 2811538 | 2668 2390 | 85 | 89
1484.46/1484.93 c 1484s | 23 | 3018503 | 2814838 | 2668 2392 | 85 | 89
1486.46/1486.98 c 1486s | 23 | 3022106 | 2818238 | 2668 2395 | 85 | 89
1488.46/1488.99 c 1488s | 23 | 3025563 | 2821438 | 2668 2397 | 85 | 89
1490.56/1491.03 c 1490s | 23 | 3029079 | 2824838 | 2668 2399 | 85 | 89
1492.56/1493.05 c 1492s | 23 | 3032427 | 2827938 | 2668 2401 | 85 | 89
1494.56/1495.09 c 1494s | 23 | 3035564 | 2830938 | 2668 2403 | 85 | 89
1496.66/1497.12 c 1496s | 23 | 3038889 | 2834138 | 2668 2406 | 85 | 89
1498.66/1499.13 c 1498s | 23 | 3043131 | 2838038 | 2668 2408 | 85 | 89
1500.66/1501.15 c 1500s | 23 | 3047397 | 2842138 | 2668 2411 | 85 | 89
1502.66/1503.18 c 1502s | 23 | 3051783 | 2846338 | 2668 2414 | 85 | 89
1504.77/1505.21 c 1504s | 23 | 3055657 | 2849938 | 2668 2416 | 85 | 89
1506.77/1507.24 c 1506s | 23 | 3059763 | 2853838 | 2668 2419 | 85 | 89
1508.77/1509.29 c 1508s | 23 | 3063491 | 2857438 | 2668 2421 | 85 | 89
1510.86/1511.30 c 1510s | 23 | 3066879 | 2860738 | 2668 2424 | 85 | 89
1512.86/1513.32 c 1512s | 23 | 3070413 | 2864138 | 2668 2426 | 85 | 89
1514.86/1515.35 c 1514s | 23 | 3074051 | 2867638 | 2668 2428 | 85 | 89
1516.86/1517.38 c 1516s | 23 | 3077545 | 2870938 | 2668 2430 | 85 | 89
1518.86/1519.39 c 1519s | 23 | 3081201 | 2874338 | 2668 2433 | 85 | 89
1520.87/1521.40 c 1521s | 23 | 3084591 | 2877538 | 2668 2435 | 85 | 89
1522.96/1523.41 c 1523s | 23 | 3087939 | 2880738 | 2668 2437 | 85 | 89
1524.96/1525.47 c 1525s | 23 | 3091627 | 2884238 | 2668 2439 | 85 | 89
1527.06/1527.50 c 1527s | 23 | 3095040 | 2887438 | 2668 2442 | 85 | 89
1529.06/1529.53 c 1529s | 23 | 3098280 | 2890538 | 2668 2444 | 85 | 89
1531.06/1531.54 c 1531s | 23 | 3101647 | 2893738 | 2668 2446 | 85 | 89
1533.07/1533.54 c 1533s | 23 | 3106073 | 2897838 | 2668 2449 | 85 | 89
1535.06/1535.59 c 1535s | 23 | 3109923 | 2901438 | 2668 2451 | 85 | 89
1537.16/1537.63 c 1537s | 23 | 3113522 | 2904838 | 2668 2453 | 85 | 89
1539.16/1539.64 c 1539s | 23 | 3116851 | 2908038 | 2668 2456 | 85 | 89
1541.16/1541.66 c 1541s | 23 | 3120237 | 2911238 | 2668 2458 | 85 | 89
1543.16/1543.69 c 1543s | 23 | 3123657 | 2914438 | 2668 2460 | 85 | 89
1545.26/1545.70 c 1545s | 23 | 3126696 | 2917338 | 2668 2462 | 85 | 89
1547.26/1547.75 c 1547s | 23 | 3130044 | 2920538 | 2668 2464 | 85 | 89
1549.36/1549.81 c 1549s | 23 | 3133159 | 2923438 | 2668 2466 | 85 | 89
1551.36/1551.84 c 1551s | 23 | 3136611 | 2926738 | 2668 2468 | 85 | 89
1553.35/1553.90 c 1553s | 23 | 3139794 | 2929738 | 2668 2470 | 85 | 89
1555.45/1555.95 c 1555s | 23 | 3142842 | 2932638 | 2668 2472 | 85 | 89
1557.45/1557.98 c 1557s | 23 | 3146363 | 2935938 | 2668 2474 | 85 | 89
1559.55/1560.04 c 1559s | 23 | 3149625 | 2939038 | 2668 2477 | 85 | 89
1561.56/1562.08 c 1561s | 23 | 3153497 | 2942738 | 2668 2479 | 85 | 89
1563.65/1564.12 c 1563s | 23 | 3157353 | 2946238 | 2668 2481 | 85 | 89
1565.65/1566.15 c 1565s | 23 | 3160925 | 2949538 | 2668 2484 | 85 | 89
1567.65/1568.17 c 1567s | 23 | 3164470 | 2952838 | 2668 2486 | 85 | 89
1569.65/1570.19 c 1569s | 23 | 3167997 | 2956138 | 2668 2488 | 85 | 89
1571.75/1572.20 c 1571s | 23 | 3171291 | 2959238 | 2668 2490 | 85 | 89
1573.76/1574.23 c 1573s | 23 | 3174866 | 2962438 | 2668 2492 | 85 | 89
1575.75/1576.27 c 1575s | 23 | 3178207 | 2965538 | 2668 2494 | 85 | 89
1577.75/1578.28 c 1577s | 23 | 3181834 | 2968938 | 2668 2497 | 85 | 89
1579.85/1580.34 c 1579s | 23 | 3185168 | 2972138 | 2668 2499 | 85 | 89
1581.85/1582.39 c 1582s | 23 | 3188931 | 2975638 | 2668 2501 | 85 | 89
1583.95/1584.41 c 1584s | 23 | 3192068 | 2978638 | 2668 2503 | 85 | 89
1585.95/1586.45 c 1586s | 23 | 3195286 | 2981738 | 2668 2505 | 85 | 89
1587.96/1588.49 c 1588s | 23 | 3199079 | 2985238 | 2668 2508 | 85 | 89
1590.05/1590.50 c 1590s | 23 | 3202812 | 2988738 | 2668 2510 | 85 | 89
1592.05/1592.53 c 1592s | 23 | 3206312 | 2991938 | 2668 2512 | 85 | 89
1594.05/1594.55 c 1594s | 23 | 3209611 | 2995038 | 2668 2514 | 85 | 89
1596.05/1596.56 c 1596s | 23 | 3213137 | 2998338 | 2668 2517 | 85 | 89
1598.05/1598.57 c 1598s | 23 | 3216377 | 3001438 | 2668 2519 | 85 | 89
1600.15/1600.63 c 1600s | 23 | 3219779 | 3004638 | 2668 2521 | 85 | 89
1602.15/1602.67 c 1602s | 23 | 3223197 | 3007838 | 2668 2523 | 85 | 89
1604.25/1604.72 c 1604s | 23 | 3227025 | 3011538 | 2668 2525 | 85 | 89
1606.25/1606.75 c 1606s | 23 | 3230699 | 3014938 | 2668 2528 | 85 | 89
1608.25/1608.76 c 1608s | 23 | 3234250 | 3018338 | 2668 2530 | 85 | 89
1610.35/1610.81 c 1610s | 23 | 3238527 | 3022338 | 2668 2533 | 85 | 89
1612.35/1612.82 c 1612s | 23 | 3242714 | 3026038 | 2668 2535 | 85 | 89
1614.35/1614.84 c 1614s | 23 | 3246556 | 3029538 | 2668 2538 | 85 | 89
1616.35/1616.85 c 1616s | 23 | 3250180 | 3032838 | 2668 2540 | 85 | 89
1618.34/1618.88 c 1618s | 23 | 3254011 | 3036338 | 2668 2542 | 85 | 89
1620.44/1620.92 c 1620s | 23 | 3257843 | 3039838 | 2668 2545 | 85 | 89
1622.44/1622.98 c 1622s | 23 | 3261477 | 3043238 | 2668 2547 | 85 | 89
1624.44/1624.98 c 1624s | 23 | 3265128 | 3046638 | 2668 2549 | 85 | 89
1626.55/1627.02 c 1626s | 23 | 3268934 | 3050138 | 2668 2552 | 85 | 89
1628.54/1629.03 c 1628s | 23 | 3272433 | 3053438 | 2668 2554 | 85 | 89
1630.54/1631.09 c 1630s | 23 | 3276482 | 3057138 | 2668 2556 | 85 | 89
1632.64/1633.11 c 1632s | 23 | 3280217 | 3060638 | 2668 2559 | 85 | 89
1634.64/1635.16 c 1634s | 23 | 3283852 | 3064038 | 2668 2561 | 85 | 89
1636.64/1637.18 c 1636s | 23 | 3287493 | 3067438 | 2668 2563 | 85 | 89
1638.65/1639.20 c 1638s | 23 | 3291231 | 3070938 | 2668 2566 | 85 | 89
1640.75/1641.25 c 1640s | 23 | 3295045 | 3074338 | 2668 2568 | 85 | 89
1642.74/1643.27 c 1642s | 23 | 3299117 | 3078038 | 2668 2571 | 85 | 89
1644.84/1645.33 c 1644s | 23 | 3302671 | 3081338 | 2668 2573 | 85 | 89
1646.84/1647.38 c 1646s | 23 | 3306339 | 3084738 | 2668 2575 | 85 | 89
1648.84/1649.38 c 1649s | 23 | 3310237 | 3088238 | 2668 2577 | 85 | 89
1650.94/1651.42 c 1651s | 23 | 3313928 | 3091638 | 2668 2580 | 85 | 89
1652.94/1653.48 c 1653s | 23 | 3317167 | 3094738 | 2668 2582 | 85 | 89
1654.94/1655.48 c 1655s | 23 | 3320636 | 3098038 | 2668 2584 | 85 | 89
1657.04/1657.51 c 1657s | 23 | 3324125 | 3101338 | 2668 2586 | 85 | 89
1659.04/1659.55 c 1659s | 23 | 3327652 | 3104738 | 2668 2589 | 85 | 89
1661.04/1661.57 c 1661s | 23 | 3331037 | 3107938 | 2668 2591 | 85 | 89
1663.14/1663.61 c 1663s | 23 | 3334423 | 3111038 | 2668 2593 | 85 | 89
1665.13/1665.64 c 1665s | 23 | 3338198 | 3114538 | 2668 2595 | 85 | 89
1667.14/1667.67 c 1667s | 23 | 3341710 | 3117738 | 2668 2597 | 85 | 89
1669.13/1669.70 c 1669s | 23 | 3345072 | 3120838 | 2668 2599 | 85 | 89
1671.23/1671.71 c 1671s | 23 | 3348376 | 3123938 | 2668 2602 | 85 | 89
1673.23/1673.72 c 1673s | 23 | 3351624 | 3127038 | 2668 2604 | 85 | 89
1675.23/1675.74 c 1675s | 23 | 3355254 | 3130238 | 2668 2606 | 85 | 89
1677.23/1677.76 c 1677s | 23 | 3358493 | 3133238 | 2668 2608 | 85 | 89
1679.24/1679.77 c 1679s | 23 | 3361806 | 3136338 | 2668 2610 | 85 | 89
1681.33/1681.82 c 1681s | 23 | 3365363 | 3139638 | 2668 2612 | 85 | 89
1683.33/1683.87 c 1683s | 23 | 3368697 | 3142838 | 2668 2614 | 85 | 89
1685.43/1685.93 c 1685s | 23 | 3372126 | 3146038 | 2668 2617 | 85 | 89
1687.43/1687.96 c 1687s | 23 | 3375705 | 3149538 | 2668 2619 | 85 | 89
1689.43/1689.99 c 1689s | 23 | 3379301 | 3152938 | 2668 2621 | 85 | 89
1691.53/1692.01 c 1691s | 23 | 3382757 | 3156238 | 2668 2623 | 85 | 89
1693.54/1694.04 c 1693s | 23 | 3386161 | 3159538 | 2668 2626 | 85 | 89
1695.53/1696.07 c 1695s | 23 | 3389918 | 3163038 | 2668 2628 | 85 | 89
1697.53/1698.09 c 1697s | 23 | 3393375 | 3166338 | 2668 2630 | 85 | 89
1699.63/1700.10 c 1699s | 23 | 3397458 | 3170238 | 2668 2633 | 85 | 89
1701.63/1702.13 c 1701s | 23 | 3401231 | 3173838 | 2668 2635 | 85 | 89
1703.63/1704.15 c 1703s | 23 | 3405277 | 3177538 | 2668 2638 | 85 | 89
1705.63/1706.18 c 1705s | 23 | 3409152 | 3181138 | 2668 2640 | 85 | 89
1707.63/1708.19 c 1707s | 23 | 3413181 | 3185038 | 2668 2643 | 85 | 89
1709.73/1710.20 c 1709s | 23 | 3416713 | 3188438 | 2668 2645 | 85 | 89
1711.73/1712.23 c 1711s | 23 | 3420177 | 3191738 | 2668 2647 | 85 | 89
1713.72/1714.29 c 1713s | 23 | 3423766 | 3195138 | 2668 2650 | 85 | 89
1715.82/1716.33 c 1715s | 23 | 3427217 | 3198438 | 2668 2652 | 85 | 89
1717.83/1718.35 c 1717s | 23 | 3430620 | 3201738 | 2668 2654 | 85 | 89
1719.82/1720.38 c 1720s | 23 | 3434163 | 3205138 | 2668 2657 | 85 | 89
1721.92/1722.42 c 1722s | 23 | 3437793 | 3208638 | 2668 2659 | 85 | 89
1723.92/1724.48 c 1724s | 23 | 3441147 | 3211838 | 2668 2661 | 85 | 89
1726.02/1726.50 c 1726s | 23 | 3444465 | 3215038 | 2668 2663 | 85 | 89
1728.02/1728.53 c 1728s | 23 | 3447808 | 3218238 | 2668 2665 | 85 | 89
1730.02/1730.54 c 1730s | 23 | 3451061 | 3221338 | 2668 2668 | 85 | 89
1732.03/1732.56 c 1732s | 23 | 3454087 | 3224238 | 2668 2669 | 85 | 89
1734.13/1734.63 c 1734s | 23 | 3457381 | 3227338 | 2668 2672 | 85 | 89
1736.13/1736.65 c 1736s | 23 | 3461067 | 3230838 | 2668 2674 | 85 | 89
1738.13/1738.69 c 1738s | 23 | 3464971 | 3234638 | 2668 2676 | 85 | 89
1740.23/1740.73 c 1740s | 23 | 3468914 | 3238338 | 2668 2679 | 85 | 89
1742.23/1742.74 c 1742s | 23 | 3472364 | 3241638 | 2668 2681 | 85 | 89
1744.33/1744.81 c 1744s | 23 | 3475923 | 3245038 | 2668 2683 | 85 | 89
1746.33/1746.85 c 1746s | 23 | 3479263 | 3248238 | 2668 2686 | 85 | 89
1748.33/1748.89 c 1748s | 23 | 3483024 | 3251838 | 2668 2688 | 85 | 89
1750.43/1750.92 c 1750s | 23 | 3486898 | 3255638 | 2668 2691 | 85 | 89
1752.43/1752.93 c 1752s | 23 | 3490710 | 3259338 | 2668 2693 | 85 | 89
1754.43/1754.99 c 1754s | 23 | 3494529 | 3263038 | 2668 2696 | 85 | 89
1756.43/1756.99 c 1756s | 23 | 3498754 | 3267038 | 2668 2698 | 85 | 89
1758.53/1759.02 c 1758s | 23 | 3502315 | 3270438 | 2668 2701 | 85 | 89
1760.53/1761.09 c 1760s | 23 | 3505987 | 3273938 | 2668 2703 | 85 | 89
1762.53/1763.10 c 1762s | 23 | 3509558 | 3277338 | 2668 2705 | 85 | 89
1764.62/1765.14 c 1764s | 23 | 3512991 | 3280638 | 2668 2708 | 85 | 89
1766.62/1767.18 c 1766s | 23 | 3516802 | 3284238 | 2668 2710 | 85 | 89
1768.72/1769.23 c 1768s | 23 | 3520197 | 3287438 | 2668 2712 | 85 | 89
1770.72/1771.27 c 1770s | 23 | 3523292 | 3290438 | 2668 2714 | 85 | 89
1772.83/1773.30 c 1772s | 23 | 3526639 | 3293638 | 2668 2716 | 85 | 89
1774.82/1775.36 c 1774s | 23 | 3529924 | 3296838 | 2668 2719 | 85 | 89
1776.92/1777.40 c 1777s | 23 | 3533482 | 3300238 | 2668 2721 | 85 | 89
1778.92/1779.42 c 1779s | 23 | 3537148 | 3303738 | 2668 2723 | 85 | 89
1780.92/1781.49 c 1781s | 23 | 3540864 | 3307238 | 2668 2726 | 85 | 89
1783.02/1783.54 c 1783s | 23 | 3544648 | 3310738 | 2668 2728 | 85 | 89
1785.12/1785.60 c 1785s | 23 | 3548177 | 3314138 | 2668 2730 | 85 | 89
1787.13/1787.61 c 1787s | 23 | 3551642 | 3317438 | 2668 2733 | 85 | 89
1789.12/1789.65 c 1789s | 23 | 3554952 | 3320638 | 2668 2735 | 85 | 89
1791.12/1791.68 c 1791s | 23 | 3558387 | 3323938 | 2668 2737 | 85 | 89
1793.22/1793.73 c 1793s | 23 | 3561656 | 3327038 | 2668 2739 | 85 | 89
1795.22/1795.77 c 1795s | 23 | 3565108 | 3330238 | 2668 2741 | 85 | 89
1797.32/1797.82 c 1797s | 23 | 3568814 | 3333838 | 2668 2744 | 85 | 89
1799.32/1799.84 c 1799s | 23 | 3572497 | 3337338 | 2668 2746 | 85 | 89
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-4118178-1467223593/watcher-4118178-1467223593 -o /tmp/evaluation-result-4118178-1467223593/solver-4118178-1467223593 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467209132-3987 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4118178-1467223593.opb
pid=5536
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.24 2.26 2.19 3/179 5539
/proc/meminfo: memFree=23484964/32872528 swapFree=1253612/1390560
[pid=5539] ppid=5536 vsize=782780 CPUtime=0 cores=0,2,4,6
/proc/5539/stat : 5539 (toysat) R 5536 5539 3971 0 -1 4202496 2926 0 0 0 0 0 0 0 20 0 4 0 3320099 801566720 3799 33554432000 4194304 16246674 140735563463248 140735563462672 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5539/statm: 196463 3809 441 2943 0 193357 0
[pid=5539/tid=5540] ppid=5536 vsize=801212 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5540/stat : 5540 (toysat) S 5536 5539 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3320100 820441088 3871 33554432000 4194304 16246674 140735563463248 140015021567216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5539/tid=5541] ppid=5536 vsize=805308 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5541/stat : 5541 (toysat) S 5536 5539 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3320100 824635392 3888 33554432000 4194304 16246674 140735563463248 140015011077360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5539/tid=5542] ppid=5536 vsize=809404 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 828829696 3905 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[startup+0.100165 s]
/proc/loadavg: 2.24 2.26 2.19 3/179 5539
/proc/meminfo: memFree=23484964/32872528 swapFree=1253612/1390560
[pid=5539] ppid=5536 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/5539/stat : 5539 (toysat) R 5536 5539 3971 0 -1 4202496 22758 0 0 0 6 3 0 0 20 0 4 0 3320099 1247350784 23618 33554432000 4194304 16246674 140735563463248 140735563446240 5587781 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5539/statm: 304529 23629 784 2943 0 301423 0
[pid=5539/tid=5540] ppid=5536 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5540/stat : 5540 (toysat) S 5536 5539 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3320100 1247350784 23635 33554432000 4194304 16246674 140735563463248 140015021567216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5539/tid=5541] ppid=5536 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5541/stat : 5541 (toysat) S 5536 5539 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3320100 1247350784 23644 33554432000 4194304 16246674 140735563463248 140015011077360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5539/tid=5542] ppid=5536 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 1247350784 23654 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116
[startup+0.200475 s]
/proc/loadavg: 2.24 2.26 2.19 3/179 5539
/proc/meminfo: memFree=23484964/32872528 swapFree=1253612/1390560
[pid=5539] ppid=5536 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/5539/stat : 5539 (toysat) R 5536 5539 3971 0 -1 4202496 42134 0 0 0 14 5 0 0 20 0 4 0 3320099 1247350784 42993 33554432000 4194304 16246674 140735563463248 140735563446240 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5539/statm: 304529 42998 784 2943 0 301423 0
[pid=5539/tid=5540] ppid=5536 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5540/stat : 5540 (toysat) S 5536 5539 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3320100 1247350784 43001 33554432000 4194304 16246674 140735563463248 140015021567216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5539/tid=5541] ppid=5536 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5541/stat : 5541 (toysat) S 5536 5539 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3320100 1247350784 43003 33554432000 4194304 16246674 140735563463248 140015011077360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5539/tid=5542] ppid=5536 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 1247350784 43005 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116
[startup+0.300471 s]
/proc/loadavg: 2.24 2.26 2.19 3/179 5539
/proc/meminfo: memFree=23484964/32872528 swapFree=1253612/1390560
[pid=5539] ppid=5536 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/5539/stat : 5539 (toysat) R 5536 5539 3971 0 -1 4202496 61584 0 0 0 21 8 0 0 20 0 4 0 3320099 1247350784 62444 33554432000 4194304 16246674 140735563463248 140735563446240 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5539/statm: 304529 62451 786 2943 0 301423 0
[pid=5539/tid=5540] ppid=5536 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5540/stat : 5540 (toysat) S 5536 5539 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3320100 1247350784 62455 33554432000 4194304 16246674 140735563463248 140015021567216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5539/tid=5541] ppid=5536 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5541/stat : 5541 (toysat) S 5536 5539 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3320100 1247350784 62460 33554432000 4194304 16246674 140735563463248 140015011077360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5539/tid=5542] ppid=5536 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 1247350784 62465 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116
[startup+0.700291 s]
/proc/loadavg: 2.24 2.26 2.19 3/179 5539
/proc/meminfo: memFree=23484964/32872528 swapFree=1253612/1390560
[pid=5539] ppid=5536 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/5539/stat : 5539 (toysat) R 5536 5539 3971 0 -1 4202496 154305 0 0 0 47 22 0 0 20 0 4 0 3320099 1247350784 155164 33554432000 4194304 16246674 140735563463248 140735563445120 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5539/statm: 304529 155177 788 2943 0 301423 0
[pid=5539/tid=5540] ppid=5536 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5540/stat : 5540 (toysat) S 5536 5539 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3320100 1247350784 155187 33554432000 4194304 16246674 140735563463248 140015021567216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5539/tid=5541] ppid=5536 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5541/stat : 5541 (toysat) S 5536 5539 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3320100 1247350784 155197 33554432000 4194304 16246674 140735563463248 140015011077360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5539/tid=5542] ppid=5536 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 1247350784 155206 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116
[startup+1.50041 s]
/proc/loadavg: 2.22 2.25 2.19 3/183 5543
/proc/meminfo: memFree=22499004/32872528 swapFree=1253612/1390560
[pid=5539] ppid=5536 vsize=1220164 CPUtime=1.49 cores=0,2,4,6
/proc/5539/stat : 5539 (toysat) R 5536 5539 3971 0 -1 4202496 245987 0 0 0 114 35 0 0 20 0 4 0 3320099 1249447936 246824 33554432000 4194304 16246674 140735563463248 140735563462560 5545721 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5539/statm: 305041 246824 847 2943 0 301935 0
[pid=5539/tid=5540] ppid=5536 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5540/stat : 5540 (toysat) S 5536 5539 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3320100 1249447936 246824 33554432000 4194304 16246674 140735563463248 140015021567216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5539/tid=5541] ppid=5536 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5541/stat : 5541 (toysat) S 5536 5539 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3320100 1249447936 246824 33554432000 4194304 16246674 140735563463248 140015011077360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5539/tid=5542] ppid=5536 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 1249447936 246824 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164
[startup+3.10041 s]
/proc/loadavg: 2.22 2.25 2.19 3/183 5592
/proc/meminfo: memFree=23279556/32872528 swapFree=1253612/1390560
[pid=5539] ppid=5536 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/5539/stat : 5539 (toysat) R 5536 5539 3971 0 -1 4202496 267454 0 0 0 272 37 0 0 20 0 4 0 3320099 1337528320 268291 33554432000 4194304 16246674 140735563463248 140735563445120 6021608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5539/statm: 326545 268291 848 2943 0 323439 0
[pid=5539/tid=5540] ppid=5536 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5540/stat : 5540 (toysat) S 5536 5539 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3320100 1337528320 268291 33554432000 4194304 16246674 140735563463248 140015021567216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5539/tid=5541] ppid=5536 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5541/stat : 5541 (toysat) S 5536 5539 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3320100 1337528320 268291 33554432000 4194304 16246674 140735563463248 140015011077360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5539/tid=5542] ppid=5536 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 1337528320 268291 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180
[startup+6.30041 s]
/proc/loadavg: 2.22 2.25 2.19 3/183 5592
/proc/meminfo: memFree=22427932/32872528 swapFree=1253612/1390560
[pid=5539] ppid=5536 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/5539/stat : 5539 (toysat) R 5536 5539 3971 0 -1 4202496 267672 0 0 0 592 37 0 0 20 0 4 0 3320099 1338576896 268509 33554432000 4194304 16246674 140735563463248 140735563445120 5722908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5539/statm: 326801 268509 848 2943 0 323695 0
[pid=5539/tid=5540] ppid=5536 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5540/stat : 5540 (toysat) S 5536 5539 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3320100 1338576896 268509 33554432000 4194304 16246674 140735563463248 140015021567216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5539/tid=5541] ppid=5536 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5541/stat : 5541 (toysat) S 5536 5539 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3320100 1338576896 268509 33554432000 4194304 16246674 140735563463248 140015011077360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5539/tid=5542] ppid=5536 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 1338576896 268509 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204
[startup+12.7004 s]
/proc/loadavg: 2.18 2.24 2.19 4/183 5592
/proc/meminfo: memFree=22428128/32872528 swapFree=1253612/1390560
[pid=5539] ppid=5536 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/5539/stat : 5539 (toysat) R 5536 5539 3971 0 -1 4202496 267677 0 0 0 1232 37 0 0 20 0 4 0 3320099 1338576896 268514 33554432000 4194304 16246674 140735563463248 140735563445120 5754966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5539/statm: 326801 268514 848 2943 0 323695 0
[pid=5539/tid=5540] ppid=5536 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5540/stat : 5540 (toysat) S 5536 5539 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3320100 1338576896 268514 33554432000 4194304 16246674 140735563463248 140015021567216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5539/tid=5541] ppid=5536 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5541/stat : 5541 (toysat) S 5536 5539 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3320100 1338576896 268514 33554432000 4194304 16246674 140735563463248 140015011077360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5539/tid=5542] ppid=5536 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 1338576896 268514 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204
[startup+25.5005 s]
/proc/loadavg: 2.31 2.27 2.20 3/183 5592
/proc/meminfo: memFree=22427924/32872528 swapFree=1253612/1390560
[pid=5539] ppid=5536 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/5539/stat : 5539 (toysat) R 5536 5539 3971 0 -1 4202496 267786 0 0 0 2511 38 0 0 20 0 4 0 3320099 1338576896 268623 33554432000 4194304 16246674 140735563463248 140735563445120 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5539/statm: 326801 268623 848 2943 0 323695 0
[pid=5539/tid=5540] ppid=5536 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5540/stat : 5540 (toysat) S 5536 5539 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3320100 1338576896 268623 33554432000 4194304 16246674 140735563463248 140015021567216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5539/tid=5541] ppid=5536 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5541/stat : 5541 (toysat) S 5536 5539 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3320100 1338576896 268623 33554432000 4194304 16246674 140735563463248 140015011077360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5539/tid=5542] ppid=5536 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 1338576896 268623 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204
[startup+51.1004 s]
/proc/loadavg: 2.28 2.26 2.20 3/183 5592
/proc/meminfo: memFree=22426016/32872528 swapFree=1253612/1390560
[pid=5539] ppid=5536 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/5539/stat : 5539 (toysat) R 5536 5539 3971 0 -1 4202496 267820 0 0 0 5070 38 0 0 20 0 4 0 3320099 1338576896 268647 33554432000 4194304 16246674 140735563463248 140735563445120 13193662 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5539/statm: 326801 268647 848 2943 0 323695 0
[pid=5539/tid=5540] ppid=5536 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5540/stat : 5540 (toysat) S 5536 5539 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3320100 1338576896 268647 33554432000 4194304 16246674 140735563463248 140015021567216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5539/tid=5541] ppid=5536 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5541/stat : 5541 (toysat) S 5536 5539 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3320100 1338576896 268647 33554432000 4194304 16246674 140735563463248 140015011077360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5539/tid=5542] ppid=5536 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 1338576896 268647 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204
[startup+102.3 s]
/proc/loadavg: 2.25 2.26 2.20 4/183 5593
/proc/meminfo: memFree=22422964/32872528 swapFree=1253612/1390560
[pid=5539] ppid=5536 vsize=1309252 CPUtime=102.27 cores=0,2,4,6
/proc/5539/stat : 5539 (toysat) R 5536 5539 3971 0 -1 4202496 268438 0 0 0 10188 39 0 0 20 0 4 0 3320099 1340674048 269242 33554432000 4194304 16246674 140735563463248 140735563445120 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5539/statm: 327313 269242 850 2943 0 324207 0
[pid=5539/tid=5540] ppid=5536 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5540/stat : 5540 (toysat) S 5536 5539 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3320100 1340674048 269242 33554432000 4194304 16246674 140735563463248 140015021567216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5539/tid=5541] ppid=5536 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5541/stat : 5541 (toysat) S 5536 5539 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3320100 1340674048 269242 33554432000 4194304 16246674 140735563463248 140015011077360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5539/tid=5542] ppid=5536 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 1340674048 269242 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1309252
################
# More data... #
################
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269577 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1311300
[startup+1362.3 s]
/proc/loadavg: 2.35 2.27 2.21 3/183 5674
/proc/meminfo: memFree=22410876/32872528 swapFree=1253612/1390560
[pid=5539] ppid=5536 vsize=1311300 CPUtime=1361.88 cores=0,2,4,6
/proc/5539/stat : 5539 (toysat) R 5536 5539 3971 0 -1 4202496 269117 0 0 0 136141 47 0 0 20 0 4 0 3320099 1342771200 269577 33554432000 4194304 16246674 140735563463248 140735563462424 5673454 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5539/statm: 327825 269577 852 2943 0 324719 0
[pid=5539/tid=5540] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5540/stat : 5540 (toysat) S 5536 5539 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269577 33554432000 4194304 16246674 140735563463248 140015021567216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5539/tid=5541] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5541/stat : 5541 (toysat) S 5536 5539 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269577 33554432000 4194304 16246674 140735563463248 140015011077360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5539/tid=5542] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269577 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1311300
[startup+1422.3 s]
/proc/loadavg: 2.38 2.29 2.22 4/184 5678
/proc/meminfo: memFree=22410640/32872528 swapFree=1253612/1390560
[pid=5539] ppid=5536 vsize=1311300 CPUtime=1421.88 cores=0,2,4,6
/proc/5539/stat : 5539 (toysat) R 5536 5539 3971 0 -1 4202496 269117 0 0 0 142141 47 0 0 20 0 4 0 3320099 1342771200 269577 33554432000 4194304 16246674 140735563463248 140735563445120 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5539/statm: 327825 269577 852 2943 0 324719 0
[pid=5539/tid=5540] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5540/stat : 5540 (toysat) S 5536 5539 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269577 33554432000 4194304 16246674 140735563463248 140015021567216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5539/tid=5541] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5541/stat : 5541 (toysat) S 5536 5539 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269577 33554432000 4194304 16246674 140735563463248 140015011077360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5539/tid=5542] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269577 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1311300
[startup+1482.3 s]
/proc/loadavg: 2.19 2.25 2.20 3/183 5679
/proc/meminfo: memFree=22410444/32872528 swapFree=1253612/1390560
[pid=5539] ppid=5536 vsize=1311300 CPUtime=1481.86 cores=0,2,4,6
/proc/5539/stat : 5539 (toysat) R 5536 5539 3971 0 -1 4202496 269144 0 0 0 148139 47 0 0 20 0 4 0 3320099 1342771200 269604 33554432000 4194304 16246674 140735563463248 140735563446248 5721677 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5539/statm: 327825 269604 852 2943 0 324719 0
[pid=5539/tid=5540] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5540/stat : 5540 (toysat) S 5536 5539 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140015021567216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5539/tid=5541] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5541/stat : 5541 (toysat) S 5536 5539 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140015011077360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5539/tid=5542] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1311300
[startup+1542.31 s]
/proc/loadavg: 2.11 2.22 2.19 3/183 5680
/proc/meminfo: memFree=22410240/32872528 swapFree=1253612/1390560
[pid=5539] ppid=5536 vsize=1311300 CPUtime=1541.86 cores=0,2,4,6
/proc/5539/stat : 5539 (toysat) R 5536 5539 3971 0 -1 4202496 269144 0 0 0 154138 48 0 0 20 0 4 0 3320099 1342771200 269604 33554432000 4194304 16246674 140735563463248 140735563445120 13950222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5539/statm: 327825 269604 852 2943 0 324719 0
[pid=5539/tid=5540] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5540/stat : 5540 (toysat) S 5536 5539 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140015021567216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5539/tid=5541] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5541/stat : 5541 (toysat) S 5536 5539 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140015011077360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5539/tid=5542] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1311300
[startup+1602.3 s]
/proc/loadavg: 2.21 2.23 2.20 3/183 5681
/proc/meminfo: memFree=22410468/32872528 swapFree=1253612/1390560
[pid=5539] ppid=5536 vsize=1311300 CPUtime=1601.85 cores=0,2,4,6
/proc/5539/stat : 5539 (toysat) R 5536 5539 3971 0 -1 4202496 269144 0 0 0 160137 48 0 0 20 0 4 0 3320099 1342771200 269604 33554432000 4194304 16246674 140735563463248 140735563446248 5667672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5539/statm: 327825 269604 852 2943 0 324719 0
[pid=5539/tid=5540] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5540/stat : 5540 (toysat) S 5536 5539 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140015021567216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5539/tid=5541] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5541/stat : 5541 (toysat) S 5536 5539 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140015011077360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5539/tid=5542] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1311300
[startup+1662.3 s]
/proc/loadavg: 2.17 2.22 2.19 3/183 5683
/proc/meminfo: memFree=22410716/32872528 swapFree=1253612/1390560
[pid=5539] ppid=5536 vsize=1311300 CPUtime=1661.84 cores=0,2,4,6
/proc/5539/stat : 5539 (toysat) R 5536 5539 3971 0 -1 4202496 269144 0 0 0 166136 48 0 0 20 0 4 0 3320099 1342771200 269604 33554432000 4194304 16246674 140735563463248 140735563445120 5589288 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5539/statm: 327825 269604 852 2943 0 324719 0
[pid=5539/tid=5540] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5540/stat : 5540 (toysat) S 5536 5539 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140015021567216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5539/tid=5541] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5541/stat : 5541 (toysat) S 5536 5539 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140015011077360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5539/tid=5542] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1311300
[startup+1722.3 s]
/proc/loadavg: 2.21 2.22 2.19 3/183 5684
/proc/meminfo: memFree=22410592/32872528 swapFree=1253612/1390560
[pid=5539] ppid=5536 vsize=1311300 CPUtime=1721.82 cores=0,2,4,6
/proc/5539/stat : 5539 (toysat) R 5536 5539 3971 0 -1 4202496 269144 0 0 0 172134 48 0 0 20 0 4 0 3320099 1342771200 269604 33554432000 4194304 16246674 140735563463248 140735563445120 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5539/statm: 327825 269604 852 2943 0 324719 0
[pid=5539/tid=5540] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5540/stat : 5540 (toysat) S 5536 5539 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140015021567216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5539/tid=5541] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5541/stat : 5541 (toysat) S 5536 5539 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140015011077360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5539/tid=5542] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1311300
[startup+1782.3 s]
/proc/loadavg: 2.24 2.22 2.19 3/183 5685
/proc/meminfo: memFree=22410240/32872528 swapFree=1253612/1390560
[pid=5539] ppid=5536 vsize=1311300 CPUtime=1781.82 cores=0,2,4,6
/proc/5539/stat : 5539 (toysat) R 5536 5539 3971 0 -1 4202496 269144 0 0 0 178133 49 0 0 20 0 4 0 3320099 1342771200 269604 33554432000 4194304 16246674 140735563463248 140735563445120 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5539/statm: 327825 269604 852 2943 0 324719 0
[pid=5539/tid=5540] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5540/stat : 5540 (toysat) S 5536 5539 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140015021567216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5539/tid=5541] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5541/stat : 5541 (toysat) S 5536 5539 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140015011077360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5539/tid=5542] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1311300
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 5685
/proc/meminfo: memFree=22410360/32872528 swapFree=1253612/1390560
[pid=5539] ppid=5536 vsize=1311300 CPUtime=1800.02 cores=0,2,4,6
/proc/5539/stat : 5539 (toysat) R 5536 5539 3971 0 -1 4202496 269144 0 0 0 179953 49 0 0 20 0 4 0 3320099 1342771200 269604 33554432000 4194304 16246674 140735563463248 140735563445120 5545788 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5539/statm: 327825 269604 852 2943 0 324719 0
[pid=5539/tid=5540] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5540/stat : 5540 (toysat) S 5536 5539 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140015021567216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5539/tid=5541] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5541/stat : 5541 (toysat) S 5536 5539 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140015011077360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5539/tid=5542] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1311300
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 5539 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 5685
/proc/meminfo: memFree=22410360/32872528 swapFree=1253612/1390560
[pid=5539] ppid=5536 vsize=1311300 CPUtime=1800.02 cores=0,2,4,6
/proc/5539/stat : 5539 (toysat) R 5536 5539 3971 0 -1 4202496 269144 0 0 0 179953 49 0 0 20 0 4 0 3320099 1342771200 269604 33554432000 4194304 16246674 140735563463248 140735563445120 5545788 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5539/statm: 327825 269604 852 2943 0 324719 0
[pid=5539/tid=5540] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5540/stat : 5540 (toysat) S 5536 5539 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140015021567216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5539/tid=5541] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5541/stat : 5541 (toysat) S 5536 5539 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140015011077360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5539/tid=5542] ppid=5536 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5539/task/5542/stat : 5542 (toysat) S 5536 5539 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3320100 1342771200 269604 33554432000 4194304 16246674 140735563463248 140014927211696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1311300
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.54
CPU system time (s): 0.492925
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 1311300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.492925
maximum resident set size= 1078416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269144
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= 390
involuntary context switches= 2328
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.553 second user time and 9.68653 second system time
The end