0.00/0.00 c 2016-06-18T09:09:19+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-4103221-1466233759.opb"]
0.00/0.01 c use --random-gen="3974139819 4216566244 522860137 3683862294 341342427 3200639469 428563866 4134876027 1363788116 2784119296 3179511372 2503630943 1996790218 1838175586 3572589595 2187180080 1972745423 1803983953 2883527846 1135930622 2704786853 500104299 192403610 4077793178 1448360200 2067153115 1337728592 370553337 4224083813 3294241339 11938011 434842780 1044929106 956399428 1796376177 3249665649 2377225609 2911541529 1196019892 3826750997 3204344667 3402973028 4209359294 1533050643 1030905019 916633418 1900601086 615642216 3671235846 2722681798 3594586607 1075448717 1385369754 788461069 3171228333 1654283750 2146924800 3504937643 3304116132 1466789446 226197453 3931914633 3529881767 2423286835 2513734722 2972207050 1205749154 4080559705 3156439850 1640163846 435555681 2116381756 1921715471 3130604502 1259845468 730130797 4040343906 1821977214 1776306983 3696746865 2038345791 3951916491 486567059 1447130102 534072935 494338993 2022127955 2074544767 1603295230 3650495719 1465709092 1433774557 4073249560 4240245216 515975717 1913095097 3869174350 79984547 258333062 2908373632 2029931665 420801860 2311193954 3590978646 1234270547 649856839 2908292487 2825414534 2157072502 1282687904 2240764905 77967371 3011728621 2652890827 3664388471 1994268703 671264120 4097579746 1500067314 914311054 3800073902 3825783608 114495085 1869046057 1478182485 1333247183 2280044931 148471625 1996719137 4077229037 825093060 4260530231 3769952110 2986437929 1319728029 492757350 281015695 161318420 4181699896 2702605166 2385555291 2368308482 3118576114 384694250 3835149573 2442698773 2067142596 3588780945 1493027365 112321716 3596735764 1701410560 1602703097 1507625632 4274814634 3418762155 2736127178 517792341 2630162271 2691678608 3054812113 899927036 1744906874 1562772788 174650507 459504759 1915957515 1356424600 1832995828 2428834390 529265256 2445686385 3760835869 874927386 966143148 1699314036 436253617 1341135981 1731121190 1036887467 3149253856 3712526297 2194113196 1455341539 110876825 2273011392 3757023033 2902168915 118199553 244744647 3315073578 909899186 1211593384 3907760492 3185591662 1720470110 4168062209 819484970 2944232736 1340080293 726366600 3527302281 2460924211 2853984784 2816406815 1598588883 4095032040 1537498750 1739425142 375825365 1345313030 3540497636 2572225839 1631658713 191994075 2805001491 2111702965 1740340367 833356568 4198389006 1792750263 2808163718 395580139 610139341 523544540 3355344140 4148282087 770089821 1299042313 2584070837 697308727 1377772108 3378458450 4205876429 3777724304 4040607882 2270949811 1157302728 1372625000 802415338 3810677332 3286356801 908768501 1145084563 3355583760 774672805 356930144 1126650753 3916243579 1038762357 1003525123 2331710969 177782987 378644590 784154766 712938515 255 362436" option to reproduce the execution
0.00/0.09 c #vars 8959
0.00/0.09 c #constraints 323
0.29/0.34 c BCD2: Hardening is enabled.
0.29/0.34 c BCD2: BiasedSearch is enabled.
0.29/0.34 c Solving starts ...
0.29/0.34 c ============================[ Search Statistics ]============================
0.29/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.34 c | | | | Limit GC | Var | Constra
0.29/0.34 c =============================================================================
0.29/0.34 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
0.29/0.38 c 0.0s | 0 | 408 | 0 | 3105 0 | 4681 | 0
0.29/0.38 c #cpu_time = 0.033s
0.29/0.38 c #wall_clock_time = 0.033s
0.29/0.38 c #decision = 408
0.29/0.38 c #random_decision = 0
0.29/0.38 c #conflict = 0
0.29/0.38 c #restart = 0
0.29/0.38 o 17729530
2.59/2.67 c BCD2: hardening fixes 2127 literals
2.59/2.67 c BCD2: updating upper bound: 1612776422946 -> 17729529
2.69/2.71 c BCD2: 0 <= obj <= 17729529
2.69/2.71 c BCD2: #cores=0, #unrelaxed=6832, #relaxed=0, #hardened=2127
2.69/2.71 c BCD2: #sat=1 #unsat=1 bias=1/2
2.69/2.71 c Solving starts ...
2.69/2.71 c ============================[ Search Statistics ]============================
2.69/2.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.71 c | | | | Limit GC | Var | Constra
2.69/2.71 c =============================================================================
2.69/2.71 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
2.69/2.71 c 0.0s | 0 | 34 | 0 | 3105 0 | 4681 | 0
2.69/2.71 c #cpu_time = 0.005s
2.69/2.71 c #wall_clock_time = 0.005s
2.69/2.71 c #decision = 34
2.69/2.71 c #random_decision = 0
2.69/2.71 c #conflict = 0
2.69/2.71 c #restart = 0
2.69/2.71 c BCD2: found a new core of size 17: cost of the new core is >=10240
2.69/2.71 c lower bound updated to 10240
4.59/4.60 c BCD2: 10240 <= obj <= 17729529
4.59/4.60 c BCD2: #cores=1, #unrelaxed=6815, #relaxed=17, #hardened=2127
4.59/4.60 c BCD2: #sat=1 #unsat=2 bias=2/3
4.59/4.60 c Solving starts ...
4.79/4.88 c ============================[ Search Statistics ]============================
4.79/4.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
4.79/4.88 c | | | | Limit GC | Var | Constra
4.79/4.88 c =============================================================================
4.79/4.88 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
4.79/4.88 c 0.0s | 0 | 35 | 1 | 3105 0 | 4681 | 0
4.79/4.88 c #cpu_time = 0.006s
4.79/4.88 c #wall_clock_time = 0.006s
4.79/4.88 c #decision = 35
4.79/4.88 c #random_decision = 0
4.79/4.88 c #conflict = 1
4.79/4.88 c #restart = 0
4.79/4.88 c BCD2: found a new core of size 15: cost of the new core is >=17408
4.79/4.88 c lower bound updated to 27648
6.60/6.63 c BCD2: 27648 <= obj <= 17729529
6.60/6.63 c BCD2: #cores=2, #unrelaxed=6800, #relaxed=32, #hardened=2127
6.60/6.63 c BCD2: #sat=1 #unsat=3 bias=3/4
6.60/6.63 c Solving starts ...
6.60/6.63 c ============================[ Search Statistics ]============================
6.60/6.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
6.60/6.63 c | | | | Limit GC | Var | Constra
6.60/6.63 c =============================================================================
6.60/6.63 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
6.60/6.64 c 0.0s | 0 | 41 | 1 | 3105 0 | 4681 | 0
6.60/6.64 c #cpu_time = 0.006s
6.60/6.64 c #wall_clock_time = 0.006s
6.60/6.64 c #decision = 41
6.60/6.64 c #random_decision = 0
6.60/6.64 c #conflict = 1
6.60/6.64 c #restart = 0
6.60/6.64 c BCD2: found a new core of size 16: cost of the new core is >=18432
6.60/6.64 c lower bound updated to 46080
8.99/9.09 c BCD2: 46080 <= obj <= 17729529
8.99/9.09 c BCD2: #cores=3, #unrelaxed=6784, #relaxed=48, #hardened=2127
8.99/9.09 c BCD2: #sat=1 #unsat=4 bias=4/5
8.99/9.09 c Solving starts ...
8.99/9.09 c ============================[ Search Statistics ]============================
8.99/9.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
8.99/9.09 c | | | | Limit GC | Var | Constra
8.99/9.09 c =============================================================================
8.99/9.09 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
8.99/9.09 c 0.0s | 0 | 48 | 1 | 3105 0 | 4681 | 0
8.99/9.09 c #cpu_time = 0.006s
8.99/9.09 c #wall_clock_time = 0.006s
8.99/9.09 c #decision = 48
8.99/9.09 c #random_decision = 0
8.99/9.10 c #conflict = 1
8.99/9.10 c #restart = 0
8.99/9.10 c BCD2: found a new core of size 14: cost of the new core is >=12288
8.99/9.10 c lower bound updated to 58368
11.19/11.27 c BCD2: 58368 <= obj <= 17729529
11.19/11.27 c BCD2: #cores=4, #unrelaxed=6770, #relaxed=62, #hardened=2127
11.19/11.27 c BCD2: #sat=1 #unsat=5 bias=5/6
11.19/11.27 c Solving starts ...
11.19/11.27 c ============================[ Search Statistics ]============================
11.19/11.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
11.19/11.27 c | | | | Limit GC | Var | Constra
11.19/11.27 c =============================================================================
11.19/11.27 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
11.19/11.28 c 0.0s | 0 | 54 | 1 | 3105 0 | 4681 | 0
11.19/11.28 c #cpu_time = 0.007s
11.19/11.28 c #wall_clock_time = 0.007s
11.19/11.28 c #decision = 54
11.19/11.28 c #random_decision = 0
11.19/11.28 c #conflict = 1
11.19/11.28 c #restart = 0
11.19/11.28 c BCD2: found a new core of size 14: cost of the new core is >=10240
11.19/11.28 c lower bound updated to 68608
13.69/13.76 c BCD2: 68608 <= obj <= 17729529
13.69/13.76 c BCD2: #cores=5, #unrelaxed=6756, #relaxed=76, #hardened=2127
13.69/13.76 c BCD2: #sat=1 #unsat=6 bias=6/7
13.69/13.76 c Solving starts ...
13.69/13.76 c ============================[ Search Statistics ]============================
13.69/13.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
13.69/13.76 c | | | | Limit GC | Var | Constra
13.69/13.76 c =============================================================================
13.69/13.76 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
13.69/13.76 c 0.0s | 0 | 62 | 0 | 3105 0 | 4681 | 0
13.69/13.76 c #cpu_time = 0.006s
13.69/13.76 c #wall_clock_time = 0.006s
13.69/13.76 c #decision = 62
13.69/13.76 c #random_decision = 0
13.69/13.76 c #conflict = 0
13.69/13.76 c #restart = 0
13.69/13.76 c BCD2: found a new core of size 17: cost of the new core is >=17408
13.69/13.76 c lower bound updated to 86016
15.79/15.87 c BCD2: 86016 <= obj <= 17729529
15.79/15.87 c BCD2: #cores=6, #unrelaxed=6739, #relaxed=93, #hardened=2127
15.79/15.87 c BCD2: #sat=1 #unsat=7 bias=7/8
15.79/15.87 c Solving starts ...
15.79/15.87 c ============================[ Search Statistics ]============================
15.79/15.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
15.79/15.87 c | | | | Limit GC | Var | Constra
15.79/15.87 c =============================================================================
15.79/15.87 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
15.79/15.88 c 0.0s | 0 | 64 | 0 | 3105 0 | 4681 | 0
15.79/15.88 c #cpu_time = 0.006s
15.79/15.88 c #wall_clock_time = 0.006s
15.79/15.88 c #decision = 64
15.79/15.88 c #random_decision = 0
15.79/15.88 c #conflict = 0
15.79/15.88 c #restart = 0
15.79/15.88 c BCD2: found a new core of size 17: cost of the new core is >=10240
15.79/15.88 c lower bound updated to 96256
17.99/18.03 c BCD2: 96256 <= obj <= 17729529
17.99/18.03 c BCD2: #cores=7, #unrelaxed=6722, #relaxed=110, #hardened=2127
17.99/18.03 c BCD2: #sat=1 #unsat=8 bias=8/9
17.99/18.03 c Solving starts ...
17.99/18.03 c ============================[ Search Statistics ]============================
17.99/18.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
17.99/18.03 c | | | | Limit GC | Var | Constra
17.99/18.03 c =============================================================================
17.99/18.03 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
17.99/18.04 c 0.0s | 0 | 65 | 1 | 3105 0 | 4681 | 0
17.99/18.04 c #cpu_time = 0.007s
17.99/18.04 c #wall_clock_time = 0.007s
17.99/18.04 c #decision = 65
17.99/18.04 c #random_decision = 0
17.99/18.04 c #conflict = 1
17.99/18.04 c #restart = 0
17.99/18.04 c BCD2: found a new core of size 14: cost of the new core is >=13312
17.99/18.04 c lower bound updated to 109568
20.49/20.54 c BCD2: 109568 <= obj <= 17729529
20.49/20.54 c BCD2: #cores=8, #unrelaxed=6708, #relaxed=124, #hardened=2127
20.49/20.54 c BCD2: #sat=1 #unsat=9 bias=9/10
20.49/20.54 c Solving starts ...
20.49/20.54 c ============================[ Search Statistics ]============================
20.49/20.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
20.49/20.54 c | | | | Limit GC | Var | Constra
20.49/20.54 c =============================================================================
20.49/20.54 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
20.49/20.55 c 0.0s | 0 | 74 | 0 | 3105 0 | 4681 | 0
20.49/20.55 c #cpu_time = 0.006s
20.49/20.55 c #wall_clock_time = 0.006s
20.49/20.55 c #decision = 74
20.49/20.55 c #random_decision = 0
20.49/20.55 c #conflict = 0
20.49/20.55 c #restart = 0
20.49/20.55 c BCD2: found a new core of size 17: cost of the new core is >=10240
20.49/20.55 c lower bound updated to 119808
22.69/22.71 c BCD2: 119808 <= obj <= 17729529
22.69/22.71 c BCD2: #cores=9, #unrelaxed=6691, #relaxed=141, #hardened=2127
22.69/22.71 c BCD2: #sat=1 #unsat=10 bias=10/11
22.69/22.71 c Solving starts ...
22.69/22.71 c ============================[ Search Statistics ]============================
22.69/22.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
22.69/22.71 c | | | | Limit GC | Var | Constra
22.69/22.71 c =============================================================================
22.69/22.71 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
22.69/22.72 c 0.0s | 0 | 76 | 1 | 3105 0 | 4681 | 0
22.69/22.72 c #cpu_time = 0.007s
22.69/22.72 c #wall_clock_time = 0.007s
22.69/22.72 c #decision = 76
22.69/22.72 c #random_decision = 0
22.69/22.72 c #conflict = 1
22.69/22.72 c #restart = 0
22.69/22.72 c BCD2: found a new core of size 32: cost of the new core is >=11264
22.69/22.72 c lower bound updated to 131072
25.19/25.21 c BCD2: 131072 <= obj <= 17729529
25.19/25.21 c BCD2: #cores=10, #unrelaxed=6659, #relaxed=173, #hardened=2127
25.19/25.21 c BCD2: #sat=1 #unsat=11 bias=11/12
25.19/25.21 c Solving starts ...
25.19/25.21 c ============================[ Search Statistics ]============================
25.19/25.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
25.19/25.21 c | | | | Limit GC | Var | Constra
25.19/25.21 c =============================================================================
25.19/25.21 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
25.19/25.22 c 0.0s | 0 | 64 | 0 | 3105 0 | 4681 | 0
25.19/25.22 c #cpu_time = 0.006s
25.19/25.22 c #wall_clock_time = 0.006s
25.19/25.22 c #decision = 64
25.19/25.22 c #random_decision = 0
25.19/25.22 c #conflict = 0
25.19/25.22 c #restart = 0
25.19/25.22 c BCD2: found a new core of size 17: cost of the new core is >=21504
25.19/25.22 c lower bound updated to 152576
27.28/27.34 c BCD2: 152576 <= obj <= 17729529
27.28/27.34 c BCD2: #cores=11, #unrelaxed=6642, #relaxed=190, #hardened=2127
27.28/27.34 c BCD2: #sat=1 #unsat=12 bias=12/13
27.28/27.34 c Solving starts ...
27.28/27.34 c ============================[ Search Statistics ]============================
27.28/27.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.28/27.34 c | | | | Limit GC | Var | Constra
27.28/27.34 c =============================================================================
27.28/27.34 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
27.28/27.34 c 0.0s | 0 | 67 | 0 | 3105 0 | 4681 | 0
27.28/27.34 c #cpu_time = 0.006s
27.28/27.34 c #wall_clock_time = 0.006s
27.28/27.34 c #decision = 67
27.28/27.34 c #random_decision = 0
27.28/27.34 c #conflict = 0
27.28/27.34 c #restart = 0
27.28/27.34 c BCD2: found a new core of size 17: cost of the new core is >=31744
27.28/27.34 c lower bound updated to 184320
29.48/29.52 c BCD2: 184320 <= obj <= 17729529
29.48/29.52 c BCD2: #cores=12, #unrelaxed=6625, #relaxed=207, #hardened=2127
29.48/29.52 c BCD2: #sat=1 #unsat=13 bias=13/14
29.48/29.52 c Solving starts ...
29.48/29.52 c ============================[ Search Statistics ]============================
29.48/29.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.48/29.52 c | | | | Limit GC | Var | Constra
29.48/29.52 c =============================================================================
29.48/29.52 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
29.48/29.52 c 0.0s | 0 | 69 | 1 | 3105 0 | 4681 | 0
29.48/29.52 c #cpu_time = 0.006s
29.48/29.52 c #wall_clock_time = 0.006s
29.48/29.52 c #decision = 69
29.48/29.52 c #random_decision = 0
29.48/29.52 c #conflict = 1
29.48/29.52 c #restart = 0
29.48/29.52 c BCD2: found a new core of size 16: cost of the new core is >=11264
29.48/29.52 c lower bound updated to 195584
31.99/32.05 c BCD2: 195584 <= obj <= 17729529
31.99/32.05 c BCD2: #cores=13, #unrelaxed=6609, #relaxed=223, #hardened=2127
31.99/32.05 c BCD2: #sat=1 #unsat=14 bias=14/15
31.99/32.05 c Solving starts ...
31.99/32.05 c ============================[ Search Statistics ]============================
31.99/32.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
31.99/32.05 c | | | | Limit GC | Var | Constra
31.99/32.05 c =============================================================================
31.99/32.05 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
31.99/32.06 c 0.0s | 0 | 72 | 1 | 3105 0 | 4681 | 0
31.99/32.06 c #cpu_time = 0.007s
31.99/32.06 c #wall_clock_time = 0.007s
31.99/32.06 c #decision = 72
31.99/32.06 c #random_decision = 0
31.99/32.06 c #conflict = 1
31.99/32.06 c #restart = 0
31.99/32.06 c BCD2: found a new core of size 15: cost of the new core is >=11264
31.99/32.06 c lower bound updated to 206848
34.19/34.25 c BCD2: 206848 <= obj <= 17729529
34.19/34.25 c BCD2: #cores=14, #unrelaxed=6594, #relaxed=238, #hardened=2127
34.19/34.25 c BCD2: #sat=1 #unsat=15 bias=15/16
34.19/34.25 c Solving starts ...
34.19/34.25 c ============================[ Search Statistics ]============================
34.19/34.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
34.19/34.25 c | | | | Limit GC | Var | Constra
34.19/34.25 c =============================================================================
34.19/34.25 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
34.19/34.26 c 0.0s | 0 | 61 | 0 | 3105 0 | 4681 | 0
34.19/34.26 c #cpu_time = 0.006s
34.19/34.26 c #wall_clock_time = 0.006s
34.19/34.26 c #decision = 61
34.19/34.26 c #random_decision = 0
34.19/34.26 c #conflict = 0
34.19/34.26 c #restart = 0
34.19/34.26 c BCD2: found a new core of size 17: cost of the new core is >=12288
34.19/34.26 c lower bound updated to 219136
36.68/36.76 c BCD2: 219136 <= obj <= 17729529
36.68/36.76 c BCD2: #cores=15, #unrelaxed=6577, #relaxed=255, #hardened=2127
36.68/36.76 c BCD2: #sat=1 #unsat=16 bias=16/17
36.68/36.76 c Solving starts ...
36.68/36.76 c ============================[ Search Statistics ]============================
36.68/36.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
36.68/36.76 c | | | | Limit GC | Var | Constra
36.68/36.76 c =============================================================================
36.68/36.76 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
36.68/36.76 c 0.0s | 0 | 48 | 0 | 3105 0 | 4681 | 0
36.68/36.76 c #cpu_time = 0.006s
36.68/36.76 c #wall_clock_time = 0.006s
36.68/36.76 c #decision = 48
36.68/36.76 c #random_decision = 0
36.68/36.76 c #conflict = 0
36.68/36.76 c #restart = 0
36.68/36.76 c BCD2: found a new core of size 17: cost of the new core is >=17408
36.68/36.76 c lower bound updated to 236544
39.08/39.17 c BCD2: 236544 <= obj <= 17729529
39.08/39.17 c BCD2: #cores=16, #unrelaxed=6560, #relaxed=272, #hardened=2127
39.08/39.17 c BCD2: #sat=1 #unsat=17 bias=17/18
39.08/39.17 c Solving starts ...
39.08/39.17 c ============================[ Search Statistics ]============================
39.08/39.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
39.08/39.17 c | | | | Limit GC | Var | Constra
39.08/39.17 c =============================================================================
39.08/39.17 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
39.08/39.18 c 0.0s | 0 | 504 | 0 | 3105 0 | 4681 | 0
39.08/39.18 c #cpu_time = 0.006s
39.08/39.18 c #wall_clock_time = 0.006s
39.08/39.18 c #decision = 504
39.08/39.18 c #random_decision = 0
39.08/39.18 c #conflict = 0
39.08/39.18 c #restart = 0
39.08/39.18 c BCD2: found a new core of size 93: cost of the new core is >=256
39.08/39.18 c lower bound updated to 236800
41.68/41.75 c BCD2: 236800 <= obj <= 17729529
41.68/41.75 c BCD2: #cores=17, #unrelaxed=6467, #relaxed=365, #hardened=2127
41.68/41.75 c BCD2: #sat=1 #unsat=18 bias=18/19
41.68/41.75 c Solving starts ...
41.68/41.75 c ============================[ Search Statistics ]============================
41.68/41.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
41.68/41.75 c | | | | Limit GC | Var | Constra
41.68/41.75 c =============================================================================
41.68/41.75 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
41.68/41.76 c 0.0s | 0 | 617 | 1 | 3105 0 | 4681 | 0
41.68/41.76 c #cpu_time = 0.007s
41.68/41.76 c #wall_clock_time = 0.007s
41.68/41.76 c #decision = 617
41.68/41.76 c #random_decision = 0
41.68/41.76 c #conflict = 1
41.68/41.76 c #restart = 0
41.68/41.76 c BCD2: found a new core of size 179: cost of the new core is >=2
41.68/41.76 c lower bound updated to 236802
43.88/43.97 c BCD2: 236802 <= obj <= 17729529
43.88/43.97 c BCD2: #cores=18, #unrelaxed=6288, #relaxed=544, #hardened=2127
43.88/43.97 c BCD2: #sat=1 #unsat=19 bias=19/20
45.68/45.70 c Solving starts ...
45.68/45.70 c ============================[ Search Statistics ]============================
45.68/45.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
45.68/45.70 c | | | | Limit GC | Var | Constra
45.68/45.70 c =============================================================================
45.68/45.70 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
45.68/45.71 c 0.0s | 0 | 720 | 0 | 3105 0 | 4681 | 0
45.68/45.71 c #cpu_time = 0.007s
45.68/45.71 c #wall_clock_time = 0.007s
45.68/45.71 c #decision = 720
45.68/45.71 c #random_decision = 0
45.68/45.71 c #conflict = 0
45.68/45.71 c #restart = 0
45.68/45.71 c BCD2: found a new core of size 90: cost of the new core is >=512
45.68/45.71 c lower bound updated to 237314
47.98/48.08 c BCD2: 237314 <= obj <= 17729529
47.98/48.08 c BCD2: #cores=19, #unrelaxed=6198, #relaxed=634, #hardened=2127
47.98/48.08 c BCD2: #sat=1 #unsat=20 bias=20/21
47.98/48.09 c Solving starts ...
47.98/48.09 c ============================[ Search Statistics ]============================
47.98/48.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
47.98/48.09 c | | | | Limit GC | Var | Constra
47.98/48.09 c =============================================================================
47.98/48.09 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
48.28/48.30 c 0.2s | 0 | 952 | 0 | 3105 0 | 4681 | 0
48.28/48.30 c #cpu_time = 0.207s
48.28/48.30 c #wall_clock_time = 0.207s
48.28/48.30 c #decision = 952
48.28/48.30 c #random_decision = 0
48.28/48.30 c #conflict = 0
48.28/48.30 c #restart = 0
48.28/48.30 c BCD2: found a new core of size 89: cost of the new core is >=128
48.28/48.30 c lower bound updated to 237442
50.38/50.47 c BCD2: 237442 <= obj <= 17729529
50.38/50.47 c BCD2: #cores=20, #unrelaxed=6109, #relaxed=723, #hardened=2127
50.38/50.47 c BCD2: #sat=1 #unsat=21 bias=21/22
50.59/50.68 c Solving starts ...
50.59/50.68 c ============================[ Search Statistics ]============================
50.59/50.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
50.59/50.68 c | | | | Limit GC | Var | Constra
50.59/50.68 c =============================================================================
50.59/50.68 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
50.59/50.69 c 0.0s | 0 | 1133 | 1 | 3105 0 | 4681 | 0
50.59/50.69 c #cpu_time = 0.008s
50.59/50.69 c #wall_clock_time = 0.008s
50.59/50.69 c #decision = 1133
50.59/50.69 c #random_decision = 0
50.59/50.69 c #conflict = 1
50.59/50.69 c #restart = 0
50.59/50.69 c BCD2: found a new core of size 177: cost of the new core is >=1
50.59/50.69 c lower bound updated to 237443
52.98/53.08 c BCD2: 237443 <= obj <= 17729529
52.98/53.08 c BCD2: #cores=21, #unrelaxed=5932, #relaxed=900, #hardened=2127
52.98/53.08 c BCD2: #sat=1 #unsat=22 bias=22/23
53.68/53.71 c Solving starts ...
53.68/53.71 c ============================[ Search Statistics ]============================
53.68/53.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
53.68/53.71 c | | | | Limit GC | Var | Constra
53.68/53.71 c =============================================================================
53.68/53.71 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
53.68/53.72 c 0.0s | 0 | 1268 | 0 | 3105 0 | 4681 | 0
53.68/53.72 c #cpu_time = 0.008s
53.68/53.72 c #wall_clock_time = 0.008s
53.68/53.72 c #decision = 1268
53.68/53.72 c #random_decision = 0
53.68/53.72 c #conflict = 0
53.68/53.72 c #restart = 0
53.68/53.72 c BCD2: found a new core of size 219: cost of the new core is >=2
53.68/53.72 c lower bound updated to 237445
55.68/55.78 c BCD2: 237445 <= obj <= 17729529
55.68/55.78 c BCD2: #cores=22, #unrelaxed=5713, #relaxed=1119, #hardened=2127
55.68/55.78 c BCD2: #sat=1 #unsat=23 bias=23/24
57.48/57.54 c Solving starts ...
57.48/57.54 c ============================[ Search Statistics ]============================
57.48/57.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
57.48/57.54 c | | | | Limit GC | Var | Constra
57.48/57.54 c =============================================================================
57.48/57.54 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
57.48/57.55 c 0.0s | 0 | 1295 | 0 | 3105 0 | 4681 | 0
57.48/57.55 c #cpu_time = 0.008s
57.48/57.55 c #wall_clock_time = 0.008s
57.48/57.55 c #decision = 1295
57.48/57.55 c #random_decision = 0
57.48/57.55 c #conflict = 0
57.48/57.55 c #restart = 0
57.48/57.55 c BCD2: found a new core of size 208: cost of the new core is >=1
57.48/57.55 c lower bound updated to 237446
59.88/59.92 c BCD2: 237446 <= obj <= 17729529
59.88/59.92 c BCD2: #cores=23, #unrelaxed=5505, #relaxed=1327, #hardened=2127
59.88/59.92 c BCD2: #sat=1 #unsat=24 bias=24/25
61.88/61.97 c Solving starts ...
61.88/61.97 c ============================[ Search Statistics ]============================
61.88/61.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
61.88/61.97 c | | | | Limit GC | Var | Constra
61.88/61.97 c =============================================================================
61.88/61.97 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
61.88/61.98 c 0.0s | 0 | 1302 | 1 | 3105 0 | 4681 | 0
61.88/61.98 c #cpu_time = 0.010s
61.88/61.98 c #wall_clock_time = 0.010s
61.88/61.98 c #decision = 1302
61.88/61.98 c #random_decision = 0
61.88/61.98 c #conflict = 1
61.88/61.98 c #restart = 0
61.88/61.98 c BCD2: found a new core of size 177: cost of the new core is >=1
61.88/61.98 c lower bound updated to 237447
64.18/64.27 c BCD2: 237447 <= obj <= 17729529
64.18/64.27 c BCD2: #cores=24, #unrelaxed=5328, #relaxed=1504, #hardened=2127
64.18/64.27 c BCD2: #sat=1 #unsat=25 bias=25/26
64.58/64.69 c Solving starts ...
64.58/64.69 c ============================[ Search Statistics ]============================
64.58/64.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
64.58/64.69 c | | | | Limit GC | Var | Constra
64.58/64.69 c =============================================================================
64.58/64.69 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
64.68/64.70 c 0.0s | 0 | 1436 | 0 | 3105 0 | 4681 | 0
64.68/64.70 c #cpu_time = 0.010s
64.68/64.70 c #wall_clock_time = 0.010s
64.68/64.70 c #decision = 1436
64.68/64.70 c #random_decision = 0
64.68/64.70 c #conflict = 0
64.68/64.70 c #restart = 0
64.68/64.70 c BCD2: found a new core of size 389: cost of the new core is >=1
64.68/64.70 c lower bound updated to 237448
66.58/66.62 c BCD2: 237448 <= obj <= 17729529
66.58/66.62 c BCD2: #cores=25, #unrelaxed=4939, #relaxed=1893, #hardened=2127
66.58/66.62 c BCD2: #sat=1 #unsat=26 bias=26/27
69.08/69.18 c Solving starts ...
69.08/69.18 c ============================[ Search Statistics ]============================
69.08/69.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
69.08/69.18 c | | | | Limit GC | Var | Constra
69.08/69.18 c =============================================================================
69.08/69.18 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
69.08/69.19 c 0.0s | 0 | 1269 | 1 | 3105 0 | 4681 | 0
69.08/69.19 c #cpu_time = 0.009s
69.08/69.19 c #wall_clock_time = 0.009s
69.08/69.19 c #decision = 1269
69.08/69.19 c #random_decision = 0
69.08/69.19 c #conflict = 1
69.08/69.19 c #restart = 0
69.08/69.19 c BCD2: found a new core of size 182: cost of the new core is >=1
69.08/69.19 c lower bound updated to 237449
71.08/71.13 c BCD2: 237449 <= obj <= 17729529
71.08/71.13 c BCD2: #cores=26, #unrelaxed=4757, #relaxed=2075, #hardened=2127
71.08/71.13 c BCD2: #sat=1 #unsat=27 bias=27/28
73.18/73.25 c Solving starts ...
73.18/73.25 c ============================[ Search Statistics ]============================
73.18/73.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
73.18/73.25 c | | | | Limit GC | Var | Constra
73.18/73.25 c =============================================================================
73.18/73.25 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
73.18/73.26 c 0.0s | 0 | 1372 | 0 | 3105 0 | 4681 | 0
73.18/73.26 c #cpu_time = 0.009s
73.18/73.26 c #wall_clock_time = 0.009s
73.18/73.26 c #decision = 1372
73.18/73.26 c #random_decision = 0
73.18/73.26 c #conflict = 0
73.18/73.26 c #restart = 0
73.18/73.26 c BCD2: found a new core of size 207: cost of the new core is >=1
73.18/73.26 c lower bound updated to 237450
75.27/75.35 c BCD2: 237450 <= obj <= 17729529
75.27/75.35 c BCD2: #cores=27, #unrelaxed=4550, #relaxed=2282, #hardened=2127
75.27/75.35 c BCD2: #sat=1 #unsat=28 bias=28/29
77.57/77.66 c Solving starts ...
77.57/77.66 c ============================[ Search Statistics ]============================
77.57/77.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
77.57/77.66 c | | | | Limit GC | Var | Constra
77.57/77.66 c =============================================================================
77.57/77.66 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
77.57/77.67 c 0.0s | 0 | 1413 | 0 | 3105 0 | 4681 | 0
77.57/77.67 c #cpu_time = 0.010s
77.57/77.67 c #wall_clock_time = 0.010s
77.57/77.67 c #decision = 1413
77.57/77.67 c #random_decision = 0
77.57/77.67 c #conflict = 0
77.57/77.67 c #restart = 0
77.57/77.67 c BCD2: found a new core of size 196: cost of the new core is >=1
77.57/77.67 c lower bound updated to 237451
79.87/79.99 c BCD2: 237451 <= obj <= 17729529
79.87/79.99 c BCD2: #cores=28, #unrelaxed=4354, #relaxed=2478, #hardened=2127
79.87/79.99 c BCD2: #sat=1 #unsat=29 bias=29/30
83.17/83.28 c Solving starts ...
83.17/83.28 c ============================[ Search Statistics ]============================
83.17/83.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
83.17/83.28 c | | | | Limit GC | Var | Constra
83.17/83.28 c =============================================================================
83.17/83.28 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
83.17/83.29 c 0.0s | 0 | 1434 | 1 | 3105 0 | 4681 | 0
83.17/83.29 c #cpu_time = 0.011s
83.17/83.29 c #wall_clock_time = 0.011s
83.17/83.29 c #decision = 1434
83.17/83.29 c #random_decision = 0
83.17/83.29 c #conflict = 1
83.17/83.29 c #restart = 0
83.17/83.29 c BCD2: found a new core of size 189: cost of the new core is >=2
83.17/83.29 c lower bound updated to 237453
85.47/85.50 c BCD2: 237453 <= obj <= 17729529
85.47/85.50 c BCD2: #cores=29, #unrelaxed=4165, #relaxed=2667, #hardened=2127
85.47/85.50 c BCD2: #sat=1 #unsat=30 bias=30/31
88.57/88.61 c Solving starts ...
88.57/88.61 c ============================[ Search Statistics ]============================
88.57/88.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
88.57/88.61 c | | | | Limit GC | Var | Constra
88.57/88.61 c =============================================================================
88.57/88.61 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
88.57/88.62 c 0.0s | 0 | 1502 | 1 | 3105 0 | 4681 | 0
88.57/88.62 c #cpu_time = 0.011s
88.57/88.62 c #wall_clock_time = 0.011s
88.57/88.62 c #decision = 1502
88.57/88.62 c #random_decision = 0
88.57/88.62 c #conflict = 1
88.57/88.62 c #restart = 0
88.57/88.62 c BCD2: found a new core of size 106: cost of the new core is >=128
88.57/88.62 c lower bound updated to 237581
90.77/90.88 c BCD2: 237581 <= obj <= 17729529
90.77/90.88 c BCD2: #cores=30, #unrelaxed=4059, #relaxed=2773, #hardened=2127
90.77/90.88 c BCD2: #sat=1 #unsat=31 bias=31/32
91.07/91.11 c Solving starts ...
91.07/91.11 c ============================[ Search Statistics ]============================
91.07/91.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
91.07/91.11 c | | | | Limit GC | Var | Constra
91.07/91.11 c =============================================================================
91.07/91.11 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
91.07/91.13 c 0.0s | 0 | 1478 | 0 | 3105 0 | 4681 | 0
91.07/91.13 c #cpu_time = 0.011s
91.07/91.13 c #wall_clock_time = 0.011s
91.07/91.13 c #decision = 1478
91.07/91.13 c #random_decision = 0
91.07/91.13 c #conflict = 0
91.07/91.13 c #restart = 0
91.07/91.13 c BCD2: found a new core of size 229: cost of the new core is >=1
91.07/91.13 c lower bound updated to 237582
93.27/93.32 c BCD2: 237582 <= obj <= 17729529
93.27/93.32 c BCD2: #cores=31, #unrelaxed=3830, #relaxed=3002, #hardened=2127
93.27/93.32 c BCD2: #sat=1 #unsat=32 bias=32/33
95.57/95.62 c Solving starts ...
95.57/95.62 c ============================[ Search Statistics ]============================
95.57/95.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
95.57/95.62 c | | | | Limit GC | Var | Constra
95.57/95.62 c =============================================================================
95.57/95.62 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
95.57/95.63 c 0.0s | 0 | 1293 | 0 | 3105 0 | 4681 | 0
95.57/95.63 c #cpu_time = 0.012s
95.57/95.63 c #wall_clock_time = 0.012s
95.57/95.63 c #decision = 1293
95.57/95.63 c #random_decision = 0
95.57/95.63 c #conflict = 0
95.57/95.63 c #restart = 0
95.57/95.63 c BCD2: found a new core of size 206: cost of the new core is >=1
95.57/95.63 c lower bound updated to 237583
97.47/97.54 c BCD2: 237583 <= obj <= 17729529
97.47/97.54 c BCD2: #cores=32, #unrelaxed=3624, #relaxed=3208, #hardened=2127
97.47/97.54 c BCD2: #sat=1 #unsat=33 bias=33/34
100.67/100.72 c Solving starts ...
100.67/100.72 c ============================[ Search Statistics ]============================
100.67/100.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
100.67/100.72 c | | | | Limit GC | Var | Constra
100.67/100.72 c =============================================================================
100.67/100.72 c 0.0s | 0 | 0 | 0 | 3105 0 | 4681 | 0
100.77/100.83 c 0.1s | 1 | 1645 | 100 | 3416 0 | 4681 | 0
100.87/100.93 c 0.2s | 2 | 2977 | 250 | 3758 0 | 4681 | 0
100.97/101.07 c 0.3s | 3 | 4345 | 475 | 4134 0 | 4681 | 0
101.37/101.49 c 0.8s | 4 | 6936 | 813 | 4548 0 | 4681 | 0
101.67/101.76 c 1.0s | 5 | 8632 | 1320 | 5003 0 | 4681 | 0
102.17/102.21 c 1.5s | 6 | 10509 | 2081 | 5504 0 | 4681 | 0
102.87/102.98 c 2.3s | 7 | 12767 | 3223 | 6055 0 | 4681 | 0
103.97/104.07 c 3.3s | 8 | 15622 | 4936 | 6661 0 | 4681 | 0
105.97/106.00 c 5.3s | 9 | 19329 | 7506 | 7328 0 | 4681 | 0
107.97/108.07 c 7.3s | 9 | 23157 | 10206 | 7328 0 | 4681 | 0
108.87/108.99 c 8.3s | 10 | 24319 | 11361 | 8061 0 | 4681 | 0
110.97/111.06 c 10.3s | 10 | 27748 | 13661 | 8061 0 | 4681 | 0
113.07/113.12 c 12.4s | 10 | 30056 | 15961 | 8061 1 | 4681 | 0
114.07/114.17 c 13.4s | 11 | 31243 | 17144 | 8868 1 | 4681 | 0
116.17/116.23 c 15.5s | 11 | 34474 | 19244 | 8868 1 | 4681 | 0
118.27/118.30 c 17.6s | 11 | 36883 | 21644 | 8868 1 | 4681 | 0
120.26/120.38 c 19.7s | 11 | 38988 | 23744 | 8868 2 | 4681 | 0
121.96/122.05 c 21.3s | 12 | 41068 | 25819 | 9755 2 | 4681 | 0
124.06/124.11 c 23.4s | 12 | 44397 | 28019 | 9755 2 | 4681 | 0
126.36/126.42 c 25.7s | 12 | 46526 | 30119 | 9755 3 | 4681 | 0
128.36/128.46 c 27.7s | 12 | 48647 | 32219 | 9755 3 | 4681 | 0
130.46/130.53 c 29.8s | 12 | 51273 | 34819 | 9755 3 | 4681 | 0
132.56/132.63 c 31.9s | 12 | 53684 | 37219 | 9755 3 | 4681 | 0
134.17/134.25 c 33.5s | 13 | 55318 | 38832 | 10731 4 | 4681 | 0
136.26/136.31 c 35.6s | 13 | 58753 | 41132 | 10731 4 | 4681 | 0
138.26/138.39 c 37.7s | 13 | 61170 | 43532 | 10731 4 | 4681 | 0
140.36/140.42 c 39.7s | 13 | 63387 | 45732 | 10731 4 | 4681 | 0
142.36/142.48 c 41.8s | 13 | 65308 | 47632 | 10731 5 | 4681 | 0
144.46/144.55 c 43.8s | 13 | 67919 | 50232 | 10731 5 | 4681 | 0
146.57/146.60 c 45.9s | 13 | 69227 | 51532 | 10731 5 | 4681 | 0
148.57/148.63 c 47.9s | 13 | 71557 | 53832 | 10731 5 | 4681 | 0
150.67/150.78 c 50.1s | 13 | 72976 | 55232 | 10731 6 | 4681 | 0
152.77/152.83 c 52.1s | 13 | 75398 | 57632 | 10731 6 | 4681 | 0
153.27/153.35 c 52.6s | 14 | 76131 | 58352 | 11805 6 | 4681 | 0
155.27/155.36 c 54.6s | 14 | 79671 | 60752 | 11805 6 | 4681 | 0
157.37/157.46 c 56.7s | 14 | 82180 | 63252 | 11805 6 | 4681 | 0
159.36/159.49 c 58.8s | 14 | 84509 | 65552 | 11805 7 | 4681 | 0
161.46/161.50 c 60.8s | 14 | 87020 | 68052 | 11805 7 | 4681 | 0
163.46/163.53 c 62.8s | 14 | 89433 | 70452 | 11805 7 | 4681 | 0
165.46/165.57 c 64.8s | 14 | 91750 | 72752 | 11805 7 | 4681 | 0
167.46/167.59 c 66.9s | 14 | 94053 | 75052 | 11805 8 | 4681 | 0
169.56/169.64 c 68.9s | 14 | 96357 | 77352 | 11805 8 | 4681 | 0
171.67/171.71 c 71.0s | 14 | 98571 | 79552 | 11805 8 | 4681 | 0
173.66/173.77 c 73.1s | 14 | 100383 | 81352 | 11805 8 | 4681 | 0
175.76/175.82 c 75.1s | 14 | 102285 | 83252 | 11805 9 | 4681 | 0
177.76/177.84 c 77.1s | 14 | 104196 | 85152 | 11805 9 | 4681 | 0
179.66/179.76 c 79.0s | 15 | 106690 | 87632 | 12986 9 | 4681 | 0
181.76/181.82 c 81.1s | 15 | 110121 | 89932 | 12986 9 | 4681 | 0
183.77/183.86 c 83.1s | 15 | 112441 | 92232 | 12986 9 | 4681 | 0
185.87/185.90 c 85.2s | 15 | 114974 | 94732 | 12986 10 | 4681 | 0
187.86/187.96 c 87.2s | 15 | 117491 | 97232 | 12986 10 | 4681 | 0
189.96/190.00 c 89.3s | 15 | 120018 | 99732 | 12986 10 | 4681 | 0
191.96/192.06 c 91.3s | 15 | 121831 | 101532 | 12986 10 | 4681 | 0
193.96/194.07 c 93.3s | 15 | 123945 | 103632 | 12986 11 | 4681 | 0
196.06/196.11 c 95.4s | 15 | 126152 | 105832 | 12986 11 | 4681 | 0
198.06/198.11 c 97.4s | 15 | 128560 | 108232 | 12986 11 | 4681 | 0
200.06/200.16 c 99.4s | 15 | 131187 | 110832 | 12986 11 | 4681 | 0
202.16/202.21 c 101s | 15 | 133906 | 113532 | 12986 12 | 4681 | 0
204.16/204.28 c 103s | 15 | 136532 | 116132 | 12986 12 | 4681 | 0
206.26/206.30 c 105s | 15 | 139055 | 118632 | 12986 12 | 4681 | 0
208.36/208.44 c 107s | 15 | 141282 | 120832 | 12986 13 | 4681 | 0
210.46/210.51 c 109s | 15 | 143793 | 123332 | 12986 13 | 4681 | 0
212.45/212.55 c 111s | 15 | 146530 | 126032 | 12986 13 | 4681 | 0
214.56/214.61 c 113s | 15 | 148942 | 128432 | 12986 13 | 4681 | 0
217.95/218.04 c 117s | 15 | 150860 | 130332 | 12986 14 | 4681 | 0
218.86/218.92 c 118s | 16 | 152087 | 131552 | 14285 14 | 4681 | 0
220.85/220.95 c 120s | 16 | 155109 | 133452 | 14285 14 | 4681 | 0
222.85/222.95 c 122s | 16 | 157442 | 135752 | 14285 14 | 4681 | 0
224.95/225.04 c 124s | 16 | 159953 | 138252 | 14285 14 | 4681 | 0
227.05/227.12 c 126s | 16 | 162168 | 140452 | 14285 14 | 4681 | 0
229.05/229.16 c 128s | 16 | 163575 | 141852 | 14285 15 | 4681 | 0
231.15/231.20 c 130s | 16 | 165997 | 144252 | 14285 15 | 4681 | 0
233.15/233.21 c 132s | 16 | 168421 | 146652 | 14285 15 | 4681 | 0
235.15/235.26 c 134s | 16 | 170643 | 148852 | 14285 15 | 4681 | 0
237.24/237.38 c 136s | 16 | 172856 | 151052 | 14285 16 | 4681 | 0
239.35/239.43 c 138s | 16 | 174571 | 152752 | 14285 16 | 4681 | 0
241.35/241.47 c 140s | 16 | 177080 | 155252 | 14285 16 | 4681 | 0
243.45/243.57 c 142s | 16 | 179613 | 157752 | 14285 16 | 4681 | 0
245.45/245.59 c 144s | 16 | 181844 | 159952 | 14285 16 | 4681 | 0
247.46/247.60 c 146s | 16 | 183848 | 161952 | 14285 17 | 4681 | 0
250.45/250.54 c 149s | 16 | 184952 | 163052 | 14285 17 | 4681 | 0
252.44/252.57 c 151s | 16 | 186357 | 164452 | 14285 17 | 4681 | 0
254.54/254.62 c 153s | 16 | 188784 | 166852 | 14285 17 | 4681 | 0
256.54/256.68 c 155s | 16 | 191099 | 169152 | 14285 17 | 4681 | 0
258.74/258.84 c 158s | 16 | 193202 | 171252 | 14285 18 | 4681 | 0
260.84/260.90 c 160s | 16 | 195817 | 173852 | 14285 18 | 4681 | 0
262.85/262.93 c 162s | 16 | 198330 | 176352 | 14285 18 | 4681 | 0
264.84/264.94 c 164s | 16 | 200447 | 178452 | 14285 18 | 4681 | 0
266.94/267.02 c 166s | 16 | 202653 | 180652 | 14285 18 | 4681 | 0
268.94/269.04 c 168s | 16 | 204364 | 182352 | 14285 19 | 4681 | 0
271.04/271.11 c 170s | 16 | 207080 | 185052 | 14285 19 | 4681 | 0
273.04/273.16 c 172s | 16 | 209493 | 187452 | 14285 19 | 4681 | 0
275.14/275.20 c 174s | 16 | 211808 | 189752 | 14285 19 | 4681 | 0
277.15/277.28 c 176s | 16 | 213928 | 191852 | 14285 20 | 4681 | 0
279.24/279.30 c 178s | 16 | 216337 | 194252 | 14285 20 | 4681 | 0
281.24/281.35 c 180s | 16 | 218855 | 196752 | 15714 20 | 4681 | 0
282.54/282.66 c 181s | 17 | 219543 | 197432 | 15714 20 | 4681 | 0
285.14/285.29 c 184s | 17 | 220762 | 197532 | 15714 20 | 4681 | 0
287.24/287.30 c 186s | 17 | 223376 | 200132 | 15714 20 | 4681 | 0
289.25/289.33 c 188s | 17 | 225993 | 202732 | 15714 20 | 4681 | 0
291.94/292.06 c 191s | 17 | 226500 | 203232 | 15714 21 | 4681 | 0
293.94/294.06 c 193s | 17 | 227604 | 204332 | 15714 21 | 4681 | 0
295.95/296.09 c 195s | 17 | 230119 | 206832 | 15714 21 | 4681 | 0
297.94/298.10 c 197s | 17 | 232528 | 209232 | 15714 21 | 4681 | 0
300.04/300.11 c 199s | 17 | 234635 | 211332 | 15714 21 | 4681 | 0
302.04/302.14 c 201s | 17 | 236750 | 213432 | 15714 21 | 4681 | 0
304.14/304.20 c 203s | 17 | 238963 | 215632 | 15714 22 | 4681 | 0
306.14/306.22 c 205s | 17 | 241580 | 218232 | 15714 22 | 4681 | 0
308.14/308.25 c 207s | 17 | 243999 | 220632 | 15714 22 | 4681 | 0
310.25/310.33 c 209s | 17 | 246332 | 222932 | 15714 22 | 4681 | 0
312.24/312.35 c 211s | 17 | 248135 | 224732 | 15714 23 | 4681 | 0
314.34/314.42 c 213s | 17 | 250350 | 226932 | 15714 23 | 4681 | 0
316.34/316.47 c 215s | 17 | 251056 | 227632 | 15714 23 | 4681 | 0
318.44/318.52 c 217s | 17 | 253363 | 229932 | 15714 23 | 4681 | 0
320.44/320.55 c 219s | 17 | 255675 | 232232 | 15714 23 | 4681 | 0
322.44/322.57 c 221s | 17 | 257895 | 234432 | 15714 23 | 4681 | 0
324.44/324.58 c 223s | 17 | 259808 | 236332 | 15714 24 | 4681 | 0
326.44/326.58 c 225s | 17 | 262315 | 238832 | 15714 24 | 4681 | 0
328.54/328.67 c 227s | 17 | 264623 | 241132 | 15714 24 | 4681 | 0
330.64/330.73 c 230s | 17 | 267034 | 243532 | 15714 24 | 4681 | 0
332.64/332.77 c 232s | 17 | 269245 | 245732 | 15714 24 | 4681 | 0
334.64/334.78 c 234s | 17 | 271462 | 247932 | 15714 25 | 4681 | 0
336.73/336.86 c 236s | 17 | 274077 | 250532 | 15714 25 | 4681 | 0
338.74/338.87 c 238s | 17 | 276597 | 253032 | 15714 25 | 4681 | 0
341.13/341.26 c 240s | 17 | 277409 | 253832 | 15714 25 | 4681 | 0
343.24/343.31 c 242s | 17 | 279816 | 256232 | 15714 25 | 4681 | 0
345.23/345.32 c 244s | 17 | 281733 | 258132 | 15714 26 | 4681 | 0
347.23/347.35 c 246s | 17 | 284136 | 260532 | 15714 26 | 4681 | 0
349.33/349.41 c 248s | 17 | 286456 | 262832 | 15714 26 | 4681 | 0
351.33/351.43 c 250s | 17 | 288675 | 265032 | 15714 26 | 4681 | 0
353.33/353.43 c 252s | 17 | 290888 | 267232 | 15714 26 | 4681 | 0
356.23/356.37 c 255s | 17 | 291616 | 267932 | 15714 26 | 4681 | 0
358.23/358.38 c 257s | 17 | 294014 | 270332 | 15714 27 | 4681 | 0
360.33/360.40 c 259s | 17 | 297036 | 273332 | 15714 27 | 4681 | 0
362.33/362.42 c 261s | 17 | 299751 | 276032 | 15714 27 | 4681 | 0
364.43/364.50 c 263s | 17 | 302175 | 278432 | 15714 27 | 4681 | 0
366.43/366.55 c 265s | 17 | 304382 | 280632 | 15714 28 | 4681 | 0
368.54/368.63 c 267s | 17 | 306802 | 283032 | 15714 28 | 4681 | 0
370.53/370.67 c 269s | 17 | 308905 | 285132 | 15714 28 | 4681 | 0
372.53/372.68 c 271s | 17 | 311032 | 287232 | 15714 28 | 4681 | 0
374.63/374.76 c 274s | 17 | 313147 | 289332 | 15714 28 | 4681 | 0
376.63/376.78 c 276s | 17 | 314862 | 291032 | 15714 29 | 4681 | 0
380.32/380.48 c 279s | 17 | 314963 | 291132 | 15714 29 | 4681 | 0
382.42/382.52 c 281s | 17 | 317587 | 293732 | 15714 29 | 4681 | 0
384.42/384.55 c 283s | 17 | 320119 | 296232 | 17286 29 | 4681 | 0
384.42/384.57 c 283s | 18 | 320141 | 296252 | 17286 29 | 4681 | 0
386.62/386.70 c 285s | 18 | 323270 | 298252 | 17286 29 | 4681 | 0
388.62/388.74 c 288s | 18 | 325583 | 300552 | 17286 29 | 4681 | 0
390.82/390.93 c 290s | 18 | 327396 | 302352 | 17286 30 | 4681 | 0
393.03/393.15 c 292s | 18 | 329007 | 303952 | 17286 30 | 4681 | 0
395.13/395.20 c 294s | 18 | 331321 | 306252 | 17286 30 | 4681 | 0
397.13/397.26 c 296s | 18 | 333739 | 308652 | 17286 30 | 4681 | 0
399.13/399.27 c 298s | 18 | 336070 | 310952 | 17286 30 | 4681 | 0
401.23/401.31 c 300s | 18 | 338181 | 313052 | 17286 30 | 4681 | 0
403.23/403.37 c 302s | 18 | 340099 | 314952 | 17286 31 | 4681 | 0
405.33/405.42 c 304s | 18 | 342512 | 317352 | 17286 31 | 4681 | 0
407.43/407.50 c 306s | 18 | 344030 | 318852 | 17286 31 | 4681 | 0
409.42/409.51 c 308s | 18 | 346035 | 320852 | 17286 31 | 4681 | 0
411.43/411.59 c 310s | 18 | 348153 | 322952 | 17286 31 | 4681 | 0
413.53/413.62 c 312s | 18 | 350052 | 324852 | 17286 31 | 4681 | 0
415.52/415.65 c 314s | 18 | 351882 | 326652 | 17286 32 | 4681 | 0
417.52/417.67 c 316s | 18 | 354102 | 328852 | 17286 32 | 4681 | 0
419.62/419.73 c 319s | 18 | 356634 | 331352 | 17286 32 | 4681 | 0
421.62/421.76 c 321s | 18 | 358954 | 333652 | 17286 32 | 4681 | 0
423.72/423.82 c 323s | 18 | 360960 | 335652 | 17286 32 | 4681 | 0
425.73/425.83 c 325s | 18 | 362772 | 337452 | 17286 33 | 4681 | 0
427.83/427.90 c 327s | 18 | 363678 | 338352 | 17286 33 | 4681 | 0
429.82/429.94 c 329s | 18 | 366090 | 340752 | 17286 33 | 4681 | 0
431.92/432.04 c 331s | 18 | 368518 | 343152 | 17286 33 | 4681 | 0
433.92/434.09 c 333s | 18 | 370432 | 345052 | 17286 33 | 4681 | 0
436.01/436.12 c 335s | 18 | 372539 | 347152 | 17286 33 | 4681 | 0
438.11/438.28 c 337s | 18 | 374057 | 348652 | 17286 34 | 4681 | 0
440.21/440.33 c 339s | 18 | 376183 | 350752 | 17286 34 | 4681 | 0
442.22/442.39 c 341s | 18 | 378790 | 353352 | 17286 34 | 4681 | 0
444.32/444.43 c 343s | 18 | 381110 | 355652 | 17286 34 | 4681 | 0
446.31/446.44 c 345s | 18 | 383323 | 357852 | 17286 34 | 4681 | 0
448.31/448.46 c 347s | 18 | 385441 | 359952 | 17286 34 | 4681 | 0
450.31/450.47 c 349s | 18 | 387372 | 361852 | 17286 35 | 4681 | 0
452.71/452.84 c 352s | 18 | 390012 | 364452 | 17286 35 | 4681 | 0
454.81/454.91 c 354s | 18 | 392362 | 366752 | 17286 35 | 4681 | 0
456.81/456.91 c 356s | 18 | 394471 | 368852 | 17286 35 | 4681 | 0
460.01/460.12 c 359s | 18 | 395676 | 370052 | 17286 35 | 4681 | 0
462.10/462.20 c 361s | 18 | 395980 | 370352 | 17286 35 | 4681 | 0
464.40/464.50 c 363s | 18 | 397387 | 371752 | 17286 36 | 4681 | 0
466.42/466.53 c 365s | 18 | 399201 | 373552 | 17286 36 | 4681 | 0
468.41/468.54 c 367s | 18 | 401606 | 375952 | 17286 36 | 4681 | 0
470.51/470.60 c 369s | 18 | 404021 | 378352 | 17286 36 | 4681 | 0
472.51/472.61 c 371s | 18 | 406232 | 380552 | 17286 36 | 4681 | 0
474.51/474.67 c 373s | 18 | 408436 | 382752 | 17286 36 | 4681 | 0
476.61/476.75 c 376s | 18 | 410449 | 384752 | 17286 37 | 4681 | 0
478.61/478.78 c 378s | 18 | 412762 | 387052 | 17286 37 | 4681 | 0
480.72/480.85 c 380s | 18 | 414972 | 389252 | 17286 37 | 4681 | 0
482.70/482.87 c 382s | 18 | 417180 | 391452 | 17286 37 | 4681 | 0
484.80/484.90 c 384s | 18 | 419189 | 393452 | 17286 37 | 4681 | 0
486.80/486.99 c 386s | 18 | 421293 | 395552 | 17286 38 | 4681 | 0
488.90/489.07 c 388s | 18 | 423701 | 397952 | 17286 38 | 4681 | 0
491.20/491.33 c 390s | 18 | 424815 | 399052 | 17286 38 | 4681 | 0
493.20/493.35 c 392s | 18 | 426019 | 400252 | 17286 38 | 4681 | 0
495.20/495.39 c 394s | 18 | 428439 | 402652 | 17286 38 | 4681 | 0
497.30/497.48 c 396s | 18 | 430658 | 404852 | 17286 38 | 4681 | 0
499.70/499.85 c 399s | 18 | 432469 | 406652 | 17286 39 | 4681 | 0
501.70/501.89 c 401s | 18 | 434777 | 408952 | 17286 39 | 4681 | 0
503.80/503.91 c 403s | 18 | 437089 | 411252 | 17286 39 | 4681 | 0
505.79/505.99 c 405s | 18 | 439307 | 413452 | 17286 39 | 4681 | 0
507.89/508.02 c 407s | 18 | 441621 | 415752 | 17286 39 | 4681 | 0
509.89/510.08 c 409s | 18 | 443746 | 417852 | 17286 39 | 4681 | 0
511.99/512.10 c 411s | 18 | 445555 | 419652 | 17286 40 | 4681 | 0
513.99/514.12 c 413s | 18 | 447565 | 421652 | 17286 40 | 4681 | 0
515.99/516.18 c 415s | 18 | 450082 | 424152 | 17286 40 | 4681 | 0
518.10/518.23 c 417s | 18 | 451995 | 426052 | 17286 40 | 4681 | 0
520.09/520.26 c 419s | 18 | 453901 | 427952 | 17286 40 | 4681 | 0
522.19/522.31 c 421s | 18 | 455811 | 429852 | 17286 41 | 4681 | 0
524.29/524.40 c 423s | 18 | 458034 | 432052 | 17286 41 | 4681 | 0
526.29/526.42 c 425s | 18 | 460147 | 434152 | 17286 41 | 4681 | 0
528.39/528.50 c 427s | 18 | 462644 | 436652 | 17286 41 | 4681 | 0
530.39/530.53 c 429s | 18 | 465264 | 439252 | 17286 41 | 4681 | 0
532.39/532.55 c 431s | 18 | 467693 | 441652 | 19015 41 | 4681 | 0
534.38/534.56 c 433s | 18 | 469402 | 443352 | 19015 42 | 4681 | 0
535.18/535.38 c 434s | 19 | 470535 | 444482 | 19015 42 | 4681 | 0
537.18/537.39 c 436s | 19 | 474077 | 446882 | 19015 42 | 4681 | 0
539.18/539.39 c 438s | 19 | 476490 | 449282 | 19015 42 | 4681 | 0
541.28/541.46 c 440s | 19 | 478907 | 451682 | 19015 42 | 4681 | 0
543.39/543.53 c 442s | 19 | 481119 | 453882 | 19015 42 | 4681 | 0
545.98/546.16 c 445s | 19 | 481526 | 454282 | 19015 42 | 4681 | 0
548.07/548.24 c 447s | 19 | 482333 | 455082 | 19015 42 | 4681 | 0
550.17/550.30 c 449s | 19 | 483942 | 456682 | 19015 43 | 4681 | 0
552.19/552.32 c 451s | 19 | 485755 | 458482 | 19015 43 | 4681 | 0
554.18/554.38 c 453s | 19 | 487268 | 459982 | 19015 43 | 4681 | 0
556.28/556.48 c 455s | 19 | 489678 | 462382 | 19015 43 | 4681 | 0
558.38/558.54 c 457s | 19 | 492000 | 464682 | 19015 43 | 4681 | 0
560.47/560.63 c 459s | 19 | 494218 | 466882 | 19015 43 | 4681 | 0
562.47/562.67 c 461s | 19 | 495720 | 468382 | 19015 44 | 4681 | 0
564.57/564.73 c 464s | 19 | 497933 | 470582 | 19015 44 | 4681 | 0
566.57/566.76 c 466s | 19 | 500547 | 473182 | 19015 44 | 4681 | 0
568.68/568.84 c 468s | 19 | 502962 | 475582 | 19015 44 | 4681 | 0
570.67/570.85 c 470s | 19 | 505277 | 477882 | 19015 44 | 4681 | 0
572.77/572.95 c 472s | 19 | 507592 | 480182 | 19015 44 | 4681 | 0
574.87/575.01 c 474s | 19 | 509705 | 482282 | 19015 45 | 4681 | 0
576.87/577.07 c 476s | 19 | 511117 | 483682 | 19015 45 | 4681 | 0
578.97/579.10 c 478s | 19 | 513137 | 485682 | 19015 45 | 4681 | 0
580.97/581.18 c 480s | 19 | 515339 | 487882 | 19015 45 | 4681 | 0
583.06/583.26 c 482s | 19 | 517349 | 489882 | 19015 45 | 4681 | 0
585.17/585.33 c 484s | 19 | 519357 | 491882 | 19015 45 | 4681 | 0
587.16/587.36 c 486s | 19 | 521174 | 493682 | 19015 46 | 4681 | 0
589.26/589.41 c 488s | 19 | 523289 | 495782 | 19015 46 | 4681 | 0
591.26/591.43 c 490s | 19 | 525699 | 498182 | 19015 46 | 4681 | 0
593.26/593.46 c 492s | 19 | 527806 | 500282 | 19015 46 | 4681 | 0
595.26/595.47 c 494s | 19 | 529816 | 502282 | 19015 46 | 4681 | 0
597.36/597.50 c 496s | 19 | 532027 | 504482 | 19015 46 | 4681 | 0
599.36/599.51 c 498s | 19 | 533636 | 506082 | 19015 47 | 4681 | 0
601.36/601.51 c 500s | 19 | 535955 | 508382 | 19015 47 | 4681 | 0
603.35/603.53 c 502s | 19 | 538381 | 510782 | 19015 47 | 4681 | 0
605.35/605.58 c 504s | 19 | 540703 | 513082 | 19015 47 | 4681 | 0
607.45/607.67 c 506s | 19 | 542546 | 514882 | 19015 47 | 4681 | 0
614.25/614.42 c 513s | 19 | 542647 | 514982 | 19015 47 | 4681 | 0
616.25/616.47 c 515s | 19 | 545156 | 517482 | 19015 47 | 4681 | 0
618.35/618.54 c 517s | 19 | 547480 | 519782 | 19015 48 | 4681 | 0
620.45/620.62 c 519s | 19 | 549496 | 521782 | 19015 48 | 4681 | 0
622.46/622.68 c 521s | 19 | 551526 | 523782 | 19015 48 | 4681 | 0
624.45/624.69 c 523s | 19 | 553658 | 525882 | 19015 48 | 4681 | 0
626.55/626.76 c 526s | 19 | 556276 | 528482 | 19015 48 | 4681 | 0
628.55/628.77 c 528s | 19 | 558608 | 530782 | 19015 49 | 4681 | 0
630.65/630.80 c 530s | 19 | 561136 | 533282 | 19015 49 | 4681 | 0
632.65/632.85 c 532s | 19 | 563800 | 535882 | 19015 49 | 4681 | 0
634.65/634.86 c 534s | 19 | 566234 | 538282 | 19015 49 | 4681 | 0
636.65/636.87 c 536s | 19 | 568245 | 540282 | 19015 49 | 4681 | 0
638.74/638.94 c 538s | 19 | 570371 | 542382 | 19015 49 | 4681 | 0
640.74/640.95 c 540s | 19 | 572278 | 544282 | 19015 50 | 4681 | 0
642.74/642.97 c 542s | 19 | 574802 | 546782 | 19015 50 | 4681 | 0
644.84/645.03 c 544s | 19 | 577225 | 549182 | 19015 50 | 4681 | 0
646.84/647.07 c 546s | 19 | 579445 | 551382 | 19015 50 | 4681 | 0
648.85/649.09 c 548s | 19 | 581353 | 553282 | 19015 50 | 4681 | 0
651.05/651.29 c 550s | 19 | 583474 | 555382 | 19015 51 | 4681 | 0
653.14/653.31 c 552s | 19 | 585603 | 557482 | 19015 51 | 4681 | 0
656.13/656.37 c 555s | 19 | 587107 | 558982 | 19015 51 | 4681 | 0
658.23/658.41 c 557s | 19 | 589424 | 561282 | 19015 51 | 4681 | 0
660.23/660.46 c 559s | 19 | 591533 | 563382 | 19015 51 | 4681 | 0
662.23/662.50 c 561s | 19 | 593536 | 565382 | 19015 51 | 4681 | 0
664.34/664.54 c 563s | 19 | 595546 | 567382 | 19015 51 | 4681 | 0
666.33/666.55 c 565s | 19 | 597058 | 568882 | 19015 52 | 4681 | 0
668.43/668.60 c 567s | 19 | 599571 | 571382 | 19015 52 | 4681 | 0
670.43/670.63 c 569s | 19 | 602005 | 573782 | 19015 52 | 4681 | 0
672.43/672.68 c 571s | 19 | 604414 | 576182 | 19015 52 | 4681 | 0
674.63/674.84 c 574s | 19 | 605827 | 577582 | 19015 52 | 4681 | 0
676.73/676.95 c 576s | 19 | 607936 | 579682 | 19015 52 | 4681 | 0
678.83/679.00 c 578s | 19 | 609649 | 581382 | 19015 53 | 4681 | 0
680.84/681.01 c 580s | 19 | 611765 | 583482 | 19015 53 | 4681 | 0
682.83/683.08 c 582s | 19 | 614074 | 585782 | 19015 53 | 4681 | 0
684.93/685.16 c 584s | 19 | 616289 | 587982 | 19015 53 | 4681 | 0
686.93/687.17 c 586s | 19 | 617600 | 589282 | 19015 53 | 4681 | 0
689.03/689.25 c 588s | 19 | 619713 | 591382 | 19015 53 | 4681 | 0
691.13/691.31 c 590s | 19 | 621221 | 592882 | 19015 54 | 4681 | 0
693.33/693.56 c 592s | 19 | 623043 | 594682 | 19015 54 | 4681 | 0
695.42/695.63 c 594s | 19 | 625446 | 597082 | 19015 54 | 4681 | 0
697.42/697.65 c 596s | 19 | 627163 | 598782 | 19015 54 | 4681 | 0
699.53/699.73 c 599s | 19 | 629283 | 600882 | 19015 54 | 4681 | 0
701.52/701.76 c 601s | 19 | 631301 | 602882 | 19015 54 | 4681 | 0
703.62/703.83 c 603s | 19 | 633412 | 604982 | 19015 54 | 4681 | 0
705.62/705.88 c 605s | 19 | 635435 | 606982 | 19015 55 | 4681 | 0
707.62/707.89 c 607s | 19 | 637649 | 609182 | 19015 55 | 4681 | 0
709.72/709.90 c 609s | 19 | 639960 | 611482 | 19015 55 | 4681 | 0
711.72/711.92 c 611s | 19 | 641873 | 613382 | 19015 55 | 4681 | 0
713.72/713.95 c 613s | 19 | 644089 | 615582 | 19015 55 | 4681 | 0
715.72/715.96 c 615s | 19 | 646106 | 617582 | 19015 55 | 4681 | 0
717.72/717.97 c 617s | 19 | 648118 | 619582 | 19015 56 | 4681 | 0
719.82/720.00 c 619s | 19 | 650440 | 621882 | 19015 56 | 4681 | 0
721.82/722.09 c 621s | 19 | 652852 | 624282 | 19015 56 | 4681 | 0
724.31/724.54 c 623s | 19 | 653554 | 624982 | 19015 56 | 4681 | 0
726.31/726.55 c 625s | 19 | 655571 | 626982 | 19015 56 | 4681 | 0
728.41/728.67 c 627s | 19 | 657681 | 629082 | 19015 56 | 4681 | 0
730.71/730.92 c 630s | 19 | 659584 | 630982 | 19015 57 | 4681 | 0
732.71/732.94 c 632s | 19 | 661593 | 632982 | 19015 57 | 4681 | 0
734.72/734.96 c 634s | 19 | 663810 | 635182 | 19015 57 | 4681 | 0
737.11/737.38 c 636s | 19 | 665822 | 637182 | 19015 57 | 4681 | 0
739.21/739.46 c 638s | 19 | 667930 | 639282 | 19015 57 | 4681 | 0
741.32/741.51 c 640s | 19 | 670034 | 641382 | 19015 57 | 4681 | 0
743.31/743.57 c 642s | 19 | 671643 | 642982 | 19015 58 | 4681 | 0
745.41/745.61 c 644s | 19 | 673853 | 645182 | 19015 58 | 4681 | 0
747.41/747.67 c 646s | 19 | 676575 | 647882 | 19015 58 | 4681 | 0
749.51/749.70 c 648s | 19 | 678579 | 649882 | 19015 58 | 4681 | 0
751.51/751.77 c 651s | 19 | 680690 | 651982 | 19015 58 | 4681 | 0
753.91/754.16 c 653s | 19 | 681188 | 652482 | 19015 58 | 4681 | 0
756.01/756.22 c 655s | 19 | 683195 | 654482 | 19015 58 | 4681 | 0
758.02/758.28 c 657s | 19 | 684003 | 655282 | 19015 59 | 4681 | 0
760.11/760.34 c 659s | 19 | 686213 | 657482 | 19015 59 | 4681 | 0
762.12/762.39 c 661s | 19 | 688427 | 659682 | 19015 59 | 4681 | 0
764.21/764.40 c 663s | 19 | 690635 | 661882 | 19015 59 | 4681 | 0
766.21/766.40 c 665s | 19 | 692761 | 663982 | 20917 59 | 4681 | 0
768.21/768.45 c 667s | 19 | 694763 | 665982 | 20917 59 | 4681 | 0
769.11/769.32 c 668s | 20 | 695611 | 666827 | 20917 59 | 4681 | 0
771.11/771.36 c 670s | 20 | 697944 | 668027 | 20917 59 | 4681 | 0
773.11/773.38 c 672s | 20 | 699654 | 669727 | 20917 60 | 4681 | 0
775.20/775.43 c 674s | 20 | 701771 | 671827 | 20917 60 | 4681 | 0
777.20/777.45 c 676s | 20 | 703586 | 673627 | 20917 60 | 4681 | 0
779.20/779.48 c 678s | 20 | 705698 | 675727 | 20917 60 | 4681 | 0
781.30/781.51 c 680s | 20 | 707831 | 677827 | 20917 60 | 4681 | 0
783.30/783.59 c 682s | 20 | 709645 | 679627 | 20917 60 | 4681 | 0
785.50/785.74 c 685s | 20 | 711156 | 681127 | 20917 60 | 4681 | 0
787.60/787.81 c 687s | 20 | 712763 | 682727 | 20917 60 | 4681 | 0
789.61/789.82 c 689s | 20 | 714180 | 684127 | 20917 61 | 4681 | 0
791.71/791.90 c 691s | 20 | 716078 | 686027 | 20917 61 | 4681 | 0
793.70/793.98 c 693s | 20 | 718186 | 688127 | 20917 61 | 4681 | 0
795.80/796.08 c 695s | 20 | 720302 | 690227 | 20917 61 | 4681 | 0
797.90/798.12 c 697s | 20 | 722333 | 692227 | 20917 61 | 4681 | 0
800.00/800.21 c 699s | 20 | 724260 | 694127 | 20917 61 | 4681 | 0
802.00/802.26 c 701s | 20 | 726179 | 696027 | 20917 61 | 4681 | 0
804.10/804.30 c 703s | 20 | 728001 | 697827 | 20917 62 | 4681 | 0
806.11/806.34 c 705s | 20 | 731863 | 701627 | 20917 62 | 4681 | 0
808.10/808.39 c 707s | 20 | 735620 | 705327 | 20917 62 | 4681 | 0
810.20/810.42 c 709s | 20 | 738756 | 708427 | 20917 62 | 4681 | 0
812.20/812.42 c 711s | 20 | 741087 | 710727 | 20917 63 | 4681 | 0
814.19/814.48 c 713s | 20 | 743911 | 713527 | 20917 63 | 4681 | 0
816.29/816.50 c 715s | 20 | 746627 | 716227 | 20917 63 | 4681 | 0
818.30/818.57 c 717s | 20 | 749457 | 719027 | 20917 63 | 4681 | 0
820.40/820.64 c 719s | 20 | 751879 | 721427 | 20917 63 | 4681 | 0
822.49/822.70 c 721s | 20 | 753815 | 723327 | 20917 64 | 4681 | 0
824.49/824.75 c 724s | 20 | 755740 | 725227 | 20917 64 | 4681 | 0
826.49/826.76 c 726s | 20 | 758262 | 727727 | 20917 64 | 4681 | 0
828.49/828.76 c 728s | 20 | 760382 | 729827 | 20917 64 | 4681 | 0
830.59/830.84 c 730s | 20 | 762811 | 732227 | 20917 64 | 4681 | 0
832.69/832.91 c 732s | 20 | 765038 | 734427 | 20917 64 | 4681 | 0
834.69/834.94 c 734s | 20 | 767280 | 736627 | 20917 64 | 4681 | 0
836.68/836.97 c 736s | 20 | 769301 | 738627 | 20917 65 | 4681 | 0
839.19/839.41 c 738s | 20 | 770010 | 739327 | 20917 65 | 4681 | 0
841.18/841.48 c 740s | 20 | 772428 | 741727 | 20917 65 | 4681 | 0
843.28/843.57 c 742s | 20 | 774750 | 744027 | 20917 65 | 4681 | 0
845.28/845.59 c 744s | 20 | 777182 | 746427 | 20917 65 | 4681 | 0
847.38/847.60 c 746s | 20 | 779204 | 748427 | 20917 65 | 4681 | 0
849.48/849.73 c 749s | 20 | 781031 | 750227 | 20917 66 | 4681 | 0
851.48/851.74 c 751s | 20 | 783449 | 752627 | 20917 66 | 4681 | 0
853.48/853.75 c 753s | 20 | 786473 | 755627 | 20917 66 | 4681 | 0
855.77/856.03 c 755s | 20 | 788490 | 757627 | 20917 66 | 4681 | 0
858.37/858.68 c 757s | 20 | 788985 | 758127 | 20917 66 | 4681 | 0
860.47/860.70 c 759s | 20 | 791604 | 760727 | 20917 66 | 4681 | 0
862.47/862.75 c 762s | 20 | 793824 | 762927 | 20917 66 | 4681 | 0
864.48/864.75 c 764s | 20 | 794746 | 763827 | 20917 67 | 4681 | 0
866.58/866.82 c 766s | 20 | 797605 | 766627 | 20917 67 | 4681 | 0
868.67/868.90 c 768s | 20 | 800024 | 769027 | 20917 67 | 4681 | 0
870.67/870.98 c 770s | 20 | 802452 | 771427 | 20917 67 | 4681 | 0
872.77/873.03 c 772s | 20 | 804789 | 773727 | 20917 67 | 4681 | 0
874.87/875.11 c 774s | 20 | 807228 | 776127 | 20917 67 | 4681 | 0
876.87/877.16 c 776s | 20 | 808431 | 777327 | 20917 68 | 4681 | 0
879.27/879.58 c 778s | 20 | 809533 | 778427 | 20917 68 | 4681 | 0
881.37/881.62 c 780s | 20 | 812154 | 781027 | 20917 68 | 4681 | 0
883.36/883.65 c 782s | 20 | 814593 | 783427 | 20917 68 | 4681 | 0
885.46/885.71 c 784s | 20 | 817119 | 785927 | 20917 68 | 4681 | 0
887.47/887.76 c 787s | 20 | 819435 | 788227 | 20917 68 | 4681 | 0
889.56/889.86 c 789s | 20 | 821548 | 790327 | 20917 68 | 4681 | 0
894.17/894.44 c 793s | 20 | 822855 | 791627 | 20917 69 | 4681 | 0
896.16/896.45 c 795s | 20 | 825570 | 794327 | 20917 69 | 4681 | 0
898.16/898.46 c 797s | 20 | 827977 | 796727 | 20917 69 | 4681 | 0
900.26/900.54 c 799s | 20 | 830405 | 799127 | 20917 69 | 4681 | 0
902.26/902.55 c 801s | 20 | 832628 | 801327 | 20917 69 | 4681 | 0
904.36/904.64 c 803s | 20 | 834943 | 803627 | 20917 69 | 4681 | 0
906.36/906.66 c 805s | 20 | 837069 | 805727 | 20917 70 | 4681 | 0
908.36/908.69 c 807s | 20 | 839388 | 808027 | 20917 70 | 4681 | 0
910.46/910.77 c 810s | 20 | 842014 | 810627 | 20917 70 | 4681 | 0
912.56/912.80 c 812s | 20 | 844535 | 813127 | 20917 70 | 4681 | 0
914.55/914.84 c 814s | 20 | 846847 | 815427 | 20917 70 | 4681 | 0
916.55/916.85 c 816s | 20 | 848666 | 817227 | 20917 70 | 4681 | 0
918.56/918.89 c 818s | 20 | 850790 | 819327 | 20917 71 | 4681 | 0
920.57/920.90 c 820s | 20 | 853413 | 821927 | 20917 71 | 4681 | 0
922.56/922.90 c 822s | 20 | 856345 | 824827 | 20917 71 | 4681 | 0
926.86/927.19 c 826s | 20 | 856553 | 825027 | 20917 71 | 4681 | 0
928.96/929.22 c 828s | 20 | 859270 | 827727 | 20917 71 | 4681 | 0
931.35/931.62 c 830s | 20 | 859378 | 827827 | 20917 71 | 4681 | 0
933.35/933.70 c 832s | 20 | 862193 | 830627 | 20917 71 | 4681 | 0
935.45/935.71 c 834s | 20 | 864119 | 832527 | 20917 72 | 4681 | 0
937.45/937.73 c 837s | 20 | 866732 | 835127 | 20917 72 | 4681 | 0
939.55/939.81 c 839s | 20 | 869043 | 837427 | 20917 72 | 4681 | 0
941.55/941.89 c 841s | 20 | 871276 | 839627 | 20917 72 | 4681 | 0
943.65/943.94 c 843s | 20 | 873480 | 841827 | 20917 72 | 4681 | 0
945.75/946.00 c 845s | 20 | 875583 | 843927 | 20917 72 | 4681 | 0
947.84/948.18 c 847s | 20 | 877508 | 845827 | 20917 73 | 4681 | 0
949.84/950.19 c 849s | 20 | 880025 | 848327 | 20917 73 | 4681 | 0
951.94/952.23 c 851s | 20 | 882541 | 850827 | 20917 73 | 4681 | 0
953.94/954.27 c 853s | 20 | 884661 | 852927 | 20917 73 | 4681 | 0
955.94/956.29 c 855s | 20 | 886772 | 855027 | 20917 73 | 4681 | 0
958.04/958.34 c 857s | 20 | 888888 | 857127 | 20917 73 | 4681 | 0
960.04/960.39 c 859s | 20 | 890392 | 858627 | 20917 74 | 4681 | 0
962.13/962.43 c 861s | 20 | 893135 | 861327 | 20917 74 | 4681 | 0
964.13/964.44 c 863s | 20 | 895640 | 863827 | 20917 74 | 4681 | 0
966.23/966.52 c 865s | 20 | 897853 | 866027 | 20917 74 | 4681 | 0
968.33/968.62 c 867s | 20 | 899864 | 868027 | 20917 74 | 4681 | 0
970.33/970.66 c 869s | 20 | 902583 | 870727 | 20917 74 | 4681 | 0
972.43/972.70 c 871s | 20 | 904606 | 872727 | 20917 75 | 4681 | 0
974.94/975.23 c 874s | 20 | 904809 | 872927 | 20917 75 | 4681 | 0
977.04/977.31 c 876s | 20 | 906522 | 874627 | 20917 75 | 4681 | 0
979.04/979.32 c 878s | 20 | 909039 | 877127 | 20917 75 | 4681 | 0
981.04/981.34 c 880s | 20 | 911873 | 879927 | 20917 75 | 4681 | 0
983.03/983.36 c 882s | 20 | 914494 | 882527 | 20917 75 | 4681 | 0
985.03/985.37 c 884s | 20 | 916415 | 884427 | 20917 76 | 4681 | 0
987.03/987.39 c 886s | 20 | 919071 | 887027 | 20917 76 | 4681 | 0
989.13/989.43 c 888s | 20 | 921602 | 889527 | 20917 76 | 4681 | 0
991.23/991.53 c 890s | 20 | 924033 | 891927 | 20917 76 | 4681 | 0
993.33/993.60 c 892s | 20 | 926259 | 894127 | 20917 76 | 4681 | 0
995.34/995.65 c 894s | 20 | 928374 | 896227 | 20917 76 | 4681 | 0
997.63/997.92 c 897s | 20 | 930313 | 898127 | 20917 77 | 4681 | 0
999.64/999.96 c 899s | 20 | 932823 | 900627 | 20917 77 | 4681 | 0
1001.63/1001.98 c 901s | 20 | 935648 | 903427 | 20917 77 | 4681 | 0
1003.63/1003.99 c 903s | 20 | 937773 | 905527 | 20917 77 | 4681 | 0
1005.73/1006.01 c 905s | 20 | 939910 | 907627 | 20917 77 | 4681 | 0
1007.83/1008.11 c 907s | 20 | 941818 | 909527 | 20917 77 | 4681 | 0
1009.82/1010.15 c 909s | 20 | 943533 | 911227 | 20917 78 | 4681 | 0
1011.83/1012.15 c 911s | 20 | 945643 | 913327 | 20917 78 | 4681 | 0
1013.82/1014.20 c 913s | 20 | 948087 | 915727 | 20917 78 | 4681 | 0
1015.92/1016.20 c 915s | 20 | 950707 | 918327 | 20917 78 | 4681 | 0
1017.92/1018.28 c 917s | 20 | 953017 | 920627 | 20917 78 | 4681 | 0
1024.31/1024.67 c 923s | 20 | 953722 | 921327 | 20917 78 | 4681 | 0
1027.32/1027.61 c 926s | 20 | 953820 | 921427 | 20917 78 | 4681 | 0
1029.42/1029.70 c 928s | 20 | 955833 | 923427 | 20917 78 | 4681 | 0
1031.42/1031.76 c 931s | 20 | 956735 | 924327 | 20917 78 | 4681 | 0
1033.51/1033.82 c 933s | 20 | 958750 | 926327 | 20917 79 | 4681 | 0
1035.51/1035.87 c 935s | 20 | 961318 | 928827 | 20917 79 | 4681 | 0
1037.81/1038.11 c 937s | 20 | 962929 | 930427 | 20917 79 | 4681 | 0
1039.81/1040.11 c 939s | 20 | 965245 | 932727 | 20917 79 | 4681 | 0
1041.81/1042.11 c 941s | 20 | 967478 | 934927 | 20917 79 | 4681 | 0
1043.81/1044.16 c 943s | 20 | 969920 | 937327 | 20917 79 | 4681 | 0
1045.82/1046.19 c 945s | 20 | 972060 | 939427 | 20917 80 | 4681 | 0
1047.91/1048.23 c 947s | 20 | 974284 | 941627 | 20917 80 | 4681 | 0
1050.01/1050.30 c 949s | 20 | 976417 | 943727 | 20917 80 | 4681 | 0
1052.01/1052.34 c 951s | 20 | 978631 | 945927 | 20917 80 | 4681 | 0
1054.01/1054.38 c 953s | 20 | 980936 | 948227 | 20917 80 | 4681 | 0
1056.11/1056.44 c 955s | 20 | 983374 | 950627 | 20917 80 | 4681 | 0
1058.11/1058.46 c 957s | 20 | 984883 | 952127 | 20917 81 | 4681 | 0
1060.21/1060.51 c 959s | 20 | 987326 | 954527 | 20917 81 | 4681 | 0
1062.20/1062.55 c 961s | 20 | 989748 | 956927 | 20917 81 | 4681 | 0
1064.20/1064.59 c 963s | 20 | 992072 | 959227 | 20917 81 | 4681 | 0
1066.30/1066.60 c 965s | 20 | 994605 | 961727 | 20917 81 | 4681 | 0
1068.30/1068.64 c 967s | 20 | 996829 | 963927 | 20917 81 | 4681 | 0
1070.30/1070.69 c 969s | 20 | 998844 | 965927 | 20917 82 | 4681 | 0
1072.31/1072.69 c 971s | 20 | 1001164 | 968227 | 20917 82 | 4681 | 0
1074.30/1074.70 c 973s | 20 | 1003277 | 970327 | 20917 82 | 4681 | 0
1076.40/1076.73 c 976s | 20 | 1005386 | 972427 | 20917 82 | 4681 | 0
1078.40/1078.78 c 978s | 20 | 1007392 | 974427 | 20917 82 | 4681 | 0
1080.50/1080.82 c 980s | 20 | 1009825 | 976827 | 20917 82 | 4681 | 0
1082.50/1082.82 c 982s | 20 | 1011731 | 978727 | 20917 83 | 4681 | 0
1084.90/1085.27 c 984s | 20 | 1012947 | 979927 | 20917 83 | 4681 | 0
1087.50/1087.80 c 987s | 20 | 1013152 | 980127 | 20917 83 | 4681 | 0
1089.50/1089.86 c 989s | 20 | 1015865 | 982827 | 20917 83 | 4681 | 0
1091.50/1091.88 c 991s | 20 | 1017991 | 984927 | 20917 83 | 4681 | 0
1093.60/1093.90 c 993s | 20 | 1020104 | 987027 | 20917 83 | 4681 | 0
1095.60/1095.97 c 995s | 20 | 1022451 | 989327 | 20917 83 | 4681 | 0
1097.70/1098.06 c 997s | 20 | 1024685 | 991527 | 20917 83 | 4681 | 0
1099.81/1100.13 c 999s | 20 | 1026698 | 993527 | 23009 84 | 4681 | 0
1101.80/1102.17 c 1001s | 20 | 1028906 | 995727 | 23009 84 | 4681 | 0
1103.90/1104.23 c 1003s | 20 | 1031330 | 998127 | 23009 84 | 4681 | 0
1105.80/1106.16 c 1005s | 21 | 1033573 | 1000345 | 23009 84 | 4681 | 0
1109.30/1109.68 c 1008s | 21 | 1034898 | 1000545 | 23009 84 | 4681 | 0
1111.40/1111.73 c 1011s | 21 | 1036303 | 1001945 | 23009 84 | 4681 | 0
1113.39/1113.74 c 1013s | 21 | 1038416 | 1004045 | 23009 84 | 4681 | 0
1115.39/1115.75 c 1015s | 21 | 1040340 | 1005945 | 23009 84 | 4681 | 0
1117.49/1117.85 c 1017s | 21 | 1042136 | 1007745 | 23009 85 | 4681 | 0
1119.50/1119.89 c 1019s | 21 | 1044761 | 1010345 | 23009 85 | 4681 | 0
1121.59/1121.90 c 1021s | 21 | 1046871 | 1012445 | 23009 85 | 4681 | 0
1123.69/1124.03 c 1023s | 21 | 1048489 | 1014045 | 23009 85 | 4681 | 0
1125.69/1126.05 c 1025s | 21 | 1050603 | 1016145 | 23009 85 | 4681 | 0
1127.79/1128.10 c 1027s | 21 | 1052710 | 1018245 | 23009 85 | 4681 | 0
1129.79/1130.18 c 1029s | 21 | 1054832 | 1020345 | 23009 85 | 4681 | 0
1132.00/1132.38 c 1031s | 21 | 1056431 | 1021945 | 23009 86 | 4681 | 0
1134.10/1134.45 c 1033s | 21 | 1059061 | 1024545 | 23009 86 | 4681 | 0
1136.11/1136.47 c 1035s | 21 | 1061374 | 1026845 | 23009 86 | 4681 | 0
1138.21/1138.54 c 1037s | 21 | 1063701 | 1029145 | 23009 86 | 4681 | 0
1140.30/1140.60 c 1039s | 21 | 1065808 | 1031245 | 23009 86 | 4681 | 0
1142.30/1142.65 c 1041s | 21 | 1068038 | 1033445 | 23009 86 | 4681 | 0
1144.40/1144.70 c 1043s | 21 | 1070054 | 1035445 | 23009 86 | 4681 | 0
1146.40/1146.73 c 1046s | 21 | 1072068 | 1037445 | 23009 87 | 4681 | 0
1148.40/1148.74 c 1048s | 21 | 1074192 | 1039545 | 23009 87 | 4681 | 0
1150.50/1150.83 c 1050s | 21 | 1076507 | 1041845 | 23009 87 | 4681 | 0
1152.50/1152.84 c 1052s | 21 | 1078730 | 1044045 | 23009 87 | 4681 | 0
1154.60/1154.94 c 1054s | 21 | 1080753 | 1046045 | 23009 87 | 4681 | 0
1156.60/1156.98 c 1056s | 21 | 1082858 | 1048145 | 23009 87 | 4681 | 0
1158.70/1159.01 c 1058s | 21 | 1084671 | 1049945 | 23009 87 | 4681 | 0
1160.70/1161.08 c 1060s | 21 | 1086476 | 1051745 | 23009 88 | 4681 | 0
1162.90/1163.23 c 1062s | 21 | 1088684 | 1053945 | 23009 88 | 4681 | 0
1164.99/1165.30 c 1064s | 21 | 1090901 | 1056145 | 23009 88 | 4681 | 0
1169.69/1170.01 c 1069s | 21 | 1093032 | 1058245 | 23009 88 | 4681 | 0
1171.69/1172.03 c 1071s | 21 | 1093933 | 1059145 | 23009 88 | 4681 | 0
1173.69/1174.09 c 1073s | 21 | 1096246 | 1061445 | 23009 88 | 4681 | 0
1178.49/1178.87 c 1078s | 21 | 1097868 | 1063045 | 23009 88 | 4681 | 0
1180.49/1180.87 c 1080s | 21 | 1099871 | 1065045 | 23009 88 | 4681 | 0
1182.49/1182.88 c 1082s | 21 | 1101580 | 1066745 | 23009 89 | 4681 | 0
1184.58/1184.94 c 1084s | 21 | 1103594 | 1068745 | 23009 89 | 4681 | 0
1186.59/1186.96 c 1086s | 21 | 1106024 | 1071145 | 23009 89 | 4681 | 0
1188.68/1189.00 c 1088s | 21 | 1108027 | 1073145 | 23009 89 | 4681 | 0
1190.68/1191.07 c 1090s | 21 | 1110237 | 1075345 | 23009 89 | 4681 | 0
1192.78/1193.11 c 1092s | 21 | 1112261 | 1077345 | 23009 89 | 4681 | 0
1194.78/1195.19 c 1094s | 21 | 1114487 | 1079545 | 23009 89 | 4681 | 0
1196.88/1197.20 c 1096s | 21 | 1116810 | 1081845 | 23009 90 | 4681 | 0
1198.88/1199.23 c 1098s | 21 | 1119425 | 1084445 | 23009 90 | 4681 | 0
1200.88/1201.27 c 1100s | 21 | 1121948 | 1086945 | 23009 90 | 4681 | 0
1202.97/1203.35 c 1102s | 21 | 1124469 | 1089445 | 23009 90 | 4681 | 0
1205.07/1205.40 c 1104s | 21 | 1126587 | 1091545 | 23009 90 | 4681 | 0
1207.07/1207.44 c 1106s | 21 | 1128599 | 1093545 | 23009 90 | 4681 | 0
1209.17/1209.52 c 1108s | 21 | 1130010 | 1094945 | 23009 91 | 4681 | 0
1211.17/1211.58 c 1110s | 21 | 1132424 | 1097345 | 23009 91 | 4681 | 0
1213.27/1213.63 c 1112s | 21 | 1134945 | 1099845 | 23009 91 | 4681 | 0
1215.37/1215.71 c 1114s | 21 | 1137148 | 1102045 | 23009 91 | 4681 | 0
1217.38/1217.75 c 1117s | 21 | 1139065 | 1103945 | 23009 91 | 4681 | 0
1219.47/1219.81 c 1119s | 21 | 1140785 | 1105645 | 23009 91 | 4681 | 0
1221.47/1221.85 c 1121s | 21 | 1142492 | 1107345 | 23009 91 | 4681 | 0
1224.16/1224.51 c 1123s | 21 | 1143901 | 1108745 | 23009 92 | 4681 | 0
1226.17/1226.60 c 1125s | 21 | 1146210 | 1111045 | 23009 92 | 4681 | 0
1228.96/1229.34 c 1128s | 21 | 1148013 | 1112845 | 23009 92 | 4681 | 0
1230.96/1231.37 c 1130s | 21 | 1150139 | 1114945 | 23009 92 | 4681 | 0
1232.96/1233.38 c 1132s | 21 | 1152356 | 1117145 | 23009 92 | 4681 | 0
1235.06/1235.45 c 1134s | 21 | 1154381 | 1119145 | 23009 92 | 4681 | 0
1237.16/1237.55 c 1136s | 21 | 1156293 | 1121045 | 23009 92 | 4681 | 0
1239.25/1239.61 c 1138s | 21 | 1158214 | 1122945 | 23009 92 | 4681 | 0
1242.67/1243.03 c 1142s | 21 | 1159231 | 1123945 | 23009 93 | 4681 | 0
1244.66/1245.08 c 1144s | 21 | 1162051 | 1126745 | 23009 93 | 4681 | 0
1246.76/1247.14 c 1146s | 21 | 1164579 | 1129245 | 23009 93 | 4681 | 0
1248.86/1249.21 c 1148s | 21 | 1166799 | 1131445 | 23009 93 | 4681 | 0
1250.96/1251.30 c 1150s | 21 | 1169006 | 1133645 | 23009 93 | 4681 | 0
1252.96/1253.34 c 1152s | 21 | 1170918 | 1135545 | 23009 93 | 4681 | 0
1255.46/1255.82 c 1155s | 21 | 1172937 | 1137545 | 23009 94 | 4681 | 0
1257.56/1257.99 c 1157s | 21 | 1175154 | 1139745 | 23009 94 | 4681 | 0
1259.56/1259.99 c 1159s | 21 | 1177276 | 1141845 | 23009 94 | 4681 | 0
1261.66/1262.02 c 1161s | 21 | 1179487 | 1144045 | 23009 94 | 4681 | 0
1263.66/1264.09 c 1163s | 21 | 1181505 | 1146045 | 23009 94 | 4681 | 0
1265.76/1266.20 c 1165s | 21 | 1183414 | 1147945 | 23009 94 | 4681 | 0
1267.96/1268.31 c 1167s | 21 | 1185226 | 1149745 | 23009 94 | 4681 | 0
1269.96/1270.31 c 1169s | 21 | 1187039 | 1151545 | 23009 94 | 4681 | 0
1272.26/1272.66 c 1171s | 21 | 1189048 | 1153545 | 23009 95 | 4681 | 0
1274.36/1274.71 c 1173s | 21 | 1191156 | 1155645 | 23009 95 | 4681 | 0
1283.85/1284.24 c 1183s | 21 | 1192785 | 1157245 | 23009 95 | 4681 | 0
1285.95/1286.31 c 1185s | 21 | 1195007 | 1159445 | 23009 95 | 4681 | 0
1287.95/1288.32 c 1187s | 21 | 1197214 | 1161645 | 23009 95 | 4681 | 0
1289.96/1290.35 c 1189s | 21 | 1199547 | 1163945 | 23009 95 | 4681 | 0
1292.05/1292.46 c 1191s | 21 | 1201554 | 1165945 | 23009 95 | 4681 | 0
1294.05/1294.47 c 1193s | 21 | 1202463 | 1166845 | 23009 96 | 4681 | 0
1296.05/1296.48 c 1195s | 21 | 1204371 | 1168745 | 23009 96 | 4681 | 0
1298.15/1298.51 c 1197s | 21 | 1206682 | 1171045 | 23009 96 | 4681 | 0
1303.45/1303.81 c 1203s | 21 | 1207791 | 1172145 | 23009 96 | 4681 | 0
1305.46/1305.87 c 1205s | 21 | 1209907 | 1174245 | 23009 96 | 4681 | 0
1307.56/1307.93 c 1207s | 21 | 1212120 | 1176445 | 23009 96 | 4681 | 0
1309.55/1309.94 c 1209s | 21 | 1214228 | 1178545 | 23009 96 | 4681 | 0
1311.55/1311.99 c 1211s | 21 | 1216429 | 1180745 | 23009 96 | 4681 | 0
1313.85/1314.24 c 1213s | 21 | 1218344 | 1182645 | 23009 97 | 4681 | 0
1315.85/1316.26 c 1215s | 21 | 1220557 | 1184845 | 23009 97 | 4681 | 0
1317.95/1318.31 c 1217s | 21 | 1222982 | 1187245 | 23009 97 | 4681 | 0
1319.95/1320.35 c 1219s | 21 | 1225411 | 1189645 | 23009 97 | 4681 | 0
1321.96/1322.37 c 1221s | 21 | 1227522 | 1191745 | 23009 97 | 4681 | 0
1323.95/1324.37 c 1223s | 21 | 1229757 | 1193945 | 23009 97 | 4681 | 0
1325.95/1326.39 c 1225s | 21 | 1231461 | 1195645 | 23009 98 | 4681 | 0
1328.05/1328.47 c 1227s | 21 | 1233676 | 1197845 | 23009 98 | 4681 | 0
1330.05/1330.49 c 1229s | 21 | 1235686 | 1199845 | 23009 98 | 4681 | 0
1332.15/1332.51 c 1231s | 21 | 1237894 | 1202045 | 23009 98 | 4681 | 0
1334.15/1334.58 c 1233s | 21 | 1239910 | 1204045 | 23009 98 | 4681 | 0
1336.25/1336.66 c 1235s | 21 | 1241927 | 1206045 | 23009 98 | 4681 | 0
1338.24/1338.69 c 1237s | 21 | 1243742 | 1207845 | 23009 98 | 4681 | 0
1340.34/1340.76 c 1240s | 21 | 1245552 | 1209645 | 23009 98 | 4681 | 0
1342.34/1342.78 c 1242s | 21 | 1247095 | 1211145 | 23009 99 | 4681 | 0
1344.44/1344.82 c 1244s | 21 | 1249538 | 1213545 | 23009 99 | 4681 | 0
1346.54/1346.91 c 1246s | 21 | 1251550 | 1215545 | 23009 99 | 4681 | 0
1349.94/1350.31 c 1249s | 21 | 1251652 | 1215645 | 23009 99 | 4681 | 0
1351.94/1352.37 c 1251s | 21 | 1253462 | 1217445 | 23009 99 | 4681 | 0
1353.94/1354.38 c 1253s | 21 | 1255780 | 1219745 | 23009 99 | 4681 | 0
1355.94/1356.40 c 1255s | 21 | 1257789 | 1221745 | 23009 99 | 4681 | 0
1358.04/1358.45 c 1257s | 21 | 1260008 | 1223945 | 23009 99 | 4681 | 0
1360.04/1360.48 c 1259s | 21 | 1261315 | 1225245 | 23009 100 | 4681 | 0
1362.14/1362.51 c 1261s | 21 | 1263528 | 1227445 | 23009 100 | 4681 | 0
1364.13/1364.56 c 1263s | 21 | 1265435 | 1229345 | 23009 100 | 4681 | 0
1366.23/1366.61 c 1265s | 21 | 1267747 | 1231645 | 23009 100 | 4681 | 0
1368.23/1368.68 c 1267s | 21 | 1269662 | 1233545 | 23009 100 | 4681 | 0
1370.34/1370.77 c 1270s | 21 | 1271559 | 1235445 | 23009 100 | 4681 | 0
1372.44/1372.85 c 1272s | 21 | 1273577 | 1237445 | 23009 100 | 4681 | 0
1374.53/1374.91 c 1274s | 21 | 1275185 | 1239045 | 23009 101 | 4681 | 0
1376.53/1376.98 c 1276s | 21 | 1277202 | 1241045 | 23009 101 | 4681 | 0
1378.63/1379.03 c 1278s | 21 | 1279301 | 1243145 | 23009 101 | 4681 | 0
1380.73/1381.13 c 1280s | 21 | 1281206 | 1245045 | 23009 101 | 4681 | 0
1382.73/1383.18 c 1282s | 21 | 1283215 | 1247045 | 23009 101 | 4681 | 0
1384.83/1385.26 c 1284s | 21 | 1285021 | 1248845 | 23009 101 | 4681 | 0
1386.93/1387.35 c 1286s | 21 | 1286840 | 1250645 | 23009 101 | 4681 | 0
1388.94/1389.37 c 1288s | 21 | 1288649 | 1252445 | 23009 101 | 4681 | 0
1391.04/1391.47 c 1290s | 21 | 1289154 | 1252945 | 23009 101 | 4681 | 0
1393.14/1393.56 c 1292s | 21 | 1290367 | 1254145 | 23009 102 | 4681 | 0
1395.24/1395.61 c 1294s | 21 | 1292586 | 1256345 | 23009 102 | 4681 | 0
1397.24/1397.63 c 1296s | 21 | 1294791 | 1258545 | 23009 102 | 4681 | 0
1399.24/1399.66 c 1298s | 21 | 1296904 | 1260645 | 23009 102 | 4681 | 0
1401.24/1401.67 c 1300s | 21 | 1298314 | 1262045 | 23009 102 | 4681 | 0
1403.34/1403.71 c 1302s | 21 | 1300215 | 1263945 | 23009 102 | 4681 | 0
1405.34/1405.73 c 1305s | 21 | 1302025 | 1265745 | 23009 102 | 4681 | 0
1407.34/1407.79 c 1307s | 21 | 1303727 | 1267445 | 23009 102 | 4681 | 0
1409.44/1409.80 c 1309s | 21 | 1305433 | 1269145 | 23009 103 | 4681 | 0
1411.44/1411.88 c 1311s | 21 | 1307346 | 1271045 | 23009 103 | 4681 | 0
1414.03/1414.45 c 1313s | 21 | 1308655 | 1272345 | 23009 103 | 4681 | 0
1416.13/1416.56 c 1315s | 21 | 1310759 | 1274445 | 23009 103 | 4681 | 0
1418.23/1418.66 c 1317s | 21 | 1312769 | 1276445 | 23009 103 | 4681 | 0
1420.33/1420.74 c 1320s | 21 | 1314892 | 1278545 | 23009 103 | 4681 | 0
1422.43/1422.86 c 1322s | 21 | 1316913 | 1280545 | 23009 103 | 4681 | 0
1424.83/1425.20 c 1324s | 21 | 1318616 | 1282245 | 23009 104 | 4681 | 0
1426.83/1427.24 c 1326s | 21 | 1320641 | 1284245 | 23009 104 | 4681 | 0
1429.64/1430.03 c 1329s | 21 | 1322259 | 1285845 | 23009 104 | 4681 | 0
1431.73/1432.12 c 1331s | 21 | 1324168 | 1287745 | 23009 104 | 4681 | 0
1433.73/1434.12 c 1333s | 21 | 1326282 | 1289845 | 23009 104 | 4681 | 0
1435.73/1436.12 c 1335s | 21 | 1328292 | 1291845 | 23009 104 | 4681 | 0
1437.73/1438.16 c 1337s | 21 | 1330112 | 1293645 | 23009 104 | 4681 | 0
1439.73/1440.19 c 1339s | 21 | 1332016 | 1295545 | 23009 104 | 4681 | 0
1441.84/1442.25 c 1341s | 21 | 1333431 | 1296945 | 23009 105 | 4681 | 0
1446.13/1446.51 c 1345s | 21 | 1335135 | 1298645 | 23009 105 | 4681 | 0
1448.12/1448.58 c 1347s | 21 | 1335246 | 1298745 | 23009 105 | 4681 | 0
1450.22/1450.63 c 1349s | 21 | 1337745 | 1301245 | 23009 105 | 4681 | 0
1452.32/1452.71 c 1351s | 21 | 1340262 | 1303745 | 23009 105 | 4681 | 0
1454.32/1454.71 c 1353s | 21 | 1342572 | 1306045 | 23009 105 | 4681 | 0
1456.32/1456.75 c 1356s | 21 | 1344682 | 1308145 | 23009 105 | 4681 | 0
1458.42/1458.83 c 1358s | 21 | 1346894 | 1310345 | 23009 105 | 4681 | 0
1460.43/1460.86 c 1360s | 21 | 1348610 | 1312045 | 23009 106 | 4681 | 0
1462.52/1462.90 c 1362s | 21 | 1350719 | 1314145 | 23009 106 | 4681 | 0
1464.62/1465.01 c 1364s | 21 | 1353041 | 1316445 | 23009 106 | 4681 | 0
1466.72/1467.10 c 1366s | 21 | 1355156 | 1318545 | 23009 106 | 4681 | 0
1468.72/1469.13 c 1368s | 21 | 1357076 | 1320445 | 23009 106 | 4681 | 0
1470.72/1471.20 c 1370s | 21 | 1359092 | 1322445 | 23009 106 | 4681 | 0
1472.92/1473.32 c 1372s | 21 | 1361100 | 1324445 | 23009 106 | 4681 | 0
1474.92/1475.38 c 1374s | 21 | 1362810 | 1326145 | 23009 107 | 4681 | 0
1477.02/1477.41 c 1376s | 21 | 1364818 | 1328145 | 23009 107 | 4681 | 0
1479.02/1479.47 c 1378s | 21 | 1367039 | 1330345 | 23009 107 | 4681 | 0
1481.12/1481.54 c 1380s | 21 | 1368954 | 1332245 | 23009 107 | 4681 | 0
1483.12/1483.56 c 1382s | 21 | 1370857 | 1334145 | 23009 107 | 4681 | 0
1485.22/1485.61 c 1384s | 21 | 1372775 | 1336045 | 23009 107 | 4681 | 0
1487.22/1487.68 c 1386s | 21 | 1374695 | 1337945 | 23009 107 | 4681 | 0
1489.32/1489.72 c 1389s | 21 | 1376507 | 1339745 | 23009 107 | 4681 | 0
1491.42/1491.86 c 1391s | 21 | 1377919 | 1341145 | 23009 108 | 4681 | 0
1493.52/1493.95 c 1393s | 21 | 1378825 | 1342045 | 23009 108 | 4681 | 0
1495.51/1495.97 c 1395s | 21 | 1380936 | 1344145 | 23009 108 | 4681 | 0
1497.61/1498.04 c 1397s | 21 | 1383142 | 1346345 | 23009 108 | 4681 | 0
1499.71/1500.12 c 1399s | 21 | 1385159 | 1348345 | 23009 108 | 4681 | 0
1501.71/1502.18 c 1401s | 21 | 1387068 | 1350245 | 23009 108 | 4681 | 0
1503.81/1504.24 c 1403s | 21 | 1388978 | 1352145 | 23009 108 | 4681 | 0
1505.81/1506.29 c 1405s | 21 | 1390608 | 1353745 | 23009 108 | 4681 | 0
1507.91/1508.39 c 1407s | 21 | 1392216 | 1355345 | 23009 109 | 4681 | 0
1510.02/1510.46 c 1409s | 21 | 1394129 | 1357245 | 23009 109 | 4681 | 0
1512.01/1512.50 c 1411s | 21 | 1396141 | 1359245 | 23009 109 | 4681 | 0
1514.11/1514.54 c 1413s | 21 | 1398050 | 1361145 | 23009 109 | 4681 | 0
1516.21/1516.61 c 1415s | 21 | 1399661 | 1362745 | 23009 109 | 4681 | 0
1520.62/1521.05 c 1420s | 21 | 1400470 | 1363545 | 23009 109 | 4681 | 0
1522.62/1523.09 c 1422s | 21 | 1402476 | 1365545 | 23009 109 | 4681 | 0
1524.82/1525.21 c 1424s | 21 | 1403885 | 1366945 | 23009 109 | 4681 | 0
1526.82/1527.21 c 1426s | 21 | 1405495 | 1368545 | 23009 109 | 4681 | 0
1529.12/1529.51 c 1428s | 21 | 1406204 | 1369245 | 23009 110 | 4681 | 0
1531.22/1531.62 c 1430s | 21 | 1408315 | 1371345 | 23009 110 | 4681 | 0
1533.21/1533.67 c 1432s | 21 | 1410328 | 1373345 | 23009 110 | 4681 | 0
1535.91/1536.37 c 1435s | 21 | 1411945 | 1374945 | 23009 110 | 4681 | 0
1538.01/1538.41 c 1437s | 21 | 1414263 | 1377245 | 23009 110 | 4681 | 0
1540.01/1540.47 c 1439s | 21 | 1416580 | 1379545 | 23009 110 | 4681 | 0
1542.11/1542.54 c 1441s | 21 | 1418706 | 1381645 | 23009 110 | 4681 | 0
1544.31/1544.78 c 1444s | 21 | 1420618 | 1383545 | 23009 111 | 4681 | 0
1546.41/1546.82 c 1446s | 21 | 1422446 | 1385345 | 23009 111 | 4681 | 0
1548.71/1549.12 c 1448s | 21 | 1424468 | 1387345 | 23009 111 | 4681 | 0
1550.71/1551.12 c 1450s | 21 | 1426401 | 1389245 | 23009 111 | 4681 | 0
1552.71/1553.20 c 1452s | 21 | 1428813 | 1391645 | 23009 111 | 4681 | 0
1554.81/1555.25 c 1454s | 21 | 1430943 | 1393745 | 23009 111 | 4681 | 0
1556.81/1557.27 c 1456s | 21 | 1432860 | 1395645 | 23009 111 | 4681 | 0
1558.81/1559.29 c 1458s | 21 | 1434676 | 1397445 | 23009 111 | 4681 | 0
1560.90/1561.36 c 1460s | 21 | 1435881 | 1398645 | 23009 112 | 4681 | 0
1563.00/1563.45 c 1462s | 21 | 1438111 | 1400845 | 23009 112 | 4681 | 0
1565.01/1565.47 c 1464s | 21 | 1440127 | 1402845 | 23009 112 | 4681 | 0
1567.11/1567.52 c 1466s | 21 | 1441956 | 1404645 | 23009 112 | 4681 | 0
1569.10/1569.52 c 1468s | 21 | 1443855 | 1406545 | 23009 112 | 4681 | 0
1571.11/1571.59 c 1470s | 21 | 1445268 | 1407945 | 23009 112 | 4681 | 0
1573.21/1573.68 c 1472s | 21 | 1447197 | 1409845 | 23009 112 | 4681 | 0
1575.31/1575.71 c 1474s | 21 | 1448905 | 1411545 | 23009 112 | 4681 | 0
1577.31/1577.74 c 1477s | 21 | 1450213 | 1412845 | 23009 113 | 4681 | 0
1579.32/1579.77 c 1479s | 21 | 1452319 | 1414945 | 23009 113 | 4681 | 0
1581.42/1581.82 c 1481s | 21 | 1454138 | 1416745 | 23009 113 | 4681 | 0
1583.41/1583.88 c 1483s | 21 | 1455446 | 1418045 | 23009 113 | 4681 | 0
1585.51/1585.96 c 1485s | 21 | 1457471 | 1420045 | 23009 113 | 4681 | 0
1587.61/1588.06 c 1487s | 21 | 1459277 | 1421845 | 23009 113 | 4681 | 0
1589.61/1590.09 c 1489s | 21 | 1460985 | 1423545 | 23009 113 | 4681 | 0
1591.61/1592.09 c 1491s | 21 | 1462603 | 1425145 | 23009 113 | 4681 | 0
1595.90/1596.32 c 1495s | 21 | 1464029 | 1426545 | 23009 113 | 4681 | 0
1598.01/1598.46 c 1497s | 21 | 1464429 | 1426945 | 23009 114 | 4681 | 0
1601.51/1601.99 c 1501s | 21 | 1465044 | 1427545 | 23009 114 | 4681 | 0
1603.61/1604.03 c 1503s | 21 | 1466842 | 1429345 | 23009 114 | 4681 | 0
1605.61/1606.09 c 1505s | 21 | 1468858 | 1431345 | 23009 114 | 4681 | 0
1607.70/1608.14 c 1507s | 21 | 1470868 | 1433345 | 23009 114 | 4681 | 0
1609.70/1610.14 c 1509s | 21 | 1472776 | 1435245 | 23009 114 | 4681 | 0
1611.80/1612.22 c 1511s | 21 | 1474890 | 1437345 | 23009 114 | 4681 | 0
1613.80/1614.23 c 1513s | 21 | 1476800 | 1439245 | 23009 114 | 4681 | 0
1615.90/1616.33 c 1515s | 21 | 1478612 | 1441045 | 23009 114 | 4681 | 0
1617.90/1618.39 c 1517s | 21 | 1479917 | 1442345 | 23009 115 | 4681 | 0
1620.01/1620.45 c 1519s | 21 | 1481930 | 1444345 | 23009 115 | 4681 | 0
1622.00/1622.46 c 1521s | 21 | 1483849 | 1446245 | 23009 115 | 4681 | 0
1624.10/1624.56 c 1523s | 21 | 1485764 | 1448145 | 23009 115 | 4681 | 0
1626.20/1626.66 c 1525s | 21 | 1487664 | 1450045 | 23009 115 | 4681 | 0
1628.30/1628.70 c 1527s | 21 | 1489075 | 1451445 | 23009 115 | 4681 | 0
1630.30/1630.71 c 1529s | 21 | 1490885 | 1453245 | 23009 115 | 4681 | 0
1632.30/1632.77 c 1532s | 21 | 1492602 | 1454945 | 23009 115 | 4681 | 0
1634.40/1634.83 c 1534s | 21 | 1494231 | 1456545 | 23009 116 | 4681 | 0
1638.99/1639.49 c 1538s | 21 | 1495541 | 1457845 | 23009 116 | 4681 | 0
1641.09/1641.51 c 1540s | 21 | 1497344 | 1459645 | 23009 116 | 4681 | 0
1643.10/1643.54 c 1542s | 21 | 1499460 | 1461745 | 23009 116 | 4681 | 0
1645.09/1645.56 c 1544s | 21 | 1501463 | 1463745 | 23009 116 | 4681 | 0
1647.19/1647.68 c 1546s | 21 | 1503381 | 1465645 | 23009 116 | 4681 | 0
1649.29/1649.77 c 1549s | 21 | 1505186 | 1467445 | 23009 116 | 4681 | 0
1651.39/1651.84 c 1551s | 21 | 1506995 | 1469245 | 23009 116 | 4681 | 0
1653.49/1653.98 c 1553s | 21 | 1508310 | 1470545 | 23009 117 | 4681 | 0
1655.59/1656.06 c 1555s | 21 | 1510131 | 1472345 | 23009 117 | 4681 | 0
1657.59/1658.08 c 1557s | 21 | 1512152 | 1474345 | 23009 117 | 4681 | 0
1659.69/1660.18 c 1559s | 21 | 1514170 | 1476345 | 23009 117 | 4681 | 0
1661.70/1662.18 c 1561s | 21 | 1516186 | 1478345 | 23009 117 | 4681 | 0
1663.79/1664.24 c 1563s | 21 | 1517392 | 1479545 | 23009 117 | 4681 | 0
1665.80/1666.29 c 1565s | 21 | 1517593 | 1479745 | 23009 117 | 4681 | 0
1667.90/1668.30 c 1567s | 21 | 1519717 | 1481845 | 23009 117 | 4681 | 0
1669.90/1670.31 c 1569s | 21 | 1521630 | 1483745 | 23009 117 | 4681 | 0
1672.00/1672.45 c 1571s | 21 | 1523046 | 1485145 | 23009 118 | 4681 | 0
1674.00/1674.49 c 1573s | 21 | 1525457 | 1487545 | 23009 118 | 4681 | 0
1676.10/1676.51 c 1575s | 21 | 1527666 | 1489745 | 23009 118 | 4681 | 0
1678.09/1678.59 c 1577s | 21 | 1529778 | 1491845 | 25310 118 | 4681 | 0
1680.19/1680.62 c 1579s | 21 | 1531681 | 1493745 | 25310 118 | 4681 | 0
1682.19/1682.64 c 1581s | 21 | 1533494 | 1495545 | 25310 118 | 4681 | 0
1684.29/1684.74 c 1584s | 21 | 1535513 | 1497545 | 25310 118 | 4681 | 0
1686.39/1686.81 c 1586s | 21 | 1537528 | 1499545 | 25310 118 | 4681 | 0
1687.49/1687.99 c 1587s | 22 | 1538605 | 1500622 | 25310 118 | 4681 | 0
1695.69/1696.17 c 1595s | 22 | 1539830 | 1500722 | 25310 119 | 4681 | 0
1697.79/1698.25 c 1597s | 22 | 1541333 | 1502222 | 25310 119 | 4681 | 0
1699.79/1700.27 c 1599s | 22 | 1543462 | 1504322 | 25310 119 | 4681 | 0
1701.89/1702.35 c 1601s | 22 | 1545477 | 1506322 | 25310 119 | 4681 | 0
1703.89/1704.35 c 1603s | 22 | 1547296 | 1508122 | 25310 119 | 4681 | 0
1705.89/1706.37 c 1605s | 22 | 1549104 | 1509922 | 25310 119 | 4681 | 0
1708.00/1708.41 c 1607s | 22 | 1551118 | 1511922 | 25310 119 | 4681 | 0
1709.99/1710.42 c 1609s | 22 | 1552940 | 1513722 | 25310 119 | 4681 | 0
1711.99/1712.46 c 1611s | 22 | 1554439 | 1515222 | 25310 119 | 4681 | 0
1714.39/1714.83 c 1614s | 22 | 1555975 | 1516722 | 25310 120 | 4681 | 0
1716.39/1716.87 c 1616s | 22 | 1556786 | 1517522 | 25310 120 | 4681 | 0
1718.48/1718.94 c 1618s | 22 | 1559122 | 1519822 | 25310 120 | 4681 | 0
1720.58/1721.00 c 1620s | 22 | 1561352 | 1522022 | 25310 120 | 4681 | 0
1722.58/1723.07 c 1622s | 22 | 1563466 | 1524122 | 25310 120 | 4681 | 0
1724.68/1725.14 c 1624s | 22 | 1565595 | 1526222 | 25310 120 | 4681 | 0
1726.69/1727.16 c 1626s | 22 | 1567595 | 1528222 | 25310 120 | 4681 | 0
1728.68/1729.17 c 1628s | 22 | 1569106 | 1529722 | 25310 120 | 4681 | 0
1730.78/1731.23 c 1630s | 22 | 1570830 | 1531422 | 25310 120 | 4681 | 0
1732.88/1733.36 c 1632s | 22 | 1572040 | 1532622 | 25310 121 | 4681 | 0
1734.88/1735.39 c 1634s | 22 | 1574283 | 1534822 | 25310 121 | 4681 | 0
1737.28/1737.79 c 1637s | 22 | 1576097 | 1536622 | 25310 121 | 4681 | 0
1739.38/1739.84 c 1639s | 22 | 1578217 | 1538722 | 25310 121 | 4681 | 0
1741.48/1741.92 c 1641s | 22 | 1580134 | 1540622 | 25310 121 | 4681 | 0
1743.48/1743.98 c 1643s | 22 | 1581946 | 1542422 | 25310 121 | 4681 | 0
1745.58/1746.01 c 1645s | 22 | 1583650 | 1544122 | 25310 121 | 4681 | 0
1747.59/1748.01 c 1647s | 22 | 1585458 | 1545922 | 25310 121 | 4681 | 0
1749.58/1750.09 c 1649s | 22 | 1587483 | 1547922 | 25310 121 | 4681 | 0
1751.68/1752.15 c 1651s | 22 | 1588989 | 1549422 | 25310 122 | 4681 | 0
1761.47/1761.98 c 1661s | 22 | 1591217 | 1551622 | 25310 122 | 4681 | 0
1763.57/1764.04 c 1663s | 22 | 1593532 | 1553922 | 25310 122 | 4681 | 0
1765.67/1766.10 c 1665s | 22 | 1595638 | 1556022 | 25310 122 | 4681 | 0
1767.67/1768.13 c 1667s | 22 | 1597754 | 1558122 | 25310 122 | 4681 | 0
1769.68/1770.13 c 1669s | 22 | 1599765 | 1560122 | 25310 122 | 4681 | 0
1771.69/1772.16 c 1671s | 22 | 1601677 | 1562022 | 25310 122 | 4681 | 0
1773.78/1774.22 c 1673s | 22 | 1603283 | 1563622 | 25310 123 | 4681 | 0
1776.98/1777.44 c 1676s | 22 | 1605098 | 1565422 | 25310 123 | 4681 | 0
1779.08/1779.52 c 1678s | 22 | 1606898 | 1567222 | 25310 123 | 4681 | 0
1781.08/1781.53 c 1680s | 22 | 1608816 | 1569122 | 25310 123 | 4681 | 0
1783.18/1783.60 c 1682s | 22 | 1610629 | 1570922 | 25310 123 | 4681 | 0
1785.18/1785.64 c 1684s | 22 | 1612435 | 1572722 | 25310 123 | 4681 | 0
1787.18/1787.70 c 1686s | 22 | 1614244 | 1574522 | 25310 123 | 4681 | 0
1789.28/1789.71 c 1688s | 22 | 1616061 | 1576322 | 25310 123 | 4681 | 0
1791.27/1791.79 c 1691s | 22 | 1617657 | 1577922 | 25310 123 | 4681 | 0
1793.58/1794.05 c 1693s | 22 | 1619065 | 1579322 | 25310 124 | 4681 | 0
1795.67/1796.14 c 1695s | 22 | 1620788 | 1581022 | 25310 124 | 4681 | 0
1797.67/1798.18 c 1697s | 22 | 1622907 | 1583122 | 25310 124 | 4681 | 0
1799.77/1800.20 c 1699s | 22 | 1624934 | 1585122 | 25310 124 | 4681 | 0
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-4103221-1466233759/watcher-4103221-1466233759 -o /tmp/evaluation-result-4103221-1466233759/solver-4103221-1466233759 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20776 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103221-1466233759.opb
pid=21299
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.07 2.02 3/179 21302
/proc/meminfo: memFree=30571304/32872528 swapFree=163656/177964
[pid=21302] ppid=21299 vsize=672188 CPUtime=0 cores=0,2,4,6
/proc/21302/stat : 21302 (toysat) R 21299 21302 20760 0 -1 4202496 2495 0 0 0 0 0 0 0 20 0 4 0 25425788 688320512 3367 33554432000 4194304 16246674 140737416630544 140737416629968 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21302/statm: 168815 3378 441 2943 0 165709 0
[pid=21302/tid=21303] ppid=21299 vsize=690620 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21303/stat : 21303 (toysat) S 21299 21302 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25425788 707194880 3440 33554432000 4194304 16246674 140737416630544 140194864934128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21304] ppid=21299 vsize=694716 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (toysat) S 21299 21302 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25425788 711389184 3454 33554432000 4194304 16246674 140737416630544 140194778950896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21299 vsize=698812 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25425788 715583488 3471 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[startup+0.100164 s]
/proc/loadavg: 2.09 2.07 2.02 3/179 21302
/proc/meminfo: memFree=30571304/32872528 swapFree=163656/177964
[pid=21302] ppid=21299 vsize=1304132 CPUtime=0.09 cores=0,2,4,6
/proc/21302/stat : 21302 (toysat) R 21299 21302 20760 0 -1 4202496 30621 0 0 0 5 4 0 0 20 0 4 0 25425788 1335431168 31431 33554432000 4194304 16246674 140737416630544 140737416629856 5703736 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21302/statm: 326033 31446 808 2943 0 322927 0
[pid=21302/tid=21303] ppid=21299 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21303/stat : 21303 (toysat) S 21299 21302 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25425788 1335431168 31457 33554432000 4194304 16246674 140737416630544 140194864934128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21304] ppid=21299 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (toysat) S 21299 21302 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25425788 1335431168 31468 33554432000 4194304 16246674 140737416630544 140194778950896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21299 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25425788 1335431168 31479 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1304132
[startup+0.200478 s]
/proc/loadavg: 2.09 2.07 2.02 3/179 21302
/proc/meminfo: memFree=30571304/32872528 swapFree=163656/177964
[pid=21302] ppid=21299 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/21302/stat : 21302 (toysat) R 21299 21302 20760 0 -1 4202496 43066 0 0 0 13 6 0 0 20 0 4 0 25425788 1343819776 43875 33554432000 4194304 16246674 140737416630544 140737416629856 13930363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21302/statm: 328081 43875 834 2943 0 324975 0
[pid=21302/tid=21303] ppid=21299 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21303/stat : 21303 (toysat) S 21299 21302 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25425788 1343819776 43875 33554432000 4194304 16246674 140737416630544 140194864934128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21304] ppid=21299 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (toysat) S 21299 21302 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25425788 1343819776 43875 33554432000 4194304 16246674 140737416630544 140194778950896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21299 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25425788 1343819776 43875 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324
[startup+0.30047 s]
/proc/loadavg: 2.09 2.07 2.02 3/179 21302
/proc/meminfo: memFree=30571304/32872528 swapFree=163656/177964
[pid=21302] ppid=21299 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/21302/stat : 21302 (toysat) R 21299 21302 20760 0 -1 4202496 64130 0 0 0 21 8 0 0 20 0 4 0 25425788 1343819776 64939 33554432000 4194304 16246674 140737416630544 140737416629856 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21302/statm: 328081 64939 834 2943 0 324975 0
[pid=21302/tid=21303] ppid=21299 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21303/stat : 21303 (toysat) S 21299 21302 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25425788 1343819776 64939 33554432000 4194304 16246674 140737416630544 140194864934128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21304] ppid=21299 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (toysat) S 21299 21302 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25425788 1343819776 64939 33554432000 4194304 16246674 140737416630544 140194778950896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21299 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25425788 1343819776 64939 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324
[startup+0.700402 s]
/proc/loadavg: 2.09 2.07 2.02 3/179 21302
/proc/meminfo: memFree=30571304/32872528 swapFree=163656/177964
[pid=21302] ppid=21299 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/21302/stat : 21302 (toysat) R 21299 21302 20760 0 -1 4202496 104880 0 0 0 55 14 0 0 20 0 4 0 25425788 1343819776 105689 33554432000 4194304 16246674 140737416630544 140737416629856 12429797 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21302/statm: 328081 105695 870 2943 0 324975 0
[pid=21302/tid=21303] ppid=21299 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21303/stat : 21303 (toysat) S 21299 21302 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25425788 1343819776 105699 33554432000 4194304 16246674 140737416630544 140194864934128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21304] ppid=21299 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (toysat) S 21299 21302 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25425788 1343819776 105703 33554432000 4194304 16246674 140737416630544 140194778950896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21299 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25425788 1343819776 105707 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324
[startup+1.5004 s]
/proc/loadavg: 2.09 2.07 2.02 3/183 21306
/proc/meminfo: memFree=29767624/32872528 swapFree=163656/177964
[pid=21302] ppid=21299 vsize=1363524 CPUtime=1.49 cores=0,2,4,6
/proc/21302/stat : 21302 (toysat) R 21299 21302 20760 0 -1 4202496 282044 0 0 0 114 35 0 0 20 0 4 0 25425788 1396248576 282853 33554432000 4194304 16246674 140737416630544 140737416612416 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21302/statm: 341137 282863 870 2943 0 338031 0
[pid=21302/tid=21303] ppid=21299 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21303/stat : 21303 (toysat) S 21299 21302 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25425788 1397297152 282866 33554432000 4194304 16246674 140737416630544 140194864934128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21304] ppid=21299 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (toysat) S 21299 21302 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25425788 1397297152 282870 33554432000 4194304 16246674 140737416630544 140194778950896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21299 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25425788 1397297152 282874 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1363524
[startup+3.1004 s]
/proc/loadavg: 2.09 2.07 2.02 3/183 21306
/proc/meminfo: memFree=29186064/32872528 swapFree=163656/177964
[pid=21302] ppid=21299 vsize=1617476 CPUtime=3.09 cores=0,2,4,6
/proc/21302/stat : 21302 (toysat) R 21299 21302 20760 0 -1 4202496 345563 0 0 0 266 43 0 0 20 0 4 0 25425788 1656295424 346372 33554432000 4194304 16246674 140737416630544 140737416612416 12655040 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21302/statm: 404369 346372 896 2943 0 401263 0
[pid=21302/tid=21303] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21303/stat : 21303 (toysat) S 21299 21302 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346372 33554432000 4194304 16246674 140737416630544 140194864934128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21304] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (toysat) S 21299 21302 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346372 33554432000 4194304 16246674 140737416630544 140194778950896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346372 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1617476
[startup+6.30042 s]
/proc/loadavg: 2.08 2.07 2.02 3/183 21306
/proc/meminfo: memFree=29185452/32872528 swapFree=163656/177964
[pid=21302] ppid=21299 vsize=1617476 CPUtime=6.29 cores=0,2,4,6
/proc/21302/stat : 21302 (toysat) R 21299 21302 20760 0 -1 4202496 345573 0 0 0 586 43 0 0 20 0 4 0 25425788 1656295424 346382 33554432000 4194304 16246674 140737416630544 140737416629856 4206868 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21302/statm: 404369 346382 906 2943 0 401263 0
[pid=21302/tid=21303] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21303/stat : 21303 (toysat) S 21299 21302 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346382 33554432000 4194304 16246674 140737416630544 140194864934128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21304] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (toysat) S 21299 21302 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346382 33554432000 4194304 16246674 140737416630544 140194778950896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346382 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1617476
[startup+12.7004 s]
/proc/loadavg: 2.07 2.07 2.02 3/183 21306
/proc/meminfo: memFree=29186220/32872528 swapFree=163656/177964
[pid=21302] ppid=21299 vsize=1617476 CPUtime=12.69 cores=0,2,4,6
/proc/21302/stat : 21302 (toysat) R 21299 21302 20760 0 -1 4202496 345573 0 0 0 1226 43 0 0 20 0 4 0 25425788 1656295424 346382 33554432000 4194304 16246674 140737416630544 140737416612416 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21302/statm: 404369 346382 906 2943 0 401263 0
[pid=21302/tid=21303] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21303/stat : 21303 (toysat) S 21299 21302 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346382 33554432000 4194304 16246674 140737416630544 140194864934128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21304] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (toysat) S 21299 21302 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346382 33554432000 4194304 16246674 140737416630544 140194778950896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346382 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1617476
[startup+25.5005 s]
/proc/loadavg: 2.06 2.06 2.02 3/183 21306
/proc/meminfo: memFree=29186360/32872528 swapFree=163656/177964
[pid=21302] ppid=21299 vsize=1617476 CPUtime=25.49 cores=0,2,4,6
/proc/21302/stat : 21302 (toysat) R 21299 21302 20760 0 -1 4202496 345573 0 0 0 2506 43 0 0 20 0 4 0 25425788 1656295424 346382 33554432000 4194304 16246674 140737416630544 140737416612416 12652957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21302/statm: 404369 346382 906 2943 0 401263 0
[pid=21302/tid=21303] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21303/stat : 21303 (toysat) S 21299 21302 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346382 33554432000 4194304 16246674 140737416630544 140194864934128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21304] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (toysat) S 21299 21302 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346382 33554432000 4194304 16246674 140737416630544 140194778950896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346382 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1617476
[startup+51.1005 s]
/proc/loadavg: 2.04 2.06 2.02 3/184 21310
/proc/meminfo: memFree=29130456/32872528 swapFree=163656/177964
[pid=21302] ppid=21299 vsize=1617476 CPUtime=51.08 cores=0,2,4,6
/proc/21302/stat : 21302 (toysat) R 21299 21302 20760 0 -1 4202496 345579 0 0 0 5065 43 0 0 20 0 4 0 25425788 1656295424 346388 33554432000 4194304 16246674 140737416630544 140737416612416 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21302/statm: 404369 346388 912 2943 0 401263 0
[pid=21302/tid=21303] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21303/stat : 21303 (toysat) S 21299 21302 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346388 33554432000 4194304 16246674 140737416630544 140194864934128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21304] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (toysat) S 21299 21302 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346388 33554432000 4194304 16246674 140737416630544 140194778950896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346388 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1617476
[startup+102.3 s]
/proc/loadavg: 2.08 2.06 2.02 3/184 21311
/proc/meminfo: memFree=29130388/32872528 swapFree=163656/177964
[pid=21302] ppid=21299 vsize=1617476 CPUtime=102.27 cores=0,2,4,6
/proc/21302/stat : 21302 (toysat) R 21299 21302 20760 0 -1 4202496 345579 0 0 0 10184 43 0 0 20 0 4 0 25425788 1656295424 346388 33554432000 4194304 16246674 140737416630544 140737416612416 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21302/statm: 404369 346388 912 2943 0 401263 0
[pid=21302/tid=21303] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21303/stat : 21303 (toysat) S 21299 21302 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346388 33554432000 4194304 16246674 140737416630544 140194864934128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21304] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (toysat) S 21299 21302 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346388 33554432000 4194304 16246674 140737416630544 140194778950896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346388 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1617476
################
# More data... #
################
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1617476
[startup+1362.3 s]
/proc/loadavg: 2.06 2.06 2.03 3/183 21391
/proc/meminfo: memFree=28314044/32872528 swapFree=163656/177964
[pid=21302] ppid=21299 vsize=1617476 CPUtime=1361.94 cores=0,2,4,6
/proc/21302/stat : 21302 (toysat) R 21299 21302 20760 0 -1 4202496 345875 0 0 0 136131 63 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140737416628352 12483183 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21302/statm: 404369 346402 923 2943 0 401263 0
[pid=21302/tid=21303] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21303/stat : 21303 (toysat) S 21299 21302 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194864934128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21304] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (toysat) S 21299 21302 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194778950896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1617476
[startup+1422.3 s]
/proc/loadavg: 2.17 2.08 2.04 3/183 21392
/proc/meminfo: memFree=28312084/32872528 swapFree=163656/177964
[pid=21302] ppid=21299 vsize=1617476 CPUtime=1421.94 cores=0,2,4,6
/proc/21302/stat : 21302 (toysat) R 21299 21302 20760 0 -1 4202496 345875 0 0 0 142130 64 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140737416612416 13759480 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21302/statm: 404369 346402 923 2943 0 401263 0
[pid=21302/tid=21303] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21303/stat : 21303 (toysat) S 21299 21302 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194864934128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21304] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (toysat) S 21299 21302 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194778950896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1617476
[startup+1482.3 s]
/proc/loadavg: 2.17 2.09 2.04 3/183 21393
/proc/meminfo: memFree=28312000/32872528 swapFree=163656/177964
[pid=21302] ppid=21299 vsize=1617476 CPUtime=1481.92 cores=0,2,4,6
/proc/21302/stat : 21302 (toysat) R 21299 21302 20760 0 -1 4202496 345875 0 0 0 148128 64 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140737416612416 6010086 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21302/statm: 404369 346402 923 2943 0 401263 0
[pid=21302/tid=21303] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21303/stat : 21303 (toysat) S 21299 21302 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194864934128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21304] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (toysat) S 21299 21302 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194778950896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1617476
[startup+1542.31 s]
/proc/loadavg: 2.21 2.12 2.05 3/183 21394
/proc/meminfo: memFree=28311164/32872528 swapFree=163656/177964
[pid=21302] ppid=21299 vsize=1617476 CPUtime=1541.92 cores=0,2,4,6
/proc/21302/stat : 21302 (toysat) R 21299 21302 20760 0 -1 4202496 345875 0 0 0 154127 65 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140737416612416 5829552 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21302/statm: 404369 346402 923 2943 0 401263 0
[pid=21302/tid=21303] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21303/stat : 21303 (toysat) S 21299 21302 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194864934128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21304] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (toysat) S 21299 21302 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194778950896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1617476
[startup+1602.3 s]
/proc/loadavg: 2.25 2.14 2.06 3/183 21396
/proc/meminfo: memFree=28310816/32872528 swapFree=163656/177964
[pid=21302] ppid=21299 vsize=1617476 CPUtime=1601.91 cores=0,2,4,6
/proc/21302/stat : 21302 (toysat) R 21299 21302 20760 0 -1 4202496 345875 0 0 0 160124 67 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140737416612416 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21302/statm: 404369 346402 923 2943 0 401263 0
[pid=21302/tid=21303] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21303/stat : 21303 (toysat) S 21299 21302 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194864934128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21304] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (toysat) S 21299 21302 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194778950896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1617476
[startup+1662.3 s]
/proc/loadavg: 2.09 2.11 2.06 3/183 21397
/proc/meminfo: memFree=28309988/32872528 swapFree=163656/177964
[pid=21302] ppid=21299 vsize=1617476 CPUtime=1661.89 cores=0,2,4,6
/proc/21302/stat : 21302 (toysat) R 21299 21302 20760 0 -1 4202496 345875 0 0 0 166122 67 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140737416612416 5827656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21302/statm: 404369 346402 923 2943 0 401263 0
[pid=21302/tid=21303] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21303/stat : 21303 (toysat) S 21299 21302 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194864934128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21304] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (toysat) S 21299 21302 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194778950896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1617476
[startup+1722.3 s]
/proc/loadavg: 2.15 2.12 2.06 3/183 21398
/proc/meminfo: memFree=28307908/32872528 swapFree=163656/177964
[pid=21302] ppid=21299 vsize=1617476 CPUtime=1721.88 cores=0,2,4,6
/proc/21302/stat : 21302 (toysat) R 21299 21302 20760 0 -1 4202496 345875 0 0 0 172119 69 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140737416612416 5822848 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21302/statm: 404369 346402 923 2943 0 401263 0
[pid=21302/tid=21303] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21303/stat : 21303 (toysat) S 21299 21302 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194864934128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21304] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (toysat) S 21299 21302 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194778950896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1617476
[startup+1782.3 s]
/proc/loadavg: 2.16 2.13 2.07 3/183 21399
/proc/meminfo: memFree=28306820/32872528 swapFree=163656/177964
[pid=21302] ppid=21299 vsize=1617476 CPUtime=1781.88 cores=0,2,4,6
/proc/21302/stat : 21302 (toysat) R 21299 21302 20760 0 -1 4202496 345875 0 0 0 178117 71 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140737416612416 6836977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21302/statm: 404369 346402 923 2943 0 401263 0
[pid=21302/tid=21303] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21303/stat : 21303 (toysat) S 21299 21302 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194864934128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21304] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (toysat) S 21299 21302 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194778950896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1617476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.12 2.12 2.06 3/183 21399
/proc/meminfo: memFree=28306664/32872528 swapFree=163656/177964
[pid=21302] ppid=21299 vsize=1617476 CPUtime=1800.07 cores=0,2,4,6
/proc/21302/stat : 21302 (toysat) R 21299 21302 20760 0 -1 4202496 345875 0 0 0 179936 71 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140737416612416 5673488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21302/statm: 404369 346402 923 2943 0 401263 0
[pid=21302/tid=21303] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21303/stat : 21303 (toysat) S 21299 21302 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194864934128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21304] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (toysat) S 21299 21302 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194778950896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1617476
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 21302 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.12 2.12 2.06 3/183 21399
/proc/meminfo: memFree=28306664/32872528 swapFree=163656/177964
[pid=21302] ppid=21299 vsize=1617476 CPUtime=1800.07 cores=0,2,4,6
/proc/21302/stat : 21302 (toysat) R 21299 21302 20760 0 -1 4202496 345875 0 0 0 179936 71 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140737416612416 5673488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21302/statm: 404369 346402 923 2943 0 401263 0
[pid=21302/tid=21303] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21303/stat : 21303 (toysat) S 21299 21302 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194864934128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=21302/tid=21304] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21304/stat : 21304 (toysat) S 21299 21302 20760 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194778950896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=21302/tid=21305] ppid=21299 vsize=1617476 CPUtime=0 cores=0,2,4,6
/proc/21302/task/21305/stat : 21305 (toysat) S 21299 21302 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25425788 1656295424 346402 33554432000 4194304 16246674 140737416630544 140194768477360 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1617476
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1799.37
CPU system time (s): 0.712891
CPU usage (%): 99.9764
Max. virtual memory (cumulated for all children) (KiB): 1617476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.712891
maximum resident set size= 1385608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 345875
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= 415
involuntary context switches= 1978
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55531 second user time and 6.96694 second system time
The end