0.00/0.00 c 2016-06-29T17:06:00+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-4117465-1467212760.opb"]
0.00/0.01 c use --random-gen="3322689030 3254349846 341839895 1604704396 128031761 442164876 1756794524 778306990 3629844505 160337381 4168484011 2653095630 1347222532 2282872857 127769070 1340849243 4129252323 585906972 1652060901 3223387461 2403026290 632509015 100398850 959783495 1094280266 3573245611 2960732757 4201437118 973355308 4037011266 1727730554 760256712 932813255 3228591701 2087598792 3263275451 706603099 1628789508 1991903503 776373907 1041679106 291373769 2728578134 4009243678 1728984650 879096701 2375765809 381265253 2731205032 2101063113 28414854 4096722224 2525957412 862432521 1632518763 2210360150 3157678657 1042423944 2468063539 190770668 3887698326 1595459791 1406849958 3817940927 2868451842 3194936491 2469622067 588637568 963604005 3099546954 3516867652 1936559156 3810316404 510181368 4143331805 3187284728 421755541 1436327616 1675365760 2366333737 3115125977 1637427020 1038221418 947016358 93526684 3920929133 3857645593 1534504015 2983873743 227532701 862708836 823231452 3906286874 1643315852 526814629 843502748 1051002556 4281219087 513904979 2947314572 2852099322 1914794893 2589473485 854157370 3349386045 3151795512 278932674 2868114851 2245910255 1832062208 3059805557 3724984272 3095114141 4207168050 4118274035 4170037868 1139383641 1056048440 2520969358 2570829321 3508678213 1879820063 1164778310 3703790600 337064537 3078317225 2534233190 2954124206 2386981952 239923304 1740218448 4252686214 3163555413 3186096299 2514047198 526740848 833523176 517460888 2806168684 2313391085 1334399451 3187217462 3376069492 2512414015 2341100367 2887874308 3401693577 461005409 4236367654 696766405 4040408107 4195748309 1147300145 602761933 1096679252 835323529 57352404 1764816129 874519116 2722672866 3677614772 1008010653 171538341 2345399638 1313870938 885552807 3156781499 2888130003 2779746101 2773639496 659628971 4267970925 57649359 1355701122 3858430311 2939369118 3676458728 3975086499 2618029418 3352507534 859241956 2751824838 3870609981 868360551 2589975879 2275847687 3113760446 1317737918 1540281980 4094878639 298243291 2628445278 3857993884 3303928303 686283105 1174884376 1810176591 3124965024 3062919458 1277714387 2208539861 1775503721 3974034679 3089971060 3238223825 4211439020 656178949 3677908316 4026836702 3245018447 4232200804 3085438667 2338366419 2319631805 116838513 3780868846 889897226 2734696974 2332191618 30892094 2941124380 2217564561 448806471 856237394 2894333533 1540953997 659147372 1609234294 4195371264 1216243451 1043474682 2989353570 2132353001 3676358120 1813897293 1125522638 3741691292 1702080029 1290361081 2626506425 3717878422 3631976625 1810197841 1043401148 1593123790 2844986251 1610471954 825825603 2763426711 1527147765 1974845511 1833074976 711062214 3275804455 1757859369 129718186 255 362436" option to reproduce the execution
0.00/0.01 c #vars 144
0.00/0.01 c #constraints 70
0.00/0.01 c BCD2: Hardening is enabled.
0.00/0.01 c BCD2: BiasedSearch is enabled.
0.00/0.01 c Solving starts ...
0.00/0.01 c ============================[ Search Statistics ]============================
0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.01 c | | | | Limit GC | Var | Constra
0.00/0.01 c =============================================================================
0.00/0.01 c 0.0s | 0 | 0 | 0 | 90 0 | 11 | 0
0.00/0.02 c 0.0s | 0 | 37 | 20 | 90 0 | 11 | 0
0.00/0.02 c #cpu_time = 0.003s
0.00/0.02 c #wall_clock_time = 0.003s
0.00/0.02 c #decision = 37
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 20
0.00/0.02 c #restart = 0
0.00/0.02 o 72
0.00/0.02 c BCD2: updating upper bound: 144 -> 71
0.00/0.02 c BCD2: 0 <= obj <= 71
0.00/0.02 c BCD2: #cores=0, #unrelaxed=144, #relaxed=0, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 90 0 | 11 | 0
0.00/0.02 c 0.0s | 0 | 3 | 0 | 90 0 | 11 | 0
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 3
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 4: cost of the new core is >=1
0.00/0.02 c lower bound updated to 1
0.00/0.02 c BCD2: 1 <= obj <= 71
0.00/0.02 c BCD2: #cores=1, #unrelaxed=140, #relaxed=4, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 90 0 | 11 | 0
0.00/0.02 c 0.0s | 0 | 4 | 1 | 90 0 | 11 | 0
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 4
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 1
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 7: cost of the new core is >=2
0.00/0.02 c lower bound updated to 2
0.00/0.02 c BCD2: 2 <= obj <= 71
0.00/0.02 c BCD2: #cores=1, #unrelaxed=137, #relaxed=7, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=3 bias=3/4
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 90 0 | 12 | 0
0.00/0.02 c 0.0s | 0 | 2 | 0 | 90 0 | 12 | 1
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 2
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.02 c lower bound updated to 3
0.00/0.02 c BCD2: 3 <= obj <= 71
0.00/0.02 c BCD2: #cores=2, #unrelaxed=136, #relaxed=8, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=4 bias=4/5
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 90 0 | 12 | 1
0.00/0.02 c 0.0s | 0 | 3 | 0 | 90 0 | 12 | 1
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 3
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.02 c lower bound updated to 4
0.00/0.02 c BCD2: 4 <= obj <= 71
0.00/0.02 c BCD2: #cores=3, #unrelaxed=135, #relaxed=9, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=5 bias=5/6
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 90 0 | 12 | 1
0.00/0.02 c 0.0s | 0 | 9 | 0 | 90 0 | 12 | 1
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 9
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 6: cost of the new core is >=1
0.00/0.02 c lower bound updated to 5
0.00/0.02 c BCD2: 5 <= obj <= 71
0.00/0.02 c BCD2: #cores=4, #unrelaxed=129, #relaxed=15, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=6 bias=6/7
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 90 0 | 12 | 1
0.00/0.02 c 0.0s | 0 | 9 | 0 | 90 0 | 12 | 1
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 9
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.02 c lower bound updated to 6
0.00/0.02 c BCD2: 6 <= obj <= 71
0.00/0.02 c BCD2: #cores=5, #unrelaxed=128, #relaxed=16, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=7 bias=7/8
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 90 0 | 12 | 1
0.00/0.02 c 0.0s | 0 | 14 | 0 | 90 0 | 12 | 1
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 14
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 5: cost of the new core is >=1
0.00/0.02 c lower bound updated to 7
0.00/0.02 c BCD2: 7 <= obj <= 71
0.00/0.02 c BCD2: #cores=6, #unrelaxed=123, #relaxed=21, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=8 bias=8/9
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 90 0 | 12 | 1
0.00/0.02 c 0.0s | 0 | 15 | 1 | 90 0 | 12 | 1
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 15
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 1
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 9: cost of the new core is >=2
0.00/0.02 c lower bound updated to 8
0.00/0.02 c BCD2: 8 <= obj <= 71
0.00/0.02 c BCD2: #cores=6, #unrelaxed=119, #relaxed=25, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=9 bias=9/10
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 90 0 | 13 | 1
0.00/0.02 c 0.0s | 0 | 12 | 0 | 90 0 | 13 | 2
0.00/0.02 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 12
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.03 c lower bound updated to 9
0.00/0.03 c BCD2: 9 <= obj <= 71
0.00/0.03 c BCD2: #cores=7, #unrelaxed=116, #relaxed=28, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=10 bias=10/11
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 90 0 | 13 | 2
0.00/0.03 c 0.0s | 0 | 11 | 0 | 90 0 | 13 | 2
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 11
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.03 c lower bound updated to 10
0.00/0.03 c BCD2: 10 <= obj <= 71
0.00/0.03 c BCD2: #cores=8, #unrelaxed=115, #relaxed=29, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=11 bias=11/12
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 90 0 | 13 | 2
0.00/0.03 c 0.0s | 0 | 19 | 0 | 90 0 | 13 | 2
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 19
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.03 c lower bound updated to 11
0.00/0.03 c BCD2: 11 <= obj <= 71
0.00/0.03 c BCD2: #cores=9, #unrelaxed=107, #relaxed=37, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=12 bias=12/13
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 90 0 | 13 | 2
0.00/0.03 c 0.0s | 0 | 15 | 0 | 90 0 | 13 | 2
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 15
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.03 c lower bound updated to 12
0.00/0.03 c BCD2: 12 <= obj <= 71
0.00/0.03 c BCD2: #cores=10, #unrelaxed=104, #relaxed=40, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=13 bias=13/14
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 90 0 | 13 | 2
0.00/0.03 c 0.0s | 0 | 20 | 0 | 90 0 | 13 | 2
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 20
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 6: cost of the new core is >=1
0.00/0.03 c lower bound updated to 13
0.00/0.03 c BCD2: 13 <= obj <= 71
0.00/0.03 c BCD2: #cores=11, #unrelaxed=98, #relaxed=46, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=14 bias=14/15
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 90 0 | 13 | 2
0.00/0.03 c 0.0s | 0 | 27 | 2 | 90 0 | 13 | 2
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 27
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 2
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.00/0.03 c lower bound updated to 14
0.00/0.03 c BCD2: 14 <= obj <= 71
0.00/0.03 c BCD2: #cores=11, #unrelaxed=97, #relaxed=47, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=15 bias=15/16
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 90 0 | 14 | 3
0.00/0.03 c 0.0s | 0 | 19 | 0 | 90 0 | 14 | 4
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 19
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.03 c lower bound updated to 15
0.00/0.03 c BCD2: 15 <= obj <= 71
0.00/0.03 c BCD2: #cores=12, #unrelaxed=94, #relaxed=50, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=16 bias=16/17
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 90 0 | 14 | 4
0.00/0.03 c 0.0s | 0 | 19 | 1 | 90 0 | 14 | 4
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 19
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.00/0.03 c lower bound updated to 16
0.00/0.03 c BCD2: 16 <= obj <= 71
0.00/0.03 c BCD2: #cores=12, #unrelaxed=89, #relaxed=55, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=17 bias=17/18
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 90 0 | 15 | 4
0.00/0.03 c 0.0s | 0 | 21 | 0 | 90 0 | 15 | 5
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 21
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.03 c lower bound updated to 17
0.00/0.03 c BCD2: 17 <= obj <= 71
0.00/0.03 c BCD2: #cores=13, #unrelaxed=81, #relaxed=63, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=18 bias=18/19
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 90 0 | 15 | 5
0.00/0.03 c 0.0s | 0 | 27 | 0 | 90 0 | 15 | 5
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 27
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.03 c lower bound updated to 18
0.00/0.03 c BCD2: 18 <= obj <= 71
0.00/0.03 c BCD2: #cores=14, #unrelaxed=72, #relaxed=72, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=19 bias=19/20
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 90 0 | 15 | 5
0.00/0.03 c 0.0s | 0 | 30 | 0 | 90 0 | 15 | 5
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 30
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.03 c lower bound updated to 19
0.00/0.03 c BCD2: 19 <= obj <= 71
0.00/0.03 c BCD2: #cores=15, #unrelaxed=64, #relaxed=80, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=20 bias=20/21
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 90 0 | 15 | 5
0.00/0.04 c 0.0s | 0 | 35 | 0 | 90 0 | 15 | 5
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 35
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.04 c lower bound updated to 20
0.00/0.04 c BCD2: 20 <= obj <= 71
0.00/0.04 c BCD2: #cores=16, #unrelaxed=56, #relaxed=88, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=21 bias=21/22
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 90 0 | 15 | 5
0.00/0.04 c 0.0s | 0 | 32 | 0 | 90 0 | 15 | 5
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 32
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 4: cost of the new core is >=1
0.00/0.04 c lower bound updated to 21
0.00/0.04 c BCD2: 21 <= obj <= 71
0.00/0.04 c BCD2: #cores=17, #unrelaxed=52, #relaxed=92, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=22 bias=22/23
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 90 0 | 15 | 5
0.00/0.04 c 0.0s | 0 | 36 | 0 | 90 0 | 15 | 5
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 36
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.04 c lower bound updated to 22
0.00/0.04 c BCD2: 22 <= obj <= 71
0.00/0.04 c BCD2: #cores=18, #unrelaxed=45, #relaxed=99, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=23 bias=23/24
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 90 0 | 15 | 5
0.00/0.04 c 0.0s | 0 | 43 | 1 | 90 0 | 15 | 5
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 43
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 8 and merging with 2 cores into a new core of size 20: cost of the new core is >=3
0.00/0.04 c lower bound updated to 23
0.00/0.04 c BCD2: 23 <= obj <= 71
0.00/0.04 c BCD2: #cores=17, #unrelaxed=37, #relaxed=107, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=24 bias=24/25
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 90 0 | 17 | 5
0.00/0.04 c 0.0s | 0 | 33 | 0 | 90 0 | 17 | 7
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 33
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.04 c lower bound updated to 24
0.00/0.04 c BCD2: 24 <= obj <= 71
0.00/0.04 c BCD2: #cores=18, #unrelaxed=30, #relaxed=114, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=25 bias=25/26
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 90 0 | 17 | 7
0.00/0.04 c 0.0s | 0 | 31 | 1 | 90 0 | 17 | 7
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 31
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 8 and merging with 1 cores into a new core of size 28: cost of the new core is >=4
0.00/0.04 c lower bound updated to 25
0.00/0.04 c BCD2: 25 <= obj <= 71
0.00/0.04 c BCD2: #cores=18, #unrelaxed=22, #relaxed=122, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=26 bias=26/27
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 90 0 | 18 | 7
0.00/0.04 c 0.0s | 0 | 23 | 0 | 90 0 | 18 | 8
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 23
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to 26
0.00/0.04 c BCD2: 26 <= obj <= 71
0.00/0.04 c BCD2: #cores=19, #unrelaxed=20, #relaxed=124, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=27 bias=27/28
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 90 0 | 18 | 8
0.00/0.04 c 0.0s | 0 | 23 | 0 | 90 0 | 18 | 8
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 23
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.04 c lower bound updated to 27
0.00/0.04 c BCD2: 27 <= obj <= 71
0.00/0.04 c BCD2: #cores=20, #unrelaxed=19, #relaxed=125, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=28 bias=28/29
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 90 0 | 18 | 8
0.00/0.04 c 0.0s | 0 | 24 | 0 | 90 0 | 18 | 8
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 24
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.04 c lower bound updated to 28
0.00/0.04 c BCD2: 28 <= obj <= 71
0.00/0.04 c BCD2: #cores=21, #unrelaxed=18, #relaxed=126, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=29 bias=29/30
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 90 0 | 18 | 8
0.00/0.04 c 0.0s | 0 | 34 | 1 | 90 0 | 18 | 8
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 34
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 1 and merging with 3 cores into a new core of size 23: cost of the new core is >=4
0.00/0.04 c lower bound updated to 29
0.00/0.04 c BCD2: 29 <= obj <= 71
0.00/0.04 c BCD2: #cores=19, #unrelaxed=17, #relaxed=127, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=30 bias=30/31
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 90 0 | 21 | 8
0.00/0.05 c 0.0s | 0 | 26 | 0 | 90 0 | 21 | 11
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 26
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 4: cost of the new core is >=1
0.00/0.05 c lower bound updated to 30
0.00/0.05 c BCD2: 30 <= obj <= 71
0.00/0.05 c BCD2: #cores=20, #unrelaxed=13, #relaxed=131, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=31 bias=31/32
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 90 0 | 21 | 11
0.00/0.05 c 0.0s | 0 | 27 | 1 | 90 0 | 21 | 11
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 27
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 7: cost of the new core is >=2
0.00/0.05 c lower bound updated to 31
0.00/0.05 c BCD2: 31 <= obj <= 71
0.00/0.05 c BCD2: #cores=20, #unrelaxed=10, #relaxed=134, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=32 bias=32/33
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 90 0 | 22 | 11
0.00/0.05 c 0.0s | 0 | 33 | 1 | 90 0 | 22 | 12
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 33
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.05 c lower bound updated to 32
0.00/0.05 c BCD2: 32 <= obj <= 71
0.00/0.05 c BCD2: #cores=20, #unrelaxed=9, #relaxed=135, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=33 bias=33/34
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 90 0 | 23 | 13
0.00/0.05 c 0.0s | 0 | 24 | 0 | 90 0 | 23 | 14
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 24
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.05 c lower bound updated to 33
0.00/0.05 c BCD2: 33 <= obj <= 71
0.00/0.05 c BCD2: #cores=21, #unrelaxed=8, #relaxed=136, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=34 bias=34/35
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 90 0 | 23 | 14
0.00/0.05 c 0.0s | 1 | 129 | 100 | 100 0 | 23 | 14
0.00/0.06 c 0.0s | 1 | 226 | 111 | 100 0 | 24 | 15
0.00/0.06 c #cpu_time = 0.006s
0.00/0.06 c #wall_clock_time = 0.006s
0.00/0.06 c #decision = 226
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 111
0.00/0.06 c #restart = 1
0.00/0.06 c BCD2: updating lower bound of a core
0.00/0.06 c lower bound updated to 36
0.00/0.06 c BCD2: 36 <= obj <= 71
0.00/0.06 c BCD2: #cores=21, #unrelaxed=8, #relaxed=136, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=35 bias=35/36
0.00/0.06 c Solving starts ...
0.00/0.06 c ============================[ Search Statistics ]============================
0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.06 c | | | | Limit GC | Var | Constra
0.00/0.06 c =============================================================================
0.00/0.06 c 0.0s | 0 | 0 | 0 | 100 0 | 24 | 16
0.00/0.07 c 0.0s | 1 | 203 | 100 | 100 0 | 24 | 16
0.00/0.08 c 0.0s | 2 | 421 | 250 | 111 2 | 24 | 16
0.00/0.09 c 0.0s | 2 | 509 | 293 | 111 2 | 24 | 16
0.00/0.09 c #cpu_time = 0.033s
0.00/0.09 c #wall_clock_time = 0.033s
0.00/0.09 c #decision = 509
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 293
0.00/0.09 c #restart = 2
0.00/0.09 c BCD2: relaxing 1 and merging with 8 cores into a new core of size 67: cost of the new core is >=14
0.00/0.09 c lower bound updated to 37
0.00/0.09 c BCD2: 37 <= obj <= 71
0.00/0.09 c BCD2: #cores=14, #unrelaxed=7, #relaxed=137, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=36 bias=36/37
0.00/0.09 c Solving starts ...
0.00/0.09 c ============================[ Search Statistics ]============================
0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.09 c | | | | Limit GC | Var | Constra
0.00/0.09 c =============================================================================
0.00/0.09 c 0.0s | 0 | 0 | 0 | 111 0 | 32 | 16
0.09/0.10 c 0.0s | 1 | 156 | 100 | 123 0 | 32 | 24
0.09/0.12 c 0.0s | 2 | 370 | 250 | 123 1 | 32 | 24
0.09/0.15 c 0.1s | 3 | 716 | 475 | 136 3 | 32 | 24
0.09/0.16 c 0.1s | 3 | 1025 | 686 | 136 6 | 33 | 25
0.09/0.16 c #cpu_time = 0.065s
0.09/0.16 c #wall_clock_time = 0.065s
0.09/0.16 c #decision = 1025
0.09/0.16 c #random_decision = 0
0.09/0.16 c #conflict = 686
0.09/0.16 c #restart = 3
0.09/0.16 c BCD2: updating lower bound of a core
0.09/0.16 c lower bound updated to 41
0.09/0.16 c BCD2: 41 <= obj <= 71
0.09/0.16 c BCD2: #cores=14, #unrelaxed=7, #relaxed=137, #hardened=0
0.09/0.16 c BCD2: #sat=1 #unsat=37 bias=37/38
0.09/0.16 c Solving starts ...
0.09/0.16 c ============================[ Search Statistics ]============================
0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.16 c | | | | Limit GC | Var | Constra
0.09/0.16 c =============================================================================
0.09/0.16 c 0.0s | 0 | 0 | 0 | 136 0 | 33 | 26
0.09/0.17 c 0.0s | 1 | 134 | 100 | 136 0 | 33 | 26
0.09/0.19 c 0.0s | 2 | 348 | 250 | 150 1 | 33 | 26
0.19/0.22 c 0.1s | 3 | 636 | 475 | 150 3 | 33 | 26
0.19/0.27 c 0.1s | 4 | 1077 | 813 | 150 6 | 33 | 26
0.29/0.32 c 0.2s | 5 | 1837 | 1320 | 165 11 | 33 | 26
0.39/0.41 c 0.3s | 6 | 2997 | 2081 | 165 18 | 33 | 26
0.49/0.54 c 0.4s | 7 | 4599 | 3223 | 182 27 | 33 | 26
0.69/0.71 c 0.6s | 8 | 6992 | 4936 | 201 41 | 33 | 26
0.89/0.99 c 0.8s | 9 | 10529 | 7506 | 222 60 | 33 | 26
1.39/1.42 c 1.3s | 10 | 15924 | 11361 | 245 87 | 33 | 26
1.89/1.95 c 1.8s | 11 | 23183 | 17144 | 270 124 | 33 | 26
2.69/2.77 c 2.6s | 12 | 34597 | 25819 | 297 176 | 33 | 26
3.79/3.89 c 3.7s | 13 | 50770 | 38832 | 327 246 | 33 | 26
5.79/5.88 c 5.7s | 14 | 76195 | 58352 | 360 345 | 33 | 26
7.80/7.89 c 7.7s | 14 | 103836 | 80552 | 360 451 | 33 | 26
8.59/8.65 c 8.5s | 15 | 112044 | 87632 | 397 484 | 33 | 26
10.59/10.66 c 10.5s | 15 | 139743 | 109432 | 397 577 | 33 | 26
12.59/12.62 c 12.5s | 16 | 168456 | 131552 | 437 673 | 33 | 26
14.59/14.62 c 14.5s | 16 | 193869 | 152252 | 437 757 | 33 | 26
16.59/16.63 c 16.5s | 16 | 221328 | 173752 | 437 843 | 33 | 26
18.59/18.64 c 18.5s | 16 | 243577 | 192052 | 437 917 | 33 | 26
19.19/19.21 c 19.1s | 17 | 249960 | 197432 | 481 938 | 33 | 26
21.18/21.22 c 21.1s | 17 | 274532 | 217732 | 481 1013 | 33 | 26
23.19/23.23 c 23.1s | 17 | 296159 | 236232 | 481 1082 | 33 | 26
24.38/24.47 c 24.3s | 17 | 308942 | 246966 | 481 1122 | 33 | 26
24.38/24.47 c #cpu_time = 24.311s
24.38/24.47 c #wall_clock_time = 24.312s
24.38/24.47 c #decision = 308942
24.38/24.47 c #random_decision = 1109
24.38/24.47 c #conflict = 246966
24.38/24.47 c #restart = 17
24.38/24.47 c BCD2: relaxing 3 and merging with 6 cores into a new core of size 66: cost of the new core is >=21
24.38/24.47 c lower bound updated to 42
24.38/24.47 c BCD2: 42 <= obj <= 71
24.38/24.47 c BCD2: #cores=9, #unrelaxed=4, #relaxed=140, #hardened=0
24.38/24.47 c BCD2: #sat=1 #unsat=38 bias=38/39
24.38/24.47 c Solving starts ...
24.38/24.47 c ============================[ Search Statistics ]============================
24.38/24.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
24.38/24.47 c | | | | Limit GC | Var | Constra
24.38/24.47 c =============================================================================
24.38/24.47 c 0.0s | 0 | 0 | 0 | 481 0 | 39 | 26
24.38/24.48 c 0.0s | 1 | 134 | 100 | 481 0 | 39 | 32
24.38/24.50 c 0.0s | 2 | 323 | 250 | 481 0 | 39 | 32
24.48/24.52 c 0.1s | 3 | 605 | 475 | 481 0 | 39 | 32
24.48/24.57 c 0.1s | 4 | 1015 | 813 | 481 1 | 39 | 32
24.58/24.63 c 0.2s | 5 | 1635 | 1320 | 481 3 | 39 | 32
24.69/24.74 c 0.3s | 6 | 2487 | 2081 | 481 6 | 39 | 32
24.88/24.91 c 0.4s | 7 | 3818 | 3223 | 481 10 | 39 | 32
25.08/25.15 c 0.7s | 8 | 5788 | 4936 | 481 16 | 39 | 32
25.48/25.50 c 1.0s | 9 | 8792 | 7506 | 481 25 | 39 | 32
25.98/26.06 c 1.6s | 10 | 13113 | 11361 | 481 39 | 39 | 32
26.78/26.88 c 2.4s | 11 | 19708 | 17144 | 481 59 | 39 | 32
28.08/28.17 c 3.7s | 12 | 29405 | 25819 | 481 90 | 39 | 32
29.88/29.96 c 5.5s | 13 | 44125 | 38832 | 481 135 | 39 | 32
31.89/31.97 c 7.5s | 13 | 60325 | 53232 | 530 184 | 39 | 32
32.58/32.69 c 8.2s | 14 | 66084 | 58352 | 530 200 | 39 | 32
34.68/34.70 c 10.2s | 14 | 82533 | 72952 | 530 249 | 39 | 32
36.68/36.71 c 12.2s | 14 | 97961 | 86752 | 530 294 | 39 | 32
36.78/36.83 c 12.4s | 15 | 98919 | 87632 | 530 297 | 39 | 32
38.78/38.84 c 14.4s | 15 | 115665 | 102332 | 530 344 | 39 | 32
40.79/40.85 c 16.4s | 15 | 132109 | 116932 | 530 392 | 39 | 32
42.78/42.82 c 18.4s | 16 | 148486 | 131552 | 530 439 | 39 | 32
44.78/44.83 c 20.4s | 16 | 166468 | 147352 | 530 490 | 39 | 32
46.78/46.84 c 22.4s | 16 | 183601 | 162552 | 530 540 | 39 | 32
48.78/48.85 c 24.4s | 16 | 199749 | 177052 | 530 587 | 39 | 32
50.78/50.85 c 26.4s | 16 | 216892 | 192152 | 530 637 | 39 | 32
51.48/51.59 c 27.1s | 17 | 222798 | 197432 | 583 654 | 39 | 32
53.48/53.59 c 29.1s | 17 | 238235 | 211232 | 583 695 | 39 | 32
55.58/55.60 c 31.1s | 17 | 253522 | 224732 | 583 736 | 39 | 32
57.58/57.61 c 33.1s | 17 | 269161 | 238532 | 583 778 | 39 | 32
59.58/59.62 c 35.2s | 17 | 284904 | 252332 | 583 819 | 39 | 32
61.59/61.63 c 37.2s | 17 | 300411 | 266132 | 583 861 | 39 | 32
63.58/63.63 c 39.2s | 17 | 316519 | 280132 | 583 903 | 39 | 32
65.58/65.63 c 41.2s | 17 | 332025 | 293832 | 583 945 | 39 | 32
65.88/65.98 c 41.5s | 18 | 334702 | 296252 | 583 952 | 39 | 32
67.88/67.99 c 43.5s | 18 | 350455 | 310052 | 583 994 | 39 | 32
69.98/70.00 c 45.5s | 18 | 365633 | 323652 | 583 1034 | 39 | 32
71.98/72.01 c 47.5s | 18 | 380473 | 336952 | 583 1074 | 39 | 32
73.98/74.02 c 49.5s | 18 | 396016 | 350452 | 583 1115 | 39 | 32
75.98/76.03 c 51.6s | 18 | 411660 | 364152 | 583 1156 | 39 | 32
77.98/78.04 c 53.6s | 18 | 426849 | 377652 | 583 1197 | 39 | 32
79.98/80.04 c 55.6s | 18 | 441770 | 390952 | 583 1238 | 39 | 32
81.98/82.04 c 57.6s | 18 | 457187 | 404552 | 583 1279 | 39 | 32
83.98/84.05 c 59.6s | 18 | 473031 | 418552 | 642 1320 | 39 | 32
85.97/86.06 c 61.6s | 18 | 488852 | 432352 | 642 1358 | 39 | 32
87.77/87.82 c 63.4s | 19 | 502649 | 444482 | 642 1392 | 39 | 32
89.77/89.83 c 65.4s | 19 | 517469 | 457682 | 642 1429 | 39 | 32
91.77/91.84 c 67.4s | 19 | 531920 | 470582 | 642 1464 | 39 | 32
93.77/93.85 c 69.4s | 19 | 546733 | 483782 | 642 1501 | 39 | 32
95.78/95.86 c 71.4s | 19 | 561690 | 497082 | 642 1537 | 39 | 32
97.77/97.86 c 73.4s | 19 | 576039 | 509882 | 642 1572 | 39 | 32
99.77/99.87 c 75.4s | 19 | 590885 | 523182 | 642 1609 | 39 | 32
101.77/101.87 c 77.4s | 19 | 604994 | 535782 | 642 1644 | 39 | 32
103.77/103.87 c 79.4s | 19 | 619253 | 548582 | 642 1679 | 39 | 32
105.77/105.88 c 81.4s | 19 | 634205 | 561982 | 642 1716 | 39 | 32
107.78/107.89 c 83.4s | 19 | 648720 | 574982 | 642 1752 | 39 | 32
109.77/109.89 c 85.4s | 19 | 663321 | 587982 | 642 1788 | 39 | 32
111.87/111.91 c 87.4s | 19 | 678086 | 601082 | 642 1824 | 39 | 32
113.87/113.92 c 89.4s | 19 | 692498 | 613982 | 642 1861 | 39 | 32
115.87/115.92 c 91.5s | 19 | 706944 | 626882 | 642 1896 | 39 | 32
117.87/117.93 c 93.5s | 19 | 721534 | 639882 | 642 1933 | 39 | 32
119.87/119.93 c 95.5s | 19 | 735547 | 652482 | 642 1968 | 39 | 32
121.87/121.93 c 97.5s | 19 | 749943 | 665382 | 642 2004 | 39 | 32
122.07/122.14 c 97.7s | 20 | 751604 | 666827 | 642 2008 | 39 | 32
124.07/124.14 c 99.7s | 20 | 766970 | 680527 | 642 2046 | 39 | 32
126.06/126.15 c 101s | 20 | 781891 | 693827 | 642 2082 | 39 | 32
128.06/128.16 c 103s | 20 | 797184 | 707427 | 642 2120 | 39 | 32
130.06/130.17 c 105s | 20 | 813401 | 721527 | 642 2159 | 39 | 32
132.07/132.18 c 107s | 20 | 828963 | 735327 | 642 2197 | 39 | 32
134.06/134.19 c 109s | 20 | 844885 | 749227 | 707 2234 | 39 | 32
136.17/136.20 c 111s | 20 | 860204 | 762827 | 707 2269 | 39 | 32
138.17/138.21 c 113s | 20 | 875320 | 776227 | 707 2303 | 39 | 32
140.17/140.22 c 115s | 20 | 890569 | 789627 | 707 2337 | 39 | 32
142.17/142.23 c 117s | 20 | 905451 | 802727 | 707 2370 | 39 | 32
144.18/144.24 c 119s | 20 | 920427 | 816027 | 707 2404 | 39 | 32
146.17/146.26 c 121s | 20 | 935250 | 829127 | 707 2438 | 39 | 32
148.17/148.26 c 123s | 20 | 949909 | 842227 | 707 2471 | 39 | 32
150.17/150.27 c 125s | 20 | 965319 | 855727 | 707 2506 | 39 | 32
152.17/152.28 c 127s | 20 | 980214 | 868927 | 707 2539 | 39 | 32
154.17/154.29 c 129s | 20 | 995265 | 882127 | 707 2573 | 39 | 32
156.18/156.29 c 131s | 20 | 1010047 | 895227 | 707 2607 | 39 | 32
158.27/158.30 c 133s | 20 | 1024931 | 908427 | 707 2641 | 39 | 32
160.27/160.30 c 135s | 20 | 1039914 | 921627 | 707 2674 | 39 | 32
162.27/162.31 c 137s | 20 | 1055091 | 934927 | 707 2708 | 39 | 32
164.27/164.31 c 139s | 20 | 1069662 | 947927 | 707 2742 | 39 | 32
166.27/166.33 c 141s | 20 | 1084666 | 961227 | 707 2776 | 39 | 32
168.27/168.34 c 143s | 20 | 1099407 | 974227 | 707 2809 | 39 | 32
170.26/170.35 c 145s | 20 | 1113990 | 987227 | 707 2842 | 39 | 32
172.26/172.34 c 147s | 21 | 1128799 | 1000345 | 707 2875 | 39 | 32
174.26/174.35 c 149s | 21 | 1146435 | 1015645 | 707 2914 | 39 | 32
176.26/176.35 c 151s | 21 | 1164059 | 1031145 | 707 2953 | 39 | 32
178.27/178.35 c 153s | 21 | 1181883 | 1046245 | 707 2992 | 39 | 32
180.26/180.36 c 155s | 21 | 1199059 | 1061145 | 707 3030 | 39 | 32
182.26/182.36 c 157s | 21 | 1215899 | 1075945 | 707 3068 | 39 | 32
184.26/184.37 c 159s | 21 | 1233651 | 1091345 | 707 3107 | 39 | 32
186.26/186.38 c 161s | 21 | 1250432 | 1106045 | 707 3145 | 39 | 32
188.26/188.38 c 163s | 21 | 1267157 | 1120845 | 707 3182 | 39 | 32
190.26/190.38 c 165s | 21 | 1284035 | 1135745 | 707 3220 | 39 | 32
192.25/192.38 c 167s | 21 | 1301739 | 1151045 | 707 3259 | 39 | 32
194.25/194.39 c 169s | 21 | 1319071 | 1166045 | 707 3297 | 39 | 32
196.26/196.39 c 171s | 21 | 1335844 | 1180645 | 707 3335 | 39 | 32
198.26/198.39 c 173s | 21 | 1353365 | 1195645 | 707 3373 | 39 | 32
200.36/200.40 c 175s | 21 | 1370610 | 1210545 | 707 3411 | 39 | 32
202.26/202.40 c 177s | 21 | 1387498 | 1225145 | 707 3449 | 39 | 32
204.36/204.41 c 179s | 21 | 1404701 | 1240045 | 707 3487 | 39 | 32
206.36/206.41 c 181s | 21 | 1422345 | 1255245 | 778 3523 | 39 | 32
208.36/208.42 c 183s | 21 | 1439669 | 1270145 | 778 3558 | 39 | 32
210.36/210.43 c 185s | 21 | 1458471 | 1285745 | 778 3595 | 39 | 32
212.36/212.44 c 187s | 21 | 1476570 | 1300745 | 778 3630 | 39 | 32
214.36/214.44 c 189s | 21 | 1492781 | 1314845 | 778 3663 | 39 | 32
216.36/216.45 c 191s | 21 | 1510336 | 1329645 | 778 3698 | 39 | 32
218.35/218.45 c 193s | 21 | 1529303 | 1344845 | 778 3734 | 39 | 32
220.35/220.46 c 195s | 21 | 1546651 | 1359545 | 778 3768 | 39 | 32
222.36/222.48 c 198s | 21 | 1562892 | 1373745 | 778 3801 | 39 | 32
224.36/224.48 c 200s | 21 | 1578404 | 1387445 | 778 3834 | 39 | 32
226.35/226.48 c 202s | 21 | 1594667 | 1401445 | 778 3866 | 39 | 32
228.45/228.50 c 204s | 21 | 1611160 | 1415845 | 778 3900 | 39 | 32
230.45/230.51 c 206s | 21 | 1627027 | 1429745 | 778 3933 | 39 | 32
232.45/232.52 c 208s | 21 | 1642801 | 1443545 | 778 3965 | 39 | 32
234.45/234.53 c 210s | 21 | 1658519 | 1457245 | 778 3997 | 39 | 32
236.46/236.53 c 212s | 21 | 1675761 | 1471945 | 778 4032 | 39 | 32
238.45/238.53 c 214s | 21 | 1691718 | 1485945 | 778 4065 | 39 | 32
240.45/240.53 c 216s | 21 | 1707491 | 1499745 | 778 4097 | 39 | 32
240.55/240.66 c 216s | 22 | 1708495 | 1500622 | 778 4100 | 39 | 32
242.55/242.67 c 218s | 22 | 1724678 | 1514822 | 778 4133 | 39 | 32
244.55/244.69 c 220s | 22 | 1740964 | 1529122 | 778 4166 | 39 | 32
246.65/246.70 c 222s | 22 | 1756133 | 1542622 | 778 4197 | 39 | 32
248.65/248.70 c 224s | 22 | 1771642 | 1556522 | 778 4230 | 39 | 32
250.65/250.71 c 226s | 22 | 1786836 | 1570122 | 778 4262 | 39 | 32
252.65/252.72 c 228s | 22 | 1801649 | 1583322 | 778 4293 | 39 | 32
254.65/254.73 c 230s | 22 | 1817386 | 1597322 | 778 4325 | 39 | 32
256.65/256.73 c 232s | 22 | 1835692 | 1612522 | 778 4361 | 39 | 32
258.65/258.73 c 234s | 22 | 1853561 | 1627722 | 778 4396 | 39 | 32
260.65/260.73 c 236s | 22 | 1870906 | 1642722 | 778 4431 | 39 | 32
262.64/262.74 c 238s | 22 | 1888093 | 1657722 | 778 4466 | 39 | 32
264.64/264.75 c 240s | 22 | 1905264 | 1672522 | 778 4501 | 39 | 32
266.64/266.76 c 242s | 22 | 1921500 | 1686922 | 778 4535 | 39 | 32
268.64/268.76 c 244s | 22 | 1937889 | 1701522 | 778 4569 | 39 | 32
270.65/270.77 c 246s | 22 | 1953661 | 1715522 | 778 4601 | 39 | 32
272.65/272.78 c 248s | 22 | 1969485 | 1729722 | 778 4634 | 39 | 32
274.75/274.80 c 250s | 22 | 1984903 | 1743522 | 778 4667 | 39 | 32
276.75/276.80 c 252s | 22 | 2000492 | 1757222 | 778 4698 | 39 | 32
278.75/278.80 c 254s | 22 | 2017106 | 1771722 | 778 4732 | 39 | 32
280.75/280.81 c 256s | 22 | 2033270 | 1786022 | 778 4766 | 39 | 32
282.76/282.82 c 258s | 22 | 2049487 | 1800422 | 778 4800 | 39 | 32
284.75/284.82 c 260s | 22 | 2065279 | 1814422 | 778 4833 | 39 | 32
286.75/286.82 c 262s | 22 | 2081339 | 1828722 | 778 4866 | 39 | 32
288.75/288.83 c 264s | 22 | 2098082 | 1843322 | 778 4901 | 39 | 32
290.75/290.84 c 266s | 22 | 2114579 | 1857722 | 778 4935 | 39 | 32
292.75/292.84 c 268s | 22 | 2130177 | 1871522 | 778 4967 | 39 | 32
294.75/294.85 c 270s | 22 | 2146615 | 1885822 | 778 5001 | 39 | 32
296.75/296.85 c 272s | 22 | 2163619 | 1900722 | 778 5036 | 39 | 32
298.75/298.86 c 274s | 22 | 2180132 | 1915422 | 778 5070 | 39 | 32
300.75/300.86 c 276s | 22 | 2196492 | 1929922 | 778 5104 | 39 | 32
302.75/302.87 c 278s | 22 | 2212954 | 1944422 | 778 5138 | 39 | 32
304.75/304.87 c 280s | 22 | 2228873 | 1958322 | 778 5171 | 39 | 32
306.74/306.88 c 282s | 22 | 2245142 | 1972722 | 778 5205 | 39 | 32
308.74/308.89 c 284s | 22 | 2260870 | 1986722 | 778 5238 | 39 | 32
310.84/310.90 c 286s | 22 | 2275259 | 1999522 | 856 5265 | 39 | 32
312.84/312.91 c 288s | 22 | 2289279 | 2011922 | 856 5291 | 39 | 32
314.84/314.92 c 290s | 22 | 2304573 | 2025222 | 856 5320 | 39 | 32
316.85/316.92 c 292s | 22 | 2319518 | 2038422 | 856 5348 | 39 | 32
318.84/318.93 c 294s | 22 | 2335167 | 2052322 | 856 5378 | 39 | 32
320.84/320.93 c 296s | 22 | 2350096 | 2065722 | 856 5407 | 39 | 32
322.84/322.94 c 298s | 22 | 2366361 | 2079822 | 856 5437 | 39 | 32
324.84/324.95 c 300s | 22 | 2382270 | 2093822 | 856 5467 | 39 | 32
326.84/326.96 c 302s | 22 | 2398067 | 2107722 | 856 5497 | 39 | 32
328.85/328.96 c 304s | 22 | 2412833 | 2120922 | 856 5525 | 39 | 32
330.84/330.97 c 306s | 22 | 2427596 | 2134022 | 856 5554 | 39 | 32
332.84/332.98 c 308s | 22 | 2442918 | 2147622 | 856 5583 | 39 | 32
334.84/334.99 c 310s | 22 | 2457650 | 2160922 | 856 5611 | 39 | 32
336.94/337.00 c 312s | 22 | 2472914 | 2174622 | 856 5641 | 39 | 32
338.94/339.01 c 314s | 22 | 2488968 | 2188622 | 856 5671 | 39 | 32
340.94/341.02 c 316s | 22 | 2504484 | 2202322 | 856 5700 | 39 | 32
342.93/343.02 c 318s | 22 | 2519315 | 2215522 | 856 5729 | 39 | 32
344.93/345.02 c 320s | 22 | 2533827 | 2228522 | 856 5757 | 39 | 32
346.93/347.03 c 322s | 22 | 2548259 | 2241322 | 856 5784 | 39 | 32
348.33/348.42 c 323s | 23 | 2559395 | 2251038 | 856 5805 | 39 | 32
350.33/350.42 c 325s | 23 | 2577971 | 2266638 | 856 5838 | 39 | 32
352.33/352.42 c 327s | 23 | 2594577 | 2281238 | 856 5869 | 39 | 32
354.33/354.43 c 329s | 23 | 2610302 | 2295138 | 856 5899 | 39 | 32
356.34/356.43 c 331s | 23 | 2625802 | 2308738 | 856 5928 | 39 | 32
358.34/358.44 c 333s | 23 | 2643266 | 2323838 | 856 5961 | 39 | 32
360.34/360.44 c 335s | 23 | 2660906 | 2339038 | 856 5993 | 39 | 32
362.34/362.44 c 337s | 23 | 2679121 | 2354638 | 856 6026 | 39 | 32
364.33/364.45 c 339s | 23 | 2697715 | 2370538 | 856 6060 | 39 | 32
366.34/366.46 c 341s | 23 | 2716265 | 2386238 | 856 6094 | 39 | 32
368.33/368.46 c 343s | 23 | 2732906 | 2400638 | 856 6125 | 39 | 32
370.33/370.47 c 346s | 23 | 2749093 | 2414838 | 856 6155 | 39 | 32
372.33/372.48 c 348s | 23 | 2765265 | 2429038 | 856 6186 | 39 | 32
374.33/374.48 c 350s | 23 | 2780692 | 2442738 | 856 6215 | 39 | 32
376.43/376.50 c 352s | 23 | 2796278 | 2456538 | 856 6245 | 39 | 32
378.33/378.50 c 354s | 23 | 2812616 | 2470838 | 856 6275 | 39 | 32
380.43/380.51 c 356s | 23 | 2829118 | 2485238 | 856 6306 | 39 | 32
382.43/382.52 c 358s | 23 | 2845152 | 2499238 | 856 6336 | 39 | 32
384.43/384.53 c 360s | 23 | 2861173 | 2513338 | 856 6366 | 39 | 32
386.43/386.54 c 362s | 23 | 2877900 | 2528038 | 856 6398 | 39 | 32
388.43/388.55 c 364s | 23 | 2894554 | 2542738 | 856 6429 | 39 | 32
390.44/390.56 c 366s | 23 | 2910843 | 2557138 | 856 6460 | 39 | 32
392.43/392.56 c 368s | 23 | 2926852 | 2571538 | 856 6491 | 39 | 32
394.43/394.57 c 370s | 23 | 2942773 | 2585638 | 856 6521 | 39 | 32
396.43/396.57 c 372s | 23 | 2958130 | 2599138 | 856 6550 | 39 | 32
398.43/398.58 c 374s | 23 | 2973961 | 2613038 | 856 6580 | 39 | 32
400.44/400.59 c 376s | 23 | 2990353 | 2627338 | 856 6611 | 39 | 32
402.43/402.60 c 378s | 23 | 3006938 | 2641838 | 856 6642 | 39 | 32
404.53/404.60 c 380s | 23 | 3021885 | 2655238 | 856 6671 | 39 | 32
406.53/406.61 c 382s | 23 | 3036680 | 2668338 | 856 6699 | 39 | 32
408.53/408.63 c 384s | 23 | 3052198 | 2682138 | 856 6728 | 39 | 32
410.53/410.64 c 386s | 23 | 3068233 | 2696138 | 856 6758 | 39 | 32
412.53/412.65 c 388s | 23 | 3084744 | 2710838 | 856 6790 | 39 | 32
414.53/414.65 c 390s | 23 | 3101500 | 2725438 | 856 6821 | 39 | 32
416.52/416.66 c 392s | 23 | 3118140 | 2740138 | 856 6852 | 39 | 32
418.52/418.66 c 394s | 23 | 3134637 | 2754838 | 856 6884 | 39 | 32
420.52/420.67 c 396s | 23 | 3151192 | 2769438 | 856 6915 | 39 | 32
422.52/422.67 c 398s | 23 | 3166701 | 2783238 | 856 6945 | 39 | 32
424.53/424.67 c 400s | 23 | 3183729 | 2798238 | 856 6977 | 39 | 32
426.52/426.68 c 402s | 23 | 3199260 | 2811738 | 856 7006 | 39 | 32
428.52/428.69 c 404s | 23 | 3212959 | 2824138 | 856 7033 | 39 | 32
430.52/430.69 c 406s | 23 | 3227215 | 2836838 | 856 7060 | 39 | 32
432.62/432.70 c 408s | 23 | 3241326 | 2849438 | 856 7087 | 39 | 32
434.62/434.70 c 410s | 23 | 3257219 | 2863538 | 856 7118 | 39 | 32
436.63/436.70 c 412s | 23 | 3274218 | 2878338 | 856 7149 | 39 | 32
438.62/438.71 c 414s | 23 | 3291163 | 2893038 | 856 7181 | 39 | 32
440.62/440.71 c 416s | 23 | 3307267 | 2906938 | 856 7211 | 39 | 32
442.62/442.72 c 418s | 23 | 3322378 | 2920338 | 856 7240 | 39 | 32
444.62/444.73 c 420s | 23 | 3338700 | 2934338 | 856 7270 | 39 | 32
446.62/446.75 c 422s | 23 | 3354744 | 2948338 | 856 7299 | 39 | 32
448.62/448.75 c 424s | 23 | 3369368 | 2961338 | 856 7327 | 39 | 32
450.62/450.76 c 426s | 23 | 3385418 | 2975238 | 856 7357 | 39 | 32
452.62/452.76 c 428s | 23 | 3401127 | 2989138 | 856 7387 | 39 | 32
454.61/454.77 c 430s | 23 | 3416455 | 3002738 | 856 7416 | 39 | 32
456.62/456.77 c 432s | 23 | 3432339 | 3016438 | 856 7445 | 39 | 32
458.63/458.79 c 434s | 23 | 3447920 | 3029938 | 856 7475 | 39 | 32
460.72/460.80 c 436s | 23 | 3464160 | 3044138 | 856 7505 | 39 | 32
462.72/462.80 c 438s | 23 | 3479356 | 3057738 | 856 7534 | 39 | 32
464.72/464.80 c 440s | 23 | 3495063 | 3071538 | 856 7564 | 39 | 32
466.72/466.81 c 442s | 23 | 3510284 | 3085038 | 856 7592 | 39 | 32
468.72/468.81 c 444s | 23 | 3525373 | 3098438 | 856 7621 | 39 | 32
470.73/470.81 c 446s | 23 | 3541558 | 3112438 | 942 7650 | 39 | 32
472.72/472.83 c 448s | 23 | 3556560 | 3125638 | 942 7676 | 39 | 32
474.72/474.84 c 450s | 23 | 3570756 | 3138238 | 942 7700 | 39 | 32
476.72/476.84 c 452s | 23 | 3584921 | 3150838 | 942 7725 | 39 | 32
478.72/478.85 c 454s | 23 | 3600623 | 3164638 | 942 7752 | 39 | 32
480.72/480.86 c 456s | 23 | 3615004 | 3177438 | 942 7777 | 39 | 32
482.72/482.87 c 458s | 23 | 3629825 | 3190438 | 942 7803 | 39 | 32
484.72/484.88 c 460s | 23 | 3644245 | 3203138 | 942 7827 | 39 | 32
486.82/486.90 c 462s | 23 | 3657943 | 3215438 | 942 7852 | 39 | 32
488.81/488.90 c 464s | 23 | 3672471 | 3228338 | 942 7877 | 39 | 32
490.81/490.91 c 466s | 23 | 3687274 | 3241538 | 942 7903 | 39 | 32
492.82/492.91 c 468s | 23 | 3701622 | 3254438 | 942 7928 | 39 | 32
494.81/494.91 c 470s | 23 | 3716121 | 3267338 | 942 7954 | 39 | 32
496.81/496.92 c 472s | 23 | 3730233 | 3280138 | 942 7979 | 39 | 32
498.81/498.92 c 474s | 23 | 3744673 | 3293038 | 942 8004 | 39 | 32
500.81/500.93 c 476s | 23 | 3758854 | 3305938 | 942 8029 | 39 | 32
502.81/502.94 c 478s | 23 | 3773103 | 3318938 | 942 8055 | 39 | 32
504.82/504.95 c 480s | 23 | 3789068 | 3333038 | 942 8083 | 39 | 32
506.81/506.96 c 482s | 23 | 3806261 | 3347638 | 942 8111 | 39 | 32
508.81/508.97 c 484s | 23 | 3822174 | 3361438 | 942 8138 | 39 | 32
510.81/510.97 c 486s | 23 | 3837369 | 3374838 | 942 8164 | 39 | 32
511.11/511.25 c 486s | 24 | 3839420 | 3376662 | 942 8168 | 39 | 32
513.11/513.26 c 488s | 24 | 3855383 | 3390562 | 942 8195 | 39 | 32
515.11/515.27 c 490s | 24 | 3871114 | 3404262 | 942 8222 | 39 | 32
517.11/517.28 c 492s | 24 | 3885221 | 3416762 | 942 8247 | 39 | 32
519.11/519.29 c 494s | 24 | 3900049 | 3429962 | 942 8273 | 39 | 32
521.20/521.30 c 496s | 24 | 3914514 | 3442662 | 942 8298 | 39 | 32
523.21/523.30 c 498s | 24 | 3928866 | 3455262 | 942 8322 | 39 | 32
525.21/525.32 c 500s | 24 | 3942719 | 3467562 | 942 8346 | 39 | 32
527.21/527.34 c 502s | 24 | 3956643 | 3479862 | 942 8371 | 39 | 32
529.21/529.35 c 504s | 24 | 3970451 | 3492162 | 942 8395 | 39 | 32
531.22/531.36 c 506s | 24 | 3983870 | 3504062 | 942 8418 | 39 | 32
533.21/533.36 c 508s | 24 | 3998431 | 3516862 | 942 8443 | 39 | 32
535.21/535.37 c 510s | 24 | 4013407 | 3529962 | 942 8469 | 39 | 32
537.21/537.38 c 512s | 24 | 4027627 | 3542662 | 942 8493 | 39 | 32
539.21/539.39 c 514s | 24 | 4041786 | 3555362 | 942 8518 | 39 | 32
541.31/541.40 c 516s | 24 | 4056463 | 3568362 | 942 8544 | 39 | 32
543.32/543.40 c 518s | 24 | 4071433 | 3581362 | 942 8570 | 39 | 32
545.31/545.41 c 520s | 24 | 4086837 | 3594762 | 942 8596 | 39 | 32
547.31/547.43 c 522s | 24 | 4100654 | 3607162 | 942 8620 | 39 | 32
549.31/549.44 c 524s | 24 | 4114429 | 3619362 | 942 8644 | 39 | 32
551.31/551.44 c 526s | 24 | 4128712 | 3631962 | 942 8669 | 39 | 32
553.31/553.45 c 528s | 24 | 4143785 | 3645162 | 942 8695 | 39 | 32
555.30/555.47 c 530s | 24 | 4159038 | 3658662 | 942 8721 | 39 | 32
557.30/557.47 c 532s | 24 | 4174430 | 3672262 | 942 8748 | 39 | 32
559.30/559.47 c 535s | 24 | 4189477 | 3685762 | 942 8775 | 39 | 32
561.30/561.47 c 537s | 24 | 4204816 | 3699462 | 942 8802 | 39 | 32
563.30/563.48 c 539s | 24 | 4219548 | 3712462 | 942 8827 | 39 | 32
565.31/565.48 c 541s | 24 | 4233515 | 3724962 | 942 8852 | 39 | 32
567.40/567.50 c 543s | 24 | 4248552 | 3738262 | 942 8878 | 39 | 32
569.40/569.51 c 545s | 24 | 4262309 | 3750462 | 942 8902 | 39 | 32
571.40/571.52 c 547s | 24 | 4277096 | 3763462 | 942 8928 | 39 | 32
573.40/573.54 c 549s | 24 | 4291988 | 3776662 | 942 8954 | 39 | 32
575.40/575.54 c 551s | 24 | 4306199 | 3789262 | 942 8978 | 39 | 32
577.41/577.54 c 553s | 24 | 4320867 | 3802062 | 942 9003 | 39 | 32
579.40/579.54 c 555s | 24 | 4334381 | 3814062 | 942 9027 | 39 | 32
581.40/581.55 c 557s | 24 | 4347953 | 3826062 | 942 9050 | 39 | 32
583.40/583.56 c 559s | 24 | 4362322 | 3838762 | 942 9075 | 39 | 32
585.40/585.57 c 561s | 24 | 4376830 | 3851462 | 942 9100 | 39 | 32
587.40/587.58 c 563s | 24 | 4391987 | 3864762 | 942 9126 | 39 | 32
589.40/589.59 c 565s | 24 | 4405568 | 3876862 | 942 9150 | 39 | 32
591.50/591.60 c 567s | 24 | 4418749 | 3888662 | 942 9173 | 39 | 32
593.50/593.61 c 569s | 24 | 4432318 | 3900662 | 942 9196 | 39 | 32
595.50/595.61 c 571s | 24 | 4445189 | 3912162 | 942 9219 | 39 | 32
597.50/597.62 c 573s | 24 | 4458500 | 3923962 | 942 9242 | 39 | 32
599.50/599.63 c 575s | 24 | 4471973 | 3935962 | 942 9265 | 39 | 32
601.49/601.63 c 577s | 24 | 4485251 | 3947762 | 942 9288 | 39 | 32
603.49/603.64 c 579s | 24 | 4499105 | 3959962 | 942 9312 | 39 | 32
605.49/605.65 c 581s | 24 | 4513391 | 3972562 | 942 9337 | 39 | 32
607.50/607.66 c 583s | 24 | 4527952 | 3985262 | 942 9362 | 39 | 32
609.50/609.67 c 585s | 24 | 4542732 | 3998162 | 942 9387 | 39 | 32
611.51/611.68 c 587s | 24 | 4556698 | 4010462 | 942 9411 | 39 | 32
613.50/613.69 c 589s | 24 | 4569808 | 4022162 | 942 9434 | 39 | 32
615.60/615.70 c 591s | 24 | 4582545 | 4033562 | 942 9456 | 39 | 32
617.60/617.72 c 593s | 24 | 4595704 | 4045162 | 942 9478 | 39 | 32
619.60/619.74 c 595s | 24 | 4609037 | 4056962 | 942 9502 | 39 | 32
621.60/621.74 c 597s | 24 | 4621963 | 4068262 | 942 9524 | 39 | 32
623.60/623.76 c 599s | 24 | 4634887 | 4079662 | 942 9546 | 39 | 32
625.60/625.77 c 601s | 24 | 4648395 | 4091462 | 942 9569 | 39 | 32
627.60/627.78 c 603s | 24 | 4661417 | 4103062 | 942 9592 | 39 | 32
629.60/629.79 c 605s | 24 | 4673961 | 4114362 | 942 9614 | 39 | 32
631.60/631.79 c 607s | 24 | 4686921 | 4125862 | 942 9637 | 39 | 32
633.69/633.80 c 609s | 24 | 4699434 | 4137062 | 942 9659 | 39 | 32
635.70/635.80 c 611s | 24 | 4712421 | 4148562 | 942 9681 | 39 | 32
637.69/637.80 c 613s | 24 | 4725739 | 4160362 | 942 9704 | 39 | 32
639.69/639.82 c 615s | 24 | 4738939 | 4171962 | 942 9727 | 39 | 32
641.69/641.82 c 617s | 24 | 4752868 | 4184262 | 942 9751 | 39 | 32
643.69/643.83 c 619s | 24 | 4766104 | 4196062 | 942 9774 | 39 | 32
645.70/645.84 c 621s | 24 | 4780194 | 4208262 | 942 9798 | 39 | 32
647.69/647.85 c 623s | 24 | 4793851 | 4220262 | 942 9822 | 39 | 32
649.69/649.87 c 625s | 24 | 4807512 | 4232162 | 942 9845 | 39 | 32
651.69/651.87 c 627s | 24 | 4820390 | 4243562 | 942 9868 | 39 | 32
653.69/653.88 c 629s | 24 | 4833365 | 4254962 | 942 9890 | 39 | 32
655.69/655.89 c 631s | 24 | 4846340 | 4266562 | 942 9913 | 39 | 32
657.70/657.89 c 633s | 24 | 4860400 | 4278862 | 942 9937 | 39 | 32
659.69/659.89 c 635s | 24 | 4872851 | 4290062 | 942 9959 | 39 | 32
661.79/661.91 c 637s | 24 | 4885834 | 4301562 | 942 9982 | 39 | 32
663.79/663.92 c 639s | 24 | 4899053 | 4313262 | 942 10005 | 39 | 32
665.79/665.92 c 641s | 24 | 4911796 | 4324762 | 942 10027 | 39 | 32
667.79/667.93 c 643s | 24 | 4924642 | 4336262 | 942 10050 | 39 | 32
669.79/669.95 c 645s | 24 | 4938193 | 4348262 | 942 10073 | 39 | 32
671.78/671.96 c 647s | 24 | 4951919 | 4360262 | 942 10097 | 39 | 32
673.78/673.97 c 649s | 24 | 4965081 | 4371862 | 942 10120 | 39 | 32
675.79/675.98 c 651s | 24 | 4978315 | 4383562 | 942 10143 | 39 | 32
677.78/677.99 c 653s | 24 | 4992852 | 4396162 | 942 10167 | 39 | 32
679.88/680.00 c 655s | 24 | 5008245 | 4409662 | 942 10194 | 39 | 32
681.89/682.01 c 657s | 24 | 5023033 | 4422562 | 942 10219 | 39 | 32
683.88/684.02 c 659s | 24 | 5037669 | 4435062 | 942 10243 | 39 | 32
685.88/686.02 c 661s | 24 | 5052636 | 4448162 | 942 10269 | 39 | 32
687.88/688.04 c 663s | 24 | 5067494 | 4461162 | 942 10295 | 39 | 32
689.88/690.05 c 665s | 24 | 5082002 | 4473862 | 942 10320 | 39 | 32
691.89/692.05 c 667s | 24 | 5095915 | 4486062 | 942 10343 | 39 | 32
693.88/694.05 c 669s | 24 | 5109584 | 4498262 | 942 10367 | 39 | 32
695.89/696.06 c 671s | 24 | 5124011 | 4510962 | 942 10392 | 39 | 32
697.89/698.06 c 673s | 24 | 5138443 | 4523562 | 942 10417 | 39 | 32
699.89/700.07 c 675s | 24 | 5152358 | 4535962 | 942 10441 | 39 | 32
701.89/702.08 c 677s | 24 | 5166880 | 4548662 | 942 10466 | 39 | 32
703.89/704.08 c 679s | 24 | 5180933 | 4561062 | 942 10490 | 39 | 32
705.89/706.09 c 681s | 24 | 5195117 | 4573562 | 942 10515 | 39 | 32
707.89/708.10 c 683s | 24 | 5209248 | 4586062 | 942 10540 | 39 | 32
709.99/710.10 c 685s | 24 | 5223672 | 4598862 | 942 10565 | 39 | 32
711.98/712.11 c 687s | 24 | 5238450 | 4611862 | 942 10590 | 39 | 32
713.98/714.13 c 689s | 24 | 5252375 | 4624362 | 942 10614 | 39 | 32
715.99/716.14 c 691s | 24 | 5266033 | 4636562 | 942 10638 | 39 | 32
717.98/718.15 c 693s | 24 | 5280019 | 4648962 | 942 10663 | 39 | 32
719.97/720.16 c 695s | 24 | 5294626 | 4661662 | 942 10688 | 39 | 32
721.97/722.17 c 697s | 24 | 5309678 | 4674662 | 942 10713 | 39 | 32
723.97/724.17 c 699s | 24 | 5324530 | 4687762 | 942 10739 | 39 | 32
725.98/726.17 c 701s | 24 | 5338427 | 4700062 | 942 10763 | 39 | 32
727.97/728.18 c 703s | 24 | 5351914 | 4712162 | 942 10787 | 39 | 32
730.07/730.20 c 705s | 24 | 5365030 | 4723962 | 942 10810 | 39 | 32
732.07/732.21 c 707s | 24 | 5378872 | 4736262 | 942 10834 | 39 | 32
734.07/734.22 c 709s | 24 | 5391489 | 4747662 | 942 10857 | 39 | 32
736.07/736.23 c 711s | 24 | 5405357 | 4759862 | 942 10881 | 39 | 32
738.07/738.23 c 713s | 24 | 5419445 | 4772062 | 942 10905 | 39 | 32
740.07/740.25 c 715s | 24 | 5432201 | 4783562 | 1037 10927 | 39 | 32
742.07/742.26 c 717s | 24 | 5446559 | 4796062 | 1037 10949 | 39 | 32
744.06/744.27 c 719s | 24 | 5460982 | 4808562 | 1037 10972 | 39 | 32
746.06/746.28 c 721s | 24 | 5474592 | 4820462 | 1037 10993 | 39 | 32
748.16/748.30 c 723s | 24 | 5488778 | 4832962 | 1037 11015 | 39 | 32
750.17/750.31 c 725s | 24 | 5501975 | 4844662 | 1037 11037 | 39 | 32
752.16/752.32 c 727s | 24 | 5515226 | 4856362 | 1037 11058 | 39 | 32
754.17/754.32 c 729s | 24 | 5529279 | 4868662 | 1037 11080 | 39 | 32
756.17/756.33 c 731s | 24 | 5543857 | 4881362 | 1037 11103 | 39 | 32
758.16/758.33 c 733s | 24 | 5557633 | 4893462 | 1037 11125 | 39 | 32
760.16/760.35 c 735s | 24 | 5571736 | 4905662 | 1037 11147 | 39 | 32
762.17/762.36 c 737s | 24 | 5584769 | 4917062 | 1037 11167 | 39 | 32
764.16/764.38 c 739s | 24 | 5597294 | 4928262 | 1037 11187 | 39 | 32
766.16/766.39 c 741s | 24 | 5610098 | 4939562 | 1037 11208 | 39 | 32
768.26/768.41 c 743s | 24 | 5624008 | 4951662 | 1037 11229 | 39 | 32
770.25/770.41 c 745s | 24 | 5637224 | 4963262 | 1037 11250 | 39 | 32
772.25/772.42 c 747s | 24 | 5649523 | 4974362 | 1037 11270 | 39 | 32
774.26/774.44 c 749s | 24 | 5662173 | 4985562 | 1037 11291 | 39 | 32
776.25/776.45 c 751s | 24 | 5675360 | 4997062 | 1037 11311 | 39 | 32
778.25/778.46 c 753s | 24 | 5689687 | 5009562 | 1037 11334 | 39 | 32
780.26/780.47 c 756s | 24 | 5703860 | 5022162 | 1037 11357 | 39 | 32
782.26/782.49 c 758s | 24 | 5718281 | 5034762 | 1037 11380 | 39 | 32
784.36/784.50 c 760s | 24 | 5731970 | 5046862 | 1037 11401 | 39 | 32
786.26/786.50 c 762s | 24 | 5745831 | 5059162 | 1037 11423 | 39 | 32
787.26/787.42 c 762s | 25 | 5752562 | 5065098 | 1037 11434 | 39 | 32
789.25/789.43 c 764s | 25 | 5767224 | 5077998 | 1037 11457 | 39 | 32
791.25/791.43 c 766s | 25 | 5781893 | 5090898 | 1037 11481 | 39 | 32
793.25/793.43 c 768s | 25 | 5797884 | 5104698 | 1037 11505 | 39 | 32
795.26/795.44 c 770s | 25 | 5814521 | 5118898 | 1037 11531 | 39 | 32
797.25/797.44 c 772s | 25 | 5831815 | 5133498 | 1037 11557 | 39 | 32
799.25/799.45 c 774s | 25 | 5846356 | 5146298 | 1037 11580 | 39 | 32
801.25/801.46 c 776s | 25 | 5862066 | 5159698 | 1037 11604 | 39 | 32
803.25/803.46 c 778s | 25 | 5876771 | 5172598 | 1037 11627 | 39 | 32
805.25/805.47 c 780s | 25 | 5892261 | 5185998 | 1037 11651 | 39 | 32
807.26/807.47 c 783s | 25 | 5906745 | 5198798 | 1037 11674 | 39 | 32
809.24/809.48 c 785s | 25 | 5921395 | 5211598 | 1037 11697 | 39 | 32
811.24/811.49 c 787s | 25 | 5935881 | 5224398 | 1037 11720 | 39 | 32
813.24/813.49 c 789s | 25 | 5951485 | 5237898 | 1037 11744 | 39 | 32
815.34/815.51 c 791s | 25 | 5966529 | 5251098 | 1037 11767 | 39 | 32
817.34/817.52 c 793s | 25 | 5982216 | 5264698 | 1037 11792 | 39 | 32
819.35/819.53 c 795s | 25 | 5997568 | 5277998 | 1037 11815 | 39 | 32
821.34/821.53 c 797s | 25 | 6010282 | 5289498 | 1037 11836 | 39 | 32
823.34/823.54 c 799s | 25 | 6024188 | 5301898 | 1037 11858 | 39 | 32
825.34/825.54 c 801s | 25 | 6039645 | 5315398 | 1037 11882 | 39 | 32
827.34/827.55 c 803s | 25 | 6054005 | 5327998 | 1037 11905 | 39 | 32
829.34/829.55 c 805s | 25 | 6068213 | 5340698 | 1037 11927 | 39 | 32
831.33/831.57 c 807s | 25 | 6083881 | 5354498 | 1037 11952 | 39 | 32
833.33/833.57 c 809s | 25 | 6098902 | 5367698 | 1037 11976 | 39 | 32
835.33/835.58 c 811s | 25 | 6112924 | 5380098 | 1037 11998 | 39 | 32
837.33/837.60 c 813s | 25 | 6127024 | 5392498 | 1037 12020 | 39 | 32
839.43/839.61 c 815s | 25 | 6140562 | 5404498 | 1037 12042 | 39 | 32
841.44/841.61 c 817s | 25 | 6154749 | 5416898 | 1037 12064 | 39 | 32
843.43/843.61 c 819s | 25 | 6168739 | 5429298 | 1037 12086 | 39 | 32
845.43/845.62 c 821s | 25 | 6182765 | 5441698 | 1037 12109 | 39 | 32
847.43/847.63 c 823s | 25 | 6196615 | 5453898 | 1037 12130 | 39 | 32
849.42/849.63 c 825s | 25 | 6210450 | 5466198 | 1037 12152 | 39 | 32
851.43/851.65 c 827s | 25 | 6224196 | 5478398 | 1037 12174 | 39 | 32
853.44/853.65 c 829s | 25 | 6237780 | 5490398 | 1037 12196 | 39 | 32
855.43/855.67 c 831s | 25 | 6251537 | 5502698 | 1037 12218 | 39 | 32
857.43/857.67 c 833s | 25 | 6265289 | 5514998 | 1037 12240 | 39 | 32
859.42/859.68 c 835s | 25 | 6278541 | 5526898 | 1037 12261 | 39 | 32
861.42/861.69 c 837s | 25 | 6292882 | 5539598 | 1037 12284 | 39 | 32
863.52/863.71 c 839s | 25 | 6307201 | 5552198 | 1037 12306 | 39 | 32
865.53/865.72 c 841s | 25 | 6321555 | 5564798 | 1037 12329 | 39 | 32
867.52/867.72 c 843s | 25 | 6335146 | 5576898 | 1037 12351 | 39 | 32
869.51/869.72 c 845s | 25 | 6349665 | 5589698 | 1037 12374 | 39 | 32
871.51/871.72 c 847s | 25 | 6364725 | 5602998 | 1037 12398 | 39 | 32
873.51/873.74 c 849s | 25 | 6379259 | 5615698 | 1037 12421 | 39 | 32
875.52/875.75 c 851s | 25 | 6392911 | 5627698 | 1037 12442 | 39 | 32
877.51/877.76 c 853s | 25 | 6406872 | 5639998 | 1037 12464 | 39 | 32
879.51/879.77 c 855s | 25 | 6420097 | 5651498 | 1037 12485 | 39 | 32
881.51/881.77 c 857s | 25 | 6432927 | 5662998 | 1037 12505 | 39 | 32
883.51/883.78 c 859s | 25 | 6445916 | 5674598 | 1037 12526 | 39 | 32
885.51/885.79 c 861s | 25 | 6458745 | 5685998 | 1037 12546 | 39 | 32
887.61/887.80 c 863s | 25 | 6471944 | 5697698 | 1037 12567 | 39 | 32
889.61/889.81 c 865s | 25 | 6485584 | 5709798 | 1037 12589 | 39 | 32
891.61/891.82 c 867s | 25 | 6500215 | 5722498 | 1037 12612 | 39 | 32
893.60/893.84 c 869s | 25 | 6514140 | 5734798 | 1037 12634 | 39 | 32
895.60/895.84 c 871s | 25 | 6527125 | 5746298 | 1037 12654 | 39 | 32
897.60/897.84 c 873s | 25 | 6540043 | 5757798 | 1037 12675 | 39 | 32
899.61/899.86 c 875s | 25 | 6553484 | 5769598 | 1037 12696 | 39 | 32
901.60/901.86 c 877s | 25 | 6567623 | 5781998 | 1037 12718 | 39 | 32
903.60/903.87 c 879s | 25 | 6581338 | 5793998 | 1037 12740 | 39 | 32
905.60/905.88 c 881s | 25 | 6594988 | 5805998 | 1037 12762 | 39 | 32
907.60/907.89 c 883s | 25 | 6609118 | 5818298 | 1037 12784 | 39 | 32
909.60/909.89 c 885s | 25 | 6623035 | 5830498 | 1037 12806 | 39 | 32
911.70/911.91 c 887s | 25 | 6636672 | 5842498 | 1037 12827 | 39 | 32
913.70/913.91 c 889s | 25 | 6649824 | 5854198 | 1037 12848 | 39 | 32
915.69/915.92 c 891s | 25 | 6663240 | 5865998 | 1037 12869 | 39 | 32
917.70/917.93 c 893s | 25 | 6677561 | 5878598 | 1037 12892 | 39 | 32
919.69/919.95 c 895s | 25 | 6691577 | 5890998 | 1037 12914 | 39 | 32
921.70/921.95 c 897s | 25 | 6705328 | 5903198 | 1037 12936 | 39 | 32
923.69/923.96 c 899s | 25 | 6719351 | 5915798 | 1037 12959 | 39 | 32
925.69/925.97 c 901s | 25 | 6732772 | 5927798 | 1037 12981 | 39 | 32
927.69/927.97 c 903s | 25 | 6746708 | 5939998 | 1037 13003 | 39 | 32
929.68/929.98 c 905s | 25 | 6759713 | 5951698 | 1037 13024 | 39 | 32
931.69/931.99 c 907s | 25 | 6772408 | 5963098 | 1037 13044 | 39 | 32
933.69/934.00 c 909s | 25 | 6785334 | 5974598 | 1037 13065 | 39 | 32
935.78/936.00 c 911s | 25 | 6798051 | 5985898 | 1037 13086 | 39 | 32
937.79/938.01 c 913s | 25 | 6810871 | 5997298 | 1037 13106 | 39 | 32
939.79/940.01 c 915s | 25 | 6823500 | 6008598 | 1037 13127 | 39 | 32
941.79/942.02 c 917s | 25 | 6837147 | 6020598 | 1037 13148 | 39 | 32
943.79/944.02 c 919s | 25 | 6851307 | 6032998 | 1037 13170 | 39 | 32
945.79/946.04 c 921s | 25 | 6865683 | 6045498 | 1037 13193 | 39 | 32
947.79/948.04 c 923s | 25 | 6879543 | 6057998 | 1037 13215 | 39 | 32
949.78/950.05 c 925s | 25 | 6893726 | 6070598 | 1037 13238 | 39 | 32
951.78/952.06 c 927s | 25 | 6907704 | 6082898 | 1037 13260 | 39 | 32
953.78/954.06 c 929s | 25 | 6921506 | 6094998 | 1037 13282 | 39 | 32
955.79/956.08 c 931s | 25 | 6935204 | 6107098 | 1037 13304 | 39 | 32
957.78/958.08 c 933s | 25 | 6948656 | 6118998 | 1037 13325 | 39 | 32
959.78/960.09 c 935s | 25 | 6962144 | 6130898 | 1037 13346 | 39 | 32
961.78/962.10 c 937s | 25 | 6975303 | 6142598 | 1037 13367 | 39 | 32
963.88/964.10 c 939s | 25 | 6988554 | 6154398 | 1037 13388 | 39 | 32
965.88/966.10 c 941s | 25 | 7001989 | 6166298 | 1037 13410 | 39 | 32
967.88/968.11 c 943s | 25 | 7015700 | 6178298 | 1037 13431 | 39 | 32
969.87/970.13 c 945s | 25 | 7030309 | 6190898 | 1037 13454 | 39 | 32
971.87/972.13 c 947s | 25 | 7044967 | 6203798 | 1037 13477 | 39 | 32
973.87/974.14 c 949s | 25 | 7058413 | 6215798 | 1037 13499 | 39 | 32
975.87/976.15 c 951s | 25 | 7071823 | 6227598 | 1037 13520 | 39 | 32
977.87/978.16 c 953s | 25 | 7086108 | 6240098 | 1037 13542 | 39 | 32
979.87/980.17 c 955s | 25 | 7099750 | 6252098 | 1037 13564 | 39 | 32
981.86/982.17 c 957s | 25 | 7113241 | 6264198 | 1037 13585 | 39 | 32
983.86/984.19 c 959s | 25 | 7128087 | 6277098 | 1037 13609 | 39 | 32
985.86/986.19 c 961s | 25 | 7142064 | 6289398 | 1037 13631 | 39 | 32
987.96/988.20 c 963s | 25 | 7156524 | 6301998 | 1037 13654 | 39 | 32
989.96/990.22 c 965s | 25 | 7171139 | 6314698 | 1037 13676 | 39 | 32
991.96/992.23 c 967s | 25 | 7186297 | 6327598 | 1037 13700 | 39 | 32
993.95/994.24 c 969s | 25 | 7201286 | 6340498 | 1037 13723 | 39 | 32
995.95/996.25 c 971s | 25 | 7215331 | 6352798 | 1037 13745 | 39 | 32
997.95/998.25 c 973s | 25 | 7229132 | 6364998 | 1037 13767 | 39 | 32
999.95/1000.26 c 975s | 25 | 7243645 | 6377598 | 1037 13790 | 39 | 32
1001.95/1002.27 c 977s | 25 | 7258180 | 6390198 | 1037 13813 | 39 | 32
1003.95/1004.28 c 979s | 25 | 7271993 | 6402298 | 1037 13835 | 39 | 32
1005.96/1006.28 c 981s | 25 | 7285863 | 6414398 | 1037 13857 | 39 | 32
1007.96/1008.29 c 983s | 25 | 7299888 | 6426898 | 1037 13879 | 39 | 32
1010.05/1010.30 c 985s | 25 | 7313551 | 6439098 | 1037 13901 | 39 | 32
1012.05/1012.30 c 987s | 25 | 7327014 | 6450998 | 1037 13922 | 39 | 32
1013.96/1014.30 c 989s | 25 | 7340222 | 6462698 | 1037 13943 | 39 | 32
1016.05/1016.30 c 991s | 25 | 7353559 | 6474498 | 1037 13964 | 39 | 32
1018.05/1018.30 c 993s | 25 | 7367313 | 6486598 | 1037 13986 | 39 | 32
1020.05/1020.31 c 995s | 25 | 7381022 | 6498698 | 1037 14007 | 39 | 32
1022.05/1022.32 c 997s | 25 | 7394332 | 6510498 | 1037 14028 | 39 | 32
1024.05/1024.33 c 999s | 25 | 7408192 | 6522698 | 1037 14050 | 39 | 32
1026.05/1026.33 c 1001s | 25 | 7421738 | 6534598 | 1037 14072 | 39 | 32
1028.05/1028.34 c 1003s | 25 | 7434740 | 6546098 | 1037 14092 | 39 | 32
1030.04/1030.35 c 1005s | 25 | 7448944 | 6558598 | 1037 14115 | 39 | 32
1032.04/1032.35 c 1007s | 25 | 7463605 | 6571398 | 1037 14138 | 39 | 32
1034.04/1034.36 c 1009s | 25 | 7478976 | 6584598 | 1037 14161 | 39 | 32
1036.04/1036.38 c 1011s | 25 | 7492395 | 6596498 | 1037 14183 | 39 | 32
1038.04/1038.38 c 1013s | 25 | 7506205 | 6608698 | 1037 14205 | 39 | 32
1040.13/1040.40 c 1015s | 25 | 7519867 | 6620798 | 1037 14226 | 39 | 32
1042.13/1042.41 c 1017s | 25 | 7535175 | 6634098 | 1037 14250 | 39 | 32
1044.13/1044.42 c 1019s | 25 | 7549616 | 6646798 | 1037 14273 | 39 | 32
1046.13/1046.43 c 1021s | 25 | 7562824 | 6658598 | 1037 14294 | 39 | 32
1048.14/1048.44 c 1023s | 25 | 7576641 | 6670898 | 1037 14316 | 39 | 32
1050.13/1050.44 c 1025s | 25 | 7590458 | 6683198 | 1037 14338 | 39 | 32
1052.13/1052.45 c 1027s | 25 | 7603674 | 6695098 | 1037 14359 | 39 | 32
1054.13/1054.46 c 1029s | 25 | 7617312 | 6707198 | 1037 14381 | 39 | 32
1056.12/1056.47 c 1031s | 25 | 7632339 | 6720298 | 1037 14404 | 39 | 32
1058.12/1058.47 c 1034s | 25 | 7646154 | 6732598 | 1037 14427 | 39 | 32
1060.13/1060.47 c 1036s | 25 | 7659229 | 6744298 | 1037 14448 | 39 | 32
1062.12/1062.48 c 1038s | 25 | 7672808 | 6756398 | 1037 14469 | 39 | 32
1064.12/1064.48 c 1040s | 25 | 7687651 | 6769398 | 1037 14492 | 39 | 32
1066.12/1066.48 c 1042s | 25 | 7702409 | 6782498 | 1037 14516 | 39 | 32
1068.13/1068.49 c 1044s | 25 | 7716744 | 6795098 | 1037 14538 | 39 | 32
1070.13/1070.49 c 1046s | 25 | 7731508 | 6807998 | 1037 14561 | 39 | 32
1072.13/1072.49 c 1048s | 25 | 7746085 | 6820798 | 1037 14584 | 39 | 32
1074.22/1074.51 c 1050s | 25 | 7760213 | 6833398 | 1037 14607 | 39 | 32
1076.22/1076.52 c 1052s | 25 | 7774343 | 6845898 | 1037 14629 | 39 | 32
1078.22/1078.54 c 1054s | 25 | 7787691 | 6857898 | 1037 14651 | 39 | 32
1080.22/1080.54 c 1056s | 25 | 7801801 | 6870398 | 1037 14674 | 39 | 32
1082.23/1082.54 c 1058s | 25 | 7816617 | 6883398 | 1037 14697 | 39 | 32
1084.22/1084.54 c 1060s | 25 | 7830561 | 6895698 | 1037 14719 | 39 | 32
1086.22/1086.55 c 1062s | 25 | 7845684 | 6908898 | 1037 14743 | 39 | 32
1088.22/1088.56 c 1064s | 25 | 7860673 | 6922098 | 1037 14766 | 39 | 32
1090.22/1090.57 c 1066s | 25 | 7876330 | 6935698 | 1037 14791 | 39 | 32
1092.22/1092.58 c 1068s | 25 | 7892090 | 6949398 | 1037 14816 | 39 | 32
1094.22/1094.59 c 1070s | 25 | 7906633 | 6962198 | 1037 14838 | 39 | 32
1096.21/1096.59 c 1072s | 25 | 7922202 | 6975698 | 1037 14863 | 39 | 32
1098.21/1098.60 c 1074s | 25 | 7937882 | 6989198 | 1037 14887 | 39 | 32
1100.31/1100.60 c 1076s | 25 | 7952251 | 7001998 | 1037 14910 | 39 | 32
1102.31/1102.61 c 1078s | 25 | 7966709 | 7014798 | 1037 14933 | 39 | 32
1104.31/1104.61 c 1080s | 25 | 7980804 | 7027398 | 1037 14956 | 39 | 32
1106.31/1106.61 c 1082s | 25 | 7995250 | 7040198 | 1037 14979 | 39 | 32
1108.31/1108.61 c 1084s | 25 | 8009522 | 7052898 | 1037 15002 | 39 | 32
1110.30/1110.62 c 1086s | 25 | 8023894 | 7065698 | 1037 15025 | 39 | 32
1112.30/1112.62 c 1088s | 25 | 8038677 | 7078598 | 1037 15048 | 39 | 32
1114.30/1114.63 c 1090s | 25 | 8053111 | 7091298 | 1037 15071 | 39 | 32
1116.31/1116.64 c 1092s | 25 | 8067263 | 7103898 | 1037 15093 | 39 | 32
1118.30/1118.66 c 1094s | 25 | 8081507 | 7116598 | 1037 15116 | 39 | 32
1120.30/1120.67 c 1096s | 25 | 8095441 | 7129098 | 1037 15139 | 39 | 32
1122.30/1122.67 c 1098s | 25 | 8109762 | 7141698 | 1037 15162 | 39 | 32
1124.30/1124.69 c 1100s | 25 | 8124495 | 7154598 | 1037 15185 | 39 | 32
1126.29/1126.70 c 1102s | 25 | 8139144 | 7167498 | 1037 15208 | 39 | 32
1128.30/1128.70 c 1104s | 25 | 8152736 | 7179698 | 1037 15230 | 39 | 32
1130.39/1130.70 c 1106s | 25 | 8166696 | 7192098 | 1037 15253 | 39 | 32
1132.39/1132.72 c 1108s | 25 | 8181186 | 7204898 | 1037 15276 | 39 | 32
1134.39/1134.73 c 1110s | 25 | 8195420 | 7217498 | 1037 15298 | 39 | 32
1136.39/1136.74 c 1112s | 25 | 8209518 | 7229998 | 1037 15320 | 39 | 32
1138.39/1138.76 c 1114s | 25 | 8223449 | 7242398 | 1037 15343 | 39 | 32
1140.39/1140.76 c 1116s | 25 | 8236732 | 7254298 | 1037 15364 | 39 | 32
1142.38/1142.77 c 1118s | 25 | 8250267 | 7266398 | 1037 15385 | 39 | 32
1144.39/1144.77 c 1120s | 25 | 8264043 | 7278698 | 1037 15408 | 39 | 32
1146.39/1146.77 c 1122s | 25 | 8277545 | 7290698 | 1037 15429 | 39 | 32
1148.39/1148.78 c 1124s | 25 | 8290641 | 7302398 | 1141 15449 | 39 | 32
1150.39/1150.78 c 1126s | 25 | 8303955 | 7314298 | 1141 15468 | 39 | 32
1152.38/1152.79 c 1128s | 25 | 8317883 | 7326498 | 1141 15488 | 39 | 32
1154.48/1154.80 c 1130s | 25 | 8331129 | 7338398 | 1141 15508 | 39 | 32
1156.48/1156.81 c 1132s | 25 | 8344306 | 7350198 | 1141 15527 | 39 | 32
1158.48/1158.82 c 1134s | 25 | 8357435 | 7361798 | 1141 15546 | 39 | 32
1160.48/1160.82 c 1136s | 25 | 8371111 | 7373698 | 1141 15566 | 39 | 32
1162.48/1162.83 c 1138s | 25 | 8384753 | 7385798 | 1141 15586 | 39 | 32
1164.48/1164.83 c 1140s | 25 | 8398161 | 7397698 | 1141 15605 | 39 | 32
1166.48/1166.84 c 1142s | 25 | 8410895 | 7409098 | 1141 15624 | 39 | 32
1168.47/1168.86 c 1144s | 25 | 8423481 | 7420398 | 1141 15643 | 39 | 32
1170.47/1170.87 c 1146s | 25 | 8436285 | 7431798 | 1141 15661 | 39 | 32
1172.47/1172.88 c 1148s | 25 | 8450384 | 7444198 | 1141 15682 | 39 | 32
1174.47/1174.88 c 1150s | 25 | 8463568 | 7455998 | 1141 15701 | 39 | 32
1176.47/1176.90 c 1152s | 25 | 8476678 | 7467598 | 1141 15720 | 39 | 32
1178.56/1178.91 c 1154s | 25 | 8489680 | 7479198 | 1141 15739 | 39 | 32
1180.56/1180.92 c 1156s | 25 | 8502844 | 7490798 | 1141 15758 | 39 | 32
1182.56/1182.92 c 1158s | 25 | 8515931 | 7502498 | 1141 15778 | 39 | 32
1184.57/1184.94 c 1160s | 25 | 8529285 | 7514298 | 1141 15797 | 39 | 32
1186.57/1186.94 c 1162s | 25 | 8542802 | 7526298 | 1141 15817 | 39 | 32
1188.56/1188.95 c 1164s | 25 | 8556450 | 7538398 | 1141 15837 | 39 | 32
1190.56/1190.96 c 1166s | 25 | 8570159 | 7550598 | 1141 15857 | 39 | 32
1192.56/1192.97 c 1168s | 25 | 8583160 | 7562198 | 1141 15876 | 39 | 32
1194.56/1194.98 c 1170s | 25 | 8596695 | 7574098 | 1141 15895 | 39 | 32
1196.57/1196.99 c 1172s | 25 | 8610541 | 7586298 | 1141 15915 | 39 | 32
1198.45/1198.87 c 1174s | 26 | 8623756 | 7597752 | 1141 15934 | 39 | 32
1200.45/1200.87 c 1176s | 26 | 8638746 | 7610852 | 1141 15956 | 39 | 32
1202.45/1202.89 c 1178s | 26 | 8655050 | 7624752 | 1141 15979 | 39 | 32
1204.45/1204.89 c 1180s | 26 | 8670068 | 7637952 | 1141 16000 | 39 | 32
1206.55/1206.90 c 1182s | 26 | 8685231 | 7651352 | 1141 16022 | 39 | 32
1208.55/1208.91 c 1184s | 26 | 8701073 | 7665152 | 1141 16045 | 39 | 32
1210.55/1210.92 c 1186s | 26 | 8716790 | 7678952 | 1141 16068 | 39 | 32
1212.55/1212.92 c 1188s | 26 | 8732407 | 7692752 | 1141 16090 | 39 | 32
1214.55/1214.93 c 1190s | 26 | 8748989 | 7707252 | 1141 16114 | 39 | 32
1216.55/1216.94 c 1192s | 26 | 8764882 | 7721152 | 1141 16137 | 39 | 32
1218.56/1218.95 c 1194s | 26 | 8781324 | 7735252 | 1141 16160 | 39 | 32
1220.55/1220.95 c 1196s | 26 | 8798358 | 7749752 | 1141 16184 | 39 | 32
1222.55/1222.96 c 1198s | 26 | 8814146 | 7763452 | 1141 16206 | 39 | 32
1224.55/1224.96 c 1200s | 26 | 8829665 | 7776952 | 1141 16229 | 39 | 32
1226.55/1226.97 c 1202s | 26 | 8847070 | 7791852 | 1141 16253 | 39 | 32
1228.55/1228.98 c 1204s | 26 | 8862831 | 7805552 | 1141 16276 | 39 | 32
1230.55/1230.99 c 1206s | 26 | 8878310 | 7818852 | 1141 16297 | 39 | 32
1232.54/1232.99 c 1208s | 26 | 8894061 | 7832652 | 1141 16320 | 39 | 32
1234.64/1235.00 c 1210s | 26 | 8910720 | 7847052 | 1141 16344 | 39 | 32
1236.64/1237.00 c 1212s | 26 | 8927136 | 7861252 | 1141 16367 | 39 | 32
1238.63/1239.01 c 1214s | 26 | 8943729 | 7875752 | 1141 16391 | 39 | 32
1240.63/1241.01 c 1216s | 26 | 8959195 | 7889652 | 1141 16414 | 39 | 32
1242.64/1243.01 c 1218s | 26 | 8974505 | 7903552 | 1141 16436 | 39 | 32
1244.63/1245.02 c 1220s | 26 | 8990704 | 7917852 | 1141 16460 | 39 | 32
1246.64/1247.04 c 1222s | 26 | 9008457 | 7932952 | 1141 16485 | 39 | 32
1248.64/1249.05 c 1224s | 26 | 9025612 | 7947752 | 1141 16509 | 39 | 32
1250.63/1251.05 c 1226s | 26 | 9042587 | 7962252 | 1141 16533 | 39 | 32
1252.64/1253.05 c 1228s | 26 | 9058549 | 7976252 | 1141 16556 | 39 | 32
1254.63/1255.06 c 1230s | 26 | 9074164 | 7989952 | 1141 16578 | 39 | 32
1256.63/1257.08 c 1232s | 26 | 9090227 | 8004152 | 1141 16602 | 39 | 32
1258.63/1259.08 c 1234s | 26 | 9105295 | 8017652 | 1141 16624 | 39 | 32
1260.63/1261.09 c 1236s | 26 | 9121237 | 8031352 | 1141 16646 | 39 | 32
1262.63/1263.09 c 1238s | 26 | 9137903 | 8045652 | 1141 16670 | 39 | 32
1264.73/1265.10 c 1240s | 26 | 9152637 | 8058652 | 1141 16691 | 39 | 32
1266.73/1267.10 c 1242s | 26 | 9167210 | 8071552 | 1141 16712 | 39 | 32
1268.72/1269.12 c 1244s | 26 | 9181731 | 8084352 | 1141 16734 | 39 | 32
1270.72/1271.13 c 1246s | 26 | 9197398 | 8098052 | 1141 16756 | 39 | 32
1272.72/1273.13 c 1248s | 26 | 9212941 | 8111852 | 1141 16779 | 39 | 32
1274.72/1275.13 c 1250s | 26 | 9228497 | 8125452 | 1141 16801 | 39 | 32
1276.73/1277.15 c 1252s | 26 | 9243842 | 8138852 | 1141 16824 | 39 | 32
1278.72/1279.15 c 1254s | 26 | 9259421 | 8152652 | 1141 16846 | 39 | 32
1280.72/1281.16 c 1256s | 26 | 9274979 | 8166352 | 1141 16869 | 39 | 32
1282.72/1283.16 c 1258s | 26 | 9291015 | 8180352 | 1141 16892 | 39 | 32
1284.72/1285.17 c 1260s | 26 | 9306653 | 8194052 | 1141 16915 | 39 | 32
1286.72/1287.18 c 1262s | 26 | 9322806 | 8207952 | 1141 16938 | 39 | 32
1288.71/1289.18 c 1264s | 26 | 9338055 | 8221352 | 1141 16960 | 39 | 32
1290.71/1291.19 c 1266s | 26 | 9353787 | 8234752 | 1141 16982 | 39 | 32
1292.81/1293.20 c 1268s | 26 | 9370372 | 8249152 | 1141 17006 | 39 | 32
1294.81/1295.20 c 1270s | 26 | 9386017 | 8262952 | 1141 17029 | 39 | 32
1296.81/1297.20 c 1272s | 26 | 9401986 | 8276952 | 1141 17052 | 39 | 32
1298.81/1299.21 c 1274s | 26 | 9418053 | 8290952 | 1141 17075 | 39 | 32
1300.80/1301.21 c 1276s | 26 | 9434159 | 8304852 | 1141 17098 | 39 | 32
1302.80/1303.22 c 1278s | 26 | 9450452 | 8319152 | 1141 17121 | 39 | 32
1304.80/1305.22 c 1280s | 26 | 9466606 | 8333252 | 1141 17145 | 39 | 32
1306.80/1307.23 c 1282s | 26 | 9482250 | 8347052 | 1141 17168 | 39 | 32
1308.80/1309.24 c 1284s | 26 | 9497504 | 8360752 | 1141 17190 | 39 | 32
1310.80/1311.25 c 1286s | 26 | 9513875 | 8375052 | 1141 17214 | 39 | 32
1312.80/1313.26 c 1288s | 26 | 9529287 | 8388552 | 1141 17236 | 39 | 32
1314.80/1315.26 c 1290s | 26 | 9544138 | 8401652 | 1141 17257 | 39 | 32
1316.80/1317.27 c 1292s | 26 | 9558915 | 8414652 | 1141 17279 | 39 | 32
1318.80/1319.27 c 1294s | 26 | 9573253 | 8427352 | 1141 17300 | 39 | 32
1320.80/1321.28 c 1296s | 26 | 9588209 | 8440452 | 1141 17321 | 39 | 32
1322.80/1323.28 c 1298s | 26 | 9603317 | 8453852 | 1141 17343 | 39 | 32
1324.80/1325.29 c 1300s | 26 | 9618837 | 8467452 | 1141 17365 | 39 | 32
1326.80/1327.30 c 1302s | 26 | 9633888 | 8480752 | 1141 17387 | 39 | 32
1328.89/1329.31 c 1304s | 26 | 9648771 | 8493952 | 1141 17409 | 39 | 32
1330.89/1331.32 c 1306s | 26 | 9662925 | 8506552 | 1141 17429 | 39 | 32
1332.89/1333.33 c 1308s | 26 | 9677597 | 8519452 | 1141 17450 | 39 | 32
1334.89/1335.34 c 1310s | 26 | 9692202 | 8532552 | 1141 17472 | 39 | 32
1336.88/1337.35 c 1312s | 26 | 9706874 | 8545652 | 1141 17493 | 39 | 32
1338.88/1339.35 c 1314s | 26 | 9721843 | 8558952 | 1141 17515 | 39 | 32
1340.88/1341.36 c 1316s | 26 | 9736307 | 8571652 | 1141 17536 | 39 | 32
1342.88/1343.36 c 1318s | 26 | 9751111 | 8584552 | 1141 17557 | 39 | 32
1344.88/1345.37 c 1320s | 26 | 9765666 | 8597352 | 1141 17578 | 39 | 32
1346.88/1347.37 c 1322s | 26 | 9780001 | 8609852 | 1141 17599 | 39 | 32
1348.88/1349.38 c 1324s | 26 | 9795000 | 8622852 | 1141 17620 | 39 | 32
1350.88/1351.38 c 1326s | 26 | 9810205 | 8636052 | 1141 17642 | 39 | 32
1352.88/1353.39 c 1328s | 26 | 9825125 | 8648952 | 1141 17663 | 39 | 32
1354.89/1355.39 c 1330s | 26 | 9839573 | 8661852 | 1141 17684 | 39 | 32
1356.99/1357.40 c 1332s | 26 | 9855032 | 8675352 | 1141 17706 | 39 | 32
1358.98/1359.41 c 1334s | 26 | 9870562 | 8689052 | 1141 17729 | 39 | 32
1360.98/1361.43 c 1336s | 26 | 9885396 | 8702152 | 1141 17750 | 39 | 32
1362.98/1363.44 c 1338s | 26 | 9900327 | 8715252 | 1141 17772 | 39 | 32
1364.98/1365.44 c 1340s | 26 | 9915802 | 8728852 | 1141 17794 | 39 | 32
1366.98/1367.46 c 1342s | 26 | 9931756 | 8742952 | 1141 17817 | 39 | 32
1368.97/1369.47 c 1344s | 26 | 9946995 | 8756452 | 1141 17839 | 39 | 32
1370.97/1371.48 c 1347s | 26 | 9961805 | 8769552 | 1141 17861 | 39 | 32
1372.97/1373.48 c 1349s | 26 | 9976560 | 8782552 | 1141 17882 | 39 | 32
1374.97/1375.49 c 1351s | 26 | 9991170 | 8795352 | 1141 17903 | 39 | 32
1377.07/1377.50 c 1353s | 26 | 10004729 | 8807452 | 1141 17923 | 39 | 32
1378.98/1379.50 c 1355s | 26 | 10017845 | 8819152 | 1141 17942 | 39 | 32
1381.07/1381.51 c 1357s | 26 | 10031354 | 8831052 | 1141 17962 | 39 | 32
1383.07/1383.51 c 1359s | 26 | 10044898 | 8843052 | 1141 17981 | 39 | 32
1385.07/1385.52 c 1361s | 26 | 10058687 | 8855252 | 1141 18001 | 39 | 32
1387.07/1387.53 c 1363s | 26 | 10072047 | 8867052 | 1141 18021 | 39 | 32
1389.07/1389.54 c 1365s | 26 | 10087049 | 8880152 | 1141 18042 | 39 | 32
1391.08/1391.54 c 1367s | 26 | 10101893 | 8893152 | 1141 18064 | 39 | 32
1393.07/1393.54 c 1369s | 26 | 10116713 | 8906052 | 1141 18085 | 39 | 32
1395.07/1395.55 c 1371s | 26 | 10131415 | 8918952 | 1141 18106 | 39 | 32
1397.07/1397.56 c 1373s | 26 | 10145190 | 8931252 | 1141 18126 | 39 | 32
1399.07/1399.57 c 1375s | 26 | 10158256 | 8942952 | 1141 18146 | 39 | 32
1401.08/1401.57 c 1377s | 26 | 10171824 | 8955152 | 1141 18166 | 39 | 32
1403.07/1403.58 c 1379s | 26 | 10185776 | 8967452 | 1141 18186 | 39 | 32
1405.07/1405.59 c 1381s | 26 | 10199531 | 8979652 | 1141 18206 | 39 | 32
1407.17/1407.60 c 1383s | 26 | 10213768 | 8992252 | 1141 18227 | 39 | 32
1409.17/1409.60 c 1385s | 26 | 10227726 | 9004552 | 1141 18247 | 39 | 32
1411.17/1411.61 c 1387s | 26 | 10242225 | 9017052 | 1141 18268 | 39 | 32
1413.17/1413.61 c 1389s | 26 | 10257428 | 9030152 | 1141 18289 | 39 | 32
1415.17/1415.62 c 1391s | 26 | 10271979 | 9042752 | 1141 18310 | 39 | 32
1417.17/1417.62 c 1393s | 26 | 10286231 | 9055252 | 1141 18330 | 39 | 32
1419.17/1419.63 c 1395s | 26 | 10300890 | 9067852 | 1141 18351 | 39 | 32
1421.17/1421.64 c 1397s | 26 | 10314871 | 9080152 | 1141 18371 | 39 | 32
1423.16/1423.65 c 1399s | 26 | 10327953 | 9091752 | 1141 18390 | 39 | 32
1425.17/1425.66 c 1401s | 26 | 10342984 | 9104752 | 1141 18412 | 39 | 32
1427.16/1427.68 c 1403s | 26 | 10357398 | 9117452 | 1141 18433 | 39 | 32
1429.16/1429.68 c 1405s | 26 | 10372009 | 9130152 | 1141 18454 | 39 | 32
1431.16/1431.69 c 1407s | 26 | 10385408 | 9141952 | 1141 18473 | 39 | 32
1433.26/1433.70 c 1409s | 26 | 10398880 | 9153752 | 1141 18493 | 39 | 32
1435.26/1435.71 c 1411s | 26 | 10413226 | 9166152 | 1141 18513 | 39 | 32
1437.27/1437.72 c 1413s | 26 | 10427496 | 9178652 | 1141 18534 | 39 | 32
1439.26/1439.72 c 1415s | 26 | 10441010 | 9190652 | 1141 18553 | 39 | 32
1441.26/1441.73 c 1417s | 26 | 10454596 | 9202552 | 1141 18573 | 39 | 32
1443.26/1443.74 c 1419s | 26 | 10468738 | 9214952 | 1141 18594 | 39 | 32
1445.26/1445.76 c 1421s | 26 | 10483436 | 9227552 | 1141 18615 | 39 | 32
1447.27/1447.76 c 1423s | 26 | 10496598 | 9239152 | 1141 18634 | 39 | 32
1449.26/1449.78 c 1425s | 26 | 10509845 | 9250652 | 1141 18653 | 39 | 32
1451.36/1451.80 c 1427s | 26 | 10523575 | 9262552 | 1141 18672 | 39 | 32
1453.36/1453.81 c 1429s | 26 | 10538059 | 9275152 | 1141 18693 | 39 | 32
1455.36/1455.82 c 1431s | 26 | 10552240 | 9287552 | 1141 18714 | 39 | 32
1457.36/1457.82 c 1433s | 26 | 10565801 | 9299452 | 1141 18733 | 39 | 32
1459.36/1459.83 c 1435s | 26 | 10580273 | 9311852 | 1141 18754 | 39 | 32
1461.36/1461.85 c 1437s | 26 | 10594011 | 9323852 | 1141 18774 | 39 | 32
1463.36/1463.86 c 1439s | 26 | 10607222 | 9335452 | 1141 18793 | 39 | 32
1465.36/1465.86 c 1441s | 26 | 10621346 | 9347552 | 1141 18813 | 39 | 32
1467.36/1467.87 c 1443s | 26 | 10636502 | 9360752 | 1141 18835 | 39 | 32
1469.36/1469.87 c 1445s | 26 | 10651685 | 9373952 | 1141 18856 | 39 | 32
1471.36/1471.89 c 1447s | 26 | 10665210 | 9386052 | 1141 18876 | 39 | 32
1473.46/1473.90 c 1449s | 26 | 10678776 | 9398252 | 1141 18896 | 39 | 32
1475.45/1475.91 c 1451s | 26 | 10692345 | 9410352 | 1141 18916 | 39 | 32
1477.45/1477.91 c 1453s | 26 | 10706516 | 9422652 | 1141 18936 | 39 | 32
1479.45/1479.92 c 1455s | 26 | 10719610 | 9434152 | 1141 18955 | 39 | 32
1481.45/1481.93 c 1457s | 26 | 10732316 | 9445352 | 1141 18973 | 39 | 32
1483.46/1483.93 c 1459s | 26 | 10744500 | 9456152 | 1141 18991 | 39 | 32
1485.45/1485.94 c 1461s | 26 | 10757494 | 9467452 | 1141 19010 | 39 | 32
1487.45/1487.94 c 1463s | 26 | 10771590 | 9479752 | 1141 19030 | 39 | 32
1489.45/1489.95 c 1465s | 26 | 10786475 | 9492552 | 1141 19051 | 39 | 32
1491.45/1491.96 c 1467s | 26 | 10801286 | 9505352 | 1141 19072 | 39 | 32
1493.46/1493.96 c 1469s | 26 | 10814683 | 9517252 | 1141 19092 | 39 | 32
1495.45/1495.97 c 1471s | 26 | 10828702 | 9529552 | 1141 19112 | 39 | 32
1497.45/1497.99 c 1473s | 26 | 10842233 | 9541552 | 1141 19132 | 39 | 32
1499.45/1499.99 c 1475s | 26 | 10856228 | 9553952 | 1141 19152 | 39 | 32
1501.55/1502.00 c 1477s | 26 | 10869576 | 9565852 | 1141 19172 | 39 | 32
1503.55/1504.02 c 1479s | 26 | 10883072 | 9577852 | 1141 19192 | 39 | 32
1505.55/1506.03 c 1481s | 26 | 10896083 | 9589552 | 1141 19211 | 39 | 32
1507.55/1508.04 c 1483s | 26 | 10908953 | 9601052 | 1141 19230 | 39 | 32
1509.55/1510.04 c 1485s | 26 | 10922225 | 9612852 | 1141 19249 | 39 | 32
1511.55/1512.05 c 1487s | 26 | 10936102 | 9625052 | 1141 19269 | 39 | 32
1513.55/1514.06 c 1489s | 26 | 10949786 | 9637152 | 1141 19289 | 39 | 32
1515.55/1516.06 c 1491s | 26 | 10964866 | 9650152 | 1141 19310 | 39 | 32
1517.55/1518.08 c 1493s | 26 | 10979412 | 9663052 | 1141 19332 | 39 | 32
1519.55/1520.08 c 1495s | 26 | 10994369 | 9676052 | 1141 19353 | 39 | 32
1521.55/1522.09 c 1497s | 26 | 11008381 | 9688452 | 1141 19374 | 39 | 32
1523.65/1524.10 c 1499s | 26 | 11021980 | 9700452 | 1141 19393 | 39 | 32
1525.65/1526.10 c 1501s | 26 | 11035829 | 9712652 | 1141 19413 | 39 | 32
1527.65/1528.12 c 1503s | 26 | 11050169 | 9725352 | 1141 19434 | 39 | 32
1529.66/1530.13 c 1505s | 26 | 11065523 | 9738652 | 1141 19456 | 39 | 32
1531.65/1532.14 c 1507s | 26 | 11080396 | 9751452 | 1141 19477 | 39 | 32
1533.65/1534.15 c 1509s | 26 | 11094317 | 9763652 | 1141 19497 | 39 | 32
1535.65/1536.17 c 1511s | 26 | 11108565 | 9775952 | 1141 19518 | 39 | 32
1537.65/1538.18 c 1513s | 26 | 11122174 | 9787852 | 1141 19537 | 39 | 32
1539.65/1540.18 c 1515s | 26 | 11136372 | 9800152 | 1141 19558 | 39 | 32
1541.65/1542.18 c 1517s | 26 | 11150177 | 9812252 | 1141 19578 | 39 | 32
1543.65/1544.19 c 1519s | 26 | 11164928 | 9824952 | 1141 19599 | 39 | 32
1545.74/1546.20 c 1521s | 26 | 11179504 | 9837752 | 1141 19620 | 39 | 32
1547.74/1548.20 c 1523s | 26 | 11193381 | 9849952 | 1141 19640 | 39 | 32
1549.74/1550.20 c 1525s | 26 | 11207888 | 9862752 | 1141 19661 | 39 | 32
1551.75/1552.21 c 1527s | 26 | 11221866 | 9875152 | 1141 19681 | 39 | 32
1553.74/1554.22 c 1529s | 26 | 11235542 | 9887152 | 1141 19701 | 39 | 32
1555.74/1556.24 c 1531s | 26 | 11249214 | 9899152 | 1141 19721 | 39 | 32
1557.74/1558.26 c 1533s | 26 | 11262719 | 9911152 | 1141 19740 | 39 | 32
1559.74/1560.27 c 1535s | 26 | 11276344 | 9923252 | 1141 19760 | 39 | 32
1561.74/1562.28 c 1537s | 26 | 11289504 | 9934952 | 1141 19779 | 39 | 32
1563.75/1564.28 c 1539s | 26 | 11303255 | 9947252 | 1141 19800 | 39 | 32
1565.74/1566.29 c 1541s | 26 | 11316551 | 9959052 | 1141 19819 | 39 | 32
1567.74/1568.29 c 1543s | 26 | 11330456 | 9971252 | 1141 19839 | 39 | 32
1569.74/1570.29 c 1545s | 26 | 11343981 | 9983452 | 1141 19859 | 39 | 32
1571.74/1572.30 c 1547s | 26 | 11357222 | 9995152 | 1141 19879 | 39 | 32
1573.84/1574.30 c 1549s | 26 | 11370605 | 10006952 | 1141 19898 | 39 | 32
1575.84/1576.31 c 1551s | 26 | 11383732 | 10018552 | 1141 19917 | 39 | 32
1577.84/1578.32 c 1553s | 26 | 11396793 | 10030152 | 1141 19936 | 39 | 32
1579.84/1580.32 c 1555s | 26 | 11409440 | 10041652 | 1141 19955 | 39 | 32
1581.84/1582.34 c 1557s | 26 | 11423395 | 10053952 | 1141 19975 | 39 | 32
1583.84/1584.35 c 1559s | 26 | 11436866 | 10065852 | 1141 19995 | 39 | 32
1585.84/1586.36 c 1561s | 26 | 11449735 | 10077352 | 1141 20014 | 39 | 32
1587.83/1588.36 c 1563s | 26 | 11462623 | 10088852 | 1141 20033 | 39 | 32
1589.83/1590.37 c 1565s | 26 | 11475857 | 10100552 | 1141 20052 | 39 | 32
1591.83/1592.38 c 1567s | 26 | 11488607 | 10111952 | 1141 20071 | 39 | 32
1593.84/1594.39 c 1569s | 26 | 11502152 | 10123952 | 1141 20091 | 39 | 32
1595.84/1596.39 c 1571s | 26 | 11516212 | 10136552 | 1141 20112 | 39 | 32
1597.85/1598.40 c 1573s | 26 | 11530391 | 10149052 | 1141 20132 | 39 | 32
1599.94/1600.41 c 1575s | 26 | 11544216 | 10161452 | 1141 20153 | 39 | 32
1601.94/1602.41 c 1577s | 26 | 11557388 | 10173252 | 1141 20172 | 39 | 32
1603.94/1604.42 c 1579s | 26 | 11570865 | 10185152 | 1141 20192 | 39 | 32
1605.94/1606.42 c 1581s | 26 | 11584673 | 10197352 | 1141 20212 | 39 | 32
1607.94/1608.44 c 1583s | 26 | 11597837 | 10209152 | 1141 20232 | 39 | 32
1609.95/1610.45 c 1585s | 26 | 11611486 | 10221252 | 1141 20252 | 39 | 32
1611.94/1612.46 c 1587s | 26 | 11626184 | 10234052 | 1141 20273 | 39 | 32
1613.94/1614.48 c 1590s | 26 | 11640594 | 10246852 | 1141 20294 | 39 | 32
1615.94/1616.48 c 1592s | 26 | 11654863 | 10259352 | 1141 20315 | 39 | 32
1617.94/1618.49 c 1594s | 26 | 11669885 | 10272652 | 1141 20337 | 39 | 32
1619.94/1620.49 c 1596s | 26 | 11684126 | 10285252 | 1141 20358 | 39 | 32
1622.04/1622.51 c 1598s | 26 | 11698196 | 10297652 | 1141 20378 | 39 | 32
1624.03/1624.52 c 1600s | 26 | 11711872 | 10309752 | 1141 20398 | 39 | 32
1626.03/1626.52 c 1602s | 26 | 11725364 | 10321852 | 1141 20418 | 39 | 32
1628.03/1628.52 c 1604s | 26 | 11738956 | 10333952 | 1141 20438 | 39 | 32
1630.03/1630.53 c 1606s | 26 | 11752258 | 10345952 | 1141 20458 | 39 | 32
1632.04/1632.53 c 1608s | 26 | 11765959 | 10358152 | 1141 20478 | 39 | 32
1634.03/1634.55 c 1610s | 26 | 11780272 | 10370852 | 1141 20499 | 39 | 32
1636.03/1636.55 c 1612s | 26 | 11793648 | 10382952 | 1141 20519 | 39 | 32
1638.03/1638.57 c 1614s | 26 | 11807205 | 10395052 | 1141 20539 | 39 | 32
1640.03/1640.57 c 1616s | 26 | 11820410 | 10406752 | 1141 20558 | 39 | 32
1642.03/1642.59 c 1618s | 26 | 11834094 | 10418752 | 1141 20578 | 39 | 32
1644.14/1644.60 c 1620s | 26 | 11847769 | 10430852 | 1141 20598 | 39 | 32
1646.13/1646.62 c 1622s | 26 | 11862167 | 10443752 | 1141 20619 | 39 | 32
1648.13/1648.63 c 1624s | 26 | 11876170 | 10456052 | 1141 20639 | 39 | 32
1650.13/1650.64 c 1626s | 26 | 11890001 | 10468252 | 1141 20659 | 39 | 32
1652.13/1652.66 c 1628s | 26 | 11904097 | 10480652 | 1141 20680 | 39 | 32
1654.13/1654.67 c 1630s | 26 | 11917643 | 10492652 | 1141 20700 | 39 | 32
1656.13/1656.68 c 1632s | 26 | 11931181 | 10504652 | 1141 20720 | 39 | 32
1658.13/1658.68 c 1634s | 26 | 11944818 | 10516752 | 1141 20740 | 39 | 32
1660.13/1660.69 c 1636s | 26 | 11959793 | 10529852 | 1141 20761 | 39 | 32
1662.23/1662.70 c 1638s | 26 | 11974849 | 10543252 | 1141 20783 | 39 | 32
1664.23/1664.71 c 1640s | 26 | 11990751 | 10556952 | 1141 20806 | 39 | 32
1666.23/1666.71 c 1642s | 26 | 12007122 | 10571052 | 1141 20829 | 39 | 32
1668.23/1668.71 c 1644s | 26 | 12023256 | 10584852 | 1141 20852 | 39 | 32
1670.22/1670.71 c 1646s | 26 | 12039030 | 10598652 | 1141 20875 | 39 | 32
1672.22/1672.72 c 1648s | 26 | 12054694 | 10612152 | 1141 20897 | 39 | 32
1674.22/1674.73 c 1650s | 26 | 12071178 | 10626152 | 1141 20920 | 39 | 32
1676.22/1676.74 c 1652s | 26 | 12086772 | 10639852 | 1141 20943 | 39 | 32
1678.23/1678.75 c 1654s | 26 | 12101667 | 10653052 | 1141 20965 | 39 | 32
1680.22/1680.75 c 1656s | 26 | 12115857 | 10665752 | 1141 20986 | 39 | 32
1682.22/1682.76 c 1658s | 26 | 12130839 | 10678952 | 1141 21008 | 39 | 32
1684.22/1684.77 c 1660s | 26 | 12144524 | 10691052 | 1141 21028 | 39 | 32
1686.22/1686.78 c 1662s | 26 | 12158142 | 10703152 | 1141 21048 | 39 | 32
1688.22/1688.79 c 1664s | 26 | 12172992 | 10716152 | 1141 21070 | 39 | 32
1690.23/1690.80 c 1666s | 26 | 12187544 | 10729052 | 1141 21091 | 39 | 32
1692.32/1692.80 c 1668s | 26 | 12202327 | 10742152 | 1141 21113 | 39 | 32
1694.32/1694.81 c 1670s | 26 | 12217470 | 10755352 | 1141 21135 | 39 | 32
1696.32/1696.82 c 1672s | 26 | 12232804 | 10768552 | 1141 21156 | 39 | 32
1698.32/1698.82 c 1674s | 26 | 12246947 | 10781052 | 1141 21177 | 39 | 32
1700.32/1700.83 c 1676s | 26 | 12260128 | 10792852 | 1141 21197 | 39 | 32
1702.32/1702.84 c 1678s | 26 | 12274278 | 10805352 | 1141 21217 | 39 | 32
1704.32/1704.85 c 1680s | 26 | 12288907 | 10818152 | 1141 21239 | 39 | 32
1706.32/1706.85 c 1682s | 26 | 12303077 | 10830752 | 1141 21259 | 39 | 32
1708.32/1708.86 c 1684s | 26 | 12317039 | 10842952 | 1141 21280 | 39 | 32
1710.32/1710.86 c 1686s | 26 | 12331403 | 10855652 | 1141 21301 | 39 | 32
1712.32/1712.87 c 1688s | 26 | 12346453 | 10868752 | 1141 21322 | 39 | 32
1714.32/1714.88 c 1690s | 26 | 12361853 | 10882152 | 1141 21344 | 39 | 32
1716.32/1716.88 c 1692s | 26 | 12376185 | 10895052 | 1141 21366 | 39 | 32
1718.32/1718.89 c 1694s | 26 | 12390014 | 10907552 | 1141 21386 | 39 | 32
1720.32/1720.89 c 1696s | 26 | 12403697 | 10919852 | 1141 21407 | 39 | 32
1722.42/1722.90 c 1698s | 26 | 12418834 | 10932952 | 1141 21428 | 39 | 32
1724.43/1724.91 c 1700s | 26 | 12432918 | 10945452 | 1141 21449 | 39 | 32
1726.42/1726.92 c 1702s | 26 | 12446714 | 10957552 | 1141 21469 | 39 | 32
1728.42/1728.92 c 1704s | 26 | 12459839 | 10969152 | 1141 21488 | 39 | 32
1730.42/1730.93 c 1706s | 26 | 12474547 | 10982052 | 1141 21509 | 39 | 32
1732.42/1732.94 c 1708s | 26 | 12488429 | 10994352 | 1141 21529 | 39 | 32
1734.42/1734.94 c 1710s | 26 | 12503052 | 11007152 | 1141 21550 | 39 | 32
1736.42/1736.96 c 1712s | 26 | 12518388 | 11020752 | 1141 21572 | 39 | 32
1738.42/1738.97 c 1714s | 26 | 12534116 | 11034552 | 1141 21595 | 39 | 32
1740.42/1740.97 c 1716s | 26 | 12549564 | 11048052 | 1141 21617 | 39 | 32
1742.42/1742.98 c 1718s | 26 | 12564328 | 11061152 | 1141 21638 | 39 | 32
1744.42/1744.99 c 1720s | 26 | 12578722 | 11073952 | 1256 21658 | 39 | 32
1746.52/1747.00 c 1722s | 26 | 12593412 | 11087052 | 1256 21678 | 39 | 32
1748.52/1749.01 c 1724s | 26 | 12608680 | 11100552 | 1256 21698 | 39 | 32
1750.51/1751.01 c 1726s | 26 | 12623973 | 11113752 | 1256 21718 | 39 | 32
1752.51/1753.02 c 1728s | 26 | 12639541 | 11127252 | 1256 21738 | 39 | 32
1754.51/1755.02 c 1730s | 26 | 12655107 | 11140752 | 1256 21759 | 39 | 32
1756.51/1757.03 c 1732s | 26 | 12669034 | 11153052 | 1256 21777 | 39 | 32
1758.52/1759.03 c 1734s | 26 | 12682765 | 11165252 | 1256 21796 | 39 | 32
1760.51/1761.03 c 1736s | 26 | 12697767 | 11178352 | 1256 21815 | 39 | 32
1762.51/1763.04 c 1738s | 26 | 12712285 | 11191052 | 1256 21835 | 39 | 32
1764.51/1765.04 c 1740s | 26 | 12725551 | 11202952 | 1256 21852 | 39 | 32
1766.51/1767.05 c 1742s | 26 | 12740520 | 11216052 | 1256 21872 | 39 | 32
1768.51/1769.05 c 1744s | 26 | 12753959 | 11227952 | 1256 21890 | 39 | 32
1770.52/1771.06 c 1746s | 26 | 12767897 | 11240252 | 1256 21908 | 39 | 32
1772.51/1773.06 c 1748s | 26 | 12783883 | 11254252 | 1256 21929 | 39 | 32
1774.51/1775.08 c 1750s | 26 | 12799827 | 11267852 | 1256 21950 | 39 | 32
1776.51/1777.08 c 1752s | 26 | 12815908 | 11281652 | 1256 21970 | 39 | 32
1778.51/1779.09 c 1754s | 26 | 12829693 | 11293752 | 1256 21988 | 39 | 32
1780.51/1781.09 c 1756s | 26 | 12843822 | 11306052 | 1256 22007 | 39 | 32
1782.61/1783.11 c 1758s | 26 | 12858928 | 11319152 | 1256 22026 | 39 | 32
1784.61/1785.12 c 1760s | 26 | 12874321 | 11332552 | 1256 22046 | 39 | 32
1786.61/1787.12 c 1762s | 26 | 12889181 | 11345752 | 1256 22066 | 39 | 32
1788.61/1789.13 c 1764s | 26 | 12903617 | 11358252 | 1256 22085 | 39 | 32
1790.60/1791.13 c 1766s | 26 | 12918586 | 11371352 | 1256 22105 | 39 | 32
1792.61/1793.13 c 1768s | 26 | 12933536 | 11384352 | 1256 22124 | 39 | 32
1794.61/1795.14 c 1770s | 27 | 12947832 | 11396733 | 1256 22143 | 39 | 32
1796.61/1797.15 c 1772s | 27 | 12962072 | 11409233 | 1256 22161 | 39 | 32
1798.61/1799.16 c 1774s | 27 | 12978036 | 11423033 | 1256 22182 | 39 | 32
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-4117465-1467212760/watcher-4117465-1467212760 -o /tmp/evaluation-result-4117465-1467212760/solver-4117465-1467212760 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467209087-5469 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117465-1467212760.opb
pid=5853
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.00 2.00 1.98 3/179 5856
/proc/meminfo: memFree=29330872/32872528 swapFree=7620/7620
[pid=5856] ppid=5853 vsize=676420 CPUtime=0 cores=0,2,4,6
/proc/5856/stat : 5856 (toysat) R 5853 5856 5453 0 -1 4202496 2515 0 0 0 0 0 0 0 20 0 4 0 2172104 692654080 3386 33554432000 4194304 16246674 140735210884128 140735210883552 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5856/statm: 169873 3395 442 2943 0 166767 0
[pid=5856/tid=5857] ppid=5853 vsize=693828 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5857/stat : 5857 (toysat) S 5853 5856 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2172104 710479872 3455 33554432000 4194304 16246674 140735210884128 140136081763568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5856/tid=5858] ppid=5853 vsize=697924 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5858/stat : 5858 (toysat) S 5853 5856 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2172104 714674176 3471 33554432000 4194304 16246674 140735210884128 140136071273712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5856/tid=5859] ppid=5853 vsize=703044 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 719917056 3488 33554432000 4194304 16246674 140735210884128 140135991602352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[startup+0.100166 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 5856
/proc/meminfo: memFree=29330872/32872528 swapFree=7620/7620
[pid=5856] ppid=5853 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/5856/stat : 5856 (toysat) R 5853 5856 5453 0 -1 4202496 22546 0 0 0 6 3 0 0 20 0 4 0 2172104 1247350784 23403 33554432000 4194304 16246674 140735210884128 140735210883552 5708022 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5856/statm: 304529 23412 786 2943 0 301423 0
[pid=5856/tid=5857] ppid=5853 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5857/stat : 5857 (toysat) S 5853 5856 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2172104 1247350784 23420 33554432000 4194304 16246674 140735210884128 140136081763568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5856/tid=5858] ppid=5853 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5858/stat : 5858 (toysat) S 5853 5856 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2172104 1247350784 23428 33554432000 4194304 16246674 140735210884128 140136071273712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5856/tid=5859] ppid=5853 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 1247350784 23432 33554432000 4194304 16246674 140735210884128 140135991602352 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.200497 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 5856
/proc/meminfo: memFree=29330872/32872528 swapFree=7620/7620
[pid=5856] ppid=5853 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/5856/stat : 5856 (toysat) R 5853 5856 5453 0 -1 4202496 42232 0 0 0 12 7 0 0 20 0 4 0 2172104 1247350784 43089 33554432000 4194304 16246674 140735210884128 140735210883552 5669490 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5856/statm: 304529 43097 786 2943 0 301423 0
[pid=5856/tid=5857] ppid=5853 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5857/stat : 5857 (toysat) S 5853 5856 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2172104 1247350784 43107 33554432000 4194304 16246674 140735210884128 140136081763568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5856/tid=5858] ppid=5853 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5858/stat : 5858 (toysat) S 5853 5856 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2172104 1247350784 43117 33554432000 4194304 16246674 140735210884128 140136071273712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5856/tid=5859] ppid=5853 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 1247350784 43123 33554432000 4194304 16246674 140735210884128 140135991602352 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.300475 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 5856
/proc/meminfo: memFree=29330872/32872528 swapFree=7620/7620
[pid=5856] ppid=5853 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/5856/stat : 5856 (toysat) R 5853 5856 5453 0 -1 4202496 61842 0 0 0 19 10 0 0 20 0 4 0 2172104 1247350784 62699 33554432000 4194304 16246674 140735210884128 140735210883552 13191638 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5856/statm: 304529 62707 786 2943 0 301423 0
[pid=5856/tid=5857] ppid=5853 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5857/stat : 5857 (toysat) S 5853 5856 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2172104 1247350784 62711 33554432000 4194304 16246674 140735210884128 140136081763568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5856/tid=5858] ppid=5853 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5858/stat : 5858 (toysat) S 5853 5856 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2172104 1247350784 62716 33554432000 4194304 16246674 140735210884128 140136071273712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5856/tid=5859] ppid=5853 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 1247350784 62721 33554432000 4194304 16246674 140735210884128 140135991602352 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.70041 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 5856
/proc/meminfo: memFree=29330872/32872528 swapFree=7620/7620
[pid=5856] ppid=5853 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/5856/stat : 5856 (toysat) R 5853 5856 5453 0 -1 4202496 138978 0 0 0 48 21 0 0 20 0 4 0 2172104 1247350784 139835 33554432000 4194304 16246674 140735210884128 140735210867128 13192110 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5856/statm: 304529 139844 786 2943 0 301423 0
[pid=5856/tid=5857] ppid=5853 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5857/stat : 5857 (toysat) S 5853 5856 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2172104 1247350784 139848 33554432000 4194304 16246674 140735210884128 140136081763568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5856/tid=5858] ppid=5853 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5858/stat : 5858 (toysat) S 5853 5856 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2172104 1247350784 139853 33554432000 4194304 16246674 140735210884128 140136071273712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5856/tid=5859] ppid=5853 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 1247350784 139861 33554432000 4194304 16246674 140735210884128 140135991602352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116
[startup+1.50041 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 5860
/proc/meminfo: memFree=28459628/32872528 swapFree=7620/7620
[pid=5856] ppid=5853 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/5856/stat : 5856 (toysat) R 5853 5856 5453 0 -1 4202496 245659 0 0 0 114 35 0 0 20 0 4 0 2172104 1248399360 246495 33554432000 4194304 16246674 140735210884128 140735210883440 13781192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5856/statm: 304785 246495 848 2943 0 301679 0
[pid=5856/tid=5857] ppid=5853 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5857/stat : 5857 (toysat) S 5853 5856 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2172104 1248399360 246495 33554432000 4194304 16246674 140735210884128 140136081763568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5856/tid=5858] ppid=5853 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5858/stat : 5858 (toysat) S 5853 5856 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2172104 1248399360 246495 33554432000 4194304 16246674 140735210884128 140136071273712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5856/tid=5859] ppid=5853 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 1248399360 246495 33554432000 4194304 16246674 140735210884128 140135991602352 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.10041 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 5860
/proc/meminfo: memFree=28277968/32872528 swapFree=7620/7620
[pid=5856] ppid=5853 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/5856/stat : 5856 (toysat) R 5853 5856 5453 0 -1 4202496 267457 0 0 0 271 38 0 0 20 0 4 0 2172104 1337528320 268293 33554432000 4194304 16246674 140735210884128 140735210866048 5545872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5856/statm: 326545 268293 848 2943 0 323439 0
[pid=5856/tid=5857] ppid=5853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5857/stat : 5857 (toysat) S 5853 5856 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2172104 1337528320 268293 33554432000 4194304 16246674 140735210884128 140136081763568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5856/tid=5858] ppid=5853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5858/stat : 5858 (toysat) S 5853 5856 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2172104 1337528320 268293 33554432000 4194304 16246674 140735210884128 140136071273712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5856/tid=5859] ppid=5853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 1337528320 268293 33554432000 4194304 16246674 140735210884128 140135991602352 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.30042 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 5860
/proc/meminfo: memFree=28257828/32872528 swapFree=7620/7620
[pid=5856] ppid=5853 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/5856/stat : 5856 (toysat) R 5853 5856 5453 0 -1 4202496 267472 0 0 0 591 38 0 0 20 0 4 0 2172104 1337528320 268308 33554432000 4194304 16246674 140735210884128 140735210866048 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5856/statm: 326545 268308 850 2943 0 323439 0
[pid=5856/tid=5857] ppid=5853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5857/stat : 5857 (toysat) S 5853 5856 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2172104 1337528320 268308 33554432000 4194304 16246674 140735210884128 140136081763568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5856/tid=5858] ppid=5853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5858/stat : 5858 (toysat) S 5853 5856 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2172104 1337528320 268308 33554432000 4194304 16246674 140735210884128 140136071273712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5856/tid=5859] ppid=5853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 1337528320 268308 33554432000 4194304 16246674 140735210884128 140135991602352 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.00 2.00 1.98 3/183 5860
/proc/meminfo: memFree=28257484/32872528 swapFree=7620/7620
[pid=5856] ppid=5853 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/5856/stat : 5856 (toysat) R 5853 5856 5453 0 -1 4202496 267501 0 0 0 1231 38 0 0 20 0 4 0 2172104 1337528320 268337 33554432000 4194304 16246674 140735210884128 140735210867128 5711986 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5856/statm: 326545 268337 850 2943 0 323439 0
[pid=5856/tid=5857] ppid=5853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5857/stat : 5857 (toysat) S 5853 5856 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2172104 1337528320 268337 33554432000 4194304 16246674 140735210884128 140136081763568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5856/tid=5858] ppid=5853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5858/stat : 5858 (toysat) S 5853 5856 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2172104 1337528320 268337 33554432000 4194304 16246674 140735210884128 140136071273712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5856/tid=5859] ppid=5853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 1337528320 268337 33554432000 4194304 16246674 140735210884128 140135991602352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 5860
/proc/meminfo: memFree=28258016/32872528 swapFree=7620/7620
[pid=5856] ppid=5853 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/5856/stat : 5856 (toysat) R 5853 5856 5453 0 -1 4202496 267574 0 0 0 2510 38 0 0 20 0 4 0 2172104 1337528320 268410 33554432000 4194304 16246674 140735210884128 140735210866048 5824098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5856/statm: 326545 268410 850 2943 0 323439 0
[pid=5856/tid=5857] ppid=5853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5857/stat : 5857 (toysat) S 5853 5856 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2172104 1337528320 268410 33554432000 4194304 16246674 140735210884128 140136081763568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5856/tid=5858] ppid=5853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5858/stat : 5858 (toysat) S 5853 5856 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2172104 1337528320 268410 33554432000 4194304 16246674 140735210884128 140136071273712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5856/tid=5859] ppid=5853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 1337528320 268410 33554432000 4194304 16246674 140735210884128 140135991602352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 5860
/proc/meminfo: memFree=28255560/32872528 swapFree=7620/7620
[pid=5856] ppid=5853 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/5856/stat : 5856 (toysat) R 5853 5856 5453 0 -1 4202496 267574 0 0 0 5070 38 0 0 20 0 4 0 2172104 1337528320 268410 33554432000 4194304 16246674 140735210884128 140735210867128 5602661 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5856/statm: 326545 268410 850 2943 0 323439 0
[pid=5856/tid=5857] ppid=5853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5857/stat : 5857 (toysat) S 5853 5856 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2172104 1337528320 268410 33554432000 4194304 16246674 140735210884128 140136081763568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5856/tid=5858] ppid=5853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5858/stat : 5858 (toysat) S 5853 5856 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2172104 1337528320 268410 33554432000 4194304 16246674 140735210884128 140136071273712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5856/tid=5859] ppid=5853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 1337528320 268410 33554432000 4194304 16246674 140735210884128 140135991602352 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) 1306180
[startup+102.301 s]
/proc/loadavg: 2.05 2.01 1.98 3/183 5861
/proc/meminfo: memFree=28256004/32872528 swapFree=7620/7620
[pid=5856] ppid=5853 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/5856/stat : 5856 (toysat) R 5853 5856 5453 0 -1 4202496 267575 0 0 0 10189 39 0 0 20 0 4 0 2172104 1337528320 268411 33554432000 4194304 16246674 140735210884128 140735210866048 5754983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5856/statm: 326545 268411 850 2943 0 323439 0
[pid=5856/tid=5857] ppid=5853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5857/stat : 5857 (toysat) S 5853 5856 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2172104 1337528320 268411 33554432000 4194304 16246674 140735210884128 140136081763568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5856/tid=5858] ppid=5853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5858/stat : 5858 (toysat) S 5853 5856 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2172104 1337528320 268411 33554432000 4194304 16246674 140735210884128 140136071273712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5856/tid=5859] ppid=5853 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 1337528320 268411 33554432000 4194304 16246674 140735210884128 140135991602352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180
################
# More data... #
################
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140135991602352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1307204
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 5892
/proc/meminfo: memFree=28240172/32872528 swapFree=7620/7620
[pid=5856] ppid=5853 vsize=1307204 CPUtime=1361.88 cores=0,2,4,6
/proc/5856/stat : 5856 (toysat) R 5853 5856 5453 0 -1 4202496 268255 0 0 0 136129 59 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140735210866048 13760237 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5856/statm: 326801 268659 852 2943 0 323695 0
[pid=5856/tid=5857] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5857/stat : 5857 (toysat) S 5853 5856 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140136081763568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5856/tid=5858] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5858/stat : 5858 (toysat) S 5853 5856 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140136071273712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5856/tid=5859] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140135991602352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1307204
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 5893
/proc/meminfo: memFree=28238740/32872528 swapFree=7620/7620
[pid=5856] ppid=5853 vsize=1307204 CPUtime=1421.87 cores=0,2,4,6
/proc/5856/stat : 5856 (toysat) R 5853 5856 5453 0 -1 4202496 268255 0 0 0 142128 59 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140735210866048 13006805 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5856/statm: 326801 268659 852 2943 0 323695 0
[pid=5856/tid=5857] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5857/stat : 5857 (toysat) S 5853 5856 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140136081763568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5856/tid=5858] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5858/stat : 5858 (toysat) S 5853 5856 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140136071273712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5856/tid=5859] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140135991602352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1307204
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/184 5897
/proc/meminfo: memFree=28239304/32872528 swapFree=7620/7620
[pid=5856] ppid=5853 vsize=1307204 CPUtime=1481.85 cores=0,2,4,6
/proc/5856/stat : 5856 (toysat) R 5853 5856 5453 0 -1 4202496 268255 0 0 0 148126 59 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140735210866048 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5856/statm: 326801 268659 852 2943 0 323695 0
[pid=5856/tid=5857] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5857/stat : 5857 (toysat) S 5853 5856 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140136081763568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5856/tid=5858] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5858/stat : 5858 (toysat) S 5853 5856 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140136071273712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5856/tid=5859] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140135991602352 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) 1307204
[startup+1542.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 5899
/proc/meminfo: memFree=28239192/32872528 swapFree=7620/7620
[pid=5856] ppid=5853 vsize=1307204 CPUtime=1541.85 cores=0,2,4,6
/proc/5856/stat : 5856 (toysat) R 5853 5856 5453 0 -1 4202496 268255 0 0 0 154125 60 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140735210867128 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5856/statm: 326801 268659 852 2943 0 323695 0
[pid=5856/tid=5857] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5857/stat : 5857 (toysat) S 5853 5856 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140136081763568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5856/tid=5858] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5858/stat : 5858 (toysat) S 5853 5856 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140136071273712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5856/tid=5859] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140135991602352 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) 1307204
[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 5900
/proc/meminfo: memFree=28239192/32872528 swapFree=7620/7620
[pid=5856] ppid=5853 vsize=1307204 CPUtime=1601.84 cores=0,2,4,6
/proc/5856/stat : 5856 (toysat) R 5853 5856 5453 0 -1 4202496 268255 0 0 0 160123 61 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140735210866048 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5856/statm: 326801 268659 852 2943 0 323695 0
[pid=5856/tid=5857] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5857/stat : 5857 (toysat) S 5853 5856 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140136081763568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5856/tid=5858] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5858/stat : 5858 (toysat) S 5853 5856 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140136071273712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5856/tid=5859] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140135991602352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1307204
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 5901
/proc/meminfo: memFree=28239196/32872528 swapFree=7620/7620
[pid=5856] ppid=5853 vsize=1307204 CPUtime=1661.83 cores=0,2,4,6
/proc/5856/stat : 5856 (toysat) R 5853 5856 5453 0 -1 4202496 268255 0 0 0 166122 61 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140735210867128 5711716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5856/statm: 326801 268659 852 2943 0 323695 0
[pid=5856/tid=5857] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5857/stat : 5857 (toysat) S 5853 5856 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140136081763568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5856/tid=5858] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5858/stat : 5858 (toysat) S 5853 5856 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140136071273712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5856/tid=5859] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140135991602352 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) 1307204
[startup+1722.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/183 5902
/proc/meminfo: memFree=28239068/32872528 swapFree=7620/7620
[pid=5856] ppid=5853 vsize=1307204 CPUtime=1721.82 cores=0,2,4,6
/proc/5856/stat : 5856 (toysat) R 5853 5856 5453 0 -1 4202496 268255 0 0 0 172120 62 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140735210867128 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5856/statm: 326801 268659 852 2943 0 323695 0
[pid=5856/tid=5857] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5857/stat : 5857 (toysat) S 5853 5856 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140136081763568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5856/tid=5858] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5858/stat : 5858 (toysat) S 5853 5856 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140136071273712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5856/tid=5859] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140135991602352 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) 1307204
[startup+1782.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/183 5952
/proc/meminfo: memFree=28251216/32872528 swapFree=7620/7620
[pid=5856] ppid=5853 vsize=1307204 CPUtime=1781.81 cores=0,2,4,6
/proc/5856/stat : 5856 (toysat) R 5853 5856 5453 0 -1 4202496 268255 0 0 0 178119 62 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140735210866048 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5856/statm: 326801 268659 852 2943 0 323695 0
[pid=5856/tid=5857] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5857/stat : 5857 (toysat) S 5853 5856 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140136081763568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5856/tid=5858] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5858/stat : 5858 (toysat) S 5853 5856 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140136071273712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5856/tid=5859] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268659 33554432000 4194304 16246674 140735210884128 140135991602352 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) 1307204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.19 2.07 2.01 3/183 5952
/proc/meminfo: memFree=28251224/32872528 swapFree=7620/7620
[pid=5856] ppid=5853 vsize=1307204 CPUtime=1800.01 cores=0,2,4,6
/proc/5856/stat : 5856 (toysat) R 5853 5856 5453 0 -1 4202496 268270 0 0 0 179938 63 0 0 20 0 4 0 2172104 1338576896 268674 33554432000 4194304 16246674 140735210884128 140735210866048 5827784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5856/statm: 326801 268674 852 2943 0 323695 0
[pid=5856/tid=5857] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5857/stat : 5857 (toysat) S 5853 5856 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268674 33554432000 4194304 16246674 140735210884128 140136081763568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5856/tid=5858] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5858/stat : 5858 (toysat) S 5853 5856 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268674 33554432000 4194304 16246674 140735210884128 140136071273712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5856/tid=5859] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268674 33554432000 4194304 16246674 140735210884128 140135991602352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1307204
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5856 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.19 2.07 2.01 3/183 5952
/proc/meminfo: memFree=28251224/32872528 swapFree=7620/7620
[pid=5856] ppid=5853 vsize=1307204 CPUtime=1800.01 cores=0,2,4,6
/proc/5856/stat : 5856 (toysat) R 5853 5856 5453 0 -1 4202496 268270 0 0 0 179938 63 0 0 20 0 4 0 2172104 1338576896 268674 33554432000 4194304 16246674 140735210884128 140735210866048 5827784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5856/statm: 326801 268674 852 2943 0 323695 0
[pid=5856/tid=5857] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5857/stat : 5857 (toysat) S 5853 5856 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268674 33554432000 4194304 16246674 140735210884128 140136081763568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5856/tid=5858] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5858/stat : 5858 (toysat) S 5853 5856 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268674 33554432000 4194304 16246674 140735210884128 140136071273712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5856/tid=5859] ppid=5853 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5856/task/5859/stat : 5859 (toysat) S 5853 5856 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2172104 1338576896 268674 33554432000 4194304 16246674 140735210884128 140135991602352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1307204
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.39
CPU system time (s): 0.631903
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 1307204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.631903
maximum resident set size= 1074696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268270
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= 449
involuntary context switches= 2016
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6612 second user time and 15.9066 second system time
The end