0.00/0.00 c 2016-06-29T17:55:13+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-4117825-1467215713.opb"]
0.00/0.01 c use --random-gen="346352422 4077484516 1639101643 486495699 4025162965 2588033533 1714608 1547354517 3387948499 607663842 244138428 3222503173 3442999843 3926850683 3369935231 361218342 835598691 46037162 475336153 3168134675 922987572 1587660685 823449612 1193188958 1195444318 2263932885 200290360 4195453021 1765609186 3362138575 3980939993 1857713555 69575173 1371477219 2361268388 2285659814 4100417248 2473521071 3236567669 3013416070 2961426548 814242384 150065495 3141906441 3624973292 3935789255 3752047266 4163943115 873492635 4100735117 1547583464 735379452 1168781460 393047468 1935051754 2127098920 812929557 2922735119 2519268749 703639849 3093815120 329996524 1255489261 2453706322 4198934491 2442160373 3305425957 1485773417 1927232832 1876301561 3202316258 4029490865 2152991434 3619317508 1414537485 3364236654 1447804468 3791098344 1355977855 3349084788 754512258 3146454714 765044035 3072884299 2984774137 2049025513 3908134524 1394908858 2241728874 2352936098 2425578491 2864458570 1682289099 843452968 124508307 1125519330 686527434 1112166131 1727277276 3699175924 2979278876 1646557789 3349426933 2277749968 249591225 3406553962 3287809715 1612996266 2456036301 2105444400 2357634400 3565961181 2162699819 3976258059 4114878331 274009814 643317022 105382810 3345970365 467666386 605020033 1327866590 601527726 132824039 3960406782 249924401 449893142 4273928840 4272577805 350844923 1791718846 3074517998 965604760 3257332097 2169367660 2977075943 788907842 1982146047 88042843 754416183 1440478393 758069075 418121816 794318115 2644127429 2816036666 767485392 2769514336 387205896 2718858771 2743679800 634356342 2495146707 3451196399 627026486 493610260 4264389418 3677435246 466021098 3542956770 1077787588 269595484 851169279 262426210 3617281281 1569217404 1540277343 2170453139 1148907824 2864488919 2220772036 3219557779 2045037073 1486334510 2977062433 1061006522 4044883874 2065098244 1738418261 131158293 1115511834 3030097476 1381295255 3412774567 3148286903 2239086485 2244414780 1323696735 616315425 3414832181 2818496550 4075870655 4128195698 1353910510 2306460208 3045056446 2549114498 3440723907 805738155 289760599 3431345460 2341553363 4207717687 2439210101 2693838472 4233363332 2705423023 2330241347 1474281733 949021692 206019904 2593220289 3747984022 2873667057 611336696 3186335888 2827732755 3251329874 2589518714 570126607 3733640585 201354280 3887256325 3950629719 3638830836 228269738 1733101408 2434401844 2140583062 2428103806 3781529560 1462219081 2986445308 1910716857 396094169 3950292796 278959448 772131108 3845402193 245024479 3584844817 25636071 1461360736 1962768663 112216020 1285963245 4173940719 884631074 477639387 2627997097 744621984 2375457109 1094547835 3444310272 1288963196 804265424 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 | 140 0 | 26 | 0
0.00/0.03 c 0.0s | 1 | 138 | 100 | 140 0 | 26 | 0
0.00/0.06 c 0.0s | 2 | 376 | 250 | 154 1 | 26 | 0
0.09/0.10 c 0.1s | 3 | 659 | 475 | 170 2 | 26 | 0
0.09/0.16 c 0.1s | 4 | 1080 | 813 | 188 5 | 26 | 0
0.19/0.27 c 0.3s | 5 | 1703 | 1320 | 207 8 | 26 | 0
0.39/0.43 c 0.4s | 6 | 2601 | 2081 | 251 13 | 26 | 0
0.59/0.65 c 0.6s | 6 | 3797 | 3106 | 251 19 | 26 | 0
0.59/0.65 c #cpu_time = 0.633s
0.59/0.65 c #wall_clock_time = 0.634s
0.59/0.65 c #decision = 3797
0.59/0.65 c #random_decision = 16
0.59/0.65 c #conflict = 3106
0.59/0.65 c #restart = 6
0.59/0.65 o 131
0.59/0.65 c BCD2: updating upper bound: 256 -> 130
0.59/0.65 c BCD2: 0 <= obj <= 130
0.59/0.65 c BCD2: #cores=0, #unrelaxed=256, #relaxed=0, #hardened=0
0.59/0.65 c BCD2: #sat=1 #unsat=1 bias=1/2
0.59/0.65 c Solving starts ...
0.59/0.65 c ============================[ Search Statistics ]============================
0.59/0.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.65 c | | | | Limit GC | Var | Constra
0.59/0.65 c =============================================================================
0.59/0.65 c 0.0s | 0 | 0 | 0 | 251 0 | 26 | 0
0.59/0.65 c 0.0s | 0 | 0 | 0 | 251 0 | 26 | 0
0.59/0.65 c #cpu_time = 0.001s
0.59/0.65 c #wall_clock_time = 0.001s
0.59/0.65 c #decision = 0
0.59/0.65 c #random_decision = 0
0.59/0.65 c #conflict = 0
0.59/0.65 c #restart = 0
0.59/0.65 c BCD2: found a new core of size 1: cost of the new core is >=1
0.59/0.65 c lower bound updated to 1
0.59/0.66 c BCD2: 1 <= obj <= 130
0.59/0.66 c BCD2: #cores=1, #unrelaxed=255, #relaxed=1, #hardened=0
0.59/0.66 c BCD2: #sat=1 #unsat=2 bias=2/3
0.59/0.66 c Solving starts ...
0.59/0.66 c ============================[ Search Statistics ]============================
0.59/0.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.66 c | | | | Limit GC | Var | Constra
0.59/0.66 c =============================================================================
0.59/0.66 c 0.0s | 0 | 0 | 0 | 251 0 | 26 | 0
0.59/0.66 c 0.0s | 0 | 1 | 0 | 251 0 | 26 | 0
0.59/0.66 c #cpu_time = 0.001s
0.59/0.66 c #wall_clock_time = 0.001s
0.59/0.66 c #decision = 1
0.59/0.66 c #random_decision = 0
0.59/0.66 c #conflict = 0
0.59/0.66 c #restart = 0
0.59/0.66 c BCD2: found a new core of size 1: cost of the new core is >=1
0.59/0.66 c lower bound updated to 2
0.59/0.66 c BCD2: 2 <= obj <= 130
0.59/0.66 c BCD2: #cores=2, #unrelaxed=254, #relaxed=2, #hardened=0
0.59/0.66 c BCD2: #sat=1 #unsat=3 bias=3/4
0.59/0.66 c Solving starts ...
0.59/0.66 c ============================[ Search Statistics ]============================
0.59/0.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.66 c | | | | Limit GC | Var | Constra
0.59/0.66 c =============================================================================
0.59/0.66 c 0.0s | 0 | 0 | 0 | 251 0 | 26 | 0
0.59/0.66 c 0.0s | 0 | 8 | 0 | 251 0 | 26 | 0
0.59/0.66 c #cpu_time = 0.001s
0.59/0.66 c #wall_clock_time = 0.001s
0.59/0.66 c #decision = 8
0.59/0.66 c #random_decision = 0
0.59/0.66 c #conflict = 0
0.59/0.66 c #restart = 0
0.59/0.66 c BCD2: found a new core of size 7: cost of the new core is >=1
0.59/0.66 c lower bound updated to 3
0.59/0.66 c BCD2: 3 <= obj <= 130
0.59/0.66 c BCD2: #cores=3, #unrelaxed=247, #relaxed=9, #hardened=0
0.59/0.66 c BCD2: #sat=1 #unsat=4 bias=4/5
0.59/0.66 c Solving starts ...
0.59/0.66 c ============================[ Search Statistics ]============================
0.59/0.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.66 c | | | | Limit GC | Var | Constra
0.59/0.66 c =============================================================================
0.59/0.66 c 0.0s | 0 | 0 | 0 | 251 0 | 26 | 0
0.59/0.66 c 0.0s | 0 | 6 | 0 | 251 0 | 26 | 0
0.59/0.66 c #cpu_time = 0.001s
0.59/0.66 c #wall_clock_time = 0.001s
0.59/0.66 c #decision = 6
0.59/0.66 c #random_decision = 0
0.59/0.66 c #conflict = 0
0.59/0.66 c #restart = 0
0.59/0.66 c BCD2: found a new core of size 1: cost of the new core is >=1
0.59/0.66 c lower bound updated to 4
0.59/0.66 c BCD2: 4 <= obj <= 130
0.59/0.66 c BCD2: #cores=4, #unrelaxed=246, #relaxed=10, #hardened=0
0.59/0.66 c BCD2: #sat=1 #unsat=5 bias=5/6
0.59/0.66 c Solving starts ...
0.59/0.66 c ============================[ Search Statistics ]============================
0.59/0.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.66 c | | | | Limit GC | Var | Constra
0.59/0.66 c =============================================================================
0.59/0.66 c 0.0s | 0 | 0 | 0 | 251 0 | 26 | 0
0.59/0.66 c 0.0s | 0 | 7 | 0 | 251 0 | 26 | 0
0.59/0.66 c #cpu_time = 0.001s
0.59/0.66 c #wall_clock_time = 0.001s
0.59/0.66 c #decision = 7
0.59/0.66 c #random_decision = 0
0.59/0.66 c #conflict = 0
0.59/0.66 c #restart = 0
0.59/0.66 c BCD2: found a new core of size 1: cost of the new core is >=1
0.59/0.66 c lower bound updated to 5
0.59/0.66 c BCD2: 5 <= obj <= 130
0.59/0.66 c BCD2: #cores=5, #unrelaxed=245, #relaxed=11, #hardened=0
0.59/0.66 c BCD2: #sat=1 #unsat=6 bias=6/7
0.59/0.66 c Solving starts ...
0.59/0.66 c ============================[ Search Statistics ]============================
0.59/0.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.66 c | | | | Limit GC | Var | Constra
0.59/0.66 c =============================================================================
0.59/0.66 c 0.0s | 0 | 0 | 0 | 251 0 | 26 | 0
0.59/0.66 c 0.0s | 0 | 8 | 0 | 251 0 | 26 | 0
0.59/0.66 c #cpu_time = 0.001s
0.59/0.66 c #wall_clock_time = 0.001s
0.59/0.66 c #decision = 8
0.59/0.66 c #random_decision = 0
0.59/0.66 c #conflict = 0
0.59/0.66 c #restart = 0
0.59/0.66 c BCD2: found a new core of size 1: cost of the new core is >=1
0.59/0.66 c lower bound updated to 6
0.59/0.66 c BCD2: 6 <= obj <= 130
0.59/0.66 c BCD2: #cores=6, #unrelaxed=244, #relaxed=12, #hardened=0
0.59/0.66 c BCD2: #sat=1 #unsat=7 bias=7/8
0.59/0.66 c Solving starts ...
0.59/0.66 c ============================[ Search Statistics ]============================
0.59/0.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.66 c | | | | Limit GC | Var | Constra
0.59/0.66 c =============================================================================
0.59/0.66 c 0.0s | 0 | 0 | 0 | 251 0 | 26 | 0
0.59/0.67 c 0.0s | 0 | 9 | 0 | 251 0 | 26 | 0
0.59/0.67 c #cpu_time = 0.001s
0.59/0.67 c #wall_clock_time = 0.001s
0.59/0.67 c #decision = 9
0.59/0.67 c #random_decision = 0
0.59/0.67 c #conflict = 0
0.59/0.67 c #restart = 0
0.59/0.67 c BCD2: found a new core of size 1: cost of the new core is >=1
0.59/0.67 c lower bound updated to 7
0.59/0.67 c BCD2: 7 <= obj <= 130
0.59/0.67 c BCD2: #cores=7, #unrelaxed=243, #relaxed=13, #hardened=0
0.59/0.67 c BCD2: #sat=1 #unsat=8 bias=8/9
0.59/0.67 c Solving starts ...
0.59/0.67 c ============================[ Search Statistics ]============================
0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.67 c | | | | Limit GC | Var | Constra
0.59/0.67 c =============================================================================
0.59/0.67 c 0.0s | 0 | 0 | 0 | 251 0 | 26 | 0
0.59/0.67 c 0.0s | 0 | 16 | 0 | 251 0 | 26 | 0
0.59/0.67 c #cpu_time = 0.001s
0.59/0.67 c #wall_clock_time = 0.001s
0.59/0.67 c #decision = 16
0.59/0.67 c #random_decision = 0
0.59/0.67 c #conflict = 0
0.59/0.67 c #restart = 0
0.59/0.67 c BCD2: found a new core of size 7: cost of the new core is >=1
0.59/0.67 c lower bound updated to 8
0.59/0.67 c BCD2: 8 <= obj <= 130
0.59/0.67 c BCD2: #cores=8, #unrelaxed=236, #relaxed=20, #hardened=0
0.59/0.67 c BCD2: #sat=1 #unsat=9 bias=9/10
0.59/0.67 c Solving starts ...
0.59/0.67 c ============================[ Search Statistics ]============================
0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.67 c | | | | Limit GC | Var | Constra
0.59/0.67 c =============================================================================
0.59/0.67 c 0.0s | 0 | 0 | 0 | 251 0 | 26 | 0
0.59/0.67 c 0.0s | 0 | 16 | 0 | 251 0 | 26 | 0
0.59/0.67 c #cpu_time = 0.001s
0.59/0.67 c #wall_clock_time = 0.001s
0.59/0.67 c #decision = 16
0.59/0.67 c #random_decision = 0
0.59/0.67 c #conflict = 0
0.59/0.67 c #restart = 0
0.59/0.67 c BCD2: found a new core of size 1: cost of the new core is >=1
0.59/0.67 c lower bound updated to 9
0.59/0.67 c BCD2: 9 <= obj <= 130
0.59/0.67 c BCD2: #cores=9, #unrelaxed=235, #relaxed=21, #hardened=0
0.59/0.67 c BCD2: #sat=1 #unsat=10 bias=10/11
0.59/0.67 c Solving starts ...
0.59/0.67 c ============================[ Search Statistics ]============================
0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.67 c | | | | Limit GC | Var | Constra
0.59/0.67 c =============================================================================
0.59/0.67 c 0.0s | 0 | 0 | 0 | 251 0 | 26 | 0
0.59/0.67 c 0.0s | 0 | 17 | 0 | 251 0 | 26 | 0
0.59/0.67 c #cpu_time = 0.001s
0.59/0.67 c #wall_clock_time = 0.001s
0.59/0.67 c #decision = 17
0.59/0.67 c #random_decision = 0
0.59/0.67 c #conflict = 0
0.59/0.67 c #restart = 0
0.59/0.67 c BCD2: found a new core of size 1: cost of the new core is >=1
0.59/0.67 c lower bound updated to 10
0.59/0.67 c BCD2: 10 <= obj <= 130
0.59/0.67 c BCD2: #cores=10, #unrelaxed=234, #relaxed=22, #hardened=0
0.59/0.67 c BCD2: #sat=1 #unsat=11 bias=11/12
0.59/0.67 c Solving starts ...
0.59/0.67 c ============================[ Search Statistics ]============================
0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.67 c | | | | Limit GC | Var | Constra
0.59/0.67 c =============================================================================
0.59/0.67 c 0.0s | 0 | 0 | 0 | 251 0 | 26 | 0
0.59/0.67 c 0.0s | 0 | 26 | 0 | 251 0 | 26 | 0
0.59/0.67 c #cpu_time = 0.001s
0.59/0.67 c #wall_clock_time = 0.001s
0.59/0.67 c #decision = 26
0.59/0.67 c #random_decision = 0
0.59/0.67 c #conflict = 0
0.59/0.67 c #restart = 0
0.59/0.67 c BCD2: found a new core of size 9: cost of the new core is >=1
0.59/0.67 c lower bound updated to 11
0.59/0.67 c BCD2: 11 <= obj <= 130
0.59/0.67 c BCD2: #cores=11, #unrelaxed=225, #relaxed=31, #hardened=0
0.59/0.67 c BCD2: #sat=1 #unsat=12 bias=12/13
0.59/0.67 c Solving starts ...
0.59/0.67 c ============================[ Search Statistics ]============================
0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.67 c | | | | Limit GC | Var | Constra
0.59/0.67 c =============================================================================
0.59/0.67 c 0.0s | 0 | 0 | 0 | 251 0 | 26 | 0
0.59/0.67 c 0.0s | 0 | 22 | 0 | 251 0 | 26 | 0
0.59/0.67 c #cpu_time = 0.001s
0.59/0.67 c #wall_clock_time = 0.001s
0.59/0.67 c #decision = 22
0.59/0.67 c #random_decision = 0
0.59/0.67 c #conflict = 0
0.59/0.67 c #restart = 0
0.59/0.67 c BCD2: found a new core of size 3: cost of the new core is >=1
0.59/0.67 c lower bound updated to 12
0.59/0.67 c BCD2: 12 <= obj <= 130
0.59/0.67 c BCD2: #cores=12, #unrelaxed=222, #relaxed=34, #hardened=0
0.59/0.67 c BCD2: #sat=1 #unsat=13 bias=13/14
0.59/0.67 c Solving starts ...
0.59/0.67 c ============================[ Search Statistics ]============================
0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.67 c | | | | Limit GC | Var | Constra
0.59/0.67 c =============================================================================
0.59/0.67 c 0.0s | 0 | 0 | 0 | 251 0 | 26 | 0
0.59/0.68 c 0.0s | 0 | 21 | 0 | 251 0 | 26 | 0
0.59/0.68 c #cpu_time = 0.001s
0.59/0.68 c #wall_clock_time = 0.001s
0.59/0.68 c #decision = 21
0.59/0.68 c #random_decision = 0
0.59/0.68 c #conflict = 0
0.59/0.68 c #restart = 0
0.59/0.68 c BCD2: found a new core of size 3: cost of the new core is >=1
0.59/0.68 c lower bound updated to 13
0.59/0.68 c BCD2: 13 <= obj <= 130
0.59/0.68 c BCD2: #cores=13, #unrelaxed=219, #relaxed=37, #hardened=0
0.59/0.68 c BCD2: #sat=1 #unsat=14 bias=14/15
0.59/0.68 c Solving starts ...
0.59/0.68 c ============================[ Search Statistics ]============================
0.59/0.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.68 c | | | | Limit GC | Var | Constra
0.59/0.68 c =============================================================================
0.59/0.68 c 0.0s | 0 | 0 | 0 | 251 0 | 26 | 1
0.59/0.68 c 0.0s | 0 | 27 | 0 | 251 0 | 26 | 1
0.59/0.68 c #cpu_time = 0.001s
0.59/0.68 c #wall_clock_time = 0.001s
0.59/0.68 c #decision = 27
0.59/0.68 c #random_decision = 0
0.59/0.68 c #conflict = 0
0.59/0.68 c #restart = 0
0.59/0.68 c BCD2: found a new core of size 8: cost of the new core is >=1
0.59/0.68 c lower bound updated to 14
0.59/0.68 c BCD2: 14 <= obj <= 130
0.59/0.68 c BCD2: #cores=14, #unrelaxed=211, #relaxed=45, #hardened=0
0.59/0.68 c BCD2: #sat=1 #unsat=15 bias=15/16
0.59/0.68 c Solving starts ...
0.59/0.68 c ============================[ Search Statistics ]============================
0.59/0.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.68 c | | | | Limit GC | Var | Constra
0.59/0.68 c =============================================================================
0.59/0.68 c 0.0s | 0 | 0 | 0 | 251 0 | 26 | 1
0.59/0.68 c 0.0s | 0 | 27 | 1 | 251 0 | 26 | 1
0.59/0.68 c #cpu_time = 0.001s
0.59/0.68 c #wall_clock_time = 0.001s
0.59/0.68 c #decision = 27
0.59/0.68 c #random_decision = 0
0.59/0.68 c #conflict = 1
0.59/0.68 c #restart = 0
0.59/0.68 c BCD2: relaxing 6 and merging with 2 cores into a new core of size 22: cost of the new core is >=3
0.59/0.68 c lower bound updated to 15
0.59/0.68 c BCD2: 15 <= obj <= 130
0.59/0.68 c BCD2: #cores=13, #unrelaxed=205, #relaxed=51, #hardened=0
0.59/0.68 c BCD2: #sat=1 #unsat=16 bias=16/17
0.59/0.68 c Solving starts ...
0.59/0.68 c ============================[ Search Statistics ]============================
0.59/0.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.68 c | | | | Limit GC | Var | Constra
0.59/0.68 c =============================================================================
0.59/0.68 c 0.0s | 0 | 0 | 0 | 251 0 | 28 | 1
0.59/0.68 c 0.0s | 0 | 30 | 0 | 251 0 | 28 | 3
0.59/0.68 c #cpu_time = 0.001s
0.59/0.68 c #wall_clock_time = 0.001s
0.59/0.68 c #decision = 30
0.59/0.68 c #random_decision = 0
0.59/0.68 c #conflict = 0
0.59/0.68 c #restart = 0
0.59/0.68 c BCD2: found a new core of size 10: cost of the new core is >=1
0.59/0.68 c lower bound updated to 16
0.59/0.68 c BCD2: 16 <= obj <= 130
0.59/0.68 c BCD2: #cores=14, #unrelaxed=195, #relaxed=61, #hardened=0
0.59/0.68 c BCD2: #sat=1 #unsat=17 bias=17/18
0.59/0.68 c Solving starts ...
0.59/0.68 c ============================[ Search Statistics ]============================
0.59/0.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.68 c | | | | Limit GC | Var | Constra
0.59/0.68 c =============================================================================
0.59/0.68 c 0.0s | 0 | 0 | 0 | 251 0 | 28 | 3
0.59/0.68 c 0.0s | 0 | 27 | 0 | 251 0 | 28 | 3
0.59/0.68 c #cpu_time = 0.001s
0.59/0.68 c #wall_clock_time = 0.001s
0.59/0.68 c #decision = 27
0.59/0.68 c #random_decision = 0
0.59/0.68 c #conflict = 0
0.59/0.68 c #restart = 0
0.59/0.68 c BCD2: found a new core of size 4: cost of the new core is >=1
0.59/0.68 c lower bound updated to 17
0.59/0.68 c BCD2: 17 <= obj <= 130
0.59/0.68 c BCD2: #cores=15, #unrelaxed=191, #relaxed=65, #hardened=0
0.59/0.68 c BCD2: #sat=1 #unsat=18 bias=18/19
0.59/0.68 c Solving starts ...
0.59/0.68 c ============================[ Search Statistics ]============================
0.59/0.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.68 c | | | | Limit GC | Var | Constra
0.59/0.68 c =============================================================================
0.59/0.68 c 0.0s | 0 | 0 | 0 | 251 0 | 28 | 3
0.59/0.68 c 0.0s | 0 | 31 | 0 | 251 0 | 28 | 3
0.59/0.68 c #cpu_time = 0.001s
0.59/0.68 c #wall_clock_time = 0.001s
0.59/0.68 c #decision = 31
0.59/0.68 c #random_decision = 0
0.59/0.68 c #conflict = 0
0.59/0.68 c #restart = 0
0.59/0.69 c BCD2: found a new core of size 7: cost of the new core is >=1
0.59/0.69 c lower bound updated to 18
0.59/0.69 c BCD2: 18 <= obj <= 130
0.59/0.69 c BCD2: #cores=16, #unrelaxed=184, #relaxed=72, #hardened=0
0.59/0.69 c BCD2: #sat=1 #unsat=19 bias=19/20
0.59/0.69 c Solving starts ...
0.59/0.69 c ============================[ Search Statistics ]============================
0.59/0.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.69 c | | | | Limit GC | Var | Constra
0.59/0.69 c =============================================================================
0.59/0.69 c 0.0s | 0 | 0 | 0 | 251 0 | 28 | 3
0.59/0.69 c 0.0s | 0 | 32 | 1 | 251 0 | 28 | 3
0.59/0.69 c #cpu_time = 0.001s
0.59/0.69 c #wall_clock_time = 0.001s
0.59/0.69 c #decision = 32
0.59/0.69 c #random_decision = 0
0.59/0.69 c #conflict = 1
0.59/0.69 c #restart = 0
0.59/0.69 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.59/0.69 c lower bound updated to 19
0.59/0.69 c BCD2: 19 <= obj <= 130
0.59/0.69 c BCD2: #cores=16, #unrelaxed=178, #relaxed=78, #hardened=0
0.59/0.69 c BCD2: #sat=1 #unsat=20 bias=20/21
0.59/0.69 c Solving starts ...
0.59/0.69 c ============================[ Search Statistics ]============================
0.59/0.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.69 c | | | | Limit GC | Var | Constra
0.59/0.69 c =============================================================================
0.59/0.69 c 0.0s | 0 | 0 | 0 | 251 0 | 29 | 3
0.59/0.69 c 0.0s | 0 | 26 | 0 | 251 0 | 29 | 4
0.59/0.69 c #cpu_time = 0.001s
0.59/0.69 c #wall_clock_time = 0.001s
0.59/0.69 c #decision = 26
0.59/0.69 c #random_decision = 0
0.59/0.69 c #conflict = 0
0.59/0.69 c #restart = 0
0.59/0.69 c BCD2: found a new core of size 2: cost of the new core is >=1
0.59/0.69 c lower bound updated to 20
0.59/0.69 c BCD2: 20 <= obj <= 130
0.59/0.69 c BCD2: #cores=17, #unrelaxed=176, #relaxed=80, #hardened=0
0.59/0.69 c BCD2: #sat=1 #unsat=21 bias=21/22
0.59/0.69 c Solving starts ...
0.59/0.69 c ============================[ Search Statistics ]============================
0.59/0.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.69 c | | | | Limit GC | Var | Constra
0.59/0.69 c =============================================================================
0.59/0.69 c 0.0s | 0 | 0 | 0 | 251 0 | 29 | 4
0.59/0.69 c 0.0s | 0 | 35 | 0 | 251 0 | 29 | 4
0.59/0.69 c #cpu_time = 0.001s
0.59/0.69 c #wall_clock_time = 0.001s
0.59/0.69 c #decision = 35
0.59/0.69 c #random_decision = 0
0.59/0.69 c #conflict = 0
0.59/0.69 c #restart = 0
0.59/0.69 c BCD2: found a new core of size 8: cost of the new core is >=1
0.59/0.69 c lower bound updated to 21
0.59/0.69 c BCD2: 21 <= obj <= 130
0.59/0.69 c BCD2: #cores=18, #unrelaxed=168, #relaxed=88, #hardened=0
0.59/0.69 c BCD2: #sat=1 #unsat=22 bias=22/23
0.59/0.69 c Solving starts ...
0.59/0.69 c ============================[ Search Statistics ]============================
0.59/0.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.69 c | | | | Limit GC | Var | Constra
0.59/0.69 c =============================================================================
0.59/0.69 c 0.0s | 0 | 0 | 0 | 251 0 | 29 | 4
0.59/0.69 c 0.0s | 0 | 36 | 1 | 251 0 | 29 | 4
0.59/0.69 c #cpu_time = 0.001s
0.59/0.69 c #wall_clock_time = 0.001s
0.59/0.69 c #decision = 36
0.59/0.69 c #random_decision = 0
0.59/0.69 c #conflict = 1
0.59/0.69 c #restart = 0
0.59/0.69 c BCD2: relaxing 7 and merging with 1 cores into a new core of size 15: cost of the new core is >=2
0.59/0.69 c lower bound updated to 22
0.59/0.69 c BCD2: 22 <= obj <= 130
0.59/0.69 c BCD2: #cores=18, #unrelaxed=161, #relaxed=95, #hardened=0
0.59/0.69 c BCD2: #sat=1 #unsat=23 bias=23/24
0.59/0.69 c Solving starts ...
0.59/0.69 c ============================[ Search Statistics ]============================
0.59/0.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.69 c | | | | Limit GC | Var | Constra
0.59/0.69 c =============================================================================
0.59/0.69 c 0.0s | 0 | 0 | 0 | 251 0 | 30 | 4
0.59/0.69 c 0.0s | 0 | 29 | 0 | 251 0 | 30 | 5
0.59/0.69 c #cpu_time = 0.001s
0.59/0.69 c #wall_clock_time = 0.001s
0.59/0.69 c #decision = 29
0.59/0.69 c #random_decision = 0
0.59/0.69 c #conflict = 0
0.59/0.69 c #restart = 0
0.59/0.69 c BCD2: found a new core of size 5: cost of the new core is >=1
0.59/0.69 c lower bound updated to 23
0.59/0.69 c BCD2: 23 <= obj <= 130
0.59/0.69 c BCD2: #cores=19, #unrelaxed=156, #relaxed=100, #hardened=0
0.59/0.69 c BCD2: #sat=1 #unsat=24 bias=24/25
0.59/0.69 c Solving starts ...
0.59/0.69 c ============================[ Search Statistics ]============================
0.59/0.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.69 c | | | | Limit GC | Var | Constra
0.59/0.69 c =============================================================================
0.59/0.70 c 0.0s | 0 | 0 | 0 | 251 0 | 30 | 5
0.69/0.70 c 0.0s | 0 | 32 | 0 | 251 0 | 30 | 5
0.69/0.70 c #cpu_time = 0.001s
0.69/0.70 c #wall_clock_time = 0.001s
0.69/0.70 c #decision = 32
0.69/0.70 c #random_decision = 0
0.69/0.70 c #conflict = 0
0.69/0.70 c #restart = 0
0.69/0.70 c BCD2: found a new core of size 7: cost of the new core is >=1
0.69/0.70 c lower bound updated to 24
0.69/0.70 c BCD2: 24 <= obj <= 130
0.69/0.70 c BCD2: #cores=20, #unrelaxed=149, #relaxed=107, #hardened=0
0.69/0.70 c BCD2: #sat=1 #unsat=25 bias=25/26
0.69/0.70 c Solving starts ...
0.69/0.70 c ============================[ Search Statistics ]============================
0.69/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.70 c | | | | Limit GC | Var | Constra
0.69/0.70 c =============================================================================
0.69/0.70 c 0.0s | 0 | 0 | 0 | 251 0 | 30 | 5
0.69/0.70 c 0.0s | 0 | 33 | 1 | 251 0 | 30 | 5
0.69/0.70 c #cpu_time = 0.001s
0.69/0.70 c #wall_clock_time = 0.001s
0.69/0.70 c #decision = 33
0.69/0.70 c #random_decision = 0
0.69/0.70 c #conflict = 1
0.69/0.70 c #restart = 0
0.69/0.70 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.69/0.70 c lower bound updated to 25
0.69/0.70 c BCD2: 25 <= obj <= 130
0.69/0.70 c BCD2: #cores=20, #unrelaxed=143, #relaxed=113, #hardened=0
0.69/0.70 c BCD2: #sat=1 #unsat=26 bias=26/27
0.69/0.70 c Solving starts ...
0.69/0.70 c ============================[ Search Statistics ]============================
0.69/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.70 c | | | | Limit GC | Var | Constra
0.69/0.70 c =============================================================================
0.69/0.70 c 0.0s | 0 | 0 | 0 | 251 0 | 31 | 5
0.69/0.70 c 0.0s | 0 | 42 | 1 | 251 0 | 31 | 6
0.69/0.70 c #cpu_time = 0.001s
0.69/0.70 c #wall_clock_time = 0.001s
0.69/0.70 c #decision = 42
0.69/0.70 c #random_decision = 0
0.69/0.70 c #conflict = 1
0.69/0.70 c #restart = 0
0.69/0.70 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.69/0.70 c lower bound updated to 26
0.69/0.70 c BCD2: 26 <= obj <= 130
0.69/0.70 c BCD2: #cores=20, #unrelaxed=142, #relaxed=114, #hardened=0
0.69/0.70 c BCD2: #sat=1 #unsat=27 bias=27/28
0.69/0.70 c Solving starts ...
0.69/0.70 c ============================[ Search Statistics ]============================
0.69/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.70 c | | | | Limit GC | Var | Constra
0.69/0.70 c =============================================================================
0.69/0.70 c 0.0s | 0 | 0 | 0 | 251 0 | 32 | 6
0.69/0.70 c 0.0s | 0 | 41 | 0 | 251 0 | 32 | 7
0.69/0.70 c #cpu_time = 0.001s
0.69/0.70 c #wall_clock_time = 0.001s
0.69/0.70 c #decision = 41
0.69/0.70 c #random_decision = 0
0.69/0.70 c #conflict = 0
0.69/0.70 c #restart = 0
0.69/0.70 c BCD2: found a new core of size 13: cost of the new core is >=1
0.69/0.70 c lower bound updated to 27
0.69/0.70 c BCD2: 27 <= obj <= 130
0.69/0.70 c BCD2: #cores=21, #unrelaxed=129, #relaxed=127, #hardened=0
0.69/0.70 c BCD2: #sat=1 #unsat=28 bias=28/29
0.69/0.70 c Solving starts ...
0.69/0.70 c ============================[ Search Statistics ]============================
0.69/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.70 c | | | | Limit GC | Var | Constra
0.69/0.70 c =============================================================================
0.69/0.70 c 0.0s | 0 | 0 | 0 | 251 0 | 32 | 7
0.69/0.70 c 0.0s | 0 | 46 | 2 | 251 0 | 32 | 7
0.69/0.70 c #cpu_time = 0.001s
0.69/0.70 c #wall_clock_time = 0.001s
0.69/0.70 c #decision = 46
0.69/0.70 c #random_decision = 0
0.69/0.70 c #conflict = 2
0.69/0.70 c #restart = 0
0.69/0.70 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.69/0.70 c lower bound updated to 28
0.69/0.70 c BCD2: 28 <= obj <= 130
0.69/0.70 c BCD2: #cores=21, #unrelaxed=128, #relaxed=128, #hardened=0
0.69/0.70 c BCD2: #sat=1 #unsat=29 bias=29/30
0.69/0.70 c Solving starts ...
0.69/0.70 c ============================[ Search Statistics ]============================
0.69/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.70 c | | | | Limit GC | Var | Constra
0.69/0.70 c =============================================================================
0.69/0.70 c 0.0s | 0 | 0 | 0 | 251 0 | 33 | 8
0.69/0.71 c 0.0s | 0 | 38 | 0 | 251 0 | 33 | 9
0.69/0.71 c #cpu_time = 0.001s
0.69/0.71 c #wall_clock_time = 0.001s
0.69/0.71 c #decision = 38
0.69/0.71 c #random_decision = 0
0.69/0.71 c #conflict = 0
0.69/0.71 c #restart = 0
0.69/0.71 c BCD2: found a new core of size 7: cost of the new core is >=1
0.69/0.71 c lower bound updated to 29
0.69/0.71 c BCD2: 29 <= obj <= 130
0.69/0.71 c BCD2: #cores=22, #unrelaxed=121, #relaxed=135, #hardened=0
0.69/0.71 c BCD2: #sat=1 #unsat=30 bias=30/31
0.69/0.71 c Solving starts ...
0.69/0.71 c ============================[ Search Statistics ]============================
0.69/0.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.71 c | | | | Limit GC | Var | Constra
0.69/0.71 c =============================================================================
0.69/0.71 c 0.0s | 0 | 0 | 0 | 251 0 | 33 | 9
0.69/0.71 c 0.0s | 0 | 39 | 1 | 251 0 | 33 | 9
0.69/0.71 c #cpu_time = 0.001s
0.69/0.71 c #wall_clock_time = 0.001s
0.69/0.71 c #decision = 39
0.69/0.71 c #random_decision = 0
0.69/0.71 c #conflict = 1
0.69/0.71 c #restart = 0
0.69/0.71 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.69/0.71 c lower bound updated to 30
0.69/0.71 c BCD2: 30 <= obj <= 130
0.69/0.71 c BCD2: #cores=22, #unrelaxed=115, #relaxed=141, #hardened=0
0.69/0.71 c BCD2: #sat=1 #unsat=31 bias=31/32
0.69/0.71 c Solving starts ...
0.69/0.71 c ============================[ Search Statistics ]============================
0.69/0.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.71 c | | | | Limit GC | Var | Constra
0.69/0.71 c =============================================================================
0.69/0.71 c 0.0s | 0 | 0 | 0 | 251 0 | 34 | 9
0.69/0.71 c 0.0s | 0 | 36 | 1 | 251 0 | 34 | 10
0.69/0.71 c #cpu_time = 0.001s
0.69/0.71 c #wall_clock_time = 0.001s
0.69/0.71 c #decision = 36
0.69/0.71 c #random_decision = 0
0.69/0.71 c #conflict = 1
0.69/0.71 c #restart = 0
0.69/0.71 c BCD2: relaxing 7 and merging with 3 cores into a new core of size 19: cost of the new core is >=4
0.69/0.71 c lower bound updated to 31
0.69/0.71 c BCD2: 31 <= obj <= 130
0.69/0.71 c BCD2: #cores=20, #unrelaxed=108, #relaxed=148, #hardened=0
0.69/0.71 c BCD2: #sat=1 #unsat=32 bias=32/33
0.69/0.71 c Solving starts ...
0.69/0.71 c ============================[ Search Statistics ]============================
0.69/0.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.71 c | | | | Limit GC | Var | Constra
0.69/0.71 c =============================================================================
0.69/0.71 c 0.0s | 0 | 0 | 0 | 251 0 | 37 | 10
0.69/0.71 c 0.0s | 0 | 34 | 0 | 251 0 | 37 | 13
0.69/0.71 c #cpu_time = 0.001s
0.69/0.71 c #wall_clock_time = 0.001s
0.69/0.71 c #decision = 34
0.69/0.71 c #random_decision = 0
0.69/0.71 c #conflict = 0
0.69/0.71 c #restart = 0
0.69/0.71 c BCD2: found a new core of size 8: cost of the new core is >=1
0.69/0.71 c lower bound updated to 32
0.69/0.71 c BCD2: 32 <= obj <= 130
0.69/0.71 c BCD2: #cores=21, #unrelaxed=100, #relaxed=156, #hardened=0
0.69/0.71 c BCD2: #sat=1 #unsat=33 bias=33/34
0.69/0.71 c Solving starts ...
0.69/0.71 c ============================[ Search Statistics ]============================
0.69/0.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.71 c | | | | Limit GC | Var | Constra
0.69/0.71 c =============================================================================
0.69/0.71 c 0.0s | 0 | 0 | 0 | 251 0 | 37 | 13
0.69/0.71 c 0.0s | 0 | 35 | 1 | 251 0 | 37 | 13
0.69/0.71 c #cpu_time = 0.001s
0.69/0.71 c #wall_clock_time = 0.001s
0.69/0.71 c #decision = 35
0.69/0.71 c #random_decision = 0
0.69/0.71 c #conflict = 1
0.69/0.71 c #restart = 0
0.69/0.71 c BCD2: relaxing 7 and merging with 1 cores into a new core of size 15: cost of the new core is >=2
0.69/0.71 c lower bound updated to 33
0.69/0.71 c BCD2: 33 <= obj <= 130
0.69/0.71 c BCD2: #cores=21, #unrelaxed=93, #relaxed=163, #hardened=0
0.69/0.71 c BCD2: #sat=1 #unsat=34 bias=34/35
0.69/0.71 c Solving starts ...
0.69/0.71 c ============================[ Search Statistics ]============================
0.69/0.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.71 c | | | | Limit GC | Var | Constra
0.69/0.71 c =============================================================================
0.69/0.71 c 0.0s | 0 | 0 | 0 | 251 0 | 38 | 13
0.69/0.72 c 0.0s | 0 | 38 | 0 | 251 0 | 38 | 14
0.69/0.72 c #cpu_time = 0.001s
0.69/0.72 c #wall_clock_time = 0.001s
0.69/0.72 c #decision = 38
0.69/0.72 c #random_decision = 0
0.69/0.72 c #conflict = 0
0.69/0.72 c #restart = 0
0.69/0.72 c BCD2: found a new core of size 10: cost of the new core is >=1
0.69/0.72 c lower bound updated to 34
0.69/0.72 c BCD2: 34 <= obj <= 130
0.69/0.72 c BCD2: #cores=22, #unrelaxed=83, #relaxed=173, #hardened=0
0.69/0.72 c BCD2: #sat=1 #unsat=35 bias=35/36
0.69/0.72 c Solving starts ...
0.69/0.72 c ============================[ Search Statistics ]============================
0.69/0.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.72 c | | | | Limit GC | Var | Constra
0.69/0.72 c =============================================================================
0.69/0.72 c 0.0s | 0 | 0 | 0 | 251 0 | 38 | 14
0.69/0.72 c 0.0s | 0 | 40 | 0 | 251 0 | 38 | 14
0.69/0.72 c #cpu_time = 0.001s
0.69/0.72 c #wall_clock_time = 0.001s
0.69/0.72 c #decision = 40
0.69/0.72 c #random_decision = 0
0.69/0.72 c #conflict = 0
0.69/0.72 c #restart = 0
0.69/0.72 c BCD2: found a new core of size 5: cost of the new core is >=1
0.69/0.72 c lower bound updated to 35
0.69/0.72 c BCD2: 35 <= obj <= 130
0.69/0.72 c BCD2: #cores=23, #unrelaxed=78, #relaxed=178, #hardened=0
0.69/0.72 c BCD2: #sat=1 #unsat=36 bias=36/37
0.69/0.72 c Solving starts ...
0.69/0.72 c ============================[ Search Statistics ]============================
0.69/0.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.72 c | | | | Limit GC | Var | Constra
0.69/0.72 c =============================================================================
0.69/0.72 c 0.0s | 0 | 0 | 0 | 251 0 | 38 | 14
0.69/0.72 c 0.0s | 0 | 41 | 1 | 251 0 | 38 | 14
0.69/0.72 c #cpu_time = 0.001s
0.69/0.72 c #wall_clock_time = 0.001s
0.69/0.72 c #decision = 41
0.69/0.72 c #random_decision = 0
0.69/0.72 c #conflict = 1
0.69/0.72 c #restart = 0
0.69/0.72 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 9: cost of the new core is >=2
0.69/0.72 c lower bound updated to 36
0.69/0.72 c BCD2: 36 <= obj <= 130
0.69/0.72 c BCD2: #cores=23, #unrelaxed=74, #relaxed=182, #hardened=0
0.69/0.72 c BCD2: #sat=1 #unsat=37 bias=37/38
0.69/0.72 c Solving starts ...
0.69/0.72 c ============================[ Search Statistics ]============================
0.69/0.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.72 c | | | | Limit GC | Var | Constra
0.69/0.72 c =============================================================================
0.69/0.72 c 0.0s | 0 | 0 | 0 | 251 0 | 39 | 14
0.69/0.72 c 0.0s | 0 | 41 | 1 | 251 0 | 39 | 15
0.69/0.72 c #cpu_time = 0.001s
0.69/0.72 c #wall_clock_time = 0.001s
0.69/0.72 c #decision = 41
0.69/0.72 c #random_decision = 0
0.69/0.72 c #conflict = 1
0.69/0.72 c #restart = 0
0.69/0.72 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 13: cost of the new core is >=3
0.69/0.72 c lower bound updated to 37
0.69/0.72 c BCD2: 37 <= obj <= 130
0.69/0.72 c BCD2: #cores=23, #unrelaxed=70, #relaxed=186, #hardened=0
0.69/0.72 c BCD2: #sat=1 #unsat=38 bias=38/39
0.69/0.72 c Solving starts ...
0.69/0.72 c ============================[ Search Statistics ]============================
0.69/0.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.72 c | | | | Limit GC | Var | Constra
0.69/0.72 c =============================================================================
0.69/0.72 c 0.0s | 0 | 0 | 0 | 251 0 | 40 | 15
0.69/0.72 c 0.0s | 0 | 39 | 0 | 251 0 | 40 | 16
0.69/0.72 c #cpu_time = 0.001s
0.69/0.72 c #wall_clock_time = 0.001s
0.69/0.72 c #decision = 39
0.69/0.72 c #random_decision = 0
0.69/0.72 c #conflict = 0
0.69/0.72 c #restart = 0
0.69/0.72 c BCD2: found a new core of size 6: cost of the new core is >=1
0.69/0.72 c lower bound updated to 38
0.69/0.72 c BCD2: 38 <= obj <= 130
0.69/0.72 c BCD2: #cores=24, #unrelaxed=64, #relaxed=192, #hardened=0
0.69/0.72 c BCD2: #sat=1 #unsat=39 bias=39/40
0.69/0.72 c Solving starts ...
0.69/0.72 c ============================[ Search Statistics ]============================
0.69/0.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.72 c | | | | Limit GC | Var | Constra
0.69/0.72 c =============================================================================
0.69/0.72 c 0.0s | 0 | 0 | 0 | 251 0 | 40 | 16
0.69/0.73 c 0.0s | 0 | 42 | 0 | 251 0 | 40 | 16
0.69/0.73 c #cpu_time = 0.001s
0.69/0.73 c #wall_clock_time = 0.001s
0.69/0.73 c #decision = 42
0.69/0.73 c #random_decision = 0
0.69/0.73 c #conflict = 0
0.69/0.73 c #restart = 0
0.69/0.73 c BCD2: found a new core of size 8: cost of the new core is >=1
0.69/0.73 c lower bound updated to 39
0.69/0.73 c BCD2: 39 <= obj <= 130
0.69/0.73 c BCD2: #cores=25, #unrelaxed=56, #relaxed=200, #hardened=0
0.69/0.73 c BCD2: #sat=1 #unsat=40 bias=40/41
0.69/0.73 c Solving starts ...
0.69/0.73 c ============================[ Search Statistics ]============================
0.69/0.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.73 c | | | | Limit GC | Var | Constra
0.69/0.73 c =============================================================================
0.69/0.73 c 0.0s | 0 | 0 | 0 | 251 0 | 40 | 16
0.69/0.73 c 0.0s | 0 | 41 | 0 | 251 0 | 40 | 16
0.69/0.73 c #cpu_time = 0.001s
0.69/0.73 c #wall_clock_time = 0.001s
0.69/0.73 c #decision = 41
0.69/0.73 c #random_decision = 0
0.69/0.73 c #conflict = 0
0.69/0.73 c #restart = 0
0.69/0.73 c BCD2: found a new core of size 1: cost of the new core is >=1
0.69/0.73 c lower bound updated to 40
0.69/0.73 c BCD2: 40 <= obj <= 130
0.69/0.73 c BCD2: #cores=26, #unrelaxed=55, #relaxed=201, #hardened=0
0.69/0.73 c BCD2: #sat=1 #unsat=41 bias=41/42
0.69/0.73 c Solving starts ...
0.69/0.73 c ============================[ Search Statistics ]============================
0.69/0.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.73 c | | | | Limit GC | Var | Constra
0.69/0.73 c =============================================================================
0.69/0.73 c 0.0s | 0 | 0 | 0 | 251 0 | 40 | 16
0.69/0.73 c 0.0s | 0 | 51 | 0 | 251 0 | 40 | 16
0.69/0.73 c #cpu_time = 0.001s
0.69/0.73 c #wall_clock_time = 0.001s
0.69/0.73 c #decision = 51
0.69/0.73 c #random_decision = 0
0.69/0.73 c #conflict = 0
0.69/0.73 c #restart = 0
0.69/0.73 c BCD2: found a new core of size 3: cost of the new core is >=1
0.69/0.73 c lower bound updated to 41
0.69/0.73 c BCD2: 41 <= obj <= 130
0.69/0.73 c BCD2: #cores=27, #unrelaxed=52, #relaxed=204, #hardened=0
0.69/0.73 c BCD2: #sat=1 #unsat=42 bias=42/43
0.69/0.73 c Solving starts ...
0.69/0.73 c ============================[ Search Statistics ]============================
0.69/0.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.73 c | | | | Limit GC | Var | Constra
0.69/0.73 c =============================================================================
0.69/0.73 c 0.0s | 0 | 0 | 0 | 251 0 | 40 | 16
0.69/0.73 c 0.0s | 0 | 51 | 0 | 251 0 | 40 | 16
0.69/0.73 c #cpu_time = 0.001s
0.69/0.73 c #wall_clock_time = 0.001s
0.69/0.73 c #decision = 51
0.69/0.73 c #random_decision = 0
0.69/0.73 c #conflict = 0
0.69/0.73 c #restart = 0
0.69/0.73 c BCD2: found a new core of size 11: cost of the new core is >=1
0.69/0.73 c lower bound updated to 42
0.69/0.73 c BCD2: 42 <= obj <= 130
0.69/0.73 c BCD2: #cores=28, #unrelaxed=41, #relaxed=215, #hardened=0
0.69/0.73 c BCD2: #sat=1 #unsat=43 bias=43/44
0.69/0.73 c Solving starts ...
0.69/0.73 c ============================[ Search Statistics ]============================
0.69/0.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.73 c | | | | Limit GC | Var | Constra
0.69/0.73 c =============================================================================
0.69/0.73 c 0.0s | 0 | 0 | 0 | 251 0 | 40 | 16
0.69/0.73 c 0.0s | 0 | 42 | 0 | 251 0 | 40 | 16
0.69/0.73 c #cpu_time = 0.001s
0.69/0.73 c #wall_clock_time = 0.001s
0.69/0.73 c #decision = 42
0.69/0.73 c #random_decision = 0
0.69/0.73 c #conflict = 0
0.69/0.73 c #restart = 0
0.69/0.73 c BCD2: found a new core of size 1: cost of the new core is >=1
0.69/0.73 c lower bound updated to 43
0.69/0.73 c BCD2: 43 <= obj <= 130
0.69/0.73 c BCD2: #cores=29, #unrelaxed=40, #relaxed=216, #hardened=0
0.69/0.73 c BCD2: #sat=1 #unsat=44 bias=44/45
0.69/0.73 c Solving starts ...
0.69/0.73 c ============================[ Search Statistics ]============================
0.69/0.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.73 c | | | | Limit GC | Var | Constra
0.69/0.73 c =============================================================================
0.69/0.73 c 0.0s | 0 | 0 | 0 | 251 0 | 40 | 16
0.69/0.74 c 0.0s | 0 | 43 | 0 | 251 0 | 40 | 16
0.69/0.74 c #cpu_time = 0.001s
0.69/0.74 c #wall_clock_time = 0.001s
0.69/0.74 c #decision = 43
0.69/0.74 c #random_decision = 0
0.69/0.74 c #conflict = 0
0.69/0.74 c #restart = 0
0.69/0.74 c BCD2: found a new core of size 1: cost of the new core is >=1
0.69/0.74 c lower bound updated to 44
0.69/0.74 c BCD2: 44 <= obj <= 130
0.69/0.74 c BCD2: #cores=30, #unrelaxed=39, #relaxed=217, #hardened=0
0.69/0.74 c BCD2: #sat=1 #unsat=45 bias=45/46
0.69/0.74 c Solving starts ...
0.69/0.74 c ============================[ Search Statistics ]============================
0.69/0.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.74 c | | | | Limit GC | Var | Constra
0.69/0.74 c =============================================================================
0.69/0.74 c 0.0s | 0 | 0 | 0 | 251 0 | 40 | 16
0.69/0.74 c 0.0s | 0 | 44 | 0 | 251 0 | 40 | 16
0.69/0.74 c #cpu_time = 0.001s
0.69/0.74 c #wall_clock_time = 0.001s
0.69/0.74 c #decision = 44
0.69/0.74 c #random_decision = 0
0.69/0.74 c #conflict = 0
0.69/0.74 c #restart = 0
0.69/0.74 c BCD2: found a new core of size 1: cost of the new core is >=1
0.69/0.74 c lower bound updated to 45
0.69/0.74 c BCD2: 45 <= obj <= 130
0.69/0.74 c BCD2: #cores=31, #unrelaxed=38, #relaxed=218, #hardened=0
0.69/0.74 c BCD2: #sat=1 #unsat=46 bias=46/47
0.69/0.74 c Solving starts ...
0.69/0.74 c ============================[ Search Statistics ]============================
0.69/0.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.74 c | | | | Limit GC | Var | Constra
0.69/0.74 c =============================================================================
0.69/0.74 c 0.0s | 0 | 0 | 0 | 251 0 | 40 | 16
0.69/0.74 c 0.0s | 0 | 46 | 1 | 251 0 | 40 | 16
0.69/0.74 c #cpu_time = 0.001s
0.69/0.74 c #wall_clock_time = 0.001s
0.69/0.74 c #decision = 46
0.69/0.74 c #random_decision = 0
0.69/0.74 c #conflict = 1
0.69/0.74 c #restart = 0
0.69/0.74 c BCD2: relaxing 3 and merging with 2 cores into a new core of size 20: cost of the new core is >=3
0.69/0.74 c lower bound updated to 46
0.69/0.74 c BCD2: 46 <= obj <= 130
0.69/0.74 c BCD2: #cores=30, #unrelaxed=35, #relaxed=221, #hardened=0
0.69/0.74 c BCD2: #sat=1 #unsat=47 bias=47/48
0.69/0.74 c Solving starts ...
0.69/0.74 c ============================[ Search Statistics ]============================
0.69/0.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.74 c | | | | Limit GC | Var | Constra
0.69/0.74 c =============================================================================
0.69/0.74 c 0.0s | 0 | 0 | 0 | 251 0 | 42 | 16
0.69/0.74 c 0.0s | 0 | 44 | 0 | 251 0 | 42 | 18
0.69/0.74 c #cpu_time = 0.001s
0.69/0.74 c #wall_clock_time = 0.001s
0.69/0.74 c #decision = 44
0.69/0.74 c #random_decision = 0
0.69/0.74 c #conflict = 0
0.69/0.74 c #restart = 0
0.69/0.74 c BCD2: found a new core of size 3: cost of the new core is >=1
0.69/0.74 c lower bound updated to 47
0.69/0.74 c BCD2: 47 <= obj <= 130
0.69/0.74 c BCD2: #cores=31, #unrelaxed=32, #relaxed=224, #hardened=0
0.69/0.74 c BCD2: #sat=1 #unsat=48 bias=48/49
0.69/0.74 c Solving starts ...
0.69/0.74 c ============================[ Search Statistics ]============================
0.69/0.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.74 c | | | | Limit GC | Var | Constra
0.69/0.74 c =============================================================================
0.69/0.74 c 0.0s | 0 | 0 | 0 | 251 0 | 42 | 18
0.69/0.74 c 0.0s | 0 | 45 | 1 | 251 0 | 42 | 18
0.69/0.74 c #cpu_time = 0.001s
0.69/0.74 c #wall_clock_time = 0.001s
0.69/0.74 c #decision = 45
0.69/0.74 c #random_decision = 0
0.69/0.74 c #conflict = 1
0.69/0.74 c #restart = 0
0.69/0.74 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2
0.69/0.74 c lower bound updated to 48
0.69/0.74 c BCD2: 48 <= obj <= 130
0.69/0.74 c BCD2: #cores=31, #unrelaxed=30, #relaxed=226, #hardened=0
0.69/0.74 c BCD2: #sat=1 #unsat=49 bias=49/50
0.69/0.74 c Solving starts ...
0.69/0.74 c ============================[ Search Statistics ]============================
0.69/0.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.74 c | | | | Limit GC | Var | Constra
0.69/0.74 c =============================================================================
0.69/0.74 c 0.0s | 0 | 0 | 0 | 251 0 | 43 | 18
0.69/0.75 c 0.0s | 0 | 45 | 1 | 251 0 | 43 | 19
0.69/0.75 c #cpu_time = 0.001s
0.69/0.75 c #wall_clock_time = 0.001s
0.69/0.75 c #decision = 45
0.69/0.75 c #random_decision = 0
0.69/0.75 c #conflict = 1
0.69/0.75 c #restart = 0
0.69/0.75 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 7: cost of the new core is >=3
0.69/0.75 c lower bound updated to 49
0.69/0.75 c BCD2: 49 <= obj <= 130
0.69/0.75 c BCD2: #cores=31, #unrelaxed=28, #relaxed=228, #hardened=0
0.69/0.75 c BCD2: #sat=1 #unsat=50 bias=50/51
0.69/0.75 c Solving starts ...
0.69/0.75 c ============================[ Search Statistics ]============================
0.69/0.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.75 c | | | | Limit GC | Var | Constra
0.69/0.75 c =============================================================================
0.69/0.75 c 0.0s | 0 | 0 | 0 | 251 0 | 44 | 19
0.69/0.75 c 0.0s | 0 | 45 | 1 | 251 0 | 44 | 20
0.69/0.75 c #cpu_time = 0.001s
0.69/0.75 c #wall_clock_time = 0.001s
0.69/0.75 c #decision = 45
0.69/0.75 c #random_decision = 0
0.69/0.75 c #conflict = 1
0.69/0.75 c #restart = 0
0.69/0.75 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 9: cost of the new core is >=4
0.69/0.75 c lower bound updated to 50
0.69/0.75 c BCD2: 50 <= obj <= 130
0.69/0.75 c BCD2: #cores=31, #unrelaxed=26, #relaxed=230, #hardened=0
0.69/0.75 c BCD2: #sat=1 #unsat=51 bias=51/52
0.69/0.75 c Solving starts ...
0.69/0.75 c ============================[ Search Statistics ]============================
0.69/0.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.75 c | | | | Limit GC | Var | Constra
0.69/0.75 c =============================================================================
0.69/0.75 c 0.0s | 0 | 0 | 0 | 251 0 | 45 | 20
0.69/0.75 c 0.0s | 0 | 43 | 0 | 251 0 | 45 | 21
0.69/0.75 c #cpu_time = 0.001s
0.69/0.75 c #wall_clock_time = 0.001s
0.69/0.75 c #decision = 43
0.69/0.75 c #random_decision = 0
0.69/0.75 c #conflict = 0
0.69/0.75 c #restart = 0
0.69/0.75 c BCD2: found a new core of size 1: cost of the new core is >=1
0.69/0.75 c lower bound updated to 51
0.69/0.75 c BCD2: 51 <= obj <= 130
0.69/0.75 c BCD2: #cores=32, #unrelaxed=25, #relaxed=231, #hardened=0
0.69/0.75 c BCD2: #sat=1 #unsat=52 bias=52/53
0.69/0.75 c Solving starts ...
0.69/0.75 c ============================[ Search Statistics ]============================
0.69/0.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.75 c | | | | Limit GC | Var | Constra
0.69/0.75 c =============================================================================
0.69/0.75 c 0.0s | 0 | 0 | 0 | 251 0 | 45 | 21
0.69/0.76 c 0.0s | 0 | 179 | 47 | 251 0 | 46 | 22
0.69/0.76 c #cpu_time = 0.006s
0.69/0.76 c #wall_clock_time = 0.006s
0.69/0.76 c #decision = 179
0.69/0.76 c #random_decision = 0
0.69/0.76 c #conflict = 47
0.69/0.76 c #restart = 0
0.69/0.76 c BCD2: updating lower bound of a core
0.69/0.76 c lower bound updated to 54
0.69/0.76 c BCD2: 54 <= obj <= 130
0.69/0.76 c BCD2: #cores=32, #unrelaxed=25, #relaxed=231, #hardened=0
0.69/0.76 c BCD2: #sat=1 #unsat=53 bias=53/54
0.69/0.76 c Solving starts ...
0.69/0.76 c ============================[ Search Statistics ]============================
0.69/0.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.76 c | | | | Limit GC | Var | Constra
0.69/0.76 c =============================================================================
0.69/0.76 c 0.0s | 0 | 0 | 0 | 251 0 | 46 | 23
0.69/0.76 c 0.0s | 1 | 216 | 100 | 277 0 | 46 | 23
0.69/0.77 c 0.0s | 2 | 482 | 250 | 277 1 | 46 | 23
0.69/0.78 c 0.0s | 2 | 715 | 413 | 277 2 | 46 | 23
0.69/0.78 c #cpu_time = 0.027s
0.69/0.78 c #wall_clock_time = 0.027s
0.69/0.78 c #decision = 715
0.69/0.78 c #random_decision = 2
0.69/0.78 c #conflict = 413
0.69/0.78 c #restart = 2
0.69/0.78 c BCD2: relaxing 3 and merging with 3 cores into a new core of size 39: cost of the new core is >=8
0.69/0.78 c lower bound updated to 55
0.69/0.78 c BCD2: 55 <= obj <= 130
0.69/0.78 c BCD2: #cores=30, #unrelaxed=22, #relaxed=234, #hardened=0
0.69/0.78 c BCD2: #sat=1 #unsat=54 bias=54/55
0.69/0.78 c Solving starts ...
0.69/0.78 c ============================[ Search Statistics ]============================
0.69/0.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.78 c | | | | Limit GC | Var | Constra
0.69/0.78 c =============================================================================
0.69/0.79 c 0.0s | 0 | 0 | 0 | 277 0 | 49 | 23
0.69/0.79 c 0.0s | 0 | 117 | 37 | 277 0 | 49 | 26
0.69/0.79 c #cpu_time = 0.004s
0.69/0.79 c #wall_clock_time = 0.004s
0.69/0.79 c #decision = 117
0.69/0.79 c #random_decision = 0
0.69/0.79 c #conflict = 37
0.69/0.79 c #restart = 0
0.69/0.79 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 12: cost of the new core is >=2
0.69/0.79 c lower bound updated to 56
0.69/0.79 c BCD2: 56 <= obj <= 130
0.69/0.79 c BCD2: #cores=30, #unrelaxed=20, #relaxed=236, #hardened=0
0.69/0.79 c BCD2: #sat=1 #unsat=55 bias=55/56
0.69/0.79 c Solving starts ...
0.69/0.79 c ============================[ Search Statistics ]============================
0.69/0.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.79 c | | | | Limit GC | Var | Constra
0.69/0.79 c =============================================================================
0.69/0.79 c 0.0s | 0 | 0 | 0 | 277 0 | 50 | 26
0.79/0.80 c 0.0s | 1 | 205 | 100 | 277 0 | 50 | 27
0.79/0.81 c 0.0s | 2 | 439 | 250 | 277 0 | 50 | 27
0.79/0.84 c 0.0s | 3 | 859 | 475 | 277 2 | 50 | 27
0.79/0.88 c 0.1s | 4 | 1329 | 813 | 277 3 | 50 | 27
0.89/0.93 c 0.1s | 5 | 1955 | 1320 | 305 6 | 50 | 27
0.99/1.03 c 0.2s | 6 | 2825 | 2081 | 305 10 | 50 | 27
1.09/1.14 c 0.4s | 7 | 4364 | 3223 | 305 15 | 50 | 27
1.19/1.29 c 0.5s | 8 | 6437 | 4936 | 336 23 | 50 | 27
1.49/1.53 c 0.7s | 9 | 9221 | 7506 | 336 35 | 50 | 27
1.79/1.89 c 1.1s | 10 | 13271 | 11361 | 370 51 | 50 | 27
2.29/2.36 c 1.6s | 10 | 19074 | 16125 | 408 70 | 50 | 27
2.29/2.36 c #cpu_time = 1.565s
2.29/2.36 c #wall_clock_time = 1.569s
2.29/2.36 c #decision = 19074
2.29/2.36 c #random_decision = 90
2.29/2.36 c #conflict = 16125
2.29/2.36 c #restart = 10
2.29/2.36 c BCD2: relaxing 7 and merging with 11 cores into a new core of size 132: cost of the new core is >=28
2.29/2.36 c lower bound updated to 57
2.29/2.36 c BCD2: 57 <= obj <= 130
2.29/2.36 c BCD2: #cores=20, #unrelaxed=13, #relaxed=243, #hardened=0
2.29/2.36 c BCD2: #sat=1 #unsat=56 bias=56/57
2.29/2.36 c Solving starts ...
2.29/2.36 c ============================[ Search Statistics ]============================
2.29/2.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.29/2.36 c | | | | Limit GC | Var | Constra
2.29/2.36 c =============================================================================
2.29/2.36 c 0.0s | 0 | 0 | 0 | 408 0 | 61 | 27
2.29/2.37 c 0.0s | 1 | 167 | 100 | 408 0 | 61 | 38
2.39/2.40 c 0.0s | 2 | 479 | 250 | 408 0 | 61 | 38
2.39/2.43 c 0.1s | 3 | 819 | 475 | 408 0 | 61 | 38
2.39/2.49 c 0.1s | 4 | 1349 | 813 | 408 2 | 61 | 38
2.49/2.55 c 0.2s | 5 | 2021 | 1320 | 408 4 | 61 | 38
2.59/2.69 c 0.3s | 6 | 3035 | 2081 | 408 6 | 61 | 38
2.79/2.85 c 0.5s | 7 | 4420 | 3223 | 408 10 | 61 | 38
2.99/3.06 c 0.6s | 8 | 6334 | 4936 | 408 17 | 61 | 38
3.09/3.13 c 0.8s | 9 | 9200 | 7506 | 449 26 | 61 | 38
3.40/3.48 c 1.1s | 10 | 13428 | 11361 | 449 40 | 61 | 38
4.19/4.28 c 1.9s | 11 | 20385 | 17144 | 449 59 | 61 | 38
5.60/5.68 c 3.3s | 12 | 30584 | 25819 | 494 86 | 61 | 38
7.59/7.60 c 5.2s | 13 | 45714 | 38832 | 544 127 | 61 | 38
9.59/9.60 c 7.2s | 13 | 57800 | 49132 | 544 156 | 61 | 38
11.39/11.46 c 9.1s | 14 | 68346 | 58352 | 544 182 | 61 | 38
13.39/13.46 c 11.1s | 14 | 87191 | 75052 | 599 229 | 61 | 38
15.40/15.47 c 13.1s | 14 | 102379 | 87552 | 599 264 | 61 | 38
15.40/15.49 c 13.1s | 15 | 102470 | 87632 | 599 264 | 61 | 38
17.39/17.49 c 15.1s | 15 | 113191 | 96932 | 599 288 | 61 | 38
19.49/19.50 c 17.1s | 15 | 124084 | 106132 | 599 312 | 61 | 38
21.49/21.51 c 19.1s | 15 | 133362 | 114332 | 659 332 | 61 | 38
23.49/23.52 c 21.2s | 15 | 142758 | 122632 | 659 352 | 61 | 38
25.49/25.53 c 23.2s | 15 | 152259 | 131132 | 659 373 | 61 | 38
25.59/25.63 c 23.3s | 16 | 152734 | 131552 | 659 374 | 61 | 38
27.59/27.64 c 25.3s | 16 | 168004 | 144952 | 659 407 | 61 | 38
29.58/29.65 c 27.3s | 16 | 183700 | 159352 | 659 443 | 61 | 38
31.58/31.65 c 29.3s | 16 | 199150 | 173152 | 659 477 | 61 | 38
33.58/33.66 c 31.3s | 16 | 214719 | 187252 | 725 510 | 61 | 38
35.18/35.24 c 32.9s | 17 | 226324 | 197432 | 725 533 | 61 | 38
37.18/37.26 c 34.9s | 17 | 236312 | 206032 | 725 552 | 61 | 38
39.18/39.26 c 36.9s | 17 | 245988 | 214532 | 725 571 | 61 | 38
41.18/41.27 c 38.9s | 17 | 255796 | 222932 | 725 589 | 61 | 38
43.19/43.27 c 40.9s | 17 | 265910 | 231632 | 725 608 | 61 | 38
45.19/45.28 c 42.9s | 17 | 276394 | 240532 | 725 628 | 61 | 38
47.18/47.28 c 44.9s | 17 | 286786 | 249432 | 725 648 | 61 | 38
49.18/49.29 c 46.9s | 17 | 296479 | 257932 | 725 667 | 61 | 38
51.18/51.29 c 48.9s | 17 | 306718 | 266632 | 725 686 | 61 | 38
53.28/53.30 c 50.9s | 17 | 316851 | 275232 | 798 705 | 61 | 38
55.28/55.31 c 53.0s | 17 | 325484 | 282832 | 798 721 | 61 | 38
57.28/57.33 c 55.0s | 17 | 335711 | 291432 | 798 738 | 61 | 38
58.38/58.48 c 56.1s | 18 | 341300 | 296252 | 798 748 | 61 | 38
60.37/60.48 c 58.1s | 18 | 354094 | 307052 | 798 771 | 61 | 38
62.47/62.50 c 60.1s | 18 | 366022 | 316952 | 798 792 | 61 | 38
64.47/64.52 c 62.2s | 18 | 376117 | 325652 | 798 809 | 61 | 38
66.47/66.53 c 64.2s | 18 | 386574 | 334652 | 798 828 | 61 | 38
68.47/68.55 c 66.2s | 18 | 396166 | 342952 | 798 845 | 61 | 38
70.47/70.57 c 68.2s | 18 | 407206 | 352252 | 798 864 | 61 | 38
72.47/72.57 c 70.2s | 18 | 417004 | 360752 | 798 882 | 61 | 38
74.47/74.58 c 72.2s | 18 | 426844 | 369152 | 798 899 | 61 | 38
76.46/76.58 c 74.2s | 18 | 436266 | 377452 | 798 916 | 61 | 38
78.56/78.60 c 76.2s | 18 | 445540 | 385752 | 798 933 | 61 | 38
80.56/80.61 c 78.2s | 18 | 455317 | 394252 | 798 950 | 61 | 38
82.57/82.61 c 80.3s | 18 | 465325 | 402952 | 798 968 | 61 | 38
84.56/84.63 c 82.3s | 18 | 474558 | 411052 | 798 984 | 61 | 38
86.56/86.63 c 84.3s | 18 | 483256 | 418752 | 798 1000 | 61 | 38
88.56/88.65 c 86.3s | 18 | 492708 | 426952 | 878 1016 | 61 | 38
90.56/90.67 c 88.3s | 18 | 503485 | 435952 | 878 1033 | 61 | 38
92.55/92.68 c 90.3s | 18 | 513318 | 444452 | 878 1048 | 61 | 38
92.55/92.70 c 90.3s | 19 | 513358 | 444482 | 878 1049 | 61 | 38
94.66/94.70 c 92.3s | 19 | 524518 | 454182 | 878 1067 | 61 | 38
96.65/96.72 c 94.4s | 19 | 536815 | 465082 | 878 1087 | 61 | 38
98.66/98.73 c 96.4s | 19 | 549015 | 475882 | 878 1108 | 61 | 38
100.66/100.74 c 98.4s | 19 | 559069 | 484582 | 878 1125 | 61 | 38
102.66/102.76 c 100s | 19 | 568656 | 493082 | 878 1141 | 61 | 38
104.66/104.77 c 102s | 19 | 577676 | 500982 | 878 1155 | 61 | 38
106.66/106.79 c 104s | 19 | 586391 | 508682 | 878 1170 | 61 | 38
108.75/108.81 c 106s | 19 | 597089 | 517982 | 878 1187 | 61 | 38
110.75/110.82 c 108s | 19 | 606924 | 526482 | 878 1203 | 61 | 38
112.75/112.83 c 110s | 19 | 616468 | 534582 | 878 1219 | 61 | 38
114.75/114.83 c 112s | 19 | 629770 | 546582 | 878 1242 | 61 | 38
116.75/116.84 c 114s | 19 | 643924 | 558982 | 878 1266 | 61 | 38
118.75/118.86 c 116s | 19 | 653673 | 567382 | 878 1281 | 61 | 38
120.74/120.86 c 118s | 19 | 665356 | 577682 | 878 1301 | 61 | 38
122.74/122.87 c 120s | 19 | 677572 | 588382 | 878 1321 | 61 | 38
124.74/124.87 c 122s | 19 | 690369 | 599682 | 878 1343 | 61 | 38
126.74/126.89 c 124s | 19 | 701939 | 609882 | 878 1362 | 61 | 38
128.84/128.91 c 126s | 19 | 712693 | 619082 | 878 1380 | 61 | 38
130.84/130.91 c 128s | 19 | 723133 | 628182 | 878 1397 | 61 | 38
132.84/132.92 c 130s | 19 | 732825 | 636482 | 878 1413 | 61 | 38
134.84/134.92 c 132s | 19 | 741676 | 644082 | 966 1427 | 61 | 38
136.83/136.94 c 134s | 19 | 750812 | 651982 | 966 1441 | 61 | 38
138.83/138.94 c 136s | 19 | 761209 | 660882 | 966 1457 | 61 | 38
140.23/140.36 c 137s | 20 | 768218 | 666827 | 966 1468 | 61 | 38
142.23/142.36 c 139s | 20 | 777328 | 674527 | 966 1481 | 61 | 38
144.23/144.38 c 142s | 20 | 786840 | 682627 | 966 1496 | 61 | 38
146.24/146.40 c 144s | 20 | 796356 | 690627 | 966 1510 | 61 | 38
148.33/148.40 c 146s | 20 | 805351 | 698327 | 966 1523 | 61 | 38
150.33/150.42 c 148s | 20 | 814185 | 705927 | 966 1537 | 61 | 38
152.33/152.43 c 150s | 20 | 823416 | 713727 | 966 1550 | 61 | 38
154.33/154.47 c 152s | 20 | 832007 | 721227 | 966 1564 | 61 | 38
156.33/156.48 c 154s | 20 | 841032 | 728927 | 966 1577 | 61 | 38
158.34/158.50 c 156s | 20 | 849850 | 736527 | 966 1591 | 61 | 38
160.43/160.50 c 158s | 20 | 858760 | 744227 | 966 1605 | 61 | 38
162.43/162.51 c 160s | 20 | 867838 | 751927 | 966 1618 | 61 | 38
164.43/164.52 c 162s | 20 | 876901 | 759627 | 966 1632 | 61 | 38
166.43/166.53 c 164s | 20 | 885573 | 767227 | 966 1645 | 61 | 38
168.43/168.54 c 166s | 20 | 894246 | 774927 | 966 1659 | 61 | 38
170.43/170.55 c 168s | 20 | 903611 | 782827 | 966 1673 | 61 | 38
172.42/172.55 c 170s | 20 | 912507 | 790527 | 966 1687 | 61 | 38
174.42/174.57 c 172s | 20 | 921025 | 797927 | 966 1700 | 61 | 38
176.42/176.57 c 174s | 20 | 929647 | 805227 | 966 1713 | 61 | 38
178.42/178.59 c 176s | 20 | 938389 | 812527 | 966 1726 | 61 | 38
180.52/180.60 c 178s | 20 | 947385 | 820027 | 966 1739 | 61 | 38
182.53/182.61 c 180s | 20 | 955899 | 827327 | 966 1752 | 61 | 38
184.52/184.63 c 182s | 20 | 965227 | 835227 | 966 1767 | 61 | 38
186.51/186.65 c 184s | 20 | 974614 | 842927 | 966 1780 | 61 | 38
188.51/188.67 c 186s | 20 | 982862 | 850227 | 966 1794 | 61 | 38
190.51/190.68 c 188s | 20 | 991757 | 857927 | 966 1807 | 61 | 38
192.52/192.69 c 190s | 20 | 1001018 | 865827 | 966 1821 | 61 | 38
194.51/194.70 c 192s | 20 | 1009898 | 873527 | 966 1835 | 61 | 38
196.61/196.70 c 194s | 20 | 1018418 | 881027 | 966 1849 | 61 | 38
198.61/198.70 c 196s | 20 | 1027235 | 888627 | 966 1862 | 61 | 38
200.61/200.71 c 198s | 20 | 1035760 | 896027 | 966 1876 | 61 | 38
202.61/202.71 c 200s | 20 | 1044257 | 903327 | 966 1889 | 61 | 38
204.62/204.72 c 202s | 20 | 1052412 | 910527 | 966 1901 | 61 | 38
206.60/206.73 c 204s | 20 | 1061392 | 918227 | 966 1915 | 61 | 38
208.60/208.74 c 206s | 20 | 1070315 | 925727 | 966 1928 | 61 | 38
210.60/210.74 c 208s | 20 | 1078950 | 933127 | 966 1942 | 61 | 38
212.60/212.77 c 210s | 20 | 1087957 | 940927 | 966 1956 | 61 | 38
214.60/214.78 c 212s | 20 | 1096433 | 948327 | 966 1969 | 61 | 38
216.60/216.78 c 214s | 20 | 1105176 | 955827 | 966 1982 | 61 | 38
218.69/218.80 c 216s | 20 | 1113510 | 963027 | 966 1995 | 61 | 38
220.69/220.81 c 218s | 20 | 1122978 | 971127 | 966 2009 | 61 | 38
222.69/222.82 c 220s | 20 | 1132038 | 978927 | 1063 2022 | 61 | 38
224.69/224.84 c 222s | 20 | 1140970 | 986627 | 1063 2035 | 61 | 38
226.69/226.85 c 224s | 20 | 1149638 | 994127 | 1063 2047 | 61 | 38
228.39/228.56 c 226s | 21 | 1156687 | 1000345 | 1063 2057 | 61 | 38
230.39/230.56 c 228s | 21 | 1167544 | 1009445 | 1063 2072 | 61 | 38
232.39/232.58 c 230s | 21 | 1178044 | 1018045 | 1063 2087 | 61 | 38
234.39/234.58 c 232s | 21 | 1189160 | 1027145 | 1063 2101 | 61 | 38
236.39/236.59 c 234s | 21 | 1199197 | 1035445 | 1063 2115 | 61 | 38
238.48/238.60 c 236s | 21 | 1209986 | 1044445 | 1063 2130 | 61 | 38
240.48/240.61 c 238s | 21 | 1220624 | 1053345 | 1063 2145 | 61 | 38
242.48/242.63 c 240s | 21 | 1230258 | 1061245 | 1063 2158 | 61 | 38
244.48/244.64 c 242s | 21 | 1240332 | 1069645 | 1063 2172 | 61 | 38
246.48/246.67 c 244s | 21 | 1249522 | 1077445 | 1063 2184 | 61 | 38
248.49/248.67 c 246s | 21 | 1259314 | 1085545 | 1063 2198 | 61 | 38
250.48/250.68 c 248s | 21 | 1268770 | 1093245 | 1063 2210 | 61 | 38
252.48/252.69 c 250s | 21 | 1278645 | 1101545 | 1063 2224 | 61 | 38
254.48/254.69 c 252s | 21 | 1288375 | 1109745 | 1063 2237 | 61 | 38
256.47/256.69 c 254s | 21 | 1298540 | 1118145 | 1063 2251 | 61 | 38
258.48/258.70 c 256s | 21 | 1307447 | 1125645 | 1063 2263 | 61 | 38
260.58/260.71 c 258s | 21 | 1315648 | 1132445 | 1063 2275 | 61 | 38
262.57/262.71 c 260s | 21 | 1324087 | 1139645 | 1063 2287 | 61 | 38
264.57/264.73 c 262s | 21 | 1333804 | 1147645 | 1063 2300 | 61 | 38
266.57/266.74 c 264s | 21 | 1343633 | 1155845 | 1063 2313 | 61 | 38
268.57/268.77 c 266s | 21 | 1354029 | 1164545 | 1063 2328 | 61 | 38
270.58/270.77 c 268s | 21 | 1363585 | 1172645 | 1063 2341 | 61 | 38
272.57/272.79 c 270s | 21 | 1373328 | 1180745 | 1063 2354 | 61 | 38
274.67/274.80 c 272s | 21 | 1383750 | 1189545 | 1063 2369 | 61 | 38
276.67/276.81 c 274s | 21 | 1394434 | 1198245 | 1063 2383 | 61 | 38
278.67/278.82 c 276s | 21 | 1405398 | 1207145 | 1063 2398 | 61 | 38
280.67/280.83 c 278s | 21 | 1415037 | 1215245 | 1063 2411 | 61 | 38
282.67/282.84 c 280s | 21 | 1424533 | 1223345 | 1063 2425 | 61 | 38
284.66/284.87 c 282s | 21 | 1432991 | 1230445 | 1063 2436 | 61 | 38
286.67/286.89 c 284s | 21 | 1441844 | 1237845 | 1063 2449 | 61 | 38
288.77/288.90 c 286s | 21 | 1449994 | 1244645 | 1063 2460 | 61 | 38
290.77/290.91 c 288s | 21 | 1458803 | 1251945 | 1063 2472 | 61 | 38
292.77/292.91 c 290s | 21 | 1467697 | 1259445 | 1063 2484 | 61 | 38
294.77/294.92 c 292s | 21 | 1477346 | 1267645 | 1063 2498 | 61 | 38
296.76/296.94 c 294s | 21 | 1488451 | 1276845 | 1063 2513 | 61 | 38
298.76/298.96 c 296s | 21 | 1498293 | 1284745 | 1063 2526 | 61 | 38
300.76/300.97 c 298s | 21 | 1507546 | 1292545 | 1063 2539 | 61 | 38
302.86/303.00 c 300s | 21 | 1517198 | 1300645 | 1063 2552 | 61 | 38
304.86/305.01 c 302s | 21 | 1526703 | 1308745 | 1063 2566 | 61 | 38
306.86/307.02 c 304s | 21 | 1536313 | 1316745 | 1063 2579 | 61 | 38
308.86/309.04 c 306s | 21 | 1545496 | 1324445 | 1063 2592 | 61 | 38
310.86/311.05 c 308s | 21 | 1554248 | 1331845 | 1063 2604 | 61 | 38
312.86/313.07 c 310s | 21 | 1563133 | 1339445 | 1063 2616 | 61 | 38
314.86/315.07 c 312s | 21 | 1571337 | 1346545 | 1063 2628 | 61 | 38
316.85/317.08 c 314s | 21 | 1579470 | 1353545 | 1063 2639 | 61 | 38
318.86/319.10 c 316s | 21 | 1587842 | 1360845 | 1063 2651 | 61 | 38
320.95/321.12 c 318s | 21 | 1595824 | 1367845 | 1063 2663 | 61 | 38
322.95/323.12 c 320s | 21 | 1604209 | 1375145 | 1063 2675 | 61 | 38
324.95/325.13 c 322s | 21 | 1612891 | 1382645 | 1063 2687 | 61 | 38
326.95/327.14 c 324s | 21 | 1621330 | 1389945 | 1063 2699 | 61 | 38
328.95/329.15 c 326s | 21 | 1630678 | 1397945 | 1063 2712 | 61 | 38
330.95/331.16 c 328s | 21 | 1639956 | 1405945 | 1063 2725 | 61 | 38
332.95/333.16 c 330s | 21 | 1648937 | 1413545 | 1063 2738 | 61 | 38
334.95/335.16 c 332s | 21 | 1658071 | 1421145 | 1063 2750 | 61 | 38
336.94/337.17 c 334s | 21 | 1669038 | 1430145 | 1063 2765 | 61 | 38
338.94/339.18 c 336s | 21 | 1681008 | 1439945 | 1063 2782 | 61 | 38
340.95/341.19 c 338s | 21 | 1692078 | 1449045 | 1063 2797 | 61 | 38
342.94/343.20 c 340s | 21 | 1702441 | 1457745 | 1063 2812 | 61 | 38
345.04/345.21 c 342s | 21 | 1711715 | 1465745 | 1063 2825 | 61 | 38
347.04/347.23 c 344s | 21 | 1721875 | 1474245 | 1170 2839 | 61 | 38
349.04/349.23 c 346s | 21 | 1731726 | 1482445 | 1170 2851 | 61 | 38
351.04/351.24 c 348s | 21 | 1742315 | 1490945 | 1170 2864 | 61 | 38
353.04/353.25 c 350s | 21 | 1752853 | 1499545 | 1170 2877 | 61 | 38
353.33/353.51 c 351s | 22 | 1754161 | 1500622 | 1170 2879 | 61 | 38
355.33/355.53 c 353s | 22 | 1764927 | 1509322 | 1170 2892 | 61 | 38
357.34/357.54 c 355s | 22 | 1774618 | 1517222 | 1170 2904 | 61 | 38
359.33/359.54 c 357s | 22 | 1784123 | 1524922 | 1170 2916 | 61 | 38
361.33/361.56 c 359s | 22 | 1795226 | 1533922 | 1170 2929 | 61 | 38
363.33/363.57 c 361s | 22 | 1808090 | 1544022 | 1170 2945 | 61 | 38
365.32/365.58 c 363s | 22 | 1819323 | 1553522 | 1170 2959 | 61 | 38
367.42/367.60 c 365s | 22 | 1831063 | 1563022 | 1170 2974 | 61 | 38
369.43/369.62 c 367s | 22 | 1841180 | 1571622 | 1170 2987 | 61 | 38
371.42/371.64 c 369s | 22 | 1850861 | 1579722 | 1170 2999 | 61 | 38
373.42/373.66 c 371s | 22 | 1860687 | 1587822 | 1170 3011 | 61 | 38
375.42/375.68 c 373s | 22 | 1870242 | 1595622 | 1170 3023 | 61 | 38
377.52/377.70 c 375s | 22 | 1879489 | 1603322 | 1170 3035 | 61 | 38
379.51/379.70 c 377s | 22 | 1889003 | 1611222 | 1170 3047 | 61 | 38
381.52/381.72 c 379s | 22 | 1898377 | 1619222 | 1170 3059 | 61 | 38
383.52/383.73 c 381s | 22 | 1907014 | 1626722 | 1170 3071 | 61 | 38
385.51/385.73 c 383s | 22 | 1915704 | 1634122 | 1170 3082 | 61 | 38
387.51/387.74 c 385s | 22 | 1925147 | 1642022 | 1170 3094 | 61 | 38
389.51/389.76 c 387s | 22 | 1934950 | 1650322 | 1170 3106 | 61 | 38
391.52/391.77 c 389s | 22 | 1944791 | 1658722 | 1170 3119 | 61 | 38
393.51/393.78 c 391s | 22 | 1954029 | 1666822 | 1170 3131 | 61 | 38
395.61/395.80 c 393s | 22 | 1963474 | 1674722 | 1170 3143 | 61 | 38
397.61/397.81 c 395s | 22 | 1973090 | 1682922 | 1170 3155 | 61 | 38
399.61/399.82 c 397s | 22 | 1983211 | 1691222 | 1170 3168 | 61 | 38
401.61/401.84 c 399s | 22 | 1992973 | 1699422 | 1170 3180 | 61 | 38
403.61/403.84 c 401s | 22 | 2002718 | 1707622 | 1170 3193 | 61 | 38
405.60/405.86 c 403s | 22 | 2011764 | 1715422 | 1170 3205 | 61 | 38
407.60/407.87 c 405s | 22 | 2020295 | 1722822 | 1170 3216 | 61 | 38
409.60/409.88 c 407s | 22 | 2028458 | 1730122 | 1170 3228 | 61 | 38
411.60/411.90 c 409s | 22 | 2036097 | 1736922 | 1170 3238 | 61 | 38
413.70/413.90 c 411s | 22 | 2042868 | 1743022 | 1170 3247 | 61 | 38
415.70/415.91 c 413s | 22 | 2051359 | 1750122 | 1170 3258 | 61 | 38
417.70/417.92 c 415s | 22 | 2059976 | 1757522 | 1170 3269 | 61 | 38
419.70/419.92 c 417s | 22 | 2069013 | 1765222 | 1170 3281 | 61 | 38
421.69/421.95 c 419s | 22 | 2076992 | 1772222 | 1170 3292 | 61 | 38
423.69/423.96 c 421s | 22 | 2084719 | 1779022 | 1170 3302 | 61 | 38
425.69/425.96 c 423s | 22 | 2093917 | 1786922 | 1170 3314 | 61 | 38
427.70/427.97 c 425s | 22 | 2102737 | 1794522 | 1170 3326 | 61 | 38
429.69/429.99 c 427s | 22 | 2110957 | 1801522 | 1170 3336 | 61 | 38
431.79/432.01 c 429s | 22 | 2118538 | 1808122 | 1170 3347 | 61 | 38
433.79/434.03 c 431s | 22 | 2126468 | 1815122 | 1170 3358 | 61 | 38
435.79/436.04 c 433s | 22 | 2134388 | 1822022 | 1170 3368 | 61 | 38
437.79/438.06 c 435s | 22 | 2142395 | 1828922 | 1170 3379 | 61 | 38
439.79/440.06 c 437s | 22 | 2150279 | 1835722 | 1170 3389 | 61 | 38
441.78/442.06 c 439s | 22 | 2158127 | 1842522 | 1170 3399 | 61 | 38
443.78/444.07 c 441s | 22 | 2165548 | 1849022 | 1170 3409 | 61 | 38
445.78/446.08 c 443s | 22 | 2173133 | 1855622 | 1170 3419 | 61 | 38
447.88/448.10 c 445s | 22 | 2180718 | 1862122 | 1170 3429 | 61 | 38
449.88/450.10 c 447s | 22 | 2188301 | 1868622 | 1170 3439 | 61 | 38
451.89/452.12 c 449s | 22 | 2196365 | 1875322 | 1170 3449 | 61 | 38
453.88/454.12 c 451s | 22 | 2203815 | 1881822 | 1170 3460 | 61 | 38
455.88/456.14 c 453s | 22 | 2212048 | 1888822 | 1170 3470 | 61 | 38
457.88/458.15 c 455s | 22 | 2220359 | 1896022 | 1170 3481 | 61 | 38
459.88/460.16 c 457s | 22 | 2230856 | 1904722 | 1170 3494 | 61 | 38
461.88/462.18 c 459s | 22 | 2239592 | 1912322 | 1170 3506 | 61 | 38
463.87/464.19 c 461s | 22 | 2248744 | 1920222 | 1170 3517 | 61 | 38
465.87/466.19 c 463s | 22 | 2258503 | 1928722 | 1170 3530 | 61 | 38
467.97/468.21 c 465s | 22 | 2268319 | 1937122 | 1170 3543 | 61 | 38
469.97/470.21 c 467s | 22 | 2278841 | 1946222 | 1170 3557 | 61 | 38
471.97/472.23 c 469s | 22 | 2288278 | 1954222 | 1170 3569 | 61 | 38
473.99/474.24 c 471s | 22 | 2296866 | 1961722 | 1170 3580 | 61 | 38
475.98/476.24 c 473s | 22 | 2307116 | 1970422 | 1170 3594 | 61 | 38
477.98/478.25 c 475s | 22 | 2315979 | 1978222 | 1170 3606 | 61 | 38
479.98/480.26 c 477s | 22 | 2324889 | 1986122 | 1170 3618 | 61 | 38
481.97/482.26 c 479s | 22 | 2334475 | 1994122 | 1170 3630 | 61 | 38
483.97/484.28 c 481s | 22 | 2342980 | 2001422 | 1170 3641 | 61 | 38
485.98/486.29 c 483s | 22 | 2351990 | 2009122 | 1170 3653 | 61 | 38
487.97/488.29 c 485s | 22 | 2360125 | 2016122 | 1170 3664 | 61 | 38
489.97/490.29 c 487s | 22 | 2368200 | 2023022 | 1170 3675 | 61 | 38
492.07/492.32 c 489s | 22 | 2376425 | 2030122 | 1170 3685 | 61 | 38
494.07/494.34 c 491s | 22 | 2385240 | 2037522 | 1170 3697 | 61 | 38
496.06/496.35 c 493s | 22 | 2393897 | 2044722 | 1170 3708 | 61 | 38
498.07/498.36 c 496s | 22 | 2403201 | 2052622 | 1170 3720 | 61 | 38
500.06/500.39 c 498s | 22 | 2411911 | 2060122 | 1170 3732 | 61 | 38
502.16/502.40 c 500s | 22 | 2420466 | 2067622 | 1170 3743 | 61 | 38
504.16/504.42 c 502s | 22 | 2429506 | 2075422 | 1170 3755 | 61 | 38
506.16/506.43 c 504s | 22 | 2438694 | 2083122 | 1170 3767 | 61 | 38
508.16/508.45 c 506s | 22 | 2447491 | 2090722 | 1170 3779 | 61 | 38
510.17/510.45 c 508s | 22 | 2457770 | 2099422 | 1170 3792 | 61 | 38
512.16/512.46 c 510s | 22 | 2467616 | 2107522 | 1170 3804 | 61 | 38
514.16/514.48 c 512s | 22 | 2476675 | 2115222 | 1170 3816 | 61 | 38
516.15/516.49 c 514s | 22 | 2485169 | 2122722 | 1170 3828 | 61 | 38
518.25/518.50 c 516s | 22 | 2493705 | 2130122 | 1170 3839 | 61 | 38
520.25/520.50 c 518s | 22 | 2502456 | 2137722 | 1170 3851 | 61 | 38
522.26/522.52 c 520s | 22 | 2512376 | 2146422 | 1170 3864 | 61 | 38
524.25/524.53 c 522s | 22 | 2522747 | 2155622 | 1170 3878 | 61 | 38
526.25/526.54 c 524s | 22 | 2532579 | 2164322 | 1170 3892 | 61 | 38
528.25/528.55 c 526s | 22 | 2542592 | 2173022 | 1170 3905 | 61 | 38
530.24/530.57 c 528s | 22 | 2553727 | 2182422 | 1170 3920 | 61 | 38
532.25/532.57 c 530s | 22 | 2563776 | 2191022 | 1170 3933 | 61 | 38
534.24/534.58 c 532s | 22 | 2573625 | 2199422 | 1170 3946 | 61 | 38
536.24/536.58 c 534s | 22 | 2584419 | 2208322 | 1170 3960 | 61 | 38
538.24/538.59 c 536s | 22 | 2596191 | 2218022 | 1287 3974 | 61 | 38
540.24/540.59 c 538s | 22 | 2606112 | 2226322 | 1287 3986 | 61 | 38
542.34/542.60 c 540s | 22 | 2617549 | 2236022 | 1287 3999 | 61 | 38
544.34/544.61 c 542s | 22 | 2627097 | 2244522 | 1287 4011 | 61 | 38
545.83/546.15 c 543s | 23 | 2634727 | 2251038 | 1287 4021 | 61 | 38
547.83/548.16 c 545s | 23 | 2646090 | 2260438 | 1287 4034 | 61 | 38
549.84/550.16 c 547s | 23 | 2657653 | 2270238 | 1287 4048 | 61 | 38
551.84/552.16 c 549s | 23 | 2670889 | 2281738 | 1287 4064 | 61 | 38
553.84/554.17 c 551s | 23 | 2682893 | 2292138 | 1287 4079 | 61 | 38
555.83/556.19 c 553s | 23 | 2693289 | 2300738 | 1287 4090 | 61 | 38
557.83/558.19 c 555s | 23 | 2702121 | 2308038 | 1287 4101 | 61 | 38
559.93/560.20 c 557s | 23 | 2710120 | 2314838 | 1287 4110 | 61 | 38
561.94/562.23 c 559s | 23 | 2719466 | 2322338 | 1287 4121 | 61 | 38
563.93/564.23 c 561s | 23 | 2730946 | 2331438 | 1287 4133 | 61 | 38
565.93/566.24 c 563s | 23 | 2741147 | 2339738 | 1287 4145 | 61 | 38
567.93/568.26 c 565s | 23 | 2751346 | 2348138 | 1287 4157 | 61 | 38
569.93/570.26 c 567s | 23 | 2761734 | 2356738 | 1287 4169 | 61 | 38
571.93/572.26 c 569s | 23 | 2772197 | 2365738 | 1287 4182 | 61 | 38
573.93/574.28 c 571s | 23 | 2781444 | 2373438 | 1287 4193 | 61 | 38
575.92/576.29 c 573s | 23 | 2791866 | 2382138 | 1287 4205 | 61 | 38
578.02/578.31 c 575s | 23 | 2803499 | 2391738 | 1287 4218 | 61 | 38
580.02/580.31 c 577s | 23 | 2815531 | 2401738 | 1287 4232 | 61 | 38
582.02/582.32 c 579s | 23 | 2827887 | 2412538 | 1287 4248 | 61 | 38
584.02/584.33 c 581s | 23 | 2837417 | 2420538 | 1287 4259 | 61 | 38
586.02/586.36 c 583s | 23 | 2845710 | 2427638 | 1287 4269 | 61 | 38
588.01/588.38 c 586s | 23 | 2853856 | 2434538 | 1287 4279 | 61 | 38
590.01/590.39 c 588s | 23 | 2861472 | 2441138 | 1287 4288 | 61 | 38
592.01/592.39 c 590s | 23 | 2872215 | 2449838 | 1287 4300 | 61 | 38
594.11/594.40 c 592s | 23 | 2880463 | 2456738 | 1287 4310 | 61 | 38
596.11/596.41 c 594s | 23 | 2889879 | 2464538 | 1287 4320 | 61 | 38
598.11/598.41 c 596s | 23 | 2899984 | 2472838 | 1287 4332 | 61 | 38
600.11/600.42 c 598s | 23 | 2913032 | 2484138 | 1287 4348 | 61 | 38
602.11/602.43 c 600s | 23 | 2923862 | 2493638 | 1287 4362 | 61 | 38
604.11/604.44 c 602s | 23 | 2932533 | 2501038 | 1287 4372 | 61 | 38
606.11/606.44 c 604s | 23 | 2940141 | 2507538 | 1287 4381 | 61 | 38
608.12/608.46 c 606s | 23 | 2949169 | 2514838 | 1287 4391 | 61 | 38
610.11/610.48 c 608s | 23 | 2957805 | 2522138 | 1287 4401 | 61 | 38
612.21/612.50 c 610s | 23 | 2964726 | 2528038 | 1287 4409 | 61 | 38
614.21/614.51 c 612s | 23 | 2971668 | 2534038 | 1287 4418 | 61 | 38
616.20/616.52 c 614s | 23 | 2979003 | 2540438 | 1287 4426 | 61 | 38
618.20/618.53 c 616s | 23 | 2987612 | 2547738 | 1287 4437 | 61 | 38
620.21/620.55 c 618s | 23 | 2995500 | 2554438 | 1287 4446 | 61 | 38
622.20/622.57 c 620s | 23 | 3003437 | 2561238 | 1287 4456 | 61 | 38
624.20/624.57 c 622s | 23 | 3012740 | 2568938 | 1287 4466 | 61 | 38
626.20/626.59 c 624s | 23 | 3020510 | 2575438 | 1287 4475 | 61 | 38
628.30/628.60 c 626s | 23 | 3034277 | 2587438 | 1287 4492 | 61 | 38
630.30/630.60 c 628s | 23 | 3045760 | 2597338 | 1287 4506 | 61 | 38
632.30/632.61 c 630s | 23 | 3053556 | 2604038 | 1287 4516 | 61 | 38
634.30/634.63 c 632s | 23 | 3061306 | 2610838 | 1287 4525 | 61 | 38
636.29/636.64 c 634s | 23 | 3071132 | 2619138 | 1287 4537 | 61 | 38
638.29/638.66 c 636s | 23 | 3082555 | 2628538 | 1287 4550 | 61 | 38
640.29/640.67 c 638s | 23 | 3091012 | 2635738 | 1287 4560 | 61 | 38
642.29/642.67 c 640s | 23 | 3102280 | 2645238 | 1287 4574 | 61 | 38
644.29/644.69 c 642s | 23 | 3112690 | 2654038 | 1287 4586 | 61 | 38
646.28/646.69 c 644s | 23 | 3123146 | 2662938 | 1287 4599 | 61 | 38
648.38/648.70 c 646s | 23 | 3135204 | 2673138 | 1287 4613 | 61 | 38
650.38/650.71 c 648s | 23 | 3148571 | 2683838 | 1287 4628 | 61 | 38
652.38/652.73 c 650s | 23 | 3160404 | 2693638 | 1287 4642 | 61 | 38
654.38/654.76 c 652s | 23 | 3168938 | 2700838 | 1287 4652 | 61 | 38
656.38/656.78 c 654s | 23 | 3176169 | 2707238 | 1287 4661 | 61 | 38
658.48/658.80 c 656s | 23 | 3183486 | 2713638 | 1287 4670 | 61 | 38
660.48/660.82 c 658s | 23 | 3191299 | 2720138 | 1287 4678 | 61 | 38
662.48/662.82 c 660s | 23 | 3199134 | 2726838 | 1287 4688 | 61 | 38
664.48/664.83 c 662s | 23 | 3207861 | 2734338 | 1287 4698 | 61 | 38
666.47/666.86 c 664s | 23 | 3217444 | 2742438 | 1287 4710 | 61 | 38
668.48/668.89 c 666s | 23 | 3225180 | 2749038 | 1287 4719 | 61 | 38
670.57/670.91 c 668s | 23 | 3232894 | 2755638 | 1287 4728 | 61 | 38
672.57/672.92 c 670s | 23 | 3242035 | 2763038 | 1287 4738 | 61 | 38
674.57/674.93 c 672s | 23 | 3250310 | 2769838 | 1287 4748 | 61 | 38
676.57/676.96 c 674s | 23 | 3259557 | 2777638 | 1287 4759 | 61 | 38
678.57/678.97 c 676s | 23 | 3268918 | 2785538 | 1287 4770 | 61 | 38
680.58/680.98 c 678s | 23 | 3278185 | 2793238 | 1287 4780 | 61 | 38
682.57/682.99 c 680s | 23 | 3287087 | 2800638 | 1287 4791 | 61 | 38
684.67/685.02 c 682s | 23 | 3295550 | 2807838 | 1287 4801 | 61 | 38
686.67/687.05 c 684s | 23 | 3304135 | 2814838 | 1287 4810 | 61 | 38
688.68/689.06 c 686s | 23 | 3312799 | 2821938 | 1287 4820 | 61 | 38
690.68/691.07 c 688s | 23 | 3322825 | 2830038 | 1287 4832 | 61 | 38
692.68/693.09 c 690s | 23 | 3330837 | 2836838 | 1287 4841 | 61 | 38
694.67/695.09 c 692s | 23 | 3338094 | 2843138 | 1287 4850 | 61 | 38
696.77/697.12 c 694s | 23 | 3347723 | 2851338 | 1287 4861 | 61 | 38
698.77/699.12 c 696s | 23 | 3356518 | 2858638 | 1287 4872 | 61 | 38
700.77/701.16 c 698s | 23 | 3367380 | 2867638 | 1287 4884 | 61 | 38
702.77/703.17 c 700s | 23 | 3376469 | 2875438 | 1287 4895 | 61 | 38
704.78/705.18 c 702s | 23 | 3384397 | 2882138 | 1287 4904 | 61 | 38
706.87/707.20 c 704s | 23 | 3393072 | 2889338 | 1287 4914 | 61 | 38
708.87/709.22 c 706s | 23 | 3400939 | 2895938 | 1287 4923 | 61 | 38
710.87/711.23 c 708s | 23 | 3408480 | 2902438 | 1287 4932 | 61 | 38
712.87/713.24 c 710s | 23 | 3416419 | 2909238 | 1287 4942 | 61 | 38
714.87/715.25 c 712s | 23 | 3424059 | 2915738 | 1287 4951 | 61 | 38
716.88/717.25 c 714s | 23 | 3431125 | 2921838 | 1287 4959 | 61 | 38
718.87/719.28 c 716s | 23 | 3439053 | 2928638 | 1287 4969 | 61 | 38
720.87/721.29 c 718s | 23 | 3446062 | 2934638 | 1287 4977 | 61 | 38
722.97/723.30 c 720s | 23 | 3453143 | 2940638 | 1287 4986 | 61 | 38
724.97/725.33 c 722s | 23 | 3460952 | 2947238 | 1287 4995 | 61 | 38
726.97/727.36 c 725s | 23 | 3468281 | 2953538 | 1287 5003 | 61 | 38
728.98/729.39 c 727s | 23 | 3475829 | 2959938 | 1287 5012 | 61 | 38
731.07/731.42 c 729s | 23 | 3482709 | 2966038 | 1287 5021 | 61 | 38
733.07/733.45 c 731s | 23 | 3489435 | 2971938 | 1287 5029 | 61 | 38
735.07/735.47 c 733s | 23 | 3496505 | 2977938 | 1287 5037 | 61 | 38
737.07/737.48 c 735s | 23 | 3503724 | 2984138 | 1287 5046 | 61 | 38
739.17/739.51 c 737s | 23 | 3510895 | 2990238 | 1287 5054 | 61 | 38
741.17/741.55 c 739s | 23 | 3518193 | 2996438 | 1287 5063 | 61 | 38
743.17/743.57 c 741s | 23 | 3524832 | 3002138 | 1287 5070 | 61 | 38
745.26/745.61 c 743s | 23 | 3531596 | 3007938 | 1287 5078 | 61 | 38
747.26/747.62 c 745s | 23 | 3538062 | 3013538 | 1287 5086 | 61 | 38
749.26/749.62 c 747s | 23 | 3545431 | 3019638 | 1287 5095 | 61 | 38
751.26/751.65 c 749s | 23 | 3553112 | 3026238 | 1287 5104 | 61 | 38
753.27/753.66 c 751s | 23 | 3560256 | 3032438 | 1287 5112 | 61 | 38
755.26/755.68 c 753s | 23 | 3567395 | 3038638 | 1287 5121 | 61 | 38
757.36/757.70 c 755s | 23 | 3574633 | 3044838 | 1287 5129 | 61 | 38
759.36/759.73 c 757s | 23 | 3582000 | 3051338 | 1287 5138 | 61 | 38
761.36/761.74 c 759s | 23 | 3589764 | 3057938 | 1287 5147 | 61 | 38
763.36/763.77 c 761s | 23 | 3597738 | 3064638 | 1287 5157 | 61 | 38
765.37/765.77 c 763s | 23 | 3604980 | 3070938 | 1287 5165 | 61 | 38
767.36/767.79 c 765s | 23 | 3611985 | 3077038 | 1287 5174 | 61 | 38
769.46/769.80 c 767s | 23 | 3618837 | 3083038 | 1287 5182 | 61 | 38
771.46/771.83 c 769s | 23 | 3626031 | 3089338 | 1287 5191 | 61 | 38
773.46/773.86 c 771s | 23 | 3633505 | 3095738 | 1287 5200 | 61 | 38
775.46/775.89 c 773s | 23 | 3640300 | 3101738 | 1287 5208 | 61 | 38
777.47/777.89 c 775s | 23 | 3647124 | 3107738 | 1287 5216 | 61 | 38
779.57/779.91 c 777s | 23 | 3654357 | 3114038 | 1287 5225 | 61 | 38
781.56/781.92 c 779s | 23 | 3661669 | 3120338 | 1287 5234 | 61 | 38
783.56/783.92 c 781s | 23 | 3669201 | 3126638 | 1287 5243 | 61 | 38
785.56/785.93 c 783s | 23 | 3677314 | 3133238 | 1287 5252 | 61 | 38
787.56/787.96 c 785s | 23 | 3685274 | 3139738 | 1287 5261 | 61 | 38
789.56/789.98 c 787s | 23 | 3691966 | 3145438 | 1287 5269 | 61 | 38
791.66/792.02 c 789s | 23 | 3699455 | 3151738 | 1287 5278 | 61 | 38
793.66/794.03 c 791s | 23 | 3706756 | 3157938 | 1287 5286 | 61 | 38
795.66/796.06 c 793s | 23 | 3713938 | 3164038 | 1287 5295 | 61 | 38
797.66/798.06 c 795s | 23 | 3720754 | 3169938 | 1287 5303 | 61 | 38
799.66/800.07 c 797s | 23 | 3727782 | 3175938 | 1287 5311 | 61 | 38
801.75/802.10 c 799s | 23 | 3734259 | 3181738 | 1287 5320 | 61 | 38
803.76/804.13 c 801s | 23 | 3741575 | 3187838 | 1287 5328 | 61 | 38
805.75/806.14 c 803s | 23 | 3748483 | 3193738 | 1287 5336 | 61 | 38
807.75/808.16 c 805s | 23 | 3757306 | 3201038 | 1287 5347 | 61 | 38
809.85/810.20 c 807s | 23 | 3764581 | 3207338 | 1287 5355 | 61 | 38
811.85/812.22 c 809s | 23 | 3771866 | 3213538 | 1287 5364 | 61 | 38
813.85/814.23 c 811s | 23 | 3778664 | 3219538 | 1287 5372 | 61 | 38
815.86/816.26 c 813s | 23 | 3785820 | 3225838 | 1287 5381 | 61 | 38
817.85/818.27 c 815s | 23 | 3792831 | 3231938 | 1287 5389 | 61 | 38
819.85/820.28 c 817s | 23 | 3799623 | 3237938 | 1287 5398 | 61 | 38
821.95/822.30 c 819s | 23 | 3806574 | 3244038 | 1287 5406 | 61 | 38
823.95/824.31 c 821s | 23 | 3813590 | 3250138 | 1287 5414 | 61 | 38
825.95/826.33 c 823s | 23 | 3821488 | 3256838 | 1287 5424 | 61 | 38
827.95/828.34 c 825s | 23 | 3829429 | 3263538 | 1287 5433 | 61 | 38
829.95/830.36 c 827s | 23 | 3836605 | 3269738 | 1287 5441 | 61 | 38
831.95/832.37 c 830s | 23 | 3843996 | 3276138 | 1287 5450 | 61 | 38
833.95/834.39 c 832s | 23 | 3851072 | 3282338 | 1287 5459 | 61 | 38
836.05/836.41 c 834s | 23 | 3858580 | 3288838 | 1287 5468 | 61 | 38
838.05/838.43 c 836s | 23 | 3865852 | 3295138 | 1287 5476 | 61 | 38
840.05/840.43 c 838s | 23 | 3872539 | 3300938 | 1287 5484 | 61 | 38
842.05/842.45 c 840s | 23 | 3879786 | 3307138 | 1287 5493 | 61 | 38
844.04/844.45 c 842s | 23 | 3886903 | 3313238 | 1287 5501 | 61 | 38
846.04/846.48 c 844s | 23 | 3893877 | 3319338 | 1287 5510 | 61 | 38
848.04/848.48 c 846s | 23 | 3900610 | 3325238 | 1287 5518 | 61 | 38
850.15/850.51 c 848s | 23 | 3907502 | 3331238 | 1287 5526 | 61 | 38
852.16/852.52 c 850s | 23 | 3913824 | 3336838 | 1416 5533 | 61 | 38
854.15/854.53 c 852s | 23 | 3919990 | 3342338 | 1416 5540 | 61 | 38
856.15/856.55 c 854s | 23 | 3927200 | 3348538 | 1416 5548 | 61 | 38
858.15/858.56 c 856s | 23 | 3935289 | 3355438 | 1416 5557 | 61 | 38
860.15/860.59 c 858s | 23 | 3943645 | 3362338 | 1416 5566 | 61 | 38
862.25/862.61 c 860s | 23 | 3951104 | 3368638 | 1416 5574 | 61 | 38
864.25/864.62 c 862s | 23 | 3957689 | 3374438 | 1416 5581 | 61 | 38
864.85/865.27 c 862s | 24 | 3960291 | 3376662 | 1416 5584 | 61 | 38
866.85/867.28 c 864s | 24 | 3969905 | 3384762 | 1416 5595 | 61 | 38
868.85/869.29 c 866s | 24 | 3978602 | 3392162 | 1416 5604 | 61 | 38
870.95/871.31 c 868s | 24 | 3987814 | 3399962 | 1416 5614 | 61 | 38
872.95/873.34 c 870s | 24 | 3998001 | 3408662 | 1416 5625 | 61 | 38
874.95/875.35 c 872s | 24 | 4008981 | 3418262 | 1416 5638 | 61 | 38
876.95/877.37 c 875s | 24 | 4019090 | 3426862 | 1416 5649 | 61 | 38
878.95/879.38 c 877s | 24 | 4029088 | 3435262 | 1416 5659 | 61 | 38
880.95/881.39 c 879s | 24 | 4040344 | 3444962 | 1416 5672 | 61 | 38
882.95/883.39 c 881s | 24 | 4051628 | 3454762 | 1416 5685 | 61 | 38
885.04/885.42 c 883s | 24 | 4061068 | 3462662 | 1416 5695 | 61 | 38
887.04/887.43 c 885s | 24 | 4070578 | 3470662 | 1416 5705 | 61 | 38
889.04/889.45 c 887s | 24 | 4079371 | 3477862 | 1416 5714 | 61 | 38
891.04/891.45 c 889s | 24 | 4087716 | 3484962 | 1416 5723 | 61 | 38
893.04/893.47 c 891s | 24 | 4097349 | 3493062 | 1416 5734 | 61 | 38
895.05/895.48 c 893s | 24 | 4106967 | 3501162 | 1416 5744 | 61 | 38
897.04/897.49 c 895s | 24 | 4115729 | 3508462 | 1416 5753 | 61 | 38
899.04/899.49 c 897s | 24 | 4123485 | 3514962 | 1416 5762 | 61 | 38
901.14/901.51 c 899s | 24 | 4134219 | 3524162 | 1416 5773 | 61 | 38
903.14/903.52 c 901s | 24 | 4145294 | 3533662 | 1416 5786 | 61 | 38
905.14/905.54 c 903s | 24 | 4157596 | 3544662 | 1416 5800 | 61 | 38
907.15/907.55 c 905s | 24 | 4169547 | 3555162 | 1416 5814 | 61 | 38
909.14/909.55 c 907s | 24 | 4181396 | 3565862 | 1416 5828 | 61 | 38
911.14/911.57 c 909s | 24 | 4190551 | 3573662 | 1416 5838 | 61 | 38
913.14/913.58 c 911s | 24 | 4201037 | 3582662 | 1416 5849 | 61 | 38
915.24/915.60 c 913s | 24 | 4210625 | 3590962 | 1416 5860 | 61 | 38
917.24/917.61 c 915s | 24 | 4222905 | 3601862 | 1416 5874 | 61 | 38
919.24/919.61 c 917s | 24 | 4235925 | 3612962 | 1416 5889 | 61 | 38
921.23/921.63 c 919s | 24 | 4247671 | 3623162 | 1416 5902 | 61 | 38
923.23/923.64 c 921s | 24 | 4259197 | 3633262 | 1416 5915 | 61 | 38
925.23/925.65 c 923s | 24 | 4271302 | 3644062 | 1416 5929 | 61 | 38
927.23/927.65 c 925s | 24 | 4283883 | 3655262 | 1416 5944 | 61 | 38
929.24/929.65 c 927s | 24 | 4292381 | 3662462 | 1416 5953 | 61 | 38
931.23/931.67 c 929s | 24 | 4304800 | 3673062 | 1416 5966 | 61 | 38
933.23/933.69 c 931s | 24 | 4316672 | 3682962 | 1416 5979 | 61 | 38
935.23/935.69 c 933s | 24 | 4327885 | 3692262 | 1416 5991 | 61 | 38
937.33/937.71 c 935s | 24 | 4338039 | 3700662 | 1416 6002 | 61 | 38
939.33/939.73 c 937s | 24 | 4349463 | 3709862 | 1416 6014 | 61 | 38
941.34/941.75 c 939s | 24 | 4358690 | 3717662 | 1416 6023 | 61 | 38
943.34/943.77 c 941s | 24 | 4368104 | 3725462 | 1416 6033 | 61 | 38
945.33/945.78 c 943s | 24 | 4376921 | 3732662 | 1416 6043 | 61 | 38
947.33/947.79 c 945s | 24 | 4387429 | 3741362 | 1416 6054 | 61 | 38
949.33/949.79 c 947s | 24 | 4398110 | 3750062 | 1416 6065 | 61 | 38
951.43/951.80 c 949s | 24 | 4407332 | 3757862 | 1416 6075 | 61 | 38
953.44/953.82 c 951s | 24 | 4416205 | 3765462 | 1416 6084 | 61 | 38
955.43/955.82 c 953s | 24 | 4423735 | 3771862 | 1416 6092 | 61 | 38
957.43/957.83 c 955s | 24 | 4433127 | 3779662 | 1416 6102 | 61 | 38
959.43/959.84 c 957s | 24 | 4442332 | 3787362 | 1416 6112 | 61 | 38
961.43/961.85 c 959s | 24 | 4453200 | 3796362 | 1416 6124 | 61 | 38
963.42/963.86 c 961s | 24 | 4465475 | 3805862 | 1416 6136 | 61 | 38
965.43/965.87 c 963s | 24 | 4477052 | 3815262 | 1416 6148 | 61 | 38
967.43/967.88 c 965s | 24 | 4488130 | 3824362 | 1416 6160 | 61 | 38
969.43/969.88 c 967s | 24 | 4497746 | 3832262 | 1416 6170 | 61 | 38
971.43/971.88 c 969s | 24 | 4507625 | 3840462 | 1416 6180 | 61 | 38
973.43/973.90 c 971s | 24 | 4519566 | 3850162 | 1416 6193 | 61 | 38
975.53/975.92 c 973s | 24 | 4529742 | 3858462 | 1416 6203 | 61 | 38
977.54/977.93 c 975s | 24 | 4540316 | 3867062 | 1416 6214 | 61 | 38
979.53/979.95 c 977s | 24 | 4552244 | 3876562 | 1416 6227 | 61 | 38
981.53/981.96 c 979s | 24 | 4561132 | 3884062 | 1416 6236 | 61 | 38
983.53/983.99 c 981s | 24 | 4570822 | 3891962 | 1416 6246 | 61 | 38
985.63/986.00 c 983s | 24 | 4581645 | 3900662 | 1416 6257 | 61 | 38
987.63/988.01 c 985s | 24 | 4594093 | 3910662 | 1416 6270 | 61 | 38
989.63/990.03 c 987s | 24 | 4605316 | 3919762 | 1416 6282 | 61 | 38
991.63/992.04 c 989s | 24 | 4615174 | 3927862 | 1416 6292 | 61 | 38
993.63/994.06 c 991s | 24 | 4626001 | 3936962 | 1416 6304 | 61 | 38
995.62/996.07 c 993s | 24 | 4636997 | 3945962 | 1416 6316 | 61 | 38
997.62/998.07 c 995s | 24 | 4646182 | 3953662 | 1416 6326 | 61 | 38
999.63/1000.08 c 997s | 24 | 4655657 | 3961562 | 1416 6336 | 61 | 38
1001.73/1002.11 c 999s | 24 | 4664425 | 3968862 | 1416 6345 | 61 | 38
1003.72/1004.11 c 1001s | 24 | 4673130 | 3976362 | 1416 6355 | 61 | 38
1005.72/1006.12 c 1003s | 24 | 4682251 | 3984062 | 1416 6365 | 61 | 38
1007.72/1008.12 c 1005s | 24 | 4691037 | 3991262 | 1416 6374 | 61 | 38
1009.72/1010.14 c 1007s | 24 | 4700365 | 3999062 | 1416 6384 | 61 | 38
1011.73/1012.16 c 1009s | 24 | 4710179 | 4007062 | 1416 6394 | 61 | 38
1013.72/1014.17 c 1011s | 24 | 4722600 | 4017162 | 1416 6407 | 61 | 38
1015.82/1016.20 c 1013s | 24 | 4733931 | 4026662 | 1416 6419 | 61 | 38
1017.82/1018.22 c 1015s | 24 | 4741980 | 4033762 | 1416 6428 | 61 | 38
1019.82/1020.22 c 1017s | 24 | 4753282 | 4042862 | 1416 6440 | 61 | 38
1021.82/1022.24 c 1019s | 24 | 4764200 | 4051862 | 1416 6451 | 61 | 38
1023.83/1024.25 c 1021s | 24 | 4773816 | 4059862 | 1416 6461 | 61 | 38
1025.82/1026.27 c 1023s | 24 | 4782731 | 4067462 | 1416 6471 | 61 | 38
1027.82/1028.28 c 1025s | 24 | 4794591 | 4077362 | 1416 6484 | 61 | 38
1029.82/1030.28 c 1027s | 24 | 4809079 | 4090062 | 1416 6500 | 61 | 38
1031.82/1032.29 c 1029s | 24 | 4819679 | 4099162 | 1416 6512 | 61 | 38
1033.92/1034.31 c 1031s | 24 | 4828702 | 4106562 | 1416 6522 | 61 | 38
1035.92/1036.31 c 1033s | 24 | 4840567 | 4116062 | 1416 6534 | 61 | 38
1037.92/1038.34 c 1035s | 24 | 4851202 | 4124762 | 1416 6545 | 61 | 38
1039.92/1040.35 c 1037s | 24 | 4861528 | 4133262 | 1416 6556 | 61 | 38
1041.92/1042.35 c 1039s | 24 | 4873745 | 4143262 | 1416 6569 | 61 | 38
1043.92/1044.38 c 1042s | 24 | 4883232 | 4150862 | 1416 6579 | 61 | 38
1046.02/1046.41 c 1044s | 24 | 4892821 | 4158662 | 1416 6589 | 61 | 38
1048.02/1048.43 c 1046s | 24 | 4902093 | 4166362 | 1416 6599 | 61 | 38
1050.01/1050.44 c 1048s | 24 | 4913387 | 4175762 | 1416 6611 | 61 | 38
1052.01/1052.44 c 1050s | 24 | 4922838 | 4183862 | 1416 6621 | 61 | 38
1054.01/1054.45 c 1052s | 24 | 4934117 | 4193362 | 1416 6633 | 61 | 38
1056.01/1056.46 c 1054s | 24 | 4945385 | 4202162 | 1416 6645 | 61 | 38
1058.01/1058.48 c 1056s | 24 | 4956625 | 4211262 | 1416 6657 | 61 | 38
1060.02/1060.49 c 1058s | 24 | 4967751 | 4220662 | 1416 6669 | 61 | 38
1062.11/1062.51 c 1060s | 24 | 4977873 | 4228962 | 1416 6679 | 61 | 38
1064.11/1064.51 c 1062s | 24 | 4987005 | 4236462 | 1416 6689 | 61 | 38
1066.11/1066.52 c 1064s | 24 | 4997125 | 4244462 | 1416 6699 | 61 | 38
1068.11/1068.54 c 1066s | 24 | 5007349 | 4252662 | 1416 6710 | 61 | 38
1070.11/1070.55 c 1068s | 24 | 5018252 | 4261062 | 1416 6721 | 61 | 38
1072.12/1072.56 c 1070s | 24 | 5027805 | 4269162 | 1416 6731 | 61 | 38
1074.11/1074.56 c 1072s | 24 | 5036308 | 4276362 | 1416 6740 | 61 | 38
1076.11/1076.57 c 1074s | 24 | 5046598 | 4285062 | 1416 6751 | 61 | 38
1078.21/1078.60 c 1076s | 24 | 5057106 | 4293662 | 1416 6762 | 61 | 38
1080.22/1080.60 c 1078s | 24 | 5067678 | 4302062 | 1416 6773 | 61 | 38
1082.22/1082.62 c 1080s | 24 | 5078645 | 4310762 | 1416 6784 | 61 | 38
1084.22/1084.63 c 1082s | 24 | 5089966 | 4319962 | 1416 6796 | 61 | 38
1086.21/1086.66 c 1084s | 24 | 5099215 | 4327862 | 1416 6806 | 61 | 38
1088.21/1088.67 c 1086s | 24 | 5107223 | 4334662 | 1416 6815 | 61 | 38
1090.21/1090.69 c 1088s | 24 | 5115592 | 4341762 | 1416 6824 | 61 | 38
1092.31/1092.71 c 1090s | 24 | 5124299 | 4348762 | 1416 6833 | 61 | 38
1094.31/1094.72 c 1092s | 24 | 5132787 | 4355962 | 1416 6842 | 61 | 38
1096.32/1096.73 c 1094s | 24 | 5142432 | 4363962 | 1416 6853 | 61 | 38
1098.31/1098.75 c 1096s | 24 | 5152215 | 4372062 | 1416 6863 | 61 | 38
1100.31/1100.75 c 1098s | 24 | 5162747 | 4380562 | 1416 6874 | 61 | 38
1102.31/1102.77 c 1100s | 24 | 5172744 | 4388662 | 1416 6885 | 61 | 38
1104.41/1104.80 c 1102s | 24 | 5182310 | 4396762 | 1416 6895 | 61 | 38
1106.41/1106.81 c 1104s | 24 | 5190176 | 4403462 | 1416 6904 | 61 | 38
1108.42/1108.82 c 1106s | 24 | 5198924 | 4410762 | 1416 6913 | 61 | 38
1110.41/1110.84 c 1108s | 24 | 5207517 | 4417962 | 1416 6922 | 61 | 38
1112.41/1112.87 c 1110s | 24 | 5216946 | 4425762 | 1416 6933 | 61 | 38
1114.41/1114.88 c 1112s | 24 | 5227384 | 4434162 | 1416 6943 | 61 | 38
1116.41/1116.89 c 1114s | 24 | 5239301 | 4443862 | 1416 6956 | 61 | 38
1118.51/1118.92 c 1116s | 24 | 5249466 | 4451962 | 1416 6966 | 61 | 38
1120.51/1120.92 c 1118s | 24 | 5259519 | 4460362 | 1416 6977 | 61 | 38
1122.51/1122.95 c 1120s | 24 | 5269275 | 4468262 | 1416 6987 | 61 | 38
1124.51/1124.95 c 1122s | 24 | 5279728 | 4476762 | 1416 6998 | 61 | 38
1126.50/1126.98 c 1124s | 24 | 5289607 | 4484862 | 1416 7008 | 61 | 38
1128.50/1128.98 c 1126s | 24 | 5299229 | 4492962 | 1416 7019 | 61 | 38
1130.51/1130.99 c 1128s | 24 | 5307066 | 4499762 | 1416 7027 | 61 | 38
1132.61/1133.01 c 1130s | 24 | 5317185 | 4508062 | 1416 7038 | 61 | 38
1134.60/1135.04 c 1132s | 24 | 5326688 | 4515962 | 1416 7048 | 61 | 38
1136.60/1137.04 c 1134s | 24 | 5335491 | 4523262 | 1416 7058 | 61 | 38
1138.60/1139.04 c 1136s | 24 | 5343260 | 4529962 | 1416 7066 | 61 | 38
1140.60/1141.06 c 1138s | 24 | 5351876 | 4537362 | 1416 7076 | 61 | 38
1142.61/1143.06 c 1140s | 24 | 5362431 | 4546262 | 1416 7087 | 61 | 38
1144.60/1145.06 c 1142s | 24 | 5373627 | 4556262 | 1416 7100 | 61 | 38
1146.60/1147.08 c 1144s | 24 | 5383393 | 4564562 | 1416 7111 | 61 | 38
1148.70/1149.10 c 1146s | 24 | 5392175 | 4572062 | 1416 7120 | 61 | 38
1150.70/1151.10 c 1148s | 24 | 5400724 | 4579162 | 1416 7129 | 61 | 38
1152.70/1153.12 c 1150s | 24 | 5409741 | 4586762 | 1416 7139 | 61 | 38
1154.71/1155.12 c 1152s | 24 | 5421493 | 4596362 | 1416 7151 | 61 | 38
1156.70/1157.13 c 1154s | 24 | 5428976 | 4602862 | 1416 7160 | 61 | 38
1158.70/1159.15 c 1156s | 24 | 5438472 | 4611062 | 1416 7170 | 61 | 38
1160.70/1161.16 c 1158s | 24 | 5446185 | 4617962 | 1416 7179 | 61 | 38
1162.70/1163.17 c 1160s | 24 | 5455091 | 4625362 | 1416 7188 | 61 | 38
1164.70/1165.18 c 1162s | 24 | 5463372 | 4632362 | 1416 7197 | 61 | 38
1166.70/1167.20 c 1164s | 24 | 5472531 | 4639962 | 1416 7207 | 61 | 38
1168.80/1169.20 c 1166s | 24 | 5481155 | 4647362 | 1416 7217 | 61 | 38
1170.80/1171.21 c 1168s | 24 | 5489534 | 4654562 | 1416 7226 | 61 | 38
1172.79/1173.21 c 1170s | 24 | 5499154 | 4662762 | 1416 7237 | 61 | 38
1174.79/1175.23 c 1172s | 24 | 5509437 | 4671162 | 1416 7248 | 61 | 38
1176.79/1177.25 c 1174s | 24 | 5518138 | 4678462 | 1416 7257 | 61 | 38
1178.80/1179.26 c 1176s | 24 | 5525484 | 4684862 | 1416 7265 | 61 | 38
1180.79/1181.29 c 1178s | 24 | 5534334 | 4692262 | 1416 7275 | 61 | 38
1182.89/1183.32 c 1180s | 24 | 5542014 | 4698962 | 1416 7283 | 61 | 38
1184.89/1185.34 c 1182s | 24 | 5549723 | 4705562 | 1416 7292 | 61 | 38
1186.89/1187.36 c 1185s | 24 | 5559995 | 4714362 | 1416 7303 | 61 | 38
1188.89/1189.38 c 1187s | 24 | 5569001 | 4721662 | 1416 7312 | 61 | 38
1190.90/1191.38 c 1189s | 24 | 5580290 | 4731062 | 1416 7324 | 61 | 38
1192.89/1193.39 c 1191s | 24 | 5590469 | 4739462 | 1416 7335 | 61 | 38
1194.99/1195.40 c 1193s | 24 | 5599285 | 4746962 | 1416 7345 | 61 | 38
1196.99/1197.41 c 1195s | 24 | 5607464 | 4753962 | 1416 7354 | 61 | 38
1198.99/1199.42 c 1197s | 24 | 5614978 | 4760562 | 1416 7362 | 61 | 38
1201.00/1201.44 c 1199s | 24 | 5622738 | 4767262 | 1416 7371 | 61 | 38
1203.00/1203.46 c 1201s | 24 | 5630345 | 4773762 | 1416 7379 | 61 | 38
1205.00/1205.48 c 1203s | 24 | 5637879 | 4780162 | 1416 7387 | 61 | 38
1207.00/1207.49 c 1205s | 24 | 5645095 | 4786462 | 1416 7395 | 61 | 38
1209.10/1209.50 c 1207s | 24 | 5653052 | 4793262 | 1416 7404 | 61 | 38
1211.10/1211.52 c 1209s | 24 | 5661024 | 4800062 | 1416 7412 | 61 | 38
1213.09/1213.52 c 1211s | 24 | 5668233 | 4806362 | 1416 7420 | 61 | 38
1215.10/1215.55 c 1213s | 24 | 5675550 | 4812662 | 1416 7428 | 61 | 38
1217.09/1217.56 c 1215s | 24 | 5682955 | 4819062 | 1416 7437 | 61 | 38
1219.09/1219.57 c 1217s | 24 | 5690700 | 4825662 | 1416 7445 | 61 | 38
1221.09/1221.59 c 1219s | 24 | 5699291 | 4832862 | 1416 7454 | 61 | 38
1223.19/1223.60 c 1221s | 24 | 5707542 | 4839762 | 1416 7463 | 61 | 38
1225.19/1225.61 c 1223s | 24 | 5715702 | 4846662 | 1416 7472 | 61 | 38
1227.20/1227.61 c 1225s | 24 | 5725599 | 4855362 | 1416 7483 | 61 | 38
1229.19/1229.62 c 1227s | 24 | 5736307 | 4864262 | 1416 7495 | 61 | 38
1231.19/1231.64 c 1229s | 24 | 5744734 | 4871362 | 1416 7504 | 61 | 38
1233.19/1233.65 c 1231s | 24 | 5754888 | 4879562 | 1416 7514 | 61 | 38
1235.19/1235.66 c 1233s | 24 | 5764004 | 4887062 | 1416 7524 | 61 | 38
1237.20/1237.68 c 1235s | 24 | 5772329 | 4893862 | 1416 7532 | 61 | 38
1239.19/1239.70 c 1237s | 24 | 5782219 | 4902162 | 1416 7543 | 61 | 38
1241.29/1241.71 c 1239s | 24 | 5791700 | 4909662 | 1416 7553 | 61 | 38
1243.29/1243.72 c 1241s | 24 | 5801324 | 4917362 | 1416 7563 | 61 | 38
1245.29/1245.74 c 1243s | 24 | 5809700 | 4924162 | 1416 7571 | 61 | 38
1247.29/1247.74 c 1245s | 24 | 5817855 | 4931162 | 1416 7580 | 61 | 38
1249.30/1249.75 c 1247s | 24 | 5826310 | 4938262 | 1416 7589 | 61 | 38
1251.29/1251.75 c 1249s | 24 | 5834374 | 4945062 | 1416 7598 | 61 | 38
1253.29/1253.76 c 1251s | 24 | 5841201 | 4950962 | 1416 7605 | 61 | 38
1255.29/1255.79 c 1253s | 24 | 5849087 | 4957762 | 1416 7614 | 61 | 38
1257.39/1257.81 c 1255s | 24 | 5856065 | 4963962 | 1416 7622 | 61 | 38
1259.39/1259.81 c 1257s | 24 | 5863117 | 4970262 | 1416 7630 | 61 | 38
1261.39/1261.83 c 1259s | 24 | 5871628 | 4977462 | 1416 7639 | 61 | 38
1263.39/1263.84 c 1261s | 24 | 5879044 | 4983962 | 1416 7647 | 61 | 38
1265.39/1265.86 c 1263s | 24 | 5886398 | 4990262 | 1416 7655 | 61 | 38
1267.39/1267.89 c 1265s | 24 | 5894659 | 4997262 | 1416 7664 | 61 | 38
1269.49/1269.92 c 1267s | 24 | 5903616 | 5004762 | 1416 7674 | 61 | 38
1271.48/1271.92 c 1269s | 24 | 5913459 | 5012762 | 1558 7684 | 61 | 38
1273.49/1273.94 c 1271s | 24 | 5921272 | 5019362 | 1558 7691 | 61 | 38
1275.48/1275.96 c 1273s | 24 | 5927925 | 5025062 | 1558 7698 | 61 | 38
1277.48/1277.98 c 1275s | 24 | 5936553 | 5032162 | 1558 7707 | 61 | 38
1279.58/1280.00 c 1277s | 24 | 5945784 | 5039562 | 1558 7715 | 61 | 38
1281.58/1282.01 c 1279s | 24 | 5954779 | 5047362 | 1558 7724 | 61 | 38
1283.58/1284.04 c 1281s | 24 | 5962210 | 5053762 | 1558 7732 | 61 | 38
1285.59/1286.05 c 1283s | 24 | 5972697 | 5062162 | 1558 7742 | 61 | 38
1286.18/1286.64 c 1284s | 25 | 5976407 | 5065098 | 1558 7745 | 61 | 38
1288.18/1288.67 c 1286s | 25 | 5992674 | 5079698 | 1558 7763 | 61 | 38
1290.18/1290.69 c 1288s | 25 | 6000623 | 5086498 | 1558 7771 | 61 | 38
1292.28/1292.70 c 1290s | 25 | 6008423 | 5093198 | 1558 7778 | 61 | 38
1294.29/1294.71 c 1292s | 25 | 6015904 | 5099698 | 1558 7786 | 61 | 38
1296.28/1296.71 c 1294s | 25 | 6022655 | 5105598 | 1558 7793 | 61 | 38
1298.28/1298.72 c 1296s | 25 | 6029367 | 5111598 | 1558 7800 | 61 | 38
1300.28/1300.73 c 1298s | 25 | 6036100 | 5117498 | 1558 7807 | 61 | 38
1302.28/1302.75 c 1300s | 25 | 6043015 | 5123598 | 1558 7814 | 61 | 38
1304.29/1304.77 c 1302s | 25 | 6049499 | 5129398 | 1558 7820 | 61 | 38
1306.28/1306.80 c 1304s | 25 | 6056383 | 5135398 | 1558 7827 | 61 | 38
1308.38/1308.82 c 1306s | 25 | 6063217 | 5141498 | 1558 7834 | 61 | 38
1310.38/1310.83 c 1308s | 25 | 6069633 | 5147198 | 1558 7841 | 61 | 38
1312.38/1312.83 c 1310s | 25 | 6075838 | 5152798 | 1558 7847 | 61 | 38
1314.38/1314.85 c 1312s | 25 | 6083925 | 5159598 | 1558 7855 | 61 | 38
1316.38/1316.87 c 1314s | 25 | 6091563 | 5166198 | 1558 7863 | 61 | 38
1318.38/1318.89 c 1316s | 25 | 6098344 | 5172198 | 1558 7870 | 61 | 38
1320.48/1320.90 c 1318s | 25 | 6105288 | 5178298 | 1558 7877 | 61 | 38
1322.48/1322.92 c 1320s | 25 | 6111913 | 5184198 | 1558 7883 | 61 | 38
1324.48/1324.95 c 1322s | 25 | 6118741 | 5190298 | 1558 7890 | 61 | 38
1326.48/1326.96 c 1324s | 25 | 6125345 | 5196198 | 1558 7897 | 61 | 38
1328.48/1328.99 c 1326s | 25 | 6132418 | 5202498 | 1558 7905 | 61 | 38
1330.58/1331.01 c 1328s | 25 | 6139235 | 5208698 | 1558 7912 | 61 | 38
1332.57/1333.03 c 1330s | 25 | 6146989 | 5215498 | 1558 7920 | 61 | 38
1334.57/1335.04 c 1332s | 25 | 6154629 | 5222298 | 1558 7928 | 61 | 38
1336.57/1337.07 c 1334s | 25 | 6161810 | 5228698 | 1558 7935 | 61 | 38
1338.57/1339.09 c 1336s | 25 | 6169107 | 5235098 | 1558 7942 | 61 | 38
1340.67/1341.10 c 1338s | 25 | 6176475 | 5241598 | 1558 7950 | 61 | 38
1342.68/1343.12 c 1340s | 25 | 6184078 | 5248298 | 1558 7958 | 61 | 38
1344.67/1345.12 c 1342s | 25 | 6191048 | 5254498 | 1558 7965 | 61 | 38
1346.67/1347.13 c 1344s | 25 | 6198415 | 5260798 | 1558 7972 | 61 | 38
1348.67/1349.15 c 1346s | 25 | 6205565 | 5266998 | 1558 7979 | 61 | 38
1350.67/1351.18 c 1348s | 25 | 6212166 | 5272898 | 1558 7986 | 61 | 38
1352.68/1353.18 c 1350s | 25 | 6218585 | 5278598 | 1558 7993 | 61 | 38
1354.67/1355.19 c 1352s | 25 | 6225798 | 5284798 | 1558 8000 | 61 | 38
1356.67/1357.20 c 1354s | 25 | 6232286 | 5290498 | 1558 8006 | 61 | 38
1358.77/1359.20 c 1356s | 25 | 6239019 | 5296398 | 1558 8013 | 61 | 38
1360.77/1361.23 c 1358s | 25 | 6245645 | 5302298 | 1558 8020 | 61 | 38
1362.77/1363.25 c 1360s | 25 | 6251932 | 5307898 | 1558 8027 | 61 | 38
1364.77/1365.27 c 1362s | 25 | 6258513 | 5313698 | 1558 8033 | 61 | 38
1366.77/1367.29 c 1364s | 25 | 6264707 | 5319198 | 1558 8040 | 61 | 38
1368.87/1369.33 c 1366s | 25 | 6271305 | 5324998 | 1558 8047 | 61 | 38
1370.87/1371.34 c 1368s | 25 | 6278187 | 5330998 | 1558 8054 | 61 | 38
1372.87/1373.36 c 1371s | 25 | 6284922 | 5336998 | 1558 8060 | 61 | 38
1374.97/1375.40 c 1373s | 25 | 6291620 | 5342898 | 1558 8067 | 61 | 38
1376.97/1377.40 c 1375s | 25 | 6298414 | 5348798 | 1558 8074 | 61 | 38
1378.97/1379.41 c 1377s | 25 | 6304934 | 5354498 | 1558 8081 | 61 | 38
1380.97/1381.41 c 1379s | 25 | 6312431 | 5360898 | 1558 8088 | 61 | 38
1382.96/1383.44 c 1381s | 25 | 6319006 | 5366698 | 1558 8095 | 61 | 38
1384.96/1385.44 c 1383s | 25 | 6325456 | 5372398 | 1558 8101 | 61 | 38
1386.96/1387.45 c 1385s | 25 | 6332035 | 5378098 | 1558 8108 | 61 | 38
1388.97/1389.46 c 1387s | 25 | 6338533 | 5383798 | 1558 8115 | 61 | 38
1390.96/1391.49 c 1389s | 25 | 6345113 | 5389498 | 1558 8121 | 61 | 38
1393.06/1393.52 c 1391s | 25 | 6351401 | 5394998 | 1558 8128 | 61 | 38
1395.06/1395.55 c 1393s | 25 | 6357730 | 5400498 | 1558 8134 | 61 | 38
1397.06/1397.55 c 1395s | 25 | 6364731 | 5406598 | 1558 8141 | 61 | 38
1399.06/1399.55 c 1397s | 25 | 6371729 | 5412698 | 1558 8148 | 61 | 38
1401.07/1401.58 c 1399s | 25 | 6378639 | 5418698 | 1558 8155 | 61 | 38
1403.06/1403.59 c 1401s | 25 | 6385241 | 5424398 | 1558 8162 | 61 | 38
1405.16/1405.60 c 1403s | 25 | 6392113 | 5430398 | 1558 8169 | 61 | 38
1407.16/1407.63 c 1405s | 25 | 6398779 | 5436198 | 1558 8175 | 61 | 38
1409.16/1409.66 c 1407s | 25 | 6405191 | 5441898 | 1558 8182 | 61 | 38
1411.16/1411.66 c 1409s | 25 | 6411452 | 5447498 | 1558 8188 | 61 | 38
1413.17/1413.67 c 1411s | 25 | 6417594 | 5452998 | 1558 8195 | 61 | 38
1415.16/1415.68 c 1413s | 25 | 6424942 | 5459398 | 1558 8202 | 61 | 38
1417.26/1417.70 c 1415s | 25 | 6432416 | 5465998 | 1558 8210 | 61 | 38
1419.26/1419.73 c 1417s | 25 | 6439179 | 5471998 | 1558 8217 | 61 | 38
1421.26/1421.77 c 1419s | 25 | 6446790 | 5478698 | 1558 8225 | 61 | 38
1423.26/1423.77 c 1421s | 25 | 6454489 | 5485398 | 1558 8232 | 61 | 38
1425.26/1425.79 c 1423s | 25 | 6462225 | 5492098 | 1558 8240 | 61 | 38
1427.36/1427.82 c 1425s | 25 | 6469650 | 5498598 | 1558 8248 | 61 | 38
1429.36/1429.83 c 1427s | 25 | 6476625 | 5504698 | 1558 8255 | 61 | 38
1431.36/1431.83 c 1429s | 25 | 6483779 | 5510998 | 1558 8262 | 61 | 38
1433.36/1433.84 c 1431s | 25 | 6490627 | 5516998 | 1558 8269 | 61 | 38
1435.35/1435.84 c 1433s | 25 | 6497918 | 5523298 | 1558 8276 | 61 | 38
1437.36/1437.85 c 1435s | 25 | 6505012 | 5529498 | 1558 8283 | 61 | 38
1439.35/1439.87 c 1437s | 25 | 6511848 | 5535498 | 1558 8290 | 61 | 38
1441.45/1441.90 c 1439s | 25 | 6518915 | 5541698 | 1558 8298 | 61 | 38
1443.45/1443.91 c 1441s | 25 | 6525897 | 5547798 | 1558 8305 | 61 | 38
1445.45/1445.93 c 1443s | 25 | 6532959 | 5553998 | 1558 8312 | 61 | 38
1447.45/1447.95 c 1445s | 25 | 6539730 | 5559998 | 1558 8319 | 61 | 38
1449.46/1449.96 c 1447s | 25 | 6546779 | 5566198 | 1558 8326 | 61 | 38
1451.45/1451.99 c 1449s | 25 | 6553722 | 5572298 | 1558 8333 | 61 | 38
1453.55/1454.02 c 1451s | 25 | 6560706 | 5578398 | 1558 8340 | 61 | 38
1455.55/1456.03 c 1453s | 25 | 6567713 | 5584498 | 1558 8347 | 61 | 38
1457.55/1458.05 c 1455s | 25 | 6575465 | 5591098 | 1558 8355 | 61 | 38
1459.55/1460.05 c 1457s | 25 | 6583073 | 5597498 | 1558 8362 | 61 | 38
1461.56/1462.06 c 1459s | 25 | 6590728 | 5604298 | 1558 8370 | 61 | 38
1463.55/1464.08 c 1461s | 25 | 6597452 | 5610298 | 1558 8377 | 61 | 38
1465.65/1466.10 c 1463s | 25 | 6604269 | 5616198 | 1558 8384 | 61 | 38
1467.65/1468.11 c 1465s | 25 | 6611221 | 5622198 | 1558 8391 | 61 | 38
1469.65/1470.12 c 1467s | 25 | 6618251 | 5628398 | 1558 8398 | 61 | 38
1471.65/1472.15 c 1469s | 25 | 6625130 | 5634398 | 1558 8405 | 61 | 38
1473.65/1474.15 c 1471s | 25 | 6631793 | 5640198 | 1558 8412 | 61 | 38
1475.65/1476.18 c 1473s | 25 | 6638555 | 5646198 | 1558 8419 | 61 | 38
1477.65/1478.18 c 1475s | 25 | 6645019 | 5651998 | 1558 8426 | 61 | 38
1479.65/1480.19 c 1477s | 25 | 6652119 | 5658398 | 1558 8433 | 61 | 38
1481.75/1482.21 c 1479s | 25 | 6659147 | 5664598 | 1558 8440 | 61 | 38
1483.75/1484.23 c 1481s | 25 | 6667849 | 5672198 | 1558 8449 | 61 | 38
1485.76/1486.25 c 1483s | 25 | 6678762 | 5681598 | 1558 8460 | 61 | 38
1487.75/1488.27 c 1485s | 25 | 6689675 | 5691298 | 1558 8472 | 61 | 38
1489.75/1490.28 c 1487s | 25 | 6700755 | 5700898 | 1558 8483 | 61 | 38
1491.85/1492.30 c 1489s | 25 | 6712597 | 5710898 | 1558 8495 | 61 | 38
1493.85/1494.31 c 1491s | 25 | 6721642 | 5718598 | 1558 8504 | 61 | 38
1495.85/1496.32 c 1493s | 25 | 6732981 | 5727998 | 1558 8515 | 61 | 38
1497.86/1498.33 c 1495s | 25 | 6743320 | 5736498 | 1558 8525 | 61 | 38
1499.85/1500.34 c 1497s | 25 | 6754241 | 5745398 | 1558 8536 | 61 | 38
1501.85/1502.35 c 1499s | 25 | 6763869 | 5753298 | 1558 8545 | 61 | 38
1503.85/1504.37 c 1502s | 25 | 6773229 | 5761198 | 1558 8554 | 61 | 38
1505.85/1506.38 c 1504s | 25 | 6782162 | 5768698 | 1558 8563 | 61 | 38
1507.85/1508.38 c 1506s | 25 | 6791180 | 5776298 | 1558 8572 | 61 | 38
1509.96/1510.41 c 1508s | 25 | 6801001 | 5784298 | 1558 8582 | 61 | 38
1511.95/1512.44 c 1510s | 25 | 6811536 | 5792898 | 1558 8592 | 61 | 38
1513.95/1514.44 c 1512s | 25 | 6820550 | 5800398 | 1558 8600 | 61 | 38
1515.95/1516.45 c 1514s | 25 | 6831503 | 5809398 | 1558 8611 | 61 | 38
1517.95/1518.45 c 1516s | 25 | 6842143 | 5818398 | 1558 8622 | 61 | 38
1519.95/1520.46 c 1518s | 25 | 6852243 | 5826698 | 1558 8631 | 61 | 38
1521.95/1522.46 c 1520s | 25 | 6860238 | 5833498 | 1558 8639 | 61 | 38
1523.95/1524.47 c 1522s | 25 | 6870382 | 5841798 | 1558 8649 | 61 | 38
1525.95/1526.48 c 1524s | 25 | 6880968 | 5850298 | 1558 8659 | 61 | 38
1527.94/1528.49 c 1526s | 25 | 6891878 | 5859498 | 1558 8670 | 61 | 38
1529.94/1530.49 c 1528s | 25 | 6905139 | 5870998 | 1558 8684 | 61 | 38
1532.04/1532.50 c 1530s | 25 | 6917541 | 5881698 | 1558 8696 | 61 | 38
1534.05/1534.51 c 1532s | 25 | 6929619 | 5892298 | 1558 8709 | 61 | 38
1536.04/1536.53 c 1534s | 25 | 6942847 | 5903398 | 1558 8722 | 61 | 38
1538.04/1538.55 c 1536s | 25 | 6951772 | 5910798 | 1558 8730 | 61 | 38
1540.04/1540.55 c 1538s | 25 | 6962882 | 5919598 | 1558 8741 | 61 | 38
1542.04/1542.56 c 1540s | 25 | 6973653 | 5928198 | 1558 8751 | 61 | 38
1544.05/1544.56 c 1542s | 25 | 6983934 | 5936598 | 1558 8761 | 61 | 38
1546.04/1546.58 c 1544s | 25 | 6994539 | 5945098 | 1558 8771 | 61 | 38
1548.04/1548.58 c 1546s | 25 | 7004978 | 5953298 | 1558 8781 | 61 | 38
1550.04/1550.59 c 1548s | 25 | 7015493 | 5961798 | 1558 8791 | 61 | 38
1552.14/1552.61 c 1550s | 25 | 7025752 | 5970098 | 1558 8801 | 61 | 38
1554.14/1554.61 c 1552s | 25 | 7034875 | 5977498 | 1558 8809 | 61 | 38
1556.15/1556.62 c 1554s | 25 | 7043874 | 5984798 | 1558 8818 | 61 | 38
1558.14/1558.65 c 1556s | 25 | 7052712 | 5991998 | 1558 8826 | 61 | 38
1560.14/1560.65 c 1558s | 25 | 7061736 | 5999398 | 1558 8835 | 61 | 38
1562.14/1562.68 c 1560s | 25 | 7072188 | 6007898 | 1558 8845 | 61 | 38
1564.14/1564.69 c 1562s | 25 | 7081633 | 6015598 | 1558 8854 | 61 | 38
1566.24/1566.71 c 1564s | 25 | 7092003 | 6024298 | 1558 8864 | 61 | 38
1568.24/1568.71 c 1566s | 25 | 7105420 | 6034998 | 1558 8877 | 61 | 38
1570.24/1570.73 c 1568s | 25 | 7118019 | 6044998 | 1558 8889 | 61 | 38
1572.24/1572.74 c 1570s | 25 | 7129994 | 6054798 | 1558 8901 | 61 | 38
1574.24/1574.74 c 1572s | 25 | 7140622 | 6063098 | 1558 8910 | 61 | 38
1576.24/1576.74 c 1574s | 25 | 7150755 | 6071198 | 1558 8920 | 61 | 38
1578.24/1578.76 c 1576s | 25 | 7161132 | 6079298 | 1558 8929 | 61 | 38
1580.24/1580.77 c 1578s | 25 | 7170466 | 6086998 | 1558 8938 | 61 | 38
1582.24/1582.79 c 1580s | 25 | 7181025 | 6095798 | 1558 8949 | 61 | 38
1584.34/1584.81 c 1582s | 25 | 7191227 | 6104198 | 1558 8959 | 61 | 38
1586.33/1586.83 c 1584s | 25 | 7201427 | 6112598 | 1558 8969 | 61 | 38
1588.33/1588.86 c 1586s | 25 | 7209864 | 6119598 | 1558 8977 | 61 | 38
1590.33/1590.87 c 1588s | 25 | 7217950 | 6126498 | 1558 8985 | 61 | 38
1592.34/1592.87 c 1590s | 25 | 7225953 | 6133298 | 1558 8993 | 61 | 38
1594.33/1594.89 c 1592s | 25 | 7234708 | 6140498 | 1558 9002 | 61 | 38
1596.43/1596.91 c 1594s | 25 | 7243922 | 6147998 | 1558 9010 | 61 | 38
1598.43/1598.91 c 1596s | 25 | 7252030 | 6154798 | 1558 9018 | 61 | 38
1600.43/1600.92 c 1598s | 25 | 7260446 | 6161798 | 1558 9027 | 61 | 38
1602.43/1602.95 c 1600s | 25 | 7268737 | 6168698 | 1558 9035 | 61 | 38
1604.44/1604.97 c 1602s | 25 | 7277312 | 6175498 | 1558 9043 | 61 | 38
1606.43/1606.97 c 1604s | 25 | 7284554 | 6181598 | 1558 9050 | 61 | 38
1608.53/1609.01 c 1606s | 25 | 7292428 | 6188098 | 1558 9057 | 61 | 38
1610.53/1611.01 c 1608s | 25 | 7300386 | 6194798 | 1558 9065 | 61 | 38
1612.53/1613.03 c 1610s | 25 | 7309331 | 6202198 | 1558 9074 | 61 | 38
1614.53/1615.05 c 1612s | 25 | 7318094 | 6209398 | 1558 9082 | 61 | 38
1616.54/1617.07 c 1614s | 25 | 7327099 | 6216598 | 1558 9091 | 61 | 38
1618.53/1619.08 c 1616s | 25 | 7334856 | 6223098 | 1558 9098 | 61 | 38
1620.63/1621.10 c 1618s | 25 | 7342550 | 6229398 | 1558 9106 | 61 | 38
1622.63/1623.12 c 1620s | 25 | 7351000 | 6236298 | 1558 9114 | 61 | 38
1624.63/1625.14 c 1622s | 25 | 7358657 | 6242798 | 1558 9121 | 61 | 38
1626.63/1627.16 c 1624s | 25 | 7366297 | 6249298 | 1558 9129 | 61 | 38
1628.63/1629.17 c 1626s | 25 | 7374369 | 6256198 | 1558 9137 | 61 | 38
1630.63/1631.18 c 1628s | 25 | 7381833 | 6262598 | 1558 9145 | 61 | 38
1632.73/1633.20 c 1630s | 25 | 7390181 | 6269598 | 1558 9153 | 61 | 38
1634.73/1635.22 c 1632s | 25 | 7398227 | 6276298 | 1558 9161 | 61 | 38
1636.73/1637.23 c 1634s | 25 | 7406806 | 6283498 | 1558 9169 | 61 | 38
1638.72/1639.26 c 1636s | 25 | 7414614 | 6290098 | 1558 9177 | 61 | 38
1640.73/1641.28 c 1638s | 25 | 7422367 | 6296698 | 1558 9184 | 61 | 38
1642.82/1643.30 c 1640s | 25 | 7431127 | 6303898 | 1558 9193 | 61 | 38
1644.82/1645.32 c 1642s | 25 | 7439997 | 6311098 | 1558 9202 | 61 | 38
1646.82/1647.33 c 1644s | 25 | 7448784 | 6318298 | 1558 9210 | 61 | 38
1648.83/1649.34 c 1646s | 25 | 7457517 | 6325598 | 1558 9219 | 61 | 38
1650.83/1651.35 c 1648s | 25 | 7464833 | 6331798 | 1558 9226 | 61 | 38
1652.84/1653.36 c 1650s | 25 | 7473962 | 6339098 | 1558 9235 | 61 | 38
1654.83/1655.38 c 1653s | 25 | 7483273 | 6346598 | 1558 9243 | 61 | 38
1656.83/1657.39 c 1655s | 25 | 7491926 | 6353998 | 1558 9252 | 61 | 38
1658.93/1659.40 c 1657s | 25 | 7501222 | 6361698 | 1558 9261 | 61 | 38
1660.93/1661.40 c 1659s | 25 | 7511788 | 6370598 | 1558 9271 | 61 | 38
1662.93/1663.40 c 1661s | 25 | 7521956 | 6378798 | 1558 9281 | 61 | 38
1664.93/1665.41 c 1663s | 25 | 7530409 | 6385898 | 1558 9289 | 61 | 38
1666.93/1667.42 c 1665s | 25 | 7538547 | 6392798 | 1558 9298 | 61 | 38
1668.93/1669.43 c 1667s | 25 | 7547692 | 6400398 | 1558 9307 | 61 | 38
1670.93/1671.44 c 1669s | 25 | 7556035 | 6407398 | 1558 9315 | 61 | 38
1672.93/1673.46 c 1671s | 25 | 7564829 | 6414898 | 1558 9324 | 61 | 38
1674.93/1675.47 c 1673s | 25 | 7572188 | 6421398 | 1558 9331 | 61 | 38
1676.93/1677.49 c 1675s | 25 | 7579964 | 6428098 | 1558 9339 | 61 | 38
1678.92/1679.50 c 1677s | 25 | 7587749 | 6434698 | 1558 9347 | 61 | 38
1681.02/1681.51 c 1679s | 25 | 7596267 | 6441898 | 1558 9356 | 61 | 38
1683.02/1683.53 c 1681s | 25 | 7604237 | 6448698 | 1558 9364 | 61 | 38
1685.02/1685.53 c 1683s | 25 | 7615325 | 6457798 | 1558 9374 | 61 | 38
1687.03/1687.53 c 1685s | 25 | 7625123 | 6465798 | 1558 9384 | 61 | 38
1689.02/1689.55 c 1687s | 25 | 7636485 | 6475198 | 1558 9395 | 61 | 38
1691.02/1691.56 c 1689s | 25 | 7646037 | 6483198 | 1558 9405 | 61 | 38
1693.02/1693.58 c 1691s | 25 | 7657834 | 6492598 | 1558 9416 | 61 | 38
1695.02/1695.58 c 1693s | 25 | 7669629 | 6502398 | 1558 9427 | 61 | 38
1697.12/1697.60 c 1695s | 25 | 7679942 | 6510798 | 1558 9437 | 61 | 38
1699.13/1699.62 c 1697s | 25 | 7690588 | 6519698 | 1558 9448 | 61 | 38
1701.12/1701.62 c 1699s | 25 | 7701586 | 6528598 | 1558 9458 | 61 | 38
1703.12/1703.64 c 1701s | 25 | 7713304 | 6538198 | 1558 9469 | 61 | 38
1705.12/1705.65 c 1703s | 25 | 7721693 | 6544998 | 1558 9478 | 61 | 38
1707.12/1707.67 c 1705s | 25 | 7730384 | 6551998 | 1558 9486 | 61 | 38
1709.12/1709.67 c 1707s | 25 | 7738991 | 6559398 | 1558 9495 | 61 | 38
1711.13/1711.68 c 1709s | 25 | 7750791 | 6569398 | 1558 9506 | 61 | 38
1713.12/1713.69 c 1711s | 25 | 7759874 | 6576998 | 1558 9515 | 61 | 38
1715.22/1715.70 c 1713s | 25 | 7769876 | 6585298 | 1558 9525 | 61 | 38
1717.22/1717.72 c 1715s | 25 | 7780000 | 6593798 | 1558 9535 | 61 | 38
1719.22/1719.72 c 1717s | 25 | 7788820 | 6601098 | 1558 9544 | 61 | 38
1721.22/1721.74 c 1719s | 25 | 7797197 | 6608198 | 1558 9552 | 61 | 38
1723.22/1723.74 c 1721s | 25 | 7805105 | 6615098 | 1558 9560 | 61 | 38
1725.22/1725.76 c 1723s | 25 | 7814109 | 6622698 | 1558 9569 | 61 | 38
1727.22/1727.77 c 1725s | 25 | 7823014 | 6630298 | 1558 9578 | 61 | 38
1729.22/1729.78 c 1727s | 25 | 7831085 | 6637298 | 1558 9587 | 61 | 38
1731.22/1731.78 c 1729s | 25 | 7840968 | 6645698 | 1558 9597 | 61 | 38
1733.22/1733.79 c 1731s | 25 | 7851220 | 6654298 | 1558 9607 | 61 | 38
1735.32/1735.81 c 1733s | 25 | 7861960 | 6662998 | 1558 9617 | 61 | 38
1737.31/1737.82 c 1735s | 25 | 7872627 | 6671698 | 1558 9627 | 61 | 38
1739.31/1739.84 c 1737s | 25 | 7882907 | 6680298 | 1558 9637 | 61 | 38
1741.31/1741.87 c 1739s | 25 | 7893412 | 6688598 | 1558 9647 | 61 | 38
1743.31/1743.88 c 1741s | 25 | 7903425 | 6696698 | 1558 9657 | 61 | 38
1745.41/1745.90 c 1743s | 25 | 7912697 | 6704198 | 1558 9666 | 61 | 38
1747.42/1747.91 c 1745s | 25 | 7921978 | 6711898 | 1558 9675 | 61 | 38
1749.41/1749.92 c 1747s | 25 | 7931089 | 6719298 | 1558 9683 | 61 | 38
1751.41/1751.92 c 1749s | 25 | 7939402 | 6725998 | 1558 9691 | 61 | 38
1753.41/1753.92 c 1751s | 25 | 7948120 | 6733098 | 1558 9700 | 61 | 38
1755.41/1755.93 c 1753s | 25 | 7957681 | 6740798 | 1558 9709 | 61 | 38
1757.42/1757.95 c 1755s | 25 | 7966703 | 6748098 | 1558 9717 | 61 | 38
1759.41/1759.96 c 1757s | 25 | 7976478 | 6756098 | 1558 9727 | 61 | 38
1761.41/1761.99 c 1759s | 25 | 7985494 | 6763498 | 1558 9735 | 61 | 38
1763.51/1764.01 c 1761s | 25 | 7994631 | 6771098 | 1558 9744 | 61 | 38
1765.51/1766.02 c 1763s | 25 | 8004147 | 6778698 | 1558 9753 | 61 | 38
1767.51/1768.02 c 1765s | 25 | 8012891 | 6785998 | 1558 9762 | 61 | 38
1769.51/1770.03 c 1767s | 25 | 8023486 | 6794798 | 1558 9773 | 61 | 38
1771.51/1772.05 c 1769s | 25 | 8035362 | 6804498 | 1558 9784 | 61 | 38
1773.51/1774.05 c 1771s | 25 | 8044832 | 6812298 | 1558 9793 | 61 | 38
1775.51/1776.06 c 1773s | 25 | 8054163 | 6819798 | 1558 9802 | 61 | 38
1777.51/1778.08 c 1775s | 25 | 8063077 | 6827198 | 1558 9811 | 61 | 38
1779.51/1780.09 c 1777s | 25 | 8072341 | 6835098 | 1558 9820 | 61 | 38
1781.61/1782.11 c 1779s | 25 | 8080022 | 6841898 | 1558 9828 | 61 | 38
1783.60/1784.13 c 1781s | 25 | 8088689 | 6849198 | 1558 9836 | 61 | 38
1785.60/1786.13 c 1783s | 25 | 8095922 | 6855398 | 1558 9844 | 61 | 38
1787.60/1788.15 c 1785s | 25 | 8103710 | 6862198 | 1558 9852 | 61 | 38
1789.60/1790.17 c 1787s | 25 | 8111578 | 6868998 | 1558 9860 | 61 | 38
1791.60/1792.18 c 1789s | 25 | 8119028 | 6875398 | 1558 9867 | 61 | 38
1793.61/1794.18 c 1791s | 25 | 8126677 | 6881898 | 1558 9875 | 61 | 38
1795.60/1796.18 c 1793s | 25 | 8134371 | 6888498 | 1558 9882 | 61 | 38
1797.70/1798.21 c 1795s | 25 | 8144963 | 6897098 | 1558 9893 | 61 | 38
1799.70/1800.24 c 1797s | 25 | 8152606 | 6903598 | 1558 9900 | 61 | 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-4117825-1467215713/watcher-4117825-1467215713 -o /tmp/evaluation-result-4117825-1467215713/solver-4117825-1467215713 -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-4117825-1467215713.opb
pid=2654
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.20 2.22 2.18 2/170 2657
/proc/meminfo: memFree=28681172/32872528 swapFree=1553660/1717180
[pid=2657] ppid=2654 vsize=683452 CPUtime=0 cores=0,2,4,6
/proc/2657/stat : 2657 (toysat) R 2654 2657 1984 0 -1 4202496 2539 0 0 0 0 0 0 0 20 0 4 0 598924 699854848 3411 33554432000 4194304 16246674 140735549158656 140735549158080 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2657/statm: 171375 3419 441 2943 0 168269 0
[pid=2657/tid=2658] ppid=2654 vsize=700860 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2658/stat : 2658 (toysat) S 2654 2657 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 598924 717680640 3480 33554432000 4194304 16246674 140735549158656 139971270782192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2657/tid=2659] ppid=2654 vsize=704956 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2659/stat : 2659 (toysat) S 2654 2657 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598924 721874944 3498 33554432000 4194304 16246674 140735549158656 139971260292336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2657/tid=2660] ppid=2654 vsize=709052 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 726069248 3515 33554432000 4194304 16246674 140735549158656 139971172232368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[startup+0.100122 s]
/proc/loadavg: 2.20 2.22 2.18 2/170 2657
/proc/meminfo: memFree=28681172/32872528 swapFree=1553660/1717180
[pid=2657] ppid=2654 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/2657/stat : 2657 (toysat) R 2654 2657 1984 0 -1 4202496 25388 0 0 0 6 3 0 0 20 0 4 0 598924 1247350784 26249 33554432000 4194304 16246674 140735549158656 140735549158080 13191638 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2657/statm: 304529 26254 737 2943 0 301423 0
[pid=2657/tid=2658] ppid=2654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2658/stat : 2658 (toysat) S 2654 2657 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 598924 1247350784 26260 33554432000 4194304 16246674 140735549158656 139971270782192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2657/tid=2659] ppid=2654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2659/stat : 2659 (toysat) S 2654 2657 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598924 1247350784 26272 33554432000 4194304 16246674 140735549158656 139971260292336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2657/tid=2660] ppid=2654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 1247350784 26277 33554432000 4194304 16246674 140735549158656 139971172232368 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.200485 s]
/proc/loadavg: 2.20 2.22 2.18 2/170 2657
/proc/meminfo: memFree=28681172/32872528 swapFree=1553660/1717180
[pid=2657] ppid=2654 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/2657/stat : 2657 (toysat) R 2654 2657 1984 0 -1 4202496 47629 0 0 0 13 6 0 0 20 0 4 0 598924 1247350784 48489 33554432000 4194304 16246674 140735549158656 140735549158080 5708022 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2657/statm: 304529 48499 737 2943 0 301423 0
[pid=2657/tid=2658] ppid=2654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2658/stat : 2658 (toysat) S 2654 2657 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 598924 1247350784 48507 33554432000 4194304 16246674 140735549158656 139971270782192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2657/tid=2659] ppid=2654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2659/stat : 2659 (toysat) S 2654 2657 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598924 1247350784 48515 33554432000 4194304 16246674 140735549158656 139971260292336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2657/tid=2660] ppid=2654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 1247350784 48523 33554432000 4194304 16246674 140735549158656 139971172232368 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.30047 s]
/proc/loadavg: 2.20 2.22 2.18 2/170 2657
/proc/meminfo: memFree=28681172/32872528 swapFree=1553660/1717180
[pid=2657] ppid=2654 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/2657/stat : 2657 (toysat) R 2654 2657 1984 0 -1 4202496 71157 0 0 0 21 8 0 0 20 0 4 0 598924 1247350784 72017 33554432000 4194304 16246674 140735549158656 140735549158080 5516309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2657/statm: 304529 72025 738 2943 0 301423 0
[pid=2657/tid=2658] ppid=2654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2658/stat : 2658 (toysat) S 2654 2657 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 598924 1247350784 72030 33554432000 4194304 16246674 140735549158656 139971270782192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2657/tid=2659] ppid=2654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2659/stat : 2659 (toysat) S 2654 2657 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598924 1247350784 72035 33554432000 4194304 16246674 140735549158656 139971260292336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2657/tid=2660] ppid=2654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 1247350784 72040 33554432000 4194304 16246674 140735549158656 139971172232368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116
[startup+0.70038 s]
/proc/loadavg: 2.20 2.22 2.18 2/170 2657
/proc/meminfo: memFree=28681172/32872528 swapFree=1553660/1717180
[pid=2657] ppid=2654 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/2657/stat : 2657 (toysat) R 2654 2657 1984 0 -1 4202496 161824 0 0 0 48 21 0 0 20 0 4 0 598924 1247350784 162683 33554432000 4194304 16246674 140735549158656 140735549140544 5532301 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2657/statm: 304529 162697 783 2943 0 301423 0
[pid=2657/tid=2658] ppid=2654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2658/stat : 2658 (toysat) S 2654 2657 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 598924 1247350784 162706 33554432000 4194304 16246674 140735549158656 139971270782192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2657/tid=2659] ppid=2654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2659/stat : 2659 (toysat) S 2654 2657 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598924 1247350784 162716 33554432000 4194304 16246674 140735549158656 139971260292336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2657/tid=2660] ppid=2654 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 1247350784 162726 33554432000 4194304 16246674 140735549158656 139971172232368 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.5004 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 2677
/proc/meminfo: memFree=26855196/32872528 swapFree=1553660/1717180
[pid=2657] ppid=2654 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/2657/stat : 2657 (toysat) R 2654 2657 1984 0 -1 4202496 245752 0 0 0 116 33 0 0 20 0 4 0 598924 1248399360 246589 33554432000 4194304 16246674 140735549158656 140735549140544 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2657/statm: 304785 246589 846 2943 0 301679 0
[pid=2657/tid=2658] ppid=2654 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2658/stat : 2658 (toysat) S 2654 2657 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 598924 1248399360 246589 33554432000 4194304 16246674 140735549158656 139971270782192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2657/tid=2659] ppid=2654 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2659/stat : 2659 (toysat) S 2654 2657 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598924 1248399360 246589 33554432000 4194304 16246674 140735549158656 139971260292336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2657/tid=2660] ppid=2654 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 1248399360 246589 33554432000 4194304 16246674 140735549158656 139971172232368 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.10042 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 2677
/proc/meminfo: memFree=26523744/32872528 swapFree=1553660/1717180
[pid=2657] ppid=2654 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/2657/stat : 2657 (toysat) R 2654 2657 1984 0 -1 4202496 267515 0 0 0 272 37 0 0 20 0 4 0 598924 1337528320 268352 33554432000 4194304 16246674 140735549158656 140735549140544 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2657/statm: 326545 268352 846 2943 0 323439 0
[pid=2657/tid=2658] ppid=2654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2658/stat : 2658 (toysat) S 2654 2657 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 598924 1337528320 268352 33554432000 4194304 16246674 140735549158656 139971270782192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2657/tid=2659] ppid=2654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2659/stat : 2659 (toysat) S 2654 2657 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598924 1337528320 268352 33554432000 4194304 16246674 140735549158656 139971260292336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2657/tid=2660] ppid=2654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 1337528320 268352 33554432000 4194304 16246674 140735549158656 139971172232368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180
[startup+6.30041 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 2677
/proc/meminfo: memFree=26521980/32872528 swapFree=1553660/1717180
[pid=2657] ppid=2654 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/2657/stat : 2657 (toysat) R 2654 2657 1984 0 -1 4202496 267557 0 0 0 592 37 0 0 20 0 4 0 598924 1337528320 268394 33554432000 4194304 16246674 140735549158656 140735549140544 6861764 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2657/statm: 326545 268394 848 2943 0 323439 0
[pid=2657/tid=2658] ppid=2654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2658/stat : 2658 (toysat) S 2654 2657 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 598924 1337528320 268394 33554432000 4194304 16246674 140735549158656 139971270782192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2657/tid=2659] ppid=2654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2659/stat : 2659 (toysat) S 2654 2657 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598924 1337528320 268394 33554432000 4194304 16246674 140735549158656 139971260292336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2657/tid=2660] ppid=2654 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 1337528320 268394 33554432000 4194304 16246674 140735549158656 139971172232368 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.24 2.22 2.19 4/183 2677
/proc/meminfo: memFree=26521340/32872528 swapFree=1553660/1717180
[pid=2657] ppid=2654 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/2657/stat : 2657 (toysat) R 2654 2657 1984 0 -1 4202496 267665 0 0 0 1232 37 0 0 20 0 4 0 598924 1338576896 268502 33554432000 4194304 16246674 140735549158656 140735549140544 5588933 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2657/statm: 326801 268502 848 2943 0 323695 0
[pid=2657/tid=2658] ppid=2654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2658/stat : 2658 (toysat) S 2654 2657 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 598924 1338576896 268502 33554432000 4194304 16246674 140735549158656 139971270782192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2657/tid=2659] ppid=2654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2659/stat : 2659 (toysat) S 2654 2657 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598924 1338576896 268502 33554432000 4194304 16246674 140735549158656 139971260292336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2657/tid=2660] ppid=2654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 1338576896 268502 33554432000 4194304 16246674 140735549158656 139971172232368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204
[startup+25.5005 s]
/proc/loadavg: 2.20 2.21 2.18 3/182 2677
/proc/meminfo: memFree=26522500/32872528 swapFree=1553660/1717180
[pid=2657] ppid=2654 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/2657/stat : 2657 (toysat) R 2654 2657 1984 0 -1 4202496 267666 0 0 0 2512 37 0 0 20 0 4 0 598924 1338576896 268505 33554432000 4194304 16246674 140735549158656 140735549140544 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2657/statm: 326801 268505 848 2943 0 323695 0
[pid=2657/tid=2658] ppid=2654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2658/stat : 2658 (toysat) S 2654 2657 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 598924 1338576896 268505 33554432000 4194304 16246674 140735549158656 139971270782192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2657/tid=2659] ppid=2654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2659/stat : 2659 (toysat) S 2654 2657 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598924 1338576896 268505 33554432000 4194304 16246674 140735549158656 139971260292336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2657/tid=2660] ppid=2654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 1338576896 268505 33554432000 4194304 16246674 140735549158656 139971172232368 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.13 2.20 2.18 3/181 2677
/proc/meminfo: memFree=26522484/32872528 swapFree=1553660/1717180
[pid=2657] ppid=2654 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/2657/stat : 2657 (toysat) R 2654 2657 1984 0 -1 4202496 267685 0 0 0 5070 38 0 0 20 0 4 0 598924 1338576896 268516 33554432000 4194304 16246674 140735549158656 140735549140544 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2657/statm: 326801 268516 848 2943 0 323695 0
[pid=2657/tid=2658] ppid=2654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2658/stat : 2658 (toysat) S 2654 2657 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 598924 1338576896 268516 33554432000 4194304 16246674 140735549158656 139971270782192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2657/tid=2659] ppid=2654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2659/stat : 2659 (toysat) S 2654 2657 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598924 1338576896 268516 33554432000 4194304 16246674 140735549158656 139971260292336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2657/tid=2660] ppid=2654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 1338576896 268516 33554432000 4194304 16246674 140735549158656 139971172232368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204
[startup+102.3 s]
/proc/loadavg: 2.28 2.22 2.19 4/183 2680
/proc/meminfo: memFree=26521012/32872528 swapFree=1553660/1717180
[pid=2657] ppid=2654 vsize=1307204 CPUtime=102.27 cores=0,2,4,6
/proc/2657/stat : 2657 (toysat) R 2654 2657 1984 0 -1 4202496 267714 0 0 0 10188 39 0 0 20 0 4 0 598924 1338576896 268516 33554432000 4194304 16246674 140735549158656 140735549140544 12483272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2657/statm: 326801 268516 848 2943 0 323695 0
[pid=2657/tid=2658] ppid=2654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2658/stat : 2658 (toysat) S 2654 2657 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 598924 1338576896 268516 33554432000 4194304 16246674 140735549158656 139971270782192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2657/tid=2659] ppid=2654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2659/stat : 2659 (toysat) S 2654 2657 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598924 1338576896 268516 33554432000 4194304 16246674 140735549158656 139971260292336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2657/tid=2660] ppid=2654 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 1338576896 268516 33554432000 4194304 16246674 140735549158656 139971172232368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204
################
# More data... #
################
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269680 33554432000 4194304 16246674 140735549158656 139971172232368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1311300
[startup+1362.3 s]
/proc/loadavg: 2.11 2.21 2.20 4/183 2734
/proc/meminfo: memFree=26512376/32872528 swapFree=1553660/1717180
[pid=2657] ppid=2654 vsize=1311300 CPUtime=1361.87 cores=0,2,4,6
/proc/2657/stat : 2657 (toysat) R 2654 2657 1984 0 -1 4202496 269220 0 0 0 136136 51 0 0 20 0 4 0 598924 1342771200 269680 33554432000 4194304 16246674 140735549158656 140735549140544 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2657/statm: 327825 269680 849 2943 0 324719 0
[pid=2657/tid=2658] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2658/stat : 2658 (toysat) S 2654 2657 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269680 33554432000 4194304 16246674 140735549158656 139971270782192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2657/tid=2659] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2659/stat : 2659 (toysat) S 2654 2657 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269680 33554432000 4194304 16246674 140735549158656 139971260292336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2657/tid=2660] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269680 33554432000 4194304 16246674 140735549158656 139971172232368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1311300
[startup+1422.3 s]
/proc/loadavg: 2.20 2.22 2.20 3/183 2735
/proc/meminfo: memFree=26512376/32872528 swapFree=1553660/1717180
[pid=2657] ppid=2654 vsize=1311300 CPUtime=1421.86 cores=0,2,4,6
/proc/2657/stat : 2657 (toysat) R 2654 2657 1984 0 -1 4202496 269220 0 0 0 142135 51 0 0 20 0 4 0 598924 1342771200 269680 33554432000 4194304 16246674 140735549158656 140735549140544 5722180 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2657/statm: 327825 269680 849 2943 0 324719 0
[pid=2657/tid=2658] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2658/stat : 2658 (toysat) S 2654 2657 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269680 33554432000 4194304 16246674 140735549158656 139971270782192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2657/tid=2659] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2659/stat : 2659 (toysat) S 2654 2657 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269680 33554432000 4194304 16246674 140735549158656 139971260292336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2657/tid=2660] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269680 33554432000 4194304 16246674 140735549158656 139971172232368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1311300
[startup+1482.3 s]
/proc/loadavg: 2.13 2.19 2.19 3/183 2736
/proc/meminfo: memFree=26512376/32872528 swapFree=1553660/1717180
[pid=2657] ppid=2654 vsize=1311300 CPUtime=1481.85 cores=0,2,4,6
/proc/2657/stat : 2657 (toysat) R 2654 2657 1984 0 -1 4202496 269221 0 0 0 148134 51 0 0 20 0 4 0 598924 1342771200 269681 33554432000 4194304 16246674 140735549158656 140735549140544 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2657/statm: 327825 269681 850 2943 0 324719 0
[pid=2657/tid=2658] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2658/stat : 2658 (toysat) S 2654 2657 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269681 33554432000 4194304 16246674 140735549158656 139971270782192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2657/tid=2659] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2659/stat : 2659 (toysat) S 2654 2657 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269681 33554432000 4194304 16246674 140735549158656 139971260292336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2657/tid=2660] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269681 33554432000 4194304 16246674 140735549158656 139971172232368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1311300
[startup+1542.31 s]
/proc/loadavg: 2.14 2.18 2.18 4/184 2740
/proc/meminfo: memFree=26512024/32872528 swapFree=1553660/1717180
[pid=2657] ppid=2654 vsize=1311300 CPUtime=1541.85 cores=0,2,4,6
/proc/2657/stat : 2657 (toysat) R 2654 2657 1984 0 -1 4202496 269298 0 0 0 154133 52 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 140735549140544 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2657/statm: 327825 269758 850 2943 0 324719 0
[pid=2657/tid=2658] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2658/stat : 2658 (toysat) S 2654 2657 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 139971270782192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2657/tid=2659] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2659/stat : 2659 (toysat) S 2654 2657 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 139971260292336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2657/tid=2660] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 139971172232368 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) 1311300
[startup+1602.3 s]
/proc/loadavg: 2.33 2.22 2.19 3/183 2742
/proc/meminfo: memFree=26511788/32872528 swapFree=1553660/1717180
[pid=2657] ppid=2654 vsize=1311300 CPUtime=1601.83 cores=0,2,4,6
/proc/2657/stat : 2657 (toysat) R 2654 2657 1984 0 -1 4202496 269298 0 0 0 160131 52 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 140735549140544 5822492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2657/statm: 327825 269758 850 2943 0 324719 0
[pid=2657/tid=2658] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2658/stat : 2658 (toysat) S 2654 2657 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 139971270782192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2657/tid=2659] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2659/stat : 2659 (toysat) S 2654 2657 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 139971260292336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2657/tid=2660] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 139971172232368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1311300
[startup+1662.3 s]
/proc/loadavg: 2.21 2.21 2.18 4/183 2743
/proc/meminfo: memFree=26511916/32872528 swapFree=1553660/1717180
[pid=2657] ppid=2654 vsize=1311300 CPUtime=1661.83 cores=0,2,4,6
/proc/2657/stat : 2657 (toysat) R 2654 2657 1984 0 -1 4202496 269298 0 0 0 166130 53 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 140735549140544 5600312 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2657/statm: 327825 269758 850 2943 0 324719 0
[pid=2657/tid=2658] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2658/stat : 2658 (toysat) S 2654 2657 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 139971270782192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2657/tid=2659] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2659/stat : 2659 (toysat) S 2654 2657 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 139971260292336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2657/tid=2660] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 139971172232368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1311300
[startup+1722.3 s]
/proc/loadavg: 2.16 2.20 2.18 4/183 2744
/proc/meminfo: memFree=26511796/32872528 swapFree=1553660/1717180
[pid=2657] ppid=2654 vsize=1311300 CPUtime=1721.82 cores=0,2,4,6
/proc/2657/stat : 2657 (toysat) R 2654 2657 1984 0 -1 4202496 269298 0 0 0 172129 53 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 140735549140544 5822275 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2657/statm: 327825 269758 850 2943 0 324719 0
[pid=2657/tid=2658] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2658/stat : 2658 (toysat) S 2654 2657 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 139971270782192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2657/tid=2659] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2659/stat : 2659 (toysat) S 2654 2657 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 139971260292336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2657/tid=2660] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 139971172232368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1311300
[startup+1782.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/183 2745
/proc/meminfo: memFree=26511544/32872528 swapFree=1553660/1717180
[pid=2657] ppid=2654 vsize=1311300 CPUtime=1781.81 cores=0,2,4,6
/proc/2657/stat : 2657 (toysat) R 2654 2657 1984 0 -1 4202496 269298 0 0 0 178128 53 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 140735549140544 13193025 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2657/statm: 327825 269758 850 2943 0 324719 0
[pid=2657/tid=2658] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2658/stat : 2658 (toysat) S 2654 2657 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 139971270782192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2657/tid=2659] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2659/stat : 2659 (toysat) S 2654 2657 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 139971260292336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2657/tid=2660] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 139971172232368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1311300
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.11 2.18 2.17 3/183 2745
/proc/meminfo: memFree=26511548/32872528 swapFree=1553660/1717180
[pid=2657] ppid=2654 vsize=1311300 CPUtime=1800 cores=0,2,4,6
/proc/2657/stat : 2657 (toysat) R 2654 2657 1984 0 -1 4202496 269298 0 0 0 179947 53 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 140735549140544 5670313 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2657/statm: 327825 269758 850 2943 0 324719 0
[pid=2657/tid=2658] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2658/stat : 2658 (toysat) S 2654 2657 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 139971270782192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2657/tid=2659] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2659/stat : 2659 (toysat) S 2654 2657 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 139971260292336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2657/tid=2660] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 139971172232368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1311300
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 2657 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.11 2.18 2.17 3/183 2745
/proc/meminfo: memFree=26511548/32872528 swapFree=1553660/1717180
[pid=2657] ppid=2654 vsize=1311300 CPUtime=1800 cores=0,2,4,6
/proc/2657/stat : 2657 (toysat) R 2654 2657 1984 0 -1 4202496 269298 0 0 0 179947 53 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 140735549140544 5670313 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2657/statm: 327825 269758 850 2943 0 324719 0
[pid=2657/tid=2658] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2658/stat : 2658 (toysat) S 2654 2657 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 139971270782192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2657/tid=2659] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2659/stat : 2659 (toysat) S 2654 2657 1984 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 139971260292336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2657/tid=2660] ppid=2654 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/2657/task/2660/stat : 2660 (toysat) S 2654 2657 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 598924 1342771200 269758 33554432000 4194304 16246674 140735549158656 139971172232368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1311300
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.48
CPU system time (s): 0.535918
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1311300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.535918
maximum resident set size= 1079032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269298
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= 393
involuntary context switches= 1840
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.27135 second user time and 7.2609 second system time
The end