0.00/0.00 c 2016-06-18T06:00:04+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-4101281-1466222404.opb"]
0.00/0.01 c use --random-gen="82505705 2180081894 3964954537 2190052922 207042927 1105556665 1930781714 2221104539 1039870028 3841873855 3211549772 1984446658 1438181378 2197390509 2646539627 1036209567 1370854258 2702014581 2258807992 3539777058 3564674142 3538033154 1752125819 2934713837 983238466 3504162203 2294338914 4292095681 1439933852 1147940471 137577904 2258598430 1847727534 2843722504 63578780 2988493520 2983670470 2588026139 4035886459 4095232098 1506276530 875011979 1099514287 682981261 3462362176 1842883247 1917489584 2663926366 2420692336 3898339361 1624058696 1480239608 3985170345 2684137684 93903754 780051060 4185613966 976261272 442545748 2265799016 793150561 611854505 3984758371 1067119635 3727058086 4032250936 1276329257 3129994933 3924922467 3985842901 2841721562 800450648 861519085 2414184502 4125641234 354353453 2608110655 1420395239 1650583533 2887535202 3115389264 1992639480 3183439615 2733033515 1092087549 3177550756 3916421932 2726252833 2190430037 960671086 1969578881 4064393142 3419740164 1729754444 2018050422 898188065 3746885717 1815571314 2260991096 1902251592 3209960760 884178136 3296969876 1897863048 1157493942 4064042652 407855262 999615363 2202635765 4117778089 219199983 1283076453 3351291151 1298574797 1480898737 599312232 411332703 2947830569 1897795795 1704005674 2700997033 2429962328 3743466594 150935834 3428933426 2562612627 3786048930 3512895280 296602898 2974453580 3751976088 3145465509 4255116202 3678769641 323066270 16153336 4146289418 2205761863 2291755902 2717921555 1114187756 1291039113 1883709646 536306855 1165813199 2168150928 2286544883 2027882622 2201369592 4079835821 4288418645 1844465575 2033667622 4233957457 757030824 2189764280 2771129615 2542883409 2898778682 3598367157 645936929 1615775642 671974204 2350046474 1524053869 1585130308 79085968 4074382414 2542686441 3872072465 3829490476 488205152 3410843760 1454247946 2580994767 2532537903 1599772703 2639407744 1471786858 2652918282 2937766882 3201845625 841243571 3643712485 69772657 1178642769 3224717031 505501641 1131244334 3014336939 2791204580 257994247 519134657 2677098044 206622498 10965691 2484937019 3287614764 613539762 3000519800 1560198117 3018991167 3175551781 2347259970 61371048 1197699112 1802524744 469522508 2445640459 2736108130 1371563301 2217608848 652166846 1547453549 2337338659 2410983438 2780997701 1595925272 3551791287 908652904 417632584 2248459760 53802933 1689751497 2542884400 500509872 1950179746 1849009003 1208983210 320359104 1378866217 2274112553 2466945640 3902805163 1750788956 1860213513 190589203 878952602 1613755866 2502563321 1568934959 2302320761 958486250 2887590845 68360930 814338761 2650599579 3374944765 1338477786 981377457 4021956495 2589149733 231663572 2491456481 2379896194 1153726128 255 362436" option to reproduce the execution
0.19/0.20 c #vars 7860
0.19/0.20 c #constraints 173
1.20/1.27 c BCD2: Hardening is enabled.
1.20/1.27 c BCD2: BiasedSearch is enabled.
1.20/1.27 c Solving starts ...
1.20/1.27 c ============================[ Search Statistics ]============================
1.20/1.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.20/1.27 c | | | | Limit GC | Var | Constra
1.20/1.27 c =============================================================================
1.20/1.27 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 0
1.49/1.54 c 0.3s | 0 | 1223 | 0 | 2710 0 | 3956 | 65
1.49/1.54 c #cpu_time = 0.254s
1.49/1.54 c #wall_clock_time = 0.254s
1.49/1.54 c #decision = 1223
1.49/1.54 c #random_decision = 2
1.49/1.54 c #conflict = 0
1.49/1.54 c #restart = 0
1.49/1.54 o 35716
1.49/1.54 c BCD2: hardening fixes 2 literals
1.49/1.54 c BCD2: updating upper bound: 526611 -> 35715
1.49/1.55 c BCD2: 0 <= obj <= 35715
1.49/1.55 c BCD2: #cores=0, #unrelaxed=2878, #relaxed=0, #hardened=2
1.49/1.55 c BCD2: #sat=1 #unsat=1 bias=1/2
1.49/1.55 c Solving starts ...
1.49/1.55 c ============================[ Search Statistics ]============================
1.49/1.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.49/1.55 c | | | | Limit GC | Var | Constra
1.49/1.55 c =============================================================================
1.49/1.55 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
1.49/1.57 c 0.0s | 0 | 22 | 1 | 2710 0 | 3956 | 65
1.49/1.57 c #cpu_time = 0.029s
1.49/1.57 c #wall_clock_time = 0.029s
1.49/1.57 c #decision = 22
1.49/1.57 c #random_decision = 0
1.49/1.57 c #conflict = 1
1.49/1.57 c #restart = 0
1.49/1.57 c BCD2: found a new core of size 22: cost of the new core is >=1
1.49/1.57 c lower bound updated to 1
1.49/1.58 c BCD2: 1 <= obj <= 35715
1.49/1.58 c BCD2: #cores=1, #unrelaxed=2856, #relaxed=22, #hardened=2
1.49/1.58 c BCD2: #sat=1 #unsat=2 bias=2/3
1.49/1.58 c Solving starts ...
1.49/1.58 c ============================[ Search Statistics ]============================
1.49/1.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.49/1.58 c | | | | Limit GC | Var | Constra
1.49/1.58 c =============================================================================
1.49/1.58 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
1.59/1.60 c 0.0s | 0 | 26 | 1 | 2710 0 | 3956 | 65
1.59/1.60 c #cpu_time = 0.025s
1.59/1.60 c #wall_clock_time = 0.025s
1.59/1.60 c #decision = 26
1.59/1.60 c #random_decision = 0
1.59/1.60 c #conflict = 1
1.59/1.60 c #restart = 0
1.59/1.60 c BCD2: found a new core of size 24: cost of the new core is >=1
1.59/1.60 c lower bound updated to 2
1.59/1.60 c BCD2: 2 <= obj <= 35715
1.59/1.60 c BCD2: #cores=2, #unrelaxed=2832, #relaxed=46, #hardened=2
1.59/1.60 c BCD2: #sat=1 #unsat=3 bias=3/4
1.59/1.60 c Solving starts ...
1.59/1.60 c ============================[ Search Statistics ]============================
1.59/1.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.59/1.60 c | | | | Limit GC | Var | Constra
1.59/1.60 c =============================================================================
1.59/1.60 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
1.59/1.63 c 0.0s | 0 | 21 | 1 | 2710 0 | 3956 | 65
1.59/1.63 c #cpu_time = 0.024s
1.59/1.63 c #wall_clock_time = 0.024s
1.59/1.63 c #decision = 21
1.59/1.63 c #random_decision = 0
1.59/1.63 c #conflict = 1
1.59/1.63 c #restart = 0
1.59/1.63 c BCD2: found a new core of size 18: cost of the new core is >=1
1.59/1.63 c lower bound updated to 3
1.59/1.63 c BCD2: 3 <= obj <= 35715
1.59/1.63 c BCD2: #cores=3, #unrelaxed=2814, #relaxed=64, #hardened=2
1.59/1.63 c BCD2: #sat=1 #unsat=4 bias=4/5
1.59/1.63 c Solving starts ...
1.59/1.63 c ============================[ Search Statistics ]============================
1.59/1.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.59/1.63 c | | | | Limit GC | Var | Constra
1.59/1.63 c =============================================================================
1.59/1.63 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
1.59/1.65 c 0.0s | 0 | 26 | 1 | 2710 0 | 3956 | 65
1.59/1.65 c #cpu_time = 0.025s
1.59/1.65 c #wall_clock_time = 0.025s
1.59/1.65 c #decision = 26
1.59/1.65 c #random_decision = 0
1.59/1.65 c #conflict = 1
1.59/1.65 c #restart = 0
1.59/1.65 c BCD2: found a new core of size 22: cost of the new core is >=1
1.59/1.65 c lower bound updated to 4
1.59/1.65 c BCD2: 4 <= obj <= 35715
1.59/1.65 c BCD2: #cores=4, #unrelaxed=2792, #relaxed=86, #hardened=2
1.59/1.65 c BCD2: #sat=1 #unsat=5 bias=5/6
1.59/1.65 c Solving starts ...
1.59/1.65 c ============================[ Search Statistics ]============================
1.59/1.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.59/1.65 c | | | | Limit GC | Var | Constra
1.59/1.65 c =============================================================================
1.59/1.65 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
1.59/1.68 c 0.0s | 0 | 32 | 1 | 2710 0 | 3956 | 65
1.59/1.68 c #cpu_time = 0.027s
1.59/1.68 c #wall_clock_time = 0.027s
1.59/1.68 c #decision = 32
1.59/1.68 c #random_decision = 0
1.59/1.68 c #conflict = 1
1.59/1.68 c #restart = 0
1.59/1.68 c BCD2: found a new core of size 26: cost of the new core is >=1
1.59/1.68 c lower bound updated to 5
1.59/1.68 c BCD2: 5 <= obj <= 35715
1.59/1.68 c BCD2: #cores=5, #unrelaxed=2766, #relaxed=112, #hardened=2
1.59/1.68 c BCD2: #sat=1 #unsat=6 bias=6/7
1.59/1.68 c Solving starts ...
1.59/1.68 c ============================[ Search Statistics ]============================
1.59/1.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.59/1.68 c | | | | Limit GC | Var | Constra
1.59/1.68 c =============================================================================
1.59/1.68 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
1.69/1.71 c 0.0s | 0 | 27 | 1 | 2710 0 | 3956 | 65
1.69/1.71 c #cpu_time = 0.025s
1.69/1.71 c #wall_clock_time = 0.025s
1.69/1.71 c #decision = 27
1.69/1.71 c #random_decision = 0
1.69/1.71 c #conflict = 1
1.69/1.71 c #restart = 0
1.69/1.71 c BCD2: found a new core of size 19: cost of the new core is >=1
1.69/1.71 c lower bound updated to 6
1.69/1.71 c BCD2: 6 <= obj <= 35715
1.69/1.71 c BCD2: #cores=6, #unrelaxed=2747, #relaxed=131, #hardened=2
1.69/1.71 c BCD2: #sat=1 #unsat=7 bias=7/8
1.69/1.71 c Solving starts ...
1.69/1.71 c ============================[ Search Statistics ]============================
1.69/1.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.69/1.71 c | | | | Limit GC | Var | Constra
1.69/1.71 c =============================================================================
1.69/1.71 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
1.69/1.73 c 0.0s | 0 | 59 | 1 | 2710 0 | 3956 | 65
1.69/1.73 c #cpu_time = 0.025s
1.69/1.73 c #wall_clock_time = 0.025s
1.69/1.73 c #decision = 59
1.69/1.73 c #random_decision = 0
1.69/1.73 c #conflict = 1
1.69/1.73 c #restart = 0
1.69/1.73 c BCD2: found a new core of size 20: cost of the new core is >=1
1.69/1.73 c lower bound updated to 7
1.69/1.74 c BCD2: 7 <= obj <= 35715
1.69/1.74 c BCD2: #cores=7, #unrelaxed=2727, #relaxed=151, #hardened=2
1.69/1.74 c BCD2: #sat=1 #unsat=8 bias=8/9
1.69/1.74 c Solving starts ...
1.69/1.74 c ============================[ Search Statistics ]============================
1.69/1.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.69/1.74 c | | | | Limit GC | Var | Constra
1.69/1.74 c =============================================================================
1.69/1.74 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
1.69/1.76 c 0.0s | 0 | 91 | 1 | 2710 0 | 3956 | 65
1.69/1.76 c #cpu_time = 0.024s
1.69/1.76 c #wall_clock_time = 0.024s
1.69/1.76 c #decision = 91
1.69/1.76 c #random_decision = 0
1.69/1.76 c #conflict = 1
1.69/1.76 c #restart = 0
1.69/1.76 c BCD2: found a new core of size 32: cost of the new core is >=1
1.69/1.76 c lower bound updated to 8
1.69/1.76 c BCD2: 8 <= obj <= 35715
1.69/1.76 c BCD2: #cores=8, #unrelaxed=2695, #relaxed=183, #hardened=2
1.69/1.76 c BCD2: #sat=1 #unsat=9 bias=9/10
1.69/1.76 c Solving starts ...
1.69/1.76 c ============================[ Search Statistics ]============================
1.69/1.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.69/1.76 c | | | | Limit GC | Var | Constra
1.69/1.76 c =============================================================================
1.69/1.76 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
1.69/1.79 c 0.0s | 0 | 110 | 2 | 2710 0 | 3956 | 65
1.69/1.79 c #cpu_time = 0.027s
1.69/1.79 c #wall_clock_time = 0.027s
1.69/1.79 c #decision = 110
1.69/1.79 c #random_decision = 0
1.69/1.79 c #conflict = 2
1.69/1.79 c #restart = 0
1.69/1.79 c BCD2: found a new core of size 28: cost of the new core is >=1
1.69/1.79 c lower bound updated to 9
1.69/1.79 c BCD2: 9 <= obj <= 35715
1.69/1.79 c BCD2: #cores=9, #unrelaxed=2667, #relaxed=211, #hardened=2
1.69/1.79 c BCD2: #sat=1 #unsat=10 bias=10/11
1.69/1.79 c Solving starts ...
1.69/1.79 c ============================[ Search Statistics ]============================
1.69/1.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.69/1.79 c | | | | Limit GC | Var | Constra
1.69/1.79 c =============================================================================
1.69/1.79 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
1.79/1.81 c 0.0s | 0 | 137 | 1 | 2710 0 | 3956 | 65
1.79/1.81 c #cpu_time = 0.023s
1.79/1.81 c #wall_clock_time = 0.023s
1.79/1.81 c #decision = 137
1.79/1.81 c #random_decision = 0
1.79/1.81 c #conflict = 1
1.79/1.81 c #restart = 0
1.79/1.81 c BCD2: found a new core of size 17: cost of the new core is >=1
1.79/1.81 c lower bound updated to 10
1.79/1.81 c BCD2: 10 <= obj <= 35715
1.79/1.81 c BCD2: #cores=10, #unrelaxed=2650, #relaxed=228, #hardened=2
1.79/1.81 c BCD2: #sat=1 #unsat=11 bias=11/12
1.79/1.81 c Solving starts ...
1.79/1.81 c ============================[ Search Statistics ]============================
1.79/1.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.79/1.81 c | | | | Limit GC | Var | Constra
1.79/1.81 c =============================================================================
1.79/1.81 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
1.79/1.84 c 0.0s | 0 | 139 | 1 | 2710 0 | 3956 | 65
1.79/1.84 c #cpu_time = 0.024s
1.79/1.84 c #wall_clock_time = 0.024s
1.79/1.84 c #decision = 139
1.79/1.84 c #random_decision = 0
1.79/1.84 c #conflict = 1
1.79/1.84 c #restart = 0
1.79/1.84 c BCD2: found a new core of size 18: cost of the new core is >=1
1.79/1.84 c lower bound updated to 11
1.79/1.84 c BCD2: 11 <= obj <= 35715
1.79/1.84 c BCD2: #cores=11, #unrelaxed=2632, #relaxed=246, #hardened=2
1.79/1.84 c BCD2: #sat=1 #unsat=12 bias=12/13
1.79/1.84 c Solving starts ...
1.79/1.84 c ============================[ Search Statistics ]============================
1.79/1.84 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.79/1.84 c | | | | Limit GC | Var | Constra
1.79/1.84 c =============================================================================
1.79/1.84 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
1.79/1.87 c 0.0s | 0 | 149 | 1 | 2710 0 | 3956 | 65
1.79/1.87 c #cpu_time = 0.025s
1.79/1.87 c #wall_clock_time = 0.025s
1.79/1.87 c #decision = 149
1.79/1.87 c #random_decision = 0
1.79/1.87 c #conflict = 1
1.79/1.87 c #restart = 0
1.79/1.87 c BCD2: found a new core of size 20: cost of the new core is >=1
1.79/1.87 c lower bound updated to 12
1.79/1.87 c BCD2: 12 <= obj <= 35715
1.79/1.87 c BCD2: #cores=12, #unrelaxed=2612, #relaxed=266, #hardened=2
1.79/1.87 c BCD2: #sat=1 #unsat=13 bias=13/14
1.79/1.87 c Solving starts ...
1.79/1.87 c ============================[ Search Statistics ]============================
1.79/1.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.79/1.87 c | | | | Limit GC | Var | Constra
1.79/1.87 c =============================================================================
1.79/1.87 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
1.79/1.89 c 0.0s | 0 | 153 | 1 | 2710 0 | 3956 | 65
1.79/1.89 c #cpu_time = 0.026s
1.79/1.89 c #wall_clock_time = 0.026s
1.79/1.89 c #decision = 153
1.79/1.89 c #random_decision = 0
1.79/1.89 c #conflict = 1
1.79/1.89 c #restart = 0
1.79/1.89 c BCD2: found a new core of size 22: cost of the new core is >=1
1.79/1.89 c lower bound updated to 13
1.79/1.89 c BCD2: 13 <= obj <= 35715
1.79/1.89 c BCD2: #cores=13, #unrelaxed=2590, #relaxed=288, #hardened=2
1.79/1.89 c BCD2: #sat=1 #unsat=14 bias=14/15
1.79/1.90 c Solving starts ...
1.79/1.90 c ============================[ Search Statistics ]============================
1.79/1.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.79/1.90 c | | | | Limit GC | Var | Constra
1.79/1.90 c =============================================================================
1.79/1.90 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
1.89/1.92 c 0.0s | 0 | 148 | 1 | 2710 0 | 3956 | 65
1.89/1.92 c #cpu_time = 0.023s
1.89/1.92 c #wall_clock_time = 0.023s
1.89/1.92 c #decision = 148
1.89/1.92 c #random_decision = 0
1.89/1.92 c #conflict = 1
1.89/1.92 c #restart = 0
1.89/1.92 c BCD2: found a new core of size 15: cost of the new core is >=1
1.89/1.92 c lower bound updated to 14
1.89/1.92 c BCD2: 14 <= obj <= 35715
1.89/1.92 c BCD2: #cores=14, #unrelaxed=2575, #relaxed=303, #hardened=2
1.89/1.92 c BCD2: #sat=1 #unsat=15 bias=15/16
1.89/1.92 c Solving starts ...
1.89/1.92 c ============================[ Search Statistics ]============================
1.89/1.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.89/1.92 c | | | | Limit GC | Var | Constra
1.89/1.92 c =============================================================================
1.89/1.92 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
1.89/1.95 c 0.0s | 0 | 151 | 1 | 2710 0 | 3956 | 65
1.89/1.95 c #cpu_time = 0.026s
1.89/1.95 c #wall_clock_time = 0.026s
1.89/1.95 c #decision = 151
1.89/1.95 c #random_decision = 0
1.89/1.95 c #conflict = 1
1.89/1.95 c #restart = 0
1.89/1.95 c BCD2: found a new core of size 17: cost of the new core is >=1
1.89/1.95 c lower bound updated to 15
1.89/1.95 c BCD2: 15 <= obj <= 35715
1.89/1.95 c BCD2: #cores=15, #unrelaxed=2558, #relaxed=320, #hardened=2
1.89/1.95 c BCD2: #sat=1 #unsat=16 bias=16/17
1.89/1.95 c Solving starts ...
1.89/1.95 c ============================[ Search Statistics ]============================
1.89/1.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.89/1.95 c | | | | Limit GC | Var | Constra
1.89/1.95 c =============================================================================
1.89/1.95 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
1.89/1.97 c 0.0s | 0 | 184 | 1 | 2710 0 | 3956 | 65
1.89/1.97 c #cpu_time = 0.024s
1.89/1.97 c #wall_clock_time = 0.024s
1.89/1.97 c #decision = 184
1.89/1.97 c #random_decision = 0
1.89/1.97 c #conflict = 1
1.89/1.97 c #restart = 0
1.89/1.97 c BCD2: found a new core of size 34: cost of the new core is >=1
1.89/1.97 c lower bound updated to 16
1.89/1.97 c BCD2: 16 <= obj <= 35715
1.89/1.97 c BCD2: #cores=16, #unrelaxed=2524, #relaxed=354, #hardened=2
1.89/1.97 c BCD2: #sat=1 #unsat=17 bias=17/18
1.89/1.97 c Solving starts ...
1.89/1.97 c ============================[ Search Statistics ]============================
1.89/1.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.89/1.97 c | | | | Limit GC | Var | Constra
1.89/1.97 c =============================================================================
1.89/1.97 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
1.99/2.00 c 0.0s | 0 | 169 | 1 | 2710 0 | 3956 | 65
1.99/2.00 c #cpu_time = 0.027s
1.99/2.00 c #wall_clock_time = 0.028s
1.99/2.00 c #decision = 169
1.99/2.00 c #random_decision = 0
1.99/2.00 c #conflict = 1
1.99/2.00 c #restart = 0
1.99/2.00 c BCD2: found a new core of size 17: cost of the new core is >=1
1.99/2.00 c lower bound updated to 17
1.99/2.00 c BCD2: 17 <= obj <= 35715
1.99/2.00 c BCD2: #cores=17, #unrelaxed=2507, #relaxed=371, #hardened=2
1.99/2.00 c BCD2: #sat=1 #unsat=18 bias=18/19
1.99/2.00 c Solving starts ...
1.99/2.00 c ============================[ Search Statistics ]============================
1.99/2.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.99/2.00 c | | | | Limit GC | Var | Constra
1.99/2.00 c =============================================================================
1.99/2.00 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
1.99/2.03 c 0.0s | 0 | 208 | 1 | 2710 0 | 3956 | 65
1.99/2.03 c #cpu_time = 0.026s
1.99/2.03 c #wall_clock_time = 0.026s
1.99/2.03 c #decision = 208
1.99/2.03 c #random_decision = 0
1.99/2.03 c #conflict = 1
1.99/2.03 c #restart = 0
1.99/2.03 c BCD2: found a new core of size 23: cost of the new core is >=1
1.99/2.03 c lower bound updated to 18
1.99/2.03 c BCD2: 18 <= obj <= 35715
1.99/2.03 c BCD2: #cores=18, #unrelaxed=2484, #relaxed=394, #hardened=2
1.99/2.03 c BCD2: #sat=1 #unsat=19 bias=19/20
1.99/2.03 c Solving starts ...
1.99/2.03 c ============================[ Search Statistics ]============================
1.99/2.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.99/2.03 c | | | | Limit GC | Var | Constra
1.99/2.03 c =============================================================================
1.99/2.03 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
1.99/2.06 c 0.0s | 0 | 240 | 1 | 2710 0 | 3956 | 65
1.99/2.06 c #cpu_time = 0.029s
1.99/2.06 c #wall_clock_time = 0.029s
1.99/2.06 c #decision = 240
1.99/2.06 c #random_decision = 0
1.99/2.06 c #conflict = 1
1.99/2.06 c #restart = 0
1.99/2.06 c BCD2: found a new core of size 23: cost of the new core is >=1
1.99/2.06 c lower bound updated to 19
1.99/2.06 c BCD2: 19 <= obj <= 35715
1.99/2.06 c BCD2: #cores=19, #unrelaxed=2461, #relaxed=417, #hardened=2
1.99/2.06 c BCD2: #sat=1 #unsat=20 bias=20/21
1.99/2.06 c Solving starts ...
1.99/2.06 c ============================[ Search Statistics ]============================
1.99/2.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.99/2.06 c | | | | Limit GC | Var | Constra
1.99/2.06 c =============================================================================
1.99/2.06 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
1.99/2.09 c 0.0s | 0 | 300 | 1 | 2710 0 | 3956 | 65
1.99/2.09 c #cpu_time = 0.027s
1.99/2.09 c #wall_clock_time = 0.027s
1.99/2.09 c #decision = 300
1.99/2.09 c #random_decision = 0
1.99/2.09 c #conflict = 1
1.99/2.09 c #restart = 0
1.99/2.09 c BCD2: found a new core of size 29: cost of the new core is >=1
1.99/2.09 c lower bound updated to 20
1.99/2.09 c BCD2: 20 <= obj <= 35715
1.99/2.09 c BCD2: #cores=20, #unrelaxed=2432, #relaxed=446, #hardened=2
1.99/2.09 c BCD2: #sat=1 #unsat=21 bias=21/22
1.99/2.09 c Solving starts ...
1.99/2.09 c ============================[ Search Statistics ]============================
1.99/2.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.99/2.09 c | | | | Limit GC | Var | Constra
1.99/2.09 c =============================================================================
1.99/2.09 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.09/2.13 c 0.0s | 0 | 302 | 1 | 2710 0 | 3956 | 65
2.09/2.13 c #cpu_time = 0.038s
2.09/2.13 c #wall_clock_time = 0.038s
2.09/2.13 c #decision = 302
2.09/2.13 c #random_decision = 0
2.09/2.13 c #conflict = 1
2.09/2.13 c #restart = 0
2.09/2.13 c BCD2: found a new core of size 24: cost of the new core is >=1
2.09/2.13 c lower bound updated to 21
2.09/2.13 c BCD2: 21 <= obj <= 35715
2.09/2.13 c BCD2: #cores=21, #unrelaxed=2408, #relaxed=470, #hardened=2
2.09/2.13 c BCD2: #sat=1 #unsat=22 bias=22/23
2.09/2.13 c Solving starts ...
2.09/2.13 c ============================[ Search Statistics ]============================
2.09/2.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.09/2.13 c | | | | Limit GC | Var | Constra
2.09/2.13 c =============================================================================
2.09/2.13 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.09/2.16 c 0.0s | 0 | 323 | 1 | 2710 0 | 3956 | 65
2.09/2.16 c #cpu_time = 0.025s
2.09/2.16 c #wall_clock_time = 0.025s
2.09/2.16 c #decision = 323
2.09/2.16 c #random_decision = 0
2.09/2.16 c #conflict = 1
2.09/2.16 c #restart = 0
2.09/2.16 c BCD2: found a new core of size 25: cost of the new core is >=1
2.09/2.16 c lower bound updated to 22
2.09/2.16 c BCD2: 22 <= obj <= 35715
2.09/2.16 c BCD2: #cores=22, #unrelaxed=2383, #relaxed=495, #hardened=2
2.09/2.16 c BCD2: #sat=1 #unsat=23 bias=23/24
2.09/2.16 c Solving starts ...
2.09/2.16 c ============================[ Search Statistics ]============================
2.09/2.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.09/2.16 c | | | | Limit GC | Var | Constra
2.09/2.16 c =============================================================================
2.09/2.16 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.09/2.18 c 0.0s | 0 | 325 | 1 | 2710 0 | 3956 | 65
2.09/2.18 c #cpu_time = 0.024s
2.09/2.18 c #wall_clock_time = 0.024s
2.09/2.18 c #decision = 325
2.09/2.18 c #random_decision = 0
2.09/2.18 c #conflict = 1
2.09/2.18 c #restart = 0
2.09/2.18 c BCD2: found a new core of size 17: cost of the new core is >=1
2.09/2.18 c lower bound updated to 23
2.09/2.18 c BCD2: 23 <= obj <= 35715
2.09/2.18 c BCD2: #cores=23, #unrelaxed=2366, #relaxed=512, #hardened=2
2.09/2.18 c BCD2: #sat=1 #unsat=24 bias=24/25
2.09/2.19 c Solving starts ...
2.09/2.19 c ============================[ Search Statistics ]============================
2.09/2.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.09/2.19 c | | | | Limit GC | Var | Constra
2.09/2.19 c =============================================================================
2.09/2.19 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.19/2.21 c 0.0s | 0 | 358 | 1 | 2710 0 | 3956 | 65
2.19/2.21 c #cpu_time = 0.025s
2.19/2.21 c #wall_clock_time = 0.025s
2.19/2.21 c #decision = 358
2.19/2.21 c #random_decision = 0
2.19/2.21 c #conflict = 1
2.19/2.21 c #restart = 0
2.19/2.21 c BCD2: found a new core of size 32: cost of the new core is >=1
2.19/2.21 c lower bound updated to 24
2.19/2.21 c BCD2: 24 <= obj <= 35715
2.19/2.21 c BCD2: #cores=24, #unrelaxed=2334, #relaxed=544, #hardened=2
2.19/2.21 c BCD2: #sat=1 #unsat=25 bias=25/26
2.19/2.21 c Solving starts ...
2.19/2.21 c ============================[ Search Statistics ]============================
2.19/2.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.19/2.21 c | | | | Limit GC | Var | Constra
2.19/2.21 c =============================================================================
2.19/2.21 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.19/2.24 c 0.0s | 0 | 347 | 1 | 2710 0 | 3956 | 65
2.19/2.24 c #cpu_time = 0.028s
2.19/2.24 c #wall_clock_time = 0.028s
2.19/2.24 c #decision = 347
2.19/2.24 c #random_decision = 0
2.19/2.24 c #conflict = 1
2.19/2.24 c #restart = 0
2.19/2.24 c BCD2: found a new core of size 18: cost of the new core is >=1
2.19/2.24 c lower bound updated to 25
2.19/2.24 c BCD2: 25 <= obj <= 35715
2.19/2.24 c BCD2: #cores=25, #unrelaxed=2316, #relaxed=562, #hardened=2
2.19/2.24 c BCD2: #sat=1 #unsat=26 bias=26/27
2.19/2.24 c Solving starts ...
2.19/2.24 c ============================[ Search Statistics ]============================
2.19/2.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.19/2.24 c | | | | Limit GC | Var | Constra
2.19/2.24 c =============================================================================
2.19/2.24 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.19/2.28 c 0.0s | 0 | 383 | 1 | 2710 0 | 3956 | 65
2.19/2.28 c #cpu_time = 0.033s
2.19/2.28 c #wall_clock_time = 0.033s
2.19/2.28 c #decision = 383
2.19/2.28 c #random_decision = 0
2.19/2.28 c #conflict = 1
2.19/2.28 c #restart = 0
2.19/2.28 c BCD2: found a new core of size 32: cost of the new core is >=1
2.19/2.28 c lower bound updated to 26
2.19/2.28 c BCD2: 26 <= obj <= 35715
2.19/2.28 c BCD2: #cores=26, #unrelaxed=2284, #relaxed=594, #hardened=2
2.19/2.28 c BCD2: #sat=1 #unsat=27 bias=27/28
2.19/2.28 c Solving starts ...
2.19/2.28 c ============================[ Search Statistics ]============================
2.19/2.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.19/2.28 c | | | | Limit GC | Var | Constra
2.19/2.28 c =============================================================================
2.19/2.28 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.29/2.30 c 0.0s | 0 | 399 | 1 | 2710 0 | 3956 | 65
2.29/2.30 c #cpu_time = 0.026s
2.29/2.30 c #wall_clock_time = 0.026s
2.29/2.30 c #decision = 399
2.29/2.30 c #random_decision = 0
2.29/2.30 c #conflict = 1
2.29/2.30 c #restart = 0
2.29/2.30 c BCD2: found a new core of size 30: cost of the new core is >=1
2.29/2.30 c lower bound updated to 27
2.29/2.30 c BCD2: 27 <= obj <= 35715
2.29/2.30 c BCD2: #cores=27, #unrelaxed=2254, #relaxed=624, #hardened=2
2.29/2.30 c BCD2: #sat=1 #unsat=28 bias=28/29
2.29/2.31 c Solving starts ...
2.29/2.31 c ============================[ Search Statistics ]============================
2.29/2.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.29/2.31 c | | | | Limit GC | Var | Constra
2.29/2.31 c =============================================================================
2.29/2.31 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.29/2.33 c 0.0s | 0 | 429 | 1 | 2710 0 | 3956 | 65
2.29/2.33 c #cpu_time = 0.028s
2.29/2.33 c #wall_clock_time = 0.028s
2.29/2.33 c #decision = 429
2.29/2.33 c #random_decision = 0
2.29/2.33 c #conflict = 1
2.29/2.33 c #restart = 0
2.29/2.33 c BCD2: found a new core of size 32: cost of the new core is >=1
2.29/2.33 c lower bound updated to 28
2.29/2.34 c BCD2: 28 <= obj <= 35715
2.29/2.34 c BCD2: #cores=28, #unrelaxed=2222, #relaxed=656, #hardened=2
2.29/2.34 c BCD2: #sat=1 #unsat=29 bias=29/30
2.29/2.34 c Solving starts ...
2.29/2.34 c ============================[ Search Statistics ]============================
2.29/2.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.29/2.34 c | | | | Limit GC | Var | Constra
2.29/2.34 c =============================================================================
2.29/2.34 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.29/2.36 c 0.0s | 0 | 449 | 1 | 2710 0 | 3956 | 65
2.29/2.36 c #cpu_time = 0.025s
2.29/2.36 c #wall_clock_time = 0.025s
2.29/2.36 c #decision = 449
2.29/2.36 c #random_decision = 0
2.29/2.36 c #conflict = 1
2.29/2.36 c #restart = 0
2.29/2.36 c BCD2: found a new core of size 42: cost of the new core is >=1
2.29/2.36 c lower bound updated to 29
2.29/2.36 c BCD2: 29 <= obj <= 35715
2.29/2.36 c BCD2: #cores=29, #unrelaxed=2180, #relaxed=698, #hardened=2
2.29/2.36 c BCD2: #sat=1 #unsat=30 bias=30/31
2.29/2.36 c Solving starts ...
2.29/2.36 c ============================[ Search Statistics ]============================
2.29/2.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.29/2.36 c | | | | Limit GC | Var | Constra
2.29/2.36 c =============================================================================
2.29/2.36 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.29/2.39 c 0.0s | 0 | 459 | 1 | 2710 0 | 3956 | 65
2.29/2.39 c #cpu_time = 0.026s
2.29/2.39 c #wall_clock_time = 0.026s
2.29/2.39 c #decision = 459
2.29/2.39 c #random_decision = 0
2.29/2.39 c #conflict = 1
2.29/2.39 c #restart = 0
2.29/2.39 c BCD2: found a new core of size 43: cost of the new core is >=1
2.29/2.39 c lower bound updated to 30
2.29/2.39 c BCD2: 30 <= obj <= 35715
2.29/2.39 c BCD2: #cores=30, #unrelaxed=2137, #relaxed=741, #hardened=2
2.29/2.39 c BCD2: #sat=1 #unsat=31 bias=31/32
2.29/2.39 c Solving starts ...
2.29/2.39 c ============================[ Search Statistics ]============================
2.29/2.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.29/2.39 c | | | | Limit GC | Var | Constra
2.29/2.39 c =============================================================================
2.29/2.39 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.39/2.42 c 0.0s | 0 | 470 | 1 | 2710 0 | 3956 | 65
2.39/2.42 c #cpu_time = 0.026s
2.39/2.42 c #wall_clock_time = 0.026s
2.39/2.42 c #decision = 470
2.39/2.42 c #random_decision = 0
2.39/2.42 c #conflict = 1
2.39/2.42 c #restart = 0
2.39/2.42 c BCD2: found a new core of size 32: cost of the new core is >=1
2.39/2.42 c lower bound updated to 31
2.39/2.42 c BCD2: 31 <= obj <= 35715
2.39/2.42 c BCD2: #cores=31, #unrelaxed=2105, #relaxed=773, #hardened=2
2.39/2.42 c BCD2: #sat=1 #unsat=32 bias=32/33
2.39/2.42 c Solving starts ...
2.39/2.42 c ============================[ Search Statistics ]============================
2.39/2.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.39/2.42 c | | | | Limit GC | Var | Constra
2.39/2.42 c =============================================================================
2.39/2.42 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.39/2.45 c 0.0s | 0 | 491 | 1 | 2710 0 | 3956 | 65
2.39/2.45 c #cpu_time = 0.028s
2.39/2.45 c #wall_clock_time = 0.028s
2.39/2.45 c #decision = 491
2.39/2.45 c #random_decision = 0
2.39/2.45 c #conflict = 1
2.39/2.45 c #restart = 0
2.39/2.45 c BCD2: found a new core of size 30: cost of the new core is >=1
2.39/2.45 c lower bound updated to 32
2.39/2.45 c BCD2: 32 <= obj <= 35715
2.39/2.45 c BCD2: #cores=32, #unrelaxed=2075, #relaxed=803, #hardened=2
2.39/2.45 c BCD2: #sat=1 #unsat=33 bias=33/34
2.39/2.45 c Solving starts ...
2.39/2.45 c ============================[ Search Statistics ]============================
2.39/2.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.39/2.45 c | | | | Limit GC | Var | Constra
2.39/2.45 c =============================================================================
2.39/2.45 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.39/2.48 c 0.0s | 0 | 547 | 1 | 2710 0 | 3956 | 65
2.39/2.48 c #cpu_time = 0.029s
2.39/2.48 c #wall_clock_time = 0.029s
2.39/2.48 c #decision = 547
2.39/2.48 c #random_decision = 0
2.39/2.48 c #conflict = 1
2.39/2.48 c #restart = 0
2.39/2.48 c BCD2: found a new core of size 31: cost of the new core is >=1
2.39/2.48 c lower bound updated to 33
2.39/2.48 c BCD2: 33 <= obj <= 35715
2.39/2.48 c BCD2: #cores=33, #unrelaxed=2044, #relaxed=834, #hardened=2
2.39/2.48 c BCD2: #sat=1 #unsat=34 bias=34/35
2.39/2.48 c Solving starts ...
2.39/2.48 c ============================[ Search Statistics ]============================
2.39/2.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.39/2.48 c | | | | Limit GC | Var | Constra
2.39/2.48 c =============================================================================
2.39/2.48 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.49/2.51 c 0.0s | 0 | 571 | 1 | 2710 0 | 3956 | 65
2.49/2.51 c #cpu_time = 0.028s
2.49/2.51 c #wall_clock_time = 0.028s
2.49/2.51 c #decision = 571
2.49/2.51 c #random_decision = 0
2.49/2.51 c #conflict = 1
2.49/2.51 c #restart = 0
2.49/2.51 c BCD2: found a new core of size 30: cost of the new core is >=1
2.49/2.51 c lower bound updated to 34
2.49/2.51 c BCD2: 34 <= obj <= 35715
2.49/2.51 c BCD2: #cores=34, #unrelaxed=2014, #relaxed=864, #hardened=2
2.49/2.51 c BCD2: #sat=1 #unsat=35 bias=35/36
2.49/2.51 c Solving starts ...
2.49/2.51 c ============================[ Search Statistics ]============================
2.49/2.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.49/2.51 c | | | | Limit GC | Var | Constra
2.49/2.51 c =============================================================================
2.49/2.51 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.49/2.54 c 0.0s | 0 | 570 | 1 | 2710 0 | 3956 | 65
2.49/2.54 c #cpu_time = 0.026s
2.49/2.54 c #wall_clock_time = 0.027s
2.49/2.54 c #decision = 570
2.49/2.54 c #random_decision = 0
2.49/2.54 c #conflict = 1
2.49/2.54 c #restart = 0
2.49/2.54 c BCD2: found a new core of size 21: cost of the new core is >=1
2.49/2.54 c lower bound updated to 35
2.49/2.54 c BCD2: 35 <= obj <= 35715
2.49/2.54 c BCD2: #cores=35, #unrelaxed=1993, #relaxed=885, #hardened=2
2.49/2.54 c BCD2: #sat=1 #unsat=36 bias=36/37
2.49/2.54 c Solving starts ...
2.49/2.54 c ============================[ Search Statistics ]============================
2.49/2.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.49/2.54 c | | | | Limit GC | Var | Constra
2.49/2.54 c =============================================================================
2.49/2.54 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.49/2.57 c 0.0s | 0 | 602 | 1 | 2710 0 | 3956 | 65
2.49/2.57 c #cpu_time = 0.027s
2.49/2.57 c #wall_clock_time = 0.027s
2.49/2.57 c #decision = 602
2.49/2.57 c #random_decision = 0
2.49/2.57 c #conflict = 1
2.49/2.57 c #restart = 0
2.49/2.57 c BCD2: found a new core of size 33: cost of the new core is >=1
2.49/2.57 c lower bound updated to 36
2.49/2.57 c BCD2: 36 <= obj <= 35715
2.49/2.57 c BCD2: #cores=36, #unrelaxed=1960, #relaxed=918, #hardened=2
2.49/2.57 c BCD2: #sat=1 #unsat=37 bias=37/38
2.49/2.58 c Solving starts ...
2.49/2.58 c ============================[ Search Statistics ]============================
2.49/2.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.49/2.58 c | | | | Limit GC | Var | Constra
2.49/2.58 c =============================================================================
2.49/2.58 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.59/2.60 c 0.0s | 0 | 600 | 1 | 2710 0 | 3956 | 65
2.59/2.60 c #cpu_time = 0.029s
2.59/2.60 c #wall_clock_time = 0.029s
2.59/2.60 c #decision = 600
2.59/2.60 c #random_decision = 0
2.59/2.60 c #conflict = 1
2.59/2.60 c #restart = 0
2.59/2.60 c BCD2: found a new core of size 24: cost of the new core is >=1
2.59/2.60 c lower bound updated to 37
2.59/2.61 c BCD2: 37 <= obj <= 35715
2.59/2.61 c BCD2: #cores=37, #unrelaxed=1936, #relaxed=942, #hardened=2
2.59/2.61 c BCD2: #sat=1 #unsat=38 bias=38/39
2.59/2.61 c Solving starts ...
2.59/2.61 c ============================[ Search Statistics ]============================
2.59/2.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.59/2.61 c | | | | Limit GC | Var | Constra
2.59/2.61 c =============================================================================
2.59/2.61 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.59/2.64 c 0.0s | 0 | 627 | 1 | 2710 0 | 3956 | 65
2.59/2.64 c #cpu_time = 0.028s
2.59/2.64 c #wall_clock_time = 0.028s
2.59/2.64 c #decision = 627
2.59/2.64 c #random_decision = 0
2.59/2.64 c #conflict = 1
2.59/2.64 c #restart = 0
2.59/2.64 c BCD2: found a new core of size 33: cost of the new core is >=1
2.59/2.64 c lower bound updated to 38
2.59/2.64 c BCD2: 38 <= obj <= 35715
2.59/2.64 c BCD2: #cores=38, #unrelaxed=1903, #relaxed=975, #hardened=2
2.59/2.64 c BCD2: #sat=1 #unsat=39 bias=39/40
2.59/2.64 c Solving starts ...
2.59/2.64 c ============================[ Search Statistics ]============================
2.59/2.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.59/2.64 c | | | | Limit GC | Var | Constra
2.59/2.64 c =============================================================================
2.59/2.64 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.59/2.67 c 0.0s | 0 | 649 | 1 | 2710 0 | 3956 | 65
2.59/2.67 c #cpu_time = 0.032s
2.59/2.67 c #wall_clock_time = 0.032s
2.59/2.67 c #decision = 649
2.59/2.67 c #random_decision = 0
2.59/2.67 c #conflict = 1
2.59/2.67 c #restart = 0
2.59/2.67 c BCD2: found a new core of size 34: cost of the new core is >=1
2.59/2.67 c lower bound updated to 39
2.59/2.67 c BCD2: 39 <= obj <= 35715
2.59/2.67 c BCD2: #cores=39, #unrelaxed=1869, #relaxed=1009, #hardened=2
2.59/2.67 c BCD2: #sat=1 #unsat=40 bias=40/41
2.59/2.67 c Solving starts ...
2.59/2.67 c ============================[ Search Statistics ]============================
2.59/2.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.59/2.67 c | | | | Limit GC | Var | Constra
2.59/2.67 c =============================================================================
2.59/2.67 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.68/2.70 c 0.0s | 0 | 669 | 1 | 2710 0 | 3956 | 65
2.68/2.70 c #cpu_time = 0.028s
2.68/2.70 c #wall_clock_time = 0.028s
2.68/2.70 c #decision = 669
2.68/2.70 c #random_decision = 0
2.68/2.70 c #conflict = 1
2.68/2.70 c #restart = 0
2.68/2.70 c BCD2: found a new core of size 32: cost of the new core is >=1
2.68/2.70 c lower bound updated to 40
2.68/2.70 c BCD2: 40 <= obj <= 35715
2.68/2.70 c BCD2: #cores=40, #unrelaxed=1837, #relaxed=1041, #hardened=2
2.68/2.70 c BCD2: #sat=1 #unsat=41 bias=41/42
2.68/2.70 c Solving starts ...
2.68/2.70 c ============================[ Search Statistics ]============================
2.68/2.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.68/2.70 c | | | | Limit GC | Var | Constra
2.68/2.70 c =============================================================================
2.68/2.70 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.68/2.73 c 0.0s | 0 | 690 | 1 | 2710 0 | 3956 | 65
2.68/2.73 c #cpu_time = 0.026s
2.68/2.73 c #wall_clock_time = 0.026s
2.68/2.73 c #decision = 690
2.68/2.73 c #random_decision = 0
2.68/2.73 c #conflict = 1
2.68/2.73 c #restart = 0
2.68/2.73 c BCD2: found a new core of size 21: cost of the new core is >=1
2.68/2.73 c lower bound updated to 41
2.68/2.73 c BCD2: 41 <= obj <= 35715
2.68/2.73 c BCD2: #cores=41, #unrelaxed=1816, #relaxed=1062, #hardened=2
2.68/2.73 c BCD2: #sat=1 #unsat=42 bias=42/43
2.68/2.73 c Solving starts ...
2.68/2.73 c ============================[ Search Statistics ]============================
2.68/2.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.68/2.73 c | | | | Limit GC | Var | Constra
2.68/2.73 c =============================================================================
2.68/2.73 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.68/2.76 c 0.0s | 0 | 718 | 1 | 2710 0 | 3956 | 65
2.68/2.76 c #cpu_time = 0.031s
2.68/2.76 c #wall_clock_time = 0.031s
2.68/2.76 c #decision = 718
2.68/2.76 c #random_decision = 0
2.68/2.76 c #conflict = 1
2.68/2.76 c #restart = 0
2.68/2.76 c BCD2: found a new core of size 31: cost of the new core is >=1
2.68/2.76 c lower bound updated to 42
2.98/3.03 c BCD2: 42 <= obj <= 35715
2.98/3.03 c BCD2: #cores=42, #unrelaxed=1785, #relaxed=1093, #hardened=2
2.98/3.03 c BCD2: #sat=1 #unsat=43 bias=43/44
2.98/3.03 c Solving starts ...
2.98/3.03 c ============================[ Search Statistics ]============================
2.98/3.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.98/3.03 c | | | | Limit GC | Var | Constra
2.98/3.03 c =============================================================================
2.98/3.03 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.98/3.03 c 0.0s | 0 | 776 | 1 | 2710 0 | 3956 | 65
2.98/3.03 c #cpu_time = 0.029s
2.98/3.03 c #wall_clock_time = 0.029s
2.98/3.03 c #decision = 776
2.98/3.03 c #random_decision = 0
2.98/3.03 c #conflict = 1
2.98/3.03 c #restart = 0
2.98/3.03 c BCD2: found a new core of size 24: cost of the new core is >=1
2.98/3.03 c lower bound updated to 43
2.98/3.03 c BCD2: 43 <= obj <= 35715
2.98/3.03 c BCD2: #cores=43, #unrelaxed=1761, #relaxed=1117, #hardened=2
2.98/3.03 c BCD2: #sat=1 #unsat=44 bias=44/45
2.98/3.03 c Solving starts ...
2.98/3.03 c ============================[ Search Statistics ]============================
2.98/3.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.98/3.03 c | | | | Limit GC | Var | Constra
2.98/3.03 c =============================================================================
2.98/3.03 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.98/3.03 c 0.0s | 0 | 770 | 1 | 2710 0 | 3956 | 65
2.98/3.03 c #cpu_time = 0.026s
2.98/3.03 c #wall_clock_time = 0.026s
2.98/3.03 c #decision = 770
2.98/3.03 c #random_decision = 0
2.98/3.03 c #conflict = 1
2.98/3.03 c #restart = 0
2.98/3.03 c BCD2: found a new core of size 17: cost of the new core is >=1
2.98/3.03 c lower bound updated to 44
2.98/3.03 c BCD2: 44 <= obj <= 35715
2.98/3.03 c BCD2: #cores=44, #unrelaxed=1744, #relaxed=1134, #hardened=2
2.98/3.03 c BCD2: #sat=1 #unsat=45 bias=45/46
2.98/3.03 c Solving starts ...
2.98/3.03 c ============================[ Search Statistics ]============================
2.98/3.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.98/3.03 c | | | | Limit GC | Var | Constra
2.98/3.03 c =============================================================================
2.98/3.03 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.98/3.03 c 0.0s | 0 | 778 | 1 | 2710 0 | 3956 | 65
2.98/3.03 c #cpu_time = 0.028s
2.98/3.03 c #wall_clock_time = 0.028s
2.98/3.03 c #decision = 778
2.98/3.03 c #random_decision = 0
2.98/3.03 c #conflict = 1
2.98/3.03 c #restart = 0
2.98/3.03 c BCD2: found a new core of size 19: cost of the new core is >=1
2.98/3.03 c lower bound updated to 45
2.98/3.03 c BCD2: 45 <= obj <= 35715
2.98/3.03 c BCD2: #cores=45, #unrelaxed=1725, #relaxed=1153, #hardened=2
2.98/3.03 c BCD2: #sat=1 #unsat=46 bias=46/47
2.98/3.03 c Solving starts ...
2.98/3.03 c ============================[ Search Statistics ]============================
2.98/3.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.98/3.03 c | | | | Limit GC | Var | Constra
2.98/3.03 c =============================================================================
2.98/3.03 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.98/3.03 c 0.0s | 0 | 779 | 1 | 2710 0 | 3956 | 65
2.98/3.03 c #cpu_time = 0.027s
2.98/3.03 c #wall_clock_time = 0.028s
2.98/3.03 c #decision = 779
2.98/3.03 c #random_decision = 0
2.98/3.03 c #conflict = 1
2.98/3.03 c #restart = 0
2.98/3.03 c BCD2: found a new core of size 19: cost of the new core is >=1
2.98/3.03 c lower bound updated to 46
2.98/3.03 c BCD2: 46 <= obj <= 35715
2.98/3.03 c BCD2: #cores=46, #unrelaxed=1706, #relaxed=1172, #hardened=2
2.98/3.03 c BCD2: #sat=1 #unsat=47 bias=47/48
2.98/3.03 c Solving starts ...
2.98/3.03 c ============================[ Search Statistics ]============================
2.98/3.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.98/3.03 c | | | | Limit GC | Var | Constra
2.98/3.03 c =============================================================================
2.98/3.03 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.98/3.03 c 0.0s | 0 | 782 | 1 | 2710 0 | 3956 | 65
2.98/3.03 c #cpu_time = 0.028s
2.98/3.03 c #wall_clock_time = 0.028s
2.98/3.03 c #decision = 782
2.98/3.03 c #random_decision = 0
2.98/3.03 c #conflict = 1
2.98/3.03 c #restart = 0
2.98/3.03 c BCD2: found a new core of size 19: cost of the new core is >=1
2.98/3.03 c lower bound updated to 47
2.98/3.03 c BCD2: 47 <= obj <= 35715
2.98/3.03 c BCD2: #cores=47, #unrelaxed=1687, #relaxed=1191, #hardened=2
2.98/3.03 c BCD2: #sat=1 #unsat=48 bias=48/49
2.98/3.03 c Solving starts ...
2.98/3.03 c ============================[ Search Statistics ]============================
2.98/3.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.98/3.03 c | | | | Limit GC | Var | Constra
2.98/3.03 c =============================================================================
2.98/3.03 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.98/3.03 c 0.0s | 0 | 782 | 1 | 2710 0 | 3956 | 65
2.98/3.03 c #cpu_time = 0.026s
2.98/3.03 c #wall_clock_time = 0.026s
2.98/3.03 c #decision = 782
2.98/3.03 c #random_decision = 0
2.98/3.03 c #conflict = 1
2.98/3.03 c #restart = 0
2.98/3.03 c BCD2: found a new core of size 15: cost of the new core is >=1
2.98/3.03 c lower bound updated to 48
2.98/3.03 c BCD2: 48 <= obj <= 35715
2.98/3.03 c BCD2: #cores=48, #unrelaxed=1672, #relaxed=1206, #hardened=2
2.98/3.03 c BCD2: #sat=1 #unsat=49 bias=49/50
2.98/3.03 c Solving starts ...
2.98/3.03 c ============================[ Search Statistics ]============================
2.98/3.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.98/3.03 c | | | | Limit GC | Var | Constra
2.98/3.03 c =============================================================================
2.98/3.03 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.98/3.03 c 0.0s | 0 | 836 | 1 | 2710 0 | 3956 | 65
2.98/3.03 c #cpu_time = 0.030s
2.98/3.03 c #wall_clock_time = 0.030s
2.98/3.03 c #decision = 836
2.98/3.03 c #random_decision = 0
2.98/3.03 c #conflict = 1
2.98/3.03 c #restart = 0
2.98/3.03 c BCD2: found a new core of size 31: cost of the new core is >=1
2.98/3.03 c lower bound updated to 49
2.98/3.03 c BCD2: 49 <= obj <= 35715
2.98/3.03 c BCD2: #cores=49, #unrelaxed=1641, #relaxed=1237, #hardened=2
2.98/3.03 c BCD2: #sat=1 #unsat=50 bias=50/51
2.98/3.03 c Solving starts ...
2.98/3.03 c ============================[ Search Statistics ]============================
2.98/3.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.98/3.03 c | | | | Limit GC | Var | Constra
2.98/3.03 c =============================================================================
2.98/3.03 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
2.98/3.03 c 0.0s | 0 | 857 | 1 | 2710 0 | 3956 | 65
2.98/3.03 c #cpu_time = 0.029s
2.98/3.03 c #wall_clock_time = 0.029s
2.98/3.03 c #decision = 857
2.98/3.03 c #random_decision = 0
2.98/3.03 c #conflict = 1
2.98/3.03 c #restart = 0
2.98/3.03 c BCD2: found a new core of size 18: cost of the new core is >=1
2.98/3.03 c lower bound updated to 50
2.98/3.03 c BCD2: 50 <= obj <= 35715
2.98/3.03 c BCD2: #cores=50, #unrelaxed=1623, #relaxed=1255, #hardened=2
2.98/3.03 c BCD2: #sat=1 #unsat=51 bias=51/52
2.98/3.03 c Solving starts ...
2.98/3.03 c ============================[ Search Statistics ]============================
2.98/3.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.98/3.03 c | | | | Limit GC | Var | Constra
2.98/3.03 c =============================================================================
2.98/3.03 c 0.0s | 0 | 0 | 0 | 2710 0 | 3956 | 65
3.08/3.18 c 0.2s | 1 | 2999 | 100 | 2982 0 | 3956 | 65
3.29/3.32 c 0.3s | 2 | 4951 | 250 | 3281 0 | 3957 | 65
3.58/3.61 c 0.6s | 3 | 7558 | 475 | 3610 0 | 3957 | 65
3.78/3.87 c 0.9s | 4 | 9606 | 813 | 3972 0 | 3958 | 65
4.19/4.29 c 1.3s | 5 | 11129 | 1320 | 4370 0 | 3958 | 65
5.09/5.16 c 2.1s | 6 | 12932 | 2081 | 4807 0 | 3958 | 65
6.29/6.39 c 3.4s | 7 | 15236 | 3223 | 5288 0 | 3958 | 65
8.19/8.26 c 5.2s | 8 | 18254 | 4936 | 5817 0 | 3958 | 65
10.29/10.30 c 7.3s | 8 | 21570 | 7036 | 5817 0 | 3958 | 65
10.79/10.80 c 7.8s | 9 | 22039 | 7506 | 6399 0 | 3958 | 65
12.79/12.83 c 9.8s | 9 | 25175 | 9406 | 6399 0 | 3958 | 65
15.69/15.72 c 12.7s | 9 | 28604 | 10906 | 6399 0 | 3958 | 65
18.09/18.15 c 15.1s | 9 | 29200 | 11106 | 6399 0 | 3958 | 65
20.49/20.56 c 17.5s | 9 | 30016 | 11306 | 7039 0 | 3958 | 65
21.19/21.23 c 18.2s | 10 | 30267 | 11361 | 7039 0 | 3958 | 65
23.19/23.25 c 20.2s | 10 | 33335 | 11661 | 7039 1 | 3958 | 65
25.59/25.68 c 22.7s | 10 | 36059 | 12161 | 7039 1 | 3958 | 65
27.78/27.88 c 24.9s | 10 | 38460 | 12461 | 7039 1 | 3958 | 65
30.08/30.12 c 27.1s | 10 | 39884 | 12661 | 7039 1 | 3958 | 65
32.38/32.47 c 29.5s | 10 | 42359 | 13161 | 7039 1 | 3958 | 65
34.88/34.92 c 31.9s | 10 | 44364 | 13461 | 7039 1 | 3958 | 65
37.28/37.36 c 34.3s | 10 | 47393 | 13861 | 7039 1 | 3958 | 65
39.38/39.46 c 36.4s | 10 | 49624 | 14261 | 7039 1 | 3958 | 65
41.68/41.70 c 38.7s | 10 | 52782 | 14761 | 7039 1 | 3958 | 65
43.99/44.00 c 41.0s | 10 | 56881 | 15261 | 7039 1 | 3958 | 65
45.98/46.01 c 43.0s | 10 | 60198 | 15761 | 7039 1 | 3958 | 65
47.98/48.08 c 45.1s | 10 | 61625 | 16161 | 7039 1 | 3958 | 65
50.38/50.46 c 47.4s | 10 | 63614 | 16561 | 7039 1 | 3958 | 65
52.58/52.60 c 49.6s | 10 | 65239 | 16761 | 7039 1 | 3958 | 65
54.78/54.87 c 51.9s | 10 | 65942 | 16961 | 7039 1 | 3958 | 65
56.88/56.94 c 53.9s | 11 | 66626 | 17144 | 7743 1 | 3958 | 65
59.08/59.15 c 56.1s | 11 | 70343 | 17544 | 7743 1 | 3958 | 65
61.38/61.49 c 58.5s | 11 | 72863 | 17944 | 7743 1 | 3958 | 65
63.58/63.63 c 60.6s | 11 | 76318 | 18444 | 7743 1 | 3958 | 65
65.88/65.91 c 62.9s | 11 | 79879 | 18944 | 7743 2 | 3958 | 65
67.88/67.99 c 65.0s | 11 | 81828 | 19344 | 7743 2 | 3958 | 65
70.58/70.62 c 67.6s | 11 | 82265 | 19744 | 7743 2 | 3958 | 65
72.88/72.91 c 69.9s | 11 | 82685 | 20144 | 7743 2 | 3958 | 65
74.98/75.09 c 72.1s | 11 | 83182 | 20644 | 7743 2 | 3958 | 65
77.18/77.29 c 74.3s | 11 | 85699 | 21044 | 7743 2 | 3958 | 65
79.48/79.56 c 76.5s | 11 | 88704 | 21544 | 7743 2 | 3958 | 65
81.58/81.64 c 78.6s | 11 | 91794 | 21944 | 7743 2 | 3958 | 65
83.98/84.06 c 81.0s | 11 | 95703 | 22444 | 7743 2 | 3958 | 65
86.27/86.39 c 83.4s | 11 | 99749 | 22944 | 7743 2 | 3958 | 65
88.87/88.93 c 85.9s | 11 | 103588 | 23444 | 7743 2 | 3958 | 65
90.87/90.99 c 88.0s | 11 | 103892 | 23744 | 7743 2 | 3958 | 65
93.48/93.56 c 90.5s | 11 | 104316 | 24144 | 7743 2 | 3958 | 65
95.57/95.64 c 92.6s | 11 | 104741 | 24544 | 7743 2 | 3958 | 65
97.88/97.96 c 94.9s | 11 | 106370 | 25044 | 7743 3 | 3958 | 65
99.97/100.07 c 97.1s | 11 | 109463 | 25444 | 7743 3 | 3958 | 65
101.97/102.01 c 99.0s | 12 | 112310 | 25819 | 8518 3 | 3958 | 65
104.17/104.24 c 101s | 12 | 116732 | 26319 | 8518 3 | 3958 | 65
106.37/106.48 c 103s | 12 | 120522 | 26819 | 8518 3 | 3958 | 65
108.57/108.67 c 105s | 12 | 123993 | 27319 | 8518 3 | 3958 | 65
110.97/111.08 c 108s | 12 | 125304 | 27719 | 8518 3 | 3958 | 65
113.47/113.58 c 110s | 12 | 125810 | 28119 | 8518 3 | 3958 | 65
115.67/115.75 c 112s | 12 | 126250 | 28519 | 8518 3 | 3958 | 65
117.87/117.93 c 114s | 12 | 126771 | 29019 | 8518 3 | 3958 | 65
120.37/120.46 c 117s | 12 | 128305 | 29419 | 8518 3 | 3958 | 65
122.87/122.91 c 119s | 12 | 131778 | 29919 | 8518 3 | 3958 | 65
125.48/125.52 c 122s | 12 | 135527 | 30419 | 8518 3 | 3958 | 65
127.58/127.64 c 124s | 12 | 137338 | 30819 | 8518 3 | 3958 | 65
129.67/129.79 c 126s | 12 | 138560 | 31219 | 8518 3 | 3958 | 65
132.17/132.22 c 129s | 12 | 140017 | 31619 | 8518 3 | 3958 | 65
134.27/134.31 c 131s | 12 | 142956 | 32019 | 8518 4 | 3958 | 65
136.27/136.32 c 133s | 12 | 146201 | 32419 | 8518 4 | 3958 | 65
138.47/138.55 c 135s | 12 | 149826 | 32919 | 8518 4 | 3958 | 65
140.47/140.55 c 137s | 12 | 152837 | 33419 | 8518 4 | 3958 | 65
142.67/142.76 c 139s | 12 | 154304 | 33819 | 8518 4 | 3958 | 65
144.67/144.78 c 141s | 12 | 154619 | 34119 | 8518 4 | 3958 | 65
147.27/147.37 c 144s | 12 | 155177 | 34519 | 8518 4 | 3958 | 65
149.67/149.75 c 146s | 12 | 155572 | 34919 | 8518 4 | 3958 | 65
151.87/151.99 c 148s | 12 | 156057 | 35419 | 8518 4 | 3958 | 65
154.36/154.49 c 151s | 12 | 159367 | 35919 | 8518 4 | 3958 | 65
156.76/156.87 c 153s | 12 | 163120 | 36419 | 8518 4 | 3958 | 65
158.86/158.91 c 155s | 12 | 166313 | 36819 | 8518 4 | 3958 | 65
161.06/161.16 c 158s | 12 | 170253 | 37319 | 8518 4 | 3958 | 65
163.46/163.55 c 160s | 12 | 174281 | 37819 | 8518 4 | 3958 | 65
166.07/166.13 c 163s | 12 | 175186 | 38219 | 8518 4 | 3958 | 65
168.16/168.22 c 165s | 12 | 175481 | 38519 | 8518 4 | 3958 | 65
170.06/170.17 c 167s | 13 | 175778 | 38832 | 9370 4 | 3958 | 65
172.06/172.18 c 169s | 13 | 177176 | 39232 | 9370 5 | 3958 | 65
174.46/174.59 c 171s | 13 | 177782 | 39732 | 9370 5 | 3958 | 65
176.96/177.08 c 174s | 13 | 179007 | 40132 | 9370 5 | 3958 | 65
179.37/179.45 c 176s | 13 | 180204 | 40532 | 9370 5 | 3958 | 65
181.46/181.58 c 178s | 13 | 181224 | 40932 | 9370 5 | 3958 | 65
183.66/183.75 c 180s | 13 | 182639 | 41432 | 9370 5 | 3958 | 65
185.76/185.88 c 182s | 13 | 183521 | 41732 | 9370 5 | 3958 | 65
187.86/187.98 c 184s | 13 | 184321 | 42032 | 9370 5 | 3958 | 65
190.46/190.54 c 187s | 13 | 185540 | 42432 | 9370 5 | 3958 | 65
192.65/192.75 c 189s | 13 | 186555 | 42832 | 9370 5 | 3958 | 65
194.86/194.95 c 191s | 13 | 187892 | 43332 | 9370 5 | 3958 | 65
197.36/197.43 c 194s | 13 | 189109 | 43732 | 9370 5 | 3958 | 65
199.86/199.99 c 196s | 13 | 189784 | 44132 | 9370 5 | 3958 | 65
202.16/202.23 c 199s | 13 | 190438 | 44532 | 9370 5 | 3958 | 65
204.46/204.50 c 201s | 13 | 191104 | 45032 | 9370 5 | 3958 | 65
206.77/206.85 c 203s | 13 | 193100 | 45432 | 9370 5 | 3958 | 65
208.76/208.88 c 205s | 13 | 194345 | 45732 | 9370 5 | 3958 | 65
210.86/210.90 c 207s | 13 | 195497 | 46032 | 9370 5 | 3958 | 65
213.37/213.40 c 210s | 13 | 197010 | 46432 | 9370 5 | 3958 | 65
215.67/215.78 c 212s | 13 | 198197 | 46832 | 9370 6 | 3958 | 65
217.66/217.80 c 214s | 13 | 198650 | 47132 | 9370 6 | 3958 | 65
219.76/219.80 c 216s | 13 | 198936 | 47432 | 9370 6 | 3958 | 65
221.96/222.07 c 219s | 13 | 199382 | 47832 | 9370 6 | 3958 | 65
224.16/224.22 c 221s | 13 | 199922 | 48332 | 9370 6 | 3958 | 65
226.36/226.42 c 223s | 13 | 201187 | 48732 | 9370 6 | 3958 | 65
228.76/228.88 c 225s | 13 | 201867 | 49132 | 9370 6 | 3958 | 65
230.96/231.06 c 228s | 13 | 202524 | 49532 | 9370 6 | 3958 | 65
233.26/233.38 c 230s | 13 | 203231 | 50032 | 9370 6 | 3958 | 65
235.46/235.58 c 232s | 13 | 204091 | 50432 | 9370 6 | 3958 | 65
237.76/237.84 c 234s | 13 | 204920 | 50832 | 9370 6 | 3958 | 65
239.96/240.01 c 236s | 13 | 205981 | 51332 | 9370 6 | 3958 | 65
242.16/242.22 c 239s | 13 | 206879 | 51732 | 9370 6 | 3958 | 65
244.26/244.31 c 241s | 13 | 207569 | 52032 | 9370 6 | 3958 | 65
246.85/246.93 c 243s | 13 | 208559 | 52432 | 9370 6 | 3958 | 65
249.15/249.23 c 246s | 13 | 209381 | 52832 | 9370 6 | 3958 | 65
251.35/251.49 c 248s | 13 | 210550 | 53332 | 9370 6 | 3958 | 65
253.95/254.01 c 250s | 13 | 211773 | 53732 | 9370 7 | 3958 | 65
256.15/256.21 c 253s | 13 | 212404 | 54132 | 9370 7 | 3958 | 65
258.46/258.53 c 255s | 13 | 213111 | 54632 | 9370 7 | 3958 | 65
260.95/261.02 c 258s | 13 | 214127 | 55132 | 9370 7 | 3958 | 65
263.15/263.26 c 260s | 13 | 215035 | 55532 | 9370 7 | 3958 | 65
265.45/265.55 c 262s | 13 | 215944 | 56032 | 9370 7 | 3958 | 65
267.95/268.02 c 265s | 13 | 216676 | 56432 | 9370 7 | 3958 | 65
270.45/270.56 c 267s | 13 | 217055 | 56832 | 9370 7 | 3958 | 65
272.55/272.66 c 269s | 13 | 217508 | 57232 | 9370 7 | 3958 | 65
274.75/274.89 c 271s | 13 | 218125 | 57732 | 9370 7 | 3958 | 65
277.16/277.26 c 274s | 13 | 218594 | 58132 | 10307 7 | 3958 | 65
278.45/278.50 c 275s | 14 | 218797 | 58352 | 10307 7 | 3958 | 65
280.65/280.74 c 277s | 14 | 220202 | 58852 | 10307 7 | 3958 | 65
283.35/283.43 c 280s | 14 | 221303 | 59252 | 10307 7 | 3958 | 65
285.85/285.98 c 282s | 14 | 222465 | 59652 | 10307 7 | 3958 | 65
288.15/288.30 c 285s | 14 | 223580 | 60052 | 10307 7 | 3958 | 65
290.55/290.68 c 287s | 14 | 224698 | 60552 | 10307 7 | 3958 | 65
292.95/293.07 c 290s | 14 | 225692 | 60952 | 10307 7 | 3958 | 65
295.15/295.27 c 292s | 14 | 226627 | 61252 | 10307 7 | 3958 | 65
297.74/297.80 c 294s | 14 | 227801 | 61652 | 10307 7 | 3958 | 65
299.84/300.00 c 296s | 14 | 228882 | 62052 | 10307 8 | 3958 | 65
302.34/302.40 c 299s | 14 | 230127 | 62552 | 10307 8 | 3958 | 65
304.84/304.92 c 301s | 14 | 231236 | 62952 | 10307 8 | 3958 | 65
307.34/307.47 c 304s | 14 | 232438 | 63352 | 10307 8 | 3958 | 65
309.64/309.75 c 306s | 14 | 233602 | 63752 | 10307 8 | 3958 | 65
312.04/312.19 c 309s | 14 | 234779 | 64252 | 10307 8 | 3958 | 65
314.55/314.64 c 311s | 14 | 235752 | 64652 | 10307 8 | 3958 | 65
316.64/316.72 c 313s | 14 | 236833 | 64952 | 10307 8 | 3958 | 65
319.14/319.24 c 316s | 14 | 237920 | 65352 | 10307 8 | 3958 | 65
321.34/321.45 c 318s | 14 | 238988 | 65752 | 10307 8 | 3958 | 65
323.74/323.82 c 320s | 14 | 240134 | 66252 | 10307 8 | 3958 | 65
326.24/326.31 c 323s | 14 | 240715 | 66652 | 10307 8 | 3958 | 65
328.44/328.57 c 325s | 14 | 241313 | 67052 | 10307 8 | 3958 | 65
330.64/330.79 c 327s | 14 | 242040 | 67552 | 10307 8 | 3958 | 65
333.25/333.35 c 330s | 14 | 243555 | 67952 | 10307 8 | 3958 | 65
335.84/335.91 c 332s | 14 | 245169 | 68352 | 10307 8 | 3958 | 65
338.04/338.10 c 335s | 14 | 246547 | 68652 | 10307 8 | 3958 | 65
340.14/340.21 c 337s | 14 | 247671 | 68952 | 10307 8 | 3958 | 65
342.54/342.65 c 339s | 14 | 249914 | 69352 | 10307 8 | 3958 | 65
345.04/345.10 c 342s | 14 | 250971 | 69752 | 10307 9 | 3958 | 65
347.04/347.13 c 344s | 14 | 251275 | 70052 | 10307 9 | 3958 | 65
349.43/349.55 c 346s | 14 | 251909 | 70452 | 10307 9 | 3958 | 65
351.43/351.59 c 348s | 14 | 252312 | 70852 | 10307 9 | 3958 | 65
353.63/353.76 c 350s | 14 | 253048 | 71552 | 10307 9 | 3958 | 65
355.83/355.99 c 352s | 14 | 253781 | 72252 | 10307 9 | 3958 | 65
357.93/358.04 c 355s | 14 | 254393 | 72852 | 10307 9 | 3958 | 65
360.13/360.24 c 357s | 14 | 254980 | 73452 | 10307 9 | 3958 | 65
362.43/362.52 c 359s | 14 | 255582 | 74052 | 10307 9 | 3958 | 65
364.73/364.88 c 361s | 14 | 256201 | 74652 | 10307 9 | 3958 | 65
366.83/366.98 c 363s | 14 | 256693 | 75152 | 10307 9 | 3958 | 65
368.93/369.09 c 366s | 14 | 257182 | 75652 | 10307 9 | 3958 | 65
371.13/371.23 c 368s | 14 | 257680 | 76152 | 10307 9 | 3958 | 65
373.43/373.54 c 370s | 14 | 258179 | 76652 | 10307 9 | 3958 | 65
375.83/375.93 c 372s | 14 | 258683 | 77152 | 10307 10 | 3958 | 65
378.23/378.32 c 375s | 14 | 259182 | 77652 | 10307 10 | 3958 | 65
380.54/380.67 c 377s | 14 | 259695 | 78152 | 10307 10 | 3958 | 65
382.93/383.06 c 380s | 14 | 260200 | 78652 | 10307 10 | 3958 | 65
385.23/385.34 c 382s | 14 | 261345 | 79152 | 10307 10 | 3958 | 65
387.33/387.40 c 384s | 14 | 262671 | 79552 | 10307 10 | 3958 | 65
389.83/389.90 c 386s | 14 | 263958 | 80052 | 10307 10 | 3958 | 65
392.03/392.10 c 389s | 14 | 264485 | 80452 | 10307 10 | 3958 | 65
394.23/394.39 c 391s | 14 | 265087 | 80952 | 10307 10 | 3958 | 65
396.53/396.65 c 393s | 14 | 265789 | 81452 | 10307 10 | 3958 | 65
399.13/399.26 c 396s | 14 | 266293 | 81852 | 10307 10 | 3958 | 65
401.23/401.34 c 398s | 14 | 266852 | 82252 | 10307 10 | 3958 | 65
403.23/403.37 c 400s | 14 | 267448 | 82652 | 10307 10 | 3958 | 65
405.63/405.70 c 402s | 14 | 268102 | 83152 | 10307 10 | 3958 | 65
408.13/408.29 c 405s | 14 | 268725 | 83552 | 10307 10 | 3958 | 65
410.62/410.76 c 407s | 14 | 269311 | 83952 | 10307 10 | 3958 | 65
413.22/413.39 c 410s | 14 | 270051 | 84452 | 10307 10 | 3958 | 65
416.72/416.81 c 413s | 14 | 270667 | 84852 | 10307 11 | 3958 | 65
421.24/421.35 c 418s | 14 | 271847 | 85352 | 10307 11 | 3958 | 65
423.33/423.41 c 420s | 14 | 272269 | 85752 | 10307 11 | 3958 | 65
425.53/425.64 c 422s | 14 | 272896 | 86252 | 10307 11 | 3958 | 65
428.03/428.16 c 425s | 14 | 273522 | 86652 | 10307 11 | 3958 | 65
430.23/430.38 c 427s | 14 | 274121 | 87052 | 11338 11 | 3958 | 65
432.63/432.78 c 429s | 14 | 275333 | 87552 | 11338 11 | 3958 | 65
433.13/433.22 c 430s | 15 | 275401 | 87632 | 11338 11 | 3958 | 65
435.43/435.56 c 432s | 15 | 277081 | 88032 | 11338 11 | 3958 | 65
437.73/437.89 c 434s | 15 | 277859 | 88532 | 11338 11 | 3958 | 65
440.23/440.34 c 437s | 15 | 278633 | 88932 | 11338 11 | 3958 | 65
442.23/442.37 c 439s | 15 | 279473 | 89232 | 11338 11 | 3958 | 65
444.83/444.90 c 441s | 15 | 280286 | 89632 | 11338 11 | 3958 | 65
447.13/447.21 c 444s | 15 | 281331 | 90032 | 11338 11 | 3958 | 65
449.52/449.63 c 446s | 15 | 282187 | 90432 | 11338 11 | 3958 | 65
451.72/451.85 c 448s | 15 | 283021 | 90832 | 11338 11 | 3958 | 65
454.02/454.11 c 451s | 15 | 283969 | 91332 | 11338 11 | 3958 | 65
456.43/456.51 c 453s | 15 | 285114 | 91732 | 11338 11 | 3958 | 65
459.02/459.15 c 456s | 15 | 286245 | 92132 | 11338 11 | 3958 | 65
461.32/461.45 c 458s | 15 | 287329 | 92532 | 11338 11 | 3958 | 65
463.52/463.65 c 460s | 15 | 288329 | 92932 | 11338 11 | 3958 | 65
465.72/465.83 c 462s | 15 | 288997 | 93432 | 11338 11 | 3958 | 65
467.82/467.96 c 464s | 15 | 289987 | 93832 | 11338 12 | 3958 | 65
471.31/471.40 c 468s | 15 | 290167 | 93932 | 11338 12 | 3958 | 65
473.71/473.84 c 470s | 15 | 292097 | 94432 | 11338 12 | 3958 | 65
475.81/475.98 c 472s | 15 | 293806 | 94832 | 11338 12 | 3958 | 65
478.01/478.15 c 475s | 15 | 295147 | 95332 | 11338 12 | 3958 | 65
480.11/480.29 c 477s | 15 | 295783 | 95732 | 11338 12 | 3958 | 65
482.21/482.36 c 479s | 15 | 296504 | 96232 | 11338 12 | 3958 | 65
484.31/484.48 c 481s | 15 | 297328 | 96632 | 11338 12 | 3958 | 65
486.92/487.05 c 484s | 15 | 298769 | 97232 | 11338 12 | 3958 | 65
489.22/489.32 c 486s | 15 | 299516 | 97732 | 11338 12 | 3958 | 65
491.52/491.65 c 488s | 15 | 300404 | 98232 | 11338 12 | 3958 | 65
494.02/494.10 c 491s | 15 | 301376 | 98632 | 11338 12 | 3958 | 65
496.22/496.36 c 493s | 15 | 302197 | 99032 | 11338 12 | 3958 | 65
498.32/498.49 c 495s | 15 | 303000 | 99432 | 11338 12 | 3958 | 65
500.62/500.74 c 497s | 15 | 303309 | 99732 | 11338 12 | 3958 | 65
502.62/502.76 c 499s | 15 | 303583 | 100032 | 11338 12 | 3958 | 65
505.02/505.15 c 502s | 15 | 304052 | 100432 | 11338 12 | 3958 | 65
507.31/507.40 c 504s | 15 | 304581 | 100932 | 11338 12 | 3958 | 65
509.32/509.48 c 506s | 15 | 305122 | 101332 | 11338 12 | 3958 | 65
511.71/511.87 c 508s | 15 | 305581 | 101732 | 11338 13 | 3958 | 65
514.11/514.29 c 511s | 15 | 306026 | 102132 | 11338 13 | 3958 | 65
516.41/516.52 c 513s | 15 | 306632 | 102432 | 11338 13 | 3958 | 65
518.71/518.86 c 515s | 15 | 306972 | 102732 | 11338 13 | 3958 | 65
520.71/520.87 c 517s | 15 | 307391 | 103032 | 11338 13 | 3958 | 65
523.11/523.20 c 520s | 15 | 307756 | 103432 | 11338 13 | 3958 | 65
525.41/525.54 c 522s | 15 | 308337 | 103932 | 11338 13 | 3958 | 65
527.71/527.81 c 524s | 15 | 309656 | 104232 | 11338 13 | 3958 | 65
530.12/530.23 c 527s | 15 | 310898 | 104532 | 11338 13 | 3958 | 65
532.61/532.79 c 529s | 15 | 311803 | 104932 | 11338 13 | 3958 | 65
534.91/535.07 c 532s | 15 | 312707 | 105332 | 11338 13 | 3958 | 65
537.01/537.11 c 534s | 15 | 313480 | 105732 | 11338 13 | 3958 | 65
539.41/539.55 c 536s | 15 | 314335 | 106232 | 11338 13 | 3958 | 65
541.41/541.57 c 538s | 15 | 314608 | 106532 | 11338 13 | 3958 | 65
543.81/543.95 c 540s | 15 | 315040 | 106932 | 11338 13 | 3958 | 65
546.01/546.16 c 543s | 15 | 315535 | 107432 | 11338 13 | 3958 | 65
548.01/548.19 c 545s | 15 | 315970 | 107732 | 11338 13 | 3958 | 65
550.41/550.55 c 547s | 15 | 316390 | 108132 | 11338 13 | 3958 | 65
552.71/552.81 c 549s | 15 | 316921 | 108632 | 11338 13 | 3958 | 65
555.11/555.21 c 552s | 15 | 317351 | 109032 | 11338 13 | 3958 | 65
557.11/557.23 c 554s | 15 | 317742 | 109332 | 11338 13 | 3958 | 65
559.61/559.78 c 556s | 15 | 318203 | 109732 | 11338 13 | 3958 | 65
561.81/561.90 c 558s | 15 | 318583 | 110132 | 11338 14 | 3958 | 65
563.91/564.09 c 561s | 15 | 320218 | 110532 | 11338 14 | 3958 | 65
566.21/566.32 c 563s | 15 | 321279 | 110832 | 11338 14 | 3958 | 65
568.51/568.70 c 565s | 15 | 321952 | 111232 | 11338 14 | 3958 | 65
570.61/570.78 c 567s | 15 | 322554 | 111632 | 11338 14 | 3958 | 65
572.71/572.90 c 569s | 15 | 323248 | 112132 | 11338 14 | 3958 | 65
575.31/575.40 c 572s | 15 | 323638 | 112532 | 11338 14 | 3958 | 65
577.41/577.56 c 574s | 15 | 324065 | 112932 | 11338 14 | 3958 | 65
579.71/579.83 c 576s | 15 | 324599 | 113432 | 11338 14 | 3958 | 65
582.20/582.37 c 579s | 15 | 324980 | 113832 | 11338 14 | 3958 | 65
584.40/584.52 c 581s | 15 | 325423 | 114232 | 11338 14 | 3958 | 65
586.40/586.56 c 583s | 15 | 326079 | 114832 | 11338 14 | 3958 | 65
588.60/588.73 c 585s | 15 | 326774 | 115532 | 11338 14 | 3958 | 65
590.71/590.82 c 587s | 15 | 327374 | 116132 | 11338 14 | 3958 | 65
592.91/593.08 c 590s | 15 | 327985 | 116732 | 11338 14 | 3958 | 65
595.20/595.33 c 592s | 15 | 329456 | 117232 | 11338 14 | 3958 | 65
597.31/597.47 c 594s | 15 | 330155 | 117732 | 11338 14 | 3958 | 65
599.51/599.64 c 596s | 15 | 330725 | 118232 | 11338 15 | 3958 | 65
601.90/602.01 c 598s | 15 | 331332 | 118832 | 11338 15 | 3958 | 65
604.00/604.10 c 601s | 15 | 331933 | 119332 | 11338 15 | 3958 | 65
606.11/606.29 c 603s | 15 | 332592 | 119832 | 11338 15 | 3958 | 65
608.40/608.53 c 605s | 15 | 333110 | 120332 | 11338 15 | 3958 | 65
610.70/610.85 c 607s | 15 | 333637 | 120832 | 11338 15 | 3958 | 65
613.00/613.13 c 610s | 15 | 334157 | 121332 | 11338 15 | 3958 | 65
615.10/615.26 c 612s | 15 | 334564 | 121732 | 11338 15 | 3958 | 65
617.10/617.27 c 614s | 15 | 334999 | 122132 | 11338 15 | 3958 | 65
619.70/619.84 c 616s | 15 | 335515 | 122632 | 11338 15 | 3958 | 65
621.80/621.92 c 618s | 15 | 335918 | 123032 | 11338 15 | 3958 | 65
623.90/624.04 c 621s | 15 | 336357 | 123432 | 11338 15 | 3958 | 65
626.39/626.52 c 623s | 15 | 336993 | 123932 | 11338 15 | 3958 | 65
628.69/628.83 c 625s | 15 | 337789 | 124332 | 11338 15 | 3958 | 65
630.69/630.86 c 627s | 15 | 338456 | 124732 | 11338 15 | 3958 | 65
633.19/633.34 c 630s | 15 | 338870 | 125132 | 11338 15 | 3958 | 65
635.29/635.43 c 632s | 15 | 339284 | 125532 | 11338 15 | 3958 | 65
637.79/637.95 c 634s | 15 | 339683 | 125932 | 11338 15 | 3958 | 65
640.89/641.01 c 637s | 15 | 340130 | 126332 | 11338 16 | 3958 | 65
643.19/643.33 c 640s | 15 | 340547 | 126732 | 11338 16 | 3958 | 65
645.70/645.82 c 642s | 15 | 341078 | 127232 | 11338 16 | 3958 | 65
648.09/648.26 c 645s | 15 | 341458 | 127632 | 11338 16 | 3958 | 65
650.59/650.78 c 647s | 15 | 342025 | 128132 | 11338 16 | 3958 | 65
653.09/653.20 c 650s | 15 | 342424 | 128532 | 11338 16 | 3958 | 65
655.50/655.62 c 652s | 15 | 342938 | 129032 | 11338 16 | 3958 | 65
657.59/657.71 c 654s | 15 | 343239 | 129332 | 11338 16 | 3958 | 65
659.90/660.04 c 657s | 15 | 343667 | 129732 | 11338 16 | 3958 | 65
662.29/662.42 c 659s | 15 | 344071 | 130132 | 11338 16 | 3958 | 65
664.30/664.44 c 661s | 15 | 344421 | 130432 | 11338 16 | 3958 | 65
666.29/666.50 c 663s | 15 | 344794 | 130832 | 12472 16 | 3958 | 65
668.99/669.16 c 666s | 15 | 345224 | 131232 | 12472 16 | 3958 | 65
671.09/671.27 c 668s | 15 | 345534 | 131532 | 12472 16 | 3958 | 65
671.29/671.40 c 668s | 16 | 345553 | 131552 | 12472 16 | 3958 | 65
673.29/673.40 c 670s | 16 | 346767 | 131852 | 12472 16 | 3958 | 65
675.39/675.51 c 672s | 16 | 347273 | 132252 | 12472 16 | 3958 | 65
677.49/677.70 c 674s | 16 | 348124 | 132552 | 12472 16 | 3958 | 65
679.98/680.12 c 677s | 16 | 349164 | 132952 | 12472 16 | 3958 | 65
682.08/682.22 c 679s | 16 | 350038 | 133352 | 12472 16 | 3958 | 65
684.19/684.35 c 681s | 16 | 350539 | 133652 | 12472 16 | 3958 | 65
686.38/686.53 c 683s | 16 | 350841 | 133952 | 12472 16 | 3958 | 65
688.67/688.86 c 685s | 16 | 351233 | 134352 | 12472 16 | 3958 | 65
691.07/691.22 c 688s | 16 | 353197 | 134752 | 12472 16 | 3958 | 65
693.17/693.30 c 690s | 16 | 355485 | 135052 | 12472 16 | 3958 | 65
695.27/695.42 c 692s | 16 | 358307 | 135352 | 12472 16 | 3958 | 65
697.27/697.44 c 694s | 16 | 358515 | 135552 | 12472 17 | 3958 | 65
699.86/700.04 c 697s | 16 | 358921 | 135952 | 12472 17 | 3958 | 65
702.06/702.27 c 699s | 16 | 359306 | 136352 | 12472 17 | 3958 | 65
704.26/704.45 c 701s | 16 | 359840 | 136852 | 12472 17 | 3958 | 65
706.76/706.94 c 703s | 16 | 362337 | 137352 | 12472 17 | 3958 | 65
709.37/709.54 c 706s | 16 | 362739 | 137752 | 12472 17 | 3958 | 65
711.67/711.85 c 708s | 16 | 363144 | 138152 | 12472 17 | 3958 | 65
713.96/714.13 c 711s | 16 | 363670 | 138652 | 12472 17 | 3958 | 65
716.25/716.46 c 713s | 16 | 364541 | 139052 | 12472 17 | 3958 | 65
718.35/718.51 c 715s | 16 | 364852 | 139352 | 12472 17 | 3958 | 65
720.75/720.98 c 717s | 16 | 365330 | 139752 | 12472 17 | 3958 | 65
722.85/723.09 c 720s | 16 | 365721 | 140152 | 12472 17 | 3958 | 65
725.35/725.55 c 722s | 16 | 367010 | 140652 | 12472 17 | 3958 | 65
727.94/728.19 c 725s | 16 | 367431 | 141052 | 12472 17 | 3958 | 65
730.35/730.59 c 727s | 16 | 367837 | 141452 | 12472 17 | 3958 | 65
732.74/732.97 c 729s | 16 | 368357 | 141952 | 12472 17 | 3958 | 65
734.94/735.18 c 732s | 16 | 368790 | 142352 | 12472 17 | 3958 | 65
737.04/737.25 c 734s | 16 | 369064 | 142652 | 12472 17 | 3958 | 65
739.34/739.58 c 736s | 16 | 369535 | 143052 | 12472 17 | 3958 | 65
741.54/741.77 c 738s | 16 | 370025 | 143552 | 12472 17 | 3958 | 65
746.94/747.16 c 744s | 16 | 370249 | 143652 | 12472 17 | 3958 | 65
749.05/749.26 c 746s | 16 | 370552 | 143952 | 12472 17 | 3958 | 65
751.15/751.33 c 748s | 16 | 370860 | 144252 | 12472 18 | 3958 | 65
753.24/753.40 c 750s | 16 | 371245 | 144652 | 12472 18 | 3958 | 65
756.14/756.33 c 753s | 16 | 373066 | 145252 | 12472 18 | 3958 | 65
758.54/758.71 c 755s | 16 | 374776 | 145552 | 12472 18 | 3958 | 65
760.94/761.13 c 758s | 16 | 375687 | 145952 | 12472 18 | 3958 | 65
763.14/763.35 c 760s | 16 | 376582 | 146352 | 12472 18 | 3958 | 65
765.44/765.69 c 762s | 16 | 377548 | 146852 | 12472 18 | 3958 | 65
767.64/767.83 c 764s | 16 | 378571 | 147352 | 12472 18 | 3958 | 65
769.94/770.12 c 767s | 16 | 379724 | 147752 | 12472 18 | 3958 | 65
772.04/772.21 c 769s | 16 | 380821 | 148152 | 12472 18 | 3958 | 65
774.24/774.41 c 771s | 16 | 382026 | 148652 | 12472 18 | 3958 | 65
776.44/776.62 c 773s | 16 | 382773 | 149052 | 12472 18 | 3958 | 65
778.83/779.01 c 776s | 16 | 383151 | 149452 | 12472 18 | 3958 | 65
780.84/781.06 c 778s | 16 | 383555 | 149852 | 12472 18 | 3958 | 65
783.23/783.44 c 780s | 16 | 384124 | 150352 | 12472 18 | 3958 | 65
786.03/786.21 c 783s | 16 | 385716 | 150752 | 12472 18 | 3958 | 65
788.03/788.27 c 785s | 16 | 386340 | 151052 | 12472 18 | 3958 | 65
790.43/790.60 c 787s | 16 | 386993 | 151452 | 12472 18 | 3958 | 65
792.83/793.04 c 790s | 16 | 387691 | 151952 | 12472 18 | 3958 | 65
795.23/795.42 c 792s | 16 | 388303 | 152452 | 12472 18 | 3958 | 65
797.73/797.91 c 794s | 16 | 388732 | 152852 | 12472 18 | 3958 | 65
799.83/800.06 c 797s | 16 | 389160 | 153252 | 12472 19 | 3958 | 65
802.13/802.30 c 799s | 16 | 390710 | 153752 | 12472 19 | 3958 | 65
804.22/804.48 c 801s | 16 | 391801 | 154052 | 12472 19 | 3958 | 65
806.52/806.79 c 803s | 16 | 392188 | 154452 | 12472 19 | 3958 | 65
808.92/809.19 c 806s | 16 | 392678 | 154952 | 12472 19 | 3958 | 65
811.02/811.27 c 808s | 16 | 393337 | 155552 | 12472 19 | 3958 | 65
813.42/813.64 c 810s | 16 | 394083 | 156052 | 12472 19 | 3958 | 65
815.62/815.88 c 812s | 16 | 394574 | 156552 | 12472 19 | 3958 | 65
817.82/818.02 c 815s | 16 | 395395 | 157352 | 12472 19 | 3958 | 65
820.02/820.22 c 817s | 16 | 396082 | 158052 | 12472 19 | 3958 | 65
822.02/822.26 c 819s | 16 | 396684 | 158652 | 12472 19 | 3958 | 65
824.22/824.43 c 821s | 16 | 397280 | 159252 | 12472 19 | 3958 | 65
826.52/826.75 c 823s | 16 | 397881 | 159852 | 12472 19 | 3958 | 65
828.92/829.13 c 826s | 16 | 398479 | 160452 | 12472 19 | 3958 | 65
831.02/831.23 c 828s | 16 | 398991 | 160952 | 12472 19 | 3958 | 65
833.22/833.42 c 830s | 16 | 399501 | 161452 | 12472 19 | 3958 | 65
835.52/835.75 c 832s | 16 | 399999 | 161952 | 12472 20 | 3958 | 65
837.71/837.97 c 834s | 16 | 400488 | 162452 | 12472 20 | 3958 | 65
840.01/840.24 c 837s | 16 | 401003 | 162952 | 12472 20 | 3958 | 65
842.31/842.54 c 839s | 16 | 401500 | 163452 | 12472 20 | 3958 | 65
844.62/844.88 c 841s | 16 | 402013 | 163952 | 12472 20 | 3958 | 65
846.71/846.93 c 843s | 16 | 402390 | 164352 | 12472 20 | 3958 | 65
848.91/849.11 c 846s | 16 | 402820 | 164752 | 12472 20 | 3958 | 65
850.91/851.13 c 848s | 16 | 403232 | 165152 | 12472 20 | 3958 | 65
853.21/853.40 c 850s | 16 | 403670 | 165552 | 12472 20 | 3958 | 65
855.62/855.82 c 852s | 16 | 404223 | 166052 | 12472 20 | 3958 | 65
858.11/858.36 c 855s | 16 | 404615 | 166452 | 12472 20 | 3958 | 65
860.71/860.98 c 857s | 16 | 405163 | 166952 | 12472 20 | 3958 | 65
863.31/863.52 c 860s | 16 | 405543 | 167352 | 12472 20 | 3958 | 65
865.31/865.59 c 862s | 16 | 405992 | 167752 | 12472 20 | 3958 | 65
867.51/867.73 c 864s | 16 | 406285 | 168052 | 12472 20 | 3958 | 65
869.91/870.11 c 867s | 16 | 406679 | 168452 | 12472 20 | 3958 | 65
872.31/872.55 c 869s | 16 | 407135 | 168852 | 12472 20 | 3958 | 65
874.31/874.59 c 871s | 16 | 407425 | 169152 | 12472 20 | 3958 | 65
876.51/876.76 c 873s | 16 | 407887 | 169552 | 12472 20 | 3958 | 65
878.81/879.07 c 876s | 16 | 408988 | 169952 | 12472 20 | 3958 | 65
881.20/881.48 c 878s | 16 | 409751 | 170452 | 12472 21 | 3958 | 65
884.70/884.96 c 881s | 16 | 410500 | 170852 | 12472 21 | 3958 | 65
887.19/887.44 c 884s | 16 | 410910 | 171252 | 12472 21 | 3958 | 65
889.29/889.53 c 886s | 16 | 411304 | 171652 | 12472 21 | 3958 | 65
891.80/892.00 c 888s | 16 | 411780 | 172052 | 12472 21 | 3958 | 65
894.20/894.49 c 891s | 16 | 412156 | 172452 | 12472 21 | 3958 | 65
896.79/897.04 c 894s | 16 | 412678 | 172952 | 12472 21 | 3958 | 65
898.79/899.06 c 896s | 16 | 413063 | 173252 | 12472 21 | 3958 | 65
900.89/901.16 c 898s | 16 | 413435 | 173652 | 12472 21 | 3958 | 65
903.69/903.92 c 900s | 16 | 413975 | 174152 | 12472 21 | 3958 | 65
905.79/906.06 c 903s | 16 | 414262 | 174452 | 12472 21 | 3958 | 65
908.28/908.51 c 905s | 16 | 414696 | 174852 | 12472 21 | 3958 | 65
911.08/911.30 c 908s | 16 | 415228 | 175352 | 12472 21 | 3958 | 65
913.08/913.31 c 910s | 16 | 415571 | 175652 | 12472 21 | 3958 | 65
915.38/915.67 c 912s | 16 | 415961 | 176052 | 12472 21 | 3958 | 65
918.17/918.44 c 915s | 16 | 416469 | 176552 | 12472 21 | 3958 | 65
920.48/920.80 c 917s | 16 | 416792 | 176852 | 12472 21 | 3958 | 65
922.68/922.97 c 919s | 16 | 417120 | 177152 | 12472 21 | 3958 | 65
925.27/925.54 c 922s | 16 | 417534 | 177552 | 12472 21 | 3958 | 65
928.46/928.77 c 925s | 16 | 418646 | 178052 | 12472 21 | 3958 | 65
930.56/930.85 c 927s | 16 | 418949 | 178352 | 12472 21 | 3958 | 65
933.06/933.33 c 930s | 16 | 419420 | 178752 | 12472 21 | 3958 | 65
935.36/935.60 c 932s | 16 | 419847 | 179152 | 12472 21 | 3958 | 65
937.46/937.70 c 934s | 16 | 420392 | 179652 | 12472 22 | 3958 | 65
939.96/940.29 c 937s | 16 | 422138 | 179952 | 12472 22 | 3958 | 65
942.56/942.87 c 939s | 16 | 422617 | 180352 | 12472 22 | 3958 | 65
944.85/945.19 c 942s | 16 | 423003 | 180752 | 12472 22 | 3958 | 65
947.05/947.39 c 944s | 16 | 423495 | 181252 | 12472 22 | 3958 | 65
949.35/949.66 c 946s | 16 | 424863 | 181652 | 12472 22 | 3958 | 65
952.05/952.31 c 949s | 16 | 425227 | 182052 | 12472 22 | 3958 | 65
954.15/954.46 c 951s | 16 | 425641 | 182452 | 12472 22 | 3958 | 65
956.45/956.72 c 953s | 16 | 426250 | 182952 | 12472 22 | 3958 | 65
958.96/959.24 c 956s | 16 | 426864 | 183452 | 12472 22 | 3958 | 65
961.35/961.69 c 958s | 16 | 427298 | 183852 | 12472 22 | 3958 | 65
963.65/963.97 c 960s | 16 | 427800 | 184352 | 12472 22 | 3958 | 65
971.35/971.64 c 968s | 16 | 428222 | 184652 | 12472 22 | 3958 | 65
973.85/974.19 c 971s | 16 | 429318 | 185052 | 12472 22 | 3958 | 65
976.44/976.75 c 973s | 16 | 430549 | 185452 | 12472 22 | 3958 | 65
978.75/979.01 c 975s | 16 | 431664 | 185852 | 12472 22 | 3958 | 65
981.14/981.42 c 978s | 16 | 432693 | 186352 | 12472 22 | 3958 | 65
983.15/983.50 c 980s | 16 | 432985 | 186652 | 12472 22 | 3958 | 65
985.54/985.89 c 982s | 16 | 433393 | 187052 | 12472 22 | 3958 | 65
987.84/988.10 c 985s | 16 | 433883 | 187552 | 12472 22 | 3958 | 65
989.85/990.18 c 987s | 16 | 434652 | 187852 | 12472 22 | 3958 | 65
992.24/992.53 c 989s | 16 | 436189 | 188152 | 12472 23 | 3958 | 65
994.44/994.71 c 991s | 16 | 437350 | 188452 | 12472 23 | 3958 | 65
996.84/997.14 c 994s | 16 | 437737 | 188852 | 12472 23 | 3958 | 65
999.24/999.50 c 996s | 16 | 438241 | 189352 | 12472 23 | 3958 | 65
1001.53/1001.90 c 998s | 16 | 438840 | 189852 | 12472 23 | 3958 | 65
1003.93/1004.27 c 1001s | 16 | 439258 | 190252 | 12472 23 | 3958 | 65
1006.35/1006.66 c 1003s | 16 | 439737 | 190752 | 12472 23 | 3958 | 65
1008.55/1008.89 c 1005s | 16 | 441468 | 191152 | 12472 23 | 3958 | 65
1011.04/1011.35 c 1008s | 16 | 442362 | 191552 | 12472 23 | 3958 | 65
1013.44/1013.74 c 1010s | 16 | 442936 | 192052 | 12472 23 | 3958 | 65
1015.74/1016.04 c 1013s | 16 | 443653 | 192552 | 12472 23 | 3958 | 65
1018.23/1018.53 c 1015s | 16 | 444068 | 192952 | 12472 23 | 3958 | 65
1020.43/1020.77 c 1017s | 16 | 444534 | 193352 | 12472 23 | 3958 | 65
1022.63/1022.96 c 1019s | 16 | 445032 | 193852 | 12472 23 | 3958 | 65
1025.23/1025.51 c 1022s | 16 | 446664 | 194252 | 12472 23 | 3958 | 65
1027.63/1027.96 c 1024s | 16 | 447038 | 194652 | 12472 23 | 3958 | 65
1029.83/1030.12 c 1027s | 16 | 447440 | 195052 | 12472 23 | 3958 | 65
1031.93/1032.24 c 1029s | 16 | 448067 | 195652 | 12472 23 | 3958 | 65
1033.93/1034.29 c 1031s | 16 | 448762 | 196352 | 13720 23 | 3958 | 65
1036.03/1036.32 c 1033s | 16 | 449361 | 196952 | 13720 23 | 3958 | 65
1037.72/1038.03 c 1035s | 17 | 449846 | 197432 | 13720 23 | 3958 | 65
1040.22/1040.59 c 1037s | 17 | 451066 | 197732 | 13720 24 | 3958 | 65
1042.63/1042.94 c 1039s | 17 | 451490 | 198132 | 13720 24 | 3958 | 65
1045.22/1045.50 c 1042s | 17 | 452037 | 198632 | 13720 24 | 3958 | 65
1047.32/1047.62 c 1044s | 17 | 452319 | 198932 | 13720 24 | 3958 | 65
1049.72/1050.09 c 1047s | 17 | 452811 | 199332 | 13720 24 | 3958 | 65
1051.92/1052.22 c 1049s | 17 | 453290 | 199732 | 13720 24 | 3958 | 65
1053.92/1054.27 c 1051s | 17 | 453665 | 200032 | 13720 24 | 3958 | 65
1056.21/1056.58 c 1053s | 17 | 454126 | 200432 | 13720 24 | 3958 | 65
1058.41/1058.76 c 1055s | 17 | 454563 | 200832 | 13720 24 | 3958 | 65
1060.61/1060.93 c 1057s | 17 | 454866 | 201132 | 13720 24 | 3958 | 65
1062.81/1063.12 c 1060s | 17 | 455301 | 201532 | 13720 24 | 3958 | 65
1065.11/1065.42 c 1062s | 17 | 455845 | 202032 | 13720 24 | 3958 | 65
1067.21/1067.52 c 1064s | 17 | 456220 | 202332 | 13720 24 | 3958 | 65
1069.81/1070.11 c 1067s | 17 | 456589 | 202732 | 13720 24 | 3958 | 65
1072.01/1072.35 c 1069s | 17 | 457129 | 203232 | 13720 24 | 3958 | 65
1074.71/1075.08 c 1072s | 17 | 457533 | 203632 | 13720 24 | 3958 | 65
1077.01/1077.34 c 1074s | 17 | 457985 | 204032 | 13720 24 | 3958 | 65
1079.41/1079.73 c 1076s | 17 | 458530 | 204532 | 13720 24 | 3958 | 65
1081.41/1081.77 c 1078s | 17 | 458813 | 204832 | 13720 24 | 3958 | 65
1083.71/1084.00 c 1080s | 17 | 459300 | 205232 | 13720 24 | 3958 | 65
1086.10/1086.49 c 1083s | 17 | 459733 | 205632 | 13720 24 | 3958 | 65
1088.71/1089.02 c 1086s | 17 | 460187 | 206032 | 13720 24 | 3958 | 65
1091.01/1091.39 c 1088s | 17 | 460674 | 206432 | 13720 24 | 3958 | 65
1093.70/1094.00 c 1090s | 17 | 461086 | 206832 | 13720 24 | 3958 | 65
1095.70/1096.05 c 1093s | 17 | 461513 | 207232 | 13720 25 | 3958 | 65
1098.30/1098.69 c 1095s | 17 | 462034 | 207632 | 13720 25 | 3958 | 65
1100.40/1100.75 c 1097s | 17 | 462945 | 208032 | 13720 25 | 3958 | 65
1102.70/1103.00 c 1099s | 17 | 464061 | 208532 | 13720 25 | 3958 | 65
1105.10/1105.42 c 1102s | 17 | 464684 | 208932 | 13720 25 | 3958 | 65
1107.29/1107.61 c 1104s | 17 | 465120 | 209332 | 13720 25 | 3958 | 65
1109.49/1109.81 c 1106s | 17 | 466343 | 209832 | 13720 25 | 3958 | 65
1111.69/1112.05 c 1109s | 17 | 467286 | 210332 | 13720 25 | 3958 | 65
1113.79/1114.15 c 1111s | 17 | 467801 | 210832 | 13720 25 | 3958 | 65
1115.98/1116.39 c 1113s | 17 | 468433 | 211432 | 13720 25 | 3958 | 65
1118.08/1118.47 c 1115s | 17 | 469128 | 212132 | 13720 25 | 3958 | 65
1120.28/1120.61 c 1117s | 17 | 469734 | 212732 | 13720 25 | 3958 | 65
1122.58/1122.92 c 1119s | 17 | 470332 | 213332 | 13720 25 | 3958 | 65
1124.68/1125.03 c 1122s | 17 | 470849 | 213832 | 13720 25 | 3958 | 65
1126.78/1127.12 c 1124s | 17 | 471533 | 214332 | 13720 25 | 3958 | 65
1129.08/1129.48 c 1126s | 17 | 472131 | 214832 | 13720 25 | 3958 | 65
1131.58/1131.99 c 1128s | 17 | 473021 | 215332 | 13720 25 | 3958 | 65
1134.18/1134.51 c 1131s | 17 | 473559 | 215832 | 13720 25 | 3958 | 65
1136.17/1136.57 c 1133s | 17 | 473994 | 216232 | 13720 25 | 3958 | 65
1138.37/1138.77 c 1135s | 17 | 474443 | 216632 | 13720 26 | 3958 | 65
1140.57/1140.91 c 1137s | 17 | 474892 | 217032 | 13720 26 | 3958 | 65
1142.87/1143.22 c 1140s | 17 | 475821 | 217532 | 13720 26 | 3958 | 65
1145.27/1145.61 c 1142s | 17 | 476625 | 218032 | 13720 26 | 3958 | 65
1147.77/1148.16 c 1145s | 17 | 477212 | 218532 | 13720 26 | 3958 | 65
1150.17/1150.53 c 1147s | 17 | 477670 | 218932 | 13720 26 | 3958 | 65
1152.76/1153.16 c 1150s | 17 | 478211 | 219432 | 13720 26 | 3958 | 65
1155.16/1155.50 c 1152s | 17 | 478683 | 219832 | 13720 26 | 3958 | 65
1157.26/1157.62 c 1154s | 17 | 479170 | 220232 | 13720 26 | 3958 | 65
1159.66/1160.00 c 1156s | 17 | 479662 | 220632 | 13720 26 | 3958 | 65
1161.66/1162.01 c 1158s | 17 | 479998 | 220932 | 13720 26 | 3958 | 65
1163.96/1164.38 c 1161s | 17 | 480483 | 221332 | 13720 26 | 3958 | 65
1166.26/1166.64 c 1163s | 17 | 480783 | 221632 | 13720 26 | 3958 | 65
1168.76/1169.10 c 1166s | 17 | 481210 | 222032 | 13720 26 | 3958 | 65
1171.16/1171.50 c 1168s | 17 | 481642 | 222432 | 13720 26 | 3958 | 65
1173.46/1173.88 c 1170s | 17 | 482102 | 222832 | 13720 26 | 3958 | 65
1177.76/1178.19 c 1175s | 17 | 483189 | 223232 | 13720 26 | 3958 | 65
1180.45/1180.84 c 1177s | 17 | 485083 | 223532 | 13720 26 | 3958 | 65
1182.75/1183.19 c 1180s | 17 | 485906 | 223932 | 13720 26 | 3958 | 65
1185.15/1185.50 c 1182s | 17 | 487135 | 224432 | 13720 26 | 3958 | 65
1187.65/1188.09 c 1185s | 17 | 487800 | 224932 | 13720 26 | 3958 | 65
1189.95/1190.31 c 1187s | 17 | 488178 | 225332 | 13720 26 | 3958 | 65
1192.55/1192.94 c 1189s | 17 | 489986 | 225832 | 13720 27 | 3958 | 65
1194.95/1195.36 c 1192s | 17 | 491009 | 226232 | 13720 27 | 3958 | 65
1196.94/1197.37 c 1194s | 17 | 491612 | 226632 | 13720 27 | 3958 | 65
1199.04/1199.48 c 1196s | 17 | 492300 | 227132 | 13720 27 | 3958 | 65
1201.14/1201.56 c 1198s | 17 | 492725 | 227532 | 13720 27 | 3958 | 65
1203.24/1203.69 c 1200s | 17 | 493287 | 228032 | 13720 27 | 3958 | 65
1205.44/1205.87 c 1202s | 17 | 493700 | 228432 | 13720 27 | 3958 | 65
1207.45/1207.87 c 1204s | 17 | 494259 | 228932 | 13720 27 | 3958 | 65
1209.65/1210.04 c 1207s | 17 | 495477 | 229632 | 13720 27 | 3958 | 65
1211.64/1212.06 c 1209s | 17 | 496123 | 230232 | 13720 27 | 3958 | 65
1213.74/1214.17 c 1211s | 17 | 496737 | 230832 | 13720 27 | 3958 | 65
1216.04/1216.45 c 1213s | 17 | 497476 | 231432 | 13720 27 | 3958 | 65
1218.34/1218.80 c 1215s | 17 | 498104 | 232032 | 13720 27 | 3958 | 65
1220.54/1220.94 c 1217s | 17 | 498615 | 232532 | 13720 27 | 3958 | 65
1222.94/1223.35 c 1220s | 17 | 499239 | 233132 | 13720 27 | 3958 | 65
1225.14/1225.58 c 1222s | 17 | 499760 | 233632 | 13720 27 | 3958 | 65
1227.73/1228.10 c 1225s | 17 | 500940 | 234132 | 13720 27 | 3958 | 65
1230.03/1230.42 c 1227s | 17 | 501501 | 234632 | 13720 27 | 3958 | 65
1232.53/1232.91 c 1229s | 17 | 502030 | 235132 | 13720 28 | 3958 | 65
1234.73/1235.12 c 1232s | 17 | 502582 | 235632 | 13720 28 | 3958 | 65
1236.73/1237.14 c 1234s | 17 | 502991 | 236032 | 13720 28 | 3958 | 65
1239.13/1239.53 c 1236s | 17 | 503513 | 236532 | 13720 28 | 3958 | 65
1241.54/1241.91 c 1238s | 17 | 504033 | 237032 | 13720 28 | 3958 | 65
1243.73/1244.16 c 1241s | 17 | 504571 | 237532 | 13720 28 | 3958 | 65
1245.93/1246.35 c 1243s | 17 | 504998 | 237932 | 13720 28 | 3958 | 65
1247.92/1248.39 c 1245s | 17 | 505408 | 238332 | 13720 28 | 3958 | 65
1250.33/1250.76 c 1247s | 17 | 505842 | 238732 | 13720 28 | 3958 | 65
1252.53/1252.96 c 1249s | 17 | 506251 | 239132 | 13720 28 | 3958 | 65
1254.83/1255.28 c 1252s | 17 | 506683 | 239532 | 13720 28 | 3958 | 65
1257.02/1257.43 c 1254s | 17 | 507151 | 239932 | 13720 28 | 3958 | 65
1259.42/1259.87 c 1256s | 17 | 507556 | 240332 | 13720 28 | 3958 | 65
1261.72/1262.18 c 1259s | 17 | 507969 | 240732 | 13720 28 | 3958 | 65
1264.32/1264.71 c 1261s | 17 | 508406 | 241132 | 13720 28 | 3958 | 65
1266.61/1267.06 c 1264s | 17 | 508846 | 241532 | 13720 28 | 3958 | 65
1268.71/1269.18 c 1266s | 17 | 509168 | 241832 | 13720 28 | 3958 | 65
1271.22/1271.65 c 1268s | 17 | 509569 | 242232 | 13720 28 | 3958 | 65
1273.31/1273.76 c 1270s | 17 | 510125 | 242632 | 13720 28 | 3958 | 65
1275.72/1276.10 c 1273s | 17 | 510559 | 243032 | 13720 28 | 3958 | 65
1278.41/1278.80 c 1275s | 17 | 510994 | 243432 | 13720 28 | 3958 | 65
1280.61/1281.08 c 1278s | 17 | 511448 | 243732 | 13720 28 | 3958 | 65
1283.31/1283.74 c 1280s | 17 | 511745 | 244032 | 13720 28 | 3958 | 65
1285.51/1286.00 c 1282s | 17 | 512082 | 244332 | 13720 28 | 3958 | 65
1288.01/1288.49 c 1285s | 17 | 512380 | 244632 | 13720 29 | 3958 | 65
1292.31/1292.70 c 1289s | 17 | 512830 | 244932 | 13720 29 | 3958 | 65
1294.42/1294.84 c 1291s | 17 | 513331 | 245432 | 13720 29 | 3958 | 65
1296.81/1297.20 c 1294s | 17 | 513797 | 245832 | 13720 29 | 3958 | 65
1298.91/1299.36 c 1296s | 17 | 514315 | 246132 | 13720 29 | 3958 | 65
1300.91/1301.37 c 1298s | 17 | 514609 | 246432 | 13720 29 | 3958 | 65
1303.21/1303.66 c 1300s | 17 | 515007 | 246832 | 13720 29 | 3958 | 65
1305.61/1306.03 c 1303s | 17 | 515688 | 247332 | 13720 29 | 3958 | 65
1307.80/1308.22 c 1305s | 17 | 516314 | 247632 | 13720 29 | 3958 | 65
1310.20/1310.68 c 1307s | 17 | 516753 | 248032 | 13720 29 | 3958 | 65
1312.40/1312.84 c 1309s | 17 | 517149 | 248432 | 13720 29 | 3958 | 65
1314.70/1315.11 c 1312s | 17 | 517790 | 248832 | 13720 29 | 3958 | 65
1316.80/1317.21 c 1314s | 17 | 518091 | 249132 | 13720 29 | 3958 | 65
1319.20/1319.63 c 1316s | 17 | 518537 | 249532 | 13720 29 | 3958 | 65
1321.60/1322.02 c 1319s | 17 | 519207 | 250032 | 13720 29 | 3958 | 65
1323.70/1324.13 c 1321s | 17 | 519954 | 250332 | 13720 29 | 3958 | 65
1325.80/1326.22 c 1323s | 17 | 520866 | 250632 | 13720 29 | 3958 | 65
1328.30/1328.70 c 1325s | 17 | 522023 | 251032 | 13720 29 | 3958 | 65
1330.30/1330.72 c 1327s | 17 | 522927 | 251432 | 13720 29 | 3958 | 65
1333.00/1333.43 c 1330s | 17 | 523598 | 251832 | 13720 29 | 3958 | 65
1335.10/1335.55 c 1332s | 17 | 523897 | 252132 | 13720 29 | 3958 | 65
1337.49/1337.90 c 1334s | 17 | 524295 | 252532 | 13720 29 | 3958 | 65
1339.50/1339.90 c 1336s | 17 | 524771 | 252932 | 13720 29 | 3958 | 65
1342.89/1343.32 c 1340s | 17 | 525712 | 253232 | 13720 29 | 3958 | 65
1345.19/1345.68 c 1342s | 17 | 526189 | 253532 | 13720 29 | 3958 | 65
1347.39/1347.89 c 1344s | 17 | 526483 | 253832 | 13720 29 | 3958 | 65
1349.89/1350.34 c 1347s | 17 | 526817 | 254132 | 13720 30 | 3958 | 65
1357.88/1358.36 c 1355s | 17 | 527448 | 254532 | 13720 30 | 3958 | 65
1360.08/1360.51 c 1357s | 17 | 527860 | 254832 | 13720 30 | 3958 | 65
1362.28/1362.72 c 1359s | 17 | 528169 | 255132 | 13720 30 | 3958 | 65
1364.79/1365.23 c 1362s | 17 | 528566 | 255532 | 13720 30 | 3958 | 65
1367.28/1367.70 c 1364s | 17 | 529108 | 256032 | 13720 30 | 3958 | 65
1372.29/1372.71 c 1369s | 17 | 529729 | 256332 | 13720 30 | 3958 | 65
1374.79/1375.28 c 1372s | 17 | 530904 | 256732 | 13720 30 | 3958 | 65
1377.09/1377.54 c 1374s | 17 | 532071 | 257132 | 13720 30 | 3958 | 65
1379.39/1379.89 c 1376s | 17 | 533268 | 257632 | 13720 30 | 3958 | 65
1381.69/1382.12 c 1379s | 17 | 534042 | 258032 | 13720 30 | 3958 | 65
1383.78/1384.23 c 1381s | 17 | 534322 | 258332 | 13720 30 | 3958 | 65
1386.38/1386.83 c 1383s | 17 | 534741 | 258732 | 13720 30 | 3958 | 65
1388.68/1389.11 c 1386s | 17 | 535260 | 259232 | 13720 30 | 3958 | 65
1391.48/1391.95 c 1388s | 17 | 536153 | 259632 | 13720 30 | 3958 | 65
1394.08/1394.52 c 1391s | 17 | 537862 | 259932 | 13720 30 | 3958 | 65
1396.18/1396.60 c 1393s | 17 | 538148 | 260232 | 13720 30 | 3958 | 65
1398.68/1399.15 c 1396s | 17 | 538544 | 260632 | 13720 30 | 3958 | 65
1400.78/1401.22 c 1398s | 17 | 538930 | 261032 | 13720 30 | 3958 | 65
1403.48/1403.96 c 1400s | 17 | 541038 | 261432 | 13720 30 | 3958 | 65
1406.08/1406.53 c 1403s | 17 | 541942 | 261832 | 13720 30 | 3958 | 65
1408.48/1408.99 c 1405s | 17 | 542365 | 262232 | 13720 30 | 3958 | 65
1410.78/1411.25 c 1408s | 17 | 542846 | 262732 | 13720 30 | 3958 | 65
1412.88/1413.33 c 1410s | 17 | 543172 | 263032 | 13720 30 | 3958 | 65
1414.88/1415.37 c 1412s | 17 | 543499 | 263332 | 13720 31 | 3958 | 65
1416.98/1417.47 c 1414s | 17 | 543911 | 263732 | 13720 31 | 3958 | 65
1418.98/1419.48 c 1416s | 17 | 544621 | 264232 | 13720 31 | 3958 | 65
1421.28/1421.73 c 1418s | 17 | 547009 | 264532 | 13720 31 | 3958 | 65
1423.78/1424.22 c 1421s | 17 | 547449 | 264932 | 13720 31 | 3958 | 65
1426.29/1426.72 c 1423s | 17 | 547848 | 265332 | 13720 31 | 3958 | 65
1428.58/1429.08 c 1426s | 17 | 548339 | 265832 | 13720 31 | 3958 | 65
1430.88/1431.34 c 1428s | 17 | 549167 | 266632 | 13720 31 | 3958 | 65
1433.18/1433.64 c 1430s | 17 | 549869 | 267332 | 13720 31 | 3958 | 65
1435.28/1435.78 c 1432s | 17 | 550471 | 267932 | 13720 31 | 3958 | 65
1437.48/1437.99 c 1434s | 17 | 551071 | 268532 | 13720 31 | 3958 | 65
1439.88/1440.38 c 1437s | 17 | 551680 | 269132 | 13720 31 | 3958 | 65
1442.38/1442.84 c 1439s | 17 | 552269 | 269732 | 13720 31 | 3958 | 65
1444.48/1444.99 c 1441s | 17 | 552772 | 270232 | 13720 31 | 3958 | 65
1446.68/1447.16 c 1444s | 17 | 553281 | 270732 | 13720 31 | 3958 | 65
1448.87/1449.39 c 1446s | 17 | 553779 | 271232 | 13720 31 | 3958 | 65
1451.27/1451.76 c 1448s | 17 | 554270 | 271732 | 13720 31 | 3958 | 65
1453.67/1454.14 c 1451s | 17 | 554789 | 272232 | 13720 31 | 3958 | 65
1456.17/1456.67 c 1453s | 17 | 555283 | 272732 | 13720 32 | 3958 | 65
1458.57/1459.01 c 1455s | 17 | 555795 | 273232 | 13720 32 | 3958 | 65
1460.87/1461.36 c 1458s | 17 | 556278 | 273732 | 13720 32 | 3958 | 65
1463.17/1463.63 c 1460s | 17 | 556685 | 274132 | 13720 32 | 3958 | 65
1465.77/1466.24 c 1463s | 17 | 557199 | 274632 | 13720 32 | 3958 | 65
1467.87/1468.33 c 1465s | 17 | 557591 | 275032 | 13720 32 | 3958 | 65
1470.07/1470.58 c 1467s | 17 | 558005 | 275432 | 13720 32 | 3958 | 65
1472.58/1473.03 c 1470s | 17 | 558524 | 275932 | 13720 32 | 3958 | 65
1474.97/1475.41 c 1472s | 17 | 559371 | 276332 | 13720 32 | 3958 | 65
1477.47/1477.94 c 1474s | 17 | 559904 | 276832 | 13720 32 | 3958 | 65
1479.97/1480.43 c 1477s | 17 | 560286 | 277232 | 13720 32 | 3958 | 65
1482.67/1483.10 c 1480s | 17 | 560782 | 277732 | 13720 32 | 3958 | 65
1485.27/1485.70 c 1482s | 17 | 561200 | 278132 | 13720 32 | 3958 | 65
1487.47/1487.91 c 1484s | 17 | 561612 | 278532 | 13720 32 | 3958 | 65
1489.67/1490.18 c 1487s | 17 | 561897 | 278832 | 13720 32 | 3958 | 65
1492.17/1492.69 c 1489s | 17 | 562289 | 279232 | 13720 32 | 3958 | 65
1494.87/1495.31 c 1492s | 17 | 562945 | 279632 | 13720 32 | 3958 | 65
1496.97/1497.47 c 1494s | 17 | 563234 | 279932 | 13720 32 | 3958 | 65
1499.27/1499.78 c 1496s | 17 | 563699 | 280332 | 13720 32 | 3958 | 65
1501.67/1502.15 c 1499s | 17 | 564146 | 280632 | 13720 32 | 3958 | 65
1504.06/1504.54 c 1501s | 17 | 564452 | 280932 | 13720 32 | 3958 | 65
1506.16/1506.61 c 1503s | 17 | 564752 | 281232 | 13720 32 | 3958 | 65
1508.26/1508.73 c 1505s | 17 | 565063 | 281532 | 13720 32 | 3958 | 65
1510.76/1511.26 c 1508s | 17 | 565363 | 281832 | 13720 32 | 3958 | 65
1513.56/1514.03 c 1511s | 17 | 565540 | 282032 | 13720 33 | 3958 | 65
1518.97/1519.40 c 1516s | 17 | 566063 | 282532 | 13720 33 | 3958 | 65
1521.36/1521.82 c 1518s | 17 | 566346 | 282832 | 13720 33 | 3958 | 65
1523.36/1523.85 c 1520s | 17 | 566662 | 283132 | 13720 33 | 3958 | 65
1525.46/1525.93 c 1522s | 17 | 567063 | 283532 | 13720 33 | 3958 | 65
1527.86/1528.31 c 1525s | 17 | 567368 | 283832 | 13720 33 | 3958 | 65
1529.86/1530.32 c 1527s | 17 | 567656 | 284132 | 13720 33 | 3958 | 65
1532.56/1533.01 c 1529s | 17 | 568149 | 284632 | 13720 33 | 3958 | 65
1534.96/1535.43 c 1532s | 17 | 568466 | 284932 | 13720 33 | 3958 | 65
1537.16/1537.65 c 1534s | 17 | 568768 | 285232 | 13720 33 | 3958 | 65
1539.67/1540.15 c 1537s | 17 | 569163 | 285632 | 13720 33 | 3958 | 65
1541.77/1542.26 c 1539s | 17 | 569668 | 286032 | 13720 33 | 3958 | 65
1543.86/1544.33 c 1541s | 17 | 571442 | 286432 | 13720 33 | 3958 | 65
1547.86/1548.35 c 1545s | 17 | 571778 | 286632 | 13720 33 | 3958 | 65
1549.96/1550.48 c 1547s | 17 | 572614 | 286932 | 13720 33 | 3958 | 65
1552.26/1552.76 c 1549s | 17 | 573515 | 287332 | 13720 33 | 3958 | 65
1554.26/1554.76 c 1551s | 17 | 574759 | 287732 | 13720 33 | 3958 | 65
1556.76/1557.29 c 1554s | 17 | 575738 | 288132 | 13720 33 | 3958 | 65
1559.36/1559.86 c 1556s | 17 | 576594 | 288432 | 13720 33 | 3958 | 65
1561.66/1562.13 c 1559s | 17 | 577513 | 288732 | 13720 33 | 3958 | 65
1563.76/1564.29 c 1561s | 17 | 578315 | 289032 | 13720 33 | 3958 | 65
1566.25/1566.73 c 1563s | 17 | 579210 | 289432 | 13720 33 | 3958 | 65
1568.26/1568.78 c 1565s | 17 | 580565 | 289832 | 13720 33 | 3958 | 65
1570.65/1571.14 c 1568s | 17 | 581426 | 290232 | 13720 33 | 3958 | 65
1572.95/1573.48 c 1570s | 17 | 582251 | 290632 | 13720 33 | 3958 | 65
1575.05/1575.58 c 1572s | 17 | 583804 | 291032 | 13720 33 | 3958 | 65
1577.15/1577.65 c 1574s | 17 | 584527 | 291332 | 13720 34 | 3958 | 65
1579.75/1580.22 c 1577s | 17 | 585681 | 291732 | 13720 34 | 3958 | 65
1582.15/1582.69 c 1579s | 17 | 586364 | 292032 | 13720 34 | 3958 | 65
1584.55/1585.00 c 1581s | 17 | 587470 | 292432 | 13720 34 | 3958 | 65
1586.75/1587.24 c 1584s | 17 | 588677 | 292932 | 13720 34 | 3958 | 65
1589.35/1589.82 c 1586s | 17 | 590099 | 293432 | 13720 34 | 3958 | 65
1591.45/1591.98 c 1588s | 17 | 591121 | 293832 | 13720 34 | 3958 | 65
1593.75/1594.21 c 1591s | 17 | 592565 | 294332 | 15093 34 | 3958 | 65
1596.25/1596.73 c 1593s | 17 | 593525 | 294832 | 15093 34 | 3958 | 65
1598.75/1599.27 c 1596s | 17 | 594616 | 295232 | 15093 34 | 3958 | 65
1601.05/1601.53 c 1598s | 17 | 595733 | 295632 | 15093 34 | 3958 | 65
1603.25/1603.71 c 1600s | 17 | 597381 | 296132 | 15093 34 | 3958 | 65
1603.75/1604.26 c 1601s | 18 | 597603 | 296252 | 15093 34 | 3958 | 65
1610.35/1610.85 c 1607s | 18 | 598763 | 296452 | 15093 34 | 3958 | 65
1612.75/1613.29 c 1610s | 18 | 599170 | 296752 | 15093 34 | 3958 | 65
1615.05/1615.51 c 1612s | 18 | 599487 | 297052 | 15093 34 | 3958 | 65
1617.55/1618.06 c 1615s | 18 | 599887 | 297452 | 15093 34 | 3958 | 65
1620.05/1620.55 c 1617s | 18 | 600687 | 297852 | 15093 34 | 3958 | 65
1622.85/1623.34 c 1620s | 18 | 602453 | 298152 | 15093 34 | 3958 | 65
1625.15/1625.60 c 1622s | 18 | 604217 | 298352 | 15093 34 | 3958 | 65
1627.55/1628.02 c 1625s | 18 | 606430 | 298552 | 15093 34 | 3958 | 65
1629.85/1630.33 c 1627s | 18 | 607188 | 298852 | 15093 34 | 3958 | 65
1631.84/1632.40 c 1629s | 18 | 607917 | 299152 | 15093 34 | 3958 | 65
1634.44/1634.96 c 1631s | 18 | 608741 | 299552 | 15093 34 | 3958 | 65
1636.74/1637.23 c 1634s | 18 | 609470 | 299952 | 15093 34 | 3958 | 65
1639.14/1639.60 c 1636s | 18 | 610530 | 300452 | 15093 34 | 3958 | 65
1641.44/1641.97 c 1638s | 18 | 610829 | 300752 | 15093 34 | 3958 | 65
1643.64/1644.16 c 1641s | 18 | 611091 | 301052 | 15093 34 | 3958 | 65
1646.14/1646.69 c 1643s | 18 | 611560 | 301452 | 15093 34 | 3958 | 65
1648.55/1649.06 c 1646s | 18 | 612384 | 301952 | 15093 34 | 3958 | 65
1651.64/1652.19 c 1649s | 18 | 614492 | 302252 | 15093 35 | 3958 | 65
1654.64/1655.13 c 1652s | 18 | 616920 | 302552 | 15093 35 | 3958 | 65
1657.35/1657.84 c 1654s | 18 | 618093 | 302852 | 15093 35 | 3958 | 65
1659.45/1659.95 c 1656s | 18 | 618391 | 303152 | 15093 35 | 3958 | 65
1661.94/1662.48 c 1659s | 18 | 618808 | 303552 | 15093 35 | 3958 | 65
1664.14/1664.60 c 1661s | 18 | 619199 | 303952 | 15093 35 | 3958 | 65
1666.64/1667.14 c 1664s | 18 | 620961 | 304452 | 15093 35 | 3958 | 65
1668.64/1669.17 c 1666s | 18 | 622590 | 304752 | 15093 35 | 3958 | 65
1670.74/1671.26 c 1668s | 18 | 624267 | 305052 | 15093 35 | 3958 | 65
1672.84/1673.35 c 1670s | 18 | 624597 | 305352 | 15093 35 | 3958 | 65
1675.34/1675.84 c 1672s | 18 | 624982 | 305752 | 15093 35 | 3958 | 65
1677.34/1677.85 c 1674s | 18 | 625373 | 306152 | 15093 35 | 3958 | 65
1679.54/1680.04 c 1677s | 18 | 626109 | 306852 | 15093 35 | 3958 | 65
1681.54/1682.06 c 1679s | 18 | 626710 | 307452 | 15093 35 | 3958 | 65
1683.74/1684.26 c 1681s | 18 | 627310 | 308052 | 15093 35 | 3958 | 65
1686.03/1686.51 c 1683s | 18 | 627905 | 308652 | 15093 35 | 3958 | 65
1688.14/1688.64 c 1685s | 18 | 628415 | 309152 | 15093 35 | 3958 | 65
1690.13/1690.68 c 1687s | 18 | 628916 | 309652 | 15093 35 | 3958 | 65
1692.44/1693.00 c 1689s | 18 | 629421 | 310152 | 15093 35 | 3958 | 65
1694.83/1695.38 c 1692s | 18 | 629921 | 310652 | 15093 35 | 3958 | 65
1697.33/1697.80 c 1694s | 18 | 630407 | 311152 | 15093 35 | 3958 | 65
1699.73/1700.26 c 1697s | 18 | 630921 | 311652 | 15093 35 | 3958 | 65
1701.83/1702.31 c 1699s | 18 | 631329 | 312052 | 15093 35 | 3958 | 65
1703.83/1704.39 c 1701s | 18 | 631733 | 312452 | 15093 36 | 3958 | 65
1706.33/1706.82 c 1703s | 18 | 632238 | 312952 | 15093 36 | 3958 | 65
1708.53/1709.01 c 1705s | 18 | 632618 | 313352 | 15093 36 | 3958 | 65
1710.53/1711.05 c 1708s | 18 | 633022 | 313752 | 15093 36 | 3958 | 65
1713.13/1713.61 c 1710s | 18 | 633541 | 314252 | 15093 36 | 3958 | 65
1715.33/1715.85 c 1712s | 18 | 633918 | 314652 | 15093 36 | 3958 | 65
1717.53/1718.05 c 1715s | 18 | 634340 | 315052 | 15093 36 | 3958 | 65
1719.63/1720.11 c 1717s | 18 | 634722 | 315452 | 15093 36 | 3958 | 65
1722.03/1722.58 c 1719s | 18 | 635143 | 315852 | 15093 36 | 3958 | 65
1724.13/1724.61 c 1721s | 18 | 635520 | 316252 | 15093 36 | 3958 | 65
1726.23/1726.78 c 1723s | 18 | 635838 | 316552 | 15093 36 | 3958 | 65
1728.63/1729.13 c 1726s | 18 | 636348 | 317052 | 15093 36 | 3958 | 65
1731.13/1731.68 c 1728s | 18 | 636751 | 317452 | 15093 36 | 3958 | 65
1733.63/1734.18 c 1731s | 18 | 637248 | 317952 | 15093 36 | 3958 | 65
1736.23/1736.70 c 1733s | 18 | 637641 | 318352 | 15093 36 | 3958 | 65
1738.83/1739.39 c 1736s | 18 | 638155 | 318852 | 15093 36 | 3958 | 65
1741.43/1741.94 c 1738s | 18 | 638546 | 319252 | 15093 36 | 3958 | 65
1744.13/1744.70 c 1741s | 18 | 639062 | 319752 | 15093 36 | 3958 | 65
1746.33/1746.81 c 1743s | 18 | 639348 | 320052 | 15093 36 | 3958 | 65
1748.53/1749.01 c 1745s | 18 | 639739 | 320452 | 15093 36 | 3958 | 65
1750.73/1751.24 c 1748s | 18 | 640233 | 320852 | 15093 36 | 3958 | 65
1752.82/1753.32 c 1750s | 18 | 640699 | 321252 | 15093 36 | 3958 | 65
1754.92/1755.43 c 1752s | 18 | 641341 | 321652 | 15093 36 | 3958 | 65
1757.02/1757.55 c 1754s | 18 | 641718 | 321952 | 15093 36 | 3958 | 65
1760.53/1761.04 c 1758s | 18 | 642017 | 322252 | 15093 37 | 3958 | 65
1763.03/1763.53 c 1760s | 18 | 642511 | 322752 | 15093 37 | 3958 | 65
1766.63/1767.13 c 1764s | 18 | 642733 | 322952 | 15093 37 | 3958 | 65
1768.63/1769.17 c 1766s | 18 | 643008 | 323252 | 15093 37 | 3958 | 65
1770.93/1771.44 c 1768s | 18 | 643429 | 323652 | 15093 37 | 3958 | 65
1773.53/1774.02 c 1771s | 18 | 644146 | 324152 | 15093 37 | 3958 | 65
1775.93/1776.43 c 1773s | 18 | 645087 | 324652 | 15093 37 | 3958 | 65
1778.13/1778.60 c 1775s | 18 | 645739 | 325052 | 15093 37 | 3958 | 65
1780.73/1781.26 c 1778s | 18 | 646416 | 325452 | 15093 37 | 3958 | 65
1783.13/1783.61 c 1780s | 18 | 646749 | 325752 | 15093 37 | 3958 | 65
1785.73/1786.21 c 1783s | 18 | 647127 | 326152 | 15093 37 | 3958 | 65
1787.83/1788.37 c 1785s | 18 | 647558 | 326552 | 15093 37 | 3958 | 65
1790.52/1791.03 c 1788s | 18 | 647826 | 326852 | 15093 37 | 3958 | 65
1792.92/1793.42 c 1790s | 18 | 648177 | 327152 | 15093 37 | 3958 | 65
1794.92/1795.45 c 1792s | 18 | 648486 | 327452 | 15093 37 | 3958 | 65
1797.22/1797.77 c 1794s | 18 | 648911 | 327852 | 15093 37 | 3958 | 65
1799.82/1800.35 c 1797s | 18 | 649219 | 328152 | 15093 37 | 3958 | 65
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-4101281-1466222404/watcher-4101281-1466222404 -o /tmp/evaluation-result-4101281-1466222404/solver-4101281-1466222404 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14539 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101281-1466222404.opb
pid=17322
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.15 2.14 2.15 3/180 17325
/proc/meminfo: memFree=29421964/32872528 swapFree=1191052/1305516
[pid=17325] ppid=17322 vsize=828860 CPUtime=0 cores=1,3,5,7
/proc/17325/stat : 17325 (toysat) R 17322 17325 14522 0 -1 4202496 3112 0 0 0 0 0 0 0 20 0 4 0 24287039 848752640 2961 33554432000 4194304 16246674 140736431190192 140736431189616 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17325/statm: 207983 2970 441 2943 0 204877 0
[pid=17325/tid=17326] ppid=17322 vsize=847292 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17326/stat : 17326 (toysat) S 17322 17325 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24287039 867627008 3032 33554432000 4194304 16246674 140736431190192 139699185233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17325/tid=17327] ppid=17322 vsize=851388 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17327/stat : 17327 (toysat) S 17322 17325 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24287039 871821312 3050 33554432000 4194304 16246674 140736431190192 139699174743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17325/tid=17328] ppid=17322 vsize=855484 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24287039 876015616 3066 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[startup+0.100177 s]
/proc/loadavg: 2.15 2.14 2.15 3/180 17325
/proc/meminfo: memFree=29421964/32872528 swapFree=1191052/1305516
[pid=17325] ppid=17322 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/17325/stat : 17325 (toysat) R 17322 17325 14522 0 -1 4202496 29566 0 0 0 4 4 0 0 20 0 4 0 24287039 1333334016 29353 33554432000 4194304 16246674 140736431190192 140736431189504 7371468 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17325/statm: 325521 29370 801 2943 0 322415 0
[pid=17325/tid=17326] ppid=17322 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17326/stat : 17326 (toysat) S 17322 17325 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24287039 1333334016 29382 33554432000 4194304 16246674 140736431190192 139699185233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17325/tid=17327] ppid=17322 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17327/stat : 17327 (toysat) S 17322 17325 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24287039 1333334016 29393 33554432000 4194304 16246674 140736431190192 139699174743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17325/tid=17328] ppid=17322 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24287039 1333334016 29405 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084
[startup+0.200531 s]
/proc/loadavg: 2.15 2.14 2.15 3/180 17325
/proc/meminfo: memFree=29421964/32872528 swapFree=1191052/1305516
[pid=17325] ppid=17322 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/17325/stat : 17325 (toysat) R 17322 17325 14522 0 -1 4202496 46626 0 0 0 12 7 0 0 20 0 4 0 24287039 1344868352 46924 33554432000 4194304 16246674 140736431190192 140736431189504 14795467 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17325/statm: 328337 46924 801 2943 0 325231 0
[pid=17325/tid=17326] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17326/stat : 17326 (toysat) S 17322 17325 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 46924 33554432000 4194304 16246674 140736431190192 139699185233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17325/tid=17327] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17327/stat : 17327 (toysat) S 17322 17325 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 46924 33554432000 4194304 16246674 140736431190192 139699174743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17325/tid=17328] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 46924 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348
[startup+0.300382 s]
/proc/loadavg: 2.15 2.14 2.15 3/180 17325
/proc/meminfo: memFree=29421964/32872528 swapFree=1191052/1305516
[pid=17325] ppid=17322 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/17325/stat : 17325 (toysat) R 17322 17325 14522 0 -1 4202496 70246 0 0 0 18 11 0 0 20 0 4 0 24287039 1344868352 70544 33554432000 4194304 16246674 140736431190192 140736431172096 12449273 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17325/statm: 328337 70562 832 2943 0 325231 0
[pid=17325/tid=17326] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17326/stat : 17326 (toysat) S 17322 17325 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 70572 33554432000 4194304 16246674 140736431190192 139699185233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17325/tid=17327] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17327/stat : 17327 (toysat) S 17322 17325 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 70582 33554432000 4194304 16246674 140736431190192 139699174743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17325/tid=17328] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 70593 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348
[startup+0.700429 s]
/proc/loadavg: 2.15 2.14 2.15 3/180 17325
/proc/meminfo: memFree=29421964/32872528 swapFree=1191052/1305516
[pid=17325] ppid=17322 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/17325/stat : 17325 (toysat) R 17322 17325 14522 0 -1 4202496 76007 0 0 0 57 12 0 0 20 0 4 0 24287039 1344868352 76305 33554432000 4194304 16246674 140736431190192 140736431189504 4206697 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17325/statm: 328337 76305 836 2943 0 325231 0
[pid=17325/tid=17326] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17326/stat : 17326 (toysat) S 17322 17325 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 76305 33554432000 4194304 16246674 140736431190192 139699185233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17325/tid=17327] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17327/stat : 17327 (toysat) S 17322 17325 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 76305 33554432000 4194304 16246674 140736431190192 139699174743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17325/tid=17328] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 76305 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348
[startup+1.50041 s]
/proc/loadavg: 2.15 2.14 2.15 3/184 17329
/proc/meminfo: memFree=29118056/32872528 swapFree=1191052/1305516
[pid=17325] ppid=17322 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/17325/stat : 17325 (toysat) R 17322 17325 14522 0 -1 4202496 76060 0 0 0 137 12 0 0 20 0 4 0 24287039 1344868352 76358 33554432000 4194304 16246674 140736431190192 140736431188032 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17325/statm: 328337 76358 887 2943 0 325231 0
[pid=17325/tid=17326] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17326/stat : 17326 (toysat) S 17322 17325 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 76358 33554432000 4194304 16246674 140736431190192 139699185233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17325/tid=17327] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17327/stat : 17327 (toysat) S 17322 17325 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 76358 33554432000 4194304 16246674 140736431190192 139699174743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17325/tid=17328] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 76358 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348
[startup+3.10042 s]
/proc/loadavg: 2.15 2.14 2.15 3/184 17329
/proc/meminfo: memFree=29117684/32872528 swapFree=1191052/1305516
[pid=17325] ppid=17322 vsize=1313348 CPUtime=3.08 cores=1,3,5,7
/proc/17325/stat : 17325 (toysat) R 17322 17325 14522 0 -1 4202496 76087 0 0 0 296 12 0 0 20 0 4 0 24287039 1344868352 76385 33554432000 4194304 16246674 140736431190192 140736431172096 5600084 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17325/statm: 328337 76385 914 2943 0 325231 0
[pid=17325/tid=17326] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17326/stat : 17326 (toysat) S 17322 17325 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 76385 33554432000 4194304 16246674 140736431190192 139699185233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17325/tid=17327] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17327/stat : 17327 (toysat) S 17322 17325 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 76385 33554432000 4194304 16246674 140736431190192 139699174743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17325/tid=17328] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 76385 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1313348
[startup+6.30031 s]
/proc/loadavg: 2.22 2.15 2.15 3/184 17329
/proc/meminfo: memFree=29117568/32872528 swapFree=1191052/1305516
[pid=17325] ppid=17322 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/17325/stat : 17325 (toysat) R 17322 17325 14522 0 -1 4202496 76088 0 0 0 616 13 0 0 20 0 4 0 24287039 1344868352 76386 33554432000 4194304 16246674 140736431190192 140736431172096 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17325/statm: 328337 76386 915 2943 0 325231 0
[pid=17325/tid=17326] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17326/stat : 17326 (toysat) S 17322 17325 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 76386 33554432000 4194304 16246674 140736431190192 139699185233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17325/tid=17327] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17327/stat : 17327 (toysat) S 17322 17325 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 76386 33554432000 4194304 16246674 140736431190192 139699174743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17325/tid=17328] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 76386 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348
[startup+12.7004 s]
/proc/loadavg: 2.20 2.15 2.15 4/184 17329
/proc/meminfo: memFree=28820216/32872528 swapFree=1191052/1305516
[pid=17325] ppid=17322 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/17325/stat : 17325 (toysat) R 17322 17325 14522 0 -1 4202496 150445 0 0 0 1245 24 0 0 20 0 4 0 24287039 1344868352 150743 33554432000 4194304 16246674 140736431190192 140736431173192 5600267 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17325/statm: 328337 150743 917 2943 0 325231 0
[pid=17325/tid=17326] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17326/stat : 17326 (toysat) S 17322 17325 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 150743 33554432000 4194304 16246674 140736431190192 139699185233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17325/tid=17327] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17327/stat : 17327 (toysat) S 17322 17325 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 150743 33554432000 4194304 16246674 140736431190192 139699174743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17325/tid=17328] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 150743 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348
[startup+25.5005 s]
/proc/loadavg: 2.30 2.17 2.16 4/184 17329
/proc/meminfo: memFree=28346184/32872528 swapFree=1191052/1305516
[pid=17325] ppid=17322 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/17325/stat : 17325 (toysat) R 17322 17325 14522 0 -1 4202496 269044 0 0 0 2509 40 0 0 20 0 4 0 24287039 1344868352 269342 33554432000 4194304 16246674 140736431190192 140736431172096 5600712 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17325/statm: 328337 269342 917 2943 0 325231 0
[pid=17325/tid=17326] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17326/stat : 17326 (toysat) S 17322 17325 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 269342 33554432000 4194304 16246674 140736431190192 139699185233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17325/tid=17327] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17327/stat : 17327 (toysat) S 17322 17325 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 269342 33554432000 4194304 16246674 140736431190192 139699174743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17325/tid=17328] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 269342 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348
[startup+51.1005 s]
/proc/loadavg: 2.27 2.17 2.16 3/184 17330
/proc/meminfo: memFree=28346188/32872528 swapFree=1191052/1305516
[pid=17325] ppid=17322 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/17325/stat : 17325 (toysat) R 17322 17325 14522 0 -1 4202496 269044 0 0 0 5068 40 0 0 20 0 4 0 24287039 1344868352 269342 33554432000 4194304 16246674 140736431190192 140736431172096 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17325/statm: 328337 269342 917 2943 0 325231 0
[pid=17325/tid=17326] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17326/stat : 17326 (toysat) S 17322 17325 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 269342 33554432000 4194304 16246674 140736431190192 139699185233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17325/tid=17327] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17327/stat : 17327 (toysat) S 17322 17325 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 269342 33554432000 4194304 16246674 140736431190192 139699174743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17325/tid=17328] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 269342 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348
[startup+102.3 s]
/proc/loadavg: 2.18 2.16 2.15 3/184 17354
/proc/meminfo: memFree=28346292/32872528 swapFree=1191052/1305516
[pid=17325] ppid=17322 vsize=1313348 CPUtime=102.28 cores=1,3,5,7
/proc/17325/stat : 17325 (toysat) R 17322 17325 14522 0 -1 4202496 269048 0 0 0 10188 40 0 0 20 0 4 0 24287039 1344868352 269346 33554432000 4194304 16246674 140736431190192 140736431172096 5600241 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17325/statm: 328337 269346 921 2943 0 325231 0
[pid=17325/tid=17326] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17326/stat : 17326 (toysat) S 17322 17325 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 269346 33554432000 4194304 16246674 140736431190192 139699185233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17325/tid=17327] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17327/stat : 17327 (toysat) S 17322 17325 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 269346 33554432000 4194304 16246674 140736431190192 139699174743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17325/tid=17328] ppid=17322 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24287039 1344868352 269346 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348
################
# More data... #
################
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1337924
[startup+1362.3 s]
/proc/loadavg: 2.10 2.17 2.14 3/183 17581
/proc/meminfo: memFree=28380220/32872528 swapFree=1191052/1305516
[pid=17325] ppid=17322 vsize=1337924 CPUtime=1361.88 cores=1,3,5,7
/proc/17325/stat : 17325 (toysat) R 17322 17325 14522 0 -1 4202496 275471 0 0 0 136140 48 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 140736431172096 5712604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17325/statm: 334481 275747 922 2943 0 331375 0
[pid=17325/tid=17326] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17326/stat : 17326 (toysat) S 17322 17325 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699185233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17325/tid=17327] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17327/stat : 17327 (toysat) S 17322 17325 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699174743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17325/tid=17328] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1337924
[startup+1422.3 s]
/proc/loadavg: 2.11 2.16 2.14 3/183 17582
/proc/meminfo: memFree=28377908/32872528 swapFree=1191052/1305516
[pid=17325] ppid=17322 vsize=1337924 CPUtime=1421.89 cores=1,3,5,7
/proc/17325/stat : 17325 (toysat) R 17322 17325 14522 0 -1 4202496 275471 0 0 0 142140 49 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 140736431172096 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17325/statm: 334481 275747 922 2943 0 331375 0
[pid=17325/tid=17326] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17326/stat : 17326 (toysat) S 17322 17325 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699185233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17325/tid=17327] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17327/stat : 17327 (toysat) S 17322 17325 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699174743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17325/tid=17328] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1337924
[startup+1482.3 s]
/proc/loadavg: 2.12 2.15 2.13 3/183 17583
/proc/meminfo: memFree=28377944/32872528 swapFree=1191052/1305516
[pid=17325] ppid=17322 vsize=1337924 CPUtime=1481.87 cores=1,3,5,7
/proc/17325/stat : 17325 (toysat) R 17322 17325 14522 0 -1 4202496 275471 0 0 0 148138 49 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 140736431172096 5602196 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17325/statm: 334481 275747 922 2943 0 331375 0
[pid=17325/tid=17326] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17326/stat : 17326 (toysat) S 17322 17325 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699185233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17325/tid=17327] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17327/stat : 17327 (toysat) S 17322 17325 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699174743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17325/tid=17328] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1337924
[startup+1542.31 s]
/proc/loadavg: 2.13 2.15 2.13 3/183 17584
/proc/meminfo: memFree=28377976/32872528 swapFree=1191052/1305516
[pid=17325] ppid=17322 vsize=1337924 CPUtime=1541.87 cores=1,3,5,7
/proc/17325/stat : 17325 (toysat) R 17322 17325 14522 0 -1 4202496 275471 0 0 0 154137 50 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 140736431172096 5600808 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17325/statm: 334481 275747 922 2943 0 331375 0
[pid=17325/tid=17326] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17326/stat : 17326 (toysat) S 17322 17325 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699185233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17325/tid=17327] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17327/stat : 17327 (toysat) S 17322 17325 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699174743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17325/tid=17328] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1337924
[startup+1602.3 s]
/proc/loadavg: 2.05 2.12 2.12 3/183 17586
/proc/meminfo: memFree=28377764/32872528 swapFree=1191052/1305516
[pid=17325] ppid=17322 vsize=1337924 CPUtime=1601.85 cores=1,3,5,7
/proc/17325/stat : 17325 (toysat) R 17322 17325 14522 0 -1 4202496 275471 0 0 0 160135 50 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 140736431172096 12415781 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17325/statm: 334481 275747 922 2943 0 331375 0
[pid=17325/tid=17326] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17326/stat : 17326 (toysat) S 17322 17325 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699185233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17325/tid=17327] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17327/stat : 17327 (toysat) S 17322 17325 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699174743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17325/tid=17328] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1337924
[startup+1662.3 s]
/proc/loadavg: 2.28 2.17 2.13 3/183 17587
/proc/meminfo: memFree=28377556/32872528 swapFree=1191052/1305516
[pid=17325] ppid=17322 vsize=1337924 CPUtime=1661.84 cores=1,3,5,7
/proc/17325/stat : 17325 (toysat) R 17322 17325 14522 0 -1 4202496 275471 0 0 0 166133 51 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 140736431172096 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17325/statm: 334481 275747 922 2943 0 331375 0
[pid=17325/tid=17326] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17326/stat : 17326 (toysat) S 17322 17325 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699185233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17325/tid=17327] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17327/stat : 17327 (toysat) S 17322 17325 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699174743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17325/tid=17328] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1337924
[startup+1722.3 s]
/proc/loadavg: 2.14 2.15 2.13 3/183 17588
/proc/meminfo: memFree=28377340/32872528 swapFree=1191052/1305516
[pid=17325] ppid=17322 vsize=1337924 CPUtime=1721.83 cores=1,3,5,7
/proc/17325/stat : 17325 (toysat) R 17322 17325 14522 0 -1 4202496 275471 0 0 0 172132 51 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 140736431172096 5600808 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17325/statm: 334481 275747 922 2943 0 331375 0
[pid=17325/tid=17326] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17326/stat : 17326 (toysat) S 17322 17325 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699185233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17325/tid=17327] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17327/stat : 17327 (toysat) S 17322 17325 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699174743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17325/tid=17328] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1337924
[startup+1782.3 s]
/proc/loadavg: 2.17 2.15 2.13 3/183 17589
/proc/meminfo: memFree=28377368/32872528 swapFree=1191052/1305516
[pid=17325] ppid=17322 vsize=1337924 CPUtime=1781.83 cores=1,3,5,7
/proc/17325/stat : 17325 (toysat) R 17322 17325 14522 0 -1 4202496 275471 0 0 0 178131 52 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 140736431172096 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17325/statm: 334481 275747 922 2943 0 331375 0
[pid=17325/tid=17326] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17326/stat : 17326 (toysat) S 17322 17325 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699185233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17325/tid=17327] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17327/stat : 17327 (toysat) S 17322 17325 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699174743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17325/tid=17328] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1337924
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.18 2.16 2.13 3/184 17592
/proc/meminfo: memFree=28376688/32872528 swapFree=1191052/1305516
[pid=17325] ppid=17322 vsize=1337924 CPUtime=1800.02 cores=1,3,5,7
/proc/17325/stat : 17325 (toysat) R 17322 17325 14522 0 -1 4202496 275471 0 0 0 179950 52 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 140736431172096 5712619 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17325/statm: 334481 275747 922 2943 0 331375 0
[pid=17325/tid=17326] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17326/stat : 17326 (toysat) S 17322 17325 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699185233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17325/tid=17327] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17327/stat : 17327 (toysat) S 17322 17325 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699174743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17325/tid=17328] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1337924
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 17325 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.18 2.16 2.13 3/184 17592
/proc/meminfo: memFree=28376688/32872528 swapFree=1191052/1305516
[pid=17325] ppid=17322 vsize=1337924 CPUtime=1800.02 cores=1,3,5,7
/proc/17325/stat : 17325 (toysat) R 17322 17325 14522 0 -1 4202496 275471 0 0 0 179950 52 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 140736431172096 5712619 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17325/statm: 334481 275747 922 2943 0 331375 0
[pid=17325/tid=17326] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17326/stat : 17326 (toysat) S 17322 17325 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699185233136 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17325/tid=17327] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17327/stat : 17327 (toysat) S 17322 17325 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699174743280 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17325/tid=17328] ppid=17322 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/17325/task/17328/stat : 17328 (toysat) S 17322 17325 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24287039 1370034176 275747 33554432000 4194304 16246674 140736431190192 139699164269744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1337924
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.51
CPU system time (s): 0.52292
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 1337924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.52292
maximum resident set size= 1102988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275471
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= 293
involuntary context switches= 1833
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.71728 second user time and 6.86596 second system time
The end