0.00/0.00 c 2016-06-06T18:38:44+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-4079493-1465231124.opb"]
0.00/0.01 c use --random-gen="2967910474 1814262209 557130443 1015461187 3337177017 3697482704 4213416520 3049949373 1567070121 148036982 1615513788 232746128 2957764876 1325170640 3853768580 1335375022 897024412 424914447 3766988200 429859291 2975939520 2116592534 1185871911 330748254 1287721031 2583816150 1579789075 2867035997 4047137176 1918136948 555120679 614884988 541207541 3252038603 3157833408 634958183 1506690938 2810966392 3488178693 1470632537 2935564735 3961175641 145699547 2239265555 208340126 804107480 4286415616 668136098 1451068755 1755062559 1760655443 1281535211 3954359338 3893130165 3573638682 205755900 2039852174 1067172872 2753904408 2988099561 1745808668 3688560926 1419681229 3203617237 2942378738 3674189406 3762549258 580889732 3307043365 2236601292 4184123009 4140020906 2388567103 105074768 3566012699 3860603289 4115524451 1974633218 1337097501 1557264353 1779033627 1353641903 2740931257 509026940 1437996021 121506453 3604434141 4269913520 789813890 4023364626 4059003369 2671486025 2982549236 1395842041 4125814214 4022931725 3521784876 3808698384 3105716495 3655820071 2805405608 1165431332 2990965195 749630621 2733170438 4259991111 3308311265 682185155 3258066098 2574955696 2635562480 3438679481 2329502530 3917786848 344736570 947727326 2281053180 2995936299 3582366273 3890237796 1587824600 2441707821 1219713490 243458489 1421916631 957714867 1798116350 1036245454 1831340635 329772705 783583269 677278827 1640526521 4096572905 344586746 1104431034 1233262528 123827899 863940830 3843774223 3564871057 4234123423 2817105940 1848595631 113241448 2560339479 485699391 2032657721 3299333652 621946549 1263104322 3854252565 4159804296 1570174160 1942042238 2764329952 1832108887 4031507949 2975581228 3901697084 1080789796 958686066 4096893833 2849529394 173804026 943218715 1906875943 2426096050 2301148798 1655095116 1892324493 841055715 3894084789 3943592695 3240080492 2155965439 443173258 3434487609 227526790 3826693259 1198853247 1274763613 2084780985 2816372152 3158065065 2501418563 3560954681 308186787 348000172 1573496665 816653667 1501055426 1201562825 4069272952 1493900911 2184524477 2000588733 2831215664 1141411411 3396912935 1914965347 3728049984 1599377199 4058641948 1280460694 704007849 1326898211 3253511233 77140624 4085297039 3569603727 610837888 2438564092 1486495973 881340795 3070298996 3347451324 239449874 3506060467 1607373122 2185570234 4052442857 4127644335 1883078820 1754645266 3966383246 966318766 4052341209 1400510323 3794581857 2619931902 563772147 1134270017 2314424635 608271993 3523499831 3855815119 1461592648 3487691755 3498933228 3626237735 4065317289 1773694123 2625998339 1173593880 2202986795 2190556177 675587126 4255983531 3902775263 395854128 2550561619 347221874 2151385717 1540247534 1534480760 255 362436" option to reproduce the execution
0.19/0.22 c #vars 6139
0.19/0.22 c #constraints 1437
0.39/0.48 c BCD2: Hardening is enabled.
0.39/0.48 c BCD2: BiasedSearch is enabled.
0.39/0.48 c Solving starts ...
0.39/0.48 c ============================[ Search Statistics ]============================
0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.48 c | | | | Limit GC | Var | Constra
0.39/0.48 c =============================================================================
0.49/0.52 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 0
0.49/0.54 c 0.0s | 0 | 6139 | 0 | 2525 0 | 0 | 0
0.49/0.54 c #cpu_time = 0.012s
0.49/0.54 c #wall_clock_time = 0.012s
0.49/0.54 c #decision = 6139
0.49/0.54 c #random_decision = 27
0.49/0.54 c #conflict = 0
0.49/0.54 c #restart = 0
0.49/0.54 o 6139
0.49/0.56 c BCD2: updating upper bound: 6139 -> 6138
0.49/0.57 c BCD2: 0 <= obj <= 6138
0.49/0.57 c BCD2: #cores=0, #unrelaxed=6139, #relaxed=0, #hardened=0
0.49/0.57 c BCD2: #sat=1 #unsat=1 bias=1/2
0.49/0.57 c Solving starts ...
0.49/0.57 c ============================[ Search Statistics ]============================
0.49/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.57 c | | | | Limit GC | Var | Constra
0.49/0.57 c =============================================================================
0.49/0.57 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 0
0.49/0.58 c 0.0s | 0 | 653 | 0 | 2525 0 | 0 | 0
0.49/0.58 c #cpu_time = 0.008s
0.49/0.58 c #wall_clock_time = 0.008s
0.49/0.58 c #decision = 653
0.49/0.58 c #random_decision = 0
0.49/0.58 c #conflict = 0
0.49/0.58 c #restart = 0
0.49/0.58 c BCD2: found a new core of size 49: cost of the new core is >=1
0.49/0.58 c lower bound updated to 1
0.49/0.58 c BCD2: 1 <= obj <= 6138
0.49/0.58 c BCD2: #cores=1, #unrelaxed=6090, #relaxed=49, #hardened=0
0.49/0.58 c BCD2: #sat=1 #unsat=2 bias=2/3
0.49/0.58 c Solving starts ...
0.49/0.58 c ============================[ Search Statistics ]============================
0.49/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.58 c | | | | Limit GC | Var | Constra
0.49/0.58 c =============================================================================
0.49/0.58 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 1
0.49/0.59 c 0.0s | 0 | 1019 | 0 | 2525 0 | 0 | 1
0.49/0.59 c #cpu_time = 0.009s
0.49/0.59 c #wall_clock_time = 0.009s
0.49/0.59 c #decision = 1019
0.49/0.59 c #random_decision = 0
0.49/0.59 c #conflict = 0
0.49/0.59 c #restart = 0
0.49/0.59 c BCD2: found a new core of size 14: cost of the new core is >=1
0.49/0.59 c lower bound updated to 2
0.59/0.60 c BCD2: 2 <= obj <= 6138
0.59/0.60 c BCD2: #cores=2, #unrelaxed=6076, #relaxed=63, #hardened=0
0.59/0.60 c BCD2: #sat=1 #unsat=3 bias=3/4
0.59/0.60 c Solving starts ...
0.59/0.60 c ============================[ Search Statistics ]============================
0.59/0.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.60 c | | | | Limit GC | Var | Constra
0.59/0.60 c =============================================================================
0.59/0.60 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 2
0.59/0.61 c 0.0s | 0 | 1060 | 0 | 2525 0 | 0 | 2
0.59/0.61 c #cpu_time = 0.009s
0.59/0.61 c #wall_clock_time = 0.009s
0.59/0.61 c #decision = 1060
0.59/0.61 c #random_decision = 0
0.59/0.61 c #conflict = 0
0.59/0.61 c #restart = 0
0.59/0.61 c BCD2: found a new core of size 61: cost of the new core is >=1
0.59/0.61 c lower bound updated to 3
0.59/0.61 c BCD2: 3 <= obj <= 6138
0.59/0.61 c BCD2: #cores=3, #unrelaxed=6015, #relaxed=124, #hardened=0
0.59/0.61 c BCD2: #sat=1 #unsat=4 bias=4/5
0.59/0.61 c Solving starts ...
0.59/0.61 c ============================[ Search Statistics ]============================
0.59/0.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.61 c | | | | Limit GC | Var | Constra
0.59/0.61 c =============================================================================
0.59/0.61 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 3
0.59/0.62 c 0.0s | 0 | 1027 | 0 | 2525 0 | 0 | 3
0.59/0.62 c #cpu_time = 0.009s
0.59/0.62 c #wall_clock_time = 0.009s
0.59/0.62 c #decision = 1027
0.59/0.62 c #random_decision = 0
0.59/0.62 c #conflict = 0
0.59/0.62 c #restart = 0
0.59/0.62 c BCD2: found a new core of size 36: cost of the new core is >=1
0.59/0.62 c lower bound updated to 4
0.59/0.62 c BCD2: 4 <= obj <= 6138
0.59/0.62 c BCD2: #cores=4, #unrelaxed=5979, #relaxed=160, #hardened=0
0.59/0.62 c BCD2: #sat=1 #unsat=5 bias=5/6
0.59/0.62 c Solving starts ...
0.59/0.62 c ============================[ Search Statistics ]============================
0.59/0.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.62 c | | | | Limit GC | Var | Constra
0.59/0.62 c =============================================================================
0.59/0.62 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 4
0.59/0.63 c 0.0s | 0 | 998 | 0 | 2525 0 | 0 | 4
0.59/0.63 c #cpu_time = 0.009s
0.59/0.63 c #wall_clock_time = 0.009s
0.59/0.63 c #decision = 998
0.59/0.63 c #random_decision = 0
0.59/0.63 c #conflict = 0
0.59/0.63 c #restart = 0
0.59/0.63 c BCD2: found a new core of size 36: cost of the new core is >=1
0.59/0.63 c lower bound updated to 5
0.59/0.63 c BCD2: 5 <= obj <= 6138
0.59/0.63 c BCD2: #cores=5, #unrelaxed=5943, #relaxed=196, #hardened=0
0.59/0.63 c BCD2: #sat=1 #unsat=6 bias=6/7
0.59/0.63 c Solving starts ...
0.59/0.63 c ============================[ Search Statistics ]============================
0.59/0.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.63 c | | | | Limit GC | Var | Constra
0.59/0.63 c =============================================================================
0.59/0.63 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 5
0.59/0.64 c 0.0s | 0 | 1073 | 0 | 2525 0 | 0 | 5
0.59/0.64 c #cpu_time = 0.009s
0.59/0.64 c #wall_clock_time = 0.009s
0.59/0.64 c #decision = 1073
0.59/0.64 c #random_decision = 0
0.59/0.64 c #conflict = 0
0.59/0.64 c #restart = 0
0.59/0.64 c BCD2: found a new core of size 35: cost of the new core is >=1
0.59/0.64 c lower bound updated to 6
0.59/0.64 c BCD2: 6 <= obj <= 6138
0.59/0.64 c BCD2: #cores=6, #unrelaxed=5908, #relaxed=231, #hardened=0
0.59/0.64 c BCD2: #sat=1 #unsat=7 bias=7/8
0.59/0.65 c Solving starts ...
0.59/0.65 c ============================[ Search Statistics ]============================
0.59/0.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.65 c | | | | Limit GC | Var | Constra
0.59/0.65 c =============================================================================
0.59/0.65 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 6
0.59/0.65 c 0.0s | 0 | 1102 | 0 | 2525 0 | 0 | 6
0.59/0.65 c #cpu_time = 0.009s
0.59/0.65 c #wall_clock_time = 0.009s
0.59/0.65 c #decision = 1102
0.59/0.65 c #random_decision = 0
0.59/0.65 c #conflict = 0
0.59/0.65 c #restart = 0
0.59/0.65 c BCD2: found a new core of size 23: cost of the new core is >=1
0.59/0.65 c lower bound updated to 7
0.59/0.66 c BCD2: 7 <= obj <= 6138
0.59/0.66 c BCD2: #cores=7, #unrelaxed=5885, #relaxed=254, #hardened=0
0.59/0.66 c BCD2: #sat=1 #unsat=8 bias=8/9
0.59/0.66 c Solving starts ...
0.59/0.66 c ============================[ Search Statistics ]============================
0.59/0.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.66 c | | | | Limit GC | Var | Constra
0.59/0.66 c =============================================================================
0.59/0.66 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 7
0.59/0.67 c 0.0s | 0 | 1421 | 0 | 2525 0 | 0 | 7
0.59/0.67 c #cpu_time = 0.009s
0.59/0.67 c #wall_clock_time = 0.009s
0.59/0.67 c #decision = 1421
0.59/0.67 c #random_decision = 0
0.59/0.67 c #conflict = 0
0.59/0.67 c #restart = 0
0.59/0.67 c BCD2: found a new core of size 42: cost of the new core is >=1
0.59/0.67 c lower bound updated to 8
0.59/0.67 c BCD2: 8 <= obj <= 6138
0.59/0.67 c BCD2: #cores=8, #unrelaxed=5843, #relaxed=296, #hardened=0
0.59/0.67 c BCD2: #sat=1 #unsat=9 bias=9/10
0.59/0.67 c Solving starts ...
0.59/0.67 c ============================[ Search Statistics ]============================
0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.67 c | | | | Limit GC | Var | Constra
0.59/0.67 c =============================================================================
0.59/0.67 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 8
0.59/0.68 c 0.0s | 0 | 1414 | 0 | 2525 0 | 0 | 8
0.59/0.68 c #cpu_time = 0.009s
0.59/0.68 c #wall_clock_time = 0.009s
0.59/0.68 c #decision = 1414
0.59/0.68 c #random_decision = 0
0.59/0.68 c #conflict = 0
0.59/0.68 c #restart = 0
0.59/0.68 c BCD2: found a new core of size 24: cost of the new core is >=1
0.59/0.68 c lower bound updated to 9
0.59/0.68 c BCD2: 9 <= obj <= 6138
0.59/0.68 c BCD2: #cores=9, #unrelaxed=5819, #relaxed=320, #hardened=0
0.59/0.68 c BCD2: #sat=1 #unsat=10 bias=10/11
0.59/0.68 c Solving starts ...
0.59/0.68 c ============================[ Search Statistics ]============================
0.59/0.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.68 c | | | | Limit GC | Var | Constra
0.59/0.68 c =============================================================================
0.59/0.68 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 9
0.59/0.69 c 0.0s | 0 | 1514 | 0 | 2525 0 | 0 | 9
0.59/0.69 c #cpu_time = 0.010s
0.59/0.69 c #wall_clock_time = 0.010s
0.59/0.69 c #decision = 1514
0.59/0.69 c #random_decision = 0
0.59/0.69 c #conflict = 0
0.59/0.69 c #restart = 0
0.59/0.69 c BCD2: found a new core of size 34: cost of the new core is >=1
0.59/0.69 c lower bound updated to 10
0.59/0.70 c BCD2: 10 <= obj <= 6138
0.59/0.70 c BCD2: #cores=10, #unrelaxed=5785, #relaxed=354, #hardened=0
0.59/0.70 c BCD2: #sat=1 #unsat=11 bias=11/12
0.69/0.70 c Solving starts ...
0.69/0.70 c ============================[ Search Statistics ]============================
0.69/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.70 c | | | | Limit GC | Var | Constra
0.69/0.70 c =============================================================================
0.69/0.70 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 10
0.69/0.71 c 0.0s | 0 | 1632 | 0 | 2525 0 | 0 | 10
0.69/0.71 c #cpu_time = 0.009s
0.69/0.71 c #wall_clock_time = 0.009s
0.69/0.71 c #decision = 1632
0.69/0.71 c #random_decision = 0
0.69/0.71 c #conflict = 0
0.69/0.71 c #restart = 0
0.69/0.71 c BCD2: found a new core of size 42: cost of the new core is >=1
0.69/0.71 c lower bound updated to 11
0.69/0.71 c BCD2: 11 <= obj <= 6138
0.69/0.71 c BCD2: #cores=11, #unrelaxed=5743, #relaxed=396, #hardened=0
0.69/0.71 c BCD2: #sat=1 #unsat=12 bias=12/13
0.69/0.71 c Solving starts ...
0.69/0.71 c ============================[ Search Statistics ]============================
0.69/0.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.71 c | | | | Limit GC | Var | Constra
0.69/0.71 c =============================================================================
0.69/0.71 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 11
0.69/0.72 c 0.0s | 0 | 1666 | 0 | 2525 0 | 0 | 11
0.69/0.72 c #cpu_time = 0.009s
0.69/0.72 c #wall_clock_time = 0.009s
0.69/0.72 c #decision = 1666
0.69/0.72 c #random_decision = 0
0.69/0.72 c #conflict = 0
0.69/0.72 c #restart = 0
0.69/0.72 c BCD2: found a new core of size 43: cost of the new core is >=1
0.69/0.72 c lower bound updated to 12
0.69/0.72 c BCD2: 12 <= obj <= 6138
0.69/0.72 c BCD2: #cores=12, #unrelaxed=5700, #relaxed=439, #hardened=0
0.69/0.72 c BCD2: #sat=1 #unsat=13 bias=13/14
0.69/0.72 c Solving starts ...
0.69/0.72 c ============================[ Search Statistics ]============================
0.69/0.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.72 c | | | | Limit GC | Var | Constra
0.69/0.72 c =============================================================================
0.69/0.72 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 12
0.69/0.73 c 0.0s | 0 | 1652 | 0 | 2525 0 | 0 | 12
0.69/0.73 c #cpu_time = 0.009s
0.69/0.73 c #wall_clock_time = 0.009s
0.69/0.73 c #decision = 1652
0.69/0.73 c #random_decision = 0
0.69/0.73 c #conflict = 0
0.69/0.73 c #restart = 0
0.69/0.73 c BCD2: found a new core of size 48: cost of the new core is >=1
0.69/0.73 c lower bound updated to 13
0.69/0.73 c BCD2: 13 <= obj <= 6138
0.69/0.73 c BCD2: #cores=13, #unrelaxed=5652, #relaxed=487, #hardened=0
0.69/0.73 c BCD2: #sat=1 #unsat=14 bias=14/15
0.69/0.74 c Solving starts ...
0.69/0.74 c ============================[ Search Statistics ]============================
0.69/0.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.74 c | | | | Limit GC | Var | Constra
0.69/0.74 c =============================================================================
0.69/0.74 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 13
0.69/0.75 c 0.0s | 0 | 2013 | 0 | 2525 0 | 0 | 13
0.69/0.75 c #cpu_time = 0.010s
0.69/0.75 c #wall_clock_time = 0.010s
0.69/0.75 c #decision = 2013
0.69/0.75 c #random_decision = 0
0.69/0.75 c #conflict = 0
0.69/0.75 c #restart = 0
0.69/0.75 c BCD2: found a new core of size 28: cost of the new core is >=1
0.69/0.75 c lower bound updated to 14
0.69/0.75 c BCD2: 14 <= obj <= 6138
0.69/0.75 c BCD2: #cores=14, #unrelaxed=5624, #relaxed=515, #hardened=0
0.69/0.75 c BCD2: #sat=1 #unsat=15 bias=15/16
0.69/0.75 c Solving starts ...
0.69/0.75 c ============================[ Search Statistics ]============================
0.69/0.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.75 c | | | | Limit GC | Var | Constra
0.69/0.75 c =============================================================================
0.69/0.75 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 14
0.69/0.76 c 0.0s | 0 | 2049 | 0 | 2525 0 | 0 | 14
0.69/0.76 c #cpu_time = 0.009s
0.69/0.76 c #wall_clock_time = 0.009s
0.69/0.76 c #decision = 2049
0.69/0.76 c #random_decision = 0
0.69/0.76 c #conflict = 0
0.69/0.76 c #restart = 0
0.69/0.76 c BCD2: found a new core of size 50: cost of the new core is >=1
0.69/0.76 c lower bound updated to 15
0.69/0.76 c BCD2: 15 <= obj <= 6138
0.69/0.76 c BCD2: #cores=15, #unrelaxed=5574, #relaxed=565, #hardened=0
0.69/0.76 c BCD2: #sat=1 #unsat=16 bias=16/17
0.69/0.76 c Solving starts ...
0.69/0.76 c ============================[ Search Statistics ]============================
0.69/0.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.76 c | | | | Limit GC | Var | Constra
0.69/0.76 c =============================================================================
0.69/0.76 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 15
0.69/0.77 c 0.0s | 0 | 2417 | 0 | 2525 0 | 0 | 15
0.69/0.77 c #cpu_time = 0.010s
0.69/0.77 c #wall_clock_time = 0.010s
0.69/0.77 c #decision = 2417
0.69/0.77 c #random_decision = 0
0.69/0.77 c #conflict = 0
0.69/0.77 c #restart = 0
0.69/0.77 c BCD2: found a new core of size 63: cost of the new core is >=1
0.69/0.77 c lower bound updated to 16
0.69/0.78 c BCD2: 16 <= obj <= 6138
0.69/0.78 c BCD2: #cores=16, #unrelaxed=5511, #relaxed=628, #hardened=0
0.69/0.78 c BCD2: #sat=1 #unsat=17 bias=17/18
0.69/0.78 c Solving starts ...
0.69/0.78 c ============================[ Search Statistics ]============================
0.69/0.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.78 c | | | | Limit GC | Var | Constra
0.69/0.78 c =============================================================================
0.69/0.78 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 16
0.69/0.79 c 0.0s | 0 | 2619 | 0 | 2525 0 | 0 | 16
0.69/0.79 c #cpu_time = 0.010s
0.69/0.79 c #wall_clock_time = 0.010s
0.69/0.79 c #decision = 2619
0.69/0.79 c #random_decision = 0
0.69/0.79 c #conflict = 0
0.69/0.79 c #restart = 0
0.69/0.79 c BCD2: found a new core of size 19: cost of the new core is >=1
0.69/0.79 c lower bound updated to 17
0.69/0.79 c BCD2: 17 <= obj <= 6138
0.69/0.79 c BCD2: #cores=17, #unrelaxed=5492, #relaxed=647, #hardened=0
0.69/0.79 c BCD2: #sat=1 #unsat=18 bias=18/19
0.69/0.79 c Solving starts ...
0.69/0.79 c ============================[ Search Statistics ]============================
0.69/0.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.79 c | | | | Limit GC | Var | Constra
0.69/0.79 c =============================================================================
0.69/0.79 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 17
0.78/0.80 c 0.0s | 0 | 2683 | 0 | 2525 0 | 0 | 17
0.78/0.80 c #cpu_time = 0.010s
0.78/0.80 c #wall_clock_time = 0.010s
0.78/0.80 c #decision = 2683
0.78/0.80 c #random_decision = 0
0.78/0.80 c #conflict = 0
0.78/0.80 c #restart = 0
0.78/0.80 c BCD2: found a new core of size 34: cost of the new core is >=1
0.78/0.80 c lower bound updated to 18
0.78/0.80 c BCD2: 18 <= obj <= 6138
0.78/0.80 c BCD2: #cores=18, #unrelaxed=5458, #relaxed=681, #hardened=0
0.78/0.80 c BCD2: #sat=1 #unsat=19 bias=19/20
0.78/0.80 c Solving starts ...
0.78/0.80 c ============================[ Search Statistics ]============================
0.78/0.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.78/0.80 c | | | | Limit GC | Var | Constra
0.78/0.80 c =============================================================================
0.78/0.80 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 18
0.78/0.81 c 0.0s | 0 | 2656 | 0 | 2525 0 | 0 | 18
0.78/0.81 c #cpu_time = 0.010s
0.78/0.81 c #wall_clock_time = 0.010s
0.78/0.81 c #decision = 2656
0.78/0.81 c #random_decision = 0
0.78/0.81 c #conflict = 0
0.78/0.81 c #restart = 0
0.78/0.81 c BCD2: found a new core of size 21: cost of the new core is >=1
0.78/0.81 c lower bound updated to 19
0.78/0.82 c BCD2: 19 <= obj <= 6138
0.78/0.82 c BCD2: #cores=19, #unrelaxed=5437, #relaxed=702, #hardened=0
0.78/0.82 c BCD2: #sat=1 #unsat=20 bias=20/21
0.78/0.82 c Solving starts ...
0.78/0.82 c ============================[ Search Statistics ]============================
0.78/0.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.78/0.82 c | | | | Limit GC | Var | Constra
0.78/0.82 c =============================================================================
0.78/0.82 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 19
0.78/0.83 c 0.0s | 0 | 2673 | 0 | 2525 0 | 0 | 19
0.78/0.83 c #cpu_time = 0.010s
0.78/0.83 c #wall_clock_time = 0.010s
0.78/0.83 c #decision = 2673
0.78/0.83 c #random_decision = 0
0.78/0.83 c #conflict = 0
0.78/0.83 c #restart = 0
0.78/0.83 c BCD2: found a new core of size 84: cost of the new core is >=1
0.78/0.83 c lower bound updated to 20
0.78/0.83 c BCD2: 20 <= obj <= 6138
0.78/0.83 c BCD2: #cores=20, #unrelaxed=5353, #relaxed=786, #hardened=0
0.78/0.83 c BCD2: #sat=1 #unsat=21 bias=21/22
0.78/0.83 c Solving starts ...
0.78/0.83 c ============================[ Search Statistics ]============================
0.78/0.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.78/0.83 c | | | | Limit GC | Var | Constra
0.78/0.83 c =============================================================================
0.78/0.83 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 20
0.78/0.84 c 0.0s | 0 | 2661 | 0 | 2525 0 | 0 | 20
0.78/0.84 c #cpu_time = 0.010s
0.78/0.84 c #wall_clock_time = 0.010s
0.78/0.84 c #decision = 2661
0.78/0.84 c #random_decision = 0
0.78/0.84 c #conflict = 0
0.78/0.84 c #restart = 0
0.78/0.84 c BCD2: found a new core of size 28: cost of the new core is >=1
0.78/0.84 c lower bound updated to 21
0.78/0.85 c BCD2: 21 <= obj <= 6138
0.78/0.85 c BCD2: #cores=21, #unrelaxed=5325, #relaxed=814, #hardened=0
0.78/0.85 c BCD2: #sat=1 #unsat=22 bias=22/23
0.78/0.85 c Solving starts ...
0.78/0.85 c ============================[ Search Statistics ]============================
0.78/0.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.78/0.85 c | | | | Limit GC | Var | Constra
0.78/0.85 c =============================================================================
0.78/0.85 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 21
0.78/0.86 c 0.0s | 0 | 2683 | 0 | 2525 0 | 0 | 21
0.78/0.86 c #cpu_time = 0.011s
0.78/0.86 c #wall_clock_time = 0.011s
0.78/0.86 c #decision = 2683
0.78/0.86 c #random_decision = 0
0.78/0.86 c #conflict = 0
0.78/0.86 c #restart = 0
0.78/0.86 c BCD2: found a new core of size 22: cost of the new core is >=1
0.78/0.86 c lower bound updated to 22
0.78/0.86 c BCD2: 22 <= obj <= 6138
0.78/0.86 c BCD2: #cores=22, #unrelaxed=5303, #relaxed=836, #hardened=0
0.78/0.86 c BCD2: #sat=1 #unsat=23 bias=23/24
0.78/0.86 c Solving starts ...
0.78/0.86 c ============================[ Search Statistics ]============================
0.78/0.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.78/0.86 c | | | | Limit GC | Var | Constra
0.78/0.86 c =============================================================================
0.78/0.86 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 22
0.78/0.87 c 0.0s | 0 | 2848 | 0 | 2525 0 | 0 | 22
0.78/0.87 c #cpu_time = 0.010s
0.78/0.87 c #wall_clock_time = 0.010s
0.78/0.87 c #decision = 2848
0.78/0.87 c #random_decision = 0
0.78/0.87 c #conflict = 0
0.78/0.87 c #restart = 0
0.78/0.87 c BCD2: found a new core of size 38: cost of the new core is >=1
0.78/0.87 c lower bound updated to 23
0.78/0.87 c BCD2: 23 <= obj <= 6138
0.78/0.87 c BCD2: #cores=23, #unrelaxed=5265, #relaxed=874, #hardened=0
0.78/0.87 c BCD2: #sat=1 #unsat=24 bias=24/25
0.78/0.87 c Solving starts ...
0.78/0.87 c ============================[ Search Statistics ]============================
0.78/0.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.78/0.87 c | | | | Limit GC | Var | Constra
0.78/0.87 c =============================================================================
0.78/0.87 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 23
0.78/0.89 c 0.0s | 0 | 3108 | 0 | 2525 0 | 0 | 23
0.78/0.89 c #cpu_time = 0.010s
0.78/0.89 c #wall_clock_time = 0.010s
0.78/0.89 c #decision = 3108
0.78/0.89 c #random_decision = 0
0.78/0.89 c #conflict = 0
0.78/0.89 c #restart = 0
0.78/0.89 c BCD2: found a new core of size 21: cost of the new core is >=1
0.78/0.89 c lower bound updated to 24
0.78/0.89 c BCD2: 24 <= obj <= 6138
0.78/0.89 c BCD2: #cores=24, #unrelaxed=5244, #relaxed=895, #hardened=0
0.78/0.89 c BCD2: #sat=1 #unsat=25 bias=25/26
0.78/0.89 c Solving starts ...
0.78/0.89 c ============================[ Search Statistics ]============================
0.78/0.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.78/0.89 c | | | | Limit GC | Var | Constra
0.78/0.89 c =============================================================================
0.78/0.89 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 24
0.88/0.90 c 0.0s | 0 | 3160 | 0 | 2525 0 | 0 | 24
0.88/0.90 c #cpu_time = 0.010s
0.88/0.90 c #wall_clock_time = 0.010s
0.88/0.90 c #decision = 3160
0.88/0.90 c #random_decision = 0
0.88/0.90 c #conflict = 0
0.88/0.90 c #restart = 0
0.88/0.90 c BCD2: found a new core of size 40: cost of the new core is >=1
0.88/0.90 c lower bound updated to 25
0.88/0.90 c BCD2: 25 <= obj <= 6138
0.88/0.90 c BCD2: #cores=25, #unrelaxed=5204, #relaxed=935, #hardened=0
0.88/0.90 c BCD2: #sat=1 #unsat=26 bias=26/27
0.88/0.90 c Solving starts ...
0.88/0.90 c ============================[ Search Statistics ]============================
0.88/0.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.88/0.90 c | | | | Limit GC | Var | Constra
0.88/0.90 c =============================================================================
0.88/0.90 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 25
0.88/0.91 c 0.0s | 0 | 3246 | 0 | 2525 0 | 0 | 25
0.88/0.91 c #cpu_time = 0.011s
0.88/0.91 c #wall_clock_time = 0.011s
0.88/0.91 c #decision = 3246
0.88/0.91 c #random_decision = 0
0.88/0.91 c #conflict = 0
0.88/0.91 c #restart = 0
0.88/0.91 c BCD2: found a new core of size 28: cost of the new core is >=1
0.88/0.91 c lower bound updated to 26
0.88/0.92 c BCD2: 26 <= obj <= 6138
0.88/0.92 c BCD2: #cores=26, #unrelaxed=5176, #relaxed=963, #hardened=0
0.88/0.92 c BCD2: #sat=1 #unsat=27 bias=27/28
0.88/0.92 c Solving starts ...
0.88/0.92 c ============================[ Search Statistics ]============================
0.88/0.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.88/0.92 c | | | | Limit GC | Var | Constra
0.88/0.92 c =============================================================================
0.88/0.92 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 26
0.88/0.93 c 0.0s | 0 | 3233 | 0 | 2525 0 | 0 | 26
0.88/0.93 c #cpu_time = 0.010s
0.88/0.93 c #wall_clock_time = 0.010s
0.88/0.93 c #decision = 3233
0.88/0.93 c #random_decision = 0
0.88/0.93 c #conflict = 0
0.88/0.93 c #restart = 0
0.88/0.93 c BCD2: found a new core of size 23: cost of the new core is >=1
0.88/0.93 c lower bound updated to 27
0.88/0.93 c BCD2: 27 <= obj <= 6138
0.88/0.93 c BCD2: #cores=27, #unrelaxed=5153, #relaxed=986, #hardened=0
0.88/0.93 c BCD2: #sat=1 #unsat=28 bias=28/29
0.88/0.93 c Solving starts ...
0.88/0.93 c ============================[ Search Statistics ]============================
0.88/0.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.88/0.93 c | | | | Limit GC | Var | Constra
0.88/0.93 c =============================================================================
0.88/0.93 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 27
0.88/0.94 c 0.0s | 0 | 3320 | 0 | 2525 0 | 0 | 27
0.88/0.94 c #cpu_time = 0.010s
0.88/0.94 c #wall_clock_time = 0.010s
0.88/0.94 c #decision = 3320
0.88/0.94 c #random_decision = 0
0.88/0.94 c #conflict = 0
0.88/0.94 c #restart = 0
0.88/0.94 c BCD2: found a new core of size 56: cost of the new core is >=1
0.88/0.94 c lower bound updated to 28
0.88/0.95 c BCD2: 28 <= obj <= 6138
0.88/0.95 c BCD2: #cores=28, #unrelaxed=5097, #relaxed=1042, #hardened=0
0.88/0.95 c BCD2: #sat=1 #unsat=29 bias=29/30
0.88/0.95 c Solving starts ...
0.88/0.95 c ============================[ Search Statistics ]============================
0.88/0.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.88/0.95 c | | | | Limit GC | Var | Constra
0.88/0.95 c =============================================================================
0.88/0.95 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 28
0.88/0.96 c 0.0s | 0 | 3410 | 0 | 2525 0 | 0 | 28
0.88/0.96 c #cpu_time = 0.010s
0.88/0.96 c #wall_clock_time = 0.010s
0.88/0.96 c #decision = 3410
0.88/0.96 c #random_decision = 0
0.88/0.96 c #conflict = 0
0.88/0.96 c #restart = 0
0.88/0.96 c BCD2: found a new core of size 34: cost of the new core is >=1
0.88/0.96 c lower bound updated to 29
0.88/0.96 c BCD2: 29 <= obj <= 6138
0.88/0.96 c BCD2: #cores=29, #unrelaxed=5063, #relaxed=1076, #hardened=0
0.88/0.96 c BCD2: #sat=1 #unsat=30 bias=30/31
0.88/0.96 c Solving starts ...
0.88/0.96 c ============================[ Search Statistics ]============================
0.88/0.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.88/0.96 c | | | | Limit GC | Var | Constra
0.88/0.96 c =============================================================================
0.88/0.96 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 29
0.88/0.97 c 0.0s | 0 | 3723 | 0 | 2525 0 | 0 | 29
0.88/0.97 c #cpu_time = 0.011s
0.88/0.97 c #wall_clock_time = 0.011s
0.88/0.97 c #decision = 3723
0.88/0.97 c #random_decision = 0
0.88/0.97 c #conflict = 0
0.88/0.97 c #restart = 0
0.88/0.97 c BCD2: found a new core of size 16: cost of the new core is >=1
0.88/0.97 c lower bound updated to 30
0.88/0.98 c BCD2: 30 <= obj <= 6138
0.88/0.98 c BCD2: #cores=30, #unrelaxed=5047, #relaxed=1092, #hardened=0
0.88/0.98 c BCD2: #sat=1 #unsat=31 bias=31/32
0.88/0.98 c Solving starts ...
0.88/0.98 c ============================[ Search Statistics ]============================
0.88/0.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.88/0.98 c | | | | Limit GC | Var | Constra
0.88/0.98 c =============================================================================
0.88/0.98 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 30
0.88/0.99 c 0.0s | 0 | 3743 | 0 | 2525 0 | 0 | 30
0.88/0.99 c #cpu_time = 0.010s
0.88/0.99 c #wall_clock_time = 0.010s
0.88/0.99 c #decision = 3743
0.88/0.99 c #random_decision = 0
0.88/0.99 c #conflict = 0
0.88/0.99 c #restart = 0
0.88/0.99 c BCD2: found a new core of size 10: cost of the new core is >=1
0.88/0.99 c lower bound updated to 31
0.88/0.99 c BCD2: 31 <= obj <= 6138
0.88/0.99 c BCD2: #cores=31, #unrelaxed=5037, #relaxed=1102, #hardened=0
0.88/0.99 c BCD2: #sat=1 #unsat=32 bias=32/33
0.88/0.99 c Solving starts ...
0.88/0.99 c ============================[ Search Statistics ]============================
0.88/0.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.88/0.99 c | | | | Limit GC | Var | Constra
0.88/0.99 c =============================================================================
0.88/0.99 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 31
0.98/1.00 c 0.0s | 0 | 3753 | 0 | 2525 0 | 0 | 31
0.98/1.00 c #cpu_time = 0.010s
0.98/1.00 c #wall_clock_time = 0.010s
0.98/1.00 c #decision = 3753
0.98/1.00 c #random_decision = 0
0.98/1.00 c #conflict = 0
0.98/1.00 c #restart = 0
0.98/1.00 c BCD2: found a new core of size 31: cost of the new core is >=1
0.98/1.00 c lower bound updated to 32
0.98/1.00 c BCD2: 32 <= obj <= 6138
0.98/1.00 c BCD2: #cores=32, #unrelaxed=5006, #relaxed=1133, #hardened=0
0.98/1.00 c BCD2: #sat=1 #unsat=33 bias=33/34
0.98/1.01 c Solving starts ...
0.98/1.01 c ============================[ Search Statistics ]============================
0.98/1.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.98/1.01 c | | | | Limit GC | Var | Constra
0.98/1.01 c =============================================================================
0.98/1.01 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 32
0.98/1.02 c 0.0s | 0 | 3781 | 0 | 2525 0 | 0 | 32
0.98/1.02 c #cpu_time = 0.010s
0.98/1.02 c #wall_clock_time = 0.010s
0.98/1.02 c #decision = 3781
0.98/1.02 c #random_decision = 0
0.98/1.02 c #conflict = 0
0.98/1.02 c #restart = 0
0.98/1.02 c BCD2: found a new core of size 5: cost of the new core is >=1
0.98/1.02 c lower bound updated to 33
0.98/1.02 c BCD2: 33 <= obj <= 6138
0.98/1.02 c BCD2: #cores=33, #unrelaxed=5001, #relaxed=1138, #hardened=0
0.98/1.02 c BCD2: #sat=1 #unsat=34 bias=34/35
0.98/1.02 c Solving starts ...
0.98/1.02 c ============================[ Search Statistics ]============================
0.98/1.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.98/1.02 c | | | | Limit GC | Var | Constra
0.98/1.02 c =============================================================================
0.98/1.02 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 33
0.98/1.03 c 0.0s | 0 | 3840 | 0 | 2525 0 | 0 | 33
0.98/1.03 c #cpu_time = 0.011s
0.98/1.03 c #wall_clock_time = 0.011s
0.98/1.03 c #decision = 3840
0.98/1.03 c #random_decision = 0
0.98/1.03 c #conflict = 0
0.98/1.03 c #restart = 0
0.98/1.03 c BCD2: found a new core of size 38: cost of the new core is >=1
0.98/1.03 c lower bound updated to 34
0.98/1.04 c BCD2: 34 <= obj <= 6138
0.98/1.04 c BCD2: #cores=34, #unrelaxed=4963, #relaxed=1176, #hardened=0
0.98/1.04 c BCD2: #sat=1 #unsat=35 bias=35/36
0.98/1.04 c Solving starts ...
0.98/1.04 c ============================[ Search Statistics ]============================
0.98/1.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.98/1.04 c | | | | Limit GC | Var | Constra
0.98/1.04 c =============================================================================
0.98/1.04 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 34
0.98/1.05 c 0.0s | 0 | 3956 | 0 | 2525 0 | 0 | 34
0.98/1.05 c #cpu_time = 0.011s
0.98/1.05 c #wall_clock_time = 0.011s
0.98/1.05 c #decision = 3956
0.98/1.05 c #random_decision = 0
0.98/1.05 c #conflict = 0
0.98/1.05 c #restart = 0
0.98/1.05 c BCD2: found a new core of size 45: cost of the new core is >=1
0.98/1.05 c lower bound updated to 35
0.98/1.05 c BCD2: 35 <= obj <= 6138
0.98/1.05 c BCD2: #cores=35, #unrelaxed=4918, #relaxed=1221, #hardened=0
0.98/1.05 c BCD2: #sat=1 #unsat=36 bias=36/37
0.98/1.05 c Solving starts ...
0.98/1.05 c ============================[ Search Statistics ]============================
0.98/1.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.98/1.05 c | | | | Limit GC | Var | Constra
0.98/1.05 c =============================================================================
0.98/1.05 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 35
0.98/1.06 c 0.0s | 0 | 4014 | 0 | 2525 0 | 0 | 35
0.98/1.06 c #cpu_time = 0.011s
0.98/1.06 c #wall_clock_time = 0.011s
0.98/1.06 c #decision = 4014
0.98/1.06 c #random_decision = 0
0.98/1.06 c #conflict = 0
0.98/1.06 c #restart = 0
0.98/1.06 c BCD2: found a new core of size 41: cost of the new core is >=1
0.98/1.06 c lower bound updated to 36
0.98/1.07 c BCD2: 36 <= obj <= 6138
0.98/1.07 c BCD2: #cores=36, #unrelaxed=4877, #relaxed=1262, #hardened=0
0.98/1.07 c BCD2: #sat=1 #unsat=37 bias=37/38
0.98/1.07 c Solving starts ...
0.98/1.07 c ============================[ Search Statistics ]============================
0.98/1.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.98/1.07 c | | | | Limit GC | Var | Constra
0.98/1.07 c =============================================================================
0.98/1.07 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 36
0.98/1.08 c 0.0s | 0 | 4187 | 0 | 2525 0 | 0 | 36
0.98/1.08 c #cpu_time = 0.011s
0.98/1.08 c #wall_clock_time = 0.011s
0.98/1.08 c #decision = 4187
0.98/1.08 c #random_decision = 0
0.98/1.08 c #conflict = 0
0.98/1.08 c #restart = 0
0.98/1.08 c BCD2: found a new core of size 42: cost of the new core is >=1
0.98/1.08 c lower bound updated to 37
0.98/1.08 c BCD2: 37 <= obj <= 6138
0.98/1.08 c BCD2: #cores=37, #unrelaxed=4835, #relaxed=1304, #hardened=0
0.98/1.08 c BCD2: #sat=1 #unsat=38 bias=38/39
0.98/1.08 c Solving starts ...
0.98/1.08 c ============================[ Search Statistics ]============================
0.98/1.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.98/1.08 c | | | | Limit GC | Var | Constra
0.98/1.08 c =============================================================================
0.98/1.08 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 37
0.98/1.10 c 0.0s | 0 | 4172 | 0 | 2525 0 | 0 | 37
0.98/1.10 c #cpu_time = 0.012s
0.98/1.10 c #wall_clock_time = 0.012s
0.98/1.10 c #decision = 4172
0.98/1.10 c #random_decision = 0
0.98/1.10 c #conflict = 0
0.98/1.10 c #restart = 0
0.98/1.10 c BCD2: found a new core of size 47: cost of the new core is >=1
0.98/1.10 c lower bound updated to 38
0.98/1.10 c BCD2: 38 <= obj <= 6138
0.98/1.10 c BCD2: #cores=38, #unrelaxed=4788, #relaxed=1351, #hardened=0
0.98/1.10 c BCD2: #sat=1 #unsat=39 bias=39/40
0.98/1.10 c Solving starts ...
0.98/1.10 c ============================[ Search Statistics ]============================
0.98/1.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.98/1.10 c | | | | Limit GC | Var | Constra
0.98/1.10 c =============================================================================
0.98/1.10 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 38
1.09/1.11 c 0.0s | 0 | 4257 | 0 | 2525 0 | 0 | 38
1.09/1.11 c #cpu_time = 0.011s
1.09/1.11 c #wall_clock_time = 0.011s
1.09/1.11 c #decision = 4257
1.09/1.11 c #random_decision = 0
1.09/1.11 c #conflict = 0
1.09/1.11 c #restart = 0
1.09/1.11 c BCD2: found a new core of size 22: cost of the new core is >=1
1.09/1.11 c lower bound updated to 39
1.09/1.11 c BCD2: 39 <= obj <= 6138
1.09/1.11 c BCD2: #cores=39, #unrelaxed=4766, #relaxed=1373, #hardened=0
1.09/1.11 c BCD2: #sat=1 #unsat=40 bias=40/41
1.09/1.11 c Solving starts ...
1.09/1.11 c ============================[ Search Statistics ]============================
1.09/1.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.09/1.11 c | | | | Limit GC | Var | Constra
1.09/1.11 c =============================================================================
1.09/1.11 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 39
1.09/1.13 c 0.0s | 0 | 4250 | 0 | 2525 0 | 0 | 39
1.09/1.13 c #cpu_time = 0.011s
1.09/1.13 c #wall_clock_time = 0.011s
1.09/1.13 c #decision = 4250
1.09/1.13 c #random_decision = 0
1.09/1.13 c #conflict = 0
1.09/1.13 c #restart = 0
1.09/1.13 c BCD2: found a new core of size 12: cost of the new core is >=1
1.09/1.13 c lower bound updated to 40
1.09/1.13 c BCD2: 40 <= obj <= 6138
1.09/1.13 c BCD2: #cores=40, #unrelaxed=4754, #relaxed=1385, #hardened=0
1.09/1.13 c BCD2: #sat=1 #unsat=41 bias=41/42
1.09/1.13 c Solving starts ...
1.09/1.13 c ============================[ Search Statistics ]============================
1.09/1.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.09/1.13 c | | | | Limit GC | Var | Constra
1.09/1.13 c =============================================================================
1.09/1.13 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 40
1.09/1.14 c 0.0s | 0 | 4342 | 0 | 2525 0 | 0 | 40
1.09/1.14 c #cpu_time = 0.011s
1.09/1.14 c #wall_clock_time = 0.011s
1.09/1.14 c #decision = 4342
1.09/1.14 c #random_decision = 0
1.09/1.14 c #conflict = 0
1.09/1.14 c #restart = 0
1.09/1.14 c BCD2: found a new core of size 62: cost of the new core is >=1
1.09/1.14 c lower bound updated to 41
1.09/1.15 c BCD2: 41 <= obj <= 6138
1.09/1.15 c BCD2: #cores=41, #unrelaxed=4692, #relaxed=1447, #hardened=0
1.09/1.15 c BCD2: #sat=1 #unsat=42 bias=42/43
1.09/1.15 c Solving starts ...
1.09/1.15 c ============================[ Search Statistics ]============================
1.09/1.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.09/1.15 c | | | | Limit GC | Var | Constra
1.09/1.15 c =============================================================================
1.09/1.15 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 41
1.09/1.16 c 0.0s | 0 | 4301 | 0 | 2525 0 | 0 | 41
1.09/1.16 c #cpu_time = 0.012s
1.09/1.16 c #wall_clock_time = 0.012s
1.09/1.16 c #decision = 4301
1.09/1.16 c #random_decision = 0
1.09/1.16 c #conflict = 0
1.09/1.16 c #restart = 0
1.09/1.16 c BCD2: found a new core of size 47: cost of the new core is >=1
1.09/1.16 c lower bound updated to 42
1.09/1.16 c BCD2: 42 <= obj <= 6138
1.09/1.16 c BCD2: #cores=42, #unrelaxed=4645, #relaxed=1494, #hardened=0
1.09/1.16 c BCD2: #sat=1 #unsat=43 bias=43/44
1.09/1.16 c Solving starts ...
1.09/1.16 c ============================[ Search Statistics ]============================
1.09/1.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.09/1.16 c | | | | Limit GC | Var | Constra
1.09/1.16 c =============================================================================
1.09/1.16 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 42
1.09/1.17 c 0.0s | 0 | 4261 | 0 | 2525 0 | 0 | 42
1.09/1.17 c #cpu_time = 0.011s
1.09/1.17 c #wall_clock_time = 0.011s
1.09/1.17 c #decision = 4261
1.09/1.17 c #random_decision = 0
1.09/1.17 c #conflict = 0
1.09/1.17 c #restart = 0
1.09/1.17 c BCD2: found a new core of size 30: cost of the new core is >=1
1.09/1.17 c lower bound updated to 43
1.09/1.18 c BCD2: 43 <= obj <= 6138
1.09/1.18 c BCD2: #cores=43, #unrelaxed=4615, #relaxed=1524, #hardened=0
1.09/1.18 c BCD2: #sat=1 #unsat=44 bias=44/45
1.09/1.18 c Solving starts ...
1.09/1.18 c ============================[ Search Statistics ]============================
1.09/1.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.09/1.18 c | | | | Limit GC | Var | Constra
1.09/1.18 c =============================================================================
1.09/1.18 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 43
1.09/1.19 c 0.0s | 0 | 4354 | 0 | 2525 0 | 0 | 43
1.09/1.19 c #cpu_time = 0.011s
1.09/1.19 c #wall_clock_time = 0.011s
1.09/1.19 c #decision = 4354
1.09/1.19 c #random_decision = 0
1.09/1.19 c #conflict = 0
1.09/1.19 c #restart = 0
1.09/1.19 c BCD2: found a new core of size 61: cost of the new core is >=1
1.09/1.19 c lower bound updated to 44
1.09/1.19 c BCD2: 44 <= obj <= 6138
1.09/1.19 c BCD2: #cores=44, #unrelaxed=4554, #relaxed=1585, #hardened=0
1.09/1.19 c BCD2: #sat=1 #unsat=45 bias=45/46
1.09/1.19 c Solving starts ...
1.09/1.19 c ============================[ Search Statistics ]============================
1.09/1.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.09/1.19 c | | | | Limit GC | Var | Constra
1.09/1.19 c =============================================================================
1.09/1.20 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 44
1.19/1.21 c 0.0s | 0 | 4305 | 0 | 2525 0 | 0 | 44
1.19/1.21 c #cpu_time = 0.011s
1.19/1.21 c #wall_clock_time = 0.011s
1.19/1.21 c #decision = 4305
1.19/1.21 c #random_decision = 0
1.19/1.21 c #conflict = 0
1.19/1.21 c #restart = 0
1.19/1.21 c BCD2: found a new core of size 35: cost of the new core is >=1
1.19/1.21 c lower bound updated to 45
1.19/1.21 c BCD2: 45 <= obj <= 6138
1.19/1.21 c BCD2: #cores=45, #unrelaxed=4519, #relaxed=1620, #hardened=0
1.19/1.21 c BCD2: #sat=1 #unsat=46 bias=46/47
1.19/1.21 c Solving starts ...
1.19/1.21 c ============================[ Search Statistics ]============================
1.19/1.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.19/1.21 c | | | | Limit GC | Var | Constra
1.19/1.21 c =============================================================================
1.19/1.21 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 45
1.19/1.22 c 0.0s | 0 | 4382 | 0 | 2525 0 | 0 | 45
1.19/1.22 c #cpu_time = 0.012s
1.19/1.22 c #wall_clock_time = 0.012s
1.19/1.22 c #decision = 4382
1.19/1.22 c #random_decision = 0
1.19/1.22 c #conflict = 0
1.19/1.22 c #restart = 0
1.19/1.22 c BCD2: found a new core of size 60: cost of the new core is >=1
1.19/1.22 c lower bound updated to 46
1.19/1.23 c BCD2: 46 <= obj <= 6138
1.19/1.23 c BCD2: #cores=46, #unrelaxed=4459, #relaxed=1680, #hardened=0
1.19/1.23 c BCD2: #sat=1 #unsat=47 bias=47/48
1.19/1.23 c Solving starts ...
1.19/1.23 c ============================[ Search Statistics ]============================
1.19/1.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.19/1.23 c | | | | Limit GC | Var | Constra
1.19/1.23 c =============================================================================
1.19/1.23 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 46
1.19/1.24 c 0.0s | 0 | 4356 | 0 | 2525 0 | 0 | 46
1.19/1.24 c #cpu_time = 0.011s
1.19/1.24 c #wall_clock_time = 0.011s
1.19/1.24 c #decision = 4356
1.19/1.24 c #random_decision = 0
1.19/1.24 c #conflict = 0
1.19/1.24 c #restart = 0
1.19/1.24 c BCD2: found a new core of size 49: cost of the new core is >=1
1.19/1.24 c lower bound updated to 47
1.19/1.24 c BCD2: 47 <= obj <= 6138
1.19/1.24 c BCD2: #cores=47, #unrelaxed=4410, #relaxed=1729, #hardened=0
1.19/1.24 c BCD2: #sat=1 #unsat=48 bias=48/49
1.19/1.24 c Solving starts ...
1.19/1.24 c ============================[ Search Statistics ]============================
1.19/1.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.19/1.24 c | | | | Limit GC | Var | Constra
1.19/1.24 c =============================================================================
1.19/1.24 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 47
1.19/1.26 c 0.0s | 0 | 4433 | 0 | 2525 0 | 0 | 47
1.19/1.26 c #cpu_time = 0.011s
1.19/1.26 c #wall_clock_time = 0.011s
1.19/1.26 c #decision = 4433
1.19/1.26 c #random_decision = 0
1.19/1.26 c #conflict = 0
1.19/1.26 c #restart = 0
1.19/1.26 c BCD2: found a new core of size 59: cost of the new core is >=1
1.19/1.26 c lower bound updated to 48
1.19/1.26 c BCD2: 48 <= obj <= 6138
1.19/1.26 c BCD2: #cores=48, #unrelaxed=4351, #relaxed=1788, #hardened=0
1.19/1.26 c BCD2: #sat=1 #unsat=49 bias=49/50
1.19/1.26 c Solving starts ...
1.19/1.26 c ============================[ Search Statistics ]============================
1.19/1.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.19/1.26 c | | | | Limit GC | Var | Constra
1.19/1.26 c =============================================================================
1.19/1.26 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 48
1.19/1.27 c 0.0s | 0 | 4398 | 0 | 2525 0 | 0 | 48
1.19/1.27 c #cpu_time = 0.011s
1.19/1.27 c #wall_clock_time = 0.011s
1.19/1.27 c #decision = 4398
1.19/1.27 c #random_decision = 0
1.19/1.27 c #conflict = 0
1.19/1.27 c #restart = 0
1.19/1.27 c BCD2: found a new core of size 100: cost of the new core is >=1
1.19/1.27 c lower bound updated to 49
1.19/1.28 c BCD2: 49 <= obj <= 6138
1.19/1.28 c BCD2: #cores=49, #unrelaxed=4251, #relaxed=1888, #hardened=0
1.19/1.28 c BCD2: #sat=1 #unsat=50 bias=50/51
1.19/1.28 c Solving starts ...
1.19/1.28 c ============================[ Search Statistics ]============================
1.19/1.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.19/1.28 c | | | | Limit GC | Var | Constra
1.19/1.28 c =============================================================================
1.19/1.28 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 49
1.28/1.30 c 0.0s | 0 | 6127 | 0 | 2525 0 | 0 | 49
1.28/1.30 c #cpu_time = 0.018s
1.28/1.30 c #wall_clock_time = 0.018s
1.28/1.30 c #decision = 6127
1.28/1.30 c #random_decision = 6
1.28/1.30 c #conflict = 0
1.28/1.30 c #restart = 0
1.28/1.30 o 182
1.28/1.30 c BCD2: updating upper bound: 6138 -> 181
1.28/1.31 c BCD2: 49 <= obj <= 181
1.28/1.31 c BCD2: #cores=49, #unrelaxed=4251, #relaxed=1888, #hardened=0
1.28/1.31 c BCD2: #sat=2 #unsat=50 bias=50/52
1.28/1.32 c Solving starts ...
1.28/1.32 c ============================[ Search Statistics ]============================
1.28/1.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.28/1.32 c | | | | Limit GC | Var | Constra
1.28/1.32 c =============================================================================
1.28/1.32 c 0.0s | 0 | 0 | 0 | 2525 0 | 0 | 50
1.28/1.36 c 0.0s | 1 | 6625 | 100 | 2525 0 | 0 | 50
1.38/1.43 c 0.1s | 2 | 13702 | 250 | 2778 0 | 0 | 50
1.48/1.52 c 0.2s | 3 | 20556 | 475 | 3056 0 | 0 | 50
1.58/1.63 c 0.3s | 4 | 26922 | 813 | 3362 0 | 0 | 50
1.78/1.80 c 0.5s | 5 | 33183 | 1320 | 3699 0 | 0 | 50
2.08/2.16 c 0.8s | 6 | 40210 | 2081 | 4476 0 | 0 | 50
2.48/2.55 c 1.2s | 7 | 48869 | 3223 | 4924 0 | 0 | 50
3.20/3.24 c 1.9s | 8 | 65222 | 4936 | 5417 0 | 0 | 50
4.79/4.86 c 3.5s | 9 | 79990 | 7506 | 5959 0 | 0 | 50
6.79/6.88 c 5.6s | 9 | 95853 | 10306 | 5959 1 | 0 | 50
7.89/7.98 c 6.7s | 10 | 99106 | 11361 | 6555 1 | 0 | 50
9.90/10.00 c 8.7s | 10 | 118702 | 16361 | 6555 2 | 0 | 50
10.19/10.28 c 9.0s | 11 | 123403 | 17144 | 7211 2 | 0 | 50
12.29/12.31 c 11.0s | 11 | 153909 | 21844 | 7211 3 | 0 | 50
13.79/13.86 c 12.5s | 12 | 168313 | 25819 | 7933 4 | 0 | 50
15.79/15.89 c 14.6s | 12 | 186529 | 29719 | 7933 4 | 0 | 50
17.88/17.90 c 16.6s | 12 | 190962 | 31519 | 7933 4 | 0 | 50
19.89/19.96 c 18.6s | 12 | 194023 | 32819 | 7933 5 | 0 | 50
21.88/21.97 c 20.6s | 12 | 197407 | 34319 | 7933 5 | 0 | 50
24.08/24.13 c 22.8s | 12 | 199494 | 35419 | 7933 5 | 0 | 50
26.29/26.30 c 25.0s | 12 | 202753 | 36619 | 7933 5 | 0 | 50
28.28/28.32 c 27.0s | 12 | 207353 | 38119 | 7933 5 | 0 | 50
28.78/28.86 c 27.5s | 13 | 209365 | 38832 | 8727 5 | 0 | 50
30.79/30.89 c 29.6s | 13 | 232818 | 41832 | 8727 6 | 0 | 50
32.88/32.92 c 31.6s | 13 | 243965 | 45232 | 8727 6 | 0 | 50
34.88/34.94 c 33.6s | 13 | 249637 | 47232 | 8727 7 | 0 | 50
36.88/36.95 c 35.6s | 13 | 253497 | 49032 | 8727 7 | 0 | 50
38.88/38.99 c 37.7s | 13 | 256880 | 50332 | 8727 7 | 0 | 50
40.98/41.02 c 39.7s | 13 | 260215 | 51532 | 8727 7 | 0 | 50
42.98/43.06 c 41.7s | 13 | 268695 | 54032 | 8727 8 | 0 | 50
45.18/45.22 c 43.9s | 13 | 273110 | 55832 | 8727 8 | 0 | 50
47.18/47.30 c 46.0s | 13 | 278976 | 57732 | 8727 8 | 0 | 50
48.08/48.10 c 46.8s | 14 | 280456 | 58352 | 9600 8 | 0 | 50
50.08/50.14 c 48.8s | 14 | 304362 | 61652 | 9600 9 | 0 | 50
52.08/52.17 c 50.8s | 14 | 326140 | 65952 | 9600 9 | 0 | 50
54.08/54.19 c 52.9s | 14 | 335399 | 68352 | 9600 10 | 0 | 50
56.18/56.26 c 54.9s | 14 | 343588 | 71052 | 9600 10 | 0 | 50
58.18/58.27 c 57.0s | 14 | 364309 | 74352 | 9600 11 | 0 | 50
60.18/60.28 c 59.0s | 14 | 377306 | 77152 | 9600 11 | 0 | 50
62.28/62.39 c 61.1s | 14 | 388116 | 80552 | 9600 11 | 0 | 50
64.57/64.61 c 63.3s | 14 | 392041 | 82352 | 9600 12 | 0 | 50
66.57/66.63 c 65.3s | 14 | 396406 | 84052 | 9600 12 | 0 | 50
68.58/68.65 c 67.3s | 14 | 401281 | 86252 | 9600 12 | 0 | 50
70.58/70.66 c 69.3s | 14 | 403217 | 87252 | 10560 12 | 0 | 50
71.68/71.72 c 70.4s | 15 | 403929 | 87632 | 10560 12 | 0 | 50
73.68/73.75 c 72.4s | 15 | 420932 | 90432 | 10560 13 | 0 | 50
75.68/75.78 c 74.5s | 15 | 445880 | 95532 | 10560 13 | 0 | 50
77.67/77.79 c 76.5s | 15 | 450397 | 97132 | 10560 14 | 0 | 50
79.78/79.89 c 78.6s | 15 | 453119 | 98132 | 10560 14 | 0 | 50
81.97/82.07 c 80.7s | 15 | 456073 | 99232 | 10560 14 | 0 | 50
84.07/84.10 c 82.8s | 15 | 470416 | 102332 | 10560 14 | 0 | 50
86.07/86.19 c 84.9s | 15 | 478406 | 105232 | 10560 15 | 0 | 50
88.17/88.26 c 86.9s | 15 | 490440 | 108332 | 10560 15 | 0 | 50
90.37/90.44 c 89.1s | 15 | 494344 | 110232 | 10560 15 | 0 | 50
92.48/92.57 c 91.3s | 15 | 496695 | 111432 | 10560 15 | 0 | 50
94.78/94.83 c 93.5s | 15 | 498790 | 112432 | 10560 15 | 0 | 50
96.78/96.84 c 95.5s | 15 | 514832 | 114932 | 10560 16 | 0 | 50
98.88/98.90 c 97.6s | 15 | 532704 | 119132 | 10560 16 | 0 | 50
100.87/100.93 c 99.6s | 15 | 539102 | 121132 | 10560 17 | 0 | 50
102.87/102.95 c 101s | 15 | 544363 | 123432 | 10560 17 | 0 | 50
105.27/105.31 c 103s | 15 | 548586 | 124932 | 10560 17 | 0 | 50
107.47/107.54 c 106s | 15 | 551209 | 125932 | 10560 17 | 0 | 50
109.57/109.62 c 108s | 15 | 553616 | 126832 | 10560 17 | 0 | 50
111.77/111.82 c 110s | 15 | 555450 | 127932 | 10560 18 | 0 | 50
113.77/113.88 c 112s | 15 | 561705 | 129932 | 10560 18 | 0 | 50
115.48/115.56 c 114s | 16 | 566235 | 131552 | 11617 18 | 0 | 50
117.47/117.56 c 116s | 16 | 598652 | 136652 | 11617 18 | 0 | 50
119.57/119.61 c 118s | 16 | 610193 | 140152 | 11617 19 | 0 | 50
121.57/121.63 c 120s | 16 | 635120 | 145052 | 11617 19 | 0 | 50
123.57/123.63 c 122s | 16 | 659223 | 149752 | 11617 20 | 0 | 50
125.57/125.67 c 124s | 16 | 685457 | 154052 | 11617 21 | 0 | 50
127.68/127.71 c 126s | 16 | 701197 | 158352 | 11617 21 | 0 | 50
129.67/129.71 c 128s | 16 | 722240 | 162252 | 11617 22 | 0 | 50
131.67/131.73 c 130s | 16 | 743658 | 166052 | 11617 22 | 0 | 50
133.67/133.75 c 132s | 16 | 760679 | 170052 | 11617 22 | 0 | 50
135.67/135.78 c 134s | 16 | 764533 | 171452 | 11617 23 | 0 | 50
137.77/137.81 c 136s | 16 | 777289 | 173852 | 11617 23 | 0 | 50
139.77/139.84 c 138s | 16 | 800315 | 178252 | 11617 23 | 0 | 50
141.76/141.85 c 140s | 16 | 813472 | 182352 | 11617 24 | 0 | 50
143.76/143.88 c 142s | 16 | 826682 | 185252 | 11617 24 | 0 | 50
146.17/146.24 c 144s | 16 | 835158 | 187252 | 11617 25 | 0 | 50
148.17/148.27 c 146s | 16 | 841435 | 189252 | 11617 25 | 0 | 50
150.26/150.30 c 148s | 16 | 845952 | 190952 | 11617 25 | 0 | 50
152.26/152.31 c 150s | 16 | 849163 | 192152 | 11617 25 | 0 | 50
154.26/154.33 c 153s | 16 | 854054 | 193852 | 11617 25 | 0 | 50
156.76/156.80 c 155s | 16 | 858725 | 195552 | 11617 26 | 0 | 50
158.87/158.90 c 157s | 16 | 863230 | 196952 | 12779 26 | 0 | 50
159.57/159.61 c 158s | 17 | 865409 | 197432 | 12779 26 | 0 | 50
161.57/161.62 c 160s | 17 | 889533 | 201632 | 12779 26 | 0 | 50
163.57/163.63 c 162s | 17 | 913688 | 205332 | 12779 27 | 0 | 50
165.66/165.72 c 164s | 17 | 928547 | 209032 | 12779 27 | 0 | 50
167.66/167.77 c 166s | 17 | 947572 | 212632 | 12779 27 | 0 | 50
169.76/169.82 c 168s | 17 | 956174 | 215832 | 12779 28 | 0 | 50
171.76/171.83 c 170s | 17 | 958712 | 217232 | 12779 28 | 0 | 50
173.87/173.94 c 172s | 17 | 965552 | 219832 | 12779 28 | 0 | 50
175.86/175.98 c 174s | 17 | 969967 | 221532 | 12779 28 | 0 | 50
177.96/178.00 c 176s | 17 | 984896 | 224732 | 12779 29 | 0 | 50
179.96/180.02 c 178s | 17 | 1013324 | 230432 | 12779 29 | 0 | 50
181.96/182.03 c 180s | 17 | 1024190 | 234532 | 12779 30 | 0 | 50
183.96/184.05 c 182s | 17 | 1053096 | 239732 | 12779 30 | 0 | 50
185.96/186.08 c 184s | 17 | 1064218 | 244032 | 12779 31 | 0 | 50
187.96/188.10 c 186s | 17 | 1076023 | 248632 | 12779 31 | 0 | 50
190.05/190.13 c 188s | 17 | 1082835 | 251332 | 12779 32 | 0 | 50
192.16/192.26 c 190s | 17 | 1087797 | 253432 | 12779 32 | 0 | 50
194.36/194.41 c 193s | 17 | 1089078 | 254232 | 12779 32 | 0 | 50
196.36/196.45 c 195s | 17 | 1091844 | 255532 | 12779 32 | 0 | 50
198.45/198.53 c 197s | 17 | 1098777 | 257732 | 12779 32 | 0 | 50
200.65/200.79 c 199s | 17 | 1103350 | 259432 | 12779 33 | 0 | 50
202.75/202.80 c 201s | 17 | 1111384 | 262932 | 12779 33 | 0 | 50
204.95/205.01 c 203s | 17 | 1114453 | 264232 | 12779 33 | 0 | 50
207.06/207.15 c 205s | 17 | 1117521 | 265232 | 12779 33 | 0 | 50
209.66/209.74 c 208s | 17 | 1119543 | 266132 | 12779 33 | 0 | 50
211.65/211.75 c 210s | 17 | 1123205 | 267632 | 12779 33 | 0 | 50
213.65/213.76 c 212s | 17 | 1127319 | 269532 | 12779 34 | 0 | 50
215.75/215.85 c 214s | 17 | 1134299 | 272632 | 12779 34 | 0 | 50
217.76/217.86 c 216s | 17 | 1139911 | 275032 | 12779 34 | 0 | 50
219.86/219.94 c 218s | 17 | 1145494 | 277432 | 12779 34 | 0 | 50
221.96/222.04 c 220s | 17 | 1149284 | 279232 | 12779 35 | 0 | 50
223.95/224.07 c 222s | 17 | 1154223 | 281332 | 12779 35 | 0 | 50
226.05/226.13 c 224s | 17 | 1158437 | 283332 | 12779 35 | 0 | 50
228.05/228.19 c 226s | 17 | 1160971 | 284132 | 12779 35 | 0 | 50
230.15/230.26 c 228s | 17 | 1164504 | 285832 | 12779 35 | 0 | 50
232.16/232.28 c 230s | 17 | 1174684 | 289132 | 12779 36 | 0 | 50
234.15/234.29 c 232s | 17 | 1184894 | 293132 | 12779 36 | 0 | 50
236.25/236.35 c 235s | 17 | 1190577 | 296032 | 14057 36 | 0 | 50
236.55/236.66 c 235s | 18 | 1190900 | 296252 | 14057 36 | 0 | 50
238.55/238.67 c 237s | 18 | 1206992 | 298652 | 14057 37 | 0 | 50
240.65/240.70 c 239s | 18 | 1237307 | 303852 | 14057 37 | 0 | 50
242.65/242.71 c 241s | 18 | 1251504 | 307552 | 14057 38 | 0 | 50
244.65/244.74 c 243s | 18 | 1271484 | 311752 | 14057 38 | 0 | 50
246.85/246.98 c 245s | 18 | 1286389 | 315552 | 14057 39 | 0 | 50
248.85/248.98 c 247s | 18 | 1304533 | 319952 | 14057 39 | 0 | 50
250.85/250.99 c 249s | 18 | 1313656 | 322452 | 14057 39 | 0 | 50
253.05/253.11 c 251s | 18 | 1322936 | 325052 | 14057 40 | 0 | 50
255.04/255.12 c 253s | 18 | 1338443 | 328652 | 14057 40 | 0 | 50
257.04/257.14 c 255s | 18 | 1351164 | 332752 | 14057 40 | 0 | 50
259.14/259.22 c 257s | 18 | 1363741 | 335052 | 14057 41 | 0 | 50
261.15/261.22 c 259s | 18 | 1373964 | 337652 | 14057 41 | 0 | 50
263.25/263.31 c 261s | 18 | 1390783 | 340652 | 14057 41 | 0 | 50
265.45/265.53 c 264s | 18 | 1402020 | 344452 | 14057 42 | 0 | 50
267.55/267.66 c 266s | 18 | 1411169 | 347152 | 14057 42 | 0 | 50
269.85/269.94 c 268s | 18 | 1413519 | 348352 | 14057 42 | 0 | 50
271.85/271.96 c 270s | 18 | 1417927 | 349652 | 14057 42 | 0 | 50
274.05/274.19 c 272s | 18 | 1434972 | 353252 | 14057 43 | 0 | 50
276.05/276.20 c 274s | 18 | 1453138 | 357252 | 14057 43 | 0 | 50
278.15/278.27 c 276s | 18 | 1460927 | 360252 | 14057 43 | 0 | 50
280.25/280.32 c 279s | 18 | 1465971 | 362052 | 14057 43 | 0 | 50
282.35/282.45 c 281s | 18 | 1469270 | 363252 | 14057 44 | 0 | 50
284.44/284.58 c 283s | 18 | 1472926 | 364652 | 14057 44 | 0 | 50
286.54/286.66 c 285s | 18 | 1475059 | 365552 | 14057 44 | 0 | 50
288.54/288.68 c 287s | 18 | 1482730 | 367552 | 14057 44 | 0 | 50
290.64/290.75 c 289s | 18 | 1500061 | 370852 | 14057 44 | 0 | 50
292.65/292.78 c 291s | 18 | 1514254 | 373452 | 14057 45 | 0 | 50
294.85/294.95 c 293s | 18 | 1529499 | 377152 | 14057 45 | 0 | 50
296.84/297.00 c 295s | 18 | 1541733 | 379852 | 14057 45 | 0 | 50
299.04/299.14 c 297s | 18 | 1547883 | 382052 | 14057 46 | 0 | 50
301.04/301.17 c 299s | 18 | 1561800 | 385952 | 14057 46 | 0 | 50
303.14/303.21 c 301s | 18 | 1570798 | 389552 | 14057 46 | 0 | 50
305.14/305.25 c 303s | 18 | 1575071 | 391852 | 14057 46 | 0 | 50
307.24/307.37 c 306s | 18 | 1576668 | 392952 | 14057 47 | 0 | 50
309.34/309.42 c 308s | 18 | 1578632 | 394252 | 14057 47 | 0 | 50
311.35/311.47 c 310s | 18 | 1581492 | 395952 | 14057 47 | 0 | 50
313.45/313.54 c 312s | 18 | 1593457 | 398252 | 14057 47 | 0 | 50
315.44/315.59 c 314s | 18 | 1608351 | 400752 | 14057 47 | 0 | 50
317.54/317.62 c 316s | 18 | 1619479 | 402852 | 14057 48 | 0 | 50
319.54/319.65 c 318s | 18 | 1627867 | 406652 | 14057 48 | 0 | 50
321.54/321.65 c 320s | 18 | 1644848 | 410452 | 14057 48 | 0 | 50
323.53/323.67 c 322s | 18 | 1661616 | 413952 | 14057 49 | 0 | 50
325.54/325.67 c 324s | 18 | 1677066 | 417452 | 14057 49 | 0 | 50
327.63/327.72 c 326s | 18 | 1691886 | 421052 | 14057 50 | 0 | 50
329.64/329.72 c 328s | 18 | 1707955 | 424552 | 14057 50 | 0 | 50
331.64/331.78 c 330s | 18 | 1717227 | 427952 | 14057 50 | 0 | 50
333.74/333.80 c 332s | 18 | 1729840 | 431852 | 14057 51 | 0 | 50
335.74/335.83 c 334s | 18 | 1745258 | 435652 | 14057 51 | 0 | 50
337.74/337.85 c 336s | 18 | 1756423 | 438852 | 14057 51 | 0 | 50
339.74/339.86 c 338s | 18 | 1764794 | 441152 | 14057 52 | 0 | 50
341.74/341.83 c 340s | 19 | 1783023 | 444482 | 15463 52 | 0 | 50
343.74/343.85 c 342s | 19 | 1809468 | 448782 | 15463 52 | 0 | 50
345.73/345.87 c 344s | 19 | 1830066 | 452782 | 15463 53 | 0 | 50
347.73/347.87 c 346s | 19 | 1855327 | 457882 | 15463 53 | 0 | 50
349.74/349.88 c 348s | 19 | 1873117 | 462682 | 15463 54 | 0 | 50
351.83/351.93 c 350s | 19 | 1884074 | 465782 | 15463 54 | 0 | 50
353.83/353.98 c 352s | 19 | 1891631 | 468182 | 15463 54 | 0 | 50
355.93/356.06 c 354s | 19 | 1896648 | 469482 | 15463 54 | 0 | 50
358.03/358.12 c 356s | 19 | 1904133 | 471382 | 15463 55 | 0 | 50
360.03/360.17 c 358s | 19 | 1909885 | 472982 | 15463 55 | 0 | 50
362.14/362.28 c 360s | 19 | 1914447 | 474682 | 15463 55 | 0 | 50
364.33/364.47 c 363s | 19 | 1915819 | 475282 | 15463 55 | 0 | 50
366.43/366.54 c 365s | 19 | 1919318 | 476782 | 15463 55 | 0 | 50
368.93/369.09 c 367s | 19 | 1922063 | 477882 | 15463 55 | 0 | 50
371.53/371.63 c 370s | 19 | 1922672 | 478182 | 15463 55 | 0 | 50
373.83/373.92 c 372s | 19 | 1923930 | 478682 | 15463 55 | 0 | 50
376.63/376.78 c 375s | 19 | 1924619 | 478982 | 15463 55 | 0 | 50
378.83/378.96 c 377s | 19 | 1925878 | 479582 | 15463 55 | 0 | 50
381.64/381.73 c 380s | 19 | 1926450 | 479882 | 15463 55 | 0 | 50
383.73/383.87 c 382s | 19 | 1927060 | 480182 | 15463 55 | 0 | 50
386.13/386.25 c 384s | 19 | 1927830 | 480482 | 15463 55 | 0 | 50
388.23/388.34 c 387s | 19 | 1929641 | 481182 | 15463 55 | 0 | 50
390.32/390.48 c 389s | 19 | 1931865 | 481982 | 15463 56 | 0 | 50
392.53/392.61 c 391s | 19 | 1933541 | 482682 | 15463 56 | 0 | 50
394.53/394.62 c 393s | 19 | 1934707 | 483182 | 15463 56 | 0 | 50
396.52/396.63 c 395s | 19 | 1935779 | 483682 | 15463 56 | 0 | 50
399.02/399.14 c 397s | 19 | 1936693 | 484082 | 15463 56 | 0 | 50
401.33/401.50 c 400s | 19 | 1937774 | 484482 | 15463 56 | 0 | 50
403.73/403.81 c 402s | 19 | 1938198 | 484682 | 15463 56 | 0 | 50
405.83/405.96 c 404s | 19 | 1939261 | 485182 | 15463 56 | 0 | 50
408.32/408.45 c 407s | 19 | 1940206 | 485682 | 15463 56 | 0 | 50
410.82/410.94 c 409s | 19 | 1940852 | 485982 | 15463 56 | 0 | 50
413.32/413.45 c 412s | 19 | 1941364 | 486282 | 15463 56 | 0 | 50
415.43/415.55 c 414s | 19 | 1942153 | 486582 | 15463 56 | 0 | 50
417.73/417.88 c 416s | 19 | 1943904 | 487382 | 15463 56 | 0 | 50
419.73/419.89 c 418s | 19 | 1946082 | 488182 | 15463 56 | 0 | 50
422.22/422.34 c 421s | 19 | 1946919 | 488582 | 15463 56 | 0 | 50
424.42/424.56 c 423s | 19 | 1947433 | 488882 | 15463 56 | 0 | 50
426.83/426.91 c 425s | 19 | 1948975 | 489482 | 15463 56 | 0 | 50
429.33/429.49 c 428s | 19 | 1949965 | 489982 | 15463 56 | 0 | 50
431.52/431.62 c 430s | 19 | 1950780 | 490282 | 15463 56 | 0 | 50
433.62/433.72 c 432s | 19 | 1951094 | 490482 | 15463 56 | 0 | 50
436.82/436.90 c 435s | 19 | 1951969 | 490882 | 15463 56 | 0 | 50
439.12/439.25 c 437s | 19 | 1952328 | 491082 | 15463 56 | 0 | 50
441.32/441.45 c 440s | 19 | 1954221 | 491782 | 15463 56 | 0 | 50
443.32/443.49 c 442s | 19 | 1955164 | 492182 | 15463 57 | 0 | 50
445.43/445.53 c 444s | 19 | 1957148 | 492982 | 15463 57 | 0 | 50
448.02/448.18 c 446s | 19 | 1959138 | 493682 | 15463 57 | 0 | 50
450.32/450.42 c 449s | 19 | 1961966 | 494482 | 15463 57 | 0 | 50
452.72/452.83 c 451s | 19 | 1963432 | 494982 | 15463 57 | 0 | 50
455.42/455.56 c 454s | 19 | 1964957 | 495582 | 15463 57 | 0 | 50
457.71/457.89 c 456s | 19 | 1966345 | 496082 | 15463 57 | 0 | 50
459.91/460.04 c 458s | 19 | 1967601 | 496482 | 15463 57 | 0 | 50
462.32/462.46 c 461s | 19 | 1968355 | 496782 | 15463 57 | 0 | 50
464.81/464.96 c 463s | 19 | 1968822 | 497082 | 15463 57 | 0 | 50
466.92/467.01 c 465s | 19 | 1969394 | 497382 | 15463 57 | 0 | 50
469.01/469.19 c 467s | 19 | 1969899 | 497682 | 15463 57 | 0 | 50
472.22/472.36 c 471s | 19 | 1970465 | 497982 | 15463 57 | 0 | 50
475.31/475.45 c 474s | 19 | 1971025 | 498282 | 15463 57 | 0 | 50
477.71/477.87 c 476s | 19 | 1971323 | 498482 | 15463 57 | 0 | 50
480.12/480.20 c 478s | 19 | 1971882 | 498782 | 15463 57 | 0 | 50
482.92/483.01 c 481s | 19 | 1972562 | 499182 | 15463 57 | 0 | 50
486.01/486.15 c 484s | 19 | 1972956 | 499382 | 15463 57 | 0 | 50
488.32/488.45 c 487s | 19 | 1973311 | 499582 | 15463 57 | 0 | 50
491.11/491.23 c 489s | 19 | 1973906 | 499882 | 15463 57 | 0 | 50
494.21/494.35 c 493s | 19 | 1974240 | 500082 | 15463 57 | 0 | 50
496.91/497.09 c 495s | 19 | 1974525 | 500282 | 15463 57 | 0 | 50
499.82/499.97 c 498s | 19 | 1975123 | 500582 | 15463 57 | 0 | 50
502.31/502.46 c 501s | 19 | 1975715 | 500882 | 15463 57 | 0 | 50
504.41/504.58 c 503s | 19 | 1976069 | 501082 | 15463 57 | 0 | 50
506.61/506.70 c 505s | 19 | 1976374 | 501282 | 15463 57 | 0 | 50
510.01/510.12 c 508s | 19 | 1976652 | 501482 | 15463 57 | 0 | 50
513.90/514.01 c 512s | 19 | 1976941 | 501682 | 15463 57 | 0 | 50
516.31/516.44 c 515s | 19 | 1977091 | 501782 | 15463 57 | 0 | 50
518.81/518.99 c 517s | 19 | 1977488 | 501982 | 15463 57 | 0 | 50
521.41/521.54 c 520s | 19 | 1977916 | 502182 | 15463 57 | 0 | 50
525.11/525.26 c 523s | 19 | 1978060 | 502282 | 15463 58 | 0 | 50
527.71/527.85 c 526s | 19 | 1978439 | 502482 | 15463 58 | 0 | 50
530.11/530.27 c 528s | 19 | 1978598 | 502582 | 15463 58 | 0 | 50
532.90/533.00 c 531s | 19 | 1978977 | 502782 | 15463 58 | 0 | 50
536.00/536.10 c 534s | 19 | 1979723 | 503182 | 15463 58 | 0 | 50
538.81/538.94 c 537s | 19 | 1980043 | 503382 | 15463 58 | 0 | 50
540.91/541.03 c 539s | 19 | 1980175 | 503482 | 15463 58 | 0 | 50
543.10/543.22 c 541s | 19 | 1980604 | 503682 | 15463 58 | 0 | 50
545.61/545.72 c 544s | 19 | 1980923 | 503882 | 15463 58 | 0 | 50
547.90/548.04 c 546s | 19 | 1981644 | 504182 | 15463 58 | 0 | 50
550.71/550.85 c 549s | 19 | 1982493 | 504582 | 15463 58 | 0 | 50
553.40/553.52 c 552s | 19 | 1983063 | 504882 | 15463 58 | 0 | 50
555.80/555.99 c 554s | 19 | 1983622 | 505182 | 15463 58 | 0 | 50
558.30/558.43 c 557s | 19 | 1983886 | 505382 | 15463 58 | 0 | 50
560.51/560.65 c 559s | 19 | 1984191 | 505582 | 15463 58 | 0 | 50
562.90/563.03 c 561s | 19 | 1984488 | 505782 | 15463 58 | 0 | 50
565.60/565.77 c 564s | 19 | 1984987 | 505982 | 15463 58 | 0 | 50
569.71/569.83 c 568s | 19 | 1985453 | 506182 | 15463 58 | 0 | 50
572.20/572.37 c 571s | 19 | 1985799 | 506382 | 15463 58 | 0 | 50
574.89/575.00 c 573s | 19 | 1986548 | 506682 | 15463 58 | 0 | 50
577.20/577.30 c 575s | 19 | 1986965 | 506882 | 15463 58 | 0 | 50
579.30/579.44 c 578s | 19 | 1987460 | 507082 | 15463 58 | 0 | 50
582.50/582.60 c 581s | 19 | 1987837 | 507282 | 15463 58 | 0 | 50
585.00/585.17 c 583s | 19 | 1988781 | 507682 | 15463 58 | 0 | 50
587.41/587.58 c 586s | 19 | 1989417 | 507982 | 15463 58 | 0 | 50
589.70/589.88 c 588s | 19 | 1989940 | 508282 | 15463 58 | 0 | 50
592.69/592.83 c 591s | 19 | 1990350 | 508482 | 15463 58 | 0 | 50
594.90/595.01 c 593s | 19 | 1990945 | 508782 | 15463 58 | 0 | 50
597.70/597.83 c 596s | 19 | 1991607 | 509082 | 15463 58 | 0 | 50
600.00/600.18 c 598s | 19 | 1992108 | 509282 | 15463 58 | 0 | 50
602.19/602.32 c 601s | 19 | 1992858 | 509582 | 15463 58 | 0 | 50
605.40/605.54 c 604s | 19 | 1993201 | 509782 | 15463 58 | 0 | 50
607.80/607.94 c 606s | 19 | 1993667 | 509982 | 15463 58 | 0 | 50
609.89/610.02 c 608s | 19 | 1994466 | 510282 | 15463 58 | 0 | 50
611.99/612.19 c 610s | 19 | 1996645 | 510882 | 15463 58 | 0 | 50
616.69/616.81 c 615s | 19 | 2002085 | 512682 | 15463 59 | 0 | 50
618.70/618.82 c 617s | 19 | 2006340 | 514582 | 15463 59 | 0 | 50
620.79/620.94 c 619s | 19 | 2009558 | 515482 | 15463 59 | 0 | 50
622.99/623.13 c 621s | 19 | 2012074 | 516282 | 15463 59 | 0 | 50
625.39/625.50 c 624s | 19 | 2013161 | 516782 | 15463 59 | 0 | 50
627.49/627.69 c 626s | 19 | 2014369 | 517282 | 15463 59 | 0 | 50
629.89/630.06 c 628s | 19 | 2015587 | 517682 | 15463 59 | 0 | 50
632.59/632.74 c 631s | 19 | 2016312 | 518082 | 15463 59 | 0 | 50
634.99/635.12 c 633s | 19 | 2017510 | 518482 | 15463 59 | 0 | 50
637.39/637.57 c 636s | 19 | 2018189 | 518782 | 15463 59 | 0 | 50
639.99/640.10 c 638s | 19 | 2018817 | 519182 | 15463 59 | 0 | 50
642.30/642.46 c 641s | 19 | 2019183 | 519382 | 15463 59 | 0 | 50
644.89/645.09 c 643s | 19 | 2019469 | 519582 | 15463 59 | 0 | 50
647.69/647.87 c 646s | 19 | 2019913 | 519882 | 15463 59 | 0 | 50
650.38/650.59 c 649s | 19 | 2020353 | 520182 | 15463 59 | 0 | 50
652.69/652.86 c 651s | 19 | 2021488 | 520582 | 15463 59 | 0 | 50
654.99/655.12 c 653s | 19 | 2022311 | 520882 | 15463 59 | 0 | 50
657.39/657.54 c 656s | 19 | 2024010 | 521382 | 15463 59 | 0 | 50
659.48/659.63 c 658s | 19 | 2026433 | 522182 | 15463 59 | 0 | 50
662.09/662.21 c 660s | 19 | 2027234 | 522482 | 15463 59 | 0 | 50
664.30/664.47 c 663s | 19 | 2027870 | 522682 | 15463 60 | 0 | 50
666.39/666.58 c 665s | 19 | 2030576 | 523582 | 15463 60 | 0 | 50
668.69/668.88 c 667s | 19 | 2031404 | 523982 | 15463 60 | 0 | 50
671.28/671.42 c 670s | 19 | 2033203 | 524582 | 15463 60 | 0 | 50
673.29/673.43 c 672s | 19 | 2033645 | 524782 | 15463 60 | 0 | 50
675.68/675.84 c 674s | 19 | 2034111 | 525082 | 15463 60 | 0 | 50
678.08/678.21 c 676s | 19 | 2034813 | 525382 | 15463 60 | 0 | 50
680.48/680.65 c 679s | 19 | 2036228 | 525782 | 15463 60 | 0 | 50
683.09/683.24 c 681s | 19 | 2036977 | 526182 | 15463 60 | 0 | 50
685.58/685.74 c 684s | 19 | 2037545 | 526482 | 15463 60 | 0 | 50
687.78/687.95 c 686s | 19 | 2038244 | 526882 | 15463 60 | 0 | 50
690.18/690.32 c 689s | 19 | 2039053 | 527182 | 15463 60 | 0 | 50
692.38/692.59 c 691s | 19 | 2039651 | 527482 | 15463 60 | 0 | 50
694.78/694.96 c 693s | 19 | 2040289 | 527782 | 15463 60 | 0 | 50
697.88/698.08 c 696s | 19 | 2041294 | 528282 | 15463 60 | 0 | 50
700.59/700.73 c 699s | 19 | 2042059 | 528582 | 15463 60 | 0 | 50
703.38/703.56 c 702s | 19 | 2042385 | 528782 | 15463 60 | 0 | 50
705.88/706.06 c 704s | 19 | 2042912 | 529082 | 15463 60 | 0 | 50
708.58/708.77 c 707s | 19 | 2043334 | 529382 | 15463 60 | 0 | 50
710.58/710.78 c 709s | 19 | 2043941 | 529682 | 15463 60 | 0 | 50
713.38/713.55 c 712s | 19 | 2044903 | 530082 | 15463 60 | 0 | 50
715.88/716.04 c 714s | 19 | 2045697 | 530482 | 15463 60 | 0 | 50
718.47/718.63 c 717s | 19 | 2046580 | 530782 | 15463 60 | 0 | 50
720.68/720.83 c 719s | 19 | 2047749 | 531082 | 15463 60 | 0 | 50
722.78/722.91 c 721s | 19 | 2049726 | 531682 | 15463 60 | 0 | 50
724.78/724.97 c 723s | 19 | 2050771 | 532082 | 15463 60 | 0 | 50
727.08/727.22 c 725s | 19 | 2051654 | 532482 | 15463 60 | 0 | 50
729.87/730.03 c 728s | 19 | 2052273 | 532782 | 15463 60 | 0 | 50
732.27/732.42 c 731s | 19 | 2052683 | 532982 | 15463 60 | 0 | 50
734.58/734.70 c 733s | 19 | 2052851 | 533082 | 15463 60 | 0 | 50
737.28/737.48 c 736s | 19 | 2053149 | 533182 | 15463 61 | 0 | 50
740.19/740.37 c 739s | 19 | 2053551 | 533482 | 15463 61 | 0 | 50
743.17/743.30 c 741s | 19 | 2053854 | 533682 | 15463 61 | 0 | 50
746.67/746.87 c 745s | 19 | 2054215 | 533882 | 15463 61 | 0 | 50
750.18/750.37 c 749s | 19 | 2054551 | 534082 | 15463 61 | 0 | 50
752.58/752.77 c 751s | 19 | 2054905 | 534282 | 15463 61 | 0 | 50
754.67/754.85 c 753s | 19 | 2055534 | 534582 | 15463 61 | 0 | 50
757.17/757.32 c 756s | 19 | 2056082 | 534882 | 15463 61 | 0 | 50
759.27/759.46 c 758s | 19 | 2056920 | 535182 | 15463 61 | 0 | 50
761.37/761.55 c 760s | 19 | 2057824 | 535582 | 15463 61 | 0 | 50
763.57/763.70 c 762s | 19 | 2058875 | 535982 | 15463 61 | 0 | 50
765.97/766.12 c 764s | 19 | 2061121 | 536582 | 15463 61 | 0 | 50
768.67/768.88 c 767s | 19 | 2061866 | 536982 | 15463 61 | 0 | 50
771.08/771.28 c 769s | 19 | 2062448 | 537282 | 15463 61 | 0 | 50
773.28/773.48 c 772s | 19 | 2062966 | 537582 | 15463 61 | 0 | 50
775.38/775.54 c 774s | 19 | 2063262 | 537782 | 15463 61 | 0 | 50
777.67/777.86 c 776s | 19 | 2063806 | 538082 | 15463 61 | 0 | 50
780.06/780.22 c 778s | 19 | 2064426 | 538382 | 15463 61 | 0 | 50
783.18/783.33 c 782s | 19 | 2064926 | 538682 | 15463 61 | 0 | 50
785.87/786.02 c 784s | 19 | 2065322 | 538882 | 15463 61 | 0 | 50
788.37/788.50 c 787s | 19 | 2065664 | 539082 | 15463 61 | 0 | 50
791.26/791.47 c 790s | 19 | 2065990 | 539282 | 15463 61 | 0 | 50
793.57/793.77 c 792s | 19 | 2066279 | 539482 | 15463 61 | 0 | 50
795.87/796.07 c 794s | 19 | 2066606 | 539682 | 15463 61 | 0 | 50
797.97/798.10 c 796s | 19 | 2066977 | 539882 | 15463 61 | 0 | 50
800.47/800.65 c 799s | 19 | 2067558 | 540182 | 15463 61 | 0 | 50
803.06/803.24 c 801s | 19 | 2068422 | 540582 | 15463 61 | 0 | 50
805.27/805.49 c 804s | 19 | 2069389 | 540982 | 15463 61 | 0 | 50
807.96/808.17 c 806s | 19 | 2070107 | 541382 | 15463 61 | 0 | 50
810.67/810.86 c 809s | 19 | 2071237 | 541882 | 15463 61 | 0 | 50
813.37/813.58 c 812s | 19 | 2072454 | 542282 | 15463 61 | 0 | 50
815.56/815.75 c 814s | 19 | 2074337 | 542782 | 15463 61 | 0 | 50
817.66/817.83 c 816s | 19 | 2075349 | 543082 | 15463 61 | 0 | 50
819.76/819.90 c 818s | 19 | 2076521 | 543482 | 15463 61 | 0 | 50
822.57/822.78 c 821s | 19 | 2076876 | 543582 | 15463 62 | 0 | 50
825.66/825.82 c 824s | 19 | 2077539 | 543882 | 15463 62 | 0 | 50
828.26/828.49 c 827s | 19 | 2078286 | 544282 | 15463 62 | 0 | 50
830.96/831.14 c 829s | 19 | 2078689 | 544482 | 15463 62 | 0 | 50
833.56/833.75 c 832s | 19 | 2079680 | 544982 | 15463 62 | 0 | 50
836.06/836.28 c 834s | 19 | 2080519 | 545382 | 15463 62 | 0 | 50
838.95/839.15 c 837s | 19 | 2081114 | 545682 | 15463 62 | 0 | 50
841.06/841.20 c 839s | 19 | 2081497 | 545882 | 15463 62 | 0 | 50
845.56/845.75 c 844s | 19 | 2082065 | 546182 | 15463 62 | 0 | 50
850.86/851.03 c 849s | 19 | 2082263 | 546282 | 15463 62 | 0 | 50
853.95/854.19 c 852s | 19 | 2082656 | 546482 | 15463 62 | 0 | 50
857.46/857.69 c 856s | 19 | 2083136 | 546682 | 15463 62 | 0 | 50
860.36/860.59 c 859s | 19 | 2083783 | 546982 | 15463 62 | 0 | 50
862.75/862.99 c 861s | 19 | 2084923 | 547582 | 15463 62 | 0 | 50
865.45/865.69 c 864s | 19 | 2085607 | 547982 | 15463 62 | 0 | 50
868.86/869.03 c 867s | 19 | 2085943 | 548182 | 15463 62 | 0 | 50
870.85/871.08 c 869s | 19 | 2086731 | 548482 | 15463 62 | 0 | 50
873.05/873.21 c 871s | 19 | 2087256 | 548682 | 15463 62 | 0 | 50
875.46/875.66 c 874s | 19 | 2087675 | 548882 | 15463 62 | 0 | 50
878.45/878.66 c 877s | 19 | 2088404 | 549182 | 15463 62 | 0 | 50
880.64/880.83 c 879s | 19 | 2089046 | 549482 | 15463 62 | 0 | 50
883.75/883.90 c 882s | 19 | 2089585 | 549682 | 15463 62 | 0 | 50
886.35/886.56 c 885s | 19 | 2089749 | 549782 | 15463 62 | 0 | 50
890.04/890.23 c 888s | 19 | 2089897 | 549882 | 15463 62 | 0 | 50
893.15/893.32 c 891s | 19 | 2090367 | 550082 | 15463 62 | 0 | 50
895.25/895.43 c 894s | 19 | 2093362 | 551082 | 15463 62 | 0 | 50
899.34/899.51 c 898s | 19 | 2107615 | 553882 | 15463 63 | 0 | 50
901.34/901.52 c 900s | 19 | 2114286 | 556882 | 15463 63 | 0 | 50
903.34/903.53 c 902s | 19 | 2121480 | 559082 | 15463 63 | 0 | 50
905.34/905.55 c 904s | 19 | 2129488 | 561882 | 15463 63 | 0 | 50
907.34/907.60 c 906s | 19 | 2132198 | 563482 | 15463 63 | 0 | 50
909.43/909.67 c 908s | 19 | 2133704 | 564182 | 15463 64 | 0 | 50
911.53/911.78 c 910s | 19 | 2137684 | 565682 | 15463 64 | 0 | 50
913.63/913.81 c 912s | 19 | 2140947 | 566882 | 15463 64 | 0 | 50
915.74/915.93 c 914s | 19 | 2142761 | 567682 | 15463 64 | 0 | 50
917.83/918.10 c 916s | 19 | 2145668 | 568782 | 15463 64 | 0 | 50
920.03/920.20 c 918s | 19 | 2148184 | 569882 | 15463 64 | 0 | 50
922.03/922.27 c 920s | 19 | 2149593 | 570682 | 15463 64 | 0 | 50
924.13/924.33 c 923s | 19 | 2151068 | 571482 | 15463 64 | 0 | 50
926.43/926.61 c 925s | 19 | 2153180 | 572382 | 15463 64 | 0 | 50
928.43/928.68 c 927s | 19 | 2154923 | 573082 | 15463 64 | 0 | 50
930.53/930.79 c 929s | 19 | 2156288 | 573782 | 15463 64 | 0 | 50
933.12/933.33 c 932s | 19 | 2158766 | 574582 | 15463 65 | 0 | 50
935.22/935.49 c 934s | 19 | 2164445 | 576382 | 15463 65 | 0 | 50
937.33/937.55 c 936s | 19 | 2167472 | 577682 | 15463 65 | 0 | 50
939.42/939.65 c 938s | 19 | 2170313 | 578782 | 15463 65 | 0 | 50
941.43/941.67 c 940s | 19 | 2171734 | 579582 | 15463 65 | 0 | 50
943.52/943.78 c 942s | 19 | 2173843 | 580782 | 15463 65 | 0 | 50
945.62/945.81 c 944s | 19 | 2176798 | 581782 | 15463 65 | 0 | 50
947.92/948.12 c 946s | 19 | 2178337 | 582582 | 15463 65 | 0 | 50
949.91/950.14 c 948s | 19 | 2179674 | 583182 | 15463 65 | 0 | 50
952.32/952.52 c 951s | 19 | 2180832 | 583782 | 15463 65 | 0 | 50
954.42/954.60 c 953s | 19 | 2182255 | 584282 | 15463 65 | 0 | 50
956.71/956.91 c 955s | 19 | 2183291 | 584782 | 15463 65 | 0 | 50
958.71/958.93 c 957s | 19 | 2183584 | 584982 | 15463 66 | 0 | 50
960.81/961.08 c 959s | 19 | 2184602 | 585582 | 15463 66 | 0 | 50
962.82/963.08 c 961s | 19 | 2185815 | 586182 | 15463 66 | 0 | 50
965.11/965.33 c 964s | 19 | 2187464 | 586882 | 15463 66 | 0 | 50
967.11/967.35 c 966s | 19 | 2188185 | 587382 | 15463 66 | 0 | 50
969.21/969.45 c 968s | 19 | 2188945 | 587882 | 15463 66 | 0 | 50
971.41/971.64 c 970s | 19 | 2190243 | 588582 | 15463 66 | 0 | 50
973.51/973.72 c 972s | 19 | 2191469 | 589282 | 15463 66 | 0 | 50
975.61/975.83 c 974s | 19 | 2192631 | 589882 | 15463 66 | 0 | 50
977.60/977.84 c 976s | 19 | 2193466 | 590282 | 15463 66 | 0 | 50
979.70/979.91 c 978s | 19 | 2194272 | 590682 | 15463 66 | 0 | 50
982.11/982.40 c 981s | 19 | 2194861 | 591082 | 15463 66 | 0 | 50
984.42/984.69 c 983s | 19 | 2195411 | 591482 | 15463 66 | 0 | 50
986.61/986.81 c 985s | 19 | 2195961 | 591882 | 15463 66 | 0 | 50
988.81/989.09 c 987s | 19 | 2196608 | 592282 | 15463 66 | 0 | 50
991.09/991.37 c 990s | 19 | 2197768 | 592882 | 15463 66 | 0 | 50
993.70/993.91 c 992s | 19 | 2199661 | 593682 | 15463 66 | 0 | 50
995.80/996.09 c 994s | 19 | 2200924 | 594182 | 15463 66 | 0 | 50
998.40/998.63 c 997s | 19 | 2202737 | 595082 | 15463 66 | 0 | 50
1000.70/1000.93 c 999s | 19 | 2202878 | 595182 | 15463 67 | 0 | 50
1002.79/1003.04 c 1001s | 19 | 2203431 | 595582 | 15463 67 | 0 | 50
1004.79/1005.08 c 1003s | 19 | 2205658 | 596582 | 15463 67 | 0 | 50
1007.00/1007.24 c 1005s | 19 | 2210696 | 598982 | 15463 67 | 0 | 50
1009.09/1009.33 c 1008s | 19 | 2213856 | 600582 | 15463 67 | 0 | 50
1011.29/1011.57 c 1010s | 19 | 2214574 | 600982 | 15463 67 | 0 | 50
1013.49/1013.72 c 1012s | 19 | 2215668 | 601582 | 15463 67 | 0 | 50
1015.68/1015.95 c 1014s | 19 | 2217327 | 602382 | 15463 67 | 0 | 50
1017.89/1018.13 c 1016s | 19 | 2218973 | 603182 | 15463 67 | 0 | 50
1020.09/1020.30 c 1018s | 19 | 2220750 | 603982 | 15463 67 | 0 | 50
1022.09/1022.38 c 1021s | 19 | 2221754 | 604482 | 15463 67 | 0 | 50
1024.39/1024.66 c 1023s | 19 | 2222674 | 604882 | 15463 67 | 0 | 50
1026.49/1026.73 c 1025s | 19 | 2224006 | 605482 | 15463 67 | 0 | 50
1029.08/1029.32 c 1028s | 19 | 2225178 | 605882 | 15463 68 | 0 | 50
1031.08/1031.32 c 1030s | 19 | 2226869 | 606382 | 15463 68 | 0 | 50
1033.18/1033.48 c 1032s | 19 | 2228473 | 607182 | 15463 68 | 0 | 50
1035.29/1035.51 c 1034s | 19 | 2231252 | 608382 | 15463 68 | 0 | 50
1037.78/1038.04 c 1036s | 19 | 2234161 | 609582 | 15463 68 | 0 | 50
1039.78/1040.06 c 1038s | 19 | 2234754 | 609882 | 15463 68 | 0 | 50
1042.18/1042.46 c 1041s | 19 | 2235795 | 610282 | 15463 68 | 0 | 50
1044.88/1045.11 c 1043s | 19 | 2236363 | 610682 | 15463 68 | 0 | 50
1046.87/1047.15 c 1045s | 19 | 2236856 | 610982 | 15463 68 | 0 | 50
1048.98/1049.29 c 1047s | 19 | 2237578 | 611382 | 15463 68 | 0 | 50
1051.08/1051.36 c 1050s | 19 | 2238679 | 611882 | 15463 68 | 0 | 50
1053.17/1053.42 c 1052s | 19 | 2239077 | 612182 | 15463 68 | 0 | 50
1055.18/1055.46 c 1054s | 19 | 2239861 | 612582 | 15463 68 | 0 | 50
1057.77/1058.02 c 1056s | 19 | 2240246 | 612882 | 15463 68 | 0 | 50
1059.87/1060.11 c 1058s | 19 | 2240644 | 613182 | 15463 68 | 0 | 50
1062.48/1062.72 c 1061s | 19 | 2241049 | 613482 | 15463 68 | 0 | 50
1065.07/1065.34 c 1064s | 19 | 2241467 | 613782 | 15463 68 | 0 | 50
1067.27/1067.54 c 1066s | 19 | 2242056 | 614082 | 15463 68 | 0 | 50
1069.46/1069.74 c 1068s | 19 | 2242785 | 614482 | 15463 68 | 0 | 50
1072.06/1072.39 c 1071s | 19 | 2243431 | 614882 | 15463 68 | 0 | 50
1074.26/1074.56 c 1073s | 19 | 2243960 | 615182 | 15463 68 | 0 | 50
1076.46/1076.79 c 1075s | 19 | 2244389 | 615482 | 15463 68 | 0 | 50
1078.66/1078.91 c 1077s | 19 | 2245674 | 615882 | 15463 69 | 0 | 50
1080.67/1080.91 c 1079s | 19 | 2248005 | 617082 | 15463 69 | 0 | 50
1082.76/1083.02 c 1081s | 19 | 2253251 | 618482 | 15463 69 | 0 | 50
1084.96/1085.28 c 1083s | 19 | 2255174 | 619482 | 15463 69 | 0 | 50
1087.16/1087.44 c 1086s | 19 | 2257236 | 620382 | 15463 69 | 0 | 50
1089.55/1089.83 c 1088s | 19 | 2259009 | 621082 | 15463 69 | 0 | 50
1091.85/1092.13 c 1090s | 19 | 2260180 | 621582 | 15463 69 | 0 | 50
1094.15/1094.40 c 1093s | 19 | 2262066 | 622282 | 15463 69 | 0 | 50
1096.26/1096.54 c 1095s | 19 | 2264004 | 623082 | 15463 69 | 0 | 50
1098.45/1098.70 c 1097s | 19 | 2265978 | 623982 | 15463 69 | 0 | 50
1100.66/1100.94 c 1099s | 19 | 2269171 | 624982 | 15463 69 | 0 | 50
1102.86/1103.11 c 1101s | 19 | 2270793 | 625582 | 15463 69 | 0 | 50
1104.95/1105.26 c 1103s | 19 | 2271895 | 626082 | 15463 69 | 0 | 50
1108.56/1108.89 c 1107s | 19 | 2272603 | 626382 | 15463 70 | 0 | 50
1110.76/1111.07 c 1109s | 19 | 2274164 | 626982 | 15463 70 | 0 | 50
1112.96/1113.21 c 1111s | 19 | 2275335 | 627482 | 15463 70 | 0 | 50
1115.34/1115.60 c 1114s | 19 | 2276141 | 627982 | 15463 70 | 0 | 50
1117.35/1117.69 c 1116s | 19 | 2276986 | 628382 | 15463 70 | 0 | 50
1119.44/1119.80 c 1118s | 19 | 2277605 | 628782 | 15463 70 | 0 | 50
1121.54/1121.86 c 1120s | 19 | 2278390 | 629282 | 15463 70 | 0 | 50
1123.84/1124.20 c 1122s | 19 | 2279544 | 629882 | 15463 70 | 0 | 50
1126.05/1126.30 c 1124s | 19 | 2280136 | 630182 | 15463 70 | 0 | 50
1128.24/1128.51 c 1127s | 19 | 2280714 | 630482 | 15463 70 | 0 | 50
1130.74/1131.02 c 1129s | 19 | 2281185 | 630782 | 15463 70 | 0 | 50
1133.64/1133.93 c 1132s | 19 | 2281553 | 631082 | 15463 70 | 0 | 50
1135.74/1136.00 c 1134s | 19 | 2282299 | 631482 | 15463 70 | 0 | 50
1137.93/1138.25 c 1136s | 19 | 2283220 | 631982 | 15463 70 | 0 | 50
1140.33/1140.68 c 1139s | 19 | 2284093 | 632482 | 15463 70 | 0 | 50
1142.83/1143.14 c 1141s | 19 | 2284672 | 632882 | 15463 70 | 0 | 50
1145.14/1145.49 c 1144s | 19 | 2285364 | 633282 | 15463 70 | 0 | 50
1147.44/1147.75 c 1146s | 19 | 2286341 | 633682 | 15463 70 | 0 | 50
1149.73/1150.00 c 1148s | 19 | 2286917 | 633982 | 15463 70 | 0 | 50
1152.14/1152.45 c 1151s | 19 | 2287341 | 634282 | 15463 70 | 0 | 50
1154.23/1154.53 c 1153s | 19 | 2287610 | 634482 | 15463 70 | 0 | 50
1156.33/1156.62 c 1155s | 19 | 2287929 | 634682 | 15463 70 | 0 | 50
1158.63/1158.92 c 1157s | 19 | 2288895 | 635082 | 15463 70 | 0 | 50
1160.72/1161.00 c 1159s | 19 | 2290503 | 635782 | 15463 70 | 0 | 50
1164.74/1165.03 c 1163s | 19 | 2293120 | 636482 | 15463 71 | 0 | 50
1166.73/1167.04 c 1165s | 19 | 2295223 | 637482 | 15463 71 | 0 | 50
1168.93/1169.26 c 1167s | 19 | 2297898 | 638782 | 15463 71 | 0 | 50
1171.23/1171.52 c 1170s | 19 | 2299332 | 639682 | 15463 71 | 0 | 50
1173.22/1173.54 c 1172s | 19 | 2300266 | 640282 | 15463 71 | 0 | 50
1175.42/1175.73 c 1174s | 19 | 2302199 | 640982 | 15463 71 | 0 | 50
1177.62/1177.96 c 1176s | 19 | 2303998 | 641782 | 15463 71 | 0 | 50
1179.92/1180.20 c 1178s | 19 | 2305900 | 642682 | 15463 71 | 0 | 50
1181.92/1182.23 c 1180s | 19 | 2308215 | 643482 | 15463 71 | 0 | 50
1184.22/1184.55 c 1183s | 19 | 2310333 | 644382 | 15463 71 | 0 | 50
1186.32/1186.67 c 1185s | 19 | 2311668 | 645082 | 15463 71 | 0 | 50
1188.41/1188.75 c 1187s | 19 | 2313655 | 645882 | 15463 71 | 0 | 50
1192.71/1193.03 c 1191s | 19 | 2316801 | 646782 | 15463 72 | 0 | 50
1195.01/1195.31 c 1193s | 19 | 2318831 | 647782 | 15463 72 | 0 | 50
1197.32/1197.69 c 1196s | 19 | 2321487 | 648482 | 15463 72 | 0 | 50
1199.51/1199.88 c 1198s | 19 | 2322599 | 648982 | 15463 72 | 0 | 50
1201.91/1202.28 c 1200s | 19 | 2324357 | 649582 | 15463 72 | 0 | 50
1204.32/1204.67 c 1203s | 19 | 2326403 | 650282 | 15463 72 | 0 | 50
1206.61/1206.95 c 1205s | 19 | 2327409 | 650682 | 15463 72 | 0 | 50
1209.21/1209.57 c 1208s | 19 | 2328003 | 650982 | 15463 72 | 0 | 50
1211.41/1211.71 c 1210s | 19 | 2328978 | 651382 | 15463 72 | 0 | 50
1213.70/1214.09 c 1212s | 19 | 2330167 | 651882 | 15463 72 | 0 | 50
1215.81/1216.13 c 1214s | 19 | 2333851 | 653382 | 15463 72 | 0 | 50
1218.21/1218.57 c 1217s | 19 | 2335345 | 653882 | 15463 72 | 0 | 50
1220.60/1220.91 c 1219s | 19 | 2336649 | 654382 | 15463 72 | 0 | 50
1223.11/1223.49 c 1222s | 19 | 2337828 | 654782 | 15463 72 | 0 | 50
1225.21/1225.58 c 1224s | 19 | 2338661 | 655082 | 15463 72 | 0 | 50
1227.50/1227.84 c 1226s | 19 | 2339510 | 655482 | 15463 72 | 0 | 50
1230.00/1230.37 c 1229s | 19 | 2340059 | 655782 | 15463 72 | 0 | 50
1232.91/1233.22 c 1231s | 19 | 2340476 | 656082 | 15463 72 | 0 | 50
1235.10/1235.45 c 1234s | 19 | 2341244 | 656382 | 15463 72 | 0 | 50
1237.10/1237.47 c 1236s | 19 | 2342385 | 656782 | 15463 72 | 0 | 50
1239.19/1239.57 c 1238s | 19 | 2343104 | 657082 | 15463 72 | 0 | 50
1241.60/1241.92 c 1240s | 19 | 2343344 | 657182 | 15463 73 | 0 | 50
1244.40/1244.76 c 1243s | 19 | 2343940 | 657482 | 15463 73 | 0 | 50
1246.39/1246.79 c 1245s | 19 | 2345122 | 657982 | 15463 73 | 0 | 50
1248.99/1249.32 c 1247s | 19 | 2345916 | 658482 | 15463 73 | 0 | 50
1251.29/1251.67 c 1250s | 19 | 2346708 | 658882 | 15463 73 | 0 | 50
1253.59/1253.93 c 1252s | 19 | 2347266 | 659182 | 15463 73 | 0 | 50
1256.39/1256.76 c 1255s | 19 | 2348090 | 659582 | 15463 73 | 0 | 50
1258.59/1258.97 c 1257s | 19 | 2348803 | 659882 | 15463 73 | 0 | 50
1261.19/1261.50 c 1260s | 19 | 2349099 | 660082 | 15463 73 | 0 | 50
1264.29/1264.64 c 1263s | 19 | 2349363 | 660282 | 15463 73 | 0 | 50
1267.29/1267.60 c 1266s | 19 | 2349855 | 660582 | 15463 73 | 0 | 50
1269.49/1269.89 c 1268s | 19 | 2351176 | 661082 | 15463 73 | 0 | 50
1272.29/1272.67 c 1271s | 19 | 2352309 | 661482 | 15463 73 | 0 | 50
1274.59/1274.95 c 1273s | 19 | 2352933 | 661782 | 15463 73 | 0 | 50
1276.89/1277.23 c 1275s | 19 | 2353901 | 662182 | 17010 73 | 0 | 50
1279.68/1280.01 c 1278s | 19 | 2355284 | 662682 | 17010 73 | 0 | 50
1281.88/1282.24 c 1280s | 19 | 2355738 | 662982 | 17010 73 | 0 | 50
1284.08/1284.49 c 1283s | 19 | 2356383 | 663282 | 17010 73 | 0 | 50
1286.28/1286.61 c 1285s | 19 | 2359359 | 664382 | 17010 73 | 0 | 50
1288.48/1288.82 c 1287s | 19 | 2360756 | 665082 | 17010 73 | 0 | 50
1290.88/1291.22 c 1289s | 19 | 2361602 | 665582 | 17010 73 | 0 | 50
1293.08/1293.49 c 1292s | 19 | 2362486 | 666082 | 17010 73 | 0 | 50
1295.49/1295.88 c 1294s | 19 | 2363697 | 666582 | 17010 73 | 0 | 50
1296.38/1296.77 c 1295s | 20 | 2364244 | 666827 | 17010 73 | 0 | 50
1300.17/1300.53 c 1299s | 20 | 2370936 | 666927 | 17010 74 | 0 | 50
1302.18/1302.53 c 1301s | 20 | 2389479 | 671927 | 17010 74 | 0 | 50
1304.18/1304.57 c 1303s | 20 | 2411613 | 676827 | 17010 74 | 0 | 50
1306.87/1307.29 c 1305s | 20 | 2418504 | 679127 | 17010 75 | 0 | 50
1309.07/1309.47 c 1308s | 20 | 2428322 | 682027 | 17010 75 | 0 | 50
1311.16/1311.52 c 1310s | 20 | 2433819 | 683927 | 17010 75 | 0 | 50
1313.17/1313.54 c 1312s | 20 | 2444805 | 687427 | 17010 75 | 0 | 50
1315.17/1315.57 c 1314s | 20 | 2453304 | 690527 | 17010 76 | 0 | 50
1317.27/1317.60 c 1316s | 20 | 2481948 | 695327 | 17010 76 | 0 | 50
1319.27/1319.60 c 1318s | 20 | 2510168 | 700527 | 17010 76 | 0 | 50
1321.27/1321.61 c 1320s | 20 | 2524999 | 704627 | 17010 77 | 0 | 50
1323.27/1323.65 c 1322s | 20 | 2543664 | 708727 | 17010 77 | 0 | 50
1325.46/1325.84 c 1324s | 20 | 2562947 | 712627 | 17010 78 | 0 | 50
1327.47/1327.86 c 1326s | 20 | 2567832 | 714827 | 17010 78 | 0 | 50
1329.66/1330.05 c 1328s | 20 | 2571681 | 716327 | 17010 78 | 0 | 50
1331.87/1332.21 c 1330s | 20 | 2573594 | 717227 | 17010 78 | 0 | 50
1334.06/1334.48 c 1333s | 20 | 2574996 | 718027 | 17010 78 | 0 | 50
1336.16/1336.54 c 1335s | 20 | 2576404 | 718727 | 17010 78 | 0 | 50
1338.35/1338.74 c 1337s | 20 | 2577894 | 719527 | 17010 78 | 0 | 50
1340.36/1340.75 c 1339s | 20 | 2581567 | 720727 | 17010 78 | 0 | 50
1342.35/1342.77 c 1341s | 20 | 2592008 | 723827 | 17010 79 | 0 | 50
1344.35/1344.79 c 1343s | 20 | 2599889 | 726027 | 17010 79 | 0 | 50
1346.55/1346.92 c 1345s | 20 | 2604527 | 727727 | 17010 79 | 0 | 50
1348.55/1348.93 c 1347s | 20 | 2612012 | 730827 | 17010 79 | 0 | 50
1350.55/1350.93 c 1349s | 20 | 2616518 | 732527 | 17010 79 | 0 | 50
1352.55/1352.95 c 1351s | 20 | 2622138 | 734727 | 17010 79 | 0 | 50
1354.54/1354.98 c 1353s | 20 | 2625849 | 735627 | 17010 80 | 0 | 50
1356.64/1357.04 c 1355s | 20 | 2641939 | 739827 | 17010 80 | 0 | 50
1358.64/1359.09 c 1357s | 20 | 2651379 | 742427 | 17010 80 | 0 | 50
1360.74/1361.10 c 1359s | 20 | 2659910 | 744827 | 17010 80 | 0 | 50
1362.75/1363.12 c 1361s | 20 | 2662028 | 745727 | 17010 81 | 0 | 50
1364.75/1365.16 c 1363s | 20 | 2665087 | 747027 | 17010 81 | 0 | 50
1366.95/1367.40 c 1366s | 20 | 2669437 | 748427 | 17010 81 | 0 | 50
1369.15/1369.58 c 1368s | 20 | 2671766 | 749327 | 17010 81 | 0 | 50
1371.13/1371.58 c 1370s | 20 | 2681445 | 751027 | 17010 81 | 0 | 50
1373.23/1373.63 c 1372s | 20 | 2694601 | 754327 | 17010 81 | 0 | 50
1375.24/1375.65 c 1374s | 20 | 2698492 | 755927 | 17010 81 | 0 | 50
1377.33/1377.78 c 1376s | 20 | 2701990 | 757127 | 17010 82 | 0 | 50
1379.43/1379.83 c 1378s | 20 | 2706404 | 758427 | 17010 82 | 0 | 50
1381.63/1382.07 c 1380s | 20 | 2710185 | 759427 | 17010 82 | 0 | 50
1383.73/1384.10 c 1382s | 20 | 2728521 | 762827 | 17010 82 | 0 | 50
1385.74/1386.13 c 1384s | 20 | 2731225 | 763827 | 17010 82 | 0 | 50
1387.83/1388.21 c 1386s | 20 | 2733585 | 764627 | 17010 82 | 0 | 50
1389.83/1390.21 c 1388s | 20 | 2740890 | 766627 | 17010 82 | 0 | 50
1391.83/1392.24 c 1390s | 20 | 2749387 | 768927 | 17010 83 | 0 | 50
1393.93/1394.37 c 1393s | 20 | 2763066 | 772427 | 17010 83 | 0 | 50
1395.93/1396.38 c 1395s | 20 | 2780418 | 776627 | 17010 83 | 0 | 50
1398.02/1398.43 c 1397s | 20 | 2789246 | 779727 | 17010 84 | 0 | 50
1400.03/1400.44 c 1399s | 20 | 2796493 | 782327 | 17010 84 | 0 | 50
1402.02/1402.46 c 1401s | 20 | 2802196 | 784727 | 17010 84 | 0 | 50
1404.02/1404.47 c 1403s | 20 | 2812855 | 788227 | 17010 84 | 0 | 50
1406.02/1406.48 c 1405s | 20 | 2834492 | 792727 | 17010 85 | 0 | 50
1408.12/1408.51 c 1407s | 20 | 2860966 | 797427 | 17010 85 | 0 | 50
1410.32/1410.74 c 1409s | 20 | 2874907 | 800427 | 17010 86 | 0 | 50
1412.32/1412.77 c 1411s | 20 | 2878684 | 801827 | 17010 86 | 0 | 50
1414.32/1414.79 c 1413s | 20 | 2893719 | 804527 | 17010 86 | 0 | 50
1416.42/1416.82 c 1415s | 20 | 2918019 | 808927 | 17010 86 | 0 | 50
1418.41/1418.84 c 1417s | 20 | 2929432 | 812127 | 17010 87 | 0 | 50
1420.41/1420.87 c 1419s | 20 | 2942052 | 816327 | 17010 87 | 0 | 50
1422.51/1422.92 c 1421s | 20 | 2951274 | 819727 | 17010 87 | 0 | 50
1424.61/1425.04 c 1423s | 20 | 2959341 | 822327 | 17010 87 | 0 | 50
1426.61/1427.09 c 1425s | 20 | 2963591 | 824127 | 17010 88 | 0 | 50
1428.71/1429.13 c 1427s | 20 | 2970412 | 826627 | 17010 88 | 0 | 50
1430.72/1431.19 c 1429s | 20 | 2976244 | 828927 | 17010 88 | 0 | 50
1432.81/1433.30 c 1431s | 20 | 2981567 | 831027 | 17010 88 | 0 | 50
1434.91/1435.31 c 1433s | 20 | 2988224 | 833227 | 17010 88 | 0 | 50
1436.91/1437.40 c 1436s | 20 | 2993290 | 835027 | 17010 89 | 0 | 50
1439.02/1439.42 c 1438s | 20 | 2999816 | 837227 | 17010 89 | 0 | 50
1441.02/1441.44 c 1440s | 20 | 3006307 | 839527 | 17010 89 | 0 | 50
1443.12/1443.52 c 1442s | 20 | 3012071 | 841727 | 17010 89 | 0 | 50
1445.12/1445.56 c 1444s | 20 | 3018004 | 843727 | 17010 89 | 0 | 50
1447.22/1447.64 c 1446s | 20 | 3022554 | 845327 | 17010 90 | 0 | 50
1449.31/1449.73 c 1448s | 20 | 3028151 | 847427 | 17010 90 | 0 | 50
1451.31/1451.77 c 1450s | 20 | 3033334 | 849527 | 17010 90 | 0 | 50
1453.41/1453.81 c 1452s | 20 | 3043995 | 852227 | 17010 90 | 0 | 50
1455.71/1456.18 c 1454s | 20 | 3051247 | 853827 | 17010 90 | 0 | 50
1457.81/1458.22 c 1456s | 20 | 3058053 | 856827 | 17010 91 | 0 | 50
1459.81/1460.24 c 1458s | 20 | 3065670 | 859827 | 17010 91 | 0 | 50
1461.91/1462.32 c 1460s | 20 | 3076966 | 863227 | 17010 91 | 0 | 50
1463.91/1464.35 c 1463s | 20 | 3082147 | 865427 | 17010 91 | 0 | 50
1466.02/1466.47 c 1465s | 20 | 3088705 | 867327 | 17010 92 | 0 | 50
1468.11/1468.52 c 1467s | 20 | 3095834 | 869627 | 17010 92 | 0 | 50
1470.21/1470.60 c 1469s | 20 | 3098510 | 870727 | 17010 92 | 0 | 50
1472.21/1472.65 c 1471s | 20 | 3102343 | 872227 | 17010 92 | 0 | 50
1474.31/1474.77 c 1473s | 20 | 3106567 | 873327 | 17010 92 | 0 | 50
1476.41/1476.80 c 1475s | 20 | 3125291 | 875927 | 17010 92 | 0 | 50
1478.41/1478.83 c 1477s | 20 | 3137495 | 878827 | 17010 93 | 0 | 50
1480.41/1480.85 c 1479s | 20 | 3151992 | 881927 | 17010 93 | 0 | 50
1482.41/1482.87 c 1481s | 20 | 3168363 | 887327 | 17010 93 | 0 | 50
1484.40/1484.88 c 1483s | 20 | 3174391 | 890027 | 17010 94 | 0 | 50
1486.40/1486.89 c 1485s | 20 | 3188605 | 893627 | 17010 94 | 0 | 50
1488.50/1488.90 c 1487s | 20 | 3204690 | 897727 | 17010 94 | 0 | 50
1490.51/1490.97 c 1489s | 20 | 3214181 | 900227 | 17010 95 | 0 | 50
1492.61/1493.09 c 1491s | 20 | 3218965 | 901827 | 17010 95 | 0 | 50
1494.70/1495.18 c 1493s | 20 | 3221132 | 902927 | 17010 95 | 0 | 50
1496.81/1497.27 c 1495s | 20 | 3222644 | 903727 | 17010 95 | 0 | 50
1498.91/1499.30 c 1497s | 20 | 3223441 | 904227 | 17010 95 | 0 | 50
1501.01/1501.45 c 1500s | 20 | 3225073 | 905127 | 17010 95 | 0 | 50
1503.21/1503.61 c 1502s | 20 | 3229857 | 906627 | 17010 95 | 0 | 50
1505.21/1505.63 c 1504s | 20 | 3239109 | 909227 | 17010 95 | 0 | 50
1507.30/1507.70 c 1506s | 20 | 3245010 | 910827 | 17010 95 | 0 | 50
1509.30/1509.79 c 1508s | 20 | 3246750 | 911727 | 17010 96 | 0 | 50
1511.60/1512.01 c 1510s | 20 | 3249177 | 912827 | 17010 96 | 0 | 50
1513.80/1514.26 c 1512s | 20 | 3250467 | 913627 | 17010 96 | 0 | 50
1515.90/1516.35 c 1515s | 20 | 3252785 | 914727 | 17010 96 | 0 | 50
1518.00/1518.47 c 1517s | 20 | 3253947 | 915427 | 17010 96 | 0 | 50
1520.10/1520.59 c 1519s | 20 | 3256203 | 916427 | 17010 96 | 0 | 50
1522.20/1522.61 c 1521s | 20 | 3258088 | 917227 | 17010 96 | 0 | 50
1524.40/1524.80 c 1523s | 20 | 3259500 | 918027 | 17010 96 | 0 | 50
1526.70/1527.13 c 1525s | 20 | 3260576 | 918727 | 17010 96 | 0 | 50
1528.70/1529.16 c 1527s | 20 | 3262276 | 919427 | 17010 96 | 0 | 50
1530.70/1531.16 c 1529s | 20 | 3264070 | 920227 | 17010 96 | 0 | 50
1533.01/1533.50 c 1532s | 20 | 3265325 | 920927 | 17010 96 | 0 | 50
1535.10/1535.53 c 1534s | 20 | 3266097 | 921427 | 17010 96 | 0 | 50
1537.60/1538.05 c 1536s | 20 | 3267348 | 922027 | 17010 96 | 0 | 50
1539.70/1540.19 c 1538s | 20 | 3267791 | 922227 | 17010 97 | 0 | 50
1541.90/1542.36 c 1541s | 20 | 3268377 | 922627 | 17010 97 | 0 | 50
1544.10/1544.52 c 1543s | 20 | 3269692 | 923327 | 17010 97 | 0 | 50
1546.20/1546.61 c 1545s | 20 | 3270382 | 923727 | 17010 97 | 0 | 50
1548.51/1548.94 c 1547s | 20 | 3271310 | 924327 | 17010 97 | 0 | 50
1550.71/1551.11 c 1549s | 20 | 3272768 | 925027 | 17010 97 | 0 | 50
1552.80/1553.21 c 1551s | 20 | 3273308 | 925427 | 17010 97 | 0 | 50
1554.80/1555.24 c 1553s | 20 | 3279201 | 927127 | 17010 97 | 0 | 50
1556.79/1557.25 c 1555s | 20 | 3287417 | 929527 | 17010 97 | 0 | 50
1558.89/1559.32 c 1558s | 20 | 3293939 | 931627 | 17010 97 | 0 | 50
1561.99/1562.40 c 1561s | 20 | 3299940 | 933027 | 17010 98 | 0 | 50
1564.09/1564.50 c 1563s | 20 | 3310283 | 936127 | 17010 98 | 0 | 50
1566.10/1566.59 c 1565s | 20 | 3319219 | 938527 | 17010 98 | 0 | 50
1568.20/1568.63 c 1567s | 20 | 3321157 | 939327 | 17010 98 | 0 | 50
1570.20/1570.68 c 1569s | 20 | 3322460 | 940027 | 17010 98 | 0 | 50
1572.30/1572.71 c 1571s | 20 | 3324200 | 940727 | 17010 98 | 0 | 50
1574.29/1574.76 c 1573s | 20 | 3328032 | 942027 | 17010 98 | 0 | 50
1576.49/1576.96 c 1575s | 20 | 3332623 | 943427 | 17010 98 | 0 | 50
1579.09/1579.51 c 1578s | 20 | 3334623 | 944127 | 17010 99 | 0 | 50
1581.09/1581.57 c 1580s | 20 | 3336576 | 944827 | 17010 99 | 0 | 50
1583.09/1583.59 c 1582s | 20 | 3338408 | 945427 | 17010 99 | 0 | 50
1585.19/1585.60 c 1584s | 20 | 3339400 | 945827 | 17010 99 | 0 | 50
1587.39/1587.82 c 1586s | 20 | 3340036 | 946127 | 17010 99 | 0 | 50
1589.49/1589.97 c 1588s | 20 | 3340883 | 946527 | 17010 99 | 0 | 50
1591.69/1592.15 c 1590s | 20 | 3341463 | 946827 | 17010 99 | 0 | 50
1594.19/1594.67 c 1593s | 20 | 3342258 | 947227 | 17010 99 | 0 | 50
1596.59/1597.08 c 1595s | 20 | 3342792 | 947527 | 17010 99 | 0 | 50
1598.78/1599.29 c 1597s | 20 | 3344045 | 948027 | 17010 99 | 0 | 50
1601.29/1601.76 c 1600s | 20 | 3345133 | 948527 | 17010 99 | 0 | 50
1603.79/1604.25 c 1602s | 20 | 3345821 | 948927 | 17010 99 | 0 | 50
1606.08/1606.53 c 1605s | 20 | 3346759 | 949427 | 17010 99 | 0 | 50
1608.29/1608.79 c 1607s | 20 | 3347440 | 949827 | 17010 99 | 0 | 50
1610.39/1610.83 c 1609s | 20 | 3356760 | 952627 | 17010 99 | 0 | 50
1612.39/1612.85 c 1611s | 20 | 3361902 | 954327 | 17010 99 | 0 | 50
1614.89/1615.34 c 1614s | 20 | 3363924 | 955027 | 17010 100 | 0 | 50
1617.08/1617.53 c 1616s | 20 | 3367184 | 956427 | 17010 100 | 0 | 50
1619.18/1619.60 c 1618s | 20 | 3369104 | 957227 | 17010 100 | 0 | 50
1621.18/1621.61 c 1620s | 20 | 3370462 | 957827 | 17010 100 | 0 | 50
1623.38/1623.85 c 1622s | 20 | 3372298 | 958827 | 17010 100 | 0 | 50
1625.49/1625.97 c 1624s | 20 | 3374288 | 959727 | 17010 100 | 0 | 50
1627.59/1628.07 c 1626s | 20 | 3376560 | 960727 | 17010 100 | 0 | 50
1629.68/1630.12 c 1628s | 20 | 3378107 | 961427 | 17010 100 | 0 | 50
1631.69/1632.17 c 1630s | 20 | 3379543 | 962027 | 17010 100 | 0 | 50
1633.78/1634.26 c 1632s | 20 | 3380851 | 962627 | 17010 100 | 0 | 50
1636.08/1636.58 c 1635s | 20 | 3382398 | 963327 | 17010 100 | 0 | 50
1638.59/1639.08 c 1637s | 20 | 3384000 | 964027 | 17010 100 | 0 | 50
1640.88/1641.37 c 1640s | 20 | 3385054 | 964527 | 17010 100 | 0 | 50
1643.09/1643.56 c 1642s | 20 | 3386673 | 965127 | 17010 100 | 0 | 50
1645.68/1646.19 c 1644s | 20 | 3387555 | 965627 | 17010 100 | 0 | 50
1649.28/1649.75 c 1648s | 20 | 3388110 | 965927 | 17010 101 | 0 | 50
1651.68/1652.10 c 1650s | 20 | 3389663 | 966727 | 17010 101 | 0 | 50
1654.09/1654.53 c 1653s | 20 | 3391317 | 967527 | 17010 101 | 0 | 50
1656.19/1656.69 c 1655s | 20 | 3392096 | 968027 | 17010 101 | 0 | 50
1658.58/1659.05 c 1657s | 20 | 3394110 | 968927 | 17010 101 | 0 | 50
1660.88/1661.38 c 1660s | 20 | 3395535 | 969527 | 17010 101 | 0 | 50
1663.28/1663.76 c 1662s | 20 | 3396608 | 970027 | 17010 101 | 0 | 50
1665.38/1665.83 c 1664s | 20 | 3397630 | 970527 | 17010 101 | 0 | 50
1667.37/1667.86 c 1666s | 20 | 3399218 | 971227 | 17010 101 | 0 | 50
1669.39/1669.89 c 1668s | 20 | 3401219 | 971927 | 17010 101 | 0 | 50
1671.48/1672.00 c 1670s | 20 | 3402208 | 972427 | 17010 101 | 0 | 50
1673.58/1674.08 c 1672s | 20 | 3403233 | 972927 | 17010 101 | 0 | 50
1675.77/1676.22 c 1674s | 20 | 3403878 | 973327 | 17010 101 | 0 | 50
1677.78/1678.24 c 1676s | 20 | 3404719 | 973827 | 17010 101 | 0 | 50
1679.77/1680.26 c 1678s | 20 | 3406212 | 974527 | 17010 101 | 0 | 50
1681.98/1682.46 c 1681s | 20 | 3407429 | 975127 | 17010 101 | 0 | 50
1683.97/1684.46 c 1683s | 20 | 3408493 | 975627 | 17010 101 | 0 | 50
1686.27/1686.74 c 1685s | 20 | 3409358 | 976127 | 17010 101 | 0 | 50
1688.67/1689.11 c 1687s | 20 | 3409920 | 976527 | 17010 101 | 0 | 50
1692.17/1692.63 c 1691s | 20 | 3410660 | 976827 | 17010 102 | 0 | 50
1694.47/1694.94 c 1693s | 20 | 3412071 | 977427 | 17010 102 | 0 | 50
1696.47/1696.98 c 1695s | 20 | 3413347 | 978027 | 17010 102 | 0 | 50
1698.57/1699.02 c 1697s | 20 | 3420051 | 980027 | 17010 102 | 0 | 50
1700.77/1701.29 c 1699s | 20 | 3424759 | 981527 | 17010 102 | 0 | 50
1702.98/1703.42 c 1702s | 20 | 3426770 | 982327 | 17010 102 | 0 | 50
1705.17/1705.62 c 1704s | 20 | 3429375 | 983227 | 17010 102 | 0 | 50
1707.17/1707.65 c 1706s | 20 | 3430449 | 983727 | 17010 102 | 0 | 50
1709.38/1709.83 c 1708s | 20 | 3435575 | 985227 | 17010 102 | 0 | 50
1711.37/1711.88 c 1710s | 20 | 3438749 | 986227 | 17010 102 | 0 | 50
1713.57/1714.05 c 1712s | 20 | 3440473 | 986927 | 17010 102 | 0 | 50
1716.07/1716.59 c 1715s | 20 | 3443988 | 987727 | 17010 103 | 0 | 50
1718.27/1718.72 c 1717s | 20 | 3450807 | 990127 | 17010 103 | 0 | 50
1720.27/1720.75 c 1719s | 20 | 3454169 | 991527 | 17010 103 | 0 | 50
1722.37/1722.86 c 1721s | 20 | 3456662 | 992527 | 17010 103 | 0 | 50
1724.47/1724.90 c 1723s | 20 | 3462509 | 994027 | 18711 103 | 0 | 50
1726.57/1727.02 c 1725s | 20 | 3467424 | 995827 | 18711 103 | 0 | 50
1728.66/1729.14 c 1727s | 20 | 3470105 | 997027 | 18711 103 | 0 | 50
1730.98/1731.43 c 1730s | 20 | 3471659 | 997827 | 18711 103 | 0 | 50
1733.17/1733.64 c 1732s | 20 | 3473446 | 998627 | 18711 103 | 0 | 50
1735.26/1735.78 c 1734s | 20 | 3476060 | 999827 | 18711 103 | 0 | 50
1736.37/1736.84 c 1735s | 21 | 3477500 | 1000345 | 18711 103 | 0 | 50
1738.68/1739.14 c 1737s | 21 | 3483093 | 1000445 | 18711 104 | 0 | 50
1740.67/1741.14 c 1739s | 21 | 3495571 | 1005345 | 18711 104 | 0 | 50
1742.77/1743.20 c 1741s | 21 | 3509622 | 1009545 | 18711 104 | 0 | 50
1745.07/1745.55 c 1744s | 21 | 3519494 | 1011945 | 18711 105 | 0 | 50
1747.17/1747.63 c 1746s | 21 | 3527480 | 1015045 | 18711 105 | 0 | 50
1749.17/1749.64 c 1748s | 21 | 3544626 | 1018645 | 18711 105 | 0 | 50
1751.17/1751.66 c 1750s | 21 | 3559268 | 1021945 | 18711 105 | 0 | 50
1753.17/1753.66 c 1752s | 21 | 3581231 | 1025345 | 18711 106 | 0 | 50
1755.27/1755.79 c 1754s | 21 | 3593624 | 1028345 | 18711 106 | 0 | 50
1757.37/1757.81 c 1756s | 21 | 3604517 | 1031745 | 18711 106 | 0 | 50
1759.37/1759.82 c 1758s | 21 | 3616648 | 1035145 | 18711 106 | 0 | 50
1761.37/1761.86 c 1760s | 21 | 3627355 | 1037545 | 18711 107 | 0 | 50
1763.46/1763.95 c 1762s | 21 | 3647523 | 1041145 | 18711 107 | 0 | 50
1765.56/1766.00 c 1764s | 21 | 3657086 | 1044245 | 18711 107 | 0 | 50
1767.86/1768.39 c 1767s | 21 | 3666287 | 1047545 | 18711 108 | 0 | 50
1769.96/1770.43 c 1769s | 21 | 3691121 | 1051945 | 18711 108 | 0 | 50
1771.96/1772.44 c 1771s | 21 | 3705561 | 1056445 | 18711 108 | 0 | 50
1773.97/1774.44 c 1773s | 21 | 3719256 | 1059645 | 18711 109 | 0 | 50
1775.96/1776.49 c 1775s | 21 | 3737009 | 1063345 | 18711 109 | 0 | 50
1778.06/1778.50 c 1777s | 21 | 3746090 | 1066845 | 18711 109 | 0 | 50
1780.06/1780.59 c 1779s | 21 | 3753626 | 1070045 | 18711 109 | 0 | 50
1782.16/1782.61 c 1781s | 21 | 3759192 | 1072445 | 18711 110 | 0 | 50
1784.16/1784.70 c 1783s | 21 | 3766785 | 1075545 | 18711 110 | 0 | 50
1786.26/1786.76 c 1785s | 21 | 3772351 | 1077545 | 18711 110 | 0 | 50
1788.36/1788.82 c 1787s | 21 | 3778075 | 1079745 | 18711 110 | 0 | 50
1790.36/1790.84 c 1789s | 21 | 3783158 | 1081945 | 18711 110 | 0 | 50
1792.56/1793.03 c 1791s | 21 | 3786765 | 1083545 | 18711 111 | 0 | 50
1794.56/1795.03 c 1793s | 21 | 3790788 | 1085245 | 18711 111 | 0 | 50
1797.66/1798.10 c 1796s | 21 | 3795216 | 1087045 | 18711 111 | 0 | 50
1799.65/1800.11 c 1798s | 21 | 3796969 | 1088145 | 18711 111 | 0 | 50
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-4079493-1465231124/watcher-4079493-1465231124 -o /tmp/evaluation-result-4079493-1465231124/solver-4079493-1465231124 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1858 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079493-1465231124.opb
pid=4282
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.97 2.06 2.09 3/179 4285
/proc/meminfo: memFree=31346296/32872528 swapFree=13600/559348
[pid=4285] ppid=4282 vsize=459196 CPUtime=0 cores=0,2,4,6
/proc/4285/stat : 4285 (toysat) R 4282 4285 1842 0 -1 4202496 1668 0 0 0 0 0 0 0 20 0 4 0 105047328 470216704 1517 33554432000 4194304 16246674 140735352972464 140735352971888 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4285/statm: 115311 1527 441 2943 0 112205 0
[pid=4285/tid=4286] ppid=4282 vsize=476604 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4286/stat : 4286 (toysat) S 4282 4285 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105047328 488042496 1586 33554432000 4194304 16246674 140735352972464 140674256055536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4285/tid=4287] ppid=4282 vsize=480700 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4287/stat : 4287 (toysat) S 4282 4285 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105047328 492236800 1603 33554432000 4194304 16246674 140735352972464 140674245565680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4285/tid=4288] ppid=4282 vsize=484796 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105047328 496431104 1620 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[startup+0.10017 s]
/proc/loadavg: 1.97 2.06 2.09 3/179 4285
/proc/meminfo: memFree=31346296/32872528 swapFree=13600/559348
[pid=4285] ppid=4282 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/4285/stat : 4285 (toysat) R 4282 4285 1842 0 -1 4202496 27873 0 0 0 5 3 0 0 20 0 4 0 105047328 1333334016 27661 33554432000 4194304 16246674 140735352972464 140735352971776 7364033 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4285/statm: 325521 27676 800 2943 0 322415 0
[pid=4285/tid=4286] ppid=4282 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4286/stat : 4286 (toysat) S 4282 4285 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105047328 1333334016 27688 33554432000 4194304 16246674 140735352972464 140674256055536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4285/tid=4287] ppid=4282 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4287/stat : 4287 (toysat) S 4282 4285 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105047328 1333334016 27700 33554432000 4194304 16246674 140735352972464 140674245565680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4285/tid=4288] ppid=4282 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105047328 1333334016 27711 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084
[startup+0.200518 s]
/proc/loadavg: 1.97 2.06 2.09 3/179 4285
/proc/meminfo: memFree=31346296/32872528 swapFree=13600/559348
[pid=4285] ppid=4282 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/4285/stat : 4285 (toysat) R 4282 4285 1842 0 -1 4202496 49036 0 0 0 13 6 0 0 20 0 4 0 105047328 1344868352 49334 33554432000 4194304 16246674 140735352972464 140735352971776 8057066 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4285/statm: 328337 49334 800 2943 0 325231 0
[pid=4285/tid=4286] ppid=4282 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4286/stat : 4286 (toysat) S 4282 4285 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105047328 1344868352 49334 33554432000 4194304 16246674 140735352972464 140674256055536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4285/tid=4287] ppid=4282 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4287/stat : 4287 (toysat) S 4282 4285 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105047328 1344868352 49334 33554432000 4194304 16246674 140735352972464 140674245565680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4285/tid=4288] ppid=4282 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105047328 1344868352 49334 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348
[startup+0.300481 s]
/proc/loadavg: 1.97 2.06 2.09 3/179 4285
/proc/meminfo: memFree=31346296/32872528 swapFree=13600/559348
[pid=4285] ppid=4282 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/4285/stat : 4285 (toysat) R 4282 4285 1842 0 -1 4202496 63762 0 0 0 21 7 0 0 20 0 4 0 105047328 1344868352 64060 33554432000 4194304 16246674 140735352972464 140735352971776 12874965 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4285/statm: 328337 64077 832 2943 0 325231 0
[pid=4285/tid=4286] ppid=4282 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4286/stat : 4286 (toysat) S 4282 4285 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105047328 1344868352 64085 33554432000 4194304 16246674 140735352972464 140674256055536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4285/tid=4287] ppid=4282 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4287/stat : 4287 (toysat) S 4282 4285 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105047328 1344868352 64092 33554432000 4194304 16246674 140735352972464 140674245565680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4285/tid=4288] ppid=4282 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105047328 1344868352 64101 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348
[startup+0.700392 s]
/proc/loadavg: 1.97 2.06 2.09 3/179 4285
/proc/meminfo: memFree=31346296/32872528 swapFree=13600/559348
[pid=4285] ppid=4282 vsize=1321540 CPUtime=0.69 cores=0,2,4,6
/proc/4285/stat : 4285 (toysat) R 4282 4285 1842 0 -1 4202496 118424 0 0 0 56 13 0 0 20 0 4 0 105047328 1353256960 118722 33554432000 4194304 16246674 140735352972464 140735352971776 7204470 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4285/statm: 330385 118722 900 2943 0 327279 0
[pid=4285/tid=4286] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4286/stat : 4286 (toysat) S 4282 4285 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 118722 33554432000 4194304 16246674 140735352972464 140674256055536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4285/tid=4287] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4287/stat : 4287 (toysat) S 4282 4285 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 118722 33554432000 4194304 16246674 140735352972464 140674245565680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4285/tid=4288] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 118722 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1321540
[startup+1.50037 s]
/proc/loadavg: 1.97 2.06 2.09 3/183 4289
/proc/meminfo: memFree=30566200/32872528 swapFree=13600/559348
[pid=4285] ppid=4282 vsize=1321540 CPUtime=1.48 cores=0,2,4,6
/proc/4285/stat : 4285 (toysat) R 4282 4285 1842 0 -1 4202496 118432 0 0 0 135 13 0 0 20 0 4 0 105047328 1353256960 118730 33554432000 4194304 16246674 140735352972464 140735352954368 5553608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4285/statm: 330385 118730 908 2943 0 327279 0
[pid=4285/tid=4286] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4286/stat : 4286 (toysat) S 4282 4285 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 118730 33554432000 4194304 16246674 140735352972464 140674256055536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4285/tid=4287] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4287/stat : 4287 (toysat) S 4282 4285 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 118730 33554432000 4194304 16246674 140735352972464 140674245565680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4285/tid=4288] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 118730 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1321540
[startup+3.10037 s]
/proc/loadavg: 1.97 2.06 2.09 3/183 4289
/proc/meminfo: memFree=29910240/32872528 swapFree=13600/559348
[pid=4285] ppid=4282 vsize=1321540 CPUtime=3.08 cores=0,2,4,6
/proc/4285/stat : 4285 (toysat) R 4282 4285 1842 0 -1 4202496 126771 0 0 0 294 14 0 0 20 0 4 0 105047328 1353256960 127069 33554432000 4194304 16246674 140735352972464 140735352954368 6011844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4285/statm: 330385 127069 908 2943 0 327279 0
[pid=4285/tid=4286] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4286/stat : 4286 (toysat) S 4282 4285 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 127069 33554432000 4194304 16246674 140735352972464 140674256055536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4285/tid=4287] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4287/stat : 4287 (toysat) S 4282 4285 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 127069 33554432000 4194304 16246674 140735352972464 140674245565680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4285/tid=4288] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 127069 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1321540
[startup+6.30037 s]
/proc/loadavg: 1.97 2.06 2.09 3/183 4289
/proc/meminfo: memFree=29584108/32872528 swapFree=13600/559348
[pid=4285] ppid=4282 vsize=1321540 CPUtime=6.29 cores=0,2,4,6
/proc/4285/stat : 4285 (toysat) R 4282 4285 1842 0 -1 4202496 198042 0 0 0 605 24 0 0 20 0 4 0 105047328 1353256960 198340 33554432000 4194304 16246674 140735352972464 140735352971640 5754966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4285/statm: 330385 198340 914 2943 0 327279 0
[pid=4285/tid=4286] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4286/stat : 4286 (toysat) S 4282 4285 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 198340 33554432000 4194304 16246674 140735352972464 140674256055536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4285/tid=4287] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4287/stat : 4287 (toysat) S 4282 4285 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 198340 33554432000 4194304 16246674 140735352972464 140674245565680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4285/tid=4288] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 198340 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1321540
[startup+12.7004 s]
/proc/loadavg: 1.97 2.06 2.08 3/183 4289
/proc/meminfo: memFree=29488560/32872528 swapFree=13600/559348
[pid=4285] ppid=4282 vsize=1321540 CPUtime=12.69 cores=0,2,4,6
/proc/4285/stat : 4285 (toysat) R 4282 4285 1842 0 -1 4202496 271090 0 0 0 1235 34 0 0 20 0 4 0 105047328 1353256960 271388 33554432000 4194304 16246674 140735352972464 140735352954368 13923831 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4285/statm: 330385 271388 914 2943 0 327279 0
[pid=4285/tid=4286] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4286/stat : 4286 (toysat) S 4282 4285 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 271388 33554432000 4194304 16246674 140735352972464 140674256055536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4285/tid=4287] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4287/stat : 4287 (toysat) S 4282 4285 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 271388 33554432000 4194304 16246674 140735352972464 140674245565680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4285/tid=4288] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 271388 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1321540
[startup+25.5005 s]
/proc/loadavg: 1.98 2.05 2.08 3/183 4290
/proc/meminfo: memFree=29288716/32872528 swapFree=13600/559348
[pid=4285] ppid=4282 vsize=1321540 CPUtime=25.49 cores=0,2,4,6
/proc/4285/stat : 4285 (toysat) R 4282 4285 1842 0 -1 4202496 271091 0 0 0 2514 35 0 0 20 0 4 0 105047328 1353256960 271389 33554432000 4194304 16246674 140735352972464 140735352971640 13950384 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4285/statm: 330385 271389 915 2943 0 327279 0
[pid=4285/tid=4286] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4286/stat : 4286 (toysat) S 4282 4285 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 271389 33554432000 4194304 16246674 140735352972464 140674256055536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4285/tid=4287] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4287/stat : 4287 (toysat) S 4282 4285 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 271389 33554432000 4194304 16246674 140735352972464 140674245565680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4285/tid=4288] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 271389 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1321540
[startup+51.1005 s]
/proc/loadavg: 2.05 2.07 2.09 3/183 4290
/proc/meminfo: memFree=29281128/32872528 swapFree=13600/559348
[pid=4285] ppid=4282 vsize=1321540 CPUtime=51.08 cores=0,2,4,6
/proc/4285/stat : 4285 (toysat) R 4282 4285 1842 0 -1 4202496 271091 0 0 0 5072 36 0 0 20 0 4 0 105047328 1353256960 271389 33554432000 4194304 16246674 140735352972464 140735352954368 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4285/statm: 330385 271389 915 2943 0 327279 0
[pid=4285/tid=4286] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4286/stat : 4286 (toysat) S 4282 4285 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 271389 33554432000 4194304 16246674 140735352972464 140674256055536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4285/tid=4287] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4287/stat : 4287 (toysat) S 4282 4285 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 271389 33554432000 4194304 16246674 140735352972464 140674245565680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4285/tid=4288] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 271389 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1321540
[startup+102.3 s]
/proc/loadavg: 2.09 2.07 2.09 3/184 4294
/proc/meminfo: memFree=29280012/32872528 swapFree=13600/559348
[pid=4285] ppid=4282 vsize=1321540 CPUtime=102.28 cores=0,2,4,6
/proc/4285/stat : 4285 (toysat) R 4282 4285 1842 0 -1 4202496 271091 0 0 0 10189 39 0 0 20 0 4 0 105047328 1353256960 271389 33554432000 4194304 16246674 140735352972464 140735352954368 5677667 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4285/statm: 330385 271389 915 2943 0 327279 0
[pid=4285/tid=4286] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4286/stat : 4286 (toysat) S 4282 4285 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 271389 33554432000 4194304 16246674 140735352972464 140674256055536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4285/tid=4287] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4287/stat : 4287 (toysat) S 4282 4285 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 271389 33554432000 4194304 16246674 140735352972464 140674245565680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4285/tid=4288] ppid=4282 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105047328 1353256960 271389 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1321540
################
# More data... #
################
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1359428
[startup+1362.3 s]
/proc/loadavg: 2.12 2.12 2.08 3/184 4348
/proc/meminfo: memFree=29207780/32872528 swapFree=13600/559348
[pid=4285] ppid=4282 vsize=1359428 CPUtime=1361.95 cores=0,2,4,6
/proc/4285/stat : 4285 (toysat) R 4282 4285 1842 0 -1 4202496 280827 0 0 0 136029 166 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140735352954368 13950218 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4285/statm: 339857 281118 916 2943 0 336751 0
[pid=4285/tid=4286] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4286/stat : 4286 (toysat) S 4282 4285 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674256055536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4285/tid=4287] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4287/stat : 4287 (toysat) S 4282 4285 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674245565680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4285/tid=4288] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1359428
[startup+1422.3 s]
/proc/loadavg: 2.04 2.09 2.07 3/183 4349
/proc/meminfo: memFree=29207620/32872528 swapFree=13600/559348
[pid=4285] ppid=4282 vsize=1359428 CPUtime=1421.92 cores=0,2,4,6
/proc/4285/stat : 4285 (toysat) R 4282 4285 1842 0 -1 4202496 280863 0 0 0 142022 170 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140735352954368 5659293 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4285/statm: 339857 281118 916 2943 0 336751 0
[pid=4285/tid=4286] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4286/stat : 4286 (toysat) S 4282 4285 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674256055536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4285/tid=4287] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4287/stat : 4287 (toysat) S 4282 4285 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674245565680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4285/tid=4288] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1359428
[startup+1482.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/183 4350
/proc/meminfo: memFree=29207844/32872528 swapFree=13600/559348
[pid=4285] ppid=4282 vsize=1359428 CPUtime=1481.9 cores=0,2,4,6
/proc/4285/stat : 4285 (toysat) R 4282 4285 1842 0 -1 4202496 280863 0 0 0 148018 172 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140735352954368 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4285/statm: 339857 281118 916 2943 0 336751 0
[pid=4285/tid=4286] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4286/stat : 4286 (toysat) S 4282 4285 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674256055536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4285/tid=4287] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4287/stat : 4287 (toysat) S 4282 4285 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674245565680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4285/tid=4288] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1359428
[startup+1542.31 s]
/proc/loadavg: 2.00 2.06 2.06 3/183 4351
/proc/meminfo: memFree=29208188/32872528 swapFree=13600/559348
[pid=4285] ppid=4282 vsize=1359428 CPUtime=1541.9 cores=0,2,4,6
/proc/4285/stat : 4285 (toysat) R 4282 4285 1842 0 -1 4202496 280863 0 0 0 154014 176 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140735352971640 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4285/statm: 339857 281118 916 2943 0 336751 0
[pid=4285/tid=4286] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4286/stat : 4286 (toysat) S 4282 4285 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674256055536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4285/tid=4287] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4287/stat : 4287 (toysat) S 4282 4285 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674245565680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4285/tid=4288] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1359428
[startup+1602.3 s]
/proc/loadavg: 2.04 2.06 2.06 3/183 4353
/proc/meminfo: memFree=29208284/32872528 swapFree=13600/559348
[pid=4285] ppid=4282 vsize=1359428 CPUtime=1601.89 cores=0,2,4,6
/proc/4285/stat : 4285 (toysat) R 4282 4285 1842 0 -1 4202496 280863 0 0 0 160006 183 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140735352971560 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4285/statm: 339857 281118 916 2943 0 336751 0
[pid=4285/tid=4286] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4286/stat : 4286 (toysat) S 4282 4285 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674256055536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4285/tid=4287] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4287/stat : 4287 (toysat) S 4282 4285 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674245565680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4285/tid=4288] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1359428
[startup+1662.3 s]
/proc/loadavg: 2.17 2.09 2.07 3/183 4354
/proc/meminfo: memFree=29208260/32872528 swapFree=13600/559348
[pid=4285] ppid=4282 vsize=1359428 CPUtime=1661.88 cores=0,2,4,6
/proc/4285/stat : 4285 (toysat) R 4282 4285 1842 0 -1 4202496 280863 0 0 0 165998 190 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140735352971640 13950192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4285/statm: 339857 281118 916 2943 0 336751 0
[pid=4285/tid=4286] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4286/stat : 4286 (toysat) S 4282 4285 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674256055536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4285/tid=4287] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4287/stat : 4287 (toysat) S 4282 4285 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674245565680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4285/tid=4288] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1359428
[startup+1722.3 s]
/proc/loadavg: 2.18 2.10 2.07 3/183 4355
/proc/meminfo: memFree=29208104/32872528 swapFree=13600/559348
[pid=4285] ppid=4282 vsize=1359428 CPUtime=1721.87 cores=0,2,4,6
/proc/4285/stat : 4285 (toysat) R 4282 4285 1842 0 -1 4202496 280863 0 0 0 171989 198 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140735352971560 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4285/statm: 339857 281118 916 2943 0 336751 0
[pid=4285/tid=4286] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4286/stat : 4286 (toysat) S 4282 4285 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674256055536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4285/tid=4287] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4287/stat : 4287 (toysat) S 4282 4285 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674245565680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4285/tid=4288] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1359428
[startup+1782.3 s]
/proc/loadavg: 2.06 2.08 2.07 3/183 4356
/proc/meminfo: memFree=29206900/32872528 swapFree=13600/559348
[pid=4285] ppid=4282 vsize=1359428 CPUtime=1781.86 cores=0,2,4,6
/proc/4285/stat : 4285 (toysat) R 4282 4285 1842 0 -1 4202496 280863 0 0 0 177985 201 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140735352954368 5754924 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4285/statm: 339857 281118 916 2943 0 336751 0
[pid=4285/tid=4286] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4286/stat : 4286 (toysat) S 4282 4285 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674256055536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4285/tid=4287] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4287/stat : 4287 (toysat) S 4282 4285 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674245565680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4285/tid=4288] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1359428
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.05 2.08 2.07 3/183 4356
/proc/meminfo: memFree=29207536/32872528 swapFree=13600/559348
[pid=4285] ppid=4282 vsize=1359428 CPUtime=1800.05 cores=0,2,4,6
/proc/4285/stat : 4285 (toysat) R 4282 4285 1842 0 -1 4202496 280863 0 0 0 179804 201 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140735352954368 5673867 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4285/statm: 339857 281118 916 2943 0 336751 0
[pid=4285/tid=4286] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4286/stat : 4286 (toysat) S 4282 4285 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674256055536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4285/tid=4287] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4287/stat : 4287 (toysat) S 4282 4285 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674245565680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4285/tid=4288] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1359428
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 4285 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.05 2.08 2.07 3/183 4356
/proc/meminfo: memFree=29207536/32872528 swapFree=13600/559348
[pid=4285] ppid=4282 vsize=1359428 CPUtime=1800.05 cores=0,2,4,6
/proc/4285/stat : 4285 (toysat) R 4282 4285 1842 0 -1 4202496 280863 0 0 0 179804 201 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140735352954368 5673867 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4285/statm: 339857 281118 916 2943 0 336751 0
[pid=4285/tid=4286] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4286/stat : 4286 (toysat) S 4282 4285 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674256055536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=4285/tid=4287] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4287/stat : 4287 (toysat) S 4282 4285 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674245565680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=4285/tid=4288] ppid=4282 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/4285/task/4288/stat : 4288 (toysat) S 4282 4285 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105047328 1392054272 281118 33554432000 4194304 16246674 140735352972464 140674235092144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1359428
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1798.05
CPU system time (s): 2.01769
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 1359428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.05
system time used= 2.01769
maximum resident set size= 1124472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280863
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= 315
involuntary context switches= 1864
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5933 second user time and 6.93095 second system time
The end