0.00/0.00 c 2016-06-29T17:36:01+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-4117636-1467214561.opb"]
0.00/0.01 c use --random-gen="4263163816 1085247454 3949616740 3011924451 3531381511 1910802883 2865245621 3483536546 2919370319 66330009 2150655739 4200206639 2646920555 17214099 2151157874 1963072006 2158086862 1086179394 1680726775 475961440 2279543368 1844071965 2908992441 2795921448 3634786742 78984168 1439797482 3907364862 2740165922 3375791187 4003292059 3292823286 3535656705 3770205567 3557463051 3424701874 195423487 2532032080 108198394 794803411 216646416 3834216160 3395815230 87208636 2233273756 1300689100 1481879002 1586447684 3975230682 2157713212 3810716779 1217967879 1538291416 45646294 437607154 4010507001 2874345591 1321417893 863019079 20878569 1913590653 600601998 1218782654 3049839780 301281463 3986682483 2299785465 3767724444 516792641 4096593706 262744602 780964015 4021161580 339646480 1354150149 1525946433 63274261 2741591563 3768159671 3052255762 2772890172 950244685 1103770510 3412915477 4073981066 2486204318 3496902990 4078505919 3910922105 1541635355 242960147 3727456654 791702714 3449656716 2764129467 654466926 3088103732 3286649170 384221586 2783557351 860638595 1732142084 1314844361 3585499561 1727299872 75271419 41069841 2913137550 222567135 3576662036 3580424403 565030735 2376731002 1956120941 3245587414 3688369214 3356252177 4024988001 89142669 1226392816 5693459 4087973640 3613543783 3064948432 1916187353 1330748688 899487297 1147254773 1105493001 109935086 338946106 990619170 365311317 58579970 2236581087 1238794107 3395701263 1181271731 1595321801 2977006371 110384101 261664344 4173451334 27207052 1423517335 316984831 3530376406 2161056595 3726779930 398312180 721498196 2251195200 1695640348 2930641947 3503805572 1583721279 838358066 2595457894 906996661 3191991345 3210106591 1973753898 2305630196 1990873644 3010772445 3497781043 4038030287 119397644 588790639 3557616265 3351089439 3504447733 1135436958 105960267 598662006 299687066 495268482 2019902044 1988353319 2007326857 2613348044 1918568525 3319305098 1075789212 2338708923 2617295981 781598611 2193806171 3834818789 3326744448 800173115 4055485926 59877514 2774936142 214720175 3168397118 1252704289 4112712788 639299354 1333198711 1359994750 2125237391 1025818792 3174884470 943546336 542592245 4280155219 1282233087 486741484 811600156 3242101258 546440397 2562961613 3018827823 1342881698 711387661 3547572792 1751747821 2683469736 1063756978 2403645693 3817192763 1085315659 3745303360 2312567392 2611992628 688823716 2195237010 404384880 4142370944 3083227379 801696542 3530884899 3341209700 742594913 1427063671 3828695837 103673119 709358131 1939716692 501220264 4094640106 1871696309 304531880 3246159360 3802207285 3376685466 322823920 4208939838 3922614380 2609641150 2863552918 1907908028 645517314 3479722291 295026378 255 362436" option to reproduce the execution
0.00/0.01 c #vars 256
0.00/0.01 c #constraints 94
0.00/0.02 c BCD2: Hardening is enabled.
0.00/0.02 c BCD2: BiasedSearch is enabled.
0.00/0.02 c Solving starts ...
0.00/0.02 c ============================[ Search Statistics ]============================
0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.02 c | | | | Limit GC | Var | Constra
0.00/0.02 c =============================================================================
0.00/0.02 c 0.0s | 0 | 0 | 0 | 143 0 | 10 | 0
0.00/0.03 c 0.0s | 1 | 120 | 100 | 143 0 | 10 | 0
0.00/0.06 c 0.0s | 2 | 315 | 250 | 158 0 | 10 | 0
0.09/0.10 c 0.1s | 3 | 637 | 475 | 174 3 | 10 | 0
0.09/0.17 c 0.2s | 4 | 1046 | 813 | 192 5 | 10 | 0
0.19/0.27 c 0.3s | 5 | 1680 | 1320 | 212 8 | 10 | 0
0.39/0.43 c 0.4s | 6 | 2665 | 2081 | 258 12 | 10 | 0
0.59/0.68 c 0.7s | 7 | 4087 | 3223 | 284 19 | 10 | 0
0.89/0.92 c 0.9s | 7 | 5390 | 4316 | 284 25 | 10 | 0
0.89/0.92 c #cpu_time = 0.898s
0.89/0.92 c #wall_clock_time = 0.898s
0.89/0.92 c #decision = 5390
0.89/0.92 c #random_decision = 15
0.89/0.92 c #conflict = 4316
0.89/0.92 c #restart = 7
0.89/0.92 o 130
0.89/0.92 c BCD2: updating upper bound: 256 -> 129
0.89/0.92 c BCD2: 0 <= obj <= 129
0.89/0.92 c BCD2: #cores=0, #unrelaxed=256, #relaxed=0, #hardened=0
0.89/0.92 c BCD2: #sat=1 #unsat=1 bias=1/2
0.89/0.92 c Solving starts ...
0.89/0.92 c ============================[ Search Statistics ]============================
0.89/0.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.92 c | | | | Limit GC | Var | Constra
0.89/0.92 c =============================================================================
0.89/0.92 c 0.0s | 0 | 0 | 0 | 284 0 | 10 | 0
0.89/0.92 c 0.0s | 0 | 7 | 0 | 284 0 | 10 | 0
0.89/0.92 c #cpu_time = 0.001s
0.89/0.92 c #wall_clock_time = 0.001s
0.89/0.92 c #decision = 7
0.89/0.92 c #random_decision = 0
0.89/0.92 c #conflict = 0
0.89/0.92 c #restart = 0
0.89/0.92 c BCD2: found a new core of size 8: cost of the new core is >=1
0.89/0.92 c lower bound updated to 1
0.89/0.92 c BCD2: 1 <= obj <= 129
0.89/0.92 c BCD2: #cores=1, #unrelaxed=248, #relaxed=8, #hardened=0
0.89/0.92 c BCD2: #sat=1 #unsat=2 bias=2/3
0.89/0.92 c Solving starts ...
0.89/0.92 c ============================[ Search Statistics ]============================
0.89/0.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.92 c | | | | Limit GC | Var | Constra
0.89/0.92 c =============================================================================
0.89/0.92 c 0.0s | 0 | 0 | 0 | 284 0 | 10 | 0
0.89/0.92 c 0.0s | 0 | 6 | 0 | 284 0 | 10 | 0
0.89/0.92 c #cpu_time = 0.001s
0.89/0.92 c #wall_clock_time = 0.001s
0.89/0.92 c #decision = 6
0.89/0.92 c #random_decision = 0
0.89/0.92 c #conflict = 0
0.89/0.92 c #restart = 0
0.89/0.92 c BCD2: found a new core of size 1: cost of the new core is >=1
0.89/0.92 c lower bound updated to 2
0.89/0.92 c BCD2: 2 <= obj <= 129
0.89/0.92 c BCD2: #cores=2, #unrelaxed=247, #relaxed=9, #hardened=0
0.89/0.92 c BCD2: #sat=1 #unsat=3 bias=3/4
0.89/0.92 c Solving starts ...
0.89/0.92 c ============================[ Search Statistics ]============================
0.89/0.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.92 c | | | | Limit GC | Var | Constra
0.89/0.92 c =============================================================================
0.89/0.92 c 0.0s | 0 | 0 | 0 | 284 0 | 10 | 0
0.89/0.92 c 0.0s | 0 | 7 | 0 | 284 0 | 10 | 0
0.89/0.92 c #cpu_time = 0.001s
0.89/0.92 c #wall_clock_time = 0.001s
0.89/0.92 c #decision = 7
0.89/0.92 c #random_decision = 0
0.89/0.92 c #conflict = 0
0.89/0.92 c #restart = 0
0.89/0.92 c BCD2: found a new core of size 1: cost of the new core is >=1
0.89/0.92 c lower bound updated to 3
0.89/0.92 c BCD2: 3 <= obj <= 129
0.89/0.92 c BCD2: #cores=3, #unrelaxed=246, #relaxed=10, #hardened=0
0.89/0.92 c BCD2: #sat=1 #unsat=4 bias=4/5
0.89/0.92 c Solving starts ...
0.89/0.92 c ============================[ Search Statistics ]============================
0.89/0.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.92 c | | | | Limit GC | Var | Constra
0.89/0.92 c =============================================================================
0.89/0.92 c 0.0s | 0 | 0 | 0 | 284 0 | 10 | 0
0.89/0.92 c 0.0s | 0 | 18 | 0 | 284 0 | 10 | 0
0.89/0.92 c #cpu_time = 0.001s
0.89/0.92 c #wall_clock_time = 0.001s
0.89/0.92 c #decision = 18
0.89/0.92 c #random_decision = 0
0.89/0.92 c #conflict = 0
0.89/0.92 c #restart = 0
0.89/0.92 c BCD2: found a new core of size 11: cost of the new core is >=1
0.89/0.92 c lower bound updated to 4
0.89/0.92 c BCD2: 4 <= obj <= 129
0.89/0.92 c BCD2: #cores=4, #unrelaxed=235, #relaxed=21, #hardened=0
0.89/0.92 c BCD2: #sat=1 #unsat=5 bias=5/6
0.89/0.92 c Solving starts ...
0.89/0.92 c ============================[ Search Statistics ]============================
0.89/0.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.92 c | | | | Limit GC | Var | Constra
0.89/0.92 c =============================================================================
0.89/0.92 c 0.0s | 0 | 0 | 0 | 284 0 | 10 | 0
0.89/0.92 c 0.0s | 0 | 9 | 0 | 284 0 | 10 | 0
0.89/0.92 c #cpu_time = 0.001s
0.89/0.92 c #wall_clock_time = 0.001s
0.89/0.92 c #decision = 9
0.89/0.92 c #random_decision = 0
0.89/0.92 c #conflict = 0
0.89/0.92 c #restart = 0
0.89/0.92 c BCD2: found a new core of size 2: cost of the new core is >=1
0.89/0.92 c lower bound updated to 5
0.89/0.92 c BCD2: 5 <= obj <= 129
0.89/0.92 c BCD2: #cores=5, #unrelaxed=233, #relaxed=23, #hardened=0
0.89/0.92 c BCD2: #sat=1 #unsat=6 bias=6/7
0.89/0.92 c Solving starts ...
0.89/0.92 c ============================[ Search Statistics ]============================
0.89/0.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.92 c | | | | Limit GC | Var | Constra
0.89/0.92 c =============================================================================
0.89/0.93 c 0.0s | 0 | 0 | 0 | 284 0 | 10 | 0
0.89/0.93 c 0.0s | 0 | 12 | 0 | 284 0 | 10 | 0
0.89/0.93 c #cpu_time = 0.001s
0.89/0.93 c #wall_clock_time = 0.001s
0.89/0.93 c #decision = 12
0.89/0.93 c #random_decision = 0
0.89/0.93 c #conflict = 0
0.89/0.93 c #restart = 0
0.89/0.93 c BCD2: found a new core of size 1: cost of the new core is >=1
0.89/0.93 c lower bound updated to 6
0.89/0.93 c BCD2: 6 <= obj <= 129
0.89/0.93 c BCD2: #cores=6, #unrelaxed=232, #relaxed=24, #hardened=0
0.89/0.93 c BCD2: #sat=1 #unsat=7 bias=7/8
0.89/0.93 c Solving starts ...
0.89/0.93 c ============================[ Search Statistics ]============================
0.89/0.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.93 c | | | | Limit GC | Var | Constra
0.89/0.93 c =============================================================================
0.89/0.93 c 0.0s | 0 | 0 | 0 | 284 0 | 10 | 0
0.89/0.93 c 0.0s | 0 | 20 | 0 | 284 0 | 10 | 0
0.89/0.93 c #cpu_time = 0.001s
0.89/0.93 c #wall_clock_time = 0.001s
0.89/0.93 c #decision = 20
0.89/0.93 c #random_decision = 0
0.89/0.93 c #conflict = 0
0.89/0.93 c #restart = 0
0.89/0.93 c BCD2: found a new core of size 8: cost of the new core is >=1
0.89/0.93 c lower bound updated to 7
0.89/0.93 c BCD2: 7 <= obj <= 129
0.89/0.93 c BCD2: #cores=7, #unrelaxed=224, #relaxed=32, #hardened=0
0.89/0.93 c BCD2: #sat=1 #unsat=8 bias=8/9
0.89/0.93 c Solving starts ...
0.89/0.93 c ============================[ Search Statistics ]============================
0.89/0.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.93 c | | | | Limit GC | Var | Constra
0.89/0.93 c =============================================================================
0.89/0.93 c 0.0s | 0 | 0 | 0 | 284 0 | 10 | 0
0.89/0.93 c 0.0s | 0 | 32 | 1 | 284 0 | 10 | 0
0.89/0.93 c #cpu_time = 0.001s
0.89/0.93 c #wall_clock_time = 0.001s
0.89/0.93 c #decision = 32
0.89/0.93 c #random_decision = 0
0.89/0.93 c #conflict = 1
0.89/0.93 c #restart = 0
0.89/0.93 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.89/0.93 c lower bound updated to 8
0.89/0.93 c BCD2: 8 <= obj <= 129
0.89/0.93 c BCD2: #cores=7, #unrelaxed=223, #relaxed=33, #hardened=0
0.89/0.93 c BCD2: #sat=1 #unsat=9 bias=9/10
0.89/0.93 c Solving starts ...
0.89/0.93 c ============================[ Search Statistics ]============================
0.89/0.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.93 c | | | | Limit GC | Var | Constra
0.89/0.93 c =============================================================================
0.89/0.93 c 0.0s | 0 | 0 | 0 | 284 0 | 11 | 0
0.89/0.93 c 0.0s | 0 | 19 | 0 | 284 0 | 11 | 1
0.89/0.93 c #cpu_time = 0.001s
0.89/0.93 c #wall_clock_time = 0.001s
0.89/0.93 c #decision = 19
0.89/0.93 c #random_decision = 0
0.89/0.93 c #conflict = 0
0.89/0.93 c #restart = 0
0.89/0.93 c BCD2: found a new core of size 3: cost of the new core is >=1
0.89/0.93 c lower bound updated to 9
0.89/0.93 c BCD2: 9 <= obj <= 129
0.89/0.93 c BCD2: #cores=8, #unrelaxed=220, #relaxed=36, #hardened=0
0.89/0.93 c BCD2: #sat=1 #unsat=10 bias=10/11
0.89/0.93 c Solving starts ...
0.89/0.93 c ============================[ Search Statistics ]============================
0.89/0.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.93 c | | | | Limit GC | Var | Constra
0.89/0.93 c =============================================================================
0.89/0.93 c 0.0s | 0 | 0 | 0 | 284 0 | 11 | 1
0.89/0.93 c 0.0s | 0 | 18 | 0 | 284 0 | 11 | 1
0.89/0.93 c #cpu_time = 0.001s
0.89/0.93 c #wall_clock_time = 0.001s
0.89/0.93 c #decision = 18
0.89/0.93 c #random_decision = 0
0.89/0.93 c #conflict = 0
0.89/0.93 c #restart = 0
0.89/0.93 c BCD2: found a new core of size 3: cost of the new core is >=1
0.89/0.93 c lower bound updated to 10
0.89/0.93 c BCD2: 10 <= obj <= 129
0.89/0.93 c BCD2: #cores=9, #unrelaxed=217, #relaxed=39, #hardened=0
0.89/0.93 c BCD2: #sat=1 #unsat=11 bias=11/12
0.89/0.93 c Solving starts ...
0.89/0.93 c ============================[ Search Statistics ]============================
0.89/0.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.93 c | | | | Limit GC | Var | Constra
0.89/0.93 c =============================================================================
0.89/0.93 c 0.0s | 0 | 0 | 0 | 284 0 | 11 | 2
0.89/0.93 c 0.0s | 0 | 25 | 0 | 284 0 | 11 | 2
0.89/0.93 c #cpu_time = 0.001s
0.89/0.93 c #wall_clock_time = 0.001s
0.89/0.93 c #decision = 25
0.89/0.93 c #random_decision = 0
0.89/0.93 c #conflict = 0
0.89/0.93 c #restart = 0
0.89/0.93 c BCD2: found a new core of size 9: cost of the new core is >=1
0.89/0.93 c lower bound updated to 11
0.89/0.93 c BCD2: 11 <= obj <= 129
0.89/0.93 c BCD2: #cores=10, #unrelaxed=208, #relaxed=48, #hardened=0
0.89/0.93 c BCD2: #sat=1 #unsat=12 bias=12/13
0.89/0.93 c Solving starts ...
0.89/0.93 c ============================[ Search Statistics ]============================
0.89/0.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.93 c | | | | Limit GC | Var | Constra
0.89/0.93 c =============================================================================
0.89/0.93 c 0.0s | 0 | 0 | 0 | 284 0 | 11 | 2
0.89/0.94 c 0.0s | 0 | 38 | 1 | 284 0 | 11 | 2
0.89/0.94 c #cpu_time = 0.001s
0.89/0.94 c #wall_clock_time = 0.001s
0.89/0.94 c #decision = 38
0.89/0.94 c #random_decision = 0
0.89/0.94 c #conflict = 1
0.89/0.94 c #restart = 0
0.89/0.94 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=3
0.89/0.94 c lower bound updated to 12
0.89/0.94 c BCD2: 12 <= obj <= 129
0.89/0.94 c BCD2: #cores=10, #unrelaxed=207, #relaxed=49, #hardened=0
0.89/0.94 c BCD2: #sat=1 #unsat=13 bias=13/14
0.89/0.94 c Solving starts ...
0.89/0.94 c ============================[ Search Statistics ]============================
0.89/0.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.94 c | | | | Limit GC | Var | Constra
0.89/0.94 c =============================================================================
0.89/0.94 c 0.0s | 0 | 0 | 0 | 284 0 | 12 | 2
0.89/0.94 c 0.0s | 0 | 32 | 0 | 284 0 | 12 | 3
0.89/0.94 c #cpu_time = 0.001s
0.89/0.94 c #wall_clock_time = 0.001s
0.89/0.94 c #decision = 32
0.89/0.94 c #random_decision = 0
0.89/0.94 c #conflict = 0
0.89/0.94 c #restart = 0
0.89/0.94 c BCD2: found a new core of size 9: cost of the new core is >=1
0.89/0.94 c lower bound updated to 13
0.89/0.94 c BCD2: 13 <= obj <= 129
0.89/0.94 c BCD2: #cores=11, #unrelaxed=198, #relaxed=58, #hardened=0
0.89/0.94 c BCD2: #sat=1 #unsat=14 bias=14/15
0.89/0.94 c Solving starts ...
0.89/0.94 c ============================[ Search Statistics ]============================
0.89/0.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.94 c | | | | Limit GC | Var | Constra
0.89/0.94 c =============================================================================
0.89/0.94 c 0.0s | 0 | 0 | 0 | 284 0 | 12 | 3
0.89/0.94 c 0.0s | 0 | 51 | 1 | 284 0 | 12 | 3
0.89/0.94 c #cpu_time = 0.001s
0.89/0.94 c #wall_clock_time = 0.001s
0.89/0.94 c #decision = 51
0.89/0.94 c #random_decision = 0
0.89/0.94 c #conflict = 1
0.89/0.94 c #restart = 0
0.89/0.94 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 5: cost of the new core is >=4
0.89/0.94 c lower bound updated to 14
0.89/0.94 c BCD2: 14 <= obj <= 129
0.89/0.94 c BCD2: #cores=11, #unrelaxed=197, #relaxed=59, #hardened=0
0.89/0.94 c BCD2: #sat=1 #unsat=15 bias=15/16
0.89/0.94 c Solving starts ...
0.89/0.94 c ============================[ Search Statistics ]============================
0.89/0.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.94 c | | | | Limit GC | Var | Constra
0.89/0.94 c =============================================================================
0.89/0.94 c 0.0s | 0 | 0 | 0 | 284 0 | 13 | 3
0.89/0.94 c 0.0s | 0 | 30 | 0 | 284 0 | 13 | 4
0.89/0.94 c #cpu_time = 0.001s
0.89/0.94 c #wall_clock_time = 0.001s
0.89/0.94 c #decision = 30
0.89/0.94 c #random_decision = 0
0.89/0.94 c #conflict = 0
0.89/0.94 c #restart = 0
0.89/0.94 c BCD2: found a new core of size 5: cost of the new core is >=1
0.89/0.94 c lower bound updated to 15
0.89/0.94 c BCD2: 15 <= obj <= 129
0.89/0.94 c BCD2: #cores=12, #unrelaxed=192, #relaxed=64, #hardened=0
0.89/0.94 c BCD2: #sat=1 #unsat=16 bias=16/17
0.89/0.94 c Solving starts ...
0.89/0.94 c ============================[ Search Statistics ]============================
0.89/0.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.94 c | | | | Limit GC | Var | Constra
0.89/0.94 c =============================================================================
0.89/0.94 c 0.0s | 0 | 0 | 0 | 284 0 | 13 | 5
0.89/0.94 c 0.0s | 0 | 39 | 0 | 284 0 | 13 | 5
0.89/0.94 c #cpu_time = 0.001s
0.89/0.94 c #wall_clock_time = 0.001s
0.89/0.94 c #decision = 39
0.89/0.94 c #random_decision = 0
0.89/0.94 c #conflict = 0
0.89/0.94 c #restart = 0
0.89/0.94 c BCD2: found a new core of size 13: cost of the new core is >=1
0.89/0.94 c lower bound updated to 16
0.89/0.94 c BCD2: 16 <= obj <= 129
0.89/0.94 c BCD2: #cores=13, #unrelaxed=179, #relaxed=77, #hardened=0
0.89/0.94 c BCD2: #sat=1 #unsat=17 bias=17/18
0.89/0.94 c Solving starts ...
0.89/0.94 c ============================[ Search Statistics ]============================
0.89/0.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.94 c | | | | Limit GC | Var | Constra
0.89/0.94 c =============================================================================
0.89/0.94 c 0.0s | 0 | 0 | 0 | 284 0 | 13 | 5
0.89/0.94 c 0.0s | 0 | 29 | 0 | 284 0 | 13 | 5
0.89/0.94 c #cpu_time = 0.001s
0.89/0.94 c #wall_clock_time = 0.001s
0.89/0.94 c #decision = 29
0.89/0.94 c #random_decision = 0
0.89/0.94 c #conflict = 0
0.89/0.94 c #restart = 0
0.89/0.94 c BCD2: found a new core of size 5: cost of the new core is >=1
0.89/0.94 c lower bound updated to 17
0.89/0.94 c BCD2: 17 <= obj <= 129
0.89/0.94 c BCD2: #cores=14, #unrelaxed=174, #relaxed=82, #hardened=0
0.89/0.94 c BCD2: #sat=1 #unsat=18 bias=18/19
0.89/0.94 c Solving starts ...
0.89/0.94 c ============================[ Search Statistics ]============================
0.89/0.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.94 c | | | | Limit GC | Var | Constra
0.89/0.94 c =============================================================================
0.89/0.95 c 0.0s | 0 | 0 | 0 | 284 0 | 13 | 5
0.89/0.95 c 0.0s | 0 | 42 | 1 | 284 0 | 13 | 5
0.89/0.95 c #cpu_time = 0.001s
0.89/0.95 c #wall_clock_time = 0.001s
0.89/0.95 c #decision = 42
0.89/0.95 c #random_decision = 0
0.89/0.95 c #conflict = 1
0.89/0.95 c #restart = 0
0.89/0.95 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=5
0.89/0.95 c lower bound updated to 18
0.89/0.95 c BCD2: 18 <= obj <= 129
0.89/0.95 c BCD2: #cores=14, #unrelaxed=173, #relaxed=83, #hardened=0
0.89/0.95 c BCD2: #sat=1 #unsat=19 bias=19/20
0.89/0.95 c Solving starts ...
0.89/0.95 c ============================[ Search Statistics ]============================
0.89/0.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.95 c | | | | Limit GC | Var | Constra
0.89/0.95 c =============================================================================
0.89/0.95 c 0.0s | 0 | 0 | 0 | 284 0 | 14 | 6
0.89/0.95 c 0.0s | 0 | 36 | 0 | 284 0 | 14 | 7
0.89/0.95 c #cpu_time = 0.001s
0.89/0.95 c #wall_clock_time = 0.001s
0.89/0.95 c #decision = 36
0.89/0.95 c #random_decision = 0
0.89/0.95 c #conflict = 0
0.89/0.95 c #restart = 0
0.89/0.95 c BCD2: found a new core of size 11: cost of the new core is >=1
0.89/0.95 c lower bound updated to 19
0.89/0.95 c BCD2: 19 <= obj <= 129
0.89/0.95 c BCD2: #cores=15, #unrelaxed=162, #relaxed=94, #hardened=0
0.89/0.95 c BCD2: #sat=1 #unsat=20 bias=20/21
0.89/0.95 c Solving starts ...
0.89/0.95 c ============================[ Search Statistics ]============================
0.89/0.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.95 c | | | | Limit GC | Var | Constra
0.89/0.95 c =============================================================================
0.89/0.95 c 0.0s | 0 | 0 | 0 | 284 0 | 14 | 7
0.89/0.95 c 0.0s | 0 | 30 | 1 | 284 0 | 14 | 7
0.89/0.95 c #cpu_time = 0.001s
0.89/0.95 c #wall_clock_time = 0.001s
0.89/0.95 c #decision = 30
0.89/0.95 c #random_decision = 0
0.89/0.95 c #conflict = 1
0.89/0.95 c #restart = 0
0.89/0.95 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 18: cost of the new core is >=2
0.89/0.95 c lower bound updated to 20
0.89/0.95 c BCD2: 20 <= obj <= 129
0.89/0.95 c BCD2: #cores=15, #unrelaxed=157, #relaxed=99, #hardened=0
0.89/0.95 c BCD2: #sat=1 #unsat=21 bias=21/22
0.89/0.95 c Solving starts ...
0.89/0.95 c ============================[ Search Statistics ]============================
0.89/0.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.95 c | | | | Limit GC | Var | Constra
0.89/0.95 c =============================================================================
0.89/0.95 c 0.0s | 0 | 0 | 0 | 284 0 | 15 | 7
0.89/0.95 c 0.0s | 0 | 34 | 0 | 284 0 | 15 | 8
0.89/0.95 c #cpu_time = 0.001s
0.89/0.95 c #wall_clock_time = 0.001s
0.89/0.95 c #decision = 34
0.89/0.95 c #random_decision = 0
0.89/0.95 c #conflict = 0
0.89/0.95 c #restart = 0
0.89/0.95 c BCD2: found a new core of size 8: cost of the new core is >=1
0.89/0.95 c lower bound updated to 21
0.89/0.95 c BCD2: 21 <= obj <= 129
0.89/0.95 c BCD2: #cores=16, #unrelaxed=149, #relaxed=107, #hardened=0
0.89/0.95 c BCD2: #sat=1 #unsat=22 bias=22/23
0.89/0.95 c Solving starts ...
0.89/0.95 c ============================[ Search Statistics ]============================
0.89/0.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.95 c | | | | Limit GC | Var | Constra
0.89/0.95 c =============================================================================
0.89/0.95 c 0.0s | 0 | 0 | 0 | 284 0 | 15 | 8
0.89/0.95 c 0.0s | 0 | 35 | 1 | 284 0 | 15 | 8
0.89/0.95 c #cpu_time = 0.001s
0.89/0.95 c #wall_clock_time = 0.001s
0.89/0.95 c #decision = 35
0.89/0.95 c #random_decision = 0
0.89/0.95 c #conflict = 1
0.89/0.95 c #restart = 0
0.89/0.95 c BCD2: relaxing 7 and merging with 1 cores into a new core of size 15: cost of the new core is >=2
0.89/0.95 c lower bound updated to 22
0.89/0.95 c BCD2: 22 <= obj <= 129
0.89/0.95 c BCD2: #cores=16, #unrelaxed=142, #relaxed=114, #hardened=0
0.89/0.95 c BCD2: #sat=1 #unsat=23 bias=23/24
0.89/0.95 c Solving starts ...
0.89/0.95 c ============================[ Search Statistics ]============================
0.89/0.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.95 c | | | | Limit GC | Var | Constra
0.89/0.95 c =============================================================================
0.89/0.95 c 0.0s | 0 | 0 | 0 | 284 0 | 16 | 8
0.89/0.96 c 0.0s | 0 | 28 | 0 | 284 0 | 16 | 9
0.89/0.96 c #cpu_time = 0.001s
0.89/0.96 c #wall_clock_time = 0.001s
0.89/0.96 c #decision = 28
0.89/0.96 c #random_decision = 0
0.89/0.96 c #conflict = 0
0.89/0.96 c #restart = 0
0.89/0.96 c BCD2: found a new core of size 5: cost of the new core is >=1
0.89/0.96 c lower bound updated to 23
0.89/0.96 c BCD2: 23 <= obj <= 129
0.89/0.96 c BCD2: #cores=17, #unrelaxed=137, #relaxed=119, #hardened=0
0.89/0.96 c BCD2: #sat=1 #unsat=24 bias=24/25
0.89/0.96 c Solving starts ...
0.89/0.96 c ============================[ Search Statistics ]============================
0.89/0.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.96 c | | | | Limit GC | Var | Constra
0.89/0.96 c =============================================================================
0.89/0.96 c 0.0s | 0 | 0 | 0 | 284 0 | 16 | 9
0.89/0.96 c 0.0s | 0 | 31 | 0 | 284 0 | 16 | 9
0.89/0.96 c #cpu_time = 0.001s
0.89/0.96 c #wall_clock_time = 0.001s
0.89/0.96 c #decision = 31
0.89/0.96 c #random_decision = 0
0.89/0.96 c #conflict = 0
0.89/0.96 c #restart = 0
0.89/0.96 c BCD2: found a new core of size 7: cost of the new core is >=1
0.89/0.96 c lower bound updated to 24
0.89/0.96 c BCD2: 24 <= obj <= 129
0.89/0.96 c BCD2: #cores=18, #unrelaxed=130, #relaxed=126, #hardened=0
0.89/0.96 c BCD2: #sat=1 #unsat=25 bias=25/26
0.89/0.96 c Solving starts ...
0.89/0.96 c ============================[ Search Statistics ]============================
0.89/0.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.96 c | | | | Limit GC | Var | Constra
0.89/0.96 c =============================================================================
0.89/0.96 c 0.0s | 0 | 0 | 0 | 284 0 | 16 | 9
0.89/0.96 c 0.0s | 0 | 32 | 1 | 284 0 | 16 | 9
0.89/0.96 c #cpu_time = 0.001s
0.89/0.96 c #wall_clock_time = 0.001s
0.89/0.96 c #decision = 32
0.89/0.96 c #random_decision = 0
0.89/0.96 c #conflict = 1
0.89/0.96 c #restart = 0
0.89/0.96 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
0.89/0.96 c lower bound updated to 25
0.89/0.96 c BCD2: 25 <= obj <= 129
0.89/0.96 c BCD2: #cores=18, #unrelaxed=124, #relaxed=132, #hardened=0
0.89/0.96 c BCD2: #sat=1 #unsat=26 bias=26/27
0.89/0.96 c Solving starts ...
0.89/0.96 c ============================[ Search Statistics ]============================
0.89/0.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.96 c | | | | Limit GC | Var | Constra
0.89/0.96 c =============================================================================
0.89/0.96 c 0.0s | 0 | 0 | 0 | 284 0 | 17 | 9
0.89/0.96 c 0.0s | 0 | 36 | 0 | 284 0 | 17 | 10
0.89/0.96 c #cpu_time = 0.001s
0.89/0.96 c #wall_clock_time = 0.001s
0.89/0.96 c #decision = 36
0.89/0.96 c #random_decision = 0
0.89/0.96 c #conflict = 0
0.89/0.96 c #restart = 0
0.89/0.96 c BCD2: found a new core of size 8: cost of the new core is >=1
0.89/0.96 c lower bound updated to 26
0.89/0.96 c BCD2: 26 <= obj <= 129
0.89/0.96 c BCD2: #cores=19, #unrelaxed=116, #relaxed=140, #hardened=0
0.89/0.96 c BCD2: #sat=1 #unsat=27 bias=27/28
0.89/0.96 c Solving starts ...
0.89/0.96 c ============================[ Search Statistics ]============================
0.89/0.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.96 c | | | | Limit GC | Var | Constra
0.89/0.96 c =============================================================================
0.89/0.96 c 0.0s | 0 | 0 | 0 | 284 0 | 17 | 10
0.89/0.96 c 0.0s | 0 | 34 | 0 | 284 0 | 17 | 10
0.89/0.96 c #cpu_time = 0.001s
0.89/0.96 c #wall_clock_time = 0.001s
0.89/0.96 c #decision = 34
0.89/0.96 c #random_decision = 0
0.89/0.96 c #conflict = 0
0.89/0.96 c #restart = 0
0.89/0.96 c BCD2: found a new core of size 3: cost of the new core is >=1
0.89/0.96 c lower bound updated to 27
0.89/0.96 c BCD2: 27 <= obj <= 129
0.89/0.96 c BCD2: #cores=20, #unrelaxed=113, #relaxed=143, #hardened=0
0.89/0.96 c BCD2: #sat=1 #unsat=28 bias=28/29
0.89/0.96 c Solving starts ...
0.89/0.96 c ============================[ Search Statistics ]============================
0.89/0.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.96 c | | | | Limit GC | Var | Constra
0.89/0.96 c =============================================================================
0.89/0.96 c 0.0s | 0 | 0 | 0 | 284 0 | 17 | 10
0.89/0.96 c 0.0s | 0 | 34 | 0 | 284 0 | 17 | 10
0.89/0.96 c #cpu_time = 0.001s
0.89/0.96 c #wall_clock_time = 0.001s
0.89/0.96 c #decision = 34
0.89/0.96 c #random_decision = 0
0.89/0.96 c #conflict = 0
0.89/0.96 c #restart = 0
0.89/0.96 c BCD2: found a new core of size 2: cost of the new core is >=1
0.89/0.96 c lower bound updated to 28
0.89/0.96 c BCD2: 28 <= obj <= 129
0.89/0.96 c BCD2: #cores=21, #unrelaxed=111, #relaxed=145, #hardened=0
0.89/0.96 c BCD2: #sat=1 #unsat=29 bias=29/30
0.89/0.96 c Solving starts ...
0.89/0.96 c ============================[ Search Statistics ]============================
0.89/0.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.96 c | | | | Limit GC | Var | Constra
0.89/0.96 c =============================================================================
0.89/0.96 c 0.0s | 0 | 0 | 0 | 284 0 | 17 | 10
0.89/0.97 c 0.0s | 0 | 43 | 0 | 284 0 | 17 | 10
0.89/0.97 c #cpu_time = 0.001s
0.89/0.97 c #wall_clock_time = 0.001s
0.89/0.97 c #decision = 43
0.89/0.97 c #random_decision = 0
0.89/0.97 c #conflict = 0
0.89/0.97 c #restart = 0
0.89/0.97 c BCD2: found a new core of size 9: cost of the new core is >=1
0.89/0.97 c lower bound updated to 29
0.89/0.97 c BCD2: 29 <= obj <= 129
0.89/0.97 c BCD2: #cores=22, #unrelaxed=102, #relaxed=154, #hardened=0
0.89/0.97 c BCD2: #sat=1 #unsat=30 bias=30/31
0.89/0.97 c Solving starts ...
0.89/0.97 c ============================[ Search Statistics ]============================
0.89/0.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.97 c | | | | Limit GC | Var | Constra
0.89/0.97 c =============================================================================
0.89/0.97 c 0.0s | 0 | 0 | 0 | 284 0 | 17 | 10
0.89/0.97 c 0.0s | 0 | 60 | 1 | 284 0 | 17 | 10
0.89/0.97 c #cpu_time = 0.001s
0.89/0.97 c #wall_clock_time = 0.001s
0.89/0.97 c #decision = 60
0.89/0.97 c #random_decision = 0
0.89/0.97 c #conflict = 1
0.89/0.97 c #restart = 0
0.89/0.97 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.89/0.97 c lower bound updated to 30
0.89/0.97 c BCD2: 30 <= obj <= 129
0.89/0.97 c BCD2: #cores=22, #unrelaxed=101, #relaxed=155, #hardened=0
0.89/0.97 c BCD2: #sat=1 #unsat=31 bias=31/32
0.89/0.97 c Solving starts ...
0.89/0.97 c ============================[ Search Statistics ]============================
0.89/0.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.97 c | | | | Limit GC | Var | Constra
0.89/0.97 c =============================================================================
0.89/0.97 c 0.0s | 0 | 0 | 0 | 284 0 | 18 | 10
0.89/0.97 c 0.0s | 0 | 50 | 0 | 284 0 | 18 | 11
0.89/0.97 c #cpu_time = 0.001s
0.89/0.97 c #wall_clock_time = 0.001s
0.89/0.97 c #decision = 50
0.89/0.97 c #random_decision = 0
0.89/0.97 c #conflict = 0
0.89/0.97 c #restart = 0
0.89/0.97 c BCD2: found a new core of size 9: cost of the new core is >=1
0.89/0.97 c lower bound updated to 31
0.89/0.97 c BCD2: 31 <= obj <= 129
0.89/0.97 c BCD2: #cores=23, #unrelaxed=92, #relaxed=164, #hardened=0
0.89/0.97 c BCD2: #sat=1 #unsat=32 bias=32/33
0.89/0.97 c Solving starts ...
0.89/0.97 c ============================[ Search Statistics ]============================
0.89/0.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.97 c | | | | Limit GC | Var | Constra
0.89/0.97 c =============================================================================
0.89/0.97 c 0.0s | 0 | 0 | 0 | 284 0 | 18 | 11
0.89/0.97 c 0.0s | 0 | 49 | 1 | 284 0 | 18 | 11
0.89/0.97 c #cpu_time = 0.001s
0.89/0.97 c #wall_clock_time = 0.001s
0.89/0.97 c #decision = 49
0.89/0.97 c #random_decision = 0
0.89/0.97 c #conflict = 1
0.89/0.97 c #restart = 0
0.89/0.97 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2
0.89/0.97 c lower bound updated to 32
0.89/0.97 c BCD2: 32 <= obj <= 129
0.89/0.97 c BCD2: #cores=23, #unrelaxed=90, #relaxed=166, #hardened=0
0.89/0.97 c BCD2: #sat=1 #unsat=33 bias=33/34
0.89/0.97 c Solving starts ...
0.89/0.97 c ============================[ Search Statistics ]============================
0.89/0.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.97 c | | | | Limit GC | Var | Constra
0.89/0.97 c =============================================================================
0.89/0.97 c 0.0s | 0 | 0 | 0 | 284 0 | 19 | 11
0.89/0.97 c 0.0s | 0 | 68 | 1 | 284 0 | 19 | 12
0.89/0.97 c #cpu_time = 0.001s
0.89/0.97 c #wall_clock_time = 0.001s
0.89/0.97 c #decision = 68
0.89/0.97 c #random_decision = 0
0.89/0.97 c #conflict = 1
0.89/0.97 c #restart = 0
0.89/0.97 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=3
0.89/0.97 c lower bound updated to 33
0.89/0.97 c BCD2: 33 <= obj <= 129
0.89/0.97 c BCD2: #cores=23, #unrelaxed=89, #relaxed=167, #hardened=0
0.89/0.97 c BCD2: #sat=1 #unsat=34 bias=34/35
0.89/0.97 c Solving starts ...
0.89/0.97 c ============================[ Search Statistics ]============================
0.89/0.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.97 c | | | | Limit GC | Var | Constra
0.89/0.97 c =============================================================================
0.89/0.97 c 0.0s | 0 | 0 | 0 | 284 0 | 20 | 12
0.89/0.97 c 0.0s | 0 | 54 | 0 | 284 0 | 20 | 13
0.89/0.97 c #cpu_time = 0.001s
0.89/0.97 c #wall_clock_time = 0.001s
0.89/0.97 c #decision = 54
0.89/0.97 c #random_decision = 0
0.89/0.98 c #conflict = 0
0.89/0.98 c #restart = 0
0.89/0.98 c BCD2: found a new core of size 8: cost of the new core is >=1
0.89/0.98 c lower bound updated to 34
0.89/0.98 c BCD2: 34 <= obj <= 129
0.89/0.98 c BCD2: #cores=24, #unrelaxed=81, #relaxed=175, #hardened=0
0.89/0.98 c BCD2: #sat=1 #unsat=35 bias=35/36
0.89/0.98 c Solving starts ...
0.89/0.98 c ============================[ Search Statistics ]============================
0.89/0.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.98 c | | | | Limit GC | Var | Constra
0.89/0.98 c =============================================================================
0.89/0.98 c 0.0s | 0 | 0 | 0 | 284 0 | 20 | 13
0.89/0.98 c 0.0s | 0 | 50 | 0 | 284 0 | 20 | 13
0.89/0.98 c #cpu_time = 0.001s
0.89/0.98 c #wall_clock_time = 0.001s
0.89/0.98 c #decision = 50
0.89/0.98 c #random_decision = 0
0.89/0.98 c #conflict = 0
0.89/0.98 c #restart = 0
0.89/0.98 c BCD2: found a new core of size 5: cost of the new core is >=1
0.89/0.98 c lower bound updated to 35
0.89/0.98 c BCD2: 35 <= obj <= 129
0.89/0.98 c BCD2: #cores=25, #unrelaxed=76, #relaxed=180, #hardened=0
0.89/0.98 c BCD2: #sat=1 #unsat=36 bias=36/37
0.89/0.98 c Solving starts ...
0.89/0.98 c ============================[ Search Statistics ]============================
0.89/0.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.98 c | | | | Limit GC | Var | Constra
0.89/0.98 c =============================================================================
0.89/0.98 c 0.0s | 0 | 0 | 0 | 284 0 | 20 | 13
0.89/0.98 c 0.0s | 0 | 72 | 1 | 284 0 | 20 | 13
0.89/0.98 c #cpu_time = 0.001s
0.89/0.98 c #wall_clock_time = 0.001s
0.89/0.98 c #decision = 72
0.89/0.98 c #random_decision = 0
0.89/0.98 c #conflict = 1
0.89/0.98 c #restart = 0
0.89/0.98 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 5: cost of the new core is >=4
0.89/0.98 c lower bound updated to 36
0.89/0.98 c BCD2: 36 <= obj <= 129
0.89/0.98 c BCD2: #cores=25, #unrelaxed=75, #relaxed=181, #hardened=0
0.89/0.98 c BCD2: #sat=1 #unsat=37 bias=37/38
0.89/0.98 c Solving starts ...
0.89/0.98 c ============================[ Search Statistics ]============================
0.89/0.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.98 c | | | | Limit GC | Var | Constra
0.89/0.98 c =============================================================================
0.89/0.98 c 0.0s | 0 | 0 | 0 | 284 0 | 21 | 13
0.89/0.98 c 0.0s | 0 | 49 | 0 | 284 0 | 21 | 14
0.89/0.98 c #cpu_time = 0.001s
0.89/0.98 c #wall_clock_time = 0.001s
0.89/0.98 c #decision = 49
0.89/0.98 c #random_decision = 0
0.89/0.98 c #conflict = 0
0.89/0.98 c #restart = 0
0.89/0.98 c BCD2: found a new core of size 2: cost of the new core is >=1
0.89/0.98 c lower bound updated to 37
0.89/0.98 c BCD2: 37 <= obj <= 129
0.89/0.98 c BCD2: #cores=26, #unrelaxed=73, #relaxed=183, #hardened=0
0.89/0.98 c BCD2: #sat=1 #unsat=38 bias=38/39
0.89/0.98 c Solving starts ...
0.89/0.98 c ============================[ Search Statistics ]============================
0.89/0.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.98 c | | | | Limit GC | Var | Constra
0.89/0.98 c =============================================================================
0.89/0.98 c 0.0s | 0 | 0 | 0 | 284 0 | 21 | 14
0.89/0.98 c 0.0s | 0 | 57 | 0 | 284 0 | 21 | 14
0.89/0.98 c #cpu_time = 0.001s
0.89/0.98 c #wall_clock_time = 0.001s
0.89/0.98 c #decision = 57
0.89/0.98 c #random_decision = 0
0.89/0.98 c #conflict = 0
0.89/0.98 c #restart = 0
0.89/0.98 c BCD2: found a new core of size 14: cost of the new core is >=1
0.89/0.98 c lower bound updated to 38
0.89/0.98 c BCD2: 38 <= obj <= 129
0.89/0.98 c BCD2: #cores=27, #unrelaxed=59, #relaxed=197, #hardened=0
0.89/0.98 c BCD2: #sat=1 #unsat=39 bias=39/40
0.89/0.98 c Solving starts ...
0.89/0.98 c ============================[ Search Statistics ]============================
0.89/0.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.98 c | | | | Limit GC | Var | Constra
0.89/0.98 c =============================================================================
0.89/0.98 c 0.0s | 0 | 0 | 0 | 284 0 | 21 | 14
0.89/0.98 c 0.0s | 0 | 70 | 1 | 284 0 | 21 | 14
0.89/0.98 c #cpu_time = 0.001s
0.89/0.98 c #wall_clock_time = 0.001s
0.89/0.98 c #decision = 70
0.89/0.98 c #random_decision = 0
0.89/0.98 c #conflict = 1
0.89/0.98 c #restart = 0
0.89/0.98 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=5
0.89/0.98 c lower bound updated to 39
0.89/0.98 c BCD2: 39 <= obj <= 129
0.89/0.98 c BCD2: #cores=27, #unrelaxed=58, #relaxed=198, #hardened=0
0.89/0.98 c BCD2: #sat=1 #unsat=40 bias=40/41
0.89/0.98 c Solving starts ...
0.89/0.98 c ============================[ Search Statistics ]============================
0.89/0.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.98 c | | | | Limit GC | Var | Constra
0.89/0.98 c =============================================================================
0.89/0.98 c 0.0s | 0 | 0 | 0 | 284 0 | 22 | 14
0.89/0.99 c 0.0s | 0 | 47 | 0 | 284 0 | 22 | 15
0.89/0.99 c #cpu_time = 0.001s
0.89/0.99 c #wall_clock_time = 0.001s
0.89/0.99 c #decision = 47
0.89/0.99 c #random_decision = 0
0.89/0.99 c #conflict = 0
0.89/0.99 c #restart = 0
0.89/0.99 c BCD2: found a new core of size 5: cost of the new core is >=1
0.89/0.99 c lower bound updated to 40
0.89/0.99 c BCD2: 40 <= obj <= 129
0.89/0.99 c BCD2: #cores=28, #unrelaxed=53, #relaxed=203, #hardened=0
0.89/0.99 c BCD2: #sat=1 #unsat=41 bias=41/42
0.89/0.99 c Solving starts ...
0.89/0.99 c ============================[ Search Statistics ]============================
0.89/0.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.99 c | | | | Limit GC | Var | Constra
0.89/0.99 c =============================================================================
0.89/0.99 c 0.0s | 0 | 0 | 0 | 284 0 | 22 | 15
0.89/0.99 c 0.0s | 0 | 66 | 1 | 284 0 | 22 | 15
0.89/0.99 c #cpu_time = 0.001s
0.89/0.99 c #wall_clock_time = 0.001s
0.89/0.99 c #decision = 66
0.89/0.99 c #random_decision = 0
0.89/0.99 c #conflict = 1
0.89/0.99 c #restart = 0
0.89/0.99 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2
0.89/0.99 c lower bound updated to 41
0.89/0.99 c BCD2: 41 <= obj <= 129
0.89/0.99 c BCD2: #cores=28, #unrelaxed=52, #relaxed=204, #hardened=0
0.89/0.99 c BCD2: #sat=1 #unsat=42 bias=42/43
0.89/0.99 c Solving starts ...
0.89/0.99 c ============================[ Search Statistics ]============================
0.89/0.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.99 c | | | | Limit GC | Var | Constra
0.89/0.99 c =============================================================================
0.89/0.99 c 0.0s | 0 | 0 | 0 | 284 0 | 23 | 15
0.89/0.99 c 0.0s | 0 | 53 | 0 | 284 0 | 23 | 16
0.89/0.99 c #cpu_time = 0.001s
0.89/0.99 c #wall_clock_time = 0.001s
0.89/0.99 c #decision = 53
0.89/0.99 c #random_decision = 0
0.89/0.99 c #conflict = 0
0.89/0.99 c #restart = 0
0.89/0.99 c BCD2: found a new core of size 7: cost of the new core is >=1
0.89/0.99 c lower bound updated to 42
0.89/0.99 c BCD2: 42 <= obj <= 129
0.89/0.99 c BCD2: #cores=29, #unrelaxed=45, #relaxed=211, #hardened=0
0.89/0.99 c BCD2: #sat=1 #unsat=43 bias=43/44
0.89/0.99 c Solving starts ...
0.89/0.99 c ============================[ Search Statistics ]============================
0.89/0.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.99 c | | | | Limit GC | Var | Constra
0.89/0.99 c =============================================================================
0.89/0.99 c 0.0s | 0 | 0 | 0 | 284 0 | 23 | 16
0.89/0.99 c 0.0s | 0 | 73 | 1 | 284 0 | 23 | 16
0.89/0.99 c #cpu_time = 0.001s
0.89/0.99 c #wall_clock_time = 0.001s
0.89/0.99 c #decision = 73
0.89/0.99 c #random_decision = 0
0.89/0.99 c #conflict = 1
0.89/0.99 c #restart = 0
0.89/0.99 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 7: cost of the new core is >=6
0.89/0.99 c lower bound updated to 43
0.89/0.99 c BCD2: 43 <= obj <= 129
0.89/0.99 c BCD2: #cores=29, #unrelaxed=44, #relaxed=212, #hardened=0
0.89/0.99 c BCD2: #sat=1 #unsat=44 bias=44/45
0.89/0.99 c Solving starts ...
0.89/0.99 c ============================[ Search Statistics ]============================
0.89/0.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.99 c | | | | Limit GC | Var | Constra
0.89/0.99 c =============================================================================
0.89/0.99 c 0.0s | 0 | 0 | 0 | 284 0 | 24 | 16
0.89/0.99 c 0.0s | 0 | 50 | 0 | 284 0 | 24 | 17
0.89/0.99 c #cpu_time = 0.001s
0.89/0.99 c #wall_clock_time = 0.001s
0.89/0.99 c #decision = 50
0.89/0.99 c #random_decision = 0
0.89/0.99 c #conflict = 0
0.89/0.99 c #restart = 0
0.89/0.99 c BCD2: found a new core of size 5: cost of the new core is >=1
0.89/0.99 c lower bound updated to 44
0.89/0.99 c BCD2: 44 <= obj <= 129
0.89/0.99 c BCD2: #cores=30, #unrelaxed=39, #relaxed=217, #hardened=0
0.89/0.99 c BCD2: #sat=1 #unsat=45 bias=45/46
0.89/0.99 c Solving starts ...
0.89/0.99 c ============================[ Search Statistics ]============================
0.89/0.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.99 c | | | | Limit GC | Var | Constra
0.89/0.99 c =============================================================================
0.89/0.99 c 0.0s | 0 | 0 | 0 | 284 0 | 24 | 17
0.89/1.00 c 0.0s | 0 | 68 | 1 | 284 0 | 24 | 17
0.89/1.00 c #cpu_time = 0.001s
0.89/1.00 c #wall_clock_time = 0.001s
0.89/1.00 c #decision = 68
0.89/1.00 c #random_decision = 0
0.89/1.00 c #conflict = 1
0.89/1.00 c #restart = 0
0.89/1.00 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=3
0.89/1.00 c lower bound updated to 45
0.89/1.00 c BCD2: 45 <= obj <= 129
0.89/1.00 c BCD2: #cores=30, #unrelaxed=38, #relaxed=218, #hardened=0
0.89/1.00 c BCD2: #sat=1 #unsat=46 bias=46/47
0.89/1.00 c Solving starts ...
0.99/1.00 c ============================[ Search Statistics ]============================
0.99/1.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.00 c | | | | Limit GC | Var | Constra
0.99/1.00 c =============================================================================
0.99/1.00 c 0.0s | 0 | 0 | 0 | 284 0 | 25 | 17
0.99/1.00 c 0.0s | 0 | 47 | 0 | 284 0 | 25 | 18
0.99/1.00 c #cpu_time = 0.001s
0.99/1.00 c #wall_clock_time = 0.001s
0.99/1.00 c #decision = 47
0.99/1.00 c #random_decision = 0
0.99/1.00 c #conflict = 0
0.99/1.00 c #restart = 0
0.99/1.00 c BCD2: found a new core of size 3: cost of the new core is >=1
0.99/1.00 c lower bound updated to 46
0.99/1.00 c BCD2: 46 <= obj <= 129
0.99/1.00 c BCD2: #cores=31, #unrelaxed=35, #relaxed=221, #hardened=0
0.99/1.00 c BCD2: #sat=1 #unsat=47 bias=47/48
0.99/1.00 c Solving starts ...
0.99/1.00 c ============================[ Search Statistics ]============================
0.99/1.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.00 c | | | | Limit GC | Var | Constra
0.99/1.00 c =============================================================================
0.99/1.00 c 0.0s | 0 | 0 | 0 | 284 0 | 25 | 18
0.99/1.00 c 0.0s | 0 | 46 | 0 | 284 0 | 25 | 18
0.99/1.00 c #cpu_time = 0.001s
0.99/1.00 c #wall_clock_time = 0.001s
0.99/1.00 c #decision = 46
0.99/1.00 c #random_decision = 0
0.99/1.00 c #conflict = 0
0.99/1.00 c #restart = 0
0.99/1.00 c BCD2: found a new core of size 2: cost of the new core is >=1
0.99/1.00 c lower bound updated to 47
0.99/1.00 c BCD2: 47 <= obj <= 129
0.99/1.00 c BCD2: #cores=32, #unrelaxed=33, #relaxed=223, #hardened=0
0.99/1.00 c BCD2: #sat=1 #unsat=48 bias=48/49
0.99/1.00 c Solving starts ...
0.99/1.00 c ============================[ Search Statistics ]============================
0.99/1.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.00 c | | | | Limit GC | Var | Constra
0.99/1.00 c =============================================================================
0.99/1.00 c 0.0s | 0 | 0 | 0 | 284 0 | 25 | 18
0.99/1.00 c 0.0s | 0 | 46 | 0 | 284 0 | 25 | 18
0.99/1.00 c #cpu_time = 0.001s
0.99/1.00 c #wall_clock_time = 0.001s
0.99/1.00 c #decision = 46
0.99/1.00 c #random_decision = 0
0.99/1.00 c #conflict = 0
0.99/1.00 c #restart = 0
0.99/1.00 c BCD2: found a new core of size 1: cost of the new core is >=1
0.99/1.00 c lower bound updated to 48
0.99/1.00 c BCD2: 48 <= obj <= 129
0.99/1.00 c BCD2: #cores=33, #unrelaxed=32, #relaxed=224, #hardened=0
0.99/1.00 c BCD2: #sat=1 #unsat=49 bias=49/50
0.99/1.00 c Solving starts ...
0.99/1.00 c ============================[ Search Statistics ]============================
0.99/1.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.00 c | | | | Limit GC | Var | Constra
0.99/1.00 c =============================================================================
0.99/1.00 c 0.0s | 0 | 0 | 0 | 284 0 | 25 | 18
0.99/1.00 c 0.0s | 0 | 49 | 0 | 284 0 | 25 | 18
0.99/1.00 c #cpu_time = 0.001s
0.99/1.00 c #wall_clock_time = 0.001s
0.99/1.00 c #decision = 49
0.99/1.00 c #random_decision = 0
0.99/1.00 c #conflict = 0
0.99/1.00 c #restart = 0
0.99/1.00 c BCD2: found a new core of size 3: cost of the new core is >=1
0.99/1.00 c lower bound updated to 49
0.99/1.00 c BCD2: 49 <= obj <= 129
0.99/1.00 c BCD2: #cores=34, #unrelaxed=29, #relaxed=227, #hardened=0
0.99/1.00 c BCD2: #sat=1 #unsat=50 bias=50/51
0.99/1.00 c Solving starts ...
0.99/1.00 c ============================[ Search Statistics ]============================
0.99/1.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.00 c | | | | Limit GC | Var | Constra
0.99/1.00 c =============================================================================
0.99/1.00 c 0.0s | 0 | 0 | 0 | 284 0 | 25 | 18
0.99/1.00 c 0.0s | 0 | 50 | 1 | 284 0 | 25 | 18
0.99/1.00 c #cpu_time = 0.001s
0.99/1.00 c #wall_clock_time = 0.001s
0.99/1.00 c #decision = 50
0.99/1.00 c #random_decision = 0
0.99/1.00 c #conflict = 1
0.99/1.00 c #restart = 0
0.99/1.00 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2
0.99/1.00 c lower bound updated to 50
0.99/1.00 c BCD2: 50 <= obj <= 129
0.99/1.00 c BCD2: #cores=34, #unrelaxed=27, #relaxed=229, #hardened=0
0.99/1.00 c BCD2: #sat=1 #unsat=51 bias=51/52
0.99/1.00 c Solving starts ...
0.99/1.00 c ============================[ Search Statistics ]============================
0.99/1.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.00 c | | | | Limit GC | Var | Constra
0.99/1.00 c =============================================================================
0.99/1.00 c 0.0s | 0 | 0 | 0 | 284 0 | 26 | 18
0.99/1.01 c 0.0s | 0 | 71 | 1 | 284 0 | 26 | 19
0.99/1.01 c #cpu_time = 0.001s
0.99/1.01 c #wall_clock_time = 0.001s
0.99/1.01 c #decision = 71
0.99/1.01 c #random_decision = 0
0.99/1.01 c #conflict = 1
0.99/1.01 c #restart = 0
0.99/1.01 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 8: cost of the new core is >=7
0.99/1.01 c lower bound updated to 51
0.99/1.01 c BCD2: 51 <= obj <= 129
0.99/1.01 c BCD2: #cores=34, #unrelaxed=26, #relaxed=230, #hardened=0
0.99/1.01 c BCD2: #sat=1 #unsat=52 bias=52/53
0.99/1.01 c Solving starts ...
0.99/1.01 c ============================[ Search Statistics ]============================
0.99/1.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.01 c | | | | Limit GC | Var | Constra
0.99/1.01 c =============================================================================
0.99/1.01 c 0.0s | 0 | 0 | 0 | 284 0 | 27 | 20
0.99/1.01 c 0.0s | 0 | 50 | 1 | 284 0 | 27 | 21
0.99/1.01 c #cpu_time = 0.001s
0.99/1.01 c #wall_clock_time = 0.001s
0.99/1.01 c #decision = 50
0.99/1.01 c #random_decision = 0
0.99/1.01 c #conflict = 1
0.99/1.01 c #restart = 0
0.99/1.01 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 7: cost of the new core is >=3
0.99/1.01 c lower bound updated to 52
0.99/1.01 c BCD2: 52 <= obj <= 129
0.99/1.01 c BCD2: #cores=34, #unrelaxed=24, #relaxed=232, #hardened=0
0.99/1.01 c BCD2: #sat=1 #unsat=53 bias=53/54
0.99/1.01 c Solving starts ...
0.99/1.01 c ============================[ Search Statistics ]============================
0.99/1.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.01 c | | | | Limit GC | Var | Constra
0.99/1.01 c =============================================================================
0.99/1.01 c 0.0s | 0 | 0 | 0 | 284 0 | 28 | 21
0.99/1.01 c 0.0s | 0 | 50 | 1 | 284 0 | 28 | 22
0.99/1.01 c #cpu_time = 0.001s
0.99/1.01 c #wall_clock_time = 0.001s
0.99/1.01 c #decision = 50
0.99/1.01 c #random_decision = 0
0.99/1.01 c #conflict = 1
0.99/1.01 c #restart = 0
0.99/1.01 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 9: cost of the new core is >=4
0.99/1.01 c lower bound updated to 53
0.99/1.01 c BCD2: 53 <= obj <= 129
0.99/1.01 c BCD2: #cores=34, #unrelaxed=22, #relaxed=234, #hardened=0
0.99/1.01 c BCD2: #sat=1 #unsat=54 bias=54/55
0.99/1.01 c Solving starts ...
0.99/1.01 c ============================[ Search Statistics ]============================
0.99/1.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.01 c | | | | Limit GC | Var | Constra
0.99/1.01 c =============================================================================
0.99/1.01 c 0.0s | 0 | 0 | 0 | 284 0 | 29 | 22
0.99/1.01 c 0.0s | 0 | 50 | 1 | 284 0 | 29 | 23
0.99/1.01 c #cpu_time = 0.001s
0.99/1.01 c #wall_clock_time = 0.001s
0.99/1.01 c #decision = 50
0.99/1.01 c #random_decision = 0
0.99/1.01 c #conflict = 1
0.99/1.01 c #restart = 0
0.99/1.01 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 11: cost of the new core is >=5
0.99/1.01 c lower bound updated to 54
0.99/1.01 c BCD2: 54 <= obj <= 129
0.99/1.01 c BCD2: #cores=34, #unrelaxed=20, #relaxed=236, #hardened=0
0.99/1.01 c BCD2: #sat=1 #unsat=55 bias=55/56
0.99/1.01 c Solving starts ...
0.99/1.01 c ============================[ Search Statistics ]============================
0.99/1.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.01 c | | | | Limit GC | Var | Constra
0.99/1.01 c =============================================================================
0.99/1.01 c 0.0s | 0 | 0 | 0 | 284 0 | 30 | 23
0.99/1.01 c 0.0s | 0 | 48 | 0 | 284 0 | 30 | 24
0.99/1.01 c #cpu_time = 0.001s
0.99/1.01 c #wall_clock_time = 0.001s
0.99/1.01 c #decision = 48
0.99/1.01 c #random_decision = 0
0.99/1.01 c #conflict = 0
0.99/1.01 c #restart = 0
0.99/1.01 c BCD2: found a new core of size 1: cost of the new core is >=1
0.99/1.01 c lower bound updated to 55
0.99/1.01 c BCD2: 55 <= obj <= 129
0.99/1.01 c BCD2: #cores=35, #unrelaxed=19, #relaxed=237, #hardened=0
0.99/1.01 c BCD2: #sat=1 #unsat=56 bias=56/57
0.99/1.01 c Solving starts ...
0.99/1.01 c ============================[ Search Statistics ]============================
0.99/1.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.01 c | | | | Limit GC | Var | Constra
0.99/1.01 c =============================================================================
0.99/1.01 c 0.0s | 0 | 0 | 0 | 284 0 | 30 | 24
0.99/1.02 c 0.0s | 0 | 138 | 11 | 284 0 | 31 | 25
0.99/1.02 c #cpu_time = 0.003s
0.99/1.02 c #wall_clock_time = 0.003s
0.99/1.02 c #decision = 138
0.99/1.02 c #random_decision = 0
0.99/1.02 c #conflict = 11
0.99/1.02 c #restart = 0
0.99/1.02 c BCD2: updating lower bound of a core
0.99/1.02 c lower bound updated to 56
0.99/1.02 c BCD2: 56 <= obj <= 129
0.99/1.02 c BCD2: #cores=35, #unrelaxed=19, #relaxed=237, #hardened=0
0.99/1.02 c BCD2: #sat=1 #unsat=57 bias=57/58
0.99/1.02 c Solving starts ...
0.99/1.02 c ============================[ Search Statistics ]============================
0.99/1.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.02 c | | | | Limit GC | Var | Constra
0.99/1.02 c =============================================================================
0.99/1.02 c 0.0s | 0 | 0 | 0 | 284 0 | 31 | 26
0.99/1.03 c 0.0s | 0 | 155 | 63 | 284 0 | 31 | 26
0.99/1.03 c #cpu_time = 0.009s
0.99/1.03 c #wall_clock_time = 0.009s
0.99/1.03 c #decision = 155
0.99/1.03 c #random_decision = 1
0.99/1.03 c #conflict = 63
0.99/1.03 c #restart = 0
0.99/1.03 c BCD2: relaxing 12 and merging with 9 cores into a new core of size 88: cost of the new core is >=11
0.99/1.03 c lower bound updated to 57
0.99/1.03 c BCD2: 57 <= obj <= 129
0.99/1.03 c BCD2: #cores=27, #unrelaxed=7, #relaxed=249, #hardened=0
0.99/1.03 c BCD2: #sat=1 #unsat=58 bias=58/59
0.99/1.03 c Solving starts ...
0.99/1.03 c ============================[ Search Statistics ]============================
0.99/1.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.03 c | | | | Limit GC | Var | Constra
0.99/1.03 c =============================================================================
0.99/1.03 c 0.0s | 0 | 0 | 0 | 284 0 | 40 | 26
0.99/1.03 c 0.0s | 0 | 86 | 2 | 284 0 | 40 | 35
0.99/1.03 c #cpu_time = 0.002s
0.99/1.03 c #wall_clock_time = 0.002s
0.99/1.03 c #decision = 86
0.99/1.03 c #random_decision = 0
0.99/1.03 c #conflict = 2
0.99/1.03 c #restart = 0
0.99/1.03 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
0.99/1.03 c lower bound updated to 58
0.99/1.03 c BCD2: 58 <= obj <= 129
0.99/1.03 c BCD2: #cores=27, #unrelaxed=6, #relaxed=250, #hardened=0
0.99/1.03 c BCD2: #sat=1 #unsat=59 bias=59/60
0.99/1.03 c Solving starts ...
0.99/1.03 c ============================[ Search Statistics ]============================
0.99/1.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.03 c | | | | Limit GC | Var | Constra
0.99/1.03 c =============================================================================
0.99/1.03 c 0.0s | 0 | 0 | 0 | 284 0 | 41 | 36
0.99/1.05 c 0.0s | 1 | 194 | 100 | 284 0 | 41 | 37
0.99/1.06 c 0.0s | 2 | 448 | 250 | 284 1 | 41 | 37
0.99/1.09 c 0.1s | 3 | 854 | 475 | 284 2 | 41 | 37
1.10/1.13 c 0.1s | 4 | 1343 | 813 | 313 4 | 41 | 37
1.10/1.15 c 0.1s | 4 | 1603 | 982 | 313 5 | 41 | 37
1.10/1.15 c #cpu_time = 0.120s
1.10/1.15 c #wall_clock_time = 0.120s
1.10/1.15 c #decision = 1603
1.10/1.15 c #random_decision = 5
1.10/1.15 c #conflict = 982
1.10/1.15 c #restart = 4
1.10/1.15 c BCD2: relaxing 0 and merging with 4 cores into a new core of size 27: cost of the new core is >=13
1.10/1.15 c lower bound updated to 59
1.10/1.15 c BCD2: 59 <= obj <= 129
1.10/1.15 c BCD2: #cores=24, #unrelaxed=6, #relaxed=250, #hardened=0
1.10/1.15 c BCD2: #sat=1 #unsat=60 bias=60/61
1.10/1.15 c Solving starts ...
1.10/1.15 c ============================[ Search Statistics ]============================
1.10/1.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.10/1.15 c | | | | Limit GC | Var | Constra
1.10/1.15 c =============================================================================
1.10/1.15 c 0.0s | 0 | 0 | 0 | 313 0 | 45 | 37
1.10/1.17 c 0.0s | 1 | 206 | 100 | 313 0 | 45 | 41
1.10/1.17 c 0.0s | 2 | 474 | 250 | 313 0 | 45 | 41
1.10/1.19 c 0.0s | 3 | 806 | 475 | 313 1 | 45 | 41
1.20/1.24 c 0.1s | 4 | 1304 | 813 | 313 3 | 45 | 41
1.20/1.29 c 0.1s | 5 | 1962 | 1320 | 313 6 | 45 | 41
1.29/1.37 c 0.2s | 6 | 3068 | 2081 | 345 9 | 45 | 41
1.39/1.49 c 0.3s | 7 | 4446 | 3223 | 345 14 | 45 | 41
1.69/1.70 c 0.6s | 8 | 6960 | 4936 | 345 22 | 45 | 41
1.99/2.03 c 0.9s | 9 | 10533 | 7506 | 380 33 | 45 | 41
2.49/2.55 c 1.4s | 10 | 15401 | 11361 | 380 49 | 45 | 41
3.19/3.24 c 2.1s | 11 | 22492 | 17144 | 419 71 | 45 | 41
4.40/4.50 c 3.3s | 12 | 32950 | 25819 | 461 103 | 45 | 41
6.39/6.49 c 5.3s | 13 | 48427 | 38832 | 508 148 | 45 | 41
8.39/8.49 c 7.3s | 13 | 64747 | 52232 | 508 192 | 45 | 41
9.29/9.30 c 8.1s | 14 | 72343 | 58352 | 559 210 | 45 | 41
11.29/11.31 c 10.2s | 14 | 91814 | 73752 | 559 257 | 45 | 41
13.20/13.20 c 12.1s | 15 | 108983 | 87632 | 615 298 | 45 | 41
15.19/15.21 c 14.1s | 15 | 123876 | 99832 | 615 332 | 45 | 41
17.19/17.22 c 16.1s | 15 | 139519 | 112532 | 615 367 | 45 | 41
19.19/19.22 c 18.1s | 15 | 155472 | 125332 | 677 403 | 45 | 41
20.09/20.10 c 18.9s | 16 | 163060 | 131552 | 677 419 | 45 | 41
22.09/22.11 c 21.0s | 16 | 179599 | 145052 | 677 454 | 45 | 41
24.09/24.12 c 23.0s | 16 | 197460 | 159452 | 677 491 | 45 | 41
26.09/26.13 c 25.0s | 16 | 214111 | 172952 | 677 526 | 45 | 41
28.08/28.14 c 27.0s | 16 | 233222 | 188252 | 677 566 | 45 | 41
29.58/29.69 c 28.5s | 17 | 244119 | 197432 | 745 588 | 45 | 41
31.68/31.71 c 30.6s | 17 | 257463 | 208732 | 745 614 | 45 | 41
33.68/33.71 c 32.6s | 17 | 271762 | 220532 | 745 641 | 45 | 41
35.68/35.72 c 34.6s | 17 | 287258 | 233632 | 745 672 | 45 | 41
37.68/37.74 c 36.6s | 17 | 300937 | 245332 | 745 699 | 45 | 41
39.69/39.76 c 38.6s | 17 | 315748 | 257632 | 745 728 | 45 | 41
41.68/41.76 c 40.6s | 17 | 330592 | 269832 | 745 756 | 45 | 41
43.68/43.78 c 42.6s | 17 | 343741 | 280832 | 745 782 | 45 | 41
45.68/45.78 c 44.6s | 17 | 356826 | 291632 | 820 807 | 45 | 41
46.58/46.67 c 45.5s | 18 | 362324 | 296252 | 820 817 | 45 | 41
48.58/48.68 c 47.5s | 18 | 378536 | 309752 | 820 846 | 45 | 41
50.59/50.68 c 49.5s | 18 | 393118 | 321652 | 820 872 | 45 | 41
52.58/52.69 c 51.5s | 18 | 411700 | 336152 | 820 904 | 45 | 41
54.68/54.70 c 53.5s | 18 | 429643 | 350452 | 820 935 | 45 | 41
56.68/56.70 c 55.5s | 18 | 444549 | 362752 | 820 962 | 45 | 41
58.68/58.71 c 57.6s | 18 | 458565 | 374252 | 820 987 | 45 | 41
60.69/60.72 c 59.6s | 18 | 470475 | 384252 | 820 1008 | 45 | 41
62.69/62.73 c 61.6s | 18 | 483578 | 395152 | 820 1032 | 45 | 41
64.69/64.74 c 63.6s | 18 | 496852 | 405952 | 820 1056 | 45 | 41
66.68/66.74 c 65.6s | 18 | 509854 | 416952 | 820 1079 | 45 | 41
68.68/68.75 c 67.6s | 18 | 523018 | 427852 | 820 1103 | 45 | 41
70.68/70.76 c 69.6s | 18 | 535875 | 438452 | 903 1126 | 45 | 41
71.78/71.87 c 70.7s | 19 | 542870 | 444482 | 903 1138 | 45 | 41
73.79/73.87 c 72.7s | 19 | 557284 | 456782 | 903 1162 | 45 | 41
75.78/75.88 c 74.7s | 19 | 572063 | 468982 | 903 1186 | 45 | 41
77.78/77.88 c 76.7s | 19 | 585687 | 480482 | 903 1210 | 45 | 41
79.88/79.90 c 78.7s | 19 | 600352 | 492782 | 903 1234 | 45 | 41
81.88/81.91 c 80.8s | 19 | 614033 | 504082 | 903 1257 | 45 | 41
83.88/83.92 c 82.8s | 19 | 629209 | 516382 | 903 1281 | 45 | 41
85.89/85.94 c 84.8s | 19 | 642898 | 527982 | 903 1305 | 45 | 41
87.88/87.95 c 86.8s | 19 | 656137 | 539182 | 903 1327 | 45 | 41
89.88/89.97 c 88.8s | 19 | 671699 | 551882 | 903 1353 | 45 | 41
91.88/91.97 c 90.8s | 19 | 684954 | 563282 | 903 1376 | 45 | 41
93.88/93.97 c 92.8s | 19 | 698337 | 573982 | 903 1397 | 45 | 41
95.88/95.98 c 94.8s | 19 | 710873 | 584282 | 903 1417 | 45 | 41
97.88/97.99 c 96.8s | 19 | 722753 | 594282 | 903 1437 | 45 | 41
99.98/100.00 c 98.9s | 19 | 735285 | 604582 | 903 1458 | 45 | 41
101.98/102.01 c 100s | 19 | 748081 | 614982 | 903 1478 | 45 | 41
103.98/104.02 c 102s | 19 | 759536 | 624482 | 903 1497 | 45 | 41
105.98/106.03 c 104s | 19 | 771953 | 634782 | 903 1518 | 45 | 41
107.98/108.04 c 106s | 19 | 783274 | 644082 | 903 1536 | 45 | 41
109.98/110.04 c 108s | 19 | 795703 | 654282 | 903 1557 | 45 | 41
111.98/112.05 c 110s | 19 | 809880 | 665382 | 994 1578 | 45 | 41
112.18/112.28 c 111s | 20 | 812092 | 666827 | 994 1580 | 45 | 41
114.17/114.29 c 113s | 20 | 830896 | 682427 | 994 1609 | 45 | 41
116.17/116.29 c 115s | 20 | 848282 | 695827 | 994 1633 | 45 | 41
118.27/118.31 c 117s | 20 | 863081 | 707727 | 994 1655 | 45 | 41
120.27/120.31 c 119s | 20 | 879273 | 720627 | 994 1679 | 45 | 41
122.27/122.31 c 121s | 20 | 893365 | 731927 | 994 1699 | 45 | 41
124.28/124.32 c 123s | 20 | 906764 | 743127 | 994 1720 | 45 | 41
126.27/126.32 c 125s | 20 | 919719 | 753627 | 994 1739 | 45 | 41
128.27/128.33 c 127s | 20 | 932715 | 764327 | 994 1759 | 45 | 41
130.27/130.33 c 129s | 20 | 945771 | 775027 | 994 1778 | 45 | 41
132.27/132.33 c 131s | 20 | 958048 | 785427 | 994 1797 | 45 | 41
134.27/134.35 c 133s | 20 | 971429 | 795527 | 994 1816 | 45 | 41
136.27/136.35 c 135s | 20 | 983538 | 804927 | 994 1833 | 45 | 41
138.27/138.36 c 137s | 20 | 996247 | 815127 | 994 1852 | 45 | 41
140.27/140.36 c 139s | 20 | 1013467 | 827927 | 994 1876 | 45 | 41
142.27/142.38 c 141s | 20 | 1029007 | 839927 | 994 1898 | 45 | 41
144.27/144.38 c 143s | 20 | 1047411 | 854727 | 994 1925 | 45 | 41
146.27/146.39 c 145s | 20 | 1059352 | 864527 | 994 1943 | 45 | 41
148.26/148.39 c 147s | 20 | 1073606 | 876027 | 994 1964 | 45 | 41
150.36/150.40 c 149s | 20 | 1086831 | 886827 | 994 1984 | 45 | 41
152.36/152.40 c 151s | 20 | 1101674 | 898827 | 994 2006 | 45 | 41
154.36/154.42 c 153s | 20 | 1114330 | 909427 | 994 2025 | 45 | 41
155.17/155.21 c 154s | 20 | 1119875 | 913882 | 994 2034 | 45 | 41
155.17/155.21 c #cpu_time = 154.060s
155.17/155.21 c #wall_clock_time = 154.062s
155.17/155.21 c #decision = 1119875
155.17/155.21 c #random_decision = 4120
155.17/155.21 c #conflict = 913882
155.17/155.21 c #restart = 20
155.17/155.21 c BCD2: relaxing 1 and merging with 18 cores into a new core of size 240: cost of the new core is >=50
155.17/155.21 c lower bound updated to 60
155.17/155.21 c BCD2: 60 <= obj <= 129
155.17/155.21 c BCD2: #cores=7, #unrelaxed=5, #relaxed=251, #hardened=0
155.17/155.21 c BCD2: #sat=1 #unsat=61 bias=61/62
155.17/155.21 c Solving starts ...
155.17/155.21 c ============================[ Search Statistics ]============================
155.17/155.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
155.17/155.21 c | | | | Limit GC | Var | Constra
155.17/155.21 c =============================================================================
155.17/155.22 c 0.0s | 0 | 0 | 0 | 994 0 | 63 | 41
155.17/155.23 c 0.0s | 1 | 173 | 100 | 994 0 | 63 | 59
155.17/155.25 c 0.0s | 2 | 407 | 250 | 994 0 | 63 | 59
155.17/155.29 c 0.1s | 3 | 698 | 475 | 994 0 | 63 | 59
155.26/155.36 c 0.1s | 4 | 1118 | 813 | 994 0 | 63 | 59
155.36/155.46 c 0.2s | 5 | 1758 | 1320 | 994 1 | 63 | 59
155.56/155.62 c 0.4s | 6 | 2746 | 2081 | 994 2 | 63 | 59
155.76/155.88 c 0.7s | 7 | 4121 | 3223 | 994 4 | 63 | 59
156.17/156.28 c 1.1s | 8 | 6384 | 4936 | 994 7 | 63 | 59
156.76/156.89 c 1.7s | 9 | 9479 | 7506 | 994 12 | 63 | 59
157.76/157.80 c 2.6s | 10 | 14110 | 11361 | 994 18 | 63 | 59
159.06/159.20 c 4.0s | 11 | 21042 | 17144 | 994 28 | 63 | 59
161.16/161.21 c 6.0s | 12 | 31481 | 25819 | 994 43 | 63 | 59
163.16/163.23 c 8.0s | 12 | 42263 | 34519 | 994 59 | 63 | 59
164.26/164.31 c 9.1s | 13 | 47470 | 38832 | 994 66 | 63 | 59
166.26/166.32 c 11.1s | 13 | 57251 | 47132 | 994 81 | 63 | 59
168.28/168.32 c 13.1s | 13 | 65931 | 54832 | 994 94 | 63 | 59
169.17/169.22 c 14.0s | 14 | 70195 | 58352 | 994 100 | 63 | 59
171.17/171.23 c 16.0s | 14 | 80058 | 66652 | 994 115 | 63 | 59
173.17/173.25 c 18.0s | 14 | 88849 | 74152 | 1094 127 | 63 | 59
175.17/175.27 c 20.1s | 14 | 98216 | 82052 | 1094 140 | 63 | 59
176.67/176.74 c 21.5s | 15 | 105036 | 87632 | 1094 149 | 63 | 59
178.67/178.74 c 23.5s | 15 | 114391 | 95532 | 1094 162 | 63 | 59
180.67/180.76 c 25.5s | 15 | 123918 | 103632 | 1094 175 | 63 | 59
182.67/182.77 c 27.6s | 15 | 133450 | 111732 | 1094 188 | 63 | 59
184.66/184.79 c 29.6s | 15 | 142018 | 119232 | 1094 200 | 63 | 59
186.76/186.80 c 31.6s | 15 | 150687 | 126832 | 1094 212 | 63 | 59
187.96/188.05 c 32.8s | 16 | 156114 | 131552 | 1094 220 | 63 | 59
189.96/190.07 c 34.9s | 16 | 166606 | 140352 | 1094 234 | 63 | 59
191.96/192.08 c 36.9s | 16 | 175837 | 148152 | 1094 247 | 63 | 59
193.96/194.08 c 38.9s | 16 | 185285 | 156052 | 1094 259 | 63 | 59
195.96/196.09 c 40.9s | 16 | 194483 | 163952 | 1094 272 | 63 | 59
198.07/198.12 c 42.9s | 16 | 203677 | 171752 | 1094 285 | 63 | 59
200.06/200.12 c 44.9s | 16 | 212883 | 179652 | 1094 297 | 63 | 59
202.06/202.13 c 46.9s | 16 | 221987 | 187352 | 1094 310 | 63 | 59
204.06/204.13 c 48.9s | 16 | 230821 | 194952 | 1094 322 | 63 | 59
204.57/204.70 c 49.5s | 17 | 233686 | 197432 | 1094 326 | 63 | 59
206.66/206.71 c 51.5s | 17 | 244416 | 206832 | 1094 341 | 63 | 59
208.66/208.73 c 53.5s | 17 | 255118 | 216032 | 1094 356 | 63 | 59
210.66/210.74 c 55.5s | 17 | 265092 | 224732 | 1094 370 | 63 | 59
212.66/212.74 c 57.5s | 17 | 275437 | 233632 | 1094 385 | 63 | 59
214.66/214.76 c 59.5s | 17 | 285840 | 242632 | 1094 399 | 63 | 59
216.66/216.77 c 61.6s | 17 | 295840 | 251432 | 1094 413 | 63 | 59
218.66/218.79 c 63.6s | 17 | 306059 | 260432 | 1094 428 | 63 | 59
220.66/220.79 c 65.6s | 17 | 316276 | 269332 | 1094 443 | 63 | 59
222.76/222.80 c 67.6s | 17 | 326823 | 278532 | 1094 458 | 63 | 59
224.75/224.83 c 69.6s | 17 | 337369 | 287732 | 1094 473 | 63 | 59
226.66/226.75 c 71.5s | 18 | 347172 | 296252 | 1094 486 | 63 | 59
228.65/228.76 c 73.5s | 18 | 357414 | 304952 | 1094 500 | 63 | 59
230.65/230.79 c 75.6s | 18 | 367509 | 313552 | 1094 515 | 63 | 59
232.75/232.80 c 77.6s | 18 | 377514 | 321952 | 1094 528 | 63 | 59
234.75/234.81 c 79.6s | 18 | 387659 | 330752 | 1094 543 | 63 | 59
236.75/236.82 c 81.6s | 18 | 397608 | 339352 | 1094 557 | 63 | 59
238.76/238.84 c 83.6s | 18 | 407498 | 347752 | 1094 570 | 63 | 59
240.75/240.85 c 85.6s | 18 | 416959 | 355952 | 1094 584 | 63 | 59
242.75/242.88 c 87.7s | 18 | 427151 | 364552 | 1094 598 | 63 | 59
244.75/244.89 c 89.7s | 18 | 436417 | 372552 | 1094 611 | 63 | 59
246.85/246.91 c 91.7s | 18 | 445965 | 380652 | 1094 624 | 63 | 59
248.85/248.92 c 93.7s | 18 | 455358 | 388652 | 1094 637 | 63 | 59
250.86/250.94 c 95.7s | 18 | 464563 | 396452 | 1094 649 | 63 | 59
252.85/252.96 c 97.7s | 18 | 474130 | 404452 | 1094 662 | 63 | 59
254.85/254.98 c 99.8s | 18 | 483135 | 412152 | 1094 674 | 63 | 59
256.85/256.99 c 101s | 18 | 491932 | 419852 | 1094 687 | 63 | 59
258.95/259.00 c 103s | 18 | 501490 | 427952 | 1094 700 | 63 | 59
260.95/261.02 c 105s | 18 | 510476 | 435752 | 1094 713 | 63 | 59
262.95/263.04 c 107s | 18 | 519693 | 443652 | 1094 725 | 63 | 59
263.15/263.27 c 108s | 19 | 520695 | 444482 | 1094 727 | 63 | 59
265.15/265.28 c 110s | 19 | 530678 | 453182 | 1094 741 | 63 | 59
267.15/267.29 c 112s | 19 | 540256 | 461582 | 1094 754 | 63 | 59
269.15/269.29 c 114s | 19 | 549950 | 469982 | 1094 768 | 63 | 59
271.24/271.32 c 116s | 19 | 558801 | 477582 | 1094 781 | 63 | 59
273.24/273.33 c 118s | 19 | 567812 | 485382 | 1094 793 | 63 | 59
275.24/275.35 c 120s | 19 | 577001 | 493282 | 1094 806 | 63 | 59
277.25/277.35 c 122s | 19 | 585832 | 500982 | 1094 819 | 63 | 59
279.24/279.38 c 124s | 19 | 594627 | 508482 | 1094 831 | 63 | 59
281.24/281.39 c 126s | 19 | 604133 | 516782 | 1094 844 | 63 | 59
283.34/283.41 c 128s | 19 | 613940 | 525382 | 1094 859 | 63 | 59
285.35/285.42 c 130s | 19 | 623136 | 533282 | 1094 871 | 63 | 59
287.35/287.44 c 132s | 19 | 632183 | 541182 | 1094 884 | 63 | 59
289.36/289.46 c 134s | 19 | 641388 | 549282 | 1094 898 | 63 | 59
291.35/291.47 c 136s | 19 | 650410 | 557282 | 1094 911 | 63 | 59
293.35/293.48 c 138s | 19 | 660274 | 565682 | 1094 925 | 63 | 59
295.35/295.49 c 140s | 19 | 669713 | 573882 | 1204 937 | 63 | 59
297.45/297.51 c 142s | 19 | 678684 | 581682 | 1204 949 | 63 | 59
299.45/299.51 c 144s | 19 | 687833 | 589382 | 1204 960 | 63 | 59
301.46/301.52 c 146s | 19 | 696787 | 597182 | 1204 972 | 63 | 59
303.45/303.54 c 148s | 19 | 706337 | 605082 | 1204 984 | 63 | 59
305.45/305.57 c 150s | 19 | 715336 | 612682 | 1204 995 | 63 | 59
307.45/307.58 c 152s | 19 | 723934 | 620382 | 1204 1007 | 63 | 59
309.45/309.59 c 154s | 19 | 733212 | 628382 | 1204 1019 | 63 | 59
311.55/311.61 c 156s | 19 | 741936 | 635982 | 1204 1030 | 63 | 59
313.55/313.61 c 158s | 19 | 750409 | 643282 | 1204 1041 | 63 | 59
315.55/315.61 c 160s | 19 | 758648 | 650182 | 1204 1051 | 63 | 59
317.55/317.64 c 162s | 19 | 766773 | 657182 | 1204 1062 | 63 | 59
319.55/319.66 c 164s | 19 | 775211 | 664582 | 1204 1073 | 63 | 59
320.24/320.31 c 165s | 20 | 777751 | 666827 | 1204 1076 | 63 | 59
322.25/322.31 c 167s | 20 | 787120 | 674927 | 1204 1089 | 63 | 59
324.24/324.32 c 169s | 20 | 796162 | 682927 | 1204 1101 | 63 | 59
326.24/326.34 c 171s | 20 | 806220 | 691627 | 1204 1114 | 63 | 59
328.24/328.35 c 173s | 20 | 816323 | 700327 | 1204 1127 | 63 | 59
330.24/330.36 c 175s | 20 | 826154 | 708627 | 1204 1139 | 63 | 59
332.25/332.38 c 177s | 20 | 836297 | 716927 | 1204 1152 | 63 | 59
334.24/334.38 c 179s | 20 | 846604 | 725727 | 1204 1165 | 63 | 59
336.34/336.40 c 181s | 20 | 856408 | 734227 | 1204 1178 | 63 | 59
338.34/338.40 c 183s | 20 | 866432 | 742927 | 1204 1191 | 63 | 59
340.34/340.41 c 185s | 20 | 876652 | 751627 | 1204 1204 | 63 | 59
342.34/342.41 c 187s | 20 | 886167 | 759927 | 1204 1216 | 63 | 59
344.35/344.43 c 189s | 20 | 896110 | 768327 | 1204 1229 | 63 | 59
346.34/346.47 c 191s | 20 | 906059 | 776727 | 1204 1242 | 63 | 59
348.34/348.48 c 193s | 20 | 915265 | 784627 | 1204 1253 | 63 | 59
350.44/350.50 c 195s | 20 | 924062 | 792227 | 1204 1265 | 63 | 59
352.44/352.53 c 197s | 20 | 933291 | 800127 | 1204 1277 | 63 | 59
354.44/354.54 c 199s | 20 | 942332 | 807827 | 1204 1289 | 63 | 59
356.44/356.54 c 201s | 20 | 951884 | 815927 | 1204 1301 | 63 | 59
358.44/358.56 c 203s | 20 | 960882 | 823727 | 1204 1312 | 63 | 59
360.44/360.57 c 205s | 20 | 970063 | 831627 | 1204 1324 | 63 | 59
362.44/362.57 c 207s | 20 | 979664 | 839927 | 1204 1337 | 63 | 59
364.44/364.59 c 209s | 20 | 989129 | 848027 | 1204 1349 | 63 | 59
366.54/366.61 c 211s | 20 | 998412 | 856027 | 1204 1361 | 63 | 59
368.54/368.64 c 213s | 20 | 1007905 | 864127 | 1204 1373 | 63 | 59
370.54/370.64 c 215s | 20 | 1016817 | 871727 | 1204 1384 | 63 | 59
372.54/372.64 c 217s | 20 | 1025641 | 879427 | 1204 1396 | 63 | 59
374.53/374.65 c 219s | 20 | 1034940 | 887527 | 1204 1408 | 63 | 59
376.53/376.65 c 221s | 20 | 1044623 | 895827 | 1204 1420 | 63 | 59
378.53/378.67 c 223s | 20 | 1054719 | 904427 | 1204 1433 | 63 | 59
380.54/380.69 c 225s | 20 | 1064092 | 912627 | 1204 1446 | 63 | 59
382.63/382.71 c 227s | 20 | 1073699 | 920827 | 1204 1458 | 63 | 59
384.64/384.73 c 229s | 20 | 1083969 | 929527 | 1204 1471 | 63 | 59
386.64/386.74 c 231s | 20 | 1093843 | 937927 | 1204 1484 | 63 | 59
388.64/388.76 c 233s | 20 | 1103629 | 946427 | 1204 1496 | 63 | 59
390.64/390.77 c 235s | 20 | 1113548 | 954827 | 1204 1509 | 63 | 59
392.64/392.78 c 237s | 20 | 1123813 | 963627 | 1204 1522 | 63 | 59
394.63/394.78 c 239s | 20 | 1133470 | 971927 | 1204 1534 | 63 | 59
396.73/396.80 c 241s | 20 | 1143128 | 980327 | 1204 1547 | 63 | 59
398.73/398.81 c 243s | 20 | 1153098 | 988927 | 1204 1560 | 63 | 59
400.73/400.82 c 245s | 20 | 1163132 | 997527 | 1204 1573 | 63 | 59
401.44/401.55 c 246s | 21 | 1166397 | 1000345 | 1204 1577 | 63 | 59
403.43/403.56 c 248s | 21 | 1176456 | 1009145 | 1204 1590 | 63 | 59
405.43/405.59 c 250s | 21 | 1185904 | 1017445 | 1204 1603 | 63 | 59
407.53/407.61 c 252s | 21 | 1195640 | 1025845 | 1204 1616 | 63 | 59
409.53/409.61 c 254s | 21 | 1205396 | 1034345 | 1204 1629 | 63 | 59
411.53/411.64 c 256s | 21 | 1215476 | 1043245 | 1204 1642 | 63 | 59
413.54/413.64 c 258s | 21 | 1225461 | 1052145 | 1204 1656 | 63 | 59
415.53/415.65 c 260s | 21 | 1234802 | 1060445 | 1204 1668 | 63 | 59
417.53/417.67 c 262s | 21 | 1244367 | 1068845 | 1204 1681 | 63 | 59
419.53/419.69 c 264s | 21 | 1255130 | 1078345 | 1204 1696 | 63 | 59
421.63/421.71 c 266s | 21 | 1265828 | 1087545 | 1204 1710 | 63 | 59
423.63/423.72 c 268s | 21 | 1275547 | 1096045 | 1204 1722 | 63 | 59
425.63/425.72 c 270s | 21 | 1285375 | 1104745 | 1204 1736 | 63 | 59
427.63/427.74 c 272s | 21 | 1294559 | 1112845 | 1204 1748 | 63 | 59
429.63/429.75 c 274s | 21 | 1303484 | 1120645 | 1204 1760 | 63 | 59
431.63/431.77 c 276s | 21 | 1313002 | 1128845 | 1204 1773 | 63 | 59
433.62/433.79 c 278s | 21 | 1322962 | 1137245 | 1204 1785 | 63 | 59
435.72/435.80 c 280s | 21 | 1332258 | 1145145 | 1204 1797 | 63 | 59
437.73/437.83 c 282s | 21 | 1342256 | 1153545 | 1204 1810 | 63 | 59
439.72/439.84 c 284s | 21 | 1351883 | 1161745 | 1204 1822 | 63 | 59
441.72/441.85 c 286s | 21 | 1361437 | 1169945 | 1204 1834 | 63 | 59
443.72/443.86 c 288s | 21 | 1371304 | 1178145 | 1204 1847 | 63 | 59
445.72/445.88 c 290s | 21 | 1380450 | 1186045 | 1204 1859 | 63 | 59
447.73/447.89 c 292s | 21 | 1389277 | 1193645 | 1204 1870 | 63 | 59
449.83/449.91 c 294s | 21 | 1399111 | 1201945 | 1204 1883 | 63 | 59
451.82/451.93 c 296s | 21 | 1408084 | 1209545 | 1204 1894 | 63 | 59
453.82/453.93 c 298s | 21 | 1417522 | 1217345 | 1204 1906 | 63 | 59
455.82/455.95 c 300s | 21 | 1427052 | 1225345 | 1204 1918 | 63 | 59
457.82/457.97 c 302s | 21 | 1436279 | 1233645 | 1204 1930 | 63 | 59
459.83/459.97 c 304s | 21 | 1445099 | 1241345 | 1204 1942 | 63 | 59
461.82/461.99 c 306s | 21 | 1453948 | 1249045 | 1204 1954 | 63 | 59
463.92/464.02 c 308s | 21 | 1462830 | 1256545 | 1204 1965 | 63 | 59
465.92/466.04 c 310s | 21 | 1472213 | 1264545 | 1204 1977 | 63 | 59
467.92/468.06 c 312s | 21 | 1480609 | 1271945 | 1204 1988 | 63 | 59
469.92/470.07 c 314s | 21 | 1490191 | 1280045 | 1204 2000 | 63 | 59
471.92/472.09 c 316s | 21 | 1499581 | 1288145 | 1204 2012 | 63 | 59
474.02/474.10 c 318s | 21 | 1508665 | 1296045 | 1204 2024 | 63 | 59
476.01/476.13 c 320s | 21 | 1517632 | 1303845 | 1204 2036 | 63 | 59
478.01/478.13 c 322s | 21 | 1526205 | 1311145 | 1204 2047 | 63 | 59
480.01/480.14 c 324s | 21 | 1534982 | 1318745 | 1325 2058 | 63 | 59
482.01/482.16 c 326s | 21 | 1543925 | 1326445 | 1325 2069 | 63 | 59
484.02/484.17 c 328s | 21 | 1552528 | 1333845 | 1325 2079 | 63 | 59
486.01/486.18 c 330s | 21 | 1560693 | 1341045 | 1325 2089 | 63 | 59
488.01/488.19 c 332s | 21 | 1569966 | 1348745 | 1325 2099 | 63 | 59
490.12/490.20 c 334s | 21 | 1578003 | 1355845 | 1325 2109 | 63 | 59
492.12/492.21 c 336s | 21 | 1587018 | 1363545 | 1325 2120 | 63 | 59
494.12/494.22 c 339s | 21 | 1596471 | 1371445 | 1325 2131 | 63 | 59
496.13/496.22 c 341s | 21 | 1605441 | 1379045 | 1325 2141 | 63 | 59
498.12/498.24 c 343s | 21 | 1614538 | 1386845 | 1325 2152 | 63 | 59
500.12/500.25 c 345s | 21 | 1622983 | 1394145 | 1325 2162 | 63 | 59
502.12/502.28 c 347s | 21 | 1631363 | 1401445 | 1325 2172 | 63 | 59
504.12/504.29 c 349s | 21 | 1639495 | 1408545 | 1325 2182 | 63 | 59
506.22/506.31 c 351s | 21 | 1647563 | 1415545 | 1325 2191 | 63 | 59
508.22/508.32 c 353s | 21 | 1656274 | 1422945 | 1325 2202 | 63 | 59
510.22/510.33 c 355s | 21 | 1664060 | 1429745 | 1325 2211 | 63 | 59
512.22/512.36 c 357s | 21 | 1672417 | 1436945 | 1325 2220 | 63 | 59
514.21/514.37 c 359s | 21 | 1681444 | 1444445 | 1325 2231 | 63 | 59
516.21/516.39 c 361s | 21 | 1689932 | 1451545 | 1325 2241 | 63 | 59
518.21/518.40 c 363s | 21 | 1698216 | 1458645 | 1325 2251 | 63 | 59
520.32/520.41 c 365s | 21 | 1706909 | 1466045 | 1325 2261 | 63 | 59
522.31/522.43 c 367s | 21 | 1715661 | 1473345 | 1325 2271 | 63 | 59
524.31/524.45 c 369s | 21 | 1724331 | 1480845 | 1325 2281 | 63 | 59
526.31/526.47 c 371s | 21 | 1733280 | 1488545 | 1325 2292 | 63 | 59
528.31/528.48 c 373s | 21 | 1741544 | 1495745 | 1325 2302 | 63 | 59
529.61/529.72 c 374s | 22 | 1747307 | 1500622 | 1325 2309 | 63 | 59
531.61/531.72 c 376s | 22 | 1755921 | 1508322 | 1325 2319 | 63 | 59
533.61/533.74 c 378s | 22 | 1764234 | 1515722 | 1325 2329 | 63 | 59
535.62/535.74 c 380s | 22 | 1772440 | 1523022 | 1325 2339 | 63 | 59
537.61/537.76 c 382s | 22 | 1780300 | 1530022 | 1325 2349 | 63 | 59
539.61/539.77 c 384s | 22 | 1788687 | 1537422 | 1325 2359 | 63 | 59
541.61/541.77 c 386s | 22 | 1796570 | 1544422 | 1325 2368 | 63 | 59
543.71/543.80 c 388s | 22 | 1804302 | 1551322 | 1325 2378 | 63 | 59
545.71/545.81 c 390s | 22 | 1812078 | 1558222 | 1325 2387 | 63 | 59
547.71/547.82 c 392s | 22 | 1820154 | 1565322 | 1325 2397 | 63 | 59
549.71/549.83 c 394s | 22 | 1828457 | 1572822 | 1325 2407 | 63 | 59
551.71/551.84 c 396s | 22 | 1836960 | 1580422 | 1325 2417 | 63 | 59
553.71/553.85 c 398s | 22 | 1845660 | 1588022 | 1325 2428 | 63 | 59
555.71/555.87 c 400s | 22 | 1854113 | 1595422 | 1325 2438 | 63 | 59
557.71/557.88 c 402s | 22 | 1862399 | 1602722 | 1325 2448 | 63 | 59
559.81/559.91 c 404s | 22 | 1870746 | 1609922 | 1325 2458 | 63 | 59
561.80/561.93 c 406s | 22 | 1879040 | 1617222 | 1325 2468 | 63 | 59
563.80/563.94 c 408s | 22 | 1887185 | 1624322 | 1325 2477 | 63 | 59
565.80/565.97 c 410s | 22 | 1895530 | 1631622 | 1325 2487 | 63 | 59
567.80/567.98 c 412s | 22 | 1904506 | 1639422 | 1325 2498 | 63 | 59
569.90/570.00 c 414s | 22 | 1913481 | 1647422 | 1325 2509 | 63 | 59
571.91/572.01 c 416s | 22 | 1921952 | 1654922 | 1325 2519 | 63 | 59
573.90/574.03 c 418s | 22 | 1931061 | 1662822 | 1325 2530 | 63 | 59
575.90/576.06 c 420s | 22 | 1939993 | 1670522 | 1325 2541 | 63 | 59
577.90/578.08 c 422s | 22 | 1948661 | 1678022 | 1325 2551 | 63 | 59
579.90/580.08 c 424s | 22 | 1957317 | 1685522 | 1325 2561 | 63 | 59
581.91/582.09 c 426s | 22 | 1965630 | 1692822 | 1325 2571 | 63 | 59
584.01/584.11 c 428s | 22 | 1974284 | 1700522 | 1325 2582 | 63 | 59
586.00/586.14 c 430s | 22 | 1982924 | 1708022 | 1325 2592 | 63 | 59
588.00/588.17 c 432s | 22 | 1991452 | 1715522 | 1325 2602 | 63 | 59
590.00/590.17 c 434s | 22 | 1999798 | 1722722 | 1325 2612 | 63 | 59
592.00/592.19 c 436s | 22 | 2008201 | 1730022 | 1325 2622 | 63 | 59
594.10/594.20 c 438s | 22 | 2016722 | 1737122 | 1325 2632 | 63 | 59
596.11/596.21 c 440s | 22 | 2025528 | 1744922 | 1325 2643 | 63 | 59
598.10/598.23 c 443s | 22 | 2034220 | 1752622 | 1325 2653 | 63 | 59
600.10/600.25 c 445s | 22 | 2043100 | 1760022 | 1325 2664 | 63 | 59
602.10/602.27 c 447s | 22 | 2051597 | 1767222 | 1325 2674 | 63 | 59
604.10/604.27 c 449s | 22 | 2059508 | 1774222 | 1325 2683 | 63 | 59
606.10/606.28 c 451s | 22 | 2067536 | 1781222 | 1325 2693 | 63 | 59
608.20/608.31 c 453s | 22 | 2075918 | 1788622 | 1325 2703 | 63 | 59
610.20/610.34 c 455s | 22 | 2083987 | 1795822 | 1325 2713 | 63 | 59
612.20/612.35 c 457s | 22 | 2091769 | 1802622 | 1325 2722 | 63 | 59
614.20/614.37 c 459s | 22 | 2099493 | 1809522 | 1325 2731 | 63 | 59
616.20/616.38 c 461s | 22 | 2107262 | 1816322 | 1325 2741 | 63 | 59
618.30/618.40 c 463s | 22 | 2116091 | 1823922 | 1325 2751 | 63 | 59
620.30/620.43 c 465s | 22 | 2124434 | 1831322 | 1325 2761 | 63 | 59
622.29/622.43 c 467s | 22 | 2132904 | 1838822 | 1325 2771 | 63 | 59
624.29/624.45 c 469s | 22 | 2141714 | 1846522 | 1325 2782 | 63 | 59
626.29/626.46 c 471s | 22 | 2150487 | 1854222 | 1325 2792 | 63 | 59
628.29/628.49 c 473s | 22 | 2158667 | 1861522 | 1325 2803 | 63 | 59
630.40/630.51 c 475s | 22 | 2166814 | 1868822 | 1325 2812 | 63 | 59
632.41/632.54 c 477s | 22 | 2175175 | 1876222 | 1325 2823 | 63 | 59
634.40/634.54 c 479s | 22 | 2183200 | 1883322 | 1325 2832 | 63 | 59
636.40/636.57 c 481s | 22 | 2191216 | 1890422 | 1325 2842 | 63 | 59
638.40/638.57 c 483s | 22 | 2199151 | 1897422 | 1325 2852 | 63 | 59
640.40/640.59 c 485s | 22 | 2207331 | 1904622 | 1325 2861 | 63 | 59
642.50/642.60 c 487s | 22 | 2215253 | 1911722 | 1325 2871 | 63 | 59
644.50/644.62 c 489s | 22 | 2223258 | 1918922 | 1325 2881 | 63 | 59
646.50/646.62 c 491s | 22 | 2231246 | 1926122 | 1325 2891 | 63 | 59
648.49/648.64 c 493s | 22 | 2239274 | 1933322 | 1325 2901 | 63 | 59
650.49/650.66 c 495s | 22 | 2247567 | 1940622 | 1325 2911 | 63 | 59
652.49/652.68 c 497s | 22 | 2255434 | 1947722 | 1325 2921 | 63 | 59
654.59/654.71 c 499s | 22 | 2263647 | 1954722 | 1325 2930 | 63 | 59
656.60/656.72 c 501s | 22 | 2271321 | 1961522 | 1325 2940 | 63 | 59
658.59/658.74 c 503s | 22 | 2278623 | 1968022 | 1325 2948 | 63 | 59
660.59/660.76 c 505s | 22 | 2286167 | 1974622 | 1325 2957 | 63 | 59
662.59/662.79 c 507s | 22 | 2293788 | 1981422 | 1325 2967 | 63 | 59
664.59/664.79 c 509s | 22 | 2301398 | 1988022 | 1325 2976 | 63 | 59
666.60/666.79 c 511s | 22 | 2309161 | 1994722 | 1325 2985 | 63 | 59
668.70/668.82 c 513s | 22 | 2316796 | 2001522 | 1325 2994 | 63 | 59
670.69/670.82 c 515s | 22 | 2324738 | 2008522 | 1325 3004 | 63 | 59
672.69/672.83 c 517s | 22 | 2332958 | 2015822 | 1325 3014 | 63 | 59
674.69/674.84 c 519s | 22 | 2341388 | 2023222 | 1325 3024 | 63 | 59
676.69/676.84 c 521s | 22 | 2349833 | 2030622 | 1325 3034 | 63 | 59
678.70/678.85 c 523s | 22 | 2358223 | 2037922 | 1325 3044 | 63 | 59
680.69/680.87 c 525s | 22 | 2366550 | 2045222 | 1325 3054 | 63 | 59
682.69/682.89 c 527s | 22 | 2374558 | 2052322 | 1325 3064 | 63 | 59
684.79/684.92 c 529s | 22 | 2383228 | 2059922 | 1325 3075 | 63 | 59
686.79/686.92 c 531s | 22 | 2391698 | 2067522 | 1325 3085 | 63 | 59
688.79/688.94 c 533s | 22 | 2400025 | 2074822 | 1325 3095 | 63 | 59
690.79/690.95 c 535s | 22 | 2408457 | 2082222 | 1325 3105 | 63 | 59
692.79/692.95 c 537s | 22 | 2416442 | 2089322 | 1325 3115 | 63 | 59
694.79/694.97 c 539s | 22 | 2424833 | 2096822 | 1325 3125 | 63 | 59
696.79/696.97 c 541s | 22 | 2433399 | 2104522 | 1325 3136 | 63 | 59
698.78/698.99 c 543s | 22 | 2442247 | 2112222 | 1325 3147 | 63 | 59
700.78/700.99 c 545s | 22 | 2450292 | 2119422 | 1325 3156 | 63 | 59
702.79/702.99 c 547s | 22 | 2458124 | 2126422 | 1325 3166 | 63 | 59
704.88/705.02 c 549s | 22 | 2466070 | 2133422 | 1325 3176 | 63 | 59
706.88/707.03 c 551s | 22 | 2473967 | 2140422 | 1325 3185 | 63 | 59
708.88/709.04 c 553s | 22 | 2482062 | 2147722 | 1325 3195 | 63 | 59
710.88/711.06 c 555s | 22 | 2489627 | 2154422 | 1325 3204 | 63 | 59
712.88/713.06 c 557s | 22 | 2497036 | 2161022 | 1325 3213 | 63 | 59
714.89/715.09 c 559s | 22 | 2504447 | 2167722 | 1325 3222 | 63 | 59
716.98/717.10 c 561s | 22 | 2511724 | 2174322 | 1325 3231 | 63 | 59
718.97/719.11 c 563s | 22 | 2519559 | 2181322 | 1325 3241 | 63 | 59
720.97/721.12 c 565s | 22 | 2527329 | 2188222 | 1325 3250 | 63 | 59
722.97/723.14 c 567s | 22 | 2535360 | 2195422 | 1325 3260 | 63 | 59
724.97/725.17 c 569s | 22 | 2543151 | 2202422 | 1325 3270 | 63 | 59
726.98/727.18 c 571s | 22 | 2550817 | 2209322 | 1325 3279 | 63 | 59
728.97/729.19 c 573s | 22 | 2558512 | 2216222 | 1325 3289 | 63 | 59
731.07/731.20 c 575s | 22 | 2566393 | 2223122 | 1325 3298 | 63 | 59
733.06/733.22 c 578s | 22 | 2574315 | 2230022 | 1325 3307 | 63 | 59
735.06/735.25 c 580s | 22 | 2582931 | 2237222 | 1325 3317 | 63 | 59
737.06/737.26 c 582s | 22 | 2591515 | 2244522 | 1325 3327 | 63 | 59
738.86/739.05 c 583s | 23 | 2599391 | 2251038 | 1325 3336 | 63 | 59
740.86/741.06 c 585s | 23 | 2608578 | 2258938 | 1325 3347 | 63 | 59
742.86/743.09 c 587s | 23 | 2617674 | 2266738 | 1325 3357 | 63 | 59
744.96/745.10 c 589s | 23 | 2626308 | 2274338 | 1325 3368 | 63 | 59
746.96/747.11 c 591s | 23 | 2635201 | 2281938 | 1325 3378 | 63 | 59
748.96/749.12 c 593s | 23 | 2644589 | 2289838 | 1325 3389 | 63 | 59
750.95/751.13 c 595s | 23 | 2654206 | 2297738 | 1325 3399 | 63 | 59
752.95/753.14 c 597s | 23 | 2662907 | 2305438 | 1325 3410 | 63 | 59
754.95/755.15 c 599s | 23 | 2671848 | 2313038 | 1325 3420 | 63 | 59
756.95/757.15 c 601s | 23 | 2679950 | 2320138 | 1325 3430 | 63 | 59
758.96/759.17 c 603s | 23 | 2688201 | 2327438 | 1325 3440 | 63 | 59
760.95/761.19 c 605s | 23 | 2696536 | 2334838 | 1325 3450 | 63 | 59
763.06/763.21 c 607s | 23 | 2704876 | 2342138 | 1325 3460 | 63 | 59
765.06/765.22 c 610s | 23 | 2713658 | 2349638 | 1325 3470 | 63 | 59
767.06/767.23 c 612s | 23 | 2722497 | 2357238 | 1325 3480 | 63 | 59
769.05/769.23 c 614s | 23 | 2730611 | 2364338 | 1325 3490 | 63 | 59
771.06/771.26 c 616s | 23 | 2739073 | 2371738 | 1325 3500 | 63 | 59
773.05/773.26 c 618s | 23 | 2747850 | 2379238 | 1325 3510 | 63 | 59
775.05/775.29 c 620s | 23 | 2756993 | 2386938 | 1325 3520 | 63 | 59
777.05/777.29 c 622s | 23 | 2765135 | 2394038 | 1325 3530 | 63 | 59
779.14/779.30 c 624s | 23 | 2774023 | 2401638 | 1325 3540 | 63 | 59
781.14/781.32 c 626s | 23 | 2782806 | 2409138 | 1325 3551 | 63 | 59
783.15/783.32 c 628s | 23 | 2791549 | 2416638 | 1325 3561 | 63 | 59
785.14/785.34 c 630s | 23 | 2800411 | 2424238 | 1325 3571 | 63 | 59
787.14/787.35 c 632s | 23 | 2808787 | 2431538 | 1325 3581 | 63 | 59
789.14/789.36 c 634s | 23 | 2817040 | 2438738 | 1458 3590 | 63 | 59
791.14/791.37 c 636s | 23 | 2825432 | 2445938 | 1458 3599 | 63 | 59
793.24/793.40 c 638s | 23 | 2833709 | 2453138 | 1458 3608 | 63 | 59
795.25/795.41 c 640s | 23 | 2842852 | 2460838 | 1458 3618 | 63 | 59
797.24/797.44 c 642s | 23 | 2851022 | 2468138 | 1458 3627 | 63 | 59
799.24/799.44 c 644s | 23 | 2859462 | 2475438 | 1458 3636 | 63 | 59
801.24/801.44 c 646s | 23 | 2867810 | 2482738 | 1458 3646 | 63 | 59
803.24/803.47 c 648s | 23 | 2876466 | 2490338 | 1458 3655 | 63 | 59
805.24/805.49 c 650s | 23 | 2884581 | 2497438 | 1458 3664 | 63 | 59
807.24/807.50 c 652s | 23 | 2892678 | 2504538 | 1458 3673 | 63 | 59
809.33/809.52 c 654s | 23 | 2900037 | 2511138 | 1458 3682 | 63 | 59
811.33/811.53 c 656s | 23 | 2908844 | 2518738 | 1458 3691 | 63 | 59
813.33/813.54 c 658s | 23 | 2917477 | 2526238 | 1458 3701 | 63 | 59
815.33/815.55 c 660s | 23 | 2925521 | 2533338 | 1458 3709 | 63 | 59
817.33/817.57 c 662s | 23 | 2934246 | 2540838 | 1458 3719 | 63 | 59
819.34/819.59 c 664s | 23 | 2943137 | 2548438 | 1458 3728 | 63 | 59
821.33/821.59 c 666s | 23 | 2951863 | 2555838 | 1458 3737 | 63 | 59
823.33/823.59 c 668s | 23 | 2960575 | 2563338 | 1458 3747 | 63 | 59
825.43/825.62 c 670s | 23 | 2969379 | 2570938 | 1458 3756 | 63 | 59
827.43/827.62 c 672s | 23 | 2978078 | 2578338 | 1458 3766 | 63 | 59
829.42/829.64 c 674s | 23 | 2987068 | 2585938 | 1458 3775 | 63 | 59
831.43/831.64 c 676s | 23 | 2995886 | 2593538 | 1458 3784 | 63 | 59
833.42/833.66 c 678s | 23 | 3004181 | 2600738 | 1458 3793 | 63 | 59
835.42/835.67 c 680s | 23 | 3013396 | 2608438 | 1458 3803 | 63 | 59
837.42/837.67 c 682s | 23 | 3022133 | 2615738 | 1458 3812 | 63 | 59
839.42/839.68 c 684s | 23 | 3030915 | 2623138 | 1458 3821 | 63 | 59
841.52/841.70 c 686s | 23 | 3039859 | 2630538 | 1458 3830 | 63 | 59
843.42/843.70 c 688s | 23 | 3048551 | 2637838 | 1458 3840 | 63 | 59
845.53/845.70 c 690s | 23 | 3057124 | 2645138 | 1458 3849 | 63 | 59
847.53/847.73 c 692s | 23 | 3065637 | 2652438 | 1458 3858 | 63 | 59
849.52/849.74 c 694s | 23 | 3073826 | 2659538 | 1458 3867 | 63 | 59
851.52/851.76 c 696s | 23 | 3081801 | 2666538 | 1458 3875 | 63 | 59
853.53/853.78 c 698s | 23 | 3090256 | 2673738 | 1458 3884 | 63 | 59
855.52/855.79 c 700s | 23 | 3098306 | 2680738 | 1458 3893 | 63 | 59
857.62/857.81 c 702s | 23 | 3107460 | 2688238 | 1458 3902 | 63 | 59
859.62/859.83 c 704s | 23 | 3116621 | 2695838 | 1458 3912 | 63 | 59
861.62/861.84 c 706s | 23 | 3125103 | 2703038 | 1458 3921 | 63 | 59
863.62/863.86 c 708s | 23 | 3133591 | 2710238 | 1458 3930 | 63 | 59
865.62/865.88 c 710s | 23 | 3141980 | 2717338 | 1458 3939 | 63 | 59
867.61/867.90 c 712s | 23 | 3150849 | 2724838 | 1458 3948 | 63 | 59
869.71/869.92 c 714s | 23 | 3158958 | 2731938 | 1458 3957 | 63 | 59
871.71/871.95 c 716s | 23 | 3167309 | 2739238 | 1458 3966 | 63 | 59
873.71/873.96 c 718s | 23 | 3175863 | 2746638 | 1458 3975 | 63 | 59
875.71/875.96 c 720s | 23 | 3184627 | 2754338 | 1458 3985 | 63 | 59
877.72/877.98 c 722s | 23 | 3193683 | 2762138 | 1458 3995 | 63 | 59
879.70/880.00 c 724s | 23 | 3202180 | 2769538 | 1458 4004 | 63 | 59
881.80/882.02 c 726s | 23 | 3210726 | 2776838 | 1458 4013 | 63 | 59
883.80/884.04 c 728s | 23 | 3219386 | 2784138 | 1458 4022 | 63 | 59
885.80/886.04 c 730s | 23 | 3228460 | 2791838 | 1458 4032 | 63 | 59
887.80/888.06 c 732s | 23 | 3237401 | 2799538 | 1458 4041 | 63 | 59
889.80/890.09 c 734s | 23 | 3246060 | 2806938 | 1458 4050 | 63 | 59
891.80/892.09 c 736s | 23 | 3253977 | 2813838 | 1458 4059 | 63 | 59
893.90/894.11 c 738s | 23 | 3262376 | 2821138 | 1458 4068 | 63 | 59
895.90/896.13 c 740s | 23 | 3271438 | 2828738 | 1458 4078 | 63 | 59
897.90/898.14 c 742s | 23 | 3279941 | 2836038 | 1458 4087 | 63 | 59
899.89/900.16 c 744s | 23 | 3287990 | 2843038 | 1458 4095 | 63 | 59
901.90/902.18 c 746s | 23 | 3296490 | 2850138 | 1458 4104 | 63 | 59
903.89/904.20 c 748s | 23 | 3305393 | 2857738 | 1458 4114 | 63 | 59
905.99/906.21 c 750s | 23 | 3314313 | 2865438 | 1458 4123 | 63 | 59
907.99/908.22 c 753s | 23 | 3323237 | 2873038 | 1458 4133 | 63 | 59
909.99/910.24 c 755s | 23 | 3331725 | 2880338 | 1458 4142 | 63 | 59
911.99/912.25 c 757s | 23 | 3340836 | 2887938 | 1458 4152 | 63 | 59
913.99/914.25 c 759s | 23 | 3349766 | 2895538 | 1458 4161 | 63 | 59
915.98/916.25 c 761s | 23 | 3358764 | 2903238 | 1458 4171 | 63 | 59
917.98/918.26 c 763s | 23 | 3367188 | 2910538 | 1458 4180 | 63 | 59
919.98/920.26 c 765s | 23 | 3375917 | 2917938 | 1458 4189 | 63 | 59
921.98/922.27 c 767s | 23 | 3384699 | 2925438 | 1458 4198 | 63 | 59
924.08/924.30 c 769s | 23 | 3393174 | 2932838 | 1458 4208 | 63 | 59
925.98/926.30 c 771s | 23 | 3402356 | 2940538 | 1458 4217 | 63 | 59
928.08/928.30 c 773s | 23 | 3411304 | 2948138 | 1458 4227 | 63 | 59
930.07/930.31 c 775s | 23 | 3420163 | 2955838 | 1458 4236 | 63 | 59
932.07/932.32 c 777s | 23 | 3429064 | 2963438 | 1458 4246 | 63 | 59
934.07/934.35 c 779s | 23 | 3437929 | 2970938 | 1458 4255 | 63 | 59
936.07/936.37 c 781s | 23 | 3446404 | 2978338 | 1458 4264 | 63 | 59
938.08/938.40 c 783s | 23 | 3454916 | 2985638 | 1458 4273 | 63 | 59
940.17/940.42 c 785s | 23 | 3463428 | 2992938 | 1458 4283 | 63 | 59
942.17/942.43 c 787s | 23 | 3471837 | 3000138 | 1458 4291 | 63 | 59
944.17/944.45 c 789s | 23 | 3480221 | 3007438 | 1458 4301 | 63 | 59
946.16/946.47 c 791s | 23 | 3488847 | 3014938 | 1458 4310 | 63 | 59
948.16/948.49 c 793s | 23 | 3497373 | 3022238 | 1458 4319 | 63 | 59
950.27/950.50 c 795s | 23 | 3505636 | 3029238 | 1458 4328 | 63 | 59
952.26/952.51 c 797s | 23 | 3514251 | 3036638 | 1458 4337 | 63 | 59
954.26/954.53 c 799s | 23 | 3522969 | 3044238 | 1458 4347 | 63 | 59
956.26/956.55 c 801s | 23 | 3531444 | 3051538 | 1458 4356 | 63 | 59
958.25/958.55 c 803s | 23 | 3539550 | 3058638 | 1458 4365 | 63 | 59
960.25/960.56 c 805s | 23 | 3547599 | 3065638 | 1458 4373 | 63 | 59
962.26/962.58 c 807s | 23 | 3555996 | 3072938 | 1458 4382 | 63 | 59
964.25/964.59 c 809s | 23 | 3564360 | 3080338 | 1458 4392 | 63 | 59
966.35/966.61 c 811s | 23 | 3572930 | 3087838 | 1458 4401 | 63 | 59
968.35/968.62 c 813s | 23 | 3581249 | 3095138 | 1458 4410 | 63 | 59
970.35/970.63 c 815s | 23 | 3589567 | 3102238 | 1458 4419 | 63 | 59
972.35/972.64 c 817s | 23 | 3597482 | 3109038 | 1458 4427 | 63 | 59
974.36/974.66 c 819s | 23 | 3605433 | 3115838 | 1458 4436 | 63 | 59
976.35/976.69 c 821s | 23 | 3613438 | 3122838 | 1458 4444 | 63 | 59
978.45/978.70 c 823s | 23 | 3621344 | 3129638 | 1458 4453 | 63 | 59
980.45/980.72 c 825s | 23 | 3629069 | 3136438 | 1458 4461 | 63 | 59
982.44/982.75 c 827s | 23 | 3636679 | 3143138 | 1458 4470 | 63 | 59
984.44/984.76 c 829s | 23 | 3644331 | 3149838 | 1458 4478 | 63 | 59
986.45/986.77 c 831s | 23 | 3652551 | 3156938 | 1458 4487 | 63 | 59
988.44/988.79 c 833s | 23 | 3660531 | 3163838 | 1458 4495 | 63 | 59
990.54/990.81 c 835s | 23 | 3668586 | 3170738 | 1458 4504 | 63 | 59
992.55/992.83 c 837s | 23 | 3676445 | 3177438 | 1458 4512 | 63 | 59
994.55/994.85 c 839s | 23 | 3684355 | 3184338 | 1458 4521 | 63 | 59
996.55/996.87 c 841s | 23 | 3692339 | 3191238 | 1458 4529 | 63 | 59
998.55/998.89 c 843s | 23 | 3700262 | 3198038 | 1458 4538 | 63 | 59
1000.64/1000.91 c 845s | 23 | 3708392 | 3205038 | 1458 4547 | 63 | 59
1002.64/1002.91 c 847s | 23 | 3716131 | 3211638 | 1458 4555 | 63 | 59
1004.64/1004.94 c 849s | 23 | 3723937 | 3218338 | 1458 4563 | 63 | 59
1006.64/1006.98 c 851s | 23 | 3731761 | 3225038 | 1458 4572 | 63 | 59
1008.63/1008.99 c 853s | 23 | 3739347 | 3231638 | 1458 4580 | 63 | 59
1010.64/1011.00 c 855s | 23 | 3747110 | 3238438 | 1458 4588 | 63 | 59
1012.73/1013.02 c 857s | 23 | 3755734 | 3245838 | 1458 4597 | 63 | 59
1014.73/1015.03 c 859s | 23 | 3763699 | 3252738 | 1458 4606 | 63 | 59
1016.73/1017.03 c 861s | 23 | 3772348 | 3260238 | 1458 4616 | 63 | 59
1018.73/1019.05 c 863s | 23 | 3781841 | 3268638 | 1458 4626 | 63 | 59
1020.73/1021.07 c 865s | 23 | 3791634 | 3277138 | 1458 4637 | 63 | 59
1022.73/1023.08 c 867s | 23 | 3801497 | 3285438 | 1458 4647 | 63 | 59
1024.83/1025.10 c 869s | 23 | 3810791 | 3293338 | 1458 4657 | 63 | 59
1026.83/1027.10 c 871s | 23 | 3819765 | 3301038 | 1458 4667 | 63 | 59
1028.82/1029.12 c 873s | 23 | 3828812 | 3308938 | 1458 4677 | 63 | 59
1030.82/1031.13 c 875s | 23 | 3838121 | 3317038 | 1458 4687 | 63 | 59
1032.82/1033.14 c 877s | 23 | 3846703 | 3324638 | 1458 4696 | 63 | 59
1034.83/1035.14 c 879s | 23 | 3855550 | 3332438 | 1458 4706 | 63 | 59
1036.82/1037.15 c 881s | 23 | 3864380 | 3340238 | 1458 4716 | 63 | 59
1038.81/1039.18 c 883s | 23 | 3872702 | 3347438 | 1458 4725 | 63 | 59
1040.81/1041.19 c 885s | 23 | 3880919 | 3354738 | 1458 4734 | 63 | 59
1042.91/1043.21 c 887s | 23 | 3889545 | 3362238 | 1458 4743 | 63 | 59
1044.91/1045.22 c 890s | 23 | 3898584 | 3369938 | 1458 4753 | 63 | 59
1046.61/1046.91 c 891s | 24 | 3906304 | 3376662 | 1458 4761 | 63 | 59
1048.61/1048.92 c 893s | 24 | 3915451 | 3384762 | 1458 4771 | 63 | 59
1050.61/1050.93 c 895s | 24 | 3925177 | 3393062 | 1458 4782 | 63 | 59
1052.61/1052.94 c 897s | 24 | 3934475 | 3401162 | 1458 4792 | 63 | 59
1054.61/1054.95 c 899s | 24 | 3943397 | 3409062 | 1458 4802 | 63 | 59
1056.62/1056.95 c 901s | 24 | 3951818 | 3416562 | 1458 4811 | 63 | 59
1058.61/1058.96 c 903s | 24 | 3959988 | 3423762 | 1458 4820 | 63 | 59
1060.61/1060.97 c 905s | 24 | 3968609 | 3431362 | 1458 4830 | 63 | 59
1062.71/1063.00 c 907s | 24 | 3977457 | 3439162 | 1458 4839 | 63 | 59
1064.71/1065.01 c 909s | 24 | 3986373 | 3446962 | 1458 4849 | 63 | 59
1066.72/1067.02 c 911s | 24 | 3994958 | 3454562 | 1458 4859 | 63 | 59
1068.71/1069.04 c 913s | 24 | 4004100 | 3462462 | 1458 4868 | 63 | 59
1070.71/1071.07 c 915s | 24 | 4012998 | 3470362 | 1458 4878 | 63 | 59
1072.71/1073.08 c 917s | 24 | 4022106 | 3478362 | 1458 4888 | 63 | 59
1074.71/1075.09 c 919s | 24 | 4030777 | 3485962 | 1458 4898 | 63 | 59
1076.81/1077.11 c 921s | 24 | 4039146 | 3493262 | 1458 4907 | 63 | 59
1078.81/1079.12 c 923s | 24 | 4046944 | 3500162 | 1458 4916 | 63 | 59
1080.80/1081.12 c 925s | 24 | 4055726 | 3507862 | 1458 4925 | 63 | 59
1082.80/1083.14 c 927s | 24 | 4064564 | 3515462 | 1458 4935 | 63 | 59
1084.80/1085.16 c 929s | 24 | 4073490 | 3523262 | 1458 4945 | 63 | 59
1086.80/1087.16 c 931s | 24 | 4081676 | 3530462 | 1458 4954 | 63 | 59
1088.80/1089.17 c 933s | 24 | 4090290 | 3537962 | 1458 4963 | 63 | 59
1090.80/1091.18 c 935s | 24 | 4098872 | 3545462 | 1458 4973 | 63 | 59
1092.80/1093.19 c 937s | 24 | 4107335 | 3552962 | 1458 4982 | 63 | 59
1094.89/1095.20 c 939s | 24 | 4115511 | 3560162 | 1458 4991 | 63 | 59
1096.89/1097.23 c 942s | 24 | 4123881 | 3567662 | 1458 5000 | 63 | 59
1098.89/1099.23 c 944s | 24 | 4132097 | 3574962 | 1458 5010 | 63 | 59
1100.90/1101.25 c 946s | 24 | 4140238 | 3582162 | 1458 5019 | 63 | 59
1102.89/1103.27 c 948s | 24 | 4148220 | 3589262 | 1458 5028 | 63 | 59
1104.89/1105.28 c 950s | 24 | 4156307 | 3596462 | 1458 5037 | 63 | 59
1106.99/1107.30 c 952s | 24 | 4164792 | 3603962 | 1458 5046 | 63 | 59
1108.98/1109.31 c 954s | 24 | 4173460 | 3611562 | 1458 5056 | 63 | 59
1110.98/1111.31 c 956s | 24 | 4182119 | 3619362 | 1458 5065 | 63 | 59
1112.99/1113.32 c 958s | 24 | 4190597 | 3626762 | 1458 5075 | 63 | 59
1114.98/1115.34 c 960s | 24 | 4198847 | 3634062 | 1458 5084 | 63 | 59
1116.98/1117.35 c 962s | 24 | 4207359 | 3641662 | 1458 5093 | 63 | 59
1118.98/1119.37 c 964s | 24 | 4215901 | 3649262 | 1458 5103 | 63 | 59
1120.98/1121.38 c 966s | 24 | 4224361 | 3656762 | 1458 5112 | 63 | 59
1122.98/1123.39 c 968s | 24 | 4232882 | 3664262 | 1458 5121 | 63 | 59
1125.08/1125.41 c 970s | 24 | 4241353 | 3671762 | 1458 5131 | 63 | 59
1127.08/1127.41 c 972s | 24 | 4250006 | 3679362 | 1458 5140 | 63 | 59
1129.07/1129.43 c 974s | 24 | 4258494 | 3686762 | 1458 5149 | 63 | 59
1131.07/1131.46 c 976s | 24 | 4266759 | 3694062 | 1458 5158 | 63 | 59
1133.07/1133.46 c 978s | 24 | 4274686 | 3701062 | 1458 5167 | 63 | 59
1135.07/1135.47 c 980s | 24 | 4283294 | 3708662 | 1458 5177 | 63 | 59
1137.08/1137.47 c 982s | 24 | 4291992 | 3716162 | 1458 5186 | 63 | 59
1139.07/1139.48 c 984s | 24 | 4300210 | 3723262 | 1458 5195 | 63 | 59
1141.07/1141.48 c 986s | 24 | 4308926 | 3730862 | 1458 5204 | 63 | 59
1143.17/1143.50 c 988s | 24 | 4317252 | 3738262 | 1458 5213 | 63 | 59
1145.17/1145.52 c 990s | 24 | 4325701 | 3745662 | 1458 5223 | 63 | 59
1147.17/1147.52 c 992s | 24 | 4334245 | 3753162 | 1458 5232 | 63 | 59
1149.17/1149.54 c 994s | 24 | 4342745 | 3760562 | 1458 5241 | 63 | 59
1151.16/1151.55 c 996s | 24 | 4351107 | 3767962 | 1458 5251 | 63 | 59
1153.16/1153.56 c 998s | 24 | 4360251 | 3775862 | 1458 5260 | 63 | 59
1155.16/1155.57 c 1000s | 24 | 4369312 | 3783662 | 1458 5270 | 63 | 59
1157.16/1157.59 c 1002s | 24 | 4378410 | 3791662 | 1458 5280 | 63 | 59
1159.26/1159.62 c 1004s | 24 | 4387257 | 3799362 | 1458 5290 | 63 | 59
1161.27/1161.63 c 1006s | 24 | 4396068 | 3807062 | 1458 5299 | 63 | 59
1163.26/1163.66 c 1008s | 24 | 4404070 | 3814062 | 1458 5308 | 63 | 59
1165.26/1165.66 c 1010s | 24 | 4412556 | 3821462 | 1458 5317 | 63 | 59
1167.26/1167.69 c 1012s | 24 | 4420619 | 3828562 | 1458 5326 | 63 | 59
1169.36/1169.71 c 1014s | 24 | 4429257 | 3836062 | 1458 5335 | 63 | 59
1171.36/1171.73 c 1016s | 24 | 4437726 | 3843462 | 1458 5344 | 63 | 59
1173.36/1173.75 c 1018s | 24 | 4446185 | 3850862 | 1458 5354 | 63 | 59
1175.36/1175.78 c 1020s | 24 | 4454265 | 3858062 | 1458 5363 | 63 | 59
1177.36/1177.78 c 1022s | 24 | 4462287 | 3865262 | 1458 5372 | 63 | 59
1179.45/1179.80 c 1024s | 24 | 4470768 | 3872562 | 1458 5381 | 63 | 59
1181.45/1181.81 c 1026s | 24 | 4480313 | 3880862 | 1458 5391 | 63 | 59
1183.45/1183.84 c 1028s | 24 | 4489425 | 3888862 | 1458 5401 | 63 | 59
1185.45/1185.85 c 1030s | 24 | 4498415 | 3896762 | 1458 5411 | 63 | 59
1187.45/1187.86 c 1032s | 24 | 4507109 | 3904362 | 1458 5420 | 63 | 59
1189.45/1189.88 c 1034s | 24 | 4515950 | 3912062 | 1458 5430 | 63 | 59
1191.45/1191.89 c 1036s | 24 | 4524339 | 3919362 | 1458 5439 | 63 | 59
1193.55/1193.92 c 1038s | 24 | 4533177 | 3926962 | 1458 5448 | 63 | 59
1195.55/1195.92 c 1040s | 24 | 4541846 | 3934562 | 1458 5458 | 63 | 59
1197.55/1197.95 c 1042s | 24 | 4551052 | 3942562 | 1458 5468 | 63 | 59
1199.54/1199.96 c 1044s | 24 | 4559850 | 3950362 | 1458 5478 | 63 | 59
1201.54/1201.98 c 1046s | 24 | 4568585 | 3958062 | 1458 5488 | 63 | 59
1203.54/1203.98 c 1048s | 24 | 4578143 | 3966262 | 1458 5498 | 63 | 59
1205.64/1206.00 c 1050s | 24 | 4587595 | 3974462 | 1458 5508 | 63 | 59
1207.64/1208.00 c 1052s | 24 | 4596385 | 3982162 | 1458 5518 | 63 | 59
1209.64/1210.03 c 1054s | 24 | 4605537 | 3990062 | 1458 5528 | 63 | 59
1211.63/1212.05 c 1056s | 24 | 4614283 | 3997762 | 1458 5538 | 63 | 59
1213.63/1214.06 c 1058s | 24 | 4623310 | 4005462 | 1458 5547 | 63 | 59
1215.63/1216.06 c 1060s | 24 | 4632411 | 4013262 | 1458 5557 | 63 | 59
1217.63/1218.07 c 1062s | 24 | 4640814 | 4020562 | 1458 5566 | 63 | 59
1219.63/1220.08 c 1064s | 24 | 4648622 | 4027462 | 1458 5575 | 63 | 59
1221.73/1222.12 c 1066s | 24 | 4656622 | 4034462 | 1458 5584 | 63 | 59
1223.73/1224.12 c 1068s | 24 | 4664891 | 4041662 | 1458 5592 | 63 | 59
1225.73/1226.14 c 1070s | 24 | 4673509 | 4049062 | 1458 5602 | 63 | 59
1227.73/1228.16 c 1072s | 24 | 4681614 | 4056162 | 1458 5611 | 63 | 59
1229.73/1230.16 c 1074s | 24 | 4689676 | 4063262 | 1458 5620 | 63 | 59
1231.73/1232.17 c 1076s | 24 | 4697984 | 4070562 | 1458 5629 | 63 | 59
1233.73/1234.18 c 1078s | 24 | 4707156 | 4078462 | 1458 5639 | 63 | 59
1235.73/1236.19 c 1080s | 24 | 4715758 | 4085862 | 1458 5648 | 63 | 59
1237.83/1238.20 c 1082s | 24 | 4723955 | 4092962 | 1458 5657 | 63 | 59
1239.82/1240.21 c 1084s | 24 | 4732350 | 4100262 | 1458 5666 | 63 | 59
1241.82/1242.23 c 1087s | 24 | 4740287 | 4107262 | 1458 5675 | 63 | 59
1243.83/1244.24 c 1089s | 24 | 4748410 | 4114362 | 1604 5683 | 63 | 59
1245.82/1246.25 c 1091s | 24 | 4756093 | 4121162 | 1604 5691 | 63 | 59
1247.82/1248.26 c 1093s | 24 | 4764455 | 4128562 | 1604 5700 | 63 | 59
1249.81/1250.27 c 1095s | 24 | 4772738 | 4135762 | 1604 5708 | 63 | 59
1251.81/1252.28 c 1097s | 24 | 4781812 | 4143762 | 1604 5717 | 63 | 59
1253.81/1254.29 c 1099s | 24 | 4790641 | 4151562 | 1604 5726 | 63 | 59
1255.82/1256.30 c 1101s | 24 | 4798862 | 4158962 | 1604 5735 | 63 | 59
1257.91/1258.31 c 1103s | 24 | 4807501 | 4166562 | 1604 5743 | 63 | 59
1259.91/1260.31 c 1105s | 24 | 4815946 | 4173962 | 1604 5752 | 63 | 59
1261.91/1262.32 c 1107s | 24 | 4824295 | 4181362 | 1604 5760 | 63 | 59
1263.91/1264.33 c 1109s | 24 | 4832758 | 4188762 | 1604 5769 | 63 | 59
1265.91/1266.33 c 1111s | 24 | 4841232 | 4196162 | 1604 5777 | 63 | 59
1267.91/1268.34 c 1113s | 24 | 4849782 | 4203662 | 1604 5786 | 63 | 59
1269.90/1270.35 c 1115s | 24 | 4858222 | 4210962 | 1604 5794 | 63 | 59
1271.90/1272.36 c 1117s | 24 | 4866979 | 4218662 | 1604 5803 | 63 | 59
1273.90/1274.36 c 1119s | 24 | 4875111 | 4225962 | 1604 5812 | 63 | 59
1275.90/1276.36 c 1121s | 24 | 4883674 | 4233462 | 1604 5820 | 63 | 59
1277.91/1278.38 c 1123s | 24 | 4891894 | 4240762 | 1604 5829 | 63 | 59
1279.90/1280.39 c 1125s | 24 | 4899931 | 4247962 | 1604 5837 | 63 | 59
1281.90/1282.39 c 1127s | 24 | 4908212 | 4255262 | 1604 5845 | 63 | 59
1284.00/1284.41 c 1129s | 24 | 4916337 | 4262462 | 1604 5854 | 63 | 59
1286.00/1286.43 c 1131s | 24 | 4925688 | 4270762 | 1604 5863 | 63 | 59
1288.00/1288.43 c 1133s | 24 | 4934983 | 4278862 | 1604 5873 | 63 | 59
1290.00/1290.46 c 1135s | 24 | 4944143 | 4286762 | 1604 5882 | 63 | 59
1291.99/1292.46 c 1137s | 24 | 4953233 | 4294562 | 1604 5891 | 63 | 59
1293.99/1294.48 c 1139s | 24 | 4962278 | 4302362 | 1604 5899 | 63 | 59
1295.99/1296.49 c 1141s | 24 | 4971131 | 4310062 | 1604 5908 | 63 | 59
1298.09/1298.50 c 1143s | 24 | 4979548 | 4317462 | 1604 5917 | 63 | 59
1300.09/1300.50 c 1145s | 24 | 4987920 | 4324762 | 1604 5925 | 63 | 59
1302.09/1302.53 c 1147s | 24 | 4996668 | 4332362 | 1604 5934 | 63 | 59
1304.09/1304.54 c 1149s | 24 | 5005566 | 4340062 | 1604 5943 | 63 | 59
1306.09/1306.57 c 1151s | 24 | 5014316 | 4347562 | 1604 5952 | 63 | 59
1308.09/1308.59 c 1153s | 24 | 5023548 | 4355662 | 1604 5961 | 63 | 59
1310.18/1310.61 c 1155s | 24 | 5032841 | 4363862 | 1604 5970 | 63 | 59
1312.18/1312.62 c 1157s | 24 | 5041530 | 4371562 | 1604 5979 | 63 | 59
1314.19/1314.63 c 1159s | 24 | 5050130 | 4379162 | 1604 5988 | 63 | 59
1316.18/1316.65 c 1161s | 24 | 5059366 | 4387162 | 1604 5997 | 63 | 59
1318.18/1318.67 c 1163s | 24 | 5068147 | 4394862 | 1604 6006 | 63 | 59
1320.18/1320.68 c 1165s | 24 | 5077661 | 4402962 | 1604 6015 | 63 | 59
1322.18/1322.69 c 1167s | 24 | 5087098 | 4410862 | 1604 6025 | 63 | 59
1324.28/1324.72 c 1169s | 24 | 5096029 | 4418462 | 1604 6034 | 63 | 59
1326.28/1326.72 c 1171s | 24 | 5105042 | 4426062 | 1604 6042 | 63 | 59
1328.27/1328.73 c 1173s | 24 | 5113941 | 4433662 | 1604 6051 | 63 | 59
1330.27/1330.76 c 1175s | 24 | 5122704 | 4441162 | 1604 6060 | 63 | 59
1332.27/1332.77 c 1177s | 24 | 5131776 | 4448962 | 1604 6069 | 63 | 59
1334.27/1334.79 c 1179s | 24 | 5140740 | 4456762 | 1604 6078 | 63 | 59
1336.27/1336.79 c 1181s | 24 | 5149483 | 4464262 | 1604 6087 | 63 | 59
1338.37/1338.82 c 1183s | 24 | 5158010 | 4471662 | 1604 6095 | 63 | 59
1340.37/1340.82 c 1185s | 24 | 5166281 | 4478762 | 1604 6103 | 63 | 59
1342.36/1342.83 c 1187s | 24 | 5174829 | 4486062 | 1604 6112 | 63 | 59
1344.36/1344.83 c 1189s | 24 | 5182890 | 4493062 | 1604 6120 | 63 | 59
1346.36/1346.86 c 1191s | 24 | 5191515 | 4500562 | 1604 6129 | 63 | 59
1348.36/1348.87 c 1193s | 24 | 5200357 | 4508262 | 1604 6137 | 63 | 59
1350.37/1350.87 c 1195s | 24 | 5208667 | 4515462 | 1604 6146 | 63 | 59
1352.36/1352.88 c 1197s | 24 | 5217152 | 4522862 | 1604 6154 | 63 | 59
1354.36/1354.89 c 1199s | 24 | 5225395 | 4530062 | 1604 6163 | 63 | 59
1356.46/1356.92 c 1201s | 24 | 5234277 | 4537762 | 1604 6171 | 63 | 59
1358.46/1358.92 c 1203s | 24 | 5243109 | 4545362 | 1604 6180 | 63 | 59
1360.46/1360.93 c 1205s | 24 | 5251707 | 4552862 | 1604 6189 | 63 | 59
1362.46/1362.93 c 1207s | 24 | 5260499 | 4560462 | 1604 6198 | 63 | 59
1364.46/1364.96 c 1209s | 24 | 5269028 | 4567862 | 1604 6206 | 63 | 59
1366.46/1366.99 c 1211s | 24 | 5277272 | 4574962 | 1604 6214 | 63 | 59
1368.56/1369.00 c 1213s | 24 | 5285576 | 4582162 | 1604 6223 | 63 | 59
1370.55/1371.03 c 1215s | 24 | 5294319 | 4589462 | 1604 6231 | 63 | 59
1372.55/1373.04 c 1217s | 24 | 5302990 | 4596862 | 1604 6239 | 63 | 59
1374.56/1375.05 c 1219s | 24 | 5311301 | 4603962 | 1604 6248 | 63 | 59
1376.55/1377.07 c 1221s | 24 | 5319491 | 4610962 | 1604 6256 | 63 | 59
1378.55/1379.08 c 1223s | 24 | 5327205 | 4617762 | 1604 6263 | 63 | 59
1380.55/1381.09 c 1225s | 24 | 5334908 | 4624462 | 1604 6271 | 63 | 59
1382.65/1383.10 c 1227s | 24 | 5343025 | 4631462 | 1604 6279 | 63 | 59
1384.65/1385.10 c 1229s | 24 | 5351465 | 4638762 | 1604 6287 | 63 | 59
1386.66/1387.12 c 1231s | 24 | 5359566 | 4645762 | 1604 6295 | 63 | 59
1388.65/1389.14 c 1233s | 24 | 5367627 | 4652762 | 1604 6303 | 63 | 59
1390.65/1391.15 c 1235s | 24 | 5376068 | 4660062 | 1604 6312 | 63 | 59
1392.65/1393.15 c 1237s | 24 | 5383971 | 4666962 | 1604 6320 | 63 | 59
1394.65/1395.16 c 1239s | 24 | 5392077 | 4674162 | 1604 6328 | 63 | 59
1396.66/1397.17 c 1241s | 24 | 5401197 | 4682162 | 1604 6337 | 63 | 59
1398.65/1399.19 c 1243s | 24 | 5410000 | 4689762 | 1604 6346 | 63 | 59
1400.65/1401.19 c 1245s | 24 | 5418855 | 4697362 | 1604 6355 | 63 | 59
1402.76/1403.20 c 1247s | 24 | 5426946 | 4704662 | 1604 6363 | 63 | 59
1404.76/1405.22 c 1250s | 24 | 5435742 | 4712362 | 1604 6372 | 63 | 59
1406.76/1407.24 c 1252s | 24 | 5444803 | 4720262 | 1604 6381 | 63 | 59
1408.76/1409.26 c 1254s | 24 | 5453527 | 4727862 | 1604 6389 | 63 | 59
1410.75/1411.28 c 1256s | 24 | 5461795 | 4735162 | 1604 6398 | 63 | 59
1412.75/1413.29 c 1258s | 24 | 5470257 | 4742562 | 1604 6406 | 63 | 59
1414.85/1415.30 c 1260s | 24 | 5478028 | 4749562 | 1604 6414 | 63 | 59
1416.85/1417.33 c 1262s | 24 | 5486137 | 4756662 | 1604 6423 | 63 | 59
1418.85/1419.35 c 1264s | 24 | 5494424 | 4763862 | 1604 6431 | 63 | 59
1420.86/1421.37 c 1266s | 24 | 5502912 | 4771262 | 1604 6439 | 63 | 59
1422.85/1423.38 c 1268s | 24 | 5511383 | 4778762 | 1604 6448 | 63 | 59
1424.95/1425.40 c 1270s | 24 | 5520183 | 4786462 | 1604 6457 | 63 | 59
1426.95/1427.40 c 1272s | 24 | 5529091 | 4794362 | 1604 6466 | 63 | 59
1428.95/1429.42 c 1274s | 24 | 5538124 | 4802262 | 1604 6475 | 63 | 59
1430.95/1431.43 c 1276s | 24 | 5546773 | 4809862 | 1604 6483 | 63 | 59
1432.96/1433.44 c 1278s | 24 | 5555337 | 4817362 | 1604 6492 | 63 | 59
1434.95/1435.47 c 1280s | 24 | 5563965 | 4824862 | 1604 6501 | 63 | 59
1436.95/1437.49 c 1282s | 24 | 5572419 | 4832262 | 1604 6509 | 63 | 59
1439.05/1439.50 c 1284s | 24 | 5581113 | 4839762 | 1604 6518 | 63 | 59
1441.05/1441.52 c 1286s | 24 | 5589527 | 4847162 | 1604 6526 | 63 | 59
1443.05/1443.55 c 1288s | 24 | 5597722 | 4854162 | 1604 6534 | 63 | 59
1445.05/1445.55 c 1290s | 24 | 5605547 | 4860762 | 1604 6542 | 63 | 59
1447.04/1447.57 c 1292s | 24 | 5613627 | 4867662 | 1604 6549 | 63 | 59
1449.04/1449.59 c 1294s | 24 | 5621636 | 4874562 | 1604 6557 | 63 | 59
1451.04/1451.59 c 1296s | 24 | 5629635 | 4881462 | 1604 6565 | 63 | 59
1453.14/1453.62 c 1298s | 24 | 5637892 | 4888662 | 1604 6573 | 63 | 59
1455.14/1455.65 c 1300s | 24 | 5646534 | 4896062 | 1604 6582 | 63 | 59
1457.15/1457.68 c 1302s | 24 | 5654741 | 4903062 | 1604 6589 | 63 | 59
1459.25/1459.70 c 1304s | 24 | 5662566 | 4909862 | 1604 6597 | 63 | 59
1461.24/1461.72 c 1306s | 24 | 5670715 | 4916862 | 1604 6605 | 63 | 59
1463.24/1463.72 c 1308s | 24 | 5678508 | 4923662 | 1604 6613 | 63 | 59
1465.24/1465.74 c 1310s | 24 | 5686661 | 4930862 | 1604 6621 | 63 | 59
1467.24/1467.77 c 1312s | 24 | 5694988 | 4938062 | 1604 6629 | 63 | 59
1469.25/1469.78 c 1314s | 24 | 5702664 | 4944662 | 1604 6637 | 63 | 59
1471.24/1471.79 c 1316s | 24 | 5710719 | 4951662 | 1604 6645 | 63 | 59
1473.34/1473.81 c 1318s | 24 | 5718962 | 4958862 | 1604 6653 | 63 | 59
1475.34/1475.83 c 1320s | 24 | 5727216 | 4966162 | 1604 6662 | 63 | 59
1477.34/1477.84 c 1322s | 24 | 5735708 | 4973362 | 1604 6670 | 63 | 59
1479.34/1479.86 c 1324s | 24 | 5743868 | 4980462 | 1604 6678 | 63 | 59
1481.34/1481.87 c 1326s | 24 | 5751653 | 4987362 | 1604 6686 | 63 | 59
1483.34/1483.88 c 1328s | 24 | 5759539 | 4994262 | 1604 6694 | 63 | 59
1485.34/1485.88 c 1330s | 24 | 5767375 | 5001162 | 1604 6702 | 63 | 59
1487.43/1487.91 c 1332s | 24 | 5775553 | 5008262 | 1604 6710 | 63 | 59
1489.43/1489.93 c 1334s | 24 | 5783546 | 5015262 | 1604 6718 | 63 | 59
1491.43/1491.95 c 1336s | 24 | 5791757 | 5022462 | 1604 6726 | 63 | 59
1493.44/1493.96 c 1338s | 24 | 5800105 | 5029762 | 1604 6734 | 63 | 59
1495.43/1495.97 c 1340s | 24 | 5808196 | 5036862 | 1604 6743 | 63 | 59
1497.53/1498.00 c 1342s | 24 | 5816124 | 5043962 | 1604 6751 | 63 | 59
1499.54/1500.01 c 1344s | 24 | 5823981 | 5050862 | 1604 6759 | 63 | 59
1501.54/1502.05 c 1346s | 24 | 5831977 | 5057862 | 1604 6767 | 63 | 59
1503.54/1504.06 c 1348s | 24 | 5839414 | 5064462 | 1604 6774 | 63 | 59
1503.74/1504.25 c 1349s | 25 | 5840143 | 5065098 | 1604 6775 | 63 | 59
1505.74/1506.27 c 1351s | 25 | 5848389 | 5072298 | 1604 6783 | 63 | 59
1507.75/1508.28 c 1353s | 25 | 5856377 | 5079098 | 1604 6791 | 63 | 59
1509.74/1510.30 c 1355s | 25 | 5864852 | 5086498 | 1604 6799 | 63 | 59
1511.84/1512.32 c 1357s | 25 | 5873554 | 5093998 | 1604 6808 | 63 | 59
1513.84/1514.35 c 1359s | 25 | 5881524 | 5100898 | 1604 6816 | 63 | 59
1515.84/1516.36 c 1361s | 25 | 5889836 | 5108098 | 1604 6824 | 63 | 59
1517.84/1518.39 c 1363s | 25 | 5898435 | 5115498 | 1604 6832 | 63 | 59
1519.94/1520.40 c 1365s | 25 | 5906669 | 5122598 | 1604 6840 | 63 | 59
1521.94/1522.41 c 1367s | 25 | 5914193 | 5129198 | 1604 6848 | 63 | 59
1523.94/1524.41 c 1369s | 25 | 5921756 | 5135798 | 1604 6855 | 63 | 59
1525.94/1526.41 c 1371s | 25 | 5929272 | 5142398 | 1604 6863 | 63 | 59
1527.94/1528.43 c 1373s | 25 | 5937762 | 5149698 | 1604 6871 | 63 | 59
1529.94/1530.45 c 1375s | 25 | 5946885 | 5157398 | 1604 6880 | 63 | 59
1531.94/1532.46 c 1377s | 25 | 5955529 | 5164798 | 1604 6888 | 63 | 59
1533.93/1534.49 c 1379s | 25 | 5963600 | 5171798 | 1604 6896 | 63 | 59
1536.03/1536.51 c 1381s | 25 | 5971820 | 5178898 | 1604 6904 | 63 | 59
1538.03/1538.53 c 1383s | 25 | 5980124 | 5186098 | 1604 6912 | 63 | 59
1540.03/1540.55 c 1385s | 25 | 5988142 | 5192998 | 1604 6920 | 63 | 59
1542.03/1542.57 c 1387s | 25 | 5996160 | 5199898 | 1604 6928 | 63 | 59
1544.04/1544.59 c 1389s | 25 | 6004554 | 5207098 | 1604 6936 | 63 | 59
1546.14/1546.61 c 1391s | 25 | 6013551 | 5214798 | 1604 6945 | 63 | 59
1548.13/1548.62 c 1393s | 25 | 6021790 | 5221898 | 1604 6953 | 63 | 59
1550.13/1550.62 c 1395s | 25 | 6030225 | 5229198 | 1604 6961 | 63 | 59
1552.13/1552.64 c 1397s | 25 | 6038172 | 5236098 | 1604 6969 | 63 | 59
1554.13/1554.65 c 1399s | 25 | 6046339 | 5243298 | 1604 6977 | 63 | 59
1556.14/1556.67 c 1401s | 25 | 6054683 | 5250498 | 1604 6985 | 63 | 59
1558.13/1558.68 c 1403s | 25 | 6063602 | 5258198 | 1604 6994 | 63 | 59
1560.13/1560.69 c 1405s | 25 | 6072369 | 5265698 | 1604 7002 | 63 | 59
1562.23/1562.71 c 1407s | 25 | 6081460 | 5273398 | 1604 7011 | 63 | 59
1564.23/1564.72 c 1409s | 25 | 6089947 | 5280698 | 1604 7020 | 63 | 59
1566.23/1566.73 c 1411s | 25 | 6098337 | 5287898 | 1604 7028 | 63 | 59
1568.23/1568.73 c 1413s | 25 | 6106742 | 5295198 | 1604 7036 | 63 | 59
1570.23/1570.76 c 1415s | 25 | 6115092 | 5302498 | 1604 7044 | 63 | 59
1572.23/1572.76 c 1417s | 25 | 6123428 | 5309698 | 1604 7053 | 63 | 59
1574.22/1574.77 c 1419s | 25 | 6131368 | 5316598 | 1604 7060 | 63 | 59
1576.22/1576.78 c 1421s | 25 | 6140664 | 5324498 | 1604 7069 | 63 | 59
1578.32/1578.80 c 1423s | 25 | 6149573 | 5332098 | 1604 7078 | 63 | 59
1580.33/1580.83 c 1425s | 25 | 6158137 | 5339498 | 1604 7087 | 63 | 59
1582.32/1582.84 c 1427s | 25 | 6166424 | 5346698 | 1604 7095 | 63 | 59
1584.32/1584.86 c 1429s | 25 | 6174328 | 5353598 | 1604 7103 | 63 | 59
1586.32/1586.87 c 1431s | 25 | 6182664 | 5360698 | 1604 7111 | 63 | 59
1588.32/1588.88 c 1433s | 25 | 6190795 | 5367598 | 1604 7119 | 63 | 59
1590.32/1590.88 c 1435s | 25 | 6198773 | 5374498 | 1604 7126 | 63 | 59
1592.33/1592.89 c 1437s | 25 | 6206256 | 5380898 | 1604 7134 | 63 | 59
1594.42/1594.90 c 1439s | 25 | 6213751 | 5387298 | 1604 7141 | 63 | 59
1596.42/1596.90 c 1441s | 25 | 6222046 | 5394298 | 1604 7149 | 63 | 59
1598.42/1598.91 c 1443s | 25 | 6230296 | 5401398 | 1604 7157 | 63 | 59
1600.42/1600.92 c 1445s | 25 | 6238207 | 5408298 | 1604 7165 | 63 | 59
1602.42/1602.93 c 1447s | 25 | 6245820 | 5414898 | 1604 7172 | 63 | 59
1604.43/1604.93 c 1449s | 25 | 6254354 | 5422198 | 1604 7181 | 63 | 59
1606.42/1606.95 c 1451s | 25 | 6263071 | 5429598 | 1604 7189 | 63 | 59
1608.42/1608.95 c 1453s | 25 | 6271423 | 5436798 | 1604 7197 | 63 | 59
1610.42/1610.96 c 1455s | 25 | 6279644 | 5443998 | 1604 7205 | 63 | 59
1612.42/1612.96 c 1457s | 25 | 6287785 | 5450998 | 1604 7213 | 63 | 59
1614.42/1614.97 c 1459s | 25 | 6295675 | 5457898 | 1604 7221 | 63 | 59
1616.42/1616.99 c 1461s | 25 | 6303626 | 5464798 | 1604 7229 | 63 | 59
1618.52/1619.00 c 1463s | 25 | 6311577 | 5471798 | 1604 7237 | 63 | 59
1620.52/1621.01 c 1465s | 25 | 6319511 | 5478698 | 1604 7245 | 63 | 59
1622.52/1623.02 c 1467s | 25 | 6328366 | 5486398 | 1604 7253 | 63 | 59
1624.52/1625.06 c 1469s | 25 | 6337658 | 5494298 | 1604 7263 | 63 | 59
1626.52/1627.06 c 1471s | 25 | 6346628 | 5501998 | 1604 7271 | 63 | 59
1628.51/1629.09 c 1473s | 25 | 6355690 | 5509698 | 1604 7280 | 63 | 59
1630.61/1631.10 c 1475s | 25 | 6364540 | 5517298 | 1604 7289 | 63 | 59
1632.61/1633.11 c 1477s | 25 | 6373710 | 5525098 | 1604 7298 | 63 | 59
1634.61/1635.11 c 1479s | 25 | 6382007 | 5532298 | 1604 7306 | 63 | 59
1636.61/1637.12 c 1481s | 25 | 6390537 | 5539698 | 1604 7314 | 63 | 59
1638.62/1639.14 c 1483s | 25 | 6399118 | 5547098 | 1604 7323 | 63 | 59
1640.61/1641.17 c 1485s | 25 | 6407640 | 5554498 | 1604 7331 | 63 | 59
1642.61/1643.19 c 1487s | 25 | 6415271 | 5561198 | 1604 7339 | 63 | 59
1644.71/1645.21 c 1489s | 25 | 6423318 | 5568198 | 1604 7347 | 63 | 59
1646.71/1647.23 c 1492s | 25 | 6430916 | 5574798 | 1604 7354 | 63 | 59
1648.71/1649.25 c 1494s | 25 | 6439536 | 5582298 | 1604 7363 | 63 | 59
1650.72/1651.25 c 1496s | 25 | 6447602 | 5589298 | 1604 7371 | 63 | 59
1652.71/1653.28 c 1498s | 25 | 6456124 | 5596698 | 1604 7379 | 63 | 59
1654.71/1655.29 c 1500s | 25 | 6463953 | 5603598 | 1604 7387 | 63 | 59
1656.81/1657.32 c 1502s | 25 | 6471768 | 5610398 | 1604 7395 | 63 | 59
1658.81/1659.33 c 1504s | 25 | 6479740 | 5617298 | 1604 7403 | 63 | 59
1660.81/1661.36 c 1506s | 25 | 6487327 | 5623998 | 1604 7410 | 63 | 59
1662.82/1663.36 c 1508s | 25 | 6495573 | 5631098 | 1604 7419 | 63 | 59
1664.81/1665.38 c 1510s | 25 | 6503787 | 5638198 | 1604 7427 | 63 | 59
1666.82/1667.39 c 1512s | 25 | 6512026 | 5645298 | 1604 7435 | 63 | 59
1668.82/1669.39 c 1514s | 25 | 6519918 | 5651998 | 1604 7442 | 63 | 59
1670.92/1671.42 c 1516s | 25 | 6527698 | 5658498 | 1604 7450 | 63 | 59
1672.92/1673.42 c 1518s | 25 | 6534914 | 5664798 | 1604 7457 | 63 | 59
1674.92/1675.44 c 1520s | 25 | 6542566 | 5671398 | 1604 7464 | 63 | 59
1676.92/1677.46 c 1522s | 25 | 6549964 | 5677798 | 1604 7471 | 63 | 59
1678.91/1679.47 c 1524s | 25 | 6557880 | 5684598 | 1604 7479 | 63 | 59
1680.91/1681.50 c 1526s | 25 | 6565579 | 5691298 | 1604 7487 | 63 | 59
1683.01/1683.53 c 1528s | 25 | 6573190 | 5697898 | 1604 7494 | 63 | 59
1685.01/1685.56 c 1530s | 25 | 6581429 | 5704998 | 1604 7502 | 63 | 59
1687.02/1687.56 c 1532s | 25 | 6589706 | 5712098 | 1604 7510 | 63 | 59
1689.01/1689.59 c 1534s | 25 | 6597955 | 5719298 | 1604 7519 | 63 | 59
1691.11/1691.61 c 1536s | 25 | 6605893 | 5726298 | 1604 7526 | 63 | 59
1693.11/1693.61 c 1538s | 25 | 6613616 | 5732998 | 1604 7534 | 63 | 59
1695.11/1695.61 c 1540s | 25 | 6621199 | 5739598 | 1604 7542 | 63 | 59
1697.11/1697.63 c 1542s | 25 | 6628587 | 5745998 | 1604 7549 | 63 | 59
1699.12/1699.66 c 1544s | 25 | 6636060 | 5752498 | 1604 7556 | 63 | 59
1701.11/1701.66 c 1546s | 25 | 6643836 | 5759298 | 1604 7564 | 63 | 59
1703.11/1703.68 c 1548s | 25 | 6652022 | 5766398 | 1604 7572 | 63 | 59
1705.11/1705.69 c 1550s | 25 | 6660120 | 5773598 | 1604 7580 | 63 | 59
1707.21/1707.71 c 1552s | 25 | 6667656 | 5780198 | 1604 7588 | 63 | 59
1709.21/1709.73 c 1554s | 25 | 6675178 | 5786898 | 1604 7595 | 63 | 59
1711.21/1711.75 c 1556s | 25 | 6682419 | 5793198 | 1604 7602 | 63 | 59
1713.21/1713.76 c 1558s | 25 | 6689375 | 5799398 | 1604 7609 | 63 | 59
1715.21/1715.76 c 1560s | 25 | 6696611 | 5805698 | 1604 7617 | 63 | 59
1717.31/1717.80 c 1562s | 25 | 6704662 | 5812698 | 1604 7625 | 63 | 59
1719.31/1719.83 c 1564s | 25 | 6712879 | 5819798 | 1604 7633 | 63 | 59
1721.31/1721.83 c 1566s | 25 | 6721270 | 5827198 | 1604 7641 | 63 | 59
1723.31/1723.86 c 1568s | 25 | 6729573 | 5834498 | 1604 7649 | 63 | 59
1725.30/1725.86 c 1570s | 25 | 6738186 | 5841898 | 1604 7658 | 63 | 59
1727.30/1727.88 c 1572s | 25 | 6746665 | 5849198 | 1604 7666 | 63 | 59
1729.30/1729.88 c 1574s | 25 | 6754765 | 5856198 | 1604 7674 | 63 | 59
1731.30/1731.89 c 1576s | 25 | 6762570 | 5862898 | 1604 7682 | 63 | 59
1733.40/1733.90 c 1578s | 25 | 6770317 | 5869498 | 1604 7689 | 63 | 59
1735.41/1735.92 c 1580s | 25 | 6778103 | 5876198 | 1604 7697 | 63 | 59
1737.40/1737.94 c 1582s | 25 | 6786042 | 5883198 | 1604 7705 | 63 | 59
1739.40/1739.96 c 1584s | 25 | 6794210 | 5890298 | 1604 7713 | 63 | 59
1741.40/1741.97 c 1586s | 25 | 6801920 | 5897098 | 1604 7720 | 63 | 59
1743.40/1743.98 c 1588s | 25 | 6809591 | 5903698 | 1604 7728 | 63 | 59
1745.50/1746.00 c 1590s | 25 | 6817688 | 5910598 | 1604 7736 | 63 | 59
1747.50/1748.03 c 1592s | 25 | 6825420 | 5917098 | 1604 7743 | 63 | 59
1749.50/1750.03 c 1594s | 25 | 6833138 | 5923798 | 1604 7751 | 63 | 59
1751.50/1752.04 c 1596s | 25 | 6841449 | 5930898 | 1604 7759 | 63 | 59
1753.49/1754.06 c 1598s | 25 | 6849731 | 5938098 | 1604 7767 | 63 | 59
1755.50/1756.06 c 1600s | 25 | 6857862 | 5945098 | 1604 7775 | 63 | 59
1757.50/1758.09 c 1602s | 25 | 6866364 | 5952398 | 1604 7783 | 63 | 59
1759.61/1760.11 c 1604s | 25 | 6874254 | 5959298 | 1604 7791 | 63 | 59
1761.60/1762.11 c 1606s | 25 | 6882155 | 5966098 | 1604 7798 | 63 | 59
1763.60/1764.13 c 1608s | 25 | 6889874 | 5972798 | 1604 7806 | 63 | 59
1765.60/1766.14 c 1610s | 25 | 6897850 | 5979698 | 1604 7814 | 63 | 59
1767.60/1768.16 c 1612s | 25 | 6905934 | 5986598 | 1604 7821 | 63 | 59
1769.60/1770.17 c 1614s | 25 | 6914248 | 5993698 | 1604 7829 | 63 | 59
1771.61/1772.20 c 1616s | 25 | 6923066 | 6001298 | 1604 7838 | 63 | 59
1773.70/1774.22 c 1619s | 25 | 6930711 | 6007998 | 1604 7846 | 63 | 59
1775.70/1776.24 c 1621s | 25 | 6938716 | 6014898 | 1604 7853 | 63 | 59
1777.70/1778.25 c 1623s | 25 | 6946989 | 6022098 | 1604 7862 | 63 | 59
1779.70/1780.28 c 1625s | 25 | 6955035 | 6029098 | 1604 7869 | 63 | 59
1781.70/1782.28 c 1627s | 25 | 6963212 | 6036198 | 1604 7878 | 63 | 59
1783.71/1784.30 c 1629s | 25 | 6971360 | 6043298 | 1604 7886 | 63 | 59
1785.80/1786.30 c 1631s | 25 | 6978945 | 6049898 | 1604 7893 | 63 | 59
1787.80/1788.31 c 1633s | 25 | 6987156 | 6056798 | 1604 7901 | 63 | 59
1789.80/1790.32 c 1635s | 25 | 6995357 | 6063898 | 1604 7909 | 63 | 59
1791.80/1792.32 c 1637s | 25 | 7003226 | 6070698 | 1604 7917 | 63 | 59
1793.80/1794.33 c 1639s | 25 | 7011706 | 6077998 | 1604 7925 | 63 | 59
1795.80/1796.36 c 1641s | 25 | 7020076 | 6085198 | 1604 7933 | 63 | 59
1797.80/1798.38 c 1643s | 25 | 7027622 | 6091798 | 1604 7941 | 63 | 59
1799.80/1800.39 c 1645s | 25 | 7035133 | 6098498 | 1604 7948 | 63 | 59
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-4117636-1467214561/watcher-4117636-1467214561 -o /tmp/evaluation-result-4117636-1467214561/solver-4117636-1467214561 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467209087-5469 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117636-1467214561.opb
pid=5994
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.19 2.07 2.01 3/179 5997
/proc/meminfo: memFree=29324836/32872528 swapFree=7620/7620
[pid=5997] ppid=5994 vsize=709052 CPUtime=0 cores=0,2,4,6
/proc/5997/stat : 5997 (toysat) R 5994 5997 5453 0 -1 4202496 2639 0 0 0 0 0 0 0 20 0 4 0 2352204 726069248 3000 33554432000 4194304 16246674 140736100408080 140736100407504 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5997/statm: 177775 3010 441 2943 0 174669 0
[pid=5997/tid=5998] ppid=5994 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5998/stat : 5998 (toysat) S 5994 5997 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2352204 742846464 3067 33554432000 4194304 16246674 140736100408080 139875172986096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5997/tid=5999] ppid=5994 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5999/stat : 5999 (toysat) S 5994 5997 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2352204 748089344 3083 33554432000 4194304 16246674 140736100408080 139875162496240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5997/tid=6000] ppid=5994 vsize=734652 CPUtime=0 cores=0,2,4,6
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2352204 752283648 3103 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[startup+0.100193 s]
/proc/loadavg: 2.19 2.07 2.01 3/179 5997
/proc/meminfo: memFree=29324836/32872528 swapFree=7620/7620
[pid=5997] ppid=5994 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/5997/stat : 5997 (toysat) R 5994 5997 5453 0 -1 4202496 25429 0 0 0 7 2 0 0 20 0 4 0 2352204 1247350784 25778 33554432000 4194304 16246674 140736100408080 140736100407504 12874965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5997/statm: 304529 25786 737 2943 0 301423 0
[pid=5997/tid=5998] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5998/stat : 5998 (toysat) S 5994 5997 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2352204 1247350784 25791 33554432000 4194304 16246674 140736100408080 139875172986096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5997/tid=5999] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5999/stat : 5999 (toysat) S 5994 5997 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2352204 1247350784 25795 33554432000 4194304 16246674 140736100408080 139875162496240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5997/tid=6000] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2352204 1247350784 25801 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116
[startup+0.200519 s]
/proc/loadavg: 2.19 2.07 2.01 3/179 5997
/proc/meminfo: memFree=29324836/32872528 swapFree=7620/7620
[pid=5997] ppid=5994 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/5997/stat : 5997 (toysat) R 5994 5997 5453 0 -1 4202496 48501 0 0 0 13 6 0 0 20 0 4 0 2352204 1247350784 48850 33554432000 4194304 16246674 140736100408080 140736100407504 13191638 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5997/statm: 304529 48860 737 2943 0 301423 0
[pid=5997/tid=5998] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5998/stat : 5998 (toysat) S 5994 5997 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2352204 1247350784 48865 33554432000 4194304 16246674 140736100408080 139875172986096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5997/tid=5999] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5999/stat : 5999 (toysat) S 5994 5997 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2352204 1247350784 48871 33554432000 4194304 16246674 140736100408080 139875162496240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5997/tid=6000] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2352204 1247350784 48878 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116
[startup+0.30048 s]
/proc/loadavg: 2.19 2.07 2.01 3/179 5997
/proc/meminfo: memFree=29324836/32872528 swapFree=7620/7620
[pid=5997] ppid=5994 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/5997/stat : 5997 (toysat) R 5994 5997 5453 0 -1 4202496 72068 0 0 0 21 8 0 0 20 0 4 0 2352204 1247350784 72417 33554432000 4194304 16246674 140736100408080 140736100407504 5515837 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5997/statm: 304529 72425 737 2943 0 301423 0
[pid=5997/tid=5998] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5998/stat : 5998 (toysat) S 5994 5997 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2352204 1247350784 72430 33554432000 4194304 16246674 140736100408080 139875172986096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5997/tid=5999] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5999/stat : 5999 (toysat) S 5994 5997 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2352204 1247350784 72434 33554432000 4194304 16246674 140736100408080 139875162496240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5997/tid=6000] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2352204 1247350784 72440 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116
[startup+0.7004 s]
/proc/loadavg: 2.19 2.07 2.01 3/179 5997
/proc/meminfo: memFree=29324836/32872528 swapFree=7620/7620
[pid=5997] ppid=5994 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/5997/stat : 5997 (toysat) R 5994 5997 5453 0 -1 4202496 165517 0 0 0 50 19 0 0 20 0 4 0 2352204 1247350784 165866 33554432000 4194304 16246674 140736100408080 140736100389952 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5997/statm: 304529 165880 737 2943 0 301423 0
[pid=5997/tid=5998] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5998/stat : 5998 (toysat) S 5994 5997 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2352204 1247350784 165889 33554432000 4194304 16246674 140736100408080 139875172986096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5997/tid=5999] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5999/stat : 5999 (toysat) S 5994 5997 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2352204 1247350784 165898 33554432000 4194304 16246674 140736100408080 139875162496240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5997/tid=6000] ppid=5994 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2352204 1247350784 165904 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116
[startup+1.5004 s]
/proc/loadavg: 2.19 2.07 2.01 3/183 6001
/proc/meminfo: memFree=28342080/32872528 swapFree=7620/7620
[pid=5997] ppid=5994 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/5997/stat : 5997 (toysat) R 5994 5997 5453 0 -1 4202496 245686 0 0 0 118 31 0 0 20 0 4 0 2352204 1248399360 246012 33554432000 4194304 16246674 140736100408080 140736100390848 6020961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5997/statm: 304785 246012 845 2943 0 301679 0
[pid=5997/tid=5998] ppid=5994 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5998/stat : 5998 (toysat) S 5994 5997 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2352204 1248399360 246012 33554432000 4194304 16246674 140736100408080 139875172986096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5997/tid=5999] ppid=5994 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5999/stat : 5999 (toysat) S 5994 5997 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2352204 1248399360 246012 33554432000 4194304 16246674 140736100408080 139875162496240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5997/tid=6000] ppid=5994 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2352204 1248399360 246012 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140
[startup+3.10041 s]
/proc/loadavg: 2.19 2.07 2.01 3/183 6001
/proc/meminfo: memFree=28254644/32872528 swapFree=7620/7620
[pid=5997] ppid=5994 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/5997/stat : 5997 (toysat) R 5994 5997 5453 0 -1 4202496 267492 0 0 0 276 33 0 0 20 0 4 0 2352204 1337528320 267818 33554432000 4194304 16246674 140736100408080 140736100389952 12483423 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5997/statm: 326545 267818 847 2943 0 323439 0
[pid=5997/tid=5998] ppid=5994 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5998/stat : 5998 (toysat) S 5994 5997 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2352204 1337528320 267818 33554432000 4194304 16246674 140736100408080 139875172986096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5997/tid=5999] ppid=5994 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5999/stat : 5999 (toysat) S 5994 5997 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2352204 1337528320 267818 33554432000 4194304 16246674 140736100408080 139875162496240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5997/tid=6000] ppid=5994 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2352204 1337528320 267818 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180
[startup+6.30041 s]
/proc/loadavg: 2.17 2.07 2.01 3/183 6001
/proc/meminfo: memFree=28253784/32872528 swapFree=7620/7620
[pid=5997] ppid=5994 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/5997/stat : 5997 (toysat) R 5994 5997 5453 0 -1 4202496 267493 0 0 0 596 33 0 0 20 0 4 0 2352204 1337528320 267819 33554432000 4194304 16246674 140736100408080 140736100389952 12415777 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5997/statm: 326545 267819 847 2943 0 323439 0
[pid=5997/tid=5998] ppid=5994 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5998/stat : 5998 (toysat) S 5994 5997 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2352204 1337528320 267819 33554432000 4194304 16246674 140736100408080 139875172986096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5997/tid=5999] ppid=5994 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5999/stat : 5999 (toysat) S 5994 5997 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2352204 1337528320 267819 33554432000 4194304 16246674 140736100408080 139875162496240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5997/tid=6000] ppid=5994 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2352204 1337528320 267819 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180
[startup+12.7004 s]
/proc/loadavg: 2.16 2.06 2.01 3/183 6001
/proc/meminfo: memFree=28254180/32872528 swapFree=7620/7620
[pid=5997] ppid=5994 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/5997/stat : 5997 (toysat) R 5994 5997 5453 0 -1 4202496 267531 0 0 0 1236 33 0 0 20 0 4 0 2352204 1337528320 267857 33554432000 4194304 16246674 140736100408080 140736100389952 13194712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5997/statm: 326545 267857 848 2943 0 323439 0
[pid=5997/tid=5998] ppid=5994 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5998/stat : 5998 (toysat) S 5994 5997 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2352204 1337528320 267857 33554432000 4194304 16246674 140736100408080 139875172986096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5997/tid=5999] ppid=5994 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5999/stat : 5999 (toysat) S 5994 5997 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2352204 1337528320 267857 33554432000 4194304 16246674 140736100408080 139875162496240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5997/tid=6000] ppid=5994 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2352204 1337528320 267857 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180
[startup+25.5005 s]
/proc/loadavg: 2.12 2.06 2.01 3/183 6001
/proc/meminfo: memFree=28254704/32872528 swapFree=7620/7620
[pid=5997] ppid=5994 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/5997/stat : 5997 (toysat) R 5994 5997 5453 0 -1 4202496 267571 0 0 0 2516 33 0 0 20 0 4 0 2352204 1337528320 267897 33554432000 4194304 16246674 140736100408080 140736100389952 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5997/statm: 326545 267897 848 2943 0 323439 0
[pid=5997/tid=5998] ppid=5994 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5998/stat : 5998 (toysat) S 5994 5997 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2352204 1337528320 267897 33554432000 4194304 16246674 140736100408080 139875172986096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5997/tid=5999] ppid=5994 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5999/stat : 5999 (toysat) S 5994 5997 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2352204 1337528320 267897 33554432000 4194304 16246674 140736100408080 139875162496240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5997/tid=6000] ppid=5994 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2352204 1337528320 267897 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180
[startup+51.1005 s]
/proc/loadavg: 2.20 2.08 2.02 3/183 6002
/proc/meminfo: memFree=28253680/32872528 swapFree=7620/7620
[pid=5997] ppid=5994 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/5997/stat : 5997 (toysat) R 5994 5997 5453 0 -1 4202496 267636 0 0 0 5075 33 0 0 20 0 4 0 2352204 1337528320 267962 33554432000 4194304 16246674 140736100408080 140736100389952 5754801 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5997/statm: 326545 267962 848 2943 0 323439 0
[pid=5997/tid=5998] ppid=5994 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5998/stat : 5998 (toysat) S 5994 5997 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2352204 1337528320 267962 33554432000 4194304 16246674 140736100408080 139875172986096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5997/tid=5999] ppid=5994 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5999/stat : 5999 (toysat) S 5994 5997 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2352204 1337528320 267962 33554432000 4194304 16246674 140736100408080 139875162496240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5997/tid=6000] ppid=5994 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2352204 1337528320 267962 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180
[startup+102.3 s]
/proc/loadavg: 2.21 2.10 2.03 3/183 6003
/proc/meminfo: memFree=28252608/32872528 swapFree=7620/7620
[pid=5997] ppid=5994 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/5997/stat : 5997 (toysat) R 5994 5997 5453 0 -1 4202496 267879 0 0 0 10194 34 0 0 20 0 4 0 2352204 1338576896 268205 33554432000 4194304 16246674 140736100408080 140736100389952 5661432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5997/statm: 326801 268205 848 2943 0 323695 0
[pid=5997/tid=5998] ppid=5994 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5998/stat : 5998 (toysat) S 5994 5997 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2352204 1338576896 268205 33554432000 4194304 16246674 140736100408080 139875172986096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5997/tid=5999] ppid=5994 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5999/stat : 5999 (toysat) S 5994 5997 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2352204 1338576896 268205 33554432000 4194304 16246674 140736100408080 139875162496240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5997/tid=6000] ppid=5994 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2352204 1338576896 268205 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204
################
# More data... #
################
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268263 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1308228
[startup+1362.3 s]
/proc/loadavg: 2.10 2.09 2.08 3/183 6035
/proc/meminfo: memFree=28245876/32872528 swapFree=7620/7620
[pid=5997] ppid=5994 vsize=1308228 CPUtime=1361.86 cores=0,2,4,6
/proc/5997/stat : 5997 (toysat) R 5994 5997 5453 0 -1 4202496 268380 0 0 0 136142 44 0 0 20 0 4 0 2352204 1339625472 268263 33554432000 4194304 16246674 140736100408080 140736100389952 6022670 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5997/statm: 327057 268263 849 2943 0 323951 0
[pid=5997/tid=5998] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5998/stat : 5998 (toysat) S 5994 5997 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268263 33554432000 4194304 16246674 140736100408080 139875172986096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5997/tid=5999] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5999/stat : 5999 (toysat) S 5994 5997 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268263 33554432000 4194304 16246674 140736100408080 139875162496240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5997/tid=6000] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268263 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1308228
[startup+1422.3 s]
/proc/loadavg: 2.07 2.08 2.08 3/183 6036
/proc/meminfo: memFree=28244696/32872528 swapFree=7620/7620
[pid=5997] ppid=5994 vsize=1308228 CPUtime=1421.86 cores=0,2,4,6
/proc/5997/stat : 5997 (toysat) R 5994 5997 5453 0 -1 4202496 268380 0 0 0 142141 45 0 0 20 0 4 0 2352204 1339625472 268263 33554432000 4194304 16246674 140736100408080 140736100391080 5723568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5997/statm: 327057 268263 849 2943 0 323951 0
[pid=5997/tid=5998] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5998/stat : 5998 (toysat) S 5994 5997 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268263 33554432000 4194304 16246674 140736100408080 139875172986096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5997/tid=5999] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5999/stat : 5999 (toysat) S 5994 5997 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268263 33554432000 4194304 16246674 140736100408080 139875162496240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5997/tid=6000] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268263 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1308228
[startup+1482.3 s]
/proc/loadavg: 2.02 2.07 2.08 3/184 6040
/proc/meminfo: memFree=28244936/32872528 swapFree=7620/7620
[pid=5997] ppid=5994 vsize=1308228 CPUtime=1481.84 cores=0,2,4,6
/proc/5997/stat : 5997 (toysat) R 5994 5997 5453 0 -1 4202496 268380 0 0 0 148139 45 0 0 20 0 4 0 2352204 1339625472 268263 33554432000 4194304 16246674 140736100408080 140736100389952 5668097 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5997/statm: 327057 268263 849 2943 0 323951 0
[pid=5997/tid=5998] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5998/stat : 5998 (toysat) S 5994 5997 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268263 33554432000 4194304 16246674 140736100408080 139875172986096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5997/tid=5999] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5999/stat : 5999 (toysat) S 5994 5997 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268263 33554432000 4194304 16246674 140736100408080 139875162496240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5997/tid=6000] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268263 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1308228
[startup+1542.31 s]
/proc/loadavg: 2.08 2.07 2.08 3/184 6064
/proc/meminfo: memFree=28245080/32872528 swapFree=7620/7620
[pid=5997] ppid=5994 vsize=1308228 CPUtime=1541.84 cores=0,2,4,6
/proc/5997/stat : 5997 (toysat) R 5994 5997 5453 0 -1 4202496 268501 0 0 0 154138 46 0 0 20 0 4 0 2352204 1339625472 268384 33554432000 4194304 16246674 140736100408080 140736100389952 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5997/statm: 327057 268384 849 2943 0 323951 0
[pid=5997/tid=5998] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5998/stat : 5998 (toysat) S 5994 5997 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268384 33554432000 4194304 16246674 140736100408080 139875172986096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5997/tid=5999] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5999/stat : 5999 (toysat) S 5994 5997 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268384 33554432000 4194304 16246674 140736100408080 139875162496240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5997/tid=6000] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268384 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1308228
[startup+1602.3 s]
/proc/loadavg: 2.03 2.05 2.07 3/183 6066
/proc/meminfo: memFree=28245204/32872528 swapFree=7620/7620
[pid=5997] ppid=5994 vsize=1308228 CPUtime=1601.82 cores=0,2,4,6
/proc/5997/stat : 5997 (toysat) R 5994 5997 5453 0 -1 4202496 268501 0 0 0 160136 46 0 0 20 0 4 0 2352204 1339625472 268384 33554432000 4194304 16246674 140736100408080 140736100389952 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5997/statm: 327057 268384 849 2943 0 323951 0
[pid=5997/tid=5998] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5998/stat : 5998 (toysat) S 5994 5997 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268384 33554432000 4194304 16246674 140736100408080 139875172986096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5997/tid=5999] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5999/stat : 5999 (toysat) S 5994 5997 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268384 33554432000 4194304 16246674 140736100408080 139875162496240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5997/tid=6000] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268384 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1308228
[startup+1662.3 s]
/proc/loadavg: 2.17 2.09 2.08 3/183 6067
/proc/meminfo: memFree=28245080/32872528 swapFree=7620/7620
[pid=5997] ppid=5994 vsize=1308228 CPUtime=1661.81 cores=0,2,4,6
/proc/5997/stat : 5997 (toysat) R 5994 5997 5453 0 -1 4202496 268501 0 0 0 166135 46 0 0 20 0 4 0 2352204 1339625472 268384 33554432000 4194304 16246674 140736100408080 140736100389952 5828167 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5997/statm: 327057 268384 849 2943 0 323951 0
[pid=5997/tid=5998] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5998/stat : 5998 (toysat) S 5994 5997 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268384 33554432000 4194304 16246674 140736100408080 139875172986096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5997/tid=5999] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5999/stat : 5999 (toysat) S 5994 5997 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268384 33554432000 4194304 16246674 140736100408080 139875162496240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5997/tid=6000] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268384 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1308228
[startup+1722.3 s]
/proc/loadavg: 2.22 2.11 2.09 3/184 6069
/proc/meminfo: memFree=28245072/32872528 swapFree=7620/7620
[pid=5997] ppid=5994 vsize=1308228 CPUtime=1721.81 cores=0,2,4,6
/proc/5997/stat : 5997 (toysat) R 5994 5997 5453 0 -1 4202496 268501 0 0 0 172134 47 0 0 20 0 4 0 2352204 1339625472 268384 33554432000 4194304 16246674 140736100408080 140736100389952 12415754 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5997/statm: 327057 268384 849 2943 0 323951 0
[pid=5997/tid=5998] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5998/stat : 5998 (toysat) S 5994 5997 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268384 33554432000 4194304 16246674 140736100408080 139875172986096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5997/tid=5999] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5999/stat : 5999 (toysat) S 5994 5997 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268384 33554432000 4194304 16246674 140736100408080 139875162496240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5997/tid=6000] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268384 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1308228
[startup+1782.3 s]
/proc/loadavg: 2.08 2.09 2.08 3/183 6119
/proc/meminfo: memFree=28223916/32872528 swapFree=7620/7620
[pid=5997] ppid=5994 vsize=1308228 CPUtime=1781.8 cores=0,2,4,6
/proc/5997/stat : 5997 (toysat) R 5994 5997 5453 0 -1 4202496 268501 0 0 0 178132 48 0 0 20 0 4 0 2352204 1339625472 268384 33554432000 4194304 16246674 140736100408080 140736100389952 5546177 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5997/statm: 327057 268384 849 2943 0 323951 0
[pid=5997/tid=5998] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5998/stat : 5998 (toysat) S 5994 5997 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268384 33554432000 4194304 16246674 140736100408080 139875172986096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5997/tid=5999] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5999/stat : 5999 (toysat) S 5994 5997 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268384 33554432000 4194304 16246674 140736100408080 139875162496240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5997/tid=6000] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268384 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1308228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.06 2.08 2.08 3/183 6119
/proc/meminfo: memFree=28224172/32872528 swapFree=7620/7620
[pid=5997] ppid=5994 vsize=1308228 CPUtime=1800 cores=0,2,4,6
/proc/5997/stat : 5997 (toysat) R 5994 5997 5453 0 -1 4202496 268502 0 0 0 179952 48 0 0 20 0 4 0 2352204 1339625472 268385 33554432000 4194304 16246674 140736100408080 140736100389952 5545984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5997/statm: 327057 268385 850 2943 0 323951 0
[pid=5997/tid=5998] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5998/stat : 5998 (toysat) S 5994 5997 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268385 33554432000 4194304 16246674 140736100408080 139875172986096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5997/tid=5999] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5999/stat : 5999 (toysat) S 5994 5997 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268385 33554432000 4194304 16246674 140736100408080 139875162496240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5997/tid=6000] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268385 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1308228
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 5997 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.06 2.08 2.08 3/183 6119
/proc/meminfo: memFree=28224172/32872528 swapFree=7620/7620
[pid=5997] ppid=5994 vsize=1308228 CPUtime=1800 cores=0,2,4,6
/proc/5997/stat : 5997 (toysat) R 5994 5997 5453 0 -1 4202496 268502 0 0 0 179952 48 0 0 20 0 4 0 2352204 1339625472 268385 33554432000 4194304 16246674 140736100408080 140736100389952 5545984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5997/statm: 327057 268385 850 2943 0 323951 0
[pid=5997/tid=5998] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5998/stat : 5998 (toysat) S 5994 5997 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268385 33554432000 4194304 16246674 140736100408080 139875172986096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5997/tid=5999] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/5999/stat : 5999 (toysat) S 5994 5997 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268385 33554432000 4194304 16246674 140736100408080 139875162496240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5997/tid=6000] ppid=5994 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5997/task/6000/stat : 6000 (toysat) S 5994 5997 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2352204 1339625472 268385 33554432000 4194304 16246674 140736100408080 139875152022704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1308228
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.53
CPU system time (s): 0.480926
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 1308228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.480926
maximum resident set size= 1073540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268502
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= 459
involuntary context switches= 1960
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.38433 second user time and 7.14791 second system time
The end