0.00/0.00 c 2016-06-18T02:59:24+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-4100193-1466211564.opb"]
0.00/0.01 c use --random-gen="1187416222 1691887578 2316216963 2581961067 4263750384 3229056730 3792375118 4089727884 3829094891 457622472 2882351874 4190715737 1294861562 3147584179 2069741710 2888930352 2706226935 2850388898 3230415988 2084284785 4145218177 997930984 3708950681 1939640212 3295561737 1132832414 1861684018 2762478589 3397046141 130636147 3598364290 1502864586 710015832 1403928286 4008165802 2679892566 1659614972 2921125197 196885411 4036057930 1984375649 3112249506 2572952812 3174119533 3864555640 1703294784 2305120303 243150633 1015037905 4116039524 2105907536 3497289377 1340497510 3296059912 1435787434 1062069320 763732608 323636767 382216464 1024630490 1228231662 2297779724 1441977174 1405454036 2676698465 1532686541 244901690 3221878696 1048839070 3740539755 1722703619 426215511 3489178287 3899003849 4201616382 2855455203 2318460480 608588277 881877386 2423118071 3376685380 3166211540 1851994478 3736329921 756611929 1770281902 3655851454 4181694237 3385320146 2849431314 2044558754 486029586 1778463437 3264829876 2550566189 1609773251 2187901481 1352397644 1342669092 1455194875 608267759 2440252365 1211536025 219388064 3475899576 3410248644 865120399 2911237320 3400220104 3198828187 84934628 1972700711 4082913189 1406314739 3047536585 3973834910 3183397459 4223599180 1120225873 1827975921 2691991080 2355513343 2444666084 1193520490 1463341610 2863780251 903370719 3797695191 3443518886 3253971715 2521907591 3349639725 2729831383 1475290892 307462987 1116067989 3471696570 279437397 4043834585 216523457 1233780927 1105528641 3460329266 4141276363 767514172 3230765897 874864040 519356434 2823596166 3393751203 3167251308 663205367 1432836087 2857353414 1593524048 1101704300 1906203542 3933336951 1908555756 1947019473 112256583 4171748948 3921425646 1251251105 1179195371 2959567720 665758671 4161401369 1113129934 3631074351 1105701188 3834458150 4123117303 388342082 1186737635 142643225 3567054035 3178045743 4143450813 3592721945 487161663 144182111 33952251 2094690477 2312551462 2035846394 3047202254 959680894 457982349 3512952286 1633926861 2651649293 1973802800 374888914 2506336729 2043195125 590198907 2002570471 3693831098 3676645008 1154006615 3343053744 587860254 1232211497 1819642147 1917371320 3541549942 3154868007 309334545 2220962714 1721277663 1680227517 3121581210 1353564435 1177125328 1662611235 1404384482 438953891 1369410654 1107638018 78289954 563212399 3474039456 3001634317 1098564793 4170757214 3198850857 2715844219 12618508 4041365896 2602326888 1934273843 1978555597 529345213 3533135942 1428296605 3760219404 4122555314 2166570608 1625259517 226790595 2974952501 4148783405 2004083473 1774130601 3483348032 1881477063 3131762288 3225340420 497510672 1234663368 2404424360 4240950163 1196110826 4050059602 1169399661 255 362436" option to reproduce the execution
0.00/0.09 c #vars 8411
0.00/0.09 c #constraints 2456
0.19/0.21 c BCD2: Hardening is enabled.
0.19/0.21 c BCD2: BiasedSearch is enabled.
0.19/0.21 c Solving starts ...
0.19/0.21 c ============================[ Search Statistics ]============================
0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.21 c | | | | Limit GC | Var | Constra
0.19/0.21 c =============================================================================
0.19/0.21 c 0.0s | 0 | 0 | 0 | 3867 0 | 4690 | 0
0.29/0.30 c 0.1s | 1 | 732 | 100 | 3867 0 | 4694 | 38
0.29/0.39 c 0.2s | 2 | 1424 | 250 | 4254 0 | 4694 | 38
0.39/0.47 c 0.3s | 3 | 1918 | 475 | 4680 0 | 4694 | 38
0.69/0.71 c 0.5s | 4 | 4781 | 813 | 5148 0 | 4695 | 38
0.89/0.92 c 0.7s | 5 | 6350 | 1320 | 5663 0 | 4695 | 38
1.29/1.30 c 1.1s | 6 | 7251 | 2081 | 6854 0 | 4708 | 41
1.99/2.03 c 1.8s | 7 | 8584 | 3223 | 7540 0 | 4708 | 41
2.79/2.87 c 2.7s | 8 | 10863 | 4936 | 8294 0 | 4708 | 41
3.69/3.75 c 3.5s | 9 | 14268 | 7506 | 9124 0 | 4708 | 41
4.99/5.06 c 4.8s | 10 | 19252 | 11361 | 10037 0 | 4709 | 41
6.99/7.08 c 6.9s | 10 | 26082 | 16061 | 10037 0 | 4710 | 41
7.59/7.67 c 7.5s | 11 | 27195 | 17144 | 11041 0 | 4710 | 41
9.69/9.70 c 9.5s | 11 | 35038 | 21644 | 11041 1 | 4711 | 41
11.39/11.45 c 11.2s | 12 | 41169 | 25819 | 12146 1 | 4711 | 41
13.39/13.46 c 13.2s | 12 | 49231 | 32019 | 12146 2 | 4711 | 41
15.39/15.46 c 15.3s | 12 | 54176 | 36519 | 12146 3 | 4711 | 41
16.39/16.47 c 16.3s | 13 | 57082 | 38832 | 13361 3 | 4711 | 41
18.39/18.49 c 18.3s | 13 | 68662 | 45332 | 13361 3 | 4711 | 41
20.48/20.53 c 20.3s | 13 | 74831 | 49532 | 13361 4 | 4724 | 44
22.48/22.55 c 22.3s | 13 | 82086 | 53032 | 13361 4 | 4726 | 44
24.48/24.58 c 24.4s | 13 | 87050 | 56732 | 13361 5 | 4726 | 44
25.48/25.54 c 25.3s | 14 | 89564 | 58352 | 14698 5 | 4726 | 44
26.98/27.06 c 26.8s | 14 | 92677 | 59572 | 14698 5 | 4728 | 44
26.98/27.06 c #cpu_time = 26.769s
26.98/27.06 c #wall_clock_time = 26.840s
26.98/27.06 c #decision = 92677
26.98/27.06 c #random_decision = 209
26.98/27.06 c #conflict = 59572
26.98/27.06 c #restart = 14
26.98/27.06 o -6
26.98/27.06 c BCD2: updating upper bound: 524390 -> 524383
26.98/27.07 c BCD2: 0 <= obj <= 524383
26.98/27.07 c BCD2: #cores=0, #unrelaxed=150, #relaxed=0, #hardened=0
26.98/27.07 c BCD2: #sat=1 #unsat=1 bias=1/2
26.98/27.07 c Solving starts ...
26.98/27.07 c ============================[ Search Statistics ]============================
26.98/27.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
26.98/27.07 c | | | | Limit GC | Var | Constra
26.98/27.07 c =============================================================================
26.98/27.07 c 0.0s | 0 | 0 | 0 | 14698 0 | 4728 | 44
26.98/27.09 c 0.0s | 0 | 18 | 0 | 14698 0 | 4728 | 44
26.98/27.09 c #cpu_time = 0.032s
26.98/27.09 c #wall_clock_time = 0.032s
26.98/27.09 c #decision = 18
26.98/27.09 c #random_decision = 0
26.98/27.09 c #conflict = 0
26.98/27.09 c #restart = 0
26.98/27.09 c BCD2: found a new core of size 10: cost of the new core is >=1
26.98/27.09 c lower bound updated to -524389
26.98/27.09 c BCD2: 1 <= obj <= 524383
26.98/27.09 c BCD2: #cores=1, #unrelaxed=140, #relaxed=10, #hardened=0
26.98/27.09 c BCD2: #sat=1 #unsat=2 bias=2/3
26.98/27.09 c Solving starts ...
26.98/27.09 c ============================[ Search Statistics ]============================
26.98/27.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
26.98/27.09 c | | | | Limit GC | Var | Constra
26.98/27.09 c =============================================================================
26.98/27.09 c 0.0s | 0 | 0 | 0 | 14698 0 | 4728 | 44
27.08/27.12 c 0.0s | 0 | 10 | 0 | 14698 0 | 4728 | 44
27.08/27.12 c #cpu_time = 0.031s
27.08/27.12 c #wall_clock_time = 0.031s
27.08/27.12 c #decision = 10
27.08/27.12 c #random_decision = 0
27.08/27.12 c #conflict = 0
27.08/27.12 c #restart = 0
27.08/27.12 c BCD2: found a new core of size 2: cost of the new core is >=1
27.08/27.12 c lower bound updated to -524388
27.08/27.12 c BCD2: 2 <= obj <= 524383
27.08/27.12 c BCD2: #cores=2, #unrelaxed=138, #relaxed=12, #hardened=0
27.08/27.12 c BCD2: #sat=1 #unsat=3 bias=3/4
27.08/27.12 c Solving starts ...
27.08/27.12 c ============================[ Search Statistics ]============================
27.08/27.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.08/27.12 c | | | | Limit GC | Var | Constra
27.08/27.12 c =============================================================================
27.08/27.14 c 0.0s | 0 | 0 | 0 | 14698 0 | 4728 | 44
27.18/27.20 c 0.1s | 0 | 1 | 1 | 14698 0 | 4730 | 46
27.18/27.20 c #cpu_time = 0.061s
27.18/27.20 c #wall_clock_time = 0.061s
27.18/27.20 c #decision = 1
27.18/27.20 c #random_decision = 0
27.18/27.20 c #conflict = 1
27.18/27.20 c #restart = 0
27.18/27.20 c BCD2: updating lower bound of a core
27.18/27.20 c BCD2: refineLB: 40 -> 52
27.18/27.20 c lower bound updated to -524337
27.18/27.20 c BCD2: 53 <= obj <= 524383
27.18/27.20 c BCD2: #cores=2, #unrelaxed=138, #relaxed=12, #hardened=0
27.18/27.20 c BCD2: #sat=1 #unsat=4 bias=4/5
27.18/27.20 c Solving starts ...
27.18/27.20 c ============================[ Search Statistics ]============================
27.18/27.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.18/27.20 c | | | | Limit GC | Var | Constra
27.18/27.20 c =============================================================================
27.18/27.20 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.18/27.23 c 0.0s | 0 | 10 | 0 | 14698 0 | 4730 | 46
27.18/27.23 c #cpu_time = 0.031s
27.18/27.23 c #wall_clock_time = 0.031s
27.18/27.23 c #decision = 10
27.18/27.23 c #random_decision = 0
27.18/27.23 c #conflict = 0
27.18/27.23 c #restart = 0
27.18/27.23 c BCD2: found a new core of size 1: cost of the new core is >=103
27.18/27.23 c lower bound updated to -524234
27.18/27.23 c BCD2: 156 <= obj <= 524383
27.18/27.23 c BCD2: #cores=3, #unrelaxed=137, #relaxed=13, #hardened=0
27.18/27.23 c BCD2: #sat=1 #unsat=5 bias=5/6
27.18/27.23 c Solving starts ...
27.18/27.23 c ============================[ Search Statistics ]============================
27.18/27.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.18/27.23 c | | | | Limit GC | Var | Constra
27.18/27.23 c =============================================================================
27.18/27.23 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.18/27.27 c 0.0s | 0 | 11 | 0 | 14698 0 | 4730 | 46
27.18/27.27 c #cpu_time = 0.031s
27.18/27.27 c #wall_clock_time = 0.031s
27.18/27.27 c #decision = 11
27.18/27.27 c #random_decision = 0
27.18/27.27 c #conflict = 0
27.18/27.27 c #restart = 0
27.18/27.27 c BCD2: found a new core of size 1: cost of the new core is >=205
27.18/27.27 c lower bound updated to -524029
27.18/27.27 c BCD2: 361 <= obj <= 524383
27.18/27.27 c BCD2: #cores=4, #unrelaxed=136, #relaxed=14, #hardened=0
27.18/27.27 c BCD2: #sat=1 #unsat=6 bias=6/7
27.18/27.27 c Solving starts ...
27.18/27.27 c ============================[ Search Statistics ]============================
27.18/27.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.18/27.27 c | | | | Limit GC | Var | Constra
27.18/27.27 c =============================================================================
27.18/27.27 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.28/27.30 c 0.0s | 0 | 12 | 0 | 14698 0 | 4730 | 46
27.28/27.30 c #cpu_time = 0.031s
27.28/27.30 c #wall_clock_time = 0.031s
27.28/27.30 c #decision = 12
27.28/27.30 c #random_decision = 0
27.28/27.30 c #conflict = 0
27.28/27.30 c #restart = 0
27.28/27.30 c BCD2: found a new core of size 1: cost of the new core is >=410
27.28/27.30 c lower bound updated to -523619
27.28/27.30 c BCD2: 771 <= obj <= 524383
27.28/27.30 c BCD2: #cores=5, #unrelaxed=135, #relaxed=15, #hardened=0
27.28/27.30 c BCD2: #sat=1 #unsat=7 bias=7/8
27.28/27.30 c Solving starts ...
27.28/27.30 c ============================[ Search Statistics ]============================
27.28/27.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.28/27.30 c | | | | Limit GC | Var | Constra
27.28/27.30 c =============================================================================
27.28/27.30 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.28/27.33 c 0.0s | 0 | 13 | 0 | 14698 0 | 4730 | 46
27.28/27.33 c #cpu_time = 0.031s
27.28/27.33 c #wall_clock_time = 0.031s
27.28/27.33 c #decision = 13
27.28/27.33 c #random_decision = 0
27.28/27.33 c #conflict = 0
27.28/27.33 c #restart = 0
27.28/27.33 c BCD2: found a new core of size 1: cost of the new core is >=820
27.28/27.33 c lower bound updated to -522799
27.28/27.33 c BCD2: 1591 <= obj <= 524383
27.28/27.33 c BCD2: #cores=6, #unrelaxed=134, #relaxed=16, #hardened=0
27.28/27.33 c BCD2: #sat=1 #unsat=8 bias=8/9
27.28/27.33 c Solving starts ...
27.28/27.33 c ============================[ Search Statistics ]============================
27.28/27.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.28/27.33 c | | | | Limit GC | Var | Constra
27.28/27.33 c =============================================================================
27.28/27.33 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.28/27.36 c 0.0s | 0 | 14 | 0 | 14698 0 | 4730 | 46
27.28/27.36 c #cpu_time = 0.031s
27.28/27.36 c #wall_clock_time = 0.031s
27.28/27.36 c #decision = 14
27.28/27.36 c #random_decision = 0
27.28/27.36 c #conflict = 0
27.28/27.36 c #restart = 0
27.28/27.36 c BCD2: found a new core of size 1: cost of the new core is >=1639
27.28/27.36 c lower bound updated to -521160
27.28/27.36 c BCD2: 3230 <= obj <= 524383
27.28/27.36 c BCD2: #cores=7, #unrelaxed=133, #relaxed=17, #hardened=0
27.28/27.36 c BCD2: #sat=1 #unsat=9 bias=9/10
27.28/27.36 c Solving starts ...
27.28/27.36 c ============================[ Search Statistics ]============================
27.28/27.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.28/27.36 c | | | | Limit GC | Var | Constra
27.28/27.36 c =============================================================================
27.28/27.36 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.28/27.39 c 0.0s | 0 | 15 | 0 | 14698 0 | 4730 | 46
27.28/27.39 c #cpu_time = 0.031s
27.28/27.39 c #wall_clock_time = 0.031s
27.28/27.39 c #decision = 15
27.28/27.39 c #random_decision = 0
27.28/27.39 c #conflict = 0
27.28/27.39 c #restart = 0
27.28/27.39 c BCD2: found a new core of size 1: cost of the new core is >=3277
27.28/27.39 c lower bound updated to -517883
27.28/27.39 c BCD2: 6507 <= obj <= 524383
27.28/27.39 c BCD2: #cores=8, #unrelaxed=132, #relaxed=18, #hardened=0
27.28/27.39 c BCD2: #sat=1 #unsat=10 bias=10/11
27.28/27.39 c Solving starts ...
27.28/27.39 c ============================[ Search Statistics ]============================
27.28/27.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.28/27.39 c | | | | Limit GC | Var | Constra
27.28/27.39 c =============================================================================
27.28/27.39 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.38/27.42 c 0.0s | 0 | 16 | 0 | 14698 0 | 4730 | 46
27.38/27.42 c #cpu_time = 0.031s
27.38/27.42 c #wall_clock_time = 0.031s
27.38/27.42 c #decision = 16
27.38/27.42 c #random_decision = 0
27.38/27.42 c #conflict = 0
27.38/27.42 c #restart = 0
27.38/27.42 c BCD2: found a new core of size 1: cost of the new core is >=6554
27.38/27.42 c lower bound updated to -511329
27.38/27.42 c BCD2: 13061 <= obj <= 524383
27.38/27.42 c BCD2: #cores=9, #unrelaxed=131, #relaxed=19, #hardened=0
27.38/27.42 c BCD2: #sat=1 #unsat=11 bias=11/12
27.38/27.42 c Solving starts ...
27.38/27.42 c ============================[ Search Statistics ]============================
27.38/27.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.38/27.42 c | | | | Limit GC | Var | Constra
27.38/27.42 c =============================================================================
27.38/27.43 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.38/27.46 c 0.0s | 0 | 17 | 0 | 14698 0 | 4730 | 46
27.38/27.46 c #cpu_time = 0.030s
27.38/27.46 c #wall_clock_time = 0.030s
27.38/27.46 c #decision = 17
27.38/27.46 c #random_decision = 0
27.38/27.46 c #conflict = 0
27.38/27.46 c #restart = 0
27.38/27.46 c BCD2: found a new core of size 1: cost of the new core is >=13108
27.38/27.46 c lower bound updated to -498221
27.38/27.46 c BCD2: 26169 <= obj <= 524383
27.38/27.46 c BCD2: #cores=10, #unrelaxed=130, #relaxed=20, #hardened=0
27.38/27.46 c BCD2: #sat=1 #unsat=12 bias=12/13
27.38/27.46 c Solving starts ...
27.38/27.46 c ============================[ Search Statistics ]============================
27.38/27.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.38/27.46 c | | | | Limit GC | Var | Constra
27.38/27.46 c =============================================================================
27.38/27.46 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.38/27.49 c 0.0s | 0 | 18 | 0 | 14698 0 | 4730 | 46
27.38/27.49 c #cpu_time = 0.032s
27.38/27.49 c #wall_clock_time = 0.032s
27.38/27.49 c #decision = 18
27.38/27.49 c #random_decision = 0
27.38/27.49 c #conflict = 0
27.38/27.49 c #restart = 0
27.38/27.49 c BCD2: found a new core of size 1: cost of the new core is >=26215
27.38/27.49 c lower bound updated to -472006
27.38/27.49 c BCD2: 52384 <= obj <= 524383
27.38/27.49 c BCD2: #cores=11, #unrelaxed=129, #relaxed=21, #hardened=0
27.38/27.49 c BCD2: #sat=1 #unsat=13 bias=13/14
27.38/27.49 c Solving starts ...
27.38/27.49 c ============================[ Search Statistics ]============================
27.38/27.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.38/27.49 c | | | | Limit GC | Var | Constra
27.38/27.49 c =============================================================================
27.38/27.49 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.49/27.52 c 0.0s | 0 | 19 | 0 | 14698 0 | 4730 | 46
27.49/27.52 c #cpu_time = 0.031s
27.49/27.52 c #wall_clock_time = 0.031s
27.49/27.52 c #decision = 19
27.49/27.52 c #random_decision = 0
27.49/27.52 c #conflict = 0
27.49/27.52 c #restart = 0
27.49/27.52 c BCD2: found a new core of size 1: cost of the new core is >=52429
27.49/27.52 c lower bound updated to -419577
27.49/27.52 c BCD2: 104813 <= obj <= 524383
27.49/27.52 c BCD2: #cores=12, #unrelaxed=128, #relaxed=22, #hardened=0
27.49/27.52 c BCD2: #sat=1 #unsat=14 bias=14/15
27.49/27.52 c Solving starts ...
27.49/27.52 c ============================[ Search Statistics ]============================
27.49/27.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.49/27.52 c | | | | Limit GC | Var | Constra
27.49/27.52 c =============================================================================
27.49/27.52 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.49/27.55 c 0.0s | 0 | 38 | 1 | 14698 0 | 4730 | 46
27.49/27.55 c #cpu_time = 0.032s
27.49/27.55 c #wall_clock_time = 0.032s
27.49/27.55 c #decision = 38
27.49/27.55 c #random_decision = 0
27.49/27.55 c #conflict = 1
27.49/27.55 c #restart = 0
27.49/27.55 c BCD2: found a new core of size 18: cost of the new core is >=1
27.49/27.55 c lower bound updated to -419576
27.49/27.55 c BCD2: 104814 <= obj <= 524383
27.49/27.55 c BCD2: #cores=13, #unrelaxed=110, #relaxed=40, #hardened=0
27.49/27.55 c BCD2: #sat=1 #unsat=15 bias=15/16
27.49/27.55 c Solving starts ...
27.49/27.55 c ============================[ Search Statistics ]============================
27.49/27.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.49/27.55 c | | | | Limit GC | Var | Constra
27.49/27.55 c =============================================================================
27.49/27.55 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.49/27.58 c 0.0s | 0 | 22 | 0 | 14698 0 | 4730 | 46
27.49/27.58 c #cpu_time = 0.031s
27.49/27.58 c #wall_clock_time = 0.031s
27.49/27.58 c #decision = 22
27.49/27.58 c #random_decision = 0
27.49/27.58 c #conflict = 0
27.49/27.58 c #restart = 0
27.49/27.58 c BCD2: found a new core of size 2: cost of the new core is >=26
27.49/27.58 c lower bound updated to -419550
27.49/27.58 c BCD2: 104840 <= obj <= 524383
27.49/27.58 c BCD2: #cores=14, #unrelaxed=108, #relaxed=42, #hardened=0
27.49/27.58 c BCD2: #sat=1 #unsat=16 bias=16/17
27.49/27.58 c Solving starts ...
27.49/27.58 c ============================[ Search Statistics ]============================
27.49/27.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.49/27.58 c | | | | Limit GC | Var | Constra
27.49/27.58 c =============================================================================
27.49/27.58 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.60/27.62 c 0.0s | 0 | 22 | 0 | 14698 0 | 4730 | 46
27.60/27.62 c #cpu_time = 0.031s
27.60/27.62 c #wall_clock_time = 0.031s
27.60/27.62 c #decision = 22
27.60/27.62 c #random_decision = 0
27.60/27.62 c #conflict = 0
27.60/27.62 c #restart = 0
27.60/27.62 c BCD2: found a new core of size 1: cost of the new core is >=103
27.60/27.62 c lower bound updated to -419447
27.60/27.62 c BCD2: 104943 <= obj <= 524383
27.60/27.62 c BCD2: #cores=15, #unrelaxed=107, #relaxed=43, #hardened=0
27.60/27.62 c BCD2: #sat=1 #unsat=17 bias=17/18
27.60/27.62 c Solving starts ...
27.60/27.62 c ============================[ Search Statistics ]============================
27.60/27.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.60/27.62 c | | | | Limit GC | Var | Constra
27.60/27.62 c =============================================================================
27.60/27.62 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.60/27.65 c 0.0s | 0 | 23 | 0 | 14698 0 | 4730 | 46
27.60/27.65 c #cpu_time = 0.031s
27.60/27.65 c #wall_clock_time = 0.031s
27.60/27.65 c #decision = 23
27.60/27.65 c #random_decision = 0
27.60/27.65 c #conflict = 0
27.60/27.65 c #restart = 0
27.60/27.65 c BCD2: found a new core of size 1: cost of the new core is >=205
27.60/27.65 c lower bound updated to -419242
27.60/27.65 c BCD2: 105148 <= obj <= 524383
27.60/27.65 c BCD2: #cores=16, #unrelaxed=106, #relaxed=44, #hardened=0
27.60/27.65 c BCD2: #sat=1 #unsat=18 bias=18/19
27.60/27.65 c Solving starts ...
27.60/27.65 c ============================[ Search Statistics ]============================
27.60/27.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.60/27.65 c | | | | Limit GC | Var | Constra
27.60/27.65 c =============================================================================
27.60/27.65 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.60/27.68 c 0.0s | 0 | 24 | 0 | 14698 0 | 4730 | 46
27.60/27.68 c #cpu_time = 0.031s
27.60/27.68 c #wall_clock_time = 0.031s
27.60/27.68 c #decision = 24
27.60/27.68 c #random_decision = 0
27.60/27.68 c #conflict = 0
27.60/27.68 c #restart = 0
27.60/27.68 c BCD2: found a new core of size 1: cost of the new core is >=410
27.60/27.68 c lower bound updated to -418832
27.60/27.68 c BCD2: 105558 <= obj <= 524383
27.60/27.68 c BCD2: #cores=17, #unrelaxed=105, #relaxed=45, #hardened=0
27.60/27.68 c BCD2: #sat=1 #unsat=19 bias=19/20
27.60/27.68 c Solving starts ...
27.60/27.68 c ============================[ Search Statistics ]============================
27.60/27.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.60/27.68 c | | | | Limit GC | Var | Constra
27.60/27.68 c =============================================================================
27.60/27.68 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.69/27.71 c 0.0s | 0 | 25 | 0 | 14698 0 | 4730 | 46
27.69/27.71 c #cpu_time = 0.029s
27.69/27.71 c #wall_clock_time = 0.029s
27.69/27.71 c #decision = 25
27.69/27.71 c #random_decision = 0
27.69/27.71 c #conflict = 0
27.69/27.71 c #restart = 0
27.69/27.71 c BCD2: found a new core of size 1: cost of the new core is >=820
27.69/27.71 c lower bound updated to -418012
27.69/27.71 c BCD2: 106378 <= obj <= 524383
27.69/27.71 c BCD2: #cores=18, #unrelaxed=104, #relaxed=46, #hardened=0
27.69/27.71 c BCD2: #sat=1 #unsat=20 bias=20/21
27.69/27.71 c Solving starts ...
27.69/27.71 c ============================[ Search Statistics ]============================
27.69/27.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.69/27.71 c | | | | Limit GC | Var | Constra
27.69/27.71 c =============================================================================
27.69/27.71 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.69/27.74 c 0.0s | 0 | 26 | 0 | 14698 0 | 4730 | 46
27.69/27.74 c #cpu_time = 0.031s
27.69/27.74 c #wall_clock_time = 0.031s
27.69/27.74 c #decision = 26
27.69/27.74 c #random_decision = 0
27.69/27.74 c #conflict = 0
27.69/27.74 c #restart = 0
27.69/27.74 c BCD2: found a new core of size 1: cost of the new core is >=1639
27.69/27.74 c lower bound updated to -416373
27.69/27.74 c BCD2: 108017 <= obj <= 524383
27.69/27.74 c BCD2: #cores=19, #unrelaxed=103, #relaxed=47, #hardened=0
27.69/27.74 c BCD2: #sat=1 #unsat=21 bias=21/22
27.69/27.74 c Solving starts ...
27.69/27.74 c ============================[ Search Statistics ]============================
27.69/27.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.69/27.74 c | | | | Limit GC | Var | Constra
27.69/27.74 c =============================================================================
27.69/27.74 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.69/27.77 c 0.0s | 0 | 27 | 0 | 14698 0 | 4730 | 46
27.69/27.77 c #cpu_time = 0.031s
27.69/27.77 c #wall_clock_time = 0.031s
27.69/27.77 c #decision = 27
27.69/27.77 c #random_decision = 0
27.69/27.77 c #conflict = 0
27.69/27.77 c #restart = 0
27.69/27.77 c BCD2: found a new core of size 1: cost of the new core is >=3277
27.69/27.77 c lower bound updated to -413096
27.69/27.77 c BCD2: 111294 <= obj <= 524383
27.69/27.77 c BCD2: #cores=20, #unrelaxed=102, #relaxed=48, #hardened=0
27.69/27.77 c BCD2: #sat=1 #unsat=22 bias=22/23
27.69/27.77 c Solving starts ...
27.69/27.77 c ============================[ Search Statistics ]============================
27.69/27.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.69/27.77 c | | | | Limit GC | Var | Constra
27.69/27.77 c =============================================================================
27.69/27.77 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.79/27.81 c 0.0s | 0 | 28 | 0 | 14698 0 | 4730 | 46
27.79/27.81 c #cpu_time = 0.031s
27.79/27.81 c #wall_clock_time = 0.031s
27.79/27.81 c #decision = 28
27.79/27.81 c #random_decision = 0
27.79/27.81 c #conflict = 0
27.79/27.81 c #restart = 0
27.79/27.81 c BCD2: found a new core of size 1: cost of the new core is >=6554
27.79/27.81 c lower bound updated to -406542
27.79/27.81 c BCD2: 117848 <= obj <= 524383
27.79/27.81 c BCD2: #cores=21, #unrelaxed=101, #relaxed=49, #hardened=0
27.79/27.81 c BCD2: #sat=1 #unsat=23 bias=23/24
27.79/27.81 c Solving starts ...
27.79/27.81 c ============================[ Search Statistics ]============================
27.79/27.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.79/27.81 c | | | | Limit GC | Var | Constra
27.79/27.81 c =============================================================================
27.79/27.81 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.79/27.84 c 0.0s | 0 | 29 | 0 | 14698 0 | 4730 | 46
27.79/27.84 c #cpu_time = 0.031s
27.79/27.84 c #wall_clock_time = 0.031s
27.79/27.84 c #decision = 29
27.79/27.84 c #random_decision = 0
27.79/27.84 c #conflict = 0
27.79/27.84 c #restart = 0
27.79/27.84 c BCD2: found a new core of size 1: cost of the new core is >=13108
27.79/27.84 c lower bound updated to -393434
27.79/27.84 c BCD2: 130956 <= obj <= 524383
27.79/27.84 c BCD2: #cores=22, #unrelaxed=100, #relaxed=50, #hardened=0
27.79/27.84 c BCD2: #sat=1 #unsat=24 bias=24/25
27.79/27.84 c Solving starts ...
27.79/27.84 c ============================[ Search Statistics ]============================
27.79/27.84 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.79/27.84 c | | | | Limit GC | Var | Constra
27.79/27.84 c =============================================================================
27.79/27.84 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.79/27.87 c 0.0s | 0 | 30 | 0 | 14698 0 | 4730 | 46
27.79/27.87 c #cpu_time = 0.031s
27.79/27.87 c #wall_clock_time = 0.031s
27.79/27.87 c #decision = 30
27.79/27.87 c #random_decision = 0
27.79/27.87 c #conflict = 0
27.79/27.87 c #restart = 0
27.79/27.87 c BCD2: found a new core of size 1: cost of the new core is >=26215
27.79/27.87 c lower bound updated to -367219
27.79/27.87 c BCD2: 157171 <= obj <= 524383
27.79/27.87 c BCD2: #cores=23, #unrelaxed=99, #relaxed=51, #hardened=0
27.79/27.87 c BCD2: #sat=1 #unsat=25 bias=25/26
27.79/27.87 c Solving starts ...
27.79/27.87 c ============================[ Search Statistics ]============================
27.79/27.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.79/27.87 c | | | | Limit GC | Var | Constra
27.79/27.87 c =============================================================================
27.79/27.87 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.89/27.90 c 0.0s | 0 | 31 | 0 | 14698 0 | 4730 | 46
27.89/27.90 c #cpu_time = 0.031s
27.89/27.90 c #wall_clock_time = 0.031s
27.89/27.90 c #decision = 31
27.89/27.90 c #random_decision = 0
27.89/27.90 c #conflict = 0
27.89/27.90 c #restart = 0
27.89/27.90 c BCD2: found a new core of size 1: cost of the new core is >=52429
27.89/27.90 c lower bound updated to -314790
27.89/27.90 c BCD2: 209600 <= obj <= 524383
27.89/27.90 c BCD2: #cores=24, #unrelaxed=98, #relaxed=52, #hardened=0
27.89/27.90 c BCD2: #sat=1 #unsat=26 bias=26/27
27.89/27.90 c Solving starts ...
27.89/27.90 c ============================[ Search Statistics ]============================
27.89/27.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.89/27.90 c | | | | Limit GC | Var | Constra
27.89/27.90 c =============================================================================
27.89/27.90 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.89/27.93 c 0.0s | 0 | 50 | 1 | 14698 0 | 4730 | 46
27.89/27.93 c #cpu_time = 0.032s
27.89/27.93 c #wall_clock_time = 0.032s
27.89/27.93 c #decision = 50
27.89/27.93 c #random_decision = 0
27.89/27.93 c #conflict = 1
27.89/27.93 c #restart = 0
27.89/27.93 c BCD2: found a new core of size 18: cost of the new core is >=1
27.89/27.93 c lower bound updated to -314789
27.89/27.93 c BCD2: 209601 <= obj <= 524383
27.89/27.93 c BCD2: #cores=25, #unrelaxed=80, #relaxed=70, #hardened=0
27.89/27.93 c BCD2: #sat=1 #unsat=27 bias=27/28
27.89/27.93 c Solving starts ...
27.89/27.93 c ============================[ Search Statistics ]============================
27.89/27.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.89/27.93 c | | | | Limit GC | Var | Constra
27.89/27.93 c =============================================================================
27.89/27.94 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.89/27.97 c 0.0s | 0 | 34 | 0 | 14698 0 | 4730 | 46
27.89/27.97 c #cpu_time = 0.029s
27.89/27.97 c #wall_clock_time = 0.030s
27.89/27.97 c #decision = 34
27.89/27.97 c #random_decision = 0
27.89/27.97 c #conflict = 0
27.89/27.97 c #restart = 0
27.89/27.97 c BCD2: found a new core of size 2: cost of the new core is >=26
27.89/27.97 c lower bound updated to -314763
27.89/27.97 c BCD2: 209627 <= obj <= 524383
27.89/27.97 c BCD2: #cores=26, #unrelaxed=78, #relaxed=72, #hardened=0
27.89/27.97 c BCD2: #sat=1 #unsat=28 bias=28/29
27.89/27.97 c Solving starts ...
27.89/27.97 c ============================[ Search Statistics ]============================
27.89/27.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.89/27.97 c | | | | Limit GC | Var | Constra
27.89/27.97 c =============================================================================
27.89/27.97 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.99/28.00 c 0.0s | 0 | 34 | 0 | 14698 0 | 4730 | 46
27.99/28.00 c #cpu_time = 0.031s
27.99/28.00 c #wall_clock_time = 0.031s
27.99/28.00 c #decision = 34
27.99/28.00 c #random_decision = 0
27.99/28.00 c #conflict = 0
27.99/28.00 c #restart = 0
27.99/28.00 c BCD2: found a new core of size 1: cost of the new core is >=103
27.99/28.00 c lower bound updated to -314660
27.99/28.00 c BCD2: 209730 <= obj <= 524383
27.99/28.00 c BCD2: #cores=27, #unrelaxed=77, #relaxed=73, #hardened=0
27.99/28.00 c BCD2: #sat=1 #unsat=29 bias=29/30
27.99/28.00 c Solving starts ...
27.99/28.00 c ============================[ Search Statistics ]============================
27.99/28.00 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.99/28.00 c | | | | Limit GC | Var | Constra
27.99/28.00 c =============================================================================
27.99/28.00 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.99/28.03 c 0.0s | 0 | 35 | 0 | 14698 0 | 4730 | 46
27.99/28.03 c #cpu_time = 0.031s
27.99/28.03 c #wall_clock_time = 0.031s
27.99/28.03 c #decision = 35
27.99/28.03 c #random_decision = 0
27.99/28.03 c #conflict = 0
27.99/28.03 c #restart = 0
27.99/28.03 c BCD2: found a new core of size 1: cost of the new core is >=205
27.99/28.03 c lower bound updated to -314455
27.99/28.03 c BCD2: 209935 <= obj <= 524383
27.99/28.03 c BCD2: #cores=28, #unrelaxed=76, #relaxed=74, #hardened=0
27.99/28.03 c BCD2: #sat=1 #unsat=30 bias=30/31
27.99/28.03 c Solving starts ...
27.99/28.03 c ============================[ Search Statistics ]============================
27.99/28.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.99/28.03 c | | | | Limit GC | Var | Constra
27.99/28.03 c =============================================================================
27.99/28.03 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.99/28.06 c 0.0s | 0 | 36 | 0 | 14698 0 | 4730 | 46
27.99/28.06 c #cpu_time = 0.031s
27.99/28.06 c #wall_clock_time = 0.031s
27.99/28.06 c #decision = 36
27.99/28.06 c #random_decision = 0
27.99/28.06 c #conflict = 0
27.99/28.06 c #restart = 0
27.99/28.06 c BCD2: found a new core of size 1: cost of the new core is >=410
27.99/28.06 c lower bound updated to -314045
27.99/28.06 c BCD2: 210345 <= obj <= 524383
27.99/28.06 c BCD2: #cores=29, #unrelaxed=75, #relaxed=75, #hardened=0
27.99/28.06 c BCD2: #sat=1 #unsat=31 bias=31/32
27.99/28.06 c Solving starts ...
27.99/28.06 c ============================[ Search Statistics ]============================
27.99/28.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.99/28.06 c | | | | Limit GC | Var | Constra
27.99/28.06 c =============================================================================
27.99/28.06 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
27.99/28.09 c 0.0s | 0 | 37 | 0 | 14698 0 | 4730 | 46
27.99/28.09 c #cpu_time = 0.031s
27.99/28.09 c #wall_clock_time = 0.031s
27.99/28.09 c #decision = 37
27.99/28.09 c #random_decision = 0
27.99/28.09 c #conflict = 0
27.99/28.09 c #restart = 0
27.99/28.09 c BCD2: found a new core of size 1: cost of the new core is >=820
27.99/28.09 c lower bound updated to -313225
27.99/28.09 c BCD2: 211165 <= obj <= 524383
27.99/28.09 c BCD2: #cores=30, #unrelaxed=74, #relaxed=76, #hardened=0
27.99/28.09 c BCD2: #sat=1 #unsat=32 bias=32/33
27.99/28.09 c Solving starts ...
27.99/28.09 c ============================[ Search Statistics ]============================
27.99/28.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
27.99/28.09 c | | | | Limit GC | Var | Constra
27.99/28.09 c =============================================================================
27.99/28.09 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
28.09/28.12 c 0.0s | 0 | 38 | 0 | 14698 0 | 4730 | 46
28.09/28.12 c #cpu_time = 0.031s
28.09/28.12 c #wall_clock_time = 0.031s
28.09/28.12 c #decision = 38
28.09/28.12 c #random_decision = 0
28.09/28.12 c #conflict = 0
28.09/28.12 c #restart = 0
28.09/28.12 c BCD2: found a new core of size 1: cost of the new core is >=1639
28.09/28.12 c lower bound updated to -311586
28.09/28.12 c BCD2: 212804 <= obj <= 524383
28.09/28.12 c BCD2: #cores=31, #unrelaxed=73, #relaxed=77, #hardened=0
28.09/28.12 c BCD2: #sat=1 #unsat=33 bias=33/34
28.09/28.12 c Solving starts ...
28.09/28.12 c ============================[ Search Statistics ]============================
28.09/28.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.09/28.12 c | | | | Limit GC | Var | Constra
28.09/28.12 c =============================================================================
28.09/28.12 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
28.09/28.16 c 0.0s | 0 | 39 | 0 | 14698 0 | 4730 | 46
28.09/28.16 c #cpu_time = 0.031s
28.09/28.16 c #wall_clock_time = 0.031s
28.09/28.16 c #decision = 39
28.09/28.16 c #random_decision = 0
28.09/28.16 c #conflict = 0
28.09/28.16 c #restart = 0
28.09/28.16 c BCD2: found a new core of size 1: cost of the new core is >=3277
28.09/28.16 c lower bound updated to -308309
28.09/28.16 c BCD2: 216081 <= obj <= 524383
28.09/28.16 c BCD2: #cores=32, #unrelaxed=72, #relaxed=78, #hardened=0
28.09/28.16 c BCD2: #sat=1 #unsat=34 bias=34/35
28.09/28.16 c Solving starts ...
28.09/28.16 c ============================[ Search Statistics ]============================
28.09/28.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.09/28.16 c | | | | Limit GC | Var | Constra
28.09/28.16 c =============================================================================
28.09/28.16 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
28.09/28.19 c 0.0s | 0 | 40 | 0 | 14698 0 | 4730 | 46
28.09/28.19 c #cpu_time = 0.031s
28.09/28.19 c #wall_clock_time = 0.031s
28.09/28.19 c #decision = 40
28.09/28.19 c #random_decision = 0
28.09/28.19 c #conflict = 0
28.09/28.19 c #restart = 0
28.09/28.19 c BCD2: found a new core of size 1: cost of the new core is >=6554
28.09/28.19 c lower bound updated to -301755
28.09/28.19 c BCD2: 222635 <= obj <= 524383
28.09/28.19 c BCD2: #cores=33, #unrelaxed=71, #relaxed=79, #hardened=0
28.09/28.19 c BCD2: #sat=1 #unsat=35 bias=35/36
28.09/28.19 c Solving starts ...
28.09/28.19 c ============================[ Search Statistics ]============================
28.09/28.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.09/28.19 c | | | | Limit GC | Var | Constra
28.09/28.19 c =============================================================================
28.09/28.19 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
28.19/28.22 c 0.0s | 0 | 41 | 0 | 14698 0 | 4730 | 46
28.19/28.22 c #cpu_time = 0.029s
28.19/28.22 c #wall_clock_time = 0.029s
28.19/28.22 c #decision = 41
28.19/28.22 c #random_decision = 0
28.19/28.22 c #conflict = 0
28.19/28.22 c #restart = 0
28.19/28.22 c BCD2: found a new core of size 1: cost of the new core is >=13108
28.19/28.22 c lower bound updated to -288647
28.19/28.22 c BCD2: 235743 <= obj <= 524383
28.19/28.22 c BCD2: #cores=34, #unrelaxed=70, #relaxed=80, #hardened=0
28.19/28.22 c BCD2: #sat=1 #unsat=36 bias=36/37
28.19/28.22 c Solving starts ...
28.19/28.22 c ============================[ Search Statistics ]============================
28.19/28.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.19/28.22 c | | | | Limit GC | Var | Constra
28.19/28.22 c =============================================================================
28.19/28.22 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
28.19/28.25 c 0.0s | 0 | 42 | 0 | 14698 0 | 4730 | 46
28.19/28.25 c #cpu_time = 0.031s
28.19/28.25 c #wall_clock_time = 0.031s
28.19/28.25 c #decision = 42
28.19/28.25 c #random_decision = 0
28.19/28.25 c #conflict = 0
28.19/28.25 c #restart = 0
28.19/28.25 c BCD2: found a new core of size 1: cost of the new core is >=26215
28.19/28.25 c lower bound updated to -262432
28.19/28.25 c BCD2: 261958 <= obj <= 524383
28.19/28.25 c BCD2: #cores=35, #unrelaxed=69, #relaxed=81, #hardened=0
28.19/28.25 c BCD2: #sat=1 #unsat=37 bias=37/38
28.19/28.25 c Solving starts ...
28.19/28.25 c ============================[ Search Statistics ]============================
28.19/28.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.19/28.25 c | | | | Limit GC | Var | Constra
28.19/28.25 c =============================================================================
28.19/28.25 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
28.19/28.28 c 0.0s | 0 | 43 | 0 | 14698 0 | 4730 | 46
28.19/28.28 c #cpu_time = 0.031s
28.19/28.28 c #wall_clock_time = 0.031s
28.19/28.28 c #decision = 43
28.19/28.28 c #random_decision = 0
28.19/28.28 c #conflict = 0
28.19/28.28 c #restart = 0
28.19/28.28 c BCD2: found a new core of size 1: cost of the new core is >=52429
28.19/28.28 c lower bound updated to -210003
28.19/28.28 c BCD2: 314387 <= obj <= 524383
28.19/28.28 c BCD2: #cores=36, #unrelaxed=68, #relaxed=82, #hardened=0
28.19/28.28 c BCD2: #sat=1 #unsat=38 bias=38/39
28.19/28.28 c Solving starts ...
28.19/28.28 c ============================[ Search Statistics ]============================
28.19/28.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.19/28.28 c | | | | Limit GC | Var | Constra
28.19/28.28 c =============================================================================
28.19/28.28 c 0.0s | 0 | 0 | 0 | 14698 0 | 4730 | 46
28.29/28.31 c 0.0s | 0 | 62 | 1 | 14698 0 | 4730 | 46
28.29/28.31 c #cpu_time = 0.032s
28.29/28.31 c #wall_clock_time = 0.032s
28.29/28.31 c #decision = 62
28.29/28.31 c #random_decision = 0
28.29/28.31 c #conflict = 1
28.29/28.31 c #restart = 0
28.29/28.31 c BCD2: relaxing 9 and merging with 1 cores into a new core of size 11: cost of the new core is >=27
28.29/28.31 c lower bound updated to -210002
28.29/28.31 c BCD2: 314388 <= obj <= 524383
28.29/28.31 c BCD2: #cores=36, #unrelaxed=59, #relaxed=91, #hardened=0
28.29/28.31 c BCD2: #sat=1 #unsat=39 bias=39/40
28.29/28.31 c Solving starts ...
28.29/28.31 c ============================[ Search Statistics ]============================
28.29/28.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.29/28.31 c | | | | Limit GC | Var | Constra
28.29/28.31 c =============================================================================
28.29/28.31 c 0.0s | 0 | 0 | 0 | 14698 0 | 4731 | 46
28.29/28.35 c 0.0s | 0 | 54 | 1 | 14698 0 | 4731 | 47
28.29/28.35 c #cpu_time = 0.032s
28.29/28.35 c #wall_clock_time = 0.033s
28.29/28.35 c #decision = 54
28.29/28.35 c #random_decision = 0
28.29/28.35 c #conflict = 1
28.29/28.35 c #restart = 0
28.29/28.35 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 5: cost of the new core is >=27
28.29/28.35 c lower bound updated to -210001
28.29/28.35 c BCD2: 314389 <= obj <= 524383
28.29/28.35 c BCD2: #cores=36, #unrelaxed=56, #relaxed=94, #hardened=0
28.29/28.35 c BCD2: #sat=1 #unsat=40 bias=40/41
28.29/28.35 c Solving starts ...
28.29/28.35 c ============================[ Search Statistics ]============================
28.29/28.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.29/28.35 c | | | | Limit GC | Var | Constra
28.29/28.35 c =============================================================================
28.29/28.35 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 47
28.29/28.38 c 0.0s | 0 | 51 | 0 | 14698 0 | 4734 | 52
28.29/28.38 c #cpu_time = 0.031s
28.29/28.38 c #wall_clock_time = 0.031s
28.29/28.38 c #decision = 51
28.29/28.38 c #random_decision = 0
28.29/28.38 c #conflict = 0
28.29/28.38 c #restart = 0
28.29/28.38 c BCD2: found a new core of size 3: cost of the new core is >=1
28.29/28.38 c lower bound updated to -210000
28.29/28.38 c BCD2: 314390 <= obj <= 524383
28.29/28.38 c BCD2: #cores=37, #unrelaxed=53, #relaxed=97, #hardened=0
28.29/28.38 c BCD2: #sat=1 #unsat=41 bias=41/42
28.29/28.38 c Solving starts ...
28.29/28.38 c ============================[ Search Statistics ]============================
28.29/28.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.29/28.38 c | | | | Limit GC | Var | Constra
28.29/28.38 c =============================================================================
28.29/28.38 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
28.39/28.41 c 0.0s | 0 | 50 | 0 | 14698 0 | 4734 | 52
28.39/28.41 c #cpu_time = 0.031s
28.39/28.41 c #wall_clock_time = 0.031s
28.39/28.41 c #decision = 50
28.39/28.41 c #random_decision = 0
28.39/28.41 c #conflict = 0
28.39/28.41 c #restart = 0
28.39/28.41 c BCD2: found a new core of size 1: cost of the new core is >=103
28.39/28.41 c lower bound updated to -209897
28.39/28.41 c BCD2: 314493 <= obj <= 524383
28.39/28.41 c BCD2: #cores=38, #unrelaxed=52, #relaxed=98, #hardened=0
28.39/28.41 c BCD2: #sat=1 #unsat=42 bias=42/43
28.39/28.41 c Solving starts ...
28.39/28.41 c ============================[ Search Statistics ]============================
28.39/28.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.39/28.41 c | | | | Limit GC | Var | Constra
28.39/28.41 c =============================================================================
28.39/28.41 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
28.39/28.44 c 0.0s | 0 | 51 | 0 | 14698 0 | 4734 | 52
28.39/28.44 c #cpu_time = 0.031s
28.39/28.44 c #wall_clock_time = 0.031s
28.39/28.44 c #decision = 51
28.39/28.44 c #random_decision = 0
28.39/28.44 c #conflict = 0
28.39/28.44 c #restart = 0
28.39/28.44 c BCD2: found a new core of size 1: cost of the new core is >=205
28.39/28.44 c lower bound updated to -209692
28.39/28.44 c BCD2: 314698 <= obj <= 524383
28.39/28.44 c BCD2: #cores=39, #unrelaxed=51, #relaxed=99, #hardened=0
28.39/28.44 c BCD2: #sat=1 #unsat=43 bias=43/44
28.39/28.44 c Solving starts ...
28.39/28.44 c ============================[ Search Statistics ]============================
28.39/28.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.39/28.44 c | | | | Limit GC | Var | Constra
28.39/28.44 c =============================================================================
28.39/28.44 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
28.39/28.47 c 0.0s | 0 | 52 | 0 | 14698 0 | 4734 | 52
28.39/28.47 c #cpu_time = 0.029s
28.39/28.47 c #wall_clock_time = 0.030s
28.39/28.47 c #decision = 52
28.39/28.47 c #random_decision = 0
28.39/28.47 c #conflict = 0
28.39/28.47 c #restart = 0
28.39/28.47 c BCD2: found a new core of size 1: cost of the new core is >=410
28.39/28.47 c lower bound updated to -209282
28.39/28.47 c BCD2: 315108 <= obj <= 524383
28.39/28.47 c BCD2: #cores=40, #unrelaxed=50, #relaxed=100, #hardened=0
28.39/28.47 c BCD2: #sat=1 #unsat=44 bias=44/45
28.39/28.47 c Solving starts ...
28.39/28.47 c ============================[ Search Statistics ]============================
28.39/28.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.39/28.47 c | | | | Limit GC | Var | Constra
28.39/28.47 c =============================================================================
28.39/28.47 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
28.49/28.51 c 0.0s | 0 | 53 | 0 | 14698 0 | 4734 | 52
28.49/28.51 c #cpu_time = 0.032s
28.49/28.51 c #wall_clock_time = 0.032s
28.49/28.51 c #decision = 53
28.49/28.51 c #random_decision = 0
28.49/28.51 c #conflict = 0
28.49/28.51 c #restart = 0
28.49/28.51 c BCD2: found a new core of size 1: cost of the new core is >=820
28.49/28.51 c lower bound updated to -208462
28.49/28.51 c BCD2: 315928 <= obj <= 524383
28.49/28.51 c BCD2: #cores=41, #unrelaxed=49, #relaxed=101, #hardened=0
28.49/28.51 c BCD2: #sat=1 #unsat=45 bias=45/46
28.49/28.51 c Solving starts ...
28.49/28.51 c ============================[ Search Statistics ]============================
28.49/28.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.49/28.51 c | | | | Limit GC | Var | Constra
28.49/28.51 c =============================================================================
28.49/28.51 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
28.49/28.54 c 0.0s | 0 | 54 | 0 | 14698 0 | 4734 | 52
28.49/28.54 c #cpu_time = 0.031s
28.49/28.54 c #wall_clock_time = 0.031s
28.49/28.54 c #decision = 54
28.49/28.54 c #random_decision = 0
28.49/28.54 c #conflict = 0
28.49/28.54 c #restart = 0
28.49/28.54 c BCD2: found a new core of size 1: cost of the new core is >=1639
28.49/28.54 c lower bound updated to -206823
28.49/28.54 c BCD2: 317567 <= obj <= 524383
28.49/28.54 c BCD2: #cores=42, #unrelaxed=48, #relaxed=102, #hardened=0
28.49/28.54 c BCD2: #sat=1 #unsat=46 bias=46/47
28.49/28.54 c Solving starts ...
28.49/28.54 c ============================[ Search Statistics ]============================
28.49/28.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.49/28.54 c | | | | Limit GC | Var | Constra
28.49/28.54 c =============================================================================
28.49/28.54 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
28.49/28.57 c 0.0s | 0 | 55 | 0 | 14698 0 | 4734 | 52
28.49/28.57 c #cpu_time = 0.031s
28.49/28.57 c #wall_clock_time = 0.031s
28.49/28.57 c #decision = 55
28.49/28.57 c #random_decision = 0
28.49/28.57 c #conflict = 0
28.49/28.57 c #restart = 0
28.49/28.57 c BCD2: found a new core of size 1: cost of the new core is >=3277
28.49/28.57 c lower bound updated to -203546
28.49/28.57 c BCD2: 320844 <= obj <= 524383
28.49/28.57 c BCD2: #cores=43, #unrelaxed=47, #relaxed=103, #hardened=0
28.49/28.57 c BCD2: #sat=1 #unsat=47 bias=47/48
28.49/28.57 c Solving starts ...
28.49/28.57 c ============================[ Search Statistics ]============================
28.49/28.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.49/28.57 c | | | | Limit GC | Var | Constra
28.49/28.57 c =============================================================================
28.49/28.57 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
28.49/28.60 c 0.0s | 0 | 56 | 0 | 14698 0 | 4734 | 52
28.49/28.60 c #cpu_time = 0.031s
28.49/28.60 c #wall_clock_time = 0.031s
28.49/28.60 c #decision = 56
28.49/28.60 c #random_decision = 0
28.49/28.60 c #conflict = 0
28.49/28.60 c #restart = 0
28.49/28.60 c BCD2: found a new core of size 1: cost of the new core is >=6554
28.49/28.60 c lower bound updated to -196992
28.49/28.60 c BCD2: 327398 <= obj <= 524383
28.49/28.60 c BCD2: #cores=44, #unrelaxed=46, #relaxed=104, #hardened=0
28.49/28.60 c BCD2: #sat=1 #unsat=48 bias=48/49
28.49/28.60 c Solving starts ...
28.49/28.60 c ============================[ Search Statistics ]============================
28.49/28.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.49/28.60 c | | | | Limit GC | Var | Constra
28.49/28.60 c =============================================================================
28.49/28.60 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
28.59/28.63 c 0.0s | 0 | 57 | 0 | 14698 0 | 4734 | 52
28.59/28.63 c #cpu_time = 0.031s
28.59/28.63 c #wall_clock_time = 0.031s
28.59/28.63 c #decision = 57
28.59/28.63 c #random_decision = 0
28.59/28.63 c #conflict = 0
28.59/28.63 c #restart = 0
28.59/28.63 c BCD2: found a new core of size 1: cost of the new core is >=13108
28.59/28.63 c lower bound updated to -183884
28.59/28.63 c BCD2: 340506 <= obj <= 524383
28.59/28.63 c BCD2: #cores=45, #unrelaxed=45, #relaxed=105, #hardened=0
28.59/28.63 c BCD2: #sat=1 #unsat=49 bias=49/50
28.59/28.63 c Solving starts ...
28.59/28.63 c ============================[ Search Statistics ]============================
28.59/28.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.59/28.63 c | | | | Limit GC | Var | Constra
28.59/28.63 c =============================================================================
28.59/28.63 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
28.59/28.66 c 0.0s | 0 | 58 | 0 | 14698 0 | 4734 | 52
28.59/28.66 c #cpu_time = 0.031s
28.59/28.66 c #wall_clock_time = 0.031s
28.59/28.66 c #decision = 58
28.59/28.66 c #random_decision = 0
28.59/28.66 c #conflict = 0
28.59/28.66 c #restart = 0
28.59/28.66 c BCD2: found a new core of size 1: cost of the new core is >=26215
28.59/28.66 c lower bound updated to -157669
28.59/28.66 c BCD2: 366721 <= obj <= 524383
28.59/28.66 c BCD2: #cores=46, #unrelaxed=44, #relaxed=106, #hardened=0
28.59/28.66 c BCD2: #sat=1 #unsat=50 bias=50/51
28.59/28.66 c Solving starts ...
28.59/28.66 c ============================[ Search Statistics ]============================
28.59/28.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.59/28.66 c | | | | Limit GC | Var | Constra
28.59/28.66 c =============================================================================
28.59/28.66 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
28.59/28.70 c 0.0s | 0 | 59 | 0 | 14698 0 | 4734 | 52
28.59/28.70 c #cpu_time = 0.031s
28.59/28.70 c #wall_clock_time = 0.031s
28.59/28.70 c #decision = 59
28.59/28.70 c #random_decision = 0
28.59/28.70 c #conflict = 0
28.59/28.70 c #restart = 0
28.59/28.70 c BCD2: found a new core of size 1: cost of the new core is >=52429
28.59/28.70 c lower bound updated to -105240
28.59/28.70 c BCD2: 419150 <= obj <= 524383
28.59/28.70 c BCD2: #cores=47, #unrelaxed=43, #relaxed=107, #hardened=0
28.59/28.70 c BCD2: #sat=1 #unsat=51 bias=51/52
28.59/28.70 c Solving starts ...
28.59/28.70 c ============================[ Search Statistics ]============================
28.59/28.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.59/28.70 c | | | | Limit GC | Var | Constra
28.59/28.70 c =============================================================================
28.59/28.70 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
28.69/28.73 c 0.0s | 0 | 60 | 0 | 14698 0 | 4734 | 52
28.69/28.73 c #cpu_time = 0.029s
28.69/28.73 c #wall_clock_time = 0.030s
28.69/28.73 c #decision = 60
28.69/28.73 c #random_decision = 0
28.69/28.73 c #conflict = 0
28.69/28.73 c #restart = 0
28.69/28.73 c BCD2: found a new core of size 1: cost of the new core is >=1
28.69/28.73 c lower bound updated to -105239
28.69/28.73 c BCD2: 419151 <= obj <= 524383
28.69/28.73 c BCD2: #cores=48, #unrelaxed=42, #relaxed=108, #hardened=0
28.69/28.73 c BCD2: #sat=1 #unsat=52 bias=52/53
28.69/28.73 c Solving starts ...
28.69/28.73 c ============================[ Search Statistics ]============================
28.69/28.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.69/28.73 c | | | | Limit GC | Var | Constra
28.69/28.73 c =============================================================================
28.69/28.73 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
28.69/28.76 c 0.0s | 0 | 61 | 0 | 14698 0 | 4734 | 52
28.69/28.76 c #cpu_time = 0.031s
28.69/28.76 c #wall_clock_time = 0.032s
28.69/28.76 c #decision = 61
28.69/28.76 c #random_decision = 0
28.69/28.76 c #conflict = 0
28.69/28.76 c #restart = 0
28.69/28.76 c BCD2: found a new core of size 1: cost of the new core is >=1
28.69/28.76 c lower bound updated to -105238
28.69/28.76 c BCD2: 419152 <= obj <= 524383
28.69/28.76 c BCD2: #cores=49, #unrelaxed=41, #relaxed=109, #hardened=0
28.69/28.76 c BCD2: #sat=1 #unsat=53 bias=53/54
28.69/28.76 c Solving starts ...
28.69/28.76 c ============================[ Search Statistics ]============================
28.69/28.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.69/28.76 c | | | | Limit GC | Var | Constra
28.69/28.76 c =============================================================================
28.69/28.76 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
28.69/28.79 c 0.0s | 0 | 62 | 0 | 14698 0 | 4734 | 52
28.69/28.79 c #cpu_time = 0.031s
28.69/28.79 c #wall_clock_time = 0.031s
28.69/28.79 c #decision = 62
28.69/28.79 c #random_decision = 0
28.69/28.79 c #conflict = 0
28.69/28.79 c #restart = 0
28.69/28.79 c BCD2: found a new core of size 1: cost of the new core is >=1
28.69/28.79 c lower bound updated to -105237
28.69/28.79 c BCD2: 419153 <= obj <= 524383
28.69/28.79 c BCD2: #cores=50, #unrelaxed=40, #relaxed=110, #hardened=0
28.69/28.79 c BCD2: #sat=1 #unsat=54 bias=54/55
28.69/28.79 c Solving starts ...
28.69/28.79 c ============================[ Search Statistics ]============================
28.69/28.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.69/28.79 c | | | | Limit GC | Var | Constra
28.69/28.79 c =============================================================================
28.69/28.79 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
28.79/28.82 c 0.0s | 0 | 63 | 0 | 14698 0 | 4734 | 52
28.79/28.82 c #cpu_time = 0.031s
28.79/28.82 c #wall_clock_time = 0.031s
28.79/28.82 c #decision = 63
28.79/28.82 c #random_decision = 0
28.79/28.82 c #conflict = 0
28.79/28.82 c #restart = 0
28.79/28.82 c BCD2: found a new core of size 1: cost of the new core is >=1
28.79/28.82 c lower bound updated to -105236
28.79/28.82 c BCD2: 419154 <= obj <= 524383
28.79/28.82 c BCD2: #cores=51, #unrelaxed=39, #relaxed=111, #hardened=0
28.79/28.82 c BCD2: #sat=1 #unsat=55 bias=55/56
28.79/28.82 c Solving starts ...
28.79/28.82 c ============================[ Search Statistics ]============================
28.79/28.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.79/28.82 c | | | | Limit GC | Var | Constra
28.79/28.82 c =============================================================================
28.79/28.82 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
28.79/28.85 c 0.0s | 0 | 64 | 0 | 14698 0 | 4734 | 52
28.79/28.85 c #cpu_time = 0.031s
28.79/28.85 c #wall_clock_time = 0.031s
28.79/28.85 c #decision = 64
28.79/28.85 c #random_decision = 0
28.79/28.85 c #conflict = 0
28.79/28.85 c #restart = 0
28.79/28.85 c BCD2: found a new core of size 1: cost of the new core is >=1
28.79/28.85 c lower bound updated to -105235
28.79/28.85 c BCD2: 419155 <= obj <= 524383
28.79/28.85 c BCD2: #cores=52, #unrelaxed=38, #relaxed=112, #hardened=0
28.79/28.85 c BCD2: #sat=1 #unsat=56 bias=56/57
28.79/28.85 c Solving starts ...
28.79/28.85 c ============================[ Search Statistics ]============================
28.79/28.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.79/28.85 c | | | | Limit GC | Var | Constra
28.79/28.85 c =============================================================================
28.79/28.85 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
28.79/28.89 c 0.0s | 0 | 65 | 0 | 14698 0 | 4734 | 52
28.79/28.89 c #cpu_time = 0.031s
28.79/28.89 c #wall_clock_time = 0.031s
28.79/28.89 c #decision = 65
28.79/28.89 c #random_decision = 0
28.79/28.89 c #conflict = 0
28.79/28.89 c #restart = 0
28.79/28.89 c BCD2: found a new core of size 1: cost of the new core is >=1
28.79/28.89 c lower bound updated to -105234
28.79/28.89 c BCD2: 419156 <= obj <= 524383
28.79/28.89 c BCD2: #cores=53, #unrelaxed=37, #relaxed=113, #hardened=0
28.79/28.89 c BCD2: #sat=1 #unsat=57 bias=57/58
28.79/28.89 c Solving starts ...
28.79/28.89 c ============================[ Search Statistics ]============================
28.79/28.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.79/28.89 c | | | | Limit GC | Var | Constra
28.79/28.89 c =============================================================================
28.79/28.89 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
28.89/28.92 c 0.0s | 0 | 66 | 0 | 14698 0 | 4734 | 52
28.89/28.92 c #cpu_time = 0.031s
28.89/28.92 c #wall_clock_time = 0.031s
28.89/28.92 c #decision = 66
28.89/28.92 c #random_decision = 0
28.89/28.92 c #conflict = 0
28.89/28.92 c #restart = 0
28.89/28.92 c BCD2: found a new core of size 1: cost of the new core is >=1
28.89/28.92 c lower bound updated to -105233
28.89/28.92 c BCD2: 419157 <= obj <= 524383
28.89/28.92 c BCD2: #cores=54, #unrelaxed=36, #relaxed=114, #hardened=0
28.89/28.92 c BCD2: #sat=1 #unsat=58 bias=58/59
28.89/28.92 c Solving starts ...
28.89/28.92 c ============================[ Search Statistics ]============================
28.89/28.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.89/28.92 c | | | | Limit GC | Var | Constra
28.89/28.92 c =============================================================================
28.89/28.92 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
28.89/28.95 c 0.0s | 0 | 67 | 0 | 14698 0 | 4734 | 52
28.89/28.95 c #cpu_time = 0.031s
28.89/28.95 c #wall_clock_time = 0.031s
28.89/28.95 c #decision = 67
28.89/28.95 c #random_decision = 0
28.89/28.95 c #conflict = 0
28.89/28.95 c #restart = 0
28.89/28.95 c BCD2: found a new core of size 1: cost of the new core is >=1
28.89/28.95 c lower bound updated to -105232
28.89/28.95 c BCD2: 419158 <= obj <= 524383
28.89/28.95 c BCD2: #cores=55, #unrelaxed=35, #relaxed=115, #hardened=0
28.89/28.95 c BCD2: #sat=1 #unsat=59 bias=59/60
28.89/28.95 c Solving starts ...
28.89/28.95 c ============================[ Search Statistics ]============================
28.89/28.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.89/28.95 c | | | | Limit GC | Var | Constra
28.89/28.95 c =============================================================================
28.89/28.95 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
28.89/28.98 c 0.0s | 0 | 68 | 0 | 14698 0 | 4734 | 52
28.89/28.98 c #cpu_time = 0.029s
28.89/28.98 c #wall_clock_time = 0.030s
28.89/28.98 c #decision = 68
28.89/28.98 c #random_decision = 0
28.89/28.98 c #conflict = 0
28.89/28.98 c #restart = 0
28.89/28.98 c BCD2: found a new core of size 1: cost of the new core is >=1
28.89/28.98 c lower bound updated to -105231
28.89/28.98 c BCD2: 419159 <= obj <= 524383
28.89/28.98 c BCD2: #cores=56, #unrelaxed=34, #relaxed=116, #hardened=0
28.89/28.98 c BCD2: #sat=1 #unsat=60 bias=60/61
28.89/28.98 c Solving starts ...
28.89/28.98 c ============================[ Search Statistics ]============================
28.89/28.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.89/28.98 c | | | | Limit GC | Var | Constra
28.89/28.98 c =============================================================================
28.89/28.98 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
28.99/29.01 c 0.0s | 0 | 69 | 0 | 14698 0 | 4734 | 52
28.99/29.01 c #cpu_time = 0.031s
28.99/29.01 c #wall_clock_time = 0.032s
28.99/29.01 c #decision = 69
28.99/29.01 c #random_decision = 0
28.99/29.01 c #conflict = 0
28.99/29.01 c #restart = 0
28.99/29.01 c BCD2: found a new core of size 1: cost of the new core is >=1
28.99/29.01 c lower bound updated to -105230
28.99/29.01 c BCD2: 419160 <= obj <= 524383
28.99/29.01 c BCD2: #cores=57, #unrelaxed=33, #relaxed=117, #hardened=0
28.99/29.01 c BCD2: #sat=1 #unsat=61 bias=61/62
28.99/29.01 c Solving starts ...
28.99/29.01 c ============================[ Search Statistics ]============================
28.99/29.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.99/29.01 c | | | | Limit GC | Var | Constra
28.99/29.01 c =============================================================================
28.99/29.01 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
28.99/29.04 c 0.0s | 0 | 70 | 0 | 14698 0 | 4734 | 52
28.99/29.04 c #cpu_time = 0.031s
28.99/29.04 c #wall_clock_time = 0.031s
28.99/29.04 c #decision = 70
28.99/29.04 c #random_decision = 0
28.99/29.04 c #conflict = 0
28.99/29.04 c #restart = 0
28.99/29.04 c BCD2: found a new core of size 1: cost of the new core is >=1
28.99/29.04 c lower bound updated to -105229
28.99/29.04 c BCD2: 419161 <= obj <= 524383
28.99/29.04 c BCD2: #cores=58, #unrelaxed=32, #relaxed=118, #hardened=0
28.99/29.04 c BCD2: #sat=1 #unsat=62 bias=62/63
28.99/29.04 c Solving starts ...
28.99/29.04 c ============================[ Search Statistics ]============================
28.99/29.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.99/29.04 c | | | | Limit GC | Var | Constra
28.99/29.04 c =============================================================================
28.99/29.04 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
28.99/29.08 c 0.0s | 0 | 71 | 0 | 14698 0 | 4734 | 52
28.99/29.08 c #cpu_time = 0.031s
28.99/29.08 c #wall_clock_time = 0.031s
28.99/29.08 c #decision = 71
28.99/29.08 c #random_decision = 0
28.99/29.08 c #conflict = 0
28.99/29.08 c #restart = 0
28.99/29.08 c BCD2: found a new core of size 1: cost of the new core is >=1
28.99/29.08 c lower bound updated to -105228
28.99/29.08 c BCD2: 419162 <= obj <= 524383
28.99/29.08 c BCD2: #cores=59, #unrelaxed=31, #relaxed=119, #hardened=0
28.99/29.08 c BCD2: #sat=1 #unsat=63 bias=63/64
28.99/29.08 c Solving starts ...
28.99/29.08 c ============================[ Search Statistics ]============================
28.99/29.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
28.99/29.08 c | | | | Limit GC | Var | Constra
28.99/29.08 c =============================================================================
28.99/29.08 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
29.09/29.11 c 0.0s | 0 | 72 | 0 | 14698 0 | 4734 | 52
29.09/29.11 c #cpu_time = 0.031s
29.09/29.11 c #wall_clock_time = 0.031s
29.09/29.11 c #decision = 72
29.09/29.11 c #random_decision = 0
29.09/29.11 c #conflict = 0
29.09/29.11 c #restart = 0
29.09/29.11 c BCD2: found a new core of size 1: cost of the new core is >=1
29.09/29.11 c lower bound updated to -105227
29.09/29.11 c BCD2: 419163 <= obj <= 524383
29.09/29.11 c BCD2: #cores=60, #unrelaxed=30, #relaxed=120, #hardened=0
29.09/29.11 c BCD2: #sat=1 #unsat=64 bias=64/65
29.09/29.11 c Solving starts ...
29.09/29.11 c ============================[ Search Statistics ]============================
29.09/29.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.09/29.11 c | | | | Limit GC | Var | Constra
29.09/29.11 c =============================================================================
29.09/29.11 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
29.09/29.14 c 0.0s | 0 | 73 | 0 | 14698 0 | 4734 | 52
29.09/29.14 c #cpu_time = 0.031s
29.09/29.14 c #wall_clock_time = 0.031s
29.09/29.14 c #decision = 73
29.09/29.14 c #random_decision = 0
29.09/29.14 c #conflict = 0
29.09/29.14 c #restart = 0
29.09/29.14 c BCD2: found a new core of size 1: cost of the new core is >=1
29.09/29.14 c lower bound updated to -105226
29.09/29.14 c BCD2: 419164 <= obj <= 524383
29.09/29.14 c BCD2: #cores=61, #unrelaxed=29, #relaxed=121, #hardened=0
29.09/29.14 c BCD2: #sat=1 #unsat=65 bias=65/66
29.09/29.14 c Solving starts ...
29.09/29.14 c ============================[ Search Statistics ]============================
29.09/29.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.09/29.14 c | | | | Limit GC | Var | Constra
29.09/29.14 c =============================================================================
29.09/29.14 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
29.09/29.17 c 0.0s | 0 | 74 | 0 | 14698 0 | 4734 | 52
29.09/29.17 c #cpu_time = 0.031s
29.09/29.17 c #wall_clock_time = 0.031s
29.09/29.17 c #decision = 74
29.09/29.17 c #random_decision = 0
29.09/29.17 c #conflict = 0
29.09/29.17 c #restart = 0
29.09/29.17 c BCD2: found a new core of size 1: cost of the new core is >=2
29.09/29.17 c lower bound updated to -105224
29.09/29.17 c BCD2: 419166 <= obj <= 524383
29.09/29.17 c BCD2: #cores=62, #unrelaxed=28, #relaxed=122, #hardened=0
29.09/29.17 c BCD2: #sat=1 #unsat=66 bias=66/67
29.09/29.17 c Solving starts ...
29.09/29.17 c ============================[ Search Statistics ]============================
29.09/29.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.09/29.17 c | | | | Limit GC | Var | Constra
29.09/29.17 c =============================================================================
29.09/29.17 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
29.19/29.20 c 0.0s | 0 | 75 | 0 | 14698 0 | 4734 | 52
29.19/29.20 c #cpu_time = 0.031s
29.19/29.20 c #wall_clock_time = 0.031s
29.19/29.20 c #decision = 75
29.19/29.20 c #random_decision = 0
29.19/29.20 c #conflict = 0
29.19/29.20 c #restart = 0
29.19/29.20 c BCD2: found a new core of size 1: cost of the new core is >=4
29.19/29.20 c lower bound updated to -105220
29.19/29.20 c BCD2: 419170 <= obj <= 524383
29.19/29.20 c BCD2: #cores=63, #unrelaxed=27, #relaxed=123, #hardened=0
29.19/29.20 c BCD2: #sat=1 #unsat=67 bias=67/68
29.19/29.20 c Solving starts ...
29.19/29.20 c ============================[ Search Statistics ]============================
29.19/29.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.19/29.20 c | | | | Limit GC | Var | Constra
29.19/29.20 c =============================================================================
29.19/29.20 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
29.19/29.23 c 0.0s | 0 | 76 | 0 | 14698 0 | 4734 | 52
29.19/29.23 c #cpu_time = 0.029s
29.19/29.23 c #wall_clock_time = 0.030s
29.19/29.23 c #decision = 76
29.19/29.23 c #random_decision = 0
29.19/29.23 c #conflict = 0
29.19/29.23 c #restart = 0
29.19/29.23 c BCD2: found a new core of size 1: cost of the new core is >=7
29.19/29.23 c lower bound updated to -105213
29.19/29.23 c BCD2: 419177 <= obj <= 524383
29.19/29.23 c BCD2: #cores=64, #unrelaxed=26, #relaxed=124, #hardened=0
29.19/29.23 c BCD2: #sat=1 #unsat=68 bias=68/69
29.19/29.23 c Solving starts ...
29.19/29.23 c ============================[ Search Statistics ]============================
29.19/29.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.19/29.23 c | | | | Limit GC | Var | Constra
29.19/29.23 c =============================================================================
29.19/29.23 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
29.19/29.27 c 0.0s | 0 | 77 | 0 | 14698 0 | 4734 | 52
29.19/29.27 c #cpu_time = 0.031s
29.19/29.27 c #wall_clock_time = 0.032s
29.19/29.27 c #decision = 77
29.19/29.27 c #random_decision = 0
29.19/29.27 c #conflict = 0
29.19/29.27 c #restart = 0
29.19/29.27 c BCD2: found a new core of size 1: cost of the new core is >=13
29.19/29.27 c lower bound updated to -105200
29.19/29.27 c BCD2: 419190 <= obj <= 524383
29.19/29.27 c BCD2: #cores=65, #unrelaxed=25, #relaxed=125, #hardened=0
29.19/29.27 c BCD2: #sat=1 #unsat=69 bias=69/70
29.19/29.27 c Solving starts ...
29.19/29.27 c ============================[ Search Statistics ]============================
29.19/29.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.19/29.27 c | | | | Limit GC | Var | Constra
29.19/29.27 c =============================================================================
29.19/29.27 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
29.29/29.30 c 0.0s | 0 | 78 | 0 | 14698 0 | 4734 | 52
29.29/29.30 c #cpu_time = 0.031s
29.29/29.30 c #wall_clock_time = 0.031s
29.29/29.30 c #decision = 78
29.29/29.30 c #random_decision = 0
29.29/29.30 c #conflict = 0
29.29/29.30 c #restart = 0
29.29/29.30 c BCD2: found a new core of size 1: cost of the new core is >=26
29.29/29.30 c lower bound updated to -105174
29.29/29.30 c BCD2: 419216 <= obj <= 524383
29.29/29.30 c BCD2: #cores=66, #unrelaxed=24, #relaxed=126, #hardened=0
29.29/29.30 c BCD2: #sat=1 #unsat=70 bias=70/71
29.29/29.30 c Solving starts ...
29.29/29.30 c ============================[ Search Statistics ]============================
29.29/29.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.29/29.30 c | | | | Limit GC | Var | Constra
29.29/29.30 c =============================================================================
29.29/29.30 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
29.29/29.33 c 0.0s | 0 | 79 | 0 | 14698 0 | 4734 | 52
29.29/29.33 c #cpu_time = 0.031s
29.29/29.33 c #wall_clock_time = 0.031s
29.29/29.33 c #decision = 79
29.29/29.33 c #random_decision = 0
29.29/29.33 c #conflict = 0
29.29/29.33 c #restart = 0
29.29/29.33 c BCD2: found a new core of size 1: cost of the new core is >=52
29.29/29.33 c lower bound updated to -105122
29.29/29.33 c BCD2: 419268 <= obj <= 524383
29.29/29.33 c BCD2: #cores=67, #unrelaxed=23, #relaxed=127, #hardened=0
29.29/29.33 c BCD2: #sat=1 #unsat=71 bias=71/72
29.29/29.33 c Solving starts ...
29.29/29.33 c ============================[ Search Statistics ]============================
29.29/29.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.29/29.33 c | | | | Limit GC | Var | Constra
29.29/29.33 c =============================================================================
29.29/29.33 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
29.29/29.36 c 0.0s | 0 | 80 | 0 | 14698 0 | 4734 | 52
29.29/29.36 c #cpu_time = 0.031s
29.29/29.36 c #wall_clock_time = 0.031s
29.29/29.36 c #decision = 80
29.29/29.36 c #random_decision = 0
29.29/29.36 c #conflict = 0
29.29/29.36 c #restart = 0
29.29/29.36 c BCD2: found a new core of size 1: cost of the new core is >=103
29.29/29.36 c lower bound updated to -105019
29.29/29.36 c BCD2: 419371 <= obj <= 524383
29.29/29.36 c BCD2: #cores=68, #unrelaxed=22, #relaxed=128, #hardened=0
29.29/29.36 c BCD2: #sat=1 #unsat=72 bias=72/73
29.29/29.36 c Solving starts ...
29.29/29.36 c ============================[ Search Statistics ]============================
29.29/29.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.29/29.36 c | | | | Limit GC | Var | Constra
29.29/29.36 c =============================================================================
29.29/29.36 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
29.29/29.39 c 0.0s | 0 | 81 | 0 | 14698 0 | 4734 | 52
29.29/29.39 c #cpu_time = 0.031s
29.29/29.39 c #wall_clock_time = 0.031s
29.29/29.39 c #decision = 81
29.29/29.39 c #random_decision = 0
29.29/29.39 c #conflict = 0
29.29/29.39 c #restart = 0
29.29/29.39 c BCD2: found a new core of size 1: cost of the new core is >=205
29.29/29.39 c lower bound updated to -104814
29.29/29.39 c BCD2: 419576 <= obj <= 524383
29.29/29.39 c BCD2: #cores=69, #unrelaxed=21, #relaxed=129, #hardened=0
29.29/29.39 c BCD2: #sat=1 #unsat=73 bias=73/74
29.29/29.39 c Solving starts ...
29.29/29.39 c ============================[ Search Statistics ]============================
29.29/29.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.29/29.39 c | | | | Limit GC | Var | Constra
29.29/29.39 c =============================================================================
29.29/29.39 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
29.39/29.42 c 0.0s | 0 | 82 | 0 | 14698 0 | 4734 | 52
29.39/29.42 c #cpu_time = 0.029s
29.39/29.42 c #wall_clock_time = 0.030s
29.39/29.42 c #decision = 82
29.39/29.42 c #random_decision = 0
29.39/29.42 c #conflict = 0
29.39/29.42 c #restart = 0
29.39/29.42 c BCD2: found a new core of size 1: cost of the new core is >=410
29.39/29.42 c lower bound updated to -104404
29.39/29.42 c BCD2: 419986 <= obj <= 524383
29.39/29.42 c BCD2: #cores=70, #unrelaxed=20, #relaxed=130, #hardened=0
29.39/29.42 c BCD2: #sat=1 #unsat=74 bias=74/75
29.39/29.42 c Solving starts ...
29.39/29.42 c ============================[ Search Statistics ]============================
29.39/29.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.39/29.42 c | | | | Limit GC | Var | Constra
29.39/29.42 c =============================================================================
29.39/29.42 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
29.39/29.46 c 0.0s | 0 | 83 | 0 | 14698 0 | 4734 | 52
29.39/29.46 c #cpu_time = 0.031s
29.39/29.46 c #wall_clock_time = 0.032s
29.39/29.46 c #decision = 83
29.39/29.46 c #random_decision = 0
29.39/29.46 c #conflict = 0
29.39/29.46 c #restart = 0
29.39/29.46 c BCD2: found a new core of size 1: cost of the new core is >=820
29.39/29.46 c lower bound updated to -103584
29.39/29.46 c BCD2: 420806 <= obj <= 524383
29.39/29.46 c BCD2: #cores=71, #unrelaxed=19, #relaxed=131, #hardened=0
29.39/29.46 c BCD2: #sat=1 #unsat=75 bias=75/76
29.39/29.46 c Solving starts ...
29.39/29.46 c ============================[ Search Statistics ]============================
29.39/29.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.39/29.46 c | | | | Limit GC | Var | Constra
29.39/29.46 c =============================================================================
29.39/29.46 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
29.39/29.49 c 0.0s | 0 | 84 | 0 | 14698 0 | 4734 | 52
29.39/29.49 c #cpu_time = 0.031s
29.39/29.49 c #wall_clock_time = 0.031s
29.39/29.49 c #decision = 84
29.39/29.49 c #random_decision = 0
29.39/29.49 c #conflict = 0
29.39/29.49 c #restart = 0
29.39/29.49 c BCD2: found a new core of size 1: cost of the new core is >=1639
29.39/29.49 c lower bound updated to -101945
29.39/29.49 c BCD2: 422445 <= obj <= 524383
29.39/29.49 c BCD2: #cores=72, #unrelaxed=18, #relaxed=132, #hardened=0
29.39/29.49 c BCD2: #sat=1 #unsat=76 bias=76/77
29.39/29.49 c Solving starts ...
29.39/29.49 c ============================[ Search Statistics ]============================
29.39/29.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.39/29.49 c | | | | Limit GC | Var | Constra
29.39/29.49 c =============================================================================
29.39/29.49 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
29.49/29.52 c 0.0s | 0 | 85 | 0 | 14698 0 | 4734 | 52
29.49/29.52 c #cpu_time = 0.031s
29.49/29.52 c #wall_clock_time = 0.031s
29.49/29.52 c #decision = 85
29.49/29.52 c #random_decision = 0
29.49/29.52 c #conflict = 0
29.49/29.52 c #restart = 0
29.49/29.52 c BCD2: found a new core of size 1: cost of the new core is >=3277
29.49/29.52 c lower bound updated to -98668
29.49/29.52 c BCD2: 425722 <= obj <= 524383
29.49/29.52 c BCD2: #cores=73, #unrelaxed=17, #relaxed=133, #hardened=0
29.49/29.52 c BCD2: #sat=1 #unsat=77 bias=77/78
29.49/29.52 c Solving starts ...
29.49/29.52 c ============================[ Search Statistics ]============================
29.49/29.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.49/29.52 c | | | | Limit GC | Var | Constra
29.49/29.52 c =============================================================================
29.49/29.52 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
29.49/29.55 c 0.0s | 0 | 86 | 0 | 14698 0 | 4734 | 52
29.49/29.55 c #cpu_time = 0.031s
29.49/29.55 c #wall_clock_time = 0.031s
29.49/29.55 c #decision = 86
29.49/29.55 c #random_decision = 0
29.49/29.55 c #conflict = 0
29.49/29.55 c #restart = 0
29.49/29.55 c BCD2: found a new core of size 1: cost of the new core is >=6554
29.49/29.55 c lower bound updated to -92114
29.49/29.55 c BCD2: 432276 <= obj <= 524383
29.49/29.55 c BCD2: #cores=74, #unrelaxed=16, #relaxed=134, #hardened=0
29.49/29.55 c BCD2: #sat=1 #unsat=78 bias=78/79
29.49/29.55 c Solving starts ...
29.49/29.55 c ============================[ Search Statistics ]============================
29.49/29.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.49/29.55 c | | | | Limit GC | Var | Constra
29.49/29.55 c =============================================================================
29.49/29.55 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
29.49/29.58 c 0.0s | 0 | 87 | 0 | 14698 0 | 4734 | 52
29.49/29.58 c #cpu_time = 0.031s
29.49/29.58 c #wall_clock_time = 0.031s
29.49/29.58 c #decision = 87
29.49/29.58 c #random_decision = 0
29.49/29.58 c #conflict = 0
29.49/29.58 c #restart = 0
29.49/29.58 c BCD2: found a new core of size 1: cost of the new core is >=13108
29.49/29.58 c lower bound updated to -79006
29.49/29.58 c BCD2: 445384 <= obj <= 524383
29.49/29.58 c BCD2: #cores=75, #unrelaxed=15, #relaxed=135, #hardened=0
29.49/29.58 c BCD2: #sat=1 #unsat=79 bias=79/80
29.49/29.58 c Solving starts ...
29.49/29.58 c ============================[ Search Statistics ]============================
29.49/29.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.49/29.58 c | | | | Limit GC | Var | Constra
29.49/29.58 c =============================================================================
29.49/29.58 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
29.59/29.61 c 0.0s | 0 | 88 | 0 | 14698 0 | 4734 | 52
29.59/29.61 c #cpu_time = 0.030s
29.59/29.61 c #wall_clock_time = 0.030s
29.59/29.61 c #decision = 88
29.59/29.61 c #random_decision = 0
29.59/29.61 c #conflict = 0
29.59/29.61 c #restart = 0
29.59/29.61 c BCD2: found a new core of size 1: cost of the new core is >=26215
29.59/29.61 c lower bound updated to -52791
29.59/29.61 c BCD2: 471599 <= obj <= 524383
29.59/29.61 c BCD2: #cores=76, #unrelaxed=14, #relaxed=136, #hardened=0
29.59/29.61 c BCD2: #sat=1 #unsat=80 bias=80/81
29.59/29.61 c Solving starts ...
29.59/29.61 c ============================[ Search Statistics ]============================
29.59/29.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.59/29.61 c | | | | Limit GC | Var | Constra
29.59/29.61 c =============================================================================
29.59/29.61 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
29.59/29.65 c 0.0s | 0 | 89 | 0 | 14698 0 | 4734 | 52
29.59/29.65 c #cpu_time = 0.032s
29.59/29.65 c #wall_clock_time = 0.032s
29.59/29.65 c #decision = 89
29.59/29.65 c #random_decision = 0
29.59/29.65 c #conflict = 0
29.59/29.65 c #restart = 0
29.59/29.65 c BCD2: found a new core of size 1: cost of the new core is >=52429
29.59/29.65 c lower bound updated to -362
29.59/29.65 c BCD2: 524028 <= obj <= 524383
29.59/29.65 c BCD2: #cores=77, #unrelaxed=13, #relaxed=137, #hardened=0
29.59/29.65 c BCD2: #sat=1 #unsat=81 bias=81/82
29.59/29.65 c Solving starts ...
29.59/29.65 c ============================[ Search Statistics ]============================
29.59/29.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
29.59/29.65 c | | | | Limit GC | Var | Constra
29.59/29.65 c =============================================================================
29.59/29.65 c 0.0s | 0 | 0 | 0 | 14698 0 | 4734 | 52
29.69/29.73 c 0.1s | 1 | 634 | 100 | 14698 0 | 4734 | 52
29.79/29.84 c 0.2s | 2 | 896 | 250 | 14698 0 | 4734 | 52
29.88/29.96 c 0.3s | 3 | 1279 | 475 | 14698 0 | 4734 | 52
30.08/30.16 c 0.5s | 4 | 2170 | 813 | 14698 0 | 4734 | 52
30.38/30.44 c 0.8s | 5 | 4596 | 1320 | 14698 0 | 4734 | 52
30.79/30.88 c 1.2s | 6 | 5474 | 2081 | 14698 0 | 4734 | 52
31.28/31.36 c 1.7s | 6 | 8061 | 2755 | 14698 0 | 4735 | 52
31.28/31.36 c #cpu_time = 1.708s
31.28/31.36 c #wall_clock_time = 1.712s
31.28/31.36 c #decision = 8061
31.28/31.36 c #random_decision = 25
31.28/31.36 c #conflict = 2755
31.28/31.36 c #restart = 6
31.28/31.36 o -38
31.28/31.36 c BCD2: updating upper bound: 524383 -> 524351
31.28/31.36 c BCD2: 524028 <= obj <= 524351
31.28/31.36 c BCD2: #cores=77, #unrelaxed=13, #relaxed=137, #hardened=0
31.28/31.36 c BCD2: #sat=2 #unsat=81 bias=81/83
31.28/31.36 c Solving starts ...
31.28/31.36 c ============================[ Search Statistics ]============================
31.28/31.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
31.28/31.36 c | | | | Limit GC | Var | Constra
31.28/31.36 c =============================================================================
31.28/31.36 c 0.0s | 0 | 0 | 0 | 14698 0 | 4735 | 52
31.38/31.45 c 0.1s | 0 | 151 | 1 | 14698 0 | 4737 | 55
31.38/31.45 c #cpu_time = 0.081s
31.38/31.45 c #wall_clock_time = 0.082s
31.38/31.45 c #decision = 151
31.38/31.45 c #random_decision = 0
31.38/31.45 c #conflict = 1
31.38/31.45 c #restart = 0
31.38/31.45 c BCD2: updating lower bound of a core
31.38/31.45 c lower bound updated to -311
31.38/31.45 c BCD2: 524079 <= obj <= 524351
31.38/31.45 c BCD2: #cores=77, #unrelaxed=13, #relaxed=137, #hardened=0
31.38/31.45 c BCD2: #sat=2 #unsat=82 bias=82/84
31.38/31.45 c Solving starts ...
31.38/31.45 c ============================[ Search Statistics ]============================
31.38/31.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
31.38/31.45 c | | | | Limit GC | Var | Constra
31.38/31.45 c =============================================================================
31.38/31.45 c 0.0s | 0 | 0 | 0 | 14698 0 | 4737 | 55
31.58/31.61 c 0.2s | 1 | 242 | 100 | 14698 0 | 4737 | 55
31.68/31.73 c 0.3s | 2 | 588 | 250 | 14698 0 | 4737 | 55
31.89/31.99 c 0.5s | 3 | 1335 | 475 | 14698 0 | 4738 | 57
32.08/32.15 c 0.7s | 4 | 1862 | 813 | 14698 0 | 4738 | 57
32.28/32.32 c 0.9s | 5 | 2560 | 1320 | 14698 0 | 4738 | 57
32.38/32.43 c 1.0s | 5 | 2941 | 1476 | 14698 0 | 4738 | 57
32.38/32.43 c #cpu_time = 0.979s
32.38/32.43 c #wall_clock_time = 0.982s
32.38/32.43 c #decision = 2941
32.38/32.43 c #random_decision = 7
32.38/32.43 c #conflict = 1476
32.38/32.43 c #restart = 5
32.38/32.43 c BCD2: relaxing 13 and merging with 5 cores into a new core of size 51: cost of the new core is >=134
32.38/32.43 c lower bound updated to -310
32.38/32.43 c BCD2: 524080 <= obj <= 524351
32.38/32.43 c BCD2: #cores=73, #unrelaxed=0, #relaxed=150, #hardened=0
32.38/32.43 c BCD2: #sat=2 #unsat=83 bias=83/85
32.38/32.43 c Solving starts ...
32.38/32.43 c ============================[ Search Statistics ]============================
32.38/32.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
32.38/32.43 c | | | | Limit GC | Var | Constra
32.38/32.43 c =============================================================================
32.38/32.43 c 0.0s | 0 | 0 | 0 | 14698 0 | 4760 | 57
32.48/32.55 c 0.1s | 1 | 498 | 100 | 14698 0 | 4760 | 96
32.58/32.65 c 0.2s | 2 | 995 | 250 | 14698 0 | 4760 | 96
32.68/32.72 c 0.3s | 3 | 1366 | 475 | 14698 0 | 4760 | 96
32.78/32.83 c 0.4s | 4 | 1873 | 813 | 14698 0 | 4760 | 96
33.18/33.24 c 0.8s | 5 | 2613 | 1320 | 14698 0 | 4760 | 96
33.38/33.42 c 1.0s | 6 | 3638 | 2081 | 14698 0 | 4760 | 96
33.68/33.73 c 1.3s | 7 | 4868 | 3223 | 14698 1 | 4760 | 96
34.38/34.45 c 2.0s | 8 | 7222 | 4936 | 14698 1 | 4760 | 96
35.19/35.20 c 2.8s | 9 | 10468 | 7506 | 14698 1 | 4760 | 96
37.18/37.27 c 4.8s | 9 | 15532 | 11106 | 14698 1 | 4760 | 96
37.39/37.43 c 5.0s | 10 | 15925 | 11361 | 14698 1 | 4760 | 96
39.38/39.47 c 7.0s | 10 | 21384 | 15261 | 14698 2 | 4760 | 96
40.48/40.51 c 8.1s | 11 | 23720 | 17144 | 14698 2 | 4760 | 96
42.48/42.54 c 10.1s | 11 | 29835 | 20844 | 14698 2 | 4761 | 96
44.58/44.67 c 12.2s | 11 | 34095 | 24744 | 16168 2 | 4761 | 96
45.78/45.85 c 13.4s | 12 | 35217 | 25819 | 16168 2 | 4761 | 96
47.78/47.88 c 15.5s | 12 | 38980 | 28219 | 16168 3 | 4763 | 96
49.78/49.89 c 17.5s | 12 | 45071 | 33719 | 16168 3 | 4763 | 96
51.38/51.43 c 19.0s | 13 | 50274 | 38832 | 16168 4 | 4763 | 96
53.38/53.44 c 21.0s | 13 | 56115 | 43732 | 16168 4 | 4763 | 96
55.48/55.53 c 23.1s | 13 | 58903 | 46432 | 16168 4 | 4763 | 96
57.48/57.59 c 25.2s | 13 | 61037 | 48532 | 16168 5 | 4763 | 96
59.58/59.60 c 27.2s | 13 | 65929 | 53332 | 16168 5 | 4763 | 96
61.58/61.65 c 29.2s | 13 | 70421 | 57532 | 16168 5 | 4763 | 96
62.18/62.22 c 29.8s | 14 | 71256 | 58352 | 16168 5 | 4763 | 96
63.97/64.05 c 31.6s | 14 | 78887 | 63434 | 16168 6 | 4763 | 96
63.97/64.05 c #cpu_time = 31.533s
63.97/64.05 c #wall_clock_time = 31.616s
63.97/64.05 c #decision = 78887
63.97/64.05 c #random_decision = 271
63.97/64.05 c #conflict = 63434
63.97/64.05 c #restart = 14
63.97/64.05 o -56
63.97/64.05 c BCD2: updating upper bound: 524351 -> 524333
63.97/64.05 c BCD2: 524080 <= obj <= 524333
63.97/64.05 c BCD2: #cores=73, #unrelaxed=0, #relaxed=150, #hardened=0
63.97/64.05 c BCD2: #sat=3 #unsat=83 bias=83/86
63.97/64.05 c Solving starts ...
63.97/64.05 c ============================[ Search Statistics ]============================
63.97/64.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
63.97/64.05 c | | | | Limit GC | Var | Constra
63.97/64.05 c =============================================================================
63.97/64.05 c 0.0s | 0 | 0 | 0 | 16168 0 | 4763 | 96
64.48/64.53 c 0.5s | 1 | 455 | 100 | 16168 0 | 4764 | 98
64.68/64.70 c 0.7s | 2 | 724 | 250 | 16168 0 | 4764 | 98
64.78/64.81 c 0.8s | 3 | 1094 | 475 | 16168 0 | 4764 | 98
64.89/64.92 c 0.9s | 4 | 1513 | 813 | 16168 0 | 4764 | 98
65.08/65.12 c 1.1s | 5 | 2181 | 1320 | 16168 0 | 4764 | 98
65.58/65.66 c 1.6s | 6 | 3261 | 2081 | 16168 0 | 4764 | 98
66.28/66.39 c 2.3s | 7 | 4616 | 3223 | 16168 0 | 4764 | 98
67.28/67.38 c 3.3s | 8 | 6725 | 4936 | 17785 0 | 4764 | 98
69.18/69.27 c 5.2s | 9 | 10475 | 7506 | 17785 1 | 4764 | 98
71.28/71.30 c 7.3s | 9 | 13281 | 9606 | 17785 1 | 4764 | 98
72.98/73.08 c 9.0s | 10 | 15889 | 11361 | 17785 1 | 4764 | 98
75.08/75.14 c 11.1s | 10 | 18640 | 13661 | 17785 1 | 4764 | 98
77.08/77.17 c 13.1s | 10 | 20936 | 15561 | 17785 1 | 4764 | 98
78.68/78.74 c 14.7s | 11 | 22878 | 17144 | 17785 1 | 4764 | 98
80.67/80.79 c 16.7s | 11 | 25026 | 18744 | 17785 2 | 4764 | 98
82.77/82.83 c 18.8s | 11 | 27502 | 20644 | 17785 2 | 4764 | 98
84.78/84.85 c 20.8s | 11 | 30587 | 23344 | 17785 2 | 4764 | 98
85.78/85.86 c 21.8s | 12 | 33188 | 25819 | 17785 2 | 4764 | 98
87.77/87.88 c 23.8s | 12 | 37671 | 30019 | 17785 3 | 4764 | 98
89.87/89.94 c 25.9s | 12 | 41424 | 33719 | 17785 3 | 4764 | 98
91.87/91.94 c 27.9s | 12 | 44974 | 36119 | 17785 3 | 4764 | 98
93.58/93.63 c 29.6s | 13 | 48003 | 38832 | 17785 3 | 4764 | 98
97.88/97.98 c 33.9s | 13 | 56981 | 45132 | 17785 4 | 4765 | 98
99.98/100.00 c 35.9s | 13 | 63146 | 51232 | 17785 4 | 4765 | 98
101.98/102.02 c 38.0s | 13 | 68368 | 56432 | 17785 5 | 4765 | 98
102.78/102.85 c 38.8s | 14 | 70460 | 58352 | 17785 5 | 4765 | 98
104.88/104.90 c 40.9s | 14 | 74257 | 61152 | 17785 5 | 4765 | 98
106.88/106.94 c 42.9s | 14 | 78206 | 64852 | 17785 5 | 4765 | 98
108.88/108.95 c 44.9s | 14 | 81664 | 68152 | 17785 6 | 4765 | 98
110.98/111.00 c 47.0s | 14 | 85217 | 71452 | 19564 6 | 4765 | 98
112.97/113.02 c 49.0s | 14 | 88761 | 74652 | 19564 6 | 4765 | 98
115.07/115.10 c 51.0s | 14 | 91563 | 77152 | 19564 6 | 4765 | 98
117.07/117.11 c 53.1s | 14 | 93972 | 79352 | 19564 6 | 4765 | 98
119.27/119.39 c 55.3s | 14 | 96006 | 81252 | 19564 7 | 4765 | 98
121.37/121.49 c 57.4s | 14 | 98233 | 83352 | 19564 7 | 4765 | 98
123.47/123.54 c 59.5s | 14 | 100708 | 85752 | 19564 7 | 4765 | 98
125.17/125.24 c 61.2s | 15 | 102707 | 87632 | 19564 7 | 4765 | 98
127.17/127.27 c 63.2s | 15 | 110264 | 93132 | 19564 8 | 4765 | 98
127.37/127.41 c 63.4s | 15 | 111175 | 93304 | 19564 8 | 4765 | 98
127.37/127.41 c #cpu_time = 63.192s
127.37/127.41 c #wall_clock_time = 63.357s
127.37/127.41 c #decision = 111175
127.37/127.41 c #random_decision = 373
127.37/127.41 c #conflict = 93304
127.37/127.41 c #restart = 15
127.37/127.41 o -67
127.37/127.41 c BCD2: updating upper bound: 524333 -> 524322
127.37/127.41 c BCD2: 524080 <= obj <= 524322
127.37/127.41 c BCD2: #cores=73, #unrelaxed=0, #relaxed=150, #hardened=0
127.37/127.41 c BCD2: #sat=4 #unsat=83 bias=83/87
127.37/127.41 c Solving starts ...
127.37/127.41 c ============================[ Search Statistics ]============================
127.37/127.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
127.37/127.41 c | | | | Limit GC | Var | Constra
127.37/127.41 c =============================================================================
127.37/127.41 c 0.0s | 0 | 0 | 0 | 19564 0 | 4765 | 100
127.37/127.48 c 0.1s | 1 | 252 | 100 | 19564 0 | 4765 | 100
129.78/129.88 c 2.5s | 1 | 587 | 200 | 19564 0 | 4765 | 100
129.88/129.91 c 2.5s | 2 | 692 | 250 | 19564 0 | 4765 | 100
130.07/130.12 c 2.7s | 3 | 1128 | 475 | 19564 0 | 4765 | 100
130.27/130.34 c 2.9s | 4 | 1663 | 813 | 19564 0 | 4765 | 100
130.77/130.90 c 3.5s | 5 | 2296 | 1320 | 19564 0 | 4765 | 100
131.17/131.25 c 3.8s | 6 | 3615 | 2081 | 19564 0 | 4765 | 100
132.27/132.38 c 5.0s | 7 | 4958 | 3223 | 19564 0 | 4765 | 100
133.27/133.38 c 6.0s | 8 | 6835 | 4936 | 19564 0 | 4765 | 100
134.57/134.69 c 7.3s | 9 | 9625 | 7506 | 19564 0 | 4765 | 100
136.27/136.32 c 8.9s | 10 | 13578 | 11361 | 19564 0 | 4765 | 100
138.27/138.31 c 10.9s | 10 | 16747 | 14335 | 19564 1 | 4765 | 100
138.27/138.31 c #cpu_time = 10.872s
138.27/138.31 c #wall_clock_time = 10.901s
138.27/138.31 c #decision = 16747
138.27/138.31 c #random_decision = 76
138.27/138.31 c #conflict = 14335
138.27/138.31 c #restart = 10
138.27/138.31 c BCD2: relaxing 0 and merging with 3 cores into a new core of size 80: cost of the new core is >=191
138.27/138.31 c lower bound updated to -281
138.27/138.31 c BCD2: 524109 <= obj <= 524322
138.27/138.31 c BCD2: #cores=71, #unrelaxed=0, #relaxed=150, #hardened=0
138.27/138.31 c BCD2: #sat=4 #unsat=84 bias=84/88
138.27/138.31 c Solving starts ...
138.27/138.31 c ============================[ Search Statistics ]============================
138.27/138.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
138.27/138.31 c | | | | Limit GC | Var | Constra
138.27/138.31 c =============================================================================
138.27/138.31 c 0.0s | 0 | 0 | 0 | 19564 0 | 4778 | 100
139.27/139.31 c 1.0s | 1 | 230 | 100 | 19564 0 | 4778 | 123
140.27/140.34 c 2.0s | 2 | 603 | 250 | 19564 0 | 4778 | 123
140.47/140.53 c 2.2s | 3 | 984 | 475 | 19564 0 | 4778 | 123
140.67/140.74 c 2.4s | 4 | 1529 | 813 | 19564 0 | 4778 | 123
141.07/141.14 c 2.8s | 5 | 2247 | 1320 | 19564 0 | 4778 | 123
141.57/141.68 c 3.4s | 6 | 3279 | 2081 | 19564 0 | 4778 | 123
142.47/142.58 c 4.3s | 7 | 4744 | 3223 | 19564 0 | 4778 | 123
144.08/144.20 c 5.9s | 8 | 7017 | 4936 | 19564 0 | 4778 | 123
146.17/146.30 c 8.0s | 8 | 9715 | 7136 | 19564 0 | 4778 | 123
146.57/146.66 c 8.3s | 9 | 10187 | 7506 | 19564 0 | 4778 | 123
148.58/148.68 c 10.4s | 9 | 12478 | 9406 | 19564 0 | 4778 | 123
150.17/150.28 c 12.0s | 10 | 14792 | 11361 | 19564 0 | 4778 | 123
152.27/152.36 c 14.0s | 10 | 17209 | 13261 | 19564 0 | 4778 | 123
154.27/154.37 c 16.1s | 10 | 19572 | 15261 | 19564 0 | 4778 | 123
156.17/156.26 c 17.9s | 11 | 21761 | 17144 | 19564 0 | 4778 | 123
158.27/158.35 c 20.0s | 11 | 23660 | 18644 | 19564 0 | 4778 | 123
160.37/160.42 c 22.1s | 11 | 25578 | 20244 | 19564 0 | 4778 | 123
162.37/162.49 c 24.2s | 11 | 28052 | 22044 | 19564 0 | 4778 | 123
164.47/164.53 c 26.2s | 11 | 30394 | 23744 | 19564 1 | 4778 | 123
166.46/166.59 c 28.3s | 11 | 32392 | 25344 | 19564 1 | 4778 | 123
167.17/167.22 c 28.9s | 12 | 32964 | 25819 | 19564 1 | 4778 | 123
169.16/169.26 c 30.9s | 12 | 37016 | 27819 | 19564 1 | 4778 | 123
171.26/171.33 c 33.0s | 12 | 39219 | 29319 | 19564 1 | 4778 | 123
173.26/173.33 c 35.0s | 12 | 41313 | 30919 | 19564 1 | 4778 | 123
175.26/175.36 c 37.0s | 12 | 43297 | 32519 | 19564 1 | 4778 | 123
177.36/177.43 c 39.1s | 12 | 45607 | 34019 | 19564 1 | 4778 | 123
179.46/179.54 c 41.2s | 12 | 48687 | 35619 | 19564 1 | 4778 | 123
181.57/181.64 c 43.3s | 12 | 51532 | 37519 | 19564 2 | 4778 | 123
183.56/183.64 c 45.3s | 13 | 53265 | 38832 | 19564 2 | 4778 | 123
185.56/185.66 c 47.3s | 13 | 54295 | 39532 | 19564 2 | 4778 | 123
187.76/187.80 c 49.5s | 13 | 56526 | 41032 | 19564 2 | 4778 | 123
189.76/189.87 c 51.6s | 13 | 58670 | 42532 | 19564 2 | 4778 | 123
191.86/191.94 c 53.6s | 13 | 61488 | 44332 | 19564 2 | 4778 | 123
193.96/194.08 c 55.8s | 13 | 63659 | 45732 | 19564 2 | 4778 | 123
196.06/196.12 c 57.8s | 13 | 65954 | 47132 | 19564 2 | 4778 | 123
198.16/198.22 c 59.9s | 13 | 68016 | 48532 | 19564 3 | 4778 | 123
200.16/200.24 c 61.9s | 13 | 70329 | 50232 | 19564 3 | 4778 | 123
202.15/202.27 c 64.0s | 13 | 72990 | 52032 | 19564 3 | 4778 | 123
204.25/204.34 c 66.0s | 13 | 76012 | 53832 | 19564 3 | 4778 | 123
206.25/206.39 c 68.1s | 13 | 78291 | 55432 | 19564 3 | 4778 | 123
208.35/208.40 c 70.1s | 13 | 81173 | 57032 | 19564 3 | 4778 | 123
210.35/210.47 c 72.2s | 13 | 82619 | 58132 | 19564 3 | 4778 | 123
210.85/210.92 c 72.6s | 14 | 82856 | 58352 | 19564 3 | 4778 | 123
212.85/212.99 c 74.7s | 14 | 84389 | 59352 | 21521 3 | 4778 | 123
214.95/215.04 c 76.7s | 14 | 85931 | 60552 | 21521 3 | 4778 | 123
217.05/217.17 c 78.9s | 14 | 87322 | 61752 | 21521 3 | 4778 | 123
219.25/219.31 c 81.0s | 14 | 88890 | 63152 | 21521 4 | 4778 | 123
221.25/221.35 c 83.0s | 14 | 90838 | 64852 | 21521 4 | 4778 | 123
223.26/223.37 c 85.1s | 14 | 92812 | 66552 | 21521 4 | 4778 | 123
225.35/225.45 c 87.1s | 14 | 94817 | 68252 | 21521 4 | 4778 | 123
229.76/229.85 c 91.5s | 14 | 97088 | 70052 | 21521 4 | 4778 | 123
231.76/231.89 c 93.6s | 14 | 98983 | 71452 | 21521 4 | 4778 | 123
233.86/233.92 c 95.6s | 14 | 100948 | 72852 | 21521 4 | 4778 | 123
235.86/235.96 c 97.6s | 14 | 102684 | 74252 | 21521 4 | 4778 | 123
237.96/238.09 c 99.8s | 14 | 104561 | 75652 | 21521 5 | 4778 | 123
240.16/240.20 c 101s | 14 | 106437 | 77052 | 21521 5 | 4778 | 123
242.16/242.26 c 103s | 14 | 108685 | 78852 | 21521 5 | 4778 | 123
244.35/244.41 c 106s | 14 | 110482 | 80452 | 21521 5 | 4778 | 123
246.36/246.42 c 108s | 14 | 113087 | 82252 | 21521 5 | 4778 | 123
248.45/248.51 c 110s | 14 | 116692 | 84352 | 21521 5 | 4778 | 123
250.45/250.60 c 112s | 14 | 119597 | 86152 | 21521 5 | 4778 | 123
252.55/252.69 c 114s | 15 | 121656 | 87632 | 21521 5 | 4778 | 123
254.55/254.69 c 116s | 15 | 124423 | 89132 | 21521 6 | 4778 | 123
256.65/256.73 c 118s | 15 | 127317 | 90832 | 21521 6 | 4778 | 123
258.65/258.74 c 120s | 15 | 129547 | 92432 | 21521 6 | 4778 | 123
260.76/260.82 c 122s | 15 | 132290 | 94032 | 21521 6 | 4778 | 123
262.75/262.88 c 124s | 15 | 134700 | 95532 | 21521 6 | 4778 | 123
264.95/265.09 c 126s | 15 | 137089 | 97232 | 21521 6 | 4778 | 123
267.05/267.18 c 128s | 15 | 138721 | 98432 | 21521 6 | 4778 | 123
269.15/269.24 c 130s | 15 | 140363 | 99632 | 21521 6 | 4778 | 123
271.15/271.27 c 132s | 15 | 141736 | 100732 | 21521 6 | 4778 | 123
273.15/273.29 c 134s | 15 | 143487 | 101832 | 21521 7 | 4778 | 123
275.25/275.37 c 137s | 15 | 146565 | 103632 | 21521 7 | 4778 | 123
277.35/277.44 c 139s | 15 | 147936 | 104832 | 21521 7 | 4778 | 123
279.35/279.45 c 141s | 15 | 149955 | 106132 | 21521 7 | 4778 | 123
281.45/281.55 c 143s | 15 | 151316 | 107332 | 21521 7 | 4778 | 123
283.44/283.58 c 145s | 15 | 152946 | 108632 | 21521 7 | 4778 | 123
285.54/285.68 c 147s | 15 | 154461 | 109932 | 21521 7 | 4778 | 123
287.54/287.69 c 149s | 15 | 155827 | 111032 | 21521 7 | 4778 | 123
289.74/289.84 c 151s | 15 | 157106 | 112132 | 21521 7 | 4778 | 123
291.74/291.84 c 153s | 15 | 158580 | 113232 | 21521 7 | 4778 | 123
293.84/293.90 c 155s | 15 | 160597 | 114432 | 21521 7 | 4778 | 123
295.85/295.94 c 157s | 15 | 162171 | 115732 | 21521 8 | 4778 | 123
297.84/297.96 c 159s | 15 | 163648 | 116932 | 21521 8 | 4778 | 123
300.04/300.11 c 161s | 15 | 165680 | 118532 | 21521 8 | 4778 | 123
302.14/302.20 c 163s | 15 | 167738 | 119932 | 21521 8 | 4778 | 123
304.24/304.34 c 166s | 15 | 169586 | 121232 | 21521 8 | 4778 | 123
306.24/306.38 c 168s | 15 | 170826 | 122332 | 21521 8 | 4778 | 123
308.34/308.50 c 170s | 15 | 172387 | 123632 | 21521 8 | 4778 | 123
310.44/310.56 c 172s | 15 | 173738 | 124732 | 21521 8 | 4778 | 123
312.64/312.72 c 174s | 15 | 175696 | 126132 | 21521 8 | 4778 | 123
314.65/314.77 c 176s | 15 | 177232 | 127332 | 21521 8 | 4778 | 123
320.74/320.86 c 182s | 15 | 178192 | 128032 | 21521 8 | 4778 | 123
323.54/323.67 c 185s | 15 | 178344 | 128132 | 21521 8 | 4778 | 123
325.65/325.75 c 187s | 15 | 180364 | 129632 | 21521 9 | 4778 | 123
327.75/327.83 c 189s | 15 | 182663 | 131232 | 21521 9 | 4778 | 123
328.14/328.27 c 189s | 16 | 183040 | 131552 | 21521 9 | 4778 | 123
330.24/330.32 c 192s | 16 | 184906 | 132952 | 21521 9 | 4778 | 123
332.24/332.34 c 194s | 16 | 186660 | 134352 | 21521 9 | 4778 | 123
334.34/334.41 c 196s | 16 | 189034 | 136252 | 21521 9 | 4778 | 123
336.44/336.56 c 198s | 16 | 190426 | 137452 | 21521 9 | 4778 | 123
338.54/338.68 c 200s | 16 | 191953 | 138652 | 21521 9 | 4778 | 123
340.74/340.84 c 202s | 16 | 193369 | 139752 | 21521 9 | 4778 | 123
342.74/342.87 c 204s | 16 | 194849 | 140852 | 21521 9 | 4778 | 123
344.84/344.93 c 206s | 16 | 196561 | 142152 | 21521 10 | 4778 | 123
346.84/346.99 c 208s | 16 | 198616 | 143852 | 21521 10 | 4778 | 123
348.94/349.00 c 210s | 16 | 200730 | 145452 | 21521 10 | 4778 | 123
350.94/351.04 c 212s | 16 | 202946 | 146952 | 21521 10 | 4778 | 123
352.93/353.05 c 214s | 16 | 204399 | 148152 | 21521 10 | 4778 | 123
354.93/355.09 c 216s | 16 | 205937 | 149452 | 21521 10 | 4778 | 123
357.03/357.14 c 218s | 16 | 207457 | 150752 | 21521 10 | 4778 | 123
359.13/359.20 c 220s | 16 | 208959 | 152052 | 21521 10 | 4778 | 123
361.23/361.38 c 223s | 16 | 210381 | 153252 | 21521 10 | 4778 | 123
363.43/363.50 c 225s | 16 | 211865 | 154452 | 21521 10 | 4778 | 123
365.43/365.58 c 227s | 16 | 213788 | 155952 | 21521 11 | 4778 | 123
367.63/367.76 c 229s | 16 | 215798 | 157552 | 21521 11 | 4778 | 123
369.73/369.83 c 231s | 16 | 218147 | 159252 | 21521 11 | 4778 | 123
371.74/371.88 c 233s | 16 | 220207 | 160852 | 21521 11 | 4778 | 123
373.83/373.98 c 235s | 16 | 221921 | 162252 | 21521 11 | 4778 | 123
375.93/376.05 c 237s | 16 | 223561 | 163652 | 21521 11 | 4778 | 123
377.93/378.07 c 239s | 16 | 225093 | 164952 | 21521 11 | 4778 | 123
380.03/380.18 c 241s | 16 | 226888 | 166352 | 21521 11 | 4778 | 123
382.23/382.30 c 243s | 16 | 228586 | 167752 | 21521 11 | 4778 | 123
389.13/389.23 c 250s | 16 | 229407 | 168352 | 21521 12 | 4778 | 123
391.23/391.30 c 252s | 16 | 229772 | 168652 | 21521 12 | 4778 | 123
393.23/393.31 c 254s | 16 | 232122 | 170352 | 21521 12 | 4778 | 123
395.33/395.46 c 257s | 16 | 234047 | 171852 | 21521 12 | 4778 | 123
397.53/397.61 c 259s | 16 | 235905 | 173252 | 21521 12 | 4778 | 123
399.63/399.70 c 261s | 16 | 237805 | 174652 | 21521 12 | 4778 | 123
401.63/401.77 c 263s | 16 | 239467 | 175952 | 21521 12 | 4778 | 123
403.73/403.81 c 265s | 16 | 241174 | 177352 | 21521 12 | 4778 | 123
405.83/405.91 c 267s | 16 | 243010 | 178752 | 21521 12 | 4778 | 123
407.83/407.92 c 269s | 16 | 244564 | 179952 | 21521 12 | 4778 | 123
409.93/410.02 c 271s | 16 | 246273 | 181252 | 21521 13 | 4778 | 123
411.93/412.09 c 273s | 16 | 248439 | 182952 | 21521 13 | 4778 | 123
414.03/414.15 c 275s | 16 | 250240 | 184352 | 21521 13 | 4778 | 123
416.03/416.17 c 277s | 16 | 251726 | 185552 | 21521 13 | 4778 | 123
418.13/418.26 c 279s | 16 | 253492 | 186952 | 21521 13 | 4778 | 123
420.33/420.40 c 282s | 16 | 255532 | 188552 | 21521 13 | 4778 | 123
422.33/422.43 c 284s | 16 | 257183 | 189852 | 21521 13 | 4778 | 123
424.32/424.45 c 286s | 16 | 258561 | 190952 | 21521 13 | 4778 | 123
426.32/426.48 c 288s | 16 | 260100 | 192252 | 21521 13 | 4778 | 123
428.52/428.66 c 290s | 16 | 261499 | 193352 | 21521 13 | 4778 | 123
430.62/430.77 c 292s | 16 | 262738 | 194352 | 21521 14 | 4778 | 123
432.72/432.86 c 294s | 16 | 264965 | 196052 | 21521 14 | 4778 | 123
434.43/434.58 c 296s | 17 | 266747 | 197432 | 21521 14 | 4778 | 123
436.52/436.63 c 298s | 17 | 268823 | 198932 | 21521 14 | 4778 | 123
438.62/438.74 c 300s | 17 | 270724 | 200432 | 21521 14 | 4778 | 123
444.02/444.10 c 305s | 17 | 272627 | 201932 | 21521 14 | 4778 | 123
446.12/446.22 c 307s | 17 | 274278 | 203232 | 21521 14 | 4778 | 123
448.22/448.35 c 310s | 17 | 275800 | 204432 | 21521 14 | 4778 | 123
450.32/450.49 c 312s | 17 | 277441 | 205632 | 21521 14 | 4778 | 123
452.62/452.70 c 314s | 17 | 279385 | 207032 | 23674 14 | 4778 | 123
454.61/454.70 c 316s | 17 | 280851 | 208232 | 23674 14 | 4778 | 123
456.61/456.74 c 318s | 17 | 282450 | 209432 | 23674 14 | 4778 | 123
458.72/458.83 c 320s | 17 | 284638 | 211032 | 23674 15 | 4778 | 123
460.82/460.95 c 322s | 17 | 286743 | 212732 | 23674 15 | 4778 | 123
463.31/463.43 c 325s | 17 | 288615 | 214032 | 23674 15 | 4778 | 123
465.32/465.45 c 327s | 17 | 289884 | 215032 | 23674 15 | 4778 | 123
467.42/467.51 c 329s | 17 | 291176 | 216132 | 23674 15 | 4778 | 123
469.51/469.66 c 331s | 17 | 293179 | 217732 | 23674 15 | 4778 | 123
471.61/471.72 c 333s | 17 | 295160 | 219332 | 23674 15 | 4778 | 123
473.71/473.85 c 335s | 17 | 297596 | 221232 | 23674 15 | 4778 | 123
475.81/475.97 c 337s | 17 | 299061 | 222432 | 23674 15 | 4778 | 123
477.91/478.08 c 339s | 17 | 300586 | 223532 | 23674 15 | 4778 | 123
480.01/480.18 c 341s | 17 | 302261 | 224832 | 23674 16 | 4778 | 123
482.11/482.20 c 343s | 17 | 304265 | 226432 | 23674 16 | 4778 | 123
484.11/484.24 c 345s | 17 | 306662 | 228232 | 23674 16 | 4778 | 123
486.22/486.30 c 347s | 17 | 309203 | 230132 | 23674 16 | 4778 | 123
488.32/488.46 c 350s | 17 | 311543 | 231632 | 23674 16 | 4778 | 123
490.31/490.47 c 352s | 17 | 313665 | 233132 | 23674 16 | 4778 | 123
492.41/492.51 c 354s | 17 | 315649 | 234732 | 23674 16 | 4778 | 123
494.41/494.54 c 356s | 17 | 317275 | 236032 | 23674 16 | 4778 | 123
496.62/496.75 c 358s | 17 | 318841 | 237232 | 23674 16 | 4778 | 123
498.72/498.85 c 360s | 17 | 319968 | 238132 | 23674 16 | 4778 | 123
500.72/500.88 c 362s | 17 | 320982 | 238932 | 23674 17 | 4778 | 123
502.82/502.93 c 364s | 17 | 322805 | 240332 | 23674 17 | 4778 | 123
505.02/505.10 c 366s | 17 | 324670 | 241732 | 23674 17 | 4778 | 123
507.02/507.18 c 368s | 17 | 326393 | 243032 | 23674 17 | 4778 | 123
509.11/509.21 c 370s | 17 | 328106 | 244432 | 23674 17 | 4778 | 123
511.11/511.28 c 372s | 17 | 329735 | 245732 | 23674 17 | 4778 | 123
513.31/513.41 c 375s | 17 | 331369 | 247032 | 23674 17 | 4778 | 123
515.41/515.52 c 377s | 17 | 332884 | 248232 | 23674 17 | 4778 | 123
517.41/517.56 c 379s | 17 | 334337 | 249432 | 23674 17 | 4778 | 123
519.51/519.67 c 381s | 17 | 335983 | 250732 | 23674 17 | 4778 | 123
521.71/521.82 c 383s | 17 | 336487 | 251132 | 23674 17 | 4778 | 123
525.41/525.52 c 387s | 17 | 337094 | 251632 | 23674 17 | 4778 | 123
527.61/527.70 c 389s | 17 | 338692 | 252932 | 23674 18 | 4778 | 123
530.51/530.67 c 392s | 17 | 339383 | 253532 | 23674 18 | 4778 | 123
532.61/532.73 c 394s | 17 | 341667 | 255532 | 23674 18 | 4778 | 123
534.62/534.78 c 396s | 17 | 343782 | 257332 | 23674 18 | 4778 | 123
536.72/536.85 c 398s | 17 | 346180 | 259032 | 23674 18 | 4778 | 123
538.81/538.91 c 400s | 17 | 348307 | 260632 | 23674 18 | 4778 | 123
540.81/541.00 c 402s | 17 | 350723 | 262432 | 23674 18 | 4778 | 123
542.91/543.03 c 404s | 17 | 352731 | 264032 | 23674 18 | 4778 | 123
544.91/545.04 c 406s | 17 | 354589 | 265532 | 23674 18 | 4778 | 123
547.31/547.40 c 409s | 17 | 356288 | 266932 | 23674 19 | 4778 | 123
549.31/549.42 c 411s | 17 | 358416 | 268732 | 23674 19 | 4778 | 123
551.31/551.46 c 413s | 17 | 360630 | 270532 | 23674 19 | 4778 | 123
553.41/553.57 c 415s | 17 | 362945 | 272432 | 23674 19 | 4778 | 123
555.41/555.59 c 417s | 17 | 364956 | 274132 | 23674 19 | 4778 | 123
557.50/557.66 c 419s | 17 | 366979 | 275832 | 23674 19 | 4778 | 123
559.60/559.74 c 421s | 17 | 368731 | 277332 | 23674 19 | 4778 | 123
561.70/561.82 c 423s | 17 | 369822 | 278232 | 23674 19 | 4778 | 123
563.80/563.91 c 425s | 17 | 371211 | 279332 | 23674 19 | 4778 | 123
565.80/565.94 c 427s | 17 | 372520 | 280432 | 23674 19 | 4778 | 123
567.90/568.07 c 429s | 17 | 373506 | 281232 | 23674 20 | 4778 | 123
569.90/570.09 c 431s | 17 | 375777 | 282932 | 23674 20 | 4778 | 123
572.01/572.11 c 433s | 17 | 377058 | 284032 | 23674 20 | 4778 | 123
574.00/574.16 c 435s | 17 | 378453 | 285332 | 23674 20 | 4778 | 123
576.10/576.21 c 437s | 17 | 380288 | 286932 | 23674 20 | 4778 | 123
578.10/578.21 c 439s | 17 | 382210 | 288432 | 23674 20 | 4778 | 123
580.10/580.23 c 441s | 17 | 383897 | 289832 | 23674 20 | 4778 | 123
582.20/582.31 c 443s | 17 | 385591 | 291132 | 23674 20 | 4778 | 123
584.20/584.34 c 446s | 17 | 387235 | 292432 | 23674 20 | 4778 | 123
586.40/586.50 c 448s | 17 | 387694 | 292832 | 23674 20 | 4778 | 123
588.40/588.58 c 450s | 17 | 389049 | 293932 | 23674 20 | 4778 | 123
590.70/590.87 c 452s | 17 | 390222 | 294932 | 23674 20 | 4778 | 123
592.80/592.92 c 454s | 17 | 390927 | 295532 | 23674 21 | 4778 | 123
593.79/593.99 c 455s | 18 | 391781 | 296252 | 23674 21 | 4778 | 123
595.89/596.00 c 457s | 18 | 392741 | 296952 | 23674 21 | 4778 | 123
597.89/598.06 c 459s | 18 | 395065 | 298552 | 23674 21 | 4778 | 123
599.89/600.09 c 461s | 18 | 397013 | 300052 | 23674 21 | 4778 | 123
601.99/602.10 c 463s | 18 | 398516 | 301352 | 23674 21 | 4778 | 123
604.00/604.16 c 465s | 18 | 400978 | 302852 | 23674 21 | 4778 | 123
606.11/606.25 c 467s | 18 | 402565 | 304052 | 23674 21 | 4778 | 123
608.10/608.29 c 469s | 18 | 404196 | 305352 | 23674 21 | 4778 | 123
610.30/610.43 c 472s | 18 | 405894 | 306752 | 23674 21 | 4778 | 123
612.40/612.51 c 474s | 18 | 407981 | 308352 | 23674 21 | 4778 | 123
614.40/614.58 c 476s | 18 | 409558 | 309652 | 23674 21 | 4778 | 123
616.50/616.66 c 478s | 18 | 411185 | 311052 | 23674 22 | 4778 | 123
618.60/618.74 c 480s | 18 | 413370 | 312552 | 23674 22 | 4778 | 123
622.30/622.42 c 484s | 18 | 414555 | 313452 | 23674 22 | 4778 | 123
624.40/624.50 c 486s | 18 | 416467 | 314952 | 23674 22 | 4778 | 123
626.50/626.62 c 488s | 18 | 418513 | 316652 | 23674 22 | 4778 | 123
628.60/628.71 c 490s | 18 | 420342 | 318152 | 23674 22 | 4778 | 123
630.60/630.76 c 492s | 18 | 422246 | 319652 | 23674 22 | 4778 | 123
632.70/632.84 c 494s | 18 | 424126 | 321052 | 23674 22 | 4778 | 123
634.79/634.98 c 496s | 18 | 426047 | 322452 | 23674 22 | 4778 | 123
636.90/637.08 c 498s | 18 | 427014 | 323352 | 23674 22 | 4778 | 123
639.00/639.12 c 500s | 18 | 428455 | 324552 | 23674 23 | 4778 | 123
641.09/641.22 c 502s | 18 | 430413 | 326252 | 23674 23 | 4778 | 123
643.09/643.23 c 504s | 18 | 432924 | 328352 | 23674 23 | 4778 | 123
645.09/645.23 c 506s | 18 | 435238 | 330052 | 23674 23 | 4778 | 123
647.09/647.28 c 508s | 18 | 436875 | 331352 | 23674 23 | 4778 | 123
649.09/649.29 c 510s | 18 | 438872 | 333052 | 23674 23 | 4778 | 123
651.20/651.36 c 513s | 18 | 440449 | 334352 | 23674 23 | 4778 | 123
653.30/653.42 c 515s | 18 | 441750 | 335552 | 23674 23 | 4778 | 123
655.29/655.48 c 517s | 18 | 443481 | 337052 | 23674 23 | 4778 | 123
657.59/657.77 c 519s | 18 | 445092 | 338452 | 23674 24 | 4778 | 123
659.59/659.79 c 521s | 18 | 447042 | 340052 | 23674 24 | 4778 | 123
661.69/661.80 c 523s | 18 | 449381 | 341952 | 23674 24 | 4778 | 123
663.69/663.87 c 525s | 18 | 451495 | 343552 | 23674 24 | 4778 | 123
665.89/666.01 c 527s | 18 | 453649 | 345252 | 23674 24 | 4778 | 123
667.99/668.13 c 529s | 18 | 455639 | 346852 | 23674 24 | 4778 | 123
670.09/670.26 c 531s | 18 | 457591 | 348452 | 23674 24 | 4778 | 123
672.19/672.32 c 534s | 18 | 459225 | 349852 | 23674 24 | 4778 | 123
674.39/674.50 c 536s | 18 | 460501 | 350952 | 23674 24 | 4778 | 123
676.39/676.60 c 538s | 18 | 461821 | 352052 | 23674 24 | 4778 | 123
678.49/678.63 c 540s | 18 | 463380 | 353352 | 23674 25 | 4778 | 123
680.49/680.66 c 542s | 18 | 465464 | 355052 | 23674 25 | 4778 | 123
682.49/682.67 c 544s | 18 | 467821 | 357052 | 23674 25 | 4778 | 123
684.58/684.73 c 546s | 18 | 470022 | 358952 | 23674 25 | 4778 | 123
686.68/686.82 c 548s | 18 | 471662 | 360352 | 23674 25 | 4778 | 123
688.78/688.98 c 550s | 18 | 473224 | 361652 | 23674 25 | 4778 | 123
690.98/691.12 c 552s | 18 | 474770 | 362952 | 23674 25 | 4778 | 123
693.08/693.24 c 554s | 18 | 476698 | 364552 | 23674 25 | 4778 | 123
695.28/695.41 c 557s | 18 | 477663 | 365352 | 23674 25 | 4778 | 123
697.29/697.47 c 559s | 18 | 479018 | 366452 | 23674 25 | 4778 | 123
699.28/699.47 c 561s | 18 | 480267 | 367452 | 23674 26 | 4778 | 123
701.38/701.59 c 563s | 18 | 482367 | 369152 | 23674 26 | 4778 | 123
703.48/703.66 c 565s | 18 | 484989 | 371152 | 23674 26 | 4778 | 123
705.58/705.71 c 567s | 18 | 487336 | 373052 | 23674 26 | 4778 | 123
707.68/707.82 c 569s | 18 | 489332 | 374752 | 23674 26 | 4778 | 123
709.78/709.93 c 571s | 18 | 491177 | 376352 | 23674 26 | 4778 | 123
714.68/714.84 c 576s | 18 | 492535 | 377552 | 23674 26 | 4778 | 123
716.78/716.96 c 578s | 18 | 493420 | 378252 | 23674 26 | 4778 | 123
718.98/719.10 c 580s | 18 | 495038 | 379552 | 23674 26 | 4778 | 123
720.98/721.16 c 582s | 18 | 496667 | 380852 | 23674 26 | 4778 | 123
723.08/723.28 c 584s | 18 | 498003 | 381952 | 23674 27 | 4778 | 123
725.17/725.35 c 587s | 18 | 500280 | 383952 | 23674 27 | 4778 | 123
727.17/727.38 c 589s | 18 | 502730 | 385952 | 23674 27 | 4778 | 123
729.28/729.48 c 591s | 18 | 505021 | 387952 | 23674 27 | 4778 | 123
731.38/731.55 c 593s | 18 | 506488 | 389252 | 23674 27 | 4778 | 123
733.37/733.57 c 595s | 18 | 508241 | 390752 | 23674 27 | 4778 | 123
735.58/735.70 c 597s | 18 | 509760 | 392052 | 23674 27 | 4778 | 123
737.58/737.74 c 599s | 18 | 511426 | 393452 | 23674 27 | 4778 | 123
739.68/739.85 c 601s | 18 | 513095 | 394852 | 23674 27 | 4778 | 123
741.78/741.91 c 603s | 18 | 514771 | 396252 | 23674 28 | 4778 | 123
743.78/743.98 c 605s | 18 | 516901 | 398052 | 23674 28 | 4778 | 123
745.88/746.01 c 607s | 18 | 518817 | 399752 | 23674 28 | 4778 | 123
747.99/748.20 c 609s | 18 | 520329 | 401152 | 23674 28 | 4778 | 123
750.09/750.29 c 611s | 18 | 523531 | 403752 | 23674 28 | 4778 | 123
752.18/752.31 c 613s | 18 | 524704 | 404752 | 23674 28 | 4778 | 123
754.28/754.42 c 616s | 18 | 526089 | 405952 | 23674 28 | 4778 | 123
756.28/756.45 c 618s | 18 | 527401 | 407152 | 23674 28 | 4778 | 123
758.38/758.55 c 620s | 18 | 529411 | 408652 | 23674 28 | 4778 | 123
760.38/760.57 c 622s | 18 | 531696 | 410452 | 23674 29 | 4778 | 123
762.48/762.65 c 624s | 18 | 534871 | 413052 | 23674 29 | 4778 | 123
764.48/764.69 c 626s | 18 | 537292 | 415052 | 23674 29 | 4778 | 123
766.58/766.79 c 628s | 18 | 539935 | 417152 | 23674 29 | 4778 | 123
768.68/768.82 c 630s | 18 | 542017 | 418852 | 23674 29 | 4778 | 123
770.68/770.87 c 632s | 18 | 544310 | 420752 | 23674 29 | 4778 | 123
772.78/772.90 c 634s | 18 | 546217 | 422352 | 23674 29 | 4778 | 123
776.67/776.87 c 638s | 18 | 547103 | 423152 | 23674 29 | 4778 | 123
779.07/779.21 c 640s | 18 | 548422 | 424252 | 23674 30 | 4778 | 123
781.07/781.22 c 642s | 18 | 550037 | 425652 | 23674 30 | 4778 | 123
783.07/783.26 c 644s | 18 | 552993 | 427552 | 26042 30 | 4778 | 123
785.16/785.34 c 647s | 18 | 555633 | 429352 | 26042 30 | 4778 | 123
787.16/787.34 c 649s | 18 | 557378 | 430752 | 26042 30 | 4778 | 123
789.26/789.42 c 651s | 18 | 559284 | 432252 | 26042 30 | 4778 | 123
791.26/791.43 c 653s | 18 | 561127 | 433752 | 26042 30 | 4778 | 123
793.36/793.52 c 655s | 18 | 562782 | 435152 | 26042 30 | 4778 | 123
795.37/795.58 c 657s | 18 | 564556 | 436552 | 26042 30 | 4778 | 123
797.48/797.66 c 659s | 18 | 566230 | 437952 | 26042 30 | 4778 | 123
799.47/799.69 c 661s | 18 | 568076 | 439352 | 26042 30 | 4778 | 123
801.78/801.97 c 663s | 18 | 569907 | 440752 | 26042 31 | 4778 | 123
803.87/804.06 c 665s | 18 | 573131 | 442552 | 26042 31 | 4778 | 123
806.27/806.42 c 668s | 18 | 574857 | 443752 | 26042 31 | 4778 | 123
807.27/807.47 c 669s | 19 | 575818 | 444482 | 26042 31 | 4778 | 123
809.37/809.50 c 671s | 19 | 577310 | 445482 | 26042 31 | 4778 | 123
811.37/811.51 c 673s | 19 | 579152 | 446782 | 26042 31 | 4778 | 123
813.37/813.53 c 675s | 19 | 580981 | 448082 | 26042 31 | 4778 | 123
815.47/815.65 c 677s | 19 | 582605 | 449282 | 26042 31 | 4778 | 123
817.57/817.74 c 679s | 19 | 584204 | 450482 | 26042 31 | 4778 | 123
819.57/819.76 c 681s | 19 | 585625 | 451582 | 26042 31 | 4778 | 123
821.77/821.91 c 683s | 19 | 587698 | 452982 | 26042 31 | 4778 | 123
823.77/823.95 c 685s | 19 | 589308 | 454182 | 26042 31 | 4778 | 123
825.76/825.99 c 687s | 19 | 590540 | 454982 | 26042 31 | 4778 | 123
828.36/828.53 c 690s | 19 | 592194 | 456182 | 26042 32 | 4778 | 123
830.37/830.57 c 692s | 19 | 593193 | 456682 | 26042 32 | 4778 | 123
832.46/832.61 c 694s | 19 | 596159 | 458582 | 26042 32 | 4778 | 123
834.46/834.62 c 696s | 19 | 598719 | 460482 | 26042 32 | 4778 | 123
836.46/836.65 c 698s | 19 | 601427 | 462282 | 26042 32 | 4778 | 123
838.46/838.69 c 700s | 19 | 603474 | 463782 | 26042 32 | 4778 | 123
841.67/841.82 c 703s | 19 | 605418 | 465282 | 26042 32 | 4778 | 123
843.67/843.86 c 705s | 19 | 607285 | 466582 | 26042 32 | 4778 | 123
845.77/845.97 c 707s | 19 | 609312 | 467882 | 26042 32 | 4778 | 123
847.86/848.08 c 709s | 19 | 611285 | 469282 | 26042 32 | 4778 | 123
849.96/850.17 c 711s | 19 | 613099 | 470682 | 26042 32 | 4778 | 123
852.06/852.26 c 713s | 19 | 614692 | 471882 | 26042 33 | 4778 | 123
854.06/854.28 c 715s | 19 | 616703 | 473282 | 26042 33 | 4778 | 123
856.16/856.39 c 718s | 19 | 618927 | 474782 | 26042 33 | 4778 | 123
858.36/858.53 c 720s | 19 | 620938 | 476182 | 26042 33 | 4778 | 123
860.46/860.61 c 722s | 19 | 623178 | 477782 | 26042 33 | 4778 | 123
862.56/862.71 c 724s | 19 | 625285 | 479282 | 26042 33 | 4778 | 123
864.66/864.81 c 726s | 19 | 627344 | 480682 | 26042 33 | 4778 | 123
866.67/866.90 c 728s | 19 | 629479 | 482082 | 26042 33 | 4778 | 123
868.87/869.02 c 730s | 19 | 631701 | 483582 | 26042 33 | 4778 | 123
870.86/871.07 c 732s | 19 | 633538 | 484882 | 26042 33 | 4778 | 123
873.06/873.28 c 734s | 19 | 635295 | 486182 | 26042 33 | 4778 | 123
875.06/875.29 c 736s | 19 | 636909 | 487382 | 26042 34 | 4778 | 123
877.16/877.35 c 739s | 19 | 639393 | 489082 | 26042 34 | 4778 | 123
879.26/879.45 c 741s | 19 | 641832 | 490882 | 26042 34 | 4778 | 123
881.86/882.07 c 743s | 19 | 644223 | 492582 | 26042 34 | 4778 | 123
883.86/884.09 c 745s | 19 | 646496 | 494582 | 26042 34 | 4778 | 123
885.96/886.17 c 747s | 19 | 649184 | 496982 | 26042 34 | 4778 | 123
887.96/888.19 c 749s | 19 | 651478 | 498982 | 26042 34 | 4778 | 123
891.85/892.08 c 753s | 19 | 653016 | 500282 | 26042 34 | 4778 | 123
893.95/894.11 c 755s | 19 | 655155 | 502082 | 26042 34 | 4778 | 123
896.05/896.20 c 757s | 19 | 656661 | 503382 | 26042 35 | 4778 | 123
898.05/898.24 c 759s | 19 | 659129 | 505382 | 26042 35 | 4778 | 123
900.15/900.34 c 762s | 19 | 661486 | 507282 | 26042 35 | 4778 | 123
902.15/902.36 c 764s | 19 | 663537 | 508782 | 26042 35 | 4778 | 123
904.25/904.45 c 766s | 19 | 665834 | 510382 | 26042 35 | 4778 | 123
906.25/906.48 c 768s | 19 | 667847 | 511782 | 26042 35 | 4778 | 123
908.45/908.63 c 770s | 19 | 669800 | 513082 | 26042 35 | 4778 | 123
910.55/910.72 c 772s | 19 | 671568 | 514382 | 26042 35 | 4778 | 123
912.65/912.87 c 774s | 19 | 673270 | 515582 | 26042 35 | 4778 | 123
914.75/914.97 c 776s | 19 | 674947 | 516782 | 26042 35 | 4778 | 123
916.74/916.99 c 778s | 19 | 676636 | 517882 | 26042 35 | 4778 | 123
918.84/919.06 c 780s | 19 | 677862 | 518782 | 26042 36 | 4778 | 123
920.94/921.17 c 782s | 19 | 680032 | 520382 | 26042 36 | 4778 | 123
923.04/923.28 c 784s | 19 | 682102 | 521982 | 26042 36 | 4778 | 123
925.05/925.29 c 786s | 19 | 684062 | 523382 | 26042 36 | 4778 | 123
927.25/927.42 c 789s | 19 | 685919 | 524882 | 26042 36 | 4778 | 123
929.24/929.43 c 791s | 19 | 687337 | 526082 | 26042 36 | 4778 | 123
931.34/931.55 c 793s | 19 | 688864 | 527282 | 26042 36 | 4778 | 123
933.34/933.56 c 795s | 19 | 690454 | 528582 | 26042 36 | 4778 | 123
935.44/935.67 c 797s | 19 | 692028 | 529782 | 26042 36 | 4778 | 123
937.45/937.69 c 799s | 19 | 693619 | 530982 | 26042 36 | 4778 | 123
939.55/939.70 c 801s | 19 | 695166 | 532182 | 26042 36 | 4778 | 123
941.56/941.72 c 803s | 19 | 696546 | 533282 | 26042 36 | 4778 | 123
943.55/943.79 c 805s | 19 | 697912 | 534482 | 26042 37 | 4778 | 123
945.75/945.91 c 807s | 19 | 699650 | 535882 | 26042 37 | 4778 | 123
947.85/948.05 c 809s | 19 | 701594 | 537382 | 26042 37 | 4778 | 123
950.55/950.72 c 812s | 19 | 703447 | 538782 | 26042 37 | 4778 | 123
952.64/952.82 c 814s | 19 | 703747 | 538982 | 26042 37 | 4778 | 123
954.65/954.90 c 816s | 19 | 705690 | 540082 | 26042 37 | 4778 | 123
956.74/956.91 c 818s | 19 | 707719 | 541382 | 26042 37 | 4778 | 123
958.74/958.92 c 820s | 19 | 709802 | 542782 | 26042 37 | 4778 | 123
960.74/960.95 c 822s | 19 | 712003 | 544382 | 26042 37 | 4778 | 123
962.84/963.06 c 824s | 19 | 713577 | 545382 | 26042 37 | 4778 | 123
965.04/965.22 c 826s | 19 | 715202 | 546482 | 26042 37 | 4778 | 123
967.14/967.33 c 829s | 19 | 716703 | 547482 | 26042 37 | 4778 | 123
969.24/969.41 c 831s | 19 | 718403 | 548682 | 26042 37 | 4778 | 123
971.34/971.53 c 833s | 19 | 719822 | 549682 | 26042 38 | 4778 | 123
973.64/973.80 c 835s | 19 | 721513 | 550982 | 26042 38 | 4778 | 123
975.64/975.86 c 837s | 19 | 723572 | 552582 | 26042 38 | 4778 | 123
977.74/977.97 c 839s | 19 | 725683 | 554182 | 26042 38 | 4778 | 123
979.84/980.10 c 841s | 19 | 728081 | 555882 | 26042 38 | 4778 | 123
981.93/982.19 c 843s | 19 | 729768 | 557282 | 26042 38 | 4778 | 123
984.14/984.37 c 846s | 19 | 730259 | 557682 | 26042 38 | 4778 | 123
986.34/986.51 c 848s | 19 | 731686 | 558782 | 26042 38 | 4778 | 123
988.34/988.60 c 850s | 19 | 733211 | 559982 | 26042 38 | 4778 | 123
990.44/990.62 c 852s | 19 | 734760 | 561282 | 26042 38 | 4778 | 123
992.44/992.63 c 854s | 19 | 736298 | 562482 | 26042 38 | 4778 | 123
994.64/994.81 c 856s | 19 | 738167 | 563982 | 26042 38 | 4778 | 123
996.64/996.87 c 858s | 19 | 739584 | 565182 | 26042 39 | 4778 | 123
1006.74/1006.92 c 868s | 19 | 740507 | 565982 | 26042 39 | 4778 | 123
1009.64/1009.80 c 871s | 19 | 741400 | 566682 | 26042 39 | 4778 | 123
1011.63/1011.83 c 873s | 19 | 743482 | 568282 | 26042 39 | 4778 | 123
1013.63/1013.86 c 875s | 19 | 745175 | 569682 | 26042 39 | 4778 | 123
1015.73/1015.91 c 877s | 19 | 747113 | 571282 | 26042 39 | 4778 | 123
1017.73/1017.92 c 879s | 19 | 748833 | 572582 | 26042 39 | 4778 | 123
1019.83/1020.02 c 881s | 19 | 750977 | 574082 | 26042 39 | 4778 | 123
1021.84/1022.05 c 883s | 19 | 752984 | 575582 | 26042 39 | 4778 | 123
1023.94/1024.15 c 885s | 19 | 754800 | 576982 | 26042 39 | 4778 | 123
1025.93/1026.17 c 887s | 19 | 756321 | 578182 | 26042 39 | 4778 | 123
1028.03/1028.20 c 889s | 19 | 757791 | 579282 | 26042 39 | 4778 | 123
1030.13/1030.30 c 891s | 19 | 759303 | 580482 | 26042 40 | 4778 | 123
1032.23/1032.42 c 894s | 19 | 761023 | 581782 | 26042 40 | 4778 | 123
1034.23/1034.47 c 896s | 19 | 763327 | 583482 | 26042 40 | 4778 | 123
1036.33/1036.50 c 898s | 19 | 765454 | 585082 | 26042 40 | 4778 | 123
1038.33/1038.57 c 900s | 19 | 767652 | 586782 | 26042 40 | 4778 | 123
1040.43/1040.64 c 902s | 19 | 769639 | 588382 | 26042 40 | 4778 | 123
1042.53/1042.75 c 904s | 19 | 771603 | 589982 | 26042 40 | 4778 | 123
1044.53/1044.78 c 906s | 19 | 773049 | 591182 | 26042 40 | 4778 | 123
1046.63/1046.82 c 908s | 19 | 774534 | 592382 | 26042 40 | 4778 | 123
1048.63/1048.89 c 910s | 19 | 776115 | 593582 | 26042 40 | 4778 | 123
1050.83/1051.02 c 912s | 19 | 777758 | 594982 | 26042 40 | 4778 | 123
1052.83/1053.04 c 914s | 19 | 780065 | 596782 | 26042 41 | 4778 | 123
1054.92/1055.13 c 916s | 19 | 782214 | 598482 | 26042 41 | 4778 | 123
1057.03/1057.22 c 918s | 19 | 783934 | 599782 | 26042 41 | 4778 | 123
1059.02/1059.22 c 920s | 19 | 786438 | 601882 | 26042 41 | 4778 | 123
1061.02/1061.27 c 922s | 19 | 788589 | 603782 | 26042 41 | 4778 | 123
1063.12/1063.39 c 925s | 19 | 790659 | 605282 | 26042 41 | 4778 | 123
1065.22/1065.47 c 927s | 19 | 792432 | 606682 | 26042 41 | 4778 | 123
1067.32/1067.58 c 929s | 19 | 794111 | 607982 | 26042 41 | 4778 | 123
1069.42/1069.66 c 931s | 19 | 795866 | 609382 | 26042 41 | 4778 | 123
1071.52/1071.71 c 933s | 19 | 797333 | 610582 | 26042 41 | 4778 | 123
1082.63/1082.81 c 944s | 19 | 798743 | 611782 | 26042 42 | 4778 | 123
1084.63/1084.86 c 946s | 19 | 800980 | 613582 | 26042 42 | 4778 | 123
1086.73/1086.90 c 948s | 19 | 802836 | 615182 | 26042 42 | 4778 | 123
1088.73/1089.00 c 950s | 19 | 804639 | 616682 | 26042 42 | 4778 | 123
1090.93/1091.16 c 952s | 19 | 806385 | 618182 | 26042 42 | 4778 | 123
1093.12/1093.32 c 955s | 19 | 807999 | 619482 | 26042 42 | 4778 | 123
1095.22/1095.40 c 957s | 19 | 809380 | 620682 | 26042 42 | 4778 | 123
1097.22/1097.48 c 959s | 19 | 811104 | 621982 | 26042 42 | 4778 | 123
1099.42/1099.64 c 961s | 19 | 813412 | 623482 | 26042 42 | 4778 | 123
1101.52/1101.77 c 963s | 19 | 815026 | 624782 | 26042 42 | 4778 | 123
1103.52/1103.78 c 965s | 19 | 816860 | 626082 | 26042 42 | 4778 | 123
1105.52/1105.79 c 967s | 19 | 818761 | 627482 | 26042 43 | 4778 | 123
1107.72/1107.96 c 969s | 19 | 821640 | 629782 | 26042 43 | 4778 | 123
1109.83/1110.03 c 971s | 19 | 824180 | 631682 | 26042 43 | 4778 | 123
1111.82/1112.07 c 973s | 19 | 826928 | 633682 | 26042 43 | 4778 | 123
1113.92/1114.13 c 975s | 19 | 829431 | 635682 | 26042 43 | 4778 | 123
1115.92/1116.13 c 977s | 19 | 831799 | 637482 | 26042 43 | 4778 | 123
1117.92/1118.13 c 979s | 19 | 833945 | 639182 | 26042 43 | 4778 | 123
1119.92/1120.16 c 981s | 19 | 836175 | 640782 | 26042 43 | 4778 | 123
1122.02/1122.24 c 983s | 19 | 837744 | 641982 | 26042 44 | 4778 | 123
1124.03/1124.25 c 985s | 19 | 840052 | 643682 | 26042 44 | 4778 | 123
1126.12/1126.30 c 987s | 19 | 842506 | 645682 | 26042 44 | 4778 | 123
1128.12/1128.34 c 990s | 19 | 844766 | 647582 | 26042 44 | 4778 | 123
1130.22/1130.45 c 992s | 19 | 847317 | 649482 | 26042 44 | 4778 | 123
1132.22/1132.48 c 994s | 19 | 849225 | 650982 | 26042 44 | 4778 | 123
1134.42/1134.66 c 996s | 19 | 851018 | 652582 | 26042 44 | 4778 | 123
1136.62/1136.86 c 998s | 19 | 853569 | 654682 | 26042 44 | 4778 | 123
1138.72/1138.94 c 1000s | 19 | 855383 | 656082 | 26042 44 | 4778 | 123
1140.82/1141.08 c 1002s | 19 | 857176 | 657482 | 26042 45 | 4778 | 123
1142.92/1143.14 c 1004s | 19 | 859032 | 658982 | 26042 45 | 4778 | 123
1144.92/1145.16 c 1006s | 19 | 861746 | 660982 | 26042 45 | 4778 | 123
1146.91/1147.19 c 1008s | 19 | 863896 | 662682 | 26042 45 | 4778 | 123
1149.11/1149.36 c 1011s | 19 | 865837 | 664082 | 26042 45 | 4778 | 123
1151.31/1151.53 c 1013s | 19 | 867440 | 665282 | 26042 45 | 4778 | 123
1153.31/1153.53 c 1015s | 19 | 869333 | 666582 | 26042 45 | 4778 | 123
1153.61/1153.87 c 1015s | 20 | 869690 | 666827 | 26042 45 | 4778 | 123
1158.32/1158.50 c 1020s | 20 | 869935 | 666927 | 26042 45 | 4778 | 123
1160.22/1160.50 c 1022s | 20 | 872021 | 668327 | 26042 45 | 4778 | 123
1162.32/1162.50 c 1024s | 20 | 873627 | 669527 | 26042 45 | 4778 | 123
1164.42/1164.66 c 1026s | 20 | 875509 | 670927 | 26042 45 | 4778 | 123
1166.62/1166.85 c 1028s | 20 | 876832 | 671927 | 26042 45 | 4778 | 123
1169.02/1169.20 c 1030s | 20 | 878161 | 672927 | 26042 46 | 4778 | 123
1171.11/1171.34 c 1033s | 20 | 878760 | 673327 | 26042 46 | 4778 | 123
1173.11/1173.39 c 1035s | 20 | 880898 | 674827 | 26042 46 | 4778 | 123
1175.21/1175.45 c 1037s | 20 | 883323 | 676527 | 26042 46 | 4778 | 123
1177.21/1177.47 c 1039s | 20 | 885690 | 678227 | 26042 46 | 4778 | 123
1179.31/1179.51 c 1041s | 20 | 888049 | 679827 | 26042 46 | 4778 | 123
1181.41/1181.63 c 1043s | 20 | 889853 | 681127 | 26042 46 | 4778 | 123
1183.51/1183.75 c 1045s | 20 | 891905 | 682527 | 26042 46 | 4778 | 123
1185.51/1185.76 c 1047s | 20 | 893709 | 683827 | 26042 46 | 4778 | 123
1187.61/1187.82 c 1049s | 20 | 895609 | 685127 | 26042 46 | 4778 | 123
1189.71/1189.94 c 1051s | 20 | 897277 | 686327 | 26042 46 | 4778 | 123
1191.70/1191.95 c 1053s | 20 | 899111 | 687727 | 26042 46 | 4778 | 123
1193.70/1193.97 c 1055s | 20 | 901054 | 689227 | 26042 47 | 4778 | 123
1195.80/1196.00 c 1057s | 20 | 903479 | 691127 | 26042 47 | 4778 | 123
1197.81/1198.09 c 1059s | 20 | 905815 | 693027 | 26042 47 | 4778 | 123
1200.01/1200.22 c 1061s | 20 | 907619 | 694427 | 26042 47 | 4778 | 123
1202.11/1202.33 c 1064s | 20 | 909326 | 695727 | 26042 47 | 4778 | 123
1208.81/1209.05 c 1070s | 20 | 910254 | 696427 | 26042 47 | 4778 | 123
1211.01/1211.23 c 1072s | 20 | 911554 | 697527 | 26042 47 | 4778 | 123
1213.00/1213.27 c 1074s | 20 | 914341 | 699727 | 26042 47 | 4778 | 123
1215.10/1215.37 c 1077s | 20 | 918760 | 703327 | 26042 47 | 4778 | 123
1217.20/1217.43 c 1079s | 20 | 920867 | 705127 | 26042 48 | 4778 | 123
1219.20/1219.45 c 1081s | 20 | 924822 | 708327 | 26042 48 | 4778 | 123
1221.20/1221.46 c 1083s | 20 | 926573 | 709527 | 26042 48 | 4778 | 123
1223.30/1223.58 c 1085s | 20 | 928788 | 711127 | 26042 48 | 4778 | 123
1225.40/1225.61 c 1087s | 20 | 930374 | 712327 | 26042 48 | 4778 | 123
1227.51/1227.72 c 1089s | 20 | 931981 | 713627 | 26042 48 | 4778 | 123
1229.61/1229.87 c 1091s | 20 | 933378 | 714827 | 26042 48 | 4778 | 123
1231.60/1231.89 c 1093s | 20 | 935033 | 716127 | 26042 48 | 4778 | 123
1233.70/1233.94 c 1095s | 20 | 936979 | 717627 | 26042 48 | 4778 | 123
1235.80/1236.07 c 1097s | 20 | 938835 | 719127 | 26042 48 | 4778 | 123
1237.90/1238.13 c 1099s | 20 | 940830 | 720727 | 26042 49 | 4778 | 123
1240.00/1240.28 c 1101s | 20 | 943208 | 722727 | 26042 49 | 4778 | 123
1242.10/1242.39 c 1104s | 20 | 945848 | 724727 | 26042 49 | 4778 | 123
1244.20/1244.43 c 1106s | 20 | 948204 | 726527 | 26042 49 | 4778 | 123
1246.30/1246.50 c 1108s | 20 | 950453 | 728327 | 26042 49 | 4778 | 123
1248.50/1248.75 c 1110s | 20 | 952781 | 730127 | 26042 49 | 4778 | 123
1250.51/1250.79 c 1112s | 20 | 954881 | 731727 | 26042 49 | 4778 | 123
1252.71/1252.91 c 1114s | 20 | 956940 | 733327 | 26042 49 | 4778 | 123
1254.91/1255.19 c 1116s | 20 | 958882 | 734927 | 26042 50 | 4778 | 123
1257.00/1257.25 c 1118s | 20 | 961653 | 737027 | 26042 50 | 4778 | 123
1259.10/1259.38 c 1121s | 20 | 964359 | 739027 | 26042 50 | 4778 | 123
1261.20/1261.46 c 1123s | 20 | 966696 | 740727 | 26042 50 | 4778 | 123
1263.20/1263.47 c 1125s | 20 | 968957 | 742427 | 26042 50 | 4778 | 123
1265.30/1265.50 c 1127s | 20 | 971123 | 743927 | 26042 50 | 4778 | 123
1267.30/1267.51 c 1129s | 20 | 973257 | 745527 | 26042 50 | 4778 | 123
1269.30/1269.54 c 1131s | 20 | 975038 | 747027 | 26042 50 | 4778 | 123
1271.40/1271.68 c 1133s | 20 | 976905 | 748627 | 26042 50 | 4778 | 123
1273.40/1273.69 c 1135s | 20 | 978333 | 749827 | 26042 50 | 4778 | 123
1275.50/1275.71 c 1137s | 20 | 981010 | 751527 | 26042 51 | 4778 | 123
1277.49/1277.79 c 1139s | 20 | 983652 | 753427 | 26042 51 | 4778 | 123
1279.59/1279.82 c 1141s | 20 | 985792 | 755127 | 26042 51 | 4778 | 123
1281.59/1281.83 c 1143s | 20 | 987822 | 756927 | 26042 51 | 4778 | 123
1285.09/1285.30 c 1146s | 20 | 990007 | 758627 | 28647 51 | 4778 | 123
1287.09/1287.31 c 1148s | 20 | 992386 | 760327 | 28647 51 | 4778 | 123
1289.10/1289.36 c 1151s | 20 | 994566 | 762027 | 28647 51 | 4778 | 123
1291.09/1291.36 c 1153s | 20 | 997502 | 764127 | 28647 51 | 4778 | 123
1293.19/1293.45 c 1155s | 20 | 999696 | 765827 | 28647 51 | 4778 | 123
1295.29/1295.55 c 1157s | 20 | 1001567 | 767327 | 28647 51 | 4778 | 123
1297.39/1297.64 c 1159s | 20 | 1003388 | 768627 | 28647 52 | 4778 | 123
1299.39/1299.64 c 1161s | 20 | 1005436 | 770427 | 28647 52 | 4778 | 123
1301.49/1301.72 c 1163s | 20 | 1007857 | 772327 | 28647 52 | 4778 | 123
1303.79/1304.02 c 1165s | 20 | 1009587 | 773527 | 28647 52 | 4778 | 123
1305.89/1306.11 c 1167s | 20 | 1012634 | 775627 | 28647 52 | 4778 | 123
1307.89/1308.11 c 1169s | 20 | 1014991 | 777327 | 28647 52 | 4778 | 123
1309.99/1310.24 c 1171s | 20 | 1017372 | 779127 | 28647 52 | 4778 | 123
1312.09/1312.34 c 1174s | 20 | 1018863 | 780427 | 28647 52 | 4778 | 123
1314.09/1314.39 c 1176s | 20 | 1020784 | 782027 | 28647 52 | 4778 | 123
1316.19/1316.42 c 1178s | 20 | 1022652 | 783527 | 28647 52 | 4778 | 123
1318.19/1318.45 c 1180s | 20 | 1024311 | 784927 | 28647 52 | 4778 | 123
1320.28/1320.57 c 1182s | 20 | 1025649 | 786027 | 28647 53 | 4778 | 123
1322.38/1322.63 c 1184s | 20 | 1028471 | 788027 | 28647 53 | 4778 | 123
1324.38/1324.69 c 1186s | 20 | 1031050 | 790027 | 28647 53 | 4778 | 123
1326.49/1326.75 c 1188s | 20 | 1033847 | 792027 | 28647 53 | 4778 | 123
1328.59/1328.85 c 1190s | 20 | 1035719 | 793327 | 28647 53 | 4778 | 123
1330.79/1331.02 c 1192s | 20 | 1037593 | 794927 | 28647 53 | 4778 | 123
1332.87/1333.10 c 1194s | 20 | 1039212 | 796327 | 28647 53 | 4778 | 123
1334.97/1335.25 c 1196s | 20 | 1040662 | 797527 | 28647 53 | 4778 | 123
1337.07/1337.30 c 1198s | 20 | 1042089 | 798827 | 28647 53 | 4778 | 123
1339.07/1339.37 c 1201s | 20 | 1043953 | 800427 | 28647 53 | 4778 | 123
1341.17/1341.45 c 1203s | 20 | 1045725 | 801927 | 28647 53 | 4778 | 123
1343.27/1343.51 c 1205s | 20 | 1047798 | 803527 | 28647 54 | 4778 | 123
1345.27/1345.59 c 1207s | 20 | 1051239 | 805727 | 28647 54 | 4778 | 123
1347.38/1347.64 c 1209s | 20 | 1054015 | 807727 | 28647 54 | 4778 | 123
1363.57/1363.80 c 1225s | 20 | 1055664 | 809127 | 28647 54 | 4778 | 123
1365.57/1365.85 c 1227s | 20 | 1058442 | 810827 | 28647 54 | 4778 | 123
1367.77/1368.03 c 1229s | 20 | 1059298 | 811527 | 28647 54 | 4778 | 123
1369.77/1370.04 c 1231s | 20 | 1060659 | 812527 | 28647 54 | 4778 | 123
1371.86/1372.14 c 1233s | 20 | 1061915 | 813527 | 28647 54 | 4778 | 123
1373.86/1374.18 c 1235s | 20 | 1063317 | 814627 | 28647 54 | 4778 | 123
1375.97/1376.24 c 1237s | 20 | 1064695 | 815727 | 28647 54 | 4778 | 123
1378.07/1378.34 c 1240s | 20 | 1066070 | 816827 | 28647 54 | 4778 | 123
1380.16/1380.40 c 1242s | 20 | 1067952 | 818227 | 28647 54 | 4778 | 123
1382.16/1382.42 c 1244s | 20 | 1069435 | 819327 | 28647 55 | 4778 | 123
1384.26/1384.58 c 1246s | 20 | 1071514 | 820727 | 28647 55 | 4778 | 123
1386.36/1386.66 c 1248s | 20 | 1073651 | 822327 | 28647 55 | 4778 | 123
1388.36/1388.68 c 1250s | 20 | 1075603 | 823727 | 28647 55 | 4778 | 123
1390.46/1390.76 c 1252s | 20 | 1078019 | 825427 | 28647 55 | 4778 | 123
1392.55/1392.80 c 1254s | 20 | 1079624 | 826727 | 28647 55 | 4778 | 123
1394.56/1394.81 c 1256s | 20 | 1081236 | 828027 | 28647 55 | 4778 | 123
1396.65/1396.93 c 1258s | 20 | 1082545 | 829127 | 28647 55 | 4778 | 123
1398.75/1399.06 c 1260s | 20 | 1084212 | 830427 | 28647 55 | 4778 | 123
1400.94/1401.23 c 1262s | 20 | 1085758 | 831627 | 28647 55 | 4778 | 123
1403.04/1403.30 c 1264s | 20 | 1087330 | 832827 | 28647 55 | 4778 | 123
1405.24/1405.52 c 1267s | 20 | 1088676 | 833927 | 28647 55 | 4778 | 123
1407.34/1407.61 c 1269s | 20 | 1089986 | 834927 | 28647 55 | 4778 | 123
1409.44/1409.73 c 1271s | 20 | 1091804 | 836327 | 28647 56 | 4778 | 123
1411.55/1411.81 c 1273s | 20 | 1092329 | 836727 | 28647 56 | 4778 | 123
1413.55/1413.88 c 1275s | 20 | 1094666 | 838327 | 28647 56 | 4778 | 123
1415.65/1415.97 c 1277s | 20 | 1096586 | 839727 | 28647 56 | 4778 | 123
1417.75/1418.05 c 1279s | 20 | 1098873 | 841427 | 28647 56 | 4778 | 123
1419.75/1420.10 c 1281s | 20 | 1100894 | 842827 | 28647 56 | 4778 | 123
1421.84/1422.13 c 1283s | 20 | 1102709 | 844127 | 28647 56 | 4778 | 123
1424.04/1424.35 c 1286s | 20 | 1104458 | 845527 | 28647 56 | 4778 | 123
1426.04/1426.35 c 1288s | 20 | 1105851 | 846627 | 28647 56 | 4778 | 123
1428.14/1428.48 c 1290s | 20 | 1107531 | 848027 | 28647 56 | 4778 | 123
1430.24/1430.54 c 1292s | 20 | 1108882 | 849127 | 28647 56 | 4778 | 123
1432.34/1432.61 c 1294s | 20 | 1110242 | 850227 | 28647 56 | 4778 | 123
1434.44/1434.76 c 1296s | 20 | 1111598 | 851227 | 28647 56 | 4778 | 123
1436.53/1436.80 c 1298s | 20 | 1112861 | 852327 | 28647 56 | 4778 | 123
1438.54/1438.83 c 1300s | 20 | 1114448 | 853627 | 28647 57 | 4778 | 123
1440.53/1440.89 c 1302s | 20 | 1115287 | 854227 | 28647 57 | 4778 | 123
1442.63/1442.94 c 1304s | 20 | 1116911 | 855527 | 28647 57 | 4778 | 123
1444.63/1444.97 c 1306s | 20 | 1118324 | 856627 | 28647 57 | 4778 | 123
1446.73/1447.03 c 1308s | 20 | 1119698 | 857727 | 28647 57 | 4778 | 123
1448.82/1449.11 c 1310s | 20 | 1121570 | 859127 | 28647 57 | 4778 | 123
1450.92/1451.20 c 1312s | 20 | 1123611 | 860627 | 28647 57 | 4778 | 123
1452.92/1453.26 c 1314s | 20 | 1124747 | 861527 | 28647 57 | 4778 | 123
1455.12/1455.45 c 1317s | 20 | 1126361 | 862827 | 28647 57 | 4778 | 123
1457.12/1457.50 c 1319s | 20 | 1128254 | 864227 | 28647 57 | 4778 | 123
1459.32/1459.64 c 1321s | 20 | 1130007 | 865627 | 28647 57 | 4778 | 123
1461.31/1461.68 c 1323s | 20 | 1131413 | 866727 | 28647 57 | 4778 | 123
1463.41/1463.78 c 1325s | 20 | 1133203 | 868027 | 28647 57 | 4778 | 123
1465.61/1465.91 c 1327s | 20 | 1134562 | 869027 | 28647 57 | 4778 | 123
1467.71/1468.06 c 1329s | 20 | 1135886 | 870127 | 28647 58 | 4778 | 123
1469.71/1470.08 c 1331s | 20 | 1137398 | 871327 | 28647 58 | 4778 | 123
1471.91/1472.20 c 1333s | 20 | 1139263 | 872827 | 28647 58 | 4778 | 123
1474.01/1474.33 c 1336s | 20 | 1141331 | 874427 | 28647 58 | 4778 | 123
1476.01/1476.37 c 1338s | 20 | 1143076 | 875827 | 28647 58 | 4778 | 123
1478.11/1478.45 c 1340s | 20 | 1144778 | 877227 | 28647 58 | 4778 | 123
1480.21/1480.60 c 1342s | 20 | 1146357 | 878527 | 28647 58 | 4778 | 123
1482.30/1482.61 c 1344s | 20 | 1147453 | 879427 | 28647 58 | 4778 | 123
1484.30/1484.65 c 1346s | 20 | 1148837 | 880527 | 28647 58 | 4778 | 123
1486.40/1486.79 c 1348s | 20 | 1150594 | 881827 | 28647 58 | 4778 | 123
1488.60/1488.94 c 1350s | 20 | 1151841 | 882827 | 28647 58 | 4778 | 123
1490.70/1491.04 c 1352s | 20 | 1153094 | 883827 | 28647 58 | 4778 | 123
1492.89/1493.25 c 1354s | 20 | 1154173 | 884727 | 28647 58 | 4778 | 123
1494.89/1495.26 c 1356s | 20 | 1155475 | 885727 | 28647 58 | 4778 | 123
1496.99/1497.30 c 1358s | 20 | 1157239 | 887027 | 28647 59 | 4778 | 123
1499.00/1499.38 c 1361s | 20 | 1159668 | 888627 | 28647 59 | 4778 | 123
1500.99/1501.39 c 1363s | 20 | 1162069 | 890327 | 28647 59 | 4778 | 123
1503.09/1503.46 c 1365s | 20 | 1164197 | 892027 | 28647 59 | 4778 | 123
1505.19/1505.50 c 1367s | 20 | 1165978 | 893427 | 28647 59 | 4778 | 123
1521.28/1521.65 c 1383s | 20 | 1166787 | 894027 | 28647 59 | 4778 | 123
1523.29/1523.66 c 1385s | 20 | 1168259 | 895127 | 28647 59 | 4778 | 123
1525.39/1525.73 c 1387s | 20 | 1169508 | 896127 | 28647 59 | 4778 | 123
1527.38/1527.76 c 1389s | 20 | 1171084 | 897327 | 28647 59 | 4778 | 123
1529.48/1529.84 c 1391s | 20 | 1172571 | 898527 | 28647 59 | 4778 | 123
1534.58/1534.93 c 1396s | 20 | 1173559 | 899227 | 28647 59 | 4778 | 123
1536.68/1537.02 c 1398s | 20 | 1175353 | 900527 | 28647 59 | 4778 | 123
1538.68/1539.05 c 1400s | 20 | 1177132 | 901827 | 28647 59 | 4778 | 123
1541.18/1541.59 c 1403s | 20 | 1178171 | 902727 | 28647 60 | 4778 | 123
1543.28/1543.62 c 1405s | 20 | 1179797 | 904127 | 28647 60 | 4778 | 123
1545.38/1545.71 c 1407s | 20 | 1181352 | 905427 | 28647 60 | 4778 | 123
1547.49/1547.82 c 1409s | 20 | 1183479 | 907027 | 28647 60 | 4778 | 123
1549.48/1549.84 c 1411s | 20 | 1185225 | 908427 | 28647 60 | 4778 | 123
1551.58/1551.98 c 1413s | 20 | 1186854 | 909827 | 28647 60 | 4778 | 123
1553.68/1554.00 c 1415s | 20 | 1188829 | 911427 | 28647 60 | 4778 | 123
1555.68/1556.00 c 1417s | 20 | 1190399 | 912727 | 28647 60 | 4778 | 123
1557.78/1558.12 c 1419s | 20 | 1192070 | 914027 | 28647 60 | 4778 | 123
1559.87/1560.26 c 1421s | 20 | 1193624 | 915227 | 28647 60 | 4778 | 123
1561.97/1562.35 c 1424s | 20 | 1195002 | 916427 | 28647 60 | 4778 | 123
1564.17/1564.56 c 1426s | 20 | 1196633 | 917827 | 28647 60 | 4778 | 123
1566.47/1566.85 c 1428s | 20 | 1197511 | 918527 | 28647 60 | 4778 | 123
1568.57/1568.96 c 1430s | 20 | 1198307 | 919227 | 28647 60 | 4778 | 123
1570.67/1571.00 c 1432s | 20 | 1199212 | 919927 | 28647 61 | 4778 | 123
1572.68/1573.03 c 1434s | 20 | 1200574 | 921127 | 28647 61 | 4778 | 123
1574.77/1575.17 c 1436s | 20 | 1201978 | 922327 | 28647 61 | 4778 | 123
1576.87/1577.26 c 1438s | 20 | 1204285 | 923927 | 28647 61 | 4778 | 123
1578.97/1579.32 c 1441s | 20 | 1206618 | 925627 | 28647 61 | 4778 | 123
1581.06/1581.40 c 1443s | 20 | 1209155 | 927127 | 28647 61 | 4778 | 123
1583.06/1583.43 c 1445s | 20 | 1210767 | 928427 | 28647 61 | 4778 | 123
1585.06/1585.44 c 1447s | 20 | 1212174 | 929627 | 28647 61 | 4778 | 123
1587.26/1587.60 c 1449s | 20 | 1213788 | 930927 | 28647 61 | 4778 | 123
1589.27/1589.63 c 1451s | 20 | 1215555 | 932227 | 28647 61 | 4778 | 123
1591.36/1591.75 c 1453s | 20 | 1217287 | 933427 | 28647 61 | 4778 | 123
1593.45/1593.87 c 1455s | 20 | 1219177 | 934827 | 28647 61 | 4778 | 123
1595.55/1595.95 c 1457s | 20 | 1221261 | 936127 | 28647 61 | 4778 | 123
1597.65/1598.04 c 1459s | 20 | 1223267 | 937627 | 28647 62 | 4778 | 123
1599.75/1600.15 c 1461s | 20 | 1225539 | 939427 | 28647 62 | 4778 | 123
1601.75/1602.18 c 1463s | 20 | 1227953 | 941127 | 28647 62 | 4778 | 123
1604.05/1604.41 c 1466s | 20 | 1230036 | 942727 | 28647 62 | 4778 | 123
1606.05/1606.48 c 1468s | 20 | 1231470 | 943927 | 28647 62 | 4778 | 123
1608.15/1608.58 c 1470s | 20 | 1232687 | 944927 | 28647 62 | 4778 | 123
1610.25/1610.66 c 1472s | 20 | 1234118 | 945927 | 28647 62 | 4778 | 123
1612.25/1612.70 c 1474s | 20 | 1236809 | 947627 | 28647 62 | 4778 | 123
1614.34/1614.80 c 1476s | 20 | 1240151 | 949527 | 28647 62 | 4778 | 123
1616.44/1616.82 c 1478s | 20 | 1241966 | 951027 | 28647 62 | 4778 | 123
1618.44/1618.89 c 1480s | 20 | 1243448 | 952127 | 28647 62 | 4778 | 123
1620.54/1620.96 c 1482s | 20 | 1245042 | 953227 | 28647 63 | 4778 | 123
1622.55/1622.98 c 1484s | 20 | 1246373 | 954327 | 28647 63 | 4778 | 123
1624.65/1625.09 c 1486s | 20 | 1248743 | 956027 | 28647 63 | 4778 | 123
1626.75/1627.11 c 1488s | 20 | 1250761 | 957627 | 28647 63 | 4778 | 123
1628.76/1629.14 c 1490s | 20 | 1252856 | 959227 | 28647 63 | 4778 | 123
1630.75/1631.17 c 1492s | 20 | 1254876 | 960827 | 28647 63 | 4778 | 123
1632.94/1633.32 c 1495s | 20 | 1256756 | 962327 | 28647 63 | 4778 | 123
1634.94/1635.36 c 1497s | 20 | 1258372 | 963627 | 28647 63 | 4778 | 123
1636.94/1637.37 c 1499s | 20 | 1260252 | 965127 | 28647 63 | 4778 | 123
1639.04/1639.43 c 1501s | 20 | 1261890 | 966427 | 28647 63 | 4778 | 123
1641.03/1641.47 c 1503s | 20 | 1263332 | 967527 | 28647 63 | 4778 | 123
1643.23/1643.64 c 1505s | 20 | 1264838 | 968727 | 28647 63 | 4778 | 123
1645.73/1646.11 c 1507s | 20 | 1266271 | 969827 | 28647 64 | 4778 | 123
1647.73/1648.14 c 1509s | 20 | 1267888 | 971227 | 28647 64 | 4778 | 123
1649.74/1650.19 c 1511s | 20 | 1269821 | 972727 | 28647 64 | 4778 | 123
1651.83/1652.26 c 1513s | 20 | 1271919 | 974327 | 28647 64 | 4778 | 123
1654.03/1654.47 c 1516s | 20 | 1273676 | 975627 | 28647 64 | 4778 | 123
1656.13/1656.50 c 1518s | 20 | 1276048 | 977527 | 28647 64 | 4778 | 123
1658.13/1658.55 c 1520s | 20 | 1277926 | 979027 | 28647 64 | 4778 | 123
1660.12/1660.58 c 1522s | 20 | 1279961 | 980627 | 28647 64 | 4778 | 123
1662.22/1662.60 c 1524s | 20 | 1281649 | 981927 | 28647 64 | 4778 | 123
1664.32/1664.70 c 1526s | 20 | 1283227 | 983227 | 28647 64 | 4778 | 123
1666.42/1666.80 c 1528s | 20 | 1284716 | 984527 | 28647 64 | 4778 | 123
1668.33/1668.80 c 1530s | 20 | 1286012 | 985627 | 28647 64 | 4778 | 123
1670.42/1670.85 c 1532s | 20 | 1286848 | 986227 | 28647 64 | 4778 | 123
1673.41/1673.80 c 1535s | 20 | 1287756 | 986727 | 28647 65 | 4778 | 123
1675.41/1675.87 c 1537s | 20 | 1290310 | 988527 | 28647 65 | 4778 | 123
1677.41/1677.89 c 1539s | 20 | 1292872 | 990227 | 28647 65 | 4778 | 123
1679.51/1679.98 c 1541s | 20 | 1294845 | 991627 | 28647 65 | 4778 | 123
1681.62/1682.05 c 1543s | 20 | 1297697 | 993227 | 28647 65 | 4778 | 123
1683.61/1684.09 c 1545s | 20 | 1299880 | 994727 | 28647 65 | 4778 | 123
1685.81/1686.24 c 1547s | 20 | 1300981 | 995627 | 28647 65 | 4778 | 123
1687.81/1688.25 c 1549s | 20 | 1302598 | 996827 | 28647 65 | 4778 | 123
1689.81/1690.26 c 1551s | 20 | 1304356 | 998127 | 28647 65 | 4778 | 123
1691.90/1692.39 c 1554s | 20 | 1306125 | 999527 | 28647 65 | 4778 | 123
1693.50/1693.93 c 1555s | 21 | 1307192 | 1000345 | 28647 65 | 4778 | 123
1702.31/1702.71 c 1564s | 21 | 1307433 | 1000445 | 28647 65 | 4778 | 123
1704.40/1704.86 c 1566s | 21 | 1308896 | 1001445 | 28647 65 | 4778 | 123
1706.40/1706.86 c 1568s | 21 | 1310266 | 1002445 | 28647 65 | 4778 | 123
1709.30/1709.79 c 1571s | 21 | 1311722 | 1003445 | 28647 66 | 4778 | 123
1712.31/1712.75 c 1574s | 21 | 1312575 | 1004045 | 28647 66 | 4778 | 123
1714.40/1714.84 c 1576s | 21 | 1314711 | 1005545 | 28647 66 | 4778 | 123
1716.50/1716.92 c 1578s | 21 | 1317327 | 1007345 | 28647 66 | 4778 | 123
1718.60/1719.05 c 1580s | 21 | 1319090 | 1008745 | 28647 66 | 4778 | 123
1720.70/1721.15 c 1582s | 21 | 1321249 | 1010345 | 28647 66 | 4778 | 123
1722.80/1723.25 c 1584s | 21 | 1323036 | 1011745 | 28647 66 | 4778 | 123
1724.80/1725.27 c 1586s | 21 | 1325192 | 1013245 | 28647 66 | 4778 | 123
1726.90/1727.38 c 1589s | 21 | 1326990 | 1014445 | 28647 66 | 4778 | 123
1729.10/1729.51 c 1591s | 21 | 1329178 | 1015745 | 28647 66 | 4778 | 123
1731.19/1731.61 c 1593s | 21 | 1330543 | 1016745 | 28647 66 | 4778 | 123
1733.20/1733.68 c 1595s | 21 | 1332061 | 1017845 | 28647 66 | 4778 | 123
1735.40/1735.84 c 1597s | 21 | 1333457 | 1018945 | 28647 66 | 4778 | 123
1737.99/1738.49 c 1600s | 21 | 1335100 | 1020145 | 28647 67 | 4778 | 123
1740.08/1740.54 c 1602s | 21 | 1335818 | 1020645 | 28647 67 | 4778 | 123
1742.09/1742.54 c 1604s | 21 | 1338650 | 1022545 | 28647 67 | 4778 | 123
1744.19/1744.65 c 1606s | 21 | 1340767 | 1024145 | 28647 67 | 4778 | 123
1746.18/1746.68 c 1608s | 21 | 1342591 | 1025445 | 28647 67 | 4778 | 123
1748.38/1748.80 c 1610s | 21 | 1344703 | 1026945 | 28647 67 | 4778 | 123
1750.48/1750.90 c 1612s | 21 | 1346859 | 1028445 | 28647 67 | 4778 | 123
1752.48/1752.96 c 1614s | 21 | 1349239 | 1030045 | 28647 67 | 4778 | 123
1754.58/1755.08 c 1616s | 21 | 1351441 | 1031645 | 28647 67 | 4778 | 123
1756.69/1757.19 c 1618s | 21 | 1353236 | 1033045 | 28647 67 | 4778 | 123
1758.89/1759.33 c 1621s | 21 | 1354806 | 1034245 | 28647 67 | 4778 | 123
1760.99/1761.45 c 1623s | 21 | 1356642 | 1035545 | 28647 67 | 4778 | 123
1762.99/1763.46 c 1625s | 21 | 1358143 | 1036745 | 28647 67 | 4778 | 123
1764.98/1765.47 c 1627s | 21 | 1359106 | 1037445 | 28647 68 | 4778 | 123
1767.08/1767.53 c 1629s | 21 | 1360977 | 1038945 | 28647 68 | 4778 | 123
1769.18/1769.61 c 1631s | 21 | 1362900 | 1040445 | 28647 68 | 4778 | 123
1771.18/1771.69 c 1633s | 21 | 1364725 | 1041845 | 28647 68 | 4778 | 123
1773.28/1773.73 c 1635s | 21 | 1366498 | 1043245 | 28647 68 | 4778 | 123
1775.28/1775.77 c 1637s | 21 | 1368163 | 1044545 | 28647 68 | 4778 | 123
1777.37/1777.81 c 1639s | 21 | 1369597 | 1045645 | 28647 68 | 4778 | 123
1779.48/1779.91 c 1641s | 21 | 1371400 | 1046945 | 28647 68 | 4778 | 123
1781.58/1782.03 c 1643s | 21 | 1372935 | 1048145 | 28647 68 | 4778 | 123
1783.57/1784.03 c 1645s | 21 | 1374070 | 1049045 | 28647 68 | 4778 | 123
1785.57/1786.04 c 1647s | 21 | 1375460 | 1050045 | 28647 68 | 4778 | 123
1787.67/1788.11 c 1649s | 21 | 1376926 | 1051145 | 28647 68 | 4778 | 123
1789.67/1790.17 c 1651s | 21 | 1378455 | 1052245 | 28647 68 | 4778 | 123
1791.77/1792.22 c 1653s | 21 | 1379869 | 1053245 | 28647 68 | 4778 | 123
1793.77/1794.28 c 1655s | 21 | 1381341 | 1054345 | 28647 69 | 4778 | 123
1795.87/1796.32 c 1658s | 21 | 1383046 | 1055745 | 28647 69 | 4778 | 123
1797.97/1798.44 c 1660s | 21 | 1384528 | 1056845 | 28647 69 | 4778 | 123
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-4100193-1466211564/watcher-4100193-1466211564 -o /tmp/evaluation-result-4100193-1466211564/solver-4100193-1466211564 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14539 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100193-1466211564.opb
pid=16096
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.29 2.22 2.19 3/179 16099
/proc/meminfo: memFree=29605644/32872528 swapFree=1191052/1305516
[pid=16099] ppid=16096 vsize=722500 CPUtime=0 cores=1,3,5,7
/proc/16099/stat : 16099 (toysat) R 16096 16099 14522 0 -1 4202496 2697 0 0 0 0 0 0 0 20 0 4 0 23203036 739840000 3058 33554432000 4194304 16246674 140736995478304 140736995477728 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16099/statm: 181393 3067 442 2943 0 178287 0
[pid=16099/tid=16100] ppid=16096 vsize=739908 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16100/stat : 16100 (toysat) S 16096 16099 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203036 757665792 3126 33554432000 4194304 16246674 140736995478304 140067096997104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16099/tid=16101] ppid=16096 vsize=745028 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16101/stat : 16101 (toysat) S 16096 16099 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203036 762908672 3146 33554432000 4194304 16246674 140736995478304 140067086507248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16099/tid=16102] ppid=16096 vsize=750148 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 768151552 3163 33554432000 4194304 16246674 140736995478304 140067003690160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[startup+0.100174 s]
/proc/loadavg: 2.29 2.22 2.19 3/179 16099
/proc/meminfo: memFree=29605644/32872528 swapFree=1191052/1305516
[pid=16099] ppid=16096 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/16099/stat : 16099 (toysat) R 16096 16099 14522 0 -1 4202496 26347 0 0 0 6 3 0 0 20 0 4 0 23203036 1333334016 26647 33554432000 4194304 16246674 140736995478304 140736995477616 12367729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16099/statm: 325521 26656 844 2943 0 322415 0
[pid=16099/tid=16100] ppid=16096 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16100/stat : 16100 (toysat) S 16096 16099 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203036 1333334016 26665 33554432000 4194304 16246674 140736995478304 140067096997104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16099/tid=16101] ppid=16096 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16101/stat : 16101 (toysat) S 16096 16099 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203036 1333334016 26672 33554432000 4194304 16246674 140736995478304 140067086507248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16099/tid=16102] ppid=16096 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 1333334016 26678 33554432000 4194304 16246674 140736995478304 140067003690160 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) 1302084
[startup+0.200535 s]
/proc/loadavg: 2.29 2.22 2.19 3/179 16099
/proc/meminfo: memFree=29605644/32872528 swapFree=1191052/1305516
[pid=16099] ppid=16096 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/16099/stat : 16099 (toysat) R 16096 16099 14522 0 -1 4202496 43860 0 0 0 14 5 0 0 20 0 4 0 23203036 1333334016 44159 33554432000 4194304 16246674 140736995478304 140736995477616 7204266 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16099/statm: 325521 44159 845 2943 0 322415 0
[pid=16099/tid=16100] ppid=16096 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16100/stat : 16100 (toysat) S 16096 16099 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203036 1333334016 44159 33554432000 4194304 16246674 140736995478304 140067096997104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16099/tid=16101] ppid=16096 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16101/stat : 16101 (toysat) S 16096 16099 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203036 1333334016 44159 33554432000 4194304 16246674 140736995478304 140067086507248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16099/tid=16102] ppid=16096 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 1333334016 44159 33554432000 4194304 16246674 140736995478304 140067003690160 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) 1302084
[startup+0.300502 s]
/proc/loadavg: 2.29 2.22 2.19 3/179 16099
/proc/meminfo: memFree=29605644/32872528 swapFree=1191052/1305516
[pid=16099] ppid=16096 vsize=1302084 CPUtime=0.29 cores=1,3,5,7
/proc/16099/stat : 16099 (toysat) R 16096 16099 14522 0 -1 4202496 46859 0 0 0 23 6 0 0 20 0 4 0 23203036 1333334016 47158 33554432000 4194304 16246674 140736995478304 140736995477616 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16099/statm: 325521 47165 894 2943 0 322415 0
[pid=16099/tid=16100] ppid=16096 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16100/stat : 16100 (toysat) S 16096 16099 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203036 1333334016 47167 33554432000 4194304 16246674 140736995478304 140067096997104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16099/tid=16101] ppid=16096 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16101/stat : 16101 (toysat) S 16096 16099 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203036 1333334016 47170 33554432000 4194304 16246674 140736995478304 140067086507248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16099/tid=16102] ppid=16096 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 1333334016 47176 33554432000 4194304 16246674 140736995478304 140067003690160 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) 1302084
[startup+0.700418 s]
/proc/loadavg: 2.29 2.22 2.19 3/179 16099
/proc/meminfo: memFree=29605644/32872528 swapFree=1191052/1305516
[pid=16099] ppid=16096 vsize=1302084 CPUtime=0.69 cores=1,3,5,7
/proc/16099/stat : 16099 (toysat) R 16096 16099 14522 0 -1 4202496 83303 0 0 0 58 11 0 0 20 0 4 0 23203036 1333334016 83602 33554432000 4194304 16246674 140736995478304 140736995460224 5601494 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16099/statm: 325521 83606 894 2943 0 322415 0
[pid=16099/tid=16100] ppid=16096 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16100/stat : 16100 (toysat) S 16096 16099 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203036 1333334016 83609 33554432000 4194304 16246674 140736995478304 140067096997104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16099/tid=16101] ppid=16096 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16101/stat : 16101 (toysat) S 16096 16099 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203036 1333334016 83614 33554432000 4194304 16246674 140736995478304 140067086507248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16099/tid=16102] ppid=16096 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 1333334016 83618 33554432000 4194304 16246674 140736995478304 140067003690160 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) 1302084
[startup+1.50041 s]
/proc/loadavg: 2.35 2.23 2.19 4/183 16103
/proc/meminfo: memFree=29093748/32872528 swapFree=1191052/1305516
[pid=16099] ppid=16096 vsize=1302084 CPUtime=1.49 cores=1,3,5,7
/proc/16099/stat : 16099 (toysat) R 16096 16099 14522 0 -1 4202496 175569 0 0 0 127 22 0 0 20 0 4 0 23203036 1333334016 175868 33554432000 4194304 16246674 140736995478304 140736995460224 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16099/statm: 325521 175873 894 2943 0 322415 0
[pid=16099/tid=16100] ppid=16096 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16100/stat : 16100 (toysat) S 16096 16099 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203036 1333334016 175878 33554432000 4194304 16246674 140736995478304 140067096997104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16099/tid=16101] ppid=16096 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16101/stat : 16101 (toysat) S 16096 16099 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203036 1333334016 175881 33554432000 4194304 16246674 140736995478304 140067086507248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16099/tid=16102] ppid=16096 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 1333334016 175884 33554432000 4194304 16246674 140736995478304 140067003690160 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) 1302084
[startup+3.10041 s]
/proc/loadavg: 2.35 2.23 2.19 4/183 16103
/proc/meminfo: memFree=28613008/32872528 swapFree=1191052/1305516
[pid=16099] ppid=16096 vsize=1316420 CPUtime=3.09 cores=1,3,5,7
/proc/16099/stat : 16099 (toysat) R 16096 16099 14522 0 -1 4202496 270268 0 0 0 276 33 0 0 20 0 4 0 23203036 1348014080 270567 33554432000 4194304 16246674 140736995478304 140736995477616 5601643 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16099/statm: 329105 270567 900 2943 0 325999 0
[pid=16099/tid=16100] ppid=16096 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16100/stat : 16100 (toysat) S 16096 16099 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203036 1348014080 270567 33554432000 4194304 16246674 140736995478304 140067096997104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16099/tid=16101] ppid=16096 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16101/stat : 16101 (toysat) S 16096 16099 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203036 1348014080 270567 33554432000 4194304 16246674 140736995478304 140067086507248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16099/tid=16102] ppid=16096 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 1348014080 270567 33554432000 4194304 16246674 140736995478304 140067003690160 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) 1316420
[startup+6.30043 s]
/proc/loadavg: 2.35 2.23 2.19 4/183 16103
/proc/meminfo: memFree=28522936/32872528 swapFree=1191052/1305516
[pid=16099] ppid=16096 vsize=1316420 CPUtime=6.29 cores=1,3,5,7
/proc/16099/stat : 16099 (toysat) R 16096 16099 14522 0 -1 4202496 270298 0 0 0 596 33 0 0 20 0 4 0 23203036 1348014080 270597 33554432000 4194304 16246674 140736995478304 140736995460224 5822740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16099/statm: 329105 270597 900 2943 0 325999 0
[pid=16099/tid=16100] ppid=16096 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16100/stat : 16100 (toysat) S 16096 16099 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203036 1348014080 270597 33554432000 4194304 16246674 140736995478304 140067096997104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16099/tid=16101] ppid=16096 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16101/stat : 16101 (toysat) S 16096 16099 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203036 1348014080 270597 33554432000 4194304 16246674 140736995478304 140067086507248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16099/tid=16102] ppid=16096 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 1348014080 270597 33554432000 4194304 16246674 140736995478304 140067003690160 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) 1316420
[startup+12.7004 s]
/proc/loadavg: 2.37 2.24 2.19 3/183 16103
/proc/meminfo: memFree=28492288/32872528 swapFree=1191052/1305516
[pid=16099] ppid=16096 vsize=1340996 CPUtime=12.69 cores=1,3,5,7
/proc/16099/stat : 16099 (toysat) R 16096 16099 14522 0 -1 4202496 276408 0 0 0 1235 34 0 0 20 0 4 0 23203036 1373179904 276707 33554432000 4194304 16246674 140736995478304 140736995460224 5677662 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16099/statm: 335249 276707 904 2943 0 332143 0
[pid=16099/tid=16100] ppid=16096 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16100/stat : 16100 (toysat) S 16096 16099 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203036 1373179904 276707 33554432000 4194304 16246674 140736995478304 140067096997104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16099/tid=16101] ppid=16096 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16101/stat : 16101 (toysat) S 16096 16099 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203036 1373179904 276707 33554432000 4194304 16246674 140736995478304 140067086507248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16099/tid=16102] ppid=16096 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 1373179904 276707 33554432000 4194304 16246674 140736995478304 140067003690160 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) 1340996
[startup+25.5005 s]
/proc/loadavg: 2.39 2.25 2.19 3/183 16103
/proc/meminfo: memFree=28460936/32872528 swapFree=1191052/1305516
[pid=16099] ppid=16096 vsize=1340996 CPUtime=25.48 cores=1,3,5,7
/proc/16099/stat : 16099 (toysat) R 16096 16099 14522 0 -1 4202496 276451 0 0 0 2514 34 0 0 20 0 4 0 23203036 1373179904 276750 33554432000 4194304 16246674 140736995478304 140736995461304 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16099/statm: 335249 276750 904 2943 0 332143 0
[pid=16099/tid=16100] ppid=16096 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16100/stat : 16100 (toysat) S 16096 16099 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203036 1373179904 276750 33554432000 4194304 16246674 140736995478304 140067096997104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16099/tid=16101] ppid=16096 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16101/stat : 16101 (toysat) S 16096 16099 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203036 1373179904 276750 33554432000 4194304 16246674 140736995478304 140067086507248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16099/tid=16102] ppid=16096 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 1373179904 276750 33554432000 4194304 16246674 140736995478304 140067003690160 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) 1340996
[startup+51.1005 s]
/proc/loadavg: 2.26 2.22 2.19 4/184 16106
/proc/meminfo: memFree=28424992/32872528 swapFree=1191052/1305516
[pid=16099] ppid=16096 vsize=1340996 CPUtime=51.08 cores=1,3,5,7
/proc/16099/stat : 16099 (toysat) R 16096 16099 14522 0 -1 4202496 276468 0 0 0 5073 35 0 0 20 0 4 0 23203036 1373179904 276767 33554432000 4194304 16246674 140736995478304 140736995460224 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16099/statm: 335249 276767 921 2943 0 332143 0
[pid=16099/tid=16100] ppid=16096 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16100/stat : 16100 (toysat) S 16096 16099 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203036 1373179904 276767 33554432000 4194304 16246674 140736995478304 140067096997104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16099/tid=16101] ppid=16096 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16101/stat : 16101 (toysat) S 16096 16099 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203036 1373179904 276767 33554432000 4194304 16246674 140736995478304 140067086507248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16099/tid=16102] ppid=16096 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 1373179904 276767 33554432000 4194304 16246674 140736995478304 140067003690160 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) 1340996
[startup+102.301 s]
/proc/loadavg: 2.21 2.21 2.18 3/185 16130
/proc/meminfo: memFree=28291232/32872528 swapFree=1191052/1305516
[pid=16099] ppid=16096 vsize=1369668 CPUtime=102.28 cores=1,3,5,7
/proc/16099/stat : 16099 (toysat) R 16096 16099 14522 0 -1 4202496 283636 0 0 0 10191 37 0 0 20 0 4 0 23203036 1402540032 283935 33554432000 4194304 16246674 140736995478304 140736995460224 13880819 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16099/statm: 342417 283935 921 2943 0 339311 0
[pid=16099/tid=16100] ppid=16096 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16100/stat : 16100 (toysat) S 16096 16099 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203036 1402540032 283935 33554432000 4194304 16246674 140736995478304 140067096997104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16099/tid=16101] ppid=16096 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16101/stat : 16101 (toysat) S 16096 16099 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203036 1402540032 283935 33554432000 4194304 16246674 140736995478304 140067086507248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16099/tid=16102] ppid=16096 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 1402540032 283935 33554432000 4194304 16246674 140736995478304 140067003690160 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) 1369668
################
# More data... #
################
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292128 33554432000 4194304 16246674 140736995478304 140067003690160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1402436
[startup+1362.3 s]
/proc/loadavg: 2.06 2.14 2.16 3/183 16364
/proc/meminfo: memFree=28016336/32872528 swapFree=1191052/1305516
[pid=16099] ppid=16096 vsize=1402436 CPUtime=1362.07 cores=1,3,5,7
/proc/16099/stat : 16099 (toysat) R 16096 16099 14522 0 -1 4202496 291853 0 0 0 136150 57 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140736995476352 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16099/statm: 350609 292384 922 2943 0 347503 0
[pid=16099/tid=16100] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16100/stat : 16100 (toysat) S 16096 16099 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067096997104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16099/tid=16101] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16101/stat : 16101 (toysat) S 16096 16099 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067086507248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16099/tid=16102] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067003690160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1402436
[startup+1422.3 s]
/proc/loadavg: 2.07 2.13 2.16 3/183 16365
/proc/meminfo: memFree=28016744/32872528 swapFree=1191052/1305516
[pid=16099] ppid=16096 vsize=1402436 CPUtime=1422.05 cores=1,3,5,7
/proc/16099/stat : 16099 (toysat) R 16096 16099 14522 0 -1 4202496 291888 0 0 0 142147 58 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140736995460224 5600076 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16099/statm: 350609 292384 922 2943 0 347503 0
[pid=16099/tid=16100] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16100/stat : 16100 (toysat) S 16096 16099 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067096997104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16099/tid=16101] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16101/stat : 16101 (toysat) S 16096 16099 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067086507248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16099/tid=16102] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067003690160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1402436
[startup+1482.3 s]
/proc/loadavg: 2.27 2.16 2.17 3/183 16367
/proc/meminfo: memFree=28016464/32872528 swapFree=1191052/1305516
[pid=16099] ppid=16096 vsize=1402436 CPUtime=1482 cores=1,3,5,7
/proc/16099/stat : 16099 (toysat) R 16096 16099 14522 0 -1 4202496 291933 0 0 0 148142 58 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140736995460224 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16099/statm: 350609 292384 922 2943 0 347503 0
[pid=16099/tid=16100] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16100/stat : 16100 (toysat) S 16096 16099 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067096997104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16099/tid=16101] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16101/stat : 16101 (toysat) S 16096 16099 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067086507248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16099/tid=16102] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067003690160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1402436
[startup+1542.31 s]
/proc/loadavg: 2.31 2.19 2.18 3/183 16368
/proc/meminfo: memFree=28016860/32872528 swapFree=1191052/1305516
[pid=16099] ppid=16096 vsize=1402436 CPUtime=1541.99 cores=1,3,5,7
/proc/16099/stat : 16099 (toysat) R 16096 16099 14522 0 -1 4202496 291949 0 0 0 154138 61 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140736995476096 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16099/statm: 350609 292384 922 2943 0 347503 0
[pid=16099/tid=16100] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16100/stat : 16100 (toysat) S 16096 16099 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067096997104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16099/tid=16101] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16101/stat : 16101 (toysat) S 16096 16099 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067086507248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16099/tid=16102] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067003690160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 1402436
[startup+1602.3 s]
/proc/loadavg: 2.18 2.17 2.17 3/183 16369
/proc/meminfo: memFree=28016640/32872528 swapFree=1191052/1305516
[pid=16099] ppid=16096 vsize=1402436 CPUtime=1601.95 cores=1,3,5,7
/proc/16099/stat : 16099 (toysat) R 16096 16099 14522 0 -1 4202496 291974 0 0 0 160134 61 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140736995460224 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16099/statm: 350609 292384 922 2943 0 347503 0
[pid=16099/tid=16100] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16100/stat : 16100 (toysat) S 16096 16099 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067096997104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16099/tid=16101] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16101/stat : 16101 (toysat) S 16096 16099 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067086507248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16099/tid=16102] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067003690160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1402436
[startup+1662.3 s]
/proc/loadavg: 2.17 2.17 2.17 3/183 16370
/proc/meminfo: memFree=28016424/32872528 swapFree=1191052/1305516
[pid=16099] ppid=16096 vsize=1402436 CPUtime=1661.92 cores=1,3,5,7
/proc/16099/stat : 16099 (toysat) R 16096 16099 14522 0 -1 4202496 292011 0 0 0 166130 62 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140736995460224 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16099/statm: 350609 292384 922 2943 0 347503 0
[pid=16099/tid=16100] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16100/stat : 16100 (toysat) S 16096 16099 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067096997104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16099/tid=16101] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16101/stat : 16101 (toysat) S 16096 16099 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067086507248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16099/tid=16102] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067003690160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1402436
[startup+1722.3 s]
/proc/loadavg: 2.11 2.15 2.16 3/182 16371
/proc/meminfo: memFree=28017192/32872528 swapFree=1191052/1305516
[pid=16099] ppid=16096 vsize=1402436 CPUtime=1721.9 cores=1,3,5,7
/proc/16099/stat : 16099 (toysat) R 16096 16099 14522 0 -1 4202496 292036 0 0 0 172126 64 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140736995460224 5717462 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16099/statm: 350609 292384 922 2943 0 347503 0
[pid=16099/tid=16100] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16100/stat : 16100 (toysat) S 16096 16099 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067096997104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16099/tid=16101] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16101/stat : 16101 (toysat) S 16096 16099 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067086507248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16099/tid=16102] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067003690160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1402436
[startup+1782.3 s]
/proc/loadavg: 2.14 2.15 2.16 3/183 16374
/proc/meminfo: memFree=28015084/32872528 swapFree=1191052/1305516
[pid=16099] ppid=16096 vsize=1402436 CPUtime=1781.87 cores=1,3,5,7
/proc/16099/stat : 16099 (toysat) R 16096 16099 14522 0 -1 4202496 292072 0 0 0 178122 65 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140736995460224 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16099/statm: 350609 292384 922 2943 0 347503 0
[pid=16099/tid=16100] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16100/stat : 16100 (toysat) S 16096 16099 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067096997104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16099/tid=16101] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16101/stat : 16101 (toysat) S 16096 16099 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067086507248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16099/tid=16102] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067003690160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1402436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.18 2.16 2.16 3/183 16423
/proc/meminfo: memFree=28488596/32872528 swapFree=1191052/1305516
[pid=16099] ppid=16096 vsize=1402436 CPUtime=1800.07 cores=1,3,5,7
/proc/16099/stat : 16099 (toysat) R 16096 16099 14522 0 -1 4202496 292078 0 0 0 179942 65 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140736995460224 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16099/statm: 350609 292384 922 2943 0 347503 0
[pid=16099/tid=16100] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16100/stat : 16100 (toysat) S 16096 16099 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067096997104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16099/tid=16101] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16101/stat : 16101 (toysat) S 16096 16099 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067086507248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16099/tid=16102] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067003690160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1402436
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 16099 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.18 2.16 2.16 3/183 16423
/proc/meminfo: memFree=28488596/32872528 swapFree=1191052/1305516
[pid=16099] ppid=16096 vsize=1402436 CPUtime=1800.07 cores=1,3,5,7
/proc/16099/stat : 16099 (toysat) R 16096 16099 14522 0 -1 4202496 292078 0 0 0 179942 65 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140736995460224 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16099/statm: 350609 292384 922 2943 0 347503 0
[pid=16099/tid=16100] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16100/stat : 16100 (toysat) S 16096 16099 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067096997104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16099/tid=16101] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16101/stat : 16101 (toysat) S 16096 16099 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067086507248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16099/tid=16102] ppid=16096 vsize=1402436 CPUtime=0 cores=1,3,5,7
/proc/16099/task/16102/stat : 16102 (toysat) S 16096 16099 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23203036 1436094464 292384 33554432000 4194304 16246674 140736995478304 140067003690160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1402436
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.1
CPU user time (s): 1799.42
CPU system time (s): 0.672897
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 1402436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.672897
maximum resident set size= 1169536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292078
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= 263
involuntary context switches= 1858
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5693 second user time and 7.12292 second system time
The end