0.00/0.00 c 2016-06-30T00:05:29+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-4117960-1467237929.opb"]
0.00/0.01 c use --random-gen="1835174576 1818115234 2142588466 4200909647 1922031905 2297544394 541162366 438924026 1899693859 3735293399 3626454972 2887533059 1397675717 3031987102 943991500 3534454372 1898881367 2247569089 119101946 3685398089 865384796 153529973 1128785618 1971939828 1346542754 772556920 2853867957 2206480 1804732845 1610897362 3322349733 2626820012 1567564512 807476752 4187052815 590829047 3269633741 4084300353 4056507872 1648545297 4033830081 3220061094 285384302 2713609859 131918772 948205333 2357767278 2959345515 1075336728 970443872 3518764969 58137962 3014650353 2305986764 3242819866 2315367207 2894773842 1022699229 1278376763 895218001 1818566690 3864792556 4077665000 3612237034 1939557214 2564573352 3286457408 3233967223 2265693193 1821361530 3704692713 693121280 498548922 3091113040 1008344779 392657738 2623209211 89055432 230922906 3706577496 3842969132 1700958175 789043941 2847403538 4082774879 1239827600 3767260424 2618634677 2642130937 906293559 1047382062 1955444905 1631458612 3275429975 3254366237 2306699687 364603607 1685344258 3861862925 1397595656 3620131632 1080957436 3789939830 1133053972 1524300643 2639310347 772227985 2963827821 3259080049 2286538824 454109735 1495460959 3310992228 1798115226 1514689984 466891835 3435525367 3947667287 2141279443 281058124 3462308834 292419367 869190353 2215026537 4189835166 3430268071 2029440782 85942892 3302762554 4262253388 1135786378 665717136 2045106625 203340721 140766321 1858447622 2526641927 3869821991 4093786458 979446276 2352458047 1253379517 1287652606 3595538006 2396103659 606717653 3093526537 3103637747 3170938908 3582440970 1536556926 119342531 2821399818 528642071 415424917 504496107 2870685541 3005207758 4094275040 286309739 642408036 1466782788 3681757156 1508489615 1323413020 520597105 1162370139 3083516238 17697020 1611170524 513268350 518996879 4260384753 2949536823 3969201881 2657245163 2267081320 500818090 3662788666 2816162371 276109944 3971895086 716329104 1571378551 3729889507 48723101 1132242003 1229858120 3509254460 2597427818 2210809294 1983154760 2329278781 227063992 949397402 3031516555 1392357750 2000650900 3792827041 2800872984 2710323975 3852840572 562121635 4140643104 3022891710 2040617470 4020979611 2209462048 2289205297 1327327312 2655135370 3900809120 4101716019 3112676742 2339222200 147675627 1713670876 3016306353 333956790 2844893271 679293006 3815140478 3998052344 4058353696 1432485711 990523911 4249278020 17736118 256230084 2941123786 622374499 1841528509 101497649 3117043119 53373779 4237113805 924969748 2893408047 1634376071 432417586 1277749292 1740215590 2159086890 1286950055 2007404834 3485061643 981966742 2385880276 136119437 2079912701 1512510518 3043151202 2144069138 560391816 1423627881 2963585889 255 362436" option to reproduce the execution
0.00/0.01 c #vars 256
0.00/0.01 c #constraints 94
0.00/0.02 c BCD2: Hardening is enabled.
0.00/0.02 c BCD2: BiasedSearch is enabled.
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 143 0 | 14 | 0
0.00/0.03 c 0.0s | 1 | 152 | 100 | 143 0 | 14 | 0
0.00/0.06 c 0.0s | 2 | 398 | 250 | 158 0 | 14 | 0
0.00/0.08 c 0.1s | 2 | 514 | 299 | 174 1 | 14 | 0
0.00/0.08 c #cpu_time = 0.057s
0.00/0.08 c #wall_clock_time = 0.057s
0.00/0.08 c #decision = 514
0.00/0.08 c #random_decision = 2
0.00/0.08 c #conflict = 299
0.00/0.08 c #restart = 2
0.00/0.08 o 115
0.00/0.08 c BCD2: updating upper bound: 256 -> 114
0.00/0.08 c BCD2: 0 <= obj <= 114
0.00/0.08 c BCD2: #cores=0, #unrelaxed=256, #relaxed=0, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=1 bias=1/2
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 | 174 0 | 14 | 0
0.00/0.08 c 0.0s | 0 | 8 | 0 | 174 0 | 14 | 0
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 8
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 1
0.00/0.08 c BCD2: 1 <= obj <= 114
0.00/0.08 c BCD2: #cores=1, #unrelaxed=247, #relaxed=9, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=2 bias=2/3
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 | 174 0 | 14 | 0
0.00/0.08 c 0.0s | 0 | 4 | 0 | 174 0 | 14 | 0
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 4
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 1: cost of the new core is >=1
0.00/0.08 c lower bound updated to 2
0.00/0.08 c BCD2: 2 <= obj <= 114
0.00/0.08 c BCD2: #cores=2, #unrelaxed=246, #relaxed=10, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=3 bias=3/4
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 | 174 0 | 14 | 0
0.00/0.08 c 0.0s | 0 | 12 | 0 | 174 0 | 14 | 0
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 12
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 3
0.00/0.08 c BCD2: 3 <= obj <= 114
0.00/0.08 c BCD2: #cores=3, #unrelaxed=238, #relaxed=18, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=4 bias=4/5
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 | 174 0 | 14 | 0
0.00/0.08 c 0.0s | 0 | 12 | 0 | 174 0 | 14 | 0
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 12
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 1: cost of the new core is >=1
0.00/0.08 c lower bound updated to 4
0.00/0.08 c BCD2: 4 <= obj <= 114
0.00/0.08 c BCD2: #cores=4, #unrelaxed=237, #relaxed=19, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=5 bias=5/6
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 | 174 0 | 14 | 0
0.00/0.08 c 0.0s | 0 | 24 | 0 | 174 0 | 14 | 0
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 24
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 12: cost of the new core is >=1
0.00/0.08 c lower bound updated to 5
0.00/0.09 c BCD2: 5 <= obj <= 114
0.00/0.09 c BCD2: #cores=5, #unrelaxed=225, #relaxed=31, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=6 bias=6/7
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 | 174 0 | 14 | 0
0.00/0.09 c 0.0s | 0 | 17 | 0 | 174 0 | 14 | 0
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 = 17
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.09 c lower bound updated to 6
0.00/0.09 c BCD2: 6 <= obj <= 114
0.00/0.09 c BCD2: #cores=6, #unrelaxed=222, #relaxed=34, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=7 bias=7/8
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 | 174 0 | 14 | 1
0.00/0.09 c 0.0s | 0 | 20 | 0 | 174 0 | 14 | 1
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 = 20
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 5: cost of the new core is >=1
0.00/0.09 c lower bound updated to 7
0.00/0.09 c BCD2: 7 <= obj <= 114
0.00/0.09 c BCD2: #cores=7, #unrelaxed=217, #relaxed=39, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=8 bias=8/9
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 | 174 0 | 14 | 1
0.00/0.09 c 0.0s | 0 | 21 | 1 | 174 0 | 14 | 1
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 = 21
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 4 and merging with 1 cores into a new core of size 9: cost of the new core is >=2
0.00/0.09 c lower bound updated to 8
0.00/0.09 c BCD2: 8 <= obj <= 114
0.00/0.09 c BCD2: #cores=7, #unrelaxed=213, #relaxed=43, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=9 bias=9/10
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 | 174 0 | 15 | 1
0.00/0.09 c 0.0s | 0 | 21 | 1 | 174 0 | 15 | 2
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 = 21
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 4 and merging with 1 cores into a new core of size 13: cost of the new core is >=3
0.00/0.09 c lower bound updated to 9
0.00/0.09 c BCD2: 9 <= obj <= 114
0.00/0.09 c BCD2: #cores=7, #unrelaxed=209, #relaxed=47, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=10 bias=10/11
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 | 174 0 | 16 | 2
0.00/0.09 c 0.0s | 0 | 18 | 0 | 174 0 | 16 | 3
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 = 18
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 4: cost of the new core is >=1
0.00/0.09 c lower bound updated to 10
0.00/0.09 c BCD2: 10 <= obj <= 114
0.00/0.09 c BCD2: #cores=8, #unrelaxed=205, #relaxed=51, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=11 bias=11/12
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 | 174 0 | 16 | 3
0.09/0.10 c 0.0s | 0 | 16 | 0 | 174 0 | 16 | 3
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 = 16
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: found a new core of size 4: cost of the new core is >=1
0.09/0.10 c lower bound updated to 11
0.09/0.10 c BCD2: 11 <= obj <= 114
0.09/0.10 c BCD2: #cores=9, #unrelaxed=201, #relaxed=55, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=12 bias=12/13
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 | 174 0 | 16 | 4
0.09/0.10 c 0.0s | 0 | 25 | 0 | 174 0 | 16 | 4
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 = 25
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: found a new core of size 12: cost of the new core is >=1
0.09/0.10 c lower bound updated to 12
0.09/0.10 c BCD2: 12 <= obj <= 114
0.09/0.10 c BCD2: #cores=10, #unrelaxed=189, #relaxed=67, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=13 bias=13/14
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 | 174 0 | 16 | 4
0.09/0.10 c 0.0s | 0 | 29 | 0 | 174 0 | 16 | 4
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 = 29
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: found a new core of size 11: cost of the new core is >=1
0.09/0.10 c lower bound updated to 13
0.09/0.10 c BCD2: 13 <= obj <= 114
0.09/0.10 c BCD2: #cores=11, #unrelaxed=178, #relaxed=78, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=14 bias=14/15
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 | 174 0 | 16 | 4
0.09/0.10 c 0.0s | 0 | 24 | 0 | 174 0 | 16 | 4
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 = 24
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: found a new core of size 5: cost of the new core is >=1
0.09/0.10 c lower bound updated to 14
0.09/0.10 c BCD2: 14 <= obj <= 114
0.09/0.10 c BCD2: #cores=12, #unrelaxed=173, #relaxed=83, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=15 bias=15/16
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 | 174 0 | 16 | 4
0.09/0.10 c 0.0s | 0 | 31 | 0 | 174 0 | 16 | 4
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 = 31
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: found a new core of size 11: cost of the new core is >=1
0.09/0.10 c lower bound updated to 15
0.09/0.10 c BCD2: 15 <= obj <= 114
0.09/0.10 c BCD2: #cores=13, #unrelaxed=162, #relaxed=94, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=16 bias=16/17
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 | 174 0 | 16 | 4
0.09/0.11 c 0.0s | 0 | 35 | 0 | 174 0 | 16 | 4
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 35
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 0
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: found a new core of size 9: cost of the new core is >=1
0.09/0.11 c lower bound updated to 16
0.09/0.11 c BCD2: 16 <= obj <= 114
0.09/0.11 c BCD2: #cores=14, #unrelaxed=153, #relaxed=103, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=17 bias=17/18
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 | 174 0 | 16 | 4
0.09/0.11 c 0.0s | 0 | 34 | 0 | 174 0 | 16 | 4
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 34
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 0
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: found a new core of size 5: cost of the new core is >=1
0.09/0.11 c lower bound updated to 17
0.09/0.11 c BCD2: 17 <= obj <= 114
0.09/0.11 c BCD2: #cores=15, #unrelaxed=148, #relaxed=108, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=18 bias=18/19
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 | 174 0 | 16 | 4
0.09/0.11 c 0.0s | 0 | 37 | 0 | 174 0 | 16 | 4
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 37
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 0
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: found a new core of size 7: cost of the new core is >=1
0.09/0.11 c lower bound updated to 18
0.09/0.11 c BCD2: 18 <= obj <= 114
0.09/0.11 c BCD2: #cores=16, #unrelaxed=141, #relaxed=115, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=19 bias=19/20
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 | 174 0 | 16 | 4
0.09/0.11 c 0.0s | 0 | 38 | 1 | 174 0 | 16 | 4
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 38
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 1
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.09/0.11 c lower bound updated to 19
0.09/0.11 c BCD2: 19 <= obj <= 114
0.09/0.11 c BCD2: #cores=16, #unrelaxed=135, #relaxed=121, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=20 bias=20/21
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 | 174 0 | 17 | 4
0.09/0.11 c 0.0s | 0 | 43 | 0 | 174 0 | 17 | 5
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 43
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 0
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: found a new core of size 9: cost of the new core is >=1
0.09/0.11 c lower bound updated to 20
0.09/0.11 c BCD2: 20 <= obj <= 114
0.09/0.11 c BCD2: #cores=17, #unrelaxed=126, #relaxed=130, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=21 bias=21/22
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 | 174 0 | 17 | 5
0.09/0.12 c 0.0s | 0 | 41 | 0 | 174 0 | 17 | 5
0.09/0.12 c #cpu_time = 0.001s
0.09/0.12 c #wall_clock_time = 0.001s
0.09/0.12 c #decision = 41
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 0
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: found a new core of size 2: cost of the new core is >=1
0.09/0.12 c lower bound updated to 21
0.09/0.12 c BCD2: 21 <= obj <= 114
0.09/0.12 c BCD2: #cores=18, #unrelaxed=124, #relaxed=132, #hardened=0
0.09/0.12 c BCD2: #sat=1 #unsat=22 bias=22/23
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 | 174 0 | 17 | 5
0.09/0.12 c 0.0s | 0 | 50 | 0 | 174 0 | 17 | 5
0.09/0.12 c #cpu_time = 0.001s
0.09/0.12 c #wall_clock_time = 0.001s
0.09/0.12 c #decision = 50
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 0
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: found a new core of size 9: cost of the new core is >=1
0.09/0.12 c lower bound updated to 22
0.09/0.12 c BCD2: 22 <= obj <= 114
0.09/0.12 c BCD2: #cores=19, #unrelaxed=115, #relaxed=141, #hardened=0
0.09/0.12 c BCD2: #sat=1 #unsat=23 bias=23/24
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 | 174 0 | 17 | 5
0.09/0.12 c 0.0s | 0 | 75 | 1 | 174 0 | 17 | 5
0.09/0.12 c #cpu_time = 0.001s
0.09/0.12 c #wall_clock_time = 0.001s
0.09/0.12 c #decision = 75
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 1
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.09/0.12 c lower bound updated to 23
0.09/0.12 c BCD2: 23 <= obj <= 114
0.09/0.12 c BCD2: #cores=19, #unrelaxed=114, #relaxed=142, #hardened=0
0.09/0.12 c BCD2: #sat=1 #unsat=24 bias=24/25
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 | 174 0 | 18 | 5
0.09/0.12 c 0.0s | 0 | 56 | 0 | 174 0 | 18 | 6
0.09/0.12 c #cpu_time = 0.001s
0.09/0.12 c #wall_clock_time = 0.001s
0.09/0.12 c #decision = 56
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 0
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: found a new core of size 9: cost of the new core is >=1
0.09/0.12 c lower bound updated to 24
0.09/0.12 c BCD2: 24 <= obj <= 114
0.09/0.12 c BCD2: #cores=20, #unrelaxed=105, #relaxed=151, #hardened=0
0.09/0.12 c BCD2: #sat=1 #unsat=25 bias=25/26
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 | 174 0 | 18 | 6
0.09/0.12 c 0.0s | 0 | 75 | 2 | 174 0 | 18 | 6
0.09/0.12 c #cpu_time = 0.002s
0.09/0.12 c #wall_clock_time = 0.002s
0.09/0.12 c #decision = 75
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 2
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: relaxing 11 and merging with 3 cores into a new core of size 32: cost of the new core is >=4
0.09/0.12 c lower bound updated to 25
0.09/0.12 c BCD2: 25 <= obj <= 114
0.09/0.12 c BCD2: #cores=18, #unrelaxed=94, #relaxed=162, #hardened=0
0.09/0.12 c BCD2: #sat=1 #unsat=26 bias=26/27
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 | 174 0 | 21 | 6
0.09/0.13 c 0.0s | 0 | 61 | 1 | 174 0 | 21 | 9
0.09/0.13 c #cpu_time = 0.001s
0.09/0.13 c #wall_clock_time = 0.001s
0.09/0.13 c #decision = 61
0.09/0.13 c #random_decision = 0
0.09/0.13 c #conflict = 1
0.09/0.13 c #restart = 0
0.09/0.13 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=3
0.09/0.13 c lower bound updated to 26
0.09/0.13 c BCD2: 26 <= obj <= 114
0.09/0.13 c BCD2: #cores=18, #unrelaxed=93, #relaxed=163, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=27 bias=27/28
0.09/0.13 c Solving starts ...
0.09/0.13 c ============================[ Search Statistics ]============================
0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.13 c | | | | Limit GC | Var | Constra
0.09/0.13 c =============================================================================
0.09/0.13 c 0.0s | 0 | 0 | 0 | 174 0 | 22 | 9
0.09/0.13 c 0.0s | 0 | 46 | 0 | 174 0 | 22 | 10
0.09/0.13 c #cpu_time = 0.001s
0.09/0.13 c #wall_clock_time = 0.001s
0.09/0.13 c #decision = 46
0.09/0.13 c #random_decision = 0
0.09/0.13 c #conflict = 0
0.09/0.13 c #restart = 0
0.09/0.13 c BCD2: found a new core of size 6: cost of the new core is >=1
0.09/0.13 c lower bound updated to 27
0.09/0.13 c BCD2: 27 <= obj <= 114
0.09/0.13 c BCD2: #cores=19, #unrelaxed=87, #relaxed=169, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=28 bias=28/29
0.09/0.13 c Solving starts ...
0.09/0.13 c ============================[ Search Statistics ]============================
0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.13 c | | | | Limit GC | Var | Constra
0.09/0.13 c =============================================================================
0.09/0.13 c 0.0s | 0 | 0 | 0 | 174 0 | 22 | 10
0.09/0.13 c 0.0s | 0 | 75 | 1 | 174 0 | 22 | 10
0.09/0.13 c #cpu_time = 0.001s
0.09/0.13 c #wall_clock_time = 0.001s
0.09/0.13 c #decision = 75
0.09/0.13 c #random_decision = 0
0.09/0.13 c #conflict = 1
0.09/0.13 c #restart = 0
0.09/0.13 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 5: cost of the new core is >=4
0.09/0.13 c lower bound updated to 28
0.09/0.13 c BCD2: 28 <= obj <= 114
0.09/0.13 c BCD2: #cores=19, #unrelaxed=86, #relaxed=170, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=29 bias=29/30
0.09/0.13 c Solving starts ...
0.09/0.13 c ============================[ Search Statistics ]============================
0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.13 c | | | | Limit GC | Var | Constra
0.09/0.13 c =============================================================================
0.09/0.13 c 0.0s | 0 | 0 | 0 | 174 0 | 23 | 10
0.09/0.13 c 0.0s | 0 | 47 | 1 | 174 0 | 23 | 11
0.09/0.13 c #cpu_time = 0.001s
0.09/0.13 c #wall_clock_time = 0.001s
0.09/0.13 c #decision = 47
0.09/0.13 c #random_decision = 0
0.09/0.13 c #conflict = 1
0.09/0.13 c #restart = 0
0.09/0.13 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.09/0.13 c lower bound updated to 29
0.09/0.13 c BCD2: 29 <= obj <= 114
0.09/0.13 c BCD2: #cores=19, #unrelaxed=81, #relaxed=175, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=30 bias=30/31
0.09/0.13 c Solving starts ...
0.09/0.13 c ============================[ Search Statistics ]============================
0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.13 c | | | | Limit GC | Var | Constra
0.09/0.13 c =============================================================================
0.09/0.13 c 0.0s | 0 | 0 | 0 | 174 0 | 24 | 11
0.09/0.13 c 0.0s | 0 | 43 | 0 | 174 0 | 24 | 12
0.09/0.13 c #cpu_time = 0.001s
0.09/0.13 c #wall_clock_time = 0.001s
0.09/0.13 c #decision = 43
0.09/0.13 c #random_decision = 0
0.09/0.13 c #conflict = 0
0.09/0.13 c #restart = 0
0.09/0.13 c BCD2: found a new core of size 2: cost of the new core is >=1
0.09/0.13 c lower bound updated to 30
0.09/0.13 c BCD2: 30 <= obj <= 114
0.09/0.13 c BCD2: #cores=20, #unrelaxed=79, #relaxed=177, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=31 bias=31/32
0.09/0.13 c Solving starts ...
0.09/0.13 c ============================[ Search Statistics ]============================
0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.13 c | | | | Limit GC | Var | Constra
0.09/0.13 c =============================================================================
0.09/0.13 c 0.0s | 0 | 0 | 0 | 174 0 | 24 | 12
0.09/0.14 c 0.0s | 0 | 89 | 1 | 174 0 | 24 | 12
0.09/0.14 c #cpu_time = 0.001s
0.09/0.14 c #wall_clock_time = 0.001s
0.09/0.14 c #decision = 89
0.09/0.14 c #random_decision = 0
0.09/0.14 c #conflict = 1
0.09/0.14 c #restart = 0
0.09/0.14 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=5
0.09/0.14 c lower bound updated to 31
0.09/0.14 c BCD2: 31 <= obj <= 114
0.09/0.14 c BCD2: #cores=20, #unrelaxed=78, #relaxed=178, #hardened=0
0.09/0.14 c BCD2: #sat=1 #unsat=32 bias=32/33
0.09/0.14 c Solving starts ...
0.09/0.14 c ============================[ Search Statistics ]============================
0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.14 c | | | | Limit GC | Var | Constra
0.09/0.14 c =============================================================================
0.09/0.14 c 0.0s | 0 | 0 | 0 | 174 0 | 25 | 12
0.09/0.14 c 0.0s | 0 | 121 | 2 | 174 0 | 25 | 13
0.09/0.14 c #cpu_time = 0.002s
0.09/0.14 c #wall_clock_time = 0.002s
0.09/0.14 c #decision = 121
0.09/0.14 c #random_decision = 0
0.09/0.14 c #conflict = 2
0.09/0.14 c #restart = 0
0.09/0.14 c BCD2: relaxing 11 and merging with 2 cores into a new core of size 19: cost of the new core is >=7
0.09/0.14 c lower bound updated to 32
0.09/0.14 c BCD2: 32 <= obj <= 114
0.09/0.14 c BCD2: #cores=19, #unrelaxed=67, #relaxed=189, #hardened=0
0.09/0.14 c BCD2: #sat=1 #unsat=33 bias=33/34
0.09/0.14 c Solving starts ...
0.09/0.14 c ============================[ Search Statistics ]============================
0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.14 c | | | | Limit GC | Var | Constra
0.09/0.14 c =============================================================================
0.09/0.14 c 0.0s | 0 | 0 | 0 | 174 0 | 27 | 13
0.09/0.14 c 0.0s | 0 | 48 | 1 | 174 0 | 27 | 15
0.09/0.14 c #cpu_time = 0.002s
0.09/0.14 c #wall_clock_time = 0.002s
0.09/0.14 c #decision = 48
0.09/0.14 c #random_decision = 0
0.09/0.14 c #conflict = 1
0.09/0.14 c #restart = 0
0.09/0.14 c BCD2: relaxing 22 and merging with 4 cores into a new core of size 53: cost of the new core is >=11
0.09/0.14 c lower bound updated to 33
0.09/0.14 c BCD2: 33 <= obj <= 114
0.09/0.14 c BCD2: #cores=16, #unrelaxed=45, #relaxed=211, #hardened=0
0.09/0.14 c BCD2: #sat=1 #unsat=34 bias=34/35
0.09/0.14 c Solving starts ...
0.09/0.14 c ============================[ Search Statistics ]============================
0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.14 c | | | | Limit GC | Var | Constra
0.09/0.14 c =============================================================================
0.09/0.14 c 0.0s | 0 | 0 | 0 | 174 0 | 31 | 15
0.09/0.14 c 0.0s | 0 | 29 | 0 | 174 0 | 31 | 19
0.09/0.14 c #cpu_time = 0.001s
0.09/0.14 c #wall_clock_time = 0.001s
0.09/0.14 c #decision = 29
0.09/0.14 c #random_decision = 0
0.09/0.14 c #conflict = 0
0.09/0.14 c #restart = 0
0.09/0.14 c BCD2: found a new core of size 7: cost of the new core is >=1
0.09/0.14 c lower bound updated to 34
0.09/0.14 c BCD2: 34 <= obj <= 114
0.09/0.14 c BCD2: #cores=17, #unrelaxed=38, #relaxed=218, #hardened=0
0.09/0.14 c BCD2: #sat=1 #unsat=35 bias=35/36
0.09/0.14 c Solving starts ...
0.09/0.14 c ============================[ Search Statistics ]============================
0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.14 c | | | | Limit GC | Var | Constra
0.09/0.14 c =============================================================================
0.09/0.14 c 0.0s | 0 | 0 | 0 | 174 0 | 31 | 19
0.09/0.14 c 0.0s | 0 | 30 | 1 | 174 0 | 31 | 19
0.09/0.14 c #cpu_time = 0.001s
0.09/0.14 c #wall_clock_time = 0.001s
0.09/0.14 c #decision = 30
0.09/0.14 c #random_decision = 0
0.09/0.14 c #conflict = 1
0.09/0.14 c #restart = 0
0.09/0.14 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.09/0.14 c lower bound updated to 35
0.09/0.14 c BCD2: 35 <= obj <= 114
0.09/0.14 c BCD2: #cores=17, #unrelaxed=32, #relaxed=224, #hardened=0
0.09/0.14 c BCD2: #sat=1 #unsat=36 bias=36/37
0.09/0.14 c Solving starts ...
0.09/0.14 c ============================[ Search Statistics ]============================
0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.14 c | | | | Limit GC | Var | Constra
0.09/0.14 c =============================================================================
0.09/0.14 c 0.0s | 0 | 0 | 0 | 174 0 | 32 | 19
0.09/0.15 c 0.0s | 0 | 24 | 0 | 174 0 | 32 | 20
0.09/0.15 c #cpu_time = 0.001s
0.09/0.15 c #wall_clock_time = 0.001s
0.09/0.15 c #decision = 24
0.09/0.15 c #random_decision = 0
0.09/0.15 c #conflict = 0
0.09/0.15 c #restart = 0
0.09/0.15 c BCD2: found a new core of size 1: cost of the new core is >=1
0.09/0.15 c lower bound updated to 36
0.09/0.15 c BCD2: 36 <= obj <= 114
0.09/0.15 c BCD2: #cores=18, #unrelaxed=31, #relaxed=225, #hardened=0
0.09/0.15 c BCD2: #sat=1 #unsat=37 bias=37/38
0.09/0.15 c Solving starts ...
0.09/0.15 c ============================[ Search Statistics ]============================
0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.15 c | | | | Limit GC | Var | Constra
0.09/0.15 c =============================================================================
0.09/0.15 c 0.0s | 0 | 0 | 0 | 174 0 | 32 | 20
0.09/0.15 c 0.0s | 0 | 34 | 0 | 174 0 | 32 | 20
0.09/0.15 c #cpu_time = 0.001s
0.09/0.15 c #wall_clock_time = 0.001s
0.09/0.15 c #decision = 34
0.09/0.15 c #random_decision = 0
0.09/0.15 c #conflict = 0
0.09/0.15 c #restart = 0
0.09/0.15 c BCD2: found a new core of size 10: cost of the new core is >=1
0.09/0.15 c lower bound updated to 37
0.09/0.15 c BCD2: 37 <= obj <= 114
0.09/0.15 c BCD2: #cores=19, #unrelaxed=21, #relaxed=235, #hardened=0
0.09/0.15 c BCD2: #sat=1 #unsat=38 bias=38/39
0.09/0.15 c Solving starts ...
0.09/0.15 c ============================[ Search Statistics ]============================
0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.15 c | | | | Limit GC | Var | Constra
0.09/0.15 c =============================================================================
0.09/0.15 c 0.0s | 0 | 0 | 0 | 174 0 | 32 | 20
0.09/0.16 c 0.0s | 1 | 213 | 100 | 174 1 | 32 | 20
0.09/0.16 c 0.0s | 2 | 398 | 250 | 192 2 | 32 | 20
0.09/0.17 c 0.0s | 2 | 530 | 344 | 192 3 | 32 | 20
0.09/0.17 c #cpu_time = 0.022s
0.09/0.17 c #wall_clock_time = 0.022s
0.09/0.17 c #decision = 530
0.09/0.17 c #random_decision = 1
0.09/0.17 c #conflict = 344
0.09/0.17 c #restart = 2
0.09/0.17 c BCD2: relaxing 4 and merging with 2 cores into a new core of size 27: cost of the new core is >=4
0.09/0.17 c lower bound updated to 38
0.09/0.17 c BCD2: 38 <= obj <= 114
0.09/0.17 c BCD2: #cores=18, #unrelaxed=17, #relaxed=239, #hardened=0
0.09/0.17 c BCD2: #sat=1 #unsat=39 bias=39/40
0.09/0.17 c Solving starts ...
0.09/0.17 c ============================[ Search Statistics ]============================
0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.17 c | | | | Limit GC | Var | Constra
0.09/0.17 c =============================================================================
0.09/0.17 c 0.0s | 0 | 0 | 0 | 192 0 | 34 | 20
0.09/0.18 c 0.0s | 1 | 136 | 100 | 192 0 | 34 | 22
0.09/0.19 c 0.0s | 2 | 390 | 250 | 212 0 | 34 | 22
0.19/0.21 c 0.0s | 3 | 705 | 475 | 212 2 | 34 | 22
0.19/0.23 c 0.1s | 4 | 1201 | 813 | 234 4 | 34 | 22
0.19/0.27 c 0.1s | 5 | 1857 | 1320 | 234 8 | 34 | 22
0.28/0.32 c 0.2s | 6 | 2867 | 2081 | 258 12 | 34 | 22
0.39/0.41 c 0.2s | 7 | 4299 | 3223 | 284 19 | 34 | 22
0.49/0.53 c 0.4s | 8 | 6456 | 4936 | 313 28 | 34 | 22
0.69/0.73 c 0.6s | 9 | 9520 | 7506 | 345 41 | 34 | 22
0.99/1.01 c 0.8s | 10 | 14082 | 11361 | 380 59 | 34 | 22
1.29/1.39 c 1.2s | 11 | 20865 | 17144 | 419 84 | 34 | 22
1.79/1.89 c 1.7s | 12 | 30283 | 25819 | 461 119 | 34 | 22
2.59/2.69 c 2.5s | 13 | 45127 | 38832 | 508 167 | 34 | 22
3.79/3.84 c 3.7s | 14 | 67186 | 58352 | 559 234 | 34 | 22
3.99/4.05 c 3.9s | 14 | 71019 | 61801 | 559 245 | 35 | 23
3.99/4.05 c #cpu_time = 3.867s
3.99/4.05 c #wall_clock_time = 3.877s
3.99/4.05 c #decision = 71019
3.99/4.05 c #random_decision = 267
3.99/4.05 c #conflict = 61801
3.99/4.05 c #restart = 14
3.99/4.05 c BCD2: updating lower bound of a core
3.99/4.05 c lower bound updated to 45
3.99/4.05 c BCD2: 45 <= obj <= 114
3.99/4.05 c BCD2: #cores=18, #unrelaxed=17, #relaxed=239, #hardened=0
3.99/4.05 c BCD2: #sat=1 #unsat=40 bias=40/41
3.99/4.05 c Solving starts ...
3.99/4.05 c ============================[ Search Statistics ]============================
3.99/4.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.99/4.05 c | | | | Limit GC | Var | Constra
3.99/4.05 c =============================================================================
3.99/4.05 c 0.0s | 0 | 0 | 0 | 559 0 | 35 | 24
3.99/4.06 c 0.0s | 1 | 220 | 100 | 559 0 | 35 | 24
3.99/4.08 c 0.0s | 2 | 444 | 250 | 559 0 | 35 | 24
4.09/4.11 c 0.1s | 3 | 800 | 475 | 559 0 | 35 | 24
4.09/4.16 c 0.1s | 4 | 1313 | 813 | 559 1 | 35 | 24
4.19/4.23 c 0.2s | 5 | 2016 | 1320 | 559 2 | 35 | 24
4.29/4.35 c 0.3s | 6 | 3010 | 2081 | 559 5 | 35 | 24
4.50/4.51 c 0.5s | 7 | 4541 | 3223 | 559 8 | 35 | 24
4.69/4.78 c 0.7s | 8 | 6784 | 4936 | 559 13 | 35 | 24
5.19/5.20 c 1.2s | 9 | 10168 | 7506 | 559 21 | 35 | 24
5.79/5.82 c 1.8s | 10 | 14982 | 11361 | 559 33 | 35 | 24
6.69/6.73 c 2.7s | 11 | 22406 | 17144 | 559 50 | 35 | 24
7.79/7.89 c 3.8s | 12 | 32798 | 25819 | 615 76 | 35 | 24
9.79/9.84 c 5.8s | 13 | 50404 | 38832 | 615 111 | 35 | 24
11.79/11.86 c 7.8s | 13 | 68225 | 53632 | 615 153 | 35 | 24
12.59/12.65 c 8.6s | 14 | 74053 | 58352 | 615 166 | 35 | 24
13.68/13.77 c 9.7s | 14 | 83705 | 66024 | 615 187 | 35 | 24
13.68/13.77 c #cpu_time = 9.696s
13.68/13.77 c #wall_clock_time = 9.721s
13.68/13.77 c #decision = 83705
13.68/13.77 c #random_decision = 357
13.68/13.77 c #conflict = 66024
13.68/13.77 c #restart = 14
13.68/13.77 c BCD2: relaxing 6 and merging with 10 cores into a new core of size 129: cost of the new core is >=16
13.68/13.77 c lower bound updated to 46
13.68/13.77 c BCD2: 46 <= obj <= 114
13.68/13.77 c BCD2: #cores=9, #unrelaxed=11, #relaxed=245, #hardened=0
13.68/13.77 c BCD2: #sat=1 #unsat=41 bias=41/42
13.68/13.77 c Solving starts ...
13.68/13.77 c ============================[ Search Statistics ]============================
13.68/13.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
13.68/13.77 c | | | | Limit GC | Var | Constra
13.68/13.77 c =============================================================================
13.68/13.77 c 0.0s | 0 | 0 | 0 | 615 0 | 45 | 24
13.68/13.79 c 0.0s | 1 | 178 | 100 | 615 0 | 45 | 34
13.78/13.80 c 0.0s | 2 | 433 | 250 | 615 0 | 45 | 34
13.78/13.81 c 0.0s | 3 | 710 | 475 | 615 0 | 45 | 34
13.78/13.83 c 0.1s | 4 | 1065 | 813 | 615 1 | 45 | 34
13.78/13.85 c 0.1s | 5 | 1609 | 1320 | 615 2 | 45 | 34
13.78/13.85 c 0.1s | 5 | 1651 | 1346 | 615 3 | 46 | 35
13.78/13.85 c #cpu_time = 0.082s
13.78/13.85 c #wall_clock_time = 0.082s
13.78/13.85 c #decision = 1651
13.78/13.85 c #random_decision = 10
13.78/13.85 c #conflict = 1346
13.78/13.85 c #restart = 5
13.78/13.85 c BCD2: updating lower bound of a core
13.78/13.85 c lower bound updated to 51
13.78/13.85 c BCD2: 51 <= obj <= 114
13.78/13.85 c BCD2: #cores=9, #unrelaxed=11, #relaxed=245, #hardened=0
13.78/13.85 c BCD2: #sat=1 #unsat=42 bias=42/43
13.78/13.85 c Solving starts ...
13.78/13.85 c ============================[ Search Statistics ]============================
13.78/13.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
13.78/13.85 c | | | | Limit GC | Var | Constra
13.78/13.85 c =============================================================================
13.78/13.85 c 0.0s | 0 | 0 | 0 | 615 0 | 46 | 36
13.78/13.86 c 0.0s | 1 | 161 | 100 | 615 0 | 46 | 36
13.78/13.88 c 0.0s | 2 | 355 | 250 | 615 0 | 46 | 36
13.78/13.89 c 0.0s | 3 | 625 | 475 | 615 0 | 46 | 36
13.88/13.91 c 0.1s | 4 | 995 | 813 | 615 1 | 46 | 36
13.88/13.95 c 0.1s | 5 | 1530 | 1320 | 677 2 | 46 | 36
13.98/14.01 c 0.2s | 6 | 2374 | 2081 | 677 4 | 46 | 36
13.98/14.08 c 0.2s | 7 | 3753 | 3223 | 677 7 | 46 | 36
14.08/14.20 c 0.3s | 8 | 5642 | 4936 | 677 12 | 46 | 36
14.29/14.36 c 0.5s | 9 | 8510 | 7506 | 677 19 | 46 | 36
14.58/14.62 c 0.8s | 10 | 12820 | 11361 | 677 29 | 46 | 36
14.98/15.01 c 1.2s | 11 | 19093 | 17144 | 677 44 | 46 | 36
15.58/15.62 c 1.8s | 12 | 28414 | 25819 | 677 68 | 46 | 36
15.78/15.82 c 2.0s | 12 | 31845 | 28872 | 677 76 | 46 | 36
15.78/15.82 c #cpu_time = 1.962s
15.78/15.82 c #wall_clock_time = 1.967s
15.78/15.82 c #decision = 31845
15.78/15.82 c #random_decision = 151
15.78/15.82 c #conflict = 28872
15.78/15.82 c #restart = 12
15.78/15.82 c BCD2: relaxing 0 and merging with 2 cores into a new core of size 38: cost of the new core is >=14
15.78/15.82 c lower bound updated to 52
15.78/15.82 c BCD2: 52 <= obj <= 114
15.78/15.82 c BCD2: #cores=8, #unrelaxed=11, #relaxed=245, #hardened=0
15.78/15.82 c BCD2: #sat=1 #unsat=43 bias=43/44
15.78/15.82 c Solving starts ...
15.78/15.82 c ============================[ Search Statistics ]============================
15.78/15.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
15.78/15.82 c | | | | Limit GC | Var | Constra
15.78/15.82 c =============================================================================
15.78/15.82 c 0.0s | 0 | 0 | 0 | 677 0 | 48 | 36
15.78/15.83 c 0.0s | 1 | 212 | 100 | 677 0 | 48 | 38
15.78/15.85 c 0.0s | 2 | 456 | 250 | 677 0 | 48 | 38
15.78/15.86 c 0.0s | 3 | 730 | 475 | 677 0 | 48 | 38
15.78/15.89 c 0.1s | 4 | 1119 | 813 | 677 1 | 48 | 38
15.88/15.93 c 0.1s | 5 | 1728 | 1320 | 677 2 | 48 | 38
15.98/16.00 c 0.2s | 6 | 2735 | 2081 | 677 4 | 48 | 38
15.98/16.09 c 0.3s | 7 | 4066 | 3223 | 677 7 | 48 | 38
16.18/16.22 c 0.4s | 8 | 6269 | 4936 | 677 11 | 48 | 38
16.38/16.42 c 0.6s | 9 | 9819 | 7506 | 677 18 | 48 | 38
16.68/16.72 c 0.9s | 10 | 15309 | 11361 | 677 28 | 48 | 38
17.08/17.18 c 1.4s | 11 | 23135 | 17144 | 677 44 | 48 | 38
17.89/17.92 c 2.1s | 12 | 34355 | 25819 | 677 67 | 48 | 38
18.99/19.01 c 3.2s | 13 | 51419 | 38832 | 745 100 | 48 | 38
20.69/20.70 c 4.9s | 14 | 77096 | 58352 | 745 148 | 48 | 38
22.69/22.71 c 6.9s | 14 | 106550 | 82352 | 745 206 | 48 | 38
23.10/23.15 c 7.3s | 15 | 113042 | 87632 | 745 219 | 48 | 38
25.09/25.16 c 9.3s | 15 | 141920 | 111232 | 745 276 | 48 | 38
26.89/26.90 c 11.1s | 16 | 166032 | 131552 | 745 325 | 48 | 38
28.89/28.91 c 13.1s | 16 | 195289 | 155252 | 820 378 | 48 | 38
30.89/30.92 c 15.1s | 16 | 225623 | 177952 | 820 429 | 48 | 38
32.59/32.63 c 16.8s | 17 | 250902 | 197432 | 820 472 | 48 | 38
34.58/34.63 c 18.8s | 17 | 280533 | 220432 | 820 523 | 48 | 38
36.58/36.64 c 20.8s | 17 | 311243 | 243932 | 820 575 | 48 | 38
38.59/38.64 c 22.8s | 17 | 340097 | 266532 | 820 625 | 48 | 38
40.58/40.64 c 24.8s | 17 | 365748 | 288932 | 903 674 | 48 | 38
41.28/41.31 c 25.5s | 18 | 374497 | 296252 | 903 689 | 48 | 38
43.28/43.31 c 27.5s | 18 | 398300 | 316252 | 903 730 | 48 | 38
45.28/45.32 c 29.5s | 18 | 426082 | 338852 | 903 776 | 48 | 38
47.29/47.32 c 31.5s | 18 | 451589 | 360652 | 903 820 | 48 | 38
49.28/49.33 c 33.5s | 18 | 478092 | 383452 | 903 867 | 48 | 38
51.28/51.33 c 35.5s | 18 | 503752 | 405852 | 903 912 | 48 | 38
53.28/53.34 c 37.5s | 18 | 528498 | 427652 | 903 957 | 48 | 38
54.78/54.88 c 39.1s | 19 | 547780 | 444482 | 903 991 | 48 | 38
56.78/56.89 c 41.1s | 19 | 568953 | 463382 | 903 1030 | 48 | 38
58.78/58.89 c 43.1s | 19 | 594173 | 485182 | 903 1074 | 48 | 38
60.78/60.89 c 45.1s | 19 | 619132 | 506982 | 994 1118 | 48 | 38
62.88/62.90 c 47.1s | 19 | 643447 | 528682 | 994 1158 | 48 | 38
64.88/64.90 c 49.1s | 19 | 665387 | 548782 | 994 1196 | 48 | 38
66.88/66.91 c 51.1s | 19 | 689133 | 569782 | 994 1235 | 48 | 38
68.88/68.91 c 53.1s | 19 | 710761 | 589282 | 994 1271 | 48 | 38
70.88/70.92 c 55.1s | 19 | 734225 | 610082 | 994 1310 | 48 | 38
72.87/72.93 c 57.1s | 19 | 757792 | 631082 | 994 1350 | 48 | 38
74.88/74.94 c 59.1s | 19 | 776798 | 648782 | 994 1383 | 48 | 38
76.77/76.85 c 61.0s | 20 | 795929 | 666827 | 994 1416 | 48 | 38
78.77/78.85 c 63.0s | 20 | 818099 | 686127 | 994 1452 | 48 | 38
80.77/80.85 c 65.0s | 20 | 841426 | 706627 | 994 1490 | 48 | 38
82.77/82.86 c 67.0s | 20 | 865578 | 728127 | 994 1530 | 48 | 38
84.79/84.86 c 69.0s | 20 | 888936 | 748427 | 994 1568 | 48 | 38
86.78/86.86 c 71.0s | 20 | 911048 | 768227 | 994 1605 | 48 | 38
88.78/88.87 c 73.0s | 20 | 933277 | 787927 | 994 1642 | 48 | 38
90.78/90.87 c 75.0s | 20 | 956065 | 808527 | 994 1680 | 48 | 38
92.78/92.88 c 77.1s | 20 | 983778 | 830427 | 994 1721 | 48 | 38
94.78/94.88 c 79.1s | 20 | 1009756 | 851427 | 1094 1757 | 48 | 38
96.78/96.89 c 81.1s | 20 | 1035081 | 872927 | 1094 1793 | 48 | 38
98.87/98.90 c 83.1s | 20 | 1058808 | 893927 | 1094 1829 | 48 | 38
100.87/100.90 c 85.1s | 20 | 1083308 | 915427 | 1094 1866 | 48 | 38
102.87/102.91 c 87.1s | 20 | 1107418 | 936827 | 1094 1902 | 48 | 38
104.87/104.91 c 89.1s | 20 | 1129490 | 957427 | 1094 1937 | 48 | 38
106.87/106.92 c 91.1s | 20 | 1153000 | 978827 | 1094 1974 | 48 | 38
108.88/108.93 c 93.1s | 20 | 1176705 | 999927 | 1094 2009 | 48 | 38
108.88/108.96 c 93.1s | 21 | 1177157 | 1000345 | 1094 2010 | 48 | 38
110.87/110.97 c 95.2s | 21 | 1204362 | 1022945 | 1094 2049 | 48 | 38
112.87/112.98 c 97.2s | 21 | 1229488 | 1044845 | 1094 2086 | 48 | 38
114.87/114.98 c 99.2s | 21 | 1253529 | 1066145 | 1094 2122 | 48 | 38
116.87/116.99 c 101s | 21 | 1278537 | 1087245 | 1094 2158 | 48 | 38
118.97/119.00 c 103s | 21 | 1302542 | 1107645 | 1094 2193 | 48 | 38
120.98/121.01 c 105s | 21 | 1326904 | 1128745 | 1094 2229 | 48 | 38
122.97/123.01 c 107s | 21 | 1353035 | 1150745 | 1094 2266 | 48 | 38
124.97/125.02 c 109s | 21 | 1377578 | 1172745 | 1094 2304 | 48 | 38
126.97/127.02 c 111s | 21 | 1402445 | 1194245 | 1094 2340 | 48 | 38
128.97/129.03 c 113s | 21 | 1425983 | 1215145 | 1094 2376 | 48 | 38
130.97/131.03 c 115s | 21 | 1452459 | 1236745 | 1094 2413 | 48 | 38
132.96/133.04 c 117s | 21 | 1476701 | 1257545 | 1094 2448 | 48 | 38
134.96/135.05 c 119s | 21 | 1502070 | 1279245 | 1094 2485 | 48 | 38
136.96/137.05 c 121s | 21 | 1529455 | 1301745 | 1094 2523 | 48 | 38
138.96/139.06 c 123s | 21 | 1557014 | 1324145 | 1094 2562 | 48 | 38
140.97/141.06 c 125s | 21 | 1582371 | 1345145 | 1204 2595 | 48 | 38
142.98/143.07 c 127s | 21 | 1606866 | 1365445 | 1204 2627 | 48 | 38
144.97/145.07 c 129s | 21 | 1631084 | 1386345 | 1204 2660 | 48 | 38
146.97/147.08 c 131s | 21 | 1653290 | 1406145 | 1204 2691 | 48 | 38
148.97/149.08 c 133s | 21 | 1674142 | 1425145 | 1204 2720 | 48 | 38
150.97/151.09 c 135s | 21 | 1700342 | 1446145 | 1204 2753 | 48 | 38
152.97/153.09 c 137s | 21 | 1725293 | 1465945 | 1204 2784 | 48 | 38
154.97/155.09 c 139s | 21 | 1749809 | 1485045 | 1204 2814 | 48 | 38
156.77/156.87 c 141s | 22 | 1768435 | 1500622 | 1204 2838 | 48 | 38
158.76/158.87 c 143s | 22 | 1793278 | 1521822 | 1204 2871 | 48 | 38
160.76/160.87 c 145s | 22 | 1819746 | 1542522 | 1204 2903 | 48 | 38
162.77/162.88 c 147s | 22 | 1843219 | 1562322 | 1204 2934 | 48 | 38
164.76/164.89 c 149s | 22 | 1868076 | 1582322 | 1204 2965 | 48 | 38
166.76/166.89 c 151s | 22 | 1894155 | 1603222 | 1204 2998 | 48 | 38
168.86/168.90 c 153s | 22 | 1913596 | 1620122 | 1204 3024 | 48 | 38
170.86/170.90 c 155s | 22 | 1936338 | 1639622 | 1204 3055 | 48 | 38
172.86/172.91 c 157s | 22 | 1958815 | 1659122 | 1204 3085 | 48 | 38
174.87/174.91 c 159s | 22 | 1979337 | 1677022 | 1204 3113 | 48 | 38
176.86/176.92 c 161s | 22 | 2001149 | 1696422 | 1204 3143 | 48 | 38
178.86/178.92 c 163s | 22 | 2024868 | 1716722 | 1204 3175 | 48 | 38
180.86/180.93 c 165s | 22 | 2049115 | 1736922 | 1204 3206 | 48 | 38
182.86/182.96 c 167s | 22 | 2071775 | 1757022 | 1204 3238 | 48 | 38
184.87/184.96 c 169s | 22 | 2094536 | 1777422 | 1204 3269 | 48 | 38
186.86/186.97 c 171s | 22 | 2119683 | 1798222 | 1204 3302 | 48 | 38
188.86/188.98 c 173s | 22 | 2145052 | 1819022 | 1204 3334 | 48 | 38
190.86/190.99 c 175s | 22 | 2169933 | 1839722 | 1204 3367 | 48 | 38
192.96/193.00 c 177s | 22 | 2193458 | 1859722 | 1204 3398 | 48 | 38
194.96/195.00 c 179s | 22 | 2212582 | 1877422 | 1204 3425 | 48 | 38
196.96/197.01 c 181s | 22 | 2231847 | 1894922 | 1204 3453 | 48 | 38
198.95/199.02 c 183s | 22 | 2251234 | 1912722 | 1204 3481 | 48 | 38
200.96/201.03 c 185s | 22 | 2271664 | 1930822 | 1204 3509 | 48 | 38
202.96/203.04 c 187s | 22 | 2290392 | 1948022 | 1204 3536 | 48 | 38
204.96/205.04 c 189s | 22 | 2309175 | 1965322 | 1204 3563 | 48 | 38
206.96/207.05 c 191s | 22 | 2329611 | 1983822 | 1204 3591 | 48 | 38
208.97/209.05 c 193s | 22 | 2350081 | 2002122 | 1204 3620 | 48 | 38
210.96/211.05 c 195s | 22 | 2371352 | 2021722 | 1204 3651 | 48 | 38
212.96/213.06 c 197s | 22 | 2391254 | 2040322 | 1204 3680 | 48 | 38
214.95/215.07 c 199s | 22 | 2413201 | 2060022 | 1204 3711 | 48 | 38
216.95/217.07 c 201s | 22 | 2436408 | 2080522 | 1325 3742 | 48 | 38
218.96/219.08 c 203s | 22 | 2457230 | 2099722 | 1325 3769 | 48 | 38
220.95/221.08 c 205s | 22 | 2476892 | 2117922 | 1325 3795 | 48 | 38
222.95/223.09 c 207s | 22 | 2496440 | 2135922 | 1325 3821 | 48 | 38
225.05/225.10 c 209s | 22 | 2515396 | 2153922 | 1325 3846 | 48 | 38
227.06/227.10 c 211s | 22 | 2537588 | 2173322 | 1325 3874 | 48 | 38
229.06/229.11 c 213s | 22 | 2559214 | 2192522 | 1325 3901 | 48 | 38
231.06/231.12 c 215s | 22 | 2578420 | 2210322 | 1325 3927 | 48 | 38
233.06/233.12 c 217s | 22 | 2598994 | 2229422 | 1325 3954 | 48 | 38
235.06/235.12 c 219s | 22 | 2618992 | 2247722 | 1325 3980 | 48 | 38
235.36/235.50 c 219s | 23 | 2622699 | 2251038 | 1325 3985 | 48 | 38
237.46/237.51 c 221s | 23 | 2643487 | 2269238 | 1325 4011 | 48 | 38
239.46/239.51 c 223s | 23 | 2661313 | 2284938 | 1325 4033 | 48 | 38
241.46/241.51 c 225s | 23 | 2680156 | 2301738 | 1325 4057 | 48 | 38
243.46/243.52 c 227s | 23 | 2697184 | 2317638 | 1325 4079 | 48 | 38
245.45/245.52 c 229s | 23 | 2714833 | 2333338 | 1325 4102 | 48 | 38
247.46/247.53 c 231s | 23 | 2732843 | 2349638 | 1325 4125 | 48 | 38
249.45/249.53 c 233s | 23 | 2749749 | 2365238 | 1325 4147 | 48 | 38
251.45/251.54 c 235s | 23 | 2766775 | 2381038 | 1325 4170 | 48 | 38
253.45/253.54 c 237s | 23 | 2783496 | 2396438 | 1325 4192 | 48 | 38
255.45/255.55 c 239s | 23 | 2805107 | 2413538 | 1325 4216 | 48 | 38
257.46/257.55 c 241s | 23 | 2823474 | 2429838 | 1325 4239 | 48 | 38
259.45/259.56 c 243s | 23 | 2841963 | 2445638 | 1325 4261 | 48 | 38
261.45/261.56 c 245s | 23 | 2859995 | 2461738 | 1325 4284 | 48 | 38
263.45/263.57 c 247s | 23 | 2875977 | 2476638 | 1325 4305 | 48 | 38
265.45/265.57 c 249s | 23 | 2893436 | 2492738 | 1325 4328 | 48 | 38
267.45/267.58 c 251s | 23 | 2911699 | 2508738 | 1325 4351 | 48 | 38
269.46/269.59 c 253s | 23 | 2928084 | 2524138 | 1325 4373 | 48 | 38
271.55/271.60 c 255s | 23 | 2944703 | 2539338 | 1325 4395 | 48 | 38
273.55/273.61 c 257s | 23 | 2962158 | 2554638 | 1325 4417 | 48 | 38
275.55/275.61 c 259s | 23 | 2978656 | 2569338 | 1325 4437 | 48 | 38
277.54/277.62 c 261s | 23 | 2994468 | 2583538 | 1325 4458 | 48 | 38
279.54/279.63 c 263s | 23 | 3011018 | 2598038 | 1325 4478 | 48 | 38
281.55/281.63 c 265s | 23 | 3025255 | 2611138 | 1325 4497 | 48 | 38
283.55/283.64 c 267s | 23 | 3042000 | 2627638 | 1325 4521 | 48 | 38
285.55/285.65 c 269s | 23 | 3064474 | 2646538 | 1325 4547 | 48 | 38
287.55/287.65 c 271s | 23 | 3087737 | 2666338 | 1325 4575 | 48 | 38
289.55/289.66 c 273s | 23 | 3109490 | 2685538 | 1325 4603 | 48 | 38
291.56/291.67 c 275s | 23 | 3129229 | 2703638 | 1325 4629 | 48 | 38
293.55/293.67 c 277s | 23 | 3155714 | 2724138 | 1325 4658 | 48 | 38
295.55/295.67 c 279s | 23 | 3181049 | 2744538 | 1325 4687 | 48 | 38
297.55/297.68 c 281s | 23 | 3205121 | 2764538 | 1325 4715 | 48 | 38
299.55/299.68 c 283s | 23 | 3227257 | 2784438 | 1325 4743 | 48 | 38
301.54/301.69 c 285s | 23 | 3247129 | 2802438 | 1325 4769 | 48 | 38
303.55/303.69 c 287s | 23 | 3268474 | 2820438 | 1325 4794 | 48 | 38
305.54/305.69 c 289s | 23 | 3289854 | 2839338 | 1325 4821 | 48 | 38
307.64/307.70 c 291s | 23 | 3311789 | 2858838 | 1325 4849 | 48 | 38
309.64/309.70 c 293s | 23 | 3330880 | 2876838 | 1325 4875 | 48 | 38
311.64/311.70 c 295s | 23 | 3349742 | 2893238 | 1325 4898 | 48 | 38
313.64/313.71 c 297s | 23 | 3371793 | 2912538 | 1325 4926 | 48 | 38
315.65/315.71 c 299s | 23 | 3395040 | 2932738 | 1325 4954 | 48 | 38
317.64/317.72 c 301s | 23 | 3413363 | 2949638 | 1325 4978 | 48 | 38
319.64/319.72 c 303s | 23 | 3435220 | 2968738 | 1325 5005 | 48 | 38
321.64/321.73 c 305s | 23 | 3456489 | 2987638 | 1325 5032 | 48 | 38
323.64/323.73 c 307s | 23 | 3476589 | 3006038 | 1325 5058 | 48 | 38
325.64/325.74 c 309s | 23 | 3497241 | 3024338 | 1325 5085 | 48 | 38
327.64/327.74 c 311s | 23 | 3516967 | 3041638 | 1325 5109 | 48 | 38
329.64/329.74 c 313s | 23 | 3536323 | 3059338 | 1325 5134 | 48 | 38
331.64/331.74 c 315s | 23 | 3555879 | 3076538 | 1325 5159 | 48 | 38
333.64/333.75 c 317s | 23 | 3579536 | 3096738 | 1325 5188 | 48 | 38
335.63/335.75 c 319s | 23 | 3602888 | 3116438 | 1325 5216 | 48 | 38
337.64/337.76 c 321s | 23 | 3628254 | 3137038 | 1325 5245 | 48 | 38
339.63/339.76 c 323s | 23 | 3650155 | 3156338 | 1325 5272 | 48 | 38
341.64/341.77 c 325s | 23 | 3673228 | 3176238 | 1325 5301 | 48 | 38
343.64/343.78 c 327s | 23 | 3695126 | 3195938 | 1458 5328 | 48 | 38
345.64/345.78 c 329s | 23 | 3715321 | 3214038 | 1458 5352 | 48 | 38
347.65/347.78 c 331s | 23 | 3735269 | 3231938 | 1458 5375 | 48 | 38
349.64/349.79 c 333s | 23 | 3757657 | 3250938 | 1458 5400 | 48 | 38
351.64/351.79 c 335s | 23 | 3779534 | 3270338 | 1458 5425 | 48 | 38
353.64/353.79 c 337s | 23 | 3799749 | 3288538 | 1458 5448 | 48 | 38
355.74/355.80 c 339s | 23 | 3819576 | 3306838 | 1458 5472 | 48 | 38
357.73/357.80 c 341s | 23 | 3839505 | 3324638 | 1458 5495 | 48 | 38
359.64/359.80 c 343s | 23 | 3858945 | 3342338 | 1458 5518 | 48 | 38
361.73/361.81 c 345s | 23 | 3878937 | 3360538 | 1458 5542 | 48 | 38
363.53/363.68 c 347s | 24 | 3896265 | 3376662 | 1458 5563 | 48 | 38
365.53/365.69 c 349s | 24 | 3917987 | 3395262 | 1458 5587 | 48 | 38
367.53/367.69 c 351s | 24 | 3938486 | 3413362 | 1458 5610 | 48 | 38
369.54/369.70 c 353s | 24 | 3958590 | 3431562 | 1458 5634 | 48 | 38
371.63/371.70 c 355s | 24 | 3977586 | 3448962 | 1458 5656 | 48 | 38
373.64/373.71 c 357s | 24 | 4001179 | 3468662 | 1458 5682 | 48 | 38
375.64/375.71 c 359s | 24 | 4023722 | 3488062 | 1458 5707 | 48 | 38
377.64/377.72 c 361s | 24 | 4046327 | 3507162 | 1458 5732 | 48 | 38
379.63/379.72 c 363s | 24 | 4064742 | 3523562 | 1458 5753 | 48 | 38
381.64/381.73 c 365s | 24 | 4082001 | 3538662 | 1458 5773 | 48 | 38
383.63/383.74 c 367s | 24 | 4099859 | 3553962 | 1458 5792 | 48 | 38
385.63/385.75 c 369s | 24 | 4117170 | 3568762 | 1458 5812 | 48 | 38
387.63/387.75 c 371s | 24 | 4135258 | 3584462 | 1458 5832 | 48 | 38
389.63/389.75 c 373s | 24 | 4152469 | 3600262 | 1458 5852 | 48 | 38
391.64/391.76 c 375s | 24 | 4172868 | 3618462 | 1458 5876 | 48 | 38
393.63/393.76 c 377s | 24 | 4193732 | 3636762 | 1458 5900 | 48 | 38
395.63/395.77 c 379s | 24 | 4214161 | 3654962 | 1458 5923 | 48 | 38
397.63/397.77 c 381s | 24 | 4235233 | 3673662 | 1458 5947 | 48 | 38
399.63/399.77 c 383s | 24 | 4255194 | 3691762 | 1458 5971 | 48 | 38
401.63/401.78 c 385s | 24 | 4274209 | 3709362 | 1458 5994 | 48 | 38
403.63/403.78 c 387s | 24 | 4291604 | 3725262 | 1458 6014 | 48 | 38
405.62/405.79 c 389s | 24 | 4309794 | 3741162 | 1458 6035 | 48 | 38
407.62/407.79 c 391s | 24 | 4329226 | 3758362 | 1458 6057 | 48 | 38
409.73/409.80 c 393s | 24 | 4348042 | 3775462 | 1458 6080 | 48 | 38
411.73/411.81 c 395s | 24 | 4366320 | 3792162 | 1458 6101 | 48 | 38
413.73/413.82 c 397s | 24 | 4388126 | 3810762 | 1458 6125 | 48 | 38
415.73/415.82 c 400s | 24 | 4408340 | 3827062 | 1458 6147 | 48 | 38
417.73/417.83 c 402s | 24 | 4425977 | 3842662 | 1458 6167 | 48 | 38
419.73/419.83 c 404s | 24 | 4443094 | 3858662 | 1458 6188 | 48 | 38
421.73/421.83 c 406s | 24 | 4463518 | 3875862 | 1458 6210 | 48 | 38
423.73/423.85 c 408s | 24 | 4482936 | 3892562 | 1458 6232 | 48 | 38
425.73/425.85 c 410s | 24 | 4501539 | 3909062 | 1458 6253 | 48 | 38
427.73/427.86 c 412s | 24 | 4520961 | 3926762 | 1458 6276 | 48 | 38
429.73/429.87 c 414s | 24 | 4539133 | 3943862 | 1458 6298 | 48 | 38
431.73/431.87 c 416s | 24 | 4559545 | 3962262 | 1458 6322 | 48 | 38
433.72/433.88 c 418s | 24 | 4580677 | 3981062 | 1458 6346 | 48 | 38
435.72/435.88 c 420s | 24 | 4599210 | 3998262 | 1458 6369 | 48 | 38
437.73/437.89 c 422s | 24 | 4621449 | 4017962 | 1458 6394 | 48 | 38
439.82/439.90 c 424s | 24 | 4640145 | 4034962 | 1458 6417 | 48 | 38
441.82/441.90 c 426s | 24 | 4656495 | 4049562 | 1458 6435 | 48 | 38
443.82/443.91 c 428s | 24 | 4676171 | 4066862 | 1458 6458 | 48 | 38
445.82/445.92 c 430s | 24 | 4695584 | 4084762 | 1458 6481 | 48 | 38
447.82/447.93 c 432s | 24 | 4715647 | 4102862 | 1458 6505 | 48 | 38
449.83/449.94 c 434s | 24 | 4734519 | 4120462 | 1458 6527 | 48 | 38
451.82/451.94 c 436s | 24 | 4752865 | 4137362 | 1458 6549 | 48 | 38
453.82/453.94 c 438s | 24 | 4770177 | 4153762 | 1458 6571 | 48 | 38
455.82/455.94 c 440s | 24 | 4790150 | 4171862 | 1458 6594 | 48 | 38
457.82/457.95 c 442s | 24 | 4810106 | 4189362 | 1458 6617 | 48 | 38
459.82/459.96 c 444s | 24 | 4829421 | 4206962 | 1458 6640 | 48 | 38
461.81/461.96 c 446s | 24 | 4848124 | 4224162 | 1458 6662 | 48 | 38
463.82/463.97 c 448s | 24 | 4867162 | 4241862 | 1458 6685 | 48 | 38
465.82/465.97 c 450s | 24 | 4886782 | 4259662 | 1458 6708 | 48 | 38
467.82/467.97 c 452s | 24 | 4906092 | 4277562 | 1458 6732 | 48 | 38
469.82/469.98 c 454s | 24 | 4926235 | 4296062 | 1458 6756 | 48 | 38
471.83/471.99 c 456s | 24 | 4945932 | 4314162 | 1458 6779 | 48 | 38
473.92/474.01 c 458s | 24 | 4964671 | 4331662 | 1458 6802 | 48 | 38
475.92/476.01 c 460s | 24 | 4983810 | 4348862 | 1458 6824 | 48 | 38
477.92/478.02 c 462s | 24 | 5000234 | 4363762 | 1458 6844 | 48 | 38
479.92/480.02 c 464s | 24 | 5015569 | 4378062 | 1458 6862 | 48 | 38
481.92/482.03 c 466s | 24 | 5032142 | 4393162 | 1458 6882 | 48 | 38
483.92/484.04 c 468s | 24 | 5047285 | 4407262 | 1458 6900 | 48 | 38
485.92/486.05 c 470s | 24 | 5064431 | 4422662 | 1458 6920 | 48 | 38
487.92/488.05 c 472s | 24 | 5087400 | 4442162 | 1458 6945 | 48 | 38
489.92/490.06 c 474s | 24 | 5107035 | 4459762 | 1458 6968 | 48 | 38
491.92/492.06 c 476s | 24 | 5127619 | 4477962 | 1458 6992 | 48 | 38
493.92/494.07 c 478s | 24 | 5148284 | 4496162 | 1458 7015 | 48 | 38
495.91/496.07 c 480s | 24 | 5168098 | 4513862 | 1458 7038 | 48 | 38
497.91/498.08 c 482s | 24 | 5186103 | 4529862 | 1458 7059 | 48 | 38
499.91/500.08 c 484s | 24 | 5203811 | 4546462 | 1458 7081 | 48 | 38
501.91/502.09 c 486s | 24 | 5222768 | 4563962 | 1458 7103 | 48 | 38
504.01/504.10 c 488s | 24 | 5240652 | 4580362 | 1458 7125 | 48 | 38
506.02/506.10 c 490s | 24 | 5260118 | 4598062 | 1458 7148 | 48 | 38
508.01/508.11 c 492s | 24 | 5279627 | 4615662 | 1458 7170 | 48 | 38
510.01/510.11 c 494s | 24 | 5298625 | 4633462 | 1458 7193 | 48 | 38
512.01/512.13 c 496s | 24 | 5316950 | 4650762 | 1458 7216 | 48 | 38
514.01/514.14 c 498s | 24 | 5335658 | 4668662 | 1458 7239 | 48 | 38
516.01/516.14 c 500s | 24 | 5353208 | 4685562 | 1458 7261 | 48 | 38
518.01/518.14 c 502s | 24 | 5371813 | 4702862 | 1458 7283 | 48 | 38
520.01/520.14 c 504s | 24 | 5390959 | 4720562 | 1458 7306 | 48 | 38
522.01/522.15 c 506s | 24 | 5408858 | 4737262 | 1458 7328 | 48 | 38
524.01/524.16 c 508s | 24 | 5427704 | 4754962 | 1458 7351 | 48 | 38
526.01/526.16 c 510s | 24 | 5445285 | 4771862 | 1458 7372 | 48 | 38
528.02/528.17 c 512s | 24 | 5467824 | 4791662 | 1458 7398 | 48 | 38
530.01/530.18 c 514s | 24 | 5488446 | 4810462 | 1458 7423 | 48 | 38
532.01/532.19 c 516s | 24 | 5508612 | 4829062 | 1458 7447 | 48 | 38
534.01/534.19 c 518s | 24 | 5526496 | 4845862 | 1458 7468 | 48 | 38
536.11/536.20 c 520s | 24 | 5546050 | 4863962 | 1458 7492 | 48 | 38
538.11/538.20 c 522s | 24 | 5564954 | 4881762 | 1604 7514 | 48 | 38
540.11/540.22 c 524s | 24 | 5583051 | 4898962 | 1604 7534 | 48 | 38
542.11/542.22 c 526s | 24 | 5601137 | 4915862 | 1604 7554 | 48 | 38
544.11/544.23 c 528s | 24 | 5618440 | 4931962 | 1604 7573 | 48 | 38
546.11/546.23 c 530s | 24 | 5635287 | 4947562 | 1604 7592 | 48 | 38
548.10/548.23 c 532s | 24 | 5652472 | 4963762 | 1604 7611 | 48 | 38
550.10/550.24 c 534s | 24 | 5671280 | 4981062 | 1604 7631 | 48 | 38
552.11/552.24 c 536s | 24 | 5690221 | 4998162 | 1604 7652 | 48 | 38
554.10/554.24 c 538s | 24 | 5709553 | 5015462 | 1604 7672 | 48 | 38
556.10/556.25 c 540s | 24 | 5727652 | 5032062 | 1604 7692 | 48 | 38
558.10/558.25 c 542s | 24 | 5745519 | 5048662 | 1604 7711 | 48 | 38
559.91/560.07 c 544s | 25 | 5764186 | 5065098 | 1604 7731 | 48 | 38
561.91/562.07 c 546s | 25 | 5786862 | 5084198 | 1604 7754 | 48 | 38
563.91/564.08 c 548s | 25 | 5807444 | 5102498 | 1604 7775 | 48 | 38
565.91/566.09 c 550s | 25 | 5828582 | 5120698 | 1604 7797 | 48 | 38
567.91/568.10 c 552s | 25 | 5849375 | 5138898 | 1604 7818 | 48 | 38
570.01/570.10 c 554s | 25 | 5871165 | 5157898 | 1604 7841 | 48 | 38
571.91/572.10 c 556s | 25 | 5892577 | 5176698 | 1604 7863 | 48 | 38
574.01/574.11 c 558s | 25 | 5914584 | 5195098 | 1604 7885 | 48 | 38
576.00/576.11 c 560s | 25 | 5935106 | 5212998 | 1604 7906 | 48 | 38
578.00/578.12 c 562s | 25 | 5957024 | 5231698 | 1604 7928 | 48 | 38
580.00/580.13 c 564s | 25 | 5979129 | 5249998 | 1604 7950 | 48 | 38
582.00/582.13 c 566s | 25 | 5999075 | 5267698 | 1604 7971 | 48 | 38
584.01/584.13 c 568s | 25 | 6019470 | 5285898 | 1604 7992 | 48 | 38
586.00/586.13 c 570s | 25 | 6039409 | 5303898 | 1604 8013 | 48 | 38
588.00/588.14 c 572s | 25 | 6059143 | 5321698 | 1604 8035 | 48 | 38
590.00/590.15 c 574s | 25 | 6078178 | 5339398 | 1604 8056 | 48 | 38
592.00/592.16 c 576s | 25 | 6098872 | 5357198 | 1604 8077 | 48 | 38
594.00/594.17 c 578s | 25 | 6119885 | 5374298 | 1604 8097 | 48 | 38
596.00/596.18 c 580s | 25 | 6142897 | 5392098 | 1604 8118 | 48 | 38
598.00/598.18 c 582s | 25 | 6163243 | 5410098 | 1604 8139 | 48 | 38
599.99/600.19 c 584s | 25 | 6182487 | 5427298 | 1604 8160 | 48 | 38
601.99/602.19 c 586s | 25 | 6203574 | 5445198 | 1604 8181 | 48 | 38
604.09/604.20 c 588s | 25 | 6224962 | 5462898 | 1604 8202 | 48 | 38
606.00/606.20 c 590s | 25 | 6244896 | 5480498 | 1604 8223 | 48 | 38
608.09/608.20 c 592s | 25 | 6265483 | 5497898 | 1604 8243 | 48 | 38
610.10/610.21 c 594s | 25 | 6283783 | 5514298 | 1604 8263 | 48 | 38
612.10/612.22 c 596s | 25 | 6303540 | 5531798 | 1604 8284 | 48 | 38
614.10/614.22 c 598s | 25 | 6323165 | 5548798 | 1604 8304 | 48 | 38
616.10/616.23 c 600s | 25 | 6341907 | 5565698 | 1604 8324 | 48 | 38
618.11/618.24 c 602s | 25 | 6361606 | 5583298 | 1604 8345 | 48 | 38
620.10/620.24 c 604s | 25 | 6380653 | 5600498 | 1604 8365 | 48 | 38
622.10/622.25 c 606s | 25 | 6400955 | 5618698 | 1604 8387 | 48 | 38
624.10/624.27 c 608s | 25 | 6420903 | 5636298 | 1604 8408 | 48 | 38
626.10/626.27 c 610s | 25 | 6440500 | 5653598 | 1604 8428 | 48 | 38
628.10/628.28 c 612s | 25 | 6458717 | 5670198 | 1604 8448 | 48 | 38
630.10/630.29 c 614s | 25 | 6478464 | 5687698 | 1604 8469 | 48 | 38
632.19/632.33 c 616s | 25 | 6499122 | 5706098 | 1604 8490 | 48 | 38
634.19/634.34 c 618s | 25 | 6518399 | 5723498 | 1604 8511 | 48 | 38
636.19/636.35 c 620s | 25 | 6535191 | 5739498 | 1604 8530 | 48 | 38
638.19/638.35 c 622s | 25 | 6554420 | 5756998 | 1604 8551 | 48 | 38
640.20/640.36 c 624s | 25 | 6572901 | 5773698 | 1604 8571 | 48 | 38
642.19/642.36 c 626s | 25 | 6592768 | 5791398 | 1604 8591 | 48 | 38
644.19/644.37 c 628s | 25 | 6613165 | 5808898 | 1604 8612 | 48 | 38
646.19/646.38 c 630s | 25 | 6632494 | 5826098 | 1604 8633 | 48 | 38
648.19/648.39 c 632s | 25 | 6651375 | 5843098 | 1604 8653 | 48 | 38
650.19/650.39 c 634s | 25 | 6669531 | 5859998 | 1604 8672 | 48 | 38
652.19/652.40 c 636s | 25 | 6688144 | 5877198 | 1604 8693 | 48 | 38
654.29/654.40 c 638s | 25 | 6707503 | 5894798 | 1604 8714 | 48 | 38
656.29/656.40 c 640s | 25 | 6726048 | 5911998 | 1604 8734 | 48 | 38
658.29/658.42 c 642s | 25 | 6745362 | 5929498 | 1604 8755 | 48 | 38
660.28/660.42 c 644s | 25 | 6767817 | 5948998 | 1604 8778 | 48 | 38
662.29/662.43 c 646s | 25 | 6789027 | 5967798 | 1604 8800 | 48 | 38
664.30/664.43 c 648s | 25 | 6810713 | 5986698 | 1604 8822 | 48 | 38
666.29/666.44 c 650s | 25 | 6829460 | 6003998 | 1604 8843 | 48 | 38
668.29/668.45 c 652s | 25 | 6850151 | 6022298 | 1604 8864 | 48 | 38
670.29/670.45 c 654s | 25 | 6870465 | 6040198 | 1604 8886 | 48 | 38
672.29/672.45 c 656s | 25 | 6891827 | 6058298 | 1604 8907 | 48 | 38
674.30/674.48 c 658s | 25 | 6912793 | 6076498 | 1604 8929 | 48 | 38
676.29/676.50 c 660s | 25 | 6931783 | 6093898 | 1604 8949 | 48 | 38
678.39/678.51 c 662s | 25 | 6951734 | 6111998 | 1604 8971 | 48 | 38
680.39/680.51 c 664s | 25 | 6970117 | 6128998 | 1604 8991 | 48 | 38
682.39/682.52 c 666s | 25 | 6989485 | 6146398 | 1604 9012 | 48 | 38
684.39/684.52 c 668s | 25 | 7007927 | 6163598 | 1604 9032 | 48 | 38
686.40/686.54 c 670s | 25 | 7028839 | 6182298 | 1604 9054 | 48 | 38
688.39/688.54 c 672s | 25 | 7050816 | 6201498 | 1604 9077 | 48 | 38
690.39/690.56 c 674s | 25 | 7071474 | 6220098 | 1604 9099 | 48 | 38
692.39/692.58 c 676s | 25 | 7092704 | 6238998 | 1604 9122 | 48 | 38
694.39/694.58 c 678s | 25 | 7111720 | 6256498 | 1604 9142 | 48 | 38
696.39/696.59 c 680s | 25 | 7132014 | 6274098 | 1604 9163 | 48 | 38
698.39/698.59 c 682s | 25 | 7153842 | 6292598 | 1604 9185 | 48 | 38
700.38/700.59 c 684s | 25 | 7174473 | 6310498 | 1604 9206 | 48 | 38
702.38/702.59 c 686s | 25 | 7195434 | 6328998 | 1604 9228 | 48 | 38
704.48/704.60 c 688s | 25 | 7215106 | 6345898 | 1604 9248 | 48 | 38
706.48/706.61 c 690s | 25 | 7233328 | 6362798 | 1604 9268 | 48 | 38
708.48/708.61 c 692s | 25 | 7252919 | 6380298 | 1604 9289 | 48 | 38
710.49/710.61 c 694s | 25 | 7270652 | 6396398 | 1604 9308 | 48 | 38
712.48/712.62 c 696s | 25 | 7291563 | 6414098 | 1604 9329 | 48 | 38
714.48/714.63 c 698s | 25 | 7310884 | 6430998 | 1604 9349 | 48 | 38
716.48/716.63 c 700s | 25 | 7329510 | 6447098 | 1604 9368 | 48 | 38
718.48/718.64 c 702s | 25 | 7349471 | 6464498 | 1604 9388 | 48 | 38
720.48/720.65 c 704s | 25 | 7370455 | 6482098 | 1604 9409 | 48 | 38
722.48/722.66 c 706s | 25 | 7389545 | 6499298 | 1604 9429 | 48 | 38
724.47/724.67 c 708s | 25 | 7407869 | 6515698 | 1604 9449 | 48 | 38
726.48/726.68 c 710s | 25 | 7426419 | 6532398 | 1604 9469 | 48 | 38
728.58/728.71 c 712s | 25 | 7443568 | 6547898 | 1604 9487 | 48 | 38
730.58/730.71 c 714s | 25 | 7462053 | 6564198 | 1604 9506 | 48 | 38
732.59/732.74 c 716s | 25 | 7480849 | 6580498 | 1604 9526 | 48 | 38
734.58/734.74 c 718s | 25 | 7498417 | 6596698 | 1604 9545 | 48 | 38
736.58/736.75 c 720s | 25 | 7515462 | 6612498 | 1604 9563 | 48 | 38
738.58/738.76 c 722s | 25 | 7531279 | 6627598 | 1604 9581 | 48 | 38
740.58/740.76 c 724s | 25 | 7548486 | 6643398 | 1604 9600 | 48 | 38
742.58/742.77 c 726s | 25 | 7564904 | 6658998 | 1604 9619 | 48 | 38
744.59/744.77 c 728s | 25 | 7582102 | 6675298 | 1604 9638 | 48 | 38
746.58/746.78 c 730s | 25 | 7599450 | 6691098 | 1604 9657 | 48 | 38
748.58/748.78 c 732s | 25 | 7616633 | 6707198 | 1604 9676 | 48 | 38
750.68/750.80 c 734s | 25 | 7632839 | 6722498 | 1604 9694 | 48 | 38
752.68/752.81 c 736s | 25 | 7650268 | 6738598 | 1604 9713 | 48 | 38
754.68/754.81 c 738s | 25 | 7667480 | 6754698 | 1604 9732 | 48 | 38
756.68/756.82 c 740s | 25 | 7683908 | 6770298 | 1604 9751 | 48 | 38
758.68/758.83 c 743s | 25 | 7700187 | 6785898 | 1604 9769 | 48 | 38
760.67/760.84 c 745s | 25 | 7716789 | 6801798 | 1604 9788 | 48 | 38
762.67/762.85 c 747s | 25 | 7735002 | 6818698 | 1604 9808 | 48 | 38
764.67/764.85 c 749s | 25 | 7752853 | 6835498 | 1604 9828 | 48 | 38
766.68/766.87 c 751s | 25 | 7770071 | 6851798 | 1604 9847 | 48 | 38
768.67/768.88 c 753s | 25 | 7788028 | 6868598 | 1604 9867 | 48 | 38
770.67/770.88 c 755s | 25 | 7807095 | 6885398 | 1604 9887 | 48 | 38
772.67/772.89 c 757s | 25 | 7825366 | 6901998 | 1604 9907 | 48 | 38
774.77/774.90 c 759s | 25 | 7843205 | 6918698 | 1604 9927 | 48 | 38
776.77/776.91 c 761s | 25 | 7864466 | 6936398 | 1604 9948 | 48 | 38
778.78/778.92 c 763s | 25 | 7884819 | 6953498 | 1604 9968 | 48 | 38
780.77/780.92 c 765s | 25 | 7906621 | 6970998 | 1604 9989 | 48 | 38
782.77/782.92 c 767s | 25 | 7928001 | 6987898 | 1604 10008 | 48 | 38
784.77/784.93 c 769s | 25 | 7947717 | 7003798 | 1604 10027 | 48 | 38
786.77/786.94 c 771s | 25 | 7968915 | 7020298 | 1604 10047 | 48 | 38
788.77/788.95 c 773s | 25 | 7989671 | 7037698 | 1604 10067 | 48 | 38
790.77/790.95 c 775s | 25 | 8010068 | 7055698 | 1604 10089 | 48 | 38
792.77/792.96 c 777s | 25 | 8029393 | 7072898 | 1604 10109 | 48 | 38
794.77/794.96 c 779s | 25 | 8049951 | 7089898 | 1604 10129 | 48 | 38
796.76/796.96 c 781s | 25 | 8068172 | 7106898 | 1604 10149 | 48 | 38
798.76/798.97 c 783s | 25 | 8084890 | 7122198 | 1604 10168 | 48 | 38
800.77/800.98 c 785s | 25 | 8103608 | 7139098 | 1604 10188 | 48 | 38
802.76/802.98 c 787s | 25 | 8119958 | 7154698 | 1604 10206 | 48 | 38
804.76/804.99 c 789s | 25 | 8137530 | 7171198 | 1604 10226 | 48 | 38
806.86/807.00 c 791s | 25 | 8156040 | 7187798 | 1604 10245 | 48 | 38
808.87/809.00 c 793s | 25 | 8175336 | 7204998 | 1604 10266 | 48 | 38
810.87/811.00 c 795s | 25 | 8193625 | 7221398 | 1604 10285 | 48 | 38
812.88/813.01 c 797s | 25 | 8211058 | 7237598 | 1604 10304 | 48 | 38
814.87/815.01 c 799s | 25 | 8228911 | 7253998 | 1604 10324 | 48 | 38
816.87/817.01 c 801s | 25 | 8248049 | 7270798 | 1604 10344 | 48 | 38
818.87/819.01 c 803s | 25 | 8265808 | 7287198 | 1604 10363 | 48 | 38
820.87/821.03 c 805s | 25 | 8284415 | 7304598 | 1604 10384 | 48 | 38
822.86/823.03 c 807s | 25 | 8302193 | 7321298 | 1604 10403 | 48 | 38
824.87/825.04 c 809s | 25 | 8320685 | 7338698 | 1604 10424 | 48 | 38
826.86/827.04 c 811s | 25 | 8339551 | 7355098 | 1604 10443 | 48 | 38
828.86/829.04 c 813s | 25 | 8358955 | 7371898 | 1604 10463 | 48 | 38
830.86/831.05 c 815s | 25 | 8377781 | 7389198 | 1765 10483 | 48 | 38
832.87/833.05 c 817s | 25 | 8395400 | 7404698 | 1765 10500 | 48 | 38
834.87/835.06 c 819s | 25 | 8412849 | 7420698 | 1765 10517 | 48 | 38
836.87/837.06 c 821s | 25 | 8431521 | 7437098 | 1765 10535 | 48 | 38
838.87/839.06 c 823s | 25 | 8449874 | 7453598 | 1765 10553 | 48 | 38
840.87/841.07 c 825s | 25 | 8466816 | 7469398 | 1765 10570 | 48 | 38
842.86/843.08 c 827s | 25 | 8485119 | 7485698 | 1765 10588 | 48 | 38
844.86/845.09 c 829s | 25 | 8502460 | 7501398 | 1765 10604 | 48 | 38
846.87/847.09 c 831s | 25 | 8519095 | 7516998 | 1765 10621 | 48 | 38
848.96/849.10 c 833s | 25 | 8537127 | 7533298 | 1765 10639 | 48 | 38
850.96/851.14 c 835s | 25 | 8554198 | 7548698 | 1765 10656 | 48 | 38
852.96/853.16 c 837s | 25 | 8572189 | 7565298 | 1765 10674 | 48 | 38
854.96/855.17 c 839s | 25 | 8589301 | 7581298 | 1765 10691 | 48 | 38
856.96/857.17 c 841s | 25 | 8606446 | 7597398 | 1765 10708 | 48 | 38
857.06/857.21 c 841s | 26 | 8606858 | 7597752 | 1765 10709 | 48 | 38
859.07/859.21 c 843s | 26 | 8628542 | 7615552 | 1765 10728 | 48 | 38
861.06/861.23 c 845s | 26 | 8648241 | 7632552 | 1765 10746 | 48 | 38
863.06/863.23 c 847s | 26 | 8668504 | 7649952 | 1765 10765 | 48 | 38
865.06/865.24 c 849s | 26 | 8687393 | 7666852 | 1765 10783 | 48 | 38
867.06/867.24 c 851s | 26 | 8705693 | 7683252 | 1765 10801 | 48 | 38
869.06/869.25 c 853s | 26 | 8724555 | 7700252 | 1765 10819 | 48 | 38
871.06/871.26 c 855s | 26 | 8745551 | 7718552 | 1765 10839 | 48 | 38
873.06/873.27 c 857s | 26 | 8764753 | 7735552 | 1765 10858 | 48 | 38
875.06/875.27 c 859s | 26 | 8787437 | 7753752 | 1765 10877 | 48 | 38
877.05/877.28 c 861s | 26 | 8808500 | 7770952 | 1765 10896 | 48 | 38
879.05/879.29 c 863s | 26 | 8829183 | 7789052 | 1765 10915 | 48 | 38
881.15/881.30 c 865s | 26 | 8849837 | 7806252 | 1765 10934 | 48 | 38
883.16/883.31 c 867s | 26 | 8871023 | 7824152 | 1765 10953 | 48 | 38
885.15/885.31 c 869s | 26 | 8890701 | 7841552 | 1765 10972 | 48 | 38
887.15/887.32 c 871s | 26 | 8910118 | 7858752 | 1765 10991 | 48 | 38
889.15/889.33 c 873s | 26 | 8928711 | 7875652 | 1765 11009 | 48 | 38
891.15/891.33 c 875s | 26 | 8947851 | 7892552 | 1765 11027 | 48 | 38
893.16/893.34 c 877s | 26 | 8967135 | 7909652 | 1765 11046 | 48 | 38
895.16/895.34 c 879s | 26 | 8987454 | 7927152 | 1765 11064 | 48 | 38
897.16/897.35 c 881s | 26 | 9004633 | 7943252 | 1765 11082 | 48 | 38
899.16/899.36 c 883s | 26 | 9021400 | 7958952 | 1765 11099 | 48 | 38
901.16/901.37 c 885s | 26 | 9042117 | 7976752 | 1765 11118 | 48 | 38
903.15/903.37 c 887s | 26 | 9061303 | 7994052 | 1765 11136 | 48 | 38
905.16/905.38 c 889s | 26 | 9080213 | 8011052 | 1765 11155 | 48 | 38
907.15/907.38 c 891s | 26 | 9098991 | 8027852 | 1765 11173 | 48 | 38
909.15/909.38 c 893s | 26 | 9117823 | 8044852 | 1765 11191 | 48 | 38
911.25/911.41 c 895s | 26 | 9135784 | 8060952 | 1765 11209 | 48 | 38
913.25/913.41 c 897s | 26 | 9153786 | 8077152 | 1765 11226 | 48 | 38
915.25/915.41 c 899s | 26 | 9171292 | 8093352 | 1765 11244 | 48 | 38
917.26/917.42 c 901s | 26 | 9188835 | 8109552 | 1765 11261 | 48 | 38
919.25/919.42 c 903s | 26 | 9205383 | 8124952 | 1765 11278 | 48 | 38
921.25/921.43 c 905s | 26 | 9222828 | 8140952 | 1765 11295 | 48 | 38
923.25/923.44 c 907s | 26 | 9241517 | 8157952 | 1765 11314 | 48 | 38
925.25/925.45 c 909s | 26 | 9259007 | 8173752 | 1765 11331 | 48 | 38
927.25/927.45 c 911s | 26 | 9280053 | 8191252 | 1765 11350 | 48 | 38
929.25/929.47 c 913s | 26 | 9300691 | 8208752 | 1765 11369 | 48 | 38
931.24/931.47 c 915s | 26 | 9320434 | 8225852 | 1765 11387 | 48 | 38
933.24/933.47 c 917s | 26 | 9338880 | 8242252 | 1765 11405 | 48 | 38
935.24/935.48 c 919s | 26 | 9359441 | 8259652 | 1765 11423 | 48 | 38
937.24/937.48 c 921s | 26 | 9379753 | 8276552 | 1765 11442 | 48 | 38
939.25/939.50 c 923s | 26 | 9398401 | 8293052 | 1765 11460 | 48 | 38
941.34/941.50 c 925s | 26 | 9416535 | 8309452 | 1765 11477 | 48 | 38
943.34/943.50 c 927s | 26 | 9435462 | 8326152 | 1765 11495 | 48 | 38
945.34/945.51 c 929s | 26 | 9453344 | 8342352 | 1765 11513 | 48 | 38
947.35/947.51 c 931s | 26 | 9470791 | 8358352 | 1765 11530 | 48 | 38
949.35/949.52 c 933s | 26 | 9491805 | 8375652 | 1765 11549 | 48 | 38
951.36/951.53 c 935s | 26 | 9512335 | 8393152 | 1765 11568 | 48 | 38
953.35/953.53 c 937s | 26 | 9530831 | 8409852 | 1765 11586 | 48 | 38
955.35/955.53 c 939s | 26 | 9551277 | 8427152 | 1765 11604 | 48 | 38
957.35/957.54 c 941s | 26 | 9571943 | 8444652 | 1765 11623 | 48 | 38
959.35/959.55 c 943s | 26 | 9591385 | 8461752 | 1765 11642 | 48 | 38
961.35/961.56 c 945s | 26 | 9609692 | 8478452 | 1765 11660 | 48 | 38
963.34/963.57 c 947s | 26 | 9627711 | 8494752 | 1765 11678 | 48 | 38
965.34/965.57 c 949s | 26 | 9646639 | 8511452 | 1765 11696 | 48 | 38
967.34/967.58 c 951s | 26 | 9664808 | 8527852 | 1765 11713 | 48 | 38
969.34/969.58 c 953s | 26 | 9681399 | 8543452 | 1765 11730 | 48 | 38
971.34/971.59 c 955s | 26 | 9698907 | 8559552 | 1765 11748 | 48 | 38
973.35/973.59 c 957s | 26 | 9718070 | 8576752 | 1765 11766 | 48 | 38
975.44/975.60 c 959s | 26 | 9736192 | 8593452 | 1765 11784 | 48 | 38
977.44/977.61 c 961s | 26 | 9754293 | 8610052 | 1765 11802 | 48 | 38
979.43/979.62 c 963s | 26 | 9771355 | 8625752 | 1765 11819 | 48 | 38
981.43/981.62 c 965s | 26 | 9790470 | 8642352 | 1765 11837 | 48 | 38
983.43/983.63 c 967s | 26 | 9807897 | 8658352 | 1765 11854 | 48 | 38
985.45/985.63 c 969s | 26 | 9826938 | 8675552 | 1765 11873 | 48 | 38
987.44/987.64 c 971s | 26 | 9844216 | 8691852 | 1765 11891 | 48 | 38
989.43/989.65 c 973s | 26 | 9860893 | 8707652 | 1765 11908 | 48 | 38
991.43/991.66 c 975s | 26 | 9878030 | 8723952 | 1765 11925 | 48 | 38
993.53/993.70 c 977s | 26 | 9898233 | 8740852 | 1765 11944 | 48 | 38
995.53/995.72 c 979s | 26 | 9919335 | 8758352 | 1765 11963 | 48 | 38
997.54/997.72 c 981s | 26 | 9938219 | 8775352 | 1765 11981 | 48 | 38
999.53/999.72 c 983s | 26 | 9958635 | 8792952 | 1765 12000 | 48 | 38
1001.53/1001.73 c 985s | 26 | 9979847 | 8811152 | 1765 12020 | 48 | 38
1003.53/1003.73 c 987s | 26 | 9999559 | 8828652 | 1765 12039 | 48 | 38
1005.53/1005.74 c 989s | 26 | 10019923 | 8846352 | 1765 12058 | 48 | 38
1007.53/1007.74 c 991s | 26 | 10039409 | 8863952 | 1765 12077 | 48 | 38
1009.52/1009.74 c 993s | 26 | 10059310 | 8881452 | 1765 12096 | 48 | 38
1011.52/1011.75 c 995s | 26 | 10077808 | 8898252 | 1765 12114 | 48 | 38
1013.52/1013.79 c 997s | 26 | 10096384 | 8915352 | 1765 12132 | 48 | 38
1015.52/1015.80 c 999s | 26 | 10115497 | 8932552 | 1765 12151 | 48 | 38
1017.62/1017.80 c 1001s | 26 | 10133594 | 8949152 | 1765 12169 | 48 | 38
1019.52/1019.80 c 1003s | 26 | 10151656 | 8965552 | 1765 12186 | 48 | 38
1021.61/1021.81 c 1005s | 26 | 10169292 | 8981852 | 1765 12204 | 48 | 38
1023.61/1023.81 c 1007s | 26 | 10187992 | 8998652 | 1765 12222 | 48 | 38
1025.61/1025.82 c 1009s | 26 | 10206338 | 9014852 | 1765 12240 | 48 | 38
1027.61/1027.83 c 1012s | 26 | 10223677 | 9031052 | 1765 12257 | 48 | 38
1029.61/1029.84 c 1014s | 26 | 10240741 | 9046752 | 1765 12274 | 48 | 38
1031.61/1031.84 c 1016s | 26 | 10258950 | 9063452 | 1765 12292 | 48 | 38
1033.61/1033.84 c 1018s | 26 | 10277739 | 9079552 | 1765 12310 | 48 | 38
1035.61/1035.85 c 1020s | 26 | 10294893 | 9095652 | 1765 12327 | 48 | 38
1037.61/1037.86 c 1022s | 26 | 10311247 | 9110852 | 1765 12344 | 48 | 38
1039.60/1039.86 c 1024s | 26 | 10330428 | 9127952 | 1765 12362 | 48 | 38
1041.61/1041.87 c 1026s | 26 | 10348941 | 9144752 | 1765 12380 | 48 | 38
1043.60/1043.87 c 1028s | 26 | 10366072 | 9160752 | 1765 12398 | 48 | 38
1045.60/1045.88 c 1030s | 26 | 10384216 | 9177452 | 1765 12416 | 48 | 38
1047.60/1047.88 c 1032s | 26 | 10400710 | 9193152 | 1765 12433 | 48 | 38
1049.60/1049.89 c 1034s | 26 | 10417796 | 9209052 | 1765 12450 | 48 | 38
1051.60/1051.90 c 1036s | 26 | 10434520 | 9224552 | 1765 12466 | 48 | 38
1053.71/1053.92 c 1038s | 26 | 10453192 | 9241252 | 1765 12485 | 48 | 38
1055.70/1055.93 c 1040s | 26 | 10471459 | 9258052 | 1765 12503 | 48 | 38
1057.70/1057.93 c 1042s | 26 | 10488355 | 9274152 | 1765 12520 | 48 | 38
1059.70/1059.93 c 1044s | 26 | 10506331 | 9290252 | 1765 12537 | 48 | 38
1061.70/1061.95 c 1046s | 26 | 10522969 | 9306052 | 1765 12555 | 48 | 38
1063.70/1063.95 c 1048s | 26 | 10539151 | 9321552 | 1765 12571 | 48 | 38
1065.70/1065.95 c 1050s | 26 | 10555518 | 9337052 | 1765 12588 | 48 | 38
1067.70/1067.95 c 1052s | 26 | 10571935 | 9352552 | 1765 12605 | 48 | 38
1069.69/1069.96 c 1054s | 26 | 10588428 | 9368052 | 1765 12622 | 48 | 38
1071.69/1071.96 c 1056s | 26 | 10609384 | 9386352 | 1765 12641 | 48 | 38
1073.69/1073.96 c 1058s | 26 | 10628848 | 9403852 | 1765 12660 | 48 | 38
1075.70/1075.97 c 1060s | 26 | 10648631 | 9421552 | 1765 12679 | 48 | 38
1077.69/1077.97 c 1062s | 26 | 10666184 | 9437852 | 1765 12697 | 48 | 38
1079.69/1079.99 c 1064s | 26 | 10684935 | 9454852 | 1765 12716 | 48 | 38
1081.79/1082.00 c 1066s | 26 | 10704390 | 9472552 | 1765 12735 | 48 | 38
1083.79/1084.00 c 1068s | 26 | 10722533 | 9489052 | 1765 12753 | 48 | 38
1085.79/1086.01 c 1070s | 26 | 10740747 | 9505752 | 1765 12771 | 48 | 38
1087.79/1088.02 c 1072s | 26 | 10757671 | 9521752 | 1765 12788 | 48 | 38
1089.78/1090.03 c 1074s | 26 | 10775747 | 9537952 | 1765 12805 | 48 | 38
1091.78/1092.03 c 1076s | 26 | 10793952 | 9554652 | 1765 12824 | 48 | 38
1093.78/1094.03 c 1078s | 26 | 10812465 | 9570952 | 1765 12841 | 48 | 38
1095.78/1096.04 c 1080s | 26 | 10832153 | 9587752 | 1765 12859 | 48 | 38
1097.78/1098.04 c 1082s | 26 | 10849794 | 9603452 | 1765 12876 | 48 | 38
1099.78/1100.05 c 1084s | 26 | 10866794 | 9619052 | 1765 12893 | 48 | 38
1101.78/1102.06 c 1086s | 26 | 10887169 | 9636052 | 1765 12911 | 48 | 38
1103.78/1104.06 c 1088s | 26 | 10904568 | 9651352 | 1765 12928 | 48 | 38
1105.77/1106.06 c 1090s | 26 | 10925913 | 9669252 | 1765 12947 | 48 | 38
1107.77/1108.06 c 1092s | 26 | 10943595 | 9685152 | 1765 12964 | 48 | 38
1109.78/1110.07 c 1094s | 26 | 10963518 | 9701852 | 1765 12982 | 48 | 38
1111.77/1112.10 c 1096s | 26 | 10983118 | 9719052 | 1765 13001 | 48 | 38
1113.87/1114.10 c 1098s | 26 | 11000544 | 9734852 | 1765 13018 | 48 | 38
1115.87/1116.11 c 1100s | 26 | 11014397 | 9747352 | 1765 13032 | 48 | 38
1117.87/1118.11 c 1102s | 26 | 11032750 | 9763852 | 1765 13049 | 48 | 38
1119.86/1120.11 c 1104s | 26 | 11050790 | 9780552 | 1765 13067 | 48 | 38
1121.87/1122.11 c 1106s | 26 | 11068577 | 9796452 | 1765 13085 | 48 | 38
1123.86/1124.12 c 1108s | 26 | 11088604 | 9813952 | 1765 13103 | 48 | 38
1125.87/1126.12 c 1110s | 26 | 11106634 | 9830352 | 1765 13121 | 48 | 38
1127.87/1128.13 c 1112s | 26 | 11125005 | 9847352 | 1765 13140 | 48 | 38
1129.87/1130.13 c 1114s | 26 | 11144011 | 9864052 | 1765 13158 | 48 | 38
1131.87/1132.14 c 1116s | 26 | 11163374 | 9881152 | 1765 13176 | 48 | 38
1133.87/1134.15 c 1118s | 26 | 11181022 | 9897152 | 1765 13193 | 48 | 38
1135.86/1136.17 c 1120s | 26 | 11199761 | 9913952 | 1765 13212 | 48 | 38
1137.86/1138.18 c 1122s | 26 | 11217008 | 9929952 | 1765 13229 | 48 | 38
1139.86/1140.19 c 1124s | 26 | 11236095 | 9947452 | 1765 13248 | 48 | 38
1141.96/1142.20 c 1126s | 26 | 11255077 | 9964752 | 1765 13267 | 48 | 38
1143.96/1144.21 c 1128s | 26 | 11273112 | 9981352 | 1765 13284 | 48 | 38
1145.96/1146.21 c 1130s | 26 | 11289630 | 9997052 | 1765 13301 | 48 | 38
1147.96/1148.22 c 1132s | 26 | 11307743 | 10014052 | 1765 13320 | 48 | 38
1149.95/1150.23 c 1134s | 26 | 11326595 | 10031052 | 1765 13338 | 48 | 38
1151.95/1152.23 c 1136s | 26 | 11344917 | 10047752 | 1765 13356 | 48 | 38
1153.95/1154.23 c 1138s | 26 | 11362165 | 10063452 | 1765 13373 | 48 | 38
1155.96/1156.23 c 1140s | 26 | 11380488 | 10080452 | 1765 13392 | 48 | 38
1157.95/1158.23 c 1142s | 26 | 11397726 | 10096752 | 1765 13409 | 48 | 38
1159.94/1160.24 c 1144s | 26 | 11414986 | 10112952 | 1765 13427 | 48 | 38
1161.94/1162.24 c 1146s | 26 | 11431427 | 10128652 | 1765 13444 | 48 | 38
1163.94/1164.26 c 1148s | 26 | 11449486 | 10145252 | 1765 13462 | 48 | 38
1165.94/1166.27 c 1150s | 26 | 11470220 | 10162652 | 1765 13480 | 48 | 38
1167.95/1168.28 c 1152s | 26 | 11490586 | 10180252 | 1765 13499 | 48 | 38
1169.94/1170.28 c 1154s | 26 | 11509315 | 10196652 | 1765 13517 | 48 | 38
1171.94/1172.29 c 1156s | 26 | 11527710 | 10212952 | 1765 13535 | 48 | 38
1174.04/1174.30 c 1158s | 26 | 11546719 | 10229852 | 1765 13553 | 48 | 38
1176.04/1176.30 c 1160s | 26 | 11564505 | 10245852 | 1765 13570 | 48 | 38
1178.04/1178.31 c 1162s | 26 | 11582332 | 10262252 | 1765 13588 | 48 | 38
1180.04/1180.31 c 1164s | 26 | 11598737 | 10277852 | 1765 13605 | 48 | 38
1182.04/1182.31 c 1166s | 26 | 11616886 | 10294352 | 1765 13623 | 48 | 38
1184.04/1184.32 c 1168s | 26 | 11633667 | 10309952 | 1765 13640 | 48 | 38
1186.03/1186.32 c 1170s | 26 | 11650930 | 10326052 | 1765 13657 | 48 | 38
1188.03/1188.32 c 1172s | 26 | 11667373 | 10341852 | 1765 13674 | 48 | 38
1190.03/1190.34 c 1174s | 26 | 11683373 | 10357152 | 1765 13691 | 48 | 38
1192.03/1192.36 c 1176s | 26 | 11700180 | 10373152 | 1765 13708 | 48 | 38
1194.03/1194.36 c 1178s | 26 | 11718379 | 10389752 | 1765 13726 | 48 | 38
1196.03/1196.37 c 1180s | 26 | 11736985 | 10406552 | 1765 13744 | 48 | 38
1198.03/1198.38 c 1182s | 26 | 11754978 | 10423252 | 1765 13762 | 48 | 38
1200.03/1200.38 c 1184s | 26 | 11771517 | 10439252 | 1765 13779 | 48 | 38
1202.03/1202.39 c 1186s | 26 | 11788293 | 10455252 | 1765 13797 | 48 | 38
1204.13/1204.41 c 1188s | 26 | 11804412 | 10470752 | 1765 13814 | 48 | 38
1206.12/1206.41 c 1190s | 26 | 11820070 | 10485652 | 1765 13830 | 48 | 38
1208.12/1208.42 c 1192s | 26 | 11836007 | 10501052 | 1765 13846 | 48 | 38
1210.12/1210.42 c 1194s | 26 | 11852768 | 10516952 | 1765 13863 | 48 | 38
1212.12/1212.43 c 1196s | 26 | 11869346 | 10533052 | 1765 13881 | 48 | 38
1214.13/1214.43 c 1198s | 26 | 11884827 | 10548052 | 1765 13897 | 48 | 38
1216.13/1216.44 c 1200s | 26 | 11901432 | 10564052 | 1765 13914 | 48 | 38
1218.13/1218.44 c 1202s | 26 | 11918018 | 10579952 | 1765 13931 | 48 | 38
1220.12/1220.44 c 1204s | 26 | 11937770 | 10597152 | 1765 13950 | 48 | 38
1222.12/1222.45 c 1206s | 26 | 11960512 | 10615952 | 1765 13970 | 48 | 38
1224.13/1224.45 c 1208s | 26 | 11979743 | 10632852 | 1765 13989 | 48 | 38
1226.12/1226.46 c 1210s | 26 | 11998584 | 10650052 | 1765 14007 | 48 | 38
1228.12/1228.47 c 1212s | 26 | 12017463 | 10667352 | 1765 14026 | 48 | 38
1230.12/1230.47 c 1214s | 26 | 12035345 | 10683752 | 1765 14044 | 48 | 38
1232.12/1232.47 c 1216s | 26 | 12053912 | 10700652 | 1765 14062 | 48 | 38
1234.12/1234.48 c 1218s | 26 | 12072864 | 10717752 | 1765 14081 | 48 | 38
1236.12/1236.48 c 1220s | 26 | 12093807 | 10735752 | 1765 14100 | 48 | 38
1238.11/1238.48 c 1222s | 26 | 12113753 | 10753152 | 1765 14119 | 48 | 38
1240.11/1240.49 c 1224s | 26 | 12133270 | 10770652 | 1765 14138 | 48 | 38
1242.11/1242.49 c 1226s | 26 | 12153128 | 10788352 | 1765 14157 | 48 | 38
1244.11/1244.49 c 1228s | 26 | 12170978 | 10804852 | 1765 14175 | 48 | 38
1246.12/1246.49 c 1230s | 26 | 12190094 | 10821652 | 1765 14193 | 48 | 38
1248.11/1248.50 c 1232s | 26 | 12211942 | 10840652 | 1765 14214 | 48 | 38
1250.20/1250.51 c 1234s | 26 | 12231119 | 10858152 | 1765 14233 | 48 | 38
1252.20/1252.51 c 1236s | 26 | 12250801 | 10876052 | 1765 14252 | 48 | 38
1254.20/1254.52 c 1238s | 26 | 12271809 | 10894152 | 1765 14272 | 48 | 38
1256.20/1256.55 c 1240s | 26 | 12292067 | 10911952 | 1765 14291 | 48 | 38
1258.20/1258.55 c 1242s | 26 | 12312467 | 10929452 | 1765 14310 | 48 | 38
1260.20/1260.56 c 1244s | 26 | 12331950 | 10946452 | 1765 14328 | 48 | 38
1262.20/1262.58 c 1246s | 26 | 12350187 | 10963252 | 1765 14347 | 48 | 38
1264.20/1264.59 c 1248s | 26 | 12368915 | 10980552 | 1765 14365 | 48 | 38
1266.20/1266.59 c 1250s | 26 | 12387033 | 10997552 | 1765 14384 | 48 | 38
1268.30/1268.60 c 1252s | 26 | 12404742 | 11014252 | 1765 14402 | 48 | 38
1270.20/1270.60 c 1254s | 26 | 12421389 | 11030152 | 1765 14419 | 48 | 38
1272.29/1272.60 c 1256s | 26 | 12441249 | 11048052 | 1765 14439 | 48 | 38
1274.29/1274.61 c 1258s | 26 | 12460871 | 11065852 | 1765 14458 | 48 | 38
1276.29/1276.61 c 1260s | 26 | 12479644 | 11082652 | 1765 14476 | 48 | 38
1278.29/1278.62 c 1262s | 26 | 12499913 | 11100552 | 1765 14496 | 48 | 38
1280.29/1280.63 c 1264s | 26 | 12519094 | 11117952 | 1765 14514 | 48 | 38
1282.29/1282.63 c 1266s | 26 | 12538174 | 11135052 | 1765 14533 | 48 | 38
1284.29/1284.63 c 1268s | 26 | 12557038 | 11152452 | 1765 14552 | 48 | 38
1286.29/1286.64 c 1270s | 26 | 12573225 | 11167652 | 1942 14567 | 48 | 38
1288.29/1288.65 c 1272s | 26 | 12590720 | 11183852 | 1942 14583 | 48 | 38
1290.28/1290.65 c 1274s | 26 | 12608506 | 11200152 | 1942 14599 | 48 | 38
1292.29/1292.66 c 1276s | 26 | 12628860 | 11217652 | 1942 14617 | 48 | 38
1294.28/1294.66 c 1278s | 26 | 12647646 | 11234852 | 1942 14634 | 48 | 38
1296.28/1296.67 c 1280s | 26 | 12665356 | 11251352 | 1942 14650 | 48 | 38
1298.28/1298.68 c 1282s | 26 | 12682180 | 11267152 | 1942 14666 | 48 | 38
1300.27/1300.69 c 1284s | 26 | 12699911 | 11283952 | 1942 14682 | 48 | 38
1302.37/1302.70 c 1286s | 26 | 12716648 | 11299752 | 1942 14698 | 48 | 38
1304.28/1304.70 c 1288s | 26 | 12733658 | 11315652 | 1942 14714 | 48 | 38
1306.37/1306.70 c 1290s | 26 | 12750366 | 11331152 | 1942 14729 | 48 | 38
1308.38/1308.71 c 1292s | 26 | 12768606 | 11347952 | 1942 14745 | 48 | 38
1310.38/1310.72 c 1294s | 26 | 12784875 | 11363452 | 1942 14761 | 48 | 38
1312.37/1312.73 c 1296s | 26 | 12803044 | 11380552 | 1942 14778 | 48 | 38
1314.37/1314.70 c 1298s | 27 | 12820945 | 11396733 | 1942 14793 | 48 | 38
1316.38/1316.71 c 1300s | 27 | 12842835 | 11414733 | 1942 14811 | 48 | 38
1318.37/1318.71 c 1302s | 27 | 12862507 | 11432033 | 1942 14828 | 48 | 38
1320.37/1320.72 c 1304s | 27 | 12881924 | 11448933 | 1942 14845 | 48 | 38
1322.37/1322.72 c 1306s | 27 | 12901798 | 11466233 | 1942 14862 | 48 | 38
1324.37/1324.73 c 1308s | 27 | 12920034 | 11482833 | 1942 14878 | 48 | 38
1326.38/1326.74 c 1310s | 27 | 12939781 | 11499933 | 1942 14895 | 48 | 38
1328.37/1328.75 c 1312s | 27 | 12959681 | 11517133 | 1942 14912 | 48 | 38
1330.37/1330.76 c 1314s | 27 | 12978603 | 11534333 | 1942 14929 | 48 | 38
1332.37/1332.76 c 1316s | 27 | 12996011 | 11550133 | 1942 14945 | 48 | 38
1334.37/1334.76 c 1318s | 27 | 13016319 | 11566333 | 1942 14961 | 48 | 38
1336.36/1336.77 c 1320s | 27 | 13036647 | 11583633 | 1942 14978 | 48 | 38
1338.37/1338.78 c 1322s | 27 | 13057719 | 11601033 | 1942 14995 | 48 | 38
1340.36/1340.78 c 1324s | 27 | 13076896 | 11618533 | 1942 15012 | 48 | 38
1342.36/1342.78 c 1326s | 27 | 13094404 | 11634733 | 1942 15028 | 48 | 38
1344.36/1344.78 c 1328s | 27 | 13111947 | 11650533 | 1942 15043 | 48 | 38
1346.36/1346.79 c 1330s | 27 | 13129865 | 11666833 | 1942 15060 | 48 | 38
1348.36/1348.79 c 1332s | 27 | 13148183 | 11683333 | 1942 15076 | 48 | 38
1350.35/1350.80 c 1334s | 27 | 13166962 | 11700133 | 1942 15092 | 48 | 38
1352.45/1352.81 c 1336s | 27 | 13186229 | 11717433 | 1942 15109 | 48 | 38
1354.45/1354.82 c 1338s | 27 | 13204322 | 11734133 | 1942 15126 | 48 | 38
1356.45/1356.82 c 1340s | 27 | 13221745 | 11750333 | 1942 15142 | 48 | 38
1358.45/1358.82 c 1343s | 27 | 13241126 | 11767733 | 1942 15159 | 48 | 38
1360.45/1360.83 c 1345s | 27 | 13260107 | 11785033 | 1942 15176 | 48 | 38
1362.45/1362.84 c 1347s | 27 | 13277901 | 11801733 | 1942 15193 | 48 | 38
1364.45/1364.84 c 1349s | 27 | 13296802 | 11818933 | 1942 15210 | 48 | 38
1366.45/1366.85 c 1351s | 27 | 13316542 | 11836833 | 1942 15227 | 48 | 38
1368.45/1368.86 c 1353s | 27 | 13334579 | 11853633 | 1942 15244 | 48 | 38
1370.45/1370.86 c 1355s | 27 | 13351936 | 11869833 | 1942 15260 | 48 | 38
1372.45/1372.86 c 1357s | 27 | 13370341 | 11886533 | 1942 15276 | 48 | 38
1374.45/1374.87 c 1359s | 27 | 13390077 | 11903733 | 1942 15293 | 48 | 38
1376.44/1376.87 c 1361s | 27 | 13409438 | 11921133 | 1942 15310 | 48 | 38
1378.44/1378.87 c 1363s | 27 | 13427723 | 11937033 | 1942 15326 | 48 | 38
1380.44/1380.88 c 1365s | 27 | 13445041 | 11953133 | 1942 15342 | 48 | 38
1382.44/1382.88 c 1367s | 27 | 13463058 | 11969833 | 1942 15358 | 48 | 38
1384.44/1384.90 c 1369s | 27 | 13480767 | 11986333 | 1942 15375 | 48 | 38
1386.54/1386.91 c 1371s | 27 | 13498433 | 12003033 | 1942 15391 | 48 | 38
1388.53/1388.91 c 1373s | 27 | 13516683 | 12019833 | 1942 15408 | 48 | 38
1390.53/1390.91 c 1375s | 27 | 13538027 | 12037333 | 1942 15425 | 48 | 38
1392.53/1392.92 c 1377s | 27 | 13557663 | 12054333 | 1942 15442 | 48 | 38
1394.54/1394.92 c 1379s | 27 | 13577098 | 12071633 | 1942 15459 | 48 | 38
1396.53/1396.92 c 1381s | 27 | 13593848 | 12087133 | 1942 15474 | 48 | 38
1398.53/1398.93 c 1383s | 27 | 13610626 | 12103133 | 1942 15490 | 48 | 38
1400.53/1400.94 c 1385s | 27 | 13628115 | 12119633 | 1942 15506 | 48 | 38
1402.52/1402.94 c 1387s | 27 | 13645150 | 12135633 | 1942 15522 | 48 | 38
1404.52/1404.94 c 1389s | 27 | 13661937 | 12151633 | 1942 15538 | 48 | 38
1406.53/1406.94 c 1391s | 27 | 13679704 | 12168133 | 1942 15554 | 48 | 38
1408.52/1408.95 c 1393s | 27 | 13698484 | 12185233 | 1942 15571 | 48 | 38
1410.52/1410.95 c 1395s | 27 | 13717393 | 12201533 | 1942 15587 | 48 | 38
1412.52/1412.97 c 1397s | 27 | 13737368 | 12218233 | 1942 15604 | 48 | 38
1414.52/1414.98 c 1399s | 27 | 13758007 | 12236233 | 1942 15621 | 48 | 38
1416.52/1416.98 c 1401s | 27 | 13776929 | 12253133 | 1942 15638 | 48 | 38
1418.51/1419.00 c 1403s | 27 | 13793941 | 12268933 | 1942 15654 | 48 | 38
1420.61/1421.01 c 1405s | 27 | 13811588 | 12285033 | 1942 15669 | 48 | 38
1422.62/1423.01 c 1407s | 27 | 13830342 | 12302033 | 1942 15686 | 48 | 38
1424.62/1425.03 c 1409s | 27 | 13848870 | 12318333 | 1942 15702 | 48 | 38
1426.62/1427.04 c 1411s | 27 | 13868387 | 12335733 | 1942 15719 | 48 | 38
1428.62/1429.04 c 1413s | 27 | 13887209 | 12353033 | 1942 15737 | 48 | 38
1430.61/1431.05 c 1415s | 27 | 13905774 | 12370233 | 1942 15754 | 48 | 38
1432.61/1433.06 c 1417s | 27 | 13923178 | 12386633 | 1942 15770 | 48 | 38
1434.61/1435.06 c 1419s | 27 | 13940619 | 12403033 | 1942 15786 | 48 | 38
1436.61/1437.07 c 1421s | 27 | 13958498 | 12419833 | 1942 15802 | 48 | 38
1438.61/1439.08 c 1423s | 27 | 13975918 | 12436333 | 1942 15819 | 48 | 38
1440.61/1441.08 c 1425s | 27 | 13993032 | 12452533 | 1942 15835 | 48 | 38
1442.60/1443.09 c 1427s | 27 | 14009655 | 12468333 | 1942 15850 | 48 | 38
1444.70/1445.11 c 1429s | 27 | 14026936 | 12484333 | 1942 15866 | 48 | 38
1446.70/1447.12 c 1431s | 27 | 14045522 | 12501633 | 1942 15883 | 48 | 38
1448.70/1449.12 c 1433s | 27 | 14062693 | 12517733 | 1942 15899 | 48 | 38
1450.70/1451.13 c 1435s | 27 | 14080714 | 12534433 | 1942 15916 | 48 | 38
1452.71/1453.13 c 1437s | 27 | 14098096 | 12550933 | 1942 15932 | 48 | 38
1454.70/1455.13 c 1439s | 27 | 14115371 | 12567133 | 1942 15948 | 48 | 38
1456.70/1457.14 c 1441s | 27 | 14132256 | 12583333 | 1942 15964 | 48 | 38
1458.70/1459.15 c 1443s | 27 | 14149586 | 12599833 | 1942 15980 | 48 | 38
1460.69/1461.15 c 1445s | 27 | 14165612 | 12615233 | 1942 15995 | 48 | 38
1462.70/1463.16 c 1447s | 27 | 14182303 | 12631433 | 1942 16011 | 48 | 38
1464.69/1465.16 c 1449s | 27 | 14198296 | 12647133 | 1942 16027 | 48 | 38
1466.69/1467.17 c 1451s | 27 | 14215547 | 12663033 | 1942 16042 | 48 | 38
1468.69/1469.18 c 1453s | 27 | 14233019 | 12679333 | 1942 16059 | 48 | 38
1470.69/1471.18 c 1455s | 27 | 14250091 | 12695533 | 1942 16075 | 48 | 38
1472.69/1473.19 c 1457s | 27 | 14266667 | 12711133 | 1942 16090 | 48 | 38
1474.69/1475.19 c 1459s | 27 | 14283334 | 12727233 | 1942 16106 | 48 | 38
1476.79/1477.20 c 1461s | 27 | 14302552 | 12745033 | 1942 16123 | 48 | 38
1478.79/1479.20 c 1463s | 27 | 14321810 | 12762933 | 1942 16141 | 48 | 38
1480.78/1481.21 c 1465s | 27 | 14339313 | 12779333 | 1942 16157 | 48 | 38
1482.78/1483.22 c 1467s | 27 | 14356762 | 12795933 | 1942 16174 | 48 | 38
1484.78/1485.22 c 1469s | 27 | 14375433 | 12813233 | 1942 16191 | 48 | 38
1486.78/1487.23 c 1471s | 27 | 14394974 | 12831333 | 1942 16209 | 48 | 38
1488.77/1489.23 c 1473s | 27 | 14414017 | 12848833 | 1942 16226 | 48 | 38
1490.77/1491.24 c 1475s | 27 | 14431562 | 12865733 | 1942 16243 | 48 | 38
1492.78/1493.24 c 1477s | 27 | 14449628 | 12882733 | 1942 16259 | 48 | 38
1494.78/1495.24 c 1479s | 27 | 14467682 | 12900033 | 1942 16277 | 48 | 38
1496.78/1497.25 c 1481s | 27 | 14485326 | 12917133 | 1942 16293 | 48 | 38
1498.78/1499.26 c 1483s | 27 | 14503250 | 12934233 | 1942 16310 | 48 | 38
1500.77/1501.26 c 1485s | 27 | 14520248 | 12950333 | 1942 16326 | 48 | 38
1502.77/1503.27 c 1487s | 27 | 14538230 | 12967133 | 1942 16343 | 48 | 38
1504.77/1505.28 c 1489s | 27 | 14559296 | 12985433 | 1942 16361 | 48 | 38
1506.77/1507.29 c 1491s | 27 | 14580776 | 13003533 | 1942 16379 | 48 | 38
1508.78/1509.29 c 1493s | 27 | 14601289 | 13021433 | 1942 16396 | 48 | 38
1510.86/1511.30 c 1495s | 27 | 14621486 | 13039033 | 1942 16414 | 48 | 38
1512.86/1513.30 c 1497s | 27 | 14642335 | 13056533 | 1942 16431 | 48 | 38
1514.86/1515.32 c 1499s | 27 | 14662046 | 13073733 | 1942 16448 | 48 | 38
1516.86/1517.33 c 1501s | 27 | 14682917 | 13091833 | 1942 16466 | 48 | 38
1518.86/1519.33 c 1503s | 27 | 14701079 | 13107933 | 1942 16482 | 48 | 38
1520.86/1521.33 c 1505s | 27 | 14720397 | 13125033 | 1942 16498 | 48 | 38
1522.86/1523.36 c 1507s | 27 | 14740766 | 13142933 | 1942 16516 | 48 | 38
1524.86/1525.37 c 1509s | 27 | 14759497 | 13159833 | 1942 16533 | 48 | 38
1526.85/1527.37 c 1511s | 27 | 14778137 | 13176433 | 1942 16549 | 48 | 38
1528.85/1529.38 c 1513s | 27 | 14796106 | 13192933 | 1942 16565 | 48 | 38
1530.85/1531.39 c 1515s | 27 | 14815279 | 13210233 | 1942 16582 | 48 | 38
1532.85/1533.40 c 1517s | 27 | 14834583 | 13227733 | 1942 16600 | 48 | 38
1534.94/1535.40 c 1519s | 27 | 14853527 | 13244933 | 1942 16617 | 48 | 38
1536.95/1537.40 c 1521s | 27 | 14871730 | 13261833 | 1942 16633 | 48 | 38
1538.95/1539.41 c 1523s | 27 | 14890691 | 13278833 | 1942 16650 | 48 | 38
1540.95/1541.41 c 1525s | 27 | 14909281 | 13295933 | 1942 16667 | 48 | 38
1542.95/1543.42 c 1527s | 27 | 14928511 | 13312533 | 1942 16683 | 48 | 38
1544.95/1545.42 c 1529s | 27 | 14950464 | 13331033 | 1942 16701 | 48 | 38
1546.94/1547.42 c 1531s | 27 | 14971400 | 13349233 | 1942 16719 | 48 | 38
1548.94/1549.43 c 1533s | 27 | 14991490 | 13367033 | 1942 16737 | 48 | 38
1550.94/1551.44 c 1535s | 27 | 15012617 | 13385033 | 1942 16755 | 48 | 38
1552.94/1553.44 c 1537s | 27 | 15031813 | 13402233 | 1942 16772 | 48 | 38
1554.94/1555.44 c 1539s | 27 | 15050729 | 13419633 | 1942 16789 | 48 | 38
1556.94/1557.45 c 1541s | 27 | 15069335 | 13436733 | 1942 16806 | 48 | 38
1558.94/1559.45 c 1543s | 27 | 15088389 | 13453933 | 1942 16823 | 48 | 38
1560.93/1561.46 c 1545s | 27 | 15106713 | 13470933 | 1942 16839 | 48 | 38
1562.93/1563.46 c 1547s | 27 | 15126841 | 13488633 | 1942 16857 | 48 | 38
1564.94/1565.47 c 1549s | 27 | 15146225 | 13506133 | 1942 16874 | 48 | 38
1566.93/1567.47 c 1551s | 27 | 15164613 | 13523333 | 1942 16891 | 48 | 38
1568.94/1569.47 c 1553s | 27 | 15182693 | 13539433 | 1942 16907 | 48 | 38
1570.93/1571.48 c 1555s | 27 | 15202718 | 13556233 | 1942 16924 | 48 | 38
1572.93/1573.48 c 1557s | 27 | 15223295 | 13573833 | 1942 16941 | 48 | 38
1574.93/1575.48 c 1559s | 27 | 15242483 | 13590633 | 1942 16958 | 48 | 38
1576.94/1577.49 c 1561s | 27 | 15262487 | 13607933 | 1942 16975 | 48 | 38
1579.03/1579.51 c 1563s | 27 | 15281879 | 13625033 | 1942 16992 | 48 | 38
1581.02/1581.51 c 1565s | 27 | 15300303 | 13641633 | 1942 17008 | 48 | 38
1583.02/1583.52 c 1567s | 27 | 15318567 | 13657433 | 1942 17024 | 48 | 38
1585.02/1585.53 c 1569s | 27 | 15337029 | 13673933 | 1942 17040 | 48 | 38
1587.02/1587.54 c 1571s | 27 | 15356444 | 13690933 | 1942 17057 | 48 | 38
1589.03/1589.55 c 1573s | 27 | 15374807 | 13707533 | 1942 17073 | 48 | 38
1591.02/1591.55 c 1575s | 27 | 15392538 | 13724033 | 1942 17089 | 48 | 38
1593.02/1593.55 c 1577s | 27 | 15411398 | 13740533 | 1942 17106 | 48 | 38
1595.02/1595.55 c 1579s | 27 | 15430650 | 13757633 | 1942 17122 | 48 | 38
1597.02/1597.56 c 1581s | 27 | 15448942 | 13774433 | 1942 17139 | 48 | 38
1599.03/1599.56 c 1583s | 27 | 15468384 | 13791733 | 1942 17156 | 48 | 38
1601.01/1601.56 c 1585s | 27 | 15485457 | 13807633 | 1942 17172 | 48 | 38
1603.01/1603.57 c 1587s | 27 | 15503892 | 13824133 | 1942 17188 | 48 | 38
1605.01/1605.57 c 1589s | 27 | 15522711 | 13841033 | 1942 17204 | 48 | 38
1607.01/1607.59 c 1591s | 27 | 15541113 | 13857333 | 1942 17221 | 48 | 38
1609.01/1609.59 c 1593s | 27 | 15559999 | 13874033 | 1942 17237 | 48 | 38
1611.02/1611.60 c 1595s | 27 | 15577896 | 13890333 | 1942 17253 | 48 | 38
1613.11/1613.60 c 1597s | 27 | 15595429 | 13906533 | 1942 17269 | 48 | 38
1615.11/1615.61 c 1599s | 27 | 15614593 | 13922333 | 1942 17285 | 48 | 38
1617.11/1617.62 c 1601s | 27 | 15634190 | 13938733 | 1942 17301 | 48 | 38
1619.11/1619.63 c 1603s | 27 | 15653264 | 13955633 | 1942 17317 | 48 | 38
1621.11/1621.65 c 1605s | 27 | 15672112 | 13972033 | 1942 17334 | 48 | 38
1623.12/1623.66 c 1607s | 27 | 15691515 | 13988833 | 1942 17350 | 48 | 38
1625.11/1625.67 c 1609s | 27 | 15708960 | 14004433 | 1942 17366 | 48 | 38
1627.12/1627.67 c 1611s | 27 | 15727321 | 14020633 | 1942 17382 | 48 | 38
1629.11/1629.67 c 1613s | 27 | 15746124 | 14037133 | 1942 17398 | 48 | 38
1631.21/1631.71 c 1615s | 27 | 15763522 | 14053133 | 1942 17414 | 48 | 38
1633.21/1633.71 c 1617s | 27 | 15782845 | 14069933 | 1942 17430 | 48 | 38
1635.22/1635.72 c 1619s | 27 | 15803717 | 14087333 | 1942 17447 | 48 | 38
1637.21/1637.73 c 1621s | 27 | 15823175 | 14104233 | 1942 17464 | 48 | 38
1639.21/1639.73 c 1623s | 27 | 15842260 | 14120833 | 1942 17480 | 48 | 38
1641.21/1641.74 c 1625s | 27 | 15860174 | 14137033 | 1942 17497 | 48 | 38
1643.21/1643.75 c 1627s | 27 | 15879153 | 14153933 | 1942 17513 | 48 | 38
1645.22/1645.76 c 1629s | 27 | 15897427 | 14170433 | 1942 17530 | 48 | 38
1647.21/1647.77 c 1631s | 27 | 15916689 | 14187133 | 1942 17546 | 48 | 38
1649.21/1649.77 c 1633s | 27 | 15935883 | 14204033 | 1942 17563 | 48 | 38
1651.21/1651.78 c 1635s | 27 | 15954248 | 14220533 | 1942 17579 | 48 | 38
1653.21/1653.78 c 1637s | 27 | 15971737 | 14236433 | 1942 17595 | 48 | 38
1655.21/1655.78 c 1639s | 27 | 15989958 | 14252833 | 1942 17611 | 48 | 38
1657.21/1657.78 c 1641s | 27 | 16007469 | 14269233 | 1942 17627 | 48 | 38
1659.20/1659.79 c 1643s | 27 | 16024748 | 14285133 | 1942 17643 | 48 | 38
1661.20/1661.79 c 1645s | 27 | 16046086 | 14302733 | 1942 17660 | 48 | 38
1663.30/1663.80 c 1647s | 27 | 16064752 | 14319133 | 1942 17677 | 48 | 38
1665.30/1665.80 c 1649s | 27 | 16082861 | 14335533 | 1942 17693 | 48 | 38
1667.30/1667.81 c 1651s | 27 | 16101783 | 14352433 | 1942 17709 | 48 | 38
1669.31/1669.81 c 1653s | 27 | 16118809 | 14367933 | 1942 17725 | 48 | 38
1671.30/1671.81 c 1655s | 27 | 16138359 | 14384633 | 1942 17741 | 48 | 38
1673.30/1673.81 c 1657s | 27 | 16155163 | 14400733 | 1942 17757 | 48 | 38
1675.30/1675.82 c 1659s | 27 | 16171464 | 14416333 | 1942 17773 | 48 | 38
1677.30/1677.82 c 1662s | 27 | 16188290 | 14432333 | 1942 17788 | 48 | 38
1679.31/1679.83 c 1664s | 27 | 16206593 | 14448533 | 1942 17804 | 48 | 38
1681.30/1681.84 c 1666s | 27 | 16228354 | 14465633 | 1942 17821 | 48 | 38
1683.30/1683.84 c 1668s | 27 | 16249159 | 14483033 | 1942 17838 | 48 | 38
1685.31/1685.85 c 1670s | 27 | 16269047 | 14499933 | 1942 17855 | 48 | 38
1687.31/1687.86 c 1672s | 27 | 16289421 | 14517433 | 1942 17872 | 48 | 38
1689.31/1689.86 c 1674s | 27 | 16307683 | 14534133 | 1942 17889 | 48 | 38
1691.31/1691.86 c 1676s | 27 | 16325072 | 14550433 | 1942 17905 | 48 | 38
1693.30/1693.87 c 1678s | 27 | 16345442 | 14567533 | 1942 17922 | 48 | 38
1695.30/1695.87 c 1680s | 27 | 16364187 | 14584433 | 1942 17939 | 48 | 38
1697.30/1697.88 c 1682s | 27 | 16382523 | 14601233 | 1942 17955 | 48 | 38
1699.30/1699.88 c 1684s | 27 | 16400293 | 14617533 | 1942 17971 | 48 | 38
1701.31/1701.89 c 1686s | 27 | 16418807 | 14634433 | 1942 17988 | 48 | 38
1703.30/1703.89 c 1688s | 27 | 16436020 | 14650633 | 1942 18004 | 48 | 38
1705.40/1705.90 c 1690s | 27 | 16455221 | 14666633 | 1942 18020 | 48 | 38
1707.40/1707.91 c 1692s | 27 | 16473851 | 14683233 | 1942 18036 | 48 | 38
1709.40/1709.91 c 1694s | 27 | 16491448 | 14699533 | 1942 18052 | 48 | 38
1711.40/1711.92 c 1696s | 27 | 16509720 | 14715933 | 1942 18068 | 48 | 38
1713.41/1713.94 c 1698s | 27 | 16527253 | 14732233 | 1942 18085 | 48 | 38
1715.40/1715.95 c 1700s | 27 | 16545428 | 14748433 | 1942 18101 | 48 | 38
1717.40/1717.96 c 1702s | 27 | 16562429 | 14764533 | 1942 18116 | 48 | 38
1719.39/1719.97 c 1704s | 27 | 16579682 | 14780933 | 1942 18133 | 48 | 38
1721.39/1721.98 c 1706s | 27 | 16596124 | 14796733 | 1942 18148 | 48 | 38
1723.39/1723.99 c 1708s | 27 | 16615084 | 14813233 | 1942 18164 | 48 | 38
1725.40/1725.99 c 1710s | 27 | 16633310 | 14829433 | 1942 18180 | 48 | 38
1727.49/1728.00 c 1712s | 27 | 16650163 | 14845233 | 1942 18196 | 48 | 38
1729.49/1730.02 c 1714s | 27 | 16669711 | 14861933 | 1942 18213 | 48 | 38
1731.49/1732.03 c 1716s | 27 | 16686544 | 14877933 | 1942 18228 | 48 | 38
1733.49/1734.04 c 1718s | 27 | 16703443 | 14893733 | 1942 18244 | 48 | 38
1735.49/1736.04 c 1720s | 27 | 16721064 | 14910233 | 1942 18260 | 48 | 38
1737.50/1738.05 c 1722s | 27 | 16738055 | 14926033 | 1942 18276 | 48 | 38
1739.49/1740.06 c 1724s | 27 | 16754693 | 14941333 | 1942 18291 | 48 | 38
1741.49/1742.07 c 1726s | 27 | 16771038 | 14956733 | 1942 18306 | 48 | 38
1743.50/1744.07 c 1728s | 27 | 16788638 | 14973133 | 1942 18322 | 48 | 38
1745.50/1746.08 c 1730s | 27 | 16806398 | 14989533 | 1942 18338 | 48 | 38
1747.50/1748.09 c 1732s | 27 | 16823686 | 15005433 | 1942 18354 | 48 | 38
1749.50/1750.10 c 1734s | 27 | 16841196 | 15021133 | 1942 18370 | 48 | 38
1751.60/1752.11 c 1736s | 27 | 16858699 | 15037233 | 1942 18386 | 48 | 38
1753.60/1754.12 c 1738s | 27 | 16876262 | 15053633 | 1942 18402 | 48 | 38
1755.59/1756.12 c 1740s | 27 | 16893149 | 15069433 | 1942 18417 | 48 | 38
1757.59/1758.12 c 1742s | 27 | 16911232 | 15085833 | 1942 18434 | 48 | 38
1759.60/1760.13 c 1744s | 27 | 16928915 | 15102033 | 1942 18450 | 48 | 38
1761.59/1762.13 c 1746s | 27 | 16947281 | 15118533 | 1942 18466 | 48 | 38
1763.59/1764.14 c 1748s | 27 | 16971303 | 15136833 | 1942 18484 | 48 | 38
1765.59/1766.14 c 1750s | 27 | 16994599 | 15155133 | 1942 18502 | 48 | 38
1767.59/1768.19 c 1752s | 27 | 17017886 | 15174133 | 1942 18521 | 48 | 38
1769.69/1770.20 c 1754s | 27 | 17040681 | 15192933 | 1942 18539 | 48 | 38
1771.70/1772.21 c 1756s | 27 | 17062016 | 15211133 | 1942 18557 | 48 | 38
1773.69/1774.21 c 1758s | 27 | 17084034 | 15229433 | 1942 18575 | 48 | 38
1775.69/1776.21 c 1760s | 27 | 17104289 | 15247133 | 1942 18593 | 48 | 38
1777.69/1778.22 c 1762s | 27 | 17125194 | 15264733 | 1942 18610 | 48 | 38
1779.69/1780.22 c 1764s | 27 | 17146758 | 15283133 | 1942 18628 | 48 | 38
1781.69/1782.23 c 1766s | 27 | 17166777 | 15300733 | 1942 18646 | 48 | 38
1783.69/1784.23 c 1768s | 27 | 17188152 | 15319233 | 1942 18664 | 48 | 38
1785.68/1786.24 c 1770s | 27 | 17207763 | 15336933 | 1942 18681 | 48 | 38
1787.68/1788.24 c 1772s | 27 | 17229683 | 15355633 | 1942 18700 | 48 | 38
1789.68/1790.25 c 1774s | 27 | 17251238 | 15374133 | 1942 18718 | 48 | 38
1791.69/1792.25 c 1776s | 27 | 17270889 | 15391933 | 1942 18736 | 48 | 38
1793.70/1794.25 c 1778s | 27 | 17291584 | 15409833 | 1942 18753 | 48 | 38
1795.69/1796.26 c 1780s | 27 | 17310408 | 15427133 | 1942 18771 | 48 | 38
1797.69/1798.28 c 1782s | 27 | 17329752 | 15444333 | 1942 18788 | 48 | 38
1799.69/1800.28 c 1784s | 27 | 17347711 | 15460733 | 1942 18804 | 48 | 38
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-4117960-1467237929/watcher-4117960-1467237929 -o /tmp/evaluation-result-4117960-1467237929/solver-4117960-1467237929 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467210309-2000 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117960-1467237929.opb
pid=4903
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.13 2.18 2.22 3/179 4906
/proc/meminfo: memFree=27550716/32872528 swapFree=1553660/1717180
[pid=4906] ppid=4903 vsize=689732 CPUtime=0 cores=0,2,4,6
/proc/4906/stat : 4906 (toysat) R 4903 4906 1984 0 -1 4202496 2566 0 0 0 0 0 0 0 20 0 4 0 2820561 706285568 3438 33554432000 4194304 16246674 140733854550448 140733854549872 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4906/statm: 172945 3447 442 2943 0 169839 0
[pid=4906/tid=4907] ppid=4903 vsize=707140 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4907/stat : 4907 (toysat) S 4903 4906 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2820561 724111360 3507 33554432000 4194304 16246674 140733854550448 140720230870256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4906/tid=4908] ppid=4903 vsize=712260 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4908/stat : 4908 (toysat) S 4903 4906 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2820561 729354240 3525 33554432000 4194304 16246674 140733854550448 140720220380400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4906/tid=4909] ppid=4903 vsize=716356 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 733548544 3543 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[startup+0.100117 s]
/proc/loadavg: 2.13 2.18 2.22 3/179 4906
/proc/meminfo: memFree=27550716/32872528 swapFree=1553660/1717180
[pid=4906] ppid=4903 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/4906/stat : 4906 (toysat) R 4903 4906 1984 0 -1 4202496 26346 0 0 0 5 4 0 0 20 0 4 0 2820561 1247350784 27205 33554432000 4194304 16246674 140733854550448 140733854533440 5530837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4906/statm: 304529 27218 783 2943 0 301423 0
[pid=4906/tid=4907] ppid=4903 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4907/stat : 4907 (toysat) S 4903 4906 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2820561 1247350784 27227 33554432000 4194304 16246674 140733854550448 140720230870256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4906/tid=4908] ppid=4903 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4908/stat : 4908 (toysat) S 4903 4906 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2820561 1247350784 27237 33554432000 4194304 16246674 140733854550448 140720220380400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4906/tid=4909] ppid=4903 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 1247350784 27246 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116
[startup+0.200448 s]
/proc/loadavg: 2.13 2.18 2.22 3/179 4906
/proc/meminfo: memFree=27550716/32872528 swapFree=1553660/1717180
[pid=4906] ppid=4903 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/4906/stat : 4906 (toysat) R 4903 4906 1984 0 -1 4202496 49329 0 0 0 12 7 0 0 20 0 4 0 2820561 1247350784 50188 33554432000 4194304 16246674 140733854550448 140733854533440 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4906/statm: 304529 50199 783 2943 0 301423 0
[pid=4906/tid=4907] ppid=4903 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4907/stat : 4907 (toysat) S 4903 4906 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2820561 1247350784 50203 33554432000 4194304 16246674 140733854550448 140720230870256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4906/tid=4908] ppid=4903 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4908/stat : 4908 (toysat) S 4903 4906 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2820561 1247350784 50209 33554432000 4194304 16246674 140733854550448 140720220380400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4906/tid=4909] ppid=4903 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 1247350784 50212 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116
[startup+0.300459 s]
/proc/loadavg: 2.13 2.18 2.22 3/179 4906
/proc/meminfo: memFree=27550716/32872528 swapFree=1553660/1717180
[pid=4906] ppid=4903 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/4906/stat : 4906 (toysat) R 4903 4906 1984 0 -1 4202496 68542 0 0 0 18 10 0 0 20 0 4 0 2820561 1247350784 69401 33554432000 4194304 16246674 140733854550448 140733854533440 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4906/statm: 304529 69409 783 2943 0 301423 0
[pid=4906/tid=4907] ppid=4903 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4907/stat : 4907 (toysat) S 4903 4906 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2820561 1247350784 69415 33554432000 4194304 16246674 140733854550448 140720230870256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4906/tid=4908] ppid=4903 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4908/stat : 4908 (toysat) S 4903 4906 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2820561 1247350784 69421 33554432000 4194304 16246674 140733854550448 140720220380400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4906/tid=4909] ppid=4903 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 1247350784 69427 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116
[startup+0.70039 s]
/proc/loadavg: 2.13 2.18 2.22 3/179 4906
/proc/meminfo: memFree=27550716/32872528 swapFree=1553660/1717180
[pid=4906] ppid=4903 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/4906/stat : 4906 (toysat) R 4903 4906 1984 0 -1 4202496 144694 0 0 0 48 21 0 0 20 0 4 0 2820561 1247350784 145553 33554432000 4194304 16246674 140733854550448 140733854533440 5523634 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4906/statm: 304529 145564 783 2943 0 301423 0
[pid=4906/tid=4907] ppid=4903 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4907/stat : 4907 (toysat) S 4903 4906 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2820561 1247350784 145571 33554432000 4194304 16246674 140733854550448 140720230870256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4906/tid=4908] ppid=4903 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4908/stat : 4908 (toysat) S 4903 4906 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2820561 1247350784 145577 33554432000 4194304 16246674 140733854550448 140720220380400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4906/tid=4909] ppid=4903 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 1247350784 145588 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116
[startup+1.50039 s]
/proc/loadavg: 2.12 2.17 2.21 4/183 4910
/proc/meminfo: memFree=26667452/32872528 swapFree=1553660/1717180
[pid=4906] ppid=4903 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/4906/stat : 4906 (toysat) R 4903 4906 1984 0 -1 4202496 245769 0 0 0 115 34 0 0 20 0 4 0 2820561 1248399360 246606 33554432000 4194304 16246674 140733854550448 140733854549760 5523241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4906/statm: 304785 246606 846 2943 0 301679 0
[pid=4906/tid=4907] ppid=4903 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4907/stat : 4907 (toysat) S 4903 4906 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2820561 1248399360 246606 33554432000 4194304 16246674 140733854550448 140720230870256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4906/tid=4908] ppid=4903 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4908/stat : 4908 (toysat) S 4903 4906 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2820561 1248399360 246606 33554432000 4194304 16246674 140733854550448 140720220380400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4906/tid=4909] ppid=4903 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 1248399360 246606 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140
[startup+3.10039 s]
/proc/loadavg: 2.12 2.17 2.21 4/183 4910
/proc/meminfo: memFree=26550272/32872528 swapFree=1553660/1717180
[pid=4906] ppid=4903 vsize=1305156 CPUtime=3.09 cores=0,2,4,6
/proc/4906/stat : 4906 (toysat) R 4903 4906 1984 0 -1 4202496 267339 0 0 0 272 37 0 0 20 0 4 0 2820561 1336479744 268176 33554432000 4194304 16246674 140733854550448 140733854533448 12469055 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4906/statm: 326289 268176 846 2943 0 323183 0
[pid=4906/tid=4907] ppid=4903 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4907/stat : 4907 (toysat) S 4903 4906 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2820561 1336479744 268176 33554432000 4194304 16246674 140733854550448 140720230870256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4906/tid=4908] ppid=4903 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4908/stat : 4908 (toysat) S 4903 4906 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2820561 1336479744 268176 33554432000 4194304 16246674 140733854550448 140720220380400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4906/tid=4909] ppid=4903 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 1336479744 268176 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1305156
[startup+6.30041 s]
/proc/loadavg: 2.19 2.19 2.22 4/183 4910
/proc/meminfo: memFree=26478104/32872528 swapFree=1553660/1717180
[pid=4906] ppid=4903 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/4906/stat : 4906 (toysat) R 4903 4906 1984 0 -1 4202496 267523 0 0 0 592 37 0 0 20 0 4 0 2820561 1337528320 268360 33554432000 4194304 16246674 140733854550448 140733854532352 5515784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4906/statm: 326545 268360 846 2943 0 323439 0
[pid=4906/tid=4907] ppid=4903 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4907/stat : 4907 (toysat) S 4903 4906 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2820561 1337528320 268360 33554432000 4194304 16246674 140733854550448 140720230870256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4906/tid=4908] ppid=4903 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4908/stat : 4908 (toysat) S 4903 4906 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2820561 1337528320 268360 33554432000 4194304 16246674 140733854550448 140720220380400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4906/tid=4909] ppid=4903 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 1337528320 268360 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180
[startup+12.7004 s]
/proc/loadavg: 2.17 2.18 2.22 3/183 4910
/proc/meminfo: memFree=26478056/32872528 swapFree=1553660/1717180
[pid=4906] ppid=4903 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/4906/stat : 4906 (toysat) R 4903 4906 1984 0 -1 4202496 267528 0 0 0 1232 37 0 0 20 0 4 0 2820561 1337528320 268365 33554432000 4194304 16246674 140733854550448 140733854532352 5522986 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4906/statm: 326545 268365 849 2943 0 323439 0
[pid=4906/tid=4907] ppid=4903 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4907/stat : 4907 (toysat) S 4903 4906 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2820561 1337528320 268365 33554432000 4194304 16246674 140733854550448 140720230870256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4906/tid=4908] ppid=4903 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4908/stat : 4908 (toysat) S 4903 4906 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2820561 1337528320 268365 33554432000 4194304 16246674 140733854550448 140720220380400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4906/tid=4909] ppid=4903 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 1337528320 268365 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180
[startup+25.5005 s]
/proc/loadavg: 2.20 2.19 2.22 3/183 4910
/proc/meminfo: memFree=26477080/32872528 swapFree=1553660/1717180
[pid=4906] ppid=4903 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/4906/stat : 4906 (toysat) R 4903 4906 1984 0 -1 4202496 267807 0 0 0 2511 38 0 0 20 0 4 0 2820561 1338576896 268644 33554432000 4194304 16246674 140733854550448 140733854533448 6011672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4906/statm: 326801 268644 849 2943 0 323695 0
[pid=4906/tid=4907] ppid=4903 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4907/stat : 4907 (toysat) S 4903 4906 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2820561 1338576896 268644 33554432000 4194304 16246674 140733854550448 140720230870256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4906/tid=4908] ppid=4903 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4908/stat : 4908 (toysat) S 4903 4906 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2820561 1338576896 268644 33554432000 4194304 16246674 140733854550448 140720220380400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4906/tid=4909] ppid=4903 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 1338576896 268644 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204
[startup+51.1005 s]
/proc/loadavg: 2.21 2.19 2.22 4/183 4910
/proc/meminfo: memFree=26474976/32872528 swapFree=1553660/1717180
[pid=4906] ppid=4903 vsize=1309252 CPUtime=51.08 cores=0,2,4,6
/proc/4906/stat : 4906 (toysat) R 4903 4906 1984 0 -1 4202496 268404 0 0 0 5070 38 0 0 20 0 4 0 2820561 1340674048 269241 33554432000 4194304 16246674 140733854550448 140733854533448 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4906/statm: 327313 269241 849 2943 0 324207 0
[pid=4906/tid=4907] ppid=4903 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4907/stat : 4907 (toysat) S 4903 4906 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2820561 1340674048 269241 33554432000 4194304 16246674 140733854550448 140720230870256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4906/tid=4908] ppid=4903 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4908/stat : 4908 (toysat) S 4903 4906 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2820561 1340674048 269241 33554432000 4194304 16246674 140733854550448 140720220380400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4906/tid=4909] ppid=4903 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 1340674048 269241 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252
[startup+102.3 s]
/proc/loadavg: 2.22 2.19 2.21 3/182 4911
/proc/meminfo: memFree=26472968/32872528 swapFree=1553660/1717180
[pid=4906] ppid=4903 vsize=1311300 CPUtime=102.28 cores=0,2,4,6
/proc/4906/stat : 4906 (toysat) R 4903 4906 1984 0 -1 4202496 268916 0 0 0 10189 39 0 0 20 0 4 0 2820561 1342771200 269753 33554432000 4194304 16246674 140733854550448 140733854533448 13928602 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4906/statm: 327825 269753 849 2943 0 324719 0
[pid=4906/tid=4907] ppid=4903 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4907/stat : 4907 (toysat) S 4903 4906 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2820561 1342771200 269753 33554432000 4194304 16246674 140733854550448 140720230870256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4906/tid=4908] ppid=4903 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4908/stat : 4908 (toysat) S 4903 4906 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2820561 1342771200 269753 33554432000 4194304 16246674 140733854550448 140720220380400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4906/tid=4909] ppid=4903 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 1342771200 269753 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1311300
################
# More data... #
################
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 1353256960 272316 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1321540
[startup+1302.3 s]
/proc/loadavg: 2.21 2.21 2.19 3/183 4990
/proc/meminfo: memFree=26447668/32872528 swapFree=1553660/1717180
[pid=4906] ppid=4903 vsize=1322564 CPUtime=1301.97 cores=0,2,4,6
/proc/4906/stat : 4906 (toysat) R 4903 4906 1984 0 -1 4202496 271950 0 0 0 130135 62 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140733854532352 5823631 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4906/statm: 330641 272572 849 2943 0 327535 0
[pid=4906/tid=4907] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4907/stat : 4907 (toysat) S 4903 4906 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720230870256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4906/tid=4908] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4908/stat : 4908 (toysat) S 4903 4906 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720220380400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4906/tid=4909] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1322564
[startup+1362.3 s]
/proc/loadavg: 2.36 2.24 2.20 3/183 4992
/proc/meminfo: memFree=26447804/32872528 swapFree=1553660/1717180
[pid=4906] ppid=4903 vsize=1322564 CPUtime=1361.95 cores=0,2,4,6
/proc/4906/stat : 4906 (toysat) R 4903 4906 1984 0 -1 4202496 271987 0 0 0 136132 63 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140733854533448 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4906/statm: 330641 272572 849 2943 0 327535 0
[pid=4906/tid=4907] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4907/stat : 4907 (toysat) S 4903 4906 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720230870256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4906/tid=4908] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4908/stat : 4908 (toysat) S 4903 4906 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720220380400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4906/tid=4909] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1322564
[startup+1422.3 s]
/proc/loadavg: 2.29 2.24 2.20 3/183 4993
/proc/meminfo: memFree=26447588/32872528 swapFree=1553660/1717180
[pid=4906] ppid=4903 vsize=1322564 CPUtime=1421.93 cores=0,2,4,6
/proc/4906/stat : 4906 (toysat) R 4903 4906 1984 0 -1 4202496 272029 0 0 0 142127 66 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140733854532352 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4906/statm: 330641 272572 849 2943 0 327535 0
[pid=4906/tid=4907] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4907/stat : 4907 (toysat) S 4903 4906 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720230870256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4906/tid=4908] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4908/stat : 4908 (toysat) S 4903 4906 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720220380400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4906/tid=4909] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1322564
[startup+1482.3 s]
/proc/loadavg: 2.19 2.22 2.19 3/184 4997
/proc/meminfo: memFree=26447252/32872528 swapFree=1553660/1717180
[pid=4906] ppid=4903 vsize=1322564 CPUtime=1481.88 cores=0,2,4,6
/proc/4906/stat : 4906 (toysat) R 4903 4906 1984 0 -1 4202496 272076 0 0 0 148121 67 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140733854532352 5515660 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4906/statm: 330641 272572 849 2943 0 327535 0
[pid=4906/tid=4907] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4907/stat : 4907 (toysat) S 4903 4906 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720230870256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4906/tid=4908] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4908/stat : 4908 (toysat) S 4903 4906 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720220380400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4906/tid=4909] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1322564
[startup+1542.31 s]
/proc/loadavg: 2.18 2.21 2.18 3/183 4998
/proc/meminfo: memFree=26445376/32872528 swapFree=1553660/1717180
[pid=4906] ppid=4903 vsize=1322564 CPUtime=1541.85 cores=0,2,4,6
/proc/4906/stat : 4906 (toysat) R 4903 4906 1984 0 -1 4202496 272119 0 0 0 154116 69 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140733854533448 5589032 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4906/statm: 330641 272572 849 2943 0 327535 0
[pid=4906/tid=4907] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4907/stat : 4907 (toysat) S 4903 4906 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720230870256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4906/tid=4908] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4908/stat : 4908 (toysat) S 4903 4906 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720220380400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4906/tid=4909] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1322564
[startup+1602.3 s]
/proc/loadavg: 2.31 2.23 2.19 4/183 4999
/proc/meminfo: memFree=26444924/32872528 swapFree=1553660/1717180
[pid=4906] ppid=4903 vsize=1322564 CPUtime=1601.81 cores=0,2,4,6
/proc/4906/stat : 4906 (toysat) R 4903 4906 1984 0 -1 4202496 272165 0 0 0 160111 70 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140733854533448 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4906/statm: 330641 272572 849 2943 0 327535 0
[pid=4906/tid=4907] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4907/stat : 4907 (toysat) S 4903 4906 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720230870256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4906/tid=4908] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4908/stat : 4908 (toysat) S 4903 4906 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720220380400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4906/tid=4909] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1322564
[startup+1662.3 s]
/proc/loadavg: 2.25 2.23 2.19 3/183 5001
/proc/meminfo: memFree=26436076/32872528 swapFree=1553660/1717180
[pid=4906] ppid=4903 vsize=1322564 CPUtime=1661.8 cores=0,2,4,6
/proc/4906/stat : 4906 (toysat) R 4903 4906 1984 0 -1 4202496 272165 0 0 0 166109 71 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140733854532352 5674692 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4906/statm: 330641 272572 849 2943 0 327535 0
[pid=4906/tid=4907] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4907/stat : 4907 (toysat) S 4903 4906 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720230870256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4906/tid=4908] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4908/stat : 4908 (toysat) S 4903 4906 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720220380400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4906/tid=4909] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1322564
[startup+1722.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/183 5002
/proc/meminfo: memFree=26435380/32872528 swapFree=1553660/1717180
[pid=4906] ppid=4903 vsize=1322564 CPUtime=1721.79 cores=0,2,4,6
/proc/4906/stat : 4906 (toysat) R 4903 4906 1984 0 -1 4202496 272165 0 0 0 172107 72 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140733854532352 13198556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4906/statm: 330641 272572 849 2943 0 327535 0
[pid=4906/tid=4907] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4907/stat : 4907 (toysat) S 4903 4906 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720230870256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4906/tid=4908] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4908/stat : 4908 (toysat) S 4903 4906 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720220380400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4906/tid=4909] ppid=4903 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 1354305536 272572 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1322564
[startup+1782.3 s]
/proc/loadavg: 2.16 2.21 2.18 3/183 5003
/proc/meminfo: memFree=26434200/32872528 swapFree=1553660/1717180
[pid=4906] ppid=4903 vsize=1323588 CPUtime=1781.79 cores=0,2,4,6
/proc/4906/stat : 4906 (toysat) R 4903 4906 1984 0 -1 4202496 272421 0 0 0 178106 73 0 0 20 0 4 0 2820561 1355354112 272828 33554432000 4194304 16246674 140733854550448 140733854533448 5822492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4906/statm: 330897 272828 849 2943 0 327791 0
[pid=4906/tid=4907] ppid=4903 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4907/stat : 4907 (toysat) S 4903 4906 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2820561 1355354112 272828 33554432000 4194304 16246674 140733854550448 140720230870256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4906/tid=4908] ppid=4903 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4908/stat : 4908 (toysat) S 4903 4906 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2820561 1355354112 272828 33554432000 4194304 16246674 140733854550448 140720220380400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4906/tid=4909] ppid=4903 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 1355354112 272828 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1323588
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.12 2.20 2.18 3/183 5003
/proc/meminfo: memFree=26434812/32872528 swapFree=1553660/1717180
[pid=4906] ppid=4903 vsize=1323588 CPUtime=1800.09 cores=0,2,4,6
/proc/4906/stat : 4906 (toysat) R 4903 4906 1984 0 -1 4202496 272421 0 0 0 179935 74 0 0 20 0 4 0 2820561 1355354112 272828 33554432000 4194304 16246674 140733854550448 140733854533448 5522994 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4906/statm: 330897 272828 849 2943 0 327791 0
[pid=4906/tid=4907] ppid=4903 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4907/stat : 4907 (toysat) S 4903 4906 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2820561 1355354112 272828 33554432000 4194304 16246674 140733854550448 140720230870256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4906/tid=4908] ppid=4903 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4908/stat : 4908 (toysat) S 4903 4906 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2820561 1355354112 272828 33554432000 4194304 16246674 140733854550448 140720220380400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4906/tid=4909] ppid=4903 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/4906/task/4909/stat : 4909 (toysat) S 4903 4906 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2820561 1355354112 272828 33554432000 4194304 16246674 140733854550448 140720107154608 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1323588
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 4906 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.1
CPU user time (s): 1799.36
CPU system time (s): 0.741887
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1323588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.741887
maximum resident set size= 1091312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272421
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= 447
involuntary context switches= 1850
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.42733 second user time and 7.10492 second system time
The end