0.00/0.00 c 2016-06-06T19:33:08+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-4079645-1465234387.opb"]
0.00/0.01 c use --random-gen="2117702141 4147016283 591149606 1553703769 699131066 800583435 470951957 3033626061 537546880 1145180570 1724384385 1348611529 2913360014 3019474404 2138798072 1921211937 3193091724 3743627966 309402420 249011654 471876016 3634632024 1459194270 3120712851 3013712623 2672480851 2607685771 981166106 4129271922 66196991 3868053456 2339693690 412672837 31788656 3681498252 296407067 2181041427 3210383401 3470540671 3553053744 321705291 4276087521 1169135729 1603099414 3806048116 2143066069 1712949789 3654376952 4194267568 1206588734 759850765 709013679 733886784 2411728342 2698514997 3180410412 2895320772 77588702 799231515 1261186025 3108317905 3724680558 3597836302 1692439687 4145259549 60895500 2812531970 517409105 4177609617 2049644579 456938247 285124610 1368358879 581306743 2201246462 2772912588 2553090543 2412839197 4253168522 3142512520 2994684323 2588114837 1112952046 1499980203 1177234427 3308809248 2589939468 1881603971 2402193459 2270475138 3156873227 2265033990 1527682884 1051905040 2232366861 2466131294 972694229 3407242795 3239201927 1562247087 1584240183 3390056949 1408060839 4001936374 180072447 3187761552 2488700898 3668340538 2552037476 3670686191 415812559 2684371678 2804083885 3221849468 3296028911 107172146 244871788 1899134731 789762532 2077050831 640077172 3826465747 2643607636 2634199212 415316457 2973322015 3146538773 3799508007 1205030352 3317782482 1362785483 4059043059 3854096119 646361918 3102528930 2780382149 3258863537 2518722359 3943186584 3607146434 447259 78906507 230324281 1623476699 2806386963 1107795651 2863794906 2837157477 3206589978 4042212270 2591311990 3540758140 577644031 798350588 566034114 1608628353 3137206309 1295684410 2192973641 2205949182 569783571 28186106 827066742 866860712 2060214151 3965283464 782095432 4246256323 3881565223 209035968 1957192058 2151363710 3192505632 2405282786 3044504624 4142724869 827899134 3646020719 1279274860 1772219938 1987430158 4155656527 48929114 3886099585 1969876728 4064415609 4243878944 3428249475 3479968771 194901066 447077071 4114852356 2582630073 1755371481 2549330495 532046814 1458852114 3579395232 1304973659 2015163699 3506222759 3607583454 4163289735 4015590657 750357588 2568508615 971625320 1021351877 2410885541 3441189677 2728586765 3613174091 3954852539 2565505462 2038573795 736173052 195540502 1512123102 2662414079 2147549396 2117192582 829785763 3326711899 1658678777 1325289266 2308071380 3834371227 822600265 563650014 3710371842 3473277143 3312735400 1597259930 3140368658 3238807083 1118003007 1711939886 1715240943 4196809942 2392260172 1954460498 1841054818 2219154561 827967435 2374090590 3529130842 4038126500 3682983402 1184472233 1474043241 846497948 3488283925 3879906156 2497041280 1619897187 287017674 255 362436" option to reproduce the execution
0.00/0.01 c #vars 411
0.00/0.01 c #constraints 477
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 | 295 0 | 1 | 0
0.00/0.02 c 0.0s | 0 | 285 | 0 | 295 0 | 1 | 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 = 285
0.00/0.02 c #random_decision = 1
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 o 593
0.00/0.02 c BCD2: updating upper bound: 1129 -> 860
0.00/0.02 c BCD2: 0 <= obj <= 860
0.00/0.02 c BCD2: #cores=0, #unrelaxed=411, #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 | 295 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 48 | 0 | 295 0 | 1 | 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 = 48
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 5: cost of the new core is >=1
0.00/0.03 c lower bound updated to -267
0.00/0.03 c BCD2: 1 <= obj <= 860
0.00/0.03 c BCD2: #cores=1, #unrelaxed=406, #relaxed=5, #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 | 295 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 50 | 0 | 295 0 | 1 | 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 = 50
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 5: cost of the new core is >=1
0.00/0.03 c lower bound updated to -266
0.00/0.03 c BCD2: 2 <= obj <= 860
0.00/0.03 c BCD2: #cores=2, #unrelaxed=401, #relaxed=10, #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 | 295 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 53 | 0 | 295 0 | 1 | 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 = 53
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.03 c lower bound updated to -265
0.00/0.03 c BCD2: 3 <= obj <= 860
0.00/0.03 c BCD2: #cores=3, #unrelaxed=398, #relaxed=13, #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 | 295 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 53 | 0 | 295 0 | 1 | 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 = 53
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.03 c lower bound updated to -264
0.00/0.03 c BCD2: 4 <= obj <= 860
0.00/0.03 c BCD2: #cores=4, #unrelaxed=395, #relaxed=16, #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 | 295 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 62 | 0 | 295 0 | 1 | 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 = 62
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 4: cost of the new core is >=1
0.00/0.03 c lower bound updated to -263
0.00/0.03 c BCD2: 5 <= obj <= 860
0.00/0.03 c BCD2: #cores=5, #unrelaxed=391, #relaxed=20, #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 | 295 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 60 | 0 | 295 0 | 1 | 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 = 60
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 5: cost of the new core is >=1
0.00/0.03 c lower bound updated to -262
0.00/0.03 c BCD2: 6 <= obj <= 860
0.00/0.03 c BCD2: #cores=6, #unrelaxed=386, #relaxed=25, #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 | 295 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 63 | 0 | 295 0 | 1 | 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 = 63
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 6: cost of the new core is >=1
0.00/0.03 c lower bound updated to -261
0.00/0.03 c BCD2: 7 <= obj <= 860
0.00/0.03 c BCD2: #cores=7, #unrelaxed=380, #relaxed=31, #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 | 295 0 | 1 | 0
0.00/0.03 c 0.0s | 0 | 65 | 0 | 295 0 | 1 | 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 = 65
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.03 c lower bound updated to -260
0.00/0.04 c BCD2: 8 <= obj <= 860
0.00/0.04 c BCD2: #cores=8, #unrelaxed=377, #relaxed=34, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=9 bias=9/10
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 | 295 0 | 1 | 0
0.00/0.04 c 0.0s | 0 | 64 | 0 | 295 0 | 1 | 0
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 = 64
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 4: cost of the new core is >=2
0.00/0.04 c lower bound updated to -258
0.00/0.04 c BCD2: 10 <= obj <= 860
0.00/0.04 c BCD2: #cores=9, #unrelaxed=373, #relaxed=38, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=10 bias=10/11
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 | 295 0 | 1 | 0
0.00/0.04 c 0.0s | 0 | 66 | 0 | 295 0 | 1 | 0
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 = 66
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 5: cost of the new core is >=2
0.00/0.04 c lower bound updated to -256
0.00/0.04 c BCD2: 12 <= obj <= 860
0.00/0.04 c BCD2: #cores=10, #unrelaxed=368, #relaxed=43, #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 | 295 0 | 1 | 0
0.00/0.04 c 0.0s | 0 | 70 | 1 | 295 0 | 1 | 0
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 = 70
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 6 and merging with 1 cores into a new core of size 9: cost of the new core is >=2
0.00/0.04 c lower bound updated to -255
0.00/0.04 c BCD2: 13 <= obj <= 860
0.00/0.04 c BCD2: #cores=10, #unrelaxed=362, #relaxed=49, #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 | 295 0 | 2 | 0
0.00/0.04 c 0.0s | 0 | 72 | 0 | 295 0 | 2 | 1
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 = 72
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 6: cost of the new core is >=1
0.00/0.04 c lower bound updated to -254
0.00/0.04 c BCD2: 14 <= obj <= 860
0.00/0.04 c BCD2: #cores=11, #unrelaxed=356, #relaxed=55, #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 | 295 0 | 2 | 1
0.00/0.04 c 0.0s | 0 | 74 | 0 | 295 0 | 2 | 1
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 = 74
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 -253
0.00/0.04 c BCD2: 15 <= obj <= 860
0.00/0.04 c BCD2: #cores=12, #unrelaxed=354, #relaxed=57, #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 | 295 0 | 2 | 1
0.00/0.04 c 0.0s | 0 | 74 | 0 | 295 0 | 2 | 1
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 = 74
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 -252
0.00/0.04 c BCD2: 16 <= obj <= 860
0.00/0.04 c BCD2: #cores=13, #unrelaxed=352, #relaxed=59, #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 | 295 0 | 2 | 1
0.00/0.04 c 0.0s | 0 | 74 | 0 | 295 0 | 2 | 1
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 = 74
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.04 c lower bound updated to -251
0.00/0.04 c BCD2: 17 <= obj <= 860
0.00/0.04 c BCD2: #cores=14, #unrelaxed=349, #relaxed=62, #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 | 295 0 | 2 | 1
0.00/0.05 c 0.0s | 0 | 75 | 0 | 295 0 | 2 | 1
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 = 75
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 4: cost of the new core is >=1
0.00/0.05 c lower bound updated to -250
0.00/0.05 c BCD2: 18 <= obj <= 860
0.00/0.05 c BCD2: #cores=15, #unrelaxed=345, #relaxed=66, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=17 bias=17/18
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 | 295 0 | 2 | 1
0.00/0.05 c 0.0s | 0 | 78 | 0 | 295 0 | 2 | 1
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 = 78
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 4: cost of the new core is >=2
0.00/0.05 c lower bound updated to -248
0.00/0.05 c BCD2: 20 <= obj <= 860
0.00/0.05 c BCD2: #cores=16, #unrelaxed=341, #relaxed=70, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=18 bias=18/19
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 | 295 0 | 2 | 1
0.00/0.05 c 0.0s | 0 | 80 | 0 | 295 0 | 2 | 1
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 = 80
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 5: cost of the new core is >=1
0.00/0.05 c lower bound updated to -247
0.00/0.05 c BCD2: 21 <= obj <= 860
0.00/0.05 c BCD2: #cores=17, #unrelaxed=336, #relaxed=75, #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 | 295 0 | 2 | 1
0.00/0.05 c 0.0s | 0 | 82 | 0 | 295 0 | 2 | 1
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 = 82
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 5: cost of the new core is >=1
0.00/0.05 c lower bound updated to -246
0.00/0.05 c BCD2: 22 <= obj <= 860
0.00/0.05 c BCD2: #cores=18, #unrelaxed=331, #relaxed=80, #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 | 295 0 | 2 | 1
0.00/0.05 c 0.0s | 0 | 81 | 0 | 295 0 | 2 | 1
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 = 81
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 10: cost of the new core is >=1
0.00/0.05 c lower bound updated to -245
0.00/0.05 c BCD2: 23 <= obj <= 860
0.00/0.05 c BCD2: #cores=19, #unrelaxed=321, #relaxed=90, #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 | 295 0 | 2 | 1
0.00/0.05 c 0.0s | 0 | 85 | 0 | 295 0 | 2 | 1
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 = 85
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.05 c lower bound updated to -244
0.00/0.05 c BCD2: 24 <= obj <= 860
0.00/0.05 c BCD2: #cores=20, #unrelaxed=318, #relaxed=93, #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 | 295 0 | 2 | 1
0.00/0.05 c 0.0s | 0 | 86 | 1 | 295 0 | 2 | 1
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 = 86
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 6 and merging with 1 cores into a new core of size 9: cost of the new core is >=2
0.00/0.05 c lower bound updated to -243
0.00/0.05 c BCD2: 25 <= obj <= 860
0.00/0.05 c BCD2: #cores=20, #unrelaxed=312, #relaxed=99, #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 | 295 0 | 3 | 1
0.00/0.06 c 0.0s | 0 | 86 | 0 | 295 0 | 3 | 2
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 = 86
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 7: cost of the new core is >=1
0.00/0.06 c lower bound updated to -242
0.00/0.06 c BCD2: 26 <= obj <= 860
0.00/0.06 c BCD2: #cores=21, #unrelaxed=305, #relaxed=106, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=24 bias=24/25
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 | 295 0 | 3 | 2
0.00/0.06 c 0.0s | 0 | 89 | 0 | 295 0 | 3 | 2
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 = 89
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 4: cost of the new core is >=1
0.00/0.06 c lower bound updated to -241
0.00/0.06 c BCD2: 27 <= obj <= 860
0.00/0.06 c BCD2: #cores=22, #unrelaxed=301, #relaxed=110, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=25 bias=25/26
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 | 295 0 | 3 | 2
0.00/0.06 c 0.0s | 0 | 142 | 1 | 295 0 | 3 | 2
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 = 142
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 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.06 c lower bound updated to -240
0.00/0.06 c BCD2: 28 <= obj <= 860
0.00/0.06 c BCD2: #cores=22, #unrelaxed=299, #relaxed=112, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=26 bias=26/27
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 | 295 0 | 4 | 2
0.00/0.06 c 0.0s | 0 | 162 | 1 | 295 0 | 4 | 3
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 = 162
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 -239
0.00/0.06 c BCD2: 29 <= obj <= 860
0.00/0.06 c BCD2: #cores=22, #unrelaxed=298, #relaxed=113, #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 | 295 0 | 5 | 3
0.00/0.06 c 0.0s | 0 | 87 | 0 | 295 0 | 5 | 4
0.00/0.06 c #cpu_time = 0.000s
0.00/0.06 c #wall_clock_time = 0.000s
0.00/0.06 c #decision = 87
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: relaxing 8 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.00/0.06 c lower bound updated to -238
0.00/0.06 c BCD2: 30 <= obj <= 860
0.00/0.06 c BCD2: #cores=22, #unrelaxed=290, #relaxed=121, #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 | 295 0 | 6 | 4
0.00/0.06 c 0.0s | 0 | 90 | 0 | 295 0 | 6 | 5
0.00/0.06 c #cpu_time = 0.000s
0.00/0.06 c #wall_clock_time = 0.000s
0.00/0.06 c #decision = 90
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 4: cost of the new core is >=1
0.00/0.06 c lower bound updated to -237
0.00/0.06 c BCD2: 31 <= obj <= 860
0.00/0.06 c BCD2: #cores=23, #unrelaxed=286, #relaxed=125, #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 | 295 0 | 6 | 5
0.00/0.07 c 0.0s | 0 | 92 | 0 | 295 0 | 6 | 5
0.00/0.07 c #cpu_time = 0.000s
0.00/0.07 c #wall_clock_time = 0.000s
0.00/0.07 c #decision = 92
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 4: cost of the new core is >=1
0.00/0.07 c lower bound updated to -236
0.00/0.07 c BCD2: 32 <= obj <= 860
0.00/0.07 c BCD2: #cores=24, #unrelaxed=282, #relaxed=129, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=30 bias=30/31
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 | 295 0 | 6 | 5
0.00/0.07 c 0.0s | 0 | 97 | 0 | 295 0 | 6 | 5
0.00/0.07 c #cpu_time = 0.000s
0.00/0.07 c #wall_clock_time = 0.000s
0.00/0.07 c #decision = 97
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 8: cost of the new core is >=1
0.00/0.07 c lower bound updated to -235
0.00/0.07 c BCD2: 33 <= obj <= 860
0.00/0.07 c BCD2: #cores=25, #unrelaxed=274, #relaxed=137, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=31 bias=31/32
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 | 295 0 | 6 | 5
0.00/0.07 c 0.0s | 0 | 105 | 0 | 295 0 | 6 | 5
0.00/0.07 c #cpu_time = 0.000s
0.00/0.07 c #wall_clock_time = 0.000s
0.00/0.07 c #decision = 105
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 8: cost of the new core is >=1
0.00/0.07 c lower bound updated to -234
0.00/0.07 c BCD2: 34 <= obj <= 860
0.00/0.07 c BCD2: #cores=26, #unrelaxed=266, #relaxed=145, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=32 bias=32/33
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 | 295 0 | 6 | 5
0.00/0.07 c 0.0s | 0 | 106 | 0 | 295 0 | 6 | 5
0.00/0.07 c #cpu_time = 0.000s
0.00/0.07 c #wall_clock_time = 0.000s
0.00/0.07 c #decision = 106
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 11: cost of the new core is >=1
0.00/0.07 c lower bound updated to -233
0.00/0.07 c BCD2: 35 <= obj <= 860
0.00/0.07 c BCD2: #cores=27, #unrelaxed=255, #relaxed=156, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=33 bias=33/34
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 | 295 0 | 6 | 5
0.00/0.07 c 0.0s | 0 | 115 | 0 | 295 0 | 6 | 5
0.00/0.07 c #cpu_time = 0.000s
0.00/0.07 c #wall_clock_time = 0.000s
0.00/0.07 c #decision = 115
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 4: cost of the new core is >=1
0.00/0.07 c lower bound updated to -232
0.00/0.07 c BCD2: 36 <= obj <= 860
0.00/0.07 c BCD2: #cores=28, #unrelaxed=251, #relaxed=160, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=34 bias=34/35
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 | 295 0 | 6 | 5
0.00/0.07 c 0.0s | 0 | 116 | 0 | 295 0 | 6 | 5
0.00/0.07 c #cpu_time = 0.000s
0.00/0.07 c #wall_clock_time = 0.000s
0.00/0.07 c #decision = 116
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 8: cost of the new core is >=1
0.00/0.07 c lower bound updated to -231
0.00/0.07 c BCD2: 37 <= obj <= 860
0.00/0.07 c BCD2: #cores=29, #unrelaxed=243, #relaxed=168, #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 | 295 0 | 6 | 5
0.00/0.07 c 0.0s | 0 | 220 | 1 | 295 0 | 6 | 5
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 = 220
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 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=3
0.00/0.07 c lower bound updated to -230
0.00/0.07 c BCD2: 38 <= obj <= 860
0.00/0.07 c BCD2: #cores=29, #unrelaxed=242, #relaxed=169, #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 | 295 0 | 7 | 5
0.00/0.07 c 0.0s | 0 | 121 | 0 | 295 0 | 7 | 6
0.00/0.07 c #cpu_time = 0.000s
0.00/0.07 c #wall_clock_time = 0.000s
0.00/0.07 c #decision = 121
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 4: cost of the new core is >=1
0.00/0.07 c lower bound updated to -229
0.00/0.07 c BCD2: 39 <= obj <= 860
0.00/0.07 c BCD2: #cores=30, #unrelaxed=238, #relaxed=173, #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 | 295 0 | 7 | 6
0.00/0.07 c 0.0s | 0 | 123 | 0 | 295 0 | 7 | 6
0.00/0.07 c #cpu_time = 0.000s
0.00/0.07 c #wall_clock_time = 0.000s
0.00/0.07 c #decision = 123
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 4: cost of the new core is >=1
0.00/0.07 c lower bound updated to -228
0.00/0.07 c BCD2: 40 <= obj <= 860
0.00/0.07 c BCD2: #cores=31, #unrelaxed=234, #relaxed=177, #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 | 295 0 | 7 | 6
0.00/0.07 c 0.0s | 0 | 125 | 0 | 295 0 | 7 | 6
0.00/0.07 c #cpu_time = 0.000s
0.00/0.07 c #wall_clock_time = 0.000s
0.00/0.07 c #decision = 125
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 11: cost of the new core is >=1
0.00/0.07 c lower bound updated to -227
0.00/0.07 c BCD2: 41 <= obj <= 860
0.00/0.07 c BCD2: #cores=32, #unrelaxed=223, #relaxed=188, #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 | 295 0 | 7 | 6
0.00/0.08 c 0.0s | 0 | 130 | 0 | 295 0 | 7 | 6
0.00/0.08 c #cpu_time = 0.000s
0.00/0.08 c #wall_clock_time = 0.000s
0.00/0.08 c #decision = 130
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 4: cost of the new core is >=1
0.00/0.08 c lower bound updated to -226
0.00/0.08 c BCD2: 42 <= obj <= 860
0.00/0.08 c BCD2: #cores=33, #unrelaxed=219, #relaxed=192, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=40 bias=40/41
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 | 295 0 | 7 | 6
0.00/0.08 c 0.0s | 0 | 130 | 0 | 295 0 | 7 | 6
0.00/0.08 c #cpu_time = 0.000s
0.00/0.08 c #wall_clock_time = 0.000s
0.00/0.08 c #decision = 130
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 4: cost of the new core is >=1
0.00/0.08 c lower bound updated to -225
0.00/0.08 c BCD2: 43 <= obj <= 860
0.00/0.08 c BCD2: #cores=34, #unrelaxed=215, #relaxed=196, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=41 bias=41/42
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 | 295 0 | 7 | 6
0.00/0.08 c 0.0s | 0 | 132 | 0 | 295 0 | 7 | 6
0.00/0.08 c #cpu_time = 0.000s
0.00/0.08 c #wall_clock_time = 0.000s
0.00/0.08 c #decision = 132
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 6: cost of the new core is >=1
0.00/0.08 c lower bound updated to -224
0.00/0.08 c BCD2: 44 <= obj <= 860
0.00/0.08 c BCD2: #cores=35, #unrelaxed=209, #relaxed=202, #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 | 295 0 | 7 | 6
0.00/0.08 c 0.0s | 0 | 135 | 0 | 295 0 | 7 | 6
0.00/0.08 c #cpu_time = 0.000s
0.00/0.08 c #wall_clock_time = 0.000s
0.00/0.08 c #decision = 135
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 6: cost of the new core is >=2
0.00/0.08 c lower bound updated to -222
0.00/0.08 c BCD2: 46 <= obj <= 860
0.00/0.08 c BCD2: #cores=36, #unrelaxed=203, #relaxed=208, #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 | 295 0 | 7 | 6
0.00/0.08 c 0.0s | 0 | 135 | 0 | 295 0 | 7 | 6
0.00/0.08 c #cpu_time = 0.000s
0.00/0.08 c #wall_clock_time = 0.000s
0.00/0.08 c #decision = 135
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 8: cost of the new core is >=1
0.00/0.08 c lower bound updated to -221
0.00/0.08 c BCD2: 47 <= obj <= 860
0.00/0.08 c BCD2: #cores=37, #unrelaxed=195, #relaxed=216, #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 | 295 0 | 7 | 6
0.00/0.08 c 0.0s | 0 | 135 | 0 | 295 0 | 7 | 6
0.00/0.08 c #cpu_time = 0.000s
0.00/0.08 c #wall_clock_time = 0.000s
0.00/0.08 c #decision = 135
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 8: cost of the new core is >=1
0.00/0.08 c lower bound updated to -220
0.00/0.08 c BCD2: 48 <= obj <= 860
0.00/0.08 c BCD2: #cores=38, #unrelaxed=187, #relaxed=224, #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 | 295 0 | 7 | 6
0.00/0.08 c 0.0s | 0 | 139 | 0 | 295 0 | 7 | 6
0.00/0.08 c #cpu_time = 0.000s
0.00/0.08 c #wall_clock_time = 0.000s
0.00/0.08 c #decision = 139
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 10: cost of the new core is >=1
0.00/0.08 c lower bound updated to -219
0.00/0.08 c BCD2: 49 <= obj <= 860
0.00/0.08 c BCD2: #cores=39, #unrelaxed=177, #relaxed=234, #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 | 295 0 | 7 | 6
0.00/0.08 c 0.0s | 0 | 134 | 0 | 295 0 | 7 | 6
0.00/0.08 c #cpu_time = 0.000s
0.00/0.08 c #wall_clock_time = 0.000s
0.00/0.08 c #decision = 134
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: relaxing 24 and merging with 2 cores into a new core of size 33: cost of the new core is >=3
0.00/0.08 c lower bound updated to -218
0.00/0.08 c BCD2: 50 <= obj <= 860
0.00/0.08 c BCD2: #cores=38, #unrelaxed=153, #relaxed=258, #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 | 295 0 | 9 | 6
0.00/0.08 c 0.0s | 0 | 124 | 0 | 295 0 | 9 | 8
0.00/0.08 c #cpu_time = 0.000s
0.00/0.08 c #wall_clock_time = 0.000s
0.00/0.08 c #decision = 124
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 9: cost of the new core is >=1
0.00/0.08 c lower bound updated to -217
0.00/0.08 c BCD2: 51 <= obj <= 860
0.00/0.08 c BCD2: #cores=39, #unrelaxed=144, #relaxed=267, #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 | 295 0 | 9 | 8
0.00/0.08 c 0.0s | 0 | 127 | 0 | 295 0 | 9 | 8
0.00/0.08 c #cpu_time = 0.000s
0.00/0.08 c #wall_clock_time = 0.000s
0.00/0.08 c #decision = 127
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 4: cost of the new core is >=1
0.00/0.08 c lower bound updated to -216
0.00/0.09 c BCD2: 52 <= obj <= 860
0.00/0.09 c BCD2: #cores=40, #unrelaxed=140, #relaxed=271, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=49 bias=49/50
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 | 295 0 | 9 | 8
0.00/0.09 c 0.0s | 0 | 131 | 1 | 295 0 | 9 | 8
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 = 131
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 8 and merging with 1 cores into a new core of size 12: cost of the new core is >=2
0.00/0.09 c lower bound updated to -215
0.00/0.09 c BCD2: 53 <= obj <= 860
0.00/0.09 c BCD2: #cores=40, #unrelaxed=132, #relaxed=279, #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 | 295 0 | 10 | 8
0.00/0.09 c 0.0s | 0 | 123 | 1 | 295 0 | 10 | 9
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 = 123
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 7 and merging with 3 cores into a new core of size 19: cost of the new core is >=4
0.00/0.09 c lower bound updated to -214
0.00/0.09 c BCD2: 54 <= obj <= 860
0.00/0.09 c BCD2: #cores=38, #unrelaxed=125, #relaxed=286, #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 | 295 0 | 13 | 9
0.00/0.09 c 0.0s | 0 | 200 | 2 | 295 0 | 13 | 12
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 = 200
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 o 27
0.00/0.09 c BCD2: hardening fixes 1 literals
0.00/0.09 c BCD2: updating upper bound: 860 -> 294
0.00/0.09 c BCD2: 54 <= obj <= 294
0.00/0.09 c BCD2: #cores=38, #unrelaxed=124, #relaxed=286, #hardened=1
0.00/0.09 c BCD2: #sat=2 #unsat=51 bias=51/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 | 295 0 | 13 | 12
0.00/0.09 c 0.0s | 0 | 126 | 2 | 295 0 | 13 | 12
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 = 126
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 5: cost of the new core is >=2
0.00/0.09 c lower bound updated to -213
0.00/0.09 c BCD2: 55 <= obj <= 294
0.00/0.09 c BCD2: #cores=38, #unrelaxed=122, #relaxed=288, #hardened=1
0.00/0.09 c BCD2: #sat=2 #unsat=52 bias=52/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 | 295 0 | 15 | 12
0.00/0.09 c 0.0s | 0 | 136 | 1 | 295 0 | 15 | 15
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 = 136
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 6 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.00/0.09 c lower bound updated to -212
0.00/0.09 c BCD2: 56 <= obj <= 294
0.00/0.09 c BCD2: #cores=38, #unrelaxed=116, #relaxed=294, #hardened=1
0.00/0.09 c BCD2: #sat=2 #unsat=53 bias=53/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 | 295 0 | 17 | 15
0.00/0.09 c 0.0s | 0 | 119 | 1 | 295 0 | 17 | 18
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 = 119
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 12 and merging with 2 cores into a new core of size 28: cost of the new core is >=4
0.00/0.09 c lower bound updated to -211
0.00/0.10 c BCD2: 57 <= obj <= 294
0.00/0.10 c BCD2: #cores=37, #unrelaxed=104, #relaxed=306, #hardened=1
0.00/0.10 c BCD2: #sat=2 #unsat=54 bias=54/56
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 | 295 0 | 20 | 18
0.09/0.10 c 0.0s | 0 | 117 | 1 | 295 0 | 20 | 22
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 = 117
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 7 and merging with 3 cores into a new core of size 29: cost of the new core is >=5
0.09/0.10 c lower bound updated to -210
0.09/0.10 c BCD2: 58 <= obj <= 294
0.09/0.10 c BCD2: #cores=35, #unrelaxed=97, #relaxed=313, #hardened=1
0.09/0.10 c BCD2: #sat=2 #unsat=55 bias=55/57
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 | 295 0 | 26 | 22
0.09/0.10 c 0.0s | 0 | 136 | 3 | 295 0 | 26 | 31
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 = 136
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 3
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: relaxing 11 and merging with 3 cores into a new core of size 26: cost of the new core is >=5
0.09/0.10 c lower bound updated to -209
0.09/0.10 c BCD2: 59 <= obj <= 294
0.09/0.10 c BCD2: #cores=33, #unrelaxed=86, #relaxed=324, #hardened=1
0.09/0.10 c BCD2: #sat=2 #unsat=56 bias=56/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 | 295 0 | 31 | 31
0.09/0.10 c 0.0s | 0 | 114 | 6 | 295 0 | 31 | 38
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 = 114
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 6
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 7: cost of the new core is >=4
0.09/0.10 c lower bound updated to -207
0.09/0.10 c BCD2: 61 <= obj <= 294
0.09/0.10 c BCD2: #cores=33, #unrelaxed=83, #relaxed=327, #hardened=1
0.09/0.10 c BCD2: #sat=2 #unsat=57 bias=57/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 | 295 0 | 33 | 38
0.09/0.10 c 0.0s | 0 | 139 | 25 | 295 0 | 33 | 41
0.09/0.10 c #cpu_time = 0.003s
0.09/0.10 c #wall_clock_time = 0.003s
0.09/0.10 c #decision = 139
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 25
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: relaxing 7 and merging with 2 cores into a new core of size 40: cost of the new core is >=6
0.09/0.10 c lower bound updated to -206
0.09/0.10 c BCD2: 62 <= obj <= 294
0.09/0.10 c BCD2: #cores=32, #unrelaxed=76, #relaxed=334, #hardened=1
0.09/0.10 c BCD2: #sat=2 #unsat=58 bias=58/60
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 | 295 0 | 37 | 41
0.09/0.12 c 0.0s | 1 | 231 | 100 | 325 0 | 37 | 47
0.09/0.12 c 0.0s | 1 | 333 | 109 | 325 0 | 37 | 47
0.09/0.12 c #cpu_time = 0.014s
0.09/0.12 c #wall_clock_time = 0.014s
0.09/0.12 c #decision = 333
0.09/0.12 c #random_decision = 2
0.09/0.12 c #conflict = 109
0.09/0.12 c #restart = 1
0.09/0.12 c BCD2: relaxing 8 and merging with 5 cores into a new core of size 68: cost of the new core is >=13
0.09/0.12 c lower bound updated to -205
0.09/0.12 c BCD2: 63 <= obj <= 294
0.09/0.12 c BCD2: #cores=28, #unrelaxed=68, #relaxed=342, #hardened=1
0.09/0.12 c BCD2: #sat=2 #unsat=59 bias=59/61
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 | 325 0 | 46 | 47
0.09/0.14 c 0.0s | 1 | 212 | 100 | 358 0 | 46 | 60
0.09/0.16 c 0.0s | 2 | 488 | 250 | 358 0 | 46 | 60
0.09/0.19 c 0.1s | 3 | 860 | 475 | 394 0 | 46 | 60
0.18/0.25 c 0.1s | 4 | 1369 | 813 | 434 1 | 46 | 60
0.18/0.26 c 0.1s | 4 | 1651 | 893 | 434 2 | 46 | 60
0.18/0.26 c #cpu_time = 0.139s
0.18/0.26 c #wall_clock_time = 0.139s
0.18/0.26 c #decision = 1651
0.18/0.26 c #random_decision = 2
0.18/0.26 c #conflict = 893
0.18/0.26 c #restart = 4
0.18/0.26 c BCD2: relaxing 2 and merging with 3 cores into a new core of size 18: cost of the new core is >=6
0.18/0.26 c lower bound updated to -204
0.18/0.26 c BCD2: 64 <= obj <= 294
0.18/0.26 c BCD2: #cores=26, #unrelaxed=66, #relaxed=344, #hardened=1
0.18/0.26 c BCD2: #sat=2 #unsat=60 bias=60/62
0.18/0.26 c Solving starts ...
0.18/0.26 c ============================[ Search Statistics ]============================
0.18/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.18/0.26 c | | | | Limit GC | Var | Constra
0.18/0.26 c =============================================================================
0.18/0.26 c 0.0s | 0 | 0 | 0 | 434 0 | 52 | 60
0.18/0.28 c 0.0s | 1 | 219 | 100 | 434 0 | 52 | 69
0.29/0.30 c 0.0s | 2 | 489 | 250 | 434 0 | 52 | 69
0.29/0.34 c 0.1s | 3 | 847 | 475 | 478 1 | 52 | 69
0.29/0.39 c 0.1s | 4 | 1378 | 813 | 478 2 | 52 | 69
0.39/0.46 c 0.2s | 5 | 2138 | 1320 | 526 4 | 52 | 69
0.49/0.58 c 0.3s | 6 | 3246 | 2081 | 526 6 | 52 | 69
0.79/0.80 c 0.5s | 7 | 4750 | 3223 | 579 9 | 52 | 69
1.10/1.14 c 0.9s | 8 | 7237 | 4936 | 637 13 | 52 | 69
1.49/1.58 c 1.3s | 9 | 10514 | 7506 | 701 19 | 52 | 69
1.99/2.08 c 1.8s | 10 | 15752 | 11361 | 772 27 | 52 | 69
2.79/2.85 c 2.6s | 11 | 23710 | 17144 | 850 38 | 52 | 69
3.99/4.09 c 3.8s | 11 | 35398 | 25676 | 936 55 | 52 | 69
3.99/4.09 c #cpu_time = 3.822s
3.99/4.09 c #wall_clock_time = 3.822s
3.99/4.09 c #decision = 35398
3.99/4.09 c #random_decision = 126
3.99/4.09 c #conflict = 25676
3.99/4.09 c #restart = 11
3.99/4.09 c BCD2: relaxing 46 and merging with 13 cores into a new core of size 249: cost of the new core is >=38
3.99/4.09 c lower bound updated to -203
3.99/4.09 c BCD2: 65 <= obj <= 294
3.99/4.09 c BCD2: #cores=14, #unrelaxed=20, #relaxed=390, #hardened=1
3.99/4.09 c BCD2: #sat=2 #unsat=61 bias=61/63
3.99/4.09 c Solving starts ...
3.99/4.09 c ============================[ Search Statistics ]============================
3.99/4.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.99/4.09 c | | | | Limit GC | Var | Constra
3.99/4.09 c =============================================================================
3.99/4.09 c 0.0s | 0 | 0 | 0 | 936 0 | 76 | 69
4.09/4.11 c 0.0s | 1 | 264 | 100 | 936 0 | 76 | 104
4.09/4.15 c 0.1s | 2 | 561 | 250 | 936 0 | 76 | 104
4.19/4.20 c 0.1s | 3 | 952 | 475 | 936 0 | 76 | 104
4.19/4.28 c 0.2s | 4 | 1503 | 813 | 936 0 | 76 | 104
4.40/4.47 c 0.4s | 5 | 2147 | 1320 | 936 1 | 76 | 104
4.69/4.72 c 0.6s | 6 | 3125 | 2081 | 936 2 | 76 | 104
4.99/5.09 c 1.0s | 7 | 4675 | 3223 | 936 4 | 76 | 104
5.50/5.54 c 1.5s | 8 | 6935 | 4936 | 936 7 | 76 | 104
6.19/6.25 c 2.2s | 9 | 10276 | 7506 | 936 11 | 76 | 104
7.29/7.30 c 3.2s | 10 | 15205 | 11361 | 936 18 | 76 | 104
8.69/8.72 c 4.6s | 11 | 24362 | 17144 | 1030 27 | 76 | 104
10.69/10.72 c 6.6s | 11 | 37990 | 25444 | 1030 41 | 76 | 104
10.79/10.80 c 6.7s | 12 | 38741 | 25819 | 1030 41 | 76 | 104
12.79/12.81 c 8.7s | 12 | 51790 | 33919 | 1133 54 | 76 | 104
13.89/13.98 c 9.9s | 13 | 59639 | 38832 | 1133 61 | 76 | 104
15.89/15.99 c 11.9s | 13 | 73219 | 47032 | 1133 73 | 76 | 104
17.99/18.01 c 13.9s | 13 | 87778 | 55632 | 1133 86 | 76 | 104
18.59/18.64 c 14.5s | 14 | 92083 | 58352 | 1133 90 | 76 | 104
20.58/20.64 c 16.5s | 14 | 104086 | 66352 | 1247 100 | 76 | 104
22.58/22.66 c 18.6s | 14 | 118274 | 74752 | 1247 112 | 76 | 104
24.58/24.68 c 20.6s | 14 | 132906 | 83252 | 1247 123 | 76 | 104
25.58/25.68 c 21.6s | 15 | 140837 | 87632 | 1247 129 | 76 | 104
27.59/27.69 c 23.6s | 15 | 153929 | 95732 | 1247 140 | 76 | 104
29.69/29.71 c 25.6s | 15 | 168181 | 104232 | 1372 151 | 76 | 104
31.68/31.73 c 27.6s | 15 | 181171 | 112632 | 1372 162 | 76 | 104
33.68/33.74 c 29.7s | 15 | 193251 | 120532 | 1372 172 | 76 | 104
35.68/35.75 c 31.7s | 15 | 206427 | 128532 | 1372 182 | 76 | 104
36.48/36.51 c 32.4s | 16 | 211749 | 131552 | 1372 186 | 76 | 104
38.49/38.53 c 34.4s | 16 | 227084 | 139952 | 1372 196 | 76 | 104
40.48/40.54 c 36.5s | 16 | 241371 | 148252 | 1372 206 | 76 | 104
42.48/42.56 c 38.5s | 16 | 257246 | 156952 | 1372 217 | 76 | 104
44.49/44.57 c 40.5s | 16 | 269000 | 164652 | 1372 227 | 76 | 104
46.48/46.58 c 42.5s | 16 | 283828 | 173152 | 1510 237 | 76 | 104
48.49/48.58 c 44.5s | 16 | 299142 | 181752 | 1510 247 | 76 | 104
50.48/50.60 c 46.5s | 16 | 313356 | 189852 | 1510 256 | 76 | 104
52.38/52.47 c 48.4s | 17 | 326250 | 197432 | 1510 265 | 76 | 104
54.38/54.47 c 50.4s | 17 | 339927 | 205432 | 1510 274 | 76 | 104
56.38/56.49 c 52.4s | 17 | 353412 | 213432 | 1510 283 | 76 | 104
58.48/58.51 c 54.4s | 17 | 367587 | 221732 | 1510 293 | 76 | 104
60.49/60.52 c 56.4s | 17 | 382484 | 230132 | 1510 303 | 76 | 104
62.48/62.54 c 58.4s | 17 | 397658 | 238632 | 1510 312 | 76 | 104
64.48/64.55 c 60.5s | 17 | 411594 | 247032 | 1510 322 | 76 | 104
66.48/66.55 c 62.5s | 17 | 425789 | 255232 | 1510 331 | 76 | 104
68.48/68.57 c 64.5s | 17 | 440544 | 263632 | 1510 341 | 76 | 104
70.49/70.57 c 66.5s | 17 | 453182 | 271332 | 1662 350 | 76 | 104
72.48/72.59 c 68.5s | 17 | 470060 | 279732 | 1662 358 | 76 | 104
74.58/74.60 c 70.5s | 17 | 486411 | 287932 | 1662 367 | 76 | 104
76.58/76.62 c 72.5s | 17 | 501850 | 296232 | 1662 376 | 76 | 104
76.58/76.62 c 72.5s | 18 | 501886 | 296252 | 1662 376 | 76 | 104
78.58/78.65 c 74.6s | 18 | 517386 | 304352 | 1662 384 | 76 | 104
80.58/80.66 c 76.6s | 18 | 535252 | 312552 | 1662 393 | 76 | 104
82.58/82.67 c 78.6s | 18 | 552810 | 320552 | 1662 401 | 76 | 104
84.57/84.68 c 80.6s | 18 | 570729 | 328552 | 1662 410 | 76 | 104
86.67/86.70 c 82.6s | 18 | 589376 | 337052 | 1662 419 | 76 | 104
88.67/88.71 c 84.6s | 18 | 607074 | 344952 | 1662 427 | 76 | 104
90.67/90.72 c 86.6s | 18 | 624309 | 352752 | 1662 435 | 76 | 104
92.68/92.74 c 88.7s | 18 | 640818 | 360452 | 1662 444 | 76 | 104
94.68/94.75 c 90.7s | 18 | 658146 | 368352 | 1662 452 | 76 | 104
96.68/96.78 c 92.7s | 18 | 676686 | 376452 | 1662 460 | 76 | 104
98.68/98.78 c 94.7s | 18 | 693503 | 384052 | 1662 468 | 76 | 104
100.68/100.79 c 96.7s | 18 | 712683 | 392652 | 1662 477 | 76 | 104
102.78/102.81 c 98.7s | 18 | 730774 | 401352 | 1662 487 | 76 | 104
104.78/104.81 c 100s | 18 | 747428 | 409752 | 1662 495 | 76 | 104
106.78/106.81 c 102s | 18 | 763889 | 417852 | 1829 504 | 76 | 104
108.77/108.81 c 104s | 18 | 779580 | 425752 | 1829 511 | 76 | 104
110.77/110.82 c 106s | 18 | 796963 | 434152 | 1829 519 | 76 | 104
112.77/112.84 c 108s | 18 | 815509 | 442752 | 1829 528 | 76 | 104
113.17/113.25 c 109s | 19 | 819650 | 444482 | 1829 529 | 76 | 104
115.17/115.26 c 111s | 19 | 838941 | 453282 | 1829 538 | 76 | 104
117.17/117.27 c 113s | 19 | 856287 | 461682 | 1829 546 | 76 | 104
119.17/119.29 c 115s | 19 | 873555 | 469882 | 1829 554 | 76 | 104
121.27/121.31 c 117s | 19 | 891543 | 478282 | 1829 562 | 76 | 104
123.28/123.31 c 119s | 19 | 906705 | 486582 | 1829 570 | 76 | 104
125.27/125.33 c 121s | 19 | 921867 | 494682 | 1829 578 | 76 | 104
127.27/127.33 c 123s | 19 | 936968 | 502582 | 1829 585 | 76 | 104
129.27/129.33 c 125s | 19 | 953314 | 510882 | 1829 593 | 76 | 104
131.27/131.34 c 127s | 19 | 967787 | 518482 | 1829 601 | 76 | 104
133.27/133.35 c 129s | 19 | 984335 | 526282 | 1829 608 | 76 | 104
135.27/135.37 c 131s | 19 | 1000546 | 533882 | 1829 616 | 76 | 104
137.27/137.37 c 133s | 19 | 1016152 | 541582 | 1829 623 | 76 | 104
139.27/139.38 c 135s | 19 | 1029994 | 549182 | 1829 631 | 76 | 104
141.27/141.39 c 137s | 19 | 1042989 | 556082 | 1829 637 | 76 | 104
143.27/143.39 c 139s | 19 | 1058154 | 563482 | 1829 644 | 76 | 104
145.37/145.41 c 141s | 19 | 1073395 | 571082 | 1829 652 | 76 | 104
147.38/147.42 c 143s | 19 | 1091152 | 579382 | 1829 660 | 76 | 104
149.37/149.42 c 145s | 19 | 1107023 | 587582 | 1829 668 | 76 | 104
151.37/151.44 c 147s | 19 | 1124219 | 595582 | 1829 675 | 76 | 104
153.37/153.46 c 149s | 19 | 1137582 | 603082 | 1829 683 | 76 | 104
155.36/155.47 c 151s | 19 | 1152218 | 610782 | 1829 690 | 76 | 104
157.37/157.48 c 153s | 19 | 1164752 | 617682 | 1829 697 | 76 | 104
159.36/159.48 c 155s | 19 | 1176716 | 624682 | 1829 704 | 76 | 104
161.46/161.50 c 157s | 19 | 1190883 | 632082 | 1829 711 | 76 | 104
163.46/163.53 c 159s | 19 | 1205176 | 639582 | 2012 718 | 76 | 104
165.47/165.54 c 161s | 19 | 1218413 | 646882 | 2012 724 | 76 | 104
167.47/167.57 c 163s | 19 | 1231982 | 653782 | 2012 730 | 76 | 104
169.47/169.58 c 165s | 19 | 1243656 | 660282 | 2012 736 | 76 | 104
171.27/171.38 c 167s | 20 | 1256049 | 666827 | 2012 742 | 76 | 104
173.27/173.38 c 169s | 20 | 1269290 | 673827 | 2012 748 | 76 | 104
175.36/175.40 c 171s | 20 | 1281415 | 680527 | 2012 754 | 76 | 104
177.36/177.41 c 173s | 20 | 1295165 | 687927 | 2012 760 | 76 | 104
179.37/179.43 c 175s | 20 | 1308720 | 694827 | 2012 767 | 76 | 104
181.36/181.46 c 177s | 20 | 1321120 | 701127 | 2012 772 | 76 | 104
183.36/183.48 c 179s | 20 | 1335103 | 708627 | 2012 779 | 76 | 104
185.36/185.49 c 181s | 20 | 1351172 | 716527 | 2012 786 | 76 | 104
187.46/187.50 c 183s | 20 | 1366138 | 724427 | 2012 793 | 76 | 104
189.46/189.50 c 185s | 20 | 1381169 | 732027 | 2012 800 | 76 | 104
191.47/191.51 c 187s | 20 | 1395175 | 739327 | 2012 806 | 76 | 104
193.46/193.54 c 189s | 20 | 1408671 | 746227 | 2012 812 | 76 | 104
195.46/195.55 c 191s | 20 | 1422751 | 753627 | 2012 819 | 76 | 104
197.46/197.56 c 193s | 20 | 1436407 | 761027 | 2012 825 | 76 | 104
199.45/199.59 c 195s | 20 | 1450650 | 768527 | 2012 832 | 76 | 104
201.55/201.61 c 197s | 20 | 1463026 | 775127 | 2012 838 | 76 | 104
203.56/203.64 c 199s | 20 | 1476619 | 782227 | 2012 844 | 76 | 104
205.55/205.66 c 201s | 20 | 1489095 | 789327 | 2012 851 | 76 | 104
207.55/207.68 c 203s | 20 | 1501104 | 796227 | 2012 857 | 76 | 104
209.66/209.71 c 205s | 20 | 1513181 | 802727 | 2012 862 | 76 | 104
211.66/211.73 c 207s | 20 | 1525658 | 809427 | 2012 868 | 76 | 104
213.66/213.75 c 209s | 20 | 1538909 | 816627 | 2012 875 | 76 | 104
215.67/215.76 c 211s | 20 | 1551585 | 823527 | 2012 881 | 76 | 104
217.66/217.77 c 213s | 20 | 1565128 | 831027 | 2012 888 | 76 | 104
219.76/219.80 c 215s | 20 | 1577208 | 837727 | 2012 894 | 76 | 104
221.76/221.81 c 217s | 20 | 1590367 | 844927 | 2012 900 | 76 | 104
223.76/223.82 c 219s | 20 | 1606253 | 852927 | 2012 907 | 76 | 104
225.75/225.82 c 221s | 20 | 1621495 | 860527 | 2012 914 | 76 | 104
227.76/227.84 c 223s | 20 | 1637977 | 868327 | 2012 921 | 76 | 104
229.75/229.86 c 225s | 20 | 1653434 | 875627 | 2012 927 | 76 | 104
231.75/231.86 c 227s | 20 | 1665204 | 881727 | 2012 933 | 76 | 104
233.75/233.88 c 229s | 20 | 1679681 | 889227 | 2012 939 | 76 | 104
235.85/235.90 c 231s | 20 | 1692921 | 896027 | 2012 945 | 76 | 104
237.85/237.92 c 233s | 20 | 1708913 | 903427 | 2012 952 | 76 | 104
239.86/239.96 c 235s | 20 | 1726752 | 910927 | 2012 958 | 76 | 104
241.86/241.97 c 237s | 20 | 1741882 | 918127 | 2012 965 | 76 | 104
243.85/243.99 c 239s | 20 | 1756804 | 925327 | 2012 971 | 76 | 104
245.95/246.02 c 241s | 20 | 1770786 | 932327 | 2012 978 | 76 | 104
247.95/248.03 c 243s | 20 | 1787760 | 940327 | 2012 985 | 76 | 104
249.95/250.04 c 245s | 20 | 1802820 | 947927 | 2012 991 | 76 | 104
251.96/252.05 c 247s | 20 | 1817936 | 955527 | 2012 998 | 76 | 104
253.95/254.07 c 249s | 20 | 1833280 | 963227 | 2012 1005 | 76 | 104
255.95/256.08 c 251s | 20 | 1847950 | 970427 | 2214 1011 | 76 | 104
257.95/258.09 c 254s | 20 | 1862510 | 977627 | 2214 1017 | 76 | 104
260.05/260.10 c 256s | 20 | 1876832 | 985327 | 2214 1023 | 76 | 104
262.05/262.12 c 258s | 20 | 1891596 | 992927 | 2214 1029 | 76 | 104
264.06/264.12 c 260s | 20 | 1905793 | 999527 | 2214 1035 | 76 | 104
264.25/264.36 c 260s | 21 | 1907446 | 1000345 | 2214 1035 | 76 | 104
266.26/266.36 c 262s | 21 | 1922535 | 1007445 | 2214 1041 | 76 | 104
268.25/268.38 c 264s | 21 | 1937440 | 1014645 | 2214 1047 | 76 | 104
270.35/270.40 c 266s | 21 | 1952411 | 1021745 | 2214 1053 | 76 | 104
272.34/272.41 c 268s | 21 | 1968205 | 1029345 | 2214 1059 | 76 | 104
274.35/274.43 c 270s | 21 | 1984442 | 1036745 | 2214 1065 | 76 | 104
276.35/276.45 c 272s | 21 | 1998695 | 1043545 | 2214 1071 | 76 | 104
278.35/278.47 c 274s | 21 | 2014075 | 1050645 | 2214 1076 | 76 | 104
280.35/280.49 c 276s | 21 | 2029115 | 1057645 | 2214 1082 | 76 | 104
282.35/282.49 c 278s | 21 | 2045359 | 1064945 | 2214 1088 | 76 | 104
284.44/284.52 c 280s | 21 | 2059403 | 1072045 | 2214 1094 | 76 | 104
286.44/286.52 c 282s | 21 | 2074774 | 1079145 | 2214 1100 | 76 | 104
288.44/288.54 c 284s | 21 | 2090610 | 1086245 | 2214 1105 | 76 | 104
290.45/290.55 c 286s | 21 | 2103742 | 1093045 | 2214 1111 | 76 | 104
292.44/292.57 c 288s | 21 | 2117671 | 1099945 | 2214 1117 | 76 | 104
294.44/294.59 c 290s | 21 | 2133546 | 1107045 | 2214 1122 | 76 | 104
296.44/296.59 c 292s | 21 | 2146947 | 1113845 | 2214 1128 | 76 | 104
298.55/298.62 c 294s | 21 | 2160274 | 1120745 | 2214 1134 | 76 | 104
300.55/300.64 c 296s | 21 | 2174819 | 1127745 | 2214 1139 | 76 | 104
302.55/302.65 c 298s | 21 | 2187702 | 1134445 | 2214 1145 | 76 | 104
304.54/304.66 c 300s | 21 | 2200876 | 1141145 | 2214 1150 | 76 | 104
306.54/306.66 c 302s | 21 | 2214032 | 1147845 | 2214 1156 | 76 | 104
308.54/308.69 c 304s | 21 | 2228403 | 1154945 | 2214 1161 | 76 | 104
310.54/310.69 c 306s | 21 | 2242701 | 1161845 | 2214 1167 | 76 | 104
312.64/312.71 c 308s | 21 | 2258405 | 1168545 | 2214 1173 | 76 | 104
314.65/314.73 c 310s | 21 | 2272816 | 1175445 | 2214 1178 | 76 | 104
316.64/316.75 c 312s | 21 | 2285835 | 1182045 | 2214 1184 | 76 | 104
318.64/318.77 c 314s | 21 | 2299377 | 1188745 | 2214 1189 | 76 | 104
320.64/320.78 c 316s | 21 | 2313503 | 1195645 | 2214 1195 | 76 | 104
322.74/322.80 c 318s | 21 | 2328463 | 1202845 | 2214 1201 | 76 | 104
324.74/324.82 c 320s | 21 | 2342782 | 1209945 | 2214 1206 | 76 | 104
326.74/326.82 c 322s | 21 | 2356577 | 1216545 | 2214 1212 | 76 | 104
328.74/328.83 c 324s | 21 | 2370151 | 1223045 | 2214 1217 | 76 | 104
330.73/330.86 c 326s | 21 | 2384387 | 1229745 | 2214 1223 | 76 | 104
332.74/332.87 c 328s | 21 | 2396999 | 1236045 | 2214 1228 | 76 | 104
334.74/334.90 c 330s | 21 | 2411131 | 1242745 | 2214 1233 | 76 | 104
336.84/336.92 c 332s | 21 | 2424796 | 1249245 | 2214 1238 | 76 | 104
338.85/338.94 c 334s | 21 | 2438521 | 1255945 | 2214 1244 | 76 | 104
340.84/340.95 c 336s | 21 | 2451763 | 1262245 | 2214 1249 | 76 | 104
342.84/342.95 c 338s | 21 | 2465140 | 1268945 | 2214 1254 | 76 | 104
344.83/344.96 c 340s | 21 | 2479546 | 1276045 | 2214 1260 | 76 | 104
346.83/346.96 c 342s | 21 | 2493194 | 1282945 | 2214 1266 | 76 | 104
348.83/348.97 c 344s | 21 | 2507567 | 1289845 | 2214 1271 | 76 | 104
350.84/350.99 c 346s | 21 | 2522334 | 1296945 | 2214 1277 | 76 | 104
352.93/353.00 c 348s | 21 | 2535762 | 1303645 | 2214 1283 | 76 | 104
354.93/355.02 c 350s | 21 | 2548392 | 1310345 | 2214 1288 | 76 | 104
356.93/357.04 c 352s | 21 | 2561818 | 1317045 | 2214 1294 | 76 | 104
358.94/359.06 c 354s | 21 | 2575181 | 1323845 | 2214 1299 | 76 | 104
360.94/361.08 c 356s | 21 | 2588961 | 1330745 | 2214 1305 | 76 | 104
362.94/363.10 c 359s | 21 | 2603126 | 1337845 | 2214 1311 | 76 | 104
365.04/365.11 c 361s | 21 | 2617547 | 1344445 | 2214 1316 | 76 | 104
367.03/367.12 c 363s | 21 | 2632300 | 1351445 | 2214 1322 | 76 | 104
369.03/369.13 c 365s | 21 | 2647121 | 1358345 | 2214 1327 | 76 | 104
371.03/371.14 c 367s | 21 | 2661080 | 1365045 | 2214 1333 | 76 | 104
373.04/373.16 c 369s | 21 | 2674172 | 1371345 | 2214 1338 | 76 | 104
375.04/375.18 c 371s | 21 | 2687079 | 1377845 | 2214 1343 | 76 | 104
377.13/377.20 c 373s | 21 | 2701487 | 1385245 | 2214 1349 | 76 | 104
379.13/379.22 c 375s | 21 | 2714581 | 1392045 | 2214 1355 | 76 | 104
381.13/381.24 c 377s | 21 | 2727624 | 1398445 | 2214 1360 | 76 | 104
383.13/383.24 c 379s | 21 | 2741325 | 1404945 | 2214 1365 | 76 | 104
385.13/385.26 c 381s | 21 | 2756086 | 1411945 | 2214 1371 | 76 | 104
387.13/387.29 c 383s | 21 | 2768898 | 1418445 | 2214 1376 | 76 | 104
389.23/389.30 c 385s | 21 | 2782062 | 1424945 | 2214 1382 | 76 | 104
391.23/391.31 c 387s | 21 | 2797902 | 1431545 | 2214 1387 | 76 | 104
393.23/393.34 c 389s | 21 | 2812313 | 1438245 | 2214 1393 | 76 | 104
395.23/395.36 c 391s | 21 | 2826394 | 1444645 | 2214 1398 | 76 | 104
397.23/397.39 c 393s | 21 | 2839246 | 1450845 | 2214 1403 | 76 | 104
399.34/399.42 c 395s | 21 | 2852146 | 1457045 | 2214 1408 | 76 | 104
401.33/401.42 c 397s | 21 | 2864419 | 1462845 | 2214 1413 | 76 | 104
403.33/403.45 c 399s | 21 | 2876307 | 1468845 | 2436 1417 | 76 | 104
405.33/405.46 c 401s | 21 | 2889401 | 1475245 | 2436 1422 | 76 | 104
407.33/407.48 c 403s | 21 | 2903094 | 1481545 | 2436 1427 | 76 | 104
409.33/409.49 c 405s | 21 | 2915476 | 1487645 | 2436 1431 | 76 | 104
411.34/411.50 c 407s | 21 | 2927911 | 1493645 | 2436 1436 | 76 | 104
413.43/413.51 c 409s | 21 | 2940496 | 1499945 | 2436 1440 | 76 | 104
413.54/413.67 c 409s | 22 | 2941886 | 1500622 | 2436 1441 | 76 | 104
415.53/415.68 c 411s | 22 | 2957294 | 1508122 | 2436 1446 | 76 | 104
417.63/417.70 c 413s | 22 | 2973186 | 1515422 | 2436 1452 | 76 | 104
419.63/419.70 c 415s | 22 | 2986390 | 1522322 | 2436 1457 | 76 | 104
421.63/421.70 c 417s | 22 | 3000790 | 1529422 | 2436 1462 | 76 | 104
423.63/423.71 c 419s | 22 | 3014544 | 1536322 | 2436 1467 | 76 | 104
425.63/425.71 c 421s | 22 | 3029366 | 1543422 | 2436 1473 | 76 | 104
427.63/427.72 c 423s | 22 | 3043284 | 1550322 | 2436 1478 | 76 | 104
429.62/429.75 c 425s | 22 | 3058186 | 1557722 | 2436 1483 | 76 | 104
431.62/431.76 c 427s | 22 | 3073921 | 1565122 | 2436 1489 | 76 | 104
433.62/433.77 c 429s | 22 | 3088503 | 1571822 | 2436 1494 | 76 | 104
435.72/435.80 c 431s | 22 | 3103478 | 1578522 | 2436 1499 | 76 | 104
437.73/437.81 c 433s | 22 | 3118550 | 1585422 | 2436 1504 | 76 | 104
439.72/439.83 c 435s | 22 | 3134583 | 1592522 | 2436 1509 | 76 | 104
441.72/441.86 c 437s | 22 | 3148370 | 1599522 | 2436 1515 | 76 | 104
443.72/443.88 c 439s | 22 | 3163078 | 1606422 | 2436 1520 | 76 | 104
445.82/445.90 c 441s | 22 | 3175872 | 1613422 | 2436 1525 | 76 | 104
447.82/447.92 c 443s | 22 | 3189703 | 1620522 | 2436 1530 | 76 | 104
449.83/449.92 c 445s | 22 | 3203436 | 1627322 | 2436 1535 | 76 | 104
451.82/451.96 c 447s | 22 | 3215969 | 1633922 | 2436 1540 | 76 | 104
453.82/453.96 c 449s | 22 | 3231016 | 1641222 | 2436 1546 | 76 | 104
455.82/455.96 c 451s | 22 | 3246248 | 1648722 | 2436 1551 | 76 | 104
457.82/457.96 c 453s | 22 | 3259869 | 1655522 | 2436 1556 | 76 | 104
459.82/459.97 c 455s | 22 | 3274696 | 1662522 | 2436 1562 | 76 | 104
461.82/461.98 c 457s | 22 | 3287427 | 1669222 | 2436 1567 | 76 | 104
463.92/464.01 c 459s | 22 | 3298601 | 1675722 | 2436 1571 | 76 | 104
465.92/466.03 c 461s | 22 | 3311225 | 1682522 | 2436 1577 | 76 | 104
467.91/468.06 c 463s | 22 | 3322735 | 1689322 | 2436 1582 | 76 | 104
469.91/470.07 c 465s | 22 | 3334718 | 1695822 | 2436 1586 | 76 | 104
472.01/472.10 c 468s | 22 | 3345683 | 1702222 | 2436 1591 | 76 | 104
474.02/474.11 c 470s | 22 | 3359269 | 1709222 | 2436 1596 | 76 | 104
476.01/476.12 c 472s | 22 | 3372686 | 1716122 | 2436 1602 | 76 | 104
478.02/478.14 c 474s | 22 | 3384056 | 1722422 | 2436 1606 | 76 | 104
480.02/480.16 c 476s | 22 | 3397709 | 1729422 | 2436 1612 | 76 | 104
482.02/482.16 c 478s | 22 | 3413034 | 1736622 | 2436 1617 | 76 | 104
484.03/484.17 c 480s | 22 | 3424464 | 1742922 | 2436 1622 | 76 | 104
486.02/486.18 c 482s | 22 | 3437598 | 1749622 | 2436 1627 | 76 | 104
488.12/488.20 c 484s | 22 | 3450029 | 1756122 | 2436 1632 | 76 | 104
490.12/490.21 c 486s | 22 | 3464809 | 1763122 | 2436 1637 | 76 | 104
492.12/492.21 c 488s | 22 | 3478936 | 1770022 | 2436 1642 | 76 | 104
494.12/494.22 c 490s | 22 | 3492016 | 1776822 | 2436 1647 | 76 | 104
496.12/496.23 c 492s | 22 | 3504768 | 1783622 | 2436 1652 | 76 | 104
498.11/498.23 c 494s | 22 | 3516704 | 1790322 | 2436 1657 | 76 | 104
500.11/500.27 c 496s | 22 | 3529228 | 1797622 | 2436 1663 | 76 | 104
502.11/502.28 c 498s | 22 | 3541790 | 1804722 | 2436 1668 | 76 | 104
504.11/504.29 c 500s | 22 | 3553525 | 1811522 | 2436 1673 | 76 | 104
506.22/506.30 c 502s | 22 | 3564318 | 1817922 | 2436 1678 | 76 | 104
508.12/508.30 c 504s | 22 | 3575420 | 1824322 | 2436 1682 | 76 | 104
510.21/510.31 c 506s | 22 | 3591132 | 1831722 | 2436 1688 | 76 | 104
512.21/512.34 c 508s | 22 | 3605330 | 1839122 | 2436 1693 | 76 | 104
514.21/514.35 c 510s | 22 | 3619407 | 1846122 | 2436 1699 | 76 | 104
516.21/516.37 c 512s | 22 | 3632823 | 1853022 | 2436 1704 | 76 | 104
518.22/518.39 c 514s | 22 | 3647164 | 1860322 | 2436 1709 | 76 | 104
520.32/520.42 c 516s | 22 | 3660751 | 1867322 | 2436 1715 | 76 | 104
522.31/522.44 c 518s | 22 | 3673896 | 1874022 | 2436 1719 | 76 | 104
524.31/524.45 c 520s | 22 | 3685990 | 1880522 | 2436 1724 | 76 | 104
526.31/526.47 c 522s | 22 | 3699262 | 1887322 | 2436 1729 | 76 | 104
528.41/528.50 c 524s | 22 | 3710437 | 1893822 | 2436 1734 | 76 | 104
530.40/530.51 c 526s | 22 | 3721721 | 1900022 | 2436 1739 | 76 | 104
532.42/532.54 c 528s | 22 | 3733842 | 1906822 | 2436 1744 | 76 | 104
534.41/534.56 c 530s | 22 | 3747812 | 1913722 | 2436 1749 | 76 | 104
536.41/536.57 c 532s | 22 | 3760653 | 1920522 | 2436 1754 | 76 | 104
538.41/538.59 c 534s | 22 | 3773656 | 1927322 | 2436 1759 | 76 | 104
540.40/540.59 c 536s | 22 | 3785685 | 1933622 | 2436 1764 | 76 | 104
542.51/542.62 c 538s | 22 | 3797311 | 1940422 | 2436 1769 | 76 | 104
544.51/544.64 c 540s | 22 | 3809159 | 1947422 | 2436 1774 | 76 | 104
546.51/546.65 c 542s | 22 | 3822479 | 1954622 | 2436 1780 | 76 | 104
548.50/548.67 c 544s | 22 | 3836104 | 1961822 | 2436 1785 | 76 | 104
550.60/550.70 c 546s | 22 | 3850745 | 1968922 | 2436 1790 | 76 | 104
552.59/552.71 c 548s | 22 | 3865235 | 1975922 | 2436 1796 | 76 | 104
554.60/554.73 c 550s | 22 | 3878623 | 1982522 | 2436 1801 | 76 | 104
556.60/556.75 c 552s | 22 | 3889608 | 1988922 | 2436 1805 | 76 | 104
558.59/558.77 c 554s | 22 | 3900591 | 1995022 | 2436 1810 | 76 | 104
560.59/560.77 c 556s | 22 | 3912366 | 2001522 | 2436 1815 | 76 | 104
562.59/562.78 c 558s | 22 | 3925558 | 2008222 | 2436 1820 | 76 | 104
564.69/564.80 c 560s | 22 | 3938428 | 2015222 | 2436 1825 | 76 | 104
566.69/566.82 c 562s | 22 | 3949924 | 2021722 | 2436 1830 | 76 | 104
568.69/568.84 c 564s | 22 | 3962903 | 2028822 | 2436 1835 | 76 | 104
570.69/570.87 c 566s | 22 | 3975479 | 2035622 | 2436 1840 | 76 | 104
572.69/572.89 c 568s | 22 | 3987566 | 2042222 | 2436 1845 | 76 | 104
574.79/574.90 c 570s | 22 | 3999172 | 2048722 | 2436 1850 | 76 | 104
576.79/576.90 c 572s | 22 | 4011268 | 2055322 | 2436 1855 | 76 | 104
578.79/578.93 c 574s | 22 | 4022902 | 2061822 | 2436 1860 | 76 | 104
580.79/580.95 c 576s | 22 | 4035538 | 2068522 | 2436 1865 | 76 | 104
582.78/582.97 c 578s | 22 | 4048426 | 2075322 | 2436 1870 | 76 | 104
584.78/584.97 c 580s | 22 | 4060646 | 2082022 | 2436 1875 | 76 | 104
586.88/587.00 c 582s | 22 | 4073622 | 2089222 | 2436 1880 | 76 | 104
588.88/589.02 c 584s | 22 | 4086800 | 2096222 | 2436 1885 | 76 | 104
590.88/591.04 c 586s | 22 | 4099226 | 2102622 | 2436 1890 | 76 | 104
592.88/593.05 c 588s | 22 | 4110578 | 2108622 | 2436 1895 | 76 | 104
594.88/595.06 c 590s | 22 | 4123118 | 2115622 | 2436 1900 | 76 | 104
596.88/597.06 c 592s | 22 | 4136125 | 2122222 | 2436 1905 | 76 | 104
598.88/599.08 c 594s | 22 | 4147455 | 2128522 | 2436 1909 | 76 | 104
600.97/601.12 c 597s | 22 | 4160025 | 2135122 | 2436 1914 | 76 | 104
602.97/603.15 c 599s | 22 | 4172137 | 2142122 | 2436 1920 | 76 | 104
604.98/605.15 c 601s | 22 | 4183307 | 2149122 | 2436 1925 | 76 | 104
606.98/607.18 c 603s | 22 | 4194950 | 2155922 | 2436 1930 | 76 | 104
609.07/609.21 c 605s | 22 | 4206523 | 2162522 | 2436 1935 | 76 | 104
611.06/611.23 c 607s | 22 | 4219088 | 2169322 | 2436 1940 | 76 | 104
613.07/613.25 c 609s | 22 | 4231597 | 2176022 | 2436 1945 | 76 | 104
615.06/615.27 c 611s | 22 | 4243210 | 2182522 | 2436 1950 | 76 | 104
617.07/617.29 c 613s | 22 | 4253670 | 2188822 | 2436 1954 | 76 | 104
619.06/619.30 c 615s | 22 | 4264865 | 2195222 | 2436 1959 | 76 | 104
621.17/621.32 c 617s | 22 | 4276209 | 2201522 | 2436 1964 | 76 | 104
623.16/623.35 c 619s | 22 | 4287139 | 2208122 | 2436 1969 | 76 | 104
625.16/625.35 c 621s | 22 | 4299057 | 2215122 | 2680 1973 | 76 | 104
627.17/627.37 c 623s | 22 | 4311853 | 2221922 | 2680 1978 | 76 | 104
629.17/629.37 c 625s | 22 | 4323476 | 2228322 | 2680 1983 | 76 | 104
631.16/631.40 c 627s | 22 | 4334845 | 2234422 | 2680 1987 | 76 | 104
633.25/633.42 c 629s | 22 | 4346926 | 2241322 | 2680 1991 | 76 | 104
635.26/635.43 c 631s | 22 | 4357530 | 2247922 | 2680 1996 | 76 | 104
636.06/636.29 c 632s | 23 | 4363161 | 2251038 | 2680 1998 | 76 | 104
638.16/638.31 c 634s | 23 | 4376647 | 2258038 | 2680 2003 | 76 | 104
640.16/640.32 c 636s | 23 | 4390352 | 2265038 | 2680 2008 | 76 | 104
642.15/642.35 c 638s | 23 | 4403227 | 2271538 | 2680 2012 | 76 | 104
644.15/644.37 c 640s | 23 | 4415550 | 2278138 | 2680 2017 | 76 | 104
646.25/646.40 c 642s | 23 | 4429210 | 2285038 | 2680 2021 | 76 | 104
648.25/648.42 c 644s | 23 | 4441900 | 2291338 | 2680 2026 | 76 | 104
650.24/650.43 c 646s | 23 | 4454153 | 2297938 | 2680 2030 | 76 | 104
652.25/652.45 c 648s | 23 | 4467054 | 2304638 | 2680 2035 | 76 | 104
654.24/654.47 c 650s | 23 | 4479073 | 2311138 | 2680 2039 | 76 | 104
656.24/656.48 c 652s | 23 | 4490358 | 2317538 | 2680 2044 | 76 | 104
658.35/658.50 c 654s | 23 | 4503352 | 2324138 | 2680 2048 | 76 | 104
660.34/660.54 c 656s | 23 | 4515582 | 2330638 | 2680 2053 | 76 | 104
662.34/662.56 c 658s | 23 | 4525531 | 2336638 | 2680 2057 | 76 | 104
664.35/664.57 c 660s | 23 | 4535082 | 2342338 | 2680 2061 | 76 | 104
666.34/666.59 c 662s | 23 | 4545487 | 2348438 | 2680 2065 | 76 | 104
668.44/668.62 c 664s | 23 | 4556131 | 2354638 | 2680 2069 | 76 | 104
670.43/670.64 c 666s | 23 | 4565977 | 2360638 | 2680 2073 | 76 | 104
672.43/672.67 c 668s | 23 | 4578082 | 2367238 | 2680 2078 | 76 | 104
674.44/674.69 c 670s | 23 | 4590277 | 2373638 | 2680 2082 | 76 | 104
676.53/676.71 c 672s | 23 | 4603104 | 2380338 | 2680 2086 | 76 | 104
678.54/678.71 c 674s | 23 | 4615449 | 2386938 | 2680 2091 | 76 | 104
680.53/680.71 c 676s | 23 | 4627865 | 2393538 | 2680 2095 | 76 | 104
682.53/682.73 c 678s | 23 | 4640535 | 2399938 | 2680 2100 | 76 | 104
684.52/684.74 c 680s | 23 | 4653080 | 2406438 | 2680 2104 | 76 | 104
686.53/686.74 c 682s | 23 | 4664838 | 2412938 | 2680 2109 | 76 | 104
688.54/688.75 c 684s | 23 | 4676985 | 2419338 | 2680 2113 | 76 | 104
690.52/690.77 c 686s | 23 | 4690820 | 2426438 | 2680 2118 | 76 | 104
692.52/692.79 c 688s | 23 | 4704662 | 2433838 | 2680 2123 | 76 | 104
694.62/694.80 c 690s | 23 | 4717785 | 2441038 | 2680 2128 | 76 | 104
696.62/696.81 c 692s | 23 | 4731544 | 2448238 | 2680 2133 | 76 | 104
698.62/698.82 c 694s | 23 | 4744074 | 2454838 | 2680 2137 | 76 | 104
700.62/700.83 c 696s | 23 | 4755794 | 2461338 | 2680 2142 | 76 | 104
702.62/702.83 c 698s | 23 | 4768102 | 2467538 | 2680 2146 | 76 | 104
704.61/704.85 c 700s | 23 | 4779514 | 2473638 | 2680 2150 | 76 | 104
706.61/706.87 c 702s | 23 | 4792255 | 2479938 | 2680 2155 | 76 | 104
708.61/708.87 c 704s | 23 | 4804048 | 2486538 | 2680 2159 | 76 | 104
710.71/710.90 c 706s | 23 | 4815941 | 2493138 | 2680 2164 | 76 | 104
712.62/712.90 c 708s | 23 | 4827875 | 2499938 | 2680 2168 | 76 | 104
714.71/714.90 c 710s | 23 | 4839471 | 2506338 | 2680 2173 | 76 | 104
716.71/716.91 c 712s | 23 | 4850448 | 2512738 | 2680 2177 | 76 | 104
718.71/718.92 c 714s | 23 | 4861168 | 2518938 | 2680 2181 | 76 | 104
720.70/720.92 c 716s | 23 | 4873597 | 2525438 | 2680 2186 | 76 | 104
722.70/722.93 c 718s | 23 | 4884294 | 2531738 | 2680 2190 | 76 | 104
724.70/724.94 c 720s | 23 | 4894922 | 2537938 | 2680 2194 | 76 | 104
726.70/726.95 c 722s | 23 | 4905348 | 2544138 | 2680 2198 | 76 | 104
728.70/728.96 c 724s | 23 | 4916880 | 2550338 | 2680 2203 | 76 | 104
730.70/730.98 c 726s | 23 | 4928871 | 2556838 | 2680 2207 | 76 | 104
732.69/732.99 c 728s | 23 | 4940637 | 2563238 | 2680 2211 | 76 | 104
734.79/735.00 c 730s | 23 | 4954218 | 2570238 | 2680 2216 | 76 | 104
736.80/737.01 c 732s | 23 | 4965848 | 2577138 | 2680 2221 | 76 | 104
738.79/739.02 c 734s | 23 | 4977719 | 2583838 | 2680 2225 | 76 | 104
740.79/741.04 c 736s | 23 | 4988172 | 2590138 | 2680 2230 | 76 | 104
742.79/743.06 c 738s | 23 | 4999479 | 2596538 | 2680 2234 | 76 | 104
744.79/745.09 c 740s | 23 | 5009313 | 2602538 | 2680 2238 | 76 | 104
746.89/747.10 c 743s | 23 | 5020318 | 2608738 | 2680 2242 | 76 | 104
748.89/749.12 c 745s | 23 | 5031115 | 2615138 | 2680 2247 | 76 | 104
750.88/751.13 c 747s | 23 | 5042875 | 2621438 | 2680 2251 | 76 | 104
752.88/753.14 c 749s | 23 | 5055478 | 2628038 | 2680 2256 | 76 | 104
754.88/755.16 c 751s | 23 | 5067832 | 2634638 | 2680 2260 | 76 | 104
756.88/757.17 c 753s | 23 | 5079708 | 2641038 | 2680 2264 | 76 | 104
758.89/759.19 c 755s | 23 | 5093039 | 2647938 | 2680 2269 | 76 | 104
760.98/761.22 c 757s | 23 | 5103753 | 2654438 | 2680 2274 | 76 | 104
762.98/763.25 c 759s | 23 | 5114336 | 2660938 | 2680 2278 | 76 | 104
764.98/765.29 c 761s | 23 | 5125876 | 2667638 | 2680 2283 | 76 | 104
767.08/767.30 c 763s | 23 | 5140015 | 2674438 | 2680 2287 | 76 | 104
769.08/769.31 c 765s | 23 | 5153438 | 2681138 | 2680 2292 | 76 | 104
771.07/771.34 c 767s | 23 | 5167179 | 2687538 | 2680 2296 | 76 | 104
773.08/773.36 c 769s | 23 | 5175535 | 2693038 | 2680 2300 | 76 | 104
775.07/775.38 c 771s | 23 | 5183237 | 2698238 | 2680 2303 | 76 | 104
777.17/777.40 c 773s | 23 | 5190846 | 2703538 | 2680 2307 | 76 | 104
779.17/779.41 c 775s | 23 | 5198294 | 2708538 | 2680 2310 | 76 | 104
781.17/781.43 c 777s | 23 | 5205207 | 2713338 | 2680 2313 | 76 | 104
783.17/783.43 c 779s | 23 | 5213062 | 2718638 | 2680 2317 | 76 | 104
785.17/785.43 c 781s | 23 | 5221022 | 2723938 | 2680 2321 | 76 | 104
787.17/787.47 c 783s | 23 | 5228355 | 2729138 | 2680 2324 | 76 | 104
789.17/789.48 c 785s | 23 | 5235518 | 2734138 | 2680 2327 | 76 | 104
791.26/791.51 c 787s | 23 | 5243631 | 2739438 | 2680 2331 | 76 | 104
793.26/793.52 c 789s | 23 | 5250956 | 2744638 | 2680 2335 | 76 | 104
795.27/795.54 c 791s | 23 | 5259017 | 2749838 | 2680 2338 | 76 | 104
797.27/797.56 c 793s | 23 | 5265855 | 2754838 | 2680 2341 | 76 | 104
799.27/799.57 c 795s | 23 | 5273695 | 2760038 | 2680 2345 | 76 | 104
801.26/801.59 c 797s | 23 | 5282687 | 2765438 | 2680 2349 | 76 | 104
803.36/803.61 c 799s | 23 | 5290305 | 2770638 | 2680 2352 | 76 | 104
805.36/805.63 c 801s | 23 | 5298311 | 2775938 | 2680 2356 | 76 | 104
807.36/807.63 c 803s | 23 | 5305699 | 2780938 | 2680 2359 | 76 | 104
809.36/809.68 c 805s | 23 | 5313922 | 2786338 | 2680 2363 | 76 | 104
811.35/811.68 c 807s | 23 | 5323987 | 2792038 | 2680 2366 | 76 | 104
813.45/813.71 c 809s | 23 | 5332988 | 2797738 | 2680 2370 | 76 | 104
815.45/815.74 c 811s | 23 | 5342486 | 2803438 | 2680 2374 | 76 | 104
817.45/817.77 c 813s | 23 | 5351001 | 2808838 | 2680 2378 | 76 | 104
819.45/819.78 c 815s | 23 | 5359208 | 2814238 | 2680 2381 | 76 | 104
821.45/821.80 c 817s | 23 | 5371051 | 2820138 | 2680 2385 | 76 | 104
823.55/823.81 c 819s | 23 | 5380870 | 2825838 | 2680 2389 | 76 | 104
825.54/825.83 c 821s | 23 | 5389652 | 2831138 | 2680 2393 | 76 | 104
827.54/827.86 c 823s | 23 | 5398167 | 2836338 | 2680 2396 | 76 | 104
829.55/829.89 c 825s | 23 | 5406923 | 2841738 | 2680 2400 | 76 | 104
831.64/831.91 c 827s | 23 | 5416476 | 2847438 | 2680 2404 | 76 | 104
833.65/833.92 c 829s | 23 | 5424738 | 2852638 | 2680 2407 | 76 | 104
835.64/835.94 c 831s | 23 | 5433587 | 2857938 | 2680 2411 | 76 | 104
837.64/837.95 c 833s | 23 | 5441878 | 2863238 | 2680 2414 | 76 | 104
839.64/839.97 c 835s | 23 | 5451167 | 2868638 | 2680 2418 | 76 | 104
841.63/841.99 c 837s | 23 | 5459756 | 2874038 | 2680 2421 | 76 | 104
843.74/844.03 c 839s | 23 | 5468729 | 2879538 | 2680 2425 | 76 | 104
845.74/846.03 c 841s | 23 | 5478105 | 2885038 | 2680 2429 | 76 | 104
847.73/848.07 c 843s | 23 | 5486629 | 2890338 | 2680 2432 | 76 | 104
849.73/850.07 c 845s | 23 | 5495190 | 2895638 | 2680 2436 | 76 | 104
851.73/852.07 c 847s | 23 | 5503541 | 2900738 | 2680 2439 | 76 | 104
853.73/854.09 c 850s | 23 | 5511653 | 2905738 | 2680 2443 | 76 | 104
855.83/856.10 c 852s | 23 | 5519278 | 2910538 | 2680 2446 | 76 | 104
857.84/858.12 c 854s | 23 | 5526786 | 2915238 | 2680 2449 | 76 | 104
859.83/860.12 c 856s | 23 | 5535308 | 2920238 | 2680 2453 | 76 | 104
861.82/862.15 c 858s | 23 | 5543580 | 2925338 | 2680 2456 | 76 | 104
863.83/864.18 c 860s | 23 | 5551980 | 2930338 | 2680 2459 | 76 | 104
865.93/866.22 c 862s | 23 | 5562241 | 2936038 | 2680 2463 | 76 | 104
867.93/868.24 c 864s | 23 | 5571389 | 2941538 | 2680 2467 | 76 | 104
869.93/870.27 c 866s | 23 | 5579397 | 2946638 | 2680 2470 | 76 | 104
871.92/872.29 c 868s | 23 | 5587594 | 2951538 | 2680 2474 | 76 | 104
874.02/874.31 c 870s | 23 | 5596718 | 2956938 | 2680 2477 | 76 | 104
876.02/876.32 c 872s | 23 | 5606763 | 2962538 | 2680 2481 | 76 | 104
878.03/878.33 c 874s | 23 | 5618287 | 2968238 | 2680 2485 | 76 | 104
880.02/880.35 c 876s | 23 | 5628055 | 2973538 | 2680 2488 | 76 | 104
882.03/882.38 c 878s | 23 | 5637460 | 2978538 | 2680 2492 | 76 | 104
884.02/884.40 c 880s | 23 | 5647110 | 2984038 | 2680 2495 | 76 | 104
886.12/886.41 c 882s | 23 | 5657390 | 2989638 | 2680 2499 | 76 | 104
888.12/888.43 c 884s | 23 | 5666219 | 2995038 | 2680 2503 | 76 | 104
890.11/890.44 c 886s | 23 | 5674758 | 3000538 | 2680 2506 | 76 | 104
892.11/892.46 c 888s | 23 | 5684041 | 3006438 | 2680 2510 | 76 | 104
894.12/894.48 c 890s | 23 | 5693621 | 3011938 | 2680 2514 | 76 | 104
896.11/896.49 c 892s | 23 | 5702916 | 3017438 | 2680 2518 | 76 | 104
898.21/898.50 c 894s | 23 | 5710724 | 3022738 | 2680 2521 | 76 | 104
900.21/900.51 c 896s | 23 | 5718633 | 3028038 | 2680 2525 | 76 | 104
902.20/902.52 c 898s | 23 | 5726376 | 3033138 | 2680 2528 | 76 | 104
904.20/904.55 c 900s | 23 | 5737013 | 3038738 | 2680 2532 | 76 | 104
906.22/906.56 c 902s | 23 | 5747149 | 3044438 | 2680 2536 | 76 | 104
908.21/908.57 c 904s | 23 | 5756479 | 3049938 | 2680 2540 | 76 | 104
910.20/910.58 c 906s | 23 | 5764281 | 3054938 | 2680 2543 | 76 | 104
912.30/912.60 c 908s | 23 | 5772783 | 3060138 | 2680 2546 | 76 | 104
914.30/914.65 c 910s | 23 | 5779591 | 3064838 | 2680 2550 | 76 | 104
916.30/916.67 c 912s | 23 | 5786472 | 3069538 | 2680 2553 | 76 | 104
918.30/918.69 c 914s | 23 | 5796078 | 3074838 | 2680 2556 | 76 | 104
920.30/920.70 c 916s | 23 | 5804578 | 3079738 | 2680 2560 | 76 | 104
922.40/922.70 c 918s | 23 | 5813082 | 3084838 | 2680 2563 | 76 | 104
924.40/924.70 c 920s | 23 | 5820689 | 3089638 | 2680 2566 | 76 | 104
926.40/926.73 c 922s | 23 | 5828071 | 3094438 | 2680 2569 | 76 | 104
928.40/928.74 c 924s | 23 | 5837554 | 3099838 | 2680 2573 | 76 | 104
930.40/930.74 c 926s | 23 | 5847464 | 3105538 | 2680 2577 | 76 | 104
932.39/932.77 c 928s | 23 | 5855723 | 3110638 | 2680 2580 | 76 | 104
934.49/934.80 c 930s | 23 | 5865858 | 3116338 | 2680 2584 | 76 | 104
936.49/936.80 c 932s | 23 | 5874587 | 3121638 | 2680 2588 | 76 | 104
938.49/938.81 c 934s | 23 | 5884144 | 3126938 | 2680 2591 | 76 | 104
940.49/940.82 c 936s | 23 | 5892026 | 3131838 | 2680 2595 | 76 | 104
942.49/942.84 c 938s | 23 | 5903308 | 3137638 | 2680 2598 | 76 | 104
944.48/944.85 c 940s | 23 | 5913344 | 3143238 | 2680 2602 | 76 | 104
946.48/946.86 c 942s | 23 | 5922318 | 3148338 | 2680 2606 | 76 | 104
948.48/948.89 c 944s | 23 | 5932862 | 3154238 | 2680 2610 | 76 | 104
950.57/950.92 c 946s | 23 | 5941509 | 3159938 | 2680 2613 | 76 | 104
952.57/952.95 c 948s | 23 | 5951124 | 3165638 | 2680 2617 | 76 | 104
954.59/954.95 c 950s | 23 | 5959920 | 3170938 | 2680 2621 | 76 | 104
956.58/956.96 c 952s | 23 | 5970985 | 3176638 | 2680 2625 | 76 | 104
958.58/958.98 c 954s | 23 | 5979092 | 3181838 | 2680 2628 | 76 | 104
960.67/961.01 c 956s | 23 | 5988785 | 3187238 | 2680 2632 | 76 | 104
962.67/963.04 c 958s | 23 | 5998637 | 3192738 | 2680 2635 | 76 | 104
964.67/965.05 c 960s | 23 | 6007359 | 3197938 | 2680 2639 | 76 | 104
966.68/967.06 c 962s | 23 | 6014023 | 3202838 | 2680 2642 | 76 | 104
968.67/969.06 c 964s | 23 | 6021689 | 3207838 | 2680 2646 | 76 | 104
970.66/971.08 c 966s | 23 | 6029553 | 3212938 | 2680 2649 | 76 | 104
972.66/973.09 c 969s | 23 | 6037553 | 3218138 | 2680 2652 | 76 | 104
974.77/975.10 c 971s | 23 | 6044546 | 3222938 | 2680 2656 | 76 | 104
976.77/977.11 c 973s | 23 | 6051699 | 3227938 | 2680 2659 | 76 | 104
978.78/979.13 c 975s | 23 | 6060160 | 3232938 | 2680 2662 | 76 | 104
980.76/981.13 c 977s | 23 | 6067351 | 3237638 | 2680 2666 | 76 | 104
982.76/983.17 c 979s | 23 | 6073632 | 3242138 | 2680 2669 | 76 | 104
984.76/985.17 c 981s | 23 | 6081631 | 3246738 | 2680 2672 | 76 | 104
986.76/987.18 c 983s | 23 | 6088390 | 3251338 | 2680 2675 | 76 | 104
988.76/989.18 c 985s | 23 | 6095112 | 3256138 | 2680 2678 | 76 | 104
990.76/991.19 c 987s | 23 | 6101288 | 3260538 | 2680 2681 | 76 | 104
992.85/993.20 c 989s | 23 | 6108537 | 3265538 | 2680 2684 | 76 | 104
994.85/995.21 c 991s | 23 | 6115404 | 3270438 | 2680 2688 | 76 | 104
996.86/997.21 c 993s | 23 | 6122525 | 3275238 | 2680 2691 | 76 | 104
998.86/999.25 c 995s | 23 | 6129533 | 3280038 | 2680 2694 | 76 | 104
1000.85/1001.26 c 997s | 23 | 6135717 | 3284538 | 2680 2697 | 76 | 104
1002.86/1003.29 c 999s | 23 | 6142870 | 3289338 | 2680 2700 | 76 | 104
1004.95/1005.30 c 1001s | 23 | 6149559 | 3293938 | 2680 2703 | 76 | 104
1006.95/1007.32 c 1003s | 23 | 6156287 | 3298738 | 2680 2707 | 76 | 104
1008.95/1009.36 c 1005s | 23 | 6164957 | 3304238 | 2680 2710 | 76 | 104
1010.94/1011.38 c 1007s | 23 | 6171499 | 3308838 | 2680 2713 | 76 | 104
1012.94/1013.39 c 1009s | 23 | 6179628 | 3313638 | 2680 2717 | 76 | 104
1015.05/1015.41 c 1011s | 23 | 6186818 | 3318238 | 2680 2720 | 76 | 104
1017.04/1017.45 c 1013s | 23 | 6195659 | 3323638 | 2680 2723 | 76 | 104
1019.14/1019.50 c 1015s | 23 | 6203786 | 3328738 | 2949 2726 | 76 | 104
1021.14/1021.54 c 1017s | 23 | 6210801 | 3333238 | 2949 2729 | 76 | 104
1023.14/1023.55 c 1019s | 23 | 6217054 | 3337538 | 2949 2732 | 76 | 104
1025.14/1025.56 c 1021s | 23 | 6223262 | 3342038 | 2949 2735 | 76 | 104
1027.24/1027.61 c 1023s | 23 | 6230322 | 3346938 | 2949 2738 | 76 | 104
1029.25/1029.61 c 1025s | 23 | 6238014 | 3351938 | 2949 2741 | 76 | 104
1031.24/1031.62 c 1027s | 23 | 6244860 | 3356538 | 2949 2744 | 76 | 104
1033.24/1033.62 c 1029s | 23 | 6253731 | 3361838 | 2949 2747 | 76 | 104
1035.24/1035.64 c 1031s | 23 | 6262406 | 3367038 | 2949 2750 | 76 | 104
1037.24/1037.67 c 1033s | 23 | 6269915 | 3372038 | 2949 2753 | 76 | 104
1039.24/1039.67 c 1035s | 23 | 6277906 | 3376638 | 2949 2756 | 76 | 104
1039.24/1039.68 c 1035s | 24 | 6277975 | 3376662 | 2949 2756 | 76 | 104
1041.23/1041.68 c 1037s | 24 | 6286581 | 3381662 | 2949 2759 | 76 | 104
1043.33/1043.71 c 1039s | 24 | 6295320 | 3386862 | 2949 2762 | 76 | 104
1045.33/1045.73 c 1041s | 24 | 6304224 | 3391962 | 2949 2765 | 76 | 104
1047.33/1047.74 c 1043s | 24 | 6313176 | 3397062 | 2949 2769 | 76 | 104
1049.33/1049.75 c 1045s | 24 | 6323040 | 3402262 | 2949 2772 | 76 | 104
1051.33/1051.77 c 1047s | 24 | 6332153 | 3407162 | 2949 2775 | 76 | 104
1053.32/1053.80 c 1049s | 24 | 6340471 | 3411862 | 2949 2778 | 76 | 104
1055.42/1055.83 c 1051s | 24 | 6348411 | 3416762 | 2949 2781 | 76 | 104
1057.43/1057.87 c 1053s | 24 | 6356613 | 3421562 | 2949 2784 | 76 | 104
1059.53/1059.91 c 1055s | 24 | 6364063 | 3426262 | 2949 2787 | 76 | 104
1061.52/1061.91 c 1057s | 24 | 6372513 | 3431362 | 2949 2790 | 76 | 104
1063.52/1063.94 c 1059s | 24 | 6380108 | 3436162 | 2949 2793 | 76 | 104
1065.52/1065.97 c 1061s | 24 | 6387939 | 3440962 | 2949 2796 | 76 | 104
1067.52/1067.99 c 1063s | 24 | 6396519 | 3445962 | 2949 2799 | 76 | 104
1069.62/1070.01 c 1065s | 24 | 6404958 | 3451062 | 2949 2802 | 76 | 104
1071.61/1072.04 c 1067s | 24 | 6413068 | 3455862 | 2949 2805 | 76 | 104
1073.61/1074.05 c 1069s | 24 | 6421964 | 3460862 | 2949 2808 | 76 | 104
1075.61/1076.09 c 1072s | 24 | 6431054 | 3466062 | 2949 2812 | 76 | 104
1077.62/1078.09 c 1074s | 24 | 6439865 | 3470962 | 2949 2815 | 76 | 104
1079.71/1080.11 c 1076s | 24 | 6447986 | 3475762 | 2949 2818 | 76 | 104
1081.71/1082.14 c 1078s | 24 | 6457189 | 3480762 | 2949 2821 | 76 | 104
1083.71/1084.15 c 1080s | 24 | 6466407 | 3485762 | 2949 2824 | 76 | 104
1085.71/1086.18 c 1082s | 24 | 6474259 | 3490662 | 2949 2827 | 76 | 104
1087.81/1088.22 c 1084s | 24 | 6482925 | 3495762 | 2949 2830 | 76 | 104
1089.81/1090.23 c 1086s | 24 | 6492095 | 3501162 | 2949 2833 | 76 | 104
1091.80/1092.27 c 1088s | 24 | 6500502 | 3506262 | 2949 2837 | 76 | 104
1093.91/1094.31 c 1090s | 24 | 6508293 | 3511262 | 2949 2840 | 76 | 104
1095.90/1096.32 c 1092s | 24 | 6515704 | 3515962 | 2949 2843 | 76 | 104
1097.90/1098.35 c 1094s | 24 | 6522672 | 3520362 | 2949 2845 | 76 | 104
1099.90/1100.36 c 1096s | 24 | 6529760 | 3525162 | 2949 2848 | 76 | 104
1101.99/1102.40 c 1098s | 24 | 6536541 | 3529862 | 2949 2851 | 76 | 104
1104.01/1104.42 c 1100s | 24 | 6543352 | 3534562 | 2949 2854 | 76 | 104
1106.00/1106.44 c 1102s | 24 | 6551001 | 3539462 | 2949 2857 | 76 | 104
1107.99/1108.44 c 1104s | 24 | 6557318 | 3543862 | 2949 2860 | 76 | 104
1109.99/1110.47 c 1106s | 24 | 6565099 | 3548462 | 2949 2863 | 76 | 104
1112.09/1112.51 c 1108s | 24 | 6572284 | 3553062 | 2949 2866 | 76 | 104
1114.09/1114.53 c 1110s | 24 | 6579921 | 3557962 | 2949 2869 | 76 | 104
1116.09/1116.56 c 1112s | 24 | 6586345 | 3562362 | 2949 2871 | 76 | 104
1118.19/1118.60 c 1114s | 24 | 6592363 | 3566462 | 2949 2874 | 76 | 104
1120.18/1120.60 c 1116s | 24 | 6599387 | 3570862 | 2949 2877 | 76 | 104
1122.18/1122.62 c 1118s | 24 | 6606776 | 3575662 | 2949 2880 | 76 | 104
1124.19/1124.62 c 1120s | 24 | 6614826 | 3580762 | 2949 2883 | 76 | 104
1126.19/1126.64 c 1122s | 24 | 6622032 | 3585362 | 2949 2886 | 76 | 104
1128.20/1128.69 c 1124s | 24 | 6629048 | 3589862 | 2949 2889 | 76 | 104
1130.29/1130.72 c 1126s | 24 | 6636315 | 3594362 | 2949 2891 | 76 | 104
1132.28/1132.73 c 1128s | 24 | 6644306 | 3599262 | 2949 2894 | 76 | 104
1134.28/1134.76 c 1130s | 24 | 6652103 | 3604062 | 2949 2897 | 76 | 104
1136.28/1136.78 c 1132s | 24 | 6659572 | 3608962 | 2949 2900 | 76 | 104
1138.38/1138.81 c 1134s | 24 | 6666910 | 3613662 | 2949 2903 | 76 | 104
1140.38/1140.82 c 1136s | 24 | 6674742 | 3618562 | 2949 2906 | 76 | 104
1142.38/1142.83 c 1138s | 24 | 6682465 | 3623162 | 2949 2909 | 76 | 104
1144.38/1144.85 c 1140s | 24 | 6690008 | 3627562 | 2949 2912 | 76 | 104
1146.37/1146.86 c 1142s | 24 | 6697136 | 3631962 | 2949 2915 | 76 | 104
1148.38/1148.86 c 1144s | 24 | 6705086 | 3636962 | 2949 2918 | 76 | 104
1150.38/1150.87 c 1146s | 24 | 6712945 | 3641862 | 2949 2921 | 76 | 104
1152.38/1152.90 c 1148s | 24 | 6720167 | 3646562 | 2949 2924 | 76 | 104
1154.47/1154.92 c 1150s | 24 | 6727765 | 3651362 | 2949 2927 | 76 | 104
1156.47/1156.94 c 1152s | 24 | 6735518 | 3656162 | 2949 2930 | 76 | 104
1158.47/1158.96 c 1154s | 24 | 6743025 | 3660762 | 2949 2933 | 76 | 104
1160.56/1161.01 c 1156s | 24 | 6749824 | 3665362 | 2949 2936 | 76 | 104
1162.56/1163.02 c 1158s | 24 | 6755869 | 3669662 | 2949 2938 | 76 | 104
1164.58/1165.03 c 1160s | 24 | 6762931 | 3674262 | 2949 2941 | 76 | 104
1166.57/1167.08 c 1162s | 24 | 6769605 | 3678762 | 2949 2944 | 76 | 104
1168.67/1169.10 c 1165s | 24 | 6776360 | 3683362 | 2949 2947 | 76 | 104
1170.66/1171.12 c 1167s | 24 | 6783987 | 3688262 | 2949 2950 | 76 | 104
1172.66/1173.12 c 1169s | 24 | 6792104 | 3693262 | 2949 2953 | 76 | 104
1174.66/1175.13 c 1171s | 24 | 6801129 | 3698662 | 2949 2956 | 76 | 104
1176.67/1177.14 c 1173s | 24 | 6808923 | 3703762 | 2949 2959 | 76 | 104
1178.66/1179.17 c 1175s | 24 | 6816028 | 3708562 | 2949 2962 | 76 | 104
1180.76/1181.21 c 1177s | 24 | 6823414 | 3713462 | 2949 2966 | 76 | 104
1182.76/1183.24 c 1179s | 24 | 6830672 | 3718462 | 2949 2969 | 76 | 104
1184.76/1185.24 c 1181s | 24 | 6839001 | 3723662 | 2949 2972 | 76 | 104
1186.76/1187.28 c 1183s | 24 | 6846958 | 3728462 | 2949 2975 | 76 | 104
1188.86/1189.30 c 1185s | 24 | 6854920 | 3733462 | 2949 2978 | 76 | 104
1190.87/1191.34 c 1187s | 24 | 6861947 | 3738062 | 2949 2981 | 76 | 104
1192.86/1193.37 c 1189s | 24 | 6869926 | 3742962 | 2949 2984 | 76 | 104
1194.85/1195.39 c 1191s | 24 | 6877233 | 3747762 | 2949 2987 | 76 | 104
1196.95/1197.43 c 1193s | 24 | 6885163 | 3752762 | 2949 2990 | 76 | 104
1198.95/1199.49 c 1195s | 24 | 6892080 | 3757262 | 2949 2993 | 76 | 104
1200.96/1201.49 c 1197s | 24 | 6899523 | 3762162 | 2949 2996 | 76 | 104
1203.06/1203.52 c 1199s | 24 | 6908619 | 3767262 | 2949 2999 | 76 | 104
1205.05/1205.55 c 1201s | 24 | 6916080 | 3772262 | 2949 3002 | 76 | 104
1207.05/1207.58 c 1203s | 24 | 6923699 | 3777262 | 2949 3005 | 76 | 104
1209.15/1209.62 c 1205s | 24 | 6931935 | 3782262 | 2949 3008 | 76 | 104
1211.15/1211.64 c 1207s | 24 | 6940128 | 3787362 | 2949 3012 | 76 | 104
1213.15/1213.65 c 1209s | 24 | 6947946 | 3792462 | 2949 3015 | 76 | 104
1215.16/1215.67 c 1211s | 24 | 6957128 | 3797862 | 2949 3018 | 76 | 104
1217.15/1217.68 c 1213s | 24 | 6966718 | 3803162 | 2949 3021 | 76 | 104
1219.25/1219.70 c 1215s | 24 | 6975182 | 3808262 | 2949 3025 | 76 | 104
1221.25/1221.74 c 1217s | 24 | 6983311 | 3813262 | 2949 3028 | 76 | 104
1223.25/1223.74 c 1219s | 24 | 6991498 | 3817962 | 2949 3031 | 76 | 104
1225.25/1225.78 c 1221s | 24 | 6998944 | 3822762 | 2949 3034 | 76 | 104
1227.35/1227.80 c 1223s | 24 | 7006922 | 3827562 | 2949 3037 | 76 | 104
1229.36/1229.81 c 1225s | 24 | 7015971 | 3833162 | 2949 3040 | 76 | 104
1231.35/1231.83 c 1227s | 24 | 7024737 | 3838662 | 2949 3044 | 76 | 104
1233.35/1233.85 c 1229s | 24 | 7034856 | 3844162 | 2949 3047 | 76 | 104
1235.35/1235.89 c 1231s | 24 | 7042766 | 3849262 | 2949 3050 | 76 | 104
1237.45/1237.92 c 1233s | 24 | 7050640 | 3854162 | 2949 3053 | 76 | 104
1239.45/1239.94 c 1235s | 24 | 7057802 | 3858762 | 2949 3056 | 76 | 104
1241.45/1241.95 c 1237s | 24 | 7065518 | 3863462 | 2949 3059 | 76 | 104
1243.44/1243.98 c 1239s | 24 | 7073791 | 3868662 | 2949 3062 | 76 | 104
1245.55/1246.01 c 1241s | 24 | 7081595 | 3873662 | 2949 3065 | 76 | 104
1247.55/1248.05 c 1243s | 24 | 7088929 | 3878562 | 2949 3068 | 76 | 104
1249.55/1250.05 c 1245s | 24 | 7096373 | 3883562 | 2949 3071 | 76 | 104
1251.55/1252.08 c 1247s | 24 | 7104729 | 3888762 | 2949 3075 | 76 | 104
1253.65/1254.12 c 1250s | 24 | 7112010 | 3893562 | 2949 3078 | 76 | 104
1255.65/1256.15 c 1252s | 24 | 7119666 | 3898562 | 2949 3081 | 76 | 104
1257.65/1258.18 c 1254s | 24 | 7129489 | 3904362 | 2949 3084 | 76 | 104
1259.65/1260.18 c 1256s | 24 | 7138557 | 3909562 | 2949 3088 | 76 | 104
1261.75/1262.20 c 1258s | 24 | 7147302 | 3914862 | 2949 3091 | 76 | 104
1263.74/1264.23 c 1260s | 24 | 7155379 | 3919762 | 2949 3094 | 76 | 104
1265.75/1266.25 c 1262s | 24 | 7162288 | 3924462 | 2949 3097 | 76 | 104
1267.74/1268.26 c 1264s | 24 | 7169563 | 3928862 | 2949 3100 | 76 | 104
1269.84/1270.31 c 1266s | 24 | 7177451 | 3933762 | 2949 3103 | 76 | 104
1271.84/1272.31 c 1268s | 24 | 7184771 | 3938462 | 2949 3106 | 76 | 104
1273.84/1274.34 c 1270s | 24 | 7191387 | 3943062 | 2949 3109 | 76 | 104
1275.84/1276.36 c 1272s | 24 | 7198401 | 3947862 | 2949 3111 | 76 | 104
1277.84/1278.40 c 1274s | 24 | 7205437 | 3952662 | 2949 3114 | 76 | 104
1279.94/1280.42 c 1276s | 24 | 7213209 | 3957662 | 2949 3118 | 76 | 104
1281.95/1282.44 c 1278s | 24 | 7220474 | 3962562 | 2949 3121 | 76 | 104
1283.95/1284.47 c 1280s | 24 | 7227924 | 3966962 | 2949 3123 | 76 | 104
1285.95/1286.50 c 1282s | 24 | 7234021 | 3971162 | 2949 3126 | 76 | 104
1288.05/1288.53 c 1284s | 24 | 7241254 | 3975762 | 2949 3129 | 76 | 104
1290.05/1290.55 c 1286s | 24 | 7247885 | 3980162 | 2949 3132 | 76 | 104
1292.05/1292.56 c 1288s | 24 | 7257176 | 3985062 | 2949 3135 | 76 | 104
1294.04/1294.57 c 1290s | 24 | 7268484 | 3990862 | 2949 3138 | 76 | 104
1296.14/1296.62 c 1292s | 24 | 7278172 | 3996462 | 2949 3142 | 76 | 104
1298.14/1298.62 c 1294s | 24 | 7287032 | 4001862 | 2949 3145 | 76 | 104
1300.14/1300.63 c 1296s | 24 | 7295561 | 4006962 | 2949 3148 | 76 | 104
1302.14/1302.65 c 1298s | 24 | 7306939 | 4012662 | 2949 3152 | 76 | 104
1304.15/1304.67 c 1300s | 24 | 7318502 | 4018462 | 2949 3155 | 76 | 104
1306.14/1306.68 c 1302s | 24 | 7328799 | 4023662 | 2949 3159 | 76 | 104
1308.14/1308.68 c 1304s | 24 | 7341357 | 4029162 | 2949 3162 | 76 | 104
1310.24/1310.70 c 1306s | 24 | 7352836 | 4034562 | 2949 3165 | 76 | 104
1312.24/1312.74 c 1308s | 24 | 7363845 | 4039662 | 2949 3169 | 76 | 104
1314.24/1314.76 c 1310s | 24 | 7374933 | 4045062 | 2949 3172 | 76 | 104
1316.24/1316.76 c 1312s | 24 | 7385544 | 4050362 | 2949 3175 | 76 | 104
1318.23/1318.79 c 1314s | 24 | 7397687 | 4055962 | 2949 3179 | 76 | 104
1320.34/1320.81 c 1316s | 24 | 7406676 | 4061262 | 2949 3182 | 76 | 104
1322.34/1322.83 c 1318s | 24 | 7416942 | 4066862 | 2949 3185 | 76 | 104
1324.34/1324.84 c 1320s | 24 | 7426196 | 4072062 | 2949 3189 | 76 | 104
1326.33/1326.85 c 1322s | 24 | 7435305 | 4077562 | 2949 3192 | 76 | 104
1328.45/1328.91 c 1324s | 24 | 7445811 | 4083162 | 2949 3196 | 76 | 104
1330.44/1330.94 c 1326s | 24 | 7456005 | 4088562 | 2949 3199 | 76 | 104
1332.43/1332.98 c 1328s | 24 | 7466959 | 4094162 | 2949 3202 | 76 | 104
1334.43/1334.99 c 1330s | 24 | 7476476 | 4099462 | 2949 3206 | 76 | 104
1336.53/1337.03 c 1332s | 24 | 7487244 | 4105162 | 2949 3209 | 76 | 104
1338.53/1339.03 c 1334s | 24 | 7496034 | 4110562 | 2949 3213 | 76 | 104
1340.54/1341.05 c 1336s | 24 | 7505167 | 4115962 | 2949 3216 | 76 | 104
1342.53/1343.06 c 1338s | 24 | 7514382 | 4121462 | 2949 3219 | 76 | 104
1344.53/1345.08 c 1340s | 24 | 7523467 | 4127062 | 2949 3223 | 76 | 104
1346.53/1347.09 c 1343s | 24 | 7532013 | 4132162 | 2949 3226 | 76 | 104
1348.64/1349.13 c 1345s | 24 | 7541502 | 4137562 | 2949 3229 | 76 | 104
1350.63/1351.17 c 1347s | 24 | 7550448 | 4142762 | 2949 3233 | 76 | 104
1352.73/1353.20 c 1349s | 24 | 7558462 | 4147862 | 2949 3236 | 76 | 104
1354.74/1355.23 c 1351s | 24 | 7567976 | 4153162 | 2949 3239 | 76 | 104
1356.73/1357.26 c 1353s | 24 | 7578535 | 4159162 | 2949 3243 | 76 | 104
1358.73/1359.26 c 1355s | 24 | 7589357 | 4165062 | 2949 3246 | 76 | 104
1360.73/1361.27 c 1357s | 24 | 7600890 | 4170962 | 2949 3250 | 76 | 104
1362.73/1363.29 c 1359s | 24 | 7612256 | 4176862 | 2949 3254 | 76 | 104
1364.83/1365.30 c 1361s | 24 | 7624303 | 4182762 | 2949 3257 | 76 | 104
1366.84/1367.33 c 1363s | 24 | 7634622 | 4188362 | 2949 3261 | 76 | 104
1368.83/1369.33 c 1365s | 24 | 7645268 | 4193862 | 2949 3264 | 76 | 104
1370.83/1371.35 c 1367s | 24 | 7655892 | 4199562 | 2949 3268 | 76 | 104
1372.83/1373.38 c 1369s | 24 | 7665971 | 4205162 | 2949 3271 | 76 | 104
1374.92/1375.41 c 1371s | 24 | 7676336 | 4211162 | 2949 3275 | 76 | 104
1376.93/1377.41 c 1373s | 24 | 7685972 | 4216462 | 2949 3278 | 76 | 104
1378.93/1379.41 c 1375s | 24 | 7696430 | 4222062 | 2949 3282 | 76 | 104
1380.93/1381.43 c 1377s | 24 | 7706048 | 4227562 | 2949 3285 | 76 | 104
1382.92/1383.45 c 1379s | 24 | 7715682 | 4232762 | 2949 3289 | 76 | 104
1384.92/1385.49 c 1381s | 24 | 7725277 | 4238062 | 2949 3292 | 76 | 104
1387.02/1387.50 c 1383s | 24 | 7735102 | 4243362 | 2949 3295 | 76 | 104
1389.03/1389.56 c 1385s | 24 | 7745047 | 4248762 | 2949 3299 | 76 | 104
1391.03/1391.56 c 1387s | 24 | 7753767 | 4253662 | 2949 3302 | 76 | 104
1393.03/1393.58 c 1389s | 24 | 7763545 | 4258862 | 2949 3305 | 76 | 104
1395.12/1395.61 c 1391s | 24 | 7773202 | 4264162 | 2949 3308 | 76 | 104
1397.13/1397.64 c 1393s | 24 | 7783900 | 4269962 | 2949 3312 | 76 | 104
1399.13/1399.66 c 1395s | 24 | 7796374 | 4276062 | 2949 3316 | 76 | 104
1401.13/1401.68 c 1397s | 24 | 7807680 | 4281962 | 2949 3319 | 76 | 104
1403.23/1403.70 c 1399s | 24 | 7819442 | 4287862 | 2949 3323 | 76 | 104
1405.22/1405.72 c 1401s | 24 | 7831535 | 4293862 | 2949 3327 | 76 | 104
1407.22/1407.73 c 1403s | 24 | 7843089 | 4299762 | 2949 3330 | 76 | 104
1409.22/1409.75 c 1405s | 24 | 7854583 | 4305562 | 2949 3334 | 76 | 104
1411.22/1411.78 c 1407s | 24 | 7866426 | 4311462 | 2949 3338 | 76 | 104
1413.32/1413.81 c 1409s | 24 | 7877475 | 4317162 | 2949 3341 | 76 | 104
1415.33/1415.81 c 1411s | 24 | 7887006 | 4322562 | 2949 3344 | 76 | 104
1417.33/1417.83 c 1413s | 24 | 7896554 | 4327762 | 2949 3348 | 76 | 104
1419.32/1419.85 c 1415s | 24 | 7908102 | 4333562 | 2949 3351 | 76 | 104
1421.32/1421.86 c 1417s | 24 | 7918401 | 4338862 | 2949 3355 | 76 | 104
1423.42/1423.90 c 1419s | 24 | 7929915 | 4344862 | 2949 3358 | 76 | 104
1425.42/1425.94 c 1421s | 24 | 7941432 | 4350762 | 2949 3362 | 76 | 104
1427.42/1427.95 c 1423s | 24 | 7952491 | 4356362 | 2949 3366 | 76 | 104
1429.42/1429.98 c 1425s | 24 | 7964830 | 4362362 | 2949 3369 | 76 | 104
1431.42/1431.99 c 1427s | 24 | 7976675 | 4368262 | 2949 3373 | 76 | 104
1433.52/1434.00 c 1429s | 24 | 7988377 | 4374262 | 2949 3377 | 76 | 104
1435.52/1436.01 c 1431s | 24 | 7999404 | 4380262 | 2949 3380 | 76 | 104
1437.52/1438.04 c 1433s | 24 | 8012075 | 4386462 | 2949 3384 | 76 | 104
1439.52/1440.05 c 1435s | 24 | 8023955 | 4392362 | 2949 3388 | 76 | 104
1441.52/1442.08 c 1437s | 24 | 8036797 | 4398462 | 2949 3392 | 76 | 104
1443.62/1444.10 c 1440s | 24 | 8049026 | 4404362 | 2949 3395 | 76 | 104
1445.61/1446.12 c 1442s | 24 | 8060509 | 4410262 | 2949 3399 | 76 | 104
1447.62/1448.15 c 1444s | 24 | 8071200 | 4415562 | 2949 3402 | 76 | 104
1449.62/1450.17 c 1446s | 24 | 8081825 | 4421162 | 2949 3406 | 76 | 104
1451.72/1452.20 c 1448s | 24 | 8091935 | 4426462 | 2949 3409 | 76 | 104
1453.72/1454.20 c 1450s | 24 | 8102470 | 4431862 | 2949 3412 | 76 | 104
1455.71/1456.23 c 1452s | 24 | 8112749 | 4437162 | 2949 3416 | 76 | 104
1457.71/1458.26 c 1454s | 24 | 8123264 | 4442562 | 2949 3419 | 76 | 104
1459.71/1460.27 c 1456s | 24 | 8134563 | 4448362 | 2949 3423 | 76 | 104
1461.71/1462.29 c 1458s | 24 | 8146092 | 4453962 | 2949 3426 | 76 | 104
1463.81/1464.33 c 1460s | 24 | 8156468 | 4459262 | 2949 3430 | 76 | 104
1465.82/1466.37 c 1462s | 24 | 8167063 | 4464662 | 2949 3433 | 76 | 104
1467.81/1468.39 c 1464s | 24 | 8176809 | 4469862 | 2949 3436 | 76 | 104
1469.91/1470.41 c 1466s | 24 | 8187676 | 4475362 | 2949 3440 | 76 | 104
1471.91/1472.43 c 1468s | 24 | 8197610 | 4480662 | 2949 3443 | 76 | 104
1473.91/1474.44 c 1470s | 24 | 8208093 | 4485962 | 2949 3446 | 76 | 104
1475.92/1476.48 c 1472s | 24 | 8218737 | 4491362 | 2949 3450 | 76 | 104
1477.92/1478.49 c 1474s | 24 | 8230847 | 4497362 | 2949 3453 | 76 | 104
1480.02/1480.51 c 1476s | 24 | 8243344 | 4503862 | 2949 3457 | 76 | 104
1482.02/1482.54 c 1478s | 24 | 8253847 | 4509462 | 2949 3461 | 76 | 104
1484.01/1484.57 c 1480s | 24 | 8264676 | 4514962 | 2949 3464 | 76 | 104
1486.01/1486.58 c 1482s | 24 | 8275566 | 4520462 | 2949 3468 | 76 | 104
1488.11/1488.60 c 1484s | 24 | 8286359 | 4525862 | 2949 3471 | 76 | 104
1490.12/1490.60 c 1486s | 24 | 8296698 | 4531162 | 2949 3474 | 76 | 104
1492.11/1492.61 c 1488s | 24 | 8305986 | 4535962 | 2949 3477 | 76 | 104
1494.11/1494.64 c 1490s | 24 | 8315577 | 4540762 | 2949 3480 | 76 | 104
1496.11/1496.65 c 1492s | 24 | 8326452 | 4546762 | 2949 3484 | 76 | 104
1498.11/1498.67 c 1494s | 24 | 8338348 | 4552962 | 2949 3488 | 76 | 104
1500.11/1500.69 c 1496s | 24 | 8350477 | 4559162 | 2949 3492 | 76 | 104
1502.11/1502.70 c 1498s | 24 | 8362372 | 4565462 | 2949 3496 | 76 | 104
1504.20/1504.72 c 1500s | 24 | 8375126 | 4571962 | 2949 3500 | 76 | 104
1506.21/1506.72 c 1502s | 24 | 8386703 | 4578162 | 2949 3504 | 76 | 104
1508.21/1508.75 c 1504s | 24 | 8398557 | 4584462 | 2949 3508 | 76 | 104
1510.21/1510.78 c 1506s | 24 | 8409598 | 4590262 | 2949 3511 | 76 | 104
1512.31/1512.81 c 1508s | 24 | 8420918 | 4596062 | 2949 3515 | 76 | 104
1514.31/1514.82 c 1510s | 24 | 8432024 | 4601862 | 2949 3518 | 76 | 104
1516.30/1516.85 c 1512s | 24 | 8441889 | 4607062 | 2949 3522 | 76 | 104
1518.30/1518.86 c 1514s | 24 | 8452342 | 4612662 | 2949 3525 | 76 | 104
1520.30/1520.89 c 1516s | 24 | 8463680 | 4618762 | 2949 3529 | 76 | 104
1522.41/1522.90 c 1518s | 24 | 8474348 | 4624562 | 2949 3533 | 76 | 104
1524.41/1524.91 c 1520s | 24 | 8486902 | 4630762 | 2949 3536 | 76 | 104
1526.41/1526.91 c 1522s | 24 | 8499519 | 4636962 | 2949 3540 | 76 | 104
1528.40/1528.95 c 1524s | 24 | 8510007 | 4642662 | 2949 3544 | 76 | 104
1530.40/1530.96 c 1526s | 24 | 8520846 | 4648362 | 2949 3547 | 76 | 104
1532.41/1532.98 c 1528s | 24 | 8533059 | 4654062 | 2949 3551 | 76 | 104
1534.50/1535.00 c 1530s | 24 | 8543595 | 4659762 | 2949 3554 | 76 | 104
1536.50/1537.03 c 1532s | 24 | 8554538 | 4665662 | 2949 3558 | 76 | 104
1538.51/1539.05 c 1534s | 24 | 8565324 | 4671362 | 2949 3562 | 76 | 104
1540.50/1541.05 c 1536s | 24 | 8576468 | 4676862 | 2949 3565 | 76 | 104
1542.50/1543.09 c 1539s | 24 | 8586802 | 4682162 | 2949 3568 | 76 | 104
1544.60/1545.11 c 1541s | 24 | 8598166 | 4688162 | 2949 3572 | 76 | 104
1546.60/1547.13 c 1543s | 24 | 8608284 | 4693562 | 2949 3576 | 76 | 104
1548.61/1549.14 c 1545s | 24 | 8619728 | 4699462 | 2949 3579 | 76 | 104
1550.61/1551.15 c 1547s | 24 | 8630566 | 4705162 | 2949 3583 | 76 | 104
1552.61/1553.17 c 1549s | 24 | 8641852 | 4711062 | 2949 3586 | 76 | 104
1554.60/1555.19 c 1551s | 24 | 8654229 | 4717462 | 2949 3590 | 76 | 104
1556.70/1557.20 c 1553s | 24 | 8666950 | 4723762 | 2949 3594 | 76 | 104
1558.70/1559.21 c 1555s | 24 | 8679254 | 4729662 | 2949 3598 | 76 | 104
1560.70/1561.22 c 1557s | 24 | 8690550 | 4735362 | 2949 3602 | 76 | 104
1562.71/1563.24 c 1559s | 24 | 8702310 | 4741362 | 2949 3605 | 76 | 104
1564.70/1565.25 c 1561s | 24 | 8715758 | 4747362 | 2949 3609 | 76 | 104
1566.70/1567.26 c 1563s | 24 | 8726844 | 4753262 | 2949 3613 | 76 | 104
1568.70/1569.28 c 1565s | 24 | 8738545 | 4759262 | 2949 3616 | 76 | 104
1570.79/1571.31 c 1567s | 24 | 8750340 | 4765462 | 2949 3620 | 76 | 104
1572.80/1573.32 c 1569s | 24 | 8762213 | 4771262 | 2949 3624 | 76 | 104
1574.80/1575.34 c 1571s | 24 | 8772617 | 4776662 | 2949 3627 | 76 | 104
1576.80/1577.38 c 1573s | 24 | 8782908 | 4782162 | 2949 3631 | 76 | 104
1578.90/1579.41 c 1575s | 24 | 8792820 | 4787362 | 2949 3634 | 76 | 104
1580.90/1581.45 c 1577s | 24 | 8801992 | 4792462 | 2949 3637 | 76 | 104
1582.90/1583.47 c 1579s | 24 | 8811689 | 4797562 | 2949 3640 | 76 | 104
1585.00/1585.50 c 1581s | 24 | 8821402 | 4802562 | 2949 3643 | 76 | 104
1587.00/1587.50 c 1583s | 24 | 8831443 | 4807962 | 2949 3647 | 76 | 104
1589.00/1589.54 c 1585s | 24 | 8841085 | 4813162 | 2949 3650 | 76 | 104
1590.99/1591.59 c 1587s | 24 | 8851273 | 4818562 | 2949 3653 | 76 | 104
1593.09/1593.61 c 1589s | 24 | 8861816 | 4823762 | 2949 3657 | 76 | 104
1595.09/1595.62 c 1591s | 24 | 8872886 | 4829862 | 2949 3660 | 76 | 104
1597.09/1597.63 c 1593s | 24 | 8884389 | 4835862 | 2949 3664 | 76 | 104
1599.09/1599.65 c 1595s | 24 | 8896434 | 4842062 | 2949 3668 | 76 | 104
1601.10/1601.67 c 1597s | 24 | 8907448 | 4847662 | 2949 3672 | 76 | 104
1603.09/1603.69 c 1599s | 24 | 8918491 | 4853262 | 2949 3675 | 76 | 104
1605.19/1605.72 c 1601s | 24 | 8930540 | 4859062 | 2949 3679 | 76 | 104
1607.19/1607.74 c 1603s | 24 | 8941718 | 4864662 | 2949 3682 | 76 | 104
1609.19/1609.76 c 1605s | 24 | 8952453 | 4870262 | 2949 3686 | 76 | 104
1611.20/1611.77 c 1607s | 24 | 8962465 | 4875562 | 2949 3689 | 76 | 104
1613.20/1613.79 c 1609s | 24 | 8971271 | 4880562 | 2949 3692 | 76 | 104
1615.30/1615.82 c 1611s | 24 | 8981695 | 4885762 | 2949 3695 | 76 | 104
1617.29/1617.86 c 1613s | 24 | 8992067 | 4891062 | 2949 3699 | 76 | 104
1619.29/1619.89 c 1615s | 24 | 9002470 | 4896362 | 2949 3702 | 76 | 104
1621.39/1621.91 c 1617s | 24 | 9011540 | 4901162 | 2949 3705 | 76 | 104
1623.39/1623.97 c 1619s | 24 | 9021059 | 4906062 | 2949 3708 | 76 | 104
1625.40/1625.97 c 1621s | 24 | 9031012 | 4911162 | 2949 3711 | 76 | 104
1627.39/1627.98 c 1623s | 24 | 9040478 | 4916062 | 2949 3714 | 76 | 104
1629.49/1630.00 c 1625s | 24 | 9050388 | 4921162 | 2949 3717 | 76 | 104
1631.49/1632.03 c 1627s | 24 | 9060167 | 4926262 | 2949 3720 | 76 | 104
1633.49/1634.06 c 1629s | 24 | 9070242 | 4931162 | 2949 3724 | 76 | 104
1635.49/1636.07 c 1631s | 24 | 9079381 | 4935962 | 2949 3727 | 76 | 104
1637.59/1638.13 c 1634s | 24 | 9088407 | 4940762 | 2949 3730 | 76 | 104
1639.59/1640.16 c 1636s | 24 | 9097582 | 4945662 | 2949 3733 | 76 | 104
1641.59/1642.16 c 1638s | 24 | 9105896 | 4950262 | 2949 3735 | 76 | 104
1643.59/1644.18 c 1640s | 24 | 9113692 | 4954762 | 2949 3738 | 76 | 104
1645.69/1646.22 c 1642s | 24 | 9121107 | 4958962 | 2949 3741 | 76 | 104
1647.69/1648.25 c 1644s | 24 | 9129001 | 4963262 | 2949 3744 | 76 | 104
1649.69/1650.27 c 1646s | 24 | 9138701 | 4968662 | 2949 3747 | 76 | 104
1651.69/1652.29 c 1648s | 24 | 9149090 | 4974362 | 2949 3750 | 76 | 104
1653.78/1654.31 c 1650s | 24 | 9159338 | 4979962 | 2949 3754 | 76 | 104
1655.78/1656.32 c 1652s | 24 | 9170051 | 4985462 | 2949 3757 | 76 | 104
1657.78/1658.33 c 1654s | 24 | 9179279 | 4990362 | 2949 3760 | 76 | 104
1659.78/1660.38 c 1656s | 24 | 9190332 | 4995962 | 2949 3764 | 76 | 104
1661.88/1662.40 c 1658s | 24 | 9201007 | 5001462 | 2949 3767 | 76 | 104
1663.89/1664.43 c 1660s | 24 | 9211541 | 5006862 | 3244 3770 | 76 | 104
1665.88/1666.45 c 1662s | 24 | 9221096 | 5011962 | 3244 3773 | 76 | 104
1667.88/1668.48 c 1664s | 24 | 9231443 | 5017262 | 3244 3776 | 76 | 104
1669.98/1670.51 c 1666s | 24 | 9241720 | 5022362 | 3244 3779 | 76 | 104
1671.98/1672.54 c 1668s | 24 | 9251515 | 5027562 | 3244 3782 | 76 | 104
1673.98/1674.54 c 1670s | 24 | 9263054 | 5033362 | 3244 3785 | 76 | 104
1675.99/1676.57 c 1672s | 24 | 9273235 | 5038762 | 3244 3788 | 76 | 104
1677.98/1678.58 c 1674s | 24 | 9285048 | 5044362 | 3244 3792 | 76 | 104
1680.08/1680.63 c 1676s | 24 | 9295390 | 5049762 | 3244 3795 | 76 | 104
1682.08/1682.64 c 1678s | 24 | 9306152 | 5055162 | 3244 3798 | 76 | 104
1684.08/1684.67 c 1680s | 24 | 9317227 | 5060762 | 3244 3801 | 76 | 104
1685.68/1686.28 c 1682s | 25 | 9325442 | 5065098 | 3244 3803 | 76 | 104
1687.78/1688.31 c 1684s | 25 | 9336589 | 5070998 | 3244 3807 | 76 | 104
1689.78/1690.34 c 1686s | 25 | 9347203 | 5076798 | 3244 3810 | 76 | 104
1691.78/1692.35 c 1688s | 25 | 9358716 | 5082198 | 3244 3813 | 76 | 104
1693.77/1694.38 c 1690s | 25 | 9368744 | 5087598 | 3244 3816 | 76 | 104
1695.88/1696.42 c 1692s | 25 | 9379488 | 5093198 | 3244 3820 | 76 | 104
1697.89/1698.42 c 1694s | 25 | 9389807 | 5098698 | 3244 3823 | 76 | 104
1699.88/1700.45 c 1696s | 25 | 9400197 | 5103998 | 3244 3826 | 76 | 104
1701.88/1702.45 c 1698s | 25 | 9411112 | 5109198 | 3244 3829 | 76 | 104
1703.88/1704.46 c 1700s | 25 | 9420756 | 5114298 | 3244 3832 | 76 | 104
1705.88/1706.48 c 1702s | 25 | 9428823 | 5119498 | 3244 3835 | 76 | 104
1707.88/1708.49 c 1704s | 25 | 9439137 | 5124898 | 3244 3838 | 76 | 104
1709.98/1710.52 c 1706s | 25 | 9449737 | 5130398 | 3244 3841 | 76 | 104
1711.98/1712.55 c 1708s | 25 | 9459341 | 5135398 | 3244 3844 | 76 | 104
1713.98/1714.55 c 1710s | 25 | 9467778 | 5140298 | 3244 3846 | 76 | 104
1715.98/1716.57 c 1712s | 25 | 9477258 | 5145598 | 3244 3849 | 76 | 104
1718.08/1718.60 c 1714s | 25 | 9487610 | 5150598 | 3244 3852 | 76 | 104
1720.08/1720.61 c 1716s | 25 | 9496142 | 5155298 | 3244 3855 | 76 | 104
1722.18/1722.72 c 1718s | 25 | 9504689 | 5160098 | 3244 3858 | 76 | 104
1724.18/1724.74 c 1720s | 25 | 9514392 | 5165198 | 3244 3860 | 76 | 104
1726.17/1726.76 c 1722s | 25 | 9522983 | 5170298 | 3244 3863 | 76 | 104
1728.17/1728.78 c 1724s | 25 | 9531730 | 5175398 | 3244 3866 | 76 | 104
1730.17/1730.80 c 1726s | 25 | 9541684 | 5180998 | 3244 3869 | 76 | 104
1732.28/1732.82 c 1728s | 25 | 9552498 | 5185998 | 3244 3872 | 76 | 104
1734.28/1734.83 c 1730s | 25 | 9561602 | 5190798 | 3244 3875 | 76 | 104
1736.27/1736.85 c 1732s | 25 | 9570007 | 5195498 | 3244 3878 | 76 | 104
1738.28/1738.88 c 1734s | 25 | 9578190 | 5200098 | 3244 3880 | 76 | 104
1740.37/1740.91 c 1736s | 25 | 9587821 | 5204998 | 3244 3883 | 76 | 104
1742.37/1742.95 c 1738s | 25 | 9596774 | 5210098 | 3244 3886 | 76 | 104
1744.37/1744.98 c 1740s | 25 | 9606258 | 5215498 | 3244 3889 | 76 | 104
1746.47/1747.00 c 1742s | 25 | 9617529 | 5220998 | 3244 3892 | 76 | 104
1748.48/1749.02 c 1744s | 25 | 9627477 | 5225998 | 3244 3895 | 76 | 104
1750.47/1751.04 c 1746s | 25 | 9636208 | 5230598 | 3244 3898 | 76 | 104
1752.47/1753.05 c 1748s | 25 | 9646063 | 5235598 | 3244 3900 | 76 | 104
1754.47/1755.08 c 1750s | 25 | 9654964 | 5240698 | 3244 3903 | 76 | 104
1756.57/1757.12 c 1753s | 25 | 9664419 | 5245598 | 3244 3906 | 76 | 104
1758.56/1759.12 c 1755s | 25 | 9673736 | 5250198 | 3244 3909 | 76 | 104
1760.57/1761.13 c 1757s | 25 | 9683403 | 5254798 | 3244 3911 | 76 | 104
1762.56/1763.15 c 1759s | 25 | 9693528 | 5259698 | 3244 3914 | 76 | 104
1764.57/1765.17 c 1761s | 25 | 9703452 | 5264398 | 3244 3917 | 76 | 104
1766.67/1767.20 c 1763s | 25 | 9712489 | 5269198 | 3244 3919 | 76 | 104
1768.67/1769.22 c 1765s | 25 | 9721873 | 5274298 | 3244 3922 | 76 | 104
1770.67/1771.25 c 1767s | 25 | 9730102 | 5278898 | 3244 3925 | 76 | 104
1772.68/1773.27 c 1769s | 25 | 9738572 | 5283598 | 3244 3928 | 76 | 104
1774.77/1775.31 c 1771s | 25 | 9746796 | 5288098 | 3244 3930 | 76 | 104
1776.77/1777.37 c 1773s | 25 | 9754419 | 5292398 | 3244 3933 | 76 | 104
1778.77/1779.39 c 1775s | 25 | 9762472 | 5296598 | 3244 3935 | 76 | 104
1780.87/1781.42 c 1777s | 25 | 9768757 | 5300598 | 3244 3937 | 76 | 104
1782.87/1783.44 c 1779s | 25 | 9775974 | 5304998 | 3244 3940 | 76 | 104
1784.87/1785.47 c 1781s | 25 | 9784164 | 5309798 | 3244 3942 | 76 | 104
1786.86/1787.48 c 1783s | 25 | 9792038 | 5314398 | 3244 3945 | 76 | 104
1788.96/1789.53 c 1785s | 25 | 9799564 | 5318898 | 3244 3948 | 76 | 104
1790.96/1791.55 c 1787s | 25 | 9807712 | 5323798 | 3244 3950 | 76 | 104
1792.97/1793.56 c 1789s | 25 | 9816279 | 5328698 | 3244 3953 | 76 | 104
1795.07/1795.60 c 1791s | 25 | 9824357 | 5333498 | 3244 3956 | 76 | 104
1797.07/1797.65 c 1793s | 25 | 9832794 | 5338398 | 3244 3959 | 76 | 104
1799.07/1799.67 c 1795s | 25 | 9840686 | 5343198 | 3244 3961 | 76 | 104
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-4079645-1465234387/watcher-4079645-1465234387 -o /tmp/evaluation-result-4079645-1465234387/solver-4079645-1465234387 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079645-1465234387.opb
pid=10702
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.12 2.05 2.01 3/179 10705
/proc/meminfo: memFree=30559780/32872528 swapFree=11196/354588
[pid=10705] ppid=10702 vsize=707004 CPUtime=0 cores=1,3,5,7
/proc/10705/stat : 10705 (toysat) R 10702 10705 8429 0 -1 4202496 2630 0 0 0 0 0 0 0 20 0 4 0 105372202 723972096 3503 33554432000 4194304 16246674 140734964636528 140734964635952 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10705/statm: 177263 3512 441 2943 0 174157 0
[pid=10705/tid=10706] ppid=10702 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10706/stat : 10706 (toysat) S 10702 10705 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105372202 741797888 3573 33554432000 4194304 16246674 140734964636528 140511859944688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10705/tid=10707] ppid=10702 vsize=728508 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10707/stat : 10707 (toysat) S 10702 10705 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105372202 745992192 3589 33554432000 4194304 16246674 140734964636528 140511849454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10705/tid=10708] ppid=10702 vsize=733628 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 751235072 3607 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.100146 s]
/proc/loadavg: 2.12 2.05 2.01 3/179 10705
/proc/meminfo: memFree=30559780/32872528 swapFree=11196/354588
[pid=10705] ppid=10702 vsize=1219140 CPUtime=0.09 cores=1,3,5,7
/proc/10705/stat : 10705 (toysat) R 10702 10705 8429 0 -1 4202496 17113 0 0 0 6 3 0 0 20 0 4 0 105372202 1248399360 17950 33554432000 4194304 16246674 140734964636528 140734964619256 14073233 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10705/statm: 304785 17950 849 2943 0 301679 0
[pid=10705/tid=10706] ppid=10702 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10706/stat : 10706 (toysat) S 10702 10705 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105372202 1248399360 17950 33554432000 4194304 16246674 140734964636528 140511859944688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10705/tid=10707] ppid=10702 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10707/stat : 10707 (toysat) S 10702 10705 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105372202 1248399360 17950 33554432000 4194304 16246674 140734964636528 140511849454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10705/tid=10708] ppid=10702 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 1248399360 17950 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1219140
[startup+0.200429 s]
/proc/loadavg: 2.12 2.05 2.01 3/179 10705
/proc/meminfo: memFree=30559780/32872528 swapFree=11196/354588
[pid=10705] ppid=10702 vsize=1219140 CPUtime=0.18 cores=1,3,5,7
/proc/10705/stat : 10705 (toysat) R 10702 10705 8429 0 -1 4202496 35143 0 0 0 13 5 0 0 20 0 4 0 105372202 1248399360 35981 33554432000 4194304 16246674 140734964636528 140734964619256 6021055 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10705/statm: 304785 35989 849 2943 0 301679 0
[pid=10705/tid=10706] ppid=10702 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10706/stat : 10706 (toysat) S 10702 10705 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105372202 1248399360 35997 33554432000 4194304 16246674 140734964636528 140511859944688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10705/tid=10707] ppid=10702 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10707/stat : 10707 (toysat) S 10702 10705 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105372202 1248399360 36003 33554432000 4194304 16246674 140734964636528 140511849454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10705/tid=10708] ppid=10702 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 1248399360 36010 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1219140
[startup+0.300451 s]
/proc/loadavg: 2.12 2.05 2.01 3/179 10705
/proc/meminfo: memFree=30559780/32872528 swapFree=11196/354588
[pid=10705] ppid=10702 vsize=1305156 CPUtime=0.29 cores=1,3,5,7
/proc/10705/stat : 10705 (toysat) R 10702 10705 8429 0 -1 4202496 53320 0 0 0 21 8 0 0 20 0 4 0 105372202 1336479744 54158 33554432000 4194304 16246674 140734964636528 140734964619256 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10705/statm: 326289 54163 849 2943 0 323183 0
[pid=10705/tid=10706] ppid=10702 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10706/stat : 10706 (toysat) S 10702 10705 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105372202 1336479744 54167 33554432000 4194304 16246674 140734964636528 140511859944688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10705/tid=10707] ppid=10702 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10707/stat : 10707 (toysat) S 10702 10705 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105372202 1336479744 54174 33554432000 4194304 16246674 140734964636528 140511849454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10705/tid=10708] ppid=10702 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 1336479744 54180 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1305156
[startup+0.70034 s]
/proc/loadavg: 2.12 2.05 2.01 3/179 10705
/proc/meminfo: memFree=30559780/32872528 swapFree=11196/354588
[pid=10705] ppid=10702 vsize=1305156 CPUtime=0.69 cores=1,3,5,7
/proc/10705/stat : 10705 (toysat) R 10702 10705 8429 0 -1 4202496 101317 0 0 0 55 14 0 0 20 0 4 0 105372202 1336479744 102155 33554432000 4194304 16246674 140734964636528 140734964619528 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10705/statm: 326289 102167 849 2943 0 323183 0
[pid=10705/tid=10706] ppid=10702 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10706/stat : 10706 (toysat) S 10702 10705 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105372202 1336479744 102171 33554432000 4194304 16246674 140734964636528 140511859944688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10705/tid=10707] ppid=10702 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10707/stat : 10707 (toysat) S 10702 10705 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105372202 1336479744 102175 33554432000 4194304 16246674 140734964636528 140511849454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10705/tid=10708] ppid=10702 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 1336479744 102179 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1305156
[startup+1.50039 s]
/proc/loadavg: 2.12 2.05 2.01 3/183 10709
/proc/meminfo: memFree=29823804/32872528 swapFree=11196/354588
[pid=10705] ppid=10702 vsize=1306180 CPUtime=1.49 cores=1,3,5,7
/proc/10705/stat : 10705 (toysat) R 10702 10705 8429 0 -1 4202496 267548 0 0 0 113 36 0 0 20 0 4 0 105372202 1337528320 268385 33554432000 4194304 16246674 140734964636528 140734964619528 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10705/statm: 326545 268390 851 2943 0 323439 0
[pid=10705/tid=10706] ppid=10702 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10706/stat : 10706 (toysat) S 10702 10705 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105372202 1337528320 268392 33554432000 4194304 16246674 140734964636528 140511859944688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10705/tid=10707] ppid=10702 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10707/stat : 10707 (toysat) S 10702 10705 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105372202 1337528320 268394 33554432000 4194304 16246674 140734964636528 140511849454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10705/tid=10708] ppid=10702 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 1337528320 268396 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1306180
[startup+3.10034 s]
/proc/loadavg: 2.12 2.05 2.01 3/183 10709
/proc/meminfo: memFree=29486144/32872528 swapFree=11196/354588
[pid=10705] ppid=10702 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/10705/stat : 10705 (toysat) R 10702 10705 8429 0 -1 4202496 267575 0 0 0 273 36 0 0 20 0 4 0 105372202 1337528320 268412 33554432000 4194304 16246674 140734964636528 140734964618432 5673957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10705/statm: 326545 268412 856 2943 0 323439 0
[pid=10705/tid=10706] ppid=10702 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10706/stat : 10706 (toysat) S 10702 10705 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105372202 1337528320 268412 33554432000 4194304 16246674 140734964636528 140511859944688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10705/tid=10707] ppid=10702 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10707/stat : 10707 (toysat) S 10702 10705 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105372202 1337528320 268412 33554432000 4194304 16246674 140734964636528 140511849454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10705/tid=10708] ppid=10702 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 1337528320 268412 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180
[startup+6.30035 s]
/proc/loadavg: 2.11 2.05 2.01 4/183 10709
/proc/meminfo: memFree=29485544/32872528 swapFree=11196/354588
[pid=10705] ppid=10702 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/10705/stat : 10705 (toysat) R 10702 10705 8429 0 -1 4202496 267950 0 0 0 593 36 0 0 20 0 4 0 105372202 1339625472 268787 33554432000 4194304 16246674 140734964636528 140734964618432 13753144 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10705/statm: 327057 268787 856 2943 0 323951 0
[pid=10705/tid=10706] ppid=10702 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10706/stat : 10706 (toysat) S 10702 10705 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105372202 1339625472 268787 33554432000 4194304 16246674 140734964636528 140511859944688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10705/tid=10707] ppid=10702 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10707/stat : 10707 (toysat) S 10702 10705 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105372202 1339625472 268787 33554432000 4194304 16246674 140734964636528 140511849454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10705/tid=10708] ppid=10702 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 1339625472 268787 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228
[startup+12.7004 s]
/proc/loadavg: 2.18 2.06 2.01 3/183 10709
/proc/meminfo: memFree=29485076/32872528 swapFree=11196/354588
[pid=10705] ppid=10702 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/10705/stat : 10705 (toysat) R 10702 10705 8429 0 -1 4202496 267950 0 0 0 1233 36 0 0 20 0 4 0 105372202 1339625472 268787 33554432000 4194304 16246674 140734964636528 140734964618432 6010981 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10705/statm: 327057 268787 856 2943 0 323951 0
[pid=10705/tid=10706] ppid=10702 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10706/stat : 10706 (toysat) S 10702 10705 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105372202 1339625472 268787 33554432000 4194304 16246674 140734964636528 140511859944688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10705/tid=10707] ppid=10702 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10707/stat : 10707 (toysat) S 10702 10705 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105372202 1339625472 268787 33554432000 4194304 16246674 140734964636528 140511849454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10705/tid=10708] ppid=10702 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 1339625472 268787 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228
[startup+25.5005 s]
/proc/loadavg: 2.14 2.06 2.01 3/183 10709
/proc/meminfo: memFree=29484712/32872528 swapFree=11196/354588
[pid=10705] ppid=10702 vsize=1308228 CPUtime=25.48 cores=1,3,5,7
/proc/10705/stat : 10705 (toysat) R 10702 10705 8429 0 -1 4202496 268153 0 0 0 2512 36 0 0 20 0 4 0 105372202 1339625472 268990 33554432000 4194304 16246674 140734964636528 140734964618432 12483583 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10705/statm: 327057 268990 856 2943 0 323951 0
[pid=10705/tid=10706] ppid=10702 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10706/stat : 10706 (toysat) S 10702 10705 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105372202 1339625472 268990 33554432000 4194304 16246674 140734964636528 140511859944688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10705/tid=10707] ppid=10702 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10707/stat : 10707 (toysat) S 10702 10705 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105372202 1339625472 268990 33554432000 4194304 16246674 140734964636528 140511849454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10705/tid=10708] ppid=10702 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 1339625472 268990 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228
[startup+51.1005 s]
/proc/loadavg: 2.15 2.07 2.01 3/183 10709
/proc/meminfo: memFree=29485084/32872528 swapFree=11196/354588
[pid=10705] ppid=10702 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/10705/stat : 10705 (toysat) R 10702 10705 8429 0 -1 4202496 268153 0 0 0 5071 37 0 0 20 0 4 0 105372202 1339625472 268990 33554432000 4194304 16246674 140734964636528 140734964619528 5721801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10705/statm: 327057 268990 856 2943 0 323951 0
[pid=10705/tid=10706] ppid=10702 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10706/stat : 10706 (toysat) S 10702 10705 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105372202 1339625472 268990 33554432000 4194304 16246674 140734964636528 140511859944688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10705/tid=10707] ppid=10702 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10707/stat : 10707 (toysat) S 10702 10705 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105372202 1339625472 268990 33554432000 4194304 16246674 140734964636528 140511849454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10705/tid=10708] ppid=10702 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 1339625472 268990 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228
[startup+102.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/183 10710
/proc/meminfo: memFree=29478480/32872528 swapFree=11196/354588
[pid=10705] ppid=10702 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/10705/stat : 10705 (toysat) R 10702 10705 8429 0 -1 4202496 269689 0 0 0 10190 38 0 0 20 0 4 0 105372202 1345916928 270526 33554432000 4194304 16246674 140734964636528 140734964618432 12415796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10705/statm: 328593 270526 856 2943 0 325487 0
[pid=10705/tid=10706] ppid=10702 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10706/stat : 10706 (toysat) S 10702 10705 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105372202 1345916928 270526 33554432000 4194304 16246674 140734964636528 140511859944688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10705/tid=10707] ppid=10702 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10707/stat : 10707 (toysat) S 10702 10705 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105372202 1345916928 270526 33554432000 4194304 16246674 140734964636528 140511849454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10705/tid=10708] ppid=10702 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 1345916928 270526 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372
################
# More data... #
################
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 1356402688 273092 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1324612
[startup+1302.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/183 10789
/proc/meminfo: memFree=29447340/32872528 swapFree=11196/354588
[pid=10705] ppid=10702 vsize=1324612 CPUtime=1301.84 cores=1,3,5,7
/proc/10705/stat : 10705 (toysat) R 10702 10705 8429 0 -1 4202496 272668 0 0 0 130076 108 0 0 20 0 4 0 105372202 1356402688 273092 33554432000 4194304 16246674 140734964636528 140734964618432 12477836 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10705/statm: 331153 273092 858 2943 0 328047 0
[pid=10705/tid=10706] ppid=10702 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10706/stat : 10706 (toysat) S 10702 10705 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105372202 1356402688 273092 33554432000 4194304 16246674 140734964636528 140511859944688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10705/tid=10707] ppid=10702 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10707/stat : 10707 (toysat) S 10702 10705 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105372202 1356402688 273092 33554432000 4194304 16246674 140734964636528 140511849454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10705/tid=10708] ppid=10702 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 1356402688 273092 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1324612
[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 10790
/proc/meminfo: memFree=29442036/32872528 swapFree=11196/354588
[pid=10705] ppid=10702 vsize=1324612 CPUtime=1361.83 cores=1,3,5,7
/proc/10705/stat : 10705 (toysat) R 10702 10705 8429 0 -1 4202496 272668 0 0 0 136069 114 0 0 20 0 4 0 105372202 1356402688 273092 33554432000 4194304 16246674 140734964636528 140734964618432 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10705/statm: 331153 273092 858 2943 0 328047 0
[pid=10705/tid=10706] ppid=10702 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10706/stat : 10706 (toysat) S 10702 10705 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105372202 1356402688 273092 33554432000 4194304 16246674 140734964636528 140511859944688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10705/tid=10707] ppid=10702 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10707/stat : 10707 (toysat) S 10702 10705 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105372202 1356402688 273092 33554432000 4194304 16246674 140734964636528 140511849454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10705/tid=10708] ppid=10702 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 1356402688 273092 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1324612
[startup+1422.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/183 10791
/proc/meminfo: memFree=29442300/32872528 swapFree=11196/354588
[pid=10705] ppid=10702 vsize=1324612 CPUtime=1421.83 cores=1,3,5,7
/proc/10705/stat : 10705 (toysat) R 10702 10705 8429 0 -1 4202496 272668 0 0 0 142064 119 0 0 20 0 4 0 105372202 1356402688 273092 33554432000 4194304 16246674 140734964636528 140734964618432 5711697 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10705/statm: 331153 273092 858 2943 0 328047 0
[pid=10705/tid=10706] ppid=10702 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10706/stat : 10706 (toysat) S 10702 10705 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105372202 1356402688 273092 33554432000 4194304 16246674 140734964636528 140511859944688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10705/tid=10707] ppid=10702 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10707/stat : 10707 (toysat) S 10702 10705 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105372202 1356402688 273092 33554432000 4194304 16246674 140734964636528 140511849454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10705/tid=10708] ppid=10702 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 1356402688 273092 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1324612
[startup+1482.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 10792
/proc/meminfo: memFree=29442332/32872528 swapFree=11196/354588
[pid=10705] ppid=10702 vsize=1324612 CPUtime=1481.82 cores=1,3,5,7
/proc/10705/stat : 10705 (toysat) R 10702 10705 8429 0 -1 4202496 272668 0 0 0 148059 123 0 0 20 0 4 0 105372202 1356402688 273092 33554432000 4194304 16246674 140734964636528 140734964618432 13950218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10705/statm: 331153 273092 858 2943 0 328047 0
[pid=10705/tid=10706] ppid=10702 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10706/stat : 10706 (toysat) S 10702 10705 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105372202 1356402688 273092 33554432000 4194304 16246674 140734964636528 140511859944688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10705/tid=10707] ppid=10702 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10707/stat : 10707 (toysat) S 10702 10705 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105372202 1356402688 273092 33554432000 4194304 16246674 140734964636528 140511849454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10705/tid=10708] ppid=10702 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 1356402688 273092 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1324612
[startup+1542.31 s]
/proc/loadavg: 2.08 2.06 2.01 3/183 10794
/proc/meminfo: memFree=29442104/32872528 swapFree=11196/354588
[pid=10705] ppid=10702 vsize=1324612 CPUtime=1541.81 cores=1,3,5,7
/proc/10705/stat : 10705 (toysat) R 10702 10705 8429 0 -1 4202496 272668 0 0 0 154054 127 0 0 20 0 4 0 105372202 1356402688 273092 33554432000 4194304 16246674 140734964636528 140734964618432 5675344 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10705/statm: 331153 273092 858 2943 0 328047 0
[pid=10705/tid=10706] ppid=10702 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10706/stat : 10706 (toysat) S 10702 10705 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105372202 1356402688 273092 33554432000 4194304 16246674 140734964636528 140511859944688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10705/tid=10707] ppid=10702 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10707/stat : 10707 (toysat) S 10702 10705 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105372202 1356402688 273092 33554432000 4194304 16246674 140734964636528 140511849454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10705/tid=10708] ppid=10702 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 1356402688 273092 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1324612
[startup+1602.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/183 10795
/proc/meminfo: memFree=29441640/32872528 swapFree=11196/354588
[pid=10705] ppid=10702 vsize=1324612 CPUtime=1601.79 cores=1,3,5,7
/proc/10705/stat : 10705 (toysat) R 10702 10705 8429 0 -1 4202496 272668 0 0 0 160048 131 0 0 20 0 4 0 105372202 1356402688 273092 33554432000 4194304 16246674 140734964636528 140734964618432 13760253 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10705/statm: 331153 273092 858 2943 0 328047 0
[pid=10705/tid=10706] ppid=10702 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10706/stat : 10706 (toysat) S 10702 10705 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105372202 1356402688 273092 33554432000 4194304 16246674 140734964636528 140511859944688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10705/tid=10707] ppid=10702 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10707/stat : 10707 (toysat) S 10702 10705 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105372202 1356402688 273092 33554432000 4194304 16246674 140734964636528 140511849454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10705/tid=10708] ppid=10702 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 1356402688 273092 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1324612
[startup+1662.3 s]
/proc/loadavg: 2.16 2.09 2.02 3/184 10799
/proc/meminfo: memFree=29441864/32872528 swapFree=11196/354588
[pid=10705] ppid=10702 vsize=1324612 CPUtime=1661.78 cores=1,3,5,7
/proc/10705/stat : 10705 (toysat) R 10702 10705 8429 0 -1 4202496 272668 0 0 0 166046 132 0 0 20 0 4 0 105372202 1356402688 273092 33554432000 4194304 16246674 140734964636528 140734964618432 13943729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10705/statm: 331153 273092 858 2943 0 328047 0
[pid=10705/tid=10706] ppid=10702 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10706/stat : 10706 (toysat) S 10702 10705 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105372202 1356402688 273092 33554432000 4194304 16246674 140734964636528 140511859944688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10705/tid=10707] ppid=10702 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10707/stat : 10707 (toysat) S 10702 10705 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105372202 1356402688 273092 33554432000 4194304 16246674 140734964636528 140511849454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10705/tid=10708] ppid=10702 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 1356402688 273092 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1324612
[startup+1722.3 s]
/proc/loadavg: 2.11 2.09 2.01 3/184 10823
/proc/meminfo: memFree=29438828/32872528 swapFree=11196/354588
[pid=10705] ppid=10702 vsize=1326660 CPUtime=1721.78 cores=1,3,5,7
/proc/10705/stat : 10705 (toysat) R 10702 10705 8429 0 -1 4202496 273180 0 0 0 172040 138 0 0 20 0 4 0 105372202 1358499840 273604 33554432000 4194304 16246674 140734964636528 140734964618432 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10705/statm: 331665 273604 858 2943 0 328559 0
[pid=10705/tid=10706] ppid=10702 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10706/stat : 10706 (toysat) S 10702 10705 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105372202 1358499840 273604 33554432000 4194304 16246674 140734964636528 140511859944688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10705/tid=10707] ppid=10702 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10707/stat : 10707 (toysat) S 10702 10705 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105372202 1358499840 273604 33554432000 4194304 16246674 140734964636528 140511849454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10705/tid=10708] ppid=10702 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 1358499840 273604 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1326660
[startup+1782.3 s]
/proc/loadavg: 2.04 2.07 2.01 3/183 10824
/proc/meminfo: memFree=29438988/32872528 swapFree=11196/354588
[pid=10705] ppid=10702 vsize=1326660 CPUtime=1781.77 cores=1,3,5,7
/proc/10705/stat : 10705 (toysat) R 10702 10705 8429 0 -1 4202496 273180 0 0 0 178035 142 0 0 20 0 4 0 105372202 1358499840 273604 33554432000 4194304 16246674 140734964636528 140734964618432 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10705/statm: 331665 273604 858 2943 0 328559 0
[pid=10705/tid=10706] ppid=10702 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10706/stat : 10706 (toysat) S 10702 10705 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105372202 1358499840 273604 33554432000 4194304 16246674 140734964636528 140511859944688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10705/tid=10707] ppid=10702 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10707/stat : 10707 (toysat) S 10702 10705 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105372202 1358499840 273604 33554432000 4194304 16246674 140734964636528 140511849454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10705/tid=10708] ppid=10702 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 1358499840 273604 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1326660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.10 2.08 2.01 3/183 10824
/proc/meminfo: memFree=29439104/32872528 swapFree=11196/354588
[pid=10705] ppid=10702 vsize=1326660 CPUtime=1800.06 cores=1,3,5,7
/proc/10705/stat : 10705 (toysat) R 10702 10705 8429 0 -1 4202496 273180 0 0 0 179863 143 0 0 20 0 4 0 105372202 1358499840 273604 33554432000 4194304 16246674 140734964636528 140734964618432 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10705/statm: 331665 273604 858 2943 0 328559 0
[pid=10705/tid=10706] ppid=10702 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10706/stat : 10706 (toysat) S 10702 10705 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105372202 1358499840 273604 33554432000 4194304 16246674 140734964636528 140511859944688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10705/tid=10707] ppid=10702 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10707/stat : 10707 (toysat) S 10702 10705 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105372202 1358499840 273604 33554432000 4194304 16246674 140734964636528 140511849454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10705/tid=10708] ppid=10702 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/10705/task/10708/stat : 10708 (toysat) S 10702 10705 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105372203 1358499840 273604 33554432000 4194304 16246674 140734964636528 140511734131888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1326660
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 10705 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1798.64
CPU system time (s): 1.43578
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 1326660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.64
system time used= 1.43578
maximum resident set size= 1094416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273180
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= 441
involuntary context switches= 1869
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5713 second user time and 6.98294 second system time
The end