0.00/0.00 c 2016-06-07T07:33:43+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-4079998-1465277622.opb"]
0.00/0.02 c use --random-gen="350659064 3715814152 170361180 2742537216 1128251753 3895645179 3762398735 1721490716 819575202 2180184616 2287768936 2248789835 1893789599 550494936 3987825042 1509093153 3194717989 1618852974 735949367 574245623 2009463176 1809508789 1802318254 893913478 2852128461 848992055 3992120027 3024628150 1283744865 2074236464 1646790564 1004011939 1235569090 1489387517 3144021392 3885672411 3230065589 2687978782 2510964579 1716690360 1620152705 3186742774 478074034 618266373 2556252679 3513100445 3437572060 239561540 2883819064 3912719344 2462665404 1842306881 2127371045 781576514 3432738164 1756510099 1878712689 1334919314 395333939 2067520358 694622571 3815441421 3190652213 1348338776 1000240663 3205276869 3153997237 48055325 990744577 2362443035 1470823384 1903262711 1582800834 1113717862 317344826 3995354080 3004469174 4050152420 1531146620 3644225423 942329426 3891181857 742653993 60669336 3395643260 2170617712 676747064 1164619777 1477776960 1486075044 623541684 3696910685 666054146 1227119754 295173441 2105449695 2005121492 3258197033 1700079686 1226929020 3896147690 3327721178 965108755 2523777063 2821553456 4160554072 863533640 1038479056 307080934 681038334 1215801456 1422387255 1244019604 2332646370 2104222539 62620175 2904652711 372077805 113357931 671303389 2671165377 1103579622 399730713 724027800 649643181 3826920495 3744360877 1248522517 2858198674 2409655274 1936994663 3702389417 998352105 3750044509 3051928093 4157280640 2676950663 2930057537 3026804685 1586285341 709865955 4012182578 15244109 3635739188 797827878 3402223645 985564490 488096649 3298412926 77942502 749558879 1090459675 405297077 1568516828 859049931 1532101590 3745036186 4092230755 2026189773 3511259364 3915414087 1891962573 953887959 3893310977 1345987448 29105865 3684247601 1451054871 2470394586 1021678399 2080125311 3913863794 3585427634 3339400446 1716802679 1945565534 848931537 3682159401 3039419380 1480771785 1811975311 3332624539 2389164781 909962575 3078969745 1716488620 3491547786 1680363698 3896511010 718886888 1688930465 1267452164 2111377520 571958336 1049100721 2700343693 2368296538 4091620521 1386009611 2266087003 3205895747 2792453266 2174848851 2831415028 1007511244 2611328288 3564408601 1747016979 554884476 832514816 2971473432 2856507736 2120420350 484945285 659331273 2580315210 2955354568 3801672377 3941059219 212279015 416057393 2637936094 161753402 4108463346 2841529136 1771395640 1087246680 42535306 2123367628 4031975071 546420890 1597252963 1097638902 3723653761 1064776334 1151040046 2491800747 824093946 2182343126 3655573189 1619497956 1607907455 2977578567 347703944 2956008493 2890894182 1781573418 3638758017 3774923883 2819436279 2443156383 2066777080 677477617 725170927 4066743375 2984826770 255 362436" option to reproduce the execution
0.18/0.25 c #vars 1520
0.18/0.25 c #constraints 28979
0.68/0.73 c BCD2: Hardening is enabled.
0.68/0.73 c BCD2: BiasedSearch is enabled.
0.68/0.73 c Solving starts ...
0.68/0.73 c ============================[ Search Statistics ]============================
0.68/0.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.68/0.73 c | | | | Limit GC | Var | Constra
0.68/0.73 c =============================================================================
0.68/0.73 c 0.0s | 0 | 0 | 0 | 10199 0 | 0 | 0
0.68/0.79 c 0.1s | 1 | 191 | 100 | 10199 0 | 0 | 0
0.78/0.88 c 0.2s | 2 | 837 | 250 | 11219 0 | 0 | 0
0.88/0.93 c 0.2s | 2 | 1240 | 321 | 12341 0 | 0 | 0
0.88/0.93 c #cpu_time = 0.199s
0.88/0.93 c #wall_clock_time = 0.199s
0.88/0.93 c #decision = 1240
0.88/0.93 c #random_decision = 4
0.88/0.93 c #conflict = 321
0.88/0.93 c #restart = 2
0.88/0.93 o 765
0.88/0.93 c BCD2: updating upper bound: 54080 -> 764
0.98/1.02 c BCD2: 0 <= obj <= 764
0.98/1.02 c BCD2: #cores=0, #unrelaxed=1512, #relaxed=0, #hardened=0
0.98/1.02 c BCD2: #sat=1 #unsat=1 bias=1/2
0.98/1.02 c Solving starts ...
0.98/1.02 c ============================[ Search Statistics ]============================
0.98/1.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.98/1.02 c | | | | Limit GC | Var | Constra
0.98/1.02 c =============================================================================
0.98/1.02 c 0.0s | 0 | 0 | 0 | 12341 0 | 0 | 0
0.98/1.03 c 0.0s | 0 | 18 | 0 | 12341 0 | 0 | 0
0.98/1.03 c #cpu_time = 0.015s
0.98/1.03 c #wall_clock_time = 0.015s
0.98/1.03 c #decision = 18
0.98/1.03 c #random_decision = 0
0.98/1.03 c #conflict = 0
0.98/1.03 c #restart = 0
0.98/1.03 c BCD2: found a new core of size 19: cost of the new core is >=5
0.98/1.03 c lower bound updated to 5
0.98/1.03 c BCD2: 5 <= obj <= 764
0.98/1.03 c BCD2: #cores=1, #unrelaxed=1493, #relaxed=19, #hardened=0
0.98/1.03 c BCD2: #sat=1 #unsat=2 bias=2/3
0.98/1.04 c Solving starts ...
0.98/1.04 c ============================[ Search Statistics ]============================
0.98/1.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.98/1.04 c | | | | Limit GC | Var | Constra
0.98/1.04 c =============================================================================
0.98/1.04 c 0.0s | 0 | 0 | 0 | 12341 0 | 0 | 1
0.98/1.05 c 0.0s | 0 | 185 | 0 | 12341 0 | 0 | 1
0.98/1.05 c #cpu_time = 0.015s
0.98/1.05 c #wall_clock_time = 0.015s
0.98/1.05 c #decision = 185
0.98/1.05 c #random_decision = 0
0.98/1.05 c #conflict = 0
0.98/1.05 c #restart = 0
0.98/1.05 c BCD2: relaxing 161 and merging with 1 cores into a new core of size 180: cost of the new core is >=8
0.98/1.05 c lower bound updated to 8
0.98/1.05 c BCD2: 8 <= obj <= 764
0.98/1.05 c BCD2: #cores=1, #unrelaxed=1332, #relaxed=180, #hardened=0
0.98/1.05 c BCD2: #sat=1 #unsat=3 bias=3/4
0.98/1.05 c Solving starts ...
0.98/1.05 c ============================[ Search Statistics ]============================
0.98/1.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.98/1.05 c | | | | Limit GC | Var | Constra
0.98/1.05 c =============================================================================
0.98/1.05 c 0.0s | 0 | 0 | 0 | 12341 0 | 1 | 1
0.98/1.07 c 0.0s | 0 | 207 | 0 | 12341 0 | 1 | 2
0.98/1.07 c #cpu_time = 0.017s
0.98/1.07 c #wall_clock_time = 0.017s
0.98/1.07 c #decision = 207
0.98/1.07 c #random_decision = 0
0.98/1.07 c #conflict = 0
0.98/1.07 c #restart = 0
0.98/1.07 c BCD2: found a new core of size 19: cost of the new core is >=5
0.98/1.07 c lower bound updated to 13
0.98/1.07 c BCD2: 13 <= obj <= 764
0.98/1.07 c BCD2: #cores=2, #unrelaxed=1313, #relaxed=199, #hardened=0
0.98/1.07 c BCD2: #sat=1 #unsat=4 bias=4/5
0.98/1.07 c Solving starts ...
0.98/1.07 c ============================[ Search Statistics ]============================
0.98/1.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.98/1.07 c | | | | Limit GC | Var | Constra
0.98/1.07 c =============================================================================
0.98/1.07 c 0.0s | 0 | 0 | 0 | 12341 0 | 1 | 3
0.98/1.09 c 0.0s | 0 | 376 | 1 | 12341 0 | 1 | 3
0.98/1.09 c #cpu_time = 0.017s
0.98/1.09 c #wall_clock_time = 0.017s
0.98/1.09 c #decision = 376
0.98/1.09 c #random_decision = 0
0.98/1.09 c #conflict = 1
0.98/1.09 c #restart = 0
0.98/1.09 c BCD2: relaxing 186 and merging with 1 cores into a new core of size 205: cost of the new core is >=8
0.98/1.09 c lower bound updated to 16
0.98/1.09 c BCD2: 16 <= obj <= 764
0.98/1.09 c BCD2: #cores=2, #unrelaxed=1127, #relaxed=385, #hardened=0
0.98/1.09 c BCD2: #sat=1 #unsat=5 bias=5/6
0.98/1.09 c Solving starts ...
0.98/1.09 c ============================[ Search Statistics ]============================
0.98/1.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.98/1.09 c | | | | Limit GC | Var | Constra
0.98/1.09 c =============================================================================
0.98/1.09 c 0.0s | 0 | 0 | 0 | 12341 0 | 2 | 3
1.09/1.11 c 0.0s | 0 | 380 | 0 | 12341 0 | 2 | 4
1.09/1.11 c #cpu_time = 0.016s
1.09/1.11 c #wall_clock_time = 0.016s
1.09/1.11 c #decision = 380
1.09/1.11 c #random_decision = 0
1.09/1.11 c #conflict = 0
1.09/1.11 c #restart = 0
1.09/1.11 c BCD2: found a new core of size 19: cost of the new core is >=5
1.09/1.11 c lower bound updated to 21
1.09/1.11 c BCD2: 21 <= obj <= 764
1.09/1.11 c BCD2: #cores=3, #unrelaxed=1108, #relaxed=404, #hardened=0
1.09/1.11 c BCD2: #sat=1 #unsat=6 bias=6/7
1.09/1.11 c Solving starts ...
1.09/1.11 c ============================[ Search Statistics ]============================
1.09/1.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.09/1.11 c | | | | Limit GC | Var | Constra
1.09/1.11 c =============================================================================
1.09/1.11 c 0.0s | 0 | 0 | 0 | 12341 0 | 2 | 5
1.09/1.13 c 0.0s | 0 | 547 | 0 | 12341 0 | 2 | 5
1.09/1.13 c #cpu_time = 0.015s
1.09/1.13 c #wall_clock_time = 0.015s
1.09/1.13 c #decision = 547
1.09/1.13 c #random_decision = 0
1.09/1.13 c #conflict = 0
1.09/1.13 c #restart = 0
1.09/1.13 c BCD2: relaxing 161 and merging with 1 cores into a new core of size 180: cost of the new core is >=6
1.09/1.13 c lower bound updated to 22
1.09/1.16 c BCD2: 22 <= obj <= 764
1.09/1.16 c BCD2: #cores=3, #unrelaxed=947, #relaxed=565, #hardened=0
1.09/1.16 c BCD2: #sat=1 #unsat=7 bias=7/8
1.09/1.16 c Solving starts ...
1.09/1.16 c ============================[ Search Statistics ]============================
1.09/1.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.09/1.16 c | | | | Limit GC | Var | Constra
1.09/1.16 c =============================================================================
1.09/1.16 c 0.0s | 0 | 0 | 0 | 12341 0 | 3 | 5
1.09/1.18 c 0.0s | 0 | 569 | 0 | 12341 0 | 3 | 6
1.09/1.18 c #cpu_time = 0.015s
1.09/1.18 c #wall_clock_time = 0.015s
1.09/1.18 c #decision = 569
1.09/1.18 c #random_decision = 0
1.09/1.18 c #conflict = 0
1.09/1.18 c #restart = 0
1.09/1.18 c BCD2: found a new core of size 19: cost of the new core is >=5
1.09/1.18 c lower bound updated to 27
1.09/1.18 c BCD2: 27 <= obj <= 764
1.09/1.18 c BCD2: #cores=4, #unrelaxed=928, #relaxed=584, #hardened=0
1.09/1.18 c BCD2: #sat=1 #unsat=8 bias=8/9
1.09/1.18 c Solving starts ...
1.09/1.18 c ============================[ Search Statistics ]============================
1.09/1.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.09/1.18 c | | | | Limit GC | Var | Constra
1.09/1.18 c =============================================================================
1.09/1.18 c 0.0s | 0 | 0 | 0 | 12341 0 | 3 | 7
1.09/1.20 c 0.0s | 0 | 759 | 0 | 12341 0 | 3 | 7
1.09/1.20 c #cpu_time = 0.016s
1.09/1.20 c #wall_clock_time = 0.016s
1.09/1.20 c #decision = 759
1.09/1.20 c #random_decision = 0
1.09/1.20 c #conflict = 0
1.09/1.20 c #restart = 0
1.09/1.20 c BCD2: found a new core of size 343: cost of the new core is >=3
1.09/1.20 c lower bound updated to 30
1.09/1.20 c BCD2: 30 <= obj <= 764
1.09/1.20 c BCD2: #cores=5, #unrelaxed=585, #relaxed=927, #hardened=0
1.09/1.20 c BCD2: #sat=1 #unsat=9 bias=9/10
1.19/1.20 c Solving starts ...
1.19/1.20 c ============================[ Search Statistics ]============================
1.19/1.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.19/1.20 c | | | | Limit GC | Var | Constra
1.19/1.20 c =============================================================================
1.19/1.20 c 0.0s | 0 | 0 | 0 | 12341 0 | 3 | 7
1.19/1.22 c 0.0s | 0 | 589 | 0 | 12341 0 | 3 | 7
1.19/1.22 c #cpu_time = 0.017s
1.19/1.22 c #wall_clock_time = 0.017s
1.19/1.22 c #decision = 589
1.19/1.22 c #random_decision = 0
1.19/1.22 c #conflict = 0
1.19/1.22 c #restart = 0
1.19/1.22 c BCD2: found a new core of size 76: cost of the new core is >=5
1.19/1.22 c lower bound updated to 35
1.19/1.22 c BCD2: 35 <= obj <= 764
1.19/1.22 c BCD2: #cores=6, #unrelaxed=509, #relaxed=1003, #hardened=0
1.19/1.22 c BCD2: #sat=1 #unsat=10 bias=10/11
1.19/1.23 c Solving starts ...
1.19/1.23 c ============================[ Search Statistics ]============================
1.19/1.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.19/1.23 c | | | | Limit GC | Var | Constra
1.19/1.23 c =============================================================================
1.19/1.23 c 0.0s | 0 | 0 | 0 | 12341 0 | 3 | 8
1.28/1.31 c 0.1s | 1 | 1138 | 100 | 12341 0 | 3 | 8
1.28/1.39 c 0.2s | 2 | 2916 | 250 | 13576 0 | 3 | 8
1.48/1.57 c 0.3s | 3 | 7654 | 475 | 13576 0 | 3 | 8
1.68/1.77 c 0.5s | 4 | 10449 | 813 | 14934 0 | 3 | 8
1.98/2.04 c 0.8s | 5 | 13963 | 1320 | 16428 0 | 3 | 8
2.38/2.44 c 1.2s | 6 | 17275 | 2081 | 18071 0 | 3 | 8
3.39/3.49 c 2.3s | 7 | 21376 | 3223 | 19879 0 | 3 | 8
4.68/4.74 c 3.5s | 7 | 24937 | 4431 | 19879 0 | 3 | 8
4.68/4.74 c #cpu_time = 3.508s
4.68/4.74 c #wall_clock_time = 3.507s
4.68/4.74 c #decision = 24937
4.68/4.74 c #random_decision = 39
4.68/4.74 c #conflict = 4431
4.68/4.74 c #restart = 7
4.68/4.74 o 465
4.68/4.74 c BCD2: updating upper bound: 764 -> 464
4.68/4.75 c BCD2: 35 <= obj <= 464
4.68/4.75 c BCD2: #cores=6, #unrelaxed=509, #relaxed=1003, #hardened=0
4.68/4.75 c BCD2: #sat=2 #unsat=10 bias=10/12
4.68/4.76 c Solving starts ...
4.68/4.76 c ============================[ Search Statistics ]============================
4.68/4.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
4.68/4.76 c | | | | Limit GC | Var | Constra
4.68/4.76 c =============================================================================
4.68/4.76 c 0.0s | 0 | 0 | 0 | 19879 0 | 3 | 9
4.78/4.87 c 0.1s | 1 | 846 | 100 | 19879 0 | 3 | 9
4.98/5.06 c 0.3s | 2 | 1982 | 250 | 21867 0 | 3 | 9
5.18/5.26 c 0.5s | 3 | 3162 | 475 | 21867 0 | 3 | 9
5.49/5.55 c 0.8s | 4 | 4502 | 813 | 21867 0 | 3 | 9
5.88/5.93 c 1.2s | 5 | 7229 | 1320 | 21867 0 | 3 | 9
6.48/6.53 c 1.8s | 6 | 10325 | 2081 | 21867 0 | 3 | 9
7.38/7.46 c 2.7s | 7 | 13661 | 3223 | 24054 0 | 3 | 9
9.28/9.39 c 4.6s | 8 | 18561 | 4936 | 24054 0 | 3 | 9
11.38/11.48 c 6.7s | 8 | 25391 | 6636 | 26460 0 | 3 | 9
12.68/12.78 c 8.0s | 9 | 27488 | 7506 | 26460 0 | 3 | 9
13.58/13.63 c 8.9s | 9 | 28826 | 7839 | 26460 0 | 3 | 9
13.58/13.63 c #cpu_time = 8.870s
13.58/13.63 c #wall_clock_time = 8.872s
13.58/13.63 c #decision = 28826
13.58/13.63 c #random_decision = 59
13.58/13.63 c #conflict = 7839
13.58/13.63 c #restart = 9
13.58/13.63 c BCD2: relaxing 509 and merging with 6 cores into a new core of size 1512: cost of the new core is >=38
13.58/13.63 c lower bound updated to 38
13.58/13.64 c BCD2: 38 <= obj <= 464
13.58/13.64 c BCD2: #cores=1, #unrelaxed=0, #relaxed=1512, #hardened=0
13.58/13.64 c BCD2: #sat=2 #unsat=11 bias=11/13
13.58/13.64 c Solving starts ...
13.58/13.64 c ============================[ Search Statistics ]============================
13.58/13.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
13.58/13.64 c | | | | Limit GC | Var | Constra
13.58/13.64 c =============================================================================
13.58/13.64 c 0.0s | 0 | 0 | 0 | 26460 0 | 32 | 9
14.29/14.35 c 0.7s | 1 | 877 | 100 | 26460 0 | 32 | 61
14.58/14.62 c 1.0s | 2 | 1666 | 250 | 26460 0 | 32 | 61
14.98/15.01 c 1.4s | 3 | 2884 | 475 | 26460 0 | 32 | 61
15.38/15.44 c 1.8s | 4 | 4263 | 813 | 26460 0 | 32 | 61
16.18/16.21 c 2.6s | 5 | 6520 | 1320 | 26460 0 | 32 | 61
17.48/17.58 c 3.9s | 6 | 8974 | 2081 | 26460 0 | 32 | 61
19.18/19.25 c 5.6s | 7 | 13290 | 3223 | 26460 0 | 32 | 61
21.27/21.32 c 7.7s | 7 | 16845 | 4623 | 29107 0 | 32 | 61
21.67/21.71 c 8.1s | 8 | 18288 | 4936 | 29107 0 | 32 | 61
23.67/23.73 c 10.1s | 8 | 23455 | 6436 | 29107 0 | 32 | 61
25.47/25.52 c 11.9s | 9 | 27833 | 7506 | 29107 0 | 32 | 61
27.48/27.59 c 14.0s | 9 | 33225 | 8906 | 29107 0 | 32 | 61
29.68/29.73 c 16.1s | 9 | 37211 | 10206 | 29107 0 | 32 | 61
31.48/31.59 c 17.9s | 10 | 39481 | 11361 | 29107 0 | 32 | 61
33.57/33.60 c 20.0s | 10 | 42706 | 12561 | 29107 0 | 32 | 61
35.67/35.71 c 22.1s | 10 | 46725 | 13861 | 32018 0 | 32 | 61
37.67/37.72 c 24.1s | 10 | 52575 | 15261 | 32018 0 | 32 | 61
39.77/39.82 c 26.2s | 10 | 57731 | 16661 | 32018 0 | 32 | 61
40.57/40.66 c 27.0s | 11 | 59662 | 17144 | 32018 0 | 32 | 61
42.67/42.79 c 29.2s | 11 | 63496 | 18444 | 32018 0 | 32 | 61
44.87/44.98 c 31.3s | 11 | 69063 | 19844 | 32018 0 | 32 | 61
46.97/47.01 c 33.4s | 11 | 72370 | 21144 | 32018 0 | 32 | 61
49.07/49.12 c 35.5s | 11 | 76706 | 22544 | 32018 0 | 32 | 61
51.17/51.25 c 37.6s | 11 | 79963 | 23644 | 32018 0 | 32 | 61
53.37/53.47 c 39.8s | 11 | 83025 | 24744 | 32018 0 | 32 | 61
55.47/55.56 c 41.9s | 11 | 86091 | 25644 | 32018 0 | 32 | 61
55.87/55.96 c 42.3s | 12 | 86895 | 25819 | 32018 0 | 32 | 61
57.87/57.98 c 44.3s | 12 | 91537 | 26919 | 35220 0 | 32 | 61
60.07/60.11 c 46.5s | 12 | 95470 | 27819 | 35220 0 | 32 | 61
62.27/62.30 c 48.7s | 12 | 99328 | 28819 | 35220 0 | 32 | 61
64.47/64.58 c 50.9s | 12 | 101621 | 29519 | 35220 0 | 32 | 61
66.77/66.86 c 53.2s | 12 | 104587 | 30319 | 35220 0 | 32 | 61
68.76/68.88 c 55.2s | 12 | 108561 | 31319 | 35220 0 | 32 | 61
70.86/70.91 c 57.3s | 12 | 112223 | 32419 | 35220 0 | 32 | 61
72.96/73.04 c 59.4s | 12 | 115398 | 33519 | 35220 0 | 32 | 61
75.06/75.15 c 61.5s | 12 | 120995 | 34819 | 35220 0 | 32 | 61
77.26/77.32 c 63.7s | 12 | 124732 | 35919 | 35220 1 | 32 | 61
79.36/79.44 c 65.8s | 12 | 130460 | 37119 | 35220 1 | 32 | 61
81.47/81.58 c 67.9s | 12 | 136783 | 38419 | 35220 1 | 32 | 61
82.26/82.31 c 68.7s | 13 | 138665 | 38832 | 35220 1 | 32 | 61
84.36/84.40 c 70.8s | 13 | 143086 | 40032 | 35220 1 | 32 | 61
86.36/86.41 c 72.8s | 13 | 149007 | 41432 | 35220 1 | 32 | 61
88.46/88.52 c 74.9s | 13 | 154135 | 42732 | 35220 1 | 32 | 61
90.66/90.72 c 77.1s | 13 | 160033 | 43732 | 35220 1 | 32 | 61
92.66/92.79 c 79.1s | 13 | 166375 | 44832 | 35220 1 | 32 | 61
94.96/95.00 c 81.4s | 13 | 171772 | 45932 | 38742 1 | 32 | 61
96.96/97.01 c 83.4s | 13 | 176244 | 47032 | 38742 1 | 32 | 61
99.07/99.15 c 85.5s | 13 | 181029 | 48332 | 38742 1 | 32 | 61
101.17/101.24 c 87.6s | 13 | 185685 | 49532 | 38742 1 | 32 | 61
103.16/103.26 c 89.6s | 13 | 189163 | 50532 | 38742 1 | 32 | 61
105.26/105.39 c 91.7s | 13 | 194275 | 51832 | 38742 1 | 32 | 61
107.46/107.55 c 93.9s | 13 | 198217 | 52832 | 38742 1 | 32 | 61
109.56/109.63 c 96.0s | 13 | 202652 | 54032 | 38742 1 | 32 | 61
111.66/111.79 c 98.1s | 13 | 205960 | 55132 | 38742 1 | 32 | 61
113.76/113.82 c 100s | 13 | 209802 | 56232 | 38742 1 | 32 | 61
115.96/116.06 c 102s | 13 | 213847 | 57232 | 38742 2 | 32 | 61
118.06/118.13 c 104s | 13 | 218207 | 58332 | 38742 2 | 32 | 61
118.06/118.18 c 104s | 14 | 218244 | 58352 | 38742 2 | 32 | 61
120.15/120.22 c 106s | 14 | 221729 | 59352 | 38742 2 | 32 | 61
122.16/122.23 c 108s | 14 | 224909 | 60452 | 38742 2 | 32 | 61
124.26/124.39 c 110s | 14 | 228885 | 61652 | 38742 2 | 32 | 61
126.25/126.39 c 112s | 14 | 232064 | 62652 | 38742 2 | 32 | 61
128.35/128.48 c 114s | 14 | 235062 | 63652 | 38742 2 | 32 | 61
130.45/130.59 c 116s | 14 | 238317 | 64952 | 38742 2 | 32 | 61
132.55/132.61 c 118s | 14 | 241403 | 66052 | 38742 2 | 32 | 61
134.65/134.75 c 121s | 14 | 245873 | 67352 | 38742 2 | 32 | 61
136.75/136.85 c 123s | 14 | 249614 | 68552 | 38742 2 | 32 | 61
138.95/139.06 c 125s | 14 | 253840 | 69852 | 38742 2 | 32 | 61
141.05/141.15 c 127s | 14 | 257914 | 71052 | 38742 2 | 32 | 61
143.15/143.25 c 129s | 14 | 261265 | 72152 | 38742 2 | 32 | 61
145.26/145.32 c 131s | 14 | 264424 | 73252 | 38742 2 | 32 | 61
147.25/147.33 c 133s | 14 | 267555 | 74352 | 38742 2 | 32 | 61
149.35/149.40 c 135s | 14 | 271817 | 75552 | 42617 2 | 32 | 61
151.45/151.52 c 137s | 14 | 274558 | 76452 | 42617 2 | 32 | 61
153.45/153.55 c 139s | 14 | 277611 | 77452 | 42617 2 | 32 | 61
155.65/155.71 c 142s | 14 | 280537 | 78552 | 42617 2 | 32 | 61
157.75/157.84 c 144s | 14 | 283858 | 79652 | 42617 2 | 32 | 61
159.95/160.03 c 146s | 14 | 286334 | 80552 | 42617 3 | 32 | 61
161.95/162.09 c 148s | 14 | 289231 | 81552 | 42617 3 | 32 | 61
164.15/164.26 c 150s | 14 | 292042 | 82852 | 42617 3 | 32 | 61
166.25/166.37 c 152s | 14 | 295791 | 84052 | 42617 3 | 32 | 61
168.35/168.41 c 154s | 14 | 299710 | 85252 | 42617 3 | 32 | 61
170.35/170.42 c 156s | 14 | 302412 | 86252 | 42617 3 | 32 | 61
172.45/172.51 c 158s | 14 | 305474 | 87352 | 42617 3 | 32 | 61
172.95/173.08 c 159s | 15 | 306110 | 87632 | 42617 3 | 32 | 61
175.15/175.23 c 161s | 15 | 308315 | 88432 | 42617 3 | 32 | 61
177.35/177.42 c 163s | 15 | 311685 | 89432 | 42617 3 | 32 | 61
179.35/179.49 c 165s | 15 | 314286 | 90332 | 42617 3 | 32 | 61
181.45/181.52 c 167s | 15 | 317648 | 91332 | 42617 3 | 32 | 61
183.54/183.65 c 170s | 15 | 321509 | 92432 | 42617 3 | 32 | 61
185.64/185.78 c 172s | 15 | 323674 | 93332 | 42617 3 | 32 | 61
187.84/187.92 c 174s | 15 | 327172 | 94332 | 42617 3 | 32 | 61
189.84/189.96 c 176s | 15 | 330479 | 95632 | 42617 3 | 32 | 61
191.94/192.05 c 178s | 15 | 333349 | 96632 | 42617 3 | 32 | 61
194.14/194.20 c 180s | 15 | 336274 | 97632 | 42617 3 | 32 | 61
196.14/196.28 c 182s | 15 | 339485 | 98632 | 42617 3 | 32 | 61
198.44/198.55 c 184s | 15 | 342567 | 99732 | 42617 3 | 32 | 61
200.44/200.59 c 186s | 15 | 345413 | 100732 | 42617 3 | 32 | 61
202.54/202.61 c 188s | 15 | 348027 | 101732 | 42617 3 | 32 | 61
204.75/204.89 c 191s | 15 | 350168 | 102532 | 42617 4 | 32 | 61
206.95/207.08 c 193s | 15 | 352955 | 103532 | 42617 4 | 32 | 61
209.15/209.24 c 195s | 15 | 356183 | 104632 | 42617 4 | 32 | 61
211.34/211.46 c 197s | 15 | 359800 | 105832 | 42617 4 | 32 | 61
213.54/213.64 c 199s | 15 | 362418 | 106832 | 42617 4 | 32 | 61
215.74/215.84 c 202s | 15 | 365165 | 107832 | 42617 4 | 32 | 61
217.85/217.96 c 204s | 15 | 368184 | 108832 | 42617 4 | 32 | 61
220.05/220.13 c 206s | 15 | 371087 | 109832 | 42617 4 | 32 | 61
222.04/222.19 c 208s | 15 | 374282 | 110832 | 42617 4 | 32 | 61
224.14/224.21 c 210s | 15 | 376863 | 111832 | 42617 4 | 32 | 61
226.24/226.35 c 212s | 15 | 380286 | 112932 | 42617 4 | 32 | 61
228.44/228.50 c 214s | 15 | 383366 | 113932 | 42617 4 | 32 | 61
230.44/230.56 c 216s | 15 | 385779 | 114832 | 42617 4 | 32 | 61
232.54/232.69 c 219s | 15 | 388364 | 115832 | 42617 4 | 32 | 61
234.74/234.87 c 221s | 15 | 390520 | 116732 | 42617 4 | 32 | 61
236.94/237.00 c 223s | 15 | 392124 | 117432 | 42617 4 | 32 | 61
239.04/239.18 c 225s | 15 | 393692 | 118132 | 46879 4 | 32 | 61
241.34/241.40 c 227s | 15 | 396257 | 119032 | 46879 4 | 32 | 61
243.44/243.52 c 229s | 15 | 398506 | 119832 | 46879 4 | 32 | 61
245.44/245.56 c 231s | 15 | 401794 | 120732 | 46879 4 | 32 | 61
247.64/247.72 c 234s | 15 | 404765 | 121732 | 46879 4 | 32 | 61
249.65/249.75 c 236s | 15 | 407609 | 122632 | 46879 4 | 32 | 61
251.64/251.77 c 238s | 15 | 410711 | 123632 | 46879 4 | 32 | 61
253.84/253.90 c 240s | 15 | 413914 | 124632 | 46879 4 | 32 | 61
255.84/255.92 c 242s | 15 | 415721 | 125432 | 46879 4 | 32 | 61
258.04/258.10 c 244s | 15 | 418031 | 126232 | 46879 4 | 32 | 61
260.24/260.33 c 246s | 15 | 420311 | 127132 | 46879 4 | 32 | 61
262.44/262.52 c 248s | 15 | 422697 | 127932 | 46879 4 | 32 | 61
264.54/264.62 c 250s | 15 | 424712 | 128632 | 46879 5 | 32 | 61
266.53/266.63 c 252s | 15 | 427012 | 129432 | 46879 5 | 32 | 61
268.63/268.73 c 255s | 15 | 429105 | 130232 | 46879 5 | 32 | 61
270.64/270.73 c 257s | 15 | 431353 | 131032 | 46879 5 | 32 | 61
271.83/271.96 c 258s | 16 | 432872 | 131552 | 46879 5 | 32 | 61
274.13/274.25 c 260s | 16 | 436303 | 132452 | 46879 5 | 32 | 61
276.43/276.51 c 262s | 16 | 439406 | 133452 | 46879 5 | 32 | 61
278.53/278.63 c 264s | 16 | 441654 | 134252 | 46879 5 | 32 | 61
280.54/280.66 c 267s | 16 | 444471 | 135152 | 46879 5 | 32 | 61
282.64/282.72 c 269s | 16 | 448008 | 136252 | 46879 5 | 32 | 61
284.63/284.77 c 271s | 16 | 451404 | 137552 | 46879 5 | 32 | 61
286.83/286.93 c 273s | 16 | 455164 | 139052 | 46879 5 | 32 | 61
288.93/289.00 c 275s | 16 | 458250 | 140352 | 46879 5 | 32 | 61
291.03/291.12 c 277s | 16 | 461258 | 141752 | 46879 5 | 32 | 61
293.03/293.14 c 279s | 16 | 463713 | 142952 | 46879 5 | 32 | 61
295.03/295.16 c 281s | 16 | 466071 | 144052 | 46879 5 | 32 | 61
297.04/297.19 c 283s | 16 | 468328 | 145152 | 46879 5 | 32 | 61
299.14/299.28 c 285s | 16 | 470052 | 146152 | 46879 5 | 32 | 61
301.23/301.32 c 287s | 16 | 472583 | 147252 | 46879 5 | 32 | 61
303.23/303.38 c 289s | 16 | 475045 | 148352 | 46879 5 | 32 | 61
305.23/305.39 c 291s | 16 | 477360 | 149352 | 46879 5 | 32 | 61
307.53/307.63 c 293s | 16 | 479558 | 150352 | 46879 5 | 32 | 61
309.63/309.79 c 296s | 16 | 482441 | 151452 | 46879 5 | 32 | 61
311.93/312.00 c 298s | 16 | 484276 | 152452 | 46879 6 | 32 | 61
313.93/314.03 c 300s | 16 | 486127 | 153452 | 46879 6 | 32 | 61
316.03/316.13 c 302s | 16 | 488446 | 154652 | 46879 6 | 32 | 61
318.12/318.29 c 304s | 16 | 490539 | 155652 | 46879 6 | 32 | 61
320.32/320.41 c 306s | 16 | 492772 | 156752 | 46879 6 | 32 | 61
322.42/322.57 c 308s | 16 | 494416 | 157552 | 46879 6 | 32 | 61
324.53/324.65 c 311s | 16 | 496240 | 158452 | 46879 6 | 32 | 61
326.82/326.99 c 313s | 16 | 498070 | 159352 | 46879 6 | 32 | 61
328.93/329.07 c 315s | 16 | 500187 | 160452 | 46879 6 | 32 | 61
331.13/331.22 c 317s | 16 | 502397 | 161552 | 46879 6 | 32 | 61
333.12/333.28 c 319s | 16 | 504784 | 162452 | 46879 6 | 32 | 61
335.22/335.36 c 321s | 16 | 506230 | 163252 | 46879 6 | 32 | 61
337.22/337.37 c 323s | 16 | 508607 | 164152 | 46879 6 | 32 | 61
339.52/339.60 c 325s | 16 | 510312 | 164952 | 46879 6 | 32 | 61
341.62/341.72 c 328s | 16 | 512283 | 165852 | 46879 6 | 32 | 61
343.62/343.75 c 330s | 16 | 513940 | 166652 | 46879 6 | 32 | 61
345.82/345.96 c 332s | 16 | 516304 | 167652 | 46879 6 | 32 | 61
347.82/347.97 c 334s | 16 | 518244 | 168552 | 46879 6 | 32 | 61
350.02/350.17 c 336s | 16 | 520375 | 169552 | 46879 6 | 32 | 61
352.12/352.26 c 338s | 16 | 522343 | 170552 | 46879 6 | 32 | 61
354.23/354.33 c 340s | 16 | 524585 | 171552 | 46879 6 | 32 | 61
356.32/356.46 c 342s | 16 | 527269 | 172652 | 46879 6 | 32 | 61
358.42/358.57 c 344s | 16 | 529620 | 173552 | 46879 6 | 32 | 61
360.52/360.66 c 347s | 16 | 531562 | 174452 | 46879 6 | 32 | 61
362.72/362.80 c 349s | 16 | 533461 | 175352 | 46879 6 | 32 | 61
365.02/365.16 c 351s | 16 | 535647 | 176252 | 46879 7 | 32 | 61
367.22/367.40 c 353s | 16 | 537075 | 177052 | 46879 7 | 32 | 61
369.72/369.85 c 356s | 16 | 538723 | 177852 | 46879 7 | 32 | 61
371.82/371.91 c 358s | 16 | 540725 | 178652 | 46879 7 | 32 | 61
374.02/374.10 c 360s | 16 | 542352 | 179452 | 46879 7 | 32 | 61
376.01/376.15 c 362s | 16 | 545216 | 180452 | 46879 7 | 32 | 61
378.11/378.27 c 364s | 16 | 547756 | 181352 | 46879 7 | 32 | 61
380.31/380.44 c 366s | 16 | 549721 | 182252 | 46879 7 | 32 | 61
382.51/382.62 c 368s | 16 | 551550 | 182952 | 46879 7 | 32 | 61
384.51/384.64 c 370s | 16 | 552663 | 183652 | 51567 7 | 32 | 61
386.61/386.72 c 373s | 16 | 554376 | 184352 | 51567 7 | 32 | 61
388.71/388.84 c 375s | 16 | 555868 | 185052 | 51567 7 | 32 | 61
390.91/391.06 c 377s | 16 | 557332 | 185852 | 51567 7 | 32 | 61
395.81/395.99 c 382s | 16 | 558544 | 186452 | 51567 7 | 32 | 61
397.91/398.03 c 384s | 16 | 560726 | 187352 | 51567 7 | 32 | 61
399.91/400.06 c 386s | 16 | 563221 | 188252 | 51567 7 | 32 | 61
402.11/402.25 c 388s | 16 | 564988 | 189052 | 51567 7 | 32 | 61
404.21/404.35 c 390s | 16 | 566063 | 189652 | 51567 7 | 32 | 61
406.31/406.44 c 392s | 16 | 567856 | 190552 | 51567 7 | 32 | 61
408.31/408.45 c 394s | 16 | 570468 | 191552 | 51567 7 | 32 | 61
410.41/410.54 c 396s | 16 | 572845 | 192552 | 51567 7 | 32 | 61
412.61/412.72 c 399s | 16 | 574307 | 193252 | 51567 7 | 32 | 61
414.81/414.92 c 401s | 16 | 576661 | 194152 | 51567 7 | 32 | 61
416.82/416.92 c 403s | 16 | 577843 | 194852 | 51567 7 | 32 | 61
418.91/419.02 c 405s | 16 | 579321 | 195652 | 51567 7 | 32 | 61
420.91/421.05 c 407s | 16 | 580711 | 196352 | 51567 7 | 32 | 61
423.11/423.21 c 409s | 16 | 582443 | 197152 | 51567 7 | 32 | 61
423.81/423.99 c 410s | 17 | 582875 | 197432 | 51567 7 | 32 | 61
425.91/426.01 c 412s | 17 | 583922 | 198032 | 51567 7 | 32 | 61
428.11/428.22 c 414s | 17 | 585557 | 198832 | 51567 7 | 32 | 61
430.21/430.34 c 416s | 17 | 587073 | 199632 | 51567 7 | 32 | 61
432.31/432.45 c 418s | 17 | 588797 | 200532 | 51567 7 | 32 | 61
434.30/434.50 c 420s | 17 | 590572 | 201432 | 51567 7 | 32 | 61
436.50/436.69 c 423s | 17 | 592601 | 202432 | 51567 7 | 32 | 61
438.60/438.74 c 425s | 17 | 594473 | 203332 | 51567 7 | 32 | 61
440.70/440.85 c 427s | 17 | 596393 | 204332 | 51567 7 | 32 | 61
442.90/443.09 c 429s | 17 | 598080 | 205132 | 51567 8 | 32 | 61
445.10/445.26 c 431s | 17 | 600363 | 206232 | 51567 8 | 32 | 61
447.30/447.43 c 433s | 17 | 602622 | 207232 | 51567 8 | 32 | 61
449.50/449.61 c 435s | 17 | 604958 | 208232 | 51567 8 | 32 | 61
451.50/451.62 c 437s | 17 | 606562 | 209032 | 51567 8 | 32 | 61
453.60/453.71 c 440s | 17 | 608521 | 210232 | 51567 8 | 32 | 61
455.70/455.87 c 442s | 17 | 610623 | 211232 | 51567 8 | 32 | 61
457.70/457.89 c 444s | 17 | 612369 | 212132 | 51567 8 | 32 | 61
459.90/460.00 c 446s | 17 | 614024 | 212932 | 51567 8 | 32 | 61
462.00/462.17 c 448s | 17 | 615605 | 213832 | 51567 8 | 32 | 61
464.10/464.30 c 450s | 17 | 617159 | 214632 | 51567 8 | 32 | 61
466.50/466.61 c 452s | 17 | 618741 | 215432 | 51567 8 | 32 | 61
468.51/468.66 c 455s | 17 | 619840 | 215932 | 51567 8 | 32 | 61
470.60/470.77 c 457s | 17 | 621607 | 216732 | 51567 8 | 32 | 61
472.91/473.08 c 459s | 17 | 623236 | 217532 | 51567 8 | 32 | 61
475.11/475.24 c 461s | 17 | 624766 | 218232 | 51567 8 | 32 | 61
477.20/477.40 c 463s | 17 | 625995 | 218932 | 51567 8 | 32 | 61
479.40/479.59 c 465s | 17 | 627237 | 219632 | 51567 8 | 32 | 61
481.71/481.82 c 468s | 17 | 628708 | 220332 | 51567 8 | 32 | 61
484.10/484.23 c 470s | 17 | 630214 | 221132 | 51567 8 | 32 | 61
486.30/486.47 c 472s | 17 | 631283 | 221832 | 51567 8 | 32 | 61
488.30/488.50 c 474s | 17 | 632163 | 222432 | 51567 8 | 32 | 61
490.40/490.55 c 476s | 17 | 633130 | 223132 | 51567 8 | 32 | 61
492.50/492.62 c 478s | 17 | 634848 | 224032 | 51567 8 | 32 | 61
494.60/494.77 c 481s | 17 | 637006 | 225332 | 51567 8 | 32 | 61
496.70/496.80 c 483s | 17 | 638644 | 226232 | 51567 8 | 32 | 61
498.90/499.06 c 485s | 17 | 640064 | 227032 | 51567 8 | 32 | 61
501.10/501.22 c 487s | 17 | 641435 | 227832 | 51567 8 | 32 | 61
503.10/503.28 c 489s | 17 | 643107 | 228632 | 51567 8 | 32 | 61
505.30/505.47 c 491s | 17 | 644476 | 229332 | 51567 8 | 32 | 61
507.59/507.79 c 494s | 17 | 645981 | 230032 | 51567 8 | 32 | 61
509.89/510.00 c 496s | 17 | 647210 | 230632 | 51567 8 | 32 | 61
511.99/512.19 c 498s | 17 | 648396 | 231232 | 51567 8 | 32 | 61
514.09/514.24 c 500s | 17 | 649358 | 231732 | 51567 9 | 32 | 61
516.29/516.45 c 502s | 17 | 650659 | 232232 | 51567 9 | 32 | 61
518.49/518.68 c 505s | 17 | 651649 | 232732 | 51567 9 | 32 | 61
520.79/520.94 c 507s | 17 | 652566 | 233232 | 51567 9 | 32 | 61
523.09/523.23 c 509s | 17 | 653446 | 233732 | 51567 9 | 32 | 61
525.49/525.62 c 511s | 17 | 654635 | 234432 | 51567 9 | 32 | 61
527.79/527.91 c 514s | 17 | 656305 | 235232 | 51567 9 | 32 | 61
529.89/530.01 c 516s | 17 | 657443 | 235832 | 51567 9 | 32 | 61
531.89/532.05 c 518s | 17 | 658549 | 236432 | 51567 9 | 32 | 61
533.99/534.15 c 520s | 17 | 659629 | 237132 | 51567 9 | 32 | 61
536.19/536.32 c 522s | 17 | 660830 | 237832 | 51567 9 | 32 | 61
538.29/538.43 c 524s | 17 | 661651 | 238332 | 51567 9 | 32 | 61
540.49/540.64 c 526s | 17 | 662536 | 238832 | 51567 9 | 32 | 61
542.49/542.66 c 529s | 17 | 663564 | 239332 | 51567 9 | 32 | 61
544.89/545.01 c 531s | 17 | 664731 | 239932 | 51567 9 | 32 | 61
546.88/547.08 c 533s | 17 | 665619 | 240432 | 51567 9 | 32 | 61
548.98/549.12 c 535s | 17 | 666551 | 240932 | 51567 9 | 32 | 61
551.38/551.57 c 537s | 17 | 667745 | 241532 | 51567 9 | 32 | 61
553.48/553.64 c 539s | 17 | 668667 | 242032 | 51567 9 | 32 | 61
555.49/555.65 c 542s | 17 | 670146 | 242732 | 51567 9 | 32 | 61
557.78/557.90 c 544s | 17 | 671737 | 243532 | 51567 9 | 32 | 61
559.79/559.99 c 546s | 17 | 673318 | 244232 | 51567 9 | 32 | 61
561.88/562.02 c 548s | 17 | 674540 | 244932 | 51567 9 | 32 | 61
563.98/564.19 c 550s | 17 | 675960 | 245632 | 51567 9 | 32 | 61
566.08/566.21 c 552s | 17 | 677101 | 246232 | 51567 9 | 32 | 61
569.18/569.33 c 555s | 17 | 678702 | 247132 | 51567 9 | 32 | 61
571.17/571.39 c 557s | 17 | 680170 | 247932 | 51567 9 | 32 | 61
573.47/573.62 c 559s | 17 | 681404 | 248632 | 51567 9 | 32 | 61
575.77/575.94 c 562s | 17 | 682240 | 249232 | 51567 9 | 32 | 61
578.17/578.30 c 564s | 17 | 683301 | 249832 | 51567 9 | 32 | 61
580.57/580.73 c 567s | 17 | 684307 | 250432 | 51567 9 | 32 | 61
582.57/582.79 c 569s | 17 | 685476 | 251132 | 51567 9 | 32 | 61
584.77/584.93 c 571s | 17 | 687026 | 251932 | 51567 9 | 32 | 61
586.97/587.16 c 573s | 17 | 688171 | 252632 | 51567 9 | 32 | 61
589.17/589.35 c 575s | 17 | 689461 | 253332 | 51567 9 | 32 | 61
591.37/591.58 c 577s | 17 | 691124 | 254232 | 51567 9 | 32 | 61
593.46/593.60 c 579s | 17 | 692669 | 255132 | 51567 9 | 32 | 61
595.66/595.87 c 582s | 17 | 693880 | 255832 | 51567 9 | 32 | 61
597.96/598.10 c 584s | 17 | 695237 | 256532 | 51567 9 | 32 | 61
600.06/600.29 c 586s | 17 | 696514 | 257232 | 51567 9 | 32 | 61
602.06/602.29 c 588s | 17 | 697452 | 257732 | 51567 10 | 32 | 61
604.36/604.59 c 590s | 17 | 698607 | 258332 | 51567 10 | 32 | 61
606.66/606.87 c 593s | 17 | 700063 | 258932 | 51567 10 | 32 | 61
608.66/608.89 c 595s | 17 | 701028 | 259532 | 51567 10 | 32 | 61
610.76/610.95 c 597s | 17 | 702569 | 260332 | 51567 10 | 32 | 61
612.96/613.14 c 599s | 17 | 704211 | 261132 | 51567 10 | 32 | 61
614.96/615.19 c 601s | 17 | 705534 | 261832 | 51567 10 | 32 | 61
617.36/617.52 c 603s | 17 | 707054 | 262632 | 51567 10 | 32 | 61
619.46/619.69 c 606s | 17 | 708430 | 263432 | 51567 10 | 32 | 61
621.85/622.03 c 608s | 17 | 709790 | 264132 | 51567 10 | 32 | 61
624.05/624.25 c 610s | 17 | 710944 | 264832 | 51567 10 | 32 | 61
626.25/626.41 c 612s | 17 | 712397 | 265732 | 51567 10 | 32 | 61
628.35/628.54 c 614s | 17 | 713080 | 266132 | 51567 10 | 32 | 61
630.45/630.65 c 617s | 17 | 714147 | 266832 | 51567 10 | 32 | 61
632.75/632.91 c 619s | 17 | 715510 | 267732 | 51567 10 | 32 | 61
634.75/634.99 c 621s | 17 | 716898 | 268532 | 51567 10 | 32 | 61
637.05/637.25 c 623s | 17 | 718570 | 269532 | 51567 10 | 32 | 61
639.05/639.26 c 625s | 17 | 719852 | 270332 | 51567 10 | 32 | 61
641.25/641.42 c 627s | 17 | 720935 | 271032 | 51567 10 | 32 | 61
643.24/643.49 c 629s | 17 | 722174 | 271732 | 51567 10 | 32 | 61
645.44/645.64 c 631s | 17 | 723429 | 272432 | 51567 10 | 32 | 61
647.64/647.80 c 634s | 17 | 724577 | 273132 | 51567 10 | 32 | 61
649.64/649.88 c 636s | 17 | 725709 | 273832 | 51567 10 | 32 | 61
651.84/652.01 c 638s | 17 | 726996 | 274632 | 51567 10 | 32 | 61
654.04/654.23 c 640s | 17 | 728186 | 275332 | 51567 10 | 32 | 61
656.24/656.41 c 642s | 17 | 729067 | 275932 | 51567 10 | 32 | 61
658.34/658.53 c 644s | 17 | 730715 | 276832 | 51567 10 | 32 | 61
660.54/660.74 c 647s | 17 | 731869 | 277532 | 51567 10 | 32 | 61
662.54/662.76 c 649s | 17 | 733066 | 278232 | 51567 10 | 32 | 61
664.84/665.04 c 651s | 17 | 734315 | 279032 | 51567 10 | 32 | 61
666.94/667.18 c 653s | 17 | 735330 | 279632 | 51567 10 | 32 | 61
669.24/669.43 c 655s | 17 | 736320 | 280132 | 51567 10 | 32 | 61
671.43/671.66 c 658s | 17 | 737110 | 280632 | 51567 10 | 32 | 61
673.63/673.87 c 660s | 17 | 738491 | 281332 | 51567 10 | 32 | 61
675.83/676.09 c 662s | 17 | 739403 | 281832 | 56724 10 | 32 | 61
678.13/678.34 c 664s | 17 | 740362 | 282432 | 56724 10 | 32 | 61
680.33/680.53 c 666s | 17 | 741492 | 283032 | 56724 10 | 32 | 61
682.33/682.56 c 668s | 17 | 742410 | 283532 | 56724 10 | 32 | 61
684.53/684.74 c 671s | 17 | 743327 | 284132 | 56724 10 | 32 | 61
686.53/686.78 c 673s | 17 | 744672 | 284832 | 56724 10 | 32 | 61
688.63/688.80 c 675s | 17 | 745865 | 285432 | 56724 10 | 32 | 61
690.74/690.94 c 677s | 17 | 747005 | 286132 | 56724 10 | 32 | 61
692.73/692.97 c 679s | 17 | 748287 | 286832 | 56724 10 | 32 | 61
695.03/695.29 c 681s | 17 | 749462 | 287632 | 56724 10 | 32 | 61
697.23/697.48 c 683s | 17 | 750486 | 288332 | 56724 10 | 32 | 61
699.43/699.62 c 685s | 17 | 751641 | 288932 | 56724 10 | 32 | 61
702.13/702.32 c 688s | 17 | 752275 | 289332 | 56724 11 | 32 | 61
704.43/704.61 c 690s | 17 | 753361 | 289932 | 56724 11 | 32 | 61
706.43/706.67 c 693s | 17 | 754449 | 290532 | 56724 11 | 32 | 61
708.53/708.73 c 695s | 17 | 755473 | 291132 | 56724 11 | 32 | 61
710.83/711.04 c 697s | 17 | 756208 | 291632 | 56724 11 | 32 | 61
713.03/713.27 c 699s | 17 | 757166 | 292132 | 56724 11 | 32 | 61
715.23/715.43 c 701s | 17 | 758105 | 292732 | 56724 11 | 32 | 61
717.53/717.71 c 704s | 17 | 759395 | 293532 | 56724 11 | 32 | 61
719.73/719.91 c 706s | 17 | 760569 | 294232 | 56724 11 | 32 | 61
721.93/722.17 c 708s | 17 | 761426 | 294832 | 56724 11 | 32 | 61
724.03/724.27 c 710s | 17 | 762174 | 295332 | 56724 11 | 32 | 61
726.13/726.32 c 712s | 17 | 763213 | 295932 | 56724 11 | 32 | 61
726.93/727.17 c 713s | 18 | 763871 | 296252 | 56724 11 | 32 | 61
729.53/729.70 c 716s | 18 | 764649 | 296752 | 56724 11 | 32 | 61
731.82/732.01 c 718s | 18 | 765458 | 297252 | 56724 11 | 32 | 61
733.92/734.13 c 720s | 18 | 766377 | 297752 | 56724 11 | 32 | 61
736.32/736.57 c 722s | 18 | 767258 | 298252 | 56724 11 | 32 | 61
738.42/738.62 c 724s | 18 | 767990 | 298752 | 56724 11 | 32 | 61
740.72/740.96 c 727s | 18 | 768985 | 299352 | 56724 11 | 32 | 61
743.02/743.26 c 729s | 18 | 769844 | 299852 | 56724 11 | 32 | 61
745.22/745.47 c 731s | 18 | 770466 | 300252 | 56724 11 | 32 | 61
747.32/747.57 c 733s | 18 | 771329 | 300652 | 56724 11 | 32 | 61
749.52/749.77 c 736s | 18 | 771949 | 301052 | 56724 11 | 32 | 61
752.12/752.30 c 738s | 18 | 772523 | 301452 | 56724 11 | 32 | 61
754.12/754.36 c 740s | 18 | 772987 | 301752 | 56724 11 | 32 | 61
756.72/756.94 c 743s | 18 | 773620 | 302152 | 56724 11 | 32 | 61
759.22/759.41 c 745s | 18 | 774181 | 302552 | 56724 11 | 32 | 61
761.32/761.52 c 747s | 18 | 774866 | 302952 | 56724 11 | 32 | 61
763.32/763.59 c 749s | 18 | 775666 | 303452 | 56724 11 | 32 | 61
765.61/765.88 c 752s | 18 | 776665 | 304052 | 56724 11 | 32 | 61
767.91/768.12 c 754s | 18 | 777592 | 304652 | 56724 11 | 32 | 61
770.01/770.27 c 756s | 18 | 778359 | 305152 | 56724 11 | 32 | 61
772.41/772.62 c 758s | 18 | 779147 | 305652 | 56724 11 | 32 | 61
774.41/774.67 c 761s | 18 | 779846 | 306152 | 56724 11 | 32 | 61
776.61/776.83 c 763s | 18 | 780551 | 306552 | 56724 11 | 32 | 61
778.81/779.00 c 765s | 18 | 781414 | 307152 | 56724 11 | 32 | 61
781.11/781.30 c 767s | 18 | 782223 | 307652 | 56724 11 | 32 | 61
783.31/783.50 c 769s | 18 | 782872 | 308052 | 56724 11 | 32 | 61
785.81/786.08 c 772s | 18 | 783584 | 308452 | 56724 11 | 32 | 61
788.01/788.27 c 774s | 18 | 784312 | 308852 | 56724 11 | 32 | 61
790.41/790.68 c 777s | 18 | 785332 | 309352 | 56724 11 | 32 | 61
792.61/792.81 c 779s | 18 | 786218 | 309752 | 56724 11 | 32 | 61
794.91/795.14 c 781s | 18 | 786857 | 310152 | 56724 11 | 32 | 61
797.21/797.48 c 783s | 18 | 787803 | 310652 | 56724 11 | 32 | 61
799.41/799.61 c 785s | 18 | 788507 | 311152 | 56724 11 | 32 | 61
801.61/801.80 c 788s | 18 | 789416 | 311652 | 56724 11 | 32 | 61
803.81/804.03 c 790s | 18 | 790414 | 312252 | 56724 11 | 32 | 61
806.11/806.38 c 792s | 18 | 791219 | 312752 | 56724 11 | 32 | 61
808.21/808.44 c 794s | 18 | 793191 | 313652 | 56724 11 | 32 | 61
810.20/810.46 c 796s | 18 | 794773 | 314452 | 56724 11 | 32 | 61
812.30/812.50 c 798s | 18 | 796411 | 315252 | 56724 11 | 32 | 61
814.60/814.81 c 801s | 18 | 797412 | 315752 | 56724 11 | 32 | 61
817.00/817.21 c 803s | 18 | 798395 | 316252 | 56724 11 | 32 | 61
819.00/819.24 c 805s | 18 | 799109 | 316752 | 56724 11 | 32 | 61
821.30/821.53 c 807s | 18 | 800539 | 317552 | 56724 11 | 32 | 61
823.71/823.97 c 810s | 18 | 801387 | 318052 | 56724 11 | 32 | 61
826.01/826.25 c 812s | 18 | 802343 | 318552 | 56724 12 | 32 | 61
828.11/828.40 c 814s | 18 | 803140 | 319052 | 56724 12 | 32 | 61
830.70/830.92 c 817s | 18 | 803878 | 319552 | 56724 12 | 32 | 61
833.00/833.22 c 819s | 18 | 804531 | 319952 | 56724 12 | 32 | 61
835.00/835.25 c 821s | 18 | 805618 | 320452 | 56724 12 | 32 | 61
837.50/837.78 c 824s | 18 | 806707 | 321052 | 56724 12 | 32 | 61
839.80/840.01 c 826s | 18 | 807609 | 321552 | 56724 12 | 32 | 61
841.99/842.21 c 828s | 18 | 808443 | 322052 | 56724 12 | 32 | 61
843.99/844.24 c 830s | 18 | 809855 | 322552 | 56724 12 | 32 | 61
846.09/846.34 c 832s | 18 | 810700 | 323052 | 56724 12 | 32 | 61
848.29/848.50 c 834s | 18 | 811749 | 323552 | 56724 12 | 32 | 61
850.39/850.60 c 836s | 18 | 812708 | 324052 | 56724 12 | 32 | 61
852.59/852.81 c 839s | 18 | 813997 | 324652 | 56724 12 | 32 | 61
854.60/854.84 c 841s | 18 | 815085 | 325152 | 56724 12 | 32 | 61
856.89/857.12 c 843s | 18 | 816017 | 325652 | 56724 12 | 32 | 61
859.09/859.37 c 845s | 18 | 816741 | 326052 | 56724 12 | 32 | 61
861.48/861.76 c 848s | 18 | 817665 | 326552 | 56724 12 | 32 | 61
863.68/863.98 c 850s | 18 | 818357 | 326952 | 56724 12 | 32 | 61
866.08/866.38 c 852s | 18 | 818971 | 327352 | 56724 12 | 32 | 61
868.79/869.03 c 855s | 18 | 819543 | 327752 | 56724 12 | 32 | 61
870.78/871.07 c 857s | 18 | 820373 | 328252 | 56724 12 | 32 | 61
872.98/873.26 c 859s | 18 | 822084 | 328852 | 56724 12 | 32 | 61
875.28/875.51 c 861s | 18 | 823204 | 329452 | 56724 12 | 32 | 61
877.59/877.87 c 864s | 18 | 824541 | 330052 | 56724 12 | 32 | 61
879.89/880.15 c 866s | 18 | 825489 | 330552 | 56724 12 | 32 | 61
882.18/882.46 c 868s | 18 | 826199 | 330952 | 56724 12 | 32 | 61
884.77/885.08 c 871s | 18 | 826763 | 331152 | 56724 12 | 32 | 61
886.77/887.08 c 873s | 18 | 827618 | 331552 | 56724 12 | 32 | 61
888.87/889.10 c 875s | 18 | 828751 | 332152 | 56724 12 | 32 | 61
891.07/891.31 c 877s | 18 | 830600 | 332952 | 56724 12 | 32 | 61
894.68/894.97 c 881s | 18 | 830937 | 333052 | 56724 12 | 32 | 61
896.88/897.13 c 883s | 18 | 832244 | 333752 | 56724 12 | 32 | 61
898.88/899.14 c 885s | 18 | 833993 | 334552 | 56724 12 | 32 | 61
901.08/901.33 c 887s | 18 | 835652 | 335352 | 56724 12 | 32 | 61
903.27/903.59 c 889s | 18 | 837267 | 336152 | 56724 12 | 32 | 61
905.37/905.64 c 892s | 18 | 838425 | 336852 | 56724 12 | 32 | 61
907.47/907.71 c 894s | 18 | 839553 | 337552 | 56724 12 | 32 | 61
909.58/909.89 c 896s | 18 | 840888 | 338252 | 56724 12 | 32 | 61
911.78/912.04 c 898s | 18 | 841970 | 338852 | 56724 12 | 32 | 61
913.88/914.17 c 900s | 18 | 843428 | 339552 | 56724 12 | 32 | 61
915.97/916.26 c 902s | 18 | 844411 | 340152 | 56724 12 | 32 | 61
918.28/918.53 c 904s | 18 | 845746 | 340952 | 56724 12 | 32 | 61
920.27/920.56 c 906s | 18 | 847063 | 341652 | 56724 12 | 32 | 61
922.57/922.87 c 909s | 18 | 848247 | 342352 | 56724 12 | 32 | 61
924.77/925.03 c 911s | 18 | 849238 | 342952 | 56724 12 | 32 | 61
926.87/927.16 c 913s | 18 | 850808 | 343652 | 56724 12 | 32 | 61
929.17/929.49 c 915s | 18 | 852415 | 344552 | 56724 12 | 32 | 61
931.37/931.62 c 917s | 18 | 853395 | 345152 | 56724 12 | 32 | 61
933.67/933.90 c 920s | 18 | 854692 | 345852 | 56724 12 | 32 | 61
935.77/936.03 c 922s | 18 | 855768 | 346552 | 56724 12 | 32 | 61
938.17/938.41 c 924s | 18 | 856575 | 347152 | 56724 13 | 32 | 61
940.86/941.17 c 927s | 18 | 857782 | 347652 | 56724 13 | 32 | 61
942.86/943.18 c 929s | 18 | 859156 | 348352 | 56724 13 | 32 | 61
945.06/945.39 c 931s | 18 | 860800 | 349152 | 56724 13 | 32 | 61
947.26/947.54 c 933s | 18 | 862328 | 349952 | 56724 13 | 32 | 61
949.56/949.83 c 936s | 18 | 863923 | 350752 | 56724 13 | 32 | 61
951.86/952.10 c 938s | 18 | 865663 | 351552 | 56724 13 | 32 | 61
954.06/954.31 c 940s | 18 | 866906 | 352252 | 56724 13 | 32 | 61
956.56/956.86 c 943s | 18 | 868666 | 353052 | 56724 13 | 32 | 61
958.76/959.09 c 945s | 18 | 869742 | 353652 | 56724 13 | 32 | 61
961.05/961.31 c 947s | 18 | 871136 | 354252 | 56724 13 | 32 | 61
963.15/963.46 c 949s | 18 | 872340 | 354852 | 56724 13 | 32 | 61
965.35/965.65 c 952s | 18 | 874083 | 355652 | 56724 13 | 32 | 61
967.45/967.77 c 954s | 18 | 875276 | 356352 | 56724 13 | 32 | 61
969.75/970.04 c 956s | 18 | 876503 | 357052 | 56724 13 | 32 | 61
971.85/972.12 c 958s | 18 | 877927 | 357752 | 56724 13 | 32 | 61
973.95/974.22 c 960s | 18 | 879553 | 358452 | 56724 13 | 32 | 61
975.95/976.26 c 962s | 18 | 880779 | 359052 | 56724 13 | 32 | 61
978.15/978.49 c 964s | 18 | 881959 | 359652 | 56724 13 | 32 | 61
980.45/980.71 c 967s | 18 | 884289 | 360052 | 56724 13 | 32 | 61
982.65/982.92 c 969s | 18 | 885741 | 360752 | 56724 13 | 32 | 61
984.75/985.00 c 971s | 18 | 887195 | 361452 | 56724 13 | 32 | 61
986.85/987.14 c 973s | 18 | 889359 | 362252 | 56724 13 | 32 | 61
988.85/989.19 c 975s | 18 | 890635 | 362852 | 56724 13 | 32 | 61
990.95/991.27 c 977s | 18 | 892129 | 363552 | 56724 13 | 32 | 61
993.05/993.32 c 979s | 18 | 894249 | 364452 | 56724 13 | 32 | 61
995.35/995.61 c 981s | 18 | 896194 | 365252 | 56724 13 | 32 | 61
997.35/997.67 c 984s | 18 | 897954 | 366052 | 56724 13 | 32 | 61
999.35/999.68 c 986s | 18 | 900200 | 366752 | 56724 13 | 32 | 61
1001.44/1001.73 c 988s | 18 | 901993 | 367452 | 56724 13 | 32 | 61
1003.54/1003.85 c 990s | 18 | 903955 | 368252 | 56724 13 | 32 | 61
1005.74/1006.02 c 992s | 18 | 905517 | 368952 | 56724 13 | 32 | 61
1008.04/1008.30 c 994s | 18 | 906390 | 369552 | 56724 13 | 32 | 61
1010.24/1010.58 c 996s | 18 | 908088 | 370352 | 56724 13 | 32 | 61
1012.54/1012.82 c 999s | 18 | 910611 | 371252 | 56724 13 | 32 | 61
1014.54/1014.84 c 1001s | 18 | 912829 | 372152 | 56724 13 | 32 | 61
1016.64/1016.91 c 1003s | 18 | 914467 | 372852 | 56724 13 | 32 | 61
1018.84/1019.14 c 1005s | 18 | 916111 | 373552 | 56724 13 | 32 | 61
1021.34/1021.61 c 1007s | 18 | 917494 | 374252 | 56724 13 | 32 | 61
1023.44/1023.71 c 1010s | 18 | 919000 | 374852 | 56724 13 | 32 | 61
1025.44/1025.72 c 1012s | 18 | 920302 | 375452 | 56724 13 | 32 | 61
1027.94/1028.20 c 1014s | 18 | 921807 | 376052 | 56724 14 | 32 | 61
1031.33/1031.68 c 1018s | 18 | 922684 | 376352 | 56724 14 | 32 | 61
1033.63/1033.95 c 1020s | 18 | 924055 | 376952 | 56724 14 | 32 | 61
1036.54/1036.81 c 1023s | 18 | 924860 | 377252 | 56724 14 | 32 | 61
1038.64/1038.92 c 1025s | 18 | 926555 | 378152 | 56724 14 | 32 | 61
1040.94/1041.24 c 1027s | 18 | 928339 | 378852 | 56724 14 | 32 | 61
1043.24/1043.58 c 1029s | 18 | 929987 | 379552 | 56724 14 | 32 | 61
1045.44/1045.73 c 1032s | 18 | 931697 | 380152 | 56724 14 | 32 | 61
1047.73/1048.03 c 1034s | 18 | 933857 | 380952 | 56724 14 | 32 | 61
1049.93/1050.22 c 1036s | 18 | 935199 | 381652 | 56724 14 | 32 | 61
1052.13/1052.41 c 1038s | 18 | 936812 | 382352 | 56724 14 | 32 | 61
1054.33/1054.60 c 1040s | 18 | 938016 | 383052 | 56724 14 | 32 | 61
1056.33/1056.67 c 1043s | 18 | 939317 | 383652 | 56724 14 | 32 | 61
1058.53/1058.84 c 1045s | 18 | 942721 | 384452 | 56724 14 | 32 | 61
1060.63/1060.99 c 1047s | 18 | 946080 | 385452 | 56724 14 | 32 | 61
1062.83/1063.15 c 1049s | 18 | 948038 | 386252 | 56724 14 | 32 | 61
1064.93/1065.21 c 1051s | 18 | 949992 | 387052 | 56724 14 | 32 | 61
1067.03/1067.35 c 1053s | 18 | 951814 | 387852 | 56724 14 | 32 | 61
1069.23/1069.56 c 1055s | 18 | 953122 | 388652 | 56724 14 | 32 | 61
1071.23/1071.57 c 1057s | 18 | 954668 | 389352 | 56724 14 | 32 | 61
1073.43/1073.77 c 1060s | 18 | 956242 | 390152 | 56724 14 | 32 | 61
1075.63/1075.90 c 1062s | 18 | 957481 | 390852 | 56724 14 | 32 | 61
1077.73/1078.06 c 1064s | 18 | 958822 | 391552 | 56724 14 | 32 | 61
1079.82/1080.19 c 1066s | 18 | 960290 | 392252 | 56724 14 | 32 | 61
1081.92/1082.21 c 1068s | 18 | 961496 | 392952 | 56724 14 | 32 | 61
1084.02/1084.32 c 1070s | 18 | 962873 | 393652 | 56724 14 | 32 | 61
1086.21/1086.58 c 1072s | 18 | 964474 | 394352 | 56724 14 | 32 | 61
1088.72/1089.03 c 1075s | 18 | 965478 | 394952 | 56724 14 | 32 | 61
1090.92/1091.25 c 1077s | 18 | 966523 | 395552 | 56724 14 | 32 | 61
1092.91/1093.26 c 1079s | 18 | 968141 | 396252 | 56724 14 | 32 | 61
1095.01/1095.35 c 1081s | 18 | 969438 | 396952 | 56724 14 | 32 | 61
1097.11/1097.44 c 1083s | 18 | 973658 | 397952 | 56724 14 | 32 | 61
1099.21/1099.54 c 1085s | 18 | 976242 | 398852 | 56724 14 | 32 | 61
1101.31/1101.69 c 1088s | 18 | 980239 | 399952 | 56724 14 | 32 | 61
1103.51/1103.81 c 1090s | 18 | 983566 | 400852 | 56724 14 | 32 | 61
1105.71/1106.09 c 1092s | 18 | 985371 | 401652 | 56724 14 | 32 | 61
1107.91/1108.20 c 1094s | 18 | 986115 | 402152 | 56724 14 | 32 | 61
1110.01/1110.39 c 1096s | 18 | 989244 | 402952 | 56724 14 | 32 | 61
1112.21/1112.52 c 1098s | 18 | 992880 | 403852 | 56724 14 | 32 | 61
1114.51/1114.83 c 1101s | 18 | 996646 | 404652 | 56724 15 | 32 | 61
1116.71/1117.03 c 1103s | 18 | 999039 | 405452 | 56724 15 | 32 | 61
1118.81/1119.11 c 1105s | 18 | 1000935 | 406152 | 56724 15 | 32 | 61
1120.90/1121.26 c 1107s | 18 | 1004669 | 407052 | 56724 15 | 32 | 61
1123.10/1123.49 c 1109s | 18 | 1008801 | 408152 | 56724 15 | 32 | 61
1125.20/1125.57 c 1111s | 18 | 1011554 | 409052 | 56724 15 | 32 | 61
1127.31/1127.65 c 1114s | 18 | 1014121 | 409852 | 56724 15 | 32 | 61
1129.30/1129.66 c 1116s | 18 | 1017154 | 410652 | 56724 15 | 32 | 61
1131.40/1131.73 c 1118s | 18 | 1019922 | 411452 | 56724 15 | 32 | 61
1133.50/1133.83 c 1120s | 18 | 1022056 | 412152 | 56724 15 | 32 | 61
1135.80/1136.12 c 1122s | 18 | 1023704 | 412852 | 56724 15 | 32 | 61
1137.90/1138.22 c 1124s | 18 | 1025329 | 413452 | 56724 15 | 32 | 61
1140.10/1140.48 c 1126s | 18 | 1029496 | 414352 | 56724 15 | 32 | 61
1142.20/1142.57 c 1128s | 18 | 1032486 | 415052 | 56724 15 | 32 | 61
1144.50/1144.81 c 1131s | 18 | 1034495 | 415752 | 56724 15 | 32 | 61
1146.60/1146.91 c 1133s | 18 | 1037593 | 416452 | 56724 15 | 32 | 61
1148.90/1149.26 c 1135s | 18 | 1039342 | 417152 | 56724 15 | 32 | 61
1151.00/1151.31 c 1137s | 18 | 1041000 | 417752 | 56724 15 | 32 | 61
1153.19/1153.53 c 1139s | 18 | 1043475 | 418652 | 56724 15 | 32 | 61
1155.19/1155.57 c 1141s | 18 | 1046861 | 419452 | 56724 15 | 32 | 61
1157.29/1157.68 c 1144s | 18 | 1048553 | 420152 | 56724 15 | 32 | 61
1159.49/1159.80 c 1146s | 18 | 1050521 | 420852 | 56724 15 | 32 | 61
1161.49/1161.87 c 1148s | 18 | 1052245 | 421552 | 56724 15 | 32 | 61
1163.69/1164.05 c 1150s | 18 | 1054847 | 422352 | 56724 15 | 32 | 61
1165.70/1166.09 c 1152s | 18 | 1057305 | 423052 | 56724 15 | 32 | 61
1167.79/1168.18 c 1154s | 18 | 1059620 | 423752 | 56724 15 | 32 | 61
1169.79/1170.18 c 1156s | 18 | 1061390 | 424352 | 56724 15 | 32 | 61
1171.99/1172.39 c 1158s | 18 | 1063290 | 425152 | 56724 15 | 32 | 61
1174.39/1174.73 c 1161s | 18 | 1064786 | 425852 | 56724 15 | 32 | 61
1176.49/1176.84 c 1163s | 18 | 1066603 | 426452 | 56724 15 | 32 | 61
1178.79/1179.14 c 1165s | 18 | 1068276 | 427152 | 56724 15 | 32 | 61
1180.89/1181.22 c 1167s | 18 | 1069696 | 427752 | 56724 15 | 32 | 61
1182.89/1183.29 c 1169s | 18 | 1072046 | 428452 | 56724 15 | 32 | 61
1184.99/1185.30 c 1171s | 18 | 1073582 | 429052 | 62397 15 | 32 | 61
1187.29/1187.62 c 1173s | 18 | 1075437 | 429752 | 62397 15 | 32 | 61
1189.39/1189.77 c 1176s | 18 | 1077505 | 430452 | 62397 15 | 32 | 61
1191.39/1191.79 c 1178s | 18 | 1079466 | 431252 | 62397 15 | 32 | 61
1193.59/1193.98 c 1180s | 18 | 1081334 | 431952 | 62397 15 | 32 | 61
1195.89/1196.26 c 1182s | 18 | 1084269 | 432852 | 62397 15 | 32 | 61
1198.19/1198.55 c 1184s | 18 | 1086740 | 433652 | 62397 15 | 32 | 61
1200.39/1200.76 c 1187s | 18 | 1088862 | 434552 | 62397 15 | 32 | 61
1202.69/1203.03 c 1189s | 18 | 1090569 | 435252 | 62397 15 | 32 | 61
1204.68/1205.08 c 1191s | 18 | 1092174 | 435852 | 62397 15 | 32 | 61
1206.68/1207.08 c 1193s | 18 | 1093613 | 436352 | 62397 15 | 32 | 61
1208.88/1209.25 c 1195s | 18 | 1095353 | 436952 | 62397 15 | 32 | 61
1210.98/1211.32 c 1197s | 18 | 1097280 | 437652 | 62397 15 | 32 | 61
1213.18/1213.53 c 1199s | 18 | 1099269 | 438452 | 62397 15 | 32 | 61
1215.58/1215.92 c 1202s | 18 | 1102060 | 439252 | 62397 16 | 32 | 61
1217.78/1218.15 c 1204s | 18 | 1104638 | 440252 | 62397 16 | 32 | 61
1219.88/1220.30 c 1206s | 18 | 1107125 | 441152 | 62397 16 | 32 | 61
1222.18/1222.59 c 1208s | 18 | 1109205 | 441952 | 62397 16 | 32 | 61
1224.38/1224.79 c 1211s | 18 | 1110470 | 442552 | 62397 16 | 32 | 61
1226.59/1226.97 c 1213s | 18 | 1112630 | 443352 | 62397 16 | 32 | 61
1228.69/1229.01 c 1215s | 18 | 1114164 | 444052 | 62397 16 | 32 | 61
1229.99/1230.34 c 1216s | 19 | 1116050 | 444482 | 62397 16 | 32 | 61
1232.19/1232.51 c 1218s | 19 | 1117288 | 444882 | 62397 16 | 32 | 61
1234.29/1234.65 c 1221s | 19 | 1120217 | 445682 | 62397 16 | 32 | 61
1236.39/1236.70 c 1223s | 19 | 1122295 | 446582 | 62397 16 | 32 | 61
1238.39/1238.79 c 1225s | 19 | 1125584 | 447482 | 62397 16 | 32 | 61
1240.59/1240.91 c 1227s | 19 | 1129181 | 448382 | 62397 16 | 32 | 61
1242.69/1243.03 c 1229s | 19 | 1133482 | 449682 | 62397 16 | 32 | 61
1244.78/1245.14 c 1231s | 19 | 1137259 | 450782 | 62397 16 | 32 | 61
1246.78/1247.19 c 1233s | 19 | 1140832 | 451882 | 62397 16 | 32 | 61
1248.98/1249.31 c 1235s | 19 | 1144881 | 452982 | 62397 16 | 32 | 61
1250.98/1251.36 c 1237s | 19 | 1148574 | 454182 | 62397 16 | 32 | 61
1253.08/1253.48 c 1239s | 19 | 1153121 | 455282 | 62397 16 | 32 | 61
1255.28/1255.63 c 1241s | 19 | 1156606 | 456382 | 62397 16 | 32 | 61
1257.38/1257.73 c 1244s | 19 | 1159179 | 457282 | 62397 16 | 32 | 61
1259.38/1259.80 c 1246s | 19 | 1161798 | 458082 | 62397 16 | 32 | 61
1261.58/1261.94 c 1248s | 19 | 1163978 | 458882 | 62397 16 | 32 | 61
1263.68/1264.01 c 1250s | 19 | 1166809 | 460082 | 62397 16 | 32 | 61
1265.68/1266.07 c 1252s | 19 | 1169026 | 461182 | 62397 16 | 32 | 61
1267.78/1268.16 c 1254s | 19 | 1171930 | 462382 | 62397 16 | 32 | 61
1269.88/1270.26 c 1256s | 19 | 1175262 | 463382 | 62397 16 | 32 | 61
1271.98/1272.39 c 1258s | 19 | 1177512 | 464382 | 62397 16 | 32 | 61
1274.18/1274.51 c 1260s | 19 | 1181052 | 465382 | 62397 16 | 32 | 61
1276.28/1276.67 c 1263s | 19 | 1183541 | 466382 | 62397 16 | 32 | 61
1278.47/1278.82 c 1265s | 19 | 1186954 | 467482 | 62397 16 | 32 | 61
1280.47/1280.84 c 1267s | 19 | 1193691 | 468982 | 62397 16 | 32 | 61
1282.57/1282.91 c 1269s | 19 | 1199126 | 470282 | 62397 16 | 32 | 61
1284.67/1285.03 c 1271s | 19 | 1203436 | 471682 | 62397 17 | 32 | 61
1286.68/1287.05 c 1273s | 19 | 1208427 | 473282 | 62397 17 | 32 | 61
1288.88/1289.24 c 1275s | 19 | 1214415 | 474782 | 62397 17 | 32 | 61
1290.87/1291.25 c 1277s | 19 | 1219290 | 475982 | 62397 17 | 32 | 61
1293.28/1293.67 c 1280s | 19 | 1224094 | 477382 | 62397 17 | 32 | 61
1295.37/1295.76 c 1282s | 19 | 1229042 | 478782 | 62397 17 | 32 | 61
1297.47/1297.89 c 1284s | 19 | 1235124 | 480082 | 62397 17 | 32 | 61
1299.57/1299.94 c 1286s | 19 | 1242131 | 481582 | 62397 17 | 32 | 61
1301.57/1301.97 c 1288s | 19 | 1246773 | 483082 | 62397 17 | 32 | 61
1303.77/1304.18 c 1290s | 19 | 1251515 | 484482 | 62397 17 | 32 | 61
1305.87/1306.28 c 1292s | 19 | 1253083 | 485082 | 62397 17 | 32 | 61
1308.17/1308.50 c 1294s | 19 | 1256151 | 485982 | 62397 17 | 32 | 61
1310.17/1310.59 c 1296s | 19 | 1258444 | 486782 | 62397 17 | 32 | 61
1312.27/1312.68 c 1299s | 19 | 1261205 | 487582 | 62397 17 | 32 | 61
1314.57/1314.92 c 1301s | 19 | 1263194 | 488282 | 62397 17 | 32 | 61
1316.87/1317.22 c 1303s | 19 | 1264496 | 488882 | 62397 17 | 32 | 61
1319.07/1319.42 c 1305s | 19 | 1266111 | 489482 | 62397 17 | 32 | 61
1321.17/1321.53 c 1307s | 19 | 1268890 | 490482 | 62397 17 | 32 | 61
1323.17/1323.53 c 1309s | 19 | 1273552 | 491682 | 62397 17 | 32 | 61
1325.27/1325.64 c 1311s | 19 | 1278343 | 493182 | 62397 17 | 32 | 61
1327.37/1327.80 c 1314s | 19 | 1282782 | 494682 | 62397 17 | 32 | 61
1329.47/1329.88 c 1316s | 19 | 1287717 | 496082 | 62397 17 | 32 | 61
1331.67/1332.09 c 1318s | 19 | 1291476 | 497282 | 62397 17 | 32 | 61
1333.77/1334.13 c 1320s | 19 | 1294493 | 498382 | 62397 17 | 32 | 61
1335.77/1336.14 c 1322s | 19 | 1298699 | 499782 | 62397 17 | 32 | 61
1337.87/1338.21 c 1324s | 19 | 1301800 | 501282 | 62397 17 | 32 | 61
1340.17/1340.52 c 1326s | 19 | 1306020 | 502582 | 62397 18 | 32 | 61
1342.27/1342.60 c 1328s | 19 | 1310257 | 503882 | 62397 18 | 32 | 61
1344.26/1344.62 c 1330s | 19 | 1314082 | 505082 | 62397 18 | 32 | 61
1346.26/1346.65 c 1333s | 19 | 1319948 | 506482 | 62397 18 | 32 | 61
1348.37/1348.75 c 1335s | 19 | 1324366 | 507782 | 62397 18 | 32 | 61
1350.47/1350.85 c 1337s | 19 | 1330281 | 509282 | 62397 18 | 32 | 61
1352.56/1352.97 c 1339s | 19 | 1335111 | 510582 | 62397 18 | 32 | 61
1354.66/1355.00 c 1341s | 19 | 1337372 | 511482 | 62397 18 | 32 | 61
1356.66/1357.08 c 1343s | 19 | 1339710 | 512682 | 62397 18 | 32 | 61
1358.66/1359.09 c 1345s | 19 | 1343102 | 513882 | 62397 18 | 32 | 61
1360.86/1361.20 c 1347s | 19 | 1348534 | 515282 | 62397 18 | 32 | 61
1362.86/1363.23 c 1349s | 19 | 1353476 | 516582 | 62397 18 | 32 | 61
1364.87/1365.23 c 1351s | 19 | 1356453 | 517782 | 62397 18 | 32 | 61
1366.86/1367.28 c 1353s | 19 | 1360852 | 518982 | 62397 18 | 32 | 61
1368.96/1369.30 c 1355s | 19 | 1364983 | 520282 | 62397 18 | 32 | 61
1371.06/1371.44 c 1357s | 19 | 1369164 | 521482 | 62397 18 | 32 | 61
1373.06/1373.47 c 1359s | 19 | 1372713 | 522482 | 62397 18 | 32 | 61
1375.16/1375.54 c 1361s | 19 | 1376874 | 523482 | 62397 18 | 32 | 61
1377.36/1377.72 c 1364s | 19 | 1381528 | 524782 | 62397 18 | 32 | 61
1379.46/1379.81 c 1366s | 19 | 1385231 | 526082 | 62397 18 | 32 | 61
1381.46/1381.85 c 1368s | 19 | 1388939 | 527282 | 62397 18 | 32 | 61
1383.57/1383.99 c 1370s | 19 | 1392194 | 528482 | 62397 18 | 32 | 61
1385.77/1386.14 c 1372s | 19 | 1397084 | 529782 | 62397 18 | 32 | 61
1387.76/1388.17 c 1374s | 19 | 1401217 | 530982 | 62397 18 | 32 | 61
1389.86/1390.29 c 1376s | 19 | 1405852 | 532282 | 62397 18 | 32 | 61
1391.96/1392.37 c 1378s | 19 | 1408995 | 533382 | 62397 18 | 32 | 61
1394.16/1394.60 c 1380s | 19 | 1412968 | 534482 | 62397 19 | 32 | 61
1396.26/1396.61 c 1382s | 19 | 1415889 | 535582 | 62397 19 | 32 | 61
1398.36/1398.72 c 1385s | 19 | 1419158 | 536582 | 62397 19 | 32 | 61
1400.46/1400.89 c 1387s | 19 | 1422756 | 537882 | 62397 19 | 32 | 61
1403.15/1403.60 c 1389s | 19 | 1424471 | 538482 | 62397 19 | 32 | 61
1405.35/1405.76 c 1392s | 19 | 1427786 | 539682 | 62397 19 | 32 | 61
1407.55/1407.94 c 1394s | 19 | 1431040 | 540882 | 62397 19 | 32 | 61
1409.65/1410.08 c 1396s | 19 | 1434553 | 542082 | 62397 19 | 32 | 61
1411.75/1412.18 c 1398s | 19 | 1438124 | 543282 | 62397 19 | 32 | 61
1413.75/1414.19 c 1400s | 19 | 1441344 | 544382 | 62397 19 | 32 | 61
1415.85/1416.21 c 1402s | 19 | 1445028 | 545482 | 62397 19 | 32 | 61
1417.85/1418.26 c 1404s | 19 | 1448094 | 546482 | 62397 19 | 32 | 61
1419.95/1420.34 c 1406s | 19 | 1450863 | 547582 | 62397 19 | 32 | 61
1421.96/1422.40 c 1408s | 19 | 1452937 | 548582 | 62397 19 | 32 | 61
1424.16/1424.60 c 1410s | 19 | 1456188 | 549782 | 62397 19 | 32 | 61
1426.25/1426.64 c 1413s | 19 | 1459345 | 550882 | 62397 19 | 32 | 61
1428.35/1428.72 c 1415s | 19 | 1463306 | 552182 | 62397 19 | 32 | 61
1430.35/1430.77 c 1417s | 19 | 1466011 | 553282 | 62397 19 | 32 | 61
1432.45/1432.80 c 1419s | 19 | 1469444 | 554282 | 62397 19 | 32 | 61
1434.55/1434.96 c 1421s | 19 | 1472894 | 555382 | 62397 19 | 32 | 61
1436.65/1437.06 c 1423s | 19 | 1477053 | 556582 | 62397 19 | 32 | 61
1438.75/1439.17 c 1425s | 19 | 1479994 | 557582 | 62397 19 | 32 | 61
1440.95/1441.35 c 1427s | 19 | 1483412 | 558682 | 62397 19 | 32 | 61
1443.06/1443.45 c 1429s | 19 | 1487301 | 559882 | 62397 19 | 32 | 61
1445.06/1445.45 c 1431s | 19 | 1489708 | 560782 | 62397 19 | 32 | 61
1447.16/1447.57 c 1433s | 19 | 1492684 | 561782 | 62397 19 | 32 | 61
1449.35/1449.73 c 1436s | 19 | 1496084 | 562882 | 62397 19 | 32 | 61
1451.35/1451.75 c 1438s | 19 | 1497962 | 563782 | 62397 19 | 32 | 61
1453.55/1453.91 c 1440s | 19 | 1500720 | 564682 | 62397 19 | 32 | 61
1455.65/1456.03 c 1442s | 19 | 1504218 | 565582 | 62397 20 | 32 | 61
1457.65/1458.04 c 1444s | 19 | 1508194 | 566682 | 62397 20 | 32 | 61
1459.85/1460.20 c 1446s | 19 | 1512810 | 567982 | 62397 20 | 32 | 61
1461.85/1462.26 c 1448s | 19 | 1516474 | 569282 | 62397 20 | 32 | 61
1463.95/1464.37 c 1450s | 19 | 1520501 | 570482 | 62397 20 | 32 | 61
1466.06/1466.44 c 1452s | 19 | 1525025 | 571682 | 62397 20 | 32 | 61
1468.16/1468.52 c 1454s | 19 | 1528554 | 572882 | 62397 20 | 32 | 61
1470.15/1470.52 c 1456s | 19 | 1531451 | 573982 | 62397 20 | 32 | 61
1472.15/1472.52 c 1458s | 19 | 1534839 | 575082 | 62397 20 | 32 | 61
1474.15/1474.54 c 1460s | 19 | 1538989 | 576282 | 62397 20 | 32 | 61
1476.15/1476.55 c 1462s | 19 | 1542056 | 577482 | 62397 20 | 32 | 61
1478.35/1478.76 c 1465s | 19 | 1545350 | 578682 | 62397 20 | 32 | 61
1480.45/1480.88 c 1467s | 19 | 1550075 | 579982 | 62397 20 | 32 | 61
1482.65/1483.01 c 1469s | 19 | 1551827 | 580582 | 62397 20 | 32 | 61
1484.66/1485.02 c 1471s | 19 | 1554138 | 581582 | 62397 20 | 32 | 61
1486.75/1487.14 c 1473s | 19 | 1557835 | 582682 | 62397 20 | 32 | 61
1488.75/1489.17 c 1475s | 19 | 1560972 | 583682 | 62397 20 | 32 | 61
1490.85/1491.29 c 1477s | 19 | 1565670 | 584982 | 62397 20 | 32 | 61
1493.05/1493.42 c 1479s | 19 | 1569547 | 586182 | 62397 20 | 32 | 61
1495.15/1495.58 c 1481s | 19 | 1573320 | 587182 | 62397 20 | 32 | 61
1497.25/1497.67 c 1484s | 19 | 1575531 | 587982 | 62397 20 | 32 | 61
1499.25/1499.69 c 1486s | 19 | 1577749 | 588582 | 62397 20 | 32 | 61
1501.35/1501.74 c 1488s | 19 | 1581606 | 589582 | 62397 20 | 32 | 61
1503.35/1503.78 c 1490s | 19 | 1583167 | 590482 | 62397 20 | 32 | 61
1505.55/1505.91 c 1492s | 19 | 1585375 | 591382 | 62397 20 | 32 | 61
1507.54/1507.98 c 1494s | 19 | 1589570 | 592582 | 62397 20 | 32 | 61
1509.74/1510.12 c 1496s | 19 | 1593151 | 593782 | 62397 20 | 32 | 61
1511.74/1512.12 c 1498s | 19 | 1596103 | 594682 | 62397 20 | 32 | 61
1513.74/1514.15 c 1500s | 19 | 1598915 | 595682 | 62397 20 | 32 | 61
1515.84/1516.20 c 1502s | 19 | 1601987 | 596682 | 62397 20 | 32 | 61
1518.44/1518.90 c 1505s | 19 | 1603671 | 597382 | 62397 21 | 32 | 61
1520.64/1521.04 c 1507s | 19 | 1605850 | 598382 | 62397 21 | 32 | 61
1522.84/1523.20 c 1509s | 19 | 1608146 | 599482 | 62397 21 | 32 | 61
1524.84/1525.24 c 1511s | 19 | 1609982 | 600482 | 62397 21 | 32 | 61
1527.04/1527.40 c 1513s | 19 | 1612229 | 601582 | 62397 21 | 32 | 61
1529.14/1529.56 c 1515s | 19 | 1614328 | 602682 | 62397 21 | 32 | 61
1531.24/1531.67 c 1518s | 19 | 1616383 | 603782 | 62397 21 | 32 | 61
1533.34/1533.73 c 1520s | 19 | 1618150 | 604682 | 62397 21 | 32 | 61
1535.44/1535.83 c 1522s | 19 | 1620025 | 605682 | 62397 21 | 32 | 61
1537.54/1537.94 c 1524s | 19 | 1621609 | 606582 | 62397 21 | 32 | 61
1539.64/1540.04 c 1526s | 19 | 1624298 | 607782 | 62397 21 | 32 | 61
1541.64/1542.05 c 1528s | 19 | 1628420 | 609082 | 62397 21 | 32 | 61
1543.84/1544.22 c 1530s | 19 | 1632301 | 610382 | 62397 21 | 32 | 61
1545.84/1546.29 c 1532s | 19 | 1635451 | 611482 | 62397 21 | 32 | 61
1547.94/1548.35 c 1534s | 19 | 1639300 | 612682 | 62397 21 | 32 | 61
1550.24/1550.67 c 1537s | 19 | 1641632 | 613582 | 62397 21 | 32 | 61
1552.34/1552.79 c 1539s | 19 | 1644863 | 614582 | 62397 21 | 32 | 61
1554.43/1554.80 c 1541s | 19 | 1648683 | 615582 | 62397 21 | 32 | 61
1556.53/1556.99 c 1543s | 19 | 1652263 | 616682 | 62397 21 | 32 | 61
1558.63/1559.03 c 1545s | 19 | 1654960 | 617682 | 62397 21 | 32 | 61
1560.73/1561.15 c 1547s | 19 | 1656621 | 618482 | 62397 21 | 32 | 61
1562.93/1563.30 c 1549s | 19 | 1658190 | 619382 | 62397 21 | 32 | 61
1564.94/1565.35 c 1551s | 19 | 1659627 | 620182 | 62397 21 | 32 | 61
1567.03/1567.50 c 1553s | 19 | 1663301 | 621382 | 62397 21 | 32 | 61
1569.13/1569.59 c 1555s | 19 | 1666532 | 622482 | 62397 21 | 32 | 61
1571.23/1571.66 c 1558s | 19 | 1668410 | 623282 | 62397 21 | 32 | 61
1573.33/1573.78 c 1560s | 19 | 1670043 | 624082 | 62397 21 | 32 | 61
1575.33/1575.79 c 1562s | 19 | 1672107 | 624882 | 62397 21 | 32 | 61
1577.43/1577.89 c 1564s | 19 | 1674648 | 625882 | 62397 21 | 32 | 61
1579.63/1580.02 c 1566s | 19 | 1679661 | 627182 | 62397 21 | 32 | 61
1581.73/1582.19 c 1568s | 19 | 1682051 | 628282 | 62397 21 | 32 | 61
1585.23/1585.61 c 1571s | 19 | 1683070 | 628882 | 62397 22 | 32 | 61
1587.33/1587.72 c 1574s | 19 | 1684706 | 629782 | 62397 22 | 32 | 61
1589.43/1589.89 c 1576s | 19 | 1687071 | 630882 | 62397 22 | 32 | 61
1591.53/1591.96 c 1578s | 19 | 1689349 | 631782 | 62397 22 | 32 | 61
1597.22/1597.63 c 1583s | 19 | 1691428 | 632382 | 62397 22 | 32 | 61
1599.32/1599.72 c 1586s | 19 | 1694171 | 633382 | 62397 22 | 32 | 61
1601.42/1601.81 c 1588s | 19 | 1697630 | 634582 | 62397 22 | 32 | 61
1603.43/1603.82 c 1590s | 19 | 1700823 | 635682 | 62397 22 | 32 | 61
1605.63/1606.05 c 1592s | 19 | 1703578 | 636782 | 62397 22 | 32 | 61
1607.72/1608.16 c 1594s | 19 | 1706442 | 637782 | 62397 22 | 32 | 61
1609.82/1610.23 c 1596s | 19 | 1710258 | 638982 | 62397 22 | 32 | 61
1611.92/1612.38 c 1598s | 19 | 1713797 | 640282 | 62397 22 | 32 | 61
1614.12/1614.53 c 1600s | 19 | 1716792 | 641382 | 62397 22 | 32 | 61
1616.22/1616.68 c 1603s | 19 | 1720849 | 642582 | 62397 22 | 32 | 61
1618.32/1618.71 c 1605s | 19 | 1724205 | 643782 | 62397 22 | 32 | 61
1620.32/1620.72 c 1607s | 19 | 1728663 | 644982 | 62397 22 | 32 | 61
1622.32/1622.74 c 1609s | 19 | 1732107 | 646082 | 62397 22 | 32 | 61
1624.43/1624.89 c 1611s | 19 | 1735567 | 647282 | 62397 22 | 32 | 61
1626.63/1627.07 c 1613s | 19 | 1738331 | 648382 | 62397 22 | 32 | 61
1628.73/1629.17 c 1615s | 19 | 1740045 | 649182 | 62397 22 | 32 | 61
1630.72/1631.18 c 1617s | 19 | 1743712 | 650282 | 68637 22 | 32 | 61
1632.72/1633.18 c 1619s | 19 | 1747729 | 651382 | 68637 22 | 32 | 61
1634.82/1635.21 c 1621s | 19 | 1750488 | 652382 | 68637 22 | 32 | 61
1636.92/1637.36 c 1623s | 19 | 1755002 | 653482 | 68637 22 | 32 | 61
1638.93/1639.37 c 1625s | 19 | 1757264 | 654382 | 68637 22 | 32 | 61
1641.13/1641.55 c 1627s | 19 | 1760659 | 655382 | 68637 22 | 32 | 61
1643.23/1643.67 c 1630s | 19 | 1764071 | 656482 | 68637 22 | 32 | 61
1645.23/1645.68 c 1632s | 19 | 1767738 | 657582 | 68637 22 | 32 | 61
1647.32/1647.74 c 1634s | 19 | 1769943 | 658482 | 68637 22 | 32 | 61
1649.42/1649.87 c 1636s | 19 | 1772994 | 659482 | 68637 22 | 32 | 61
1651.52/1651.91 c 1638s | 19 | 1775647 | 660382 | 68637 22 | 32 | 61
1653.52/1653.95 c 1640s | 19 | 1777442 | 661182 | 68637 22 | 32 | 61
1655.52/1655.98 c 1642s | 19 | 1781203 | 662182 | 68637 22 | 32 | 61
1657.72/1658.13 c 1644s | 19 | 1784825 | 663382 | 68637 22 | 32 | 61
1659.92/1660.38 c 1646s | 19 | 1788097 | 664482 | 68637 22 | 32 | 61
1662.12/1662.55 c 1648s | 19 | 1790532 | 665382 | 68637 22 | 32 | 61
1664.62/1665.04 c 1651s | 19 | 1793775 | 666482 | 68637 23 | 32 | 61
1665.22/1665.66 c 1652s | 20 | 1794851 | 666827 | 68637 23 | 32 | 61
1667.33/1667.72 c 1654s | 20 | 1797077 | 667527 | 68637 23 | 32 | 61
1669.43/1669.85 c 1656s | 20 | 1798803 | 668327 | 68637 23 | 32 | 61
1671.62/1672.00 c 1658s | 20 | 1803106 | 669727 | 68637 23 | 32 | 61
1673.62/1674.03 c 1660s | 20 | 1806755 | 670827 | 68637 23 | 32 | 61
1675.62/1676.07 c 1662s | 20 | 1809902 | 671627 | 68637 23 | 32 | 61
1677.72/1678.15 c 1664s | 20 | 1814134 | 672827 | 68637 23 | 32 | 61
1679.92/1680.33 c 1666s | 20 | 1817730 | 674027 | 68637 23 | 32 | 61
1682.02/1682.45 c 1668s | 20 | 1821775 | 675127 | 68637 23 | 32 | 61
1684.12/1684.57 c 1670s | 20 | 1825434 | 676127 | 68637 23 | 32 | 61
1686.11/1686.57 c 1672s | 20 | 1828839 | 677227 | 68637 23 | 32 | 61
1688.12/1688.59 c 1674s | 20 | 1832140 | 678327 | 68637 23 | 32 | 61
1690.21/1690.68 c 1677s | 20 | 1835347 | 679427 | 68637 23 | 32 | 61
1692.31/1692.78 c 1679s | 20 | 1836681 | 680227 | 68637 23 | 32 | 61
1694.41/1694.88 c 1681s | 20 | 1838729 | 681127 | 68637 23 | 32 | 61
1696.51/1696.95 c 1683s | 20 | 1842065 | 682127 | 68637 23 | 32 | 61
1698.51/1698.95 c 1685s | 20 | 1844366 | 683027 | 68637 23 | 32 | 61
1700.71/1701.10 c 1687s | 20 | 1846393 | 683727 | 68637 23 | 32 | 61
1702.81/1703.25 c 1689s | 20 | 1849671 | 684727 | 68637 23 | 32 | 61
1704.81/1705.29 c 1691s | 20 | 1852309 | 685627 | 68637 23 | 32 | 61
1706.91/1707.34 c 1693s | 20 | 1855331 | 686527 | 68637 23 | 32 | 61
1709.11/1709.57 c 1695s | 20 | 1858295 | 687527 | 68637 23 | 32 | 61
1711.21/1711.69 c 1698s | 20 | 1860762 | 688427 | 68637 23 | 32 | 61
1713.41/1713.88 c 1700s | 20 | 1863049 | 689427 | 68637 23 | 32 | 61
1715.41/1715.88 c 1702s | 20 | 1865343 | 690327 | 68637 23 | 32 | 61
1717.50/1717.96 c 1704s | 20 | 1868200 | 691327 | 68637 23 | 32 | 61
1719.50/1719.99 c 1706s | 20 | 1870614 | 692227 | 68637 23 | 32 | 61
1721.60/1722.07 c 1708s | 20 | 1873942 | 693227 | 68637 23 | 32 | 61
1723.80/1724.21 c 1710s | 20 | 1878454 | 694227 | 68637 23 | 32 | 61
1726.00/1726.44 c 1712s | 20 | 1882290 | 695327 | 68637 23 | 32 | 61
1728.10/1728.58 c 1714s | 20 | 1884978 | 696327 | 68637 23 | 32 | 61
1730.20/1730.60 c 1716s | 20 | 1887998 | 697227 | 68637 23 | 32 | 61
1732.40/1732.82 c 1719s | 20 | 1891236 | 698227 | 68637 23 | 32 | 61
1734.50/1734.98 c 1721s | 20 | 1893410 | 699227 | 68637 23 | 32 | 61
1736.80/1737.28 c 1723s | 20 | 1894691 | 700027 | 68637 23 | 32 | 61
1739.10/1739.50 c 1725s | 20 | 1896241 | 700727 | 68637 23 | 32 | 61
1741.30/1741.74 c 1728s | 20 | 1897389 | 701327 | 68637 24 | 32 | 61
1743.50/1743.93 c 1730s | 20 | 1898607 | 702027 | 68637 24 | 32 | 61
1745.60/1746.08 c 1732s | 20 | 1899788 | 702727 | 68637 24 | 32 | 61
1747.61/1748.08 c 1734s | 20 | 1900920 | 703427 | 68637 24 | 32 | 61
1749.81/1750.22 c 1736s | 20 | 1902516 | 704327 | 68637 24 | 32 | 61
1751.80/1752.23 c 1738s | 20 | 1903852 | 705127 | 68637 24 | 32 | 61
1753.90/1754.39 c 1740s | 20 | 1905294 | 705927 | 68637 24 | 32 | 61
1756.10/1756.52 c 1742s | 20 | 1907233 | 706827 | 68637 24 | 32 | 61
1758.20/1758.60 c 1744s | 20 | 1908764 | 707727 | 68637 24 | 32 | 61
1760.20/1760.61 c 1746s | 20 | 1910085 | 708527 | 68637 24 | 32 | 61
1762.30/1762.73 c 1749s | 20 | 1911423 | 709327 | 68637 24 | 32 | 61
1764.40/1764.84 c 1751s | 20 | 1913556 | 710227 | 68637 24 | 32 | 61
1766.50/1766.97 c 1753s | 20 | 1915093 | 711127 | 68637 24 | 32 | 61
1768.70/1769.16 c 1755s | 20 | 1916879 | 712027 | 68637 24 | 32 | 61
1770.80/1771.27 c 1757s | 20 | 1918182 | 712827 | 68637 24 | 32 | 61
1773.00/1773.48 c 1759s | 20 | 1919767 | 713727 | 68637 24 | 32 | 61
1775.30/1775.71 c 1762s | 20 | 1921559 | 714627 | 68637 24 | 32 | 61
1780.20/1780.69 c 1767s | 20 | 1923318 | 715527 | 68637 24 | 32 | 61
1782.40/1782.84 c 1769s | 20 | 1925869 | 716527 | 68637 24 | 32 | 61
1784.50/1784.92 c 1771s | 20 | 1929831 | 717627 | 68637 24 | 32 | 61
1786.60/1787.05 c 1773s | 20 | 1932437 | 718627 | 68637 24 | 32 | 61
1788.70/1789.16 c 1775s | 20 | 1935930 | 719727 | 68637 24 | 32 | 61
1790.80/1791.25 c 1777s | 20 | 1938767 | 720827 | 68637 24 | 32 | 61
1792.80/1793.28 c 1779s | 20 | 1942771 | 722127 | 68637 24 | 32 | 61
1794.91/1795.31 c 1781s | 20 | 1947147 | 723327 | 68637 24 | 32 | 61
1797.00/1797.46 c 1783s | 20 | 1950242 | 724427 | 68637 24 | 32 | 61
1799.20/1799.68 c 1786s | 20 | 1953578 | 725627 | 68637 24 | 32 | 61
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-4079998-1465277622/watcher-4079998-1465277622 -o /tmp/evaluation-result-4079998-1465277622/solver-4079998-1465277622 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4331 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079998-1465277622.opb
pid=7413
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.14 2.16 3/179 7416
/proc/meminfo: memFree=27191220/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/7416/stat : 7416 (runsolver) R 7413 7416 4315 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 109695841 24911872 151 33554432000 4194304 4338465 140737215125264 140737215122904 226084342967 0 0 4096 24578 0 0 0 17 6 0 0 0 0 0
/proc/7416/statm: 6082 151 105 36 0 2655 0
[startup+0.100124 s]
/proc/loadavg: 2.09 2.14 2.16 3/179 7416
/proc/meminfo: memFree=27191220/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1221188 CPUtime=0.08 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 24760 0 0 0 5 3 0 0 20 0 4 0 109695841 1250496512 25059 33554432000 4194304 16246674 140737017930544 140737017929856 8058796 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7416/statm: 305297 25074 799 2943 0 302191 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188
[startup+0.20033 s]
/proc/loadavg: 2.09 2.14 2.16 3/179 7416
/proc/meminfo: memFree=27191220/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1306180 CPUtime=0.18 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 46641 0 0 0 11 7 0 0 20 0 4 0 109695841 1337528320 47450 33554432000 4194304 16246674 140737017930544 140737017929856 4221105 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7416/statm: 326545 47453 800 2943 0 323439 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1306180
[startup+0.300305 s]
/proc/loadavg: 2.09 2.14 2.16 3/179 7416
/proc/meminfo: memFree=27191220/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1314372 CPUtime=0.28 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 50684 0 0 0 20 8 0 0 20 0 4 0 109695841 1345916928 51494 33554432000 4194304 16246674 140737017930544 140737017912448 6972786 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7416/statm: 328593 51502 835 2943 0 325487 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1314372
[startup+0.700249 s]
/proc/loadavg: 2.09 2.14 2.16 3/179 7416
/proc/meminfo: memFree=27191220/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1314372 CPUtime=0.68 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 121490 0 0 0 49 19 0 0 20 0 4 0 109695841 1345916928 122300 33554432000 4194304 16246674 140737017930544 140737017912448 13932337 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7416/statm: 328593 122307 835 2943 0 325487 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372
[startup+1.50035 s]
/proc/loadavg: 2.16 2.15 2.16 3/183 7420
/proc/meminfo: memFree=26499000/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1325636 CPUtime=1.48 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 172826 0 0 0 122 26 0 0 20 0 4 0 109695841 1357451264 173635 33554432000 4194304 16246674 140737017930544 140737017912448 6012041 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7416/statm: 331409 173635 912 2943 0 328303 0
[pid=7416/tid=7418] ppid=7413 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7418/stat : 7418 (toysat) S 7413 7416 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109695842 1357451264 173635 33554432000 4194304 16246674 140737017930544 140100090440944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7419/stat : 7419 (toysat) S 7413 7416 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109695842 1357451264 173635 33554432000 4194304 16246674 140737017930544 140100079951088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7420/stat : 7420 (toysat) S 7413 7416 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109695842 1357451264 173635 33554432000 4194304 16246674 140737017930544 140100069477552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1325636
[startup+3.10036 s]
/proc/loadavg: 2.16 2.15 2.16 3/183 7420
/proc/meminfo: memFree=26497744/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1325636 CPUtime=3.08 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 172828 0 0 0 282 26 0 0 20 0 4 0 109695841 1357451264 173637 33554432000 4194304 16246674 140737017930544 140737017912448 5712608 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7416/statm: 331409 173637 914 2943 0 328303 0
[pid=7416/tid=7418] ppid=7413 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7418/stat : 7418 (toysat) S 7413 7416 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109695842 1357451264 173637 33554432000 4194304 16246674 140737017930544 140100090440944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7419/stat : 7419 (toysat) S 7413 7416 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109695842 1357451264 173637 33554432000 4194304 16246674 140737017930544 140100079951088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7420/stat : 7420 (toysat) S 7413 7416 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109695842 1357451264 173637 33554432000 4194304 16246674 140737017930544 140100069477552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1325636
[startup+6.30037 s]
/proc/loadavg: 2.16 2.15 2.16 3/183 7420
/proc/meminfo: memFree=26497652/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1325636 CPUtime=6.28 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 172834 0 0 0 601 27 0 0 20 0 4 0 109695841 1357451264 173643 33554432000 4194304 16246674 140737017930544 140737017912448 12874792 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7416/statm: 331409 173643 919 2943 0 328303 0
[pid=7416/tid=7418] ppid=7413 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7418/stat : 7418 (toysat) S 7413 7416 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109695842 1357451264 173643 33554432000 4194304 16246674 140737017930544 140100090440944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7419/stat : 7419 (toysat) S 7413 7416 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109695842 1357451264 173643 33554432000 4194304 16246674 140737017930544 140100079951088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7420/stat : 7420 (toysat) S 7413 7416 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109695842 1357451264 173643 33554432000 4194304 16246674 140737017930544 140100069477552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1325636
[startup+12.7004 s]
/proc/loadavg: 2.14 2.15 2.16 3/183 7420
/proc/meminfo: memFree=26497576/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1325636 CPUtime=12.68 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 172836 0 0 0 1241 27 0 0 20 0 4 0 109695841 1357451264 173645 33554432000 4194304 16246674 140737017930544 140737017929640 5546214 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7416/statm: 331409 173645 921 2943 0 328303 0
[pid=7416/tid=7418] ppid=7413 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7418/stat : 7418 (toysat) S 7413 7416 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109695842 1357451264 173645 33554432000 4194304 16246674 140737017930544 140100090440944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7419/stat : 7419 (toysat) S 7413 7416 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109695842 1357451264 173645 33554432000 4194304 16246674 140737017930544 140100079951088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7420/stat : 7420 (toysat) S 7413 7416 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109695842 1357451264 173645 33554432000 4194304 16246674 140737017930544 140100069477552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1325636
[startup+25.5004 s]
/proc/loadavg: 2.12 2.14 2.16 3/183 7420
/proc/meminfo: memFree=26088460/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1325636 CPUtime=25.47 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 272119 0 0 0 2507 40 0 0 20 0 4 0 109695841 1357451264 272928 33554432000 4194304 16246674 140737017930544 140737017912448 13781188 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7416/statm: 331409 272928 921 2943 0 328303 0
[pid=7416/tid=7418] ppid=7413 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7418/stat : 7418 (toysat) S 7413 7416 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109695842 1357451264 272928 33554432000 4194304 16246674 140737017930544 140100090440944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7419/stat : 7419 (toysat) S 7413 7416 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109695842 1357451264 272928 33554432000 4194304 16246674 140737017930544 140100079951088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7420/stat : 7420 (toysat) S 7413 7416 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109695842 1357451264 272928 33554432000 4194304 16246674 140737017930544 140100069477552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1325636
[startup+51.1004 s]
/proc/loadavg: 2.08 2.13 2.15 3/183 7420
/proc/meminfo: memFree=26087552/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1325636 CPUtime=51.07 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 272119 0 0 0 5066 41 0 0 20 0 4 0 109695841 1357451264 272928 33554432000 4194304 16246674 140737017930544 140737017912448 5721677 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7416/statm: 331409 272928 921 2943 0 328303 0
[pid=7416/tid=7418] ppid=7413 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7418/stat : 7418 (toysat) S 7413 7416 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109695842 1357451264 272928 33554432000 4194304 16246674 140737017930544 140100090440944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7419/stat : 7419 (toysat) S 7413 7416 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109695842 1357451264 272928 33554432000 4194304 16246674 140737017930544 140100079951088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7420/stat : 7420 (toysat) S 7413 7416 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109695842 1357451264 272928 33554432000 4194304 16246674 140737017930544 140100069477552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1325636
[startup+102.3 s]
/proc/loadavg: 2.10 2.12 2.15 3/183 7421
/proc/meminfo: memFree=26057964/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1333828 CPUtime=102.27 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 274019 0 0 0 10185 42 0 0 20 0 4 0 109695841 1365839872 274828 33554432000 4194304 16246674 140737017930544 140737017912448 5672209 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7416/statm: 333457 274828 921 2943 0 330351 0
[pid=7416/tid=7418] ppid=7413 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7418/stat : 7418 (toysat) S 7413 7416 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109695842 1365839872 274828 33554432000 4194304 16246674 140737017930544 140100090440944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7419/stat : 7419 (toysat) S 7413 7416 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109695842 1365839872 274828 33554432000 4194304 16246674 140737017930544 140100079951088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7420/stat : 7420 (toysat) S 7413 7416 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109695842 1365839872 274828 33554432000 4194304 16246674 140737017930544 140100069477552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1333828
[startup+162.3 s]
/proc/loadavg: 2.28 2.16 2.16 3/183 7423
/proc/meminfo: memFree=26035504/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1334852 CPUtime=162.25 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 274423 0 0 0 16183 42 0 0 20 0 4 0 109695841 1366888448 275232 33554432000 4194304 16246674 140737017930544 140737017912448 6013193 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7416/statm: 333713 275232 921 2943 0 330607 0
[pid=7416/tid=7418] ppid=7413 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7418/stat : 7418 (toysat) S 7413 7416 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109695842 1366888448 275232 33554432000 4194304 16246674 140737017930544 140100090440944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7419/stat : 7419 (toysat) S 7413 7416 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109695842 1366888448 275232 33554432000 4194304 16246674 140737017930544 140100079951088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7420/stat : 7420 (toysat) S 7413 7416 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109695842 1366888448 275232 33554432000 4194304 16246674 140737017930544 140100069477552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1334852
[startup+222.307 s]
/proc/loadavg: 2.33 2.19 2.17 4/183 7424
/proc/meminfo: memFree=26006644/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1342020 CPUtime=222.25 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 276215 0 0 0 22182 43 0 0 20 0 4 0 109695841 1374228480 277024 33554432000 4194304 16246674 140737017930544 140737017912448 5600312 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7416/statm: 335505 277024 921 2943 0 332399 0
[pid=7416/tid=7418] ppid=7413 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7418/stat : 7418 (toysat) S 7413 7416 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109695842 1374228480 277024 33554432000 4194304 16246674 140737017930544 140100090440944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7419/stat : 7419 (toysat) S 7413 7416 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109695842 1374228480 277024 33554432000 4194304 16246674 140737017930544 140100079951088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7420/stat : 7420 (toysat) S 7413 7416 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109695842 1374228480 277024 33554432000 4194304 16246674 140737017930544 140100069477552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1342020
################
# More data... #
################
/proc/7416/task/7420/stat : 7420 (toysat) S 7413 7416 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100069477552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1423940
[startup+1302.3 s]
/proc/loadavg: 2.17 2.14 2.12 4/183 7500
/proc/meminfo: memFree=27736668/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1423940 CPUtime=1301.97 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 296885 0 0 0 130145 52 0 0 20 0 4 0 109695841 1458114560 297507 33554432000 4194304 16246674 140737017930544 140737017912448 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7416/statm: 355985 297507 921 2943 0 352879 0
[pid=7416/tid=7418] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7418/stat : 7418 (toysat) S 7413 7416 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100090440944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7419/stat : 7419 (toysat) S 7413 7416 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100079951088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7420/stat : 7420 (toysat) S 7413 7416 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100069477552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1423940
[startup+1362.3 s]
/proc/loadavg: 2.23 2.17 2.13 3/183 7501
/proc/meminfo: memFree=27736780/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1423940 CPUtime=1361.96 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 296885 0 0 0 136144 52 0 0 20 0 4 0 109695841 1458114560 297507 33554432000 4194304 16246674 140737017930544 140737017912448 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7416/statm: 355985 297507 921 2943 0 352879 0
[pid=7416/tid=7418] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7418/stat : 7418 (toysat) S 7413 7416 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100090440944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7419/stat : 7419 (toysat) S 7413 7416 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100079951088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7420/stat : 7420 (toysat) S 7413 7416 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100069477552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1423940
[startup+1422.3 s]
/proc/loadavg: 2.21 2.17 2.13 3/183 7503
/proc/meminfo: memFree=27679712/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1423940 CPUtime=1421.96 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 296885 0 0 0 142144 52 0 0 20 0 4 0 109695841 1458114560 297507 33554432000 4194304 16246674 140737017930544 140737017929720 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7416/statm: 355985 297507 921 2943 0 352879 0
[pid=7416/tid=7418] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7418/stat : 7418 (toysat) S 7413 7416 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100090440944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7419/stat : 7419 (toysat) S 7413 7416 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100079951088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7420/stat : 7420 (toysat) S 7413 7416 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100069477552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1423940
[startup+1482.3 s]
/proc/loadavg: 2.12 2.15 2.12 3/183 7504
/proc/meminfo: memFree=27592356/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1423940 CPUtime=1481.95 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 296885 0 0 0 148142 53 0 0 20 0 4 0 109695841 1458114560 297507 33554432000 4194304 16246674 140737017930544 140737017912448 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7416/statm: 355985 297507 921 2943 0 352879 0
[pid=7416/tid=7418] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7418/stat : 7418 (toysat) S 7413 7416 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100090440944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7419/stat : 7419 (toysat) S 7413 7416 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100079951088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7420/stat : 7420 (toysat) S 7413 7416 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100069477552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1423940
[startup+1542.31 s]
/proc/loadavg: 2.25 2.18 2.13 4/183 7505
/proc/meminfo: memFree=27480148/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1423940 CPUtime=1541.94 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 296885 0 0 0 154141 53 0 0 20 0 4 0 109695841 1458114560 297507 33554432000 4194304 16246674 140737017930544 140737017912448 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7416/statm: 355985 297507 921 2943 0 352879 0
[pid=7416/tid=7418] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7418/stat : 7418 (toysat) S 7413 7416 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100090440944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7419/stat : 7419 (toysat) S 7413 7416 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100079951088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7420/stat : 7420 (toysat) S 7413 7416 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100069477552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1423940
[startup+1602.3 s]
/proc/loadavg: 2.14 2.16 2.13 3/184 7509
/proc/meminfo: memFree=27479360/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1423940 CPUtime=1601.92 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 296885 0 0 0 160139 53 0 0 20 0 4 0 109695841 1458114560 297507 33554432000 4194304 16246674 140737017930544 140737017912448 5722652 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7416/statm: 355985 297507 921 2943 0 352879 0
[pid=7416/tid=7418] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7418/stat : 7418 (toysat) S 7413 7416 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100090440944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7419/stat : 7419 (toysat) S 7413 7416 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100079951088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7420/stat : 7420 (toysat) S 7413 7416 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100069477552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1423940
[startup+1662.3 s]
/proc/loadavg: 2.16 2.16 2.13 4/183 7533
/proc/meminfo: memFree=27479148/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1423940 CPUtime=1661.92 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 296885 0 0 0 166138 54 0 0 20 0 4 0 109695841 1458114560 297507 33554432000 4194304 16246674 140737017930544 140737017912448 5722849 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7416/statm: 355985 297507 921 2943 0 352879 0
[pid=7416/tid=7418] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7418/stat : 7418 (toysat) S 7413 7416 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100090440944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7419/stat : 7419 (toysat) S 7413 7416 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100079951088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7420/stat : 7420 (toysat) S 7413 7416 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100069477552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1423940
[startup+1722.3 s]
/proc/loadavg: 2.25 2.18 2.14 3/183 7536
/proc/meminfo: memFree=27473112/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1423940 CPUtime=1721.9 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 296885 0 0 0 172136 54 0 0 20 0 4 0 109695841 1458114560 297507 33554432000 4194304 16246674 140737017930544 140737017912448 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7416/statm: 355985 297507 921 2943 0 352879 0
[pid=7416/tid=7418] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7418/stat : 7418 (toysat) S 7413 7416 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100090440944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7419/stat : 7419 (toysat) S 7413 7416 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100079951088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7420/stat : 7420 (toysat) S 7413 7416 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100069477552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1423940
[startup+1782.3 s]
/proc/loadavg: 2.30 2.21 2.15 3/183 7537
/proc/meminfo: memFree=27473316/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1423940 CPUtime=1781.9 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 296885 0 0 0 178135 55 0 0 20 0 4 0 109695841 1458114560 297507 33554432000 4194304 16246674 140737017930544 140737017912448 5717840 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7416/statm: 355985 297507 921 2943 0 352879 0
[pid=7416/tid=7418] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7418/stat : 7418 (toysat) S 7413 7416 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100090440944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7419/stat : 7419 (toysat) S 7413 7416 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100079951088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7420/stat : 7420 (toysat) S 7413 7416 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100069477552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1423940
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.31 2.21 2.15 4/183 7537
/proc/meminfo: memFree=27473680/32872528 swapFree=15644/1722384
[pid=7416] ppid=7413 vsize=1423940 CPUtime=1800 cores=0,2,4,6
/proc/7416/stat : 7416 (toysat) R 7413 7416 4315 0 -1 4202496 296885 0 0 0 179945 55 0 0 20 0 4 0 109695841 1458114560 297507 33554432000 4194304 16246674 140737017930544 140737017912448 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7416/statm: 355985 297507 921 2943 0 352879 0
[pid=7416/tid=7418] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7418/stat : 7418 (toysat) S 7413 7416 4315 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100090440944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7419/stat : 7419 (toysat) S 7413 7416 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100079951088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=1423940 CPUtime=0 cores=0,2,4,6
/proc/7416/task/7420/stat : 7420 (toysat) S 7413 7416 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109695842 1458114560 297507 33554432000 4194304 16246674 140737017930544 140100069477552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1423940
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 7416 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.01
CPU user time (s): 1799.46
CPU system time (s): 0.555915
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 1423940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.555915
maximum resident set size= 1190028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 296885
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= 204
involuntary context switches= 2030
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51231 second user time and 6.99194 second system time
The end