0.00/0.00 c 2016-06-18T09:05:08+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-4103169-1466233507.opb"]
0.00/0.01 c use --random-gen="213475756 4210188443 919423835 4179428251 3534613231 1531877793 479627801 3551934307 3793885361 1844596447 1412544795 3161269916 289251531 2563801987 3976821945 1819350305 2771161787 2782951756 937869112 1347979336 3683774501 977978482 2573655414 3387251522 3709463603 2890642135 3051297216 3488747628 3191979924 2164136598 3267443903 4084665429 3958724343 1829201276 3564362630 2010973664 2337042730 2022261653 1280476758 689221617 3767744495 2594561381 3882332313 724377171 206272400 2216098082 2953496035 3465335633 1308605407 2288196017 2908268783 3500593184 1505119228 3979689487 3271812065 25878767 2196299365 3329054499 2390664108 380474447 477130181 3699667995 1946202795 2046163044 1790795872 1628135425 745519461 2382145517 3294823934 3212269351 488708771 3110822782 3682669203 2232516649 56642012 1221797100 2506045131 592620531 3684798002 869465399 17122925 2005286458 2801084293 3509305777 3290901991 2027766657 2916913023 1216568515 389988525 1634665020 971237247 3726828412 1360216986 2401774443 4066924948 780987671 2720188625 4085011362 1722313423 117609852 1864456023 1865845882 2035784667 2982334878 1712069004 419690827 715981061 119569388 2518315993 119231324 2685290294 3621271843 3866283640 42103019 3650538417 65721842 645233657 3985950284 2858247840 3272432060 3442572661 1495259377 1679598600 1904711012 1805660721 1870545733 2248122018 2649870631 2096149688 783644675 4127959937 2130840383 67216787 1832637065 3214589180 4004534355 2500569512 3646161581 1938409556 3228686125 4039096758 1987018759 3754982244 1945894777 3314836033 633327022 1558169759 124767632 2341108598 1153299219 3881988738 640934138 1407064788 45108691 1951585050 1743135367 627725890 917030267 142072497 1310110529 2854948152 2437081958 2098993499 3971414043 98974157 2357889072 1390879343 875000353 767301900 3723033569 1774968371 2113689823 212607468 3823867948 1866195941 205495250 3087152270 2830171645 3083727755 741375463 2964100321 4290432762 2110967746 21668365 4116826913 2229137714 520396940 1251786535 506625387 2739449087 855177328 3607947729 4069244173 2461943432 3159703795 1156490977 101029488 621021231 3315077273 2779842956 2306590095 3203269172 1069572436 2894223425 1012162287 3364198028 3840725424 2302093953 2435558306 2057020206 2600764120 3853051826 1193244949 3073460899 3860224015 92121113 756742312 2161934760 3599089287 1958334211 504404674 309648286 1592336100 776071304 426868546 442739128 3769665557 3230480134 838599191 314456354 1114726965 1059706939 2292502025 2539654643 2146689555 3795235052 2443221683 2122506010 574757434 3319669608 617591540 1780634213 661979296 4224846829 1656796804 1415354701 2343853616 3032251325 3512102663 2317557013 3449764321 74046906 2252275724 1227587670 982758705 2068809814 255 362436" option to reproduce the execution
0.00/0.09 c #vars 8060
0.00/0.09 c #constraints 296
0.19/0.29 c BCD2: Hardening is enabled.
0.19/0.29 c BCD2: BiasedSearch is enabled.
0.19/0.29 c Solving starts ...
0.19/0.29 c ============================[ Search Statistics ]============================
0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.29 c | | | | Limit GC | Var | Constra
0.19/0.29 c =============================================================================
0.19/0.29 c 0.0s | 0 | 0 | 0 | 2797 0 | 4230 | 0
0.29/0.33 c 0.0s | 0 | 343 | 0 | 2797 0 | 4230 | 0
0.29/0.33 c #cpu_time = 0.032s
0.29/0.33 c #wall_clock_time = 0.032s
0.29/0.33 c #decision = 343
0.29/0.33 c #random_decision = 0
0.29/0.33 c #conflict = 0
0.29/0.33 c #restart = 0
0.29/0.33 o 45393925
11.29/11.37 c BCD2: hardening fixes 1621 literals
11.29/11.37 c BCD2: updating upper bound: 1599918681646 -> 45393924
11.29/11.39 c BCD2: 0 <= obj <= 45393924
11.29/11.39 c BCD2: #cores=0, #unrelaxed=6439, #relaxed=0, #hardened=1621
11.29/11.39 c BCD2: #sat=1 #unsat=1 bias=1/2
11.29/11.39 c Solving starts ...
11.29/11.39 c ============================[ Search Statistics ]============================
11.29/11.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
11.29/11.39 c | | | | Limit GC | Var | Constra
11.29/11.39 c =============================================================================
11.29/11.39 c 0.0s | 0 | 0 | 0 | 2797 0 | 4230 | 0
11.39/11.40 c 0.0s | 0 | 51 | 1 | 2797 0 | 4230 | 0
11.39/11.40 c #cpu_time = 0.006s
11.39/11.40 c #wall_clock_time = 0.006s
11.39/11.40 c #decision = 51
11.39/11.40 c #random_decision = 0
11.39/11.40 c #conflict = 1
11.39/11.40 c #restart = 0
11.39/11.40 c BCD2: found a new core of size 25: cost of the new core is >=70656
11.39/11.40 c lower bound updated to 70656
22.79/22.86 c BCD2: 70656 <= obj <= 45393924
22.79/22.86 c BCD2: #cores=1, #unrelaxed=6414, #relaxed=25, #hardened=1621
22.79/22.86 c BCD2: #sat=1 #unsat=2 bias=2/3
22.79/22.86 c Solving starts ...
22.79/22.86 c ============================[ Search Statistics ]============================
22.79/22.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
22.79/22.86 c | | | | Limit GC | Var | Constra
22.79/22.86 c =============================================================================
22.79/22.86 c 0.0s | 0 | 0 | 0 | 2797 0 | 4230 | 0
22.79/22.87 c 0.0s | 0 | 56 | 1 | 2797 0 | 4230 | 0
22.79/22.87 c #cpu_time = 0.006s
22.79/22.87 c #wall_clock_time = 0.006s
22.79/22.87 c #decision = 56
22.79/22.87 c #random_decision = 0
22.79/22.87 c #conflict = 1
22.79/22.87 c #restart = 0
22.79/22.87 c BCD2: found a new core of size 25: cost of the new core is >=86016
22.79/22.87 c lower bound updated to 156672
33.88/33.95 c BCD2: 156672 <= obj <= 45393924
33.88/33.95 c BCD2: #cores=2, #unrelaxed=6389, #relaxed=50, #hardened=1621
33.88/33.95 c BCD2: #sat=1 #unsat=3 bias=3/4
33.88/33.95 c Solving starts ...
33.88/33.95 c ============================[ Search Statistics ]============================
33.88/33.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
33.88/33.95 c | | | | Limit GC | Var | Constra
33.88/33.95 c =============================================================================
33.88/33.95 c 0.0s | 0 | 0 | 0 | 2797 0 | 4230 | 0
33.88/33.95 c 0.0s | 0 | 58 | 1 | 2797 0 | 4230 | 0
33.88/33.95 c #cpu_time = 0.006s
33.88/33.95 c #wall_clock_time = 0.006s
33.88/33.95 c #decision = 58
33.88/33.95 c #random_decision = 0
33.88/33.95 c #conflict = 1
33.88/33.95 c #restart = 0
33.88/33.95 c BCD2: found a new core of size 23: cost of the new core is >=80896
33.88/33.95 c lower bound updated to 237568
45.09/45.19 c BCD2: 237568 <= obj <= 45393924
45.09/45.19 c BCD2: #cores=3, #unrelaxed=6366, #relaxed=73, #hardened=1621
45.09/45.19 c BCD2: #sat=1 #unsat=4 bias=4/5
45.09/45.19 c Solving starts ...
45.09/45.19 c ============================[ Search Statistics ]============================
45.09/45.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
45.09/45.19 c | | | | Limit GC | Var | Constra
45.09/45.19 c =============================================================================
45.09/45.19 c 0.0s | 0 | 0 | 0 | 2797 0 | 4230 | 0
45.09/45.19 c 0.0s | 0 | 67 | 0 | 2797 0 | 4230 | 0
45.09/45.19 c #cpu_time = 0.006s
45.09/45.19 c #wall_clock_time = 0.006s
45.09/45.19 c #decision = 67
45.09/45.19 c #random_decision = 0
45.09/45.19 c #conflict = 0
45.09/45.19 c #restart = 0
45.09/45.19 c BCD2: found a new core of size 26: cost of the new core is >=67584
45.09/45.19 c lower bound updated to 305152
56.38/56.48 c BCD2: 305152 <= obj <= 45393924
56.38/56.48 c BCD2: #cores=4, #unrelaxed=6340, #relaxed=99, #hardened=1621
56.38/56.48 c BCD2: #sat=1 #unsat=5 bias=5/6
56.38/56.48 c Solving starts ...
56.38/56.48 c ============================[ Search Statistics ]============================
56.38/56.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
56.38/56.48 c | | | | Limit GC | Var | Constra
56.38/56.48 c =============================================================================
56.38/56.48 c 0.0s | 0 | 0 | 0 | 2797 0 | 4230 | 0
56.38/56.49 c 0.0s | 0 | 69 | 1 | 2797 0 | 4230 | 0
56.38/56.49 c #cpu_time = 0.007s
56.38/56.49 c #wall_clock_time = 0.007s
56.38/56.49 c #decision = 69
56.38/56.49 c #random_decision = 0
56.38/56.49 c #conflict = 1
56.38/56.49 c #restart = 0
56.38/56.49 c BCD2: found a new core of size 23: cost of the new core is >=71680
56.38/56.49 c lower bound updated to 376832
67.68/67.70 c BCD2: 376832 <= obj <= 45393924
67.68/67.70 c BCD2: #cores=5, #unrelaxed=6317, #relaxed=122, #hardened=1621
67.68/67.70 c BCD2: #sat=1 #unsat=6 bias=6/7
67.68/67.70 c Solving starts ...
67.68/67.70 c ============================[ Search Statistics ]============================
67.68/67.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
67.68/67.70 c | | | | Limit GC | Var | Constra
67.68/67.70 c =============================================================================
67.68/67.70 c 0.0s | 0 | 0 | 0 | 2797 0 | 4230 | 0
67.68/67.71 c 0.0s | 0 | 78 | 0 | 2797 0 | 4230 | 0
67.68/67.71 c #cpu_time = 0.007s
67.68/67.71 c #wall_clock_time = 0.007s
67.68/67.71 c #decision = 78
67.68/67.71 c #random_decision = 0
67.68/67.71 c #conflict = 0
67.68/67.71 c #restart = 0
67.68/67.71 c BCD2: found a new core of size 26: cost of the new core is >=71680
67.68/67.71 c lower bound updated to 448512
78.88/78.97 c BCD2: 448512 <= obj <= 45393924
78.88/78.97 c BCD2: #cores=6, #unrelaxed=6291, #relaxed=148, #hardened=1621
78.88/78.97 c BCD2: #sat=1 #unsat=7 bias=7/8
78.88/78.97 c Solving starts ...
78.88/78.97 c ============================[ Search Statistics ]============================
78.88/78.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
78.88/78.97 c | | | | Limit GC | Var | Constra
78.88/78.97 c =============================================================================
78.88/78.97 c 0.0s | 0 | 0 | 0 | 2797 0 | 4230 | 0
78.88/78.98 c 0.0s | 0 | 80 | 1 | 2797 0 | 4230 | 0
78.88/78.98 c #cpu_time = 0.007s
78.88/78.98 c #wall_clock_time = 0.007s
78.88/78.98 c #decision = 80
78.88/78.98 c #random_decision = 0
78.88/78.98 c #conflict = 1
78.88/78.98 c #restart = 0
78.88/78.98 c BCD2: found a new core of size 24: cost of the new core is >=77824
78.88/78.98 c lower bound updated to 526336
90.18/90.21 c BCD2: 526336 <= obj <= 45393924
90.18/90.21 c BCD2: #cores=7, #unrelaxed=6267, #relaxed=172, #hardened=1621
90.18/90.21 c BCD2: #sat=1 #unsat=8 bias=8/9
90.18/90.21 c Solving starts ...
90.18/90.21 c ============================[ Search Statistics ]============================
90.18/90.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
90.18/90.21 c | | | | Limit GC | Var | Constra
90.18/90.21 c =============================================================================
90.18/90.21 c 0.0s | 0 | 0 | 0 | 2797 0 | 4230 | 0
90.18/90.22 c 0.0s | 0 | 92 | 2 | 2797 0 | 4230 | 0
90.18/90.22 c #cpu_time = 0.007s
90.18/90.22 c #wall_clock_time = 0.007s
90.18/90.22 c #decision = 92
90.18/90.22 c #random_decision = 0
90.18/90.22 c #conflict = 2
90.18/90.22 c #restart = 0
90.18/90.22 c BCD2: found a new core of size 48: cost of the new core is >=75776
90.18/90.22 c lower bound updated to 602112
101.38/101.46 c BCD2: 602112 <= obj <= 45393924
101.38/101.46 c BCD2: #cores=8, #unrelaxed=6219, #relaxed=220, #hardened=1621
101.38/101.46 c BCD2: #sat=1 #unsat=9 bias=9/10
101.38/101.46 c Solving starts ...
101.38/101.46 c ============================[ Search Statistics ]============================
101.38/101.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
101.38/101.46 c | | | | Limit GC | Var | Constra
101.38/101.46 c =============================================================================
101.38/101.46 c 0.0s | 0 | 0 | 0 | 2797 0 | 4230 | 0
101.38/101.47 c 0.0s | 0 | 44 | 0 | 2797 0 | 4230 | 0
101.38/101.47 c #cpu_time = 0.006s
101.38/101.47 c #wall_clock_time = 0.006s
101.38/101.47 c #decision = 44
101.38/101.47 c #random_decision = 0
101.38/101.47 c #conflict = 0
101.38/101.47 c #restart = 0
101.38/101.47 c BCD2: found a new core of size 25: cost of the new core is >=73728
101.38/101.47 c lower bound updated to 675840
112.68/112.70 c BCD2: 675840 <= obj <= 45393924
112.68/112.70 c BCD2: #cores=9, #unrelaxed=6194, #relaxed=245, #hardened=1621
112.68/112.70 c BCD2: #sat=1 #unsat=10 bias=10/11
112.68/112.70 c Solving starts ...
112.68/112.70 c ============================[ Search Statistics ]============================
112.68/112.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
112.68/112.70 c | | | | Limit GC | Var | Constra
112.68/112.70 c =============================================================================
112.68/112.70 c 0.0s | 0 | 0 | 0 | 2797 0 | 4230 | 0
112.68/112.71 c 0.0s | 0 | 680 | 1 | 2797 0 | 4230 | 0
112.68/112.71 c #cpu_time = 0.007s
112.68/112.71 c #wall_clock_time = 0.007s
112.68/112.71 c #decision = 680
112.68/112.71 c #random_decision = 0
112.68/112.71 c #conflict = 1
112.68/112.71 c #restart = 0
112.68/112.71 c BCD2: found a new core of size 187: cost of the new core is >=64
112.68/112.71 c lower bound updated to 675904
123.88/123.95 c BCD2: 675904 <= obj <= 45393924
123.88/123.95 c BCD2: #cores=10, #unrelaxed=6007, #relaxed=432, #hardened=1621
123.88/123.95 c BCD2: #sat=1 #unsat=11 bias=11/12
123.88/123.95 c Solving starts ...
123.88/123.95 c ============================[ Search Statistics ]============================
123.88/123.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
123.88/123.95 c | | | | Limit GC | Var | Constra
123.88/123.95 c =============================================================================
123.88/123.95 c 0.0s | 0 | 0 | 0 | 2797 0 | 4230 | 0
123.88/123.96 c 0.0s | 0 | 894 | 1 | 2797 0 | 4230 | 0
123.88/123.96 c #cpu_time = 0.007s
123.88/123.96 c #wall_clock_time = 0.007s
123.88/123.96 c #decision = 894
123.88/123.96 c #random_decision = 0
123.88/123.96 c #conflict = 1
123.88/123.96 c #restart = 0
123.88/123.96 c BCD2: found a new core of size 149: cost of the new core is >=128
123.88/123.96 c lower bound updated to 676032
135.17/135.21 c BCD2: 676032 <= obj <= 45393924
135.17/135.21 c BCD2: #cores=11, #unrelaxed=5858, #relaxed=581, #hardened=1621
135.17/135.21 c BCD2: #sat=1 #unsat=12 bias=12/13
135.17/135.21 c Solving starts ...
135.17/135.21 c ============================[ Search Statistics ]============================
135.17/135.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
135.17/135.21 c | | | | Limit GC | Var | Constra
135.17/135.21 c =============================================================================
135.17/135.22 c 0.0s | 0 | 0 | 0 | 2797 0 | 4230 | 0
135.17/135.22 c 0.0s | 0 | 1059 | 1 | 2797 0 | 4230 | 0
135.17/135.22 c #cpu_time = 0.008s
135.17/135.22 c #wall_clock_time = 0.008s
135.17/135.22 c #decision = 1059
135.17/135.22 c #random_decision = 0
135.17/135.22 c #conflict = 1
135.17/135.22 c #restart = 0
135.17/135.22 c BCD2: found a new core of size 249: cost of the new core is >=2
135.17/135.22 c lower bound updated to 676034
146.47/146.50 c BCD2: 676034 <= obj <= 45393924
146.47/146.50 c BCD2: #cores=12, #unrelaxed=5609, #relaxed=830, #hardened=1621
146.47/146.50 c BCD2: #sat=1 #unsat=13 bias=13/14
146.47/146.50 c Solving starts ...
146.47/146.50 c ============================[ Search Statistics ]============================
146.47/146.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
146.47/146.50 c | | | | Limit GC | Var | Constra
146.47/146.50 c =============================================================================
146.47/146.50 c 0.0s | 0 | 0 | 0 | 2797 0 | 4230 | 0
146.47/146.51 c 0.0s | 0 | 1323 | 0 | 2797 0 | 4230 | 0
146.47/146.51 c #cpu_time = 0.008s
146.47/146.51 c #wall_clock_time = 0.008s
146.47/146.51 c #decision = 1323
146.47/146.51 c #random_decision = 0
146.47/146.51 c #conflict = 0
146.47/146.51 c #restart = 0
146.47/146.51 c BCD2: found a new core of size 331: cost of the new core is >=1
146.47/146.51 c lower bound updated to 676035
157.66/157.71 c BCD2: 676035 <= obj <= 45393924
157.66/157.71 c BCD2: #cores=13, #unrelaxed=5278, #relaxed=1161, #hardened=1621
157.66/157.71 c BCD2: #sat=1 #unsat=14 bias=14/15
157.76/157.83 c Solving starts ...
157.76/157.83 c ============================[ Search Statistics ]============================
157.76/157.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
157.76/157.83 c | | | | Limit GC | Var | Constra
157.76/157.83 c =============================================================================
157.76/157.83 c 0.0s | 0 | 0 | 0 | 2797 0 | 4230 | 0
157.76/157.84 c 0.0s | 0 | 1299 | 1 | 2797 0 | 4230 | 0
157.76/157.84 c #cpu_time = 0.009s
157.76/157.84 c #wall_clock_time = 0.009s
157.76/157.84 c #decision = 1299
157.76/157.84 c #random_decision = 0
157.76/157.84 c #conflict = 1
157.76/157.84 c #restart = 0
157.76/157.84 c BCD2: found a new core of size 252: cost of the new core is >=2
157.76/157.84 c lower bound updated to 676037
168.86/168.93 c BCD2: 676037 <= obj <= 45393924
168.86/168.93 c BCD2: #cores=14, #unrelaxed=5026, #relaxed=1413, #hardened=1621
168.86/168.93 c BCD2: #sat=1 #unsat=15 bias=15/16
168.86/168.96 c Solving starts ...
168.86/168.96 c ============================[ Search Statistics ]============================
168.86/168.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
168.86/168.96 c | | | | Limit GC | Var | Constra
168.86/168.96 c =============================================================================
168.86/168.96 c 0.0s | 0 | 0 | 0 | 2797 0 | 4230 | 0
168.86/168.97 c 0.0s | 0 | 1508 | 0 | 2797 0 | 4230 | 0
168.86/168.97 c #cpu_time = 0.009s
168.86/168.97 c #wall_clock_time = 0.009s
168.86/168.97 c #decision = 1508
168.86/168.97 c #random_decision = 0
168.86/168.97 c #conflict = 0
168.86/168.97 c #restart = 0
168.86/168.97 c BCD2: found a new core of size 390: cost of the new core is >=1
168.86/168.97 c lower bound updated to 676038
180.16/180.24 c BCD2: 676038 <= obj <= 45393924
180.16/180.24 c BCD2: #cores=15, #unrelaxed=4636, #relaxed=1803, #hardened=1621
180.16/180.24 c BCD2: #sat=1 #unsat=16 bias=16/17
186.45/186.56 c Solving starts ...
186.45/186.56 c ============================[ Search Statistics ]============================
186.45/186.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
186.45/186.56 c | | | | Limit GC | Var | Constra
186.45/186.56 c =============================================================================
186.45/186.56 c 0.0s | 0 | 0 | 0 | 2797 0 | 4230 | 0
186.45/186.57 c 0.0s | 0 | 1491 | 1 | 2797 0 | 4230 | 0
186.45/186.57 c #cpu_time = 0.009s
186.45/186.57 c #wall_clock_time = 0.009s
186.45/186.57 c #decision = 1491
186.45/186.57 c #random_decision = 0
186.45/186.57 c #conflict = 1
186.45/186.57 c #restart = 0
186.45/186.57 c BCD2: found a new core of size 187: cost of the new core is >=64
186.45/186.57 c lower bound updated to 676102
197.04/197.16 c BCD2: 676102 <= obj <= 45393924
197.04/197.16 c BCD2: #cores=16, #unrelaxed=4449, #relaxed=1990, #hardened=1621
197.04/197.16 c BCD2: #sat=1 #unsat=17 bias=17/18
197.24/197.37 c Solving starts ...
197.24/197.37 c ============================[ Search Statistics ]============================
197.24/197.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
197.24/197.37 c | | | | Limit GC | Var | Constra
197.24/197.37 c =============================================================================
197.24/197.37 c 0.0s | 0 | 0 | 0 | 2797 0 | 4230 | 0
197.24/197.38 c 0.0s | 0 | 1798 | 1 | 2797 0 | 4230 | 0
197.24/197.38 c #cpu_time = 0.010s
197.24/197.38 c #wall_clock_time = 0.010s
197.24/197.38 c #decision = 1798
197.24/197.38 c #random_decision = 0
197.24/197.38 c #conflict = 1
197.24/197.38 c #restart = 0
197.24/197.38 c BCD2: found a new core of size 164: cost of the new core is >=64
197.24/197.38 c lower bound updated to 676166
208.44/208.54 c BCD2: 676166 <= obj <= 45393924
208.44/208.54 c BCD2: #cores=17, #unrelaxed=4285, #relaxed=2154, #hardened=1621
208.44/208.54 c BCD2: #sat=1 #unsat=18 bias=18/19
214.75/214.80 c Solving starts ...
214.75/214.80 c ============================[ Search Statistics ]============================
214.75/214.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
214.75/214.80 c | | | | Limit GC | Var | Constra
214.75/214.80 c =============================================================================
214.75/214.80 c 0.0s | 0 | 0 | 0 | 2797 0 | 4230 | 0
214.75/214.81 c 0.0s | 0 | 1581 | 0 | 2797 0 | 4230 | 0
214.75/214.81 c #cpu_time = 0.009s
214.75/214.81 c #wall_clock_time = 0.009s
214.75/214.81 c #decision = 1581
214.75/214.81 c #random_decision = 0
214.75/214.81 c #conflict = 0
214.75/214.81 c #restart = 0
214.75/214.81 c BCD2: found a new core of size 203: cost of the new core is >=64
214.75/214.81 c lower bound updated to 676230
225.34/225.40 c BCD2: 676230 <= obj <= 45393924
225.34/225.40 c BCD2: #cores=18, #unrelaxed=4082, #relaxed=2357, #hardened=1621
225.34/225.40 c BCD2: #sat=1 #unsat=19 bias=19/20
225.55/225.67 c Solving starts ...
225.55/225.67 c ============================[ Search Statistics ]============================
225.55/225.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
225.55/225.67 c | | | | Limit GC | Var | Constra
225.55/225.67 c =============================================================================
225.55/225.67 c 0.0s | 0 | 0 | 0 | 2797 0 | 4230 | 0
225.55/225.68 c 0.0s | 0 | 1422 | 1 | 2797 0 | 4230 | 0
225.55/225.68 c #cpu_time = 0.010s
225.55/225.68 c #wall_clock_time = 0.010s
225.55/225.68 c #decision = 1422
225.55/225.68 c #random_decision = 0
225.55/225.68 c #conflict = 1
225.55/225.68 c #restart = 0
225.55/225.68 c BCD2: found a new core of size 318: cost of the new core is >=1
225.55/225.68 c lower bound updated to 676231
237.04/237.15 c BCD2: 676231 <= obj <= 45393924
237.04/237.15 c BCD2: #cores=19, #unrelaxed=3764, #relaxed=2675, #hardened=1621
237.04/237.15 c BCD2: #sat=1 #unsat=20 bias=20/21
243.64/243.71 c Solving starts ...
243.64/243.71 c ============================[ Search Statistics ]============================
243.64/243.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
243.64/243.71 c | | | | Limit GC | Var | Constra
243.64/243.71 c =============================================================================
243.64/243.71 c 0.0s | 0 | 0 | 0 | 2797 0 | 4230 | 0
243.74/243.83 c 0.1s | 1 | 1822 | 100 | 3077 0 | 4230 | 0
243.84/243.97 c 0.3s | 2 | 3193 | 250 | 3385 0 | 4230 | 0
244.14/244.21 c 0.5s | 3 | 4616 | 475 | 3724 0 | 4230 | 0
244.44/244.52 c 0.8s | 4 | 6150 | 813 | 4097 0 | 4230 | 0
244.94/245.04 c 1.3s | 5 | 7852 | 1320 | 4507 0 | 4230 | 0
245.64/245.75 c 2.0s | 6 | 9816 | 2081 | 4958 0 | 4230 | 0
247.04/247.15 c 3.4s | 7 | 12684 | 3223 | 5454 0 | 4230 | 0
249.74/249.89 c 6.2s | 7 | 14796 | 3523 | 5454 0 | 4230 | 0
251.84/251.93 c 8.2s | 7 | 15013 | 3723 | 5454 0 | 4230 | 0
253.83/253.94 c 10.2s | 7 | 15269 | 3923 | 5454 0 | 4230 | 0
256.63/256.76 c 13.1s | 7 | 15645 | 4223 | 5454 0 | 4230 | 0
259.43/259.58 c 15.9s | 7 | 15980 | 4523 | 5454 0 | 4230 | 0
262.33/262.47 c 18.8s | 7 | 16365 | 4823 | 5454 0 | 4230 | 0
263.43/263.53 c 19.8s | 8 | 16513 | 4936 | 6000 0 | 4230 | 0
265.63/265.74 c 22.0s | 8 | 19106 | 5736 | 6000 0 | 4230 | 0
267.73/267.82 c 24.1s | 8 | 19909 | 6536 | 6000 0 | 4230 | 0
269.83/269.92 c 26.2s | 8 | 20712 | 7336 | 6000 0 | 4230 | 0
270.23/270.38 c 26.7s | 9 | 20880 | 7506 | 6601 0 | 4230 | 0
272.23/272.39 c 28.7s | 9 | 24031 | 9406 | 6601 0 | 4230 | 0
274.33/274.40 c 30.7s | 10 | 25994 | 11361 | 7262 0 | 4230 | 0
276.33/276.45 c 32.7s | 10 | 28605 | 11961 | 7262 0 | 4230 | 0
278.34/278.47 c 34.8s | 10 | 29498 | 12661 | 7262 0 | 4230 | 0
280.44/280.58 c 36.9s | 10 | 30245 | 13361 | 7262 0 | 4230 | 0
282.83/282.92 c 39.2s | 10 | 30869 | 13961 | 7262 0 | 4230 | 0
285.13/285.26 c 41.5s | 10 | 31518 | 14561 | 7262 1 | 4230 | 0
287.23/287.31 c 43.6s | 10 | 32063 | 15061 | 7262 1 | 4230 | 0
289.23/289.35 c 45.6s | 10 | 32632 | 15561 | 7262 1 | 4230 | 0
291.23/291.40 c 47.7s | 10 | 33339 | 16261 | 7262 1 | 4230 | 0
293.43/293.50 c 49.8s | 10 | 34069 | 16961 | 7262 1 | 4230 | 0
294.13/294.22 c 50.5s | 11 | 34259 | 17144 | 7989 1 | 4230 | 0
296.13/296.24 c 52.5s | 11 | 37899 | 19544 | 7989 1 | 4230 | 0
298.13/298.26 c 54.6s | 11 | 39889 | 21544 | 7989 2 | 4230 | 0
300.12/300.29 c 56.6s | 11 | 41990 | 23644 | 7989 2 | 4230 | 0
302.22/302.34 c 58.6s | 11 | 44009 | 25644 | 7989 2 | 4230 | 0
302.43/302.54 c 58.8s | 12 | 44174 | 25819 | 8788 2 | 4230 | 0
304.42/304.57 c 60.9s | 12 | 47161 | 27619 | 8788 2 | 4230 | 0
306.42/306.58 c 62.9s | 12 | 49064 | 29519 | 8788 3 | 4230 | 0
309.13/309.23 c 65.5s | 12 | 51183 | 31619 | 8788 3 | 4230 | 0
311.13/311.30 c 67.6s | 12 | 53280 | 33719 | 8788 3 | 4230 | 0
313.23/313.39 c 69.7s | 12 | 55203 | 35619 | 8788 4 | 4230 | 0
315.33/315.42 c 71.7s | 12 | 57200 | 37619 | 8788 4 | 4230 | 0
316.42/316.54 c 72.8s | 13 | 58416 | 38832 | 9667 4 | 4230 | 0
318.42/318.58 c 74.9s | 13 | 61505 | 40732 | 9667 4 | 4230 | 0
320.42/320.60 c 76.9s | 13 | 63519 | 42732 | 9667 4 | 4230 | 0
323.43/323.57 c 79.9s | 13 | 65635 | 44832 | 9667 5 | 4230 | 0
325.42/325.58 c 81.9s | 13 | 67937 | 47132 | 9667 5 | 4230 | 0
327.42/327.59 c 83.9s | 13 | 69949 | 49132 | 9667 5 | 4230 | 0
329.72/329.83 c 86.1s | 13 | 71859 | 51032 | 9667 6 | 4230 | 0
331.72/331.83 c 88.1s | 13 | 73966 | 53132 | 9667 6 | 4230 | 0
333.72/333.86 c 90.2s | 13 | 76178 | 55332 | 9667 6 | 4230 | 0
335.72/335.89 c 92.2s | 13 | 78179 | 57332 | 9667 6 | 4230 | 0
336.82/336.94 c 93.2s | 14 | 79215 | 58352 | 10634 6 | 4230 | 0
338.91/339.04 c 95.3s | 14 | 81129 | 59052 | 10634 7 | 4230 | 0
340.92/341.07 c 97.4s | 14 | 82937 | 60852 | 10634 7 | 4230 | 0
343.01/343.12 c 99.4s | 14 | 85157 | 63052 | 10634 7 | 4230 | 0
345.01/345.17 c 101s | 14 | 87151 | 65052 | 10634 7 | 4230 | 0
347.11/347.22 c 103s | 14 | 89174 | 67052 | 10634 8 | 4230 | 0
349.11/349.27 c 105s | 14 | 91171 | 69052 | 10634 8 | 4230 | 0
351.11/351.28 c 107s | 14 | 93083 | 70952 | 10634 8 | 4230 | 0
353.11/353.29 c 109s | 14 | 94290 | 72152 | 10634 8 | 4230 | 0
355.21/355.35 c 111s | 14 | 96131 | 73952 | 10634 8 | 4230 | 0
357.21/357.38 c 113s | 14 | 97655 | 75452 | 10634 9 | 4230 | 0
359.31/359.40 c 115s | 14 | 99959 | 77752 | 10634 9 | 4230 | 0
361.32/361.41 c 117s | 14 | 102065 | 79852 | 10634 9 | 4230 | 0
363.31/363.44 c 119s | 14 | 104079 | 81852 | 10634 9 | 4230 | 0
365.41/365.53 c 121s | 14 | 105984 | 83752 | 10634 10 | 4230 | 0
367.42/367.55 c 123s | 14 | 108194 | 85952 | 10634 10 | 4230 | 0
368.91/369.09 c 125s | 15 | 109878 | 87632 | 11698 10 | 4230 | 0
373.11/373.23 c 129s | 15 | 112877 | 89432 | 11698 10 | 4230 | 0
375.21/375.31 c 131s | 15 | 114876 | 91432 | 11698 10 | 4230 | 0
377.21/377.39 c 133s | 15 | 116684 | 93232 | 11698 11 | 4230 | 0
379.31/379.45 c 135s | 15 | 118898 | 95432 | 11698 11 | 4230 | 0
381.31/381.47 c 137s | 15 | 121103 | 97632 | 11698 11 | 4230 | 0
383.41/383.56 c 139s | 15 | 123213 | 99732 | 11698 11 | 4230 | 0
385.51/385.65 c 141s | 15 | 125123 | 101632 | 11698 12 | 4230 | 0
387.60/387.76 c 144s | 15 | 126827 | 103332 | 11698 12 | 4230 | 0
389.60/389.78 c 146s | 15 | 128840 | 105332 | 11698 12 | 4230 | 0
391.80/391.91 c 148s | 15 | 130148 | 106632 | 11698 12 | 4230 | 0
393.81/393.94 c 150s | 15 | 131845 | 108332 | 11698 12 | 4230 | 0
395.80/395.98 c 152s | 15 | 133457 | 109932 | 11698 13 | 4230 | 0
398.10/398.29 c 154s | 15 | 134754 | 111232 | 11698 13 | 4230 | 0
400.20/400.36 c 156s | 15 | 136874 | 113332 | 11698 13 | 4230 | 0
402.30/402.45 c 158s | 15 | 138876 | 115332 | 11698 13 | 4230 | 0
404.40/404.51 c 160s | 15 | 140789 | 117232 | 11698 13 | 4230 | 0
406.40/406.51 c 162s | 15 | 142391 | 118832 | 11698 14 | 4230 | 0
408.40/408.56 c 164s | 15 | 144506 | 120932 | 11698 14 | 4230 | 0
410.49/410.66 c 166s | 15 | 146519 | 122932 | 11698 14 | 4230 | 0
412.59/412.75 c 169s | 15 | 148518 | 124932 | 11698 14 | 4230 | 0
414.89/415.06 c 171s | 15 | 150434 | 126832 | 11698 15 | 4230 | 0
416.99/417.15 c 173s | 15 | 152437 | 128832 | 11698 15 | 4230 | 0
419.00/419.15 c 175s | 15 | 154354 | 130732 | 12868 15 | 4230 | 0
419.89/420.05 c 176s | 16 | 155177 | 131552 | 12868 15 | 4230 | 0
424.39/424.57 c 180s | 16 | 156574 | 131752 | 12868 15 | 4230 | 0
426.49/426.62 c 182s | 16 | 157673 | 132852 | 12868 15 | 4230 | 0
428.59/428.70 c 184s | 16 | 159673 | 134852 | 12868 15 | 4230 | 0
430.59/430.73 c 187s | 16 | 161482 | 136652 | 12868 16 | 4230 | 0
432.69/432.82 c 189s | 16 | 163590 | 138752 | 12868 16 | 4230 | 0
434.79/434.90 c 191s | 16 | 165498 | 140652 | 12868 16 | 4230 | 0
436.79/436.92 c 193s | 16 | 167393 | 142552 | 12868 16 | 4230 | 0
438.79/438.98 c 195s | 16 | 169204 | 144352 | 12868 16 | 4230 | 0
440.89/441.01 c 197s | 16 | 170803 | 145952 | 12868 17 | 4230 | 0
443.59/443.72 c 200s | 16 | 171821 | 146952 | 12868 17 | 4230 | 0
445.69/445.80 c 202s | 16 | 173919 | 149052 | 12868 17 | 4230 | 0
447.69/447.84 c 204s | 16 | 175938 | 151052 | 12868 17 | 4230 | 0
449.79/449.94 c 206s | 16 | 177853 | 152952 | 12868 17 | 4230 | 0
451.88/452.00 c 208s | 16 | 179739 | 154852 | 12868 17 | 4230 | 0
455.39/455.56 c 211s | 16 | 181455 | 156552 | 12868 18 | 4230 | 0
457.49/457.66 c 213s | 16 | 183352 | 158452 | 12868 18 | 4230 | 0
459.58/459.77 c 216s | 16 | 185366 | 160452 | 12868 18 | 4230 | 0
461.68/461.82 c 218s | 16 | 187178 | 162252 | 12868 18 | 4230 | 0
463.78/463.93 c 220s | 16 | 189077 | 164152 | 12868 18 | 4230 | 0
465.78/465.99 c 222s | 16 | 191092 | 166152 | 12868 19 | 4230 | 0
467.88/468.02 c 224s | 16 | 193195 | 168252 | 12868 19 | 4230 | 0
469.88/470.07 c 226s | 16 | 195108 | 170152 | 12868 19 | 4230 | 0
471.98/472.11 c 228s | 16 | 196901 | 171952 | 12868 19 | 4230 | 0
473.98/474.15 c 230s | 16 | 198311 | 173352 | 12868 20 | 4230 | 0
476.09/476.23 c 232s | 16 | 200421 | 175452 | 12868 20 | 4230 | 0
480.69/480.86 c 237s | 16 | 201827 | 176852 | 12868 20 | 4230 | 0
482.79/482.95 c 239s | 16 | 203839 | 178852 | 12868 20 | 4230 | 0
484.88/485.05 c 241s | 16 | 205947 | 180952 | 12868 20 | 4230 | 0
486.88/487.07 c 243s | 16 | 207864 | 182852 | 12868 21 | 4230 | 0
488.98/489.11 c 245s | 16 | 209967 | 184952 | 12868 21 | 4230 | 0
491.08/491.21 c 247s | 16 | 211970 | 186952 | 12868 21 | 4230 | 0
493.08/493.26 c 249s | 16 | 213986 | 188952 | 12868 21 | 4230 | 0
495.08/495.27 c 251s | 16 | 215990 | 190952 | 12868 21 | 4230 | 0
497.18/497.36 c 253s | 16 | 216602 | 191552 | 12868 21 | 4230 | 0
499.57/499.75 c 256s | 16 | 218411 | 193352 | 12868 22 | 4230 | 0
501.67/501.82 c 258s | 16 | 220515 | 195452 | 12868 22 | 4230 | 0
503.78/503.91 c 260s | 16 | 222227 | 197152 | 14155 22 | 4230 | 0
504.07/504.23 c 260s | 17 | 222503 | 197432 | 14155 22 | 4230 | 0
506.07/506.24 c 262s | 17 | 225390 | 199132 | 14155 22 | 4230 | 0
508.18/508.32 c 264s | 17 | 226698 | 200432 | 14155 22 | 4230 | 0
510.17/510.36 c 266s | 17 | 228406 | 202132 | 14155 22 | 4230 | 0
512.27/512.43 c 268s | 17 | 230121 | 203832 | 14155 23 | 4230 | 0
514.27/514.49 c 270s | 17 | 232133 | 205832 | 14155 23 | 4230 | 0
516.37/516.58 c 272s | 17 | 234127 | 207832 | 14155 23 | 4230 | 0
518.47/518.61 c 274s | 17 | 236037 | 209732 | 14155 23 | 4230 | 0
520.47/520.66 c 276s | 17 | 237845 | 211532 | 14155 23 | 4230 | 0
522.48/522.68 c 278s | 17 | 239554 | 213232 | 14155 24 | 4230 | 0
524.58/524.71 c 281s | 17 | 241561 | 215232 | 14155 24 | 4230 | 0
526.67/526.86 c 283s | 17 | 243367 | 217032 | 14155 24 | 4230 | 0
528.67/528.86 c 285s | 17 | 244970 | 218632 | 14155 24 | 4230 | 0
530.67/530.89 c 287s | 17 | 246676 | 220332 | 14155 24 | 4230 | 0
532.77/532.97 c 289s | 17 | 248281 | 221932 | 14155 25 | 4230 | 0
534.97/535.11 c 291s | 17 | 250193 | 223832 | 14155 25 | 4230 | 0
538.98/539.11 c 295s | 17 | 250504 | 224132 | 14155 25 | 4230 | 0
540.97/541.20 c 297s | 17 | 251907 | 225532 | 14155 25 | 4230 | 0
543.07/543.24 c 299s | 17 | 253912 | 227532 | 14155 25 | 4230 | 0
545.17/545.32 c 301s | 17 | 255722 | 229332 | 14155 25 | 4230 | 0
547.27/547.40 c 303s | 17 | 257525 | 231132 | 14155 25 | 4230 | 0
549.27/549.42 c 305s | 17 | 259032 | 232632 | 14155 26 | 4230 | 0
551.37/551.50 c 307s | 17 | 261036 | 234632 | 14155 26 | 4230 | 0
553.37/553.57 c 309s | 17 | 263051 | 236632 | 14155 26 | 4230 | 0
555.47/555.66 c 311s | 17 | 265051 | 238632 | 14155 26 | 4230 | 0
557.46/557.68 c 313s | 17 | 266966 | 240532 | 14155 26 | 4230 | 0
559.56/559.72 c 316s | 17 | 268771 | 242332 | 14155 27 | 4230 | 0
561.57/561.73 c 318s | 17 | 269587 | 243132 | 14155 27 | 4230 | 0
563.57/563.79 c 320s | 17 | 271678 | 245232 | 14155 27 | 4230 | 0
565.67/565.82 c 322s | 17 | 273483 | 247032 | 14155 27 | 4230 | 0
567.77/567.90 c 324s | 17 | 275392 | 248932 | 14155 27 | 4230 | 0
569.68/569.90 c 326s | 17 | 277305 | 250832 | 14155 27 | 4230 | 0
571.77/571.93 c 328s | 17 | 278916 | 252432 | 14155 28 | 4230 | 0
573.77/573.94 c 330s | 17 | 280921 | 254432 | 14155 28 | 4230 | 0
575.77/575.98 c 332s | 17 | 282733 | 256232 | 14155 28 | 4230 | 0
577.87/578.06 c 334s | 17 | 284629 | 258132 | 14155 28 | 4230 | 0
579.97/580.17 c 336s | 17 | 286549 | 260032 | 14155 28 | 4230 | 0
582.07/582.20 c 338s | 17 | 288144 | 261632 | 14155 29 | 4230 | 0
584.07/584.26 c 340s | 17 | 290158 | 263632 | 14155 29 | 4230 | 0
586.07/586.27 c 342s | 17 | 292166 | 265632 | 14155 29 | 4230 | 0
588.07/588.28 c 344s | 17 | 294172 | 267632 | 14155 29 | 4230 | 0
590.17/590.36 c 346s | 17 | 296088 | 269532 | 14155 29 | 4230 | 0
595.56/595.76 c 352s | 17 | 297591 | 271032 | 14155 29 | 4230 | 0
597.67/597.86 c 354s | 17 | 298595 | 272032 | 14155 30 | 4230 | 0
599.77/599.91 c 356s | 17 | 300400 | 273832 | 14155 30 | 4230 | 0
601.77/601.96 c 358s | 17 | 302202 | 275632 | 14155 30 | 4230 | 0
603.87/604.08 c 360s | 17 | 303919 | 277332 | 14155 30 | 4230 | 0
606.07/606.27 c 362s | 17 | 305020 | 278432 | 14155 30 | 4230 | 0
608.17/608.34 c 364s | 17 | 306834 | 280232 | 14155 30 | 4230 | 0
610.16/610.36 c 366s | 17 | 308548 | 281932 | 14155 31 | 4230 | 0
612.16/612.38 c 368s | 17 | 310645 | 284032 | 14155 31 | 4230 | 0
614.36/614.51 c 370s | 17 | 312661 | 286032 | 14155 31 | 4230 | 0
616.36/616.59 c 372s | 17 | 314480 | 287832 | 14155 31 | 4230 | 0
618.46/618.66 c 374s | 17 | 316182 | 289532 | 14155 31 | 4230 | 0
620.46/620.69 c 376s | 17 | 317589 | 290932 | 14155 32 | 4230 | 0
622.57/622.71 c 379s | 17 | 319396 | 292732 | 14155 32 | 4230 | 0
624.67/624.82 c 381s | 17 | 321498 | 294832 | 15571 32 | 4230 | 0
626.26/626.43 c 382s | 18 | 322928 | 296252 | 15571 32 | 4230 | 0
628.26/628.45 c 384s | 18 | 325627 | 297752 | 15571 32 | 4230 | 0
630.36/630.57 c 386s | 18 | 327459 | 299552 | 15571 32 | 4230 | 0
632.47/632.63 c 388s | 18 | 328880 | 300952 | 15571 32 | 4230 | 0
634.46/634.68 c 390s | 18 | 330385 | 302452 | 15571 33 | 4230 | 0
636.56/636.77 c 393s | 18 | 332189 | 304252 | 15571 33 | 4230 | 0
638.66/638.85 c 395s | 18 | 334099 | 306152 | 15571 33 | 4230 | 0
640.75/640.90 c 397s | 18 | 335814 | 307852 | 15571 33 | 4230 | 0
642.75/642.90 c 399s | 18 | 337707 | 309752 | 15571 33 | 4230 | 0
644.75/644.95 c 401s | 18 | 339513 | 311552 | 15571 33 | 4230 | 0
646.85/647.05 c 403s | 18 | 341017 | 313052 | 15571 34 | 4230 | 0
648.96/649.10 c 405s | 18 | 342726 | 314752 | 15571 34 | 4230 | 0
650.95/651.14 c 407s | 18 | 344637 | 316652 | 15571 34 | 4230 | 0
653.05/653.21 c 409s | 18 | 346437 | 318452 | 15571 34 | 4230 | 0
655.15/655.30 c 411s | 18 | 348351 | 320352 | 15571 34 | 4230 | 0
657.15/657.31 c 413s | 18 | 350166 | 322152 | 15571 34 | 4230 | 0
659.25/659.40 c 415s | 18 | 351565 | 323552 | 15571 35 | 4230 | 0
661.25/661.47 c 417s | 18 | 353171 | 325152 | 15571 35 | 4230 | 0
663.35/663.57 c 419s | 18 | 355079 | 327052 | 15571 35 | 4230 | 0
665.35/665.60 c 421s | 18 | 356883 | 328852 | 15571 35 | 4230 | 0
667.45/667.65 c 423s | 18 | 358696 | 330652 | 15571 35 | 4230 | 0
669.45/669.66 c 425s | 18 | 360402 | 332352 | 15571 35 | 4230 | 0
671.55/671.71 c 428s | 18 | 361907 | 333852 | 15571 36 | 4230 | 0
678.85/679.05 c 435s | 18 | 363125 | 335052 | 15571 36 | 4230 | 0
680.95/681.12 c 437s | 18 | 365017 | 336952 | 15571 36 | 4230 | 0
682.95/683.18 c 439s | 18 | 366924 | 338852 | 15571 36 | 4230 | 0
685.05/685.28 c 441s | 18 | 368832 | 340752 | 15571 36 | 4230 | 0
687.14/687.39 c 443s | 18 | 370531 | 342452 | 15571 36 | 4230 | 0
689.24/689.48 c 445s | 18 | 372137 | 344052 | 15571 36 | 4230 | 0
691.34/691.57 c 447s | 18 | 373953 | 345852 | 15571 37 | 4230 | 0
693.44/693.62 c 449s | 18 | 376165 | 348052 | 15571 37 | 4230 | 0
695.54/695.72 c 452s | 18 | 378158 | 350052 | 15571 37 | 4230 | 0
697.54/697.75 c 454s | 18 | 380073 | 351952 | 15571 37 | 4230 | 0
699.55/699.78 c 456s | 18 | 381880 | 353752 | 15571 37 | 4230 | 0
701.75/701.93 c 458s | 18 | 383591 | 355452 | 15571 38 | 4230 | 0
703.85/704.02 c 460s | 18 | 385796 | 357652 | 15571 38 | 4230 | 0
705.95/706.10 c 462s | 18 | 387813 | 359652 | 15571 38 | 4230 | 0
707.95/708.18 c 464s | 18 | 389719 | 361552 | 15571 38 | 4230 | 0
710.05/710.28 c 466s | 18 | 391528 | 363352 | 15571 38 | 4230 | 0
712.15/712.33 c 468s | 18 | 393343 | 365152 | 15571 38 | 4230 | 0
714.25/714.44 c 470s | 18 | 394442 | 366252 | 15571 39 | 4230 | 0
716.25/716.47 c 472s | 18 | 396448 | 368252 | 15571 39 | 4230 | 0
718.35/718.57 c 474s | 18 | 398552 | 370352 | 15571 39 | 4230 | 0
720.45/720.69 c 476s | 18 | 400768 | 372552 | 15571 39 | 4230 | 0
724.04/724.21 c 480s | 18 | 402191 | 373952 | 15571 39 | 4230 | 0
726.14/726.33 c 482s | 18 | 404097 | 375852 | 15571 39 | 4230 | 0
728.24/728.46 c 484s | 18 | 405702 | 377452 | 15571 40 | 4230 | 0
730.25/730.49 c 486s | 18 | 407519 | 379252 | 15571 40 | 4230 | 0
732.34/732.51 c 488s | 18 | 409527 | 381252 | 15571 40 | 4230 | 0
734.34/734.52 c 490s | 18 | 411331 | 383052 | 15571 40 | 4230 | 0
736.44/736.61 c 492s | 18 | 413250 | 384952 | 15571 40 | 4230 | 0
738.64/738.80 c 495s | 18 | 414872 | 386552 | 15571 41 | 4230 | 0
740.64/740.85 c 497s | 18 | 416877 | 388552 | 15571 41 | 4230 | 0
742.74/742.95 c 499s | 18 | 418899 | 390552 | 15571 41 | 4230 | 0
744.84/745.03 c 501s | 18 | 420796 | 392452 | 15571 41 | 4230 | 0
747.14/747.34 c 503s | 18 | 421018 | 392652 | 15571 41 | 4230 | 0
749.24/749.43 c 505s | 18 | 422813 | 394452 | 15571 41 | 4230 | 0
751.25/751.48 c 507s | 18 | 424719 | 396352 | 15571 41 | 4230 | 0
753.34/753.54 c 509s | 18 | 426525 | 398152 | 15571 42 | 4230 | 0
755.44/755.67 c 511s | 18 | 428442 | 400052 | 15571 42 | 4230 | 0
757.54/757.77 c 514s | 18 | 430343 | 401952 | 15571 42 | 4230 | 0
759.64/759.84 c 516s | 18 | 432050 | 403652 | 15571 42 | 4230 | 0
761.64/761.85 c 518s | 18 | 433660 | 405252 | 15571 42 | 4230 | 0
763.74/763.95 c 520s | 18 | 435562 | 407152 | 15571 42 | 4230 | 0
765.83/766.02 c 522s | 18 | 436968 | 408552 | 15571 43 | 4230 | 0
767.83/768.07 c 524s | 18 | 438478 | 410052 | 15571 43 | 4230 | 0
769.84/770.10 c 526s | 18 | 440086 | 411652 | 15571 43 | 4230 | 0
772.83/773.02 c 529s | 18 | 440985 | 412552 | 15571 43 | 4230 | 0
774.83/775.09 c 531s | 18 | 442793 | 414352 | 15571 43 | 4230 | 0
776.83/777.09 c 533s | 18 | 444507 | 416052 | 15571 43 | 4230 | 0
778.93/779.14 c 535s | 18 | 446213 | 417752 | 15571 43 | 4230 | 0
780.94/781.16 c 537s | 18 | 447922 | 419452 | 15571 44 | 4230 | 0
783.04/783.21 c 539s | 18 | 449825 | 421352 | 15571 44 | 4230 | 0
785.03/785.27 c 541s | 18 | 451732 | 423252 | 15571 44 | 4230 | 0
787.13/787.35 c 543s | 18 | 453544 | 425052 | 15571 44 | 4230 | 0
789.23/789.45 c 545s | 18 | 455363 | 426852 | 15571 44 | 4230 | 0
791.33/791.57 c 547s | 18 | 457172 | 428652 | 15571 44 | 4230 | 0
793.43/793.63 c 549s | 18 | 458679 | 430152 | 15571 45 | 4230 | 0
795.43/795.69 c 551s | 18 | 460594 | 432052 | 15571 45 | 4230 | 0
801.03/801.23 c 557s | 18 | 461395 | 432852 | 15571 45 | 4230 | 0
803.13/803.31 c 559s | 18 | 463318 | 434752 | 15571 45 | 4230 | 0
805.14/805.34 c 561s | 18 | 465032 | 436452 | 15571 45 | 4230 | 0
807.13/807.37 c 563s | 18 | 466634 | 438052 | 15571 45 | 4230 | 0
809.23/809.43 c 565s | 18 | 468151 | 439552 | 15571 46 | 4230 | 0
811.23/811.46 c 567s | 18 | 470160 | 441552 | 17129 46 | 4230 | 0
813.33/813.52 c 569s | 18 | 471768 | 443152 | 17129 46 | 4230 | 0
814.83/815.02 c 571s | 19 | 473104 | 444482 | 17129 46 | 4230 | 0
816.83/817.09 c 573s | 19 | 475994 | 446182 | 17129 46 | 4230 | 0
818.93/819.11 c 575s | 19 | 477708 | 447882 | 17129 46 | 4230 | 0
820.93/821.11 c 577s | 19 | 479408 | 449582 | 17129 46 | 4230 | 0
822.93/823.19 c 579s | 19 | 481116 | 451282 | 17129 46 | 4230 | 0
825.03/825.25 c 581s | 19 | 482626 | 452782 | 17129 47 | 4230 | 0
827.33/827.57 c 583s | 19 | 484429 | 454582 | 17129 47 | 4230 | 0
829.42/829.63 c 585s | 19 | 486333 | 456482 | 17129 47 | 4230 | 0
831.43/831.68 c 587s | 19 | 488153 | 458282 | 17129 47 | 4230 | 0
833.52/833.75 c 590s | 19 | 489959 | 460082 | 17129 47 | 4230 | 0
835.52/835.77 c 592s | 19 | 491470 | 461582 | 17129 47 | 4230 | 0
837.62/837.84 c 594s | 19 | 492975 | 463082 | 17129 48 | 4230 | 0
839.62/839.88 c 596s | 19 | 494781 | 464882 | 17129 48 | 4230 | 0
841.82/842.00 c 598s | 19 | 496692 | 466782 | 17129 48 | 4230 | 0
843.82/844.01 c 600s | 19 | 498404 | 468482 | 17129 48 | 4230 | 0
845.83/846.04 c 602s | 19 | 500121 | 470182 | 17129 48 | 4230 | 0
847.93/848.14 c 604s | 19 | 501833 | 471882 | 17129 48 | 4230 | 0
849.92/850.16 c 606s | 19 | 503440 | 473482 | 17129 48 | 4230 | 0
852.02/852.23 c 608s | 19 | 505048 | 475082 | 17129 49 | 4230 | 0
862.82/863.05 c 619s | 19 | 505660 | 475682 | 17129 49 | 4230 | 0
864.82/865.06 c 621s | 19 | 507660 | 477682 | 17129 49 | 4230 | 0
866.82/867.07 c 623s | 19 | 509680 | 479682 | 17129 49 | 4230 | 0
868.83/869.09 c 625s | 19 | 511675 | 481682 | 17129 49 | 4230 | 0
870.92/871.15 c 627s | 19 | 513613 | 483582 | 17129 49 | 4230 | 0
872.92/873.19 c 629s | 19 | 515227 | 485182 | 17129 49 | 4230 | 0
875.02/875.24 c 631s | 19 | 516541 | 486482 | 17129 50 | 4230 | 0
877.12/877.30 c 633s | 19 | 518445 | 488382 | 17129 50 | 4230 | 0
879.12/879.34 c 635s | 19 | 520362 | 490282 | 17129 50 | 4230 | 0
881.12/881.39 c 637s | 19 | 522156 | 492082 | 17129 50 | 4230 | 0
883.22/883.46 c 639s | 19 | 523973 | 493882 | 17129 50 | 4230 | 0
885.21/885.50 c 641s | 19 | 525773 | 495682 | 17129 50 | 4230 | 0
887.31/887.58 c 643s | 19 | 527491 | 497382 | 17129 51 | 4230 | 0
889.41/889.66 c 645s | 19 | 529388 | 499282 | 17129 51 | 4230 | 0
891.41/891.68 c 647s | 19 | 531002 | 500882 | 17129 51 | 4230 | 0
893.51/893.77 c 650s | 19 | 532912 | 502782 | 17129 51 | 4230 | 0
895.61/895.82 c 652s | 19 | 534834 | 504682 | 17129 51 | 4230 | 0
897.71/897.90 c 654s | 19 | 536549 | 506382 | 17129 51 | 4230 | 0
899.72/899.98 c 656s | 19 | 538147 | 507982 | 17129 52 | 4230 | 0
901.83/902.07 c 658s | 19 | 539961 | 509782 | 17129 52 | 4230 | 0
903.92/904.13 c 660s | 19 | 540968 | 510782 | 17129 52 | 4230 | 0
906.02/906.22 c 662s | 19 | 542982 | 512782 | 17129 52 | 4230 | 0
908.02/908.24 c 664s | 19 | 544692 | 514482 | 17129 52 | 4230 | 0
910.12/910.34 c 666s | 19 | 546497 | 516282 | 17129 52 | 4230 | 0
912.12/912.37 c 668s | 19 | 548115 | 517882 | 17129 52 | 4230 | 0
914.22/914.47 c 670s | 19 | 549725 | 519482 | 17129 53 | 4230 | 0
916.22/916.47 c 672s | 19 | 551525 | 521282 | 17129 53 | 4230 | 0
918.32/918.59 c 674s | 19 | 552537 | 522282 | 17129 53 | 4230 | 0
920.41/920.67 c 676s | 19 | 553940 | 523682 | 17129 53 | 4230 | 0
922.51/922.73 c 679s | 19 | 555850 | 525582 | 17129 53 | 4230 | 0
924.51/924.76 c 681s | 19 | 557753 | 527482 | 17129 53 | 4230 | 0
926.61/926.86 c 683s | 19 | 559565 | 529282 | 17129 53 | 4230 | 0
929.21/929.41 c 685s | 19 | 561185 | 530882 | 17129 54 | 4230 | 0
931.21/931.46 c 687s | 19 | 563195 | 532882 | 17129 54 | 4230 | 0
933.31/933.51 c 689s | 19 | 565104 | 534782 | 17129 54 | 4230 | 0
935.41/935.60 c 691s | 19 | 567005 | 536682 | 17129 54 | 4230 | 0
937.41/937.64 c 693s | 19 | 568926 | 538582 | 17129 54 | 4230 | 0
939.51/939.70 c 695s | 19 | 570824 | 540482 | 17129 54 | 4230 | 0
941.52/941.77 c 698s | 19 | 572441 | 542082 | 17129 55 | 4230 | 0
943.62/943.81 c 700s | 19 | 574343 | 543982 | 17129 55 | 4230 | 0
945.61/945.88 c 702s | 19 | 576047 | 545682 | 17129 55 | 4230 | 0
947.71/947.90 c 704s | 19 | 577855 | 547482 | 17129 55 | 4230 | 0
949.81/950.00 c 706s | 19 | 579669 | 549282 | 17129 55 | 4230 | 0
952.01/952.20 c 708s | 19 | 581586 | 551182 | 17129 55 | 4230 | 0
954.01/954.24 c 710s | 19 | 583100 | 552682 | 17129 55 | 4230 | 0
956.01/956.28 c 712s | 19 | 584700 | 554282 | 17129 56 | 4230 | 0
958.11/958.38 c 714s | 19 | 586518 | 556082 | 17129 56 | 4230 | 0
960.21/960.44 c 716s | 19 | 588431 | 557982 | 17129 56 | 4230 | 0
962.31/962.52 c 718s | 19 | 590356 | 559882 | 17129 56 | 4230 | 0
964.40/964.61 c 720s | 19 | 592156 | 561682 | 17129 56 | 4230 | 0
966.40/966.66 c 722s | 19 | 593867 | 563382 | 17129 56 | 4230 | 0
968.50/968.72 c 725s | 19 | 595387 | 564882 | 17129 57 | 4230 | 0
970.50/970.73 c 727s | 19 | 597094 | 566582 | 17129 57 | 4230 | 0
972.60/972.80 c 729s | 19 | 599101 | 568582 | 17129 57 | 4230 | 0
974.60/974.84 c 731s | 19 | 600919 | 570382 | 17129 57 | 4230 | 0
976.61/976.84 c 733s | 19 | 602824 | 572282 | 17129 57 | 4230 | 0
985.00/985.24 c 741s | 19 | 604037 | 573482 | 17129 57 | 4230 | 0
987.10/987.33 c 743s | 19 | 605636 | 575082 | 17129 57 | 4230 | 0
989.10/989.38 c 745s | 19 | 606949 | 576382 | 17129 58 | 4230 | 0
991.10/991.38 c 747s | 19 | 608161 | 577582 | 17129 58 | 4230 | 0
993.11/993.40 c 749s | 19 | 609666 | 579082 | 17129 58 | 4230 | 0
995.20/995.43 c 751s | 19 | 611469 | 580882 | 17129 58 | 4230 | 0
997.20/997.48 c 753s | 19 | 613284 | 582682 | 17129 58 | 4230 | 0
999.30/999.57 c 755s | 19 | 615086 | 584482 | 17129 58 | 4230 | 0
1001.40/1001.61 c 757s | 19 | 616899 | 586282 | 17129 58 | 4230 | 0
1003.40/1003.68 c 759s | 19 | 618411 | 587782 | 17129 59 | 4230 | 0
1005.50/1005.75 c 762s | 19 | 620212 | 589582 | 17129 59 | 4230 | 0
1007.51/1007.79 c 764s | 19 | 622027 | 591382 | 17129 59 | 4230 | 0
1009.50/1009.79 c 766s | 19 | 623733 | 593082 | 17129 59 | 4230 | 0
1011.60/1011.83 c 768s | 19 | 625440 | 594782 | 17129 59 | 4230 | 0
1013.60/1013.88 c 770s | 19 | 627245 | 596582 | 17129 59 | 4230 | 0
1015.80/1016.01 c 772s | 19 | 628959 | 598282 | 17129 59 | 4230 | 0
1017.80/1018.03 c 774s | 19 | 630564 | 599882 | 17129 60 | 4230 | 0
1019.80/1020.06 c 776s | 19 | 632472 | 601782 | 17129 60 | 4230 | 0
1021.90/1022.17 c 778s | 19 | 634273 | 603582 | 17129 60 | 4230 | 0
1024.09/1024.34 c 780s | 19 | 635374 | 604682 | 17129 60 | 4230 | 0
1026.10/1026.40 c 782s | 19 | 637088 | 606382 | 17129 60 | 4230 | 0
1028.30/1028.51 c 784s | 19 | 638901 | 608182 | 17129 60 | 4230 | 0
1030.29/1030.58 c 786s | 19 | 640402 | 609682 | 17129 60 | 4230 | 0
1032.39/1032.67 c 788s | 19 | 642113 | 611382 | 17129 61 | 4230 | 0
1034.49/1034.74 c 791s | 19 | 644127 | 613382 | 17129 61 | 4230 | 0
1036.59/1036.82 c 793s | 19 | 646132 | 615382 | 17129 61 | 4230 | 0
1038.59/1038.87 c 795s | 19 | 647743 | 616982 | 17129 61 | 4230 | 0
1040.69/1040.97 c 797s | 19 | 649549 | 618782 | 17129 61 | 4230 | 0
1042.79/1043.07 c 799s | 19 | 651254 | 620482 | 17129 61 | 4230 | 0
1044.90/1045.14 c 801s | 19 | 652862 | 622082 | 17129 62 | 4230 | 0
1047.00/1047.21 c 803s | 19 | 654776 | 623982 | 17129 62 | 4230 | 0
1051.19/1051.42 c 807s | 19 | 655382 | 624582 | 17129 62 | 4230 | 0
1053.29/1053.53 c 809s | 19 | 657393 | 626582 | 17129 62 | 4230 | 0
1055.39/1055.60 c 811s | 19 | 659194 | 628382 | 17129 62 | 4230 | 0
1057.39/1057.61 c 813s | 19 | 660903 | 630082 | 17129 62 | 4230 | 0
1059.49/1059.70 c 815s | 19 | 662498 | 631682 | 17129 62 | 4230 | 0
1061.49/1061.79 c 818s | 19 | 663906 | 633082 | 17129 63 | 4230 | 0
1063.59/1063.83 c 820s | 19 | 665908 | 635082 | 17129 63 | 4230 | 0
1065.59/1065.84 c 822s | 19 | 667827 | 636982 | 17129 63 | 4230 | 0
1067.58/1067.84 c 824s | 19 | 669722 | 638882 | 17129 63 | 4230 | 0
1069.58/1069.85 c 826s | 19 | 670936 | 640082 | 17129 63 | 4230 | 0
1071.68/1071.90 c 828s | 19 | 672433 | 641582 | 17129 63 | 4230 | 0
1073.68/1073.99 c 830s | 19 | 673936 | 643082 | 17129 63 | 4230 | 0
1075.78/1076.05 c 832s | 19 | 675239 | 644382 | 17129 64 | 4230 | 0
1077.79/1078.10 c 834s | 19 | 677048 | 646182 | 17129 64 | 4230 | 0
1079.88/1080.17 c 836s | 19 | 678657 | 647782 | 17129 64 | 4230 | 0
1081.98/1082.24 c 838s | 19 | 680672 | 649782 | 17129 64 | 4230 | 0
1084.08/1084.35 c 840s | 19 | 682578 | 651682 | 17129 64 | 4230 | 0
1086.18/1086.40 c 842s | 19 | 684285 | 653382 | 17129 64 | 4230 | 0
1088.38/1088.60 c 844s | 19 | 686098 | 655182 | 17129 65 | 4230 | 0
1090.38/1090.65 c 846s | 19 | 687808 | 656882 | 17129 65 | 4230 | 0
1092.48/1092.70 c 848s | 19 | 689813 | 658882 | 17129 65 | 4230 | 0
1094.48/1094.70 c 850s | 19 | 690220 | 659282 | 17129 65 | 4230 | 0
1101.18/1101.40 c 857s | 19 | 692016 | 661082 | 17129 65 | 4230 | 0
1103.19/1103.49 c 859s | 19 | 693822 | 662882 | 18842 65 | 4230 | 0
1105.29/1105.55 c 861s | 19 | 695631 | 664682 | 18842 65 | 4230 | 0
1107.38/1107.60 c 863s | 19 | 697432 | 666482 | 18842 65 | 4230 | 0
1107.68/1107.98 c 864s | 20 | 697783 | 666827 | 18842 65 | 4230 | 0
1109.69/1110.00 c 866s | 20 | 699981 | 667827 | 18842 65 | 4230 | 0
1111.78/1112.01 c 868s | 20 | 700874 | 668727 | 18842 66 | 4230 | 0
1113.88/1114.10 c 870s | 20 | 702889 | 670727 | 18842 66 | 4230 | 0
1115.88/1116.11 c 872s | 20 | 704799 | 672627 | 18842 66 | 4230 | 0
1117.98/1118.22 c 874s | 20 | 706709 | 674527 | 18842 66 | 4230 | 0
1119.98/1120.25 c 876s | 20 | 708719 | 676527 | 18842 66 | 4230 | 0
1122.08/1122.30 c 878s | 20 | 710528 | 678327 | 18842 66 | 4230 | 0
1124.09/1124.38 c 880s | 20 | 712441 | 680227 | 18842 66 | 4230 | 0
1126.78/1127.07 c 883s | 20 | 712941 | 680727 | 18842 67 | 4230 | 0
1128.88/1129.12 c 885s | 20 | 714941 | 682727 | 18842 67 | 4230 | 0
1131.08/1131.34 c 887s | 20 | 717055 | 684827 | 18842 67 | 4230 | 0
1133.18/1133.44 c 889s | 20 | 718762 | 686527 | 18842 67 | 4230 | 0
1135.28/1135.51 c 891s | 20 | 720569 | 688327 | 18842 67 | 4230 | 0
1137.28/1137.59 c 893s | 20 | 722374 | 690127 | 18842 67 | 4230 | 0
1139.38/1139.68 c 895s | 20 | 724290 | 692027 | 18842 67 | 4230 | 0
1141.38/1141.68 c 897s | 20 | 725891 | 693627 | 18842 68 | 4230 | 0
1143.48/1143.75 c 900s | 20 | 727703 | 695427 | 18842 68 | 4230 | 0
1145.58/1145.82 c 902s | 20 | 729608 | 697327 | 18842 68 | 4230 | 0
1147.57/1147.85 c 904s | 20 | 731228 | 698927 | 18842 68 | 4230 | 0
1149.67/1149.96 c 906s | 20 | 733337 | 701027 | 18842 68 | 4230 | 0
1151.77/1152.06 c 908s | 20 | 735452 | 703127 | 18842 68 | 4230 | 0
1153.87/1154.17 c 910s | 20 | 737257 | 704927 | 18842 69 | 4230 | 0
1155.88/1156.17 c 912s | 20 | 739166 | 706827 | 18842 69 | 4230 | 0
1157.97/1158.24 c 914s | 20 | 741071 | 708727 | 18842 69 | 4230 | 0
1159.97/1160.28 c 916s | 20 | 742878 | 710527 | 18842 69 | 4230 | 0
1162.17/1162.40 c 918s | 20 | 744189 | 711827 | 18842 69 | 4230 | 0
1164.17/1164.45 c 920s | 20 | 746002 | 713627 | 18842 69 | 4230 | 0
1166.27/1166.54 c 922s | 20 | 747712 | 715327 | 18842 69 | 4230 | 0
1168.57/1168.88 c 925s | 20 | 749422 | 717027 | 18842 70 | 4230 | 0
1170.67/1170.97 c 927s | 20 | 750820 | 718427 | 18842 70 | 4230 | 0
1172.77/1173.05 c 929s | 20 | 752434 | 720027 | 18842 70 | 4230 | 0
1174.77/1175.08 c 931s | 20 | 754340 | 721927 | 18842 70 | 4230 | 0
1176.87/1177.13 c 933s | 20 | 756258 | 723827 | 18842 70 | 4230 | 0
1178.87/1179.19 c 935s | 20 | 758164 | 725727 | 18842 70 | 4230 | 0
1181.17/1181.48 c 937s | 20 | 759179 | 726727 | 18842 70 | 4230 | 0
1183.26/1183.50 c 939s | 20 | 759778 | 727327 | 18842 70 | 4230 | 0
1185.46/1185.73 c 942s | 20 | 761581 | 729127 | 18842 71 | 4230 | 0
1187.56/1187.81 c 944s | 20 | 763487 | 731027 | 18842 71 | 4230 | 0
1189.56/1189.88 c 946s | 20 | 765502 | 733027 | 18842 71 | 4230 | 0
1191.66/1191.92 c 948s | 20 | 767103 | 734627 | 18842 71 | 4230 | 0
1193.66/1193.93 c 950s | 20 | 768810 | 736327 | 18842 71 | 4230 | 0
1197.06/1197.34 c 953s | 20 | 769412 | 736927 | 18842 71 | 4230 | 0
1199.06/1199.39 c 955s | 20 | 771027 | 738527 | 18842 71 | 4230 | 0
1201.26/1201.50 c 957s | 20 | 772759 | 740227 | 18842 71 | 4230 | 0
1203.46/1203.76 c 960s | 20 | 773871 | 741327 | 18842 72 | 4230 | 0
1205.86/1206.11 c 962s | 20 | 775383 | 742827 | 18842 72 | 4230 | 0
1207.86/1208.11 c 964s | 20 | 777382 | 744827 | 18842 72 | 4230 | 0
1209.87/1210.17 c 966s | 20 | 779394 | 746827 | 18842 72 | 4230 | 0
1211.97/1212.28 c 968s | 20 | 781095 | 748527 | 18842 72 | 4230 | 0
1214.06/1214.32 c 970s | 20 | 782804 | 750227 | 18842 72 | 4230 | 0
1216.06/1216.38 c 972s | 20 | 784524 | 751927 | 18842 72 | 4230 | 0
1218.56/1218.87 c 975s | 20 | 786128 | 753527 | 18842 73 | 4230 | 0
1220.66/1220.94 c 977s | 20 | 788142 | 755527 | 18842 73 | 4230 | 0
1222.66/1222.99 c 979s | 20 | 790045 | 757427 | 18842 73 | 4230 | 0
1224.76/1225.05 c 981s | 20 | 791945 | 759327 | 18842 73 | 4230 | 0
1226.86/1227.15 c 983s | 20 | 793752 | 761127 | 18842 73 | 4230 | 0
1228.96/1229.20 c 985s | 20 | 795259 | 762627 | 18842 73 | 4230 | 0
1230.96/1231.29 c 987s | 20 | 796877 | 764227 | 18842 73 | 4230 | 0
1233.45/1233.70 c 989s | 20 | 798382 | 765727 | 18842 74 | 4230 | 0
1235.45/1235.71 c 992s | 20 | 800177 | 767527 | 18842 74 | 4230 | 0
1237.45/1237.74 c 994s | 20 | 802185 | 769527 | 18842 74 | 4230 | 0
1239.46/1239.79 c 996s | 20 | 804105 | 771427 | 18842 74 | 4230 | 0
1241.55/1241.87 c 998s | 20 | 806027 | 773327 | 18842 74 | 4230 | 0
1243.55/1243.88 c 1000s | 20 | 807737 | 775027 | 18842 74 | 4230 | 0
1245.65/1245.98 c 1002s | 20 | 809438 | 776727 | 18842 74 | 4230 | 0
1247.75/1248.03 c 1004s | 20 | 810849 | 778127 | 18842 75 | 4230 | 0
1249.75/1250.04 c 1006s | 20 | 812661 | 779927 | 18842 75 | 4230 | 0
1251.85/1252.13 c 1008s | 20 | 814561 | 781827 | 18842 75 | 4230 | 0
1253.86/1254.14 c 1010s | 20 | 816369 | 783627 | 18842 75 | 4230 | 0
1255.96/1256.21 c 1012s | 20 | 818082 | 785327 | 18842 75 | 4230 | 0
1258.05/1258.31 c 1014s | 20 | 819686 | 786927 | 18842 75 | 4230 | 0
1260.05/1260.36 c 1016s | 20 | 821384 | 788627 | 18842 75 | 4230 | 0
1262.25/1262.55 c 1018s | 20 | 822798 | 790027 | 18842 76 | 4230 | 0
1264.26/1264.59 c 1020s | 20 | 824406 | 791627 | 18842 76 | 4230 | 0
1266.36/1266.64 c 1022s | 20 | 825610 | 792827 | 18842 76 | 4230 | 0
1268.36/1268.66 c 1024s | 20 | 827319 | 794527 | 18842 76 | 4230 | 0
1270.46/1270.75 c 1027s | 20 | 829029 | 796227 | 18842 76 | 4230 | 0
1272.56/1272.80 c 1029s | 20 | 830833 | 798027 | 18842 76 | 4230 | 0
1274.56/1274.81 c 1031s | 20 | 832440 | 799627 | 18842 76 | 4230 | 0
1276.56/1276.86 c 1033s | 20 | 833956 | 801127 | 18842 76 | 4230 | 0
1278.65/1278.92 c 1035s | 20 | 835358 | 802527 | 18842 77 | 4230 | 0
1280.75/1281.02 c 1037s | 20 | 836864 | 804027 | 18842 77 | 4230 | 0
1282.75/1283.06 c 1039s | 20 | 838666 | 805827 | 18842 77 | 4230 | 0
1284.85/1285.14 c 1041s | 20 | 840590 | 807727 | 18842 77 | 4230 | 0
1288.05/1288.32 c 1044s | 20 | 842094 | 809227 | 18842 77 | 4230 | 0
1296.15/1296.40 c 1052s | 20 | 842201 | 809327 | 18842 77 | 4230 | 0
1298.25/1298.52 c 1054s | 20 | 843794 | 810927 | 18842 77 | 4230 | 0
1300.35/1300.64 c 1056s | 20 | 845308 | 812427 | 18842 77 | 4230 | 0
1302.35/1302.68 c 1058s | 20 | 846812 | 813927 | 18842 77 | 4230 | 0
1304.45/1304.73 c 1061s | 20 | 848119 | 815227 | 18842 78 | 4230 | 0
1306.45/1306.74 c 1063s | 20 | 849826 | 816927 | 18842 78 | 4230 | 0
1308.55/1308.83 c 1065s | 20 | 851839 | 818927 | 18842 78 | 4230 | 0
1310.54/1310.87 c 1067s | 20 | 853145 | 820227 | 18842 78 | 4230 | 0
1312.54/1312.87 c 1069s | 20 | 854955 | 822027 | 18842 78 | 4230 | 0
1314.54/1314.89 c 1071s | 20 | 856767 | 823827 | 18842 78 | 4230 | 0
1316.64/1316.93 c 1073s | 20 | 858473 | 825527 | 18842 78 | 4230 | 0
1318.65/1318.97 c 1075s | 20 | 860079 | 827127 | 18842 79 | 4230 | 0
1320.64/1320.99 c 1077s | 20 | 861683 | 828727 | 18842 79 | 4230 | 0
1322.74/1323.04 c 1079s | 20 | 863391 | 830427 | 18842 79 | 4230 | 0
1324.74/1325.08 c 1081s | 20 | 865207 | 832227 | 18842 79 | 4230 | 0
1326.84/1327.15 c 1083s | 20 | 867023 | 834027 | 18842 79 | 4230 | 0
1328.94/1329.24 c 1085s | 20 | 868834 | 835827 | 18842 79 | 4230 | 0
1331.04/1331.32 c 1087s | 20 | 870441 | 837427 | 18842 79 | 4230 | 0
1333.04/1333.32 c 1089s | 20 | 871746 | 838727 | 18842 80 | 4230 | 0
1335.04/1335.37 c 1091s | 20 | 873340 | 840327 | 18842 80 | 4230 | 0
1337.14/1337.50 c 1093s | 20 | 875144 | 842127 | 18842 80 | 4230 | 0
1339.23/1339.59 c 1095s | 20 | 876950 | 843927 | 18842 80 | 4230 | 0
1341.33/1341.64 c 1097s | 20 | 878862 | 845827 | 18842 80 | 4230 | 0
1343.43/1343.73 c 1100s | 20 | 880471 | 847427 | 18842 80 | 4230 | 0
1345.53/1345.84 c 1102s | 20 | 881974 | 848927 | 18842 80 | 4230 | 0
1347.63/1347.92 c 1104s | 20 | 883593 | 850527 | 18842 80 | 4230 | 0
1350.14/1350.47 c 1106s | 20 | 885089 | 852027 | 18842 81 | 4230 | 0
1352.24/1352.51 c 1108s | 20 | 887098 | 854027 | 18842 81 | 4230 | 0
1354.34/1354.60 c 1110s | 20 | 889099 | 856027 | 18842 81 | 4230 | 0
1356.34/1356.61 c 1112s | 20 | 890920 | 857827 | 18842 81 | 4230 | 0
1358.34/1358.66 c 1114s | 20 | 892716 | 859627 | 18842 81 | 4230 | 0
1360.33/1360.70 c 1116s | 20 | 894134 | 861027 | 18842 81 | 4230 | 0
1362.43/1362.79 c 1119s | 20 | 895634 | 862527 | 18842 81 | 4230 | 0
1364.63/1364.95 c 1121s | 20 | 896551 | 863427 | 18842 82 | 4230 | 0
1366.73/1367.06 c 1123s | 20 | 898445 | 865327 | 18842 82 | 4230 | 0
1368.73/1369.08 c 1125s | 20 | 900052 | 866927 | 18842 82 | 4230 | 0
1370.83/1371.19 c 1127s | 20 | 901853 | 868727 | 18842 82 | 4230 | 0
1372.93/1373.20 c 1129s | 20 | 903667 | 870527 | 18842 82 | 4230 | 0
1374.93/1375.21 c 1131s | 20 | 905482 | 872327 | 18842 82 | 4230 | 0
1376.93/1377.23 c 1133s | 20 | 907089 | 873927 | 18842 82 | 4230 | 0
1379.32/1379.69 c 1135s | 20 | 908698 | 875527 | 18842 83 | 4230 | 0
1382.52/1382.90 c 1139s | 20 | 909608 | 876427 | 18842 83 | 4230 | 0
1384.62/1384.95 c 1141s | 20 | 911513 | 878327 | 18842 83 | 4230 | 0
1386.71/1387.05 c 1143s | 20 | 913519 | 880327 | 18842 83 | 4230 | 0
1388.81/1389.10 c 1145s | 20 | 915226 | 882027 | 18842 83 | 4230 | 0
1390.81/1391.17 c 1147s | 20 | 917038 | 883827 | 18842 83 | 4230 | 0
1392.91/1393.28 c 1149s | 20 | 918642 | 885427 | 18842 83 | 4230 | 0
1395.01/1395.36 c 1151s | 20 | 920252 | 887027 | 18842 83 | 4230 | 0
1397.41/1397.76 c 1154s | 20 | 921666 | 888427 | 18842 84 | 4230 | 0
1399.51/1399.83 c 1156s | 20 | 923474 | 890227 | 18842 84 | 4230 | 0
1401.51/1401.84 c 1158s | 20 | 925393 | 892127 | 18842 84 | 4230 | 0
1403.51/1403.85 c 1160s | 20 | 927201 | 893927 | 18842 84 | 4230 | 0
1405.51/1405.86 c 1162s | 20 | 929019 | 895727 | 18842 84 | 4230 | 0
1407.61/1407.93 c 1164s | 20 | 930721 | 897427 | 18842 84 | 4230 | 0
1409.70/1410.00 c 1166s | 20 | 932328 | 899027 | 18842 84 | 4230 | 0
1411.71/1412.07 c 1168s | 20 | 933648 | 900327 | 18842 85 | 4230 | 0
1413.71/1414.07 c 1170s | 20 | 935562 | 902227 | 18842 85 | 4230 | 0
1415.81/1416.11 c 1172s | 20 | 937375 | 904027 | 18842 85 | 4230 | 0
1417.81/1418.15 c 1174s | 20 | 939084 | 905727 | 18842 85 | 4230 | 0
1419.92/1420.20 c 1176s | 20 | 940794 | 907427 | 18842 85 | 4230 | 0
1422.51/1422.88 c 1179s | 20 | 942619 | 909227 | 18842 85 | 4230 | 0
1424.61/1424.99 c 1181s | 20 | 944123 | 910727 | 18842 85 | 4230 | 0
1426.61/1426.99 c 1183s | 20 | 945422 | 912027 | 18842 86 | 4230 | 0
1428.81/1429.10 c 1185s | 20 | 946929 | 913527 | 18842 86 | 4230 | 0
1430.81/1431.16 c 1187s | 20 | 948747 | 915327 | 18842 86 | 4230 | 0
1432.81/1433.18 c 1189s | 20 | 950655 | 917227 | 18842 86 | 4230 | 0
1437.10/1437.42 c 1193s | 20 | 952159 | 918727 | 18842 86 | 4230 | 0
1439.10/1439.45 c 1195s | 20 | 953976 | 920527 | 18842 86 | 4230 | 0
1441.10/1441.46 c 1197s | 20 | 955689 | 922227 | 18842 86 | 4230 | 0
1443.30/1443.60 c 1199s | 20 | 957395 | 923927 | 18842 86 | 4230 | 0
1445.30/1445.63 c 1201s | 20 | 958604 | 925127 | 18842 87 | 4230 | 0
1447.31/1447.67 c 1203s | 20 | 960521 | 927027 | 18842 87 | 4230 | 0
1449.30/1449.68 c 1205s | 20 | 962228 | 928727 | 18842 87 | 4230 | 0
1451.50/1451.82 c 1208s | 20 | 963948 | 930427 | 18842 87 | 4230 | 0
1453.60/1453.90 c 1210s | 20 | 965846 | 932327 | 18842 87 | 4230 | 0
1455.60/1455.91 c 1212s | 20 | 967451 | 933927 | 18842 87 | 4230 | 0
1460.09/1460.47 c 1216s | 20 | 967558 | 934027 | 18842 87 | 4230 | 0
1462.19/1462.53 c 1218s | 20 | 968974 | 935427 | 18842 87 | 4230 | 0
1464.19/1464.58 c 1220s | 20 | 970585 | 937027 | 18842 88 | 4230 | 0
1466.29/1466.64 c 1222s | 20 | 972395 | 938827 | 18842 88 | 4230 | 0
1468.30/1468.68 c 1224s | 20 | 974511 | 940927 | 18842 88 | 4230 | 0
1470.40/1470.74 c 1227s | 20 | 976418 | 942827 | 18842 88 | 4230 | 0
1472.39/1472.76 c 1229s | 20 | 978133 | 944527 | 18842 88 | 4230 | 0
1474.49/1474.81 c 1231s | 20 | 979743 | 946127 | 18842 88 | 4230 | 0
1476.49/1476.82 c 1233s | 20 | 981249 | 947627 | 18842 88 | 4230 | 0
1478.49/1478.87 c 1235s | 20 | 982559 | 948927 | 18842 89 | 4230 | 0
1480.59/1480.96 c 1237s | 20 | 984262 | 950627 | 18842 89 | 4230 | 0
1483.69/1484.06 c 1240s | 20 | 985167 | 951527 | 18842 89 | 4230 | 0
1485.79/1486.17 c 1242s | 20 | 986871 | 953227 | 18842 89 | 4230 | 0
1487.88/1488.24 c 1244s | 20 | 988576 | 954927 | 18842 89 | 4230 | 0
1489.88/1490.25 c 1246s | 20 | 990088 | 956427 | 18842 89 | 4230 | 0
1491.98/1492.33 c 1248s | 20 | 991702 | 958027 | 18842 89 | 4230 | 0
1494.49/1494.90 c 1251s | 20 | 992801 | 959127 | 18842 89 | 4230 | 0
1496.80/1497.17 c 1253s | 20 | 994214 | 960527 | 18842 90 | 4230 | 0
1502.08/1502.45 c 1258s | 20 | 995222 | 961527 | 18842 90 | 4230 | 0
1504.08/1504.46 c 1260s | 20 | 997225 | 963527 | 18842 90 | 4230 | 0
1506.18/1506.50 c 1262s | 20 | 999227 | 965527 | 18842 90 | 4230 | 0
1508.17/1508.52 c 1264s | 20 | 1001040 | 967327 | 18842 90 | 4230 | 0
1510.17/1510.59 c 1266s | 20 | 1002849 | 969127 | 18842 90 | 4230 | 0
1512.28/1512.69 c 1268s | 20 | 1004354 | 970627 | 18842 90 | 4230 | 0
1514.38/1514.72 c 1271s | 20 | 1005860 | 972127 | 18842 90 | 4230 | 0
1516.58/1516.96 c 1273s | 20 | 1006870 | 973127 | 18842 91 | 4230 | 0
1518.67/1519.06 c 1275s | 20 | 1008879 | 975127 | 18842 91 | 4230 | 0
1520.77/1521.10 c 1277s | 20 | 1010784 | 977027 | 18842 91 | 4230 | 0
1522.77/1523.10 c 1279s | 20 | 1012495 | 978727 | 18842 91 | 4230 | 0
1524.87/1525.21 c 1281s | 20 | 1014507 | 980727 | 18842 91 | 4230 | 0
1526.97/1527.33 c 1283s | 20 | 1016422 | 982627 | 18842 91 | 4230 | 0
1529.07/1529.46 c 1285s | 20 | 1018031 | 984227 | 18842 91 | 4230 | 0
1531.07/1531.49 c 1287s | 20 | 1019247 | 985427 | 18842 92 | 4230 | 0
1533.18/1533.54 c 1289s | 20 | 1021047 | 987227 | 18842 92 | 4230 | 0
1535.28/1535.62 c 1291s | 20 | 1022648 | 988827 | 18842 92 | 4230 | 0
1537.37/1537.73 c 1294s | 20 | 1024354 | 990527 | 18842 92 | 4230 | 0
1539.47/1539.84 c 1296s | 20 | 1026061 | 992227 | 18842 92 | 4230 | 0
1541.47/1541.89 c 1298s | 20 | 1027659 | 993827 | 20727 92 | 4230 | 0
1543.57/1543.93 c 1300s | 20 | 1029364 | 995527 | 20727 92 | 4230 | 0
1545.67/1546.00 c 1302s | 20 | 1030975 | 997127 | 20727 92 | 4230 | 0
1547.66/1548.05 c 1304s | 20 | 1032586 | 998727 | 20727 92 | 4230 | 0
1549.67/1550.08 c 1306s | 20 | 1033892 | 1000027 | 20727 93 | 4230 | 0
1550.06/1550.44 c 1306s | 21 | 1034203 | 1000345 | 20727 93 | 4230 | 0
1552.06/1552.48 c 1308s | 21 | 1036793 | 1001745 | 20727 93 | 4230 | 0
1554.16/1554.57 c 1310s | 21 | 1038594 | 1003545 | 20727 93 | 4230 | 0
1556.17/1556.57 c 1312s | 21 | 1040305 | 1005245 | 20727 93 | 4230 | 0
1560.06/1560.41 c 1316s | 21 | 1041712 | 1006645 | 20727 93 | 4230 | 0
1562.06/1562.46 c 1318s | 21 | 1043018 | 1007945 | 20727 93 | 4230 | 0
1564.16/1564.52 c 1320s | 21 | 1044818 | 1009745 | 20727 93 | 4230 | 0
1566.16/1566.57 c 1322s | 21 | 1046421 | 1011345 | 20727 93 | 4230 | 0
1568.15/1568.60 c 1324s | 21 | 1047831 | 1012745 | 20727 94 | 4230 | 0
1570.25/1570.66 c 1326s | 21 | 1049641 | 1014545 | 20727 94 | 4230 | 0
1572.25/1572.66 c 1328s | 21 | 1051449 | 1016345 | 20727 94 | 4230 | 0
1574.25/1574.68 c 1330s | 21 | 1053258 | 1018145 | 20727 94 | 4230 | 0
1576.35/1576.74 c 1333s | 21 | 1054863 | 1019745 | 20727 94 | 4230 | 0
1578.45/1578.86 c 1335s | 21 | 1056378 | 1021245 | 20727 94 | 4230 | 0
1580.45/1580.86 c 1337s | 21 | 1057977 | 1022845 | 20727 94 | 4230 | 0
1582.55/1582.94 c 1339s | 21 | 1059588 | 1024445 | 20727 94 | 4230 | 0
1584.65/1585.04 c 1341s | 21 | 1061204 | 1026045 | 20727 95 | 4230 | 0
1586.75/1587.13 c 1343s | 21 | 1062908 | 1027745 | 20727 95 | 4230 | 0
1588.85/1589.20 c 1345s | 21 | 1064819 | 1029645 | 20727 95 | 4230 | 0
1590.85/1591.24 c 1347s | 21 | 1066626 | 1031445 | 20727 95 | 4230 | 0
1593.74/1594.18 c 1350s | 21 | 1066829 | 1031645 | 20727 95 | 4230 | 0
1595.85/1596.28 c 1352s | 21 | 1068542 | 1033345 | 20727 95 | 4230 | 0
1597.84/1598.30 c 1354s | 21 | 1070141 | 1034945 | 20727 95 | 4230 | 0
1599.94/1600.39 c 1356s | 21 | 1071857 | 1036645 | 20727 95 | 4230 | 0
1602.04/1602.45 c 1358s | 21 | 1073462 | 1038245 | 20727 96 | 4230 | 0
1604.04/1604.48 c 1360s | 21 | 1074868 | 1039645 | 20727 96 | 4230 | 0
1606.14/1606.57 c 1362s | 21 | 1076768 | 1041545 | 20727 96 | 4230 | 0
1608.33/1608.70 c 1364s | 21 | 1077378 | 1042145 | 20727 96 | 4230 | 0
1610.33/1610.78 c 1367s | 21 | 1079089 | 1043845 | 20727 96 | 4230 | 0
1612.43/1612.88 c 1369s | 21 | 1080795 | 1045545 | 20727 96 | 4230 | 0
1614.54/1614.94 c 1371s | 21 | 1082411 | 1047145 | 20727 96 | 4230 | 0
1616.64/1617.04 c 1373s | 21 | 1084121 | 1048845 | 20727 96 | 4230 | 0
1618.63/1619.05 c 1375s | 21 | 1085426 | 1050145 | 20727 96 | 4230 | 0
1620.83/1621.20 c 1377s | 21 | 1086742 | 1051445 | 20727 97 | 4230 | 0
1622.84/1623.22 c 1379s | 21 | 1088039 | 1052745 | 20727 97 | 4230 | 0
1624.94/1625.32 c 1381s | 21 | 1089748 | 1054445 | 20727 97 | 4230 | 0
1626.93/1627.35 c 1383s | 21 | 1091460 | 1056145 | 20727 97 | 4230 | 0
1628.93/1629.36 c 1385s | 21 | 1093171 | 1057845 | 20727 97 | 4230 | 0
1630.94/1631.38 c 1387s | 21 | 1094784 | 1059445 | 20727 97 | 4230 | 0
1633.03/1633.43 c 1389s | 21 | 1096490 | 1061145 | 20727 97 | 4230 | 0
1635.03/1635.49 c 1391s | 21 | 1098105 | 1062745 | 20727 97 | 4230 | 0
1637.23/1637.62 c 1393s | 21 | 1099805 | 1064445 | 20727 97 | 4230 | 0
1642.62/1643.09 c 1399s | 21 | 1101332 | 1065945 | 20727 98 | 4230 | 0
1645.12/1645.55 c 1401s | 21 | 1102329 | 1066945 | 20727 98 | 4230 | 0
1649.02/1649.49 c 1405s | 21 | 1103341 | 1067945 | 20727 98 | 4230 | 0
1651.12/1651.50 c 1407s | 21 | 1105266 | 1069845 | 20727 98 | 4230 | 0
1653.12/1653.57 c 1409s | 21 | 1107161 | 1071745 | 20727 98 | 4230 | 0
1655.32/1655.70 c 1411s | 21 | 1109073 | 1073645 | 20727 98 | 4230 | 0
1657.32/1657.72 c 1414s | 21 | 1110895 | 1075445 | 20727 98 | 4230 | 0
1659.32/1659.79 c 1416s | 21 | 1112810 | 1077345 | 20727 98 | 4230 | 0
1661.42/1661.87 c 1418s | 21 | 1114520 | 1079045 | 20727 99 | 4230 | 0
1663.61/1664.05 c 1420s | 21 | 1116035 | 1080545 | 20727 99 | 4230 | 0
1665.61/1666.06 c 1422s | 21 | 1117543 | 1082045 | 20727 99 | 4230 | 0
1667.71/1668.14 c 1424s | 21 | 1119347 | 1083845 | 20727 99 | 4230 | 0
1669.71/1670.17 c 1426s | 21 | 1120948 | 1085445 | 20727 99 | 4230 | 0
1671.72/1672.18 c 1428s | 21 | 1122567 | 1087045 | 20727 99 | 4230 | 0
1673.82/1674.25 c 1430s | 21 | 1124281 | 1088745 | 20727 99 | 4230 | 0
1675.91/1676.33 c 1432s | 21 | 1125880 | 1090345 | 20727 99 | 4230 | 0
1677.91/1678.38 c 1434s | 21 | 1127481 | 1091945 | 20727 100 | 4230 | 0
1680.02/1680.45 c 1436s | 21 | 1129093 | 1093545 | 20727 100 | 4230 | 0
1682.12/1682.50 c 1438s | 21 | 1130906 | 1095345 | 20727 100 | 4230 | 0
1684.12/1684.52 c 1440s | 21 | 1132718 | 1097145 | 20727 100 | 4230 | 0
1686.12/1686.56 c 1442s | 21 | 1134422 | 1098845 | 20727 100 | 4230 | 0
1688.23/1688.67 c 1444s | 21 | 1136129 | 1100545 | 20727 100 | 4230 | 0
1690.32/1690.72 c 1447s | 21 | 1137540 | 1101945 | 20727 100 | 4230 | 0
1692.32/1692.77 c 1449s | 21 | 1139047 | 1103445 | 20727 100 | 4230 | 0
1694.32/1694.79 c 1451s | 21 | 1140165 | 1104545 | 20727 101 | 4230 | 0
1696.42/1696.86 c 1453s | 21 | 1142066 | 1106445 | 20727 101 | 4230 | 0
1698.42/1698.89 c 1455s | 21 | 1143377 | 1107745 | 20727 101 | 4230 | 0
1700.41/1700.90 c 1457s | 21 | 1144784 | 1109145 | 20727 101 | 4230 | 0
1702.52/1702.97 c 1459s | 21 | 1146390 | 1110745 | 20727 101 | 4230 | 0
1704.62/1705.03 c 1461s | 21 | 1148101 | 1112445 | 20727 101 | 4230 | 0
1706.71/1707.11 c 1463s | 21 | 1149710 | 1114045 | 20727 101 | 4230 | 0
1708.71/1709.14 c 1465s | 21 | 1151211 | 1115545 | 20727 101 | 4230 | 0
1710.71/1711.16 c 1467s | 21 | 1152617 | 1116945 | 20727 102 | 4230 | 0
1712.81/1713.24 c 1469s | 21 | 1153624 | 1117945 | 20727 102 | 4230 | 0
1714.91/1715.35 c 1471s | 21 | 1155433 | 1119745 | 20727 102 | 4230 | 0
1716.91/1717.38 c 1473s | 21 | 1157231 | 1121545 | 20727 102 | 4230 | 0
1719.02/1719.42 c 1475s | 21 | 1158945 | 1123245 | 20727 102 | 4230 | 0
1721.01/1721.45 c 1477s | 21 | 1160660 | 1124945 | 20727 102 | 4230 | 0
1723.11/1723.55 c 1479s | 21 | 1162369 | 1126645 | 20727 102 | 4230 | 0
1725.11/1725.56 c 1481s | 21 | 1164170 | 1128445 | 20727 102 | 4230 | 0
1727.41/1727.81 c 1484s | 21 | 1165789 | 1130045 | 20727 103 | 4230 | 0
1729.41/1729.83 c 1486s | 21 | 1167298 | 1131545 | 20727 103 | 4230 | 0
1731.41/1731.83 c 1488s | 21 | 1168905 | 1133145 | 20727 103 | 4230 | 0
1733.41/1733.85 c 1490s | 21 | 1169212 | 1133445 | 20727 103 | 4230 | 0
1735.52/1735.92 c 1492s | 21 | 1169929 | 1134145 | 20727 103 | 4230 | 0
1737.51/1737.97 c 1494s | 21 | 1171723 | 1135945 | 20727 103 | 4230 | 0
1739.51/1739.98 c 1496s | 21 | 1173733 | 1137945 | 20727 103 | 4230 | 0
1741.61/1742.04 c 1498s | 21 | 1175651 | 1139845 | 20727 103 | 4230 | 0
1743.71/1744.11 c 1500s | 21 | 1177358 | 1141545 | 20727 103 | 4230 | 0
1745.91/1746.35 c 1502s | 21 | 1178970 | 1143145 | 20727 104 | 4230 | 0
1748.01/1748.41 c 1504s | 21 | 1180470 | 1144645 | 20727 104 | 4230 | 0
1750.01/1750.44 c 1506s | 21 | 1182291 | 1146445 | 20727 104 | 4230 | 0
1752.11/1752.54 c 1508s | 21 | 1183995 | 1148145 | 20727 104 | 4230 | 0
1754.11/1754.60 c 1510s | 21 | 1185795 | 1149945 | 20727 104 | 4230 | 0
1756.20/1756.66 c 1512s | 21 | 1186993 | 1151145 | 20727 104 | 4230 | 0
1758.20/1758.68 c 1514s | 21 | 1188497 | 1152645 | 20727 104 | 4230 | 0
1760.30/1760.79 c 1517s | 21 | 1190005 | 1154145 | 20727 104 | 4230 | 0
1762.40/1762.82 c 1519s | 21 | 1191519 | 1155645 | 20727 104 | 4230 | 0
1764.50/1764.91 c 1521s | 21 | 1192624 | 1156745 | 20727 105 | 4230 | 0
1766.50/1766.97 c 1523s | 21 | 1194427 | 1158545 | 20727 105 | 4230 | 0
1768.90/1769.30 c 1525s | 21 | 1195438 | 1159545 | 20727 105 | 4230 | 0
1770.90/1771.34 c 1527s | 21 | 1197048 | 1161145 | 20727 105 | 4230 | 0
1772.90/1773.39 c 1529s | 21 | 1198663 | 1162745 | 20727 105 | 4230 | 0
1775.00/1775.41 c 1531s | 21 | 1200265 | 1164345 | 20727 105 | 4230 | 0
1777.00/1777.43 c 1533s | 21 | 1201778 | 1165845 | 20727 105 | 4230 | 0
1779.10/1779.53 c 1535s | 21 | 1203385 | 1167445 | 20727 105 | 4230 | 0
1781.20/1781.67 c 1537s | 21 | 1204990 | 1169045 | 20727 105 | 4230 | 0
1783.30/1783.76 c 1540s | 21 | 1206595 | 1170645 | 20727 106 | 4230 | 0
1785.30/1785.77 c 1542s | 21 | 1208109 | 1172145 | 20727 106 | 4230 | 0
1787.40/1787.81 c 1544s | 21 | 1209606 | 1173645 | 20727 106 | 4230 | 0
1789.50/1789.90 c 1546s | 21 | 1211315 | 1175345 | 20727 106 | 4230 | 0
1791.50/1791.92 c 1548s | 21 | 1213025 | 1177045 | 20727 106 | 4230 | 0
1793.49/1793.97 c 1550s | 21 | 1214733 | 1178745 | 20727 106 | 4230 | 0
1796.80/1797.28 c 1553s | 21 | 1215648 | 1179645 | 20727 106 | 4230 | 0
1798.90/1799.30 c 1555s | 21 | 1217365 | 1181345 | 20727 106 | 4230 | 0
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4103169-1466233507/watcher-4103169-1466233507 -o /tmp/evaluation-result-4103169-1466233507/solver-4103169-1466233507 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-12999 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103169-1466233507.opb
pid=17075
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.33 2.23 2.22 4/179 17078
/proc/meminfo: memFree=29297712/32872528 swapFree=1286400/1433568
[pid=17078] ppid=17075 vsize=700860 CPUtime=0 cores=0,2,4,6
/proc/17078/stat : 17078 (toysat) R 17075 17078 12983 0 -1 4202496 2613 0 0 0 0 0 0 0 20 0 4 0 25397525 717680640 2973 33554432000 4194304 16246674 140737367408352 140737367407776 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17078/statm: 175983 2982 441 2943 0 172877 0
[pid=17078/tid=17079] ppid=17075 vsize=719292 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17079/stat : 17079 (toysat) S 17075 17078 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25397525 736555008 3043 33554432000 4194304 16246674 140737367408352 139945332157680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17078/tid=17080] ppid=17075 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17080/stat : 17080 (toysat) S 17075 17078 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25397525 740749312 3060 33554432000 4194304 16246674 140737367408352 139945321667824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17078/tid=17081] ppid=17075 vsize=727484 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 744943616 3076 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[startup+0.100188 s]
/proc/loadavg: 2.33 2.23 2.22 4/179 17078
/proc/meminfo: memFree=29297712/32872528 swapFree=1286400/1433568
[pid=17078] ppid=17075 vsize=1304132 CPUtime=0.09 cores=0,2,4,6
/proc/17078/stat : 17078 (toysat) R 17075 17078 12983 0 -1 4202496 29278 0 0 0 5 4 0 0 20 0 4 0 25397525 1335431168 29577 33554432000 4194304 16246674 140737367408352 140737367407664 12654533 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17078/statm: 326033 29590 821 2943 0 322927 0
[pid=17078/tid=17079] ppid=17075 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17079/stat : 17079 (toysat) S 17075 17078 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25397525 1335431168 29600 33554432000 4194304 16246674 140737367408352 139945332157680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17078/tid=17080] ppid=17075 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17080/stat : 17080 (toysat) S 17075 17078 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25397525 1335431168 29609 33554432000 4194304 16246674 140737367408352 139945321667824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17078/tid=17081] ppid=17075 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 1335431168 29619 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1304132
[startup+0.200512 s]
/proc/loadavg: 2.33 2.23 2.22 4/179 17078
/proc/meminfo: memFree=29297712/32872528 swapFree=1286400/1433568
[pid=17078] ppid=17075 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/17078/stat : 17078 (toysat) R 17075 17078 12983 0 -1 4202496 42275 0 0 0 14 5 0 0 20 0 4 0 25397525 1342771200 42573 33554432000 4194304 16246674 140737367408352 140737367407664 5596360 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17078/statm: 327825 42573 833 2943 0 324719 0
[pid=17078/tid=17079] ppid=17075 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17079/stat : 17079 (toysat) S 17075 17078 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25397525 1342771200 42573 33554432000 4194304 16246674 140737367408352 139945332157680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17078/tid=17080] ppid=17075 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17080/stat : 17080 (toysat) S 17075 17078 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25397525 1342771200 42573 33554432000 4194304 16246674 140737367408352 139945321667824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17078/tid=17081] ppid=17075 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 1342771200 42573 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300
[startup+0.300478 s]
/proc/loadavg: 2.33 2.23 2.22 4/179 17078
/proc/meminfo: memFree=29297712/32872528 swapFree=1286400/1433568
[pid=17078] ppid=17075 vsize=1311300 CPUtime=0.29 cores=0,2,4,6
/proc/17078/stat : 17078 (toysat) R 17075 17078 12983 0 -1 4202496 42316 0 0 0 24 5 0 0 20 0 4 0 25397525 1342771200 42614 33554432000 4194304 16246674 140737367408352 140737367407664 6843060 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17078/statm: 327825 42614 867 2943 0 324719 0
[pid=17078/tid=17079] ppid=17075 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17079/stat : 17079 (toysat) S 17075 17078 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25397525 1342771200 42614 33554432000 4194304 16246674 140737367408352 139945332157680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17078/tid=17080] ppid=17075 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17080/stat : 17080 (toysat) S 17075 17078 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25397525 1342771200 42614 33554432000 4194304 16246674 140737367408352 139945321667824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17078/tid=17081] ppid=17075 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 1342771200 42614 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300
[startup+0.700398 s]
/proc/loadavg: 2.33 2.23 2.22 4/179 17078
/proc/meminfo: memFree=29297712/32872528 swapFree=1286400/1433568
[pid=17078] ppid=17075 vsize=1311300 CPUtime=0.69 cores=0,2,4,6
/proc/17078/stat : 17078 (toysat) R 17075 17078 12983 0 -1 4202496 100198 0 0 0 57 12 0 0 20 0 4 0 25397525 1342771200 100496 33554432000 4194304 16246674 140737367408352 140737367390272 12371445 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17078/statm: 327825 100508 870 2943 0 324719 0
[pid=17078/tid=17079] ppid=17075 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17079/stat : 17079 (toysat) S 17075 17078 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25397525 1342771200 100515 33554432000 4194304 16246674 140737367408352 139945332157680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17078/tid=17080] ppid=17075 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17080/stat : 17080 (toysat) S 17075 17078 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25397525 1342771200 100521 33554432000 4194304 16246674 140737367408352 139945321667824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17078/tid=17081] ppid=17075 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 1342771200 100528 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1311300
[startup+1.5004 s]
/proc/loadavg: 2.30 2.23 2.21 4/183 17082
/proc/meminfo: memFree=28547036/32872528 swapFree=1286400/1433568
[pid=17078] ppid=17075 vsize=1366596 CPUtime=1.49 cores=0,2,4,6
/proc/17078/stat : 17078 (toysat) R 17075 17078 12983 0 -1 4202496 282740 0 0 0 114 35 0 0 20 0 4 0 25397525 1399394304 283038 33554432000 4194304 16246674 140737367408352 140737367407016 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17078/statm: 341649 283045 870 2943 0 338543 0
[pid=17078/tid=17079] ppid=17075 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17079/stat : 17079 (toysat) S 17075 17078 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25397525 1399394304 283048 33554432000 4194304 16246674 140737367408352 139945332157680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17078/tid=17080] ppid=17075 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17080/stat : 17080 (toysat) S 17075 17078 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25397525 1399394304 283053 33554432000 4194304 16246674 140737367408352 139945321667824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17078/tid=17081] ppid=17075 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 1399394304 283056 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1366596
[startup+3.10041 s]
/proc/loadavg: 2.30 2.23 2.21 3/183 17082
/proc/meminfo: memFree=27976884/32872528 swapFree=1286400/1433568
[pid=17078] ppid=17075 vsize=1555012 CPUtime=3.09 cores=0,2,4,6
/proc/17078/stat : 17078 (toysat) R 17075 17078 12983 0 -1 4202496 329922 0 0 0 267 42 0 0 20 0 4 0 25397525 1592332288 330220 33554432000 4194304 16246674 140737367408352 140737367406160 4206964 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17078/statm: 388753 330220 870 2943 0 385647 0
[pid=17078/tid=17079] ppid=17075 vsize=1555012 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17079/stat : 17079 (toysat) S 17075 17078 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25397525 1592332288 330220 33554432000 4194304 16246674 140737367408352 139945332157680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17078/tid=17080] ppid=17075 vsize=1555012 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17080/stat : 17080 (toysat) S 17075 17078 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25397525 1592332288 330220 33554432000 4194304 16246674 140737367408352 139945321667600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17078/tid=17081] ppid=17075 vsize=1555012 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 1592332288 330220 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1555012
[startup+6.30042 s]
/proc/loadavg: 2.30 2.23 2.21 3/183 17082
/proc/meminfo: memFree=27816816/32872528 swapFree=1286400/1433568
[pid=17078] ppid=17075 vsize=1714756 CPUtime=6.29 cores=0,2,4,6
/proc/17078/stat : 17078 (toysat) R 17075 17078 12983 0 -1 4202496 369858 0 0 0 583 46 0 0 20 0 4 0 25397525 1755910144 370156 33554432000 4194304 16246674 140737367408352 140737367406208 4220850 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17078/statm: 428689 370156 870 2943 0 425583 0
[pid=17078/tid=17079] ppid=17075 vsize=1714756 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17079/stat : 17079 (toysat) S 17075 17078 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25397525 1755910144 370156 33554432000 4194304 16246674 140737367408352 139945332157680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17078/tid=17080] ppid=17075 vsize=1714756 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17080/stat : 17080 (toysat) S 17075 17078 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25397525 1755910144 370156 33554432000 4194304 16246674 140737367408352 139945321667824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17078/tid=17081] ppid=17075 vsize=1714756 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 1755910144 370156 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1714756
[startup+12.7004 s]
/proc/loadavg: 2.25 2.22 2.21 3/183 17082
/proc/meminfo: memFree=26338772/32872528 swapFree=1286400/1433568
[pid=17078] ppid=17075 vsize=3189316 CPUtime=12.69 cores=0,2,4,6
/proc/17078/stat : 17078 (toysat) R 17075 17078 12983 0 -1 4202496 738538 0 0 0 1173 96 0 0 20 0 4 0 25397525 3265859584 738836 33554432000 4194304 16246674 140737367408352 140737367407448 4220850 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17078/statm: 797329 738836 909 2943 0 794223 0
[pid=17078/tid=17079] ppid=17075 vsize=3189316 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17079/stat : 17079 (toysat) S 17075 17078 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25397525 3265859584 738836 33554432000 4194304 16246674 140737367408352 139945332157680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17078/tid=17080] ppid=17075 vsize=3189316 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17080/stat : 17080 (toysat) S 17075 17078 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25397525 3265859584 738836 33554432000 4194304 16246674 140737367408352 139945321667824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17078/tid=17081] ppid=17075 vsize=3189316 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 3265859584 738836 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3189316
[startup+25.5005 s]
/proc/loadavg: 2.21 2.22 2.21 3/183 17082
/proc/meminfo: memFree=26478780/32872528 swapFree=1286400/1433568
[pid=17078] ppid=17075 vsize=3050052 CPUtime=25.48 cores=0,2,4,6
/proc/17078/stat : 17078 (toysat) R 17075 17078 12983 0 -1 4202496 986346 0 0 0 2410 138 0 0 20 0 4 0 25397525 3123253248 704020 33554432000 4194304 16246674 140737367408352 140737367406144 4206613 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17078/statm: 762513 704020 909 2943 0 759407 0
[pid=17078/tid=17079] ppid=17075 vsize=3050052 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17079/stat : 17079 (toysat) S 17075 17078 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25397525 3123253248 704020 33554432000 4194304 16246674 140737367408352 139945332157680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17078/tid=17080] ppid=17075 vsize=3050052 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17080/stat : 17080 (toysat) S 17075 17078 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25397525 3123253248 704020 33554432000 4194304 16246674 140737367408352 139945321667824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17078/tid=17081] ppid=17075 vsize=3050052 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 3123253248 704020 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3050052
[startup+51.1005 s]
/proc/loadavg: 2.26 2.22 2.21 3/183 17083
/proc/meminfo: memFree=27356784/32872528 swapFree=1286400/1433568
[pid=17078] ppid=17075 vsize=2173508 CPUtime=51.08 cores=0,2,4,6
/proc/17078/stat : 17078 (toysat) R 17075 17078 12983 0 -1 4202496 1286890 0 0 0 4918 190 0 0 20 0 4 0 25397525 2225672192 484884 33554432000 4194304 16246674 140737367408352 140737367406144 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17078/statm: 543377 484884 909 2943 0 540271 0
[pid=17078/tid=17079] ppid=17075 vsize=2173508 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17079/stat : 17079 (toysat) S 17075 17078 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25397525 2225672192 484884 33554432000 4194304 16246674 140737367408352 139945332157680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17078/tid=17080] ppid=17075 vsize=2173508 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17080/stat : 17080 (toysat) S 17075 17078 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25397525 2225672192 484884 33554432000 4194304 16246674 140737367408352 139945321667824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17078/tid=17081] ppid=17075 vsize=2173508 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 2225672192 484884 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2173508
[startup+102.3 s]
/proc/loadavg: 2.29 2.24 2.21 3/183 17084
/proc/meminfo: memFree=26429504/32872528 swapFree=1286400/1433568
[pid=17078] ppid=17075 vsize=3099204 CPUtime=102.28 cores=0,2,4,6
/proc/17078/stat : 17078 (toysat) R 17075 17078 12983 0 -1 4202496 2549228 0 0 0 9838 390 0 0 20 0 4 0 25397525 3173584896 716310 33554432000 4194304 16246674 140737367408352 140737367407448 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17078/statm: 774801 716310 909 2943 0 771695 0
[pid=17078/tid=17079] ppid=17075 vsize=3099204 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17079/stat : 17079 (toysat) S 17075 17078 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25397525 3173584896 716310 33554432000 4194304 16246674 140737367408352 139945332157680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17078/tid=17080] ppid=17075 vsize=3099204 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17080/stat : 17080 (toysat) S 17075 17078 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25397525 3173584896 716310 33554432000 4194304 16246674 140737367408352 139945321667824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17078/tid=17081] ppid=17075 vsize=3099204 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 3173584896 716310 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3099204
################
# More data... #
################
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620327 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 2714180
[startup+1302.3 s]
/proc/loadavg: 2.24 2.20 2.19 4/183 17163
/proc/meminfo: memFree=26838876/32872528 swapFree=1286400/1433568
[pid=17078] ppid=17075 vsize=2714180 CPUtime=1302.05 cores=0,2,4,6
/proc/17078/stat : 17078 (toysat) R 17075 17078 12983 0 -1 4202496 5113403 0 0 0 129387 818 0 0 20 0 4 0 25397525 2779320320 620327 33554432000 4194304 16246674 140737367408352 140737367390272 5600068 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17078/statm: 678545 620327 923 2943 0 675439 0
[pid=17078/tid=17079] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17079/stat : 17079 (toysat) S 17075 17078 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620327 33554432000 4194304 16246674 140737367408352 139945332157680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17078/tid=17080] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17080/stat : 17080 (toysat) S 17075 17078 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620327 33554432000 4194304 16246674 140737367408352 139945321667824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17078/tid=17081] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620327 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 2714180
[startup+1362.3 s]
/proc/loadavg: 2.22 2.19 2.18 3/183 17164
/proc/meminfo: memFree=26838780/32872528 swapFree=1286400/1433568
[pid=17078] ppid=17075 vsize=2714180 CPUtime=1362.03 cores=0,2,4,6
/proc/17078/stat : 17078 (toysat) R 17075 17078 12983 0 -1 4202496 5113422 0 0 0 135384 819 0 0 20 0 4 0 25397525 2779320320 620327 33554432000 4194304 16246674 140737367408352 140737367390272 5710688 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17078/statm: 678545 620327 923 2943 0 675439 0
[pid=17078/tid=17079] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17079/stat : 17079 (toysat) S 17075 17078 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620327 33554432000 4194304 16246674 140737367408352 139945332157680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17078/tid=17080] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17080/stat : 17080 (toysat) S 17075 17078 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620327 33554432000 4194304 16246674 140737367408352 139945321667824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17078/tid=17081] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620327 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 2714180
[startup+1422.3 s]
/proc/loadavg: 2.13 2.17 2.18 3/183 17165
/proc/meminfo: memFree=26838936/32872528 swapFree=1286400/1433568
[pid=17078] ppid=17075 vsize=2714180 CPUtime=1422.02 cores=0,2,4,6
/proc/17078/stat : 17078 (toysat) R 17075 17078 12983 0 -1 4202496 5113444 0 0 0 141382 820 0 0 20 0 4 0 25397525 2779320320 620327 33554432000 4194304 16246674 140737367408352 140737367390272 13874759 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17078/statm: 678545 620327 923 2943 0 675439 0
[pid=17078/tid=17079] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17079/stat : 17079 (toysat) S 17075 17078 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620327 33554432000 4194304 16246674 140737367408352 139945332157680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17078/tid=17080] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17080/stat : 17080 (toysat) S 17075 17078 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620327 33554432000 4194304 16246674 140737367408352 139945321667824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17078/tid=17081] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620327 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 2714180
[startup+1482.3 s]
/proc/loadavg: 2.24 2.20 2.18 4/183 17166
/proc/meminfo: memFree=26838588/32872528 swapFree=1286400/1433568
[pid=17078] ppid=17075 vsize=2714180 CPUtime=1481.99 cores=0,2,4,6
/proc/17078/stat : 17078 (toysat) R 17075 17078 12983 0 -1 4202496 5113457 0 0 0 147378 821 0 0 20 0 4 0 25397525 2779320320 620327 33554432000 4194304 16246674 140737367408352 140737367390272 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17078/statm: 678545 620327 923 2943 0 675439 0
[pid=17078/tid=17079] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17079/stat : 17079 (toysat) S 17075 17078 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620327 33554432000 4194304 16246674 140737367408352 139945332157680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17078/tid=17080] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17080/stat : 17080 (toysat) S 17075 17078 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620327 33554432000 4194304 16246674 140737367408352 139945321667824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17078/tid=17081] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620327 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 2714180
[startup+1542.31 s]
/proc/loadavg: 2.27 2.20 2.18 3/184 17170
/proc/meminfo: memFree=26838348/32872528 swapFree=1286400/1433568
[pid=17078] ppid=17075 vsize=2714180 CPUtime=1541.98 cores=0,2,4,6
/proc/17078/stat : 17078 (toysat) R 17075 17078 12983 0 -1 4202496 5113487 0 0 0 153375 823 0 0 20 0 4 0 25397525 2779320320 620327 33554432000 4194304 16246674 140737367408352 140737367390272 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17078/statm: 678545 620327 923 2943 0 675439 0
[pid=17078/tid=17079] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17079/stat : 17079 (toysat) S 17075 17078 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620327 33554432000 4194304 16246674 140737367408352 139945332157680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17078/tid=17080] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17080/stat : 17080 (toysat) S 17075 17078 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620327 33554432000 4194304 16246674 140737367408352 139945321667824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17078/tid=17081] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620327 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 2714180
[startup+1602.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/183 17172
/proc/meminfo: memFree=26838292/32872528 swapFree=1286400/1433568
[pid=17078] ppid=17075 vsize=2714180 CPUtime=1601.94 cores=0,2,4,6
/proc/17078/stat : 17078 (toysat) R 17075 17078 12983 0 -1 4202496 5113518 0 0 0 159371 823 0 0 20 0 4 0 25397525 2779320320 620328 33554432000 4194304 16246674 140737367408352 140737367390272 5589681 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17078/statm: 678545 620328 924 2943 0 675439 0
[pid=17078/tid=17079] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17079/stat : 17079 (toysat) S 17075 17078 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620328 33554432000 4194304 16246674 140737367408352 139945332157680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17078/tid=17080] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17080/stat : 17080 (toysat) S 17075 17078 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620328 33554432000 4194304 16246674 140737367408352 139945321667824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17078/tid=17081] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620328 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 2714180
[startup+1662.3 s]
/proc/loadavg: 2.22 2.20 2.18 4/183 17173
/proc/meminfo: memFree=26838308/32872528 swapFree=1286400/1433568
[pid=17078] ppid=17075 vsize=2714180 CPUtime=1661.92 cores=0,2,4,6
/proc/17078/stat : 17078 (toysat) R 17075 17078 12983 0 -1 4202496 5113542 0 0 0 165368 824 0 0 20 0 4 0 25397525 2779320320 620328 33554432000 4194304 16246674 140737367408352 140737367390272 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17078/statm: 678545 620328 924 2943 0 675439 0
[pid=17078/tid=17079] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17079/stat : 17079 (toysat) S 17075 17078 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620328 33554432000 4194304 16246674 140737367408352 139945332157680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17078/tid=17080] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17080/stat : 17080 (toysat) S 17075 17078 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620328 33554432000 4194304 16246674 140737367408352 139945321667824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17078/tid=17081] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620328 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 2714180
[startup+1722.3 s]
/proc/loadavg: 2.37 2.25 2.20 3/183 17174
/proc/meminfo: memFree=26836132/32872528 swapFree=1286400/1433568
[pid=17078] ppid=17075 vsize=2714180 CPUtime=1721.91 cores=0,2,4,6
/proc/17078/stat : 17078 (toysat) R 17075 17078 12983 0 -1 4202496 5113542 0 0 0 171366 825 0 0 20 0 4 0 25397525 2779320320 620328 33554432000 4194304 16246674 140737367408352 140737367390272 5822492 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17078/statm: 678545 620328 924 2943 0 675439 0
[pid=17078/tid=17079] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17079/stat : 17079 (toysat) S 17075 17078 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620328 33554432000 4194304 16246674 140737367408352 139945332157680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17078/tid=17080] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17080/stat : 17080 (toysat) S 17075 17078 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620328 33554432000 4194304 16246674 140737367408352 139945321667824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17078/tid=17081] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620328 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 2714180
[startup+1782.3 s]
/proc/loadavg: 2.34 2.26 2.20 3/183 17175
/proc/meminfo: memFree=26835972/32872528 swapFree=1286400/1433568
[pid=17078] ppid=17075 vsize=2714180 CPUtime=1781.9 cores=0,2,4,6
/proc/17078/stat : 17078 (toysat) R 17075 17078 12983 0 -1 4202496 5113542 0 0 0 177364 826 0 0 20 0 4 0 25397525 2779320320 620328 33554432000 4194304 16246674 140737367408352 140737367390272 5861860 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17078/statm: 678545 620328 924 2943 0 675439 0
[pid=17078/tid=17079] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17079/stat : 17079 (toysat) S 17075 17078 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620328 33554432000 4194304 16246674 140737367408352 139945332157680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17078/tid=17080] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17080/stat : 17080 (toysat) S 17075 17078 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620328 33554432000 4194304 16246674 140737367408352 139945321667824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17078/tid=17081] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620328 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 2714180
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.41 2.28 2.21 3/183 17175
/proc/meminfo: memFree=26835568/32872528 swapFree=1286400/1433568
[pid=17078] ppid=17075 vsize=2714180 CPUtime=1800 cores=0,2,4,6
/proc/17078/stat : 17078 (toysat) R 17075 17078 12983 0 -1 4202496 5113542 0 0 0 179173 827 0 0 20 0 4 0 25397525 2779320320 620328 33554432000 4194304 16246674 140737367408352 140737367390272 5721673 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17078/statm: 678545 620328 924 2943 0 675439 0
[pid=17078/tid=17079] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17079/stat : 17079 (toysat) S 17075 17078 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620328 33554432000 4194304 16246674 140737367408352 139945332157680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=17078/tid=17080] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17080/stat : 17080 (toysat) S 17075 17078 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620328 33554432000 4194304 16246674 140737367408352 139945321667824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=17078/tid=17081] ppid=17075 vsize=2714180 CPUtime=0 cores=0,2,4,6
/proc/17078/task/17081/stat : 17081 (toysat) S 17075 17078 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25397525 2779320320 620328 33554432000 4194304 16246674 140737367408352 139945201102000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2714180
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 17078 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.01
CPU user time (s): 1791.74
CPU system time (s): 8.27074
CPU usage (%): 99.9776
Max. virtual memory (cumulated for all children) (KiB): 3271236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.74
system time used= 8.27074
maximum resident set size= 3038332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5113542
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= 758
involuntary context switches= 2567
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.84526 second user time and 6.66999 second system time
The end