0.00/0.00 c 2016-06-29T17:35:20+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-4117627-1467214520.opb"]
0.00/0.01 c use --random-gen="2515255743 1228063371 2632196699 618281861 4206097553 2909298384 3473416049 798634658 1670836743 3778168728 45025205 187810917 2229017067 1930636508 359678912 2526892842 444910516 2869685365 3223326840 1440130160 1554013584 2312671624 2749042633 870423218 3247487341 3398703552 3617379595 2859894892 3065006393 2045740384 2245523203 1678136510 2040913477 1156013878 533705298 1347847129 1844697300 1741432758 3360382181 1757808897 919873510 1238760508 3734450900 2218987169 211719148 2384041073 2841028201 2802030427 1754377386 3301397651 4270609936 1101879509 2979912530 1361702076 2176491556 3849832311 315333041 1062604985 2154873072 1294894438 1149083384 758802325 3206269636 1056066005 238234747 1002000162 2817159225 913818441 603606254 1649132897 1532065527 2585812744 2894609831 2301487194 563431063 4129265410 392778468 3503597995 475439475 3052155717 37573167 3453572487 2683434765 2286817694 351940173 1597290755 826700632 707309333 3337335006 3242806553 3473725089 3680050136 3348490040 3403509360 336104281 2344495105 2828662379 38546688 1959435992 842071315 1835756386 2745125775 4171042200 4154021049 3853355737 3904431279 1802960702 56183440 2617776098 2198480420 2432291758 2988469172 3962888165 116022315 2808733163 4065854637 2993665953 4220726175 2826505550 1530177829 3153948891 1998967976 3882132038 2764382173 90025557 1930247733 166402270 1330659553 1726402186 662999075 1776940639 862480497 916058540 1674551716 3435986951 1026118276 1323937752 864101652 3567573390 2065987438 2438827240 1641708052 1324999123 3939784176 3234635246 2271959652 2468324522 3009201635 2400038373 3027736250 430625732 2000333202 271590836 1443005261 1005250122 1186351229 2139674805 2195086631 2236663604 1939889913 1645467047 2624215145 3654367841 3315634113 1515456518 883662595 2515362867 2175777454 3751511682 3477432840 2954765567 1395592474 450673753 1944203076 193342103 1700910584 2652350726 4061051401 135360846 814419028 3379073997 2595041360 1410344412 3707635414 2874529130 236648217 2098287747 1894749645 1234763525 2462356136 3081050915 1812490500 1227142128 3263084796 1266707408 1166596285 641467413 1117238984 4272243296 1177331861 238899471 2232418826 3788536175 3902956670 3834520649 1972284773 2113675072 2568806056 2790889854 1056314729 2286612058 1111127779 924942593 86790959 122582284 800665373 3668490396 3669790582 2662943464 3776511979 278968029 1374855585 341444798 886529218 2893092845 2448617270 2961218233 671375454 580127592 2161194756 964900231 3934358718 277966775 358643780 3806576513 2735066549 1008621567 2008960274 3478881190 552608270 445562625 3013083239 3029985816 3507313895 2657134721 4227085841 368366888 646396473 1448643838 2738344281 279577083 585186181 805448713 3907834549 1165683327 3811718398 255 362436" option to reproduce the execution
0.00/0.01 c #vars 196
0.00/0.01 c #constraints 82
0.00/0.02 c BCD2: Hardening is enabled.
0.00/0.02 c BCD2: BiasedSearch is enabled.
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 114 0 | 23 | 0
0.00/0.03 c 0.0s | 1 | 131 | 100 | 114 0 | 23 | 0
0.00/0.05 c 0.0s | 2 | 323 | 250 | 126 1 | 23 | 0
0.00/0.06 c 0.0s | 2 | 395 | 294 | 139 1 | 23 | 0
0.00/0.06 c #cpu_time = 0.044s
0.00/0.06 c #wall_clock_time = 0.044s
0.00/0.06 c #decision = 395
0.00/0.06 c #random_decision = 2
0.00/0.06 c #conflict = 294
0.00/0.06 c #restart = 2
0.00/0.06 o 96
0.00/0.06 c BCD2: updating upper bound: 196 -> 95
0.00/0.06 c BCD2: 0 <= obj <= 95
0.00/0.06 c BCD2: #cores=0, #unrelaxed=196, #relaxed=0, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=1 bias=1/2
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 | 139 0 | 23 | 0
0.00/0.06 c 0.0s | 0 | 2 | 0 | 139 1 | 23 | 0
0.00/0.06 c #cpu_time = 0.002s
0.00/0.06 c #wall_clock_time = 0.002s
0.00/0.06 c #decision = 2
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.06 c lower bound updated to 1
0.00/0.06 c BCD2: 1 <= obj <= 95
0.00/0.06 c BCD2: #cores=1, #unrelaxed=195, #relaxed=1, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=2 bias=2/3
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 | 139 0 | 23 | 0
0.00/0.06 c 0.0s | 0 | 7 | 0 | 139 0 | 23 | 0
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 7
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.06 c lower bound updated to 2
0.00/0.06 c BCD2: 2 <= obj <= 95
0.00/0.06 c BCD2: #cores=2, #unrelaxed=188, #relaxed=8, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=3 bias=3/4
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 | 139 0 | 23 | 0
0.00/0.06 c 0.0s | 0 | 6 | 0 | 139 0 | 23 | 0
0.00/0.06 c #cpu_time = 0.001s
0.00/0.06 c #wall_clock_time = 0.001s
0.00/0.06 c #decision = 6
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 0
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.06 c lower bound updated to 3
0.00/0.06 c BCD2: 3 <= obj <= 95
0.00/0.06 c BCD2: #cores=3, #unrelaxed=187, #relaxed=9, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=4 bias=4/5
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 | 139 0 | 23 | 0
0.00/0.07 c 0.0s | 0 | 10 | 0 | 139 0 | 23 | 0
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 10
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 6: cost of the new core is >=1
0.00/0.07 c lower bound updated to 4
0.00/0.07 c BCD2: 4 <= obj <= 95
0.00/0.07 c BCD2: #cores=4, #unrelaxed=181, #relaxed=15, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=5 bias=5/6
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 139 0 | 23 | 0
0.00/0.07 c 0.0s | 0 | 10 | 0 | 139 0 | 23 | 0
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 10
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.07 c lower bound updated to 5
0.00/0.07 c BCD2: 5 <= obj <= 95
0.00/0.07 c BCD2: #cores=5, #unrelaxed=179, #relaxed=17, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=6 bias=6/7
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 139 0 | 23 | 1
0.00/0.07 c 0.0s | 0 | 12 | 0 | 139 0 | 23 | 1
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 12
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.07 c lower bound updated to 6
0.00/0.07 c BCD2: 6 <= obj <= 95
0.00/0.07 c BCD2: #cores=6, #unrelaxed=178, #relaxed=18, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=7 bias=7/8
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 139 0 | 23 | 1
0.00/0.07 c 0.0s | 0 | 17 | 1 | 139 0 | 23 | 1
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 17
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 1
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 8 and merging with 2 cores into a new core of size 21: cost of the new core is >=3
0.00/0.07 c lower bound updated to 7
0.00/0.07 c BCD2: 7 <= obj <= 95
0.00/0.07 c BCD2: #cores=5, #unrelaxed=170, #relaxed=26, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=8 bias=8/9
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 139 0 | 25 | 1
0.00/0.07 c 0.0s | 0 | 13 | 0 | 139 0 | 25 | 3
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 13
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.07 c lower bound updated to 8
0.00/0.07 c BCD2: 8 <= obj <= 95
0.00/0.07 c BCD2: #cores=6, #unrelaxed=162, #relaxed=34, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=9 bias=9/10
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 139 0 | 25 | 3
0.00/0.07 c 0.0s | 0 | 8 | 0 | 139 0 | 25 | 3
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 8
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.07 c lower bound updated to 9
0.00/0.07 c BCD2: 9 <= obj <= 95
0.00/0.07 c BCD2: #cores=7, #unrelaxed=161, #relaxed=35, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=10 bias=10/11
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 139 0 | 25 | 3
0.00/0.07 c 0.0s | 0 | 11 | 0 | 139 0 | 25 | 3
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 11
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 0
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: found a new core of size 4: cost of the new core is >=1
0.00/0.07 c lower bound updated to 10
0.00/0.07 c BCD2: 10 <= obj <= 95
0.00/0.07 c BCD2: #cores=8, #unrelaxed=157, #relaxed=39, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=11 bias=11/12
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 139 0 | 25 | 3
0.00/0.07 c 0.0s | 0 | 12 | 1 | 139 0 | 25 | 3
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 12
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 1
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 7: cost of the new core is >=2
0.00/0.07 c lower bound updated to 11
0.00/0.07 c BCD2: 11 <= obj <= 95
0.00/0.07 c BCD2: #cores=8, #unrelaxed=154, #relaxed=42, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=12 bias=12/13
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.07 c 0.0s | 0 | 0 | 0 | 139 0 | 26 | 3
0.00/0.07 c 0.0s | 0 | 12 | 1 | 139 0 | 26 | 4
0.00/0.07 c #cpu_time = 0.001s
0.00/0.07 c #wall_clock_time = 0.001s
0.00/0.07 c #decision = 12
0.00/0.07 c #random_decision = 0
0.00/0.07 c #conflict = 1
0.00/0.07 c #restart = 0
0.00/0.07 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 10: cost of the new core is >=3
0.00/0.07 c lower bound updated to 12
0.00/0.07 c BCD2: 12 <= obj <= 95
0.00/0.07 c BCD2: #cores=8, #unrelaxed=151, #relaxed=45, #hardened=0
0.00/0.07 c BCD2: #sat=1 #unsat=13 bias=13/14
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 139 0 | 27 | 4
0.00/0.08 c 0.0s | 0 | 11 | 0 | 139 0 | 27 | 5
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 11
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.08 c lower bound updated to 13
0.00/0.08 c BCD2: 13 <= obj <= 95
0.00/0.08 c BCD2: #cores=9, #unrelaxed=150, #relaxed=46, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=14 bias=14/15
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 139 0 | 27 | 5
0.00/0.08 c 0.0s | 0 | 18 | 1 | 139 0 | 27 | 5
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 18
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 1
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 7 and merging with 1 cores into a new core of size 17: cost of the new core is >=4
0.00/0.08 c lower bound updated to 14
0.00/0.08 c BCD2: 14 <= obj <= 95
0.00/0.08 c BCD2: #cores=9, #unrelaxed=143, #relaxed=53, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=15 bias=15/16
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 139 0 | 28 | 5
0.00/0.08 c 0.0s | 0 | 15 | 0 | 139 0 | 28 | 6
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 15
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 6: cost of the new core is >=1
0.00/0.08 c lower bound updated to 15
0.00/0.08 c BCD2: 15 <= obj <= 95
0.00/0.08 c BCD2: #cores=10, #unrelaxed=137, #relaxed=59, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=16 bias=16/17
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 139 0 | 28 | 6
0.00/0.08 c 0.0s | 0 | 12 | 0 | 139 0 | 28 | 6
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 12
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.08 c lower bound updated to 16
0.00/0.08 c BCD2: 16 <= obj <= 95
0.00/0.08 c BCD2: #cores=11, #unrelaxed=136, #relaxed=60, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=17 bias=17/18
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 139 0 | 28 | 6
0.00/0.08 c 0.0s | 0 | 18 | 0 | 139 0 | 28 | 6
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 18
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 6: cost of the new core is >=1
0.00/0.08 c lower bound updated to 17
0.00/0.08 c BCD2: 17 <= obj <= 95
0.00/0.08 c BCD2: #cores=12, #unrelaxed=130, #relaxed=66, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=18 bias=18/19
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 139 0 | 28 | 6
0.00/0.08 c 0.0s | 0 | 19 | 1 | 139 0 | 28 | 6
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 19
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 1
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.00/0.08 c lower bound updated to 18
0.00/0.08 c BCD2: 18 <= obj <= 95
0.00/0.08 c BCD2: #cores=12, #unrelaxed=125, #relaxed=71, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=19 bias=19/20
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 139 0 | 29 | 6
0.00/0.08 c 0.0s | 0 | 27 | 0 | 139 0 | 29 | 7
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 27
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.08 c lower bound updated to 19
0.00/0.08 c BCD2: 19 <= obj <= 95
0.00/0.08 c BCD2: #cores=13, #unrelaxed=122, #relaxed=74, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=20 bias=20/21
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 139 0 | 29 | 7
0.00/0.08 c 0.0s | 0 | 26 | 0 | 139 0 | 29 | 7
0.00/0.08 c #cpu_time = 0.001s
0.00/0.08 c #wall_clock_time = 0.001s
0.00/0.08 c #decision = 26
0.00/0.08 c #random_decision = 0
0.00/0.08 c #conflict = 0
0.00/0.08 c #restart = 0
0.00/0.08 c BCD2: found a new core of size 12: cost of the new core is >=1
0.00/0.08 c lower bound updated to 20
0.00/0.08 c BCD2: 20 <= obj <= 95
0.00/0.08 c BCD2: #cores=14, #unrelaxed=110, #relaxed=86, #hardened=0
0.00/0.08 c BCD2: #sat=1 #unsat=21 bias=21/22
0.00/0.08 c Solving starts ...
0.00/0.08 c ============================[ Search Statistics ]============================
0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.08 c | | | | Limit GC | Var | Constra
0.00/0.08 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 139 0 | 29 | 7
0.00/0.09 c 0.0s | 0 | 23 | 0 | 139 0 | 29 | 7
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 23
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.09 c lower bound updated to 21
0.00/0.09 c BCD2: 21 <= obj <= 95
0.00/0.09 c BCD2: #cores=15, #unrelaxed=103, #relaxed=93, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=22 bias=22/23
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 | 139 0 | 29 | 7
0.00/0.09 c 0.0s | 0 | 24 | 1 | 139 0 | 29 | 7
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 24
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 1
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.00/0.09 c lower bound updated to 22
0.00/0.09 c BCD2: 22 <= obj <= 95
0.00/0.09 c BCD2: #cores=15, #unrelaxed=97, #relaxed=99, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=23 bias=23/24
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 | 139 0 | 30 | 7
0.00/0.09 c 0.0s | 0 | 26 | 0 | 139 0 | 30 | 8
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 26
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.09 c lower bound updated to 23
0.00/0.09 c BCD2: 23 <= obj <= 95
0.00/0.09 c BCD2: #cores=16, #unrelaxed=89, #relaxed=107, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=24 bias=24/25
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 | 139 0 | 30 | 8
0.00/0.09 c 0.0s | 0 | 30 | 0 | 139 0 | 30 | 8
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 30
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 5: cost of the new core is >=1
0.00/0.09 c lower bound updated to 24
0.00/0.09 c BCD2: 24 <= obj <= 95
0.00/0.09 c BCD2: #cores=17, #unrelaxed=84, #relaxed=112, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=25 bias=25/26
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 | 139 0 | 30 | 8
0.00/0.09 c 0.0s | 0 | 38 | 1 | 139 0 | 30 | 8
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 38
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 1
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2
0.00/0.09 c lower bound updated to 25
0.00/0.09 c BCD2: 25 <= obj <= 95
0.00/0.09 c BCD2: #cores=17, #unrelaxed=82, #relaxed=114, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=26 bias=26/27
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 | 139 0 | 31 | 8
0.00/0.09 c 0.0s | 0 | 30 | 1 | 139 0 | 31 | 9
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 30
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 1
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 9: cost of the new core is >=2
0.00/0.09 c lower bound updated to 26
0.00/0.09 c BCD2: 26 <= obj <= 95
0.00/0.09 c BCD2: #cores=17, #unrelaxed=78, #relaxed=118, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=27 bias=27/28
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 | 139 0 | 32 | 9
0.00/0.09 c 0.0s | 0 | 30 | 1 | 139 0 | 32 | 10
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 30
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 1
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 13: cost of the new core is >=3
0.00/0.09 c lower bound updated to 27
0.00/0.09 c BCD2: 27 <= obj <= 95
0.00/0.09 c BCD2: #cores=17, #unrelaxed=74, #relaxed=122, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=28 bias=28/29
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 | 139 0 | 33 | 10
0.00/0.09 c 0.0s | 0 | 35 | 0 | 139 0 | 33 | 11
0.00/0.09 c #cpu_time = 0.001s
0.00/0.09 c #wall_clock_time = 0.001s
0.00/0.09 c #decision = 35
0.00/0.09 c #random_decision = 0
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 c BCD2: found a new core of size 10: cost of the new core is >=1
0.00/0.09 c lower bound updated to 28
0.00/0.09 c BCD2: 28 <= obj <= 95
0.00/0.10 c BCD2: #cores=18, #unrelaxed=64, #relaxed=132, #hardened=0
0.00/0.10 c BCD2: #sat=1 #unsat=29 bias=29/30
0.00/0.10 c Solving starts ...
0.00/0.10 c ============================[ Search Statistics ]============================
0.00/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.10 c | | | | Limit GC | Var | Constra
0.00/0.10 c =============================================================================
0.00/0.10 c 0.0s | 0 | 0 | 0 | 139 0 | 33 | 11
0.09/0.10 c 0.0s | 0 | 32 | 0 | 139 0 | 33 | 11
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 32
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 0
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: found a new core of size 3: cost of the new core is >=1
0.09/0.10 c lower bound updated to 29
0.09/0.10 c BCD2: 29 <= obj <= 95
0.09/0.10 c BCD2: #cores=19, #unrelaxed=61, #relaxed=135, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=30 bias=30/31
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 139 0 | 33 | 11
0.09/0.10 c 0.0s | 0 | 33 | 1 | 139 0 | 33 | 11
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 33
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 1
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2
0.09/0.10 c lower bound updated to 30
0.09/0.10 c BCD2: 30 <= obj <= 95
0.09/0.10 c BCD2: #cores=19, #unrelaxed=59, #relaxed=137, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=31 bias=31/32
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 139 0 | 34 | 11
0.09/0.10 c 0.0s | 0 | 33 | 1 | 139 0 | 34 | 12
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 33
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 1
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 7: cost of the new core is >=3
0.09/0.10 c lower bound updated to 31
0.09/0.10 c BCD2: 31 <= obj <= 95
0.09/0.10 c BCD2: #cores=19, #unrelaxed=57, #relaxed=139, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=32 bias=32/33
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 139 0 | 35 | 12
0.09/0.10 c 0.0s | 0 | 33 | 1 | 139 0 | 35 | 13
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 33
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 1
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 9: cost of the new core is >=4
0.09/0.10 c lower bound updated to 32
0.09/0.10 c BCD2: 32 <= obj <= 95
0.09/0.10 c BCD2: #cores=19, #unrelaxed=55, #relaxed=141, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=33 bias=33/34
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 139 0 | 36 | 13
0.09/0.10 c 0.0s | 0 | 33 | 1 | 139 0 | 36 | 14
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 33
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 1
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 11: cost of the new core is >=5
0.09/0.10 c lower bound updated to 33
0.09/0.10 c BCD2: 33 <= obj <= 95
0.09/0.10 c BCD2: #cores=19, #unrelaxed=53, #relaxed=143, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=34 bias=34/35
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 139 0 | 37 | 14
0.09/0.10 c 0.0s | 0 | 33 | 1 | 139 0 | 37 | 15
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 33
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 1
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 13: cost of the new core is >=6
0.09/0.10 c lower bound updated to 34
0.09/0.10 c BCD2: 34 <= obj <= 95
0.09/0.10 c BCD2: #cores=19, #unrelaxed=51, #relaxed=145, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=35 bias=35/36
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 139 0 | 38 | 15
0.09/0.10 c 0.0s | 0 | 37 | 1 | 139 0 | 38 | 16
0.09/0.10 c #cpu_time = 0.001s
0.09/0.10 c #wall_clock_time = 0.001s
0.09/0.10 c #decision = 37
0.09/0.10 c #random_decision = 0
0.09/0.10 c #conflict = 1
0.09/0.10 c #restart = 0
0.09/0.10 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 19: cost of the new core is >=7
0.09/0.10 c lower bound updated to 35
0.09/0.10 c BCD2: 35 <= obj <= 95
0.09/0.10 c BCD2: #cores=19, #unrelaxed=45, #relaxed=151, #hardened=0
0.09/0.10 c BCD2: #sat=1 #unsat=36 bias=36/37
0.09/0.10 c Solving starts ...
0.09/0.10 c ============================[ Search Statistics ]============================
0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.10 c | | | | Limit GC | Var | Constra
0.09/0.10 c =============================================================================
0.09/0.10 c 0.0s | 0 | 0 | 0 | 139 0 | 39 | 16
0.09/0.11 c 0.0s | 0 | 34 | 1 | 139 0 | 39 | 17
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 34
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 1
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 16: cost of the new core is >=2
0.09/0.11 c lower bound updated to 36
0.09/0.11 c BCD2: 36 <= obj <= 95
0.09/0.11 c BCD2: #cores=19, #unrelaxed=39, #relaxed=157, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=37 bias=37/38
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 139 0 | 40 | 17
0.09/0.11 c 0.0s | 0 | 39 | 1 | 139 0 | 40 | 18
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 39
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 1
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: relaxing 15 and merging with 1 cores into a new core of size 34: cost of the new core is >=8
0.09/0.11 c lower bound updated to 37
0.09/0.11 c BCD2: 37 <= obj <= 95
0.09/0.11 c BCD2: #cores=19, #unrelaxed=24, #relaxed=172, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=38 bias=38/39
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 139 0 | 41 | 18
0.09/0.11 c 0.0s | 0 | 26 | 0 | 139 0 | 41 | 19
0.09/0.11 c #cpu_time = 0.001s
0.09/0.11 c #wall_clock_time = 0.001s
0.09/0.11 c #decision = 26
0.09/0.11 c #random_decision = 0
0.09/0.11 c #conflict = 0
0.09/0.11 c #restart = 0
0.09/0.11 c BCD2: found a new core of size 1: cost of the new core is >=1
0.09/0.11 c lower bound updated to 38
0.09/0.11 c BCD2: 38 <= obj <= 95
0.09/0.11 c BCD2: #cores=20, #unrelaxed=23, #relaxed=173, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=39 bias=39/40
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 139 0 | 41 | 19
0.09/0.12 c 0.0s | 1 | 169 | 100 | 139 0 | 41 | 19
0.09/0.13 c 0.0s | 2 | 414 | 250 | 153 2 | 41 | 19
0.09/0.13 c 0.0s | 2 | 497 | 291 | 153 2 | 41 | 19
0.09/0.13 c #cpu_time = 0.024s
0.09/0.13 c #wall_clock_time = 0.024s
0.09/0.13 c #decision = 497
0.09/0.13 c #random_decision = 1
0.09/0.13 c #conflict = 291
0.09/0.13 c #restart = 2
0.09/0.13 c BCD2: relaxing 4 and merging with 6 cores into a new core of size 92: cost of the new core is >=17
0.09/0.13 c lower bound updated to 39
0.09/0.13 c BCD2: 39 <= obj <= 95
0.09/0.13 c BCD2: #cores=15, #unrelaxed=19, #relaxed=177, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=40 bias=40/41
0.09/0.13 c Solving starts ...
0.09/0.13 c ============================[ Search Statistics ]============================
0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.13 c | | | | Limit GC | Var | Constra
0.09/0.13 c =============================================================================
0.09/0.13 c 0.0s | 0 | 0 | 0 | 153 0 | 47 | 19
0.09/0.15 c 0.0s | 1 | 162 | 100 | 153 0 | 47 | 25
0.09/0.17 c 0.0s | 2 | 403 | 250 | 169 1 | 47 | 25
0.09/0.19 c 0.1s | 3 | 803 | 475 | 169 3 | 47 | 25
0.19/0.21 c 0.1s | 4 | 1200 | 813 | 186 5 | 47 | 25
0.19/0.25 c 0.1s | 5 | 1754 | 1320 | 186 9 | 47 | 25
0.29/0.30 c 0.2s | 6 | 2584 | 2081 | 205 15 | 47 | 25
0.29/0.31 c 0.2s | 6 | 2901 | 2309 | 205 17 | 47 | 25
0.29/0.31 c #cpu_time = 0.179s
0.29/0.31 c #wall_clock_time = 0.179s
0.29/0.31 c #decision = 2901
0.29/0.31 c #random_decision = 15
0.29/0.31 c #conflict = 2309
0.29/0.31 c #restart = 6
0.29/0.31 c BCD2: relaxing 0 and merging with 2 cores into a new core of size 23: cost of the new core is >=7
0.29/0.31 c lower bound updated to 41
0.29/0.31 c BCD2: 41 <= obj <= 95
0.29/0.31 c BCD2: #cores=14, #unrelaxed=19, #relaxed=177, #hardened=0
0.29/0.31 c BCD2: #sat=1 #unsat=41 bias=41/42
0.29/0.31 c Solving starts ...
0.29/0.31 c ============================[ Search Statistics ]============================
0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.31 c | | | | Limit GC | Var | Constra
0.29/0.31 c =============================================================================
0.29/0.31 c 0.0s | 0 | 0 | 0 | 205 0 | 49 | 25
0.29/0.32 c 0.0s | 1 | 142 | 100 | 205 0 | 49 | 27
0.29/0.33 c 0.0s | 2 | 330 | 250 | 205 0 | 49 | 27
0.29/0.35 c 0.0s | 3 | 598 | 475 | 226 2 | 49 | 27
0.29/0.37 c 0.1s | 4 | 991 | 813 | 226 4 | 49 | 27
0.39/0.41 c 0.1s | 5 | 1536 | 1320 | 226 7 | 49 | 27
0.39/0.46 c 0.1s | 6 | 2341 | 2081 | 249 12 | 49 | 27
0.49/0.55 c 0.2s | 7 | 3531 | 3223 | 249 19 | 49 | 27
0.59/0.69 c 0.4s | 8 | 5291 | 4936 | 274 29 | 49 | 27
0.79/0.89 c 0.6s | 9 | 7952 | 7506 | 274 44 | 49 | 27
1.09/1.18 c 0.9s | 10 | 11971 | 11361 | 302 64 | 49 | 27
1.49/1.54 c 1.2s | 11 | 17864 | 17144 | 333 93 | 49 | 27
1.99/2.05 c 1.7s | 12 | 26751 | 25819 | 367 134 | 49 | 27
2.79/2.85 c 2.5s | 13 | 40006 | 38832 | 404 191 | 49 | 27
2.99/3.03 c 2.7s | 13 | 43213 | 41935 | 404 204 | 50 | 28
2.99/3.03 c #cpu_time = 2.714s
2.99/3.03 c #wall_clock_time = 2.714s
2.99/3.03 c #decision = 43213
2.99/3.03 c #random_decision = 146
2.99/3.03 c #conflict = 41935
2.99/3.03 c #restart = 13
2.99/3.03 c BCD2: updating lower bound of a core
2.99/3.03 c lower bound updated to 49
2.99/3.03 c BCD2: 49 <= obj <= 95
2.99/3.03 c BCD2: #cores=14, #unrelaxed=19, #relaxed=177, #hardened=0
2.99/3.03 c BCD2: #sat=1 #unsat=42 bias=42/43
2.99/3.03 c Solving starts ...
2.99/3.03 c ============================[ Search Statistics ]============================
2.99/3.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.99/3.03 c | | | | Limit GC | Var | Constra
2.99/3.03 c =============================================================================
2.99/3.03 c 0.0s | 0 | 0 | 0 | 404 0 | 50 | 29
2.99/3.04 c 0.0s | 1 | 167 | 100 | 404 0 | 50 | 29
2.99/3.06 c 0.0s | 2 | 377 | 250 | 404 0 | 50 | 29
2.99/3.09 c 0.1s | 3 | 681 | 475 | 404 0 | 50 | 29
3.09/3.12 c 0.1s | 4 | 1137 | 813 | 404 2 | 50 | 29
3.09/3.14 c 0.1s | 5 | 1699 | 1320 | 404 4 | 50 | 29
3.09/3.19 c 0.2s | 6 | 2602 | 2081 | 404 7 | 50 | 29
3.19/3.24 c 0.2s | 6 | 3470 | 2861 | 404 10 | 50 | 29
3.19/3.24 c #cpu_time = 0.211s
3.19/3.24 c #wall_clock_time = 0.211s
3.19/3.24 c #decision = 3470
3.19/3.24 c #random_decision = 6
3.19/3.24 c #conflict = 2861
3.19/3.24 c #restart = 6
3.19/3.24 c BCD2: relaxing 1 and merging with 3 cores into a new core of size 32: cost of the new core is >=6
3.19/3.24 c lower bound updated to 50
3.19/3.24 c BCD2: 50 <= obj <= 95
3.19/3.24 c BCD2: #cores=12, #unrelaxed=18, #relaxed=178, #hardened=0
3.19/3.24 c BCD2: #sat=1 #unsat=43 bias=43/44
3.19/3.24 c Solving starts ...
3.19/3.24 c ============================[ Search Statistics ]============================
3.19/3.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.19/3.24 c | | | | Limit GC | Var | Constra
3.19/3.24 c =============================================================================
3.19/3.24 c 0.0s | 0 | 0 | 0 | 404 0 | 53 | 29
3.19/3.25 c 0.0s | 1 | 158 | 100 | 404 0 | 53 | 32
3.19/3.25 c 0.0s | 2 | 387 | 250 | 404 0 | 53 | 32
3.19/3.27 c 0.0s | 3 | 754 | 475 | 404 0 | 53 | 32
3.19/3.29 c 0.0s | 4 | 1205 | 813 | 404 2 | 53 | 32
3.30/3.32 c 0.1s | 5 | 1867 | 1320 | 404 4 | 53 | 32
3.30/3.37 c 0.1s | 6 | 2820 | 2081 | 404 7 | 53 | 32
3.40/3.43 c 0.2s | 7 | 4199 | 3223 | 404 12 | 53 | 32
3.49/3.53 c 0.3s | 8 | 6403 | 4936 | 404 19 | 53 | 32
3.59/3.68 c 0.4s | 9 | 9630 | 7506 | 404 29 | 53 | 32
3.89/3.90 c 0.7s | 10 | 14307 | 11361 | 445 44 | 53 | 32
4.19/4.25 c 1.0s | 11 | 21295 | 17144 | 445 66 | 53 | 32
4.69/4.77 c 1.5s | 12 | 31404 | 25819 | 445 99 | 53 | 32
5.49/5.54 c 2.3s | 13 | 46553 | 38832 | 445 148 | 53 | 32
6.59/6.69 c 3.5s | 14 | 69138 | 58352 | 490 216 | 53 | 32
8.19/8.29 c 5.1s | 14 | 101801 | 86023 | 539 311 | 54 | 33
8.19/8.29 c #cpu_time = 5.052s
8.19/8.29 c #wall_clock_time = 5.052s
8.19/8.29 c #decision = 101801
8.19/8.29 c #random_decision = 412
8.19/8.29 c #conflict = 86023
8.19/8.29 c #restart = 14
8.19/8.29 c BCD2: updating lower bound of a core
8.19/8.29 c lower bound updated to 58
8.19/8.29 c BCD2: 58 <= obj <= 95
8.19/8.29 c BCD2: #cores=12, #unrelaxed=18, #relaxed=178, #hardened=0
8.19/8.29 c BCD2: #sat=1 #unsat=44 bias=44/45
8.19/8.29 c Solving starts ...
8.19/8.29 c ============================[ Search Statistics ]============================
8.19/8.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
8.19/8.29 c | | | | Limit GC | Var | Constra
8.19/8.29 c =============================================================================
8.19/8.29 c 0.0s | 0 | 0 | 0 | 539 0 | 54 | 34
8.29/8.30 c 0.0s | 1 | 174 | 100 | 539 0 | 54 | 34
8.29/8.32 c 0.0s | 2 | 406 | 250 | 539 0 | 54 | 34
8.29/8.33 c 0.0s | 3 | 667 | 475 | 539 0 | 54 | 34
8.29/8.34 c 0.0s | 3 | 979 | 729 | 539 1 | 55 | 35
8.29/8.34 c #cpu_time = 0.047s
8.29/8.34 c #wall_clock_time = 0.047s
8.29/8.34 c #decision = 979
8.29/8.34 c #random_decision = 4
8.29/8.34 c #conflict = 729
8.29/8.34 c #restart = 3
8.29/8.34 c BCD2: updating lower bound of a core
8.29/8.34 c lower bound updated to 64
8.29/8.34 c BCD2: 64 <= obj <= 95
8.29/8.34 c BCD2: #cores=12, #unrelaxed=18, #relaxed=178, #hardened=0
8.29/8.34 c BCD2: #sat=1 #unsat=45 bias=45/46
8.29/8.34 c Solving starts ...
8.29/8.34 c ============================[ Search Statistics ]============================
8.29/8.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
8.29/8.34 c | | | | Limit GC | Var | Constra
8.29/8.34 c =============================================================================
8.29/8.34 c 0.0s | 0 | 0 | 0 | 539 0 | 55 | 36
8.29/8.35 c 0.0s | 1 | 158 | 100 | 539 0 | 55 | 36
8.29/8.37 c 0.0s | 2 | 359 | 250 | 539 0 | 55 | 36
8.39/8.40 c 0.1s | 3 | 653 | 475 | 539 0 | 55 | 36
8.39/8.46 c 0.1s | 4 | 1085 | 813 | 539 1 | 55 | 36
8.49/8.53 c 0.2s | 5 | 1760 | 1320 | 539 3 | 55 | 36
8.59/8.66 c 0.3s | 6 | 2698 | 2081 | 539 5 | 55 | 36
8.80/8.84 c 0.5s | 7 | 4051 | 3223 | 539 9 | 55 | 36
9.09/9.11 c 0.8s | 8 | 6062 | 4936 | 539 14 | 55 | 36
9.39/9.49 c 1.2s | 9 | 9021 | 7506 | 539 22 | 55 | 36
10.00/10.05 c 1.7s | 10 | 13613 | 11361 | 539 34 | 55 | 36
10.79/10.82 c 2.5s | 11 | 20236 | 17144 | 539 52 | 55 | 36
12.20/12.25 c 3.9s | 12 | 30349 | 25819 | 539 78 | 55 | 36
14.19/14.26 c 5.9s | 12 | 43615 | 37419 | 539 113 | 55 | 36
14.40/14.49 c 6.2s | 13 | 45240 | 38832 | 539 118 | 55 | 36
16.50/16.50 c 8.2s | 13 | 59563 | 51232 | 539 156 | 55 | 36
17.60/17.67 c 9.3s | 14 | 67820 | 58352 | 539 178 | 55 | 36
19.59/19.67 c 11.3s | 14 | 83309 | 71752 | 593 216 | 55 | 36
21.59/21.67 c 13.3s | 14 | 98261 | 85152 | 593 254 | 55 | 36
22.00/22.05 c 13.7s | 15 | 101063 | 87632 | 593 261 | 55 | 36
23.99/24.06 c 15.7s | 15 | 115325 | 100032 | 593 296 | 55 | 36
25.99/26.07 c 17.7s | 15 | 129496 | 112332 | 593 331 | 55 | 36
27.99/28.08 c 19.7s | 15 | 143487 | 124532 | 593 365 | 55 | 36
29.19/29.24 c 20.9s | 16 | 151579 | 131552 | 593 385 | 55 | 36
31.19/31.24 c 22.9s | 16 | 165041 | 143052 | 593 417 | 55 | 36
33.19/33.25 c 24.9s | 16 | 177798 | 154152 | 593 448 | 55 | 36
35.19/35.26 c 26.9s | 16 | 190388 | 165252 | 653 478 | 55 | 36
37.18/37.26 c 28.9s | 16 | 203361 | 176452 | 653 507 | 55 | 36
39.18/39.26 c 30.9s | 16 | 215790 | 187252 | 653 535 | 55 | 36
41.08/41.19 c 32.9s | 17 | 227448 | 197432 | 653 561 | 55 | 36
43.18/43.21 c 34.9s | 17 | 241059 | 209232 | 653 592 | 55 | 36
45.19/45.23 c 36.9s | 17 | 254272 | 220932 | 653 623 | 55 | 36
47.18/47.23 c 38.9s | 17 | 267150 | 232332 | 653 652 | 55 | 36
49.18/49.24 c 40.9s | 17 | 279902 | 243632 | 653 682 | 55 | 36
51.19/51.24 c 42.9s | 17 | 295180 | 257332 | 653 718 | 55 | 36
53.18/53.26 c 44.9s | 17 | 307938 | 268532 | 653 747 | 55 | 36
55.18/55.26 c 46.9s | 17 | 321106 | 280032 | 653 777 | 55 | 36
57.19/57.26 c 48.9s | 17 | 334532 | 291632 | 653 807 | 55 | 36
57.88/57.99 c 49.6s | 18 | 339859 | 296252 | 653 819 | 55 | 36
59.88/59.99 c 51.7s | 18 | 353727 | 308152 | 719 849 | 55 | 36
61.98/62.00 c 53.7s | 18 | 367251 | 319852 | 719 878 | 55 | 36
63.98/64.01 c 55.7s | 18 | 380255 | 331252 | 719 905 | 55 | 36
65.99/66.01 c 57.7s | 18 | 393461 | 342752 | 719 933 | 55 | 36
67.98/68.01 c 59.7s | 18 | 407279 | 354852 | 719 962 | 55 | 36
69.98/70.02 c 61.7s | 18 | 419352 | 365552 | 719 987 | 55 | 36
71.98/72.03 c 63.7s | 18 | 431710 | 376352 | 719 1013 | 55 | 36
73.98/74.04 c 65.7s | 18 | 444808 | 387852 | 719 1041 | 55 | 36
75.98/76.06 c 67.7s | 18 | 458472 | 399752 | 719 1069 | 55 | 36
77.98/78.07 c 69.7s | 18 | 471638 | 411152 | 719 1097 | 55 | 36
79.98/80.07 c 71.7s | 18 | 483748 | 421852 | 719 1122 | 55 | 36
81.98/82.08 c 73.7s | 18 | 495486 | 432152 | 719 1147 | 55 | 36
83.98/84.09 c 75.8s | 18 | 508209 | 443352 | 719 1173 | 55 | 36
84.18/84.29 c 75.9s | 19 | 509493 | 444482 | 719 1176 | 55 | 36
86.27/86.30 c 78.0s | 19 | 523883 | 456882 | 719 1206 | 55 | 36
88.27/88.31 c 80.0s | 19 | 537639 | 468982 | 719 1235 | 55 | 36
90.28/90.31 c 82.0s | 19 | 550950 | 480482 | 719 1263 | 55 | 36
92.27/92.32 c 84.0s | 19 | 564636 | 492482 | 719 1292 | 55 | 36
94.27/94.32 c 86.0s | 19 | 578166 | 504082 | 719 1320 | 55 | 36
96.27/96.33 c 88.0s | 19 | 591640 | 515882 | 719 1348 | 55 | 36
98.27/98.34 c 90.0s | 19 | 604819 | 527482 | 719 1376 | 55 | 36
100.27/100.34 c 92.0s | 19 | 617379 | 538682 | 791 1401 | 55 | 36
102.28/102.35 c 94.0s | 19 | 631101 | 550582 | 791 1427 | 55 | 36
104.27/104.36 c 96.0s | 19 | 643767 | 561682 | 791 1452 | 55 | 36
106.27/106.37 c 98.0s | 19 | 658205 | 574082 | 791 1480 | 55 | 36
108.27/108.38 c 100s | 19 | 672191 | 586082 | 791 1506 | 55 | 36
110.36/110.40 c 102s | 19 | 684725 | 597182 | 791 1531 | 55 | 36
112.36/112.41 c 104s | 19 | 697715 | 608482 | 791 1557 | 55 | 36
114.37/114.41 c 106s | 19 | 710722 | 619682 | 791 1581 | 55 | 36
116.36/116.42 c 108s | 19 | 724118 | 631382 | 791 1607 | 55 | 36
118.36/118.43 c 110s | 19 | 737045 | 642582 | 791 1633 | 55 | 36
120.36/120.44 c 112s | 19 | 749827 | 653782 | 791 1658 | 55 | 36
122.36/122.44 c 114s | 19 | 762434 | 664882 | 791 1682 | 55 | 36
122.66/122.76 c 114s | 20 | 764644 | 666827 | 791 1686 | 55 | 36
124.66/124.76 c 116s | 20 | 785115 | 686327 | 791 1730 | 55 | 36
126.66/126.76 c 118s | 20 | 800751 | 700627 | 791 1762 | 55 | 36
128.66/128.78 c 120s | 20 | 812944 | 711327 | 791 1785 | 55 | 36
130.66/130.80 c 122s | 20 | 824610 | 721727 | 791 1808 | 55 | 36
132.75/132.80 c 124s | 20 | 836185 | 731927 | 791 1830 | 55 | 36
134.75/134.81 c 126s | 20 | 847610 | 742127 | 791 1853 | 55 | 36
136.75/136.82 c 128s | 20 | 859441 | 752527 | 791 1876 | 55 | 36
138.75/138.83 c 130s | 20 | 871172 | 762927 | 791 1898 | 55 | 36
140.76/140.83 c 132s | 20 | 882427 | 773027 | 791 1920 | 55 | 36
142.75/142.84 c 134s | 20 | 893777 | 783127 | 791 1942 | 55 | 36
144.75/144.85 c 136s | 20 | 905163 | 793227 | 791 1965 | 55 | 36
146.75/146.86 c 138s | 20 | 916786 | 803527 | 791 1987 | 55 | 36
148.75/148.87 c 140s | 20 | 928642 | 813927 | 791 2010 | 55 | 36
150.75/150.87 c 142s | 20 | 940370 | 824327 | 791 2033 | 55 | 36
152.74/152.87 c 144s | 20 | 951963 | 834527 | 791 2056 | 55 | 36
154.75/154.89 c 146s | 20 | 963650 | 844827 | 791 2079 | 55 | 36
156.85/156.90 c 148s | 20 | 976092 | 855727 | 791 2102 | 55 | 36
158.85/158.92 c 150s | 20 | 989356 | 867127 | 871 2126 | 55 | 36
160.85/160.92 c 152s | 20 | 1001912 | 878227 | 871 2149 | 55 | 36
162.85/162.93 c 154s | 20 | 1014399 | 889127 | 871 2171 | 55 | 36
164.85/164.94 c 156s | 20 | 1026049 | 899427 | 871 2191 | 55 | 36
166.85/166.96 c 158s | 20 | 1037878 | 909927 | 871 2212 | 55 | 36
168.84/168.97 c 160s | 20 | 1049350 | 920027 | 871 2233 | 55 | 36
170.84/170.98 c 162s | 20 | 1060829 | 930227 | 871 2253 | 55 | 36
172.84/172.98 c 164s | 20 | 1072148 | 940227 | 871 2274 | 55 | 36
174.85/175.00 c 166s | 20 | 1083145 | 949927 | 871 2293 | 55 | 36
176.94/177.02 c 168s | 20 | 1094666 | 960027 | 871 2313 | 55 | 36
178.94/179.04 c 170s | 20 | 1105908 | 969927 | 871 2334 | 55 | 36
180.94/181.06 c 172s | 20 | 1117639 | 980127 | 871 2354 | 55 | 36
182.94/183.07 c 174s | 20 | 1128650 | 989827 | 871 2374 | 55 | 36
184.93/185.08 c 176s | 20 | 1140065 | 999927 | 871 2394 | 55 | 36
185.03/185.17 c 176s | 21 | 1140515 | 1000345 | 871 2395 | 55 | 36
187.04/187.18 c 178s | 21 | 1151708 | 1010345 | 871 2415 | 55 | 36
189.03/189.18 c 180s | 21 | 1162929 | 1020245 | 871 2435 | 55 | 36
191.13/191.20 c 182s | 21 | 1174091 | 1030245 | 871 2455 | 55 | 36
193.13/193.21 c 184s | 21 | 1185214 | 1040145 | 871 2475 | 55 | 36
195.13/195.22 c 186s | 21 | 1196593 | 1050145 | 871 2494 | 55 | 36
197.13/197.23 c 188s | 21 | 1208121 | 1060245 | 871 2515 | 55 | 36
199.13/199.25 c 190s | 21 | 1220216 | 1070845 | 871 2536 | 55 | 36
201.12/201.26 c 192s | 21 | 1231835 | 1081045 | 871 2556 | 55 | 36
203.12/203.28 c 194s | 21 | 1243564 | 1091345 | 871 2577 | 55 | 36
205.12/205.28 c 196s | 21 | 1255430 | 1101545 | 871 2597 | 55 | 36
207.22/207.30 c 198s | 21 | 1267417 | 1112045 | 871 2618 | 55 | 36
209.22/209.31 c 200s | 21 | 1278477 | 1121745 | 871 2638 | 55 | 36
211.22/211.32 c 202s | 21 | 1289958 | 1131845 | 871 2658 | 55 | 36
213.22/213.33 c 204s | 21 | 1301356 | 1141945 | 871 2678 | 55 | 36
215.22/215.35 c 207s | 21 | 1313107 | 1152245 | 871 2699 | 55 | 36
217.22/217.35 c 209s | 21 | 1324715 | 1162545 | 871 2719 | 55 | 36
219.22/219.37 c 211s | 21 | 1336346 | 1172745 | 871 2740 | 55 | 36
221.22/221.38 c 213s | 21 | 1347697 | 1182745 | 871 2760 | 55 | 36
223.23/223.38 c 215s | 21 | 1359464 | 1192945 | 871 2780 | 55 | 36
225.22/225.39 c 217s | 21 | 1370940 | 1203045 | 871 2801 | 55 | 36
227.32/227.40 c 219s | 21 | 1382289 | 1212945 | 871 2820 | 55 | 36
229.31/229.41 c 221s | 21 | 1393774 | 1223045 | 871 2841 | 55 | 36
231.31/231.44 c 223s | 21 | 1404948 | 1232945 | 871 2861 | 55 | 36
233.31/233.46 c 225s | 21 | 1417057 | 1243445 | 871 2882 | 55 | 36
235.32/235.47 c 227s | 21 | 1428372 | 1253445 | 871 2902 | 55 | 36
237.31/237.49 c 229s | 21 | 1440471 | 1263845 | 871 2923 | 55 | 36
239.40/239.51 c 231s | 21 | 1452407 | 1274045 | 871 2944 | 55 | 36
241.40/241.52 c 233s | 21 | 1463277 | 1283645 | 871 2963 | 55 | 36
243.40/243.54 c 235s | 21 | 1474444 | 1293445 | 871 2983 | 55 | 36
245.40/245.54 c 237s | 21 | 1485932 | 1303345 | 871 3003 | 55 | 36
247.41/247.55 c 239s | 21 | 1497395 | 1313145 | 871 3023 | 55 | 36
249.40/249.56 c 241s | 21 | 1508462 | 1322645 | 871 3042 | 55 | 36
251.40/251.57 c 243s | 21 | 1519414 | 1332445 | 871 3061 | 55 | 36
253.40/253.59 c 245s | 21 | 1531465 | 1343045 | 871 3082 | 55 | 36
255.50/255.61 c 247s | 21 | 1543062 | 1353245 | 871 3103 | 55 | 36
257.50/257.62 c 249s | 21 | 1555501 | 1364045 | 959 3123 | 55 | 36
259.50/259.63 c 251s | 21 | 1566987 | 1374045 | 959 3141 | 55 | 36
261.49/261.64 c 253s | 21 | 1578518 | 1384045 | 959 3159 | 55 | 36
263.49/263.66 c 255s | 21 | 1590158 | 1394245 | 959 3178 | 55 | 36
265.49/265.67 c 257s | 21 | 1601852 | 1404345 | 959 3197 | 55 | 36
267.49/267.68 c 259s | 21 | 1613443 | 1414545 | 959 3215 | 55 | 36
269.50/269.70 c 261s | 21 | 1624780 | 1424545 | 959 3234 | 55 | 36
271.59/271.71 c 263s | 21 | 1636007 | 1434545 | 959 3252 | 55 | 36
273.59/273.72 c 265s | 21 | 1647678 | 1444645 | 959 3271 | 55 | 36
275.59/275.74 c 267s | 21 | 1659252 | 1454645 | 959 3289 | 55 | 36
277.59/277.76 c 269s | 21 | 1670177 | 1464145 | 959 3307 | 55 | 36
279.58/279.77 c 271s | 21 | 1681472 | 1473945 | 959 3325 | 55 | 36
281.59/281.79 c 273s | 21 | 1692754 | 1483745 | 959 3343 | 55 | 36
283.58/283.80 c 275s | 21 | 1703685 | 1493345 | 959 3361 | 55 | 36
285.08/285.26 c 276s | 22 | 1712034 | 1500622 | 959 3375 | 55 | 36
287.09/287.27 c 278s | 22 | 1723997 | 1510922 | 959 3394 | 55 | 36
289.08/289.28 c 280s | 22 | 1735357 | 1520722 | 959 3412 | 55 | 36
291.08/291.29 c 282s | 22 | 1746974 | 1530922 | 959 3431 | 55 | 36
293.08/293.29 c 284s | 22 | 1758647 | 1541122 | 959 3450 | 55 | 36
295.18/295.31 c 286s | 22 | 1770935 | 1551722 | 959 3470 | 55 | 36
297.17/297.31 c 288s | 22 | 1783092 | 1562222 | 959 3489 | 55 | 36
299.18/299.31 c 290s | 22 | 1795378 | 1573022 | 959 3509 | 55 | 36
301.17/301.33 c 292s | 22 | 1806681 | 1582922 | 959 3528 | 55 | 36
303.17/303.34 c 294s | 22 | 1818655 | 1593322 | 959 3547 | 55 | 36
305.17/305.34 c 296s | 22 | 1829815 | 1603222 | 959 3565 | 55 | 36
307.18/307.34 c 299s | 22 | 1840971 | 1613022 | 959 3584 | 55 | 36
309.17/309.36 c 301s | 22 | 1853641 | 1624122 | 959 3604 | 55 | 36
311.18/311.38 c 303s | 22 | 1864664 | 1633822 | 959 3623 | 55 | 36
313.17/313.38 c 305s | 22 | 1876733 | 1644522 | 959 3643 | 55 | 36
315.17/315.39 c 307s | 22 | 1888781 | 1655022 | 959 3662 | 55 | 36
317.27/317.40 c 309s | 22 | 1900061 | 1664922 | 959 3681 | 55 | 36
319.27/319.41 c 311s | 22 | 1911017 | 1674622 | 959 3699 | 55 | 36
321.27/321.41 c 313s | 22 | 1923451 | 1685222 | 959 3719 | 55 | 36
323.27/323.41 c 315s | 22 | 1935923 | 1696022 | 959 3739 | 55 | 36
325.26/325.42 c 317s | 22 | 1948222 | 1706722 | 959 3759 | 55 | 36
327.26/327.42 c 319s | 22 | 1960243 | 1717222 | 959 3778 | 55 | 36
329.26/329.44 c 321s | 22 | 1972000 | 1727522 | 959 3798 | 55 | 36
331.26/331.45 c 323s | 22 | 1983115 | 1737222 | 959 3816 | 55 | 36
333.26/333.46 c 325s | 22 | 1994643 | 1747322 | 959 3835 | 55 | 36
335.25/335.47 c 327s | 22 | 2006770 | 1757922 | 959 3854 | 55 | 36
337.25/337.48 c 329s | 22 | 2018352 | 1768222 | 959 3874 | 55 | 36
339.35/339.50 c 331s | 22 | 2029721 | 1778222 | 959 3892 | 55 | 36
341.35/341.52 c 333s | 22 | 2041113 | 1788222 | 959 3911 | 55 | 36
343.35/343.53 c 335s | 22 | 2052815 | 1798322 | 959 3930 | 55 | 36
345.35/345.54 c 337s | 22 | 2064568 | 1808622 | 959 3949 | 55 | 36
347.34/347.56 c 339s | 22 | 2076014 | 1818722 | 959 3969 | 55 | 36
349.34/349.57 c 341s | 22 | 2087161 | 1828522 | 959 3987 | 55 | 36
351.34/351.58 c 343s | 22 | 2099470 | 1839122 | 959 4007 | 55 | 36
353.34/353.59 c 345s | 22 | 2111571 | 1849622 | 959 4027 | 55 | 36
355.44/355.60 c 347s | 22 | 2123723 | 1860222 | 959 4046 | 55 | 36
357.45/357.61 c 349s | 22 | 2135001 | 1870122 | 959 4065 | 55 | 36
359.43/359.63 c 351s | 22 | 2146454 | 1880222 | 959 4084 | 55 | 36
361.43/361.65 c 353s | 22 | 2157423 | 1890022 | 959 4102 | 55 | 36
363.43/363.67 c 355s | 22 | 2168379 | 1899822 | 959 4121 | 55 | 36
365.43/365.68 c 357s | 22 | 2181235 | 1911022 | 959 4141 | 55 | 36
367.43/367.69 c 359s | 22 | 2192327 | 1920722 | 959 4160 | 55 | 36
369.44/369.70 c 361s | 22 | 2203337 | 1930322 | 959 4178 | 55 | 36
371.53/371.70 c 363s | 22 | 2213878 | 1939622 | 959 4195 | 55 | 36
373.53/373.71 c 365s | 22 | 2224518 | 1949022 | 959 4213 | 55 | 36
375.53/375.72 c 367s | 22 | 2235687 | 1958722 | 959 4231 | 55 | 36
377.54/377.74 c 369s | 22 | 2246773 | 1968322 | 959 4249 | 55 | 36
379.53/379.74 c 371s | 22 | 2257319 | 1977522 | 959 4266 | 55 | 36
381.54/381.75 c 373s | 22 | 2267828 | 1986822 | 959 4283 | 55 | 36
383.53/383.77 c 375s | 22 | 2278932 | 1996622 | 959 4302 | 55 | 36
385.53/385.78 c 377s | 22 | 2289704 | 2006222 | 959 4320 | 55 | 36
387.53/387.78 c 379s | 22 | 2301041 | 2016222 | 959 4338 | 55 | 36
389.52/389.79 c 381s | 22 | 2312077 | 2026022 | 959 4356 | 55 | 36
391.62/391.80 c 383s | 22 | 2323171 | 2035622 | 959 4374 | 55 | 36
393.63/393.80 c 385s | 22 | 2334504 | 2045622 | 959 4392 | 55 | 36
395.62/395.82 c 387s | 22 | 2345766 | 2055622 | 959 4411 | 55 | 36
397.62/397.82 c 389s | 22 | 2357070 | 2065522 | 959 4429 | 55 | 36
399.62/399.83 c 391s | 22 | 2368306 | 2075422 | 959 4447 | 55 | 36
401.62/401.84 c 393s | 22 | 2379651 | 2085222 | 959 4465 | 55 | 36
403.62/403.84 c 395s | 22 | 2390924 | 2095022 | 959 4484 | 55 | 36
405.61/405.85 c 397s | 22 | 2402029 | 2104722 | 1055 4501 | 55 | 36
407.61/407.87 c 399s | 22 | 2412439 | 2114022 | 1055 4517 | 55 | 36
409.61/409.87 c 401s | 22 | 2423162 | 2123322 | 1055 4533 | 55 | 36
411.61/411.88 c 403s | 22 | 2434401 | 2133122 | 1055 4549 | 55 | 36
413.61/413.89 c 405s | 22 | 2444963 | 2142522 | 1055 4566 | 55 | 36
415.71/415.91 c 407s | 22 | 2456173 | 2152422 | 1055 4582 | 55 | 36
417.70/417.93 c 409s | 22 | 2467165 | 2162122 | 1055 4599 | 55 | 36
419.70/419.93 c 411s | 22 | 2477303 | 2171122 | 1055 4615 | 55 | 36
421.70/421.93 c 413s | 22 | 2488480 | 2180922 | 1055 4631 | 55 | 36
423.70/423.94 c 415s | 22 | 2499494 | 2190622 | 1055 4648 | 55 | 36
425.70/425.95 c 417s | 22 | 2510605 | 2200322 | 1055 4665 | 55 | 36
427.71/427.96 c 419s | 22 | 2521260 | 2209722 | 1055 4681 | 55 | 36
429.70/429.99 c 421s | 22 | 2532312 | 2219422 | 1055 4698 | 55 | 36
431.80/432.00 c 423s | 22 | 2543298 | 2229122 | 1055 4714 | 55 | 36
433.80/434.02 c 425s | 22 | 2554085 | 2238622 | 1055 4730 | 55 | 36
435.79/436.03 c 427s | 22 | 2564600 | 2247922 | 1055 4746 | 55 | 36
436.39/436.66 c 428s | 23 | 2568125 | 2251038 | 1055 4751 | 55 | 36
438.39/438.66 c 430s | 23 | 2579478 | 2260938 | 1055 4768 | 55 | 36
440.40/440.66 c 432s | 23 | 2590333 | 2270438 | 1055 4785 | 55 | 36
442.40/442.67 c 434s | 23 | 2601307 | 2280138 | 1055 4801 | 55 | 36
444.39/444.69 c 436s | 23 | 2612712 | 2290138 | 1055 4819 | 55 | 36
446.40/446.70 c 438s | 23 | 2623811 | 2299938 | 1055 4835 | 55 | 36
448.49/448.72 c 440s | 23 | 2635346 | 2310138 | 1055 4853 | 55 | 36
450.49/450.73 c 442s | 23 | 2646312 | 2319938 | 1055 4869 | 55 | 36
452.49/452.74 c 444s | 23 | 2657497 | 2329838 | 1055 4886 | 55 | 36
454.48/454.75 c 446s | 23 | 2668728 | 2339638 | 1055 4903 | 55 | 36
456.48/456.76 c 448s | 23 | 2679342 | 2348938 | 1055 4919 | 55 | 36
458.49/458.77 c 450s | 23 | 2690171 | 2358438 | 1055 4936 | 55 | 36
460.48/460.77 c 452s | 23 | 2701558 | 2368338 | 1055 4953 | 55 | 36
462.48/462.78 c 454s | 23 | 2712838 | 2378238 | 1055 4970 | 55 | 36
464.47/464.79 c 456s | 23 | 2723798 | 2388038 | 1055 4986 | 55 | 36
466.47/466.79 c 458s | 23 | 2734430 | 2397638 | 1055 5003 | 55 | 36
468.57/468.81 c 460s | 23 | 2744887 | 2407038 | 1055 5019 | 55 | 36
470.58/470.82 c 462s | 23 | 2755205 | 2416338 | 1055 5035 | 55 | 36
472.57/472.83 c 464s | 23 | 2766230 | 2426038 | 1055 5052 | 55 | 36
474.57/474.85 c 466s | 23 | 2777486 | 2435838 | 1055 5069 | 55 | 36
476.57/476.87 c 468s | 23 | 2788301 | 2445338 | 1055 5085 | 55 | 36
478.57/478.87 c 470s | 23 | 2798870 | 2454738 | 1055 5101 | 55 | 36
480.58/480.88 c 472s | 23 | 2809642 | 2464338 | 1055 5118 | 55 | 36
482.58/482.90 c 474s | 23 | 2819937 | 2473638 | 1055 5134 | 55 | 36
484.68/484.92 c 476s | 23 | 2830739 | 2483238 | 1055 5151 | 55 | 36
486.68/486.93 c 478s | 23 | 2841986 | 2493138 | 1055 5168 | 55 | 36
488.67/488.94 c 480s | 23 | 2852787 | 2502738 | 1055 5184 | 55 | 36
490.67/490.97 c 482s | 23 | 2863648 | 2512338 | 1055 5201 | 55 | 36
492.68/492.98 c 484s | 23 | 2874693 | 2522138 | 1055 5217 | 55 | 36
494.67/494.99 c 486s | 23 | 2885646 | 2531838 | 1055 5234 | 55 | 36
496.77/497.00 c 488s | 23 | 2896563 | 2541538 | 1055 5251 | 55 | 36
498.77/499.01 c 490s | 23 | 2907228 | 2550938 | 1055 5267 | 55 | 36
500.76/501.02 c 492s | 23 | 2917987 | 2560338 | 1055 5283 | 55 | 36
502.76/503.02 c 494s | 23 | 2928343 | 2569538 | 1055 5299 | 55 | 36
504.77/505.03 c 496s | 23 | 2939620 | 2579438 | 1055 5316 | 55 | 36
506.76/507.05 c 498s | 23 | 2951284 | 2589638 | 1055 5333 | 55 | 36
508.76/509.06 c 500s | 23 | 2962273 | 2599338 | 1055 5350 | 55 | 36
510.76/511.07 c 502s | 23 | 2973071 | 2608838 | 1055 5366 | 55 | 36
512.76/513.09 c 504s | 23 | 2984510 | 2618838 | 1055 5383 | 55 | 36
514.86/515.10 c 506s | 23 | 2995361 | 2628438 | 1055 5399 | 55 | 36
516.86/517.11 c 508s | 23 | 3007434 | 2639138 | 1055 5418 | 55 | 36
518.85/519.12 c 510s | 23 | 3018566 | 2648838 | 1055 5434 | 55 | 36
520.85/521.12 c 512s | 23 | 3029245 | 2658338 | 1055 5451 | 55 | 36
522.85/523.13 c 514s | 23 | 3040353 | 2668138 | 1055 5467 | 55 | 36
524.85/525.15 c 516s | 23 | 3050829 | 2677438 | 1055 5483 | 55 | 36
526.85/527.15 c 518s | 23 | 3061159 | 2686638 | 1055 5499 | 55 | 36
528.85/529.17 c 520s | 23 | 3072473 | 2696338 | 1055 5516 | 55 | 36
530.85/531.19 c 522s | 23 | 3083552 | 2706138 | 1055 5532 | 55 | 36
532.95/533.21 c 524s | 23 | 3095058 | 2716238 | 1055 5550 | 55 | 36
534.95/535.22 c 526s | 23 | 3106302 | 2726038 | 1055 5567 | 55 | 36
536.95/537.24 c 528s | 23 | 3116893 | 2735438 | 1055 5583 | 55 | 36
538.95/539.25 c 530s | 23 | 3127500 | 2744738 | 1055 5599 | 55 | 36
540.95/541.26 c 532s | 23 | 3138339 | 2754138 | 1055 5615 | 55 | 36
542.94/543.27 c 534s | 23 | 3149505 | 2764038 | 1055 5632 | 55 | 36
544.94/545.28 c 536s | 23 | 3160469 | 2773638 | 1055 5649 | 55 | 36
546.94/547.29 c 538s | 23 | 3171478 | 2783238 | 1055 5665 | 55 | 36
549.04/549.31 c 540s | 23 | 3182665 | 2792938 | 1055 5682 | 55 | 36
551.04/551.32 c 542s | 23 | 3193732 | 2802638 | 1055 5699 | 55 | 36
553.05/553.34 c 545s | 23 | 3204292 | 2811938 | 1055 5715 | 55 | 36
555.05/555.35 c 547s | 23 | 3214736 | 2821138 | 1055 5730 | 55 | 36
557.05/557.36 c 549s | 23 | 3225242 | 2830538 | 1055 5747 | 55 | 36
559.04/559.37 c 551s | 23 | 3236263 | 2840138 | 1055 5763 | 55 | 36
561.04/561.39 c 553s | 23 | 3246965 | 2849638 | 1055 5779 | 55 | 36
563.14/563.40 c 555s | 23 | 3257431 | 2858938 | 1055 5795 | 55 | 36
565.04/565.40 c 557s | 23 | 3268554 | 2868638 | 1055 5812 | 55 | 36
567.14/567.41 c 559s | 23 | 3279188 | 2878038 | 1055 5828 | 55 | 36
569.14/569.42 c 561s | 23 | 3290382 | 2887838 | 1055 5845 | 55 | 36
571.14/571.44 c 563s | 23 | 3301144 | 2897238 | 1055 5861 | 55 | 36
573.14/573.45 c 565s | 23 | 3312131 | 2906738 | 1055 5878 | 55 | 36
575.14/575.47 c 567s | 23 | 3323195 | 2916438 | 1055 5895 | 55 | 36
577.13/577.48 c 569s | 23 | 3334424 | 2926238 | 1055 5911 | 55 | 36
579.13/579.48 c 571s | 23 | 3346037 | 2936338 | 1055 5929 | 55 | 36
581.13/581.48 c 573s | 23 | 3356728 | 2945838 | 1055 5945 | 55 | 36
583.13/583.49 c 575s | 23 | 3368173 | 2955838 | 1055 5962 | 55 | 36
585.23/585.50 c 577s | 23 | 3378959 | 2965438 | 1055 5979 | 55 | 36
587.23/587.51 c 579s | 23 | 3389345 | 2974638 | 1055 5994 | 55 | 36
589.22/589.53 c 581s | 23 | 3399279 | 2983538 | 1055 6010 | 55 | 36
591.22/591.55 c 583s | 23 | 3411039 | 2993938 | 1055 6028 | 55 | 36
593.22/593.56 c 585s | 23 | 3422191 | 3003638 | 1055 6044 | 55 | 36
595.22/595.58 c 587s | 23 | 3432357 | 3012638 | 1055 6060 | 55 | 36
597.32/597.60 c 589s | 23 | 3442441 | 3021638 | 1055 6075 | 55 | 36
599.32/599.62 c 591s | 23 | 3452684 | 3030738 | 1055 6091 | 55 | 36
601.32/601.63 c 593s | 23 | 3463212 | 3040038 | 1055 6107 | 55 | 36
603.32/603.64 c 595s | 23 | 3474683 | 3050338 | 1055 6125 | 55 | 36
605.31/605.65 c 597s | 23 | 3484804 | 3059338 | 1055 6140 | 55 | 36
607.31/607.66 c 599s | 23 | 3495783 | 3068838 | 1055 6157 | 55 | 36
609.31/609.67 c 601s | 23 | 3506468 | 3078238 | 1055 6173 | 55 | 36
611.31/611.70 c 603s | 23 | 3517624 | 3088238 | 1055 6191 | 55 | 36
613.41/613.72 c 605s | 23 | 3528276 | 3097738 | 1055 6207 | 55 | 36
615.41/615.73 c 607s | 23 | 3539982 | 3108138 | 1055 6225 | 55 | 36
617.41/617.75 c 609s | 23 | 3549638 | 3116838 | 1055 6240 | 55 | 36
619.41/619.75 c 611s | 23 | 3559511 | 3125538 | 1055 6255 | 55 | 36
621.41/621.77 c 613s | 23 | 3569578 | 3134438 | 1055 6271 | 55 | 36
623.42/623.77 c 615s | 23 | 3579418 | 3143138 | 1055 6286 | 55 | 36
625.41/625.78 c 617s | 23 | 3589691 | 3152338 | 1055 6302 | 55 | 36
627.41/627.78 c 619s | 23 | 3600965 | 3162338 | 1055 6319 | 55 | 36
629.40/629.79 c 621s | 23 | 3611551 | 3171838 | 1055 6335 | 55 | 36
631.40/631.79 c 623s | 23 | 3621751 | 3180938 | 1055 6351 | 55 | 36
633.50/633.80 c 625s | 23 | 3632558 | 3190338 | 1055 6367 | 55 | 36
635.51/635.80 c 627s | 23 | 3642829 | 3199438 | 1055 6383 | 55 | 36
637.50/637.81 c 629s | 23 | 3653444 | 3208738 | 1055 6399 | 55 | 36
639.50/639.81 c 631s | 23 | 3663855 | 3217838 | 1055 6414 | 55 | 36
641.50/641.82 c 633s | 23 | 3674037 | 3226738 | 1161 6428 | 55 | 36
643.50/643.82 c 635s | 23 | 3683946 | 3235338 | 1161 6442 | 55 | 36
645.50/645.83 c 637s | 23 | 3693816 | 3244038 | 1161 6455 | 55 | 36
647.49/647.84 c 639s | 23 | 3704282 | 3253038 | 1161 6470 | 55 | 36
649.49/649.85 c 641s | 23 | 3714647 | 3262238 | 1161 6485 | 55 | 36
651.49/651.85 c 643s | 23 | 3725173 | 3271538 | 1161 6499 | 55 | 36
653.49/653.86 c 645s | 23 | 3735760 | 3280838 | 1161 6514 | 55 | 36
655.49/655.88 c 647s | 23 | 3745486 | 3289538 | 1161 6528 | 55 | 36
657.49/657.88 c 649s | 23 | 3755599 | 3298438 | 1161 6542 | 55 | 36
659.59/659.90 c 651s | 23 | 3765863 | 3307538 | 1161 6556 | 55 | 36
661.59/661.91 c 653s | 23 | 3775985 | 3316538 | 1161 6571 | 55 | 36
663.59/663.91 c 655s | 23 | 3786000 | 3325438 | 1161 6585 | 55 | 36
665.58/665.92 c 657s | 23 | 3795818 | 3334138 | 1161 6599 | 55 | 36
667.58/667.94 c 659s | 23 | 3805726 | 3342938 | 1161 6613 | 55 | 36
669.59/669.95 c 661s | 23 | 3815763 | 3351738 | 1161 6626 | 55 | 36
671.58/671.97 c 663s | 23 | 3825911 | 3360538 | 1161 6640 | 55 | 36
673.58/673.98 c 665s | 23 | 3836469 | 3369738 | 1161 6655 | 55 | 36
675.19/675.51 c 667s | 24 | 3844378 | 3376662 | 1161 6666 | 55 | 36
677.18/677.51 c 669s | 24 | 3855384 | 3386262 | 1161 6681 | 55 | 36
679.17/679.52 c 671s | 24 | 3867573 | 3397262 | 1161 6698 | 55 | 36
681.17/681.54 c 673s | 24 | 3877336 | 3405962 | 1161 6711 | 55 | 36
683.17/683.56 c 675s | 24 | 3888916 | 3415862 | 1161 6727 | 55 | 36
685.18/685.57 c 677s | 24 | 3899713 | 3425262 | 1161 6742 | 55 | 36
687.19/687.58 c 679s | 24 | 3911550 | 3435562 | 1161 6758 | 55 | 36
689.18/689.58 c 681s | 24 | 3921351 | 3444162 | 1161 6771 | 55 | 36
691.28/691.60 c 683s | 24 | 3931578 | 3453262 | 1161 6785 | 55 | 36
693.28/693.61 c 685s | 24 | 3942693 | 3462862 | 1161 6801 | 55 | 36
695.28/695.63 c 687s | 24 | 3952580 | 3471562 | 1161 6814 | 55 | 36
697.28/697.65 c 689s | 24 | 3962047 | 3479862 | 1161 6827 | 55 | 36
699.28/699.66 c 691s | 24 | 3972423 | 3488862 | 1161 6842 | 55 | 36
701.27/701.66 c 693s | 24 | 3981929 | 3497262 | 1161 6855 | 55 | 36
703.27/703.66 c 695s | 24 | 3991810 | 3505862 | 1161 6868 | 55 | 36
705.27/705.69 c 697s | 24 | 4001793 | 3514462 | 1161 6882 | 55 | 36
707.27/707.69 c 699s | 24 | 4011732 | 3523162 | 1161 6896 | 55 | 36
709.37/709.71 c 701s | 24 | 4021434 | 3531762 | 1161 6909 | 55 | 36
711.37/711.72 c 703s | 24 | 4030883 | 3540162 | 1161 6922 | 55 | 36
713.36/713.74 c 705s | 24 | 4040435 | 3548562 | 1161 6935 | 55 | 36
715.36/715.76 c 707s | 24 | 4049907 | 3556962 | 1161 6948 | 55 | 36
717.36/717.76 c 709s | 24 | 4060004 | 3565762 | 1161 6962 | 55 | 36
719.36/719.77 c 711s | 24 | 4069380 | 3574062 | 1161 6975 | 55 | 36
721.37/721.79 c 713s | 24 | 4078894 | 3582462 | 1161 6988 | 55 | 36
723.47/723.81 c 715s | 24 | 4089419 | 3591562 | 1161 7003 | 55 | 36
725.46/725.82 c 717s | 24 | 4099794 | 3600562 | 1161 7017 | 55 | 36
727.46/727.83 c 719s | 24 | 4110831 | 3610062 | 1161 7032 | 55 | 36
729.46/729.85 c 721s | 24 | 4121235 | 3618962 | 1161 7046 | 55 | 36
731.45/731.86 c 723s | 24 | 4130984 | 3627362 | 1161 7059 | 55 | 36
733.46/733.87 c 725s | 24 | 4140548 | 3635762 | 1161 7072 | 55 | 36
735.45/735.89 c 727s | 24 | 4151267 | 3645062 | 1161 7087 | 55 | 36
737.55/737.91 c 729s | 24 | 4162517 | 3655162 | 1161 7103 | 55 | 36
739.55/739.92 c 731s | 24 | 4172672 | 3664162 | 1161 7117 | 55 | 36
741.55/741.92 c 733s | 24 | 4182562 | 3672862 | 1161 7130 | 55 | 36
743.55/743.93 c 735s | 24 | 4192466 | 3681662 | 1161 7144 | 55 | 36
745.56/745.94 c 737s | 24 | 4202925 | 3690862 | 1161 7158 | 55 | 36
747.55/747.96 c 739s | 24 | 4212760 | 3699562 | 1161 7172 | 55 | 36
749.55/749.97 c 741s | 24 | 4222678 | 3708262 | 1161 7185 | 55 | 36
751.55/751.99 c 743s | 24 | 4232712 | 3717162 | 1161 7199 | 55 | 36
753.65/754.01 c 745s | 24 | 4242171 | 3725562 | 1161 7212 | 55 | 36
755.65/756.03 c 747s | 24 | 4251702 | 3733962 | 1161 7226 | 55 | 36
757.66/758.04 c 749s | 24 | 4261265 | 3742462 | 1161 7239 | 55 | 36
759.65/760.07 c 751s | 24 | 4270568 | 3750762 | 1161 7252 | 55 | 36
761.65/762.08 c 753s | 24 | 4280127 | 3759262 | 1161 7265 | 55 | 36
763.65/764.09 c 755s | 24 | 4289746 | 3767862 | 1161 7279 | 55 | 36
765.75/766.10 c 757s | 24 | 4299565 | 3776562 | 1161 7292 | 55 | 36
767.75/768.10 c 759s | 24 | 4309337 | 3785162 | 1161 7306 | 55 | 36
769.75/770.10 c 761s | 24 | 4319448 | 3793962 | 1161 7319 | 55 | 36
771.75/772.12 c 763s | 24 | 4329139 | 3802662 | 1161 7333 | 55 | 36
773.75/774.13 c 765s | 24 | 4338691 | 3811162 | 1161 7346 | 55 | 36
775.75/776.14 c 767s | 24 | 4348440 | 3819762 | 1161 7360 | 55 | 36
777.75/778.15 c 769s | 24 | 4358459 | 3828562 | 1161 7374 | 55 | 36
779.75/780.15 c 771s | 24 | 4368396 | 3837362 | 1161 7387 | 55 | 36
781.76/782.16 c 773s | 24 | 4378237 | 3846062 | 1161 7401 | 55 | 36
783.75/784.17 c 775s | 24 | 4388045 | 3854662 | 1161 7414 | 55 | 36
785.75/786.18 c 777s | 24 | 4398714 | 3864062 | 1161 7428 | 55 | 36
787.75/788.19 c 779s | 24 | 4408802 | 3872762 | 1161 7442 | 55 | 36
789.85/790.20 c 781s | 24 | 4419183 | 3881662 | 1161 7456 | 55 | 36
791.85/792.22 c 783s | 24 | 4429345 | 3890562 | 1161 7470 | 55 | 36
793.86/794.23 c 785s | 24 | 4438995 | 3899162 | 1161 7483 | 55 | 36
795.85/796.23 c 787s | 24 | 4448823 | 3907962 | 1161 7497 | 55 | 36
797.85/798.24 c 789s | 24 | 4458458 | 3916462 | 1161 7510 | 55 | 36
799.85/800.24 c 791s | 24 | 4467992 | 3924962 | 1161 7523 | 55 | 36
801.85/802.25 c 793s | 24 | 4478172 | 3933862 | 1161 7537 | 55 | 36
803.85/804.26 c 795s | 24 | 4488026 | 3942562 | 1161 7550 | 55 | 36
805.85/806.26 c 797s | 24 | 4497525 | 3951062 | 1161 7564 | 55 | 36
807.85/808.28 c 799s | 24 | 4506887 | 3959462 | 1161 7577 | 55 | 36
809.85/810.28 c 801s | 24 | 4516705 | 3968162 | 1161 7590 | 55 | 36
811.85/812.29 c 803s | 24 | 4526516 | 3976762 | 1161 7604 | 55 | 36
813.95/814.30 c 805s | 24 | 4536588 | 3985662 | 1161 7618 | 55 | 36
815.95/816.31 c 807s | 24 | 4546143 | 3994162 | 1161 7631 | 55 | 36
817.94/818.32 c 809s | 24 | 4555822 | 4002662 | 1161 7644 | 55 | 36
819.94/820.33 c 811s | 24 | 4566712 | 4012562 | 1161 7660 | 55 | 36
821.94/822.34 c 814s | 24 | 4581827 | 4027062 | 1161 7682 | 55 | 36
823.94/824.35 c 816s | 24 | 4591303 | 4035462 | 1161 7695 | 55 | 36
825.94/826.37 c 818s | 24 | 4600914 | 4043962 | 1161 7708 | 55 | 36
827.95/828.38 c 820s | 24 | 4610782 | 4052562 | 1161 7722 | 55 | 36
830.04/830.40 c 822s | 24 | 4620279 | 4060962 | 1161 7735 | 55 | 36
832.04/832.41 c 824s | 24 | 4629665 | 4069362 | 1161 7748 | 55 | 36
834.04/834.42 c 826s | 24 | 4640117 | 4078362 | 1161 7762 | 55 | 36
836.04/836.44 c 828s | 24 | 4649765 | 4086762 | 1161 7775 | 55 | 36
838.04/838.45 c 830s | 24 | 4659393 | 4095362 | 1161 7789 | 55 | 36
840.04/840.48 c 832s | 24 | 4672260 | 4107062 | 1161 7807 | 55 | 36
842.14/842.50 c 834s | 24 | 4681986 | 4115462 | 1161 7820 | 55 | 36
844.14/844.50 c 836s | 24 | 4691196 | 4123562 | 1161 7833 | 55 | 36
846.14/846.50 c 838s | 24 | 4700136 | 4131462 | 1161 7845 | 55 | 36
848.14/848.51 c 840s | 24 | 4709812 | 4139962 | 1161 7858 | 55 | 36
850.14/850.51 c 842s | 24 | 4725103 | 4154462 | 1161 7881 | 55 | 36
852.15/852.52 c 844s | 24 | 4736561 | 4164762 | 1161 7898 | 55 | 36
854.14/854.53 c 846s | 24 | 4746273 | 4173262 | 1161 7911 | 55 | 36
856.14/856.54 c 848s | 24 | 4755513 | 4181362 | 1161 7924 | 55 | 36
858.14/858.57 c 850s | 24 | 4764710 | 4189562 | 1161 7937 | 55 | 36
860.14/860.59 c 852s | 24 | 4775896 | 4199762 | 1161 7953 | 55 | 36
862.24/862.60 c 854s | 24 | 4784910 | 4207762 | 1161 7965 | 55 | 36
864.25/864.60 c 856s | 24 | 4793986 | 4215762 | 1161 7978 | 55 | 36
866.24/866.62 c 858s | 24 | 4803241 | 4223862 | 1161 7990 | 55 | 36
868.24/868.64 c 860s | 24 | 4812769 | 4232162 | 1161 8004 | 55 | 36
870.24/870.66 c 862s | 24 | 4821956 | 4240262 | 1161 8016 | 55 | 36
872.24/872.66 c 864s | 24 | 4832017 | 4249062 | 1161 8030 | 55 | 36
874.24/874.66 c 866s | 24 | 4841606 | 4257562 | 1161 8043 | 55 | 36
876.24/876.66 c 868s | 24 | 4851984 | 4266462 | 1161 8057 | 55 | 36
878.24/878.67 c 870s | 24 | 4862623 | 4275662 | 1161 8071 | 55 | 36
880.24/880.69 c 872s | 24 | 4873310 | 4284862 | 1161 8086 | 55 | 36
882.33/882.70 c 874s | 24 | 4883875 | 4294062 | 1161 8101 | 55 | 36
884.33/884.72 c 876s | 24 | 4894594 | 4303262 | 1161 8115 | 55 | 36
886.34/886.74 c 878s | 24 | 4905817 | 4313262 | 1161 8131 | 55 | 36
888.33/888.74 c 880s | 24 | 4916081 | 4322162 | 1161 8145 | 55 | 36
890.33/890.74 c 882s | 24 | 4925560 | 4330462 | 1161 8158 | 55 | 36
892.33/892.75 c 884s | 24 | 4936229 | 4339762 | 1161 8172 | 55 | 36
894.33/894.76 c 886s | 24 | 4946530 | 4348762 | 1161 8186 | 55 | 36
896.33/896.77 c 888s | 24 | 4956195 | 4357362 | 1161 8200 | 55 | 36
898.34/898.79 c 890s | 24 | 4965614 | 4365762 | 1161 8213 | 55 | 36
900.43/900.80 c 892s | 24 | 4975534 | 4374362 | 1161 8226 | 55 | 36
902.43/902.81 c 894s | 24 | 4984759 | 4382362 | 1161 8239 | 55 | 36
904.43/904.82 c 896s | 24 | 4994339 | 4390662 | 1161 8252 | 55 | 36
906.43/906.84 c 898s | 24 | 5004251 | 4399262 | 1161 8265 | 55 | 36
908.43/908.85 c 900s | 24 | 5018099 | 4412262 | 1161 8286 | 55 | 36
910.44/910.85 c 902s | 24 | 5028251 | 4421062 | 1161 8299 | 55 | 36
912.43/912.86 c 904s | 24 | 5037981 | 4429562 | 1161 8313 | 55 | 36
914.43/914.87 c 906s | 24 | 5047976 | 4438262 | 1161 8326 | 55 | 36
916.43/916.88 c 908s | 24 | 5057743 | 4446762 | 1161 8340 | 55 | 36
918.53/918.90 c 910s | 24 | 5067682 | 4455462 | 1161 8354 | 55 | 36
920.53/920.92 c 912s | 24 | 5077506 | 4463962 | 1161 8367 | 55 | 36
922.53/922.94 c 914s | 24 | 5086673 | 4472062 | 1161 8380 | 55 | 36
924.53/924.95 c 916s | 24 | 5096243 | 4480462 | 1161 8393 | 55 | 36
926.53/926.97 c 918s | 24 | 5105902 | 4488862 | 1161 8406 | 55 | 36
928.52/928.98 c 920s | 24 | 5115463 | 4497162 | 1161 8419 | 55 | 36
930.52/930.99 c 922s | 24 | 5125701 | 4506162 | 1161 8433 | 55 | 36
932.62/933.00 c 924s | 24 | 5135705 | 4514962 | 1161 8447 | 55 | 36
934.63/935.01 c 926s | 24 | 5145816 | 4524062 | 1161 8461 | 55 | 36
936.62/937.02 c 928s | 24 | 5154932 | 4532162 | 1161 8474 | 55 | 36
938.62/939.03 c 930s | 24 | 5164130 | 4540262 | 1161 8486 | 55 | 36
940.62/941.05 c 932s | 24 | 5173552 | 4548562 | 1161 8499 | 55 | 36
942.62/943.07 c 934s | 24 | 5182878 | 4556862 | 1161 8512 | 55 | 36
944.63/945.09 c 936s | 24 | 5192534 | 4565262 | 1161 8526 | 55 | 36
946.62/947.09 c 938s | 24 | 5202665 | 4573862 | 1161 8539 | 55 | 36
948.72/949.11 c 940s | 24 | 5212516 | 4582562 | 1161 8553 | 55 | 36
950.72/951.11 c 942s | 24 | 5222033 | 4590862 | 1161 8566 | 55 | 36
952.72/953.13 c 944s | 24 | 5231852 | 4599462 | 1161 8579 | 55 | 36
954.72/955.13 c 946s | 24 | 5244698 | 4611062 | 1161 8597 | 55 | 36
956.73/957.14 c 948s | 24 | 5255101 | 4620062 | 1161 8612 | 55 | 36
958.72/959.15 c 950s | 24 | 5265113 | 4628662 | 1161 8625 | 55 | 36
960.72/961.15 c 952s | 24 | 5274773 | 4637162 | 1161 8639 | 55 | 36
962.72/963.17 c 954s | 24 | 5284948 | 4645962 | 1161 8652 | 55 | 36
964.72/965.19 c 956s | 24 | 5295180 | 4655062 | 1161 8667 | 55 | 36
966.82/967.21 c 958s | 24 | 5304805 | 4663362 | 1161 8680 | 55 | 36
968.82/969.23 c 960s | 24 | 5314596 | 4671862 | 1161 8693 | 55 | 36
970.82/971.24 c 962s | 24 | 5324297 | 4680462 | 1161 8707 | 55 | 36
972.82/973.25 c 964s | 24 | 5333564 | 4688662 | 1161 8720 | 55 | 36
974.82/975.27 c 966s | 24 | 5343477 | 4697362 | 1161 8733 | 55 | 36
976.82/977.28 c 968s | 24 | 5353183 | 4705962 | 1161 8747 | 55 | 36
978.92/979.30 c 970s | 24 | 5362786 | 4714562 | 1161 8760 | 55 | 36
980.92/981.31 c 972s | 24 | 5372722 | 4723262 | 1161 8774 | 55 | 36
982.91/983.32 c 974s | 24 | 5382583 | 4731962 | 1161 8788 | 55 | 36
984.91/985.34 c 976s | 24 | 5392623 | 4740762 | 1161 8802 | 55 | 36
986.91/987.36 c 979s | 24 | 5403411 | 4750162 | 1161 8816 | 55 | 36
988.91/989.38 c 981s | 24 | 5413076 | 4758662 | 1161 8830 | 55 | 36
990.91/991.38 c 983s | 24 | 5422935 | 4767262 | 1161 8843 | 55 | 36
992.92/993.39 c 985s | 24 | 5432531 | 4775662 | 1161 8857 | 55 | 36
995.01/995.40 c 987s | 24 | 5442155 | 4784162 | 1161 8870 | 55 | 36
997.01/997.41 c 989s | 24 | 5453097 | 4793862 | 1161 8885 | 55 | 36
999.01/999.43 c 991s | 24 | 5462644 | 4802162 | 1161 8898 | 55 | 36
1001.01/1001.45 c 993s | 24 | 5472157 | 4810462 | 1161 8911 | 55 | 36
1003.01/1003.45 c 995s | 24 | 5482354 | 4819562 | 1161 8926 | 55 | 36
1005.03/1005.46 c 997s | 24 | 5493489 | 4829262 | 1161 8941 | 55 | 36
1007.02/1007.48 c 999s | 24 | 5503745 | 4838162 | 1161 8955 | 55 | 36
1009.02/1009.49 c 1001s | 24 | 5513889 | 4846962 | 1161 8969 | 55 | 36
1011.12/1011.51 c 1003s | 24 | 5523460 | 4855362 | 1161 8982 | 55 | 36
1013.12/1013.51 c 1005s | 24 | 5532465 | 4863262 | 1161 8994 | 55 | 36
1015.11/1015.53 c 1007s | 24 | 5541694 | 4871362 | 1161 9007 | 55 | 36
1017.12/1017.54 c 1009s | 24 | 5551224 | 4879862 | 1161 9021 | 55 | 36
1019.11/1019.56 c 1011s | 24 | 5561020 | 4888562 | 1161 9034 | 55 | 36
1021.11/1021.57 c 1013s | 24 | 5570959 | 4897262 | 1278 9047 | 55 | 36
1023.11/1023.58 c 1015s | 24 | 5581655 | 4906562 | 1278 9061 | 55 | 36
1025.11/1025.59 c 1017s | 24 | 5591567 | 4915262 | 1278 9073 | 55 | 36
1027.21/1027.61 c 1019s | 24 | 5601383 | 4923862 | 1278 9086 | 55 | 36
1029.22/1029.62 c 1021s | 24 | 5611141 | 4932562 | 1278 9098 | 55 | 36
1031.21/1031.62 c 1023s | 24 | 5620411 | 4940762 | 1278 9110 | 55 | 36
1033.21/1033.64 c 1025s | 24 | 5629418 | 4948762 | 1278 9122 | 55 | 36
1035.21/1035.64 c 1027s | 24 | 5638350 | 4956662 | 1278 9133 | 55 | 36
1037.21/1037.65 c 1029s | 24 | 5647419 | 4964762 | 1278 9144 | 55 | 36
1039.21/1039.68 c 1031s | 24 | 5656826 | 4973062 | 1278 9156 | 55 | 36
1041.21/1041.69 c 1033s | 24 | 5666634 | 4981562 | 1278 9169 | 55 | 36
1043.31/1043.71 c 1035s | 24 | 5676247 | 4989962 | 1278 9181 | 55 | 36
1045.30/1045.72 c 1037s | 24 | 5685743 | 4998262 | 1278 9193 | 55 | 36
1047.30/1047.74 c 1039s | 24 | 5695473 | 5006862 | 1278 9205 | 55 | 36
1049.30/1049.75 c 1041s | 24 | 5705294 | 5015562 | 1278 9217 | 55 | 36
1051.31/1051.76 c 1043s | 24 | 5714245 | 5023562 | 1278 9229 | 55 | 36
1053.30/1053.77 c 1045s | 24 | 5724703 | 5032862 | 1278 9242 | 55 | 36
1055.31/1055.79 c 1047s | 24 | 5734186 | 5041062 | 1278 9254 | 55 | 36
1057.41/1057.81 c 1049s | 24 | 5743252 | 5049062 | 1278 9265 | 55 | 36
1059.41/1059.82 c 1051s | 24 | 5752523 | 5057162 | 1278 9277 | 55 | 36
1061.31/1061.74 c 1053s | 25 | 5761617 | 5065098 | 1278 9288 | 55 | 36
1063.32/1063.74 c 1055s | 25 | 5771287 | 5073598 | 1278 9301 | 55 | 36
1065.31/1065.76 c 1057s | 25 | 5780924 | 5081998 | 1278 9313 | 55 | 36
1067.31/1067.77 c 1059s | 25 | 5790402 | 5090298 | 1278 9325 | 55 | 36
1069.31/1069.79 c 1061s | 25 | 5799909 | 5098598 | 1278 9337 | 55 | 36
1071.41/1071.81 c 1063s | 25 | 5809519 | 5106898 | 1278 9348 | 55 | 36
1073.41/1073.83 c 1065s | 25 | 5818721 | 5114998 | 1278 9360 | 55 | 36
1075.41/1075.83 c 1067s | 25 | 5828102 | 5123198 | 1278 9372 | 55 | 36
1077.41/1077.84 c 1069s | 25 | 5836912 | 5131098 | 1278 9383 | 55 | 36
1079.40/1079.85 c 1071s | 25 | 5845684 | 5138798 | 1278 9394 | 55 | 36
1081.40/1081.87 c 1073s | 25 | 5854534 | 5146698 | 1278 9406 | 55 | 36
1083.40/1083.88 c 1075s | 25 | 5863959 | 5154998 | 1278 9418 | 55 | 36
1085.50/1085.90 c 1077s | 25 | 5873389 | 5163198 | 1278 9429 | 55 | 36
1087.51/1087.91 c 1079s | 25 | 5882814 | 5171498 | 1278 9441 | 55 | 36
1089.50/1089.93 c 1081s | 25 | 5892073 | 5179498 | 1278 9453 | 55 | 36
1091.50/1091.94 c 1083s | 25 | 5901202 | 5187498 | 1278 9464 | 55 | 36
1093.50/1093.96 c 1085s | 25 | 5912011 | 5196698 | 1278 9477 | 55 | 36
1095.50/1095.96 c 1087s | 25 | 5922436 | 5205598 | 1278 9490 | 55 | 36
1097.51/1097.96 c 1089s | 25 | 5932189 | 5214098 | 1278 9502 | 55 | 36
1099.50/1099.98 c 1091s | 25 | 5941873 | 5222498 | 1278 9514 | 55 | 36
1101.60/1102.00 c 1093s | 25 | 5951065 | 5230498 | 1278 9526 | 55 | 36
1103.60/1104.00 c 1095s | 25 | 5960343 | 5238598 | 1278 9538 | 55 | 36
1105.60/1106.01 c 1097s | 25 | 5970106 | 5247098 | 1278 9550 | 55 | 36
1107.60/1108.04 c 1099s | 25 | 5980291 | 5255998 | 1278 9563 | 55 | 36
1109.61/1110.04 c 1101s | 25 | 5990385 | 5264898 | 1278 9575 | 55 | 36
1111.60/1112.06 c 1103s | 25 | 6000927 | 5273998 | 1278 9589 | 55 | 36
1113.60/1114.07 c 1105s | 25 | 6011054 | 5282998 | 1278 9602 | 55 | 36
1115.60/1116.09 c 1107s | 25 | 6020312 | 5291298 | 1278 9613 | 55 | 36
1117.70/1118.11 c 1109s | 25 | 6029915 | 5299898 | 1278 9626 | 55 | 36
1119.70/1120.12 c 1111s | 25 | 6039198 | 5308098 | 1278 9638 | 55 | 36
1121.70/1122.13 c 1113s | 25 | 6048796 | 5316498 | 1278 9650 | 55 | 36
1123.70/1124.15 c 1115s | 25 | 6057996 | 5324598 | 1278 9661 | 55 | 36
1125.69/1126.17 c 1117s | 25 | 6067414 | 5332898 | 1278 9673 | 55 | 36
1127.70/1128.17 c 1119s | 25 | 6076170 | 5340598 | 1278 9684 | 55 | 36
1129.70/1130.18 c 1121s | 25 | 6085062 | 5348298 | 1278 9695 | 55 | 36
1131.70/1132.18 c 1123s | 25 | 6094097 | 5356198 | 1278 9707 | 55 | 36
1133.71/1134.19 c 1125s | 25 | 6104066 | 5364898 | 1278 9719 | 55 | 36
1135.80/1136.20 c 1127s | 25 | 6113816 | 5373498 | 1278 9731 | 55 | 36
1137.80/1138.20 c 1129s | 25 | 6123456 | 5381998 | 1278 9744 | 55 | 36
1139.80/1140.22 c 1131s | 25 | 6132703 | 5390298 | 1278 9756 | 55 | 36
1141.80/1142.25 c 1133s | 25 | 6142101 | 5398598 | 1278 9768 | 55 | 36
1143.80/1144.27 c 1135s | 25 | 6151406 | 5406798 | 1278 9779 | 55 | 36
1145.80/1146.27 c 1137s | 25 | 6160673 | 5415098 | 1278 9791 | 55 | 36
1147.80/1148.29 c 1139s | 25 | 6169710 | 5422998 | 1278 9803 | 55 | 36
1149.90/1150.32 c 1141s | 25 | 6179106 | 5431198 | 1278 9815 | 55 | 36
1151.90/1152.34 c 1143s | 25 | 6189473 | 5440098 | 1278 9827 | 55 | 36
1153.90/1154.35 c 1146s | 25 | 6199629 | 5448998 | 1278 9840 | 55 | 36
1155.90/1156.36 c 1148s | 25 | 6209510 | 5457698 | 1278 9853 | 55 | 36
1157.90/1158.39 c 1150s | 25 | 6218772 | 5465898 | 1278 9864 | 55 | 36
1159.99/1160.40 c 1152s | 25 | 6228444 | 5474398 | 1278 9877 | 55 | 36
1161.99/1162.42 c 1154s | 25 | 6238542 | 5483098 | 1278 9889 | 55 | 36
1163.99/1164.43 c 1156s | 25 | 6248651 | 5491698 | 1278 9902 | 55 | 36
1165.99/1166.44 c 1158s | 25 | 6257965 | 5499798 | 1278 9913 | 55 | 36
1167.99/1168.44 c 1160s | 25 | 6267388 | 5507998 | 1278 9925 | 55 | 36
1170.00/1170.46 c 1162s | 25 | 6277677 | 5516998 | 1278 9938 | 55 | 36
1171.99/1172.47 c 1164s | 25 | 6287486 | 5525598 | 1278 9951 | 55 | 36
1173.99/1174.47 c 1166s | 25 | 6297151 | 5534098 | 1278 9963 | 55 | 36
1175.99/1176.49 c 1168s | 25 | 6306696 | 5542498 | 1278 9975 | 55 | 36
1178.09/1178.50 c 1170s | 25 | 6316847 | 5551298 | 1278 9988 | 55 | 36
1180.09/1180.52 c 1172s | 25 | 6326741 | 5559998 | 1278 10000 | 55 | 36
1182.10/1182.53 c 1174s | 25 | 6336367 | 5568498 | 1278 10012 | 55 | 36
1184.09/1184.54 c 1176s | 25 | 6346217 | 5577098 | 1278 10025 | 55 | 36
1186.09/1186.56 c 1178s | 25 | 6356364 | 5585998 | 1278 10038 | 55 | 36
1188.09/1188.57 c 1180s | 25 | 6365961 | 5594498 | 1278 10050 | 55 | 36
1190.09/1190.58 c 1182s | 25 | 6375875 | 5603198 | 1278 10062 | 55 | 36
1192.10/1192.59 c 1184s | 25 | 6385005 | 5611298 | 1278 10074 | 55 | 36
1194.20/1194.61 c 1186s | 25 | 6395068 | 5620098 | 1278 10087 | 55 | 36
1196.19/1196.63 c 1188s | 25 | 6404668 | 5628498 | 1278 10099 | 55 | 36
1198.19/1198.64 c 1190s | 25 | 6413830 | 5636498 | 1278 10110 | 55 | 36
1200.19/1200.65 c 1192s | 25 | 6423657 | 5644898 | 1278 10122 | 55 | 36
1202.19/1202.67 c 1194s | 25 | 6432694 | 5652798 | 1278 10134 | 55 | 36
1204.20/1204.68 c 1196s | 25 | 6442340 | 5661198 | 1278 10146 | 55 | 36
1206.19/1206.69 c 1198s | 25 | 6451610 | 5669398 | 1278 10158 | 55 | 36
1208.29/1208.70 c 1200s | 25 | 6461098 | 5677698 | 1278 10170 | 55 | 36
1210.29/1210.73 c 1202s | 25 | 6470585 | 5685898 | 1278 10182 | 55 | 36
1212.29/1212.74 c 1204s | 25 | 6480615 | 5694498 | 1278 10194 | 55 | 36
1214.29/1214.75 c 1206s | 25 | 6490807 | 5703498 | 1278 10207 | 55 | 36
1216.29/1216.76 c 1208s | 25 | 6500898 | 5712298 | 1278 10220 | 55 | 36
1218.29/1218.77 c 1210s | 25 | 6510622 | 5720698 | 1278 10232 | 55 | 36
1220.29/1220.79 c 1212s | 25 | 6520405 | 5729198 | 1278 10244 | 55 | 36
1222.38/1222.81 c 1214s | 25 | 6530697 | 5738198 | 1278 10257 | 55 | 36
1224.38/1224.81 c 1216s | 25 | 6540280 | 5746698 | 1278 10269 | 55 | 36
1226.38/1226.83 c 1218s | 25 | 6550219 | 5755498 | 1278 10282 | 55 | 36
1228.39/1228.85 c 1220s | 25 | 6559917 | 5764098 | 1278 10294 | 55 | 36
1230.38/1230.86 c 1222s | 25 | 6569162 | 5772298 | 1278 10306 | 55 | 36
1232.38/1232.86 c 1224s | 25 | 6577959 | 5780098 | 1278 10317 | 55 | 36
1234.38/1234.88 c 1226s | 25 | 6587001 | 5787998 | 1278 10328 | 55 | 36
1236.38/1236.89 c 1228s | 25 | 6596204 | 5796098 | 1278 10340 | 55 | 36
1238.48/1238.91 c 1230s | 25 | 6605430 | 5804198 | 1278 10352 | 55 | 36
1240.49/1240.91 c 1232s | 25 | 6615531 | 5812998 | 1278 10364 | 55 | 36
1242.48/1242.94 c 1234s | 25 | 6625040 | 5821398 | 1278 10376 | 55 | 36
1244.48/1244.96 c 1236s | 25 | 6634801 | 5829998 | 1278 10389 | 55 | 36
1246.48/1246.98 c 1238s | 25 | 6644546 | 5838598 | 1278 10401 | 55 | 36
1248.48/1248.99 c 1240s | 25 | 6653896 | 5846798 | 1278 10413 | 55 | 36
1250.58/1251.02 c 1242s | 25 | 6663345 | 5854998 | 1278 10425 | 55 | 36
1252.58/1253.03 c 1244s | 25 | 6671828 | 5862598 | 1278 10436 | 55 | 36
1254.58/1255.05 c 1246s | 25 | 6680956 | 5870498 | 1278 10447 | 55 | 36
1256.58/1257.07 c 1248s | 25 | 6689483 | 5878098 | 1278 10458 | 55 | 36
1258.58/1259.07 c 1250s | 25 | 6698194 | 5885698 | 1278 10469 | 55 | 36
1260.57/1261.08 c 1252s | 25 | 6707600 | 5893898 | 1278 10481 | 55 | 36
1262.67/1263.10 c 1254s | 25 | 6716993 | 5901998 | 1278 10493 | 55 | 36
1264.68/1265.13 c 1256s | 25 | 6726240 | 5910098 | 1278 10504 | 55 | 36
1266.67/1267.13 c 1258s | 25 | 6734645 | 5917698 | 1278 10515 | 55 | 36
1268.67/1269.15 c 1260s | 25 | 6743763 | 5925698 | 1278 10527 | 55 | 36
1270.67/1271.16 c 1262s | 25 | 6752537 | 5933498 | 1278 10538 | 55 | 36
1272.67/1273.16 c 1264s | 25 | 6761271 | 5941198 | 1278 10549 | 55 | 36
1274.67/1275.16 c 1266s | 25 | 6769423 | 5948398 | 1278 10559 | 55 | 36
1276.68/1277.16 c 1268s | 25 | 6777615 | 5955698 | 1278 10570 | 55 | 36
1278.67/1279.17 c 1270s | 25 | 6786097 | 5963298 | 1278 10581 | 55 | 36
1280.67/1281.18 c 1272s | 25 | 6795266 | 5971398 | 1278 10592 | 55 | 36
1282.67/1283.19 c 1274s | 25 | 6804007 | 5979098 | 1278 10604 | 55 | 36
1284.67/1285.20 c 1276s | 25 | 6812866 | 5986898 | 1278 10615 | 55 | 36
1286.77/1287.21 c 1278s | 25 | 6821740 | 5994698 | 1278 10626 | 55 | 36
1288.78/1289.24 c 1280s | 25 | 6830473 | 6002398 | 1278 10637 | 55 | 36
1290.77/1291.26 c 1282s | 25 | 6839348 | 6010198 | 1278 10648 | 55 | 36
1292.77/1293.28 c 1284s | 25 | 6848178 | 6017998 | 1278 10660 | 55 | 36
1294.77/1295.29 c 1286s | 25 | 6856923 | 6025598 | 1278 10671 | 55 | 36
1296.77/1297.29 c 1288s | 25 | 6866146 | 6033598 | 1278 10682 | 55 | 36
1298.87/1299.31 c 1290s | 25 | 6876084 | 6042098 | 1278 10694 | 55 | 36
1300.87/1301.31 c 1292s | 25 | 6885558 | 6050298 | 1278 10706 | 55 | 36
1302.87/1303.31 c 1294s | 25 | 6894830 | 6058398 | 1278 10718 | 55 | 36
1304.86/1305.32 c 1296s | 25 | 6903734 | 6066298 | 1278 10729 | 55 | 36
1306.86/1307.34 c 1298s | 25 | 6912979 | 6074398 | 1278 10741 | 55 | 36
1308.86/1309.34 c 1301s | 25 | 6921891 | 6082198 | 1278 10752 | 55 | 36
1310.87/1311.35 c 1303s | 25 | 6930363 | 6089798 | 1278 10763 | 55 | 36
1312.87/1313.36 c 1305s | 25 | 6939035 | 6097398 | 1278 10774 | 55 | 36
1314.87/1315.39 c 1307s | 25 | 6948755 | 6105998 | 1278 10787 | 55 | 36
1316.97/1317.41 c 1309s | 25 | 6957725 | 6113898 | 1278 10798 | 55 | 36
1318.97/1319.42 c 1311s | 25 | 6967062 | 6122098 | 1278 10810 | 55 | 36
1320.97/1321.42 c 1313s | 25 | 6975583 | 6129698 | 1278 10821 | 55 | 36
1322.98/1323.43 c 1315s | 25 | 6984551 | 6137598 | 1278 10832 | 55 | 36
1324.97/1325.44 c 1317s | 25 | 6993380 | 6145398 | 1278 10843 | 55 | 36
1326.97/1327.45 c 1319s | 25 | 7002866 | 6153798 | 1278 10855 | 55 | 36
1328.97/1329.46 c 1321s | 25 | 7012523 | 6162398 | 1278 10868 | 55 | 36
1330.97/1331.48 c 1323s | 25 | 7022227 | 6170898 | 1278 10879 | 55 | 36
1332.97/1333.48 c 1325s | 25 | 7032310 | 6179798 | 1278 10892 | 55 | 36
1334.97/1335.48 c 1327s | 25 | 7042327 | 6188598 | 1278 10905 | 55 | 36
1336.97/1337.49 c 1329s | 25 | 7051801 | 6196998 | 1278 10917 | 55 | 36
1339.07/1339.50 c 1331s | 25 | 7061216 | 6205298 | 1278 10929 | 55 | 36
1341.07/1341.52 c 1333s | 25 | 7070364 | 6213498 | 1278 10940 | 55 | 36
1343.06/1343.54 c 1335s | 25 | 7079893 | 6221998 | 1278 10952 | 55 | 36
1345.06/1345.54 c 1337s | 25 | 7089137 | 6230098 | 1278 10964 | 55 | 36
1347.07/1347.55 c 1339s | 25 | 7098075 | 6237998 | 1278 10975 | 55 | 36
1349.06/1349.55 c 1341s | 25 | 7107210 | 6245998 | 1278 10987 | 55 | 36
1351.06/1351.57 c 1343s | 25 | 7116989 | 6254498 | 1278 10999 | 55 | 36
1353.06/1353.59 c 1345s | 25 | 7125954 | 6262398 | 1278 11010 | 55 | 36
1355.16/1355.61 c 1347s | 25 | 7134644 | 6270098 | 1278 11021 | 55 | 36
1357.16/1357.64 c 1349s | 25 | 7143619 | 6277898 | 1278 11033 | 55 | 36
1359.17/1359.65 c 1351s | 25 | 7152212 | 6285398 | 1278 11043 | 55 | 36
1361.16/1361.67 c 1353s | 25 | 7161138 | 6293398 | 1278 11055 | 55 | 36
1363.16/1363.67 c 1355s | 25 | 7170055 | 6301298 | 1278 11066 | 55 | 36
1365.16/1365.69 c 1357s | 25 | 7178929 | 6309298 | 1278 11078 | 55 | 36
1367.16/1367.69 c 1359s | 25 | 7188019 | 6317398 | 1278 11090 | 55 | 36
1369.17/1369.69 c 1361s | 25 | 7198280 | 6326298 | 1278 11102 | 55 | 36
1371.27/1371.72 c 1363s | 25 | 7207940 | 6334698 | 1278 11114 | 55 | 36
1373.26/1373.73 c 1365s | 25 | 7218012 | 6343498 | 1278 11127 | 55 | 36
1375.26/1375.73 c 1367s | 25 | 7227771 | 6352098 | 1278 11140 | 55 | 36
1377.26/1377.74 c 1369s | 25 | 7236798 | 6360098 | 1278 11151 | 55 | 36
1379.26/1379.74 c 1371s | 25 | 7245213 | 6367598 | 1278 11162 | 55 | 36
1381.26/1381.76 c 1373s | 25 | 7254167 | 6375498 | 1278 11173 | 55 | 36
1383.26/1383.79 c 1375s | 25 | 7263115 | 6383398 | 1278 11185 | 55 | 36
1385.36/1385.80 c 1377s | 25 | 7271991 | 6391198 | 1278 11196 | 55 | 36
1387.36/1387.80 c 1379s | 25 | 7281337 | 6399298 | 1278 11207 | 55 | 36
1389.36/1389.82 c 1381s | 25 | 7290704 | 6407598 | 1278 11219 | 55 | 36
1391.35/1391.83 c 1383s | 25 | 7299961 | 6415698 | 1278 11231 | 55 | 36
1393.36/1393.84 c 1385s | 25 | 7309319 | 6423998 | 1278 11243 | 55 | 36
1395.35/1395.84 c 1387s | 25 | 7318182 | 6431698 | 1278 11254 | 55 | 36
1397.35/1397.85 c 1389s | 25 | 7327641 | 6439998 | 1278 11266 | 55 | 36
1399.35/1399.85 c 1391s | 25 | 7336371 | 6447598 | 1278 11277 | 55 | 36
1401.35/1401.87 c 1393s | 25 | 7344827 | 6455198 | 1278 11288 | 55 | 36
1403.45/1403.90 c 1395s | 25 | 7353217 | 6462698 | 1278 11299 | 55 | 36
1405.36/1405.90 c 1397s | 25 | 7362125 | 6470598 | 1278 11310 | 55 | 36
1407.45/1407.91 c 1399s | 25 | 7370933 | 6478298 | 1278 11321 | 55 | 36
1409.45/1409.94 c 1401s | 25 | 7380077 | 6486298 | 1278 11333 | 55 | 36
1411.45/1411.97 c 1403s | 25 | 7389381 | 6494498 | 1278 11345 | 55 | 36
1413.45/1413.98 c 1405s | 25 | 7398660 | 6502498 | 1278 11356 | 55 | 36
1415.55/1416.00 c 1407s | 25 | 7407480 | 6510298 | 1278 11367 | 55 | 36
1417.56/1418.02 c 1409s | 25 | 7416356 | 6518198 | 1278 11379 | 55 | 36
1419.55/1420.04 c 1411s | 25 | 7425118 | 6525998 | 1278 11390 | 55 | 36
1421.55/1422.04 c 1413s | 25 | 7433537 | 6533498 | 1278 11401 | 55 | 36
1423.55/1424.05 c 1415s | 25 | 7442555 | 6541398 | 1278 11412 | 55 | 36
1425.55/1426.05 c 1417s | 25 | 7451033 | 6548998 | 1278 11423 | 55 | 36
1427.55/1428.06 c 1419s | 25 | 7459570 | 6556698 | 1278 11434 | 55 | 36
1429.55/1430.08 c 1421s | 25 | 7467848 | 6564098 | 1278 11445 | 55 | 36
1431.65/1432.10 c 1423s | 25 | 7476144 | 6571498 | 1278 11456 | 55 | 36
1433.65/1434.11 c 1425s | 25 | 7485006 | 6579398 | 1278 11467 | 55 | 36
1435.65/1436.11 c 1427s | 25 | 7494018 | 6587398 | 1278 11479 | 55 | 36
1437.65/1438.15 c 1429s | 25 | 7503305 | 6595598 | 1278 11491 | 55 | 36
1439.65/1440.16 c 1431s | 25 | 7512144 | 6603398 | 1278 11502 | 55 | 36
1441.66/1442.19 c 1433s | 25 | 7520801 | 6610998 | 1278 11513 | 55 | 36
1443.65/1444.19 c 1435s | 25 | 7528958 | 6618198 | 1278 11523 | 55 | 36
1445.75/1446.21 c 1437s | 25 | 7537091 | 6625498 | 1278 11534 | 55 | 36
1447.75/1448.22 c 1439s | 25 | 7545573 | 6632998 | 1278 11544 | 55 | 36
1449.75/1450.24 c 1441s | 25 | 7554588 | 6640998 | 1278 11556 | 55 | 36
1451.75/1452.26 c 1443s | 25 | 7563662 | 6649098 | 1278 11568 | 55 | 36
1453.75/1454.27 c 1445s | 25 | 7574254 | 6658398 | 1278 11581 | 55 | 36
1455.74/1456.27 c 1447s | 25 | 7584160 | 6666998 | 1278 11593 | 55 | 36
1457.74/1458.29 c 1449s | 25 | 7594623 | 6676098 | 1278 11607 | 55 | 36
1459.84/1460.30 c 1451s | 25 | 7604984 | 6685098 | 1278 11620 | 55 | 36
1461.84/1462.32 c 1453s | 25 | 7614899 | 6693798 | 1278 11632 | 55 | 36
1463.84/1464.33 c 1455s | 25 | 7624728 | 6702398 | 1278 11645 | 55 | 36
1465.85/1466.35 c 1458s | 25 | 7634740 | 6711098 | 1278 11657 | 55 | 36
1467.84/1468.37 c 1460s | 25 | 7645332 | 6720198 | 1278 11670 | 55 | 36
1469.84/1470.38 c 1462s | 25 | 7655727 | 6729398 | 1278 11683 | 55 | 36
1471.84/1472.39 c 1464s | 25 | 7665453 | 6737998 | 1278 11696 | 55 | 36
1473.84/1474.40 c 1466s | 25 | 7674443 | 6745998 | 1278 11707 | 55 | 36
1475.94/1476.41 c 1468s | 25 | 7684084 | 6754598 | 1278 11720 | 55 | 36
1477.95/1478.43 c 1470s | 25 | 7693380 | 6762798 | 1278 11731 | 55 | 36
1479.94/1480.44 c 1472s | 25 | 7702763 | 6770998 | 1278 11743 | 55 | 36
1481.94/1482.46 c 1474s | 25 | 7712645 | 6779598 | 1278 11756 | 55 | 36
1483.95/1484.47 c 1476s | 25 | 7722162 | 6787998 | 1278 11768 | 55 | 36
1485.95/1486.49 c 1478s | 25 | 7731495 | 6796098 | 1278 11780 | 55 | 36
1488.05/1488.50 c 1480s | 25 | 7740675 | 6804298 | 1278 11791 | 55 | 36
1490.05/1490.52 c 1482s | 25 | 7750925 | 6813198 | 1278 11804 | 55 | 36
1492.05/1492.52 c 1484s | 25 | 7760768 | 6821798 | 1278 11817 | 55 | 36
1494.04/1494.54 c 1486s | 25 | 7770764 | 6830498 | 1278 11829 | 55 | 36
1496.04/1496.55 c 1488s | 25 | 7780393 | 6838998 | 1278 11841 | 55 | 36
1498.04/1498.56 c 1490s | 25 | 7790384 | 6847698 | 1278 11854 | 55 | 36
1500.05/1500.58 c 1492s | 25 | 7801487 | 6857298 | 1278 11868 | 55 | 36
1502.04/1502.59 c 1494s | 25 | 7811641 | 6866198 | 1278 11881 | 55 | 36
1504.14/1504.61 c 1496s | 25 | 7821736 | 6875098 | 1278 11893 | 55 | 36
1506.14/1506.62 c 1498s | 25 | 7830905 | 6883198 | 1278 11905 | 55 | 36
1508.14/1508.63 c 1500s | 25 | 7840453 | 6891598 | 1278 11917 | 55 | 36
1510.14/1510.65 c 1502s | 25 | 7849546 | 6899598 | 1278 11928 | 55 | 36
1512.15/1512.66 c 1504s | 25 | 7858230 | 6907198 | 1278 11939 | 55 | 36
1514.14/1514.68 c 1506s | 25 | 7867302 | 6915198 | 1278 11951 | 55 | 36
1516.14/1516.69 c 1508s | 25 | 7876906 | 6923598 | 1278 11963 | 55 | 36
1518.24/1518.71 c 1510s | 25 | 7886290 | 6931798 | 1278 11975 | 55 | 36
1520.23/1520.72 c 1512s | 25 | 7895784 | 6940098 | 1278 11987 | 55 | 36
1522.23/1522.74 c 1514s | 25 | 7904708 | 6947998 | 1278 11998 | 55 | 36
1524.24/1524.75 c 1516s | 25 | 7913565 | 6955798 | 1278 12009 | 55 | 36
1526.23/1526.76 c 1518s | 25 | 7922331 | 6963598 | 1278 12021 | 55 | 36
1528.23/1528.77 c 1520s | 25 | 7931207 | 6971398 | 1278 12032 | 55 | 36
1530.23/1530.79 c 1522s | 25 | 7939756 | 6978998 | 1278 12043 | 55 | 36
1532.33/1532.81 c 1524s | 25 | 7948223 | 6986498 | 1278 12053 | 55 | 36
1534.33/1534.83 c 1526s | 25 | 7956948 | 6994198 | 1278 12065 | 55 | 36
1536.34/1536.84 c 1528s | 25 | 7965254 | 7001598 | 1278 12075 | 55 | 36
1538.33/1538.85 c 1530s | 25 | 7974820 | 7010098 | 1278 12088 | 55 | 36
1540.33/1540.87 c 1532s | 25 | 7984341 | 7018598 | 1278 12100 | 55 | 36
1542.33/1542.88 c 1534s | 25 | 7993613 | 7026798 | 1278 12111 | 55 | 36
1544.33/1544.89 c 1536s | 25 | 8003064 | 7035098 | 1278 12124 | 55 | 36
1546.43/1546.91 c 1538s | 25 | 8013662 | 7044198 | 1278 12137 | 55 | 36
1548.44/1548.92 c 1540s | 25 | 8023157 | 7052498 | 1278 12149 | 55 | 36
1550.43/1550.92 c 1542s | 25 | 8033015 | 7061198 | 1278 12161 | 55 | 36
1552.43/1552.93 c 1544s | 25 | 8042579 | 7069698 | 1278 12174 | 55 | 36
1554.43/1554.95 c 1546s | 25 | 8052461 | 7078298 | 1278 12186 | 55 | 36
1556.43/1556.96 c 1548s | 25 | 8062091 | 7086598 | 1278 12198 | 55 | 36
1558.43/1558.97 c 1550s | 25 | 8072190 | 7095198 | 1278 12210 | 55 | 36
1560.43/1560.98 c 1552s | 25 | 8082004 | 7103698 | 1278 12223 | 55 | 36
1562.43/1562.98 c 1554s | 25 | 8091673 | 7112098 | 1278 12235 | 55 | 36
1564.43/1564.98 c 1556s | 25 | 8101740 | 7120798 | 1278 12247 | 55 | 36
1566.53/1567.00 c 1558s | 25 | 8111839 | 7129598 | 1278 12260 | 55 | 36
1568.53/1569.02 c 1560s | 25 | 8121520 | 7138198 | 1278 12273 | 55 | 36
1570.53/1571.02 c 1562s | 25 | 8131387 | 7146798 | 1278 12285 | 55 | 36
1572.54/1573.06 c 1564s | 25 | 8140481 | 7154798 | 1278 12297 | 55 | 36
1574.53/1575.07 c 1566s | 25 | 8150254 | 7163398 | 1278 12309 | 55 | 36
1576.63/1577.10 c 1568s | 25 | 8160332 | 7172098 | 1278 12322 | 55 | 36
1578.63/1579.12 c 1570s | 25 | 8170391 | 7180898 | 1278 12334 | 55 | 36
1580.63/1581.12 c 1572s | 25 | 8179796 | 7189198 | 1278 12346 | 55 | 36
1582.63/1583.14 c 1574s | 25 | 8189615 | 7197798 | 1278 12359 | 55 | 36
1584.64/1585.14 c 1576s | 25 | 8199402 | 7206298 | 1278 12371 | 55 | 36
1586.63/1587.15 c 1578s | 25 | 8209132 | 7214698 | 1278 12383 | 55 | 36
1588.63/1589.17 c 1580s | 25 | 8218886 | 7223298 | 1278 12395 | 55 | 36
1590.63/1591.18 c 1582s | 25 | 8228587 | 7231698 | 1278 12407 | 55 | 36
1592.73/1593.20 c 1584s | 25 | 8237936 | 7239998 | 1278 12419 | 55 | 36
1594.72/1595.20 c 1586s | 25 | 8247065 | 7248098 | 1278 12431 | 55 | 36
1596.73/1597.22 c 1588s | 25 | 8256713 | 7256498 | 1278 12443 | 55 | 36
1598.72/1599.24 c 1590s | 25 | 8265758 | 7264498 | 1278 12455 | 55 | 36
1600.72/1601.25 c 1592s | 25 | 8274684 | 7272298 | 1278 12466 | 55 | 36
1602.72/1603.27 c 1594s | 25 | 8283559 | 7280198 | 1278 12477 | 55 | 36
1604.72/1605.28 c 1596s | 25 | 8292992 | 7288498 | 1278 12489 | 55 | 36
1606.73/1607.28 c 1598s | 25 | 8303085 | 7297298 | 1278 12502 | 55 | 36
1608.72/1609.28 c 1600s | 25 | 8313126 | 7306098 | 1278 12515 | 55 | 36
1610.72/1611.28 c 1602s | 25 | 8324054 | 7315798 | 1278 12529 | 55 | 36
1612.72/1613.28 c 1604s | 25 | 8334125 | 7324698 | 1278 12541 | 55 | 36
1614.82/1615.30 c 1606s | 25 | 8344419 | 7333798 | 1278 12554 | 55 | 36
1616.82/1617.32 c 1608s | 25 | 8354124 | 7342398 | 1278 12567 | 55 | 36
1618.82/1619.33 c 1610s | 25 | 8364055 | 7351298 | 1278 12580 | 55 | 36
1620.82/1621.34 c 1613s | 25 | 8373152 | 7359498 | 1278 12591 | 55 | 36
1622.82/1623.35 c 1615s | 25 | 8382380 | 7367798 | 1278 12603 | 55 | 36
1624.83/1625.36 c 1617s | 25 | 8392328 | 7376498 | 1278 12616 | 55 | 36
1626.82/1627.37 c 1619s | 25 | 8402685 | 7385498 | 1278 12629 | 55 | 36
1628.82/1629.38 c 1621s | 25 | 8413084 | 7394598 | 1278 12642 | 55 | 36
1630.83/1631.40 c 1623s | 25 | 8423156 | 7403498 | 1278 12655 | 55 | 36
1632.92/1633.41 c 1625s | 25 | 8433209 | 7412498 | 1406 12667 | 55 | 36
1634.92/1635.44 c 1627s | 25 | 8442778 | 7420898 | 1406 12678 | 55 | 36
1636.92/1637.45 c 1629s | 25 | 8451899 | 7428998 | 1406 12688 | 55 | 36
1638.92/1639.46 c 1631s | 25 | 8461348 | 7437398 | 1406 12700 | 55 | 36
1640.92/1641.48 c 1633s | 25 | 8471151 | 7445998 | 1406 12711 | 55 | 36
1642.92/1643.50 c 1635s | 25 | 8480757 | 7454498 | 1406 12722 | 55 | 36
1645.01/1645.51 c 1637s | 25 | 8491064 | 7463498 | 1406 12734 | 55 | 36
1647.01/1647.54 c 1639s | 25 | 8500717 | 7471998 | 1406 12745 | 55 | 36
1649.01/1649.54 c 1641s | 25 | 8510193 | 7480398 | 1406 12756 | 55 | 36
1651.01/1651.56 c 1643s | 25 | 8520067 | 7488998 | 1406 12767 | 55 | 36
1653.01/1653.57 c 1645s | 25 | 8529287 | 7497098 | 1406 12778 | 55 | 36
1655.02/1655.58 c 1647s | 25 | 8538591 | 7505198 | 1406 12789 | 55 | 36
1657.01/1657.59 c 1649s | 25 | 8547889 | 7513398 | 1406 12800 | 55 | 36
1659.11/1659.60 c 1651s | 25 | 8558451 | 7522698 | 1406 12812 | 55 | 36
1661.11/1661.63 c 1653s | 25 | 8568381 | 7531498 | 1406 12823 | 55 | 36
1663.11/1663.64 c 1655s | 25 | 8579204 | 7540798 | 1406 12836 | 55 | 36
1665.11/1665.66 c 1657s | 25 | 8589143 | 7549498 | 1406 12847 | 55 | 36
1667.12/1667.67 c 1659s | 25 | 8599658 | 7558598 | 1406 12859 | 55 | 36
1669.11/1669.68 c 1661s | 25 | 8610057 | 7567598 | 1406 12871 | 55 | 36
1671.11/1671.69 c 1663s | 25 | 8619895 | 7576098 | 1406 12882 | 55 | 36
1673.21/1673.70 c 1665s | 25 | 8629572 | 7584598 | 1406 12893 | 55 | 36
1675.21/1675.73 c 1667s | 25 | 8639164 | 7592998 | 1406 12904 | 55 | 36
1676.31/1676.86 c 1668s | 26 | 8644582 | 7597752 | 1406 12910 | 55 | 36
1678.31/1678.86 c 1670s | 26 | 8655025 | 7606752 | 1406 12922 | 55 | 36
1680.32/1680.88 c 1672s | 26 | 8665301 | 7615852 | 1406 12934 | 55 | 36
1682.32/1682.89 c 1674s | 26 | 8675739 | 7625052 | 1406 12946 | 55 | 36
1684.42/1684.91 c 1676s | 26 | 8685956 | 7634052 | 1406 12958 | 55 | 36
1686.41/1686.91 c 1678s | 26 | 8696430 | 7643152 | 1406 12970 | 55 | 36
1688.41/1688.92 c 1680s | 26 | 8706727 | 7652252 | 1406 12982 | 55 | 36
1690.41/1690.92 c 1682s | 26 | 8716822 | 7661052 | 1406 12994 | 55 | 36
1692.42/1692.94 c 1684s | 26 | 8727448 | 7670352 | 1406 13006 | 55 | 36
1694.41/1694.95 c 1686s | 26 | 8737453 | 7679152 | 1406 13018 | 55 | 36
1696.41/1696.96 c 1688s | 26 | 8747248 | 7687752 | 1406 13029 | 55 | 36
1698.41/1698.96 c 1690s | 26 | 8756180 | 7695752 | 1406 13040 | 55 | 36
1700.41/1700.96 c 1692s | 26 | 8765681 | 7704152 | 1406 13051 | 55 | 36
1702.42/1702.98 c 1694s | 26 | 8775151 | 7712452 | 1406 13062 | 55 | 36
1704.41/1704.99 c 1696s | 26 | 8784945 | 7721052 | 1406 13073 | 55 | 36
1706.51/1707.01 c 1698s | 26 | 8793603 | 7728752 | 1406 13083 | 55 | 36
1708.51/1709.02 c 1700s | 26 | 8803053 | 7737052 | 1406 13094 | 55 | 36
1710.51/1711.03 c 1702s | 26 | 8812339 | 7745252 | 1406 13105 | 55 | 36
1712.51/1713.04 c 1704s | 26 | 8821538 | 7753352 | 1406 13116 | 55 | 36
1714.51/1715.06 c 1706s | 26 | 8831581 | 7762252 | 1406 13127 | 55 | 36
1716.51/1717.06 c 1708s | 26 | 8841430 | 7771052 | 1406 13139 | 55 | 36
1718.50/1719.09 c 1710s | 26 | 8851401 | 7779852 | 1406 13151 | 55 | 36
1720.60/1721.11 c 1712s | 26 | 8861512 | 7788752 | 1406 13162 | 55 | 36
1722.60/1723.12 c 1714s | 26 | 8870628 | 7796752 | 1406 13173 | 55 | 36
1724.60/1725.13 c 1716s | 26 | 8880470 | 7805352 | 1406 13184 | 55 | 36
1726.61/1727.14 c 1718s | 26 | 8890280 | 7814052 | 1406 13196 | 55 | 36
1728.60/1729.14 c 1720s | 26 | 8900219 | 7822752 | 1406 13207 | 55 | 36
1730.60/1731.16 c 1722s | 26 | 8909794 | 7831152 | 1406 13219 | 55 | 36
1732.60/1733.16 c 1724s | 26 | 8920089 | 7840052 | 1406 13230 | 55 | 36
1734.60/1735.17 c 1726s | 26 | 8929778 | 7848552 | 1406 13242 | 55 | 36
1736.60/1737.18 c 1728s | 26 | 8939784 | 7857252 | 1406 13253 | 55 | 36
1738.61/1739.20 c 1730s | 26 | 8949577 | 7865852 | 1406 13265 | 55 | 36
1740.70/1741.22 c 1732s | 26 | 8958998 | 7874152 | 1406 13275 | 55 | 36
1742.70/1743.22 c 1734s | 26 | 8968916 | 7882752 | 1406 13287 | 55 | 36
1744.70/1745.23 c 1736s | 26 | 8978456 | 7891052 | 1406 13298 | 55 | 36
1746.70/1747.24 c 1738s | 26 | 8988111 | 7899452 | 1406 13309 | 55 | 36
1748.70/1749.26 c 1740s | 26 | 8997747 | 7907952 | 1406 13320 | 55 | 36
1750.70/1751.27 c 1742s | 26 | 9007182 | 7916252 | 1406 13331 | 55 | 36
1752.70/1753.27 c 1744s | 26 | 9016104 | 7924152 | 1406 13341 | 55 | 36
1754.70/1755.29 c 1746s | 26 | 9025187 | 7932152 | 1406 13352 | 55 | 36
1756.80/1757.30 c 1748s | 26 | 9035011 | 7940752 | 1406 13363 | 55 | 36
1758.80/1759.32 c 1750s | 26 | 9044302 | 7948952 | 1406 13374 | 55 | 36
1760.80/1761.33 c 1752s | 26 | 9053608 | 7957152 | 1406 13385 | 55 | 36
1762.81/1763.35 c 1755s | 26 | 9062916 | 7965252 | 1406 13396 | 55 | 36
1764.80/1765.36 c 1757s | 26 | 9073780 | 7975252 | 1406 13409 | 55 | 36
1766.80/1767.37 c 1759s | 26 | 9085054 | 7985752 | 1406 13423 | 55 | 36
1768.80/1769.39 c 1761s | 26 | 9094862 | 7994452 | 1406 13434 | 55 | 36
1770.90/1771.40 c 1763s | 26 | 9105033 | 8003452 | 1406 13446 | 55 | 36
1772.90/1773.41 c 1765s | 26 | 9114786 | 8012052 | 1406 13458 | 55 | 36
1774.91/1775.41 c 1767s | 26 | 9124112 | 8020352 | 1406 13468 | 55 | 36
1776.90/1777.42 c 1769s | 26 | 9133547 | 8028752 | 1406 13479 | 55 | 36
1778.90/1779.43 c 1771s | 26 | 9142818 | 8036852 | 1406 13490 | 55 | 36
1780.90/1781.43 c 1773s | 26 | 9152450 | 8045252 | 1406 13501 | 55 | 36
1782.90/1783.46 c 1775s | 26 | 9162196 | 8053752 | 1406 13513 | 55 | 36
1784.90/1785.47 c 1777s | 26 | 9172349 | 8062552 | 1406 13524 | 55 | 36
1786.90/1787.48 c 1779s | 26 | 9182314 | 8071352 | 1406 13536 | 55 | 36
1789.00/1789.50 c 1781s | 26 | 9192024 | 8079852 | 1406 13547 | 55 | 36
1790.99/1791.50 c 1783s | 26 | 9201455 | 8088252 | 1406 13558 | 55 | 36
1792.99/1793.51 c 1785s | 26 | 9210613 | 8096352 | 1406 13569 | 55 | 36
1794.99/1795.52 c 1787s | 26 | 9220805 | 8105252 | 1406 13581 | 55 | 36
1797.00/1797.54 c 1789s | 26 | 9230449 | 8113752 | 1406 13592 | 55 | 36
1798.99/1799.56 c 1791s | 26 | 9240608 | 8122552 | 1406 13603 | 55 | 36
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-4117627-1467214520/watcher-4117627-1467214520 -o /tmp/evaluation-result-4117627-1467214520/solver-4117627-1467214520 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467209087-5470 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117627-1467214520.opb
pid=5945
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 5948
/proc/meminfo: memFree=29322032/32872528 swapFree=7620/7620
[pid=5948] ppid=5945 vsize=723388 CPUtime=0 cores=1,3,5,7
/proc/5948/stat : 5948 (toysat) R 5945 5948 5453 0 -1 4202496 2695 0 0 0 0 0 0 0 20 0 4 0 2348117 740749312 3057 33554432000 4194304 16246674 140736821292864 140736821292288 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5948/statm: 181359 3067 441 2943 0 178253 0
[pid=5948/tid=5949] ppid=5945 vsize=740796 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5949/stat : 5949 (toysat) S 5945 5948 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2348117 758575104 3125 33554432000 4194304 16246674 140736821292864 139650145430768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5948/tid=5950] ppid=5945 vsize=744892 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5950/stat : 5950 (toysat) S 5945 5948 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2348117 762769408 3141 33554432000 4194304 16246674 140736821292864 139650134940912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5948/tid=5951] ppid=5945 vsize=750012 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 768012288 3160 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.100169 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 5948
/proc/meminfo: memFree=29322032/32872528 swapFree=7620/7620
[pid=5948] ppid=5945 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/5948/stat : 5948 (toysat) R 5945 5948 5453 0 -1 4202496 24833 0 0 0 6 3 0 0 20 0 4 0 2348117 1247350784 25181 33554432000 4194304 16246674 140736821292864 140736821292288 5587389 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5948/statm: 304529 25192 784 2943 0 301423 0
[pid=5948/tid=5949] ppid=5945 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5949/stat : 5949 (toysat) S 5945 5948 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2348117 1247350784 25200 33554432000 4194304 16246674 140736821292864 139650145430768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5948/tid=5950] ppid=5945 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5950/stat : 5950 (toysat) S 5945 5948 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2348117 1247350784 25209 33554432000 4194304 16246674 140736821292864 139650134940912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5948/tid=5951] ppid=5945 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 1247350784 25217 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116
[startup+0.200491 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 5948
/proc/meminfo: memFree=29322032/32872528 swapFree=7620/7620
[pid=5948] ppid=5945 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/5948/stat : 5948 (toysat) R 5945 5948 5453 0 -1 4202496 45074 0 0 0 13 6 0 0 20 0 4 0 2348117 1247350784 45422 33554432000 4194304 16246674 140736821292864 140736821292288 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5948/statm: 304529 45437 784 2943 0 301423 0
[pid=5948/tid=5949] ppid=5945 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5949/stat : 5949 (toysat) S 5945 5948 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2348117 1247350784 45443 33554432000 4194304 16246674 140736821292864 139650145430768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5948/tid=5950] ppid=5945 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5950/stat : 5950 (toysat) S 5945 5948 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2348117 1247350784 45448 33554432000 4194304 16246674 140736821292864 139650134940912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5948/tid=5951] ppid=5945 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 1247350784 45454 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116
[startup+0.300497 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 5948
/proc/meminfo: memFree=29322032/32872528 swapFree=7620/7620
[pid=5948] ppid=5945 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/5948/stat : 5948 (toysat) R 5945 5948 5453 0 -1 4202496 65187 0 0 0 19 10 0 0 20 0 4 0 2348117 1247350784 65536 33554432000 4194304 16246674 140736821292864 140736821292288 5589077 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5948/statm: 304529 65551 784 2943 0 301423 0
[pid=5948/tid=5949] ppid=5945 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5949/stat : 5949 (toysat) S 5945 5948 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2348117 1247350784 65560 33554432000 4194304 16246674 140736821292864 139650145430768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5948/tid=5950] ppid=5945 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5950/stat : 5950 (toysat) S 5945 5948 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2348117 1247350784 65570 33554432000 4194304 16246674 140736821292864 139650134940912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5948/tid=5951] ppid=5945 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 1247350784 65576 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116
[startup+0.700407 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 5948
/proc/meminfo: memFree=29322032/32872528 swapFree=7620/7620
[pid=5948] ppid=5945 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/5948/stat : 5948 (toysat) R 5945 5948 5453 0 -1 4202496 145425 0 0 0 48 21 0 0 20 0 4 0 2348117 1247350784 145774 33554432000 4194304 16246674 140736821292864 140736821274752 13194729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5948/statm: 304529 145784 784 2943 0 301423 0
[pid=5948/tid=5949] ppid=5945 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5949/stat : 5949 (toysat) S 5945 5948 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2348117 1247350784 145790 33554432000 4194304 16246674 140736821292864 139650145430768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5948/tid=5950] ppid=5945 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5950/stat : 5950 (toysat) S 5945 5948 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2348117 1247350784 145794 33554432000 4194304 16246674 140736821292864 139650134940912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5948/tid=5951] ppid=5945 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 1247350784 145799 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116
[startup+1.50042 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 5952
/proc/meminfo: memFree=28426996/32872528 swapFree=7620/7620
[pid=5948] ppid=5945 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/5948/stat : 5948 (toysat) R 5945 5948 5453 0 -1 4202496 245703 0 0 0 113 36 0 0 20 0 4 0 2348117 1248399360 246029 33554432000 4194304 16246674 140736821292864 140736821292176 13198556 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5948/statm: 304785 246029 847 2943 0 301679 0
[pid=5948/tid=5949] ppid=5945 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5949/stat : 5949 (toysat) S 5945 5948 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2348117 1248399360 246029 33554432000 4194304 16246674 140736821292864 139650145430768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5948/tid=5950] ppid=5945 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5950/stat : 5950 (toysat) S 5945 5948 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2348117 1248399360 246029 33554432000 4194304 16246674 140736821292864 139650134940912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5948/tid=5951] ppid=5945 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 1248399360 246029 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140
[startup+3.10042 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 5952
/proc/meminfo: memFree=28262448/32872528 swapFree=7620/7620
[pid=5948] ppid=5945 vsize=1305156 CPUtime=3.09 cores=1,3,5,7
/proc/5948/stat : 5948 (toysat) R 5945 5948 5453 0 -1 4202496 267358 0 0 0 270 39 0 0 20 0 4 0 2348117 1336479744 267684 33554432000 4194304 16246674 140736821292864 140736821275864 13923798 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5948/statm: 326289 267684 847 2943 0 323183 0
[pid=5948/tid=5949] ppid=5945 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5949/stat : 5949 (toysat) S 5945 5948 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2348117 1336479744 267684 33554432000 4194304 16246674 140736821292864 139650145430768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5948/tid=5950] ppid=5945 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5950/stat : 5950 (toysat) S 5945 5948 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2348117 1336479744 267684 33554432000 4194304 16246674 140736821292864 139650134940912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5948/tid=5951] ppid=5945 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 1336479744 267684 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1305156
[startup+6.30042 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 5952
/proc/meminfo: memFree=28251040/32872528 swapFree=7620/7620
[pid=5948] ppid=5945 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/5948/stat : 5948 (toysat) R 5945 5948 5453 0 -1 4202496 267542 0 0 0 590 39 0 0 20 0 4 0 2348117 1337528320 267868 33554432000 4194304 16246674 140736821292864 140736821275864 13923843 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5948/statm: 326545 267868 847 2943 0 323439 0
[pid=5948/tid=5949] ppid=5945 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5949/stat : 5949 (toysat) S 5945 5948 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2348117 1337528320 267868 33554432000 4194304 16246674 140736821292864 139650145430768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5948/tid=5950] ppid=5945 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5950/stat : 5950 (toysat) S 5945 5948 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2348117 1337528320 267868 33554432000 4194304 16246674 140736821292864 139650134940912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5948/tid=5951] ppid=5945 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 1337528320 267868 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180
[startup+12.7004 s]
/proc/loadavg: 2.09 2.04 2.01 3/183 5952
/proc/meminfo: memFree=28250480/32872528 swapFree=7620/7620
[pid=5948] ppid=5945 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/5948/stat : 5948 (toysat) R 5945 5948 5453 0 -1 4202496 267555 0 0 0 1229 40 0 0 20 0 4 0 2348117 1337528320 267881 33554432000 4194304 16246674 140736821292864 140736821274752 12415827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5948/statm: 326545 267881 847 2943 0 323439 0
[pid=5948/tid=5949] ppid=5945 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5949/stat : 5949 (toysat) S 5945 5948 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2348117 1337528320 267881 33554432000 4194304 16246674 140736821292864 139650145430768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5948/tid=5950] ppid=5945 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5950/stat : 5950 (toysat) S 5945 5948 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2348117 1337528320 267881 33554432000 4194304 16246674 140736821292864 139650134940912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5948/tid=5951] ppid=5945 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 1337528320 267881 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180
[startup+25.5005 s]
/proc/loadavg: 2.14 2.05 2.01 3/183 5952
/proc/meminfo: memFree=28251216/32872528 swapFree=7620/7620
[pid=5948] ppid=5945 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/5948/stat : 5948 (toysat) R 5945 5948 5453 0 -1 4202496 267556 0 0 0 2509 40 0 0 20 0 4 0 2348117 1337528320 267882 33554432000 4194304 16246674 140736821292864 140736821274752 5553724 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5948/statm: 326545 267882 848 2943 0 323439 0
[pid=5948/tid=5949] ppid=5945 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5949/stat : 5949 (toysat) S 5945 5948 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2348117 1337528320 267882 33554432000 4194304 16246674 140736821292864 139650145430768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5948/tid=5950] ppid=5945 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5950/stat : 5950 (toysat) S 5945 5948 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2348117 1337528320 267882 33554432000 4194304 16246674 140736821292864 139650134940912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5948/tid=5951] ppid=5945 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 1337528320 267882 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180
[startup+51.1005 s]
/proc/loadavg: 2.16 2.06 2.01 3/183 6001
/proc/meminfo: memFree=28254544/32872528 swapFree=7620/7620
[pid=5948] ppid=5945 vsize=1306180 CPUtime=51.09 cores=1,3,5,7
/proc/5948/stat : 5948 (toysat) R 5945 5948 5453 0 -1 4202496 267639 0 0 0 5068 41 0 0 20 0 4 0 2348117 1337528320 267965 33554432000 4194304 16246674 140736821292864 140736821274752 6012316 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5948/statm: 326545 267965 850 2943 0 323439 0
[pid=5948/tid=5949] ppid=5945 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5949/stat : 5949 (toysat) S 5945 5948 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2348117 1337528320 267965 33554432000 4194304 16246674 140736821292864 139650145430768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5948/tid=5950] ppid=5945 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5950/stat : 5950 (toysat) S 5945 5948 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2348117 1337528320 267965 33554432000 4194304 16246674 140736821292864 139650134940912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5948/tid=5951] ppid=5945 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 1337528320 267965 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180
[startup+102.301 s]
/proc/loadavg: 2.17 2.08 2.02 3/183 6003
/proc/meminfo: memFree=28253420/32872528 swapFree=7620/7620
[pid=5948] ppid=5945 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/5948/stat : 5948 (toysat) R 5945 5948 5453 0 -1 4202496 267648 0 0 0 10187 41 0 0 20 0 4 0 2348117 1337528320 267965 33554432000 4194304 16246674 140736821292864 140736821274752 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5948/statm: 326545 267965 850 2943 0 323439 0
[pid=5948/tid=5949] ppid=5945 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5949/stat : 5949 (toysat) S 5945 5948 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2348117 1337528320 267965 33554432000 4194304 16246674 140736821292864 139650145430768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5948/tid=5950] ppid=5945 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5950/stat : 5950 (toysat) S 5945 5948 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2348117 1337528320 267965 33554432000 4194304 16246674 140736821292864 139650134940912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5948/tid=5951] ppid=5945 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 1337528320 267965 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180
################
# More data... #
################
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268735 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1309252
[startup+1302.3 s]
/proc/loadavg: 2.09 2.09 2.08 3/183 6032
/proc/meminfo: memFree=28246156/32872528 swapFree=7620/7620
[pid=5948] ppid=5945 vsize=1309252 CPUtime=1301.87 cores=1,3,5,7
/proc/5948/stat : 5948 (toysat) R 5945 5948 5453 0 -1 4202496 268797 0 0 0 130132 55 0 0 20 0 4 0 2348117 1340674048 268735 33554432000 4194304 16246674 140736821292864 140736821274752 5722816 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5948/statm: 327313 268735 852 2943 0 324207 0
[pid=5948/tid=5949] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5949/stat : 5949 (toysat) S 5945 5948 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268735 33554432000 4194304 16246674 140736821292864 139650145430768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5948/tid=5950] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5950/stat : 5950 (toysat) S 5945 5948 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268735 33554432000 4194304 16246674 140736821292864 139650134940912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5948/tid=5951] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268735 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1309252
[startup+1362.3 s]
/proc/loadavg: 2.08 2.08 2.08 3/183 6034
/proc/meminfo: memFree=28246064/32872528 swapFree=7620/7620
[pid=5948] ppid=5945 vsize=1309252 CPUtime=1361.86 cores=1,3,5,7
/proc/5948/stat : 5948 (toysat) R 5945 5948 5453 0 -1 4202496 268797 0 0 0 136130 56 0 0 20 0 4 0 2348117 1340674048 268735 33554432000 4194304 16246674 140736821292864 140736821274752 5523416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5948/statm: 327313 268735 852 2943 0 324207 0
[pid=5948/tid=5949] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5949/stat : 5949 (toysat) S 5945 5948 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268735 33554432000 4194304 16246674 140736821292864 139650145430768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5948/tid=5950] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5950/stat : 5950 (toysat) S 5945 5948 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268735 33554432000 4194304 16246674 140736821292864 139650134940912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5948/tid=5951] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268735 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1309252
[startup+1422.3 s]
/proc/loadavg: 2.15 2.10 2.09 3/183 6035
/proc/meminfo: memFree=28246128/32872528 swapFree=7620/7620
[pid=5948] ppid=5945 vsize=1309252 CPUtime=1421.86 cores=1,3,5,7
/proc/5948/stat : 5948 (toysat) R 5945 5948 5453 0 -1 4202496 268797 0 0 0 142130 56 0 0 20 0 4 0 2348117 1340674048 268735 33554432000 4194304 16246674 140736821292864 140736821274752 5601873 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5948/statm: 327313 268735 852 2943 0 324207 0
[pid=5948/tid=5949] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5949/stat : 5949 (toysat) S 5945 5948 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268735 33554432000 4194304 16246674 140736821292864 139650145430768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5948/tid=5950] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5950/stat : 5950 (toysat) S 5945 5948 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268735 33554432000 4194304 16246674 140736821292864 139650134940912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5948/tid=5951] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268735 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1309252
[startup+1482.3 s]
/proc/loadavg: 2.05 2.08 2.08 3/184 6039
/proc/meminfo: memFree=28244424/32872528 swapFree=7620/7620
[pid=5948] ppid=5945 vsize=1309252 CPUtime=1481.84 cores=1,3,5,7
/proc/5948/stat : 5948 (toysat) R 5945 5948 5453 0 -1 4202496 268798 0 0 0 148127 57 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 140736821275864 5672201 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5948/statm: 327313 268991 852 2943 0 324207 0
[pid=5948/tid=5949] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5949/stat : 5949 (toysat) S 5945 5948 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 139650145430768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5948/tid=5950] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5950/stat : 5950 (toysat) S 5945 5948 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 139650134940912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5948/tid=5951] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1309252
[startup+1542.31 s]
/proc/loadavg: 2.02 2.06 2.07 3/184 6063
/proc/meminfo: memFree=28243636/32872528 swapFree=7620/7620
[pid=5948] ppid=5945 vsize=1309252 CPUtime=1541.84 cores=1,3,5,7
/proc/5948/stat : 5948 (toysat) R 5945 5948 5453 0 -1 4202496 268798 0 0 0 154126 58 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 140736821274752 6861779 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5948/statm: 327313 268991 852 2943 0 324207 0
[pid=5948/tid=5949] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5949/stat : 5949 (toysat) S 5945 5948 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 139650145430768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5948/tid=5950] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5950/stat : 5950 (toysat) S 5945 5948 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 139650134940912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5948/tid=5951] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1309252
[startup+1602.3 s]
/proc/loadavg: 2.06 2.06 2.07 3/183 6064
/proc/meminfo: memFree=28245088/32872528 swapFree=7620/7620
[pid=5948] ppid=5945 vsize=1309252 CPUtime=1601.82 cores=1,3,5,7
/proc/5948/stat : 5948 (toysat) R 5945 5948 5453 0 -1 4202496 268798 0 0 0 160123 59 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 140736821274752 5545724 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5948/statm: 327313 268991 852 2943 0 324207 0
[pid=5948/tid=5949] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5949/stat : 5949 (toysat) S 5945 5948 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 139650145430768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5948/tid=5950] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5950/stat : 5950 (toysat) S 5945 5948 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 139650134940912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5948/tid=5951] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1309252
[startup+1662.3 s]
/proc/loadavg: 2.09 2.06 2.07 3/183 6066
/proc/meminfo: memFree=28245208/32872528 swapFree=7620/7620
[pid=5948] ppid=5945 vsize=1309252 CPUtime=1661.81 cores=1,3,5,7
/proc/5948/stat : 5948 (toysat) R 5945 5948 5453 0 -1 4202496 268798 0 0 0 166121 60 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 140736821274752 5546219 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5948/statm: 327313 268991 852 2943 0 324207 0
[pid=5948/tid=5949] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5949/stat : 5949 (toysat) S 5945 5948 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 139650145430768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5948/tid=5950] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5950/stat : 5950 (toysat) S 5945 5948 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 139650134940912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5948/tid=5951] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1309252
[startup+1722.3 s]
/proc/loadavg: 2.19 2.10 2.08 3/183 6067
/proc/meminfo: memFree=28245080/32872528 swapFree=7620/7620
[pid=5948] ppid=5945 vsize=1309252 CPUtime=1721.8 cores=1,3,5,7
/proc/5948/stat : 5948 (toysat) R 5945 5948 5453 0 -1 4202496 268798 0 0 0 172119 61 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 140736821274752 5523480 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5948/statm: 327313 268991 852 2943 0 324207 0
[pid=5948/tid=5949] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5949/stat : 5949 (toysat) S 5945 5948 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 139650145430768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5948/tid=5950] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5950/stat : 5950 (toysat) S 5945 5948 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 139650134940912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5948/tid=5951] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1309252
[startup+1782.3 s]
/proc/loadavg: 2.16 2.10 2.09 3/184 6069
/proc/meminfo: memFree=28244824/32872528 swapFree=7620/7620
[pid=5948] ppid=5945 vsize=1309252 CPUtime=1781.8 cores=1,3,5,7
/proc/5948/stat : 5948 (toysat) R 5945 5948 5453 0 -1 4202496 268798 0 0 0 178118 62 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 140736821274752 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5948/statm: 327313 268991 852 2943 0 324207 0
[pid=5948/tid=5949] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5949/stat : 5949 (toysat) S 5945 5948 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 139650145430768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5948/tid=5950] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5950/stat : 5950 (toysat) S 5945 5948 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 139650134940912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5948/tid=5951] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1309252
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.11 2.10 2.09 3/184 6070
/proc/meminfo: memFree=28244564/32872528 swapFree=7620/7620
[pid=5948] ppid=5945 vsize=1309252 CPUtime=1800.09 cores=1,3,5,7
/proc/5948/stat : 5948 (toysat) R 5945 5948 5453 0 -1 4202496 268798 0 0 0 179947 62 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 140736821274752 6843012 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5948/statm: 327313 268991 852 2943 0 324207 0
[pid=5948/tid=5949] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5949/stat : 5949 (toysat) S 5945 5948 5453 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 139650145430768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5948/tid=5950] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5950/stat : 5950 (toysat) S 5945 5948 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 139650134940912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5948/tid=5951] ppid=5945 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5948/task/5951/stat : 5951 (toysat) S 5945 5948 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2348117 1340674048 268991 33554432000 4194304 16246674 140736821292864 139650056318128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1309252
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 5948 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.48
CPU system time (s): 0.625904
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 1309252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.625904
maximum resident set size= 1075964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268798
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= 402
involuntary context switches= 1861
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5843 second user time and 6.94594 second system time
The end