0.00/0.00 c 2016-06-29T17:49:34+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-4117798-1467215374.opb"]
0.00/0.01 c use --random-gen="559271915 3763393434 367399868 2455693189 3777584774 58441334 3181804300 768782167 462943196 1140407254 2521785788 516246717 397868673 2174538439 2634475359 431973030 1867010336 1126710219 3853090245 4268923671 460428264 1845131828 3501771544 2388032769 1770403654 2018924359 1213494862 749792526 1479893434 1130291219 2867637271 148980829 4171169271 225054302 1986295790 2689647100 1362249966 2951120299 2085751081 3604635286 2798423633 1981308862 4231447635 4255308732 3622989524 2082325621 19304410 2892327842 2987816298 1618726765 3205067334 3227409471 812659435 3406768098 3884891101 399695125 1448686903 229624122 4005822289 786615273 1783776452 3632356647 4033663833 3968905477 2000721490 2097107627 2334150428 3978970690 2877322613 4042585446 4142492946 3185946402 2864090331 266692733 342809193 2908353114 2540918285 1408612166 907103620 2150084101 3335742158 3414767157 2114605321 898153347 1609201447 784628274 2543713904 2396908052 2665742122 3670052197 3346541445 2364137643 1484306101 4178612101 3358843652 1402221601 2943840387 191731480 3604634074 2744160931 620475966 1416670474 100442107 1952948954 3170768626 712532115 3879087221 3111530010 4030912311 1442924581 1912669294 2050919597 310589746 3576374057 2605144920 813622216 613143501 1207994396 3702319990 3213781050 236794883 2162140264 1478588390 3604751297 3091339309 4199286367 103166160 1410603329 2120776578 465893428 763400420 1241304261 1402865429 25403349 592248873 1436201311 2644380635 4184388545 2738988297 431625729 1734277884 4218273957 3363754953 3944445685 186374539 799457656 403631665 4273346073 1084955017 3586490301 2250757622 565718809 3123835903 2705403948 2506759015 1834766548 1690849956 1596546155 1347027336 1789936182 3881098219 1929044242 314888494 994293264 480529700 3986097214 1383264716 3351877329 430981129 2401432759 614903415 3893182062 4157084964 276863897 339823860 1045315690 1338226118 3822426508 2603180382 3267797520 4558785 24396659 386049713 3379739528 3927094233 938713968 3306770096 2043212935 2146113060 4071132721 1126672564 1517670273 3279100752 1753316719 1710414428 3931241065 2056020592 2251857044 3882419632 2673701415 620638941 1645376574 2035582400 4164011815 287439079 398877216 3075710434 4244689427 1963506971 54951116 4744696 4093226651 2039950852 1134718906 669470823 93985696 3248599070 4001315850 2040268278 3660161648 3500662933 2437599126 2300418120 3656392011 2292348286 2780561469 1168265074 2258791677 3182866370 3094237383 359492784 2527979030 3850250624 3580649713 3048436057 2756708372 4090459436 3474376899 4291558590 1634327953 71209015 843239506 1433378009 175939369 1738684986 1265554609 1291926104 2729189353 3545908288 1236722633 3081784916 4115748241 2047498349 3409824557 3593248162 2359389780 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 | 15 | 0
0.00/0.02 c 0.0s | 0 | 41 | 19 | 114 0 | 15 | 0
0.00/0.02 c #cpu_time = 0.004s
0.00/0.02 c #wall_clock_time = 0.004s
0.00/0.02 c #decision = 41
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 19
0.00/0.02 c #restart = 0
0.00/0.02 o 88
0.00/0.02 c BCD2: updating upper bound: 196 -> 87
0.00/0.02 c BCD2: 0 <= obj <= 87
0.00/0.02 c BCD2: #cores=0, #unrelaxed=196, #relaxed=0, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 114 0 | 15 | 0
0.00/0.02 c 0.0s | 0 | 0 | 0 | 114 0 | 15 | 0
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 0
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.02 c lower bound updated to 1
0.00/0.02 c BCD2: 1 <= obj <= 87
0.00/0.02 c BCD2: #cores=1, #unrelaxed=195, #relaxed=1, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=2 bias=2/3
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 114 0 | 15 | 0
0.00/0.02 c 0.0s | 0 | 6 | 0 | 114 0 | 15 | 0
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 6
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 6: cost of the new core is >=1
0.00/0.02 c lower bound updated to 2
0.00/0.02 c BCD2: 2 <= obj <= 87
0.00/0.02 c BCD2: #cores=2, #unrelaxed=189, #relaxed=7, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=3 bias=3/4
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 114 0 | 15 | 0
0.00/0.02 c 0.0s | 0 | 7 | 1 | 114 0 | 15 | 0
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 7
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 1
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.00/0.02 c lower bound updated to 3
0.00/0.02 c BCD2: 3 <= obj <= 87
0.00/0.02 c BCD2: #cores=2, #unrelaxed=184, #relaxed=12, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=4 bias=4/5
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 114 0 | 16 | 0
0.00/0.02 c 0.0s | 0 | 2 | 0 | 114 0 | 16 | 1
0.00/0.02 c #cpu_time = 0.000s
0.00/0.02 c #wall_clock_time = 0.000s
0.00/0.02 c #decision = 2
0.00/0.02 c #random_decision = 0
0.00/0.02 c #conflict = 0
0.00/0.02 c #restart = 0
0.00/0.02 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.02 c lower bound updated to 4
0.00/0.02 c BCD2: 4 <= obj <= 87
0.00/0.02 c BCD2: #cores=3, #unrelaxed=183, #relaxed=13, #hardened=0
0.00/0.02 c BCD2: #sat=1 #unsat=5 bias=5/6
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 114 0 | 16 | 1
0.00/0.03 c 0.0s | 0 | 12 | 0 | 114 0 | 16 | 1
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 12
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 10: cost of the new core is >=1
0.00/0.03 c lower bound updated to 5
0.00/0.03 c BCD2: 5 <= obj <= 87
0.00/0.03 c BCD2: #cores=4, #unrelaxed=173, #relaxed=23, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=6 bias=6/7
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 114 0 | 16 | 1
0.00/0.03 c 0.0s | 0 | 15 | 0 | 114 0 | 16 | 1
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 15
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.03 c lower bound updated to 6
0.00/0.03 c BCD2: 6 <= obj <= 87
0.00/0.03 c BCD2: #cores=5, #unrelaxed=164, #relaxed=32, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=7 bias=7/8
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 114 0 | 16 | 1
0.00/0.03 c 0.0s | 0 | 18 | 0 | 114 0 | 16 | 1
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 18
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.03 c lower bound updated to 7
0.00/0.03 c BCD2: 7 <= obj <= 87
0.00/0.03 c BCD2: #cores=6, #unrelaxed=157, #relaxed=39, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=8 bias=8/9
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 114 0 | 16 | 1
0.00/0.03 c 0.0s | 0 | 19 | 1 | 114 0 | 16 | 1
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 19
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.00/0.03 c lower bound updated to 8
0.00/0.03 c BCD2: 8 <= obj <= 87
0.00/0.03 c BCD2: #cores=6, #unrelaxed=151, #relaxed=45, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=9 bias=9/10
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 114 0 | 17 | 1
0.00/0.03 c 0.0s | 0 | 13 | 0 | 114 0 | 17 | 2
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 13
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1
0.00/0.03 c lower bound updated to 9
0.00/0.03 c BCD2: 9 <= obj <= 87
0.00/0.03 c BCD2: #cores=7, #unrelaxed=148, #relaxed=48, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=10 bias=10/11
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 114 0 | 17 | 2
0.00/0.03 c 0.0s | 0 | 20 | 0 | 114 0 | 17 | 2
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 20
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.03 c lower bound updated to 10
0.00/0.03 c BCD2: 10 <= obj <= 87
0.00/0.03 c BCD2: #cores=8, #unrelaxed=139, #relaxed=57, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=11 bias=11/12
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 114 0 | 17 | 2
0.00/0.03 c 0.0s | 0 | 25 | 0 | 114 0 | 17 | 2
0.00/0.03 c #cpu_time = 0.000s
0.00/0.03 c #wall_clock_time = 0.000s
0.00/0.03 c #decision = 25
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.03 c lower bound updated to 11
0.00/0.03 c BCD2: 11 <= obj <= 87
0.00/0.03 c BCD2: #cores=9, #unrelaxed=131, #relaxed=65, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=12 bias=12/13
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 114 0 | 17 | 2
0.00/0.03 c 0.0s | 0 | 25 | 1 | 114 0 | 17 | 2
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 25
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 8 and merging with 1 cores into a new core of size 18: cost of the new core is >=2
0.00/0.03 c lower bound updated to 12
0.00/0.03 c BCD2: 12 <= obj <= 87
0.00/0.03 c BCD2: #cores=9, #unrelaxed=123, #relaxed=73, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=13 bias=13/14
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 114 0 | 18 | 2
0.00/0.03 c 0.0s | 0 | 23 | 0 | 114 0 | 18 | 3
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 23
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 0
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.03 c lower bound updated to 13
0.00/0.03 c BCD2: 13 <= obj <= 87
0.00/0.03 c BCD2: #cores=10, #unrelaxed=116, #relaxed=80, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=14 bias=14/15
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 114 0 | 18 | 3
0.00/0.03 c 0.0s | 0 | 24 | 1 | 114 0 | 18 | 3
0.00/0.03 c #cpu_time = 0.001s
0.00/0.03 c #wall_clock_time = 0.001s
0.00/0.03 c #decision = 24
0.00/0.03 c #random_decision = 0
0.00/0.03 c #conflict = 1
0.00/0.03 c #restart = 0
0.00/0.03 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.00/0.03 c lower bound updated to 14
0.00/0.03 c BCD2: 14 <= obj <= 87
0.00/0.03 c BCD2: #cores=10, #unrelaxed=110, #relaxed=86, #hardened=0
0.00/0.03 c BCD2: #sat=1 #unsat=15 bias=15/16
0.00/0.03 c Solving starts ...
0.00/0.03 c ============================[ Search Statistics ]============================
0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.03 c | | | | Limit GC | Var | Constra
0.00/0.03 c =============================================================================
0.00/0.03 c 0.0s | 0 | 0 | 0 | 114 0 | 19 | 3
0.00/0.04 c 0.0s | 0 | 27 | 0 | 114 0 | 19 | 4
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 27
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 9: cost of the new core is >=1
0.00/0.04 c lower bound updated to 15
0.00/0.04 c BCD2: 15 <= obj <= 87
0.00/0.04 c BCD2: #cores=11, #unrelaxed=101, #relaxed=95, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=16 bias=16/17
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 114 0 | 19 | 4
0.00/0.04 c 0.0s | 0 | 30 | 0 | 114 0 | 19 | 4
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 30
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 6: cost of the new core is >=1
0.00/0.04 c lower bound updated to 16
0.00/0.04 c BCD2: 16 <= obj <= 87
0.00/0.04 c BCD2: #cores=12, #unrelaxed=95, #relaxed=101, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=17 bias=17/18
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 114 0 | 19 | 4
0.00/0.04 c 0.0s | 0 | 31 | 1 | 114 0 | 19 | 4
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 31
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
0.00/0.04 c lower bound updated to 17
0.00/0.04 c BCD2: 17 <= obj <= 87
0.00/0.04 c BCD2: #cores=12, #unrelaxed=90, #relaxed=106, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=18 bias=18/19
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 114 0 | 20 | 4
0.00/0.04 c 0.0s | 0 | 40 | 0 | 114 0 | 20 | 5
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 40
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 12: cost of the new core is >=1
0.00/0.04 c lower bound updated to 18
0.00/0.04 c BCD2: 18 <= obj <= 87
0.00/0.04 c BCD2: #cores=13, #unrelaxed=78, #relaxed=118, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=19 bias=19/20
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 114 0 | 20 | 5
0.00/0.04 c 0.0s | 0 | 30 | 0 | 114 0 | 20 | 5
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 30
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 7 and merging with 1 cores into a new core of size 10: cost of the new core is >=2
0.00/0.04 c lower bound updated to 19
0.00/0.04 c BCD2: 19 <= obj <= 87
0.00/0.04 c BCD2: #cores=13, #unrelaxed=71, #relaxed=125, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=20 bias=20/21
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 114 0 | 21 | 5
0.00/0.04 c 0.0s | 0 | 32 | 0 | 114 0 | 21 | 6
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 32
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 8: cost of the new core is >=1
0.00/0.04 c lower bound updated to 20
0.00/0.04 c BCD2: 20 <= obj <= 87
0.00/0.04 c BCD2: #cores=14, #unrelaxed=63, #relaxed=133, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=21 bias=21/22
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 114 0 | 21 | 6
0.00/0.04 c 0.0s | 0 | 30 | 0 | 114 0 | 21 | 6
0.00/0.04 c #cpu_time = 0.000s
0.00/0.04 c #wall_clock_time = 0.000s
0.00/0.04 c #decision = 30
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1
0.00/0.04 c lower bound updated to 21
0.00/0.04 c BCD2: 21 <= obj <= 87
0.00/0.04 c BCD2: #cores=15, #unrelaxed=61, #relaxed=135, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=22 bias=22/23
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 114 0 | 21 | 6
0.00/0.04 c 0.0s | 0 | 37 | 0 | 114 0 | 21 | 6
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 37
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 0
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.04 c lower bound updated to 22
0.00/0.04 c BCD2: 22 <= obj <= 87
0.00/0.04 c BCD2: #cores=16, #unrelaxed=54, #relaxed=142, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=23 bias=23/24
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 114 0 | 21 | 6
0.00/0.04 c 0.0s | 0 | 56 | 1 | 114 0 | 21 | 6
0.00/0.04 c #cpu_time = 0.001s
0.00/0.04 c #wall_clock_time = 0.001s
0.00/0.04 c #decision = 56
0.00/0.04 c #random_decision = 0
0.00/0.04 c #conflict = 1
0.00/0.04 c #restart = 0
0.00/0.04 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.00/0.04 c lower bound updated to 23
0.00/0.04 c BCD2: 23 <= obj <= 87
0.00/0.04 c BCD2: #cores=16, #unrelaxed=53, #relaxed=143, #hardened=0
0.00/0.04 c BCD2: #sat=1 #unsat=24 bias=24/25
0.00/0.04 c Solving starts ...
0.00/0.04 c ============================[ Search Statistics ]============================
0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.04 c | | | | Limit GC | Var | Constra
0.00/0.04 c =============================================================================
0.00/0.04 c 0.0s | 0 | 0 | 0 | 114 0 | 22 | 6
0.00/0.05 c 0.0s | 0 | 42 | 0 | 114 0 | 22 | 7
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 42
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 7: cost of the new core is >=1
0.00/0.05 c lower bound updated to 24
0.00/0.05 c BCD2: 24 <= obj <= 87
0.00/0.05 c BCD2: #cores=17, #unrelaxed=46, #relaxed=150, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=25 bias=25/26
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 22 | 7
0.00/0.05 c 0.0s | 0 | 39 | 1 | 114 0 | 22 | 7
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 39
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 16: cost of the new core is >=3
0.00/0.05 c lower bound updated to 25
0.00/0.05 c BCD2: 25 <= obj <= 87
0.00/0.05 c BCD2: #cores=17, #unrelaxed=40, #relaxed=156, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=26 bias=26/27
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 23 | 7
0.00/0.05 c 0.0s | 0 | 52 | 1 | 114 0 | 23 | 8
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 52
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=3
0.00/0.05 c lower bound updated to 26
0.00/0.05 c BCD2: 26 <= obj <= 87
0.00/0.05 c BCD2: #cores=17, #unrelaxed=39, #relaxed=157, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=27 bias=27/28
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 24 | 8
0.00/0.05 c 0.0s | 0 | 38 | 0 | 114 0 | 24 | 9
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 38
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 5: cost of the new core is >=1
0.00/0.05 c lower bound updated to 27
0.00/0.05 c BCD2: 27 <= obj <= 87
0.00/0.05 c BCD2: #cores=18, #unrelaxed=34, #relaxed=162, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=28 bias=28/29
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 24 | 9
0.00/0.05 c 0.0s | 0 | 58 | 1 | 114 0 | 24 | 9
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 58
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 1
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 5: cost of the new core is >=4
0.00/0.05 c lower bound updated to 28
0.00/0.05 c BCD2: 28 <= obj <= 87
0.00/0.05 c BCD2: #cores=18, #unrelaxed=33, #relaxed=163, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=29 bias=29/30
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 25 | 10
0.00/0.05 c 0.0s | 0 | 37 | 0 | 114 0 | 25 | 11
0.00/0.05 c #cpu_time = 0.001s
0.00/0.05 c #wall_clock_time = 0.001s
0.00/0.05 c #decision = 37
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 4: cost of the new core is >=1
0.00/0.05 c lower bound updated to 29
0.00/0.05 c BCD2: 29 <= obj <= 87
0.00/0.05 c BCD2: #cores=19, #unrelaxed=29, #relaxed=167, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=30 bias=30/31
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 25 | 12
0.00/0.05 c 0.0s | 0 | 35 | 0 | 114 0 | 25 | 12
0.00/0.05 c #cpu_time = 0.000s
0.00/0.05 c #wall_clock_time = 0.000s
0.00/0.05 c #decision = 35
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 0
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: found a new core of size 1: cost of the new core is >=1
0.00/0.05 c lower bound updated to 30
0.00/0.05 c BCD2: 30 <= obj <= 87
0.00/0.05 c BCD2: #cores=20, #unrelaxed=28, #relaxed=168, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=31 bias=31/32
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 25 | 12
0.00/0.05 c 0.0s | 0 | 109 | 21 | 114 0 | 25 | 12
0.00/0.05 c #cpu_time = 0.002s
0.00/0.05 c #wall_clock_time = 0.002s
0.00/0.05 c #decision = 109
0.00/0.05 c #random_decision = 0
0.00/0.05 c #conflict = 21
0.00/0.05 c #restart = 0
0.00/0.05 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 12: cost of the new core is >=2
0.00/0.05 c lower bound updated to 31
0.00/0.05 c BCD2: 31 <= obj <= 87
0.00/0.05 c BCD2: #cores=20, #unrelaxed=24, #relaxed=172, #hardened=0
0.00/0.05 c BCD2: #sat=1 #unsat=32 bias=32/33
0.00/0.05 c Solving starts ...
0.00/0.05 c ============================[ Search Statistics ]============================
0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.05 c | | | | Limit GC | Var | Constra
0.00/0.05 c =============================================================================
0.00/0.05 c 0.0s | 0 | 0 | 0 | 114 0 | 26 | 12
0.00/0.06 c 0.0s | 0 | 65 | 3 | 114 0 | 26 | 13
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 = 65
0.00/0.06 c #random_decision = 2
0.00/0.06 c #conflict = 3
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 7: cost of the new core is >=2
0.00/0.06 c lower bound updated to 32
0.00/0.06 c BCD2: 32 <= obj <= 87
0.00/0.06 c BCD2: #cores=20, #unrelaxed=22, #relaxed=174, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=33 bias=33/34
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 | 114 0 | 27 | 13
0.00/0.06 c 0.0s | 0 | 136 | 15 | 114 0 | 28 | 15
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 = 136
0.00/0.06 c #random_decision = 0
0.00/0.06 c #conflict = 15
0.00/0.06 c #restart = 0
0.00/0.06 c BCD2: updating lower bound of a core
0.00/0.06 c lower bound updated to 33
0.00/0.06 c BCD2: 33 <= obj <= 87
0.00/0.06 c BCD2: #cores=20, #unrelaxed=22, #relaxed=174, #hardened=0
0.00/0.06 c BCD2: #sat=1 #unsat=34 bias=34/35
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 | 114 0 | 28 | 16
0.00/0.07 c 0.0s | 1 | 174 | 100 | 126 0 | 28 | 16
0.00/0.09 c 0.0s | 2 | 431 | 250 | 139 1 | 28 | 16
0.00/0.09 c 0.0s | 2 | 501 | 272 | 139 2 | 28 | 16
0.00/0.09 c #cpu_time = 0.033s
0.00/0.09 c #wall_clock_time = 0.033s
0.00/0.09 c #decision = 501
0.00/0.09 c #random_decision = 2
0.00/0.09 c #conflict = 272
0.00/0.09 c #restart = 2
0.00/0.09 c BCD2: relaxing 3 and merging with 3 cores into a new core of size 22: cost of the new core is >=4
0.00/0.09 c lower bound updated to 34
0.00/0.09 c BCD2: 34 <= obj <= 87
0.00/0.09 c BCD2: #cores=18, #unrelaxed=19, #relaxed=177, #hardened=0
0.00/0.09 c BCD2: #sat=1 #unsat=35 bias=35/36
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 | 16
0.08/0.10 c 0.0s | 1 | 186 | 100 | 139 0 | 31 | 19
0.08/0.12 c 0.0s | 2 | 393 | 250 | 153 1 | 31 | 19
0.08/0.13 c 0.0s | 2 | 604 | 422 | 153 3 | 31 | 19
0.08/0.13 c #cpu_time = 0.037s
0.08/0.13 c #wall_clock_time = 0.037s
0.08/0.13 c #decision = 604
0.08/0.13 c #random_decision = 2
0.08/0.13 c #conflict = 422
0.08/0.13 c #restart = 2
0.08/0.13 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 12: cost of the new core is >=3
0.08/0.13 c lower bound updated to 35
0.08/0.13 c BCD2: 35 <= obj <= 87
0.08/0.13 c BCD2: #cores=18, #unrelaxed=18, #relaxed=178, #hardened=0
0.08/0.13 c BCD2: #sat=1 #unsat=36 bias=36/37
0.08/0.13 c Solving starts ...
0.08/0.13 c ============================[ Search Statistics ]============================
0.08/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.13 c | | | | Limit GC | Var | Constra
0.08/0.13 c =============================================================================
0.08/0.13 c 0.0s | 0 | 0 | 0 | 153 0 | 32 | 19
0.08/0.13 c 0.0s | 1 | 128 | 100 | 169 0 | 32 | 20
0.08/0.14 c 0.0s | 2 | 312 | 250 | 169 1 | 32 | 20
0.08/0.15 c 0.0s | 2 | 597 | 464 | 169 3 | 33 | 21
0.08/0.15 c #cpu_time = 0.023s
0.08/0.15 c #wall_clock_time = 0.023s
0.08/0.15 c #decision = 597
0.08/0.15 c #random_decision = 1
0.08/0.15 c #conflict = 464
0.08/0.15 c #restart = 2
0.08/0.15 c BCD2: updating lower bound of a core
0.08/0.15 c lower bound updated to 39
0.08/0.15 c BCD2: 39 <= obj <= 87
0.08/0.15 c BCD2: #cores=18, #unrelaxed=18, #relaxed=178, #hardened=0
0.08/0.15 c BCD2: #sat=1 #unsat=37 bias=37/38
0.08/0.15 c Solving starts ...
0.08/0.15 c ============================[ Search Statistics ]============================
0.08/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.15 c | | | | Limit GC | Var | Constra
0.08/0.15 c =============================================================================
0.08/0.15 c 0.0s | 0 | 0 | 0 | 169 0 | 33 | 22
0.08/0.17 c 0.0s | 1 | 165 | 100 | 186 0 | 33 | 22
0.08/0.18 c 0.0s | 2 | 377 | 250 | 186 1 | 33 | 22
0.08/0.18 c 0.0s | 2 | 651 | 389 | 186 2 | 34 | 23
0.08/0.18 c #cpu_time = 0.031s
0.08/0.18 c #wall_clock_time = 0.031s
0.08/0.18 c #decision = 651
0.08/0.18 c #random_decision = 1
0.08/0.18 c #conflict = 389
0.08/0.18 c #restart = 2
0.08/0.18 c BCD2: updating lower bound of a core
0.08/0.18 c lower bound updated to 43
0.08/0.18 c BCD2: 43 <= obj <= 87
0.08/0.18 c BCD2: #cores=18, #unrelaxed=18, #relaxed=178, #hardened=0
0.08/0.18 c BCD2: #sat=1 #unsat=38 bias=38/39
0.08/0.18 c Solving starts ...
0.08/0.18 c ============================[ Search Statistics ]============================
0.08/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.08/0.18 c | | | | Limit GC | Var | Constra
0.08/0.18 c =============================================================================
0.08/0.18 c 0.0s | 0 | 0 | 0 | 186 0 | 34 | 25
0.08/0.19 c 0.0s | 1 | 179 | 100 | 186 0 | 34 | 25
0.19/0.20 c 0.0s | 2 | 427 | 250 | 186 1 | 34 | 25
0.19/0.24 c 0.1s | 3 | 816 | 475 | 205 2 | 34 | 25
0.19/0.28 c 0.1s | 4 | 1336 | 813 | 205 4 | 34 | 25
0.29/0.31 c 0.1s | 5 | 1917 | 1320 | 205 8 | 34 | 25
0.29/0.33 c 0.1s | 5 | 2607 | 1843 | 226 12 | 35 | 26
0.29/0.33 c #cpu_time = 0.147s
0.29/0.33 c #wall_clock_time = 0.147s
0.29/0.33 c #decision = 2607
0.29/0.33 c #random_decision = 7
0.29/0.33 c #conflict = 1843
0.29/0.33 c #restart = 5
0.29/0.33 c BCD2: updating lower bound of a core
0.29/0.33 c lower bound updated to 48
0.29/0.33 c BCD2: 48 <= obj <= 87
0.29/0.33 c BCD2: #cores=18, #unrelaxed=18, #relaxed=178, #hardened=0
0.29/0.33 c BCD2: #sat=1 #unsat=39 bias=39/40
0.29/0.33 c Solving starts ...
0.29/0.33 c ============================[ Search Statistics ]============================
0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.33 c | | | | Limit GC | Var | Constra
0.29/0.33 c =============================================================================
0.29/0.33 c 0.0s | 0 | 0 | 0 | 226 0 | 35 | 27
0.29/0.35 c 0.0s | 1 | 168 | 100 | 226 0 | 35 | 27
0.29/0.36 c 0.0s | 2 | 414 | 250 | 226 0 | 35 | 27
0.29/0.39 c 0.1s | 3 | 777 | 475 | 226 2 | 35 | 27
0.38/0.44 c 0.1s | 4 | 1334 | 813 | 226 4 | 35 | 27
0.49/0.50 c 0.2s | 5 | 2128 | 1320 | 226 7 | 35 | 27
0.59/0.62 c 0.3s | 6 | 3269 | 2081 | 249 12 | 35 | 27
0.69/0.78 c 0.4s | 7 | 4831 | 3223 | 249 19 | 35 | 27
0.89/0.97 c 0.6s | 8 | 7123 | 4936 | 274 29 | 35 | 27
1.10/1.19 c 0.9s | 9 | 9939 | 7506 | 274 44 | 35 | 27
1.38/1.43 c 1.1s | 10 | 14075 | 11361 | 302 65 | 35 | 27
1.78/1.81 c 1.5s | 11 | 20210 | 17144 | 333 95 | 35 | 27
2.39/2.41 c 2.1s | 12 | 29485 | 25819 | 367 137 | 35 | 27
3.18/3.22 c 2.9s | 12 | 42216 | 37821 | 404 192 | 35 | 27
3.18/3.22 c #cpu_time = 2.886s
3.18/3.22 c #wall_clock_time = 2.886s
3.18/3.22 c #decision = 42216
3.18/3.22 c #random_decision = 176
3.18/3.22 c #conflict = 37821
3.18/3.22 c #restart = 12
3.18/3.22 c BCD2: relaxing 6 and merging with 9 cores into a new core of size 115: cost of the new core is >=18
3.18/3.22 c lower bound updated to 49
3.18/3.22 c BCD2: 49 <= obj <= 87
3.18/3.22 c BCD2: #cores=10, #unrelaxed=12, #relaxed=184, #hardened=0
3.18/3.22 c BCD2: #sat=1 #unsat=40 bias=40/41
3.18/3.22 c Solving starts ...
3.18/3.22 c ============================[ Search Statistics ]============================
3.18/3.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.18/3.22 c | | | | Limit GC | Var | Constra
3.18/3.22 c =============================================================================
3.18/3.22 c 0.0s | 0 | 0 | 0 | 404 0 | 44 | 27
3.18/3.23 c 0.0s | 1 | 169 | 100 | 404 0 | 44 | 36
3.18/3.24 c 0.0s | 2 | 375 | 250 | 404 0 | 44 | 36
3.18/3.25 c 0.0s | 3 | 615 | 475 | 404 1 | 44 | 36
3.18/3.26 c 0.0s | 4 | 976 | 813 | 404 2 | 44 | 36
3.18/3.28 c 0.1s | 5 | 1504 | 1320 | 404 4 | 44 | 36
3.78/3.89 c 0.1s | 5 | 1787 | 1547 | 404 5 | 45 | 37
3.78/3.89 c #cpu_time = 0.071s
3.78/3.89 c #wall_clock_time = 0.071s
3.78/3.89 c #decision = 1787
3.78/3.89 c #random_decision = 8
3.78/3.89 c #conflict = 1547
3.78/3.89 c #restart = 5
3.78/3.89 c BCD2: updating lower bound of a core
3.78/3.89 c lower bound updated to 54
3.78/3.89 c BCD2: 54 <= obj <= 87
3.78/3.89 c BCD2: #cores=10, #unrelaxed=12, #relaxed=184, #hardened=0
3.78/3.89 c BCD2: #sat=1 #unsat=41 bias=41/42
3.78/3.89 c Solving starts ...
3.78/3.89 c ============================[ Search Statistics ]============================
3.78/3.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
3.78/3.89 c | | | | Limit GC | Var | Constra
3.78/3.89 c =============================================================================
3.78/3.89 c 0.0s | 0 | 0 | 0 | 404 0 | 45 | 38
3.78/3.89 c 0.0s | 1 | 145 | 100 | 404 0 | 45 | 38
3.78/3.89 c 0.0s | 2 | 364 | 250 | 404 0 | 45 | 38
3.78/3.89 c 0.1s | 3 | 691 | 475 | 404 0 | 45 | 38
3.88/3.90 c 0.1s | 4 | 1124 | 813 | 404 2 | 45 | 38
3.88/3.90 c 0.2s | 5 | 1739 | 1320 | 404 4 | 45 | 38
3.88/3.90 c 0.3s | 6 | 2675 | 2081 | 404 7 | 45 | 38
3.88/3.90 c 0.5s | 7 | 4038 | 3223 | 404 11 | 45 | 38
3.98/4.03 c 0.7s | 8 | 6014 | 4936 | 404 18 | 45 | 38
4.39/4.45 c 1.2s | 9 | 9202 | 7506 | 404 28 | 45 | 38
4.98/5.03 c 1.7s | 10 | 13793 | 11361 | 404 43 | 45 | 38
5.99/6.06 c 2.8s | 11 | 20679 | 17144 | 445 64 | 45 | 38
7.49/7.53 c 4.2s | 12 | 30716 | 25819 | 445 95 | 45 | 38
9.49/9.53 c 6.2s | 12 | 44200 | 37619 | 445 137 | 45 | 38
9.69/9.74 c 6.5s | 13 | 45624 | 38832 | 445 141 | 45 | 38
11.69/11.75 c 8.5s | 13 | 59329 | 50732 | 490 182 | 45 | 38
12.99/13.00 c 9.7s | 14 | 68076 | 58352 | 490 207 | 45 | 38
14.99/15.02 c 11.7s | 14 | 80542 | 69052 | 490 243 | 45 | 38
16.99/17.02 c 13.7s | 14 | 91687 | 78852 | 490 275 | 45 | 38
18.69/18.72 c 15.4s | 15 | 101670 | 87632 | 490 304 | 45 | 38
20.68/20.73 c 17.4s | 15 | 113775 | 98132 | 539 337 | 45 | 38
22.68/22.73 c 19.4s | 15 | 125091 | 107932 | 539 367 | 45 | 38
24.68/24.74 c 21.5s | 15 | 136744 | 117932 | 539 398 | 45 | 38
26.68/26.75 c 23.5s | 15 | 149172 | 128432 | 539 430 | 45 | 38
27.28/27.35 c 24.1s | 16 | 152888 | 131552 | 539 440 | 45 | 38
29.28/29.36 c 26.1s | 16 | 165067 | 142052 | 539 471 | 45 | 38
31.28/31.36 c 28.1s | 16 | 176234 | 151752 | 539 501 | 45 | 38
33.28/33.37 c 30.1s | 16 | 187625 | 161552 | 593 529 | 45 | 38
35.29/35.38 c 32.1s | 16 | 198821 | 171252 | 593 556 | 45 | 38
37.28/37.39 c 34.1s | 16 | 211241 | 182052 | 593 586 | 45 | 38
39.38/39.40 c 36.1s | 16 | 223392 | 192452 | 593 616 | 45 | 38
40.18/40.29 c 37.0s | 17 | 229247 | 197432 | 593 630 | 45 | 38
42.28/42.30 c 39.0s | 17 | 242233 | 208732 | 593 662 | 45 | 38
44.28/44.30 c 41.0s | 17 | 255021 | 219832 | 593 694 | 45 | 38
46.29/46.32 c 43.0s | 17 | 267890 | 231232 | 593 727 | 45 | 38
48.28/48.32 c 45.0s | 17 | 280702 | 242332 | 593 759 | 45 | 38
50.28/50.34 c 47.0s | 17 | 292596 | 252932 | 653 789 | 45 | 38
52.28/52.35 c 49.1s | 17 | 305108 | 263932 | 653 819 | 45 | 38
54.28/54.37 c 51.1s | 17 | 317314 | 274532 | 653 847 | 45 | 38
56.28/56.38 c 53.1s | 17 | 330031 | 285632 | 653 876 | 45 | 38
58.29/58.34 c 55.0s | 18 | 342318 | 296252 | 653 904 | 45 | 38
60.28/60.35 c 57.1s | 18 | 355919 | 307952 | 653 936 | 45 | 38
62.28/62.36 c 59.1s | 18 | 368273 | 318652 | 653 964 | 45 | 38
64.28/64.37 c 61.1s | 18 | 380958 | 329652 | 653 993 | 45 | 38
66.28/66.37 c 63.1s | 18 | 393216 | 340152 | 653 1021 | 45 | 38
68.29/68.38 c 65.1s | 18 | 406138 | 351252 | 653 1050 | 45 | 38
70.28/70.39 c 67.1s | 18 | 418260 | 361852 | 653 1078 | 45 | 38
72.28/72.39 c 69.1s | 18 | 431330 | 373052 | 653 1107 | 45 | 38
74.38/74.41 c 71.1s | 18 | 443349 | 383652 | 653 1135 | 45 | 38
76.38/76.42 c 73.1s | 18 | 455661 | 394452 | 653 1164 | 45 | 38
78.38/78.43 c 75.1s | 18 | 467917 | 405252 | 719 1191 | 45 | 38
80.39/80.43 c 77.1s | 18 | 479903 | 415752 | 719 1217 | 45 | 38
82.38/82.44 c 79.1s | 18 | 492667 | 426852 | 719 1244 | 45 | 38
84.38/84.44 c 81.2s | 18 | 505024 | 437652 | 719 1270 | 45 | 38
85.58/85.67 c 82.4s | 19 | 512743 | 444482 | 719 1287 | 45 | 38
87.57/87.69 c 84.4s | 19 | 524304 | 454682 | 719 1312 | 45 | 38
89.67/89.70 c 86.4s | 19 | 537171 | 465482 | 719 1337 | 45 | 38
91.67/91.71 c 88.4s | 19 | 549897 | 476482 | 719 1364 | 45 | 38
93.67/93.73 c 90.4s | 19 | 562414 | 487282 | 719 1390 | 45 | 38
95.68/95.75 c 92.5s | 19 | 574650 | 497782 | 719 1415 | 45 | 38
97.67/97.76 c 94.5s | 19 | 586755 | 508282 | 719 1440 | 45 | 38
99.67/99.77 c 96.5s | 19 | 600148 | 519682 | 719 1468 | 45 | 38
101.67/101.78 c 98.5s | 19 | 612671 | 530482 | 719 1494 | 45 | 38
103.77/103.80 c 100s | 19 | 624525 | 540782 | 719 1519 | 45 | 38
105.77/105.81 c 102s | 19 | 636008 | 550782 | 719 1543 | 45 | 38
107.78/107.82 c 104s | 19 | 647190 | 560582 | 719 1567 | 45 | 38
109.77/109.82 c 106s | 19 | 658406 | 570282 | 719 1591 | 45 | 38
111.77/111.83 c 108s | 19 | 669999 | 580382 | 719 1616 | 45 | 38
113.77/113.84 c 110s | 19 | 681300 | 590382 | 719 1640 | 45 | 38
115.77/115.85 c 112s | 19 | 693457 | 600882 | 719 1665 | 45 | 38
117.77/117.86 c 114s | 19 | 704998 | 610982 | 719 1690 | 45 | 38
119.77/119.87 c 116s | 19 | 716782 | 621182 | 791 1714 | 45 | 38
121.77/121.89 c 118s | 19 | 728782 | 631382 | 791 1737 | 45 | 38
123.77/123.89 c 120s | 19 | 739847 | 641082 | 791 1759 | 45 | 38
125.86/125.91 c 122s | 19 | 751543 | 651082 | 791 1781 | 45 | 38
127.86/127.92 c 124s | 19 | 763522 | 661582 | 791 1805 | 45 | 38
128.87/128.95 c 125s | 20 | 769635 | 666827 | 791 1816 | 45 | 38
130.88/130.95 c 127s | 20 | 782201 | 677527 | 791 1840 | 45 | 38
132.87/132.96 c 129s | 20 | 793529 | 687327 | 791 1862 | 45 | 38
134.87/134.97 c 131s | 20 | 805918 | 697927 | 791 1885 | 45 | 38
136.87/136.98 c 133s | 20 | 816204 | 707027 | 791 1906 | 45 | 38
138.87/138.99 c 135s | 20 | 827744 | 717027 | 791 1928 | 45 | 38
140.88/140.99 c 137s | 20 | 839685 | 727327 | 791 1951 | 45 | 38
142.87/143.00 c 139s | 20 | 851337 | 737527 | 791 1974 | 45 | 38
144.97/145.01 c 141s | 20 | 863375 | 748027 | 791 1997 | 45 | 38
146.97/147.02 c 143s | 20 | 875665 | 758727 | 791 2022 | 45 | 38
148.97/149.02 c 145s | 20 | 887580 | 769227 | 791 2045 | 45 | 38
150.97/151.03 c 147s | 20 | 899033 | 779427 | 791 2068 | 45 | 38
152.97/153.03 c 149s | 20 | 910494 | 789427 | 791 2090 | 45 | 38
154.97/155.05 c 151s | 20 | 921995 | 799627 | 791 2113 | 45 | 38
156.97/157.05 c 153s | 20 | 932620 | 809027 | 791 2134 | 45 | 38
158.96/159.05 c 155s | 20 | 943651 | 818727 | 791 2156 | 45 | 38
160.96/161.06 c 157s | 20 | 954577 | 828427 | 791 2177 | 45 | 38
162.96/163.07 c 159s | 20 | 965321 | 837827 | 791 2198 | 45 | 38
164.97/165.08 c 161s | 20 | 976793 | 847827 | 791 2220 | 45 | 38
166.96/167.08 c 163s | 20 | 987794 | 857627 | 791 2242 | 45 | 38
168.96/169.09 c 165s | 20 | 999056 | 867327 | 791 2264 | 45 | 38
171.06/171.11 c 167s | 20 | 1011147 | 877827 | 791 2287 | 45 | 38
173.06/173.12 c 169s | 20 | 1022979 | 888127 | 791 2311 | 45 | 38
175.06/175.15 c 171s | 20 | 1034652 | 898327 | 791 2333 | 45 | 38
177.07/177.15 c 173s | 20 | 1045589 | 908127 | 791 2355 | 45 | 38
179.06/179.17 c 175s | 20 | 1056756 | 917927 | 791 2377 | 45 | 38
181.06/181.18 c 177s | 20 | 1068564 | 928127 | 791 2400 | 45 | 38
183.06/183.19 c 179s | 20 | 1079592 | 937927 | 791 2422 | 45 | 38
185.06/185.19 c 181s | 20 | 1090397 | 947527 | 791 2444 | 45 | 38
187.16/187.20 c 183s | 20 | 1101320 | 957327 | 871 2464 | 45 | 38
189.16/189.21 c 185s | 20 | 1112304 | 967127 | 871 2484 | 45 | 38
191.16/191.21 c 187s | 20 | 1123184 | 976727 | 871 2504 | 45 | 38
193.15/193.22 c 189s | 20 | 1133954 | 986327 | 871 2523 | 45 | 38
195.15/195.23 c 191s | 20 | 1144627 | 995827 | 871 2543 | 45 | 38
196.15/196.20 c 192s | 21 | 1149766 | 1000345 | 871 2552 | 45 | 38
198.15/198.21 c 194s | 21 | 1162377 | 1011145 | 871 2574 | 45 | 38
200.17/200.22 c 196s | 21 | 1174413 | 1021645 | 871 2596 | 45 | 38
202.16/202.22 c 198s | 21 | 1186639 | 1032045 | 871 2617 | 45 | 38
204.16/204.24 c 200s | 21 | 1198731 | 1042445 | 871 2639 | 45 | 38
206.16/206.25 c 202s | 21 | 1210963 | 1053145 | 871 2661 | 45 | 38
208.16/208.25 c 204s | 21 | 1223050 | 1063445 | 871 2682 | 45 | 38
210.17/210.27 c 206s | 21 | 1234459 | 1073445 | 871 2703 | 45 | 38
212.16/212.28 c 208s | 21 | 1247163 | 1084345 | 871 2725 | 45 | 38
214.16/214.29 c 210s | 21 | 1259630 | 1095145 | 871 2747 | 45 | 38
216.16/216.29 c 212s | 21 | 1271674 | 1105545 | 871 2768 | 45 | 38
218.16/218.29 c 215s | 21 | 1283899 | 1116045 | 871 2790 | 45 | 38
220.26/220.31 c 217s | 21 | 1295458 | 1126145 | 871 2810 | 45 | 38
222.26/222.31 c 219s | 21 | 1306566 | 1135845 | 871 2830 | 45 | 38
224.26/224.32 c 221s | 21 | 1318589 | 1146345 | 871 2852 | 45 | 38
226.26/226.34 c 223s | 21 | 1330752 | 1156745 | 871 2873 | 45 | 38
228.26/228.35 c 225s | 21 | 1342871 | 1167145 | 871 2895 | 45 | 38
230.26/230.36 c 227s | 21 | 1354979 | 1177545 | 871 2916 | 45 | 38
232.26/232.37 c 229s | 21 | 1366776 | 1187845 | 871 2937 | 45 | 38
234.26/234.37 c 231s | 21 | 1378954 | 1198145 | 871 2958 | 45 | 38
236.26/236.39 c 233s | 21 | 1390545 | 1208145 | 871 2979 | 45 | 38
238.35/238.41 c 235s | 21 | 1402119 | 1218045 | 871 2999 | 45 | 38
240.35/240.42 c 237s | 21 | 1413591 | 1228145 | 871 3020 | 45 | 38
242.35/242.42 c 239s | 21 | 1424470 | 1237745 | 871 3039 | 45 | 38
244.35/244.43 c 241s | 21 | 1435559 | 1247345 | 871 3059 | 45 | 38
246.36/246.45 c 243s | 21 | 1446916 | 1256945 | 871 3079 | 45 | 38
248.35/248.46 c 245s | 21 | 1458504 | 1266945 | 871 3099 | 45 | 38
250.35/250.48 c 247s | 21 | 1469777 | 1276745 | 871 3119 | 45 | 38
252.35/252.49 c 249s | 21 | 1481081 | 1286545 | 871 3139 | 45 | 38
254.45/254.50 c 251s | 21 | 1492017 | 1296045 | 871 3159 | 45 | 38
256.45/256.51 c 253s | 21 | 1503385 | 1305945 | 871 3179 | 45 | 38
258.46/258.53 c 255s | 21 | 1514496 | 1315745 | 871 3199 | 45 | 38
260.45/260.53 c 257s | 21 | 1524931 | 1324845 | 871 3218 | 45 | 38
262.45/262.56 c 259s | 21 | 1535322 | 1333945 | 871 3237 | 45 | 38
264.45/264.58 c 261s | 21 | 1545664 | 1343045 | 871 3255 | 45 | 38
266.55/266.60 c 263s | 21 | 1556788 | 1352645 | 871 3275 | 45 | 38
268.55/268.61 c 265s | 21 | 1567120 | 1361645 | 871 3294 | 45 | 38
270.55/270.61 c 267s | 21 | 1577658 | 1370945 | 871 3313 | 45 | 38
272.55/272.62 c 269s | 21 | 1588534 | 1380445 | 871 3332 | 45 | 38
274.55/274.64 c 271s | 21 | 1599255 | 1389745 | 871 3352 | 45 | 38
276.54/276.64 c 273s | 21 | 1609921 | 1399045 | 871 3371 | 45 | 38
278.54/278.64 c 275s | 21 | 1620574 | 1408345 | 871 3390 | 45 | 38
280.55/280.65 c 277s | 21 | 1632387 | 1418645 | 871 3411 | 45 | 38
282.54/282.67 c 279s | 21 | 1644057 | 1428745 | 871 3432 | 45 | 38
284.54/284.67 c 281s | 21 | 1655099 | 1438545 | 871 3452 | 45 | 38
286.54/286.68 c 283s | 21 | 1667135 | 1448845 | 959 3473 | 45 | 38
288.54/288.69 c 285s | 21 | 1678532 | 1458645 | 959 3491 | 45 | 38
290.65/290.70 c 287s | 21 | 1689482 | 1468245 | 959 3510 | 45 | 38
292.56/292.70 c 289s | 21 | 1700507 | 1477845 | 959 3528 | 45 | 38
294.65/294.72 c 291s | 21 | 1711796 | 1487545 | 959 3546 | 45 | 38
296.65/296.72 c 293s | 21 | 1723819 | 1497545 | 959 3565 | 45 | 38
297.35/297.40 c 294s | 22 | 1727334 | 1500622 | 959 3571 | 45 | 38
299.35/299.41 c 296s | 22 | 1737998 | 1509722 | 959 3588 | 45 | 38
301.35/301.43 c 298s | 22 | 1747940 | 1518222 | 959 3604 | 45 | 38
303.35/303.44 c 300s | 22 | 1756993 | 1526122 | 959 3619 | 45 | 38
305.35/305.44 c 302s | 22 | 1766614 | 1534422 | 959 3635 | 45 | 38
307.35/307.45 c 304s | 22 | 1776452 | 1542822 | 959 3651 | 45 | 38
309.35/309.46 c 306s | 22 | 1786063 | 1551222 | 959 3667 | 45 | 38
311.35/311.47 c 308s | 22 | 1795341 | 1559422 | 959 3683 | 45 | 38
313.34/313.47 c 310s | 22 | 1804292 | 1567422 | 959 3698 | 45 | 38
315.34/315.49 c 312s | 22 | 1812930 | 1575322 | 959 3713 | 45 | 38
317.44/317.50 c 314s | 22 | 1821968 | 1583322 | 959 3729 | 45 | 38
319.44/319.52 c 316s | 22 | 1830556 | 1591022 | 959 3744 | 45 | 38
321.44/321.54 c 318s | 22 | 1840142 | 1599422 | 959 3761 | 45 | 38
323.45/323.55 c 320s | 22 | 1849191 | 1607322 | 959 3776 | 45 | 38
325.44/325.55 c 322s | 22 | 1858407 | 1615322 | 959 3792 | 45 | 38
327.44/327.57 c 324s | 22 | 1867524 | 1623422 | 959 3808 | 45 | 38
329.44/329.59 c 326s | 22 | 1876778 | 1631522 | 959 3824 | 45 | 38
331.54/331.61 c 328s | 22 | 1886884 | 1640222 | 959 3841 | 45 | 38
333.54/333.62 c 330s | 22 | 1896333 | 1648522 | 959 3857 | 45 | 38
335.55/335.64 c 332s | 22 | 1905991 | 1656922 | 959 3873 | 45 | 38
337.54/337.65 c 334s | 22 | 1915777 | 1665422 | 959 3889 | 45 | 38
339.54/339.66 c 336s | 22 | 1925319 | 1673822 | 959 3906 | 45 | 38
341.54/341.69 c 338s | 22 | 1934785 | 1682022 | 959 3922 | 45 | 38
343.54/343.69 c 340s | 22 | 1944202 | 1690322 | 959 3938 | 45 | 38
345.64/345.70 c 342s | 22 | 1953666 | 1698622 | 959 3954 | 45 | 38
347.64/347.72 c 344s | 22 | 1963464 | 1707222 | 959 3971 | 45 | 38
349.63/349.73 c 346s | 22 | 1973133 | 1715622 | 959 3987 | 45 | 38
351.63/351.75 c 348s | 22 | 1983990 | 1724922 | 959 4005 | 45 | 38
353.63/353.75 c 350s | 22 | 1994235 | 1733722 | 959 4021 | 45 | 38
355.63/355.75 c 352s | 22 | 2003450 | 1741622 | 959 4037 | 45 | 38
357.63/357.77 c 354s | 22 | 2012480 | 1749622 | 959 4052 | 45 | 38
359.64/359.77 c 356s | 22 | 2021728 | 1757722 | 959 4068 | 45 | 38
361.63/361.78 c 358s | 22 | 2030612 | 1765622 | 959 4083 | 45 | 38
363.63/363.79 c 360s | 22 | 2039223 | 1773322 | 959 4098 | 45 | 38
365.73/365.81 c 362s | 22 | 2047971 | 1781022 | 959 4113 | 45 | 38
367.73/367.82 c 364s | 22 | 2056811 | 1788822 | 959 4128 | 45 | 38
369.73/369.82 c 366s | 22 | 2065497 | 1796522 | 959 4143 | 45 | 38
371.74/371.83 c 368s | 22 | 2074518 | 1804422 | 959 4159 | 45 | 38
373.73/373.86 c 370s | 22 | 2083407 | 1812122 | 959 4174 | 45 | 38
375.73/375.88 c 372s | 22 | 2092406 | 1820022 | 959 4189 | 45 | 38
377.83/377.90 c 374s | 22 | 2101084 | 1827722 | 959 4204 | 45 | 38
379.83/379.91 c 376s | 22 | 2110219 | 1835722 | 959 4220 | 45 | 38
381.83/381.92 c 378s | 22 | 2119216 | 1843622 | 959 4235 | 45 | 38
383.84/383.93 c 380s | 22 | 2128349 | 1851622 | 959 4251 | 45 | 38
385.83/385.95 c 382s | 22 | 2137026 | 1859322 | 959 4266 | 45 | 38
387.83/387.97 c 384s | 22 | 2145601 | 1867022 | 959 4280 | 45 | 38
389.83/389.99 c 386s | 22 | 2154115 | 1874722 | 959 4295 | 45 | 38
391.93/392.01 c 388s | 22 | 2162739 | 1882422 | 959 4311 | 45 | 38
393.93/394.03 c 390s | 22 | 2172274 | 1890822 | 959 4327 | 45 | 38
395.93/396.04 c 392s | 22 | 2183049 | 1900022 | 959 4344 | 45 | 38
397.93/398.06 c 394s | 22 | 2194666 | 1909722 | 959 4362 | 45 | 38
399.93/400.08 c 396s | 22 | 2205305 | 1918622 | 959 4379 | 45 | 38
401.93/402.10 c 398s | 22 | 2215641 | 1927222 | 959 4395 | 45 | 38
404.03/404.10 c 400s | 22 | 2225602 | 1935522 | 959 4410 | 45 | 38
406.03/406.10 c 402s | 22 | 2235890 | 1944122 | 959 4426 | 45 | 38
408.03/408.12 c 404s | 22 | 2246727 | 1953122 | 959 4444 | 45 | 38
410.02/410.12 c 406s | 22 | 2257053 | 1961822 | 959 4460 | 45 | 38
412.02/412.13 c 408s | 22 | 2267382 | 1970622 | 959 4476 | 45 | 38
414.02/414.15 c 410s | 22 | 2278259 | 1979722 | 959 4494 | 45 | 38
416.02/416.15 c 412s | 22 | 2288331 | 1988422 | 959 4510 | 45 | 38
418.03/418.17 c 414s | 22 | 2298140 | 1996922 | 959 4526 | 45 | 38
420.02/420.19 c 416s | 22 | 2309173 | 2006022 | 959 4543 | 45 | 38
422.12/422.21 c 418s | 22 | 2319686 | 2015022 | 959 4560 | 45 | 38
424.12/424.21 c 420s | 22 | 2329882 | 2023722 | 959 4577 | 45 | 38
426.12/426.21 c 422s | 22 | 2339843 | 2032122 | 959 4593 | 45 | 38
428.12/428.22 c 424s | 22 | 2350552 | 2041022 | 959 4609 | 45 | 38
430.13/430.23 c 426s | 22 | 2359806 | 2049122 | 959 4625 | 45 | 38
432.12/432.24 c 428s | 22 | 2370198 | 2058022 | 959 4642 | 45 | 38
434.12/434.26 c 430s | 22 | 2380429 | 2067022 | 959 4659 | 45 | 38
436.12/436.26 c 432s | 22 | 2390088 | 2075522 | 959 4675 | 45 | 38
438.12/438.27 c 434s | 22 | 2400622 | 2084422 | 959 4691 | 45 | 38
440.12/440.27 c 436s | 22 | 2410094 | 2092722 | 959 4707 | 45 | 38
442.12/442.29 c 439s | 22 | 2419725 | 2101122 | 959 4722 | 45 | 38
444.22/444.30 c 441s | 22 | 2429677 | 2109822 | 959 4738 | 45 | 38
446.22/446.32 c 443s | 22 | 2440229 | 2118722 | 959 4755 | 45 | 38
448.22/448.33 c 445s | 22 | 2450045 | 2127222 | 959 4771 | 45 | 38
450.22/450.33 c 447s | 22 | 2459961 | 2135622 | 959 4787 | 45 | 38
452.22/452.34 c 449s | 22 | 2469674 | 2143922 | 959 4803 | 45 | 38
454.22/454.35 c 451s | 22 | 2479663 | 2152422 | 959 4819 | 45 | 38
456.22/456.36 c 453s | 22 | 2489145 | 2160622 | 959 4835 | 45 | 38
458.22/458.36 c 455s | 22 | 2499018 | 2169122 | 959 4851 | 45 | 38
460.22/460.38 c 457s | 22 | 2509375 | 2177822 | 959 4867 | 45 | 38
462.21/462.39 c 459s | 22 | 2519450 | 2186422 | 959 4884 | 45 | 38
464.31/464.40 c 461s | 22 | 2529682 | 2195022 | 1055 4899 | 45 | 38
466.33/466.42 c 463s | 22 | 2539259 | 2203222 | 1055 4914 | 45 | 38
468.32/468.43 c 465s | 22 | 2549085 | 2211722 | 1055 4929 | 45 | 38
470.32/470.44 c 467s | 22 | 2559466 | 2220422 | 1055 4944 | 45 | 38
472.32/472.44 c 469s | 22 | 2569357 | 2229022 | 1055 4959 | 45 | 38
474.32/474.45 c 471s | 22 | 2578927 | 2237422 | 1055 4974 | 45 | 38
476.33/476.46 c 473s | 22 | 2588162 | 2245522 | 1055 4987 | 45 | 38
477.72/477.85 c 474s | 23 | 2594490 | 2251038 | 1055 4997 | 45 | 38
479.72/479.85 c 476s | 23 | 2604749 | 2260138 | 1055 5012 | 45 | 38
481.72/481.87 c 478s | 23 | 2614906 | 2269038 | 1055 5028 | 45 | 38
483.72/483.89 c 480s | 23 | 2625061 | 2277838 | 1055 5043 | 45 | 38
485.82/485.90 c 482s | 23 | 2634663 | 2286438 | 1055 5057 | 45 | 38
487.82/487.91 c 484s | 23 | 2644716 | 2295138 | 1055 5072 | 45 | 38
489.82/489.91 c 486s | 23 | 2654194 | 2303438 | 1055 5086 | 45 | 38
491.82/491.91 c 488s | 23 | 2664153 | 2312038 | 1055 5101 | 45 | 38
493.82/493.91 c 490s | 23 | 2673841 | 2320538 | 1055 5115 | 45 | 38
495.81/495.93 c 492s | 23 | 2683706 | 2329238 | 1055 5130 | 45 | 38
497.81/497.93 c 494s | 23 | 2693534 | 2337838 | 1055 5145 | 45 | 38
499.81/499.96 c 496s | 23 | 2703374 | 2346338 | 1055 5159 | 45 | 38
501.81/501.98 c 498s | 23 | 2713104 | 2354638 | 1055 5174 | 45 | 38
503.82/503.98 c 500s | 23 | 2722482 | 2362938 | 1055 5188 | 45 | 38
505.81/505.98 c 502s | 23 | 2732124 | 2371238 | 1055 5202 | 45 | 38
507.91/508.00 c 504s | 23 | 2742450 | 2380438 | 1055 5218 | 45 | 38
509.91/510.01 c 506s | 23 | 2752997 | 2389638 | 1055 5233 | 45 | 38
511.91/512.03 c 508s | 23 | 2763755 | 2399038 | 1055 5249 | 45 | 38
513.91/514.04 c 510s | 23 | 2773597 | 2407738 | 1055 5265 | 45 | 38
515.92/516.06 c 512s | 23 | 2784541 | 2417238 | 1055 5281 | 45 | 38
517.91/518.06 c 514s | 23 | 2795419 | 2426738 | 1055 5297 | 45 | 38
519.91/520.09 c 516s | 23 | 2805730 | 2435738 | 1055 5313 | 45 | 38
522.01/522.10 c 518s | 23 | 2816630 | 2445138 | 1055 5329 | 45 | 38
524.01/524.10 c 520s | 23 | 2827081 | 2454238 | 1055 5344 | 45 | 38
526.01/526.11 c 522s | 23 | 2837700 | 2463438 | 1055 5360 | 45 | 38
528.01/528.11 c 524s | 23 | 2847403 | 2471938 | 1055 5375 | 45 | 38
530.01/530.13 c 526s | 23 | 2857328 | 2480638 | 1055 5390 | 45 | 38
532.01/532.13 c 528s | 23 | 2866578 | 2488938 | 1055 5404 | 45 | 38
534.00/534.15 c 530s | 23 | 2875721 | 2497038 | 1055 5418 | 45 | 38
536.00/536.16 c 532s | 23 | 2885259 | 2505438 | 1055 5432 | 45 | 38
538.00/538.18 c 534s | 23 | 2894989 | 2514038 | 1055 5447 | 45 | 38
540.01/540.20 c 536s | 23 | 2904543 | 2522438 | 1055 5461 | 45 | 38
542.11/542.20 c 538s | 23 | 2913968 | 2530638 | 1055 5475 | 45 | 38
544.11/544.21 c 540s | 23 | 2923377 | 2538838 | 1055 5489 | 45 | 38
546.11/546.22 c 542s | 23 | 2933111 | 2547438 | 1055 5504 | 45 | 38
548.11/548.23 c 544s | 23 | 2943033 | 2556138 | 1055 5519 | 45 | 38
550.11/550.23 c 546s | 23 | 2953069 | 2564838 | 1055 5534 | 45 | 38
552.12/552.24 c 548s | 23 | 2963022 | 2573538 | 1055 5549 | 45 | 38
554.11/554.26 c 550s | 23 | 2972828 | 2582138 | 1055 5563 | 45 | 38
556.11/556.28 c 552s | 23 | 2982369 | 2590638 | 1055 5578 | 45 | 38
558.11/558.29 c 554s | 23 | 2991822 | 2599038 | 1055 5592 | 45 | 38
560.11/560.29 c 557s | 23 | 3001586 | 2607738 | 1055 5607 | 45 | 38
562.21/562.32 c 559s | 23 | 3010697 | 2615938 | 1055 5621 | 45 | 38
564.21/564.34 c 561s | 23 | 3020329 | 2624438 | 1055 5636 | 45 | 38
566.20/566.36 c 563s | 23 | 3030285 | 2633238 | 1055 5651 | 45 | 38
568.20/568.37 c 565s | 23 | 3040400 | 2642038 | 1055 5666 | 45 | 38
570.20/570.39 c 567s | 23 | 3050374 | 2650738 | 1055 5681 | 45 | 38
572.30/572.41 c 569s | 23 | 3060269 | 2659338 | 1055 5696 | 45 | 38
574.30/574.42 c 571s | 23 | 3070156 | 2668038 | 1055 5711 | 45 | 38
576.31/576.43 c 573s | 23 | 3080401 | 2677038 | 1055 5727 | 45 | 38
578.30/578.43 c 575s | 23 | 3090246 | 2685638 | 1055 5742 | 45 | 38
580.30/580.44 c 577s | 23 | 3100168 | 2694238 | 1055 5756 | 45 | 38
582.30/582.46 c 579s | 23 | 3110121 | 2702838 | 1055 5771 | 45 | 38
584.30/584.47 c 581s | 23 | 3119495 | 2711038 | 1055 5785 | 45 | 38
586.31/586.49 c 583s | 23 | 3129190 | 2719438 | 1055 5800 | 45 | 38
588.30/588.49 c 585s | 23 | 3138344 | 2727538 | 1055 5814 | 45 | 38
590.40/590.51 c 587s | 23 | 3147686 | 2735838 | 1055 5828 | 45 | 38
592.40/592.53 c 589s | 23 | 3157297 | 2744238 | 1055 5843 | 45 | 38
594.40/594.54 c 591s | 23 | 3166658 | 2752538 | 1055 5857 | 45 | 38
596.40/596.56 c 593s | 23 | 3176353 | 2761138 | 1055 5872 | 45 | 38
598.40/598.57 c 595s | 23 | 3186111 | 2769838 | 1055 5886 | 45 | 38
600.40/600.59 c 597s | 23 | 3196117 | 2778638 | 1055 5901 | 45 | 38
602.39/602.59 c 599s | 23 | 3206328 | 2787538 | 1055 5917 | 45 | 38
604.39/604.59 c 601s | 23 | 3217345 | 2796938 | 1055 5933 | 45 | 38
606.39/606.59 c 603s | 23 | 3227619 | 2805838 | 1055 5948 | 45 | 38
608.49/608.60 c 605s | 23 | 3237692 | 2814638 | 1055 5963 | 45 | 38
610.50/610.62 c 607s | 23 | 3247937 | 2823638 | 1055 5978 | 45 | 38
612.49/612.62 c 609s | 23 | 3258705 | 2832838 | 1055 5994 | 45 | 38
614.50/614.63 c 611s | 23 | 3269071 | 2841838 | 1055 6010 | 45 | 38
616.50/616.63 c 613s | 23 | 3279973 | 2851138 | 1055 6026 | 45 | 38
618.50/618.65 c 615s | 23 | 3290018 | 2859838 | 1055 6041 | 45 | 38
620.50/620.66 c 617s | 23 | 3299838 | 2868338 | 1055 6055 | 45 | 38
622.50/622.68 c 619s | 23 | 3310031 | 2877238 | 1055 6071 | 45 | 38
624.59/624.70 c 621s | 23 | 3319725 | 2885738 | 1055 6085 | 45 | 38
626.59/626.71 c 623s | 23 | 3329164 | 2894038 | 1055 6099 | 45 | 38
628.59/628.72 c 625s | 23 | 3339099 | 2902738 | 1055 6114 | 45 | 38
630.59/630.74 c 627s | 23 | 3348406 | 2910938 | 1055 6128 | 45 | 38
632.59/632.76 c 629s | 23 | 3357777 | 2919238 | 1055 6143 | 45 | 38
634.60/634.79 c 631s | 23 | 3367905 | 2928038 | 1055 6158 | 45 | 38
636.69/636.80 c 633s | 23 | 3377086 | 2936238 | 1055 6172 | 45 | 38
638.69/638.82 c 635s | 23 | 3386445 | 2944438 | 1055 6186 | 45 | 38
640.69/640.83 c 637s | 23 | 3395630 | 2952538 | 1055 6200 | 45 | 38
642.69/642.84 c 639s | 23 | 3405668 | 2961338 | 1055 6215 | 45 | 38
644.69/644.86 c 641s | 23 | 3415046 | 2969638 | 1055 6229 | 45 | 38
646.70/646.87 c 643s | 23 | 3425293 | 2978538 | 1055 6245 | 45 | 38
648.69/648.87 c 645s | 23 | 3434856 | 2986938 | 1055 6259 | 45 | 38
650.69/650.90 c 647s | 23 | 3443824 | 2994938 | 1055 6273 | 45 | 38
652.79/652.90 c 649s | 23 | 3453142 | 3003238 | 1055 6287 | 45 | 38
654.79/654.90 c 651s | 23 | 3462639 | 3011738 | 1055 6302 | 45 | 38
656.79/656.92 c 653s | 23 | 3471827 | 3019938 | 1055 6316 | 45 | 38
658.79/658.95 c 655s | 23 | 3480949 | 3027938 | 1055 6330 | 45 | 38
660.79/660.95 c 657s | 23 | 3490158 | 3036038 | 1055 6343 | 45 | 38
662.78/662.95 c 659s | 23 | 3499402 | 3044238 | 1055 6358 | 45 | 38
664.78/664.96 c 661s | 23 | 3509018 | 3052738 | 1055 6372 | 45 | 38
666.78/666.98 c 663s | 23 | 3518681 | 3061138 | 1055 6387 | 45 | 38
668.88/669.00 c 665s | 23 | 3528470 | 3069738 | 1055 6402 | 45 | 38
670.89/671.01 c 667s | 23 | 3538157 | 3078238 | 1055 6416 | 45 | 38
672.88/673.01 c 669s | 23 | 3548303 | 3087138 | 1055 6431 | 45 | 38
674.88/675.03 c 671s | 23 | 3559668 | 3097038 | 1055 6449 | 45 | 38
676.88/677.05 c 673s | 23 | 3571046 | 3106538 | 1055 6465 | 45 | 38
678.88/679.07 c 675s | 23 | 3581541 | 3115638 | 1055 6480 | 45 | 38
680.89/681.08 c 677s | 23 | 3592859 | 3125338 | 1055 6497 | 45 | 38
682.88/683.10 c 679s | 23 | 3603457 | 3134438 | 1055 6513 | 45 | 38
684.98/685.11 c 681s | 23 | 3614086 | 3143638 | 1055 6529 | 45 | 38
686.99/687.13 c 683s | 23 | 3624737 | 3152838 | 1055 6545 | 45 | 38
688.99/689.14 c 685s | 23 | 3634482 | 3161238 | 1055 6559 | 45 | 38
690.99/691.16 c 687s | 23 | 3644284 | 3169838 | 1055 6574 | 45 | 38
692.99/693.18 c 689s | 23 | 3653921 | 3178238 | 1055 6588 | 45 | 38
694.99/695.18 c 691s | 23 | 3663260 | 3186338 | 1055 6602 | 45 | 38
696.99/697.19 c 693s | 23 | 3672678 | 3194638 | 1055 6616 | 45 | 38
698.98/699.19 c 695s | 23 | 3682292 | 3203038 | 1055 6630 | 45 | 38
701.08/701.20 c 697s | 23 | 3691410 | 3211038 | 1055 6644 | 45 | 38
703.08/703.21 c 699s | 23 | 3700648 | 3219138 | 1055 6658 | 45 | 38
705.09/705.22 c 701s | 23 | 3710643 | 3227738 | 1055 6673 | 45 | 38
707.08/707.23 c 703s | 23 | 3720632 | 3236238 | 1055 6687 | 45 | 38
709.08/709.23 c 705s | 23 | 3730766 | 3245038 | 1055 6702 | 45 | 38
711.08/711.25 c 707s | 23 | 3740703 | 3253638 | 1055 6717 | 45 | 38
713.08/713.25 c 709s | 23 | 3749698 | 3261538 | 1055 6731 | 45 | 38
715.08/715.26 c 711s | 23 | 3759017 | 3269638 | 1055 6745 | 45 | 38
717.09/717.28 c 713s | 23 | 3768379 | 3277838 | 1055 6759 | 45 | 38
719.18/719.30 c 716s | 23 | 3777817 | 3286038 | 1055 6773 | 45 | 38
721.18/721.31 c 718s | 23 | 3787069 | 3294138 | 1055 6787 | 45 | 38
723.18/723.33 c 720s | 23 | 3796895 | 3302638 | 1055 6802 | 45 | 38
725.18/725.36 c 722s | 23 | 3807742 | 3311638 | 1161 6817 | 45 | 38
727.18/727.36 c 724s | 23 | 3818403 | 3320538 | 1161 6831 | 45 | 38
729.18/729.37 c 726s | 23 | 3828667 | 3329338 | 1161 6845 | 45 | 38
731.17/731.39 c 728s | 23 | 3838739 | 3337838 | 1161 6858 | 45 | 38
733.27/733.40 c 730s | 23 | 3848698 | 3346438 | 1161 6872 | 45 | 38
735.27/735.41 c 732s | 23 | 3858697 | 3355038 | 1161 6886 | 45 | 38
737.27/737.44 c 734s | 23 | 3869116 | 3363938 | 1161 6900 | 45 | 38
739.27/739.45 c 736s | 23 | 3879481 | 3372738 | 1161 6913 | 45 | 38
740.18/740.37 c 737s | 24 | 3884114 | 3376662 | 1161 6920 | 45 | 38
742.17/742.37 c 739s | 24 | 3894894 | 3385962 | 1161 6934 | 45 | 38
744.17/744.38 c 741s | 24 | 3905903 | 3395362 | 1161 6949 | 45 | 38
746.17/746.38 c 743s | 24 | 3916820 | 3404662 | 1161 6964 | 45 | 38
748.17/748.38 c 745s | 24 | 3927574 | 3413862 | 1161 6978 | 45 | 38
750.27/750.41 c 747s | 24 | 3937974 | 3422962 | 1161 6992 | 45 | 38
752.28/752.41 c 749s | 24 | 3949518 | 3432762 | 1161 7008 | 45 | 38
754.27/754.42 c 751s | 24 | 3960568 | 3442262 | 1161 7023 | 45 | 38
756.27/756.44 c 753s | 24 | 3971364 | 3451562 | 1161 7037 | 45 | 38
758.27/758.47 c 755s | 24 | 3981396 | 3460462 | 1161 7052 | 45 | 38
760.28/760.49 c 757s | 24 | 3991495 | 3469262 | 1161 7065 | 45 | 38
762.38/762.51 c 759s | 24 | 4001920 | 3478262 | 1161 7080 | 45 | 38
764.38/764.51 c 761s | 24 | 4012874 | 3487762 | 1161 7095 | 45 | 38
766.37/766.51 c 763s | 24 | 4022657 | 3496462 | 1161 7108 | 45 | 38
768.37/768.52 c 765s | 24 | 4032279 | 3504962 | 1161 7121 | 45 | 38
770.37/770.52 c 767s | 24 | 4041937 | 3513462 | 1161 7135 | 45 | 38
772.37/772.54 c 769s | 24 | 4051528 | 3521862 | 1161 7148 | 45 | 38
774.38/774.57 c 771s | 24 | 4061438 | 3530662 | 1161 7162 | 45 | 38
776.37/776.58 c 773s | 24 | 4071057 | 3539162 | 1161 7175 | 45 | 38
778.37/778.58 c 775s | 24 | 4081016 | 3547962 | 1161 7189 | 45 | 38
780.47/780.60 c 777s | 24 | 4090778 | 3556662 | 1161 7202 | 45 | 38
782.47/782.62 c 779s | 24 | 4099811 | 3564762 | 1161 7215 | 45 | 38
784.47/784.64 c 781s | 24 | 4109815 | 3573462 | 1161 7229 | 45 | 38
786.47/786.66 c 783s | 24 | 4119816 | 3582162 | 1161 7242 | 45 | 38
788.47/788.68 c 785s | 24 | 4129636 | 3590862 | 1161 7256 | 45 | 38
790.46/790.69 c 787s | 24 | 4139335 | 3599362 | 1161 7269 | 45 | 38
792.56/792.71 c 789s | 24 | 4148818 | 3607762 | 1161 7282 | 45 | 38
794.56/794.73 c 791s | 24 | 4158562 | 3616362 | 1161 7296 | 45 | 38
796.56/796.75 c 793s | 24 | 4167815 | 3624462 | 1161 7309 | 45 | 38
798.57/798.77 c 795s | 24 | 4177496 | 3632762 | 1161 7322 | 45 | 38
800.56/800.78 c 797s | 24 | 4186693 | 3640862 | 1161 7334 | 45 | 38
802.56/802.78 c 799s | 24 | 4197005 | 3649862 | 1161 7349 | 45 | 38
804.66/804.81 c 801s | 24 | 4207109 | 3658662 | 1161 7362 | 45 | 38
806.66/806.81 c 803s | 24 | 4217065 | 3667262 | 1161 7376 | 45 | 38
808.66/808.83 c 805s | 24 | 4226632 | 3675662 | 1161 7389 | 45 | 38
810.67/810.84 c 807s | 24 | 4236207 | 3684062 | 1161 7402 | 45 | 38
812.66/812.85 c 809s | 24 | 4245512 | 3692262 | 1161 7415 | 45 | 38
814.66/814.87 c 811s | 24 | 4255686 | 3701062 | 1161 7429 | 45 | 38
816.66/816.89 c 813s | 24 | 4265703 | 3709662 | 1161 7443 | 45 | 38
818.76/818.90 c 815s | 24 | 4275954 | 3718562 | 1161 7457 | 45 | 38
820.76/820.91 c 817s | 24 | 4285823 | 3727162 | 1161 7470 | 45 | 38
822.76/822.93 c 819s | 24 | 4295615 | 3735662 | 1161 7483 | 45 | 38
824.76/824.95 c 821s | 24 | 4304869 | 3743862 | 1161 7496 | 45 | 38
826.77/826.97 c 823s | 24 | 4314352 | 3752062 | 1161 7509 | 45 | 38
828.77/828.98 c 825s | 24 | 4324143 | 3760462 | 1161 7522 | 45 | 38
830.87/831.01 c 827s | 24 | 4333626 | 3768562 | 1161 7535 | 45 | 38
832.87/833.02 c 829s | 24 | 4343287 | 3777062 | 1161 7548 | 45 | 38
834.87/835.03 c 831s | 24 | 4352917 | 3785362 | 1161 7561 | 45 | 38
836.86/837.04 c 833s | 24 | 4362540 | 3793662 | 1161 7574 | 45 | 38
838.86/839.06 c 835s | 24 | 4372039 | 3801962 | 1161 7587 | 45 | 38
840.86/841.08 c 837s | 24 | 4381338 | 3810162 | 1161 7600 | 45 | 38
842.86/843.08 c 839s | 24 | 4390925 | 3818462 | 1161 7613 | 45 | 38
844.86/845.09 c 841s | 24 | 4400220 | 3826662 | 1161 7626 | 45 | 38
846.97/847.11 c 843s | 24 | 4409087 | 3834462 | 1161 7638 | 45 | 38
848.96/849.13 c 845s | 24 | 4418337 | 3842562 | 1161 7651 | 45 | 38
850.96/851.15 c 847s | 24 | 4428000 | 3850962 | 1161 7665 | 45 | 38
852.96/853.16 c 849s | 24 | 4437493 | 3859362 | 1161 7678 | 45 | 38
854.96/855.17 c 851s | 24 | 4446954 | 3867562 | 1161 7691 | 45 | 38
856.96/857.19 c 853s | 24 | 4456272 | 3875662 | 1161 7704 | 45 | 38
859.07/859.21 c 855s | 24 | 4465761 | 3883962 | 1161 7717 | 45 | 38
861.06/861.22 c 857s | 24 | 4474750 | 3891862 | 1161 7729 | 45 | 38
863.06/863.24 c 859s | 24 | 4483283 | 3899462 | 1161 7741 | 45 | 38
865.06/865.24 c 861s | 24 | 4491961 | 3907162 | 1161 7753 | 45 | 38
867.06/867.24 c 863s | 24 | 4501251 | 3915362 | 1161 7766 | 45 | 38
869.06/869.27 c 865s | 24 | 4510077 | 3923162 | 1161 7778 | 45 | 38
871.06/871.28 c 867s | 24 | 4518742 | 3930862 | 1161 7790 | 45 | 38
873.05/873.29 c 870s | 24 | 4527641 | 3938562 | 1161 7802 | 45 | 38
875.15/875.30 c 872s | 24 | 4536120 | 3946062 | 1161 7814 | 45 | 38
877.15/877.30 c 874s | 24 | 4545270 | 3954062 | 1161 7827 | 45 | 38
879.15/879.31 c 876s | 24 | 4554082 | 3961762 | 1161 7839 | 45 | 38
881.15/881.33 c 878s | 24 | 4562776 | 3969462 | 1161 7851 | 45 | 38
883.16/883.33 c 880s | 24 | 4571806 | 3977362 | 1161 7864 | 45 | 38
885.15/885.36 c 882s | 24 | 4581211 | 3985562 | 1161 7877 | 45 | 38
887.15/887.36 c 884s | 24 | 4590544 | 3993662 | 1161 7889 | 45 | 38
889.15/889.39 c 886s | 24 | 4600027 | 4001862 | 1161 7902 | 45 | 38
891.15/891.39 c 888s | 24 | 4609070 | 4009862 | 1161 7915 | 45 | 38
893.25/893.40 c 890s | 24 | 4618213 | 4017762 | 1161 7927 | 45 | 38
895.26/895.42 c 892s | 24 | 4627459 | 4025762 | 1161 7940 | 45 | 38
897.25/897.44 c 894s | 24 | 4637200 | 4034362 | 1161 7953 | 45 | 38
899.25/899.44 c 896s | 24 | 4646006 | 4042262 | 1161 7966 | 45 | 38
901.25/901.46 c 898s | 24 | 4654783 | 4050162 | 1161 7978 | 45 | 38
903.25/903.46 c 900s | 24 | 4663802 | 4058262 | 1161 7991 | 45 | 38
905.25/905.47 c 902s | 24 | 4672723 | 4066262 | 1161 8003 | 45 | 38
907.25/907.47 c 904s | 24 | 4681402 | 4074062 | 1161 8016 | 45 | 38
909.34/909.50 c 906s | 24 | 4690477 | 4082262 | 1161 8028 | 45 | 38
911.34/911.50 c 908s | 24 | 4699384 | 4090262 | 1161 8041 | 45 | 38
913.34/913.51 c 910s | 24 | 4708430 | 4098362 | 1161 8053 | 45 | 38
915.34/915.52 c 912s | 24 | 4717078 | 4106162 | 1161 8066 | 45 | 38
917.36/917.52 c 914s | 24 | 4725773 | 4113962 | 1161 8078 | 45 | 38
919.35/919.54 c 916s | 24 | 4735716 | 4122562 | 1161 8091 | 45 | 38
921.35/921.56 c 918s | 24 | 4745337 | 4130862 | 1161 8104 | 45 | 38
923.35/923.57 c 920s | 24 | 4754504 | 4138862 | 1161 8117 | 45 | 38
925.35/925.58 c 922s | 24 | 4763804 | 4146962 | 1161 8130 | 45 | 38
927.35/927.58 c 924s | 24 | 4773322 | 4155262 | 1161 8143 | 45 | 38
929.36/929.59 c 926s | 24 | 4782317 | 4163262 | 1161 8155 | 45 | 38
931.45/931.60 c 928s | 24 | 4791179 | 4171062 | 1161 8168 | 45 | 38
933.45/933.61 c 930s | 24 | 4800784 | 4179362 | 1161 8181 | 45 | 38
935.45/935.64 c 932s | 24 | 4810106 | 4187562 | 1161 8193 | 45 | 38
937.45/937.65 c 934s | 24 | 4819208 | 4195562 | 1161 8206 | 45 | 38
939.45/939.65 c 936s | 24 | 4828429 | 4203662 | 1161 8219 | 45 | 38
941.45/941.66 c 938s | 24 | 4837575 | 4211762 | 1161 8231 | 45 | 38
943.45/943.66 c 940s | 24 | 4846624 | 4219762 | 1161 8244 | 45 | 38
945.44/945.68 c 942s | 24 | 4855668 | 4227762 | 1161 8257 | 45 | 38
947.44/947.69 c 944s | 24 | 4864431 | 4235562 | 1161 8269 | 45 | 38
949.44/949.69 c 946s | 24 | 4873138 | 4243262 | 1161 8281 | 45 | 38
951.54/951.72 c 948s | 24 | 4882196 | 4251162 | 1161 8294 | 45 | 38
953.55/953.72 c 950s | 24 | 4891304 | 4259162 | 1161 8306 | 45 | 38
955.54/955.74 c 952s | 24 | 4900294 | 4267062 | 1161 8319 | 45 | 38
957.54/957.77 c 954s | 24 | 4908653 | 4274562 | 1161 8331 | 45 | 38
959.54/959.78 c 956s | 24 | 4917917 | 4282562 | 1161 8343 | 45 | 38
961.64/961.80 c 958s | 24 | 4926837 | 4290362 | 1161 8356 | 45 | 38
963.64/963.80 c 960s | 24 | 4935842 | 4298262 | 1161 8368 | 45 | 38
965.64/965.81 c 962s | 24 | 4944510 | 4305962 | 1161 8380 | 45 | 38
967.64/967.83 c 964s | 24 | 4953491 | 4313862 | 1161 8393 | 45 | 38
969.64/969.85 c 966s | 24 | 4962505 | 4321662 | 1161 8405 | 45 | 38
971.64/971.86 c 968s | 24 | 4971594 | 4329562 | 1161 8418 | 45 | 38
973.64/973.87 c 970s | 24 | 4980330 | 4337362 | 1161 8430 | 45 | 38
975.64/975.89 c 972s | 24 | 4988954 | 4344962 | 1161 8442 | 45 | 38
977.63/977.89 c 974s | 24 | 4997825 | 4352762 | 1161 8454 | 45 | 38
979.73/979.91 c 976s | 24 | 5006629 | 4360562 | 1161 8466 | 45 | 38
981.73/981.92 c 978s | 24 | 5015690 | 4368562 | 1161 8479 | 45 | 38
983.73/983.93 c 980s | 24 | 5024603 | 4376462 | 1161 8492 | 45 | 38
985.73/985.93 c 982s | 24 | 5033521 | 4384362 | 1161 8504 | 45 | 38
987.75/987.95 c 984s | 24 | 5042328 | 4392262 | 1161 8516 | 45 | 38
989.74/989.96 c 986s | 24 | 5051136 | 4400162 | 1161 8529 | 45 | 38
991.74/991.97 c 988s | 24 | 5059579 | 4407762 | 1161 8541 | 45 | 38
993.74/993.98 c 990s | 24 | 5069784 | 4416662 | 1161 8555 | 45 | 38
995.84/996.00 c 992s | 24 | 5079247 | 4425062 | 1161 8568 | 45 | 38
997.84/998.01 c 994s | 24 | 5088421 | 4433162 | 1161 8581 | 45 | 38
999.85/1000.03 c 996s | 24 | 5097972 | 4441562 | 1161 8594 | 45 | 38
1001.84/1002.03 c 998s | 24 | 5107152 | 4449662 | 1161 8607 | 45 | 38
1003.84/1004.05 c 1000s | 24 | 5116538 | 4457862 | 1161 8620 | 45 | 38
1005.84/1006.06 c 1002s | 24 | 5125667 | 4465962 | 1161 8632 | 45 | 38
1007.84/1008.06 c 1004s | 24 | 5135217 | 4474362 | 1161 8646 | 45 | 38
1009.84/1010.07 c 1006s | 24 | 5144919 | 4482862 | 1161 8659 | 45 | 38
1011.84/1012.09 c 1008s | 24 | 5153910 | 4490862 | 1161 8672 | 45 | 38
1013.94/1014.11 c 1010s | 24 | 5163737 | 4499362 | 1161 8685 | 45 | 38
1015.94/1016.12 c 1012s | 24 | 5175409 | 4509362 | 1161 8701 | 45 | 38
1017.94/1018.13 c 1014s | 24 | 5186280 | 4518762 | 1161 8716 | 45 | 38
1019.94/1020.15 c 1016s | 24 | 5196783 | 4527962 | 1161 8730 | 45 | 38
1021.93/1022.17 c 1018s | 24 | 5207335 | 4536962 | 1161 8744 | 45 | 38
1023.94/1024.18 c 1020s | 24 | 5216944 | 4545362 | 1161 8758 | 45 | 38
1025.93/1026.18 c 1022s | 24 | 5227276 | 4554262 | 1161 8772 | 45 | 38
1027.93/1028.18 c 1024s | 24 | 5236780 | 4562762 | 1161 8785 | 45 | 38
1030.03/1030.20 c 1026s | 24 | 5246719 | 4571462 | 1161 8799 | 45 | 38
1032.03/1032.21 c 1028s | 24 | 5257133 | 4580662 | 1161 8813 | 45 | 38
1034.03/1034.21 c 1030s | 24 | 5267341 | 4589562 | 1161 8827 | 45 | 38
1036.03/1036.23 c 1032s | 24 | 5277324 | 4598362 | 1161 8841 | 45 | 38
1038.03/1038.24 c 1034s | 24 | 5287169 | 4607062 | 1161 8855 | 45 | 38
1040.03/1040.26 c 1036s | 24 | 5296954 | 4615762 | 1161 8869 | 45 | 38
1042.03/1042.27 c 1038s | 24 | 5307785 | 4625262 | 1161 8884 | 45 | 38
1044.03/1044.29 c 1041s | 24 | 5317851 | 4634062 | 1161 8898 | 45 | 38
1046.12/1046.30 c 1043s | 24 | 5327652 | 4642562 | 1161 8911 | 45 | 38
1048.02/1048.30 c 1045s | 24 | 5337492 | 4651162 | 1161 8925 | 45 | 38
1050.12/1050.31 c 1047s | 24 | 5347027 | 4659662 | 1161 8938 | 45 | 38
1052.12/1052.31 c 1049s | 24 | 5356490 | 4667862 | 1161 8951 | 45 | 38
1054.12/1054.32 c 1051s | 24 | 5366536 | 4676562 | 1161 8965 | 45 | 38
1056.12/1056.34 c 1053s | 24 | 5376333 | 4685062 | 1161 8979 | 45 | 38
1058.12/1058.35 c 1055s | 24 | 5386333 | 4693862 | 1161 8993 | 45 | 38
1060.12/1060.36 c 1057s | 24 | 5396609 | 4702962 | 1161 9007 | 45 | 38
1062.12/1062.37 c 1059s | 24 | 5406976 | 4712062 | 1161 9021 | 45 | 38
1064.12/1064.38 c 1061s | 24 | 5417193 | 4721162 | 1161 9036 | 45 | 38
1066.11/1066.39 c 1063s | 24 | 5428348 | 4730762 | 1161 9051 | 45 | 38
1068.21/1068.41 c 1065s | 24 | 5439488 | 4740462 | 1161 9066 | 45 | 38
1070.22/1070.41 c 1067s | 24 | 5450459 | 4750062 | 1161 9082 | 45 | 38
1072.21/1072.43 c 1069s | 24 | 5460783 | 4759162 | 1161 9096 | 45 | 38
1074.21/1074.44 c 1071s | 24 | 5471094 | 4768162 | 1161 9110 | 45 | 38
1076.21/1076.44 c 1073s | 24 | 5481999 | 4777762 | 1161 9125 | 45 | 38
1078.21/1078.45 c 1075s | 24 | 5492225 | 4786662 | 1161 9139 | 45 | 38
1080.21/1080.46 c 1077s | 24 | 5502874 | 4795962 | 1161 9154 | 45 | 38
1082.21/1082.47 c 1079s | 24 | 5513175 | 4804962 | 1161 9168 | 45 | 38
1084.20/1084.49 c 1081s | 24 | 5523475 | 4813962 | 1161 9183 | 45 | 38
1086.30/1086.52 c 1083s | 24 | 5533182 | 4822562 | 1161 9196 | 45 | 38
1088.31/1088.54 c 1085s | 24 | 5543627 | 4831562 | 1161 9210 | 45 | 38
1090.31/1090.54 c 1087s | 24 | 5554198 | 4840662 | 1161 9225 | 45 | 38
1092.31/1092.55 c 1089s | 24 | 5564232 | 4849462 | 1161 9238 | 45 | 38
1094.32/1094.55 c 1091s | 24 | 5574406 | 4858262 | 1161 9252 | 45 | 38
1096.31/1096.56 c 1093s | 24 | 5583919 | 4866562 | 1161 9265 | 45 | 38
1098.31/1098.58 c 1095s | 24 | 5594441 | 4875562 | 1161 9279 | 45 | 38
1100.30/1100.58 c 1097s | 24 | 5604920 | 4884462 | 1161 9294 | 45 | 38
1102.30/1102.59 c 1099s | 24 | 5615720 | 4893662 | 1161 9308 | 45 | 38
1104.31/1104.59 c 1101s | 24 | 5625740 | 4902362 | 1161 9322 | 45 | 38
1106.30/1106.60 c 1103s | 24 | 5635665 | 4911162 | 1161 9335 | 45 | 38
1108.40/1108.61 c 1105s | 24 | 5645661 | 4919962 | 1161 9349 | 45 | 38
1110.40/1110.62 c 1107s | 24 | 5655890 | 4929162 | 1161 9364 | 45 | 38
1112.40/1112.62 c 1109s | 24 | 5666021 | 4938162 | 1161 9378 | 45 | 38
1114.40/1114.62 c 1111s | 24 | 5675949 | 4946962 | 1161 9392 | 45 | 38
1116.40/1116.64 c 1113s | 24 | 5685482 | 4955462 | 1161 9405 | 45 | 38
1118.39/1118.65 c 1115s | 24 | 5694968 | 4963862 | 1161 9419 | 45 | 38
1120.39/1120.65 c 1117s | 24 | 5704437 | 4972262 | 1161 9432 | 45 | 38
1122.39/1122.66 c 1119s | 24 | 5714162 | 4980862 | 1161 9445 | 45 | 38
1124.39/1124.67 c 1121s | 24 | 5723225 | 4988962 | 1278 9458 | 45 | 38
1126.38/1126.69 c 1123s | 24 | 5732214 | 4996962 | 1278 9469 | 45 | 38
1128.49/1128.71 c 1125s | 24 | 5741469 | 5005162 | 1278 9481 | 45 | 38
1130.49/1130.72 c 1127s | 24 | 5750746 | 5013362 | 1278 9493 | 45 | 38
1132.49/1132.72 c 1129s | 24 | 5761108 | 5022262 | 1278 9506 | 45 | 38
1134.49/1134.73 c 1131s | 24 | 5771406 | 5031162 | 1278 9519 | 45 | 38
1136.49/1136.74 c 1133s | 24 | 5781058 | 5039662 | 1278 9531 | 45 | 38
1138.49/1138.74 c 1135s | 24 | 5790473 | 5047962 | 1278 9543 | 45 | 38
1140.49/1140.74 c 1137s | 24 | 5800508 | 5056762 | 1278 9556 | 45 | 38
1142.39/1142.64 c 1139s | 25 | 5809969 | 5065098 | 1278 9568 | 45 | 38
1144.39/1144.65 c 1141s | 25 | 5819958 | 5073598 | 1278 9580 | 45 | 38
1146.38/1146.66 c 1143s | 25 | 5829766 | 5082098 | 1278 9592 | 45 | 38
1148.38/1148.69 c 1145s | 25 | 5839631 | 5090598 | 1278 9605 | 45 | 38
1150.49/1150.71 c 1147s | 25 | 5849293 | 5098898 | 1278 9616 | 45 | 38
1152.48/1152.72 c 1149s | 25 | 5859031 | 5107198 | 1278 9628 | 45 | 38
1154.48/1154.74 c 1151s | 25 | 5868558 | 5115398 | 1278 9640 | 45 | 38
1156.48/1156.76 c 1153s | 25 | 5877580 | 5123198 | 1278 9651 | 45 | 38
1158.47/1158.78 c 1155s | 25 | 5886852 | 5131198 | 1278 9662 | 45 | 38
1160.47/1160.79 c 1157s | 25 | 5896505 | 5139498 | 1278 9674 | 45 | 38
1162.48/1162.79 c 1159s | 25 | 5905234 | 5147198 | 1278 9685 | 45 | 38
1164.47/1164.79 c 1161s | 25 | 5914486 | 5155198 | 1278 9697 | 45 | 38
1166.57/1166.80 c 1163s | 25 | 5923604 | 5163098 | 1278 9708 | 45 | 38
1168.57/1168.81 c 1165s | 25 | 5932366 | 5170798 | 1278 9719 | 45 | 38
1170.57/1170.82 c 1167s | 25 | 5941118 | 5178398 | 1278 9730 | 45 | 38
1172.56/1172.83 c 1169s | 25 | 5950238 | 5186298 | 1278 9741 | 45 | 38
1174.57/1174.85 c 1171s | 25 | 5959035 | 5193898 | 1278 9752 | 45 | 38
1176.56/1176.85 c 1173s | 25 | 5967772 | 5201398 | 1278 9763 | 45 | 38
1178.56/1178.86 c 1175s | 25 | 5976723 | 5209098 | 1278 9774 | 45 | 38
1180.56/1180.87 c 1177s | 25 | 5985918 | 5216998 | 1278 9785 | 45 | 38
1182.56/1182.89 c 1179s | 25 | 5995654 | 5225298 | 1278 9797 | 45 | 38
1184.66/1184.90 c 1181s | 25 | 6004875 | 5233198 | 1278 9808 | 45 | 38
1186.66/1186.91 c 1183s | 25 | 6013748 | 5240998 | 1278 9820 | 45 | 38
1188.65/1188.92 c 1185s | 25 | 6022682 | 5248798 | 1278 9831 | 45 | 38
1190.65/1190.93 c 1187s | 25 | 6031339 | 5256398 | 1278 9842 | 45 | 38
1192.65/1192.96 c 1189s | 25 | 6040141 | 5263898 | 1278 9853 | 45 | 38
1194.65/1194.99 c 1191s | 25 | 6049471 | 5271998 | 1278 9864 | 45 | 38
1196.66/1197.00 c 1193s | 25 | 6058581 | 5279798 | 1278 9875 | 45 | 38
1198.65/1199.00 c 1195s | 25 | 6067275 | 5287398 | 1278 9886 | 45 | 38
1200.75/1201.01 c 1197s | 25 | 6076135 | 5294998 | 1278 9897 | 45 | 38
1202.75/1203.02 c 1199s | 25 | 6085187 | 5302798 | 1278 9908 | 45 | 38
1204.76/1205.05 c 1201s | 25 | 6094391 | 5310798 | 1278 9920 | 45 | 38
1206.75/1207.06 c 1203s | 25 | 6104036 | 5319098 | 1278 9932 | 45 | 38
1208.76/1209.08 c 1205s | 25 | 6113581 | 5327298 | 1278 9943 | 45 | 38
1210.75/1211.10 c 1207s | 25 | 6122722 | 5335198 | 1278 9955 | 45 | 38
1212.85/1213.12 c 1209s | 25 | 6131932 | 5343298 | 1278 9966 | 45 | 38
1214.85/1215.13 c 1211s | 25 | 6140674 | 5350998 | 1278 9977 | 45 | 38
1216.85/1217.14 c 1213s | 25 | 6150358 | 5359398 | 1278 9989 | 45 | 38
1218.85/1219.14 c 1215s | 25 | 6160289 | 5367898 | 1278 10001 | 45 | 38
1220.85/1221.16 c 1217s | 25 | 6169647 | 5376098 | 1278 10013 | 45 | 38
1222.85/1223.16 c 1219s | 25 | 6179085 | 5384198 | 1278 10025 | 45 | 38
1224.85/1225.18 c 1221s | 25 | 6188054 | 5391998 | 1278 10036 | 45 | 38
1226.94/1227.20 c 1223s | 25 | 6197762 | 5400598 | 1278 10048 | 45 | 38
1228.94/1229.21 c 1225s | 25 | 6207300 | 5408998 | 1278 10060 | 45 | 38
1230.94/1231.22 c 1227s | 25 | 6216565 | 5417298 | 1278 10072 | 45 | 38
1232.95/1233.24 c 1229s | 25 | 6226140 | 5425698 | 1278 10084 | 45 | 38
1234.94/1235.25 c 1231s | 25 | 6235620 | 5433998 | 1278 10096 | 45 | 38
1236.94/1237.25 c 1233s | 25 | 6244380 | 5441798 | 1278 10108 | 45 | 38
1238.94/1239.26 c 1235s | 25 | 6254081 | 5450198 | 1278 10120 | 45 | 38
1240.94/1241.26 c 1237s | 25 | 6263988 | 5458798 | 1278 10132 | 45 | 38
1242.94/1243.28 c 1239s | 25 | 6273305 | 5466998 | 1278 10144 | 45 | 38
1244.94/1245.30 c 1242s | 25 | 6282239 | 5474898 | 1278 10155 | 45 | 38
1247.03/1247.32 c 1244s | 25 | 6290973 | 5482698 | 1278 10166 | 45 | 38
1249.03/1249.32 c 1246s | 25 | 6299434 | 5490198 | 1278 10177 | 45 | 38
1251.03/1251.33 c 1248s | 25 | 6308388 | 5497998 | 1278 10188 | 45 | 38
1253.03/1253.35 c 1250s | 25 | 6317410 | 5505898 | 1278 10199 | 45 | 38
1255.03/1255.36 c 1252s | 25 | 6326704 | 5513998 | 1278 10211 | 45 | 38
1257.03/1257.37 c 1254s | 25 | 6335861 | 5521798 | 1278 10222 | 45 | 38
1259.12/1259.40 c 1256s | 25 | 6345099 | 5529898 | 1278 10233 | 45 | 38
1261.12/1261.41 c 1258s | 25 | 6354482 | 5537898 | 1278 10245 | 45 | 38
1263.12/1263.43 c 1260s | 25 | 6363289 | 5545698 | 1278 10256 | 45 | 38
1265.12/1265.44 c 1262s | 25 | 6372208 | 5553498 | 1278 10267 | 45 | 38
1267.12/1267.45 c 1264s | 25 | 6381675 | 5561598 | 1278 10278 | 45 | 38
1269.12/1269.47 c 1266s | 25 | 6390816 | 5569698 | 1278 10290 | 45 | 38
1271.11/1271.49 c 1268s | 25 | 6400476 | 5578098 | 1278 10302 | 45 | 38
1273.11/1273.49 c 1270s | 25 | 6409231 | 5585798 | 1278 10313 | 45 | 38
1275.21/1275.50 c 1272s | 25 | 6418593 | 5593998 | 1278 10325 | 45 | 38
1277.22/1277.52 c 1274s | 25 | 6428109 | 5602298 | 1278 10337 | 45 | 38
1279.22/1279.53 c 1276s | 25 | 6437622 | 5610498 | 1278 10349 | 45 | 38
1281.23/1281.53 c 1278s | 25 | 6446810 | 5618598 | 1278 10360 | 45 | 38
1283.22/1283.54 c 1280s | 25 | 6456379 | 5626998 | 1278 10372 | 45 | 38
1285.22/1285.56 c 1282s | 25 | 6466065 | 5635398 | 1278 10385 | 45 | 38
1287.21/1287.57 c 1284s | 25 | 6475249 | 5643598 | 1278 10396 | 45 | 38
1289.31/1289.60 c 1286s | 25 | 6484708 | 5651898 | 1278 10408 | 45 | 38
1291.31/1291.60 c 1288s | 25 | 6494241 | 5660098 | 1278 10420 | 45 | 38
1293.32/1293.61 c 1290s | 25 | 6503475 | 5668198 | 1278 10432 | 45 | 38
1295.31/1295.63 c 1292s | 25 | 6512445 | 5676098 | 1278 10443 | 45 | 38
1297.30/1297.65 c 1294s | 25 | 6521819 | 5684198 | 1278 10455 | 45 | 38
1299.30/1299.67 c 1296s | 25 | 6530803 | 5692098 | 1278 10466 | 45 | 38
1301.30/1301.68 c 1298s | 25 | 6539880 | 5699998 | 1278 10477 | 45 | 38
1303.31/1303.68 c 1300s | 25 | 6549061 | 5707998 | 1278 10489 | 45 | 38
1305.30/1305.68 c 1302s | 25 | 6558354 | 5716098 | 1278 10500 | 45 | 38
1307.30/1307.69 c 1304s | 25 | 6567394 | 5723898 | 1278 10511 | 45 | 38
1309.40/1309.70 c 1306s | 25 | 6576629 | 5731898 | 1278 10523 | 45 | 38
1311.40/1311.72 c 1308s | 25 | 6585250 | 5739598 | 1278 10534 | 45 | 38
1313.40/1313.74 c 1310s | 25 | 6594233 | 5747498 | 1278 10545 | 45 | 38
1315.40/1315.76 c 1312s | 25 | 6603357 | 5755398 | 1278 10557 | 45 | 38
1317.39/1317.76 c 1314s | 25 | 6612379 | 5763398 | 1278 10568 | 45 | 38
1319.39/1319.78 c 1316s | 25 | 6621571 | 5771498 | 1278 10580 | 45 | 38
1321.49/1321.80 c 1318s | 25 | 6630579 | 5779498 | 1278 10591 | 45 | 38
1323.49/1323.80 c 1320s | 25 | 6639248 | 5787198 | 1278 10602 | 45 | 38
1325.48/1325.80 c 1322s | 25 | 6647763 | 5794798 | 1278 10613 | 45 | 38
1327.49/1327.80 c 1324s | 25 | 6656810 | 5802598 | 1278 10624 | 45 | 38
1329.48/1329.83 c 1326s | 25 | 6666092 | 5810598 | 1278 10636 | 45 | 38
1331.48/1331.84 c 1328s | 25 | 6675162 | 5818498 | 1278 10647 | 45 | 38
1333.48/1333.85 c 1330s | 25 | 6684004 | 5826298 | 1278 10659 | 45 | 38
1335.48/1335.86 c 1332s | 25 | 6692409 | 5833798 | 1278 10670 | 45 | 38
1337.48/1337.87 c 1334s | 25 | 6701468 | 5841698 | 1278 10681 | 45 | 38
1339.48/1339.89 c 1336s | 25 | 6710725 | 5849798 | 1278 10693 | 45 | 38
1341.58/1341.91 c 1338s | 25 | 6719568 | 5857498 | 1278 10704 | 45 | 38
1343.57/1343.92 c 1340s | 25 | 6728751 | 5865398 | 1278 10715 | 45 | 38
1345.58/1345.93 c 1342s | 25 | 6737634 | 5872998 | 1278 10726 | 45 | 38
1347.58/1347.94 c 1344s | 25 | 6746378 | 5880598 | 1278 10737 | 45 | 38
1349.58/1349.95 c 1346s | 25 | 6756359 | 5889298 | 1278 10749 | 45 | 38
1351.59/1351.97 c 1348s | 25 | 6765523 | 5897398 | 1278 10761 | 45 | 38
1353.58/1353.98 c 1350s | 25 | 6775113 | 5905598 | 1278 10773 | 45 | 38
1355.57/1355.99 c 1352s | 25 | 6784907 | 5914198 | 1278 10785 | 45 | 38
1357.67/1358.00 c 1354s | 25 | 6794676 | 5922698 | 1278 10797 | 45 | 38
1359.67/1360.01 c 1356s | 25 | 6803887 | 5930798 | 1278 10809 | 45 | 38
1361.67/1362.01 c 1358s | 25 | 6813491 | 5939198 | 1278 10821 | 45 | 38
1363.68/1364.03 c 1360s | 25 | 6823601 | 5947998 | 1278 10834 | 45 | 38
1365.67/1366.03 c 1362s | 25 | 6833241 | 5956398 | 1278 10846 | 45 | 38
1367.67/1368.04 c 1364s | 25 | 6843286 | 5964998 | 1278 10858 | 45 | 38
1369.67/1370.05 c 1366s | 25 | 6852842 | 5973298 | 1278 10870 | 45 | 38
1371.67/1372.06 c 1368s | 25 | 6862628 | 5981898 | 1278 10883 | 45 | 38
1373.67/1374.08 c 1370s | 25 | 6873041 | 5990898 | 1278 10896 | 45 | 38
1375.66/1376.08 c 1372s | 25 | 6882179 | 5998798 | 1278 10907 | 45 | 38
1377.76/1378.11 c 1374s | 25 | 6891669 | 6006998 | 1278 10919 | 45 | 38
1379.76/1380.11 c 1376s | 25 | 6900831 | 6014898 | 1278 10931 | 45 | 38
1381.76/1382.11 c 1378s | 25 | 6910288 | 6023098 | 1278 10942 | 45 | 38
1383.76/1384.11 c 1380s | 25 | 6918989 | 6030698 | 1278 10953 | 45 | 38
1385.76/1386.12 c 1382s | 25 | 6928131 | 6038598 | 1278 10965 | 45 | 38
1387.76/1388.12 c 1384s | 25 | 6937605 | 6046598 | 1278 10976 | 45 | 38
1389.75/1390.13 c 1386s | 25 | 6947030 | 6054798 | 1278 10988 | 45 | 38
1391.75/1392.15 c 1388s | 25 | 6956447 | 6062898 | 1278 11000 | 45 | 38
1393.75/1394.17 c 1390s | 25 | 6965837 | 6070998 | 1278 11011 | 45 | 38
1395.75/1396.17 c 1392s | 25 | 6974866 | 6078898 | 1278 11023 | 45 | 38
1397.76/1398.17 c 1394s | 25 | 6983685 | 6086598 | 1278 11034 | 45 | 38
1399.75/1400.17 c 1396s | 25 | 6992651 | 6094398 | 1278 11045 | 45 | 38
1401.85/1402.20 c 1398s | 25 | 7002357 | 6102998 | 1278 11058 | 45 | 38
1403.85/1404.21 c 1400s | 25 | 7011505 | 6111098 | 1278 11069 | 45 | 38
1405.84/1406.22 c 1402s | 25 | 7020371 | 6118898 | 1278 11081 | 45 | 38
1407.84/1408.24 c 1404s | 25 | 7029449 | 6126798 | 1278 11092 | 45 | 38
1409.85/1410.26 c 1406s | 25 | 7039145 | 6135198 | 1278 11104 | 45 | 38
1411.84/1412.26 c 1408s | 25 | 7047560 | 6142698 | 1278 11115 | 45 | 38
1413.84/1414.28 c 1410s | 25 | 7056692 | 6150598 | 1278 11127 | 45 | 38
1415.84/1416.28 c 1412s | 25 | 7065311 | 6158398 | 1278 11138 | 45 | 38
1417.84/1418.29 c 1415s | 25 | 7074763 | 6166698 | 1278 11150 | 45 | 38
1419.94/1420.32 c 1417s | 25 | 7084357 | 6174998 | 1278 11162 | 45 | 38
1421.94/1422.33 c 1419s | 25 | 7094368 | 6183598 | 1278 11175 | 45 | 38
1423.94/1424.35 c 1421s | 25 | 7104066 | 6192098 | 1278 11187 | 45 | 38
1425.93/1426.37 c 1423s | 25 | 7113569 | 6200398 | 1278 11199 | 45 | 38
1427.93/1428.38 c 1425s | 25 | 7123148 | 6208698 | 1278 11211 | 45 | 38
1429.93/1430.39 c 1427s | 25 | 7132689 | 6216898 | 1278 11222 | 45 | 38
1432.03/1432.41 c 1429s | 25 | 7141994 | 6224998 | 1278 11234 | 45 | 38
1434.04/1434.43 c 1431s | 25 | 7151561 | 6233198 | 1278 11246 | 45 | 38
1436.03/1436.44 c 1433s | 25 | 7161190 | 6241398 | 1278 11257 | 45 | 38
1438.03/1438.46 c 1435s | 25 | 7170587 | 6249498 | 1278 11269 | 45 | 38
1440.03/1440.48 c 1437s | 25 | 7180172 | 6257698 | 1278 11281 | 45 | 38
1442.02/1442.49 c 1439s | 25 | 7189545 | 6265798 | 1278 11292 | 45 | 38
1444.12/1444.51 c 1441s | 25 | 7198722 | 6273698 | 1278 11303 | 45 | 38
1446.13/1446.52 c 1443s | 25 | 7207617 | 6281498 | 1278 11315 | 45 | 38
1448.12/1448.52 c 1445s | 25 | 7216873 | 6289598 | 1278 11326 | 45 | 38
1450.12/1450.54 c 1447s | 25 | 7226172 | 6297698 | 1278 11338 | 45 | 38
1452.12/1452.55 c 1449s | 25 | 7235838 | 6305998 | 1278 11350 | 45 | 38
1454.12/1454.57 c 1451s | 25 | 7245169 | 6314098 | 1278 11361 | 45 | 38
1456.12/1456.57 c 1453s | 25 | 7254580 | 6322298 | 1278 11373 | 45 | 38
1458.12/1458.57 c 1455s | 25 | 7263992 | 6330498 | 1278 11385 | 45 | 38
1460.12/1460.59 c 1457s | 25 | 7273247 | 6338598 | 1278 11396 | 45 | 38
1462.12/1462.59 c 1459s | 25 | 7282799 | 6346798 | 1278 11408 | 45 | 38
1464.22/1464.61 c 1461s | 25 | 7291729 | 6354598 | 1278 11419 | 45 | 38
1466.22/1466.62 c 1463s | 25 | 7301056 | 6362698 | 1278 11431 | 45 | 38
1468.23/1468.65 c 1465s | 25 | 7310111 | 6370698 | 1278 11443 | 45 | 38
1470.22/1470.67 c 1467s | 25 | 7319519 | 6378898 | 1278 11454 | 45 | 38
1472.22/1472.67 c 1469s | 25 | 7328557 | 6386798 | 1278 11466 | 45 | 38
1474.22/1474.69 c 1471s | 25 | 7337768 | 6394798 | 1278 11477 | 45 | 38
1476.22/1476.69 c 1473s | 25 | 7346628 | 6402498 | 1278 11488 | 45 | 38
1478.32/1478.70 c 1475s | 25 | 7355848 | 6410598 | 1278 11500 | 45 | 38
1480.32/1480.72 c 1477s | 25 | 7365092 | 6418698 | 1278 11512 | 45 | 38
1482.31/1482.74 c 1479s | 25 | 7374427 | 6426798 | 1278 11523 | 45 | 38
1484.31/1484.76 c 1481s | 25 | 7383489 | 6434698 | 1278 11535 | 45 | 38
1486.31/1486.76 c 1483s | 25 | 7392731 | 6442698 | 1278 11546 | 45 | 38
1488.31/1488.77 c 1485s | 25 | 7401878 | 6450598 | 1278 11557 | 45 | 38
1490.31/1490.77 c 1487s | 25 | 7411110 | 6458698 | 1278 11569 | 45 | 38
1492.31/1492.78 c 1489s | 25 | 7420407 | 6466698 | 1278 11581 | 45 | 38
1494.41/1494.80 c 1491s | 25 | 7429377 | 6474698 | 1278 11592 | 45 | 38
1496.40/1496.82 c 1493s | 25 | 7438288 | 6482598 | 1278 11603 | 45 | 38
1498.40/1498.83 c 1495s | 25 | 7447390 | 6490598 | 1278 11615 | 45 | 38
1500.40/1500.84 c 1497s | 25 | 7456709 | 6498798 | 1278 11627 | 45 | 38
1502.40/1502.85 c 1499s | 25 | 7465642 | 6506698 | 1278 11638 | 45 | 38
1504.41/1504.86 c 1501s | 25 | 7475080 | 6514898 | 1278 11650 | 45 | 38
1506.40/1506.88 c 1503s | 25 | 7484344 | 6522898 | 1278 11662 | 45 | 38
1508.50/1508.90 c 1505s | 25 | 7493457 | 6530798 | 1278 11673 | 45 | 38
1510.50/1510.90 c 1507s | 25 | 7502751 | 6538798 | 1278 11684 | 45 | 38
1512.50/1512.92 c 1509s | 25 | 7512463 | 6547098 | 1278 11696 | 45 | 38
1514.50/1514.94 c 1511s | 25 | 7521278 | 6554898 | 1278 11707 | 45 | 38
1516.50/1516.95 c 1513s | 25 | 7530267 | 6562798 | 1278 11719 | 45 | 38
1518.49/1518.95 c 1515s | 25 | 7539052 | 6570598 | 1278 11730 | 45 | 38
1520.49/1520.97 c 1517s | 25 | 7547910 | 6578398 | 1278 11741 | 45 | 38
1522.49/1522.98 c 1519s | 25 | 7557145 | 6586398 | 1278 11753 | 45 | 38
1524.49/1524.99 c 1521s | 25 | 7566047 | 6594198 | 1278 11764 | 45 | 38
1526.49/1526.99 c 1523s | 25 | 7575333 | 6602198 | 1278 11775 | 45 | 38
1528.59/1529.01 c 1525s | 25 | 7584422 | 6610198 | 1278 11787 | 45 | 38
1530.58/1531.02 c 1527s | 25 | 7593475 | 6617998 | 1278 11798 | 45 | 38
1532.58/1533.03 c 1529s | 25 | 7602447 | 6625798 | 1278 11809 | 45 | 38
1534.58/1535.05 c 1531s | 25 | 7611475 | 6633698 | 1278 11820 | 45 | 38
1536.58/1537.08 c 1533s | 25 | 7620564 | 6641498 | 1278 11832 | 45 | 38
1538.68/1539.10 c 1535s | 25 | 7629874 | 6649698 | 1278 11843 | 45 | 38
1540.68/1541.11 c 1537s | 25 | 7639157 | 6657798 | 1278 11855 | 45 | 38
1542.68/1543.14 c 1539s | 25 | 7648611 | 6665998 | 1278 11867 | 45 | 38
1544.68/1545.15 c 1541s | 25 | 7658049 | 6674098 | 1278 11878 | 45 | 38
1546.67/1547.16 c 1543s | 25 | 7667122 | 6681998 | 1278 11889 | 45 | 38
1548.67/1549.16 c 1545s | 25 | 7676143 | 6689698 | 1278 11901 | 45 | 38
1550.68/1551.18 c 1547s | 25 | 7684882 | 6697298 | 1278 11911 | 45 | 38
1552.67/1553.19 c 1549s | 25 | 7693651 | 6704998 | 1278 11923 | 45 | 38
1554.67/1555.19 c 1551s | 25 | 7702637 | 6712898 | 1278 11934 | 45 | 38
1556.77/1557.20 c 1553s | 25 | 7711805 | 6720798 | 1278 11945 | 45 | 38
1558.77/1559.22 c 1555s | 25 | 7720683 | 6728598 | 1278 11956 | 45 | 38
1560.77/1561.23 c 1557s | 25 | 7729909 | 6736598 | 1278 11968 | 45 | 38
1562.78/1563.23 c 1559s | 25 | 7738697 | 6744198 | 1278 11979 | 45 | 38
1564.77/1565.25 c 1561s | 25 | 7747699 | 6751998 | 1278 11990 | 45 | 38
1566.76/1567.27 c 1563s | 25 | 7756188 | 6759498 | 1278 12001 | 45 | 38
1568.76/1569.28 c 1565s | 25 | 7765265 | 6767398 | 1278 12012 | 45 | 38
1570.76/1571.29 c 1567s | 25 | 7774800 | 6775598 | 1278 12024 | 45 | 38
1572.86/1573.30 c 1570s | 25 | 7784308 | 6783798 | 1278 12035 | 45 | 38
1574.77/1575.30 c 1572s | 25 | 7793697 | 6791798 | 1278 12047 | 45 | 38
1576.87/1577.32 c 1574s | 25 | 7803644 | 6800298 | 1278 12059 | 45 | 38
1578.87/1579.34 c 1576s | 25 | 7813305 | 6808498 | 1278 12071 | 45 | 38
1580.87/1581.35 c 1578s | 25 | 7823103 | 6816798 | 1278 12082 | 45 | 38
1582.87/1583.35 c 1580s | 25 | 7832473 | 6824898 | 1278 12094 | 45 | 38
1584.86/1585.36 c 1582s | 25 | 7842044 | 6833198 | 1278 12106 | 45 | 38
1586.87/1587.38 c 1584s | 25 | 7851757 | 6841598 | 1278 12118 | 45 | 38
1588.86/1589.39 c 1586s | 25 | 7861069 | 6849698 | 1278 12129 | 45 | 38
1590.86/1591.39 c 1588s | 25 | 7870827 | 6858098 | 1278 12142 | 45 | 38
1592.96/1593.41 c 1590s | 25 | 7880429 | 6866398 | 1278 12153 | 45 | 38
1594.96/1595.43 c 1592s | 25 | 7889989 | 6874698 | 1278 12165 | 45 | 38
1596.95/1597.44 c 1594s | 25 | 7899796 | 6883098 | 1278 12177 | 45 | 38
1598.96/1599.46 c 1596s | 25 | 7909553 | 6891398 | 1278 12189 | 45 | 38
1600.95/1601.48 c 1598s | 25 | 7919327 | 6899698 | 1278 12201 | 45 | 38
1603.05/1603.50 c 1600s | 25 | 7928856 | 6907898 | 1278 12213 | 45 | 38
1605.05/1605.52 c 1602s | 25 | 7938722 | 6916298 | 1278 12225 | 45 | 38
1607.04/1607.54 c 1604s | 25 | 7948443 | 6924498 | 1278 12237 | 45 | 38
1609.04/1609.56 c 1606s | 25 | 7958040 | 6932698 | 1278 12249 | 45 | 38
1611.05/1611.56 c 1608s | 25 | 7967814 | 6940998 | 1278 12261 | 45 | 38
1613.04/1613.58 c 1610s | 25 | 7977631 | 6949398 | 1278 12273 | 45 | 38
1615.14/1615.60 c 1612s | 25 | 7987430 | 6957698 | 1278 12285 | 45 | 38
1617.14/1617.60 c 1614s | 25 | 7997310 | 6966098 | 1278 12297 | 45 | 38
1619.14/1619.62 c 1616s | 25 | 8006876 | 6974198 | 1278 12309 | 45 | 38
1621.14/1621.63 c 1618s | 25 | 8016229 | 6982198 | 1278 12320 | 45 | 38
1623.15/1623.66 c 1620s | 25 | 8025635 | 6990298 | 1278 12332 | 45 | 38
1625.14/1625.68 c 1622s | 25 | 8034747 | 6998198 | 1278 12343 | 45 | 38
1627.14/1627.68 c 1624s | 25 | 8045096 | 7007098 | 1278 12356 | 45 | 38
1629.14/1629.69 c 1626s | 25 | 8055531 | 7015798 | 1278 12369 | 45 | 38
1631.24/1631.70 c 1628s | 25 | 8065093 | 7023998 | 1278 12381 | 45 | 38
1633.24/1633.72 c 1630s | 25 | 8074421 | 7031998 | 1278 12392 | 45 | 38
1635.24/1635.73 c 1632s | 25 | 8083655 | 7040098 | 1278 12404 | 45 | 38
1637.23/1637.74 c 1634s | 25 | 8093063 | 7048298 | 1278 12415 | 45 | 38
1639.23/1639.74 c 1636s | 25 | 8102707 | 7056398 | 1278 12427 | 45 | 38
1641.23/1641.76 c 1638s | 25 | 8112143 | 7064398 | 1278 12439 | 45 | 38
1643.23/1643.78 c 1640s | 25 | 8121314 | 7072398 | 1278 12450 | 45 | 38
1645.24/1645.79 c 1642s | 25 | 8131123 | 7080698 | 1278 12462 | 45 | 38
1647.23/1647.80 c 1644s | 25 | 8140681 | 7088898 | 1278 12474 | 45 | 38
1649.33/1649.81 c 1646s | 25 | 8150855 | 7097498 | 1278 12486 | 45 | 38
1651.32/1651.84 c 1648s | 25 | 8160520 | 7105898 | 1278 12499 | 45 | 38
1653.32/1653.85 c 1650s | 25 | 8170326 | 7114298 | 1278 12511 | 45 | 38
1655.32/1655.86 c 1652s | 25 | 8180425 | 7123198 | 1278 12524 | 45 | 38
1657.33/1657.88 c 1654s | 25 | 8191927 | 7132898 | 1278 12537 | 45 | 38
1659.32/1659.89 c 1656s | 25 | 8202739 | 7142098 | 1278 12551 | 45 | 38
1661.42/1661.90 c 1658s | 25 | 8213027 | 7151098 | 1278 12563 | 45 | 38
1663.42/1663.90 c 1660s | 25 | 8223272 | 7159998 | 1278 12576 | 45 | 38
1665.42/1665.91 c 1662s | 25 | 8234411 | 7169498 | 1278 12590 | 45 | 38
1667.42/1667.93 c 1664s | 25 | 8245536 | 7178998 | 1278 12604 | 45 | 38
1669.43/1669.95 c 1666s | 25 | 8256757 | 7188598 | 1278 12618 | 45 | 38
1671.42/1671.96 c 1668s | 25 | 8267003 | 7197398 | 1278 12630 | 45 | 38
1673.42/1673.97 c 1670s | 25 | 8276953 | 7206098 | 1278 12643 | 45 | 38
1675.42/1675.99 c 1672s | 25 | 8287014 | 7214798 | 1278 12656 | 45 | 38
1677.42/1677.99 c 1674s | 25 | 8297208 | 7223598 | 1278 12668 | 45 | 38
1679.52/1680.00 c 1676s | 25 | 8307072 | 7232098 | 1278 12681 | 45 | 38
1681.52/1682.02 c 1678s | 25 | 8316819 | 7240598 | 1278 12693 | 45 | 38
1683.52/1684.04 c 1680s | 25 | 8327195 | 7249598 | 1278 12706 | 45 | 38
1685.51/1686.05 c 1682s | 25 | 8337892 | 7258698 | 1278 12719 | 45 | 38
1687.51/1688.06 c 1684s | 25 | 8348031 | 7267398 | 1278 12732 | 45 | 38
1689.51/1690.08 c 1686s | 25 | 8359065 | 7276998 | 1278 12746 | 45 | 38
1691.51/1692.09 c 1688s | 25 | 8369084 | 7285598 | 1278 12758 | 45 | 38
1693.52/1694.10 c 1690s | 25 | 8379476 | 7294498 | 1278 12771 | 45 | 38
1695.61/1696.11 c 1692s | 25 | 8389104 | 7302998 | 1278 12783 | 45 | 38
1697.61/1698.13 c 1694s | 25 | 8398320 | 7311098 | 1278 12795 | 45 | 38
1699.61/1700.14 c 1696s | 25 | 8408471 | 7319898 | 1278 12807 | 45 | 38
1701.61/1702.15 c 1698s | 25 | 8418521 | 7328598 | 1278 12820 | 45 | 38
1703.61/1704.16 c 1700s | 25 | 8429326 | 7337698 | 1278 12833 | 45 | 38
1705.62/1706.18 c 1702s | 25 | 8439519 | 7346498 | 1278 12846 | 45 | 38
1707.71/1708.20 c 1704s | 25 | 8450297 | 7355798 | 1278 12859 | 45 | 38
1709.71/1710.22 c 1706s | 25 | 8460138 | 7364398 | 1278 12872 | 45 | 38
1711.71/1712.22 c 1708s | 25 | 8470285 | 7373098 | 1278 12884 | 45 | 38
1713.71/1714.23 c 1710s | 25 | 8480036 | 7381598 | 1278 12896 | 45 | 38
1715.71/1716.23 c 1712s | 25 | 8490358 | 7390398 | 1278 12909 | 45 | 38
1717.71/1718.25 c 1714s | 25 | 8500490 | 7399198 | 1278 12922 | 45 | 38
1719.71/1720.26 c 1716s | 25 | 8510644 | 7407998 | 1278 12935 | 45 | 38
1721.71/1722.28 c 1718s | 25 | 8520712 | 7416698 | 1278 12947 | 45 | 38
1723.81/1724.30 c 1721s | 25 | 8530297 | 7425098 | 1278 12959 | 45 | 38
1725.80/1726.31 c 1723s | 25 | 8540864 | 7434398 | 1278 12973 | 45 | 38
1727.80/1728.32 c 1725s | 25 | 8551367 | 7443598 | 1278 12986 | 45 | 38
1729.81/1730.34 c 1727s | 25 | 8562022 | 7452798 | 1278 12999 | 45 | 38
1731.80/1732.36 c 1729s | 25 | 8572077 | 7461598 | 1278 13012 | 45 | 38
1733.80/1734.37 c 1731s | 25 | 8581661 | 7470098 | 1278 13024 | 45 | 38
1735.80/1736.37 c 1733s | 25 | 8590668 | 7478198 | 1278 13036 | 45 | 38
1737.80/1738.39 c 1735s | 25 | 8600194 | 7486598 | 1278 13048 | 45 | 38
1739.90/1740.40 c 1737s | 25 | 8610059 | 7495198 | 1278 13061 | 45 | 38
1741.91/1742.42 c 1739s | 25 | 8619082 | 7503198 | 1406 13072 | 45 | 38
1743.91/1744.43 c 1741s | 25 | 8628058 | 7511198 | 1406 13082 | 45 | 38
1745.91/1746.45 c 1743s | 25 | 8637192 | 7519298 | 1406 13093 | 45 | 38
1747.91/1748.47 c 1745s | 25 | 8647325 | 7528098 | 1406 13105 | 45 | 38
1749.91/1750.48 c 1747s | 25 | 8656611 | 7536298 | 1406 13116 | 45 | 38
1751.91/1752.49 c 1749s | 25 | 8666304 | 7544798 | 1406 13127 | 45 | 38
1754.01/1754.51 c 1751s | 25 | 8676294 | 7553598 | 1406 13138 | 45 | 38
1756.01/1756.53 c 1753s | 25 | 8686538 | 7562398 | 1406 13150 | 45 | 38
1758.00/1758.53 c 1755s | 25 | 8695661 | 7570498 | 1406 13161 | 45 | 38
1760.00/1760.54 c 1757s | 25 | 8704663 | 7578498 | 1406 13171 | 45 | 38
1762.00/1762.54 c 1759s | 25 | 8715925 | 7588098 | 1406 13184 | 45 | 38
1764.01/1764.55 c 1761s | 25 | 8726156 | 7597098 | 1406 13196 | 45 | 38
1764.20/1764.70 c 1761s | 26 | 8726903 | 7597752 | 1406 13197 | 45 | 38
1766.11/1766.70 c 1763s | 26 | 8736989 | 7606752 | 1406 13209 | 45 | 38
1768.20/1768.70 c 1765s | 26 | 8747796 | 7616152 | 1406 13221 | 45 | 38
1770.20/1770.71 c 1767s | 26 | 8758348 | 7625452 | 1406 13234 | 45 | 38
1772.20/1772.72 c 1769s | 26 | 8769331 | 7634852 | 1406 13246 | 45 | 38
1774.20/1774.73 c 1771s | 26 | 8779836 | 7643952 | 1406 13258 | 45 | 38
1776.20/1776.75 c 1773s | 26 | 8789881 | 7652852 | 1406 13270 | 45 | 38
1778.21/1778.76 c 1775s | 26 | 8799766 | 7661552 | 1406 13281 | 45 | 38
1780.20/1780.77 c 1777s | 26 | 8810022 | 7670552 | 1406 13293 | 45 | 38
1782.20/1782.78 c 1779s | 26 | 8819934 | 7679252 | 1406 13305 | 45 | 38
1784.30/1784.80 c 1781s | 26 | 8830297 | 7688252 | 1406 13317 | 45 | 38
1786.30/1786.82 c 1783s | 26 | 8840825 | 7697352 | 1406 13329 | 45 | 38
1788.30/1788.84 c 1785s | 26 | 8850616 | 7705952 | 1406 13340 | 45 | 38
1790.30/1790.85 c 1787s | 26 | 8860617 | 7714652 | 1406 13352 | 45 | 38
1792.30/1792.85 c 1789s | 26 | 8870058 | 7722952 | 1406 13363 | 45 | 38
1794.30/1794.86 c 1791s | 26 | 8879750 | 7731452 | 1406 13374 | 45 | 38
1796.30/1796.87 c 1793s | 26 | 8890231 | 7740652 | 1406 13386 | 45 | 38
1798.30/1798.88 c 1795s | 26 | 8900124 | 7749252 | 1406 13398 | 45 | 38
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4117798-1467215374/watcher-4117798-1467215374 -o /tmp/evaluation-result-4117798-1467215374/solver-4117798-1467215374 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1467215373-3684 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117798-1467215374.opb
pid=3860
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: 1.35 1.33 1.62 3/179 3863
/proc/meminfo: memFree=28040052/32872528 swapFree=1631852/1795372
[pid=3863] ppid=3860 vsize=656828 CPUtime=0 cores=1,3,5,7
/proc/3863/stat : 3863 (toysat) R 3860 3863 1867 0 -1 4202496 2438 0 0 0 0 0 0 0 20 0 4 0 563440 672591872 3309 33554432000 4194304 16246674 140735262516656 140735262516080 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3863/statm: 164719 3319 441 2943 0 161613 0
[pid=3863/tid=3864] ppid=3860 vsize=675260 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3864/stat : 3864 (toysat) S 3860 3863 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 563441 691466240 3382 33554432000 4194304 16246674 140735262516656 140071158131952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3863/tid=3865] ppid=3860 vsize=680380 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3865/stat : 3865 (toysat) S 3860 3863 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 563441 696709120 3400 33554432000 4194304 16246674 140735262516656 140071147642096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3863/tid=3866] ppid=3860 vsize=684476 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 700903424 3417 33554432000 4194304 16246674 140735262516656 140071030222000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.100167 s]
/proc/loadavg: 1.35 1.33 1.62 3/179 3863
/proc/meminfo: memFree=28040052/32872528 swapFree=1631852/1795372
[pid=3863] ppid=3860 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/3863/stat : 3863 (toysat) R 3860 3863 1867 0 -1 4202496 23340 0 0 0 5 3 0 0 20 0 4 0 563440 1247350784 24198 33554432000 4194304 16246674 140735262516656 140735262516080 5572517 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3863/statm: 304529 24204 786 2943 0 301423 0
[pid=3863/tid=3864] ppid=3860 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3864/stat : 3864 (toysat) S 3860 3863 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 563441 1247350784 24208 33554432000 4194304 16246674 140735262516656 140071158131952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3863/tid=3865] ppid=3860 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3865/stat : 3865 (toysat) S 3860 3863 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 563441 1247350784 24213 33554432000 4194304 16246674 140735262516656 140071147642096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3863/tid=3866] ppid=3860 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 1247350784 24218 33554432000 4194304 16246674 140735262516656 140071030222000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116
[startup+0.200413 s]
/proc/loadavg: 1.35 1.33 1.62 3/179 3863
/proc/meminfo: memFree=28040052/32872528 swapFree=1631852/1795372
[pid=3863] ppid=3860 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/3863/stat : 3863 (toysat) R 3860 3863 1867 0 -1 4202496 42252 0 0 0 13 6 0 0 20 0 4 0 563440 1247350784 43109 33554432000 4194304 16246674 140735262516656 140735262516080 6021055 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3863/statm: 304529 43117 786 2943 0 301423 0
[pid=3863/tid=3864] ppid=3860 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3864/stat : 3864 (toysat) S 3860 3863 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 563441 1247350784 43123 33554432000 4194304 16246674 140735262516656 140071158131952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3863/tid=3865] ppid=3860 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3865/stat : 3865 (toysat) S 3860 3863 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 563441 1247350784 43129 33554432000 4194304 16246674 140735262516656 140071147642096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3863/tid=3866] ppid=3860 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 1247350784 43134 33554432000 4194304 16246674 140735262516656 140071030222000 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.300434 s]
/proc/loadavg: 1.35 1.33 1.62 3/179 3863
/proc/meminfo: memFree=28040052/32872528 swapFree=1631852/1795372
[pid=3863] ppid=3860 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/3863/stat : 3863 (toysat) R 3860 3863 1867 0 -1 4202496 62163 0 0 0 20 9 0 0 20 0 4 0 563440 1247350784 63020 33554432000 4194304 16246674 140735262516656 140735262499648 5667979 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3863/statm: 304529 63027 786 2943 0 301423 0
[pid=3863/tid=3864] ppid=3860 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3864/stat : 3864 (toysat) S 3860 3863 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 563441 1247350784 63032 33554432000 4194304 16246674 140735262516656 140071158131952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3863/tid=3865] ppid=3860 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3865/stat : 3865 (toysat) S 3860 3863 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 563441 1247350784 63037 33554432000 4194304 16246674 140735262516656 140071147642096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3863/tid=3866] ppid=3860 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 1247350784 63042 33554432000 4194304 16246674 140735262516656 140071030222000 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.700403 s]
/proc/loadavg: 1.35 1.33 1.62 3/179 3863
/proc/meminfo: memFree=28040052/32872528 swapFree=1631852/1795372
[pid=3863] ppid=3860 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/3863/stat : 3863 (toysat) R 3860 3863 1867 0 -1 4202496 141856 0 0 0 49 20 0 0 20 0 4 0 563440 1247350784 142714 33554432000 4194304 16246674 140735262516656 140735262499648 5707789 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3863/statm: 304529 142725 787 2943 0 301423 0
[pid=3863/tid=3864] ppid=3860 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3864/stat : 3864 (toysat) S 3860 3863 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 563441 1247350784 142734 33554432000 4194304 16246674 140735262516656 140071158131952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3863/tid=3865] ppid=3860 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3865/stat : 3865 (toysat) S 3860 3863 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 563441 1247350784 142738 33554432000 4194304 16246674 140735262516656 140071147642096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3863/tid=3866] ppid=3860 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 1247350784 142742 33554432000 4194304 16246674 140735262516656 140071030222000 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.50034 s]
/proc/loadavg: 1.35 1.33 1.62 3/183 3867
/proc/meminfo: memFree=26650636/32872528 swapFree=1631852/1795372
[pid=3863] ppid=3860 vsize=1219140 CPUtime=1.48 cores=1,3,5,7
/proc/3863/stat : 3863 (toysat) R 3860 3863 1867 0 -1 4202496 245702 0 0 0 114 34 0 0 20 0 4 0 563440 1248399360 246538 33554432000 4194304 16246674 140735262516656 140735262499656 13774452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3863/statm: 304785 246538 847 2943 0 301679 0
[pid=3863/tid=3864] ppid=3860 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3864/stat : 3864 (toysat) S 3860 3863 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 563441 1248399360 246538 33554432000 4194304 16246674 140735262516656 140071158131952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3863/tid=3865] ppid=3860 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3865/stat : 3865 (toysat) S 3860 3863 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 563441 1248399360 246538 33554432000 4194304 16246674 140735262516656 140071147642096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3863/tid=3866] ppid=3860 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 1248399360 246538 33554432000 4194304 16246674 140735262516656 140071030222000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140
[startup+3.10039 s]
/proc/loadavg: 1.40 1.34 1.62 3/183 3867
/proc/meminfo: memFree=26389864/32872528 swapFree=1631852/1795372
[pid=3863] ppid=3860 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/3863/stat : 3863 (toysat) R 3860 3863 1867 0 -1 4202496 267446 0 0 0 271 37 0 0 20 0 4 0 563440 1337528320 268282 33554432000 4194304 16246674 140735262516656 140735262498560 5545840 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3863/statm: 326545 268282 847 2943 0 323439 0
[pid=3863/tid=3864] ppid=3860 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3864/stat : 3864 (toysat) S 3860 3863 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 563441 1337528320 268282 33554432000 4194304 16246674 140735262516656 140071158131952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3863/tid=3865] ppid=3860 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3865/stat : 3865 (toysat) S 3860 3863 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 563441 1337528320 268282 33554432000 4194304 16246674 140735262516656 140071147642096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3863/tid=3866] ppid=3860 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 1337528320 268282 33554432000 4194304 16246674 140735262516656 140071030222000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180
[startup+6.30034 s]
/proc/loadavg: 1.40 1.34 1.62 3/183 3867
/proc/meminfo: memFree=26387860/32872528 swapFree=1631852/1795372
[pid=3863] ppid=3860 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/3863/stat : 3863 (toysat) R 3860 3863 1867 0 -1 4202496 267543 0 0 0 591 38 0 0 20 0 4 0 563440 1337528320 268379 33554432000 4194304 16246674 140735262516656 140735262498560 5827980 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3863/statm: 326545 268379 848 2943 0 323439 0
[pid=3863/tid=3864] ppid=3860 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3864/stat : 3864 (toysat) S 3860 3863 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 563441 1337528320 268379 33554432000 4194304 16246674 140735262516656 140071158131952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3863/tid=3865] ppid=3860 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3865/stat : 3865 (toysat) S 3860 3863 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 563441 1337528320 268379 33554432000 4194304 16246674 140735262516656 140071147642096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3863/tid=3866] ppid=3860 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 1337528320 268379 33554432000 4194304 16246674 140735262516656 140071030222000 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: 1.49 1.36 1.63 3/183 3867
/proc/meminfo: memFree=26387740/32872528 swapFree=1631852/1795372
[pid=3863] ppid=3860 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/3863/stat : 3863 (toysat) R 3860 3863 1867 0 -1 4202496 267612 0 0 0 1231 38 0 0 20 0 4 0 563440 1337528320 268448 33554432000 4194304 16246674 140735262516656 140735262499656 5515736 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3863/statm: 326545 268448 850 2943 0 323439 0
[pid=3863/tid=3864] ppid=3860 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3864/stat : 3864 (toysat) S 3860 3863 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 563441 1337528320 268448 33554432000 4194304 16246674 140735262516656 140071158131952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3863/tid=3865] ppid=3860 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3865/stat : 3865 (toysat) S 3860 3863 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 563441 1337528320 268448 33554432000 4194304 16246674 140735262516656 140071147642096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3863/tid=3866] ppid=3860 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 1337528320 268448 33554432000 4194304 16246674 140735262516656 140071030222000 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: 1.72 1.42 1.64 3/183 3867
/proc/meminfo: memFree=26388360/32872528 swapFree=1631852/1795372
[pid=3863] ppid=3860 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/3863/stat : 3863 (toysat) R 3860 3863 1867 0 -1 4202496 267640 0 0 0 2510 38 0 0 20 0 4 0 563440 1337528320 268476 33554432000 4194304 16246674 140735262516656 140735262498560 5808428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3863/statm: 326545 268476 850 2943 0 323439 0
[pid=3863/tid=3864] ppid=3860 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3864/stat : 3864 (toysat) S 3860 3863 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 563441 1337528320 268476 33554432000 4194304 16246674 140735262516656 140071158131952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3863/tid=3865] ppid=3860 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3865/stat : 3865 (toysat) S 3860 3863 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 563441 1337528320 268476 33554432000 4194304 16246674 140735262516656 140071147642096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3863/tid=3866] ppid=3860 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 1337528320 268476 33554432000 4194304 16246674 140735262516656 140071030222000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180
[startup+51.1005 s]
/proc/loadavg: 1.81 1.46 1.65 3/184 3870
/proc/meminfo: memFree=26388408/32872528 swapFree=1631852/1795372
[pid=3863] ppid=3860 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/3863/stat : 3863 (toysat) R 3860 3863 1867 0 -1 4202496 267640 0 0 0 5070 38 0 0 20 0 4 0 563440 1337528320 268476 33554432000 4194304 16246674 140735262516656 140735262499656 5721406 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3863/statm: 326545 268476 850 2943 0 323439 0
[pid=3863/tid=3864] ppid=3860 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3864/stat : 3864 (toysat) S 3860 3863 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 563441 1337528320 268476 33554432000 4194304 16246674 140735262516656 140071158131952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3863/tid=3865] ppid=3860 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3865/stat : 3865 (toysat) S 3860 3863 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 563441 1337528320 268476 33554432000 4194304 16246674 140735262516656 140071147642096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3863/tid=3866] ppid=3860 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 1337528320 268476 33554432000 4194304 16246674 140735262516656 140071030222000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180
[startup+102.3 s]
/proc/loadavg: 2.11 1.61 1.69 3/183 3871
/proc/meminfo: memFree=26387896/32872528 swapFree=1631852/1795372
[pid=3863] ppid=3860 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/3863/stat : 3863 (toysat) R 3860 3863 1867 0 -1 4202496 267640 0 0 0 10189 39 0 0 20 0 4 0 563440 1337528320 268476 33554432000 4194304 16246674 140735262516656 140735262498560 5545708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3863/statm: 326545 268476 850 2943 0 323439 0
[pid=3863/tid=3864] ppid=3860 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3864/stat : 3864 (toysat) S 3860 3863 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 563441 1337528320 268476 33554432000 4194304 16246674 140735262516656 140071158131952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3863/tid=3865] ppid=3860 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3865/stat : 3865 (toysat) S 3860 3863 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 563441 1337528320 268476 33554432000 4194304 16246674 140735262516656 140071147642096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3863/tid=3866] ppid=3860 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 1337528320 268476 33554432000 4194304 16246674 140735262516656 140071030222000 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/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268608 33554432000 4194304 16246674 140735262516656 140071030222000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 1307204
[startup+1302.3 s]
/proc/loadavg: 2.28 2.21 2.06 3/183 3925
/proc/meminfo: memFree=26383176/32872528 swapFree=1631852/1795372
[pid=3863] ppid=3860 vsize=1307204 CPUtime=1302 cores=1,3,5,7
/proc/3863/stat : 3863 (toysat) R 3860 3863 1867 0 -1 4202496 267952 0 0 0 130146 54 0 0 20 0 4 0 563440 1338576896 268609 33554432000 4194304 16246674 140735262516656 140735262498560 13950236 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3863/statm: 326801 268609 852 2943 0 323695 0
[pid=3863/tid=3864] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3864/stat : 3864 (toysat) S 3860 3863 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268609 33554432000 4194304 16246674 140735262516656 140071158131952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3863/tid=3865] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3865/stat : 3865 (toysat) S 3860 3863 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268609 33554432000 4194304 16246674 140735262516656 140071147642096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3863/tid=3866] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268609 33554432000 4194304 16246674 140735262516656 140071030222000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1307204
[startup+1362.3 s]
/proc/loadavg: 2.27 2.23 2.08 3/183 3926
/proc/meminfo: memFree=26383532/32872528 swapFree=1631852/1795372
[pid=3863] ppid=3860 vsize=1307204 CPUtime=1361.97 cores=1,3,5,7
/proc/3863/stat : 3863 (toysat) R 3860 3863 1867 0 -1 4202496 267997 0 0 0 136142 55 0 0 20 0 4 0 563440 1338576896 268609 33554432000 4194304 16246674 140735262516656 140735262498560 13943729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3863/statm: 326801 268609 852 2943 0 323695 0
[pid=3863/tid=3864] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3864/stat : 3864 (toysat) S 3860 3863 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268609 33554432000 4194304 16246674 140735262516656 140071158131952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3863/tid=3865] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3865/stat : 3865 (toysat) S 3860 3863 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268609 33554432000 4194304 16246674 140735262516656 140071147642096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3863/tid=3866] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268609 33554432000 4194304 16246674 140735262516656 140071030222000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1307204
[startup+1422.3 s]
/proc/loadavg: 2.36 2.26 2.09 3/183 3928
/proc/meminfo: memFree=26383080/32872528 swapFree=1631852/1795372
[pid=3863] ppid=3860 vsize=1307204 CPUtime=1421.94 cores=1,3,5,7
/proc/3863/stat : 3863 (toysat) R 3860 3863 1867 0 -1 4202496 268038 0 0 0 142139 55 0 0 20 0 4 0 563440 1338576896 268609 33554432000 4194304 16246674 140735262516656 140735262498560 6012108 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3863/statm: 326801 268609 852 2943 0 323695 0
[pid=3863/tid=3864] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3864/stat : 3864 (toysat) S 3860 3863 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268609 33554432000 4194304 16246674 140735262516656 140071158131952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3863/tid=3865] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3865/stat : 3865 (toysat) S 3860 3863 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268609 33554432000 4194304 16246674 140735262516656 140071147642096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3863/tid=3866] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268609 33554432000 4194304 16246674 140735262516656 140071030222000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1307204
[startup+1482.3 s]
/proc/loadavg: 2.24 2.24 2.09 3/183 3929
/proc/meminfo: memFree=26382996/32872528 swapFree=1631852/1795372
[pid=3863] ppid=3860 vsize=1307204 CPUtime=1481.91 cores=1,3,5,7
/proc/3863/stat : 3863 (toysat) R 3860 3863 1867 0 -1 4202496 268082 0 0 0 148135 56 0 0 20 0 4 0 563440 1338576896 268609 33554432000 4194304 16246674 140735262516656 140735262498560 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3863/statm: 326801 268609 852 2943 0 323695 0
[pid=3863/tid=3864] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3864/stat : 3864 (toysat) S 3860 3863 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268609 33554432000 4194304 16246674 140735262516656 140071158131952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3863/tid=3865] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3865/stat : 3865 (toysat) S 3860 3863 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268609 33554432000 4194304 16246674 140735262516656 140071147642096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3863/tid=3866] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268609 33554432000 4194304 16246674 140735262516656 140071030222000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1307204
[startup+1542.31 s]
/proc/loadavg: 2.22 2.24 2.10 4/183 3930
/proc/meminfo: memFree=26382300/32872528 swapFree=1631852/1795372
[pid=3863] ppid=3860 vsize=1307204 CPUtime=1541.88 cores=1,3,5,7
/proc/3863/stat : 3863 (toysat) R 3860 3863 1867 0 -1 4202496 268128 0 0 0 154132 56 0 0 20 0 4 0 563440 1338576896 268609 33554432000 4194304 16246674 140735262516656 140735262498560 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3863/statm: 326801 268609 852 2943 0 323695 0
[pid=3863/tid=3864] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3864/stat : 3864 (toysat) S 3860 3863 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268609 33554432000 4194304 16246674 140735262516656 140071158131952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3863/tid=3865] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3865/stat : 3865 (toysat) S 3860 3863 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268609 33554432000 4194304 16246674 140735262516656 140071147642096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3863/tid=3866] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268609 33554432000 4194304 16246674 140735262516656 140071030222000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1307204
[startup+1602.3 s]
/proc/loadavg: 2.26 2.24 2.10 3/183 3931
/proc/meminfo: memFree=26382212/32872528 swapFree=1631852/1795372
[pid=3863] ppid=3860 vsize=1307204 CPUtime=1601.85 cores=1,3,5,7
/proc/3863/stat : 3863 (toysat) R 3860 3863 1867 0 -1 4202496 268169 0 0 0 160128 57 0 0 20 0 4 0 563440 1338576896 268609 33554432000 4194304 16246674 140735262516656 140735262498560 13820888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3863/statm: 326801 268609 852 2943 0 323695 0
[pid=3863/tid=3864] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3864/stat : 3864 (toysat) S 3860 3863 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268609 33554432000 4194304 16246674 140735262516656 140071158131952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3863/tid=3865] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3865/stat : 3865 (toysat) S 3860 3863 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268609 33554432000 4194304 16246674 140735262516656 140071147642096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3863/tid=3866] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268609 33554432000 4194304 16246674 140735262516656 140071030222000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1307204
[startup+1662.3 s]
/proc/loadavg: 2.14 2.21 2.10 3/183 3932
/proc/meminfo: memFree=26382504/32872528 swapFree=1631852/1795372
[pid=3863] ppid=3860 vsize=1307204 CPUtime=1661.82 cores=1,3,5,7
/proc/3863/stat : 3863 (toysat) R 3860 3863 1867 0 -1 4202496 268214 0 0 0 166124 58 0 0 20 0 4 0 563440 1338576896 268609 33554432000 4194304 16246674 140735262516656 140735262498560 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3863/statm: 326801 268609 852 2943 0 323695 0
[pid=3863/tid=3864] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3864/stat : 3864 (toysat) S 3860 3863 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268609 33554432000 4194304 16246674 140735262516656 140071158131952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3863/tid=3865] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3865/stat : 3865 (toysat) S 3860 3863 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268609 33554432000 4194304 16246674 140735262516656 140071147642096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3863/tid=3866] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268609 33554432000 4194304 16246674 140735262516656 140071030222000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1307204
[startup+1722.3 s]
/proc/loadavg: 2.10 2.18 2.09 3/183 3934
/proc/meminfo: memFree=26382184/32872528 swapFree=1631852/1795372
[pid=3863] ppid=3860 vsize=1307204 CPUtime=1721.81 cores=1,3,5,7
/proc/3863/stat : 3863 (toysat) R 3860 3863 1867 0 -1 4202496 268229 0 0 0 172122 59 0 0 20 0 4 0 563440 1338576896 268737 33554432000 4194304 16246674 140735262516656 140735262498560 5754608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3863/statm: 326801 268737 852 2943 0 323695 0
[pid=3863/tid=3864] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3864/stat : 3864 (toysat) S 3860 3863 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268737 33554432000 4194304 16246674 140735262516656 140071158131952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3863/tid=3865] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3865/stat : 3865 (toysat) S 3860 3863 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268737 33554432000 4194304 16246674 140735262516656 140071147642096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3863/tid=3866] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268737 33554432000 4194304 16246674 140735262516656 140071030222000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1307204
[startup+1782.3 s]
/proc/loadavg: 2.28 2.22 2.11 3/183 3935
/proc/meminfo: memFree=26381676/32872528 swapFree=1631852/1795372
[pid=3863] ppid=3860 vsize=1307204 CPUtime=1781.8 cores=1,3,5,7
/proc/3863/stat : 3863 (toysat) R 3860 3863 1867 0 -1 4202496 268229 0 0 0 178120 60 0 0 20 0 4 0 563440 1338576896 268737 33554432000 4194304 16246674 140735262516656 140735262498560 5754966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3863/statm: 326801 268737 852 2943 0 323695 0
[pid=3863/tid=3864] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3864/stat : 3864 (toysat) S 3860 3863 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268737 33554432000 4194304 16246674 140735262516656 140071158131952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3863/tid=3865] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3865/stat : 3865 (toysat) S 3860 3863 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268737 33554432000 4194304 16246674 140735262516656 140071147642096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3863/tid=3866] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268737 33554432000 4194304 16246674 140735262516656 140071030222000 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) 1307204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.20 2.21 2.10 3/183 3935
/proc/meminfo: memFree=26381808/32872528 swapFree=1631852/1795372
[pid=3863] ppid=3860 vsize=1307204 CPUtime=1800.09 cores=1,3,5,7
/proc/3863/stat : 3863 (toysat) R 3860 3863 1867 0 -1 4202496 268229 0 0 0 179949 60 0 0 20 0 4 0 563440 1338576896 268737 33554432000 4194304 16246674 140735262516656 140735262498560 12415720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3863/statm: 326801 268737 852 2943 0 323695 0
[pid=3863/tid=3864] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3864/stat : 3864 (toysat) S 3860 3863 1867 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268737 33554432000 4194304 16246674 140735262516656 140071158131952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=3863/tid=3865] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3865/stat : 3865 (toysat) S 3860 3863 1867 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268737 33554432000 4194304 16246674 140735262516656 140071147642096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=3863/tid=3866] ppid=3860 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/3863/task/3866/stat : 3866 (toysat) S 3860 3863 1867 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 563441 1338576896 268737 33554432000 4194304 16246674 140735262516656 140071030222000 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) 1307204
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 3863 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.5
CPU system time (s): 0.606907
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 1307204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.606907
maximum resident set size= 1074948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268229
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= 472
involuntary context switches= 2091
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.67729 second user time and 6.98994 second system time
The end