0.00/0.00 c 2016-06-18T09:05:18+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-4103177-1466233518.opb"]
0.00/0.01 c use --random-gen="923666491 3551347764 3507250695 3270587842 1802465232 525098282 4165351919 2300555367 3336304447 2062781358 2705849907 229756868 2332057306 4153032524 1045446745 866243401 2395050866 1220197716 4285533686 2049129227 2554219266 2624958477 1370539945 544361141 3078031203 181566605 1700606984 2024567090 1080059590 208839254 2676966465 1271088270 3415853723 3332558950 462910303 848356109 1773767007 772744368 1108435242 4108307764 3564285233 1081833248 532446257 616522694 3403802814 2082780105 968956392 3062847017 4122005991 3234475468 1297737430 918825647 3025672235 2856759930 745304924 1667301605 3137214775 1323242901 2183248800 2548633890 672145490 2993232636 742008098 1205093652 1323102814 267587869 3889186797 4233889401 1387744738 498434389 1013308964 4082834621 2006491346 2044444853 2620273840 3925330416 1697866200 4059985816 2343703023 2988659529 3655729192 3081312697 3960960102 2154239716 3415710139 1265704610 773322535 3317993791 3678027307 2511797496 61392759 3763745365 3906516880 555597335 1289747064 385719026 524691548 357263770 1019521570 2045303018 3750458690 2582871571 1974296351 3793512638 3279934413 1321489193 3841198837 1414789302 608874854 3526267287 1721656303 478847600 844771943 1680425265 4241085352 3279401502 1062565292 1446471392 2200897104 2821263986 2126653022 3284360466 1771720715 1335682259 11966883 1501393862 968922267 1113685827 1584699321 1887213433 425456278 3756256016 3696614878 2716465024 3245335904 3962497572 684545683 200304741 819391142 4219708400 1803100312 4213459975 3339445736 736158467 2552888121 1169241776 3209152934 4069416563 747978983 1407287849 2167296428 2492518691 3233800145 2561035010 3073051446 3332447760 1365098926 1213497556 2562331573 3889981779 3353291206 262164689 534740360 2226837972 3632554857 3457337389 3985320274 2778541999 1180980079 2393206271 294146688 3823971534 2369795499 1207156992 177208160 4221278543 2208168876 2464563275 283510961 1984105049 3756030859 3129918549 2056496438 3596495799 309424678 4080314159 895867221 1775334658 1670290440 3833475588 1757702755 3011167268 1749564342 4103629524 421502288 1262518659 1503165783 2329155866 2736065135 1184071343 129649840 426165324 4078561189 2353541313 128182373 3904142476 1562047250 1045423799 1038419209 1989739914 1731473512 3136252087 205118760 1059388279 2663089554 3573186954 583807572 708878418 3975256391 3672959074 143544151 2409663400 2438310547 4144830758 1934394795 1919180928 106031136 3837994717 1837329151 2596144262 2496629642 3824426091 682695366 2069116679 4209229742 3580999757 2821922180 647770074 3707031363 255816322 3506644712 2482399209 3636020260 2788414437 1258192158 819923843 1509824072 647800353 527139196 2392784388 1578052443 2967163430 959250636 550816714 319724140 3055290660 255 362436" option to reproduce the execution
0.00/0.04 c #vars 3100
0.00/0.04 c #constraints 120
0.09/0.14 c BCD2: Hardening is enabled.
0.09/0.14 c BCD2: BiasedSearch is enabled.
0.09/0.14 c Solving starts ...
0.09/0.14 c ============================[ Search Statistics ]============================
0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.14 c | | | | Limit GC | Var | Constra
0.09/0.14 c =============================================================================
0.09/0.14 c 0.0s | 0 | 0 | 0 | 1080 0 | 1713 | 0
0.09/0.16 c 0.0s | 0 | 180 | 0 | 1080 0 | 1713 | 0
0.09/0.16 c #cpu_time = 0.013s
0.09/0.16 c #wall_clock_time = 0.013s
0.09/0.16 c #decision = 180
0.09/0.16 c #random_decision = 1
0.09/0.16 c #conflict = 0
0.09/0.16 c #restart = 0
0.09/0.16 o 99740669
8.18/8.29 c BCD2: hardening fixes 501 literals
8.18/8.29 c BCD2: updating upper bound: 515495338528 -> 99740668
8.18/8.29 c BCD2: 0 <= obj <= 99740668
8.18/8.29 c BCD2: #cores=0, #unrelaxed=2599, #relaxed=0, #hardened=501
8.18/8.29 c BCD2: #sat=1 #unsat=1 bias=1/2
8.18/8.29 c Solving starts ...
8.18/8.29 c ============================[ Search Statistics ]============================
8.18/8.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
8.18/8.29 c | | | | Limit GC | Var | Constra
8.18/8.29 c =============================================================================
8.18/8.29 c 0.0s | 0 | 0 | 0 | 1080 0 | 1713 | 0
8.28/8.30 c 0.0s | 0 | 9 | 1 | 1080 0 | 1713 | 0
8.28/8.30 c #cpu_time = 0.002s
8.28/8.30 c #wall_clock_time = 0.002s
8.28/8.30 c #decision = 9
8.28/8.30 c #random_decision = 0
8.28/8.30 c #conflict = 1
8.28/8.30 c #restart = 0
8.28/8.30 c BCD2: found a new core of size 9: cost of the new core is >=841728
8.28/8.30 c lower bound updated to 841728
16.38/16.42 c BCD2: 841728 <= obj <= 99740668
16.38/16.42 c BCD2: #cores=1, #unrelaxed=2590, #relaxed=9, #hardened=501
16.38/16.42 c BCD2: #sat=1 #unsat=2 bias=2/3
16.38/16.42 c Solving starts ...
16.38/16.42 c ============================[ Search Statistics ]============================
16.38/16.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
16.38/16.42 c | | | | Limit GC | Var | Constra
16.38/16.42 c =============================================================================
16.38/16.42 c 0.0s | 0 | 0 | 0 | 1080 0 | 1713 | 0
16.38/16.42 c 0.0s | 0 | 12 | 1 | 1080 0 | 1713 | 0
16.38/16.42 c #cpu_time = 0.002s
16.38/16.42 c #wall_clock_time = 0.002s
16.38/16.42 c #decision = 12
16.38/16.42 c #random_decision = 0
16.38/16.42 c #conflict = 1
16.38/16.42 c #restart = 0
16.38/16.42 c BCD2: found a new core of size 9: cost of the new core is >=833536
16.38/16.42 c lower bound updated to 1675264
25.09/25.14 c BCD2: 1675264 <= obj <= 99740668
25.09/25.14 c BCD2: #cores=2, #unrelaxed=2581, #relaxed=18, #hardened=501
25.09/25.14 c BCD2: #sat=1 #unsat=3 bias=3/4
25.09/25.14 c Solving starts ...
25.09/25.14 c ============================[ Search Statistics ]============================
25.09/25.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
25.09/25.14 c | | | | Limit GC | Var | Constra
25.09/25.14 c =============================================================================
25.09/25.14 c 0.0s | 0 | 0 | 0 | 1080 0 | 1713 | 0
25.09/25.14 c 0.0s | 0 | 15 | 1 | 1080 0 | 1713 | 0
25.09/25.14 c #cpu_time = 0.002s
25.09/25.14 c #wall_clock_time = 0.002s
25.09/25.14 c #decision = 15
25.09/25.15 c #random_decision = 0
25.09/25.15 c #conflict = 1
25.09/25.15 c #restart = 0
25.09/25.15 c BCD2: found a new core of size 9: cost of the new core is >=823296
25.09/25.15 c lower bound updated to 2498560
33.78/33.88 c BCD2: 2498560 <= obj <= 99740668
33.78/33.88 c BCD2: #cores=3, #unrelaxed=2572, #relaxed=27, #hardened=501
33.78/33.88 c BCD2: #sat=1 #unsat=4 bias=4/5
33.78/33.88 c Solving starts ...
33.78/33.88 c ============================[ Search Statistics ]============================
33.78/33.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
33.78/33.88 c | | | | Limit GC | Var | Constra
33.78/33.88 c =============================================================================
33.78/33.88 c 0.0s | 0 | 0 | 0 | 1080 0 | 1713 | 0
33.78/33.88 c 0.0s | 0 | 17 | 0 | 1080 0 | 1713 | 0
33.78/33.88 c #cpu_time = 0.002s
33.78/33.88 c #wall_clock_time = 0.002s
33.78/33.88 c #decision = 17
33.78/33.88 c #random_decision = 0
33.78/33.88 c #conflict = 0
33.78/33.88 c #restart = 0
33.78/33.88 c BCD2: found a new core of size 9: cost of the new core is >=889856
33.78/33.88 c lower bound updated to 3388416
42.58/42.61 c BCD2: 3388416 <= obj <= 99740668
42.58/42.61 c BCD2: #cores=4, #unrelaxed=2563, #relaxed=36, #hardened=501
42.58/42.61 c BCD2: #sat=1 #unsat=5 bias=5/6
42.58/42.61 c Solving starts ...
42.58/42.61 c ============================[ Search Statistics ]============================
42.58/42.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
42.58/42.61 c | | | | Limit GC | Var | Constra
42.58/42.61 c =============================================================================
42.58/42.61 c 0.0s | 0 | 0 | 0 | 1080 0 | 1713 | 0
42.58/42.61 c 0.0s | 0 | 21 | 0 | 1080 0 | 1713 | 0
42.58/42.61 c #cpu_time = 0.002s
42.58/42.61 c #wall_clock_time = 0.002s
42.58/42.61 c #decision = 21
42.58/42.61 c #random_decision = 0
42.58/42.61 c #conflict = 0
42.58/42.61 c #restart = 0
42.58/42.61 c BCD2: found a new core of size 10: cost of the new core is >=887808
42.58/42.61 c lower bound updated to 4276224
51.28/51.34 c BCD2: 4276224 <= obj <= 99740668
51.28/51.34 c BCD2: #cores=5, #unrelaxed=2553, #relaxed=46, #hardened=501
51.28/51.34 c BCD2: #sat=1 #unsat=6 bias=6/7
51.28/51.35 c Solving starts ...
51.28/51.35 c ============================[ Search Statistics ]============================
51.28/51.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
51.28/51.35 c | | | | Limit GC | Var | Constra
51.28/51.35 c =============================================================================
51.28/51.35 c 0.0s | 0 | 0 | 0 | 1080 0 | 1713 | 0
51.28/51.35 c 0.0s | 0 | 23 | 1 | 1080 0 | 1713 | 0
51.28/51.35 c #cpu_time = 0.002s
51.28/51.35 c #wall_clock_time = 0.002s
51.28/51.35 c #decision = 23
51.28/51.35 c #random_decision = 0
51.28/51.35 c #conflict = 1
51.28/51.35 c #restart = 0
51.28/51.35 c BCD2: found a new core of size 9: cost of the new core is >=953344
51.28/51.35 c lower bound updated to 5229568
59.98/60.06 c BCD2: 5229568 <= obj <= 99740668
59.98/60.06 c BCD2: #cores=6, #unrelaxed=2544, #relaxed=55, #hardened=501
59.98/60.06 c BCD2: #sat=1 #unsat=7 bias=7/8
59.98/60.06 c Solving starts ...
59.98/60.06 c ============================[ Search Statistics ]============================
59.98/60.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
59.98/60.06 c | | | | Limit GC | Var | Constra
59.98/60.06 c =============================================================================
59.98/60.06 c 0.0s | 0 | 0 | 0 | 1080 0 | 1713 | 0
59.98/60.06 c 0.0s | 0 | 26 | 1 | 1080 0 | 1713 | 0
59.98/60.06 c #cpu_time = 0.002s
59.98/60.06 c #wall_clock_time = 0.002s
59.98/60.06 c #decision = 26
59.98/60.06 c #random_decision = 0
59.98/60.06 c #conflict = 1
59.98/60.06 c #restart = 0
59.98/60.06 c BCD2: found a new core of size 9: cost of the new core is >=822272
59.98/60.06 c lower bound updated to 6051840
68.67/68.77 c BCD2: 6051840 <= obj <= 99740668
68.67/68.77 c BCD2: #cores=7, #unrelaxed=2535, #relaxed=64, #hardened=501
68.67/68.77 c BCD2: #sat=1 #unsat=8 bias=8/9
68.67/68.77 c Solving starts ...
68.67/68.77 c ============================[ Search Statistics ]============================
68.67/68.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
68.67/68.77 c | | | | Limit GC | Var | Constra
68.67/68.77 c =============================================================================
68.67/68.77 c 0.0s | 0 | 0 | 0 | 1080 0 | 1713 | 0
68.67/68.77 c 0.0s | 0 | 29 | 1 | 1080 0 | 1713 | 0
68.67/68.77 c #cpu_time = 0.002s
68.67/68.77 c #wall_clock_time = 0.002s
68.67/68.77 c #decision = 29
68.67/68.77 c #random_decision = 0
68.67/68.77 c #conflict = 1
68.67/68.77 c #restart = 0
68.67/68.77 c BCD2: found a new core of size 9: cost of the new core is >=842752
68.67/68.77 c lower bound updated to 6894592
77.47/77.55 c BCD2: 6894592 <= obj <= 99740668
77.47/77.55 c BCD2: #cores=8, #unrelaxed=2526, #relaxed=73, #hardened=501
77.47/77.55 c BCD2: #sat=1 #unsat=9 bias=9/10
77.47/77.55 c Solving starts ...
77.47/77.55 c ============================[ Search Statistics ]============================
77.47/77.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
77.47/77.55 c | | | | Limit GC | Var | Constra
77.47/77.55 c =============================================================================
77.47/77.55 c 0.0s | 0 | 0 | 0 | 1080 0 | 1713 | 0
77.47/77.56 c 0.0s | 0 | 32 | 1 | 1080 0 | 1713 | 0
77.47/77.56 c #cpu_time = 0.002s
77.47/77.56 c #wall_clock_time = 0.002s
77.47/77.56 c #decision = 32
77.47/77.56 c #random_decision = 0
77.47/77.56 c #conflict = 1
77.47/77.56 c #restart = 0
77.47/77.56 c BCD2: found a new core of size 9: cost of the new core is >=881664
77.47/77.56 c lower bound updated to 7776256
86.18/86.22 c BCD2: 7776256 <= obj <= 99740668
86.18/86.22 c BCD2: #cores=9, #unrelaxed=2517, #relaxed=82, #hardened=501
86.18/86.22 c BCD2: #sat=1 #unsat=10 bias=10/11
86.18/86.22 c Solving starts ...
86.18/86.22 c ============================[ Search Statistics ]============================
86.18/86.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
86.18/86.22 c | | | | Limit GC | Var | Constra
86.18/86.22 c =============================================================================
86.18/86.22 c 0.0s | 0 | 0 | 0 | 1080 0 | 1713 | 0
86.18/86.22 c 0.0s | 0 | 27 | 1 | 1080 0 | 1713 | 0
86.18/86.22 c #cpu_time = 0.002s
86.18/86.22 c #wall_clock_time = 0.002s
86.18/86.22 c #decision = 27
86.18/86.22 c #random_decision = 0
86.18/86.22 c #conflict = 1
86.18/86.22 c #restart = 0
86.18/86.22 c BCD2: found a new core of size 9: cost of the new core is >=911360
86.18/86.22 c lower bound updated to 8687616
94.57/94.63 c BCD2: 8687616 <= obj <= 99740668
94.57/94.63 c BCD2: #cores=10, #unrelaxed=2508, #relaxed=91, #hardened=501
94.57/94.63 c BCD2: #sat=1 #unsat=11 bias=11/12
94.57/94.63 c Solving starts ...
94.57/94.63 c ============================[ Search Statistics ]============================
94.57/94.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
94.57/94.63 c | | | | Limit GC | Var | Constra
94.57/94.63 c =============================================================================
94.57/94.63 c 0.0s | 0 | 0 | 0 | 1080 0 | 1713 | 0
94.57/94.63 c 0.0s | 0 | 19 | 1 | 1080 0 | 1713 | 0
94.57/94.63 c #cpu_time = 0.002s
94.57/94.63 c #wall_clock_time = 0.002s
94.57/94.63 c #decision = 19
94.57/94.63 c #random_decision = 0
94.57/94.63 c #conflict = 1
94.57/94.63 c #restart = 0
94.57/94.63 c BCD2: found a new core of size 9: cost of the new core is >=819200
94.57/94.63 c lower bound updated to 9506816
102.97/103.03 c BCD2: 9506816 <= obj <= 99740668
102.97/103.03 c BCD2: #cores=11, #unrelaxed=2499, #relaxed=100, #hardened=501
102.97/103.03 c BCD2: #sat=1 #unsat=12 bias=12/13
102.97/103.03 c Solving starts ...
102.97/103.03 c ============================[ Search Statistics ]============================
102.97/103.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
102.97/103.03 c | | | | Limit GC | Var | Constra
102.97/103.03 c =============================================================================
102.97/103.03 c 0.0s | 0 | 0 | 0 | 1080 0 | 1713 | 0
102.97/103.04 c 0.0s | 0 | 120 | 0 | 1080 0 | 1713 | 0
102.97/103.04 c #cpu_time = 0.002s
102.97/103.04 c #wall_clock_time = 0.002s
102.97/103.04 c #decision = 120
102.97/103.04 c #random_decision = 0
102.97/103.04 c #conflict = 0
102.97/103.04 c #restart = 0
102.97/103.04 c BCD2: found a new core of size 36: cost of the new core is >=512
102.97/103.04 c lower bound updated to 9507328
111.37/111.46 c BCD2: 9507328 <= obj <= 99740668
111.37/111.46 c BCD2: #cores=12, #unrelaxed=2463, #relaxed=136, #hardened=501
111.37/111.46 c BCD2: #sat=1 #unsat=13 bias=13/14
111.37/111.46 c Solving starts ...
111.37/111.46 c ============================[ Search Statistics ]============================
111.37/111.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
111.37/111.46 c | | | | Limit GC | Var | Constra
111.37/111.46 c =============================================================================
111.37/111.46 c 0.0s | 0 | 0 | 0 | 1080 0 | 1713 | 0
111.37/111.46 c 0.0s | 0 | 231 | 1 | 1080 0 | 1713 | 0
111.37/111.46 c #cpu_time = 0.003s
111.37/111.46 c #wall_clock_time = 0.003s
111.37/111.46 c #decision = 231
111.37/111.46 c #random_decision = 0
111.37/111.46 c #conflict = 1
111.37/111.46 c #restart = 0
111.37/111.46 c BCD2: found a new core of size 106: cost of the new core is >=6
111.37/111.46 c lower bound updated to 9507334
119.77/119.87 c BCD2: 9507334 <= obj <= 99740668
119.77/119.87 c BCD2: #cores=13, #unrelaxed=2357, #relaxed=242, #hardened=501
119.77/119.87 c BCD2: #sat=1 #unsat=14 bias=14/15
119.77/119.87 c Solving starts ...
119.77/119.87 c ============================[ Search Statistics ]============================
119.77/119.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
119.77/119.87 c | | | | Limit GC | Var | Constra
119.77/119.87 c =============================================================================
119.77/119.87 c 0.0s | 0 | 0 | 0 | 1080 0 | 1713 | 0
119.77/119.87 c 0.0s | 0 | 266 | 1 | 1080 0 | 1713 | 0
119.77/119.87 c #cpu_time = 0.003s
119.77/119.87 c #wall_clock_time = 0.003s
119.77/119.87 c #decision = 266
119.77/119.87 c #random_decision = 0
119.77/119.87 c #conflict = 1
119.77/119.87 c #restart = 0
119.77/119.87 c BCD2: found a new core of size 102: cost of the new core is >=2
119.77/119.87 c lower bound updated to 9507336
128.17/128.27 c BCD2: 9507336 <= obj <= 99740668
128.17/128.27 c BCD2: #cores=14, #unrelaxed=2255, #relaxed=344, #hardened=501
128.17/128.27 c BCD2: #sat=1 #unsat=15 bias=15/16
128.17/128.27 c Solving starts ...
128.17/128.27 c ============================[ Search Statistics ]============================
128.17/128.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
128.17/128.27 c | | | | Limit GC | Var | Constra
128.17/128.27 c =============================================================================
128.17/128.27 c 0.0s | 0 | 0 | 0 | 1080 0 | 1713 | 0
128.17/128.27 c 0.0s | 0 | 306 | 0 | 1080 0 | 1713 | 0
128.17/128.27 c #cpu_time = 0.002s
128.17/128.27 c #wall_clock_time = 0.002s
128.17/128.27 c #decision = 306
128.17/128.27 c #random_decision = 0
128.17/128.27 c #conflict = 0
128.17/128.27 c #restart = 0
128.17/128.27 c BCD2: found a new core of size 46: cost of the new core is >=256
128.17/128.27 c lower bound updated to 9507592
136.57/136.66 c BCD2: 9507592 <= obj <= 99740668
136.57/136.66 c BCD2: #cores=15, #unrelaxed=2209, #relaxed=390, #hardened=501
136.57/136.66 c BCD2: #sat=1 #unsat=16 bias=16/17
136.67/136.72 c Solving starts ...
136.67/136.72 c ============================[ Search Statistics ]============================
136.67/136.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
136.67/136.72 c | | | | Limit GC | Var | Constra
136.67/136.72 c =============================================================================
136.67/136.72 c 0.0s | 0 | 0 | 0 | 1080 0 | 1713 | 0
136.67/136.72 c 0.0s | 0 | 398 | 0 | 1080 0 | 1713 | 0
136.67/136.72 c #cpu_time = 0.003s
136.67/136.72 c #wall_clock_time = 0.003s
136.67/136.72 c #decision = 398
136.67/136.72 c #random_decision = 0
136.67/136.72 c #conflict = 0
136.67/136.72 c #restart = 0
136.67/136.72 c BCD2: found a new core of size 100: cost of the new core is >=1
136.67/136.72 c lower bound updated to 9507593
145.27/145.39 c BCD2: 9507593 <= obj <= 99740668
145.27/145.39 c BCD2: #cores=16, #unrelaxed=2109, #relaxed=490, #hardened=501
145.27/145.39 c BCD2: #sat=1 #unsat=17 bias=17/18
145.47/145.52 c Solving starts ...
145.47/145.52 c ============================[ Search Statistics ]============================
145.47/145.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
145.47/145.52 c | | | | Limit GC | Var | Constra
145.47/145.52 c =============================================================================
145.47/145.52 c 0.0s | 0 | 0 | 0 | 1080 0 | 1713 | 0
145.47/145.53 c 0.0s | 0 | 429 | 1 | 1080 0 | 1713 | 0
145.47/145.53 c #cpu_time = 0.003s
145.47/145.53 c #wall_clock_time = 0.003s
145.47/145.53 c #decision = 429
145.47/145.53 c #random_decision = 0
145.47/145.53 c #conflict = 1
145.47/145.53 c #restart = 0
145.47/145.53 c BCD2: found a new core of size 107: cost of the new core is >=2
145.47/145.53 c lower bound updated to 9507595
154.06/154.12 c BCD2: 9507595 <= obj <= 99740668
154.06/154.12 c BCD2: #cores=17, #unrelaxed=2002, #relaxed=597, #hardened=501
154.06/154.12 c BCD2: #sat=1 #unsat=18 bias=18/19
154.87/154.93 c Solving starts ...
154.87/154.93 c ============================[ Search Statistics ]============================
154.87/154.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
154.87/154.93 c | | | | Limit GC | Var | Constra
154.87/154.93 c =============================================================================
154.87/154.93 c 0.0s | 0 | 0 | 0 | 1080 0 | 1713 | 0
154.87/154.94 c 0.0s | 0 | 468 | 1 | 1080 0 | 1713 | 0
154.87/154.94 c #cpu_time = 0.003s
154.87/154.94 c #wall_clock_time = 0.003s
154.87/154.94 c #decision = 468
154.87/154.94 c #random_decision = 0
154.87/154.94 c #conflict = 1
154.87/154.94 c #restart = 0
154.87/154.94 c BCD2: found a new core of size 106: cost of the new core is >=1
154.87/154.94 c lower bound updated to 9507596
162.66/162.73 c BCD2: 9507596 <= obj <= 99740668
162.66/162.73 c BCD2: #cores=18, #unrelaxed=1896, #relaxed=703, #hardened=501
162.66/162.73 c BCD2: #sat=1 #unsat=19 bias=19/20
162.76/162.87 c Solving starts ...
162.76/162.87 c ============================[ Search Statistics ]============================
162.76/162.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
162.76/162.87 c | | | | Limit GC | Var | Constra
162.76/162.87 c =============================================================================
162.76/162.87 c 0.0s | 0 | 0 | 0 | 1080 0 | 1713 | 0
162.76/162.87 c 0.0s | 0 | 508 | 0 | 1080 0 | 1713 | 0
162.76/162.87 c #cpu_time = 0.003s
162.76/162.87 c #wall_clock_time = 0.003s
162.76/162.87 c #decision = 508
162.76/162.87 c #random_decision = 0
162.76/162.87 c #conflict = 0
162.76/162.87 c #restart = 0
162.76/162.87 c BCD2: found a new core of size 38: cost of the new core is >=512
162.76/162.87 c lower bound updated to 9508108
170.77/170.86 c BCD2: 9508108 <= obj <= 99740668
170.77/170.86 c BCD2: #cores=19, #unrelaxed=1858, #relaxed=741, #hardened=501
170.77/170.86 c BCD2: #sat=1 #unsat=20 bias=20/21
172.16/172.29 c Solving starts ...
172.16/172.29 c ============================[ Search Statistics ]============================
172.16/172.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
172.16/172.29 c | | | | Limit GC | Var | Constra
172.16/172.29 c =============================================================================
172.16/172.29 c 0.0s | 0 | 0 | 0 | 1080 0 | 1713 | 0
172.16/172.29 c 0.0s | 0 | 616 | 0 | 1080 0 | 1713 | 0
172.16/172.29 c #cpu_time = 0.003s
172.16/172.29 c #wall_clock_time = 0.003s
172.16/172.29 c #decision = 616
172.16/172.29 c #random_decision = 0
172.16/172.29 c #conflict = 0
172.16/172.29 c #restart = 0
172.16/172.29 c BCD2: found a new core of size 52: cost of the new core is >=128
172.16/172.29 c lower bound updated to 9508236
180.86/180.92 c BCD2: 9508236 <= obj <= 99740668
180.86/180.92 c BCD2: #cores=20, #unrelaxed=1806, #relaxed=793, #hardened=501
180.86/180.92 c BCD2: #sat=1 #unsat=21 bias=21/22
180.86/180.96 c Solving starts ...
180.86/180.96 c ============================[ Search Statistics ]============================
180.86/180.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
180.86/180.96 c | | | | Limit GC | Var | Constra
180.86/180.96 c =============================================================================
180.86/180.96 c 0.0s | 0 | 0 | 0 | 1080 0 | 1713 | 0
180.86/180.96 c 0.0s | 0 | 590 | 0 | 1080 0 | 1713 | 0
180.86/180.96 c #cpu_time = 0.003s
180.86/180.96 c #wall_clock_time = 0.003s
180.86/180.96 c #decision = 590
180.86/180.96 c #random_decision = 0
180.86/180.96 c #conflict = 0
180.86/180.96 c #restart = 0
180.86/180.96 c BCD2: relaxing 203 and merging with 1 cores into a new core of size 303: cost of the new core is >=2
180.86/180.96 c lower bound updated to 9508237
190.35/190.49 c BCD2: 9508237 <= obj <= 99740668
190.35/190.49 c BCD2: #cores=20, #unrelaxed=1603, #relaxed=996, #hardened=501
190.35/190.49 c BCD2: #sat=1 #unsat=22 bias=22/23
192.05/192.17 c Solving starts ...
192.05/192.17 c ============================[ Search Statistics ]============================
192.05/192.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
192.05/192.17 c | | | | Limit GC | Var | Constra
192.05/192.17 c =============================================================================
192.05/192.17 c 0.0s | 0 | 0 | 0 | 1080 0 | 1718 | 0
192.15/192.21 c 0.0s | 1 | 633 | 100 | 1188 0 | 1718 | 9
192.15/192.25 c 0.1s | 2 | 1227 | 250 | 1307 0 | 1718 | 9
192.25/192.31 c 0.1s | 3 | 2017 | 475 | 1438 0 | 1718 | 9
192.35/192.41 c 0.2s | 4 | 2794 | 813 | 1582 0 | 1718 | 9
192.45/192.57 c 0.4s | 5 | 3762 | 1320 | 1741 0 | 1718 | 9
192.66/192.77 c 0.6s | 6 | 4965 | 2081 | 1916 0 | 1718 | 9
193.15/193.24 c 1.1s | 7 | 6559 | 3223 | 2108 0 | 1718 | 9
193.76/193.85 c 1.7s | 8 | 8750 | 4936 | 2319 1 | 1718 | 9
194.45/194.50 c 2.3s | 9 | 11775 | 7506 | 2551 2 | 1718 | 9
195.75/195.88 c 3.7s | 10 | 16091 | 11361 | 2807 3 | 1718 | 9
197.75/197.90 c 5.7s | 10 | 21388 | 15961 | 2807 5 | 1718 | 9
198.35/198.48 c 6.3s | 11 | 22598 | 17144 | 3088 5 | 1718 | 9
200.35/200.49 c 8.3s | 11 | 28570 | 21544 | 3088 7 | 1718 | 9
202.45/202.54 c 10.4s | 11 | 33215 | 25344 | 3088 8 | 1718 | 9
202.75/202.83 c 10.7s | 12 | 33786 | 25819 | 3397 9 | 1718 | 9
204.75/204.86 c 12.7s | 12 | 40172 | 29919 | 3397 10 | 1718 | 9
206.75/206.88 c 14.7s | 12 | 44959 | 33719 | 3397 11 | 1718 | 9
208.85/208.90 c 16.7s | 12 | 50508 | 37719 | 3397 13 | 1718 | 9
209.35/209.45 c 17.3s | 13 | 52046 | 38832 | 3737 13 | 1718 | 9
211.35/211.48 c 19.3s | 13 | 57456 | 42732 | 3737 14 | 1718 | 9
213.35/213.48 c 21.3s | 13 | 62527 | 46632 | 3737 16 | 1718 | 9
215.45/215.50 c 23.3s | 13 | 67117 | 50232 | 3737 17 | 1718 | 9
217.45/217.51 c 25.3s | 13 | 71929 | 53832 | 3737 18 | 1718 | 9
219.45/219.56 c 27.4s | 13 | 76444 | 57432 | 3737 19 | 1718 | 9
219.94/220.08 c 27.9s | 14 | 77649 | 58352 | 4111 19 | 1718 | 9
222.05/222.15 c 30.0s | 14 | 82191 | 61652 | 4111 20 | 1718 | 9
224.04/224.17 c 32.0s | 14 | 86379 | 64952 | 4111 21 | 1718 | 9
226.14/226.23 c 34.1s | 14 | 90248 | 68252 | 4111 23 | 1718 | 9
228.14/228.24 c 36.1s | 14 | 94526 | 71652 | 4111 24 | 1718 | 9
230.15/230.25 c 38.1s | 14 | 98790 | 75052 | 4111 25 | 1718 | 9
232.15/232.27 c 40.1s | 14 | 103177 | 78552 | 4111 26 | 1718 | 9
234.35/234.45 c 42.3s | 14 | 107364 | 81852 | 4111 27 | 1718 | 9
236.35/236.48 c 44.3s | 14 | 111667 | 85252 | 4111 28 | 1718 | 9
237.95/238.04 c 45.9s | 15 | 115055 | 87632 | 4523 28 | 1718 | 9
239.95/240.07 c 47.9s | 15 | 119620 | 90732 | 4523 29 | 1718 | 9
242.05/242.10 c 49.9s | 15 | 123679 | 93832 | 4523 30 | 1718 | 9
244.05/244.12 c 52.0s | 15 | 128036 | 97132 | 4523 31 | 1718 | 9
246.05/246.15 c 54.0s | 15 | 131826 | 100232 | 4523 32 | 1718 | 9
248.04/248.18 c 56.0s | 15 | 135680 | 103132 | 4523 33 | 1718 | 9
250.14/250.24 c 58.1s | 15 | 140474 | 106532 | 4523 34 | 1718 | 9
252.15/252.25 c 60.1s | 15 | 144641 | 109632 | 4523 35 | 1718 | 9
254.14/254.28 c 62.1s | 15 | 149924 | 112932 | 4523 36 | 1718 | 9
256.24/256.34 c 64.2s | 15 | 153972 | 115832 | 4523 37 | 1718 | 9
258.24/258.37 c 66.2s | 15 | 158648 | 119232 | 4523 38 | 1718 | 9
260.24/260.37 c 68.2s | 15 | 163549 | 122532 | 4523 39 | 1718 | 9
262.24/262.39 c 70.2s | 15 | 168498 | 125832 | 4523 40 | 1718 | 9
264.34/264.45 c 72.3s | 15 | 174050 | 129332 | 4523 41 | 1718 | 9
265.74/265.83 c 73.7s | 16 | 177312 | 131552 | 4976 41 | 1718 | 9
267.74/267.85 c 75.7s | 16 | 182827 | 134652 | 4976 42 | 1718 | 9
269.74/269.88 c 77.7s | 16 | 187360 | 137852 | 4976 43 | 1718 | 9
271.84/271.91 c 79.7s | 16 | 192253 | 141252 | 4976 44 | 1718 | 9
273.83/273.96 c 81.8s | 16 | 197116 | 144552 | 4976 45 | 1718 | 9
275.83/275.99 c 83.8s | 16 | 201000 | 147552 | 4976 46 | 1718 | 9
277.93/278.04 c 85.9s | 16 | 205243 | 150652 | 4976 46 | 1718 | 9
279.93/280.07 c 87.9s | 16 | 210340 | 153952 | 4976 47 | 1718 | 9
282.03/282.11 c 89.9s | 16 | 215426 | 157252 | 4976 48 | 1718 | 9
284.04/284.16 c 92.0s | 16 | 219395 | 160252 | 4976 49 | 1718 | 9
286.03/286.19 c 94.0s | 16 | 223796 | 163352 | 4976 50 | 1718 | 9
288.13/288.20 c 96.0s | 16 | 228145 | 166252 | 4976 51 | 1718 | 9
290.13/290.23 c 98.1s | 16 | 232391 | 169152 | 4976 51 | 1718 | 9
292.12/292.23 c 100s | 16 | 236719 | 172152 | 4976 52 | 1718 | 9
294.12/294.24 c 102s | 16 | 241261 | 175252 | 4976 53 | 1718 | 9
296.13/296.24 c 104s | 16 | 246364 | 178452 | 4976 54 | 1718 | 9
298.12/298.26 c 106s | 16 | 251099 | 181452 | 4976 55 | 1718 | 9
300.12/300.26 c 108s | 16 | 256326 | 184752 | 4976 56 | 1718 | 9
302.12/302.29 c 110s | 16 | 260042 | 187552 | 4976 56 | 1718 | 9
304.23/304.34 c 112s | 16 | 263999 | 190652 | 4976 57 | 1718 | 9
306.23/306.39 c 114s | 16 | 267828 | 193852 | 4976 58 | 1718 | 9
308.33/308.40 c 116s | 16 | 271062 | 196652 | 5474 59 | 1718 | 9
308.93/309.06 c 116s | 17 | 271873 | 197432 | 5474 59 | 1718 | 9
311.03/311.11 c 118s | 17 | 275524 | 199932 | 5474 60 | 1718 | 9
313.03/313.15 c 120s | 17 | 279232 | 202932 | 5474 60 | 1718 | 9
315.13/315.20 c 123s | 17 | 282765 | 205732 | 5474 61 | 1718 | 9
317.13/317.25 c 125s | 17 | 286408 | 208532 | 5474 62 | 1718 | 9
319.13/319.26 c 127s | 17 | 289682 | 211132 | 5474 63 | 1718 | 9
321.22/321.34 c 129s | 17 | 293097 | 213832 | 5474 63 | 1718 | 9
323.22/323.36 c 131s | 17 | 296524 | 216432 | 5474 64 | 1718 | 9
325.22/325.37 c 133s | 17 | 299478 | 218832 | 5474 64 | 1718 | 9
327.32/327.43 c 135s | 17 | 302460 | 221132 | 5474 65 | 1718 | 9
329.32/329.48 c 137s | 17 | 305647 | 223632 | 5474 66 | 1718 | 9
331.41/331.51 c 139s | 17 | 309311 | 226432 | 5474 66 | 1718 | 9
333.42/333.59 c 141s | 17 | 313094 | 229232 | 5474 67 | 1718 | 9
335.51/335.62 c 143s | 17 | 316886 | 232032 | 5474 68 | 1718 | 9
337.51/337.67 c 145s | 17 | 320417 | 234732 | 5474 69 | 1718 | 9
339.61/339.74 c 147s | 17 | 324531 | 237732 | 5474 69 | 1718 | 9
341.61/341.76 c 149s | 17 | 327575 | 240132 | 5474 70 | 1718 | 9
343.71/343.81 c 151s | 17 | 331059 | 242832 | 5474 71 | 1718 | 9
345.71/345.81 c 153s | 17 | 334443 | 245432 | 5474 71 | 1718 | 9
347.72/347.86 c 155s | 17 | 338051 | 248132 | 5474 72 | 1718 | 9
349.71/349.88 c 157s | 17 | 341402 | 250732 | 5474 73 | 1718 | 9
351.81/351.94 c 159s | 17 | 344929 | 253532 | 5474 73 | 1718 | 9
353.81/353.95 c 161s | 17 | 348371 | 256132 | 5474 74 | 1718 | 9
355.81/355.96 c 163s | 17 | 351516 | 258632 | 5474 75 | 1718 | 9
357.90/358.01 c 165s | 17 | 354920 | 261232 | 5474 75 | 1718 | 9
359.91/360.07 c 167s | 17 | 358790 | 263932 | 5474 76 | 1718 | 9
361.90/362.07 c 169s | 17 | 362228 | 266532 | 5474 77 | 1718 | 9
364.00/364.14 c 171s | 17 | 365879 | 269332 | 5474 77 | 1718 | 9
366.00/366.15 c 173s | 17 | 369339 | 272032 | 5474 78 | 1718 | 9
368.00/368.19 c 176s | 17 | 372859 | 274732 | 5474 79 | 1718 | 9
370.10/370.24 c 178s | 17 | 375949 | 277232 | 5474 79 | 1718 | 9
372.09/372.28 c 180s | 17 | 379287 | 279832 | 5474 80 | 1718 | 9
374.20/374.31 c 182s | 17 | 382299 | 282232 | 5474 81 | 1718 | 9
376.19/376.33 c 184s | 17 | 385811 | 284832 | 5474 81 | 1718 | 9
378.19/378.38 c 186s | 17 | 389300 | 287432 | 5474 82 | 1718 | 9
380.29/380.45 c 188s | 17 | 392784 | 290132 | 5474 83 | 1718 | 9
382.29/382.48 c 190s | 17 | 396404 | 292932 | 5474 83 | 1718 | 9
384.29/384.49 c 192s | 17 | 399666 | 295532 | 6022 84 | 1718 | 9
384.89/385.05 c 192s | 18 | 400666 | 296252 | 6022 84 | 1718 | 9
386.99/387.10 c 194s | 18 | 403875 | 298452 | 6022 85 | 1718 | 9
388.99/389.15 c 196s | 18 | 407280 | 301252 | 6022 85 | 1718 | 9
390.98/391.19 c 199s | 18 | 410710 | 303952 | 6022 86 | 1718 | 9
393.09/393.28 c 201s | 18 | 413725 | 306252 | 6022 87 | 1718 | 9
395.19/395.32 c 203s | 18 | 418035 | 309252 | 6022 87 | 1718 | 9
397.19/397.38 c 205s | 18 | 422562 | 312152 | 6022 88 | 1718 | 9
399.28/399.40 c 207s | 18 | 426778 | 314952 | 6022 89 | 1718 | 9
401.28/401.44 c 209s | 18 | 431078 | 317952 | 6022 89 | 1718 | 9
403.28/403.45 c 211s | 18 | 435351 | 320852 | 6022 90 | 1718 | 9
405.28/405.49 c 213s | 18 | 439373 | 323652 | 6022 91 | 1718 | 9
407.38/407.55 c 215s | 18 | 443187 | 326252 | 6022 91 | 1718 | 9
409.38/409.58 c 217s | 18 | 447518 | 329152 | 6022 92 | 1718 | 9
411.38/411.59 c 219s | 18 | 451660 | 331952 | 6022 93 | 1718 | 9
413.48/413.61 c 221s | 18 | 455841 | 334852 | 6022 93 | 1718 | 9
415.48/415.62 c 223s | 18 | 460130 | 337652 | 6022 94 | 1718 | 9
417.47/417.63 c 225s | 18 | 463896 | 340252 | 6022 95 | 1718 | 9
419.47/419.63 c 227s | 18 | 468755 | 343352 | 6022 95 | 1718 | 9
421.57/421.70 c 229s | 18 | 473102 | 346352 | 6022 96 | 1718 | 9
423.58/423.72 c 231s | 18 | 476954 | 349052 | 6022 97 | 1718 | 9
425.57/425.74 c 233s | 18 | 481210 | 351952 | 6022 97 | 1718 | 9
427.57/427.79 c 235s | 18 | 486003 | 355052 | 6022 98 | 1718 | 9
429.67/429.81 c 237s | 18 | 489475 | 357452 | 6022 99 | 1718 | 9
431.67/431.87 c 239s | 18 | 494107 | 360352 | 6022 99 | 1718 | 9
433.77/433.90 c 241s | 18 | 498277 | 363152 | 6022 100 | 1718 | 9
435.77/435.91 c 243s | 18 | 502221 | 365752 | 6022 101 | 1718 | 9
437.76/437.95 c 245s | 18 | 506507 | 368752 | 6022 101 | 1718 | 9
439.86/440.03 c 247s | 18 | 511020 | 371752 | 6022 102 | 1718 | 9
441.86/442.09 c 249s | 18 | 515028 | 374352 | 6022 103 | 1718 | 9
443.96/444.12 c 251s | 18 | 519635 | 377152 | 6022 103 | 1718 | 9
445.96/446.16 c 253s | 18 | 523895 | 379952 | 6022 104 | 1718 | 9
447.96/448.16 c 255s | 18 | 528570 | 382452 | 6022 105 | 1718 | 9
449.97/450.19 c 258s | 18 | 533400 | 385352 | 6022 105 | 1718 | 9
452.06/452.23 c 260s | 18 | 538619 | 388552 | 6022 106 | 1718 | 9
454.06/454.28 c 262s | 18 | 542929 | 391252 | 6022 107 | 1718 | 9
456.06/456.29 c 264s | 18 | 547648 | 394152 | 6022 107 | 1718 | 9
458.07/458.29 c 266s | 18 | 551004 | 396552 | 6022 108 | 1718 | 9
460.16/460.33 c 268s | 18 | 555476 | 399552 | 6022 109 | 1718 | 9
462.26/462.41 c 270s | 18 | 559861 | 402452 | 6022 109 | 1718 | 9
464.27/464.46 c 272s | 18 | 564418 | 405452 | 6022 110 | 1718 | 9
466.36/466.53 c 274s | 18 | 568379 | 408252 | 6022 111 | 1718 | 9
468.36/468.55 c 276s | 18 | 572219 | 410952 | 6022 111 | 1718 | 9
470.36/470.55 c 278s | 18 | 576042 | 413652 | 6022 112 | 1718 | 9
472.36/472.58 c 280s | 18 | 579971 | 416452 | 6022 113 | 1718 | 9
474.36/474.58 c 282s | 18 | 584307 | 419352 | 6022 113 | 1718 | 9
476.36/476.60 c 284s | 18 | 589083 | 422352 | 6022 114 | 1718 | 9
478.45/478.64 c 286s | 18 | 593147 | 425052 | 6022 115 | 1718 | 9
480.45/480.65 c 288s | 18 | 597350 | 427752 | 6022 115 | 1718 | 9
482.45/482.66 c 290s | 18 | 600831 | 430052 | 6022 116 | 1718 | 9
484.45/484.67 c 292s | 18 | 604451 | 432552 | 6022 117 | 1718 | 9
486.55/486.72 c 294s | 18 | 608791 | 435452 | 6022 117 | 1718 | 9
488.55/488.73 c 296s | 18 | 612972 | 438152 | 6022 118 | 1718 | 9
490.54/490.79 c 298s | 18 | 616926 | 440852 | 6022 119 | 1718 | 9
492.64/492.82 c 300s | 18 | 621357 | 443752 | 6625 119 | 1718 | 9
493.14/493.32 c 301s | 19 | 622400 | 444482 | 6625 119 | 1718 | 9
495.15/495.39 c 303s | 19 | 626638 | 447182 | 6625 120 | 1718 | 9
497.25/497.47 c 305s | 19 | 630189 | 449782 | 6625 121 | 1718 | 9
499.24/499.49 c 307s | 19 | 633881 | 452582 | 6625 121 | 1718 | 9
501.34/501.52 c 309s | 19 | 637502 | 455282 | 6625 122 | 1718 | 9
503.34/503.55 c 311s | 19 | 640972 | 458182 | 6625 122 | 1718 | 9
505.34/505.59 c 313s | 19 | 645020 | 461082 | 6625 123 | 1718 | 9
507.43/507.62 c 315s | 19 | 649002 | 463882 | 6625 124 | 1718 | 9
509.44/509.65 c 317s | 19 | 653109 | 466782 | 6625 124 | 1718 | 9
511.43/511.68 c 319s | 19 | 656792 | 469582 | 6625 125 | 1718 | 9
513.53/513.70 c 321s | 19 | 660467 | 472182 | 6625 126 | 1718 | 9
515.53/515.72 c 323s | 19 | 664840 | 475282 | 6625 126 | 1718 | 9
517.53/517.76 c 325s | 19 | 668811 | 478082 | 6625 127 | 1718 | 9
519.63/519.82 c 327s | 19 | 673134 | 481082 | 6625 127 | 1718 | 9
521.63/521.89 c 329s | 19 | 677559 | 483982 | 6625 128 | 1718 | 9
523.73/523.90 c 331s | 19 | 681990 | 486882 | 6625 129 | 1718 | 9
525.72/525.95 c 333s | 19 | 686496 | 489782 | 6625 129 | 1718 | 9
527.72/528.00 c 335s | 19 | 689978 | 492282 | 6625 130 | 1718 | 9
529.82/530.05 c 337s | 19 | 694353 | 495282 | 6625 131 | 1718 | 9
531.92/532.15 c 339s | 19 | 698914 | 498382 | 6625 131 | 1718 | 9
533.92/534.17 c 341s | 19 | 702626 | 501182 | 6625 132 | 1718 | 9
536.02/536.20 c 344s | 19 | 706736 | 503882 | 6625 133 | 1718 | 9
538.03/538.23 c 346s | 19 | 710630 | 506782 | 6625 133 | 1718 | 9
540.02/540.25 c 348s | 19 | 714347 | 509582 | 6625 134 | 1718 | 9
542.02/542.28 c 350s | 19 | 718742 | 512482 | 6625 134 | 1718 | 9
544.02/544.29 c 352s | 19 | 723132 | 515382 | 6625 135 | 1718 | 9
546.12/546.33 c 354s | 19 | 726316 | 517782 | 6625 136 | 1718 | 9
548.11/548.36 c 356s | 19 | 730030 | 520582 | 6625 136 | 1718 | 9
550.21/550.42 c 358s | 19 | 733653 | 523282 | 6625 137 | 1718 | 9
552.22/552.42 c 360s | 19 | 737888 | 525982 | 6625 137 | 1718 | 9
554.21/554.45 c 362s | 19 | 742263 | 528882 | 6625 138 | 1718 | 9
556.22/556.50 c 364s | 19 | 746077 | 531682 | 6625 139 | 1718 | 9
558.32/558.52 c 366s | 19 | 749356 | 534382 | 6625 139 | 1718 | 9
560.32/560.57 c 368s | 19 | 753235 | 537182 | 6625 140 | 1718 | 9
562.41/562.60 c 370s | 19 | 756966 | 539982 | 6625 141 | 1718 | 9
564.42/564.68 c 372s | 19 | 761060 | 542882 | 6625 141 | 1718 | 9
566.41/566.68 c 374s | 19 | 764382 | 545282 | 6625 142 | 1718 | 9
568.51/568.73 c 376s | 19 | 768706 | 547982 | 6625 142 | 1718 | 9
570.51/570.77 c 378s | 19 | 772606 | 550682 | 6625 143 | 1718 | 9
572.71/572.90 c 380s | 19 | 776128 | 553182 | 6625 144 | 1718 | 9
574.71/574.96 c 382s | 19 | 780228 | 555982 | 6625 144 | 1718 | 9
576.71/576.99 c 384s | 19 | 784783 | 558882 | 6625 145 | 1718 | 9
578.81/579.01 c 386s | 19 | 789117 | 561782 | 6625 145 | 1718 | 9
580.81/581.04 c 388s | 19 | 792883 | 564382 | 6625 146 | 1718 | 9
582.80/583.08 c 390s | 19 | 796877 | 567182 | 6625 147 | 1718 | 9
584.80/585.09 c 392s | 19 | 801016 | 570082 | 6625 147 | 1718 | 9
586.91/587.16 c 394s | 19 | 805191 | 572882 | 6625 148 | 1718 | 9
589.00/589.22 c 397s | 19 | 808945 | 575482 | 6625 148 | 1718 | 9
591.00/591.25 c 399s | 19 | 812728 | 578082 | 6625 149 | 1718 | 9
593.01/593.29 c 401s | 19 | 816226 | 580582 | 6625 150 | 1718 | 9
595.11/595.33 c 403s | 19 | 819147 | 582882 | 6625 150 | 1718 | 9
597.10/597.35 c 405s | 19 | 822646 | 585582 | 6625 151 | 1718 | 9
599.20/599.41 c 407s | 19 | 826414 | 588282 | 6625 151 | 1718 | 9
601.19/601.41 c 409s | 19 | 829979 | 590882 | 6625 152 | 1718 | 9
603.29/603.55 c 411s | 19 | 833567 | 593582 | 6625 153 | 1718 | 9
605.29/605.56 c 413s | 19 | 837127 | 596182 | 6625 153 | 1718 | 9
607.39/607.69 c 415s | 19 | 839680 | 598082 | 6625 154 | 1718 | 9
609.49/609.75 c 417s | 19 | 843970 | 601082 | 6625 154 | 1718 | 9
611.49/611.75 c 419s | 19 | 848404 | 603982 | 6625 155 | 1718 | 9
613.59/613.80 c 421s | 19 | 852642 | 606982 | 6625 155 | 1718 | 9
615.58/615.87 c 423s | 19 | 856735 | 609882 | 6625 156 | 1718 | 9
617.58/617.88 c 425s | 19 | 860624 | 612582 | 6625 157 | 1718 | 9
619.68/619.95 c 427s | 19 | 864921 | 615582 | 6625 157 | 1718 | 9
621.68/621.97 c 429s | 19 | 869145 | 618482 | 6625 158 | 1718 | 9
623.69/623.99 c 431s | 19 | 873014 | 621282 | 6625 159 | 1718 | 9
625.78/626.08 c 433s | 19 | 876585 | 623882 | 6625 159 | 1718 | 9
627.88/628.12 c 435s | 19 | 880598 | 626682 | 6625 160 | 1718 | 9
629.88/630.19 c 438s | 19 | 884449 | 629382 | 6625 160 | 1718 | 9
631.88/632.19 c 440s | 19 | 888300 | 632082 | 6625 161 | 1718 | 9
633.97/634.21 c 442s | 19 | 891619 | 634582 | 6625 162 | 1718 | 9
635.97/636.29 c 444s | 19 | 895960 | 637382 | 6625 162 | 1718 | 9
638.08/638.35 c 446s | 19 | 899732 | 639982 | 6625 163 | 1718 | 9
640.18/640.42 c 448s | 19 | 903237 | 642582 | 6625 163 | 1718 | 9
642.17/642.48 c 450s | 19 | 906995 | 645282 | 6625 164 | 1718 | 9
644.27/644.51 c 452s | 19 | 910749 | 647882 | 6625 165 | 1718 | 9
646.27/646.51 c 454s | 19 | 913345 | 649482 | 6625 165 | 1718 | 9
648.26/648.53 c 456s | 19 | 917621 | 652382 | 6625 166 | 1718 | 9
650.26/650.56 c 458s | 19 | 922396 | 655582 | 6625 166 | 1718 | 9
652.37/652.62 c 460s | 19 | 927260 | 658682 | 6625 167 | 1718 | 9
654.36/654.67 c 462s | 19 | 931048 | 661382 | 6625 168 | 1718 | 9
656.36/656.69 c 464s | 19 | 935123 | 664082 | 7288 168 | 1718 | 9
658.36/658.70 c 466s | 19 | 938905 | 666682 | 7288 169 | 1718 | 9
658.56/658.80 c 466s | 20 | 939079 | 666827 | 7288 169 | 1718 | 9
660.56/660.81 c 468s | 20 | 943745 | 669727 | 7288 169 | 1718 | 9
662.56/662.81 c 470s | 20 | 946835 | 672027 | 7288 170 | 1718 | 9
664.56/664.86 c 472s | 20 | 951157 | 675027 | 7288 170 | 1718 | 9
666.67/666.90 c 474s | 20 | 954763 | 677727 | 7288 171 | 1718 | 9
668.66/668.91 c 476s | 20 | 958526 | 680427 | 7288 171 | 1718 | 9
670.66/670.95 c 478s | 20 | 962121 | 683127 | 7288 172 | 1718 | 9
672.66/672.98 c 480s | 20 | 966217 | 685927 | 7288 173 | 1718 | 9
674.76/675.04 c 482s | 20 | 970694 | 689027 | 7288 173 | 1718 | 9
676.76/677.07 c 484s | 20 | 974839 | 692027 | 7288 174 | 1718 | 9
678.77/679.07 c 486s | 20 | 979165 | 694927 | 7288 174 | 1718 | 9
680.86/681.13 c 488s | 20 | 983228 | 697827 | 7288 175 | 1718 | 9
682.96/683.21 c 491s | 20 | 986763 | 700227 | 7288 176 | 1718 | 9
684.96/685.28 c 493s | 20 | 990932 | 703227 | 7288 176 | 1718 | 9
686.96/687.28 c 495s | 20 | 994615 | 705927 | 7288 177 | 1718 | 9
688.96/689.28 c 497s | 20 | 998901 | 708827 | 7288 177 | 1718 | 9
691.06/691.34 c 499s | 20 | 1003158 | 711727 | 7288 178 | 1718 | 9
693.06/693.34 c 501s | 20 | 1007064 | 714327 | 7288 178 | 1718 | 9
695.16/695.41 c 503s | 20 | 1011325 | 717227 | 7288 179 | 1718 | 9
697.36/697.63 c 505s | 20 | 1015113 | 719927 | 7288 180 | 1718 | 9
699.35/699.65 c 507s | 20 | 1018612 | 722527 | 7288 180 | 1718 | 9
701.35/701.66 c 509s | 20 | 1021828 | 724927 | 7288 181 | 1718 | 9
703.35/703.68 c 511s | 20 | 1025856 | 727927 | 7288 181 | 1718 | 9
705.35/705.70 c 513s | 20 | 1030116 | 730827 | 7288 182 | 1718 | 9
707.45/707.71 c 515s | 20 | 1033789 | 733727 | 7288 182 | 1718 | 9
709.46/709.72 c 517s | 20 | 1038268 | 736727 | 7288 183 | 1718 | 9
711.45/711.73 c 519s | 20 | 1041599 | 739327 | 7288 184 | 1718 | 9
713.45/713.74 c 521s | 20 | 1045212 | 741927 | 7288 184 | 1718 | 9
715.55/715.81 c 523s | 20 | 1048537 | 744427 | 7288 185 | 1718 | 9
717.55/717.87 c 525s | 20 | 1051922 | 747027 | 7288 185 | 1718 | 9
719.65/719.93 c 527s | 20 | 1055177 | 749427 | 7288 186 | 1718 | 9
721.66/721.93 c 529s | 20 | 1058463 | 751827 | 7288 186 | 1718 | 9
723.65/723.98 c 531s | 20 | 1061687 | 754227 | 7288 187 | 1718 | 9
725.65/725.98 c 533s | 20 | 1064909 | 756627 | 7288 187 | 1718 | 9
727.65/727.98 c 535s | 20 | 1068163 | 759227 | 7288 188 | 1718 | 9
729.75/730.05 c 537s | 20 | 1071503 | 761527 | 7288 188 | 1718 | 9
731.75/732.06 c 539s | 20 | 1075847 | 764527 | 7288 189 | 1718 | 9
733.84/734.11 c 541s | 20 | 1080525 | 767627 | 7288 190 | 1718 | 9
735.85/736.11 c 543s | 20 | 1084242 | 770427 | 7288 190 | 1718 | 9
737.84/738.17 c 546s | 20 | 1088062 | 773427 | 7288 191 | 1718 | 9
739.94/740.20 c 548s | 20 | 1091971 | 776327 | 7288 191 | 1718 | 9
741.94/742.24 c 550s | 20 | 1095569 | 779227 | 7288 192 | 1718 | 9
744.05/744.31 c 552s | 20 | 1098945 | 782027 | 7288 193 | 1718 | 9
746.05/746.32 c 554s | 20 | 1102627 | 784827 | 7288 193 | 1718 | 9
748.06/748.35 c 556s | 20 | 1105904 | 787427 | 7288 194 | 1718 | 9
750.15/750.43 c 558s | 20 | 1109019 | 790027 | 7288 194 | 1718 | 9
752.15/752.44 c 560s | 20 | 1112512 | 792527 | 7288 195 | 1718 | 9
754.15/754.46 c 562s | 20 | 1116370 | 795327 | 7288 195 | 1718 | 9
756.25/756.52 c 564s | 20 | 1120233 | 798127 | 7288 196 | 1718 | 9
758.25/758.52 c 566s | 20 | 1123391 | 800727 | 7288 196 | 1718 | 9
760.25/760.56 c 568s | 20 | 1126739 | 803427 | 7288 197 | 1718 | 9
762.35/762.62 c 570s | 20 | 1130628 | 806227 | 7288 198 | 1718 | 9
764.35/764.64 c 572s | 20 | 1134687 | 809227 | 7288 198 | 1718 | 9
766.34/766.67 c 574s | 20 | 1138439 | 812027 | 7288 199 | 1718 | 9
768.44/768.72 c 576s | 20 | 1142299 | 814727 | 7288 199 | 1718 | 9
770.44/770.74 c 578s | 20 | 1146220 | 817527 | 7288 200 | 1718 | 9
772.54/772.81 c 580s | 20 | 1150648 | 820427 | 7288 200 | 1718 | 9
774.54/774.83 c 582s | 20 | 1153990 | 822927 | 7288 201 | 1718 | 9
776.55/776.87 c 584s | 20 | 1157506 | 825427 | 7288 201 | 1718 | 9
778.64/778.90 c 586s | 20 | 1161199 | 828127 | 7288 202 | 1718 | 9
780.64/780.92 c 588s | 20 | 1164565 | 830627 | 7288 203 | 1718 | 9
782.64/782.97 c 590s | 20 | 1168574 | 833627 | 7288 203 | 1718 | 9
784.74/785.04 c 592s | 20 | 1171975 | 836127 | 7288 204 | 1718 | 9
787.04/787.35 c 595s | 20 | 1175253 | 838627 | 7288 204 | 1718 | 9
789.14/789.44 c 597s | 20 | 1178298 | 840927 | 7288 205 | 1718 | 9
791.14/791.49 c 599s | 20 | 1182067 | 843927 | 7288 205 | 1718 | 9
793.15/793.49 c 601s | 20 | 1186210 | 846827 | 7288 206 | 1718 | 9
795.14/795.49 c 603s | 20 | 1189879 | 849527 | 7288 206 | 1718 | 9
797.24/797.54 c 605s | 20 | 1194268 | 852627 | 7288 207 | 1718 | 9
799.34/799.68 c 607s | 20 | 1198143 | 855527 | 7288 208 | 1718 | 9
801.44/801.72 c 609s | 20 | 1201882 | 858427 | 7288 208 | 1718 | 9
803.44/803.74 c 611s | 20 | 1205502 | 861127 | 7288 209 | 1718 | 9
805.54/805.80 c 613s | 20 | 1209257 | 863827 | 7288 209 | 1718 | 9
807.54/807.86 c 615s | 20 | 1213110 | 866727 | 7288 210 | 1718 | 9
809.54/809.87 c 617s | 20 | 1216416 | 869427 | 7288 211 | 1718 | 9
811.63/811.94 c 619s | 20 | 1219698 | 872127 | 7288 211 | 1718 | 9
813.63/813.98 c 621s | 20 | 1223146 | 874827 | 7288 212 | 1718 | 9
815.73/816.05 c 623s | 20 | 1227294 | 877827 | 7288 212 | 1718 | 9
817.73/818.05 c 625s | 20 | 1230919 | 880527 | 7288 213 | 1718 | 9
819.73/820.07 c 627s | 20 | 1234581 | 883227 | 7288 213 | 1718 | 9
821.74/822.08 c 629s | 20 | 1238258 | 885827 | 7288 214 | 1718 | 9
823.84/824.14 c 631s | 20 | 1241832 | 888427 | 7288 215 | 1718 | 9
825.83/826.19 c 634s | 20 | 1245567 | 891227 | 7288 215 | 1718 | 9
827.93/828.25 c 636s | 20 | 1248870 | 893827 | 7288 216 | 1718 | 9
829.93/830.29 c 638s | 20 | 1251662 | 896127 | 7288 216 | 1718 | 9
832.03/832.33 c 640s | 20 | 1254608 | 898527 | 7288 217 | 1718 | 9
834.03/834.34 c 642s | 20 | 1258425 | 901327 | 7288 217 | 1718 | 9
836.13/836.42 c 644s | 20 | 1261856 | 904027 | 7288 218 | 1718 | 9
838.13/838.48 c 646s | 20 | 1265647 | 906827 | 7288 218 | 1718 | 9
840.13/840.48 c 648s | 20 | 1269024 | 909427 | 7288 219 | 1718 | 9
842.23/842.54 c 650s | 20 | 1272156 | 911927 | 7288 219 | 1718 | 9
844.23/844.54 c 652s | 20 | 1275661 | 914627 | 7288 220 | 1718 | 9
846.24/846.55 c 654s | 20 | 1279420 | 917427 | 7288 221 | 1718 | 9
848.24/848.57 c 656s | 20 | 1282545 | 920027 | 7288 221 | 1718 | 9
850.24/850.58 c 658s | 20 | 1286057 | 922727 | 7288 222 | 1718 | 9
852.33/852.65 c 660s | 20 | 1289578 | 925527 | 7288 222 | 1718 | 9
854.33/854.66 c 662s | 20 | 1292452 | 927927 | 7288 223 | 1718 | 9
856.43/856.72 c 664s | 20 | 1295542 | 930427 | 7288 223 | 1718 | 9
858.53/858.80 c 666s | 20 | 1298378 | 932827 | 7288 224 | 1718 | 9
860.53/860.86 c 668s | 20 | 1301284 | 935327 | 7288 224 | 1718 | 9
862.53/862.88 c 670s | 20 | 1304261 | 937727 | 7288 225 | 1718 | 9
864.54/864.88 c 672s | 20 | 1307636 | 940327 | 7288 225 | 1718 | 9
866.63/866.92 c 674s | 20 | 1310668 | 942827 | 7288 226 | 1718 | 9
868.63/868.95 c 676s | 20 | 1314187 | 945427 | 7288 226 | 1718 | 9
870.63/870.99 c 678s | 20 | 1317186 | 947727 | 7288 227 | 1718 | 9
872.63/872.99 c 680s | 20 | 1320436 | 950327 | 7288 227 | 1718 | 9
874.73/875.01 c 682s | 20 | 1323106 | 952427 | 7288 228 | 1718 | 9
876.74/877.07 c 684s | 20 | 1326374 | 954927 | 7288 228 | 1718 | 9
878.83/879.12 c 686s | 20 | 1329899 | 957527 | 7288 229 | 1718 | 9
880.83/881.18 c 689s | 20 | 1333000 | 959827 | 7288 229 | 1718 | 9
882.93/883.21 c 691s | 20 | 1336862 | 962527 | 7288 230 | 1718 | 9
884.93/885.26 c 693s | 20 | 1340660 | 965227 | 7288 230 | 1718 | 9
886.92/887.26 c 695s | 20 | 1344413 | 967927 | 7288 231 | 1718 | 9
889.02/889.33 c 697s | 20 | 1348320 | 970827 | 7288 232 | 1718 | 9
891.03/891.35 c 699s | 20 | 1352428 | 973727 | 7288 232 | 1718 | 9
893.02/893.35 c 701s | 20 | 1356174 | 976427 | 7288 233 | 1718 | 9
895.12/895.41 c 703s | 20 | 1360348 | 979227 | 7288 233 | 1718 | 9
897.12/897.46 c 705s | 20 | 1363564 | 981727 | 7288 234 | 1718 | 9
899.12/899.48 c 707s | 20 | 1367233 | 984427 | 7288 234 | 1718 | 9
901.12/901.49 c 709s | 20 | 1370902 | 987027 | 7288 235 | 1718 | 9
903.22/903.57 c 711s | 20 | 1374652 | 989727 | 7288 236 | 1718 | 9
905.33/905.64 c 713s | 20 | 1378775 | 992527 | 7288 236 | 1718 | 9
907.32/907.65 c 715s | 20 | 1382882 | 995227 | 8017 237 | 1718 | 9
909.32/909.65 c 717s | 20 | 1386511 | 997827 | 8017 237 | 1718 | 9
911.22/911.58 c 719s | 21 | 1389719 | 1000345 | 8017 238 | 1718 | 9
913.32/913.64 c 721s | 21 | 1393307 | 1002545 | 8017 238 | 1718 | 9
915.42/915.72 c 723s | 21 | 1397082 | 1005345 | 8017 238 | 1718 | 9
917.42/917.79 c 725s | 21 | 1400631 | 1008045 | 8017 239 | 1718 | 9
919.42/919.80 c 727s | 21 | 1404222 | 1010445 | 8017 239 | 1718 | 9
921.52/921.82 c 729s | 21 | 1407137 | 1012845 | 8017 240 | 1718 | 9
923.52/923.88 c 731s | 21 | 1411047 | 1015645 | 8017 240 | 1718 | 9
925.72/926.05 c 733s | 21 | 1414465 | 1018045 | 8017 241 | 1718 | 9
927.72/928.06 c 735s | 21 | 1418472 | 1020945 | 8017 241 | 1718 | 9
929.71/930.08 c 737s | 21 | 1422492 | 1023745 | 8017 242 | 1718 | 9
931.81/932.16 c 739s | 21 | 1426312 | 1026445 | 8017 243 | 1718 | 9
933.92/934.21 c 742s | 21 | 1430477 | 1029245 | 8017 243 | 1718 | 9
936.02/936.32 c 744s | 21 | 1433664 | 1031645 | 8017 244 | 1718 | 9
938.01/938.39 c 746s | 21 | 1437684 | 1034445 | 8017 244 | 1718 | 9
940.01/940.39 c 748s | 21 | 1441739 | 1037145 | 8017 245 | 1718 | 9
942.11/942.45 c 750s | 21 | 1446567 | 1040145 | 8017 245 | 1718 | 9
944.11/944.47 c 752s | 21 | 1450858 | 1042845 | 8017 246 | 1718 | 9
946.12/946.49 c 754s | 21 | 1454280 | 1045345 | 8017 246 | 1718 | 9
948.23/948.56 c 756s | 21 | 1457678 | 1047845 | 8017 247 | 1718 | 9
950.22/950.59 c 758s | 21 | 1461091 | 1050445 | 8017 247 | 1718 | 9
952.32/952.63 c 760s | 21 | 1463994 | 1052445 | 8017 248 | 1718 | 9
954.32/954.67 c 762s | 21 | 1467768 | 1055345 | 8017 248 | 1718 | 9
956.32/956.69 c 764s | 21 | 1471307 | 1058145 | 8017 249 | 1718 | 9
958.42/958.77 c 766s | 21 | 1474779 | 1060945 | 8017 249 | 1718 | 9
960.52/960.82 c 768s | 21 | 1478504 | 1063545 | 8017 250 | 1718 | 9
962.52/962.83 c 770s | 21 | 1482243 | 1066245 | 8017 250 | 1718 | 9
964.51/964.86 c 772s | 21 | 1486262 | 1068945 | 8017 251 | 1718 | 9
966.62/966.91 c 774s | 21 | 1489871 | 1071545 | 8017 251 | 1718 | 9
968.61/968.95 c 776s | 21 | 1493540 | 1074245 | 8017 252 | 1718 | 9
970.71/971.02 c 778s | 21 | 1497491 | 1077045 | 8017 252 | 1718 | 9
972.71/973.03 c 780s | 21 | 1501127 | 1079645 | 8017 253 | 1718 | 9
974.71/975.06 c 782s | 21 | 1505155 | 1082345 | 8017 253 | 1718 | 9
976.82/977.11 c 784s | 21 | 1508850 | 1084945 | 8017 254 | 1718 | 9
978.81/979.13 c 786s | 21 | 1512727 | 1087545 | 8017 254 | 1718 | 9
980.91/981.20 c 789s | 21 | 1516677 | 1090245 | 8017 255 | 1718 | 9
982.91/983.23 c 791s | 21 | 1520625 | 1092945 | 8017 255 | 1718 | 9
984.91/985.25 c 793s | 21 | 1523228 | 1094745 | 8017 256 | 1718 | 9
986.91/987.26 c 795s | 21 | 1527057 | 1097445 | 8017 256 | 1718 | 9
988.92/989.27 c 797s | 21 | 1530353 | 1099745 | 8017 257 | 1718 | 9
990.91/991.29 c 799s | 21 | 1534297 | 1102545 | 8017 257 | 1718 | 9
993.01/993.32 c 801s | 21 | 1537943 | 1105045 | 8017 258 | 1718 | 9
995.01/995.39 c 803s | 21 | 1541530 | 1107745 | 8017 258 | 1718 | 9
997.11/997.45 c 805s | 21 | 1545556 | 1110445 | 8017 259 | 1718 | 9
999.11/999.45 c 807s | 21 | 1549244 | 1113045 | 8017 259 | 1718 | 9
1001.11/1001.49 c 809s | 21 | 1552656 | 1115645 | 8017 260 | 1718 | 9
1003.51/1003.83 c 811s | 21 | 1556491 | 1118245 | 8017 260 | 1718 | 9
1005.61/1005.90 c 813s | 21 | 1560201 | 1120845 | 8017 261 | 1718 | 9
1007.61/1007.90 c 815s | 21 | 1564312 | 1123645 | 8017 261 | 1718 | 9
1009.60/1009.97 c 817s | 21 | 1567683 | 1126245 | 8017 262 | 1718 | 9
1011.70/1012.00 c 819s | 21 | 1571185 | 1128845 | 8017 262 | 1718 | 9
1013.70/1014.07 c 821s | 21 | 1574650 | 1131445 | 8017 263 | 1718 | 9
1015.80/1016.13 c 823s | 21 | 1578507 | 1134145 | 8017 263 | 1718 | 9
1017.80/1018.19 c 826s | 21 | 1581984 | 1136645 | 8017 264 | 1718 | 9
1019.90/1020.27 c 828s | 21 | 1585116 | 1138945 | 8017 264 | 1718 | 9
1022.00/1022.33 c 830s | 21 | 1588703 | 1141445 | 8017 265 | 1718 | 9
1024.01/1024.39 c 832s | 21 | 1592276 | 1144145 | 8017 265 | 1718 | 9
1026.10/1026.45 c 834s | 21 | 1595756 | 1146645 | 8017 266 | 1718 | 9
1028.20/1028.52 c 836s | 21 | 1599042 | 1149245 | 8017 266 | 1718 | 9
1030.20/1030.56 c 838s | 21 | 1602380 | 1151745 | 8017 267 | 1718 | 9
1032.30/1032.60 c 840s | 21 | 1605737 | 1154445 | 8017 267 | 1718 | 9
1034.30/1034.67 c 842s | 21 | 1609556 | 1156945 | 8017 268 | 1718 | 9
1036.30/1036.68 c 844s | 21 | 1612929 | 1159645 | 8017 268 | 1718 | 9
1038.41/1038.74 c 846s | 21 | 1616566 | 1162045 | 8017 269 | 1718 | 9
1040.40/1040.80 c 848s | 21 | 1620338 | 1164645 | 8017 269 | 1718 | 9
1042.50/1042.87 c 850s | 21 | 1623931 | 1167245 | 8017 270 | 1718 | 9
1044.60/1044.92 c 852s | 21 | 1627253 | 1169545 | 8017 270 | 1718 | 9
1046.60/1046.98 c 854s | 21 | 1630431 | 1171945 | 8017 270 | 1718 | 9
1048.70/1049.03 c 856s | 21 | 1633776 | 1174445 | 8017 271 | 1718 | 9
1050.69/1051.04 c 858s | 21 | 1636585 | 1176745 | 8017 271 | 1718 | 9
1052.80/1053.12 c 860s | 21 | 1639132 | 1178745 | 8017 272 | 1718 | 9
1054.80/1055.20 c 863s | 21 | 1642451 | 1181245 | 8017 272 | 1718 | 9
1056.89/1057.26 c 865s | 21 | 1645721 | 1183545 | 8017 273 | 1718 | 9
1058.89/1059.27 c 867s | 21 | 1648657 | 1185845 | 8017 273 | 1718 | 9
1060.99/1061.37 c 869s | 21 | 1651359 | 1188045 | 8017 274 | 1718 | 9
1063.19/1063.56 c 871s | 21 | 1654065 | 1190345 | 8017 274 | 1718 | 9
1065.19/1065.56 c 873s | 21 | 1657738 | 1193045 | 8017 275 | 1718 | 9
1067.19/1067.59 c 875s | 21 | 1661210 | 1195745 | 8017 275 | 1718 | 9
1069.29/1069.61 c 877s | 21 | 1665037 | 1198445 | 8017 276 | 1718 | 9
1071.30/1071.63 c 879s | 21 | 1668689 | 1201145 | 8017 276 | 1718 | 9
1073.29/1073.67 c 881s | 21 | 1672241 | 1203745 | 8017 277 | 1718 | 9
1075.39/1075.72 c 883s | 21 | 1675570 | 1206045 | 8017 277 | 1718 | 9
1077.39/1077.79 c 885s | 21 | 1679384 | 1208645 | 8017 278 | 1718 | 9
1079.49/1079.84 c 887s | 21 | 1683391 | 1211345 | 8017 278 | 1718 | 9
1081.60/1081.92 c 889s | 21 | 1686981 | 1213945 | 8017 279 | 1718 | 9
1083.60/1083.92 c 891s | 21 | 1690130 | 1216345 | 8017 279 | 1718 | 9
1085.61/1085.95 c 893s | 21 | 1694160 | 1218945 | 8017 280 | 1718 | 9
1087.60/1087.98 c 895s | 21 | 1698308 | 1221745 | 8017 280 | 1718 | 9
1089.60/1089.99 c 897s | 21 | 1702617 | 1224445 | 8017 281 | 1718 | 9
1091.90/1092.20 c 900s | 21 | 1706403 | 1226845 | 8017 281 | 1718 | 9
1093.90/1094.25 c 902s | 21 | 1709287 | 1228945 | 8017 281 | 1718 | 9
1095.89/1096.27 c 904s | 21 | 1712807 | 1231445 | 8017 282 | 1718 | 9
1097.99/1098.32 c 906s | 21 | 1716874 | 1234245 | 8017 282 | 1718 | 9
1100.00/1100.38 c 908s | 21 | 1720618 | 1236845 | 8017 283 | 1718 | 9
1102.10/1102.41 c 910s | 21 | 1724411 | 1239545 | 8017 283 | 1718 | 9
1104.19/1104.50 c 912s | 21 | 1728194 | 1242245 | 8017 284 | 1718 | 9
1106.19/1106.58 c 914s | 21 | 1731373 | 1244645 | 8017 284 | 1718 | 9
1108.29/1108.61 c 916s | 21 | 1734622 | 1246945 | 8017 285 | 1718 | 9
1110.29/1110.69 c 918s | 21 | 1738273 | 1249445 | 8017 285 | 1718 | 9
1112.39/1112.75 c 920s | 21 | 1741916 | 1251945 | 8017 286 | 1718 | 9
1114.39/1114.79 c 922s | 21 | 1745237 | 1254345 | 8017 286 | 1718 | 9
1116.49/1116.83 c 924s | 21 | 1748758 | 1256745 | 8017 287 | 1718 | 9
1118.49/1118.86 c 926s | 21 | 1751848 | 1259145 | 8017 287 | 1718 | 9
1120.59/1120.92 c 928s | 21 | 1755276 | 1261545 | 8017 288 | 1718 | 9
1122.58/1122.96 c 930s | 21 | 1758249 | 1263645 | 8017 288 | 1718 | 9
1124.58/1124.98 c 932s | 21 | 1761518 | 1266145 | 8017 289 | 1718 | 9
1126.58/1126.99 c 934s | 21 | 1765936 | 1268845 | 8017 289 | 1718 | 9
1128.68/1129.01 c 936s | 21 | 1769554 | 1271345 | 8017 290 | 1718 | 9
1130.69/1131.08 c 938s | 21 | 1773351 | 1274145 | 8017 290 | 1718 | 9
1133.00/1133.33 c 941s | 21 | 1776038 | 1276245 | 8017 291 | 1718 | 9
1135.10/1135.41 c 943s | 21 | 1779328 | 1278845 | 8017 291 | 1718 | 9
1137.30/1137.67 c 945s | 21 | 1782324 | 1281245 | 8017 292 | 1718 | 9
1139.39/1139.72 c 947s | 21 | 1786640 | 1284145 | 8017 292 | 1718 | 9
1141.39/1141.75 c 949s | 21 | 1790189 | 1286745 | 8017 293 | 1718 | 9
1143.39/1143.76 c 951s | 21 | 1793765 | 1289445 | 8017 293 | 1718 | 9
1145.49/1145.84 c 953s | 21 | 1797284 | 1292145 | 8017 294 | 1718 | 9
1147.49/1147.89 c 955s | 21 | 1801607 | 1295045 | 8017 294 | 1718 | 9
1149.59/1149.95 c 957s | 21 | 1805869 | 1297745 | 8017 295 | 1718 | 9
1151.70/1152.00 c 959s | 21 | 1810120 | 1300545 | 8017 295 | 1718 | 9
1153.69/1154.04 c 961s | 21 | 1813943 | 1303145 | 8017 296 | 1718 | 9
1155.69/1156.04 c 963s | 21 | 1818290 | 1305945 | 8017 296 | 1718 | 9
1157.69/1158.06 c 965s | 21 | 1822272 | 1308645 | 8017 297 | 1718 | 9
1159.79/1160.14 c 967s | 21 | 1826148 | 1311445 | 8017 297 | 1718 | 9
1161.89/1162.25 c 970s | 21 | 1828872 | 1313445 | 8017 298 | 1718 | 9
1163.89/1164.29 c 972s | 21 | 1832430 | 1316245 | 8017 298 | 1718 | 9
1165.99/1166.37 c 974s | 21 | 1835769 | 1318845 | 8017 299 | 1718 | 9
1168.09/1168.45 c 976s | 21 | 1838934 | 1321445 | 8017 299 | 1718 | 9
1170.08/1170.47 c 978s | 21 | 1842036 | 1323945 | 8017 300 | 1718 | 9
1172.18/1172.50 c 980s | 21 | 1845078 | 1326445 | 8017 300 | 1718 | 9
1174.18/1174.55 c 982s | 21 | 1847575 | 1328345 | 8017 301 | 1718 | 9
1176.18/1176.58 c 984s | 21 | 1850785 | 1330745 | 8017 301 | 1718 | 9
1178.28/1178.65 c 986s | 21 | 1853689 | 1332945 | 8017 301 | 1718 | 9
1180.29/1180.67 c 988s | 21 | 1856740 | 1335345 | 8017 302 | 1718 | 9
1182.28/1182.68 c 990s | 21 | 1859716 | 1337645 | 8017 302 | 1718 | 9
1184.38/1184.75 c 992s | 21 | 1862548 | 1339845 | 8017 303 | 1718 | 9
1186.38/1186.79 c 994s | 21 | 1865650 | 1342245 | 8017 303 | 1718 | 9
1188.48/1188.84 c 996s | 21 | 1869407 | 1344745 | 8017 304 | 1718 | 9
1190.58/1190.91 c 998s | 21 | 1873052 | 1347445 | 8017 304 | 1718 | 9
1192.58/1192.98 c 1000s | 21 | 1876595 | 1349945 | 8017 305 | 1718 | 9
1194.68/1195.03 c 1002s | 21 | 1880353 | 1352545 | 8017 305 | 1718 | 9
1196.69/1197.09 c 1004s | 21 | 1883697 | 1355045 | 8017 306 | 1718 | 9
1198.78/1199.15 c 1006s | 21 | 1887173 | 1357745 | 8017 306 | 1718 | 9
1200.78/1201.16 c 1008s | 21 | 1890430 | 1360245 | 8017 307 | 1718 | 9
1202.78/1203.19 c 1011s | 21 | 1893876 | 1362845 | 8017 307 | 1718 | 9
1204.88/1205.22 c 1013s | 21 | 1897275 | 1365345 | 8017 308 | 1718 | 9
1206.98/1207.30 c 1015s | 21 | 1900010 | 1367545 | 8017 308 | 1718 | 9
1208.98/1209.39 c 1017s | 21 | 1902914 | 1369745 | 8017 309 | 1718 | 9
1211.08/1211.45 c 1019s | 21 | 1906288 | 1372245 | 8017 309 | 1718 | 9
1213.18/1213.53 c 1021s | 21 | 1909755 | 1374745 | 8017 309 | 1718 | 9
1215.18/1215.58 c 1023s | 21 | 1912933 | 1377045 | 8017 310 | 1718 | 9
1217.28/1217.64 c 1025s | 21 | 1916085 | 1379345 | 8017 310 | 1718 | 9
1219.28/1219.69 c 1027s | 21 | 1919134 | 1381545 | 8017 311 | 1718 | 9
1221.38/1221.74 c 1029s | 21 | 1921839 | 1383445 | 8017 311 | 1718 | 9
1223.37/1223.78 c 1031s | 21 | 1924866 | 1385645 | 8017 312 | 1718 | 9
1225.48/1225.84 c 1033s | 21 | 1928036 | 1388045 | 8017 312 | 1718 | 9
1227.48/1227.85 c 1035s | 21 | 1931248 | 1390345 | 8017 313 | 1718 | 9
1229.47/1229.89 c 1037s | 21 | 1934837 | 1392845 | 8017 313 | 1718 | 9
1231.57/1231.92 c 1039s | 21 | 1938180 | 1395245 | 8017 313 | 1718 | 9
1233.57/1233.97 c 1041s | 21 | 1941298 | 1397545 | 8017 314 | 1718 | 9
1235.57/1235.98 c 1043s | 21 | 1944329 | 1399945 | 8017 314 | 1718 | 9
1237.57/1237.99 c 1045s | 21 | 1947645 | 1402245 | 8017 315 | 1718 | 9
1239.68/1240.03 c 1047s | 21 | 1951150 | 1404645 | 8017 315 | 1718 | 9
1241.97/1242.31 c 1050s | 21 | 1953907 | 1406745 | 8017 316 | 1718 | 9
1243.98/1244.36 c 1052s | 21 | 1957466 | 1409045 | 8017 316 | 1718 | 9
1246.07/1246.40 c 1054s | 21 | 1960582 | 1411245 | 8017 317 | 1718 | 9
1248.07/1248.47 c 1056s | 21 | 1963892 | 1413745 | 8017 317 | 1718 | 9
1250.17/1250.51 c 1058s | 21 | 1967322 | 1416245 | 8017 317 | 1718 | 9
1252.27/1252.60 c 1060s | 21 | 1970909 | 1418845 | 8017 318 | 1718 | 9
1254.27/1254.64 c 1062s | 21 | 1973962 | 1421145 | 8017 318 | 1718 | 9
1256.27/1256.66 c 1064s | 21 | 1977385 | 1423645 | 8017 319 | 1718 | 9
1258.38/1258.71 c 1066s | 21 | 1980816 | 1426145 | 8017 319 | 1718 | 9
1260.37/1260.71 c 1068s | 21 | 1984015 | 1428545 | 8017 320 | 1718 | 9
1262.37/1262.78 c 1070s | 21 | 1987200 | 1430845 | 8017 320 | 1718 | 9
1264.47/1264.81 c 1072s | 21 | 1990530 | 1433245 | 8017 321 | 1718 | 9
1266.47/1266.88 c 1074s | 21 | 1993681 | 1435745 | 8017 321 | 1718 | 9
1268.57/1268.90 c 1076s | 21 | 1996642 | 1438045 | 8017 322 | 1718 | 9
1270.57/1270.90 c 1078s | 21 | 1999983 | 1440545 | 8017 322 | 1718 | 9
1272.57/1272.96 c 1080s | 21 | 2002747 | 1442545 | 8017 323 | 1718 | 9
1274.57/1274.98 c 1082s | 21 | 2006480 | 1445145 | 8017 323 | 1718 | 9
1276.67/1277.00 c 1084s | 21 | 2010071 | 1447645 | 8017 324 | 1718 | 9
1278.66/1279.02 c 1086s | 21 | 2014143 | 1450245 | 8017 324 | 1718 | 9
1280.66/1281.02 c 1088s | 21 | 2017445 | 1452645 | 8017 324 | 1718 | 9
1282.76/1283.10 c 1090s | 21 | 2020780 | 1455245 | 8017 325 | 1718 | 9
1284.77/1285.15 c 1092s | 21 | 2023938 | 1457745 | 8017 325 | 1718 | 9
1286.76/1287.15 c 1094s | 21 | 2027142 | 1459945 | 8017 326 | 1718 | 9
1288.86/1289.21 c 1097s | 21 | 2031153 | 1462645 | 8017 326 | 1718 | 9
1290.86/1291.23 c 1099s | 21 | 2035085 | 1465145 | 8017 327 | 1718 | 9
1292.96/1293.34 c 1101s | 21 | 2038770 | 1467645 | 8017 327 | 1718 | 9
1295.06/1295.40 c 1103s | 21 | 2042830 | 1470245 | 8017 328 | 1718 | 9
1297.06/1297.46 c 1105s | 21 | 2046478 | 1472745 | 8017 328 | 1718 | 9
1299.16/1299.51 c 1107s | 21 | 2050122 | 1475145 | 8017 329 | 1718 | 9
1301.17/1301.51 c 1109s | 21 | 2053789 | 1477745 | 8017 329 | 1718 | 9
1303.16/1303.57 c 1111s | 21 | 2057244 | 1480245 | 8017 330 | 1718 | 9
1305.16/1305.59 c 1113s | 21 | 2060790 | 1482745 | 8017 330 | 1718 | 9
1307.26/1307.64 c 1115s | 21 | 2063819 | 1485045 | 8017 331 | 1718 | 9
1309.36/1309.71 c 1117s | 21 | 2066986 | 1487345 | 8017 331 | 1718 | 9
1311.36/1311.72 c 1119s | 21 | 2071006 | 1489845 | 8017 332 | 1718 | 9
1313.36/1313.79 c 1121s | 21 | 2074603 | 1492445 | 8819 332 | 1718 | 9
1315.35/1315.80 c 1123s | 21 | 2078205 | 1494845 | 8819 332 | 1718 | 9
1317.46/1317.87 c 1125s | 21 | 2081592 | 1497245 | 8819 333 | 1718 | 9
1319.55/1319.94 c 1127s | 21 | 2085037 | 1499645 | 8819 333 | 1718 | 9
1320.45/1320.89 c 1128s | 22 | 2086462 | 1500622 | 8819 334 | 1718 | 9
1322.55/1322.93 c 1130s | 22 | 2089862 | 1502722 | 8819 334 | 1718 | 9
1324.65/1325.00 c 1132s | 22 | 2093491 | 1505322 | 8819 334 | 1718 | 9
1326.66/1327.06 c 1134s | 22 | 2097252 | 1507922 | 8819 335 | 1718 | 9
1328.77/1329.11 c 1136s | 22 | 2100399 | 1510322 | 8819 335 | 1718 | 9
1330.76/1331.14 c 1138s | 22 | 2104119 | 1512922 | 8819 336 | 1718 | 9
1332.76/1333.17 c 1140s | 22 | 2107832 | 1515622 | 8819 336 | 1718 | 9
1334.76/1335.17 c 1143s | 22 | 2111076 | 1517922 | 8819 337 | 1718 | 9
1336.86/1337.21 c 1145s | 22 | 2115300 | 1520822 | 8819 337 | 1718 | 9
1339.06/1339.46 c 1147s | 22 | 2118108 | 1523022 | 8819 337 | 1718 | 9
1341.16/1341.57 c 1149s | 22 | 2121642 | 1525422 | 8819 338 | 1718 | 9
1343.26/1343.64 c 1151s | 22 | 2125425 | 1528022 | 8819 338 | 1718 | 9
1345.26/1345.68 c 1153s | 22 | 2128923 | 1530522 | 8819 339 | 1718 | 9
1347.36/1347.77 c 1155s | 22 | 2132018 | 1532922 | 8819 339 | 1718 | 9
1349.46/1349.82 c 1157s | 22 | 2134676 | 1535022 | 8819 340 | 1718 | 9
1351.46/1351.86 c 1159s | 22 | 2137571 | 1537322 | 8819 340 | 1718 | 9
1353.56/1353.91 c 1161s | 22 | 2140444 | 1539522 | 8819 340 | 1718 | 9
1355.56/1355.93 c 1163s | 22 | 2144057 | 1541922 | 8819 341 | 1718 | 9
1357.55/1357.99 c 1165s | 22 | 2147971 | 1544522 | 8819 341 | 1718 | 9
1359.65/1360.00 c 1167s | 22 | 2151115 | 1546822 | 8819 342 | 1718 | 9
1361.66/1362.08 c 1169s | 22 | 2154358 | 1549222 | 8819 342 | 1718 | 9
1363.75/1364.11 c 1171s | 22 | 2158097 | 1551622 | 8819 343 | 1718 | 9
1365.75/1366.14 c 1173s | 22 | 2161701 | 1554122 | 8819 343 | 1718 | 9
1367.75/1368.18 c 1176s | 22 | 2164737 | 1556322 | 8819 343 | 1718 | 9
1369.85/1370.20 c 1178s | 22 | 2167631 | 1558422 | 8819 344 | 1718 | 9
1371.85/1372.24 c 1180s | 22 | 2171231 | 1560922 | 8819 344 | 1718 | 9
1373.85/1374.27 c 1182s | 22 | 2174294 | 1563222 | 8819 345 | 1718 | 9
1375.95/1376.33 c 1184s | 22 | 2177495 | 1565622 | 8819 345 | 1718 | 9
1378.64/1379.06 c 1186s | 22 | 2180473 | 1567822 | 8819 345 | 1718 | 9
1380.64/1381.07 c 1188s | 22 | 2183011 | 1569922 | 8819 346 | 1718 | 9
1382.74/1383.11 c 1190s | 22 | 2186125 | 1572322 | 8819 346 | 1718 | 9
1384.75/1385.11 c 1192s | 22 | 2189298 | 1574622 | 8819 347 | 1718 | 9
1386.74/1387.12 c 1194s | 22 | 2192786 | 1577222 | 8819 347 | 1718 | 9
1388.74/1389.17 c 1196s | 22 | 2195534 | 1579322 | 8819 348 | 1718 | 9
1390.84/1391.20 c 1199s | 22 | 2198742 | 1581722 | 8819 348 | 1718 | 9
1392.84/1393.27 c 1201s | 22 | 2201807 | 1584022 | 8819 348 | 1718 | 9
1394.94/1395.34 c 1203s | 22 | 2205297 | 1586522 | 8819 349 | 1718 | 9
1396.95/1397.35 c 1205s | 22 | 2208513 | 1589022 | 8819 349 | 1718 | 9
1399.04/1399.42 c 1207s | 22 | 2211575 | 1591422 | 8819 350 | 1718 | 9
1401.03/1401.44 c 1209s | 22 | 2215005 | 1594022 | 8819 350 | 1718 | 9
1403.03/1403.45 c 1211s | 22 | 2217385 | 1595822 | 8819 351 | 1718 | 9
1405.03/1405.45 c 1213s | 22 | 2220892 | 1598222 | 8819 351 | 1718 | 9
1407.03/1407.46 c 1215s | 22 | 2224239 | 1600722 | 8819 351 | 1718 | 9
1409.04/1409.48 c 1217s | 22 | 2227683 | 1603122 | 8819 352 | 1718 | 9
1411.13/1411.54 c 1219s | 22 | 2230883 | 1605622 | 8819 352 | 1718 | 9
1413.13/1413.56 c 1221s | 22 | 2234089 | 1608022 | 8819 353 | 1718 | 9
1415.23/1415.60 c 1223s | 22 | 2237402 | 1610322 | 8819 353 | 1718 | 9
1417.23/1417.62 c 1225s | 22 | 2240669 | 1612622 | 8819 354 | 1718 | 9
1419.22/1419.66 c 1227s | 22 | 2244230 | 1615022 | 8819 354 | 1718 | 9
1421.32/1421.73 c 1229s | 22 | 2247818 | 1617522 | 8819 354 | 1718 | 9
1423.33/1423.78 c 1231s | 22 | 2250972 | 1619822 | 8819 355 | 1718 | 9
1425.43/1425.82 c 1233s | 22 | 2254825 | 1622322 | 8819 355 | 1718 | 9
1427.52/1427.93 c 1235s | 22 | 2257538 | 1624422 | 8819 356 | 1718 | 9
1429.52/1429.98 c 1237s | 22 | 2261462 | 1627122 | 8819 356 | 1718 | 9
1431.51/1431.99 c 1239s | 22 | 2265041 | 1629522 | 8819 357 | 1718 | 9
1433.51/1433.99 c 1241s | 22 | 2268535 | 1632022 | 8819 357 | 1718 | 9
1435.61/1436.00 c 1243s | 22 | 2271693 | 1634422 | 8819 357 | 1718 | 9
1437.62/1438.04 c 1245s | 22 | 2274610 | 1636722 | 8819 358 | 1718 | 9
1439.72/1440.13 c 1247s | 22 | 2277128 | 1638722 | 8819 358 | 1718 | 9
1441.71/1442.17 c 1249s | 22 | 2279519 | 1640722 | 8819 359 | 1718 | 9
1443.81/1444.20 c 1252s | 22 | 2282385 | 1643422 | 8819 359 | 1718 | 9
1445.81/1446.26 c 1254s | 22 | 2285246 | 1645922 | 8819 359 | 1718 | 9
1447.92/1448.31 c 1256s | 22 | 2287996 | 1648322 | 8819 360 | 1718 | 9
1449.91/1450.34 c 1258s | 22 | 2290545 | 1650622 | 8819 360 | 1718 | 9
1452.11/1452.53 c 1260s | 22 | 2293680 | 1653222 | 8819 361 | 1718 | 9
1454.12/1454.57 c 1262s | 22 | 2297209 | 1655922 | 8819 361 | 1718 | 9
1456.22/1456.64 c 1264s | 22 | 2301237 | 1658722 | 8819 362 | 1718 | 9
1458.21/1458.65 c 1266s | 22 | 2305111 | 1661722 | 8819 362 | 1718 | 9
1460.21/1460.67 c 1268s | 22 | 2308659 | 1664522 | 8819 363 | 1718 | 9
1462.31/1462.73 c 1270s | 22 | 2312630 | 1667422 | 8819 363 | 1718 | 9
1464.41/1464.85 c 1272s | 22 | 2315748 | 1670322 | 8819 364 | 1718 | 9
1466.41/1466.89 c 1274s | 22 | 2319092 | 1673022 | 8819 364 | 1718 | 9
1468.50/1468.94 c 1276s | 22 | 2321415 | 1675122 | 8819 365 | 1718 | 9
1470.61/1471.01 c 1278s | 22 | 2324497 | 1677522 | 8819 365 | 1718 | 9
1472.60/1473.08 c 1280s | 22 | 2327377 | 1679822 | 8819 366 | 1718 | 9
1474.70/1475.14 c 1282s | 22 | 2330667 | 1682422 | 8819 366 | 1718 | 9
1476.80/1477.21 c 1285s | 22 | 2333530 | 1684722 | 8819 366 | 1718 | 9
1478.80/1479.29 c 1287s | 22 | 2336355 | 1687022 | 8819 367 | 1718 | 9
1480.90/1481.36 c 1289s | 22 | 2339725 | 1689422 | 8819 367 | 1718 | 9
1483.00/1483.43 c 1291s | 22 | 2342482 | 1691622 | 8819 368 | 1718 | 9
1485.00/1485.45 c 1293s | 22 | 2345303 | 1693922 | 8819 368 | 1718 | 9
1487.01/1487.50 c 1295s | 22 | 2348999 | 1696622 | 8819 369 | 1718 | 9
1489.10/1489.56 c 1297s | 22 | 2352704 | 1699722 | 8819 369 | 1718 | 9
1491.20/1491.60 c 1299s | 22 | 2356588 | 1702722 | 8819 370 | 1718 | 9
1493.20/1493.67 c 1301s | 22 | 2360074 | 1705322 | 8819 370 | 1718 | 9
1495.20/1495.68 c 1303s | 22 | 2363427 | 1707822 | 8819 371 | 1718 | 9
1497.20/1497.69 c 1305s | 22 | 2366931 | 1710622 | 8819 371 | 1718 | 9
1499.30/1499.79 c 1307s | 22 | 2370508 | 1713322 | 8819 372 | 1718 | 9
1501.40/1501.85 c 1309s | 22 | 2374236 | 1716022 | 8819 372 | 1718 | 9
1503.40/1503.88 c 1311s | 22 | 2377060 | 1718222 | 8819 372 | 1718 | 9
1505.50/1505.90 c 1313s | 22 | 2380190 | 1720622 | 8819 373 | 1718 | 9
1507.50/1507.91 c 1315s | 22 | 2383895 | 1723022 | 8819 373 | 1718 | 9
1509.50/1509.92 c 1317s | 22 | 2386896 | 1725322 | 8819 374 | 1718 | 9
1511.50/1511.96 c 1319s | 22 | 2390388 | 1727922 | 8819 374 | 1718 | 9
1513.60/1514.02 c 1321s | 22 | 2394215 | 1730622 | 8819 375 | 1718 | 9
1515.60/1516.04 c 1323s | 22 | 2397321 | 1733122 | 8819 375 | 1718 | 9
1517.59/1518.05 c 1325s | 22 | 2400367 | 1735522 | 8819 375 | 1718 | 9
1519.59/1520.09 c 1327s | 22 | 2403588 | 1737922 | 8819 376 | 1718 | 9
1521.69/1522.12 c 1329s | 22 | 2407141 | 1740422 | 8819 376 | 1718 | 9
1523.69/1524.13 c 1331s | 22 | 2410165 | 1742722 | 8819 377 | 1718 | 9
1525.69/1526.13 c 1333s | 22 | 2413634 | 1745222 | 8819 377 | 1718 | 9
1527.70/1528.16 c 1335s | 22 | 2416863 | 1747722 | 8819 378 | 1718 | 9
1529.69/1530.19 c 1338s | 22 | 2420240 | 1750222 | 8819 378 | 1718 | 9
1531.79/1532.25 c 1340s | 22 | 2423131 | 1752522 | 8819 379 | 1718 | 9
1533.79/1534.27 c 1342s | 22 | 2426580 | 1755022 | 8819 379 | 1718 | 9
1535.79/1536.30 c 1344s | 22 | 2429966 | 1757422 | 8819 379 | 1718 | 9
1537.89/1538.33 c 1346s | 22 | 2432632 | 1759522 | 8819 380 | 1718 | 9
1539.99/1540.41 c 1348s | 22 | 2435751 | 1761922 | 8819 380 | 1718 | 9
1542.00/1542.45 c 1350s | 22 | 2439073 | 1764222 | 8819 381 | 1718 | 9
1543.99/1544.48 c 1352s | 22 | 2442574 | 1766722 | 8819 381 | 1718 | 9
1546.09/1546.51 c 1354s | 22 | 2445269 | 1768922 | 8819 381 | 1718 | 9
1548.09/1548.53 c 1356s | 22 | 2448268 | 1771222 | 8819 382 | 1718 | 9
1550.09/1550.54 c 1358s | 22 | 2451377 | 1773622 | 8819 382 | 1718 | 9
1552.09/1552.56 c 1360s | 22 | 2454657 | 1776022 | 8819 383 | 1718 | 9
1554.20/1554.62 c 1362s | 22 | 2458154 | 1778622 | 8819 383 | 1718 | 9
1556.19/1556.62 c 1364s | 22 | 2461523 | 1781022 | 8819 384 | 1718 | 9
1558.19/1558.67 c 1366s | 22 | 2465041 | 1783622 | 8819 384 | 1718 | 9
1560.39/1560.81 c 1368s | 22 | 2468229 | 1786122 | 8819 385 | 1718 | 9
1562.39/1562.86 c 1370s | 22 | 2471764 | 1788722 | 8819 385 | 1718 | 9
1564.48/1564.90 c 1372s | 22 | 2474287 | 1790722 | 8819 385 | 1718 | 9
1566.48/1566.93 c 1374s | 22 | 2477312 | 1792922 | 8819 386 | 1718 | 9
1568.58/1569.00 c 1376s | 22 | 2480543 | 1795422 | 8819 386 | 1718 | 9
1570.88/1571.35 c 1379s | 22 | 2483325 | 1797522 | 8819 387 | 1718 | 9
1572.89/1573.35 c 1381s | 22 | 2487121 | 1800122 | 8819 387 | 1718 | 9
1574.99/1575.43 c 1383s | 22 | 2490565 | 1802722 | 8819 387 | 1718 | 9
1576.98/1577.46 c 1385s | 22 | 2493802 | 1805122 | 8819 388 | 1718 | 9
1579.08/1579.53 c 1387s | 22 | 2497569 | 1807722 | 8819 388 | 1718 | 9
1581.08/1581.54 c 1389s | 22 | 2500451 | 1810022 | 8819 389 | 1718 | 9
1583.08/1583.57 c 1391s | 22 | 2503825 | 1812422 | 8819 389 | 1718 | 9
1585.08/1585.58 c 1393s | 22 | 2506913 | 1814622 | 8819 390 | 1718 | 9
1587.19/1587.60 c 1395s | 22 | 2510260 | 1817022 | 8819 390 | 1718 | 9
1589.18/1589.62 c 1397s | 22 | 2513375 | 1819222 | 8819 390 | 1718 | 9
1591.28/1591.71 c 1399s | 22 | 2516229 | 1821322 | 8819 391 | 1718 | 9
1593.29/1593.78 c 1401s | 22 | 2519408 | 1823822 | 8819 391 | 1718 | 9
1595.28/1595.78 c 1403s | 22 | 2522498 | 1826122 | 8819 392 | 1718 | 9
1597.38/1597.84 c 1405s | 22 | 2525826 | 1828622 | 8819 392 | 1718 | 9
1599.38/1599.85 c 1407s | 22 | 2528864 | 1830822 | 8819 392 | 1718 | 9
1601.39/1601.86 c 1409s | 22 | 2531789 | 1833022 | 8819 393 | 1718 | 9
1603.48/1603.95 c 1411s | 22 | 2534957 | 1835422 | 8819 393 | 1718 | 9
1605.58/1606.00 c 1413s | 22 | 2537934 | 1837622 | 8819 394 | 1718 | 9
1607.58/1608.02 c 1415s | 22 | 2540867 | 1839822 | 8819 394 | 1718 | 9
1609.58/1610.08 c 1417s | 22 | 2543645 | 1842122 | 8819 395 | 1718 | 9
1611.58/1612.08 c 1419s | 22 | 2546746 | 1844522 | 8819 395 | 1718 | 9
1613.68/1614.10 c 1421s | 22 | 2549338 | 1846622 | 8819 395 | 1718 | 9
1615.68/1616.18 c 1424s | 22 | 2552127 | 1848822 | 8819 396 | 1718 | 9
1617.78/1618.22 c 1426s | 22 | 2554977 | 1851122 | 8819 396 | 1718 | 9
1619.88/1620.36 c 1428s | 22 | 2557601 | 1853322 | 8819 397 | 1718 | 9
1621.98/1622.40 c 1430s | 22 | 2560397 | 1855622 | 8819 397 | 1718 | 9
1623.98/1624.49 c 1432s | 22 | 2562972 | 1857822 | 8819 397 | 1718 | 9
1626.08/1626.59 c 1434s | 22 | 2565550 | 1860022 | 8819 398 | 1718 | 9
1628.17/1628.67 c 1436s | 22 | 2567434 | 1861722 | 8819 398 | 1718 | 9
1630.27/1630.70 c 1438s | 22 | 2569773 | 1863722 | 8819 398 | 1718 | 9
1632.28/1632.71 c 1440s | 22 | 2572279 | 1865722 | 8819 399 | 1718 | 9
1634.27/1634.75 c 1442s | 22 | 2574805 | 1867922 | 8819 399 | 1718 | 9
1636.37/1636.88 c 1444s | 22 | 2577450 | 1870022 | 8819 400 | 1718 | 9
1638.47/1638.92 c 1446s | 22 | 2580663 | 1872422 | 8819 400 | 1718 | 9
1640.47/1640.93 c 1448s | 22 | 2583575 | 1874622 | 8819 400 | 1718 | 9
1642.57/1643.02 c 1450s | 22 | 2586371 | 1876822 | 8819 401 | 1718 | 9
1644.57/1645.09 c 1452s | 22 | 2588713 | 1878722 | 8819 401 | 1718 | 9
1646.67/1647.14 c 1454s | 22 | 2591413 | 1880922 | 8819 401 | 1718 | 9
1648.78/1649.21 c 1457s | 22 | 2594081 | 1883122 | 8819 402 | 1718 | 9
1650.77/1651.22 c 1459s | 22 | 2596553 | 1885122 | 8819 402 | 1718 | 9
1652.87/1653.38 c 1461s | 22 | 2599215 | 1887122 | 8819 403 | 1718 | 9
1654.97/1655.46 c 1463s | 22 | 2601971 | 1889422 | 8819 403 | 1718 | 9
1656.97/1657.49 c 1465s | 22 | 2604515 | 1891522 | 8819 403 | 1718 | 9
1659.07/1659.50 c 1467s | 22 | 2606980 | 1893522 | 8819 404 | 1718 | 9
1661.07/1661.54 c 1469s | 22 | 2609451 | 1895622 | 8819 404 | 1718 | 9
1663.17/1663.61 c 1471s | 22 | 2611952 | 1897722 | 8819 404 | 1718 | 9
1665.17/1665.64 c 1473s | 22 | 2614050 | 1899522 | 8819 405 | 1718 | 9
1667.16/1667.65 c 1475s | 22 | 2617031 | 1901822 | 8819 405 | 1718 | 9
1669.26/1669.72 c 1477s | 22 | 2619607 | 1903922 | 8819 406 | 1718 | 9
1671.26/1671.78 c 1479s | 22 | 2622309 | 1906222 | 8819 406 | 1718 | 9
1673.36/1673.84 c 1481s | 22 | 2624916 | 1908422 | 8819 406 | 1718 | 9
1675.36/1675.86 c 1483s | 22 | 2627503 | 1910522 | 8819 407 | 1718 | 9
1677.37/1677.89 c 1485s | 22 | 2629954 | 1912622 | 8819 407 | 1718 | 9
1679.47/1679.95 c 1487s | 22 | 2632166 | 1914522 | 8819 407 | 1718 | 9
1681.47/1681.97 c 1489s | 22 | 2634549 | 1916522 | 8819 408 | 1718 | 9
1683.77/1684.22 c 1492s | 22 | 2637079 | 1918722 | 8819 408 | 1718 | 9
1685.87/1686.33 c 1494s | 22 | 2639277 | 1920622 | 8819 409 | 1718 | 9
1687.97/1688.41 c 1496s | 22 | 2641988 | 1922822 | 8819 409 | 1718 | 9
1689.97/1690.46 c 1498s | 22 | 2644159 | 1924722 | 8819 409 | 1718 | 9
1692.07/1692.51 c 1500s | 22 | 2646661 | 1926822 | 8819 410 | 1718 | 9
1694.07/1694.54 c 1502s | 22 | 2649374 | 1929022 | 8819 410 | 1718 | 9
1696.07/1696.55 c 1504s | 22 | 2651147 | 1930522 | 8819 410 | 1718 | 9
1698.17/1698.62 c 1506s | 22 | 2654998 | 1933422 | 8819 411 | 1718 | 9
1700.16/1700.68 c 1508s | 22 | 2658865 | 1936122 | 8819 411 | 1718 | 9
1702.27/1702.74 c 1510s | 22 | 2662690 | 1938822 | 8819 412 | 1718 | 9
1704.27/1704.78 c 1512s | 22 | 2666522 | 1941522 | 8819 412 | 1718 | 9
1706.36/1706.84 c 1514s | 22 | 2669792 | 1944022 | 8819 413 | 1718 | 9
1708.36/1708.89 c 1516s | 22 | 2673173 | 1946422 | 8819 413 | 1718 | 9
1710.46/1710.90 c 1518s | 22 | 2676456 | 1949022 | 8819 414 | 1718 | 9
1712.47/1712.92 c 1520s | 22 | 2679781 | 1951622 | 8819 414 | 1718 | 9
1714.46/1714.93 c 1522s | 22 | 2682665 | 1953922 | 8819 415 | 1718 | 9
1716.46/1716.94 c 1524s | 22 | 2686223 | 1956622 | 8819 415 | 1718 | 9
1718.46/1718.95 c 1526s | 22 | 2689687 | 1959122 | 8819 415 | 1718 | 9
1720.46/1720.99 c 1528s | 22 | 2692707 | 1961722 | 8819 416 | 1718 | 9
1722.56/1723.06 c 1530s | 22 | 2696111 | 1964322 | 8819 416 | 1718 | 9
1724.57/1725.06 c 1532s | 22 | 2699310 | 1966822 | 8819 417 | 1718 | 9
1726.56/1727.08 c 1534s | 22 | 2702450 | 1969322 | 8819 417 | 1718 | 9
1728.56/1729.09 c 1536s | 22 | 2705690 | 1971822 | 8819 418 | 1718 | 9
1730.66/1731.11 c 1538s | 22 | 2708876 | 1974222 | 8819 418 | 1718 | 9
1732.66/1733.17 c 1541s | 22 | 2712171 | 1976622 | 8819 419 | 1718 | 9
1734.76/1735.22 c 1543s | 22 | 2715429 | 1979122 | 8819 419 | 1718 | 9
1736.77/1737.25 c 1545s | 22 | 2718344 | 1981522 | 8819 419 | 1718 | 9
1738.76/1739.30 c 1547s | 22 | 2721446 | 1984022 | 8819 420 | 1718 | 9
1740.86/1741.37 c 1549s | 22 | 2724485 | 1986422 | 8819 420 | 1718 | 9
1742.96/1743.42 c 1551s | 22 | 2726730 | 1988022 | 8819 421 | 1718 | 9
1744.96/1745.49 c 1553s | 22 | 2729946 | 1990522 | 8819 421 | 1718 | 9
1746.95/1747.49 c 1555s | 22 | 2732666 | 1992822 | 8819 421 | 1718 | 9
1749.05/1749.52 c 1557s | 22 | 2735666 | 1995222 | 8819 422 | 1718 | 9
1751.15/1751.66 c 1559s | 22 | 2738944 | 1997522 | 8819 422 | 1718 | 9
1753.16/1753.67 c 1561s | 22 | 2741079 | 1999122 | 8819 423 | 1718 | 9
1755.25/1755.70 c 1563s | 22 | 2744988 | 2002022 | 8819 423 | 1718 | 9
1757.25/1757.72 c 1565s | 22 | 2748302 | 2004522 | 8819 424 | 1718 | 9
1759.25/1759.77 c 1567s | 22 | 2751602 | 2007022 | 8819 424 | 1718 | 9
1761.25/1761.79 c 1569s | 22 | 2754755 | 2009322 | 8819 424 | 1718 | 9
1763.35/1763.87 c 1571s | 22 | 2757841 | 2011622 | 8819 425 | 1718 | 9
1765.36/1765.88 c 1573s | 22 | 2760780 | 2013822 | 8819 425 | 1718 | 9
1767.46/1767.92 c 1575s | 22 | 2764254 | 2016122 | 8819 426 | 1718 | 9
1769.45/1769.97 c 1577s | 22 | 2767640 | 2018622 | 8819 426 | 1718 | 9
1771.45/1771.99 c 1579s | 22 | 2770737 | 2020822 | 8819 426 | 1718 | 9
1773.55/1774.07 c 1581s | 22 | 2774030 | 2023122 | 8819 427 | 1718 | 9
1775.65/1776.12 c 1583s | 22 | 2776970 | 2025422 | 8819 427 | 1718 | 9
1777.65/1778.13 c 1585s | 22 | 2779452 | 2027322 | 8819 428 | 1718 | 9
1779.65/1780.18 c 1588s | 22 | 2782886 | 2029922 | 8819 428 | 1718 | 9
1781.75/1782.25 c 1590s | 22 | 2786126 | 2032222 | 8819 429 | 1718 | 9
1783.75/1784.27 c 1592s | 22 | 2789468 | 2034722 | 8819 429 | 1718 | 9
1785.85/1786.32 c 1594s | 22 | 2792561 | 2037122 | 8819 429 | 1718 | 9
1787.85/1788.38 c 1596s | 22 | 2795726 | 2039522 | 8819 430 | 1718 | 9
1789.95/1790.44 c 1598s | 22 | 2798929 | 2042022 | 8819 430 | 1718 | 9
1791.95/1792.47 c 1600s | 22 | 2801914 | 2044422 | 8819 431 | 1718 | 9
1794.05/1794.51 c 1602s | 22 | 2805301 | 2047022 | 8819 431 | 1718 | 9
1796.06/1796.59 c 1604s | 22 | 2808163 | 2049222 | 8819 432 | 1718 | 9
1798.15/1798.64 c 1606s | 22 | 2811792 | 2051722 | 8819 432 | 1718 | 9
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-4103177-1466233518/watcher-4103177-1466233518 -o /tmp/evaluation-result-4103177-1466233518/solver-4103177-1466233518 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1395 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103177-1466233518.opb
pid=4926
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.17 2.17 3/179 4929
/proc/meminfo: memFree=29994500/32872528 swapFree=681964/737152
[pid=4929] ppid=4926 vsize=676420 CPUtime=0 cores=1,3,5,7
/proc/4929/stat : 4929 (toysat) R 4926 4929 1377 0 -1 4202496 2517 0 0 0 0 0 0 0 20 0 4 0 25401009 692654080 3389 33554432000 4194304 16246674 140734330017776 140734330017200 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4929/statm: 169873 3397 442 2943 0 166767 0
[pid=4929/tid=4930] ppid=4926 vsize=693828 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4930/stat : 4930 (toysat) S 4926 4929 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25401009 710479872 3458 33554432000 4194304 16246674 140734330017776 140312081050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4929/tid=4931] ppid=4926 vsize=698948 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4931/stat : 4931 (toysat) S 4926 4929 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25401009 715722752 3474 33554432000 4194304 16246674 140734330017776 140312070561008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4929/tid=4932] ppid=4926 vsize=703044 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25401009 719917056 3490 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[startup+0.100179 s]
/proc/loadavg: 2.09 2.17 2.17 3/179 4929
/proc/meminfo: memFree=29994500/32872528 swapFree=681964/737152
[pid=4929] ppid=4926 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/4929/stat : 4929 (toysat) R 4926 4929 1377 0 -1 4202496 27202 0 0 0 6 3 0 0 20 0 4 0 25401009 1249447936 28012 33554432000 4194304 16246674 140734330017776 140734330017088 12653060 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4929/statm: 305041 28026 833 2943 0 301935 0
[pid=4929/tid=4930] ppid=4926 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4930/stat : 4930 (toysat) S 4926 4929 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25401009 1249447936 28037 33554432000 4194304 16246674 140734330017776 140312081050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4929/tid=4931] ppid=4926 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4931/stat : 4931 (toysat) S 4926 4929 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25401009 1249447936 28048 33554432000 4194304 16246674 140734330017776 140312070561008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4929/tid=4932] ppid=4926 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25401009 1249447936 28058 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164
[startup+0.200617 s]
/proc/loadavg: 2.09 2.17 2.17 3/179 4929
/proc/meminfo: memFree=29994500/32872528 swapFree=681964/737152
[pid=4929] ppid=4926 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/4929/stat : 4929 (toysat) R 4926 4929 1377 0 -1 4202496 49694 0 0 0 12 7 0 0 20 0 4 0 25401009 1333334016 50504 33554432000 4194304 16246674 140734330017776 140734330017088 12654121 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4929/statm: 325521 50519 871 2943 0 322415 0
[pid=4929/tid=4930] ppid=4926 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4930/stat : 4930 (toysat) S 4926 4929 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25401009 1333334016 50528 33554432000 4194304 16246674 140734330017776 140312081050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4929/tid=4931] ppid=4926 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4931/stat : 4931 (toysat) S 4926 4929 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25401009 1333334016 50537 33554432000 4194304 16246674 140734330017776 140312070561008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4929/tid=4932] ppid=4926 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25401009 1333334016 50545 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084
[startup+0.300485 s]
/proc/loadavg: 2.09 2.17 2.17 3/179 4929
/proc/meminfo: memFree=29994500/32872528 swapFree=681964/737152
[pid=4929] ppid=4926 vsize=1302084 CPUtime=0.29 cores=1,3,5,7
/proc/4929/stat : 4929 (toysat) R 4926 4929 1377 0 -1 4202496 62139 0 0 0 21 8 0 0 20 0 4 0 25401009 1333334016 62949 33554432000 4194304 16246674 140734330017776 140734330017088 12371230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4929/statm: 325521 62949 871 2943 0 322415 0
[pid=4929/tid=4930] ppid=4926 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4930/stat : 4930 (toysat) S 4926 4929 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25401009 1333334016 62949 33554432000 4194304 16246674 140734330017776 140312081050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4929/tid=4931] ppid=4926 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4931/stat : 4931 (toysat) S 4926 4929 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25401009 1333334016 62949 33554432000 4194304 16246674 140734330017776 140312070561008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4929/tid=4932] ppid=4926 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25401009 1333334016 62949 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084
[startup+0.700432 s]
/proc/loadavg: 2.09 2.17 2.17 3/179 4929
/proc/meminfo: memFree=29994500/32872528 swapFree=681964/737152
[pid=4929] ppid=4926 vsize=1302084 CPUtime=0.68 cores=1,3,5,7
/proc/4929/stat : 4929 (toysat) R 4926 4929 1377 0 -1 4202496 141928 0 0 0 51 17 0 0 20 0 4 0 25401009 1333334016 142738 33554432000 4194304 16246674 140734330017776 140734329999680 12371341 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4929/statm: 325521 142750 871 2943 0 322415 0
[pid=4929/tid=4930] ppid=4926 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4930/stat : 4930 (toysat) S 4926 4929 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25401009 1333334016 142759 33554432000 4194304 16246674 140734330017776 140312081050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4929/tid=4931] ppid=4926 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4931/stat : 4931 (toysat) S 4926 4929 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25401009 1333334016 142767 33554432000 4194304 16246674 140734330017776 140312070561008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4929/tid=4932] ppid=4926 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25401009 1333334016 142774 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1302084
[startup+1.50039 s]
/proc/loadavg: 2.08 2.17 2.17 3/183 4933
/proc/meminfo: memFree=29028736/32872528 swapFree=681964/737152
[pid=4929] ppid=4926 vsize=1421892 CPUtime=1.49 cores=1,3,5,7
/proc/4929/stat : 4929 (toysat) R 4926 4929 1377 0 -1 4202496 296393 0 0 0 114 35 0 0 20 0 4 0 25401009 1456017408 297203 33554432000 4194304 16246674 140734330017776 140734329999680 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4929/statm: 355473 297208 871 2943 0 352367 0
[pid=4929/tid=4930] ppid=4926 vsize=1421892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4930/stat : 4930 (toysat) S 4926 4929 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25401009 1456017408 297210 33554432000 4194304 16246674 140734330017776 140312081050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4929/tid=4931] ppid=4926 vsize=1421892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4931/stat : 4931 (toysat) S 4926 4929 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25401009 1456017408 297215 33554432000 4194304 16246674 140734330017776 140312070561008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4929/tid=4932] ppid=4926 vsize=1421892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25401009 1456017408 297217 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1421892
[startup+3.10043 s]
/proc/loadavg: 2.08 2.17 2.17 3/183 4933
/proc/meminfo: memFree=28713892/32872528 swapFree=681964/737152
[pid=4929] ppid=4926 vsize=1513028 CPUtime=3.09 cores=1,3,5,7
/proc/4929/stat : 4929 (toysat) R 4926 4929 1377 0 -1 4202496 319426 0 0 0 271 38 0 0 20 0 4 0 25401009 1549340672 320236 33554432000 4194304 16246674 140734330017776 140734329999680 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4929/statm: 378257 320236 871 2943 0 375151 0
[pid=4929/tid=4930] ppid=4926 vsize=1513028 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4930/stat : 4930 (toysat) S 4926 4929 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25401009 1549340672 320236 33554432000 4194304 16246674 140734330017776 140312081050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4929/tid=4931] ppid=4926 vsize=1513028 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4931/stat : 4931 (toysat) S 4926 4929 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25401009 1549340672 320236 33554432000 4194304 16246674 140734330017776 140312070560784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4929/tid=4932] ppid=4926 vsize=1513028 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25401009 1549340672 320236 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1513028
[startup+6.30041 s]
/proc/loadavg: 2.08 2.17 2.17 3/183 4933
/proc/meminfo: memFree=28702808/32872528 swapFree=681964/737152
[pid=4929] ppid=4926 vsize=1716804 CPUtime=6.28 cores=1,3,5,7
/proc/4929/stat : 4929 (toysat) R 4926 4929 1377 0 -1 4202496 370152 0 0 0 583 45 0 0 20 0 4 0 25401009 1758007296 370962 33554432000 4194304 16246674 140734330017776 140734330015680 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4929/statm: 429201 370971 871 2943 0 426095 0
[pid=4929/tid=4930] ppid=4926 vsize=1716804 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4930/stat : 4930 (toysat) S 4926 4929 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25401009 1758007296 370975 33554432000 4194304 16246674 140734330017776 140312081050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4929/tid=4931] ppid=4926 vsize=1716804 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4931/stat : 4931 (toysat) S 4926 4929 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25401009 1758007296 370981 33554432000 4194304 16246674 140734330017776 140312070560784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4929/tid=4932] ppid=4926 vsize=1716804 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25401009 1758007296 370987 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1716804
[startup+12.7004 s]
/proc/loadavg: 2.14 2.18 2.17 3/183 4933
/proc/meminfo: memFree=28138376/32872528 swapFree=681964/737152
[pid=4929] ppid=4926 vsize=2087492 CPUtime=12.68 cores=1,3,5,7
/proc/4929/stat : 4929 (toysat) R 4926 4929 1377 0 -1 4202496 463082 0 0 0 1211 57 0 0 20 0 4 0 25401009 2137591808 463892 33554432000 4194304 16246674 140734330017776 140734330015616 4225222 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4929/statm: 521873 463892 911 2943 0 518767 0
[pid=4929/tid=4930] ppid=4926 vsize=2087492 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4930/stat : 4930 (toysat) S 4926 4929 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25401009 2137591808 463892 33554432000 4194304 16246674 140734330017776 140312081050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4929/tid=4931] ppid=4926 vsize=2087492 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4931/stat : 4931 (toysat) S 4926 4929 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25401009 2137591808 463892 33554432000 4194304 16246674 140734330017776 140312070560784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4929/tid=4932] ppid=4926 vsize=2087492 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25401009 2137591808 463892 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2087492
[startup+25.5004 s]
/proc/loadavg: 2.12 2.17 2.17 3/183 4933
/proc/meminfo: memFree=27985352/32872528 swapFree=681964/737152
[pid=4929] ppid=4926 vsize=2241092 CPUtime=25.49 cores=1,3,5,7
/proc/4929/stat : 4929 (toysat) R 4926 4929 1377 0 -1 4202496 572138 0 0 0 2475 74 0 0 20 0 4 0 25401009 2294878208 502292 33554432000 4194304 16246674 140734330017776 140734330015616 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4929/statm: 560273 502292 911 2943 0 557167 0
[pid=4929/tid=4930] ppid=4926 vsize=2241092 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4930/stat : 4930 (toysat) S 4926 4929 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25401009 2294878208 502292 33554432000 4194304 16246674 140734330017776 140312081050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4929/tid=4931] ppid=4926 vsize=2241092 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4931/stat : 4931 (toysat) S 4926 4929 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25401009 2294878208 502292 33554432000 4194304 16246674 140734330017776 140312070561008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4929/tid=4932] ppid=4926 vsize=2241092 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25401009 2294878208 502292 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2241092
[startup+51.1004 s]
/proc/loadavg: 2.12 2.17 2.17 3/183 4934
/proc/meminfo: memFree=27986352/32872528 swapFree=681964/737152
[pid=4929] ppid=4926 vsize=2241092 CPUtime=51.08 cores=1,3,5,7
/proc/4929/stat : 4929 (toysat) R 4926 4929 1377 0 -1 4202496 840938 0 0 0 4993 115 0 0 20 0 4 0 25401009 2294878208 502292 33554432000 4194304 16246674 140734330017776 140734330015616 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4929/statm: 560273 502292 911 2943 0 557167 0
[pid=4929/tid=4930] ppid=4926 vsize=2241092 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4930/stat : 4930 (toysat) S 4926 4929 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25401009 2294878208 502292 33554432000 4194304 16246674 140734330017776 140312081050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4929/tid=4931] ppid=4926 vsize=2241092 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4931/stat : 4931 (toysat) S 4926 4929 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25401009 2294878208 502292 33554432000 4194304 16246674 140734330017776 140312070561008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4929/tid=4932] ppid=4926 vsize=2241092 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25401009 2294878208 502292 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2241092
[startup+102.3 s]
/proc/loadavg: 2.05 2.14 2.16 3/183 4935
/proc/meminfo: memFree=28036700/32872528 swapFree=681964/737152
[pid=4929] ppid=4926 vsize=2189892 CPUtime=102.27 cores=1,3,5,7
/proc/4929/stat : 4929 (toysat) R 4926 4929 1377 0 -1 4202496 1168111 0 0 0 10064 163 0 0 20 0 4 0 25401009 2242449408 489497 33554432000 4194304 16246674 140734330017776 140734330016992 12651736 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4929/statm: 547473 489497 914 2943 0 544367 0
[pid=4929/tid=4930] ppid=4926 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4930/stat : 4930 (toysat) S 4926 4929 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25401009 2242449408 489497 33554432000 4194304 16246674 140734330017776 140312081050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4929/tid=4931] ppid=4926 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4931/stat : 4931 (toysat) S 4926 4929 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25401009 2242449408 489497 33554432000 4194304 16246674 140734330017776 140312070561008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4929/tid=4932] ppid=4926 vsize=2189892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25401009 2242449408 489497 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2189892
################
# More data... #
################
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553508 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 2445892
[startup+1362.3 s]
/proc/loadavg: 2.12 2.10 2.09 3/183 5015
/proc/meminfo: memFree=26177948/32872528 swapFree=681964/737152
[pid=4929] ppid=4926 vsize=2445892 CPUtime=1361.95 cores=1,3,5,7
/proc/4929/stat : 4929 (toysat) R 4926 4929 1377 0 -1 4202496 1418713 0 0 0 135982 213 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140734329999680 5711952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4929/statm: 611473 553509 926 2943 0 608367 0
[pid=4929/tid=4930] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4930/stat : 4930 (toysat) S 4926 4929 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140312081050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4929/tid=4931] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4931/stat : 4931 (toysat) S 4926 4929 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140312070561008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4929/tid=4932] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 2445892
[startup+1422.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/183 5016
/proc/meminfo: memFree=26452888/32872528 swapFree=681964/737152
[pid=4929] ppid=4926 vsize=2445892 CPUtime=1421.92 cores=1,3,5,7
/proc/4929/stat : 4929 (toysat) R 4926 4929 1377 0 -1 4202496 1418739 0 0 0 141979 213 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140734329999680 13193365 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4929/statm: 611473 553509 926 2943 0 608367 0
[pid=4929/tid=4930] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4930/stat : 4930 (toysat) S 4926 4929 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140312081050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4929/tid=4931] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4931/stat : 4931 (toysat) S 4926 4929 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140312070561008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4929/tid=4932] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 2445892
[startup+1482.3 s]
/proc/loadavg: 2.09 2.08 2.08 3/183 5017
/proc/meminfo: memFree=26234872/32872528 swapFree=681964/737152
[pid=4929] ppid=4926 vsize=2445892 CPUtime=1481.9 cores=1,3,5,7
/proc/4929/stat : 4929 (toysat) R 4926 4929 1377 0 -1 4202496 1418763 0 0 0 147976 214 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140734329999680 5828013 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4929/statm: 611473 553509 926 2943 0 608367 0
[pid=4929/tid=4930] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4930/stat : 4930 (toysat) S 4926 4929 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140312081050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4929/tid=4931] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4931/stat : 4931 (toysat) S 4926 4929 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140312070561008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4929/tid=4932] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 2445892
[startup+1542.3 s]
/proc/loadavg: 1.99 2.05 2.07 4/184 5021
/proc/meminfo: memFree=23907812/32872528 swapFree=681964/737152
[pid=4929] ppid=4926 vsize=2445892 CPUtime=1541.89 cores=1,3,5,7
/proc/4929/stat : 4929 (toysat) R 4926 4929 1377 0 -1 4202496 1418763 0 0 0 153975 214 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140734329999680 6013188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4929/statm: 611473 553509 926 2943 0 608367 0
[pid=4929/tid=4930] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4930/stat : 4930 (toysat) S 4926 4929 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140312081050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4929/tid=4931] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4931/stat : 4931 (toysat) S 4926 4929 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140312070561008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4929/tid=4932] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 2445892
[startup+1602.3 s]
/proc/loadavg: 1.99 2.03 2.07 3/183 5023
/proc/meminfo: memFree=25978900/32872528 swapFree=681964/737152
[pid=4929] ppid=4926 vsize=2445892 CPUtime=1601.88 cores=1,3,5,7
/proc/4929/stat : 4929 (toysat) R 4926 4929 1377 0 -1 4202496 1418763 0 0 0 159973 215 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140734329999680 5600765 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4929/statm: 611473 553509 926 2943 0 608367 0
[pid=4929/tid=4930] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4930/stat : 4930 (toysat) S 4926 4929 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140312081050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4929/tid=4931] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4931/stat : 4931 (toysat) S 4926 4929 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140312070561008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4929/tid=4932] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 2445892
[startup+1662.3 s]
/proc/loadavg: 2.11 2.06 2.07 3/183 5024
/proc/meminfo: memFree=23897212/32872528 swapFree=681964/737152
[pid=4929] ppid=4926 vsize=2445892 CPUtime=1661.87 cores=1,3,5,7
/proc/4929/stat : 4929 (toysat) R 4926 4929 1377 0 -1 4202496 1418763 0 0 0 165972 215 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140734330016952 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4929/statm: 611473 553509 926 2943 0 608367 0
[pid=4929/tid=4930] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4930/stat : 4930 (toysat) S 4926 4929 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140312081050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4929/tid=4931] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4931/stat : 4931 (toysat) S 4926 4929 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140312070561008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4929/tid=4932] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 2445892
[startup+1722.3 s]
/proc/loadavg: 2.08 2.06 2.07 3/183 5025
/proc/meminfo: memFree=26143228/32872528 swapFree=681964/737152
[pid=4929] ppid=4926 vsize=2445892 CPUtime=1721.86 cores=1,3,5,7
/proc/4929/stat : 4929 (toysat) R 4926 4929 1377 0 -1 4202496 1418763 0 0 0 171970 216 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140734329999680 5711801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4929/statm: 611473 553509 926 2943 0 608367 0
[pid=4929/tid=4930] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4930/stat : 4930 (toysat) S 4926 4929 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140312081050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4929/tid=4931] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4931/stat : 4931 (toysat) S 4926 4929 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140312070561008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4929/tid=4932] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 2445892
[startup+1782.31 s]
/proc/loadavg: 2.14 2.07 2.08 3/183 5026
/proc/meminfo: memFree=25427100/32872528 swapFree=681964/737152
[pid=4929] ppid=4926 vsize=2445892 CPUtime=1781.85 cores=1,3,5,7
/proc/4929/stat : 4929 (toysat) R 4926 4929 1377 0 -1 4202496 1418763 0 0 0 177969 216 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140734329999680 5662205 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4929/statm: 611473 553509 926 2943 0 608367 0
[pid=4929/tid=4930] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4930/stat : 4930 (toysat) S 4926 4929 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140312081050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4929/tid=4931] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4931/stat : 4931 (toysat) S 4926 4929 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140312070561008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4929/tid=4932] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 2445892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.18 2.09 2.08 3/183 5026
/proc/meminfo: memFree=26417540/32872528 swapFree=681964/737152
[pid=4929] ppid=4926 vsize=2445892 CPUtime=1800.05 cores=1,3,5,7
/proc/4929/stat : 4929 (toysat) R 4926 4929 1377 0 -1 4202496 1418763 0 0 0 179788 217 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140734329999680 5721639 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4929/statm: 611473 553509 926 2943 0 608367 0
[pid=4929/tid=4930] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4930/stat : 4930 (toysat) S 4926 4929 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140312081050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4929/tid=4931] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4931/stat : 4931 (toysat) S 4926 4929 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140312070561008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4929/tid=4932] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2445892
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 4929 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.18 2.09 2.08 3/183 5026
/proc/meminfo: memFree=26417540/32872528 swapFree=681964/737152
[pid=4929] ppid=4926 vsize=2445892 CPUtime=1800.05 cores=1,3,5,7
/proc/4929/stat : 4929 (toysat) R 4926 4929 1377 0 -1 4202496 1418763 0 0 0 179788 217 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140734329999680 5721639 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4929/statm: 611473 553509 926 2943 0 608367 0
[pid=4929/tid=4930] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4930/stat : 4930 (toysat) S 4926 4929 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140312081050864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=4929/tid=4931] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4931/stat : 4931 (toysat) S 4926 4929 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140312070561008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=4929/tid=4932] ppid=4926 vsize=2445892 CPUtime=0 cores=1,3,5,7
/proc/4929/task/4932/stat : 4932 (toysat) S 4926 4929 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25401009 2504593408 553509 33554432000 4194304 16246674 140734330017776 140311951043760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2445892
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1797.89
CPU system time (s): 2.16867
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 2445892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.89
system time used= 2.16867
maximum resident set size= 2214036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1418763
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= 775
involuntary context switches= 2285
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7671 second user time and 16.4865 second system time
The end