0.00/0.00 c 2016-06-29T23:51:17+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-4117861-1467237076.opb"]
0.00/0.01 c use --random-gen="18381679 3244030811 4225642447 821017000 1033463097 1894668435 1932802621 2032067802 243942901 3362872973 1181408786 1716655866 988128001 3700596121 4244342498 3265465406 350165175 3112991879 2501207742 378574139 3234901708 1790210289 2210463324 1202163646 526912076 1382685276 2675829094 1686689629 2472340769 191775415 2727998254 1568421371 537939230 1443758617 3658534647 2310408036 2996090885 4262725607 2759510113 3302853791 3959593743 2664462096 4226100842 3905638456 1021877924 84927536 734918499 347483086 4064375187 1895245129 2163017793 3262450975 2112199389 2945618 2351022831 1795480481 2522299086 4278442286 228595041 333093101 2279025257 1018431617 567914249 3043863267 1551787785 3507036205 471190609 409198257 2558427205 2982250119 1746721894 269513572 3529151403 3868369980 3989280033 3064093298 3731373484 3420091977 2848687420 331509467 1746945571 504679611 1114690033 4211076820 3400065422 24742008 1576137494 2351018352 1518132947 2478591329 1376309622 1500791062 1393385974 1894579642 2367491131 3536381460 2684762899 3658607347 4293936843 3982544000 1289140538 1200373699 88003638 1906121354 2359502510 3020609239 147241875 1686867517 1709511485 2292450774 185546609 3074894157 3382232694 3819508725 442120779 2428765744 3152515328 2918317285 3342305882 3367430139 3907636655 89567668 3700788379 896612830 26904086 1667968720 628255598 3318945038 1857213661 2641436906 627642832 868986590 3304793040 921588125 1889412027 274963529 2070516942 883179268 129173118 1064102431 3271422526 643487446 2907497524 1026057626 3612011007 1765113505 1364428795 1036832974 2326324191 3081017434 2477062544 3090129869 1746542276 2621378817 4081363902 3234569130 3312731457 1272414842 1226959426 2620373051 2552186080 1713378859 1073400291 3589737961 3608181939 2195728168 1485029216 306851548 1945128646 1176706471 660189165 1319595423 3401458164 3013568299 2036961170 3907508940 1949216929 209617701 2497223922 1386373828 922723906 1308148569 1516836174 3178970867 3307683595 2106094239 2146863860 2001651245 3769451927 1893632254 1979579751 3159868642 1795816610 2534651664 1019390412 444841475 792919277 3425276046 1663510681 2380616832 2600547265 2776512251 880827362 3847786626 1445201024 2687410006 2017018351 555769230 1324227294 2327225882 4009514239 1410618142 2347302825 3161909463 215499629 3468723512 2803653247 51241486 1451167742 780361549 2562604317 809109521 744871250 238882353 3419918610 1605157990 3822648960 3888457766 296389654 411301424 2874542903 1783170449 3867609234 1380923966 373048342 3643104165 31490303 1935445952 1082753646 2018633131 4101479588 1382108435 185372631 3570258058 1600401155 3971544098 3441340978 1583132058 2464179714 3799970181 3387086881 1440899399 3593143141 108213077 3099354770 3741601424 255 362436" option to reproduce the execution
0.00/0.01 c #vars 196
0.00/0.01 c #constraints 82
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 | 113 0 | 22 | 0
0.00/0.03 c 0.0s | 1 | 148 | 100 | 113 0 | 22 | 0
0.00/0.05 c 0.0s | 2 | 351 | 250 | 125 1 | 22 | 0
0.00/0.08 c 0.1s | 3 | 644 | 475 | 138 4 | 22 | 0
0.09/0.13 c 0.1s | 4 | 1043 | 813 | 152 7 | 22 | 0
0.19/0.21 c 0.2s | 5 | 1636 | 1320 | 168 11 | 22 | 0
0.29/0.32 c 0.3s | 6 | 2499 | 2081 | 204 18 | 22 | 0
0.39/0.49 c 0.5s | 7 | 3854 | 3223 | 225 26 | 22 | 0
0.69/0.76 c 0.7s | 8 | 5811 | 4936 | 248 38 | 22 | 0
1.10/1.16 c 1.1s | 9 | 8740 | 7506 | 273 55 | 22 | 0
1.59/1.60 c 1.6s | 10 | 13270 | 11361 | 301 78 | 22 | 0
2.20/2.28 c 2.3s | 11 | 19992 | 17144 | 332 110 | 22 | 0
2.69/2.71 c 2.7s | 11 | 24113 | 20712 | 332 128 | 22 | 0
2.69/2.71 c #cpu_time = 2.697s
2.69/2.71 c #wall_clock_time = 2.697s
2.69/2.71 c #decision = 24113
2.69/2.71 c #random_decision = 86
2.69/2.71 c #conflict = 20712
2.69/2.71 c #restart = 11
2.69/2.71 o 96
2.69/2.71 c BCD2: updating upper bound: 196 -> 95
2.69/2.71 c BCD2: 0 <= obj <= 95
2.69/2.71 c BCD2: #cores=0, #unrelaxed=196, #relaxed=0, #hardened=0
2.69/2.71 c BCD2: #sat=1 #unsat=1 bias=1/2
2.69/2.71 c Solving starts ...
2.69/2.71 c ============================[ Search Statistics ]============================
2.69/2.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.71 c | | | | Limit GC | Var | Constra
2.69/2.71 c =============================================================================
2.69/2.71 c 0.0s | 0 | 0 | 0 | 332 0 | 22 | 0
2.69/2.71 c 0.0s | 0 | 0 | 0 | 332 0 | 22 | 0
2.69/2.71 c #cpu_time = 0.001s
2.69/2.71 c #wall_clock_time = 0.001s
2.69/2.71 c #decision = 0
2.69/2.71 c #random_decision = 0
2.69/2.71 c #conflict = 0
2.69/2.71 c #restart = 0
2.69/2.71 c BCD2: found a new core of size 1: cost of the new core is >=1
2.69/2.71 c lower bound updated to 1
2.69/2.71 c BCD2: 1 <= obj <= 95
2.69/2.71 c BCD2: #cores=1, #unrelaxed=195, #relaxed=1, #hardened=0
2.69/2.71 c BCD2: #sat=1 #unsat=2 bias=2/3
2.69/2.71 c Solving starts ...
2.69/2.71 c ============================[ Search Statistics ]============================
2.69/2.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.71 c | | | | Limit GC | Var | Constra
2.69/2.71 c =============================================================================
2.69/2.71 c 0.0s | 0 | 0 | 0 | 332 0 | 22 | 0
2.69/2.72 c 0.0s | 0 | 1 | 0 | 332 0 | 22 | 0
2.69/2.72 c #cpu_time = 0.001s
2.69/2.72 c #wall_clock_time = 0.001s
2.69/2.72 c #decision = 1
2.69/2.72 c #random_decision = 0
2.69/2.72 c #conflict = 0
2.69/2.72 c #restart = 0
2.69/2.72 c BCD2: found a new core of size 1: cost of the new core is >=1
2.69/2.72 c lower bound updated to 2
2.69/2.72 c BCD2: 2 <= obj <= 95
2.69/2.72 c BCD2: #cores=2, #unrelaxed=194, #relaxed=2, #hardened=0
2.69/2.72 c BCD2: #sat=1 #unsat=3 bias=3/4
2.69/2.72 c Solving starts ...
2.69/2.72 c ============================[ Search Statistics ]============================
2.69/2.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.72 c | | | | Limit GC | Var | Constra
2.69/2.72 c =============================================================================
2.69/2.72 c 0.0s | 0 | 0 | 0 | 332 0 | 22 | 0
2.69/2.72 c 0.0s | 0 | 6 | 0 | 332 0 | 22 | 0
2.69/2.72 c #cpu_time = 0.001s
2.69/2.72 c #wall_clock_time = 0.001s
2.69/2.72 c #decision = 6
2.69/2.72 c #random_decision = 0
2.69/2.72 c #conflict = 0
2.69/2.72 c #restart = 0
2.69/2.72 c BCD2: found a new core of size 5: cost of the new core is >=1
2.69/2.72 c lower bound updated to 3
2.69/2.72 c BCD2: 3 <= obj <= 95
2.69/2.72 c BCD2: #cores=3, #unrelaxed=189, #relaxed=7, #hardened=0
2.69/2.72 c BCD2: #sat=1 #unsat=4 bias=4/5
2.69/2.72 c Solving starts ...
2.69/2.72 c ============================[ Search Statistics ]============================
2.69/2.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.72 c | | | | Limit GC | Var | Constra
2.69/2.72 c =============================================================================
2.69/2.72 c 0.0s | 0 | 0 | 0 | 332 0 | 22 | 0
2.69/2.72 c 0.0s | 0 | 7 | 1 | 332 0 | 22 | 0
2.69/2.72 c #cpu_time = 0.001s
2.69/2.72 c #wall_clock_time = 0.001s
2.69/2.72 c #decision = 7
2.69/2.72 c #random_decision = 0
2.69/2.72 c #conflict = 1
2.69/2.72 c #restart = 0
2.69/2.72 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 9: cost of the new core is >=2
2.69/2.72 c lower bound updated to 4
2.69/2.72 c BCD2: 4 <= obj <= 95
2.69/2.72 c BCD2: #cores=3, #unrelaxed=185, #relaxed=11, #hardened=0
2.69/2.72 c BCD2: #sat=1 #unsat=5 bias=5/6
2.69/2.72 c Solving starts ...
2.69/2.72 c ============================[ Search Statistics ]============================
2.69/2.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.72 c | | | | Limit GC | Var | Constra
2.69/2.72 c =============================================================================
2.69/2.72 c 0.0s | 0 | 0 | 0 | 332 0 | 23 | 0
2.69/2.72 c 0.0s | 0 | 3 | 0 | 332 0 | 23 | 1
2.69/2.72 c #cpu_time = 0.001s
2.69/2.72 c #wall_clock_time = 0.001s
2.69/2.72 c #decision = 3
2.69/2.72 c #random_decision = 0
2.69/2.72 c #conflict = 0
2.69/2.72 c #restart = 0
2.69/2.72 c BCD2: found a new core of size 1: cost of the new core is >=1
2.69/2.72 c lower bound updated to 5
2.69/2.72 c BCD2: 5 <= obj <= 95
2.69/2.72 c BCD2: #cores=4, #unrelaxed=184, #relaxed=12, #hardened=0
2.69/2.72 c BCD2: #sat=1 #unsat=6 bias=6/7
2.69/2.72 c Solving starts ...
2.69/2.72 c ============================[ Search Statistics ]============================
2.69/2.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.72 c | | | | Limit GC | Var | Constra
2.69/2.72 c =============================================================================
2.69/2.72 c 0.0s | 0 | 0 | 0 | 332 0 | 23 | 1
2.69/2.72 c 0.0s | 0 | 4 | 0 | 332 0 | 23 | 1
2.69/2.72 c #cpu_time = 0.001s
2.69/2.72 c #wall_clock_time = 0.001s
2.69/2.72 c #decision = 4
2.69/2.72 c #random_decision = 0
2.69/2.72 c #conflict = 0
2.69/2.72 c #restart = 0
2.69/2.72 c BCD2: found a new core of size 1: cost of the new core is >=1
2.69/2.72 c lower bound updated to 6
2.69/2.72 c BCD2: 6 <= obj <= 95
2.69/2.72 c BCD2: #cores=5, #unrelaxed=183, #relaxed=13, #hardened=0
2.69/2.72 c BCD2: #sat=1 #unsat=7 bias=7/8
2.69/2.72 c Solving starts ...
2.69/2.72 c ============================[ Search Statistics ]============================
2.69/2.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.72 c | | | | Limit GC | Var | Constra
2.69/2.72 c =============================================================================
2.69/2.72 c 0.0s | 0 | 0 | 0 | 332 0 | 23 | 1
2.69/2.72 c 0.0s | 0 | 11 | 0 | 332 0 | 23 | 1
2.69/2.72 c #cpu_time = 0.001s
2.69/2.72 c #wall_clock_time = 0.001s
2.69/2.72 c #decision = 11
2.69/2.72 c #random_decision = 0
2.69/2.72 c #conflict = 0
2.69/2.72 c #restart = 0
2.69/2.72 c BCD2: found a new core of size 7: cost of the new core is >=1
2.69/2.72 c lower bound updated to 7
2.69/2.72 c BCD2: 7 <= obj <= 95
2.69/2.72 c BCD2: #cores=6, #unrelaxed=176, #relaxed=20, #hardened=0
2.69/2.72 c BCD2: #sat=1 #unsat=8 bias=8/9
2.69/2.72 c Solving starts ...
2.69/2.72 c ============================[ Search Statistics ]============================
2.69/2.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.72 c | | | | Limit GC | Var | Constra
2.69/2.72 c =============================================================================
2.69/2.72 c 0.0s | 0 | 0 | 0 | 332 0 | 23 | 1
2.69/2.72 c 0.0s | 0 | 10 | 0 | 332 0 | 23 | 1
2.69/2.72 c #cpu_time = 0.001s
2.69/2.72 c #wall_clock_time = 0.001s
2.69/2.72 c #decision = 10
2.69/2.72 c #random_decision = 0
2.69/2.72 c #conflict = 0
2.69/2.72 c #restart = 0
2.69/2.72 c BCD2: found a new core of size 1: cost of the new core is >=1
2.69/2.72 c lower bound updated to 8
2.69/2.72 c BCD2: 8 <= obj <= 95
2.69/2.72 c BCD2: #cores=7, #unrelaxed=175, #relaxed=21, #hardened=0
2.69/2.72 c BCD2: #sat=1 #unsat=9 bias=9/10
2.69/2.72 c Solving starts ...
2.69/2.72 c ============================[ Search Statistics ]============================
2.69/2.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.72 c | | | | Limit GC | Var | Constra
2.69/2.72 c =============================================================================
2.69/2.72 c 0.0s | 0 | 0 | 0 | 332 0 | 23 | 1
2.69/2.72 c 0.0s | 0 | 14 | 1 | 332 0 | 23 | 1
2.69/2.72 c #cpu_time = 0.001s
2.69/2.72 c #wall_clock_time = 0.001s
2.69/2.72 c #decision = 14
2.69/2.72 c #random_decision = 0
2.69/2.72 c #conflict = 1
2.69/2.72 c #restart = 0
2.69/2.72 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 12: cost of the new core is >=2
2.69/2.72 c lower bound updated to 9
2.69/2.72 c BCD2: 9 <= obj <= 95
2.69/2.72 c BCD2: #cores=7, #unrelaxed=170, #relaxed=26, #hardened=0
2.69/2.72 c BCD2: #sat=1 #unsat=10 bias=10/11
2.69/2.72 c Solving starts ...
2.69/2.72 c ============================[ Search Statistics ]============================
2.69/2.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.72 c | | | | Limit GC | Var | Constra
2.69/2.72 c =============================================================================
2.69/2.72 c 0.0s | 0 | 0 | 0 | 332 0 | 24 | 1
2.69/2.72 c 0.0s | 0 | 14 | 0 | 332 0 | 24 | 2
2.69/2.72 c #cpu_time = 0.001s
2.69/2.72 c #wall_clock_time = 0.001s
2.69/2.72 c #decision = 14
2.69/2.72 c #random_decision = 0
2.69/2.72 c #conflict = 0
2.69/2.72 c #restart = 0
2.69/2.72 c BCD2: found a new core of size 8: cost of the new core is >=1
2.69/2.72 c lower bound updated to 10
2.69/2.72 c BCD2: 10 <= obj <= 95
2.69/2.72 c BCD2: #cores=8, #unrelaxed=162, #relaxed=34, #hardened=0
2.69/2.72 c BCD2: #sat=1 #unsat=11 bias=11/12
2.69/2.72 c Solving starts ...
2.69/2.72 c ============================[ Search Statistics ]============================
2.69/2.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.72 c | | | | Limit GC | Var | Constra
2.69/2.72 c =============================================================================
2.69/2.72 c 0.0s | 0 | 0 | 0 | 332 0 | 24 | 2
2.69/2.72 c 0.0s | 0 | 25 | 1 | 332 0 | 24 | 2
2.69/2.72 c #cpu_time = 0.001s
2.69/2.72 c #wall_clock_time = 0.001s
2.69/2.72 c #decision = 25
2.69/2.72 c #random_decision = 0
2.69/2.72 c #conflict = 1
2.69/2.72 c #restart = 0
2.69/2.72 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 16: cost of the new core is >=3
2.69/2.72 c lower bound updated to 11
2.69/2.72 c BCD2: 11 <= obj <= 95
2.69/2.72 c BCD2: #cores=8, #unrelaxed=158, #relaxed=38, #hardened=0
2.69/2.72 c BCD2: #sat=1 #unsat=12 bias=12/13
2.69/2.72 c Solving starts ...
2.69/2.72 c ============================[ Search Statistics ]============================
2.69/2.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.72 c | | | | Limit GC | Var | Constra
2.69/2.72 c =============================================================================
2.69/2.72 c 0.0s | 0 | 0 | 0 | 332 0 | 25 | 2
2.69/2.72 c 0.0s | 0 | 18 | 0 | 332 0 | 25 | 3
2.69/2.72 c #cpu_time = 0.001s
2.69/2.72 c #wall_clock_time = 0.001s
2.69/2.72 c #decision = 18
2.69/2.72 c #random_decision = 0
2.69/2.72 c #conflict = 0
2.69/2.72 c #restart = 0
2.69/2.72 c BCD2: found a new core of size 9: cost of the new core is >=1
2.69/2.72 c lower bound updated to 12
2.69/2.72 c BCD2: 12 <= obj <= 95
2.69/2.72 c BCD2: #cores=9, #unrelaxed=149, #relaxed=47, #hardened=0
2.69/2.72 c BCD2: #sat=1 #unsat=13 bias=13/14
2.69/2.72 c Solving starts ...
2.69/2.72 c ============================[ Search Statistics ]============================
2.69/2.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.72 c | | | | Limit GC | Var | Constra
2.69/2.72 c =============================================================================
2.69/2.72 c 0.0s | 0 | 0 | 0 | 332 0 | 25 | 3
2.69/2.73 c 0.0s | 0 | 15 | 1 | 332 0 | 25 | 3
2.69/2.73 c #cpu_time = 0.001s
2.69/2.73 c #wall_clock_time = 0.001s
2.69/2.73 c #decision = 15
2.69/2.73 c #random_decision = 0
2.69/2.73 c #conflict = 1
2.69/2.73 c #restart = 0
2.69/2.73 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 19: cost of the new core is >=4
2.69/2.73 c lower bound updated to 13
2.69/2.73 c BCD2: 13 <= obj <= 95
2.69/2.73 c BCD2: #cores=9, #unrelaxed=146, #relaxed=50, #hardened=0
2.69/2.73 c BCD2: #sat=1 #unsat=14 bias=14/15
2.69/2.73 c Solving starts ...
2.69/2.73 c ============================[ Search Statistics ]============================
2.69/2.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.73 c | | | | Limit GC | Var | Constra
2.69/2.73 c =============================================================================
2.69/2.73 c 0.0s | 0 | 0 | 0 | 332 0 | 26 | 3
2.69/2.73 c 0.0s | 0 | 17 | 0 | 332 0 | 26 | 4
2.69/2.73 c #cpu_time = 0.001s
2.69/2.73 c #wall_clock_time = 0.001s
2.69/2.73 c #decision = 17
2.69/2.73 c #random_decision = 0
2.69/2.73 c #conflict = 0
2.69/2.73 c #restart = 0
2.69/2.73 c BCD2: found a new core of size 6: cost of the new core is >=1
2.69/2.73 c lower bound updated to 14
2.69/2.73 c BCD2: 14 <= obj <= 95
2.69/2.73 c BCD2: #cores=10, #unrelaxed=140, #relaxed=56, #hardened=0
2.69/2.73 c BCD2: #sat=1 #unsat=15 bias=15/16
2.69/2.73 c Solving starts ...
2.69/2.73 c ============================[ Search Statistics ]============================
2.69/2.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.73 c | | | | Limit GC | Var | Constra
2.69/2.73 c =============================================================================
2.69/2.73 c 0.0s | 0 | 0 | 0 | 332 0 | 26 | 4
2.69/2.73 c 0.0s | 0 | 18 | 1 | 332 0 | 26 | 4
2.69/2.73 c #cpu_time = 0.001s
2.69/2.73 c #wall_clock_time = 0.001s
2.69/2.73 c #decision = 18
2.69/2.73 c #random_decision = 0
2.69/2.73 c #conflict = 1
2.69/2.73 c #restart = 0
2.69/2.73 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
2.69/2.73 c lower bound updated to 15
2.69/2.73 c BCD2: 15 <= obj <= 95
2.69/2.73 c BCD2: #cores=10, #unrelaxed=135, #relaxed=61, #hardened=0
2.69/2.73 c BCD2: #sat=1 #unsat=16 bias=16/17
2.69/2.73 c Solving starts ...
2.69/2.73 c ============================[ Search Statistics ]============================
2.69/2.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.73 c | | | | Limit GC | Var | Constra
2.69/2.73 c =============================================================================
2.69/2.73 c 0.0s | 0 | 0 | 0 | 332 0 | 27 | 4
2.69/2.73 c 0.0s | 0 | 25 | 0 | 332 0 | 27 | 5
2.69/2.73 c #cpu_time = 0.001s
2.69/2.73 c #wall_clock_time = 0.001s
2.69/2.73 c #decision = 25
2.69/2.73 c #random_decision = 0
2.69/2.73 c #conflict = 0
2.69/2.73 c #restart = 0
2.69/2.73 c BCD2: found a new core of size 11: cost of the new core is >=1
2.69/2.73 c lower bound updated to 16
2.69/2.73 c BCD2: 16 <= obj <= 95
2.69/2.73 c BCD2: #cores=11, #unrelaxed=124, #relaxed=72, #hardened=0
2.69/2.73 c BCD2: #sat=1 #unsat=17 bias=17/18
2.69/2.73 c Solving starts ...
2.69/2.73 c ============================[ Search Statistics ]============================
2.69/2.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.73 c | | | | Limit GC | Var | Constra
2.69/2.73 c =============================================================================
2.69/2.73 c 0.0s | 0 | 0 | 0 | 332 0 | 27 | 5
2.69/2.73 c 0.0s | 0 | 24 | 0 | 332 0 | 27 | 5
2.69/2.73 c #cpu_time = 0.001s
2.69/2.73 c #wall_clock_time = 0.001s
2.69/2.73 c #decision = 24
2.69/2.73 c #random_decision = 0
2.69/2.73 c #conflict = 0
2.69/2.73 c #restart = 0
2.69/2.73 c BCD2: found a new core of size 6: cost of the new core is >=1
2.69/2.73 c lower bound updated to 17
2.69/2.73 c BCD2: 17 <= obj <= 95
2.69/2.73 c BCD2: #cores=12, #unrelaxed=118, #relaxed=78, #hardened=0
2.69/2.73 c BCD2: #sat=1 #unsat=18 bias=18/19
2.69/2.73 c Solving starts ...
2.69/2.73 c ============================[ Search Statistics ]============================
2.69/2.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.73 c | | | | Limit GC | Var | Constra
2.69/2.73 c =============================================================================
2.69/2.73 c 0.0s | 0 | 0 | 0 | 332 0 | 27 | 5
2.69/2.73 c 0.0s | 0 | 25 | 1 | 332 0 | 27 | 5
2.69/2.73 c #cpu_time = 0.001s
2.69/2.73 c #wall_clock_time = 0.001s
2.69/2.73 c #decision = 25
2.69/2.73 c #random_decision = 0
2.69/2.73 c #conflict = 1
2.69/2.73 c #restart = 0
2.69/2.73 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
2.69/2.73 c lower bound updated to 18
2.69/2.73 c BCD2: 18 <= obj <= 95
2.69/2.73 c BCD2: #cores=12, #unrelaxed=113, #relaxed=83, #hardened=0
2.69/2.73 c BCD2: #sat=1 #unsat=19 bias=19/20
2.69/2.73 c Solving starts ...
2.69/2.73 c ============================[ Search Statistics ]============================
2.69/2.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.73 c | | | | Limit GC | Var | Constra
2.69/2.73 c =============================================================================
2.69/2.73 c 0.0s | 0 | 0 | 0 | 332 0 | 28 | 5
2.69/2.73 c 0.0s | 0 | 22 | 0 | 332 0 | 28 | 6
2.69/2.73 c #cpu_time = 0.001s
2.69/2.73 c #wall_clock_time = 0.001s
2.69/2.73 c #decision = 22
2.69/2.73 c #random_decision = 0
2.69/2.73 c #conflict = 0
2.69/2.73 c #restart = 0
2.69/2.73 c BCD2: found a new core of size 4: cost of the new core is >=1
2.69/2.73 c lower bound updated to 19
2.69/2.73 c BCD2: 19 <= obj <= 95
2.69/2.73 c BCD2: #cores=13, #unrelaxed=109, #relaxed=87, #hardened=0
2.69/2.73 c BCD2: #sat=1 #unsat=20 bias=20/21
2.69/2.73 c Solving starts ...
2.69/2.73 c ============================[ Search Statistics ]============================
2.69/2.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.73 c | | | | Limit GC | Var | Constra
2.69/2.73 c =============================================================================
2.69/2.73 c 0.0s | 0 | 0 | 0 | 332 0 | 28 | 6
2.69/2.73 c 0.0s | 0 | 26 | 0 | 332 0 | 28 | 6
2.69/2.73 c #cpu_time = 0.001s
2.69/2.73 c #wall_clock_time = 0.001s
2.69/2.73 c #decision = 26
2.69/2.73 c #random_decision = 0
2.69/2.73 c #conflict = 0
2.69/2.73 c #restart = 0
2.69/2.73 c BCD2: found a new core of size 7: cost of the new core is >=1
2.69/2.73 c lower bound updated to 20
2.69/2.73 c BCD2: 20 <= obj <= 95
2.69/2.73 c BCD2: #cores=14, #unrelaxed=102, #relaxed=94, #hardened=0
2.69/2.73 c BCD2: #sat=1 #unsat=21 bias=21/22
2.69/2.73 c Solving starts ...
2.69/2.73 c ============================[ Search Statistics ]============================
2.69/2.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.73 c | | | | Limit GC | Var | Constra
2.69/2.73 c =============================================================================
2.69/2.73 c 0.0s | 0 | 0 | 0 | 332 0 | 28 | 6
2.69/2.73 c 0.0s | 0 | 27 | 1 | 332 0 | 28 | 6
2.69/2.73 c #cpu_time = 0.001s
2.69/2.73 c #wall_clock_time = 0.001s
2.69/2.73 c #decision = 27
2.69/2.73 c #random_decision = 0
2.69/2.73 c #conflict = 1
2.69/2.73 c #restart = 0
2.69/2.73 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
2.69/2.73 c lower bound updated to 21
2.69/2.73 c BCD2: 21 <= obj <= 95
2.69/2.73 c BCD2: #cores=14, #unrelaxed=96, #relaxed=100, #hardened=0
2.69/2.73 c BCD2: #sat=1 #unsat=22 bias=22/23
2.69/2.73 c Solving starts ...
2.69/2.73 c ============================[ Search Statistics ]============================
2.69/2.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.73 c | | | | Limit GC | Var | Constra
2.69/2.73 c =============================================================================
2.69/2.73 c 0.0s | 0 | 0 | 0 | 332 0 | 29 | 6
2.69/2.73 c 0.0s | 0 | 29 | 0 | 332 0 | 29 | 7
2.69/2.73 c #cpu_time = 0.001s
2.69/2.73 c #wall_clock_time = 0.001s
2.69/2.73 c #decision = 29
2.69/2.73 c #random_decision = 0
2.69/2.73 c #conflict = 0
2.69/2.73 c #restart = 0
2.69/2.73 c BCD2: found a new core of size 8: cost of the new core is >=1
2.69/2.73 c lower bound updated to 22
2.69/2.73 c BCD2: 22 <= obj <= 95
2.69/2.73 c BCD2: #cores=15, #unrelaxed=88, #relaxed=108, #hardened=0
2.69/2.73 c BCD2: #sat=1 #unsat=23 bias=23/24
2.69/2.73 c Solving starts ...
2.69/2.73 c ============================[ Search Statistics ]============================
2.69/2.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.73 c | | | | Limit GC | Var | Constra
2.69/2.73 c =============================================================================
2.69/2.73 c 0.0s | 0 | 0 | 0 | 332 0 | 29 | 7
2.69/2.74 c 0.0s | 0 | 29 | 1 | 332 0 | 29 | 7
2.69/2.74 c #cpu_time = 0.001s
2.69/2.74 c #wall_clock_time = 0.001s
2.69/2.74 c #decision = 29
2.69/2.74 c #random_decision = 0
2.69/2.74 c #conflict = 1
2.69/2.74 c #restart = 0
2.69/2.74 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 10: cost of the new core is >=2
2.69/2.74 c lower bound updated to 23
2.69/2.74 c BCD2: 23 <= obj <= 95
2.69/2.74 c BCD2: #cores=15, #unrelaxed=82, #relaxed=114, #hardened=0
2.69/2.74 c BCD2: #sat=1 #unsat=24 bias=24/25
2.69/2.74 c Solving starts ...
2.69/2.74 c ============================[ Search Statistics ]============================
2.69/2.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.74 c | | | | Limit GC | Var | Constra
2.69/2.74 c =============================================================================
2.69/2.74 c 0.0s | 0 | 0 | 0 | 332 0 | 30 | 7
2.69/2.74 c 0.0s | 0 | 31 | 0 | 332 0 | 30 | 8
2.69/2.74 c #cpu_time = 0.001s
2.69/2.74 c #wall_clock_time = 0.001s
2.69/2.74 c #decision = 31
2.69/2.74 c #random_decision = 0
2.69/2.74 c #conflict = 0
2.69/2.74 c #restart = 0
2.69/2.74 c BCD2: found a new core of size 10: cost of the new core is >=1
2.69/2.74 c lower bound updated to 24
2.69/2.74 c BCD2: 24 <= obj <= 95
2.69/2.74 c BCD2: #cores=16, #unrelaxed=72, #relaxed=124, #hardened=0
2.69/2.74 c BCD2: #sat=1 #unsat=25 bias=25/26
2.69/2.74 c Solving starts ...
2.69/2.74 c ============================[ Search Statistics ]============================
2.69/2.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.74 c | | | | Limit GC | Var | Constra
2.69/2.74 c =============================================================================
2.69/2.74 c 0.0s | 0 | 0 | 0 | 332 0 | 30 | 8
2.69/2.74 c 0.0s | 0 | 25 | 0 | 332 0 | 30 | 8
2.69/2.74 c #cpu_time = 0.001s
2.69/2.74 c #wall_clock_time = 0.001s
2.69/2.74 c #decision = 25
2.69/2.74 c #random_decision = 0
2.69/2.74 c #conflict = 0
2.69/2.74 c #restart = 0
2.69/2.74 c BCD2: found a new core of size 2: cost of the new core is >=1
2.69/2.74 c lower bound updated to 25
2.69/2.74 c BCD2: 25 <= obj <= 95
2.69/2.74 c BCD2: #cores=17, #unrelaxed=70, #relaxed=126, #hardened=0
2.69/2.74 c BCD2: #sat=1 #unsat=26 bias=26/27
2.69/2.74 c Solving starts ...
2.69/2.74 c ============================[ Search Statistics ]============================
2.69/2.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.74 c | | | | Limit GC | Var | Constra
2.69/2.74 c =============================================================================
2.69/2.74 c 0.0s | 0 | 0 | 0 | 332 0 | 30 | 8
2.69/2.74 c 0.0s | 0 | 31 | 0 | 332 0 | 30 | 8
2.69/2.74 c #cpu_time = 0.001s
2.69/2.74 c #wall_clock_time = 0.001s
2.69/2.74 c #decision = 31
2.69/2.74 c #random_decision = 0
2.69/2.74 c #conflict = 0
2.69/2.74 c #restart = 0
2.69/2.74 c BCD2: found a new core of size 7: cost of the new core is >=1
2.69/2.74 c lower bound updated to 26
2.69/2.74 c BCD2: 26 <= obj <= 95
2.69/2.74 c BCD2: #cores=18, #unrelaxed=63, #relaxed=133, #hardened=0
2.69/2.74 c BCD2: #sat=1 #unsat=27 bias=27/28
2.69/2.74 c Solving starts ...
2.69/2.74 c ============================[ Search Statistics ]============================
2.69/2.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.74 c | | | | Limit GC | Var | Constra
2.69/2.74 c =============================================================================
2.69/2.74 c 0.0s | 0 | 0 | 0 | 332 0 | 30 | 8
2.69/2.74 c 0.0s | 0 | 32 | 1 | 332 0 | 30 | 8
2.69/2.74 c #cpu_time = 0.001s
2.69/2.74 c #wall_clock_time = 0.001s
2.69/2.74 c #decision = 32
2.69/2.74 c #random_decision = 0
2.69/2.74 c #conflict = 1
2.69/2.74 c #restart = 0
2.69/2.74 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 13: cost of the new core is >=2
2.69/2.74 c lower bound updated to 27
2.69/2.74 c BCD2: 27 <= obj <= 95
2.69/2.74 c BCD2: #cores=18, #unrelaxed=57, #relaxed=139, #hardened=0
2.69/2.74 c BCD2: #sat=1 #unsat=28 bias=28/29
2.69/2.74 c Solving starts ...
2.69/2.74 c ============================[ Search Statistics ]============================
2.69/2.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.74 c | | | | Limit GC | Var | Constra
2.69/2.74 c =============================================================================
2.69/2.74 c 0.0s | 0 | 0 | 0 | 332 0 | 31 | 8
2.69/2.74 c 0.0s | 0 | 31 | 0 | 332 0 | 31 | 9
2.69/2.74 c #cpu_time = 0.001s
2.69/2.74 c #wall_clock_time = 0.001s
2.69/2.74 c #decision = 31
2.69/2.74 c #random_decision = 0
2.69/2.74 c #conflict = 0
2.69/2.74 c #restart = 0
2.69/2.74 c BCD2: found a new core of size 6: cost of the new core is >=1
2.69/2.74 c lower bound updated to 28
2.69/2.74 c BCD2: 28 <= obj <= 95
2.69/2.74 c BCD2: #cores=19, #unrelaxed=51, #relaxed=145, #hardened=0
2.69/2.74 c BCD2: #sat=1 #unsat=29 bias=29/30
2.69/2.74 c Solving starts ...
2.69/2.74 c ============================[ Search Statistics ]============================
2.69/2.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.74 c | | | | Limit GC | Var | Constra
2.69/2.74 c =============================================================================
2.69/2.74 c 0.0s | 0 | 0 | 0 | 332 0 | 31 | 9
2.69/2.74 c 0.0s | 0 | 32 | 1 | 332 0 | 31 | 9
2.69/2.74 c #cpu_time = 0.001s
2.69/2.74 c #wall_clock_time = 0.001s
2.69/2.74 c #decision = 32
2.69/2.74 c #random_decision = 0
2.69/2.74 c #conflict = 1
2.69/2.74 c #restart = 0
2.69/2.74 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 11: cost of the new core is >=2
2.69/2.74 c lower bound updated to 29
2.69/2.74 c BCD2: 29 <= obj <= 95
2.69/2.74 c BCD2: #cores=19, #unrelaxed=46, #relaxed=150, #hardened=0
2.69/2.74 c BCD2: #sat=1 #unsat=30 bias=30/31
2.69/2.74 c Solving starts ...
2.69/2.74 c ============================[ Search Statistics ]============================
2.69/2.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.74 c | | | | Limit GC | Var | Constra
2.69/2.74 c =============================================================================
2.69/2.74 c 0.0s | 0 | 0 | 0 | 332 0 | 32 | 9
2.69/2.74 c 0.0s | 0 | 28 | 0 | 332 0 | 32 | 10
2.69/2.74 c #cpu_time = 0.001s
2.69/2.74 c #wall_clock_time = 0.001s
2.69/2.74 c #decision = 28
2.69/2.74 c #random_decision = 0
2.69/2.74 c #conflict = 0
2.69/2.74 c #restart = 0
2.69/2.74 c BCD2: found a new core of size 1: cost of the new core is >=1
2.69/2.74 c lower bound updated to 30
2.69/2.74 c BCD2: 30 <= obj <= 95
2.69/2.74 c BCD2: #cores=20, #unrelaxed=45, #relaxed=151, #hardened=0
2.69/2.74 c BCD2: #sat=1 #unsat=31 bias=31/32
2.69/2.74 c Solving starts ...
2.69/2.74 c ============================[ Search Statistics ]============================
2.69/2.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.74 c | | | | Limit GC | Var | Constra
2.69/2.74 c =============================================================================
2.69/2.74 c 0.0s | 0 | 0 | 0 | 332 0 | 32 | 10
2.69/2.74 c 0.0s | 0 | 33 | 0 | 332 0 | 32 | 10
2.69/2.74 c #cpu_time = 0.001s
2.69/2.74 c #wall_clock_time = 0.001s
2.69/2.74 c #decision = 33
2.69/2.74 c #random_decision = 0
2.69/2.74 c #conflict = 0
2.69/2.74 c #restart = 0
2.69/2.74 c BCD2: found a new core of size 5: cost of the new core is >=1
2.69/2.74 c lower bound updated to 31
2.69/2.74 c BCD2: 31 <= obj <= 95
2.69/2.74 c BCD2: #cores=21, #unrelaxed=40, #relaxed=156, #hardened=0
2.69/2.74 c BCD2: #sat=1 #unsat=32 bias=32/33
2.69/2.74 c Solving starts ...
2.69/2.74 c ============================[ Search Statistics ]============================
2.69/2.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.74 c | | | | Limit GC | Var | Constra
2.69/2.74 c =============================================================================
2.69/2.74 c 0.0s | 0 | 0 | 0 | 332 0 | 32 | 10
2.69/2.74 c 0.0s | 0 | 34 | 1 | 332 0 | 32 | 10
2.69/2.74 c #cpu_time = 0.001s
2.69/2.74 c #wall_clock_time = 0.001s
2.69/2.74 c #decision = 34
2.69/2.74 c #random_decision = 0
2.69/2.74 c #conflict = 1
2.69/2.74 c #restart = 0
2.69/2.74 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 9: cost of the new core is >=2
2.69/2.74 c lower bound updated to 32
2.69/2.74 c BCD2: 32 <= obj <= 95
2.69/2.74 c BCD2: #cores=21, #unrelaxed=36, #relaxed=160, #hardened=0
2.69/2.74 c BCD2: #sat=1 #unsat=33 bias=33/34
2.69/2.74 c Solving starts ...
2.69/2.74 c ============================[ Search Statistics ]============================
2.69/2.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.74 c | | | | Limit GC | Var | Constra
2.69/2.74 c =============================================================================
2.69/2.74 c 0.0s | 0 | 0 | 0 | 332 0 | 33 | 10
2.69/2.75 c 0.0s | 0 | 32 | 0 | 332 0 | 33 | 11
2.69/2.75 c #cpu_time = 0.001s
2.69/2.75 c #wall_clock_time = 0.001s
2.69/2.75 c #decision = 32
2.69/2.75 c #random_decision = 0
2.69/2.75 c #conflict = 0
2.69/2.75 c #restart = 0
2.69/2.75 c BCD2: found a new core of size 1: cost of the new core is >=1
2.69/2.75 c lower bound updated to 33
2.69/2.75 c BCD2: 33 <= obj <= 95
2.69/2.75 c BCD2: #cores=22, #unrelaxed=35, #relaxed=161, #hardened=0
2.69/2.75 c BCD2: #sat=1 #unsat=34 bias=34/35
2.69/2.75 c Solving starts ...
2.69/2.75 c ============================[ Search Statistics ]============================
2.69/2.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.75 c | | | | Limit GC | Var | Constra
2.69/2.75 c =============================================================================
2.69/2.75 c 0.0s | 0 | 0 | 0 | 332 0 | 33 | 11
2.69/2.75 c 0.0s | 0 | 33 | 0 | 332 0 | 33 | 11
2.69/2.75 c #cpu_time = 0.001s
2.69/2.75 c #wall_clock_time = 0.001s
2.69/2.75 c #decision = 33
2.69/2.75 c #random_decision = 0
2.69/2.75 c #conflict = 0
2.69/2.75 c #restart = 0
2.69/2.75 c BCD2: found a new core of size 1: cost of the new core is >=1
2.69/2.75 c lower bound updated to 34
2.69/2.75 c BCD2: 34 <= obj <= 95
2.69/2.75 c BCD2: #cores=23, #unrelaxed=34, #relaxed=162, #hardened=0
2.69/2.75 c BCD2: #sat=1 #unsat=35 bias=35/36
2.69/2.75 c Solving starts ...
2.69/2.75 c ============================[ Search Statistics ]============================
2.69/2.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.75 c | | | | Limit GC | Var | Constra
2.69/2.75 c =============================================================================
2.69/2.75 c 0.0s | 0 | 0 | 0 | 332 0 | 33 | 11
2.69/2.75 c 0.0s | 0 | 34 | 0 | 332 0 | 33 | 11
2.69/2.75 c #cpu_time = 0.001s
2.69/2.75 c #wall_clock_time = 0.001s
2.69/2.75 c #decision = 34
2.69/2.75 c #random_decision = 0
2.69/2.75 c #conflict = 0
2.69/2.75 c #restart = 0
2.69/2.75 c BCD2: found a new core of size 1: cost of the new core is >=1
2.69/2.75 c lower bound updated to 35
2.69/2.75 c BCD2: 35 <= obj <= 95
2.69/2.75 c BCD2: #cores=24, #unrelaxed=33, #relaxed=163, #hardened=0
2.69/2.75 c BCD2: #sat=1 #unsat=36 bias=36/37
2.69/2.75 c Solving starts ...
2.69/2.75 c ============================[ Search Statistics ]============================
2.69/2.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.75 c | | | | Limit GC | Var | Constra
2.69/2.75 c =============================================================================
2.69/2.75 c 0.0s | 0 | 0 | 0 | 332 0 | 33 | 11
2.69/2.75 c 0.0s | 0 | 41 | 0 | 332 0 | 33 | 11
2.69/2.75 c #cpu_time = 0.001s
2.69/2.75 c #wall_clock_time = 0.001s
2.69/2.75 c #decision = 41
2.69/2.75 c #random_decision = 0
2.69/2.75 c #conflict = 0
2.69/2.75 c #restart = 0
2.69/2.75 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 6: cost of the new core is >=2
2.69/2.75 c lower bound updated to 36
2.69/2.75 c BCD2: 36 <= obj <= 95
2.69/2.75 c BCD2: #cores=24, #unrelaxed=29, #relaxed=167, #hardened=0
2.69/2.75 c BCD2: #sat=1 #unsat=37 bias=37/38
2.69/2.75 c Solving starts ...
2.69/2.75 c ============================[ Search Statistics ]============================
2.69/2.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.75 c | | | | Limit GC | Var | Constra
2.69/2.75 c =============================================================================
2.69/2.75 c 0.0s | 0 | 0 | 0 | 332 0 | 34 | 11
2.69/2.75 c 0.0s | 0 | 39 | 0 | 332 0 | 34 | 12
2.69/2.75 c #cpu_time = 0.001s
2.69/2.75 c #wall_clock_time = 0.001s
2.69/2.75 c #decision = 39
2.69/2.75 c #random_decision = 0
2.69/2.75 c #conflict = 0
2.69/2.75 c #restart = 0
2.69/2.75 c BCD2: found a new core of size 3: cost of the new core is >=1
2.69/2.75 c lower bound updated to 37
2.69/2.75 c BCD2: 37 <= obj <= 95
2.69/2.75 c BCD2: #cores=25, #unrelaxed=26, #relaxed=170, #hardened=0
2.69/2.75 c BCD2: #sat=1 #unsat=38 bias=38/39
2.69/2.75 c Solving starts ...
2.69/2.75 c ============================[ Search Statistics ]============================
2.69/2.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.75 c | | | | Limit GC | Var | Constra
2.69/2.75 c =============================================================================
2.69/2.75 c 0.0s | 0 | 0 | 0 | 332 0 | 34 | 12
2.69/2.75 c 0.0s | 0 | 38 | 0 | 332 0 | 34 | 12
2.69/2.75 c #cpu_time = 0.001s
2.69/2.75 c #wall_clock_time = 0.001s
2.69/2.75 c #decision = 38
2.69/2.75 c #random_decision = 0
2.69/2.75 c #conflict = 0
2.69/2.75 c #restart = 0
2.69/2.75 c BCD2: found a new core of size 1: cost of the new core is >=1
2.69/2.75 c lower bound updated to 38
2.69/2.75 c BCD2: 38 <= obj <= 95
2.69/2.75 c BCD2: #cores=26, #unrelaxed=25, #relaxed=171, #hardened=0
2.69/2.75 c BCD2: #sat=1 #unsat=39 bias=39/40
2.69/2.75 c Solving starts ...
2.69/2.75 c ============================[ Search Statistics ]============================
2.69/2.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.75 c | | | | Limit GC | Var | Constra
2.69/2.75 c =============================================================================
2.69/2.75 c 0.0s | 0 | 0 | 0 | 332 0 | 34 | 12
2.69/2.75 c 0.0s | 0 | 39 | 0 | 332 0 | 34 | 12
2.69/2.75 c #cpu_time = 0.001s
2.69/2.75 c #wall_clock_time = 0.001s
2.69/2.75 c #decision = 39
2.69/2.75 c #random_decision = 0
2.69/2.75 c #conflict = 0
2.69/2.75 c #restart = 0
2.69/2.75 c BCD2: found a new core of size 1: cost of the new core is >=1
2.69/2.75 c lower bound updated to 39
2.69/2.75 c BCD2: 39 <= obj <= 95
2.69/2.75 c BCD2: #cores=27, #unrelaxed=24, #relaxed=172, #hardened=0
2.69/2.75 c BCD2: #sat=1 #unsat=40 bias=40/41
2.69/2.75 c Solving starts ...
2.69/2.75 c ============================[ Search Statistics ]============================
2.69/2.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.75 c | | | | Limit GC | Var | Constra
2.69/2.75 c =============================================================================
2.69/2.75 c 0.0s | 0 | 0 | 0 | 332 0 | 34 | 12
2.69/2.75 c 0.0s | 0 | 99 | 12 | 332 0 | 34 | 12
2.69/2.75 c #cpu_time = 0.002s
2.69/2.75 c #wall_clock_time = 0.002s
2.69/2.75 c #decision = 99
2.69/2.75 c #random_decision = 0
2.69/2.75 c #conflict = 12
2.69/2.75 c #restart = 0
2.69/2.75 c BCD2: relaxing 8 and merging with 4 cores into a new core of size 37: cost of the new core is >=7
2.69/2.75 c lower bound updated to 40
2.69/2.75 c BCD2: 40 <= obj <= 95
2.69/2.75 c BCD2: #cores=24, #unrelaxed=16, #relaxed=180, #hardened=0
2.69/2.75 c BCD2: #sat=1 #unsat=41 bias=41/42
2.69/2.75 c Solving starts ...
2.69/2.75 c ============================[ Search Statistics ]============================
2.69/2.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.75 c | | | | Limit GC | Var | Constra
2.69/2.75 c =============================================================================
2.69/2.75 c 0.0s | 0 | 0 | 0 | 332 0 | 38 | 12
2.69/2.77 c 0.0s | 1 | 170 | 100 | 332 0 | 38 | 16
2.69/2.78 c 0.0s | 2 | 394 | 250 | 332 1 | 38 | 16
2.69/2.79 c 0.0s | 2 | 659 | 381 | 332 1 | 39 | 17
2.69/2.79 c #cpu_time = 0.036s
2.69/2.79 c #wall_clock_time = 0.036s
2.69/2.79 c #decision = 659
2.69/2.79 c #random_decision = 2
2.69/2.79 c #conflict = 381
2.69/2.79 c #restart = 2
2.69/2.79 c BCD2: updating lower bound of a core
2.69/2.79 c lower bound updated to 45
2.69/2.79 c BCD2: 45 <= obj <= 95
2.69/2.79 c BCD2: #cores=24, #unrelaxed=16, #relaxed=180, #hardened=0
2.69/2.79 c BCD2: #sat=1 #unsat=42 bias=42/43
2.69/2.79 c Solving starts ...
2.69/2.79 c ============================[ Search Statistics ]============================
2.69/2.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.69/2.79 c | | | | Limit GC | Var | Constra
2.69/2.79 c =============================================================================
2.69/2.79 c 0.0s | 0 | 0 | 0 | 332 0 | 39 | 18
2.69/2.79 c 0.0s | 1 | 143 | 100 | 332 0 | 39 | 18
2.79/2.80 c 0.0s | 1 | 268 | 175 | 332 0 | 39 | 18
2.79/2.80 c #cpu_time = 0.009s
2.79/2.80 c #wall_clock_time = 0.009s
2.79/2.80 c #decision = 268
2.79/2.80 c #random_decision = 0
2.79/2.80 c #conflict = 175
2.79/2.80 c #restart = 1
2.79/2.80 c BCD2: relaxing 1 and merging with 3 cores into a new core of size 37: cost of the new core is >=13
2.79/2.80 c lower bound updated to 46
2.79/2.80 c BCD2: 46 <= obj <= 95
2.79/2.80 c BCD2: #cores=22, #unrelaxed=15, #relaxed=181, #hardened=0
2.79/2.80 c BCD2: #sat=1 #unsat=43 bias=43/44
2.79/2.80 c Solving starts ...
2.79/2.80 c ============================[ Search Statistics ]============================
2.79/2.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.79/2.80 c | | | | Limit GC | Var | Constra
2.79/2.80 c =============================================================================
2.79/2.80 c 0.0s | 0 | 0 | 0 | 332 0 | 42 | 18
2.79/2.81 c 0.0s | 1 | 158 | 100 | 332 0 | 42 | 21
2.79/2.82 c 0.0s | 2 | 418 | 250 | 332 1 | 42 | 21
2.79/2.83 c 0.0s | 3 | 788 | 475 | 332 2 | 42 | 21
2.79/2.85 c 0.1s | 4 | 1355 | 813 | 332 3 | 42 | 21
2.79/2.89 c 0.1s | 5 | 2140 | 1320 | 332 6 | 42 | 21
2.89/2.93 c 0.1s | 5 | 3186 | 2067 | 332 10 | 42 | 21
2.89/2.93 c #cpu_time = 0.128s
2.89/2.93 c #wall_clock_time = 0.128s
2.89/2.93 c #decision = 3186
2.89/2.93 c #random_decision = 19
2.89/2.93 c #conflict = 2067
2.89/2.93 c #restart = 5
2.89/2.93 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 12: cost of the new core is >=3
2.89/2.93 c lower bound updated to 47
2.89/2.93 c BCD2: 47 <= obj <= 95
2.89/2.93 c BCD2: #cores=22, #unrelaxed=14, #relaxed=182, #hardened=0
2.89/2.93 c BCD2: #sat=1 #unsat=44 bias=44/45
2.89/2.93 c Solving starts ...
2.89/2.93 c ============================[ Search Statistics ]============================
2.89/2.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.89/2.93 c | | | | Limit GC | Var | Constra
2.89/2.93 c =============================================================================
2.89/2.93 c 0.0s | 0 | 0 | 0 | 332 0 | 43 | 21
2.89/2.94 c 0.0s | 1 | 155 | 100 | 332 0 | 43 | 22
2.89/2.95 c 0.0s | 2 | 393 | 250 | 332 0 | 43 | 22
2.89/2.95 c 0.0s | 2 | 466 | 280 | 332 0 | 43 | 22
2.89/2.95 c #cpu_time = 0.023s
2.89/2.95 c #wall_clock_time = 0.023s
2.89/2.95 c #decision = 466
2.89/2.95 c #random_decision = 0
2.89/2.95 c #conflict = 280
2.89/2.95 c #restart = 2
2.89/2.95 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 12: cost of the new core is >=3
2.89/2.95 c lower bound updated to 48
2.89/2.95 c BCD2: 48 <= obj <= 95
2.89/2.95 c BCD2: #cores=22, #unrelaxed=13, #relaxed=183, #hardened=0
2.89/2.95 c BCD2: #sat=1 #unsat=45 bias=45/46
2.89/2.95 c Solving starts ...
2.89/2.95 c ============================[ Search Statistics ]============================
2.89/2.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.89/2.95 c | | | | Limit GC | Var | Constra
2.89/2.95 c =============================================================================
2.89/2.95 c 0.0s | 0 | 0 | 0 | 332 0 | 44 | 22
2.89/2.96 c 0.0s | 1 | 129 | 100 | 332 0 | 44 | 23
2.89/2.96 c 0.0s | 2 | 305 | 250 | 332 0 | 44 | 23
2.89/2.97 c 0.0s | 2 | 573 | 468 | 332 1 | 45 | 24
2.89/2.97 c #cpu_time = 0.019s
2.89/2.97 c #wall_clock_time = 0.019s
2.89/2.97 c #decision = 573
2.89/2.97 c #random_decision = 2
2.89/2.97 c #conflict = 468
2.89/2.97 c #restart = 2
2.89/2.97 c BCD2: updating lower bound of a core
2.89/2.97 c lower bound updated to 52
2.89/2.97 c BCD2: 52 <= obj <= 95
2.89/2.97 c BCD2: #cores=22, #unrelaxed=13, #relaxed=183, #hardened=0
2.89/2.97 c BCD2: #sat=1 #unsat=46 bias=46/47
2.89/2.97 c Solving starts ...
2.89/2.97 c ============================[ Search Statistics ]============================
2.89/2.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
2.89/2.97 c | | | | Limit GC | Var | Constra
2.89/2.97 c =============================================================================
2.89/2.97 c 0.0s | 0 | 0 | 0 | 332 0 | 45 | 25
2.89/2.98 c 0.0s | 1 | 163 | 100 | 332 0 | 45 | 25
2.99/3.00 c 0.0s | 2 | 383 | 250 | 332 0 | 45 | 25
2.99/3.03 c 0.1s | 3 | 739 | 475 | 332 1 | 45 | 25
2.99/3.07 c 0.1s | 4 | 1165 | 813 | 332 2 | 45 | 25
3.09/3.15 c 0.2s | 5 | 1768 | 1320 | 332 5 | 45 | 25
3.19/3.26 c 0.3s | 6 | 2661 | 2081 | 366 8 | 45 | 25
3.40/3.41 c 0.4s | 7 | 3959 | 3223 | 366 13 | 45 | 25
3.59/3.65 c 0.7s | 8 | 5897 | 4936 | 366 20 | 45 | 25
3.89/3.90 c 0.9s | 9 | 9246 | 7506 | 366 31 | 45 | 25
4.09/4.18 c 1.2s | 10 | 15214 | 11361 | 366 49 | 45 | 25
4.59/4.64 c 1.7s | 11 | 23786 | 17144 | 403 73 | 45 | 25
5.39/5.42 c 2.4s | 12 | 35878 | 25819 | 403 109 | 45 | 25
6.49/6.52 c 3.5s | 13 | 53526 | 38832 | 444 160 | 45 | 25
8.19/8.26 c 5.3s | 14 | 80302 | 58352 | 444 234 | 45 | 25
8.90/8.99 c 6.0s | 14 | 94969 | 68376 | 489 270 | 46 | 26
8.90/8.99 c #cpu_time = 6.019s
8.90/8.99 c #wall_clock_time = 6.019s
8.90/8.99 c #decision = 94969
8.90/8.99 c #random_decision = 361
8.90/8.99 c #conflict = 68376
8.90/8.99 c #restart = 14
8.90/8.99 c BCD2: updating lower bound of a core
8.90/8.99 c lower bound updated to 57
8.90/8.99 c BCD2: 57 <= obj <= 95
8.90/8.99 c BCD2: #cores=22, #unrelaxed=13, #relaxed=183, #hardened=0
8.90/8.99 c BCD2: #sat=1 #unsat=47 bias=47/48
8.90/8.99 c Solving starts ...
8.90/8.99 c ============================[ Search Statistics ]============================
8.90/8.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
8.90/8.99 c | | | | Limit GC | Var | Constra
8.90/8.99 c =============================================================================
8.90/8.99 c 0.0s | 0 | 0 | 0 | 489 0 | 46 | 28
8.99/9.00 c 0.0s | 1 | 159 | 100 | 489 0 | 46 | 28
8.99/9.01 c 0.0s | 2 | 435 | 250 | 489 0 | 46 | 28
8.99/9.02 c 0.0s | 3 | 846 | 475 | 489 0 | 46 | 28
8.99/9.05 c 0.1s | 4 | 1361 | 813 | 489 1 | 46 | 28
8.99/9.08 c 0.1s | 5 | 2102 | 1320 | 489 3 | 46 | 28
9.09/9.14 c 0.1s | 6 | 3381 | 2081 | 489 6 | 46 | 28
9.19/9.23 c 0.2s | 7 | 4921 | 3223 | 489 10 | 46 | 28
9.29/9.38 c 0.4s | 8 | 7695 | 4936 | 489 16 | 46 | 28
9.49/9.58 c 0.6s | 9 | 11806 | 7506 | 489 25 | 46 | 28
9.79/9.90 c 0.9s | 10 | 17888 | 11361 | 489 38 | 46 | 28
10.29/10.39 c 1.4s | 11 | 26165 | 17144 | 489 58 | 46 | 28
11.10/11.15 c 2.2s | 12 | 37485 | 25819 | 489 88 | 46 | 28
12.10/12.18 c 3.2s | 13 | 57582 | 38832 | 538 133 | 46 | 28
13.79/13.84 c 4.8s | 14 | 85374 | 58352 | 538 195 | 46 | 28
15.79/15.84 c 6.8s | 14 | 118296 | 81252 | 538 269 | 46 | 28
16.29/16.33 c 7.3s | 15 | 127628 | 87632 | 538 289 | 46 | 28
18.28/18.33 c 9.3s | 15 | 163333 | 112132 | 592 365 | 46 | 28
18.98/19.00 c 10.0s | 15 | 174159 | 119741 | 592 387 | 46 | 28
18.98/19.00 c #cpu_time = 10.006s
18.98/19.00 c #wall_clock_time = 10.006s
18.98/19.00 c #decision = 174159
18.98/19.00 c #random_decision = 649
18.98/19.00 c #conflict = 119741
18.98/19.00 c #restart = 15
18.98/19.00 c BCD2: relaxing 2 and merging with 11 cores into a new core of size 174: cost of the new core is >=47
18.98/19.00 c lower bound updated to 58
18.98/19.02 c BCD2: 58 <= obj <= 95
18.98/19.02 c BCD2: #cores=12, #unrelaxed=11, #relaxed=185, #hardened=0
18.98/19.02 c BCD2: #sat=1 #unsat=48 bias=48/49
18.98/19.02 c Solving starts ...
18.98/19.02 c ============================[ Search Statistics ]============================
18.98/19.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
18.98/19.02 c | | | | Limit GC | Var | Constra
18.98/19.02 c =============================================================================
18.98/19.02 c 0.0s | 0 | 0 | 0 | 592 0 | 57 | 28
18.98/19.02 c 0.0s | 1 | 139 | 100 | 592 0 | 57 | 39
18.98/19.03 c 0.0s | 2 | 341 | 250 | 592 0 | 57 | 39
18.98/19.06 c 0.1s | 3 | 633 | 475 | 592 0 | 57 | 39
19.08/19.11 c 0.1s | 4 | 1040 | 813 | 592 1 | 57 | 39
19.08/19.18 c 0.2s | 5 | 1614 | 1320 | 592 2 | 57 | 39
19.28/19.30 c 0.3s | 6 | 2522 | 2081 | 592 4 | 57 | 39
19.38/19.47 c 0.5s | 7 | 3850 | 3223 | 592 8 | 57 | 39
19.68/19.72 c 0.7s | 8 | 5862 | 4936 | 592 13 | 57 | 39
19.98/20.07 c 1.1s | 9 | 8885 | 7506 | 592 20 | 57 | 39
20.58/20.61 c 1.6s | 10 | 13347 | 11361 | 592 31 | 57 | 39
21.38/21.46 c 2.5s | 11 | 19876 | 17144 | 592 48 | 57 | 39
22.68/22.72 c 3.7s | 12 | 29579 | 25819 | 592 73 | 57 | 39
24.48/24.58 c 5.6s | 13 | 44333 | 38832 | 592 111 | 57 | 39
26.50/26.59 c 7.6s | 13 | 59439 | 52232 | 592 150 | 57 | 39
27.39/27.50 c 8.5s | 14 | 66513 | 58352 | 592 167 | 57 | 39
29.49/29.50 c 10.5s | 14 | 81200 | 71452 | 592 205 | 57 | 39
31.49/31.52 c 12.5s | 14 | 96223 | 84852 | 652 243 | 57 | 39
31.90/31.94 c 12.9s | 15 | 99310 | 87632 | 652 251 | 57 | 39
33.89/33.95 c 14.9s | 15 | 115055 | 101432 | 652 288 | 57 | 39
35.89/35.95 c 17.0s | 15 | 130235 | 114832 | 652 324 | 57 | 39
37.89/37.96 c 19.0s | 15 | 145419 | 128332 | 652 360 | 57 | 39
38.39/38.44 c 19.4s | 16 | 149101 | 131552 | 652 368 | 57 | 39
40.38/40.45 c 21.4s | 16 | 164820 | 144952 | 652 404 | 57 | 39
42.38/42.46 c 23.5s | 16 | 180142 | 158352 | 652 439 | 57 | 39
44.38/44.46 c 25.5s | 16 | 195555 | 171652 | 652 475 | 57 | 39
46.38/46.47 c 27.5s | 16 | 210756 | 184952 | 652 510 | 57 | 39
48.28/48.33 c 29.3s | 17 | 225356 | 197432 | 652 544 | 57 | 39
50.28/50.33 c 31.3s | 17 | 241133 | 211132 | 652 580 | 57 | 39
52.28/52.34 c 33.3s | 17 | 256731 | 224732 | 652 616 | 57 | 39
54.28/54.35 c 35.4s | 17 | 271052 | 237432 | 718 647 | 57 | 39
56.28/56.35 c 37.4s | 17 | 285298 | 250232 | 718 678 | 57 | 39
58.28/58.36 c 39.4s | 17 | 300064 | 263232 | 718 710 | 57 | 39
60.28/60.37 c 41.4s | 17 | 315286 | 276432 | 718 743 | 57 | 39
62.28/62.37 c 43.4s | 17 | 329447 | 289032 | 718 774 | 57 | 39
63.38/63.49 c 44.5s | 18 | 337541 | 296252 | 718 791 | 57 | 39
65.48/65.50 c 46.5s | 18 | 352861 | 309552 | 718 824 | 57 | 39
67.47/67.50 c 48.5s | 18 | 367610 | 322552 | 718 856 | 57 | 39
69.47/69.51 c 50.5s | 18 | 381648 | 334952 | 718 886 | 57 | 39
71.49/71.52 c 52.5s | 18 | 395345 | 347252 | 718 916 | 57 | 39
73.48/73.54 c 54.5s | 18 | 408806 | 359352 | 718 945 | 57 | 39
75.48/75.54 c 56.5s | 18 | 422725 | 371652 | 718 975 | 57 | 39
77.48/77.54 c 58.5s | 18 | 436687 | 383752 | 718 1005 | 57 | 39
79.48/79.55 c 60.6s | 18 | 450767 | 395952 | 718 1035 | 57 | 39
81.49/81.57 c 62.6s | 18 | 464891 | 408352 | 718 1065 | 57 | 39
83.48/83.58 c 64.6s | 18 | 478552 | 420352 | 718 1094 | 57 | 39
85.48/85.58 c 66.6s | 18 | 492245 | 432452 | 718 1123 | 57 | 39
87.48/87.56 c 68.6s | 19 | 505672 | 444482 | 718 1153 | 57 | 39
89.48/89.56 c 70.6s | 19 | 519498 | 456582 | 790 1181 | 57 | 39
91.48/91.56 c 72.6s | 19 | 532272 | 467882 | 790 1206 | 57 | 39
93.48/93.58 c 74.6s | 19 | 545066 | 479282 | 790 1231 | 57 | 39
95.47/95.59 c 76.6s | 19 | 559160 | 491482 | 790 1258 | 57 | 39
97.57/97.60 c 78.6s | 19 | 573160 | 503782 | 790 1286 | 57 | 39
99.57/99.61 c 80.6s | 19 | 586556 | 515582 | 790 1312 | 57 | 39
101.57/101.61 c 82.6s | 19 | 600400 | 527682 | 790 1339 | 57 | 39
103.57/103.61 c 84.6s | 19 | 613450 | 538982 | 790 1364 | 57 | 39
105.58/105.62 c 86.6s | 19 | 626537 | 550382 | 790 1389 | 57 | 39
107.57/107.63 c 88.6s | 19 | 639639 | 561882 | 790 1415 | 57 | 39
109.57/109.63 c 90.6s | 19 | 652592 | 573382 | 790 1441 | 57 | 39
111.57/111.64 c 92.6s | 19 | 666102 | 585182 | 790 1467 | 57 | 39
113.57/113.64 c 94.6s | 19 | 680040 | 597282 | 790 1494 | 57 | 39
115.58/115.65 c 96.7s | 19 | 694179 | 609382 | 790 1521 | 57 | 39
117.58/117.67 c 98.7s | 19 | 707227 | 620782 | 790 1546 | 57 | 39
119.58/119.67 c 100s | 19 | 720231 | 632182 | 790 1572 | 57 | 39
121.57/121.68 c 102s | 19 | 733634 | 643982 | 790 1599 | 57 | 39
123.67/123.70 c 104s | 19 | 747286 | 655782 | 790 1625 | 57 | 39
125.57/125.62 c 106s | 20 | 759865 | 666827 | 790 1650 | 57 | 39
127.58/127.64 c 108s | 20 | 774006 | 679227 | 790 1677 | 57 | 39
129.57/129.64 c 110s | 20 | 787493 | 691227 | 790 1704 | 57 | 39
131.57/131.64 c 112s | 20 | 800830 | 702927 | 790 1730 | 57 | 39
133.57/133.66 c 114s | 20 | 814769 | 715227 | 790 1758 | 57 | 39
135.57/135.66 c 116s | 20 | 828131 | 727027 | 790 1784 | 57 | 39
137.58/137.68 c 118s | 20 | 841976 | 738927 | 790 1811 | 57 | 39
139.57/139.69 c 120s | 20 | 855335 | 750627 | 790 1837 | 57 | 39
141.67/141.71 c 122s | 20 | 868580 | 762327 | 790 1863 | 57 | 39
143.67/143.73 c 124s | 20 | 882962 | 774527 | 790 1890 | 57 | 39
145.67/145.73 c 126s | 20 | 897220 | 786627 | 870 1915 | 57 | 39
147.67/147.74 c 128s | 20 | 912519 | 799527 | 870 1942 | 57 | 39
149.67/149.75 c 130s | 20 | 926042 | 811527 | 870 1967 | 57 | 39
151.67/151.77 c 132s | 20 | 939643 | 823527 | 870 1991 | 57 | 39
153.67/153.78 c 134s | 20 | 953389 | 835527 | 870 2016 | 57 | 39
155.67/155.79 c 136s | 20 | 966722 | 847227 | 870 2040 | 57 | 39
157.77/157.81 c 138s | 20 | 980384 | 859327 | 870 2065 | 57 | 39
159.76/159.82 c 140s | 20 | 994474 | 871627 | 870 2090 | 57 | 39
161.77/161.83 c 142s | 20 | 1007903 | 883327 | 870 2114 | 57 | 39
163.76/163.83 c 144s | 20 | 1021391 | 895127 | 870 2139 | 57 | 39
165.76/165.84 c 146s | 20 | 1034673 | 906927 | 870 2163 | 57 | 39
167.76/167.84 c 148s | 20 | 1048929 | 919227 | 870 2188 | 57 | 39
169.76/169.86 c 150s | 20 | 1062753 | 931327 | 870 2213 | 57 | 39
171.76/171.87 c 152s | 20 | 1075554 | 942627 | 870 2236 | 57 | 39
173.77/173.87 c 154s | 20 | 1089205 | 954527 | 870 2261 | 57 | 39
175.76/175.88 c 156s | 20 | 1103500 | 967027 | 870 2287 | 57 | 39
177.76/177.89 c 158s | 20 | 1117432 | 979327 | 870 2312 | 57 | 39
179.86/179.90 c 160s | 20 | 1132229 | 992227 | 870 2338 | 57 | 39
181.06/181.16 c 162s | 21 | 1141730 | 1000345 | 870 2355 | 57 | 39
183.06/183.17 c 164s | 21 | 1156657 | 1012945 | 870 2381 | 57 | 39
185.06/185.19 c 166s | 21 | 1171156 | 1025345 | 870 2406 | 57 | 39
187.17/187.20 c 168s | 21 | 1185310 | 1037545 | 870 2432 | 57 | 39
189.07/189.20 c 170s | 21 | 1199096 | 1049545 | 870 2456 | 57 | 39
191.17/191.20 c 172s | 21 | 1212610 | 1061345 | 870 2480 | 57 | 39
193.16/193.21 c 174s | 21 | 1226110 | 1073145 | 870 2505 | 57 | 39
195.16/195.22 c 176s | 21 | 1239264 | 1084845 | 870 2529 | 57 | 39
197.16/197.22 c 178s | 21 | 1252673 | 1096545 | 870 2553 | 57 | 39
199.17/199.23 c 180s | 21 | 1265741 | 1108145 | 870 2577 | 57 | 39
201.16/201.24 c 182s | 21 | 1278515 | 1119245 | 870 2600 | 57 | 39
203.16/203.26 c 184s | 21 | 1291562 | 1130845 | 870 2623 | 57 | 39
205.16/205.27 c 186s | 21 | 1304482 | 1142245 | 870 2647 | 57 | 39
207.16/207.28 c 188s | 21 | 1317871 | 1153845 | 870 2671 | 57 | 39
209.16/209.29 c 190s | 21 | 1330883 | 1165245 | 870 2694 | 57 | 39
211.27/211.30 c 192s | 21 | 1344048 | 1176445 | 870 2717 | 57 | 39
213.26/213.31 c 194s | 21 | 1358022 | 1188145 | 870 2742 | 57 | 39
215.26/215.32 c 196s | 21 | 1371201 | 1199745 | 870 2766 | 57 | 39
217.26/217.33 c 198s | 21 | 1384463 | 1211245 | 870 2790 | 57 | 39
219.26/219.34 c 200s | 21 | 1397496 | 1222745 | 870 2813 | 57 | 39
221.26/221.35 c 202s | 21 | 1412099 | 1235345 | 870 2839 | 57 | 39
223.26/223.35 c 204s | 21 | 1425364 | 1247045 | 870 2863 | 57 | 39
225.25/225.36 c 206s | 21 | 1438499 | 1258645 | 870 2887 | 57 | 39
227.25/227.37 c 208s | 21 | 1452578 | 1270945 | 870 2913 | 57 | 39
229.25/229.38 c 210s | 21 | 1465695 | 1282445 | 958 2936 | 57 | 39
231.25/231.39 c 212s | 21 | 1479029 | 1293945 | 958 2958 | 57 | 39
233.35/233.41 c 214s | 21 | 1491461 | 1304945 | 958 2978 | 57 | 39
235.36/235.42 c 216s | 21 | 1503717 | 1315645 | 958 2999 | 57 | 39
237.35/237.43 c 218s | 21 | 1517415 | 1327545 | 958 3021 | 57 | 39
239.35/239.45 c 220s | 21 | 1530148 | 1338545 | 958 3042 | 57 | 39
241.36/241.45 c 222s | 21 | 1543442 | 1350045 | 958 3063 | 57 | 39
243.36/243.45 c 224s | 21 | 1556617 | 1361545 | 958 3085 | 57 | 39
245.36/245.47 c 226s | 21 | 1570009 | 1373145 | 958 3107 | 57 | 39
247.36/247.47 c 228s | 21 | 1583099 | 1384545 | 958 3128 | 57 | 39
249.36/249.48 c 230s | 21 | 1595870 | 1395845 | 958 3150 | 57 | 39
251.36/251.49 c 232s | 21 | 1608370 | 1406845 | 958 3170 | 57 | 39
253.36/253.49 c 234s | 21 | 1620857 | 1417945 | 958 3191 | 57 | 39
255.35/255.49 c 236s | 21 | 1633531 | 1429145 | 958 3213 | 57 | 39
257.46/257.51 c 238s | 21 | 1646164 | 1440245 | 958 3234 | 57 | 39
259.45/259.52 c 240s | 21 | 1659136 | 1451545 | 958 3255 | 57 | 39
261.45/261.54 c 242s | 21 | 1672485 | 1463045 | 958 3277 | 57 | 39
263.45/263.55 c 244s | 21 | 1685970 | 1474545 | 958 3298 | 57 | 39
265.45/265.56 c 246s | 21 | 1699226 | 1485845 | 958 3320 | 57 | 39
267.45/267.57 c 248s | 21 | 1711821 | 1496745 | 958 3340 | 57 | 39
268.15/268.25 c 249s | 22 | 1716324 | 1500622 | 958 3347 | 57 | 39
270.15/270.26 c 251s | 22 | 1730471 | 1512822 | 958 3370 | 57 | 39
272.15/272.27 c 253s | 22 | 1744018 | 1524622 | 958 3393 | 57 | 39
274.15/274.27 c 255s | 22 | 1757788 | 1536322 | 958 3415 | 57 | 39
276.15/276.29 c 257s | 22 | 1771160 | 1547822 | 958 3436 | 57 | 39
278.15/278.29 c 259s | 22 | 1784563 | 1559422 | 958 3458 | 57 | 39
280.15/280.29 c 261s | 22 | 1797492 | 1570822 | 958 3479 | 57 | 39
282.24/282.30 c 263s | 22 | 1810596 | 1582022 | 958 3501 | 57 | 39
284.24/284.31 c 265s | 22 | 1823561 | 1593122 | 958 3521 | 57 | 39
286.24/286.32 c 267s | 22 | 1836502 | 1604322 | 958 3542 | 57 | 39
288.25/288.34 c 269s | 22 | 1850245 | 1616222 | 958 3565 | 57 | 39
290.24/290.36 c 271s | 22 | 1863585 | 1627922 | 958 3586 | 57 | 39
292.23/292.37 c 273s | 22 | 1876778 | 1639422 | 958 3608 | 57 | 39
294.23/294.39 c 275s | 22 | 1889485 | 1650422 | 958 3629 | 57 | 39
296.33/296.41 c 277s | 22 | 1901482 | 1660922 | 958 3648 | 57 | 39
298.34/298.42 c 279s | 22 | 1914408 | 1672222 | 958 3670 | 57 | 39
300.35/300.42 c 281s | 22 | 1928010 | 1684122 | 958 3692 | 57 | 39
302.33/302.42 c 283s | 22 | 1941112 | 1695522 | 958 3713 | 57 | 39
304.33/304.44 c 285s | 22 | 1954221 | 1706822 | 958 3735 | 57 | 39
306.33/306.44 c 287s | 22 | 1966543 | 1717622 | 958 3755 | 57 | 39
308.33/308.44 c 289s | 22 | 1979256 | 1728622 | 958 3776 | 57 | 39
310.33/310.45 c 291s | 22 | 1992509 | 1740122 | 958 3798 | 57 | 39
312.33/312.46 c 293s | 22 | 2005788 | 1751722 | 958 3820 | 57 | 39
314.33/314.47 c 295s | 22 | 2019257 | 1763222 | 958 3841 | 57 | 39
316.33/316.48 c 297s | 22 | 2032138 | 1774422 | 958 3863 | 57 | 39
318.33/318.48 c 299s | 22 | 2045194 | 1785722 | 958 3884 | 57 | 39
320.33/320.49 c 301s | 22 | 2058268 | 1797122 | 958 3905 | 57 | 39
322.42/322.50 c 303s | 22 | 2071779 | 1808922 | 958 3927 | 57 | 39
324.42/324.51 c 305s | 22 | 2085276 | 1820722 | 958 3950 | 57 | 39
326.42/326.52 c 307s | 22 | 2097859 | 1831722 | 958 3970 | 57 | 39
328.42/328.53 c 309s | 22 | 2110685 | 1842622 | 958 3991 | 57 | 39
330.42/330.53 c 311s | 22 | 2123503 | 1853422 | 958 4011 | 57 | 39
332.41/332.54 c 313s | 22 | 2135783 | 1864122 | 958 4031 | 57 | 39
334.42/334.55 c 315s | 22 | 2147736 | 1874622 | 958 4050 | 57 | 39
336.41/336.55 c 317s | 22 | 2160461 | 1885722 | 958 4071 | 57 | 39
338.41/338.57 c 319s | 22 | 2173010 | 1896922 | 958 4092 | 57 | 39
340.41/340.58 c 321s | 22 | 2185217 | 1907622 | 958 4112 | 57 | 39
342.41/342.58 c 323s | 22 | 2197683 | 1918522 | 958 4133 | 57 | 39
344.50/344.60 c 325s | 22 | 2210178 | 1929622 | 958 4154 | 57 | 39
346.51/346.61 c 327s | 22 | 2222751 | 1940722 | 958 4174 | 57 | 39
348.50/348.62 c 329s | 22 | 2234541 | 1951122 | 958 4194 | 57 | 39
350.50/350.63 c 331s | 22 | 2246576 | 1961822 | 958 4214 | 57 | 39
352.50/352.64 c 333s | 22 | 2258715 | 1972322 | 958 4234 | 57 | 39
354.50/354.65 c 335s | 22 | 2271153 | 1983222 | 958 4254 | 57 | 39
356.49/356.66 c 337s | 22 | 2283891 | 1994222 | 958 4275 | 57 | 39
358.51/358.66 c 339s | 22 | 2296304 | 2004822 | 958 4295 | 57 | 39
360.50/360.67 c 341s | 22 | 2309309 | 2016122 | 958 4316 | 57 | 39
362.50/362.67 c 343s | 22 | 2321683 | 2026922 | 1054 4335 | 57 | 39
364.50/364.68 c 345s | 22 | 2334183 | 2037822 | 1054 4354 | 57 | 39
366.50/366.68 c 347s | 22 | 2346124 | 2048422 | 1054 4372 | 57 | 39
368.51/368.69 c 349s | 22 | 2357949 | 2059022 | 1054 4391 | 57 | 39
370.49/370.69 c 351s | 22 | 2369841 | 2069422 | 1054 4408 | 57 | 39
372.49/372.69 c 353s | 22 | 2381940 | 2080022 | 1054 4427 | 57 | 39
374.59/374.71 c 355s | 22 | 2393921 | 2090522 | 1054 4445 | 57 | 39
376.59/376.72 c 357s | 22 | 2405931 | 2101022 | 1054 4463 | 57 | 39
378.59/378.73 c 359s | 22 | 2417811 | 2111322 | 1054 4481 | 57 | 39
380.59/380.74 c 361s | 22 | 2430263 | 2122122 | 1054 4499 | 57 | 39
382.59/382.75 c 363s | 22 | 2443278 | 2133422 | 1054 4519 | 57 | 39
384.59/384.76 c 365s | 22 | 2456758 | 2144922 | 1054 4539 | 57 | 39
386.59/386.78 c 367s | 22 | 2469726 | 2156122 | 1054 4558 | 57 | 39
388.58/388.78 c 369s | 22 | 2483098 | 2167622 | 1054 4578 | 57 | 39
390.58/390.79 c 371s | 22 | 2496177 | 2178922 | 1054 4597 | 57 | 39
392.58/392.80 c 373s | 22 | 2509068 | 2190022 | 1054 4616 | 57 | 39
394.68/394.81 c 375s | 22 | 2522754 | 2201622 | 1054 4636 | 57 | 39
396.68/396.81 c 377s | 22 | 2535579 | 2212722 | 1054 4656 | 57 | 39
398.68/398.82 c 379s | 22 | 2548435 | 2223822 | 1054 4675 | 57 | 39
400.67/400.83 c 381s | 22 | 2561015 | 2234722 | 1054 4694 | 57 | 39
402.67/402.84 c 383s | 22 | 2573667 | 2245622 | 1054 4713 | 57 | 39
403.67/403.83 c 384s | 23 | 2579966 | 2251038 | 1054 4722 | 57 | 39
405.67/405.83 c 386s | 23 | 2592849 | 2262238 | 1054 4741 | 57 | 39
407.67/407.84 c 388s | 23 | 2606096 | 2273738 | 1054 4761 | 57 | 39
409.67/409.85 c 390s | 23 | 2617974 | 2284038 | 1054 4779 | 57 | 39
411.67/411.86 c 392s | 23 | 2630357 | 2294738 | 1054 4797 | 57 | 39
413.67/413.87 c 394s | 23 | 2642454 | 2305238 | 1054 4815 | 57 | 39
415.68/415.88 c 396s | 23 | 2655304 | 2316338 | 1054 4835 | 57 | 39
417.67/417.88 c 398s | 23 | 2668274 | 2327538 | 1054 4854 | 57 | 39
419.77/419.90 c 400s | 23 | 2680639 | 2338438 | 1054 4872 | 57 | 39
421.76/421.92 c 402s | 23 | 2692572 | 2348738 | 1054 4890 | 57 | 39
423.76/423.92 c 404s | 23 | 2705139 | 2359438 | 1054 4909 | 57 | 39
425.76/425.92 c 406s | 23 | 2717929 | 2370438 | 1054 4927 | 57 | 39
427.77/427.93 c 408s | 23 | 2730527 | 2381338 | 1054 4946 | 57 | 39
429.76/429.94 c 410s | 23 | 2742938 | 2392338 | 1054 4965 | 57 | 39
431.76/431.94 c 412s | 23 | 2756013 | 2403538 | 1054 4985 | 57 | 39
433.75/433.95 c 414s | 23 | 2768694 | 2414438 | 1054 5004 | 57 | 39
435.75/435.96 c 416s | 23 | 2780806 | 2425138 | 1054 5022 | 57 | 39
437.76/437.98 c 418s | 23 | 2793185 | 2435838 | 1054 5041 | 57 | 39
439.75/439.99 c 420s | 23 | 2806153 | 2447038 | 1054 5060 | 57 | 39
441.85/442.00 c 423s | 23 | 2818769 | 2458038 | 1054 5079 | 57 | 39
443.85/444.01 c 425s | 23 | 2830933 | 2468638 | 1054 5098 | 57 | 39
445.85/446.01 c 427s | 23 | 2843200 | 2479538 | 1054 5117 | 57 | 39
447.84/448.03 c 429s | 23 | 2854677 | 2489838 | 1054 5134 | 57 | 39
449.85/450.05 c 431s | 23 | 2867104 | 2500738 | 1054 5153 | 57 | 39
451.84/452.06 c 433s | 23 | 2879534 | 2511538 | 1054 5172 | 57 | 39
453.84/454.07 c 435s | 23 | 2890910 | 2521638 | 1054 5189 | 57 | 39
455.85/456.08 c 437s | 23 | 2902856 | 2532238 | 1054 5207 | 57 | 39
457.95/458.10 c 439s | 23 | 2914864 | 2542738 | 1054 5226 | 57 | 39
459.95/460.10 c 441s | 23 | 2927121 | 2553438 | 1054 5244 | 57 | 39
461.95/462.12 c 443s | 23 | 2939936 | 2564438 | 1054 5263 | 57 | 39
463.94/464.13 c 445s | 23 | 2951395 | 2574638 | 1054 5281 | 57 | 39
465.94/466.15 c 447s | 23 | 2962469 | 2584438 | 1054 5297 | 57 | 39
467.94/468.16 c 449s | 23 | 2973642 | 2594338 | 1054 5314 | 57 | 39
469.94/470.16 c 451s | 23 | 2984877 | 2604138 | 1054 5332 | 57 | 39
471.94/472.16 c 453s | 23 | 2996095 | 2614138 | 1054 5349 | 57 | 39
473.95/474.18 c 455s | 23 | 3007180 | 2623838 | 1054 5365 | 57 | 39
475.94/476.19 c 457s | 23 | 3018356 | 2633838 | 1054 5383 | 57 | 39
478.04/478.20 c 459s | 23 | 3030590 | 2644638 | 1054 5401 | 57 | 39
480.04/480.20 c 461s | 23 | 3043249 | 2655638 | 1054 5420 | 57 | 39
482.03/482.21 c 463s | 23 | 3055579 | 2666438 | 1054 5439 | 57 | 39
484.03/484.23 c 465s | 23 | 3068069 | 2677338 | 1054 5457 | 57 | 39
486.04/486.23 c 467s | 23 | 3080592 | 2688338 | 1054 5476 | 57 | 39
488.03/488.25 c 469s | 23 | 3092731 | 2698938 | 1054 5495 | 57 | 39
490.03/490.26 c 471s | 23 | 3104902 | 2709538 | 1054 5513 | 57 | 39
492.03/492.27 c 473s | 23 | 3117525 | 2720338 | 1054 5531 | 57 | 39
494.02/494.28 c 475s | 23 | 3130236 | 2731438 | 1054 5551 | 57 | 39
496.03/496.29 c 477s | 23 | 3142329 | 2742138 | 1054 5569 | 57 | 39
498.02/498.29 c 479s | 23 | 3154888 | 2753138 | 1054 5588 | 57 | 39
500.02/500.30 c 481s | 23 | 3166765 | 2763538 | 1054 5606 | 57 | 39
502.12/502.31 c 483s | 23 | 3179156 | 2774238 | 1054 5624 | 57 | 39
504.11/504.31 c 485s | 23 | 3191502 | 2785038 | 1054 5643 | 57 | 39
506.11/506.33 c 487s | 23 | 3204112 | 2796038 | 1054 5662 | 57 | 39
508.12/508.33 c 489s | 23 | 3216682 | 2807138 | 1054 5681 | 57 | 39
510.12/510.35 c 491s | 23 | 3229718 | 2818438 | 1054 5700 | 57 | 39
512.12/512.36 c 493s | 23 | 3241977 | 2829138 | 1054 5719 | 57 | 39
514.12/514.38 c 495s | 23 | 3254859 | 2840538 | 1054 5738 | 57 | 39
516.12/516.38 c 497s | 23 | 3267841 | 2851638 | 1054 5757 | 57 | 39
518.12/518.39 c 499s | 23 | 3280405 | 2862538 | 1054 5776 | 57 | 39
520.12/520.40 c 501s | 23 | 3292596 | 2873038 | 1054 5794 | 57 | 39
522.21/522.41 c 503s | 23 | 3304104 | 2883238 | 1054 5812 | 57 | 39
524.21/524.41 c 505s | 23 | 3315940 | 2893638 | 1054 5829 | 57 | 39
526.21/526.41 c 507s | 23 | 3328335 | 2904238 | 1054 5848 | 57 | 39
528.21/528.43 c 509s | 23 | 3340772 | 2914938 | 1054 5866 | 57 | 39
530.21/530.45 c 511s | 23 | 3352692 | 2925338 | 1054 5884 | 57 | 39
532.21/532.45 c 513s | 23 | 3364864 | 2935838 | 1054 5902 | 57 | 39
534.20/534.46 c 515s | 23 | 3376469 | 2946038 | 1054 5920 | 57 | 39
536.20/536.47 c 517s | 23 | 3388168 | 2956238 | 1054 5938 | 57 | 39
538.20/538.47 c 519s | 23 | 3400360 | 2966738 | 1054 5956 | 57 | 39
540.20/540.47 c 521s | 23 | 3412716 | 2977438 | 1054 5974 | 57 | 39
542.20/542.48 c 523s | 23 | 3425809 | 2988738 | 1054 5994 | 57 | 39
544.19/544.49 c 525s | 23 | 3438130 | 2999638 | 1054 6013 | 57 | 39
546.29/546.51 c 527s | 23 | 3450208 | 3010238 | 1054 6031 | 57 | 39
548.29/548.51 c 529s | 23 | 3462414 | 3020738 | 1054 6049 | 57 | 39
550.29/550.51 c 531s | 23 | 3475624 | 3032138 | 1054 6068 | 57 | 39
552.29/552.51 c 533s | 23 | 3488207 | 3043038 | 1054 6087 | 57 | 39
554.29/554.52 c 535s | 23 | 3499936 | 3053238 | 1054 6105 | 57 | 39
556.29/556.52 c 537s | 23 | 3512451 | 3064238 | 1054 6124 | 57 | 39
558.29/558.53 c 539s | 23 | 3524860 | 3075138 | 1054 6142 | 57 | 39
560.29/560.55 c 541s | 23 | 3537496 | 3086138 | 1054 6162 | 57 | 39
562.29/562.55 c 543s | 23 | 3550737 | 3097438 | 1054 6181 | 57 | 39
564.29/564.56 c 545s | 23 | 3562817 | 3108038 | 1054 6200 | 57 | 39
566.30/566.57 c 547s | 23 | 3574925 | 3118638 | 1054 6218 | 57 | 39
568.29/568.57 c 549s | 23 | 3586891 | 3129138 | 1054 6236 | 57 | 39
570.29/570.58 c 551s | 23 | 3598857 | 3139538 | 1054 6254 | 57 | 39
572.29/572.59 c 553s | 23 | 3611108 | 3150138 | 1160 6270 | 57 | 39
574.38/574.60 c 555s | 23 | 3622927 | 3160638 | 1160 6287 | 57 | 39
576.38/576.60 c 557s | 23 | 3635306 | 3171438 | 1160 6304 | 57 | 39
578.39/578.61 c 559s | 23 | 3647473 | 3182138 | 1160 6321 | 57 | 39
580.38/580.62 c 561s | 23 | 3659533 | 3192638 | 1160 6338 | 57 | 39
582.38/582.63 c 563s | 23 | 3671830 | 3203338 | 1160 6355 | 57 | 39
584.38/584.64 c 565s | 23 | 3683810 | 3213838 | 1160 6371 | 57 | 39
586.38/586.65 c 567s | 23 | 3696236 | 3224538 | 1160 6388 | 57 | 39
588.38/588.66 c 569s | 23 | 3708156 | 3235038 | 1160 6405 | 57 | 39
590.38/590.67 c 571s | 23 | 3720666 | 3245938 | 1160 6422 | 57 | 39
592.37/592.67 c 573s | 23 | 3732719 | 3256538 | 1160 6439 | 57 | 39
594.37/594.68 c 575s | 23 | 3744081 | 3266538 | 1160 6455 | 57 | 39
596.37/596.69 c 577s | 23 | 3755944 | 3276938 | 1160 6471 | 57 | 39
598.37/598.69 c 579s | 23 | 3768118 | 3287538 | 1160 6488 | 57 | 39
600.47/600.71 c 581s | 23 | 3780270 | 3298038 | 1160 6504 | 57 | 39
602.47/602.73 c 583s | 23 | 3791437 | 3307838 | 1160 6520 | 57 | 39
604.47/604.73 c 585s | 23 | 3803474 | 3318338 | 1160 6536 | 57 | 39
606.46/606.74 c 587s | 23 | 3815417 | 3328738 | 1160 6553 | 57 | 39
608.46/608.74 c 589s | 23 | 3827229 | 3339138 | 1160 6569 | 57 | 39
610.46/610.75 c 591s | 23 | 3839402 | 3349838 | 1160 6586 | 57 | 39
612.47/612.75 c 593s | 23 | 3851463 | 3360538 | 1160 6603 | 57 | 39
614.46/614.76 c 595s | 23 | 3863811 | 3371438 | 1160 6620 | 57 | 39
615.46/615.73 c 596s | 24 | 3869820 | 3376662 | 1160 6628 | 57 | 39
617.47/617.75 c 598s | 24 | 3883230 | 3388062 | 1160 6646 | 57 | 39
619.47/619.75 c 600s | 24 | 3895886 | 3399062 | 1160 6664 | 57 | 39
621.46/621.76 c 602s | 24 | 3908289 | 3409662 | 1160 6680 | 57 | 39
623.47/623.78 c 604s | 24 | 3919393 | 3419462 | 1160 6696 | 57 | 39
625.46/625.78 c 606s | 24 | 3931005 | 3429362 | 1160 6711 | 57 | 39
627.56/627.81 c 608s | 24 | 3942385 | 3439262 | 1160 6727 | 57 | 39
629.56/629.81 c 610s | 24 | 3953330 | 3448962 | 1160 6742 | 57 | 39
631.56/631.82 c 612s | 24 | 3964926 | 3458962 | 1160 6758 | 57 | 39
633.55/633.83 c 614s | 24 | 3976565 | 3469162 | 1160 6774 | 57 | 39
635.56/635.84 c 616s | 24 | 3988193 | 3479362 | 1160 6790 | 57 | 39
637.55/637.85 c 618s | 24 | 4001035 | 3490462 | 1160 6808 | 57 | 39
639.55/639.86 c 620s | 24 | 4012645 | 3500662 | 1160 6824 | 57 | 39
641.55/641.87 c 622s | 24 | 4024572 | 3510962 | 1160 6840 | 57 | 39
643.55/643.88 c 624s | 24 | 4036542 | 3521262 | 1160 6856 | 57 | 39
645.55/645.89 c 626s | 24 | 4048661 | 3531762 | 1160 6873 | 57 | 39
647.65/647.90 c 628s | 24 | 4060619 | 3542162 | 1160 6889 | 57 | 39
649.64/649.92 c 630s | 24 | 4072227 | 3552362 | 1160 6905 | 57 | 39
651.64/651.92 c 632s | 24 | 4083916 | 3562562 | 1160 6921 | 57 | 39
653.65/653.92 c 634s | 24 | 4096162 | 3573162 | 1160 6938 | 57 | 39
655.64/655.93 c 636s | 24 | 4109162 | 3584362 | 1160 6956 | 57 | 39
657.65/657.95 c 638s | 24 | 4121425 | 3595162 | 1160 6973 | 57 | 39
659.64/659.95 c 640s | 24 | 4133575 | 3605762 | 1160 6989 | 57 | 39
661.64/661.97 c 642s | 24 | 4145187 | 3616062 | 1160 7006 | 57 | 39
663.64/663.98 c 644s | 24 | 4156993 | 3626262 | 1160 7022 | 57 | 39
665.74/666.00 c 647s | 24 | 4168423 | 3636362 | 1160 7038 | 57 | 39
667.74/668.02 c 649s | 24 | 4180509 | 3646862 | 1160 7054 | 57 | 39
669.74/670.03 c 651s | 24 | 4192570 | 3657362 | 1160 7071 | 57 | 39
671.74/672.04 c 653s | 24 | 4204120 | 3667562 | 1160 7087 | 57 | 39
673.74/674.06 c 655s | 24 | 4215494 | 3677562 | 1160 7102 | 57 | 39
675.74/676.06 c 657s | 24 | 4227273 | 3687862 | 1160 7119 | 57 | 39
677.74/678.08 c 659s | 24 | 4238703 | 3697962 | 1160 7135 | 57 | 39
679.73/680.09 c 661s | 24 | 4251007 | 3708662 | 1160 7152 | 57 | 39
681.74/682.10 c 663s | 24 | 4263655 | 3719462 | 1160 7169 | 57 | 39
683.83/684.11 c 665s | 24 | 4275617 | 3729762 | 1160 7185 | 57 | 39
685.83/686.13 c 667s | 24 | 4287324 | 3739962 | 1160 7201 | 57 | 39
687.83/688.14 c 669s | 24 | 4299187 | 3750262 | 1160 7217 | 57 | 39
689.83/690.15 c 671s | 24 | 4311052 | 3760662 | 1160 7234 | 57 | 39
691.82/692.17 c 673s | 24 | 4322347 | 3770562 | 1160 7250 | 57 | 39
693.83/694.17 c 675s | 24 | 4334338 | 3780962 | 1160 7266 | 57 | 39
695.82/696.18 c 677s | 24 | 4346969 | 3791762 | 1160 7283 | 57 | 39
697.82/698.19 c 679s | 24 | 4358560 | 3802062 | 1160 7299 | 57 | 39
699.92/700.21 c 681s | 24 | 4369808 | 3812062 | 1160 7315 | 57 | 39
701.92/702.22 c 683s | 24 | 4380900 | 3821862 | 1160 7330 | 57 | 39
703.92/704.22 c 685s | 24 | 4391696 | 3831462 | 1160 7345 | 57 | 39
705.92/706.22 c 687s | 24 | 4403532 | 3841862 | 1160 7362 | 57 | 39
707.91/708.23 c 689s | 24 | 4414891 | 3851962 | 1160 7378 | 57 | 39
709.91/710.26 c 691s | 24 | 4426593 | 3862262 | 1160 7394 | 57 | 39
711.91/712.26 c 693s | 24 | 4438248 | 3872562 | 1160 7410 | 57 | 39
713.91/714.28 c 695s | 24 | 4448920 | 3882162 | 1160 7425 | 57 | 39
715.91/716.28 c 697s | 24 | 4459812 | 3891862 | 1160 7440 | 57 | 39
718.01/718.30 c 699s | 24 | 4470692 | 3901462 | 1160 7455 | 57 | 39
720.01/720.32 c 701s | 24 | 4481663 | 3911262 | 1160 7471 | 57 | 39
722.00/722.32 c 703s | 24 | 4492300 | 3920662 | 1160 7485 | 57 | 39
724.00/724.33 c 705s | 24 | 4502730 | 3930062 | 1160 7500 | 57 | 39
726.00/726.35 c 707s | 24 | 4514213 | 3940162 | 1160 7516 | 57 | 39
728.01/728.36 c 709s | 24 | 4525428 | 3950162 | 1160 7532 | 57 | 39
730.00/730.38 c 711s | 24 | 4537080 | 3960162 | 1160 7548 | 57 | 39
732.00/732.38 c 713s | 24 | 4549139 | 3970562 | 1160 7565 | 57 | 39
733.99/734.38 c 715s | 24 | 4560984 | 3980962 | 1160 7581 | 57 | 39
735.99/736.40 c 717s | 24 | 4572922 | 3991362 | 1160 7597 | 57 | 39
738.09/738.40 c 719s | 24 | 4585154 | 4001962 | 1160 7614 | 57 | 39
740.11/740.42 c 721s | 24 | 4597076 | 4012462 | 1160 7630 | 57 | 39
742.10/742.43 c 723s | 24 | 4609380 | 4023262 | 1160 7647 | 57 | 39
744.10/744.44 c 725s | 24 | 4620866 | 4033462 | 1160 7663 | 57 | 39
746.10/746.44 c 727s | 24 | 4632347 | 4043562 | 1160 7679 | 57 | 39
748.09/748.46 c 729s | 24 | 4643910 | 4053762 | 1160 7695 | 57 | 39
750.09/750.47 c 731s | 24 | 4655406 | 4063862 | 1160 7711 | 57 | 39
752.10/752.48 c 733s | 24 | 4666736 | 4073862 | 1160 7727 | 57 | 39
754.09/754.49 c 735s | 24 | 4677796 | 4083662 | 1160 7742 | 57 | 39
756.19/756.50 c 737s | 24 | 4689320 | 4093862 | 1160 7758 | 57 | 39
758.19/758.50 c 739s | 24 | 4701285 | 4104362 | 1160 7775 | 57 | 39
760.19/760.52 c 741s | 24 | 4713165 | 4114862 | 1160 7791 | 57 | 39
762.19/762.53 c 743s | 24 | 4725546 | 4125762 | 1160 7809 | 57 | 39
764.19/764.54 c 745s | 24 | 4737468 | 4136362 | 1160 7825 | 57 | 39
766.18/766.55 c 747s | 24 | 4749618 | 4147062 | 1160 7842 | 57 | 39
768.18/768.56 c 749s | 24 | 4761493 | 4157562 | 1160 7859 | 57 | 39
770.18/770.57 c 751s | 24 | 4773169 | 4167762 | 1160 7875 | 57 | 39
772.18/772.57 c 753s | 24 | 4785022 | 4178062 | 1160 7891 | 57 | 39
774.18/774.58 c 755s | 24 | 4796737 | 4188462 | 1160 7907 | 57 | 39
776.18/776.59 c 757s | 24 | 4808480 | 4198662 | 1160 7924 | 57 | 39
778.27/778.60 c 759s | 24 | 4819562 | 4208562 | 1160 7939 | 57 | 39
780.27/780.61 c 761s | 24 | 4831284 | 4218862 | 1160 7955 | 57 | 39
782.27/782.61 c 763s | 24 | 4842478 | 4228762 | 1160 7971 | 57 | 39
784.28/784.62 c 765s | 24 | 4853657 | 4238662 | 1160 7986 | 57 | 39
786.29/786.63 c 767s | 24 | 4865058 | 4248662 | 1160 8002 | 57 | 39
788.28/788.64 c 769s | 24 | 4876872 | 4259062 | 1160 8018 | 57 | 39
790.28/790.65 c 771s | 24 | 4888426 | 4269262 | 1160 8035 | 57 | 39
792.27/792.66 c 773s | 24 | 4900525 | 4279762 | 1160 8051 | 57 | 39
794.27/794.69 c 775s | 24 | 4912311 | 4290162 | 1160 8068 | 57 | 39
796.37/796.70 c 777s | 24 | 4924861 | 4301062 | 1160 8085 | 57 | 39
798.37/798.71 c 779s | 24 | 4937229 | 4311862 | 1160 8102 | 57 | 39
800.37/800.73 c 781s | 24 | 4948682 | 4322062 | 1160 8118 | 57 | 39
802.36/802.75 c 783s | 24 | 4959222 | 4331562 | 1160 8133 | 57 | 39
804.36/804.75 c 785s | 24 | 4971204 | 4342062 | 1160 8150 | 57 | 39
806.36/806.76 c 787s | 24 | 4983148 | 4352562 | 1160 8167 | 57 | 39
808.36/808.77 c 789s | 24 | 4994934 | 4363062 | 1160 8183 | 57 | 39
810.37/810.77 c 791s | 24 | 5006659 | 4373362 | 1160 8200 | 57 | 39
812.36/812.78 c 793s | 24 | 5018158 | 4383462 | 1160 8216 | 57 | 39
814.46/814.80 c 795s | 24 | 5029909 | 4393662 | 1160 8232 | 57 | 39
816.45/816.81 c 797s | 24 | 5041221 | 4403562 | 1160 8248 | 57 | 39
818.45/818.83 c 799s | 24 | 5052242 | 4413162 | 1160 8263 | 57 | 39
820.45/820.83 c 801s | 24 | 5063097 | 4422762 | 1160 8278 | 57 | 39
822.46/822.84 c 803s | 24 | 5075359 | 4433562 | 1160 8295 | 57 | 39
824.45/824.85 c 805s | 24 | 5087334 | 4444062 | 1160 8311 | 57 | 39
826.45/826.86 c 807s | 24 | 5099608 | 4454862 | 1160 8328 | 57 | 39
828.45/828.87 c 809s | 24 | 5111415 | 4465262 | 1160 8345 | 57 | 39
830.45/830.88 c 811s | 24 | 5122893 | 4475262 | 1160 8361 | 57 | 39
832.55/832.90 c 813s | 24 | 5134270 | 4485262 | 1160 8376 | 57 | 39
834.56/834.92 c 815s | 24 | 5145559 | 4495062 | 1160 8392 | 57 | 39
836.55/836.93 c 817s | 24 | 5156821 | 4504862 | 1160 8408 | 57 | 39
838.55/838.95 c 819s | 24 | 5169198 | 4515562 | 1160 8425 | 57 | 39
840.54/840.95 c 821s | 24 | 5181184 | 4526062 | 1160 8441 | 57 | 39
842.54/842.95 c 823s | 24 | 5193136 | 4536362 | 1160 8458 | 57 | 39
844.55/844.96 c 825s | 24 | 5204666 | 4546362 | 1160 8474 | 57 | 39
846.54/846.97 c 827s | 24 | 5216297 | 4556562 | 1160 8490 | 57 | 39
848.54/848.99 c 829s | 24 | 5227888 | 4566662 | 1160 8506 | 57 | 39
850.63/851.00 c 832s | 24 | 5239628 | 4576862 | 1160 8522 | 57 | 39
852.63/853.02 c 834s | 24 | 5251579 | 4587262 | 1160 8538 | 57 | 39
854.63/855.02 c 836s | 24 | 5263304 | 4597462 | 1160 8555 | 57 | 39
856.64/857.03 c 838s | 24 | 5275017 | 4607662 | 1160 8571 | 57 | 39
858.63/859.05 c 840s | 24 | 5286883 | 4618062 | 1160 8587 | 57 | 39
860.63/861.06 c 842s | 24 | 5298566 | 4628062 | 1160 8603 | 57 | 39
862.63/863.08 c 844s | 24 | 5310285 | 4638262 | 1160 8619 | 57 | 39
864.63/865.08 c 846s | 24 | 5321167 | 4647862 | 1160 8634 | 57 | 39
866.63/867.09 c 848s | 24 | 5332224 | 4657562 | 1160 8649 | 57 | 39
868.63/869.10 c 850s | 24 | 5343303 | 4667162 | 1160 8665 | 57 | 39
870.72/871.11 c 852s | 24 | 5354534 | 4677062 | 1160 8680 | 57 | 39
872.72/873.12 c 854s | 24 | 5365489 | 4686762 | 1160 8696 | 57 | 39
874.72/875.14 c 856s | 24 | 5376457 | 4696362 | 1160 8711 | 57 | 39
876.72/877.15 c 858s | 24 | 5388292 | 4706662 | 1160 8727 | 57 | 39
878.72/879.17 c 860s | 24 | 5400171 | 4717062 | 1160 8744 | 57 | 39
880.72/881.18 c 862s | 24 | 5412203 | 4727562 | 1160 8761 | 57 | 39
882.81/883.20 c 864s | 24 | 5424434 | 4738262 | 1160 8778 | 57 | 39
884.81/885.22 c 866s | 24 | 5436309 | 4748662 | 1160 8794 | 57 | 39
886.81/887.23 c 868s | 24 | 5447703 | 4758662 | 1160 8810 | 57 | 39
888.81/889.24 c 870s | 24 | 5459086 | 4768662 | 1160 8826 | 57 | 39
890.81/891.25 c 872s | 24 | 5470456 | 4778662 | 1160 8842 | 57 | 39
892.82/893.26 c 874s | 24 | 5481907 | 4788762 | 1160 8858 | 57 | 39
894.81/895.27 c 876s | 24 | 5492780 | 4798462 | 1160 8873 | 57 | 39
896.81/897.29 c 878s | 24 | 5503925 | 4808262 | 1160 8889 | 57 | 39
898.81/899.29 c 880s | 24 | 5514595 | 4817762 | 1276 8903 | 57 | 39
900.80/901.29 c 882s | 24 | 5524980 | 4826862 | 1276 8916 | 57 | 39
902.90/903.31 c 884s | 24 | 5535981 | 4836562 | 1276 8931 | 57 | 39
904.92/905.33 c 886s | 24 | 5547256 | 4846262 | 1276 8945 | 57 | 39
906.91/907.34 c 888s | 24 | 5558534 | 4856062 | 1276 8959 | 57 | 39
908.91/909.34 c 890s | 24 | 5569587 | 4865662 | 1276 8973 | 57 | 39
910.91/911.34 c 892s | 24 | 5580548 | 4875262 | 1276 8987 | 57 | 39
912.91/913.34 c 894s | 24 | 5591536 | 4884962 | 1276 9001 | 57 | 39
914.91/915.36 c 896s | 24 | 5603047 | 4894862 | 1276 9015 | 57 | 39
916.91/917.36 c 898s | 24 | 5613801 | 4904362 | 1276 9029 | 57 | 39
918.90/919.37 c 900s | 24 | 5624908 | 4913962 | 1276 9043 | 57 | 39
920.90/921.38 c 902s | 24 | 5635969 | 4923762 | 1276 9057 | 57 | 39
922.90/923.39 c 904s | 24 | 5647005 | 4933462 | 1276 9071 | 57 | 39
925.00/925.40 c 906s | 24 | 5657903 | 4942962 | 1276 9085 | 57 | 39
927.01/927.41 c 908s | 24 | 5668769 | 4952362 | 1276 9098 | 57 | 39
929.00/929.42 c 910s | 24 | 5679226 | 4961562 | 1276 9112 | 57 | 39
931.00/931.43 c 912s | 24 | 5689738 | 4970762 | 1276 9125 | 57 | 39
933.00/933.45 c 914s | 24 | 5700006 | 4979862 | 1276 9138 | 57 | 39
935.00/935.46 c 916s | 24 | 5710581 | 4989162 | 1276 9152 | 57 | 39
937.00/937.47 c 918s | 24 | 5721068 | 4998362 | 1276 9165 | 57 | 39
939.00/939.48 c 920s | 24 | 5730935 | 5007162 | 1276 9178 | 57 | 39
941.10/941.51 c 922s | 24 | 5741704 | 5016562 | 1276 9192 | 57 | 39
943.10/943.52 c 924s | 24 | 5752070 | 5025762 | 1276 9205 | 57 | 39
945.10/945.53 c 926s | 24 | 5762467 | 5034962 | 1276 9218 | 57 | 39
947.10/947.55 c 928s | 24 | 5773022 | 5044262 | 1276 9232 | 57 | 39
949.10/949.57 c 930s | 24 | 5783210 | 5053262 | 1276 9245 | 57 | 39
951.10/951.59 c 932s | 24 | 5793734 | 5062462 | 1276 9258 | 57 | 39
951.70/952.17 c 933s | 25 | 5796735 | 5065098 | 1276 9262 | 57 | 39
953.70/954.17 c 935s | 25 | 5808697 | 5075498 | 1276 9277 | 57 | 39
955.70/956.19 c 937s | 25 | 5820429 | 5085798 | 1276 9292 | 57 | 39
957.70/958.19 c 939s | 25 | 5831467 | 5095498 | 1276 9306 | 57 | 39
959.69/960.19 c 941s | 25 | 5842480 | 5105098 | 1276 9319 | 57 | 39
961.79/962.21 c 943s | 25 | 5853447 | 5114798 | 1276 9333 | 57 | 39
963.79/964.22 c 945s | 25 | 5865142 | 5124998 | 1276 9348 | 57 | 39
965.79/966.23 c 947s | 25 | 5876499 | 5134998 | 1276 9363 | 57 | 39
967.79/968.25 c 949s | 25 | 5888269 | 5145198 | 1276 9377 | 57 | 39
969.80/970.26 c 951s | 25 | 5899768 | 5155198 | 1276 9392 | 57 | 39
971.79/972.26 c 953s | 25 | 5911496 | 5165398 | 1276 9406 | 57 | 39
973.79/974.27 c 955s | 25 | 5922585 | 5175098 | 1276 9420 | 57 | 39
975.79/976.29 c 957s | 25 | 5934584 | 5185498 | 1276 9435 | 57 | 39
977.79/978.29 c 959s | 25 | 5946434 | 5195698 | 1276 9450 | 57 | 39
979.89/980.30 c 961s | 25 | 5958419 | 5206198 | 1276 9465 | 57 | 39
981.90/982.31 c 963s | 25 | 5970196 | 5216398 | 1276 9480 | 57 | 39
983.89/984.32 c 965s | 25 | 5981771 | 5226598 | 1276 9494 | 57 | 39
985.89/986.33 c 967s | 25 | 5993210 | 5236498 | 1276 9509 | 57 | 39
987.89/988.33 c 969s | 25 | 6004059 | 5245998 | 1276 9522 | 57 | 39
989.89/990.35 c 971s | 25 | 6015535 | 5256098 | 1276 9537 | 57 | 39
991.90/992.35 c 973s | 25 | 6027165 | 5266398 | 1276 9552 | 57 | 39
993.89/994.35 c 975s | 25 | 6039483 | 5277298 | 1276 9568 | 57 | 39
995.89/996.35 c 977s | 25 | 6051116 | 5287598 | 1276 9583 | 57 | 39
997.89/998.35 c 979s | 25 | 6063201 | 5298098 | 1276 9598 | 57 | 39
999.89/1000.36 c 981s | 25 | 6075051 | 5308498 | 1276 9613 | 57 | 39
1001.89/1002.36 c 983s | 25 | 6087006 | 5318998 | 1276 9628 | 57 | 39
1003.90/1004.36 c 985s | 25 | 6099020 | 5329498 | 1276 9643 | 57 | 39
1005.89/1006.37 c 987s | 25 | 6110986 | 5339998 | 1276 9658 | 57 | 39
1007.89/1008.38 c 989s | 25 | 6122938 | 5350498 | 1276 9673 | 57 | 39
1009.89/1010.38 c 991s | 25 | 6134678 | 5360798 | 1276 9688 | 57 | 39
1011.89/1012.38 c 993s | 25 | 6146397 | 5371098 | 1276 9703 | 57 | 39
1013.89/1014.39 c 995s | 25 | 6157641 | 5380998 | 1276 9718 | 57 | 39
1015.89/1016.40 c 997s | 25 | 6169616 | 5391398 | 1276 9733 | 57 | 39
1017.99/1018.42 c 999s | 25 | 6181206 | 5401598 | 1276 9747 | 57 | 39
1019.98/1020.42 c 1001s | 25 | 6192393 | 5411498 | 1276 9762 | 57 | 39
1021.98/1022.44 c 1003s | 25 | 6204046 | 5421798 | 1276 9776 | 57 | 39
1023.98/1024.46 c 1005s | 25 | 6215647 | 5432098 | 1276 9791 | 57 | 39
1025.99/1026.46 c 1007s | 25 | 6227613 | 5442598 | 1276 9807 | 57 | 39
1027.98/1028.48 c 1009s | 25 | 6239728 | 5453098 | 1276 9822 | 57 | 39
1029.98/1030.48 c 1011s | 25 | 6251487 | 5463298 | 1276 9836 | 57 | 39
1031.98/1032.49 c 1013s | 25 | 6263723 | 5473898 | 1276 9852 | 57 | 39
1034.08/1034.51 c 1015s | 25 | 6274712 | 5483598 | 1276 9866 | 57 | 39
1036.08/1036.53 c 1017s | 25 | 6286612 | 5493898 | 1276 9881 | 57 | 39
1038.09/1038.55 c 1019s | 25 | 6298729 | 5504398 | 1276 9896 | 57 | 39
1040.08/1040.55 c 1021s | 25 | 6311107 | 5515298 | 1276 9912 | 57 | 39
1042.08/1042.57 c 1023s | 25 | 6323291 | 5525998 | 1276 9927 | 57 | 39
1044.08/1044.57 c 1025s | 25 | 6334762 | 5536198 | 1276 9942 | 57 | 39
1046.09/1046.58 c 1027s | 25 | 6346275 | 5546398 | 1276 9957 | 57 | 39
1048.08/1048.59 c 1029s | 25 | 6358141 | 5556598 | 1276 9972 | 57 | 39
1050.09/1050.60 c 1031s | 25 | 6370280 | 5567198 | 1276 9987 | 57 | 39
1052.18/1052.61 c 1033s | 25 | 6381640 | 5577198 | 1276 10001 | 57 | 39
1054.18/1054.62 c 1035s | 25 | 6393075 | 5587098 | 1276 10016 | 57 | 39
1056.18/1056.63 c 1037s | 25 | 6404001 | 5596698 | 1276 10029 | 57 | 39
1058.18/1058.65 c 1039s | 25 | 6415291 | 5606498 | 1276 10044 | 57 | 39
1060.18/1060.65 c 1041s | 25 | 6426550 | 5616298 | 1276 10058 | 57 | 39
1062.19/1062.66 c 1043s | 25 | 6437623 | 5625998 | 1276 10072 | 57 | 39
1064.18/1064.68 c 1045s | 25 | 6449561 | 5636298 | 1276 10087 | 57 | 39
1066.18/1066.69 c 1047s | 25 | 6461764 | 5646798 | 1276 10102 | 57 | 39
1068.28/1068.70 c 1049s | 25 | 6473489 | 5657198 | 1276 10117 | 57 | 39
1070.28/1070.71 c 1051s | 25 | 6485209 | 5667498 | 1276 10132 | 57 | 39
1072.28/1072.73 c 1053s | 25 | 6496892 | 5677498 | 1276 10146 | 57 | 39
1074.28/1074.75 c 1055s | 25 | 6508789 | 5687898 | 1276 10162 | 57 | 39
1076.28/1076.76 c 1057s | 25 | 6520545 | 5698098 | 1276 10176 | 57 | 39
1078.28/1078.76 c 1059s | 25 | 6532259 | 5708198 | 1276 10191 | 57 | 39
1080.28/1080.77 c 1061s | 25 | 6543735 | 5718198 | 1276 10205 | 57 | 39
1082.28/1082.78 c 1063s | 25 | 6555241 | 5728298 | 1276 10220 | 57 | 39
1084.28/1084.78 c 1065s | 25 | 6566464 | 5738198 | 1276 10234 | 57 | 39
1086.27/1086.78 c 1067s | 25 | 6578074 | 5748398 | 1276 10249 | 57 | 39
1088.27/1088.79 c 1069s | 25 | 6589780 | 5758598 | 1276 10264 | 57 | 39
1090.37/1090.80 c 1071s | 25 | 6601519 | 5768698 | 1276 10279 | 57 | 39
1092.37/1092.81 c 1073s | 25 | 6613397 | 5778998 | 1276 10293 | 57 | 39
1094.37/1094.83 c 1075s | 25 | 6625118 | 5789198 | 1276 10308 | 57 | 39
1096.38/1096.85 c 1077s | 25 | 6636425 | 5799098 | 1276 10323 | 57 | 39
1098.37/1098.87 c 1079s | 25 | 6648026 | 5809198 | 1276 10337 | 57 | 39
1100.37/1100.87 c 1081s | 25 | 6660032 | 5819598 | 1276 10352 | 57 | 39
1102.37/1102.88 c 1083s | 25 | 6671212 | 5829298 | 1276 10366 | 57 | 39
1104.37/1104.89 c 1085s | 25 | 6682343 | 5838998 | 1276 10380 | 57 | 39
1106.37/1106.89 c 1087s | 25 | 6694473 | 5849698 | 1276 10396 | 57 | 39
1108.48/1108.91 c 1089s | 25 | 6706987 | 5860498 | 1276 10412 | 57 | 39
1110.47/1110.92 c 1091s | 25 | 6718760 | 5870798 | 1276 10427 | 57 | 39
1112.47/1112.92 c 1093s | 25 | 6730227 | 5880798 | 1276 10441 | 57 | 39
1114.47/1114.94 c 1095s | 25 | 6742094 | 5891198 | 1276 10456 | 57 | 39
1116.47/1116.97 c 1097s | 25 | 6753609 | 5901198 | 1276 10470 | 57 | 39
1118.47/1118.97 c 1099s | 25 | 6764460 | 5910598 | 1276 10484 | 57 | 39
1120.47/1120.98 c 1101s | 25 | 6776191 | 5920798 | 1276 10499 | 57 | 39
1122.47/1122.98 c 1103s | 25 | 6788204 | 5931098 | 1276 10514 | 57 | 39
1124.57/1125.00 c 1106s | 25 | 6799318 | 5940798 | 1276 10528 | 57 | 39
1126.56/1127.00 c 1108s | 25 | 6810136 | 5950298 | 1276 10542 | 57 | 39
1128.56/1129.01 c 1110s | 25 | 6822055 | 5960698 | 1276 10557 | 57 | 39
1130.56/1131.02 c 1112s | 25 | 6834223 | 5971298 | 1276 10572 | 57 | 39
1132.57/1133.03 c 1114s | 25 | 6846641 | 5982198 | 1276 10588 | 57 | 39
1134.56/1135.03 c 1116s | 25 | 6858709 | 5992698 | 1276 10603 | 57 | 39
1136.56/1137.05 c 1118s | 25 | 6871071 | 6003398 | 1276 10618 | 57 | 39
1138.56/1139.06 c 1120s | 25 | 6883644 | 6014198 | 1276 10634 | 57 | 39
1140.56/1141.06 c 1122s | 25 | 6895997 | 6024898 | 1276 10649 | 57 | 39
1142.57/1143.07 c 1124s | 25 | 6907704 | 6035098 | 1276 10664 | 57 | 39
1144.56/1145.08 c 1126s | 25 | 6919631 | 6045498 | 1276 10679 | 57 | 39
1146.66/1147.10 c 1128s | 25 | 6932095 | 6056398 | 1276 10694 | 57 | 39
1148.66/1149.12 c 1130s | 25 | 6944766 | 6067498 | 1276 10711 | 57 | 39
1150.66/1151.12 c 1132s | 25 | 6957036 | 6078298 | 1276 10726 | 57 | 39
1152.66/1153.13 c 1134s | 25 | 6969780 | 6089298 | 1276 10742 | 57 | 39
1154.67/1155.14 c 1136s | 25 | 6981362 | 6099598 | 1276 10757 | 57 | 39
1156.66/1157.15 c 1138s | 25 | 6992899 | 6109798 | 1276 10772 | 57 | 39
1158.66/1159.17 c 1140s | 25 | 7003782 | 6119498 | 1276 10786 | 57 | 39
1160.66/1161.18 c 1142s | 25 | 7015153 | 6129598 | 1276 10800 | 57 | 39
1162.66/1163.19 c 1144s | 25 | 7026655 | 6139698 | 1276 10815 | 57 | 39
1164.76/1165.21 c 1146s | 25 | 7037822 | 6149598 | 1276 10829 | 57 | 39
1166.77/1167.22 c 1148s | 25 | 7049273 | 6159698 | 1276 10844 | 57 | 39
1168.76/1169.23 c 1150s | 25 | 7060548 | 6169698 | 1276 10858 | 57 | 39
1170.76/1171.25 c 1152s | 25 | 7071341 | 6179298 | 1276 10872 | 57 | 39
1172.76/1173.26 c 1154s | 25 | 7082681 | 6189198 | 1276 10887 | 57 | 39
1174.76/1175.27 c 1156s | 25 | 7094044 | 6199098 | 1276 10901 | 57 | 39
1176.76/1177.29 c 1158s | 25 | 7105539 | 6209098 | 1276 10915 | 57 | 39
1178.86/1179.31 c 1160s | 25 | 7116641 | 6218698 | 1276 10929 | 57 | 39
1180.86/1181.32 c 1162s | 25 | 7128430 | 6228798 | 1276 10944 | 57 | 39
1182.86/1183.33 c 1164s | 25 | 7139633 | 6238698 | 1276 10958 | 57 | 39
1184.85/1185.34 c 1166s | 25 | 7151308 | 6248898 | 1276 10973 | 57 | 39
1186.85/1187.34 c 1168s | 25 | 7162659 | 6258798 | 1276 10987 | 57 | 39
1188.86/1189.34 c 1170s | 25 | 7173603 | 6268398 | 1276 11001 | 57 | 39
1190.87/1191.34 c 1172s | 25 | 7185103 | 6278498 | 1276 11016 | 57 | 39
1192.86/1193.35 c 1174s | 25 | 7196686 | 6288498 | 1276 11030 | 57 | 39
1194.86/1195.35 c 1176s | 25 | 7208005 | 6298298 | 1276 11045 | 57 | 39
1196.86/1197.37 c 1178s | 25 | 7219522 | 6308398 | 1276 11059 | 57 | 39
1198.86/1199.38 c 1180s | 25 | 7230614 | 6318098 | 1276 11073 | 57 | 39
1200.86/1201.39 c 1182s | 25 | 7241957 | 6327798 | 1276 11087 | 57 | 39
1202.96/1203.41 c 1184s | 25 | 7253388 | 6337698 | 1276 11102 | 57 | 39
1204.96/1205.43 c 1186s | 25 | 7264879 | 6347598 | 1276 11116 | 57 | 39
1206.96/1207.44 c 1188s | 25 | 7276196 | 6357598 | 1276 11130 | 57 | 39
1208.96/1209.45 c 1190s | 25 | 7287860 | 6367798 | 1276 11145 | 57 | 39
1210.96/1211.46 c 1192s | 25 | 7299738 | 6378198 | 1276 11160 | 57 | 39
1212.96/1213.47 c 1194s | 25 | 7311336 | 6388398 | 1276 11175 | 57 | 39
1214.96/1215.48 c 1196s | 25 | 7322892 | 6398498 | 1276 11190 | 57 | 39
1217.06/1217.50 c 1198s | 25 | 7334290 | 6408598 | 1276 11204 | 57 | 39
1219.05/1219.51 c 1200s | 25 | 7345522 | 6418498 | 1276 11219 | 57 | 39
1221.05/1221.53 c 1202s | 25 | 7357458 | 6428798 | 1276 11234 | 57 | 39
1223.05/1223.54 c 1204s | 25 | 7368975 | 6438898 | 1276 11248 | 57 | 39
1225.06/1225.56 c 1206s | 25 | 7380113 | 6448698 | 1276 11262 | 57 | 39
1227.05/1227.57 c 1208s | 25 | 7391330 | 6458598 | 1276 11277 | 57 | 39
1229.05/1229.57 c 1210s | 25 | 7403148 | 6468698 | 1276 11291 | 57 | 39
1231.05/1231.59 c 1212s | 25 | 7414475 | 6478498 | 1276 11305 | 57 | 39
1233.15/1233.60 c 1214s | 25 | 7425469 | 6488098 | 1276 11319 | 57 | 39
1235.15/1235.62 c 1216s | 25 | 7436786 | 6497898 | 1276 11333 | 57 | 39
1237.16/1237.62 c 1218s | 25 | 7448214 | 6507798 | 1276 11348 | 57 | 39
1239.15/1239.63 c 1220s | 25 | 7459175 | 6517398 | 1276 11361 | 57 | 39
1241.15/1241.66 c 1222s | 25 | 7469700 | 6526598 | 1276 11375 | 57 | 39
1243.15/1243.66 c 1224s | 25 | 7480486 | 6535898 | 1276 11388 | 57 | 39
1245.15/1245.68 c 1226s | 25 | 7492034 | 6545898 | 1276 11402 | 57 | 39
1247.15/1247.69 c 1228s | 25 | 7502838 | 6555298 | 1276 11416 | 57 | 39
1249.15/1249.69 c 1230s | 25 | 7514246 | 6565298 | 1276 11430 | 57 | 39
1251.25/1251.70 c 1232s | 25 | 7525340 | 6575198 | 1276 11445 | 57 | 39
1253.25/1253.71 c 1234s | 25 | 7536325 | 6584898 | 1276 11458 | 57 | 39
1255.25/1255.72 c 1236s | 25 | 7547518 | 6594698 | 1276 11473 | 57 | 39
1257.25/1257.72 c 1238s | 25 | 7558930 | 6604598 | 1276 11487 | 57 | 39
1259.24/1259.73 c 1240s | 25 | 7570734 | 6614898 | 1276 11502 | 57 | 39
1261.25/1261.73 c 1242s | 25 | 7581818 | 6624698 | 1276 11516 | 57 | 39
1263.24/1263.74 c 1244s | 25 | 7592777 | 6634198 | 1276 11530 | 57 | 39
1265.24/1265.75 c 1246s | 25 | 7603742 | 6643898 | 1276 11543 | 57 | 39
1267.24/1267.76 c 1248s | 25 | 7615035 | 6653898 | 1276 11558 | 57 | 39
1269.24/1269.76 c 1250s | 25 | 7626442 | 6663998 | 1276 11573 | 57 | 39
1271.25/1271.78 c 1252s | 25 | 7637989 | 6674098 | 1276 11587 | 57 | 39
1273.25/1273.78 c 1254s | 25 | 7649043 | 6683798 | 1276 11601 | 57 | 39
1275.35/1275.80 c 1256s | 25 | 7660306 | 6693598 | 1276 11615 | 57 | 39
1277.35/1277.80 c 1258s | 25 | 7671902 | 6703598 | 1276 11630 | 57 | 39
1279.35/1279.82 c 1260s | 25 | 7683691 | 6713698 | 1276 11644 | 57 | 39
1281.35/1281.82 c 1262s | 25 | 7695183 | 6723798 | 1276 11659 | 57 | 39
1283.35/1283.84 c 1264s | 25 | 7706367 | 6733798 | 1276 11673 | 57 | 39
1285.35/1285.85 c 1266s | 25 | 7718304 | 6744298 | 1276 11688 | 57 | 39
1287.35/1287.86 c 1268s | 25 | 7730289 | 6754798 | 1276 11703 | 57 | 39
1289.35/1289.88 c 1270s | 25 | 7742642 | 6765498 | 1276 11719 | 57 | 39
1291.35/1291.88 c 1272s | 25 | 7755279 | 6776598 | 1276 11735 | 57 | 39
1293.35/1293.89 c 1274s | 25 | 7767475 | 6787298 | 1276 11750 | 57 | 39
1295.35/1295.90 c 1276s | 25 | 7779536 | 6797898 | 1276 11766 | 57 | 39
1297.45/1297.90 c 1278s | 25 | 7791350 | 6808298 | 1276 11781 | 57 | 39
1299.45/1299.91 c 1280s | 25 | 7803073 | 6818598 | 1276 11796 | 57 | 39
1301.45/1301.93 c 1282s | 25 | 7814346 | 6828598 | 1276 11810 | 57 | 39
1303.44/1303.95 c 1284s | 25 | 7825919 | 6838698 | 1276 11825 | 57 | 39
1305.44/1305.95 c 1286s | 25 | 7837299 | 6848798 | 1276 11839 | 57 | 39
1307.45/1307.96 c 1288s | 25 | 7848365 | 6858698 | 1276 11854 | 57 | 39
1309.44/1309.96 c 1290s | 25 | 7860076 | 6868898 | 1276 11868 | 57 | 39
1311.44/1311.97 c 1292s | 25 | 7871912 | 6879198 | 1276 11883 | 57 | 39
1313.44/1313.98 c 1294s | 25 | 7883552 | 6889398 | 1276 11898 | 57 | 39
1315.54/1316.00 c 1296s | 25 | 7895023 | 6899398 | 1276 11912 | 57 | 39
1317.54/1318.01 c 1299s | 25 | 7906290 | 6909398 | 1276 11927 | 57 | 39
1319.55/1320.02 c 1301s | 25 | 7917924 | 6919498 | 1276 11942 | 57 | 39
1321.54/1322.03 c 1303s | 25 | 7929040 | 6929298 | 1276 11956 | 57 | 39
1323.54/1324.04 c 1305s | 25 | 7940705 | 6939398 | 1276 11970 | 57 | 39
1325.54/1326.04 c 1307s | 25 | 7952763 | 6949698 | 1276 11985 | 57 | 39
1327.54/1328.05 c 1309s | 25 | 7964709 | 6959998 | 1276 12000 | 57 | 39
1329.55/1330.07 c 1311s | 25 | 7976758 | 6970298 | 1276 12015 | 57 | 39
1331.54/1332.07 c 1313s | 25 | 7988415 | 6980498 | 1276 12030 | 57 | 39
1333.54/1334.08 c 1315s | 25 | 8000264 | 6990998 | 1276 12045 | 57 | 39
1335.64/1336.10 c 1317s | 25 | 8012424 | 7001598 | 1276 12060 | 57 | 39
1337.64/1338.10 c 1319s | 25 | 8024241 | 7012098 | 1276 12075 | 57 | 39
1339.64/1340.10 c 1321s | 25 | 8036198 | 7022498 | 1276 12090 | 57 | 39
1341.65/1342.12 c 1323s | 25 | 8048230 | 7032998 | 1276 12105 | 57 | 39
1343.64/1344.12 c 1325s | 25 | 8059744 | 7043098 | 1276 12120 | 57 | 39
1345.63/1346.13 c 1327s | 25 | 8070770 | 7052898 | 1276 12134 | 57 | 39
1347.63/1348.14 c 1329s | 25 | 8083107 | 7063498 | 1276 12150 | 57 | 39
1349.63/1350.15 c 1331s | 25 | 8095243 | 7073898 | 1276 12165 | 57 | 39
1351.63/1352.15 c 1333s | 25 | 8106777 | 7083998 | 1276 12179 | 57 | 39
1353.64/1354.15 c 1335s | 25 | 8118140 | 7093898 | 1276 12194 | 57 | 39
1355.63/1356.17 c 1337s | 25 | 8129763 | 7104098 | 1276 12208 | 57 | 39
1357.63/1358.17 c 1339s | 25 | 8140378 | 7113498 | 1276 12222 | 57 | 39
1359.63/1360.18 c 1341s | 25 | 8151767 | 7123498 | 1276 12236 | 57 | 39
1361.63/1362.19 c 1343s | 25 | 8163528 | 7133798 | 1276 12251 | 57 | 39
1363.64/1364.19 c 1345s | 25 | 8174855 | 7143698 | 1276 12266 | 57 | 39
1365.63/1366.19 c 1347s | 25 | 8186176 | 7153698 | 1276 12280 | 57 | 39
1367.73/1368.21 c 1349s | 25 | 8197756 | 7163898 | 1276 12295 | 57 | 39
1369.74/1370.22 c 1351s | 25 | 8209155 | 7173898 | 1276 12310 | 57 | 39
1371.74/1372.22 c 1353s | 25 | 8221068 | 7184198 | 1276 12324 | 57 | 39
1373.74/1374.23 c 1355s | 25 | 8232802 | 7194498 | 1276 12339 | 57 | 39
1375.74/1376.24 c 1357s | 25 | 8244789 | 7204998 | 1276 12355 | 57 | 39
1377.73/1378.25 c 1359s | 25 | 8256714 | 7215398 | 1276 12370 | 57 | 39
1379.73/1380.26 c 1361s | 25 | 8268291 | 7225598 | 1276 12385 | 57 | 39
1381.73/1382.27 c 1363s | 25 | 8279816 | 7235698 | 1276 12399 | 57 | 39
1383.73/1384.28 c 1365s | 25 | 8291104 | 7245698 | 1276 12414 | 57 | 39
1385.73/1386.29 c 1367s | 25 | 8302738 | 7256098 | 1276 12429 | 57 | 39
1387.74/1388.29 c 1369s | 25 | 8314505 | 7266598 | 1276 12444 | 57 | 39
1389.83/1390.31 c 1371s | 25 | 8327124 | 7277598 | 1276 12460 | 57 | 39
1391.83/1392.33 c 1373s | 25 | 8338870 | 7287798 | 1276 12475 | 57 | 39
1393.83/1394.34 c 1375s | 25 | 8350391 | 7297798 | 1276 12489 | 57 | 39
1395.83/1396.35 c 1377s | 25 | 8362229 | 7308098 | 1276 12504 | 57 | 39
1397.83/1398.35 c 1379s | 25 | 8373697 | 7317998 | 1276 12519 | 57 | 39
1399.84/1400.35 c 1381s | 25 | 8385160 | 7328198 | 1276 12533 | 57 | 39
1401.83/1402.36 c 1383s | 25 | 8396367 | 7337898 | 1404 12547 | 57 | 39
1403.83/1404.37 c 1385s | 25 | 8407471 | 7347498 | 1404 12559 | 57 | 39
1405.83/1406.37 c 1387s | 25 | 8418644 | 7357198 | 1404 12572 | 57 | 39
1407.93/1408.40 c 1389s | 25 | 8429714 | 7366998 | 1404 12585 | 57 | 39
1409.93/1410.41 c 1391s | 25 | 8440973 | 7376798 | 1404 12598 | 57 | 39
1411.93/1412.43 c 1393s | 25 | 8452119 | 7386598 | 1404 12611 | 57 | 39
1413.93/1414.43 c 1395s | 25 | 8462934 | 7396098 | 1404 12624 | 57 | 39
1415.93/1416.44 c 1397s | 25 | 8474351 | 7405998 | 1404 12637 | 57 | 39
1417.93/1418.45 c 1399s | 25 | 8485889 | 7416198 | 1404 12651 | 57 | 39
1419.93/1420.47 c 1401s | 25 | 8497985 | 7426798 | 1404 12665 | 57 | 39
1421.93/1422.49 c 1403s | 25 | 8509548 | 7436998 | 1404 12678 | 57 | 39
1424.03/1424.51 c 1405s | 25 | 8520651 | 7446798 | 1404 12691 | 57 | 39
1426.02/1426.51 c 1407s | 25 | 8531581 | 7456398 | 1404 12704 | 57 | 39
1428.02/1428.51 c 1409s | 25 | 8543225 | 7466498 | 1404 12718 | 57 | 39
1430.02/1430.52 c 1411s | 25 | 8554134 | 7476298 | 1404 12731 | 57 | 39
1432.02/1432.52 c 1413s | 25 | 8565793 | 7486398 | 1404 12744 | 57 | 39
1434.03/1434.53 c 1415s | 25 | 8577177 | 7496398 | 1404 12757 | 57 | 39
1436.02/1436.54 c 1417s | 25 | 8588765 | 7506498 | 1404 12771 | 57 | 39
1438.02/1438.54 c 1419s | 25 | 8600687 | 7516798 | 1404 12784 | 57 | 39
1440.02/1440.55 c 1421s | 25 | 8612197 | 7526898 | 1404 12798 | 57 | 39
1442.02/1442.56 c 1423s | 25 | 8623616 | 7536998 | 1404 12811 | 57 | 39
1444.02/1444.57 c 1425s | 25 | 8634826 | 7546998 | 1404 12824 | 57 | 39
1446.02/1446.59 c 1427s | 25 | 8645838 | 7556698 | 1404 12837 | 57 | 39
1448.12/1448.61 c 1429s | 25 | 8656513 | 7566098 | 1404 12849 | 57 | 39
1450.12/1450.61 c 1431s | 25 | 8667374 | 7575598 | 1404 12862 | 57 | 39
1452.12/1452.61 c 1433s | 25 | 8678898 | 7585698 | 1404 12875 | 57 | 39
1454.12/1454.63 c 1435s | 25 | 8690707 | 7596098 | 1404 12889 | 57 | 39
1454.41/1454.94 c 1435s | 26 | 8692587 | 7597752 | 1404 12891 | 57 | 39
1456.41/1456.95 c 1437s | 26 | 8703429 | 7607452 | 1404 12904 | 57 | 39
1458.41/1458.96 c 1439s | 26 | 8714728 | 7617452 | 1404 12918 | 57 | 39
1460.42/1460.96 c 1441s | 26 | 8725855 | 7627352 | 1404 12931 | 57 | 39
1462.42/1462.96 c 1443s | 26 | 8737209 | 7637352 | 1404 12944 | 57 | 39
1464.42/1464.98 c 1445s | 26 | 8748802 | 7647552 | 1404 12957 | 57 | 39
1466.42/1466.98 c 1447s | 26 | 8759964 | 7657452 | 1404 12971 | 57 | 39
1468.52/1469.00 c 1449s | 26 | 8771516 | 7667752 | 1404 12984 | 57 | 39
1470.52/1471.01 c 1452s | 26 | 8782749 | 7677652 | 1404 12997 | 57 | 39
1472.53/1473.02 c 1454s | 26 | 8793790 | 7687452 | 1404 13010 | 57 | 39
1474.52/1475.03 c 1456s | 26 | 8804603 | 7697152 | 1404 13023 | 57 | 39
1476.52/1477.04 c 1458s | 26 | 8815993 | 7707152 | 1404 13036 | 57 | 39
1478.52/1479.06 c 1460s | 26 | 8827084 | 7716952 | 1404 13049 | 57 | 39
1480.52/1481.07 c 1462s | 26 | 8837864 | 7726552 | 1404 13062 | 57 | 39
1482.52/1483.07 c 1464s | 26 | 8849247 | 7736452 | 1404 13075 | 57 | 39
1484.52/1485.08 c 1466s | 26 | 8860874 | 7746652 | 1404 13088 | 57 | 39
1486.51/1487.08 c 1468s | 26 | 8872097 | 7756452 | 1404 13101 | 57 | 39
1488.51/1489.08 c 1470s | 26 | 8882833 | 7765852 | 1404 13114 | 57 | 39
1490.51/1491.10 c 1472s | 26 | 8893518 | 7775352 | 1404 13126 | 57 | 39
1492.61/1493.11 c 1474s | 26 | 8904684 | 7785152 | 1404 13139 | 57 | 39
1494.61/1495.12 c 1476s | 26 | 8914975 | 7794352 | 1404 13151 | 57 | 39
1496.61/1497.13 c 1478s | 26 | 8925919 | 7803952 | 1404 13164 | 57 | 39
1498.61/1499.15 c 1480s | 26 | 8936645 | 7813552 | 1404 13176 | 57 | 39
1500.61/1501.16 c 1482s | 26 | 8948096 | 7823552 | 1404 13190 | 57 | 39
1502.61/1503.17 c 1484s | 26 | 8959362 | 7833352 | 1404 13203 | 57 | 39
1504.61/1505.18 c 1486s | 26 | 8970529 | 7843052 | 1404 13216 | 57 | 39
1506.71/1507.20 c 1488s | 26 | 8982563 | 7853552 | 1404 13230 | 57 | 39
1508.71/1509.21 c 1490s | 26 | 8994534 | 7863952 | 1404 13243 | 57 | 39
1510.71/1511.23 c 1492s | 26 | 9006583 | 7874452 | 1404 13257 | 57 | 39
1512.71/1513.25 c 1494s | 26 | 9018052 | 7884652 | 1404 13271 | 57 | 39
1514.71/1515.26 c 1496s | 26 | 9029919 | 7894852 | 1404 13284 | 57 | 39
1516.71/1517.28 c 1498s | 26 | 9042000 | 7905352 | 1404 13298 | 57 | 39
1518.72/1519.29 c 1500s | 26 | 9053846 | 7915752 | 1404 13312 | 57 | 39
1520.71/1521.30 c 1502s | 26 | 9065882 | 7926352 | 1404 13326 | 57 | 39
1522.81/1523.31 c 1504s | 26 | 9077669 | 7936752 | 1404 13339 | 57 | 39
1524.81/1525.31 c 1506s | 26 | 9089692 | 7947052 | 1404 13353 | 57 | 39
1526.81/1527.32 c 1508s | 26 | 9101202 | 7957052 | 1404 13366 | 57 | 39
1528.81/1529.32 c 1510s | 26 | 9112500 | 7967052 | 1404 13380 | 57 | 39
1530.82/1531.34 c 1512s | 26 | 9124480 | 7977552 | 1404 13393 | 57 | 39
1532.81/1533.34 c 1514s | 26 | 9136211 | 7987852 | 1404 13407 | 57 | 39
1534.81/1535.36 c 1516s | 26 | 9147260 | 7997652 | 1404 13420 | 57 | 39
1536.81/1537.37 c 1518s | 26 | 9158521 | 8007552 | 1404 13433 | 57 | 39
1538.81/1539.38 c 1520s | 26 | 9169423 | 8017152 | 1404 13446 | 57 | 39
1540.81/1541.39 c 1522s | 26 | 9181221 | 8027252 | 1404 13459 | 57 | 39
1542.91/1543.40 c 1524s | 26 | 9192862 | 8037452 | 1404 13473 | 57 | 39
1544.91/1545.41 c 1526s | 26 | 9203964 | 8047452 | 1404 13486 | 57 | 39
1546.91/1547.41 c 1528s | 26 | 9216120 | 8057952 | 1404 13500 | 57 | 39
1548.90/1549.42 c 1530s | 26 | 9228878 | 8068952 | 1404 13514 | 57 | 39
1550.90/1551.43 c 1532s | 26 | 9240943 | 8079552 | 1404 13528 | 57 | 39
1552.90/1553.43 c 1534s | 26 | 9253030 | 8090152 | 1404 13542 | 57 | 39
1554.91/1555.43 c 1536s | 26 | 9264866 | 8100552 | 1404 13556 | 57 | 39
1556.90/1557.45 c 1538s | 26 | 9276488 | 8110852 | 1404 13570 | 57 | 39
1558.90/1559.45 c 1540s | 26 | 9287950 | 8121052 | 1404 13583 | 57 | 39
1560.90/1561.46 c 1542s | 26 | 9298949 | 8130752 | 1404 13596 | 57 | 39
1562.90/1563.47 c 1544s | 26 | 9310469 | 8140752 | 1404 13609 | 57 | 39
1564.91/1565.49 c 1546s | 26 | 9322094 | 8150852 | 1404 13623 | 57 | 39
1566.90/1567.49 c 1548s | 26 | 9333704 | 8160952 | 1404 13636 | 57 | 39
1569.00/1569.50 c 1550s | 26 | 9345166 | 8170952 | 1404 13649 | 57 | 39
1571.00/1571.52 c 1552s | 26 | 9356197 | 8180652 | 1404 13662 | 57 | 39
1573.00/1573.53 c 1554s | 26 | 9367365 | 8190352 | 1404 13675 | 57 | 39
1575.00/1575.53 c 1556s | 26 | 9378314 | 8199952 | 1404 13688 | 57 | 39
1577.00/1577.54 c 1558s | 26 | 9389509 | 8209652 | 1404 13700 | 57 | 39
1579.00/1579.55 c 1560s | 26 | 9400553 | 8219252 | 1404 13713 | 57 | 39
1581.00/1581.57 c 1562s | 26 | 9412026 | 8229152 | 1404 13726 | 57 | 39
1583.00/1583.58 c 1564s | 26 | 9423521 | 8239252 | 1404 13740 | 57 | 39
1584.99/1585.59 c 1566s | 26 | 9435489 | 8249552 | 1404 13753 | 57 | 39
1587.09/1587.61 c 1568s | 26 | 9446781 | 8259452 | 1404 13766 | 57 | 39
1589.10/1589.63 c 1570s | 26 | 9457682 | 8268952 | 1404 13779 | 57 | 39
1591.09/1591.64 c 1572s | 26 | 9468242 | 8278052 | 1404 13791 | 57 | 39
1593.09/1593.65 c 1574s | 26 | 9478905 | 8287352 | 1404 13803 | 57 | 39
1595.09/1595.65 c 1576s | 26 | 9489711 | 8296852 | 1404 13816 | 57 | 39
1597.10/1597.67 c 1578s | 26 | 9500612 | 8306352 | 1404 13829 | 57 | 39
1599.10/1599.68 c 1580s | 26 | 9511275 | 8315552 | 1404 13841 | 57 | 39
1601.11/1601.69 c 1582s | 26 | 9523220 | 8325752 | 1404 13854 | 57 | 39
1603.20/1603.70 c 1584s | 26 | 9534584 | 8335652 | 1404 13867 | 57 | 39
1605.20/1605.72 c 1586s | 26 | 9545654 | 8345352 | 1404 13880 | 57 | 39
1607.20/1607.72 c 1588s | 26 | 9556894 | 8355252 | 1404 13893 | 57 | 39
1609.20/1609.73 c 1590s | 26 | 9568331 | 8365152 | 1404 13907 | 57 | 39
1611.20/1611.75 c 1592s | 26 | 9579896 | 8375052 | 1404 13920 | 57 | 39
1613.20/1613.77 c 1594s | 26 | 9590902 | 8384652 | 1404 13932 | 57 | 39
1615.19/1615.78 c 1596s | 26 | 9601762 | 8394152 | 1404 13945 | 57 | 39
1617.19/1617.78 c 1598s | 26 | 9613167 | 8404052 | 1404 13958 | 57 | 39
1619.19/1619.80 c 1600s | 26 | 9624488 | 8413852 | 1404 13971 | 57 | 39
1621.29/1621.80 c 1602s | 26 | 9635866 | 8423652 | 1404 13984 | 57 | 39
1623.29/1623.82 c 1604s | 26 | 9647003 | 8433452 | 1404 13997 | 57 | 39
1625.30/1625.82 c 1606s | 26 | 9658456 | 8443352 | 1404 14010 | 57 | 39
1627.29/1627.83 c 1608s | 26 | 9669966 | 8453352 | 1404 14023 | 57 | 39
1629.29/1629.83 c 1610s | 26 | 9681494 | 8463452 | 1404 14036 | 57 | 39
1631.29/1631.85 c 1612s | 26 | 9692432 | 8473052 | 1404 14049 | 57 | 39
1633.29/1633.85 c 1614s | 26 | 9703611 | 8482852 | 1404 14062 | 57 | 39
1635.30/1635.86 c 1616s | 26 | 9714638 | 8492552 | 1404 14075 | 57 | 39
1637.29/1637.87 c 1618s | 26 | 9726266 | 8502552 | 1404 14088 | 57 | 39
1639.29/1639.89 c 1620s | 26 | 9737398 | 8512352 | 1404 14101 | 57 | 39
1641.29/1641.89 c 1622s | 26 | 9747976 | 8521752 | 1404 14113 | 57 | 39
1643.39/1643.92 c 1624s | 26 | 9758741 | 8531152 | 1404 14126 | 57 | 39
1645.39/1645.94 c 1626s | 26 | 9769880 | 8540852 | 1404 14138 | 57 | 39
1647.40/1647.96 c 1628s | 26 | 9780455 | 8550152 | 1404 14151 | 57 | 39
1649.39/1649.98 c 1630s | 26 | 9790817 | 8559252 | 1404 14163 | 57 | 39
1651.39/1651.98 c 1632s | 26 | 9801095 | 8568352 | 1404 14174 | 57 | 39
1653.49/1654.00 c 1634s | 26 | 9811742 | 8577752 | 1404 14187 | 57 | 39
1655.49/1656.02 c 1637s | 26 | 9822405 | 8587152 | 1404 14199 | 57 | 39
1657.49/1658.02 c 1639s | 26 | 9833444 | 8596752 | 1404 14212 | 57 | 39
1659.49/1660.02 c 1641s | 26 | 9844392 | 8606252 | 1404 14225 | 57 | 39
1661.49/1662.03 c 1643s | 26 | 9855669 | 8615952 | 1404 14238 | 57 | 39
1663.49/1664.05 c 1645s | 26 | 9866356 | 8625252 | 1404 14250 | 57 | 39
1665.49/1666.07 c 1647s | 26 | 9877413 | 8634552 | 1404 14263 | 57 | 39
1667.49/1668.09 c 1649s | 26 | 9888467 | 8644252 | 1404 14276 | 57 | 39
1669.59/1670.10 c 1651s | 26 | 9899226 | 8653752 | 1404 14288 | 57 | 39
1671.59/1672.12 c 1653s | 26 | 9909799 | 8663252 | 1404 14301 | 57 | 39
1673.58/1674.13 c 1655s | 26 | 9921615 | 8673552 | 1404 14315 | 57 | 39
1675.58/1676.13 c 1657s | 26 | 9932852 | 8683552 | 1404 14328 | 57 | 39
1677.58/1678.13 c 1659s | 26 | 9944587 | 8693752 | 1404 14341 | 57 | 39
1679.58/1680.14 c 1661s | 26 | 9956297 | 8704052 | 1404 14355 | 57 | 39
1681.58/1682.14 c 1663s | 26 | 9967650 | 8714152 | 1404 14368 | 57 | 39
1683.59/1684.16 c 1665s | 26 | 9979290 | 8724352 | 1404 14382 | 57 | 39
1685.58/1686.18 c 1667s | 26 | 9991323 | 8734852 | 1404 14395 | 57 | 39
1687.58/1688.18 c 1669s | 26 | 10003002 | 8745152 | 1404 14409 | 57 | 39
1689.58/1690.19 c 1671s | 26 | 10014398 | 8755152 | 1404 14422 | 57 | 39
1691.58/1692.19 c 1673s | 26 | 10026001 | 8765352 | 1404 14436 | 57 | 39
1693.68/1694.20 c 1675s | 26 | 10037683 | 8775652 | 1404 14449 | 57 | 39
1695.58/1696.20 c 1677s | 26 | 10049218 | 8785752 | 1404 14463 | 57 | 39
1697.68/1698.22 c 1679s | 26 | 10061248 | 8796152 | 1404 14476 | 57 | 39
1699.68/1700.22 c 1681s | 26 | 10073274 | 8806552 | 1404 14490 | 57 | 39
1701.68/1702.24 c 1683s | 26 | 10084975 | 8816652 | 1404 14504 | 57 | 39
1703.68/1704.26 c 1685s | 26 | 10096784 | 8827052 | 1404 14517 | 57 | 39
1705.68/1706.26 c 1687s | 26 | 10108131 | 8836852 | 1404 14530 | 57 | 39
1707.68/1708.27 c 1689s | 26 | 10119611 | 8846852 | 1404 14544 | 57 | 39
1709.68/1710.27 c 1691s | 26 | 10130872 | 8856852 | 1404 14557 | 57 | 39
1711.68/1712.28 c 1693s | 26 | 10142497 | 8867152 | 1404 14571 | 57 | 39
1713.78/1714.30 c 1695s | 26 | 10153807 | 8877252 | 1404 14584 | 57 | 39
1715.78/1716.31 c 1697s | 26 | 10165518 | 8887552 | 1404 14598 | 57 | 39
1717.79/1718.32 c 1699s | 26 | 10177218 | 8897752 | 1404 14612 | 57 | 39
1719.78/1720.34 c 1701s | 26 | 10189134 | 8908252 | 1404 14626 | 57 | 39
1721.78/1722.35 c 1703s | 26 | 10200598 | 8918352 | 1404 14639 | 57 | 39
1723.78/1724.36 c 1705s | 26 | 10212707 | 8929052 | 1404 14653 | 57 | 39
1725.78/1726.37 c 1707s | 26 | 10224440 | 8939252 | 1404 14667 | 57 | 39
1727.78/1728.39 c 1709s | 26 | 10236376 | 8949752 | 1404 14681 | 57 | 39
1729.79/1730.39 c 1711s | 26 | 10248198 | 8959952 | 1404 14694 | 57 | 39
1731.88/1732.41 c 1713s | 26 | 10259714 | 8969952 | 1404 14707 | 57 | 39
1733.88/1734.43 c 1715s | 26 | 10271004 | 8979952 | 1404 14721 | 57 | 39
1735.88/1736.44 c 1717s | 26 | 10283160 | 8990552 | 1404 14735 | 57 | 39
1737.88/1738.45 c 1719s | 26 | 10295192 | 9001052 | 1404 14748 | 57 | 39
1739.88/1740.46 c 1721s | 26 | 10307309 | 9011752 | 1404 14762 | 57 | 39
1741.88/1742.48 c 1723s | 26 | 10318994 | 9022052 | 1404 14776 | 57 | 39
1743.88/1744.49 c 1725s | 26 | 10330418 | 9032052 | 1404 14789 | 57 | 39
1745.98/1746.51 c 1727s | 26 | 10341845 | 9042152 | 1404 14803 | 57 | 39
1747.98/1748.52 c 1729s | 26 | 10352981 | 9052052 | 1404 14816 | 57 | 39
1749.98/1750.53 c 1731s | 26 | 10364260 | 9062052 | 1404 14829 | 57 | 39
1751.97/1752.55 c 1733s | 26 | 10375518 | 9071952 | 1404 14842 | 57 | 39
1753.98/1754.56 c 1735s | 26 | 10386724 | 9081752 | 1404 14855 | 57 | 39
1755.97/1756.58 c 1737s | 26 | 10398010 | 9091752 | 1404 14868 | 57 | 39
1757.97/1758.59 c 1739s | 26 | 10409180 | 9101552 | 1404 14881 | 57 | 39
1760.07/1760.61 c 1741s | 26 | 10420389 | 9111352 | 1404 14894 | 57 | 39
1762.07/1762.62 c 1743s | 26 | 10432107 | 9121552 | 1404 14908 | 57 | 39
1764.07/1764.63 c 1745s | 26 | 10443714 | 9131652 | 1404 14921 | 57 | 39
1766.08/1766.63 c 1747s | 26 | 10455891 | 9142252 | 1404 14935 | 57 | 39
1768.07/1768.64 c 1749s | 26 | 10467995 | 9152752 | 1404 14949 | 57 | 39
1770.07/1770.64 c 1751s | 26 | 10479892 | 9163152 | 1404 14963 | 57 | 39
1772.07/1772.65 c 1753s | 26 | 10491691 | 9173352 | 1404 14977 | 57 | 39
1774.07/1774.65 c 1755s | 26 | 10503111 | 9183352 | 1404 14990 | 57 | 39
1776.07/1776.67 c 1757s | 26 | 10514726 | 9193452 | 1404 15003 | 57 | 39
1778.07/1778.67 c 1759s | 26 | 10526007 | 9203452 | 1404 15017 | 57 | 39
1780.07/1780.68 c 1761s | 26 | 10537937 | 9213852 | 1404 15030 | 57 | 39
1782.17/1782.70 c 1763s | 26 | 10549712 | 9224152 | 1404 15044 | 57 | 39
1784.17/1784.71 c 1765s | 26 | 10561426 | 9234352 | 1404 15058 | 57 | 39
1786.16/1786.71 c 1767s | 26 | 10572325 | 9243952 | 1404 15070 | 57 | 39
1788.17/1788.72 c 1769s | 26 | 10583362 | 9253552 | 1404 15083 | 57 | 39
1790.16/1790.73 c 1771s | 26 | 10595073 | 9263552 | 1404 15096 | 57 | 39
1792.16/1792.74 c 1773s | 26 | 10606999 | 9273952 | 1404 15110 | 57 | 39
1794.16/1794.75 c 1775s | 26 | 10618542 | 9284052 | 1404 15124 | 57 | 39
1796.16/1796.76 c 1777s | 26 | 10630195 | 9294352 | 1404 15137 | 57 | 39
1798.16/1798.77 c 1779s | 26 | 10642120 | 9304852 | 1404 15151 | 57 | 39
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-4117861-1467237076/watcher-4117861-1467237076 -o /tmp/evaluation-result-4117861-1467237076/solver-4117861-1467237076 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467209132-3988 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117861-1467237076.opb
pid=6868
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.21 2.23 2.18 3/179 6871
/proc/meminfo: memFree=23454628/32872528 swapFree=1253612/1390560
[pid=6871] ppid=6868 vsize=712124 CPUtime=0 cores=1,3,5,7
/proc/6871/stat : 6871 (toysat) R 6868 6871 3971 0 -1 4202496 2655 0 0 0 0 0 0 0 20 0 4 0 4668485 729214976 3016 33554432000 4194304 16246674 140736765494240 140736765493664 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6871/statm: 178543 3024 441 2943 0 175437 0
[pid=6871/tid=6872] ppid=6868 vsize=729532 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6872/stat : 6872 (toysat) S 6868 6871 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4668485 747040768 3086 33554432000 4194304 16246674 140736765494240 140472359038192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6871/tid=6873] ppid=6868 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6873/stat : 6873 (toysat) S 6868 6871 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4668485 752283648 3103 33554432000 4194304 16246674 140736765494240 140472274103536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6871/tid=6874] ppid=6868 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4668485 756477952 3120 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.100175 s]
/proc/loadavg: 2.21 2.23 2.18 3/179 6871
/proc/meminfo: memFree=23454628/32872528 swapFree=1253612/1390560
[pid=6871] ppid=6868 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/6871/stat : 6871 (toysat) R 6868 6871 3971 0 -1 4202496 24071 0 0 0 6 3 0 0 20 0 4 0 4668485 1247350784 24419 33554432000 4194304 16246674 140736765494240 140736765493664 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6871/statm: 304529 24426 737 2943 0 301423 0
[pid=6871/tid=6872] ppid=6868 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6872/stat : 6872 (toysat) S 6868 6871 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4668485 1247350784 24431 33554432000 4194304 16246674 140736765494240 140472359038192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6871/tid=6873] ppid=6868 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6873/stat : 6873 (toysat) S 6868 6871 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4668485 1247350784 24438 33554432000 4194304 16246674 140736765494240 140472274103536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6871/tid=6874] ppid=6868 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4668485 1247350784 24446 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116
[startup+0.200522 s]
/proc/loadavg: 2.21 2.23 2.18 3/179 6871
/proc/meminfo: memFree=23454628/32872528 swapFree=1253612/1390560
[pid=6871] ppid=6868 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/6871/stat : 6871 (toysat) R 6868 6871 3971 0 -1 4202496 45653 0 0 0 13 6 0 0 20 0 4 0 4668485 1247350784 46001 33554432000 4194304 16246674 140736765494240 140736765493664 5668190 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6871/statm: 304529 46010 737 2943 0 301423 0
[pid=6871/tid=6872] ppid=6868 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6872/stat : 6872 (toysat) S 6868 6871 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4668485 1247350784 46021 33554432000 4194304 16246674 140736765494240 140472359038192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6871/tid=6873] ppid=6868 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6873/stat : 6873 (toysat) S 6868 6871 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4668485 1247350784 46027 33554432000 4194304 16246674 140736765494240 140472274103536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6871/tid=6874] ppid=6868 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4668485 1247350784 46032 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116
[startup+0.300481 s]
/proc/loadavg: 2.21 2.23 2.18 3/179 6871
/proc/meminfo: memFree=23454628/32872528 swapFree=1253612/1390560
[pid=6871] ppid=6868 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/6871/stat : 6871 (toysat) R 6868 6871 3971 0 -1 4202496 66346 0 0 0 20 9 0 0 20 0 4 0 4668485 1247350784 66695 33554432000 4194304 16246674 140736765494240 140736765493664 6021007 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6871/statm: 304529 66706 737 2943 0 301423 0
[pid=6871/tid=6872] ppid=6868 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6872/stat : 6872 (toysat) S 6868 6871 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4668485 1247350784 66711 33554432000 4194304 16246674 140736765494240 140472359038192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6871/tid=6873] ppid=6868 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6873/stat : 6873 (toysat) S 6868 6871 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4668485 1247350784 66716 33554432000 4194304 16246674 140736765494240 140472274103536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6871/tid=6874] ppid=6868 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4668485 1247350784 66723 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116
[startup+0.700427 s]
/proc/loadavg: 2.21 2.23 2.18 3/179 6871
/proc/meminfo: memFree=23454628/32872528 swapFree=1253612/1390560
[pid=6871] ppid=6868 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/6871/stat : 6871 (toysat) R 6868 6871 3971 0 -1 4202496 151274 0 0 0 49 20 0 0 20 0 4 0 4668485 1247350784 151622 33554432000 4194304 16246674 140736765494240 140736765493664 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6871/statm: 304529 151630 737 2943 0 301423 0
[pid=6871/tid=6872] ppid=6868 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6872/stat : 6872 (toysat) S 6868 6871 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4668485 1247350784 151640 33554432000 4194304 16246674 140736765494240 140472359038192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6871/tid=6873] ppid=6868 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6873/stat : 6873 (toysat) S 6868 6871 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4668485 1247350784 151647 33554432000 4194304 16246674 140736765494240 140472274103536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6871/tid=6874] ppid=6868 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4668485 1247350784 151653 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116
[startup+1.50043 s]
/proc/loadavg: 2.21 2.23 2.18 3/183 6875
/proc/meminfo: memFree=22508268/32872528 swapFree=1253612/1390560
[pid=6871] ppid=6868 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/6871/stat : 6871 (toysat) R 6868 6871 3971 0 -1 4202496 245593 0 0 0 116 33 0 0 20 0 4 0 4668485 1248399360 245918 33554432000 4194304 16246674 140736765494240 140736765493552 5545984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6871/statm: 304785 245918 822 2943 0 301679 0
[pid=6871/tid=6872] ppid=6868 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6872/stat : 6872 (toysat) S 6868 6871 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4668485 1248399360 245918 33554432000 4194304 16246674 140736765494240 140472359038192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6871/tid=6873] ppid=6868 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6873/stat : 6873 (toysat) S 6868 6871 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4668485 1248399360 245918 33554432000 4194304 16246674 140736765494240 140472274103536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6871/tid=6874] ppid=6868 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4668485 1248399360 245918 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140
[startup+3.10042 s]
/proc/loadavg: 2.21 2.23 2.18 3/183 6875
/proc/meminfo: memFree=22384020/32872528 swapFree=1253612/1390560
[pid=6871] ppid=6868 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/6871/stat : 6871 (toysat) R 6868 6871 3971 0 -1 4202496 267541 0 0 0 272 37 0 0 20 0 4 0 4668485 1337528320 267866 33554432000 4194304 16246674 140736765494240 140736765493336 6861764 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6871/statm: 326545 267866 846 2943 0 323439 0
[pid=6871/tid=6872] ppid=6868 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6872/stat : 6872 (toysat) S 6868 6871 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4668485 1337528320 267866 33554432000 4194304 16246674 140736765494240 140472359038192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6871/tid=6873] ppid=6868 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6873/stat : 6873 (toysat) S 6868 6871 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4668485 1337528320 267866 33554432000 4194304 16246674 140736765494240 140472274103536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6871/tid=6874] ppid=6868 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4668485 1337528320 267866 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180
[startup+6.30044 s]
/proc/loadavg: 2.19 2.22 2.18 3/183 6875
/proc/meminfo: memFree=22383360/32872528 swapFree=1253612/1390560
[pid=6871] ppid=6868 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/6871/stat : 6871 (toysat) R 6868 6871 3971 0 -1 4202496 267542 0 0 0 592 37 0 0 20 0 4 0 4668485 1337528320 267867 33554432000 4194304 16246674 140736765494240 140736765476160 13954608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6871/statm: 326545 267867 846 2943 0 323439 0
[pid=6871/tid=6872] ppid=6868 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6872/stat : 6872 (toysat) S 6868 6871 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4668485 1337528320 267867 33554432000 4194304 16246674 140736765494240 140472359038192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6871/tid=6873] ppid=6868 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6873/stat : 6873 (toysat) S 6868 6871 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4668485 1337528320 267867 33554432000 4194304 16246674 140736765494240 140472274103536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6871/tid=6874] ppid=6868 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4668485 1337528320 267867 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180
[startup+12.7005 s]
/proc/loadavg: 2.17 2.22 2.18 3/183 6875
/proc/meminfo: memFree=22383484/32872528 swapFree=1253612/1390560
[pid=6871] ppid=6868 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/6871/stat : 6871 (toysat) R 6868 6871 3971 0 -1 4202496 267547 0 0 0 1232 37 0 0 20 0 4 0 4668485 1337528320 267872 33554432000 4194304 16246674 140736765494240 140736765476160 5822687 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6871/statm: 326545 267872 846 2943 0 323439 0
[pid=6871/tid=6872] ppid=6868 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6872/stat : 6872 (toysat) S 6868 6871 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4668485 1337528320 267872 33554432000 4194304 16246674 140736765494240 140472359038192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6871/tid=6873] ppid=6868 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6873/stat : 6873 (toysat) S 6868 6871 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4668485 1337528320 267872 33554432000 4194304 16246674 140736765494240 140472274103536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6871/tid=6874] ppid=6868 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4668485 1337528320 267872 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.20 2.22 2.18 3/183 6875
/proc/meminfo: memFree=22383864/32872528 swapFree=1253612/1390560
[pid=6871] ppid=6868 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/6871/stat : 6871 (toysat) R 6868 6871 3971 0 -1 4202496 267549 0 0 0 2511 37 0 0 20 0 4 0 4668485 1337528320 267874 33554432000 4194304 16246674 140736765494240 140736765476160 5545840 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6871/statm: 326545 267874 847 2943 0 323439 0
[pid=6871/tid=6872] ppid=6868 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6872/stat : 6872 (toysat) S 6868 6871 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4668485 1337528320 267874 33554432000 4194304 16246674 140736765494240 140472359038192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6871/tid=6873] ppid=6868 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6873/stat : 6873 (toysat) S 6868 6871 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4668485 1337528320 267874 33554432000 4194304 16246674 140736765494240 140472274103536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6871/tid=6874] ppid=6868 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4668485 1337528320 267874 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180
[startup+51.1005 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 6876
/proc/meminfo: memFree=22383468/32872528 swapFree=1253612/1390560
[pid=6871] ppid=6868 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/6871/stat : 6871 (toysat) R 6868 6871 3971 0 -1 4202496 267550 0 0 0 5070 38 0 0 20 0 4 0 4668485 1337528320 267875 33554432000 4194304 16246674 140736765494240 140736765476160 5677299 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6871/statm: 326545 267875 848 2943 0 323439 0
[pid=6871/tid=6872] ppid=6868 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6872/stat : 6872 (toysat) S 6868 6871 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4668485 1337528320 267875 33554432000 4194304 16246674 140736765494240 140472359038192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6871/tid=6873] ppid=6868 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6873/stat : 6873 (toysat) S 6868 6871 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4668485 1337528320 267875 33554432000 4194304 16246674 140736765494240 140472274103536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6871/tid=6874] ppid=6868 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4668485 1337528320 267875 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180
[startup+102.301 s]
/proc/loadavg: 2.13 2.20 2.18 3/183 6877
/proc/meminfo: memFree=22383068/32872528 swapFree=1253612/1390560
[pid=6871] ppid=6868 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/6871/stat : 6871 (toysat) R 6868 6871 3971 0 -1 4202496 267641 0 0 0 10189 39 0 0 20 0 4 0 4668485 1337528320 267966 33554432000 4194304 16246674 140736765494240 140736765476160 5553672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6871/statm: 326545 267966 850 2943 0 323439 0
[pid=6871/tid=6872] ppid=6868 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6872/stat : 6872 (toysat) S 6868 6871 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4668485 1337528320 267966 33554432000 4194304 16246674 140736765494240 140472359038192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6871/tid=6873] ppid=6868 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6873/stat : 6873 (toysat) S 6868 6871 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4668485 1337528320 267966 33554432000 4194304 16246674 140736765494240 140472274103536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6871/tid=6874] ppid=6868 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4668485 1337528320 267966 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180
################
# More data... #
################
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268464 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1307204
[startup+1302.3 s]
/proc/loadavg: 2.17 2.18 2.17 3/183 6990
/proc/meminfo: memFree=22397856/32872528 swapFree=1253612/1390560
[pid=6871] ppid=6868 vsize=1307204 CPUtime=1301.85 cores=1,3,5,7
/proc/6871/stat : 6871 (toysat) R 6868 6871 3971 0 -1 4202496 268321 0 0 0 130127 58 0 0 20 0 4 0 4668485 1338576896 268464 33554432000 4194304 16246674 140736765494240 140736765476160 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6871/statm: 326801 268464 850 2943 0 323695 0
[pid=6871/tid=6872] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6872/stat : 6872 (toysat) S 6868 6871 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268464 33554432000 4194304 16246674 140736765494240 140472359038192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6871/tid=6873] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6873/stat : 6873 (toysat) S 6868 6871 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268464 33554432000 4194304 16246674 140736765494240 140472274103536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6871/tid=6874] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268464 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1307204
[startup+1362.3 s]
/proc/loadavg: 2.11 2.16 2.17 3/182 6991
/proc/meminfo: memFree=22397876/32872528 swapFree=1253612/1390560
[pid=6871] ppid=6868 vsize=1307204 CPUtime=1361.83 cores=1,3,5,7
/proc/6871/stat : 6871 (toysat) R 6868 6871 3971 0 -1 4202496 268321 0 0 0 136125 58 0 0 20 0 4 0 4668485 1338576896 268464 33554432000 4194304 16246674 140736765494240 140736765477240 5667488 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6871/statm: 326801 268464 850 2943 0 323695 0
[pid=6871/tid=6872] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6872/stat : 6872 (toysat) S 6868 6871 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268464 33554432000 4194304 16246674 140736765494240 140472359038192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6871/tid=6873] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6873/stat : 6873 (toysat) S 6868 6871 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268464 33554432000 4194304 16246674 140736765494240 140472274103536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6871/tid=6874] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268464 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1307204
[startup+1422.3 s]
/proc/loadavg: 2.12 2.14 2.16 3/183 6993
/proc/meminfo: memFree=22397268/32872528 swapFree=1253612/1390560
[pid=6871] ppid=6868 vsize=1307204 CPUtime=1421.83 cores=1,3,5,7
/proc/6871/stat : 6871 (toysat) R 6868 6871 3971 0 -1 4202496 268321 0 0 0 142124 59 0 0 20 0 4 0 4668485 1338576896 268464 33554432000 4194304 16246674 140736765494240 140736765477240 5823542 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6871/statm: 326801 268464 850 2943 0 323695 0
[pid=6871/tid=6872] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6872/stat : 6872 (toysat) S 6868 6871 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268464 33554432000 4194304 16246674 140736765494240 140472359038192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6871/tid=6873] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6873/stat : 6873 (toysat) S 6868 6871 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268464 33554432000 4194304 16246674 140736765494240 140472274103536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6871/tid=6874] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268464 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1307204
[startup+1482.3 s]
/proc/loadavg: 2.19 2.16 2.17 3/183 6994
/proc/meminfo: memFree=22397268/32872528 swapFree=1253612/1390560
[pid=6871] ppid=6868 vsize=1307204 CPUtime=1481.82 cores=1,3,5,7
/proc/6871/stat : 6871 (toysat) R 6868 6871 3971 0 -1 4202496 268322 0 0 0 148122 60 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140736765476160 12478249 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6871/statm: 326801 268465 851 2943 0 323695 0
[pid=6871/tid=6872] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6872/stat : 6872 (toysat) S 6868 6871 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140472359038192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6871/tid=6873] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6873/stat : 6873 (toysat) S 6868 6871 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140472274103536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6871/tid=6874] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1307204
[startup+1542.31 s]
/proc/loadavg: 2.16 2.16 2.17 4/183 6995
/proc/meminfo: memFree=22397388/32872528 swapFree=1253612/1390560
[pid=6871] ppid=6868 vsize=1307204 CPUtime=1541.81 cores=1,3,5,7
/proc/6871/stat : 6871 (toysat) R 6868 6871 3971 0 -1 4202496 268322 0 0 0 154120 61 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140736765476160 6026720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6871/statm: 326801 268465 851 2943 0 323695 0
[pid=6871/tid=6872] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6872/stat : 6872 (toysat) S 6868 6871 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140472359038192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6871/tid=6873] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6873/stat : 6873 (toysat) S 6868 6871 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140472274103536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6871/tid=6874] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1307204
[startup+1602.3 s]
/proc/loadavg: 2.20 2.17 2.17 3/183 6997
/proc/meminfo: memFree=22397272/32872528 swapFree=1253612/1390560
[pid=6871] ppid=6868 vsize=1307204 CPUtime=1601.8 cores=1,3,5,7
/proc/6871/stat : 6871 (toysat) R 6868 6871 3971 0 -1 4202496 268322 0 0 0 160118 62 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140736765477240 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6871/statm: 326801 268465 851 2943 0 323695 0
[pid=6871/tid=6872] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6872/stat : 6872 (toysat) S 6868 6871 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140472359038192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6871/tid=6873] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6873/stat : 6873 (toysat) S 6868 6871 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140472274103536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6871/tid=6874] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1307204
[startup+1662.3 s]
/proc/loadavg: 2.11 2.15 2.16 3/183 6998
/proc/meminfo: memFree=22397028/32872528 swapFree=1253612/1390560
[pid=6871] ppid=6868 vsize=1307204 CPUtime=1661.79 cores=1,3,5,7
/proc/6871/stat : 6871 (toysat) R 6868 6871 3971 0 -1 4202496 268322 0 0 0 166116 63 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140736765476160 5861548 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6871/statm: 326801 268465 851 2943 0 323695 0
[pid=6871/tid=6872] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6872/stat : 6872 (toysat) S 6868 6871 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140472359038192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6871/tid=6873] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6873/stat : 6873 (toysat) S 6868 6871 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140472274103536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6871/tid=6874] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1307204
[startup+1722.3 s]
/proc/loadavg: 2.14 2.15 2.16 3/183 6999
/proc/meminfo: memFree=22396528/32872528 swapFree=1253612/1390560
[pid=6871] ppid=6868 vsize=1307204 CPUtime=1721.78 cores=1,3,5,7
/proc/6871/stat : 6871 (toysat) R 6868 6871 3971 0 -1 4202496 268322 0 0 0 172114 64 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140736765476160 5808532 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6871/statm: 326801 268465 851 2943 0 323695 0
[pid=6871/tid=6872] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6872/stat : 6872 (toysat) S 6868 6871 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140472359038192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6871/tid=6873] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6873/stat : 6873 (toysat) S 6868 6871 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140472274103536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6871/tid=6874] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1307204
[startup+1782.3 s]
/proc/loadavg: 2.23 2.17 2.17 3/184 7003
/proc/meminfo: memFree=22395988/32872528 swapFree=1253612/1390560
[pid=6871] ppid=6868 vsize=1307204 CPUtime=1781.77 cores=1,3,5,7
/proc/6871/stat : 6871 (toysat) R 6868 6871 3971 0 -1 4202496 268322 0 0 0 178113 64 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140736765477240 13818403 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6871/statm: 326801 268465 851 2943 0 323695 0
[pid=6871/tid=6872] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6872/stat : 6872 (toysat) S 6868 6871 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140472359038192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6871/tid=6873] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6873/stat : 6873 (toysat) S 6868 6871 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140472274103536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6871/tid=6874] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1307204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.18 2.16 2.16 3/183 7003
/proc/meminfo: memFree=22396120/32872528 swapFree=1253612/1390560
[pid=6871] ppid=6868 vsize=1307204 CPUtime=1800.06 cores=1,3,5,7
/proc/6871/stat : 6871 (toysat) R 6868 6871 3971 0 -1 4202496 268322 0 0 0 179942 64 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140736765476160 6009960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6871/statm: 326801 268465 851 2943 0 323695 0
[pid=6871/tid=6872] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6872/stat : 6872 (toysat) S 6868 6871 3971 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140472359038192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6871/tid=6873] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6873/stat : 6873 (toysat) S 6868 6871 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140472274103536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6871/tid=6874] ppid=6868 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6871/task/6874/stat : 6874 (toysat) S 6868 6871 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4668485 1338576896 268465 33554432000 4194304 16246674 140736765494240 140472263630000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1307204
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 6871 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.43
CPU system time (s): 0.648901
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 1307204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.648901
maximum resident set size= 1073860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268322
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= 452
involuntary context switches= 1855
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2269 second user time and 20.3689 second system time
The end