0.00/0.00 c 2016-06-30T06:35:16+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-4119564-1467261316.opb"]
0.00/0.01 c use --random-gen="2568196166 2102128420 4064887048 487103439 1490465942 681876247 1390464997 3363869489 1056433794 344940924 52521250 4102444396 1851491421 2056462674 2118260943 2810785024 2095323345 3097966896 2902542334 285031720 2201767892 2611940124 3123897864 1972048014 2311212102 1705334005 2061521327 4097793068 2792538137 3520764699 4243311186 2252164139 3350076110 1527326757 3010722517 237786386 4003626108 2090811341 4233748759 1292094098 2363962115 4208977857 2468993842 1433185877 1386407694 3698391763 4025397196 763249219 902033764 566285360 3524459380 3043175059 3132604476 2706463002 3564479698 222595415 4240977626 2355700303 3142531702 457679549 2138189754 1123736867 4275905548 643938408 2756628523 4011132093 530107017 2228631723 63094070 847874703 1519088633 1466513906 2742251191 375175790 403682992 3853266423 3414052137 3224822071 3676093246 1519428561 2829443724 2924127629 337262891 4205379090 4044483861 2993607505 290539468 3780318122 3298469159 3252555552 52202113 2432855412 3555983584 442417417 1469048534 3336819804 3060170936 1149719744 3458325579 2416617502 2144684792 689326775 2704493309 2153920456 2740436900 1143453582 1889097802 2007528765 3310112130 1867314358 4136905557 4239921232 1130401293 1933735047 1618090493 4191021361 2063688649 2342888688 2393301562 3773705249 3850016098 3540487061 3338825204 1650071892 4001144589 1908847322 1664513203 2140993228 290694389 739805880 1307641748 3950793047 1184416144 2588280818 3642314978 3923977089 1107050660 4246245880 1275593811 1528446310 3400102818 3818685098 3108405115 1753639228 2244211826 4042444947 3086342280 2662413138 535428335 1749260613 821885757 819492545 28691913 1665152108 2639569757 3284201997 1438569013 1584221261 2460985493 928206782 2450634267 186529114 619500315 3430792640 710215112 2991780410 682139880 2089884793 656694373 3249416645 325238206 2086063694 2529236776 1427540378 1649907701 16802232 4285660925 2474209837 393188744 2501047429 169550625 3533777832 2137534888 1714669961 2864988789 1805752181 1654902280 1649006753 893174909 986239332 3528728003 69213591 2682640798 3056197421 492929183 2641176821 2500358994 2163491396 2702424840 2472434309 3842380081 3822623350 327043517 4085430255 2653914275 3074558298 2371369575 3100361986 3876714516 2530470479 2449394669 2266898590 201170145 1076273810 2869386386 1448985445 2499372214 2245984929 923671707 1769655473 52895593 3081498894 2955056372 2081208467 3223607521 454255273 2020632528 3806370362 1203177373 466995663 1712096251 4198106691 2866826240 4070242488 4294822725 2486764911 2810953318 2087283835 644662725 2931651591 1565841682 146424852 507499506 330239791 3198757862 3436332059 1028675216 2389542158 3145159672 3009013427 676337200 1594205510 443205375 3596719988 354511532 1010543391 255 362436" option to reproduce the execution
0.00/0.02 c #vars 150
0.00/0.02 c #constraints 50
0.00/0.07 c BCD2: Hardening is enabled.
0.00/0.07 c BCD2: BiasedSearch is enabled.
0.00/0.07 c Solving starts ...
0.00/0.07 c ============================[ Search Statistics ]============================
0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.00/0.07 c | | | | Limit GC | Var | Constra
0.00/0.07 c =============================================================================
0.00/0.08 c 0.0s | 0 | 0 | 0 | 2533 0 | 0 | 0
0.00/0.09 c 0.0s | 0 | 3724 | 0 | 2533 0 | 0 | 0
0.00/0.09 c #cpu_time = 0.018s
0.00/0.09 c #wall_clock_time = 0.018s
0.00/0.09 c #decision = 3724
0.00/0.09 c #random_decision = 14
0.00/0.09 c #conflict = 0
0.00/0.09 c #restart = 0
0.00/0.09 o 17731
0.00/0.09 c BCD2: updating upper bound: 62475 -> 17730
0.09/0.11 c BCD2: 0 <= obj <= 17730
0.09/0.11 c BCD2: #cores=0, #unrelaxed=3675, #relaxed=0, #hardened=0
0.09/0.11 c BCD2: #sat=1 #unsat=1 bias=1/2
0.09/0.11 c Solving starts ...
0.09/0.11 c ============================[ Search Statistics ]============================
0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.11 c | | | | Limit GC | Var | Constra
0.09/0.11 c =============================================================================
0.09/0.11 c 0.0s | 0 | 0 | 0 | 2533 0 | 0 | 0
0.09/0.12 c 0.0s | 0 | 3680 | 6 | 2533 0 | 0 | 0
0.09/0.12 c #cpu_time = 0.007s
0.09/0.12 c #wall_clock_time = 0.007s
0.09/0.12 c #decision = 3680
0.09/0.12 c #random_decision = 0
0.09/0.12 c #conflict = 6
0.09/0.12 c #restart = 0
0.09/0.12 c BCD2: found a new core of size 27: cost of the new core is >=1
0.09/0.12 c lower bound updated to 1
0.09/0.13 c BCD2: 1 <= obj <= 17730
0.09/0.13 c BCD2: #cores=1, #unrelaxed=3648, #relaxed=27, #hardened=0
0.09/0.13 c BCD2: #sat=1 #unsat=2 bias=2/3
0.09/0.14 c Solving starts ...
0.09/0.14 c ============================[ Search Statistics ]============================
0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.14 c | | | | Limit GC | Var | Constra
0.09/0.14 c =============================================================================
0.09/0.14 c 0.0s | 0 | 0 | 0 | 2533 0 | 0 | 0
0.09/0.14 c 0.0s | 0 | 4481 | 15 | 2533 0 | 0 | 0
0.09/0.14 c #cpu_time = 0.006s
0.09/0.14 c #wall_clock_time = 0.006s
0.09/0.14 c #decision = 4481
0.09/0.14 c #random_decision = 0
0.09/0.14 c #conflict = 15
0.09/0.14 c #restart = 0
0.09/0.14 c BCD2: found a new core of size 25: cost of the new core is >=1
0.09/0.14 c lower bound updated to 2
0.09/0.14 c BCD2: 2 <= obj <= 17730
0.09/0.14 c BCD2: #cores=2, #unrelaxed=3623, #relaxed=52, #hardened=0
0.09/0.14 c BCD2: #sat=1 #unsat=3 bias=3/4
0.09/0.14 c Solving starts ...
0.09/0.14 c ============================[ Search Statistics ]============================
0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.14 c | | | | Limit GC | Var | Constra
0.09/0.14 c =============================================================================
0.09/0.14 c 0.0s | 0 | 0 | 0 | 2533 0 | 0 | 0
0.09/0.15 c 0.0s | 0 | 3813 | 12 | 2533 0 | 0 | 0
0.09/0.15 c #cpu_time = 0.005s
0.09/0.15 c #wall_clock_time = 0.005s
0.09/0.15 c #decision = 3813
0.09/0.15 c #random_decision = 0
0.09/0.15 c #conflict = 12
0.09/0.15 c #restart = 0
0.09/0.15 c BCD2: found a new core of size 36: cost of the new core is >=1
0.09/0.15 c lower bound updated to 3
0.09/0.15 c BCD2: 3 <= obj <= 17730
0.09/0.15 c BCD2: #cores=3, #unrelaxed=3587, #relaxed=88, #hardened=0
0.09/0.15 c BCD2: #sat=1 #unsat=4 bias=4/5
0.09/0.15 c Solving starts ...
0.09/0.15 c ============================[ Search Statistics ]============================
0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.15 c | | | | Limit GC | Var | Constra
0.09/0.15 c =============================================================================
0.09/0.15 c 0.0s | 0 | 0 | 0 | 2533 0 | 0 | 0
0.09/0.16 c 0.0s | 0 | 4577 | 19 | 2533 0 | 0 | 0
0.09/0.16 c #cpu_time = 0.010s
0.09/0.16 c #wall_clock_time = 0.010s
0.09/0.16 c #decision = 4577
0.09/0.16 c #random_decision = 0
0.09/0.16 c #conflict = 19
0.09/0.16 c #restart = 0
0.09/0.16 c BCD2: found a new core of size 34: cost of the new core is >=1
0.09/0.16 c lower bound updated to 4
0.09/0.17 c BCD2: 4 <= obj <= 17730
0.09/0.17 c BCD2: #cores=4, #unrelaxed=3553, #relaxed=122, #hardened=0
0.09/0.17 c BCD2: #sat=1 #unsat=5 bias=5/6
0.09/0.17 c Solving starts ...
0.09/0.17 c ============================[ Search Statistics ]============================
0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.17 c | | | | Limit GC | Var | Constra
0.09/0.17 c =============================================================================
0.09/0.17 c 0.0s | 0 | 0 | 0 | 2533 0 | 0 | 0
0.09/0.17 c 0.0s | 0 | 3829 | 13 | 2533 0 | 0 | 0
0.09/0.17 c #cpu_time = 0.005s
0.09/0.17 c #wall_clock_time = 0.005s
0.09/0.17 c #decision = 3829
0.09/0.17 c #random_decision = 0
0.09/0.17 c #conflict = 13
0.09/0.17 c #restart = 0
0.09/0.17 c BCD2: found a new core of size 39: cost of the new core is >=1
0.09/0.17 c lower bound updated to 5
0.09/0.18 c BCD2: 5 <= obj <= 17730
0.09/0.18 c BCD2: #cores=5, #unrelaxed=3514, #relaxed=161, #hardened=0
0.09/0.18 c BCD2: #sat=1 #unsat=6 bias=6/7
0.09/0.18 c Solving starts ...
0.09/0.18 c ============================[ Search Statistics ]============================
0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.18 c | | | | Limit GC | Var | Constra
0.09/0.18 c =============================================================================
0.09/0.18 c 0.0s | 0 | 0 | 0 | 2533 0 | 0 | 0
0.09/0.18 c 0.0s | 0 | 3859 | 13 | 2533 0 | 0 | 0
0.09/0.18 c #cpu_time = 0.005s
0.09/0.18 c #wall_clock_time = 0.005s
0.09/0.18 c #decision = 3859
0.09/0.18 c #random_decision = 0
0.09/0.18 c #conflict = 13
0.09/0.18 c #restart = 0
0.09/0.18 c BCD2: found a new core of size 50: cost of the new core is >=1
0.09/0.18 c lower bound updated to 6
0.09/0.18 c BCD2: 6 <= obj <= 17730
0.09/0.18 c BCD2: #cores=6, #unrelaxed=3464, #relaxed=211, #hardened=0
0.09/0.18 c BCD2: #sat=1 #unsat=7 bias=7/8
0.09/0.18 c Solving starts ...
0.09/0.18 c ============================[ Search Statistics ]============================
0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.09/0.18 c | | | | Limit GC | Var | Constra
0.09/0.18 c =============================================================================
0.09/0.18 c 0.0s | 0 | 0 | 0 | 2533 0 | 0 | 0
0.09/0.19 c 0.0s | 0 | 4634 | 14 | 2533 0 | 0 | 0
0.09/0.19 c #cpu_time = 0.006s
0.09/0.19 c #wall_clock_time = 0.006s
0.09/0.19 c #decision = 4634
0.09/0.19 c #random_decision = 0
0.09/0.19 c #conflict = 14
0.09/0.19 c #restart = 0
0.09/0.19 c BCD2: found a new core of size 57: cost of the new core is >=1
0.09/0.19 c lower bound updated to 7
0.09/0.19 c BCD2: 7 <= obj <= 17730
0.09/0.19 c BCD2: #cores=7, #unrelaxed=3407, #relaxed=268, #hardened=0
0.09/0.19 c BCD2: #sat=1 #unsat=8 bias=8/9
0.19/0.20 c Solving starts ...
0.19/0.20 c ============================[ Search Statistics ]============================
0.19/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.20 c | | | | Limit GC | Var | Constra
0.19/0.20 c =============================================================================
0.19/0.20 c 0.0s | 0 | 0 | 0 | 2533 0 | 0 | 0
0.19/0.21 c 0.0s | 0 | 3520 | 20 | 2787 0 | 0 | 0
0.19/0.21 c #cpu_time = 0.009s
0.19/0.21 c #wall_clock_time = 0.009s
0.19/0.21 c #decision = 3520
0.19/0.21 c #random_decision = 0
0.19/0.21 c #conflict = 20
0.19/0.21 c #restart = 0
0.19/0.21 c BCD2: found a new core of size 45: cost of the new core is >=1
0.19/0.21 c lower bound updated to 8
0.19/0.21 c BCD2: 8 <= obj <= 17730
0.19/0.21 c BCD2: #cores=8, #unrelaxed=3362, #relaxed=313, #hardened=0
0.19/0.21 c BCD2: #sat=1 #unsat=9 bias=9/10
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 | 2787 0 | 0 | 0
0.19/0.22 c 0.0s | 0 | 5033 | 14 | 2787 0 | 0 | 0
0.19/0.22 c #cpu_time = 0.006s
0.19/0.22 c #wall_clock_time = 0.006s
0.19/0.22 c #decision = 5033
0.19/0.22 c #random_decision = 0
0.19/0.22 c #conflict = 14
0.19/0.22 c #restart = 0
0.19/0.22 c BCD2: found a new core of size 45: cost of the new core is >=1
0.19/0.22 c lower bound updated to 9
0.19/0.22 c BCD2: 9 <= obj <= 17730
0.19/0.22 c BCD2: #cores=9, #unrelaxed=3317, #relaxed=358, #hardened=0
0.19/0.22 c BCD2: #sat=1 #unsat=10 bias=10/11
0.19/0.22 c Solving starts ...
0.19/0.22 c ============================[ Search Statistics ]============================
0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.22 c | | | | Limit GC | Var | Constra
0.19/0.22 c =============================================================================
0.19/0.22 c 0.0s | 0 | 0 | 0 | 2787 0 | 0 | 0
0.19/0.23 c 0.0s | 0 | 4379 | 21 | 2787 0 | 0 | 0
0.19/0.23 c #cpu_time = 0.006s
0.19/0.23 c #wall_clock_time = 0.006s
0.19/0.23 c #decision = 4379
0.19/0.23 c #random_decision = 0
0.19/0.23 c #conflict = 21
0.19/0.23 c #restart = 0
0.19/0.23 c BCD2: found a new core of size 42: cost of the new core is >=1
0.19/0.23 c lower bound updated to 10
0.19/0.23 c BCD2: 10 <= obj <= 17730
0.19/0.23 c BCD2: #cores=10, #unrelaxed=3275, #relaxed=400, #hardened=0
0.19/0.23 c BCD2: #sat=1 #unsat=11 bias=11/12
0.19/0.23 c Solving starts ...
0.19/0.23 c ============================[ Search Statistics ]============================
0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.23 c | | | | Limit GC | Var | Constra
0.19/0.23 c =============================================================================
0.19/0.23 c 0.0s | 0 | 0 | 0 | 2787 0 | 0 | 0
0.19/0.24 c 0.0s | 0 | 3342 | 14 | 2787 0 | 0 | 0
0.19/0.24 c #cpu_time = 0.005s
0.19/0.24 c #wall_clock_time = 0.005s
0.19/0.24 c #decision = 3342
0.19/0.24 c #random_decision = 0
0.19/0.24 c #conflict = 14
0.19/0.24 c #restart = 0
0.19/0.24 c BCD2: found a new core of size 64: cost of the new core is >=1
0.19/0.24 c lower bound updated to 11
0.19/0.24 c BCD2: 11 <= obj <= 17730
0.19/0.24 c BCD2: #cores=11, #unrelaxed=3211, #relaxed=464, #hardened=0
0.19/0.24 c BCD2: #sat=1 #unsat=12 bias=12/13
0.19/0.25 c Solving starts ...
0.19/0.25 c ============================[ Search Statistics ]============================
0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.25 c | | | | Limit GC | Var | Constra
0.19/0.25 c =============================================================================
0.19/0.25 c 0.0s | 0 | 0 | 0 | 2787 0 | 0 | 0
0.19/0.25 c 0.0s | 0 | 3284 | 24 | 2787 0 | 0 | 0
0.19/0.25 c #cpu_time = 0.006s
0.19/0.25 c #wall_clock_time = 0.006s
0.19/0.25 c #decision = 3284
0.19/0.25 c #random_decision = 0
0.19/0.25 c #conflict = 24
0.19/0.25 c #restart = 0
0.19/0.25 c BCD2: found a new core of size 70: cost of the new core is >=1
0.19/0.25 c lower bound updated to 12
0.19/0.25 c BCD2: 12 <= obj <= 17730
0.19/0.25 c BCD2: #cores=12, #unrelaxed=3141, #relaxed=534, #hardened=0
0.19/0.25 c BCD2: #sat=1 #unsat=13 bias=13/14
0.19/0.26 c Solving starts ...
0.19/0.26 c ============================[ Search Statistics ]============================
0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.26 c | | | | Limit GC | Var | Constra
0.19/0.26 c =============================================================================
0.19/0.26 c 0.0s | 0 | 0 | 0 | 2787 0 | 0 | 0
0.19/0.26 c 0.0s | 0 | 5560 | 17 | 2787 0 | 0 | 0
0.19/0.26 c #cpu_time = 0.007s
0.19/0.26 c #wall_clock_time = 0.007s
0.19/0.26 c #decision = 5560
0.19/0.26 c #random_decision = 0
0.19/0.26 c #conflict = 17
0.19/0.26 c #restart = 0
0.19/0.26 c BCD2: found a new core of size 32: cost of the new core is >=1
0.19/0.27 c lower bound updated to 13
0.19/0.27 c BCD2: 13 <= obj <= 17730
0.19/0.27 c BCD2: #cores=13, #unrelaxed=3109, #relaxed=566, #hardened=0
0.19/0.27 c BCD2: #sat=1 #unsat=14 bias=14/15
0.19/0.27 c Solving starts ...
0.19/0.27 c ============================[ Search Statistics ]============================
0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.27 c | | | | Limit GC | Var | Constra
0.19/0.27 c =============================================================================
0.19/0.27 c 0.0s | 0 | 0 | 0 | 2787 0 | 0 | 0
0.19/0.28 c 0.0s | 0 | 3498 | 11 | 2787 0 | 0 | 0
0.19/0.28 c #cpu_time = 0.006s
0.19/0.28 c #wall_clock_time = 0.006s
0.19/0.28 c #decision = 3498
0.19/0.28 c #random_decision = 0
0.19/0.28 c #conflict = 11
0.19/0.28 c #restart = 0
0.19/0.28 c BCD2: found a new core of size 42: cost of the new core is >=2
0.19/0.28 c lower bound updated to 15
0.19/0.28 c BCD2: 15 <= obj <= 17730
0.19/0.28 c BCD2: #cores=14, #unrelaxed=3067, #relaxed=608, #hardened=0
0.19/0.28 c BCD2: #sat=1 #unsat=15 bias=15/16
0.19/0.28 c Solving starts ...
0.19/0.28 c ============================[ Search Statistics ]============================
0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.28 c | | | | Limit GC | Var | Constra
0.19/0.28 c =============================================================================
0.19/0.28 c 0.0s | 0 | 0 | 0 | 2787 0 | 0 | 0
0.19/0.29 c 0.0s | 0 | 4452 | 19 | 2787 0 | 0 | 0
0.19/0.29 c #cpu_time = 0.007s
0.19/0.29 c #wall_clock_time = 0.007s
0.19/0.29 c #decision = 4452
0.19/0.29 c #random_decision = 0
0.19/0.29 c #conflict = 19
0.19/0.29 c #restart = 0
0.19/0.29 c BCD2: found a new core of size 55: cost of the new core is >=1
0.19/0.29 c lower bound updated to 16
0.19/0.29 c BCD2: 16 <= obj <= 17730
0.19/0.29 c BCD2: #cores=15, #unrelaxed=3012, #relaxed=663, #hardened=0
0.19/0.29 c BCD2: #sat=1 #unsat=16 bias=16/17
0.19/0.29 c Solving starts ...
0.19/0.29 c ============================[ Search Statistics ]============================
0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.19/0.29 c | | | | Limit GC | Var | Constra
0.19/0.29 c =============================================================================
0.19/0.29 c 0.0s | 0 | 0 | 0 | 2787 0 | 0 | 0
0.29/0.30 c 0.0s | 0 | 3771 | 11 | 2787 0 | 0 | 0
0.29/0.30 c #cpu_time = 0.006s
0.29/0.30 c #wall_clock_time = 0.006s
0.29/0.30 c #decision = 3771
0.29/0.30 c #random_decision = 0
0.29/0.30 c #conflict = 11
0.29/0.30 c #restart = 0
0.29/0.30 c BCD2: found a new core of size 36: cost of the new core is >=1
0.29/0.30 c lower bound updated to 17
0.29/0.30 c BCD2: 17 <= obj <= 17730
0.29/0.30 c BCD2: #cores=16, #unrelaxed=2976, #relaxed=699, #hardened=0
0.29/0.30 c BCD2: #sat=1 #unsat=17 bias=17/18
0.29/0.31 c Solving starts ...
0.29/0.31 c ============================[ Search Statistics ]============================
0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.31 c | | | | Limit GC | Var | Constra
0.29/0.31 c =============================================================================
0.29/0.31 c 0.0s | 0 | 0 | 0 | 2787 0 | 0 | 0
0.29/0.31 c 0.0s | 0 | 3037 | 13 | 3066 0 | 0 | 0
0.29/0.31 c #cpu_time = 0.006s
0.29/0.31 c #wall_clock_time = 0.006s
0.29/0.31 c #decision = 3037
0.29/0.31 c #random_decision = 0
0.29/0.31 c #conflict = 13
0.29/0.31 c #restart = 0
0.29/0.31 c BCD2: found a new core of size 52: cost of the new core is >=1
0.29/0.31 c lower bound updated to 18
0.29/0.31 c BCD2: 18 <= obj <= 17730
0.29/0.31 c BCD2: #cores=17, #unrelaxed=2924, #relaxed=751, #hardened=0
0.29/0.31 c BCD2: #sat=1 #unsat=18 bias=18/19
0.29/0.32 c Solving starts ...
0.29/0.32 c ============================[ Search Statistics ]============================
0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.32 c | | | | Limit GC | Var | Constra
0.29/0.32 c =============================================================================
0.29/0.32 c 0.0s | 0 | 0 | 0 | 3066 0 | 0 | 0
0.29/0.33 c 0.0s | 0 | 4195 | 18 | 3066 0 | 0 | 0
0.29/0.33 c #cpu_time = 0.009s
0.29/0.33 c #wall_clock_time = 0.009s
0.29/0.33 c #decision = 4195
0.29/0.33 c #random_decision = 1
0.29/0.33 c #conflict = 18
0.29/0.33 c #restart = 0
0.29/0.33 c BCD2: found a new core of size 67: cost of the new core is >=1
0.29/0.33 c lower bound updated to 19
0.29/0.33 c BCD2: 19 <= obj <= 17730
0.29/0.33 c BCD2: #cores=18, #unrelaxed=2857, #relaxed=818, #hardened=0
0.29/0.33 c BCD2: #sat=1 #unsat=19 bias=19/20
0.29/0.34 c Solving starts ...
0.29/0.34 c ============================[ Search Statistics ]============================
0.29/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.34 c | | | | Limit GC | Var | Constra
0.29/0.34 c =============================================================================
0.29/0.34 c 0.0s | 0 | 0 | 0 | 3066 0 | 0 | 0
0.29/0.34 c 0.0s | 0 | 3644 | 17 | 3066 0 | 0 | 0
0.29/0.34 c #cpu_time = 0.007s
0.29/0.34 c #wall_clock_time = 0.007s
0.29/0.34 c #decision = 3644
0.29/0.34 c #random_decision = 0
0.29/0.34 c #conflict = 17
0.29/0.34 c #restart = 0
0.29/0.34 c BCD2: found a new core of size 48: cost of the new core is >=1
0.29/0.34 c lower bound updated to 20
0.29/0.34 c BCD2: 20 <= obj <= 17730
0.29/0.34 c BCD2: #cores=19, #unrelaxed=2809, #relaxed=866, #hardened=0
0.29/0.34 c BCD2: #sat=1 #unsat=20 bias=20/21
0.29/0.35 c Solving starts ...
0.29/0.35 c ============================[ Search Statistics ]============================
0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.35 c | | | | Limit GC | Var | Constra
0.29/0.35 c =============================================================================
0.29/0.35 c 0.0s | 0 | 0 | 0 | 3066 0 | 0 | 0
0.29/0.36 c 0.0s | 0 | 3192 | 22 | 3066 0 | 0 | 0
0.29/0.36 c #cpu_time = 0.007s
0.29/0.36 c #wall_clock_time = 0.007s
0.29/0.36 c #decision = 3192
0.29/0.36 c #random_decision = 0
0.29/0.36 c #conflict = 22
0.29/0.36 c #restart = 0
0.29/0.36 c BCD2: found a new core of size 44: cost of the new core is >=1
0.29/0.36 c lower bound updated to 21
0.29/0.36 c BCD2: 21 <= obj <= 17730
0.29/0.36 c BCD2: #cores=20, #unrelaxed=2765, #relaxed=910, #hardened=0
0.29/0.36 c BCD2: #sat=1 #unsat=21 bias=21/22
0.29/0.36 c Solving starts ...
0.29/0.36 c ============================[ Search Statistics ]============================
0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.36 c | | | | Limit GC | Var | Constra
0.29/0.36 c =============================================================================
0.29/0.36 c 0.0s | 0 | 0 | 0 | 3066 0 | 0 | 0
0.29/0.37 c 0.0s | 0 | 2833 | 11 | 3066 0 | 0 | 0
0.29/0.37 c #cpu_time = 0.006s
0.29/0.37 c #wall_clock_time = 0.006s
0.29/0.37 c #decision = 2833
0.29/0.37 c #random_decision = 0
0.29/0.37 c #conflict = 11
0.29/0.37 c #restart = 0
0.29/0.37 c BCD2: found a new core of size 57: cost of the new core is >=1
0.29/0.37 c lower bound updated to 22
0.29/0.37 c BCD2: 22 <= obj <= 17730
0.29/0.37 c BCD2: #cores=21, #unrelaxed=2708, #relaxed=967, #hardened=0
0.29/0.37 c BCD2: #sat=1 #unsat=22 bias=22/23
0.29/0.37 c Solving starts ...
0.29/0.37 c ============================[ Search Statistics ]============================
0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.37 c | | | | Limit GC | Var | Constra
0.29/0.37 c =============================================================================
0.29/0.37 c 0.0s | 0 | 0 | 0 | 3066 0 | 0 | 0
0.29/0.38 c 0.0s | 0 | 3009 | 13 | 3066 0 | 0 | 0
0.29/0.38 c #cpu_time = 0.007s
0.29/0.38 c #wall_clock_time = 0.007s
0.29/0.38 c #decision = 3009
0.29/0.38 c #random_decision = 0
0.29/0.38 c #conflict = 13
0.29/0.38 c #restart = 0
0.29/0.38 c BCD2: found a new core of size 54: cost of the new core is >=1
0.29/0.38 c lower bound updated to 23
0.29/0.39 c BCD2: 23 <= obj <= 17730
0.29/0.39 c BCD2: #cores=22, #unrelaxed=2654, #relaxed=1021, #hardened=0
0.29/0.39 c BCD2: #sat=1 #unsat=23 bias=23/24
0.29/0.39 c Solving starts ...
0.29/0.39 c ============================[ Search Statistics ]============================
0.29/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.29/0.39 c | | | | Limit GC | Var | Constra
0.29/0.39 c =============================================================================
0.29/0.39 c 0.0s | 0 | 0 | 0 | 3066 0 | 0 | 0
0.39/0.40 c 0.0s | 0 | 2940 | 16 | 3066 0 | 0 | 0
0.39/0.40 c #cpu_time = 0.007s
0.39/0.40 c #wall_clock_time = 0.007s
0.39/0.40 c #decision = 2940
0.39/0.40 c #random_decision = 0
0.39/0.40 c #conflict = 16
0.39/0.40 c #restart = 0
0.39/0.40 c BCD2: found a new core of size 39: cost of the new core is >=1
0.39/0.40 c lower bound updated to 24
0.39/0.40 c BCD2: 24 <= obj <= 17730
0.39/0.40 c BCD2: #cores=23, #unrelaxed=2615, #relaxed=1060, #hardened=0
0.39/0.40 c BCD2: #sat=1 #unsat=24 bias=24/25
0.39/0.41 c Solving starts ...
0.39/0.41 c ============================[ Search Statistics ]============================
0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.41 c | | | | Limit GC | Var | Constra
0.39/0.41 c =============================================================================
0.39/0.41 c 0.0s | 0 | 0 | 0 | 3066 0 | 0 | 0
0.39/0.41 c 0.0s | 0 | 3907 | 11 | 3066 0 | 0 | 0
0.39/0.41 c #cpu_time = 0.007s
0.39/0.41 c #wall_clock_time = 0.007s
0.39/0.41 c #decision = 3907
0.39/0.41 c #random_decision = 0
0.39/0.41 c #conflict = 11
0.39/0.41 c #restart = 0
0.39/0.41 c BCD2: found a new core of size 42: cost of the new core is >=2
0.39/0.41 c lower bound updated to 26
0.39/0.41 c BCD2: 26 <= obj <= 17730
0.39/0.41 c BCD2: #cores=24, #unrelaxed=2573, #relaxed=1102, #hardened=0
0.39/0.41 c BCD2: #sat=1 #unsat=25 bias=25/26
0.39/0.42 c Solving starts ...
0.39/0.42 c ============================[ Search Statistics ]============================
0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.42 c | | | | Limit GC | Var | Constra
0.39/0.42 c =============================================================================
0.39/0.42 c 0.0s | 0 | 0 | 0 | 3066 0 | 0 | 0
0.39/0.43 c 0.0s | 0 | 2821 | 16 | 3066 0 | 0 | 0
0.39/0.43 c #cpu_time = 0.008s
0.39/0.43 c #wall_clock_time = 0.008s
0.39/0.43 c #decision = 2821
0.39/0.43 c #random_decision = 0
0.39/0.43 c #conflict = 16
0.39/0.43 c #restart = 0
0.39/0.43 c BCD2: found a new core of size 70: cost of the new core is >=1
0.39/0.43 c lower bound updated to 27
0.39/0.43 c BCD2: 27 <= obj <= 17730
0.39/0.43 c BCD2: #cores=25, #unrelaxed=2503, #relaxed=1172, #hardened=0
0.39/0.43 c BCD2: #sat=1 #unsat=26 bias=26/27
0.39/0.44 c Solving starts ...
0.39/0.44 c ============================[ Search Statistics ]============================
0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.44 c | | | | Limit GC | Var | Constra
0.39/0.44 c =============================================================================
0.39/0.44 c 0.0s | 0 | 0 | 0 | 3066 0 | 0 | 0
0.39/0.45 c 0.0s | 0 | 3078 | 19 | 3066 0 | 0 | 0
0.39/0.45 c #cpu_time = 0.008s
0.39/0.45 c #wall_clock_time = 0.008s
0.39/0.45 c #decision = 3078
0.39/0.45 c #random_decision = 0
0.39/0.45 c #conflict = 19
0.39/0.45 c #restart = 0
0.39/0.45 c BCD2: found a new core of size 75: cost of the new core is >=1
0.39/0.45 c lower bound updated to 28
0.39/0.45 c BCD2: 28 <= obj <= 17730
0.39/0.45 c BCD2: #cores=26, #unrelaxed=2428, #relaxed=1247, #hardened=0
0.39/0.45 c BCD2: #sat=1 #unsat=27 bias=27/28
0.39/0.45 c Solving starts ...
0.39/0.45 c ============================[ Search Statistics ]============================
0.39/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.45 c | | | | Limit GC | Var | Constra
0.39/0.45 c =============================================================================
0.39/0.45 c 0.0s | 0 | 0 | 0 | 3066 0 | 0 | 0
0.39/0.46 c 0.0s | 0 | 3137 | 15 | 3066 0 | 0 | 0
0.39/0.46 c #cpu_time = 0.008s
0.39/0.46 c #wall_clock_time = 0.008s
0.39/0.46 c #decision = 3137
0.39/0.46 c #random_decision = 0
0.39/0.46 c #conflict = 15
0.39/0.46 c #restart = 0
0.39/0.46 c BCD2: found a new core of size 51: cost of the new core is >=2
0.39/0.46 c lower bound updated to 30
0.39/0.46 c BCD2: 30 <= obj <= 17730
0.39/0.46 c BCD2: #cores=27, #unrelaxed=2377, #relaxed=1298, #hardened=0
0.39/0.46 c BCD2: #sat=1 #unsat=28 bias=28/29
0.39/0.47 c Solving starts ...
0.39/0.47 c ============================[ Search Statistics ]============================
0.39/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.47 c | | | | Limit GC | Var | Constra
0.39/0.47 c =============================================================================
0.39/0.47 c 0.0s | 0 | 0 | 0 | 3066 0 | 0 | 0
0.39/0.48 c 0.0s | 0 | 4430 | 16 | 3066 0 | 0 | 0
0.39/0.48 c #cpu_time = 0.009s
0.39/0.48 c #wall_clock_time = 0.009s
0.39/0.48 c #decision = 4430
0.39/0.48 c #random_decision = 0
0.39/0.48 c #conflict = 16
0.39/0.48 c #restart = 0
0.39/0.48 c BCD2: found a new core of size 62: cost of the new core is >=1
0.39/0.48 c lower bound updated to 31
0.39/0.48 c BCD2: 31 <= obj <= 17730
0.39/0.48 c BCD2: #cores=28, #unrelaxed=2315, #relaxed=1360, #hardened=0
0.39/0.48 c BCD2: #sat=1 #unsat=29 bias=29/30
0.39/0.48 c Solving starts ...
0.39/0.48 c ============================[ Search Statistics ]============================
0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.39/0.48 c | | | | Limit GC | Var | Constra
0.39/0.48 c =============================================================================
0.39/0.49 c 0.0s | 0 | 0 | 0 | 3066 0 | 0 | 0
0.49/0.50 c 0.0s | 0 | 3280 | 16 | 3066 0 | 0 | 0
0.49/0.50 c #cpu_time = 0.008s
0.49/0.50 c #wall_clock_time = 0.008s
0.49/0.50 c #decision = 3280
0.49/0.50 c #random_decision = 0
0.49/0.50 c #conflict = 16
0.49/0.50 c #restart = 0
0.49/0.50 c BCD2: found a new core of size 61: cost of the new core is >=1
0.49/0.50 c lower bound updated to 32
0.49/0.50 c BCD2: 32 <= obj <= 17730
0.49/0.50 c BCD2: #cores=29, #unrelaxed=2254, #relaxed=1421, #hardened=0
0.49/0.50 c BCD2: #sat=1 #unsat=30 bias=30/31
0.49/0.51 c Solving starts ...
0.49/0.51 c ============================[ Search Statistics ]============================
0.49/0.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.51 c | | | | Limit GC | Var | Constra
0.49/0.51 c =============================================================================
0.49/0.51 c 0.0s | 0 | 0 | 0 | 3066 0 | 0 | 0
0.49/0.52 c 0.0s | 0 | 2801 | 15 | 3066 0 | 0 | 0
0.49/0.52 c #cpu_time = 0.008s
0.49/0.52 c #wall_clock_time = 0.008s
0.49/0.52 c #decision = 2801
0.49/0.52 c #random_decision = 0
0.49/0.52 c #conflict = 15
0.49/0.52 c #restart = 0
0.49/0.52 c BCD2: found a new core of size 48: cost of the new core is >=1
0.49/0.52 c lower bound updated to 33
0.49/0.52 c BCD2: 33 <= obj <= 17730
0.49/0.52 c BCD2: #cores=30, #unrelaxed=2206, #relaxed=1469, #hardened=0
0.49/0.52 c BCD2: #sat=1 #unsat=31 bias=31/32
0.49/0.52 c Solving starts ...
0.49/0.52 c ============================[ Search Statistics ]============================
0.49/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.52 c | | | | Limit GC | Var | Constra
0.49/0.52 c =============================================================================
0.49/0.52 c 0.0s | 0 | 0 | 0 | 3066 0 | 0 | 0
0.49/0.53 c 0.0s | 0 | 4275 | 15 | 3066 0 | 0 | 0
0.49/0.53 c #cpu_time = 0.010s
0.49/0.53 c #wall_clock_time = 0.010s
0.49/0.53 c #decision = 4275
0.49/0.53 c #random_decision = 0
0.49/0.53 c #conflict = 15
0.49/0.53 c #restart = 0
0.49/0.53 c BCD2: found a new core of size 57: cost of the new core is >=1
0.49/0.53 c lower bound updated to 34
0.49/0.53 c BCD2: 34 <= obj <= 17730
0.49/0.53 c BCD2: #cores=31, #unrelaxed=2149, #relaxed=1526, #hardened=0
0.49/0.53 c BCD2: #sat=1 #unsat=32 bias=32/33
0.49/0.54 c Solving starts ...
0.49/0.54 c ============================[ Search Statistics ]============================
0.49/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.54 c | | | | Limit GC | Var | Constra
0.49/0.54 c =============================================================================
0.49/0.54 c 0.0s | 0 | 0 | 0 | 3066 0 | 0 | 0
0.49/0.55 c 0.0s | 0 | 3218 | 13 | 3373 0 | 0 | 0
0.49/0.55 c #cpu_time = 0.012s
0.49/0.55 c #wall_clock_time = 0.012s
0.49/0.55 c #decision = 3218
0.49/0.55 c #random_decision = 0
0.49/0.55 c #conflict = 13
0.49/0.55 c #restart = 0
0.49/0.55 c BCD2: found a new core of size 45: cost of the new core is >=1
0.49/0.55 c lower bound updated to 35
0.49/0.58 c BCD2: 35 <= obj <= 17730
0.49/0.58 c BCD2: #cores=32, #unrelaxed=2104, #relaxed=1571, #hardened=0
0.49/0.58 c BCD2: #sat=1 #unsat=33 bias=33/34
0.49/0.58 c Solving starts ...
0.49/0.58 c ============================[ Search Statistics ]============================
0.49/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.49/0.58 c | | | | Limit GC | Var | Constra
0.49/0.58 c =============================================================================
0.49/0.58 c 0.0s | 0 | 0 | 0 | 3373 0 | 0 | 0
0.49/0.59 c 0.0s | 0 | 2260 | 19 | 3373 0 | 0 | 0
0.49/0.59 c #cpu_time = 0.009s
0.49/0.59 c #wall_clock_time = 0.009s
0.49/0.59 c #decision = 2260
0.49/0.59 c #random_decision = 0
0.49/0.59 c #conflict = 19
0.49/0.59 c #restart = 0
0.49/0.59 c BCD2: found a new core of size 58: cost of the new core is >=1
0.49/0.59 c lower bound updated to 36
0.49/0.59 c BCD2: 36 <= obj <= 17730
0.49/0.59 c BCD2: #cores=33, #unrelaxed=2046, #relaxed=1629, #hardened=0
0.49/0.59 c BCD2: #sat=1 #unsat=34 bias=34/35
0.59/0.60 c Solving starts ...
0.59/0.60 c ============================[ Search Statistics ]============================
0.59/0.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.60 c | | | | Limit GC | Var | Constra
0.59/0.60 c =============================================================================
0.59/0.60 c 0.0s | 0 | 0 | 0 | 3373 0 | 0 | 0
0.59/0.61 c 0.0s | 0 | 2104 | 13 | 3373 0 | 0 | 0
0.59/0.61 c #cpu_time = 0.009s
0.59/0.61 c #wall_clock_time = 0.009s
0.59/0.61 c #decision = 2104
0.59/0.61 c #random_decision = 0
0.59/0.61 c #conflict = 13
0.59/0.61 c #restart = 0
0.59/0.61 c BCD2: found a new core of size 37: cost of the new core is >=1
0.59/0.61 c lower bound updated to 37
0.59/0.61 c BCD2: 37 <= obj <= 17730
0.59/0.61 c BCD2: #cores=34, #unrelaxed=2009, #relaxed=1666, #hardened=0
0.59/0.61 c BCD2: #sat=1 #unsat=35 bias=35/36
0.59/0.62 c Solving starts ...
0.59/0.62 c ============================[ Search Statistics ]============================
0.59/0.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.62 c | | | | Limit GC | Var | Constra
0.59/0.62 c =============================================================================
0.59/0.62 c 0.0s | 0 | 0 | 0 | 3373 0 | 0 | 0
0.59/0.63 c 0.0s | 0 | 2070 | 13 | 3373 0 | 0 | 0
0.59/0.63 c #cpu_time = 0.009s
0.59/0.63 c #wall_clock_time = 0.009s
0.59/0.63 c #decision = 2070
0.59/0.63 c #random_decision = 0
0.59/0.63 c #conflict = 13
0.59/0.63 c #restart = 0
0.59/0.63 c BCD2: found a new core of size 51: cost of the new core is >=1
0.59/0.63 c lower bound updated to 38
0.59/0.63 c BCD2: 38 <= obj <= 17730
0.59/0.63 c BCD2: #cores=35, #unrelaxed=1958, #relaxed=1717, #hardened=0
0.59/0.63 c BCD2: #sat=1 #unsat=36 bias=36/37
0.59/0.64 c Solving starts ...
0.59/0.64 c ============================[ Search Statistics ]============================
0.59/0.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.64 c | | | | Limit GC | Var | Constra
0.59/0.64 c =============================================================================
0.59/0.64 c 0.0s | 0 | 0 | 0 | 3373 0 | 0 | 0
0.59/0.65 c 0.0s | 0 | 2121 | 15 | 3373 0 | 0 | 0
0.59/0.65 c #cpu_time = 0.009s
0.59/0.65 c #wall_clock_time = 0.009s
0.59/0.65 c #decision = 2121
0.59/0.65 c #random_decision = 0
0.59/0.65 c #conflict = 15
0.59/0.65 c #restart = 0
0.59/0.65 c BCD2: found a new core of size 55: cost of the new core is >=1
0.59/0.65 c lower bound updated to 39
0.59/0.65 c BCD2: 39 <= obj <= 17730
0.59/0.65 c BCD2: #cores=36, #unrelaxed=1903, #relaxed=1772, #hardened=0
0.59/0.65 c BCD2: #sat=1 #unsat=37 bias=37/38
0.59/0.66 c Solving starts ...
0.59/0.66 c ============================[ Search Statistics ]============================
0.59/0.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.66 c | | | | Limit GC | Var | Constra
0.59/0.66 c =============================================================================
0.59/0.66 c 0.0s | 0 | 0 | 0 | 3373 0 | 0 | 0
0.59/0.67 c 0.0s | 0 | 2876 | 17 | 3373 0 | 0 | 0
0.59/0.67 c #cpu_time = 0.010s
0.59/0.67 c #wall_clock_time = 0.010s
0.59/0.67 c #decision = 2876
0.59/0.67 c #random_decision = 0
0.59/0.67 c #conflict = 17
0.59/0.67 c #restart = 0
0.59/0.67 c BCD2: found a new core of size 53: cost of the new core is >=1
0.59/0.67 c lower bound updated to 40
0.59/0.67 c BCD2: 40 <= obj <= 17730
0.59/0.67 c BCD2: #cores=37, #unrelaxed=1850, #relaxed=1825, #hardened=0
0.59/0.67 c BCD2: #sat=1 #unsat=38 bias=38/39
0.59/0.67 c Solving starts ...
0.59/0.67 c ============================[ Search Statistics ]============================
0.59/0.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.67 c | | | | Limit GC | Var | Constra
0.59/0.67 c =============================================================================
0.59/0.67 c 0.0s | 0 | 0 | 0 | 3373 0 | 0 | 0
0.59/0.68 c 0.0s | 0 | 2271 | 15 | 3373 0 | 0 | 0
0.59/0.68 c #cpu_time = 0.010s
0.59/0.68 c #wall_clock_time = 0.010s
0.59/0.68 c #decision = 2271
0.59/0.68 c #random_decision = 0
0.59/0.68 c #conflict = 15
0.59/0.68 c #restart = 0
0.59/0.68 c BCD2: found a new core of size 58: cost of the new core is >=1
0.59/0.68 c lower bound updated to 41
0.59/0.69 c BCD2: 41 <= obj <= 17730
0.59/0.69 c BCD2: #cores=38, #unrelaxed=1792, #relaxed=1883, #hardened=0
0.59/0.69 c BCD2: #sat=1 #unsat=39 bias=39/40
0.59/0.69 c Solving starts ...
0.59/0.69 c ============================[ Search Statistics ]============================
0.59/0.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.59/0.69 c | | | | Limit GC | Var | Constra
0.59/0.69 c =============================================================================
0.59/0.69 c 0.0s | 0 | 0 | 0 | 3373 0 | 0 | 0
0.69/0.70 c 0.0s | 0 | 2206 | 13 | 3373 0 | 0 | 0
0.69/0.70 c #cpu_time = 0.010s
0.69/0.70 c #wall_clock_time = 0.010s
0.69/0.70 c #decision = 2206
0.69/0.70 c #random_decision = 0
0.69/0.70 c #conflict = 13
0.69/0.70 c #restart = 0
0.69/0.70 c BCD2: found a new core of size 28: cost of the new core is >=1
0.69/0.70 c lower bound updated to 42
0.69/0.71 c BCD2: 42 <= obj <= 17730
0.69/0.71 c BCD2: #cores=39, #unrelaxed=1764, #relaxed=1911, #hardened=0
0.69/0.71 c BCD2: #sat=1 #unsat=40 bias=40/41
0.69/0.72 c Solving starts ...
0.69/0.72 c ============================[ Search Statistics ]============================
0.69/0.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.72 c | | | | Limit GC | Var | Constra
0.69/0.72 c =============================================================================
0.69/0.72 c 0.0s | 0 | 0 | 0 | 3373 0 | 0 | 0
0.69/0.73 c 0.0s | 0 | 1989 | 16 | 3373 0 | 0 | 0
0.69/0.73 c #cpu_time = 0.010s
0.69/0.73 c #wall_clock_time = 0.010s
0.69/0.73 c #decision = 1989
0.69/0.73 c #random_decision = 0
0.69/0.73 c #conflict = 16
0.69/0.73 c #restart = 0
0.69/0.73 c BCD2: found a new core of size 69: cost of the new core is >=1
0.69/0.73 c lower bound updated to 43
0.69/0.73 c BCD2: 43 <= obj <= 17730
0.69/0.73 c BCD2: #cores=40, #unrelaxed=1695, #relaxed=1980, #hardened=0
0.69/0.73 c BCD2: #sat=1 #unsat=41 bias=41/42
0.69/0.73 c Solving starts ...
0.69/0.73 c ============================[ Search Statistics ]============================
0.69/0.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.73 c | | | | Limit GC | Var | Constra
0.69/0.73 c =============================================================================
0.69/0.73 c 0.0s | 0 | 0 | 0 | 3373 0 | 0 | 0
0.69/0.74 c 0.0s | 0 | 2025 | 15 | 3373 0 | 0 | 0
0.69/0.74 c #cpu_time = 0.010s
0.69/0.74 c #wall_clock_time = 0.010s
0.69/0.74 c #decision = 2025
0.69/0.74 c #random_decision = 0
0.69/0.74 c #conflict = 15
0.69/0.74 c #restart = 0
0.69/0.74 c BCD2: found a new core of size 56: cost of the new core is >=2
0.69/0.74 c lower bound updated to 45
0.69/0.75 c BCD2: 45 <= obj <= 17730
0.69/0.75 c BCD2: #cores=41, #unrelaxed=1639, #relaxed=2036, #hardened=0
0.69/0.75 c BCD2: #sat=1 #unsat=42 bias=42/43
0.69/0.75 c Solving starts ...
0.69/0.75 c ============================[ Search Statistics ]============================
0.69/0.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.75 c | | | | Limit GC | Var | Constra
0.69/0.75 c =============================================================================
0.69/0.75 c 0.0s | 0 | 0 | 0 | 3373 0 | 0 | 0
0.69/0.76 c 0.0s | 0 | 3173 | 14 | 3373 0 | 0 | 0
0.69/0.76 c #cpu_time = 0.011s
0.69/0.76 c #wall_clock_time = 0.011s
0.69/0.76 c #decision = 3173
0.69/0.76 c #random_decision = 0
0.69/0.76 c #conflict = 14
0.69/0.76 c #restart = 0
0.69/0.76 c BCD2: found a new core of size 38: cost of the new core is >=1
0.69/0.76 c lower bound updated to 46
0.69/0.77 c BCD2: 46 <= obj <= 17730
0.69/0.77 c BCD2: #cores=42, #unrelaxed=1601, #relaxed=2074, #hardened=0
0.69/0.77 c BCD2: #sat=1 #unsat=43 bias=43/44
0.69/0.77 c Solving starts ...
0.69/0.77 c ============================[ Search Statistics ]============================
0.69/0.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.77 c | | | | Limit GC | Var | Constra
0.69/0.77 c =============================================================================
0.69/0.78 c 0.0s | 0 | 0 | 0 | 3373 0 | 0 | 0
0.69/0.79 c 0.0s | 0 | 1706 | 11 | 3373 0 | 0 | 0
0.69/0.79 c #cpu_time = 0.010s
0.69/0.79 c #wall_clock_time = 0.010s
0.69/0.79 c #decision = 1706
0.69/0.79 c #random_decision = 0
0.69/0.79 c #conflict = 11
0.69/0.79 c #restart = 0
0.69/0.79 c BCD2: found a new core of size 56: cost of the new core is >=1
0.69/0.79 c lower bound updated to 47
0.69/0.79 c BCD2: 47 <= obj <= 17730
0.69/0.79 c BCD2: #cores=43, #unrelaxed=1545, #relaxed=2130, #hardened=0
0.69/0.79 c BCD2: #sat=1 #unsat=44 bias=44/45
0.69/0.79 c Solving starts ...
0.69/0.79 c ============================[ Search Statistics ]============================
0.69/0.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.69/0.79 c | | | | Limit GC | Var | Constra
0.69/0.79 c =============================================================================
0.69/0.79 c 0.0s | 0 | 0 | 0 | 3373 0 | 0 | 0
0.79/0.80 c 0.0s | 0 | 5253 | 17 | 3373 0 | 0 | 0
0.79/0.80 c #cpu_time = 0.013s
0.79/0.80 c #wall_clock_time = 0.013s
0.79/0.80 c #decision = 5253
0.79/0.80 c #random_decision = 0
0.79/0.80 c #conflict = 17
0.79/0.80 c #restart = 0
0.79/0.80 c BCD2: found a new core of size 41: cost of the new core is >=1
0.79/0.80 c lower bound updated to 48
0.79/0.81 c BCD2: 48 <= obj <= 17730
0.79/0.81 c BCD2: #cores=44, #unrelaxed=1504, #relaxed=2171, #hardened=0
0.79/0.81 c BCD2: #sat=1 #unsat=45 bias=45/46
0.79/0.81 c Solving starts ...
0.79/0.81 c ============================[ Search Statistics ]============================
0.79/0.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.81 c | | | | Limit GC | Var | Constra
0.79/0.81 c =============================================================================
0.79/0.81 c 0.0s | 0 | 0 | 0 | 3373 0 | 0 | 0
0.79/0.82 c 0.0s | 0 | 2488 | 10 | 3373 0 | 0 | 0
0.79/0.82 c #cpu_time = 0.011s
0.79/0.82 c #wall_clock_time = 0.011s
0.79/0.82 c #decision = 2488
0.79/0.82 c #random_decision = 0
0.79/0.82 c #conflict = 10
0.79/0.82 c #restart = 0
0.79/0.82 c BCD2: found a new core of size 63: cost of the new core is >=1
0.79/0.82 c lower bound updated to 49
0.79/0.82 c BCD2: 49 <= obj <= 17730
0.79/0.82 c BCD2: #cores=45, #unrelaxed=1441, #relaxed=2234, #hardened=0
0.79/0.82 c BCD2: #sat=1 #unsat=46 bias=46/47
0.79/0.83 c Solving starts ...
0.79/0.83 c ============================[ Search Statistics ]============================
0.79/0.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.83 c | | | | Limit GC | Var | Constra
0.79/0.83 c =============================================================================
0.79/0.83 c 0.0s | 0 | 0 | 0 | 3373 0 | 0 | 0
0.79/0.85 c 0.0s | 0 | 1827 | 15 | 3373 0 | 0 | 0
0.79/0.85 c #cpu_time = 0.011s
0.79/0.85 c #wall_clock_time = 0.011s
0.79/0.85 c #decision = 1827
0.79/0.85 c #random_decision = 0
0.79/0.85 c #conflict = 15
0.79/0.85 c #restart = 0
0.79/0.85 c BCD2: found a new core of size 54: cost of the new core is >=1
0.79/0.85 c lower bound updated to 50
0.79/0.85 c BCD2: 50 <= obj <= 17730
0.79/0.85 c BCD2: #cores=46, #unrelaxed=1387, #relaxed=2288, #hardened=0
0.79/0.85 c BCD2: #sat=1 #unsat=47 bias=47/48
0.79/0.85 c Solving starts ...
0.79/0.85 c ============================[ Search Statistics ]============================
0.79/0.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.85 c | | | | Limit GC | Var | Constra
0.79/0.85 c =============================================================================
0.79/0.85 c 0.0s | 0 | 0 | 0 | 3373 0 | 0 | 0
0.79/0.86 c 0.0s | 0 | 2039 | 14 | 3373 0 | 0 | 0
0.79/0.86 c #cpu_time = 0.011s
0.79/0.86 c #wall_clock_time = 0.011s
0.79/0.86 c #decision = 2039
0.79/0.86 c #random_decision = 0
0.79/0.86 c #conflict = 14
0.79/0.86 c #restart = 0
0.79/0.86 c BCD2: found a new core of size 47: cost of the new core is >=1
0.79/0.86 c lower bound updated to 51
0.79/0.86 c BCD2: 51 <= obj <= 17730
0.79/0.86 c BCD2: #cores=47, #unrelaxed=1340, #relaxed=2335, #hardened=0
0.79/0.86 c BCD2: #sat=1 #unsat=48 bias=48/49
0.79/0.87 c Solving starts ...
0.79/0.87 c ============================[ Search Statistics ]============================
0.79/0.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.87 c | | | | Limit GC | Var | Constra
0.79/0.87 c =============================================================================
0.79/0.87 c 0.0s | 0 | 0 | 0 | 3373 0 | 0 | 0
0.79/0.88 c 0.0s | 0 | 1488 | 18 | 3373 0 | 0 | 0
0.79/0.88 c #cpu_time = 0.011s
0.79/0.88 c #wall_clock_time = 0.011s
0.79/0.88 c #decision = 1488
0.79/0.88 c #random_decision = 0
0.79/0.88 c #conflict = 18
0.79/0.88 c #restart = 0
0.79/0.88 c BCD2: found a new core of size 58: cost of the new core is >=1
0.79/0.88 c lower bound updated to 52
0.79/0.88 c BCD2: 52 <= obj <= 17730
0.79/0.88 c BCD2: #cores=48, #unrelaxed=1282, #relaxed=2393, #hardened=0
0.79/0.88 c BCD2: #sat=1 #unsat=49 bias=49/50
0.79/0.89 c Solving starts ...
0.79/0.89 c ============================[ Search Statistics ]============================
0.79/0.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.79/0.89 c | | | | Limit GC | Var | Constra
0.79/0.89 c =============================================================================
0.79/0.89 c 0.0s | 0 | 0 | 0 | 3373 0 | 0 | 0
0.89/0.90 c 0.0s | 0 | 1394 | 13 | 3373 0 | 0 | 0
0.89/0.90 c #cpu_time = 0.011s
0.89/0.90 c #wall_clock_time = 0.011s
0.89/0.90 c #decision = 1394
0.89/0.90 c #random_decision = 0
0.89/0.90 c #conflict = 13
0.89/0.90 c #restart = 0
0.89/0.90 c BCD2: found a new core of size 50: cost of the new core is >=1
0.89/0.90 c lower bound updated to 53
0.89/0.91 c BCD2: 53 <= obj <= 17730
0.89/0.91 c BCD2: #cores=49, #unrelaxed=1232, #relaxed=2443, #hardened=0
0.89/0.91 c BCD2: #sat=1 #unsat=50 bias=50/51
0.89/0.91 c Solving starts ...
0.89/0.91 c ============================[ Search Statistics ]============================
0.89/0.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.91 c | | | | Limit GC | Var | Constra
0.89/0.91 c =============================================================================
0.89/0.91 c 0.0s | 0 | 0 | 0 | 3373 0 | 0 | 0
0.89/0.92 c 0.0s | 0 | 1545 | 17 | 3373 0 | 0 | 0
0.89/0.92 c #cpu_time = 0.011s
0.89/0.92 c #wall_clock_time = 0.011s
0.89/0.92 c #decision = 1545
0.89/0.92 c #random_decision = 0
0.89/0.92 c #conflict = 17
0.89/0.92 c #restart = 0
0.89/0.92 c BCD2: found a new core of size 51: cost of the new core is >=1
0.89/0.92 c lower bound updated to 54
0.89/0.92 c BCD2: 54 <= obj <= 17730
0.89/0.92 c BCD2: #cores=50, #unrelaxed=1181, #relaxed=2494, #hardened=0
0.89/0.92 c BCD2: #sat=1 #unsat=51 bias=51/52
0.89/0.93 c Solving starts ...
0.89/0.93 c ============================[ Search Statistics ]============================
0.89/0.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.93 c | | | | Limit GC | Var | Constra
0.89/0.93 c =============================================================================
0.89/0.93 c 0.0s | 0 | 0 | 0 | 3373 0 | 0 | 0
0.89/0.94 c 0.0s | 0 | 1304 | 16 | 3373 0 | 0 | 0
0.89/0.94 c #cpu_time = 0.012s
0.89/0.94 c #wall_clock_time = 0.012s
0.89/0.94 c #decision = 1304
0.89/0.94 c #random_decision = 0
0.89/0.94 c #conflict = 16
0.89/0.94 c #restart = 0
0.89/0.94 c BCD2: found a new core of size 64: cost of the new core is >=2
0.89/0.94 c lower bound updated to 56
0.89/0.94 c BCD2: 56 <= obj <= 17730
0.89/0.94 c BCD2: #cores=51, #unrelaxed=1117, #relaxed=2558, #hardened=0
0.89/0.94 c BCD2: #sat=1 #unsat=52 bias=52/53
0.89/0.94 c Solving starts ...
0.89/0.94 c ============================[ Search Statistics ]============================
0.89/0.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.94 c | | | | Limit GC | Var | Constra
0.89/0.94 c =============================================================================
0.89/0.95 c 0.0s | 0 | 0 | 0 | 3373 0 | 0 | 0
0.89/0.96 c 0.0s | 0 | 1671 | 15 | 3373 0 | 0 | 0
0.89/0.96 c #cpu_time = 0.012s
0.89/0.96 c #wall_clock_time = 0.012s
0.89/0.96 c #decision = 1671
0.89/0.96 c #random_decision = 0
0.89/0.96 c #conflict = 15
0.89/0.96 c #restart = 0
0.89/0.96 c BCD2: found a new core of size 58: cost of the new core is >=2
0.89/0.96 c lower bound updated to 58
0.89/0.96 c BCD2: 58 <= obj <= 17730
0.89/0.96 c BCD2: #cores=52, #unrelaxed=1059, #relaxed=2616, #hardened=0
0.89/0.96 c BCD2: #sat=1 #unsat=53 bias=53/54
0.89/0.97 c Solving starts ...
0.89/0.97 c ============================[ Search Statistics ]============================
0.89/0.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.97 c | | | | Limit GC | Var | Constra
0.89/0.97 c =============================================================================
0.89/0.97 c 0.0s | 0 | 0 | 0 | 3373 0 | 0 | 0
0.89/0.98 c 0.0s | 0 | 1858 | 13 | 3373 0 | 0 | 0
0.89/0.98 c #cpu_time = 0.012s
0.89/0.98 c #wall_clock_time = 0.012s
0.89/0.98 c #decision = 1858
0.89/0.98 c #random_decision = 0
0.89/0.98 c #conflict = 13
0.89/0.98 c #restart = 0
0.89/0.98 c BCD2: found a new core of size 57: cost of the new core is >=2
0.89/0.98 c lower bound updated to 60
0.89/0.98 c BCD2: 60 <= obj <= 17730
0.89/0.98 c BCD2: #cores=53, #unrelaxed=1002, #relaxed=2673, #hardened=0
0.89/0.98 c BCD2: #sat=1 #unsat=54 bias=54/55
0.89/0.99 c Solving starts ...
0.89/0.99 c ============================[ Search Statistics ]============================
0.89/0.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.89/0.99 c | | | | Limit GC | Var | Constra
0.89/0.99 c =============================================================================
0.89/0.99 c 0.0s | 0 | 0 | 0 | 3373 0 | 0 | 0
0.99/1.00 c 0.0s | 0 | 2190 | 21 | 3711 0 | 0 | 0
0.99/1.00 c #cpu_time = 0.014s
0.99/1.00 c #wall_clock_time = 0.014s
0.99/1.00 c #decision = 2190
0.99/1.00 c #random_decision = 0
0.99/1.00 c #conflict = 21
0.99/1.00 c #restart = 0
0.99/1.00 c BCD2: found a new core of size 38: cost of the new core is >=1
0.99/1.00 c lower bound updated to 61
0.99/1.00 c BCD2: 61 <= obj <= 17730
0.99/1.00 c BCD2: #cores=54, #unrelaxed=964, #relaxed=2711, #hardened=0
0.99/1.00 c BCD2: #sat=1 #unsat=55 bias=55/56
0.99/1.01 c Solving starts ...
0.99/1.01 c ============================[ Search Statistics ]============================
0.99/1.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.01 c | | | | Limit GC | Var | Constra
0.99/1.01 c =============================================================================
0.99/1.01 c 0.0s | 0 | 0 | 0 | 3711 0 | 0 | 0
0.99/1.02 c 0.0s | 0 | 1847 | 14 | 3711 0 | 0 | 0
0.99/1.02 c #cpu_time = 0.013s
0.99/1.02 c #wall_clock_time = 0.013s
0.99/1.02 c #decision = 1847
0.99/1.02 c #random_decision = 0
0.99/1.02 c #conflict = 14
0.99/1.02 c #restart = 0
0.99/1.02 c BCD2: found a new core of size 64: cost of the new core is >=2
0.99/1.02 c lower bound updated to 63
0.99/1.02 c BCD2: 63 <= obj <= 17730
0.99/1.02 c BCD2: #cores=55, #unrelaxed=900, #relaxed=2775, #hardened=0
0.99/1.02 c BCD2: #sat=1 #unsat=56 bias=56/57
0.99/1.02 c Solving starts ...
0.99/1.02 c ============================[ Search Statistics ]============================
0.99/1.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.02 c | | | | Limit GC | Var | Constra
0.99/1.02 c =============================================================================
0.99/1.02 c 0.0s | 0 | 0 | 0 | 3711 0 | 0 | 0
0.99/1.04 c 0.0s | 0 | 1767 | 13 | 3711 0 | 0 | 0
0.99/1.04 c #cpu_time = 0.013s
0.99/1.04 c #wall_clock_time = 0.013s
0.99/1.04 c #decision = 1767
0.99/1.04 c #random_decision = 0
0.99/1.04 c #conflict = 13
0.99/1.04 c #restart = 0
0.99/1.04 c BCD2: found a new core of size 62: cost of the new core is >=2
0.99/1.04 c lower bound updated to 65
0.99/1.05 c BCD2: 65 <= obj <= 17730
0.99/1.05 c BCD2: #cores=56, #unrelaxed=838, #relaxed=2837, #hardened=0
0.99/1.05 c BCD2: #sat=1 #unsat=57 bias=57/58
0.99/1.05 c Solving starts ...
0.99/1.05 c ============================[ Search Statistics ]============================
0.99/1.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.05 c | | | | Limit GC | Var | Constra
0.99/1.05 c =============================================================================
0.99/1.05 c 0.0s | 0 | 0 | 0 | 3711 0 | 0 | 0
0.99/1.07 c 0.0s | 0 | 1569 | 17 | 3711 0 | 0 | 0
0.99/1.07 c #cpu_time = 0.016s
0.99/1.07 c #wall_clock_time = 0.016s
0.99/1.07 c #decision = 1569
0.99/1.07 c #random_decision = 0
0.99/1.07 c #conflict = 17
0.99/1.07 c #restart = 0
0.99/1.07 c BCD2: found a new core of size 66: cost of the new core is >=2
0.99/1.07 c lower bound updated to 67
0.99/1.07 c BCD2: 67 <= obj <= 17730
0.99/1.07 c BCD2: #cores=57, #unrelaxed=772, #relaxed=2903, #hardened=0
0.99/1.07 c BCD2: #sat=1 #unsat=58 bias=58/59
0.99/1.07 c Solving starts ...
0.99/1.07 c ============================[ Search Statistics ]============================
0.99/1.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.07 c | | | | Limit GC | Var | Constra
0.99/1.07 c =============================================================================
0.99/1.07 c 0.0s | 0 | 0 | 0 | 3711 0 | 0 | 0
0.99/1.09 c 0.0s | 0 | 1367 | 16 | 3711 0 | 0 | 0
0.99/1.09 c #cpu_time = 0.015s
0.99/1.09 c #wall_clock_time = 0.015s
0.99/1.09 c #decision = 1367
0.99/1.09 c #random_decision = 0
0.99/1.09 c #conflict = 16
0.99/1.09 c #restart = 0
0.99/1.09 c BCD2: found a new core of size 80: cost of the new core is >=1
0.99/1.09 c lower bound updated to 68
0.99/1.09 c BCD2: 68 <= obj <= 17730
0.99/1.09 c BCD2: #cores=58, #unrelaxed=692, #relaxed=2983, #hardened=0
0.99/1.09 c BCD2: #sat=1 #unsat=59 bias=59/60
0.99/1.09 c Solving starts ...
0.99/1.09 c ============================[ Search Statistics ]============================
0.99/1.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
0.99/1.09 c | | | | Limit GC | Var | Constra
0.99/1.09 c =============================================================================
0.99/1.09 c 0.0s | 0 | 0 | 0 | 3711 0 | 0 | 0
1.10/1.11 c 0.0s | 0 | 1541 | 16 | 3711 0 | 0 | 0
1.10/1.11 c #cpu_time = 0.013s
1.10/1.11 c #wall_clock_time = 0.013s
1.10/1.11 c #decision = 1541
1.10/1.11 c #random_decision = 0
1.10/1.11 c #conflict = 16
1.10/1.11 c #restart = 0
1.10/1.11 c BCD2: found a new core of size 39: cost of the new core is >=1
1.10/1.11 c lower bound updated to 69
1.10/1.11 c BCD2: 69 <= obj <= 17730
1.10/1.11 c BCD2: #cores=59, #unrelaxed=653, #relaxed=3022, #hardened=0
1.10/1.11 c BCD2: #sat=1 #unsat=60 bias=60/61
1.10/1.12 c Solving starts ...
1.10/1.12 c ============================[ Search Statistics ]============================
1.10/1.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.10/1.12 c | | | | Limit GC | Var | Constra
1.10/1.12 c =============================================================================
1.10/1.12 c 0.0s | 0 | 0 | 0 | 3711 0 | 0 | 0
1.10/1.13 c 0.0s | 0 | 1025 | 16 | 3711 0 | 0 | 0
1.10/1.13 c #cpu_time = 0.014s
1.10/1.13 c #wall_clock_time = 0.014s
1.10/1.13 c #decision = 1025
1.10/1.13 c #random_decision = 0
1.10/1.13 c #conflict = 16
1.10/1.13 c #restart = 0
1.10/1.13 c BCD2: found a new core of size 71: cost of the new core is >=1
1.10/1.13 c lower bound updated to 70
1.10/1.13 c BCD2: 70 <= obj <= 17730
1.10/1.13 c BCD2: #cores=60, #unrelaxed=582, #relaxed=3093, #hardened=0
1.10/1.13 c BCD2: #sat=1 #unsat=61 bias=61/62
1.10/1.14 c Solving starts ...
1.10/1.14 c ============================[ Search Statistics ]============================
1.10/1.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.10/1.14 c | | | | Limit GC | Var | Constra
1.10/1.14 c =============================================================================
1.10/1.14 c 0.0s | 0 | 0 | 0 | 3711 0 | 0 | 0
1.10/1.15 c 0.0s | 0 | 810 | 20 | 3711 0 | 0 | 0
1.10/1.15 c #cpu_time = 0.014s
1.10/1.15 c #wall_clock_time = 0.014s
1.10/1.15 c #decision = 810
1.10/1.15 c #random_decision = 0
1.10/1.15 c #conflict = 20
1.10/1.15 c #restart = 0
1.10/1.15 c BCD2: found a new core of size 62: cost of the new core is >=1
1.10/1.15 c lower bound updated to 71
1.10/1.15 c BCD2: 71 <= obj <= 17730
1.10/1.15 c BCD2: #cores=61, #unrelaxed=520, #relaxed=3155, #hardened=0
1.10/1.15 c BCD2: #sat=1 #unsat=62 bias=62/63
1.10/1.16 c Solving starts ...
1.10/1.16 c ============================[ Search Statistics ]============================
1.10/1.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.10/1.16 c | | | | Limit GC | Var | Constra
1.10/1.16 c =============================================================================
1.10/1.16 c 0.0s | 0 | 0 | 0 | 3711 0 | 0 | 0
1.10/1.18 c 0.0s | 0 | 897 | 34 | 3711 0 | 0 | 0
1.10/1.18 c #cpu_time = 0.024s
1.10/1.18 c #wall_clock_time = 0.024s
1.10/1.18 c #decision = 897
1.10/1.18 c #random_decision = 0
1.10/1.18 c #conflict = 34
1.10/1.18 c #restart = 0
1.10/1.18 c BCD2: found a new core of size 107: cost of the new core is >=2
1.10/1.18 c lower bound updated to 73
1.10/1.19 c BCD2: 73 <= obj <= 17730
1.10/1.19 c BCD2: #cores=62, #unrelaxed=413, #relaxed=3262, #hardened=0
1.10/1.19 c BCD2: #sat=1 #unsat=63 bias=63/64
1.10/1.20 c Solving starts ...
1.10/1.20 c ============================[ Search Statistics ]============================
1.10/1.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.10/1.20 c | | | | Limit GC | Var | Constra
1.10/1.20 c =============================================================================
1.10/1.20 c 0.0s | 0 | 0 | 0 | 3711 0 | 0 | 0
1.20/1.24 c 0.0s | 0 | 2843 | 1 | 3711 0 | 0 | 0
1.20/1.24 c #cpu_time = 0.035s
1.20/1.24 c #wall_clock_time = 0.035s
1.20/1.24 c #decision = 2843
1.20/1.24 c #random_decision = 14
1.20/1.24 c #conflict = 1
1.20/1.24 c #restart = 0
1.20/1.24 o 6711
1.20/1.24 c BCD2: updating upper bound: 17730 -> 6710
1.20/1.26 c BCD2: 73 <= obj <= 6710
1.20/1.26 c BCD2: #cores=62, #unrelaxed=413, #relaxed=3262, #hardened=0
1.20/1.26 c BCD2: #sat=2 #unsat=63 bias=63/65
1.20/1.28 c Solving starts ...
1.20/1.28 c ============================[ Search Statistics ]============================
1.20/1.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.20/1.28 c | | | | Limit GC | Var | Constra
1.20/1.28 c =============================================================================
1.29/1.31 c 0.0s | 0 | 0 | 0 | 3711 0 | 0 | 1
1.29/1.39 c 0.1s | 0 | 616 | 83 | 3711 0 | 0 | 1
1.29/1.39 c #cpu_time = 0.073s
1.29/1.39 c #wall_clock_time = 0.073s
1.29/1.39 c #decision = 616
1.29/1.39 c #random_decision = 0
1.29/1.39 c #conflict = 83
1.29/1.39 c #restart = 0
1.29/1.39 c BCD2: relaxing 195 and merging with 7 cores into a new core of size 471: cost of the new core is >=8
1.29/1.39 c lower bound updated to 74
1.29/1.39 c BCD2: 74 <= obj <= 6710
1.29/1.39 c BCD2: #cores=56, #unrelaxed=218, #relaxed=3457, #hardened=0
1.29/1.39 c BCD2: #sat=2 #unsat=64 bias=64/66
1.29/1.39 c Solving starts ...
1.29/1.39 c ============================[ Search Statistics ]============================
1.29/1.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed
1.29/1.39 c | | | | Limit GC | Var | Constra
1.29/1.39 c =============================================================================
1.29/1.39 c 0.0s | 0 | 0 | 0 | 3711 0 | 237 | 1
1.39/1.47 c 0.1s | 1 | 521 | 100 | 3711 0 | 237 | 468
1.49/1.58 c 0.2s | 2 | 1062 | 250 | 3711 0 | 237 | 468
1.69/1.76 c 0.4s | 3 | 1660 | 475 | 4083 0 | 237 | 468
1.99/2.05 c 0.7s | 4 | 2473 | 813 | 4083 0 | 237 | 468
2.39/2.45 c 1.1s | 5 | 3609 | 1320 | 4492 0 | 237 | 468
2.99/3.09 c 1.7s | 6 | 5112 | 2081 | 4492 0 | 237 | 468
3.89/3.92 c 2.5s | 7 | 7262 | 3223 | 4942 0 | 237 | 468
4.99/5.08 c 3.7s | 8 | 10184 | 4936 | 5437 0 | 237 | 468
6.89/6.91 c 5.5s | 9 | 14715 | 7506 | 5981 1 | 237 | 468
8.90/8.97 c 7.6s | 9 | 19458 | 10306 | 6580 2 | 237 | 468
9.59/9.67 c 8.3s | 10 | 21075 | 11361 | 6580 2 | 237 | 468
11.69/11.73 c 10.3s | 10 | 26130 | 14161 | 6580 3 | 237 | 468
13.69/13.76 c 12.4s | 10 | 31055 | 17061 | 7239 3 | 237 | 468
13.79/13.81 c 12.4s | 11 | 31183 | 17144 | 7239 3 | 237 | 468
15.79/15.84 c 14.4s | 11 | 35429 | 19644 | 7239 4 | 237 | 468
17.79/17.88 c 16.5s | 11 | 39666 | 22244 | 7239 5 | 237 | 468
19.89/19.91 c 18.5s | 11 | 43721 | 24744 | 7963 5 | 237 | 468
20.59/20.67 c 19.3s | 12 | 45512 | 25819 | 7963 5 | 237 | 468
22.69/22.74 c 21.3s | 12 | 50193 | 28419 | 7963 6 | 237 | 468
24.69/24.75 c 23.4s | 12 | 53927 | 30819 | 7963 6 | 237 | 468
26.69/26.77 c 25.4s | 12 | 58237 | 33419 | 7963 7 | 237 | 468
28.78/28.81 c 27.4s | 12 | 62665 | 35919 | 7963 7 | 237 | 468
30.79/30.83 c 29.4s | 12 | 66574 | 38319 | 8760 8 | 237 | 468
31.18/31.21 c 29.8s | 13 | 67374 | 38832 | 8760 8 | 237 | 468
33.18/33.27 c 31.9s | 13 | 71425 | 41132 | 8760 8 | 237 | 468
35.29/35.34 c 33.9s | 13 | 75878 | 43732 | 8760 9 | 237 | 468
37.28/37.35 c 36.0s | 13 | 79740 | 46132 | 8760 9 | 237 | 468
39.28/39.37 c 38.0s | 13 | 83976 | 48732 | 8760 10 | 237 | 468
41.38/41.40 c 40.0s | 13 | 88291 | 51332 | 8760 10 | 237 | 468
43.38/43.49 c 42.1s | 13 | 92285 | 53832 | 8760 11 | 237 | 468
45.48/45.56 c 44.2s | 13 | 96478 | 56332 | 8760 11 | 237 | 468
47.38/47.41 c 46.0s | 14 | 99894 | 58352 | 9636 12 | 237 | 468
49.38/49.45 c 48.1s | 14 | 104004 | 60852 | 9636 12 | 237 | 468
51.48/51.53 c 50.1s | 14 | 108052 | 63252 | 9636 12 | 237 | 468
53.57/53.60 c 52.2s | 14 | 112316 | 65852 | 9636 13 | 237 | 468
55.57/55.61 c 54.2s | 14 | 116145 | 68252 | 9636 13 | 237 | 468
57.57/57.67 c 56.3s | 14 | 119590 | 70652 | 9636 14 | 237 | 468
59.57/59.67 c 58.3s | 14 | 123143 | 72952 | 9636 14 | 237 | 468
61.58/61.68 c 60.3s | 14 | 126392 | 74952 | 9636 15 | 237 | 468
63.67/63.75 c 62.4s | 14 | 130568 | 77452 | 9636 15 | 237 | 468
65.67/65.78 c 64.4s | 14 | 134426 | 79752 | 9636 15 | 237 | 468
67.77/67.82 c 66.4s | 14 | 138567 | 82352 | 9636 16 | 237 | 468
69.77/69.85 c 68.5s | 14 | 142553 | 84752 | 9636 16 | 237 | 468
71.77/71.87 c 70.5s | 14 | 146070 | 87052 | 10600 17 | 237 | 468
72.27/72.36 c 71.0s | 15 | 147045 | 87632 | 10600 17 | 237 | 468
74.26/74.39 c 73.0s | 15 | 151006 | 89832 | 10600 17 | 237 | 468
76.36/76.44 c 75.0s | 15 | 155079 | 92132 | 10600 18 | 237 | 468
78.36/78.47 c 77.1s | 15 | 158825 | 94532 | 10600 18 | 237 | 468
80.46/80.56 c 79.2s | 15 | 161919 | 96732 | 10600 18 | 237 | 468
82.57/82.61 c 81.2s | 15 | 165479 | 99032 | 10600 19 | 237 | 468
84.55/84.64 c 83.2s | 15 | 169406 | 101332 | 10600 19 | 237 | 468
86.65/86.71 c 85.3s | 15 | 173473 | 103932 | 10600 19 | 237 | 468
88.65/88.79 c 87.4s | 15 | 177139 | 106232 | 10600 20 | 237 | 468
90.75/90.81 c 89.4s | 15 | 180702 | 108532 | 10600 20 | 237 | 468
92.75/92.86 c 91.5s | 15 | 184340 | 110932 | 10600 21 | 237 | 468
94.85/94.93 c 93.5s | 15 | 188064 | 113132 | 10600 21 | 237 | 468
96.86/96.95 c 95.6s | 15 | 191928 | 115432 | 10600 21 | 237 | 468
98.95/99.04 c 97.6s | 15 | 195585 | 117632 | 10600 22 | 237 | 468
100.95/101.06 c 99.7s | 15 | 199198 | 119932 | 10600 22 | 237 | 468
102.95/103.09 c 101s | 15 | 202681 | 122132 | 10600 23 | 237 | 468
105.05/105.10 c 103s | 15 | 206667 | 124532 | 10600 23 | 237 | 468
107.05/107.17 c 105s | 15 | 210497 | 126932 | 10600 23 | 237 | 468
109.05/109.19 c 107s | 15 | 213913 | 129032 | 10600 24 | 237 | 468
111.15/111.23 c 109s | 15 | 216967 | 131132 | 11661 24 | 237 | 468
111.74/111.85 c 110s | 16 | 217674 | 131552 | 11661 24 | 237 | 468
113.84/113.92 c 112s | 16 | 221678 | 133752 | 11661 24 | 237 | 468
115.84/115.96 c 114s | 16 | 224753 | 135652 | 11661 25 | 237 | 468
117.94/118.02 c 116s | 16 | 228848 | 138052 | 11661 25 | 237 | 468
119.94/120.08 c 118s | 16 | 231736 | 139952 | 11661 25 | 237 | 468
122.04/122.11 c 120s | 16 | 234506 | 141852 | 11661 26 | 237 | 468
124.04/124.12 c 122s | 16 | 237454 | 143952 | 11661 26 | 237 | 468
126.04/126.19 c 124s | 16 | 240168 | 145952 | 11661 26 | 237 | 468
128.14/128.22 c 126s | 16 | 243249 | 147952 | 11661 26 | 237 | 468
130.14/130.22 c 128s | 16 | 246429 | 149952 | 11661 27 | 237 | 468
132.14/132.27 c 130s | 16 | 249528 | 152052 | 11661 27 | 237 | 468
134.14/134.27 c 132s | 16 | 252732 | 154152 | 11661 27 | 237 | 468
136.24/136.34 c 134s | 16 | 255816 | 156152 | 11661 28 | 237 | 468
138.34/138.42 c 137s | 16 | 259262 | 158352 | 11661 28 | 237 | 468
140.34/140.46 c 139s | 16 | 262525 | 160552 | 11661 28 | 237 | 468
142.34/142.49 c 141s | 16 | 265857 | 162552 | 11661 29 | 237 | 468
144.43/144.57 c 143s | 16 | 269180 | 164652 | 11661 29 | 237 | 468
146.43/146.58 c 145s | 16 | 272140 | 166552 | 11661 29 | 237 | 468
148.44/148.58 c 147s | 16 | 275297 | 168252 | 11661 30 | 237 | 468
150.53/150.65 c 149s | 16 | 278593 | 170352 | 11661 30 | 237 | 468
152.63/152.74 c 151s | 16 | 281227 | 172252 | 11661 30 | 237 | 468
154.73/154.83 c 153s | 16 | 284462 | 174252 | 11661 30 | 237 | 468
156.73/156.84 c 155s | 16 | 287064 | 175952 | 11661 31 | 237 | 468
158.73/158.86 c 157s | 16 | 290158 | 177852 | 11661 31 | 237 | 468
160.83/160.90 c 159s | 16 | 293150 | 179852 | 11661 31 | 237 | 468
162.83/162.96 c 161s | 16 | 295227 | 181252 | 11661 32 | 237 | 468
164.82/164.98 c 163s | 16 | 298341 | 183252 | 11661 32 | 237 | 468
166.92/167.02 c 165s | 16 | 301145 | 184952 | 11661 32 | 237 | 468
169.02/169.16 c 167s | 16 | 305323 | 187552 | 11661 33 | 237 | 468
171.02/171.19 c 169s | 16 | 309456 | 190252 | 11661 33 | 237 | 468
173.12/173.24 c 171s | 16 | 313578 | 192852 | 11661 33 | 237 | 468
175.12/175.26 c 173s | 16 | 317438 | 195452 | 12828 34 | 237 | 468
176.82/176.91 c 175s | 17 | 320283 | 197432 | 12828 34 | 237 | 468
178.82/178.93 c 177s | 17 | 324222 | 199732 | 12828 34 | 237 | 468
180.82/180.97 c 179s | 17 | 327965 | 202132 | 12828 35 | 237 | 468
182.82/182.97 c 181s | 17 | 332540 | 204832 | 12828 35 | 237 | 468
184.91/185.01 c 183s | 17 | 336320 | 207232 | 12828 35 | 237 | 468
186.92/187.04 c 185s | 17 | 339572 | 209332 | 12828 36 | 237 | 468
188.91/189.05 c 187s | 17 | 343363 | 211632 | 12828 36 | 237 | 468
190.91/191.06 c 189s | 17 | 347186 | 214032 | 12828 36 | 237 | 468
192.91/193.08 c 191s | 17 | 350326 | 216032 | 12828 37 | 237 | 468
195.01/195.14 c 193s | 17 | 353831 | 218332 | 12828 37 | 237 | 468
197.01/197.17 c 195s | 17 | 357550 | 220632 | 12828 37 | 237 | 468
199.02/199.20 c 197s | 17 | 361102 | 222832 | 12828 37 | 237 | 468
201.11/201.22 c 199s | 17 | 364489 | 225032 | 12828 38 | 237 | 468
203.11/203.29 c 201s | 17 | 368120 | 227432 | 12828 38 | 237 | 468
205.21/205.39 c 203s | 17 | 371269 | 229532 | 12828 38 | 237 | 468
207.21/207.39 c 205s | 17 | 374741 | 231832 | 12828 39 | 237 | 468
209.31/209.45 c 208s | 17 | 377783 | 233832 | 12828 39 | 237 | 468
211.31/211.46 c 210s | 17 | 381672 | 236232 | 12828 39 | 237 | 468
213.31/213.48 c 212s | 17 | 385564 | 238632 | 12828 40 | 237 | 468
215.41/215.51 c 214s | 17 | 389743 | 241232 | 12828 40 | 237 | 468
217.41/217.56 c 216s | 17 | 394093 | 243832 | 12828 40 | 237 | 468
219.51/219.62 c 218s | 17 | 398110 | 246232 | 12828 41 | 237 | 468
221.51/221.67 c 220s | 17 | 401676 | 248532 | 12828 41 | 237 | 468
223.61/223.70 c 222s | 17 | 405463 | 250832 | 12828 41 | 237 | 468
225.60/225.74 c 224s | 17 | 409019 | 253132 | 12828 42 | 237 | 468
227.61/227.77 c 226s | 17 | 412440 | 255332 | 12828 42 | 237 | 468
229.70/229.85 c 228s | 17 | 415579 | 257432 | 12828 42 | 237 | 468
231.70/231.86 c 230s | 17 | 418724 | 259432 | 12828 43 | 237 | 468
233.80/233.90 c 232s | 17 | 422210 | 261632 | 12828 43 | 237 | 468
235.80/235.94 c 234s | 17 | 425428 | 263632 | 12828 43 | 237 | 468
237.90/238.03 c 236s | 17 | 428715 | 265732 | 12828 44 | 237 | 468
239.90/240.07 c 238s | 17 | 432016 | 267832 | 12828 44 | 237 | 468
242.01/242.15 c 240s | 17 | 435277 | 269932 | 12828 44 | 237 | 468
244.20/244.30 c 242s | 17 | 437897 | 271732 | 12828 44 | 237 | 468
246.19/246.31 c 244s | 17 | 440486 | 273432 | 12828 45 | 237 | 468
248.19/248.36 c 246s | 17 | 443255 | 275232 | 12828 45 | 237 | 468
250.29/250.46 c 249s | 17 | 446416 | 277132 | 12828 45 | 237 | 468
252.39/252.50 c 251s | 17 | 449068 | 278832 | 12828 45 | 237 | 468
254.39/254.52 c 253s | 17 | 451270 | 280232 | 12828 46 | 237 | 468
256.39/256.52 c 255s | 17 | 454526 | 282232 | 12828 46 | 237 | 468
258.39/258.59 c 257s | 17 | 457536 | 284132 | 12828 46 | 237 | 468
260.49/260.60 c 259s | 17 | 460067 | 285832 | 12828 46 | 237 | 468
262.49/262.65 c 261s | 17 | 463116 | 287732 | 12828 47 | 237 | 468
264.58/264.74 c 263s | 17 | 466125 | 289732 | 12828 47 | 237 | 468
266.58/266.76 c 265s | 17 | 468952 | 291532 | 12828 47 | 237 | 468
268.68/268.87 c 267s | 17 | 471601 | 293332 | 14111 47 | 237 | 468
270.68/270.89 c 269s | 17 | 474495 | 295132 | 14111 47 | 237 | 468
272.18/272.36 c 270s | 18 | 476197 | 296252 | 14111 48 | 237 | 468
274.28/274.41 c 273s | 18 | 478263 | 297452 | 14111 48 | 237 | 468
276.29/276.45 c 275s | 18 | 481145 | 299352 | 14111 48 | 237 | 468
278.38/278.54 c 277s | 18 | 484023 | 301252 | 14111 48 | 237 | 468
280.68/280.84 c 279s | 18 | 487357 | 303252 | 14111 49 | 237 | 468
282.69/282.85 c 281s | 18 | 490845 | 305452 | 14111 49 | 237 | 468
284.68/284.87 c 283s | 18 | 494053 | 307452 | 14111 49 | 237 | 468
286.78/286.96 c 285s | 18 | 496982 | 309352 | 14111 49 | 237 | 468
288.88/289.00 c 287s | 18 | 499590 | 311052 | 14111 50 | 237 | 468
290.88/291.03 c 289s | 18 | 502474 | 312952 | 14111 50 | 237 | 468
292.88/293.07 c 291s | 18 | 505509 | 314852 | 14111 50 | 237 | 468
294.97/295.17 c 293s | 18 | 508753 | 316752 | 14111 50 | 237 | 468
297.07/297.22 c 295s | 18 | 511649 | 318552 | 14111 50 | 237 | 468
299.08/299.23 c 297s | 18 | 514449 | 320252 | 14111 51 | 237 | 468
301.17/301.34 c 299s | 18 | 517295 | 322152 | 14111 51 | 237 | 468
303.17/303.37 c 301s | 18 | 520271 | 324052 | 14111 51 | 237 | 468
305.17/305.39 c 303s | 18 | 522622 | 325652 | 14111 51 | 237 | 468
307.27/307.40 c 306s | 18 | 524777 | 326952 | 14111 52 | 237 | 468
309.27/309.41 c 308s | 18 | 527463 | 328652 | 14111 52 | 237 | 468
311.56/311.76 c 310s | 18 | 530009 | 330352 | 14111 52 | 237 | 468
313.66/313.80 c 312s | 18 | 533283 | 332452 | 14111 52 | 237 | 468
315.66/315.89 c 314s | 18 | 536295 | 334352 | 14111 53 | 237 | 468
317.76/317.93 c 316s | 18 | 539594 | 336452 | 14111 53 | 237 | 468
319.76/319.96 c 318s | 18 | 542625 | 338452 | 14111 53 | 237 | 468
321.86/322.03 c 320s | 18 | 545533 | 340352 | 14111 53 | 237 | 468
323.96/324.14 c 322s | 18 | 548135 | 342052 | 14111 54 | 237 | 468
326.05/326.23 c 324s | 18 | 551086 | 344052 | 14111 54 | 237 | 468
328.05/328.27 c 326s | 18 | 553862 | 345952 | 14111 54 | 237 | 468
330.15/330.34 c 328s | 18 | 556551 | 347652 | 14111 54 | 237 | 468
332.16/332.38 c 330s | 18 | 559221 | 349452 | 14111 54 | 237 | 468
334.26/334.46 c 333s | 18 | 562063 | 351252 | 14111 55 | 237 | 468
336.35/336.54 c 335s | 18 | 565806 | 353652 | 14111 55 | 237 | 468
338.35/338.54 c 337s | 18 | 569202 | 355852 | 14111 55 | 237 | 468
340.45/340.67 c 339s | 18 | 571685 | 357552 | 14111 56 | 237 | 468
342.55/342.72 c 341s | 18 | 575480 | 360052 | 14111 56 | 237 | 468
344.54/344.75 c 343s | 18 | 579016 | 362252 | 14111 56 | 237 | 468
346.64/346.87 c 345s | 18 | 582626 | 364452 | 14111 56 | 237 | 468
348.74/348.93 c 347s | 18 | 585430 | 366252 | 14111 57 | 237 | 468
350.75/350.93 c 349s | 18 | 588241 | 368152 | 14111 57 | 237 | 468
352.84/353.01 c 351s | 18 | 591083 | 370052 | 14111 57 | 237 | 468
354.84/355.07 c 353s | 18 | 594308 | 372152 | 14111 57 | 237 | 468
356.94/357.15 c 355s | 18 | 597813 | 374352 | 14111 58 | 237 | 468
358.94/359.17 c 357s | 18 | 600926 | 376352 | 14111 58 | 237 | 468
361.04/361.20 c 359s | 18 | 603979 | 378252 | 14111 58 | 237 | 468
363.14/363.31 c 361s | 18 | 607073 | 380252 | 14111 58 | 237 | 468
365.14/365.34 c 363s | 18 | 610074 | 382152 | 14111 59 | 237 | 468
367.13/367.38 c 365s | 18 | 613111 | 384052 | 14111 59 | 237 | 468
369.23/369.44 c 368s | 18 | 615836 | 385852 | 14111 59 | 237 | 468
371.33/371.53 c 370s | 18 | 618911 | 387752 | 14111 59 | 237 | 468
373.34/373.59 c 372s | 18 | 621567 | 389452 | 14111 60 | 237 | 468
375.43/375.65 c 374s | 18 | 624895 | 391452 | 14111 60 | 237 | 468
377.43/377.69 c 376s | 18 | 627890 | 393352 | 14111 60 | 237 | 468
379.44/379.69 c 378s | 18 | 630749 | 395152 | 14111 60 | 237 | 468
381.54/381.75 c 380s | 18 | 633554 | 396852 | 14111 61 | 237 | 468
383.53/383.75 c 382s | 18 | 636315 | 398652 | 14111 61 | 237 | 468
385.63/385.87 c 384s | 18 | 639429 | 400652 | 14111 61 | 237 | 468
387.63/387.88 c 386s | 18 | 642429 | 402552 | 14111 61 | 237 | 468
389.73/389.90 c 388s | 18 | 644696 | 404052 | 14111 62 | 237 | 468
391.73/391.97 c 390s | 18 | 647437 | 405852 | 14111 62 | 237 | 468
393.82/394.01 c 392s | 18 | 650244 | 407652 | 14111 62 | 237 | 468
395.82/396.04 c 394s | 18 | 652833 | 409252 | 14111 62 | 237 | 468
397.92/398.15 c 396s | 18 | 655295 | 410852 | 14111 62 | 237 | 468
400.02/400.23 c 398s | 18 | 657553 | 412352 | 14111 63 | 237 | 468
402.02/402.23 c 400s | 18 | 660024 | 413952 | 14111 63 | 237 | 468
404.12/404.32 c 402s | 18 | 662954 | 415652 | 14111 63 | 237 | 468
406.21/406.41 c 405s | 18 | 665526 | 417352 | 14111 63 | 237 | 468
408.31/408.50 c 407s | 18 | 667702 | 418752 | 14111 63 | 237 | 468
410.41/410.64 c 409s | 18 | 669926 | 420152 | 14111 64 | 237 | 468
412.42/412.66 c 411s | 18 | 673206 | 422152 | 14111 64 | 237 | 468
414.41/414.69 c 413s | 18 | 676696 | 424252 | 14111 64 | 237 | 468
416.51/416.78 c 415s | 18 | 680124 | 426352 | 14111 64 | 237 | 468
418.61/418.85 c 417s | 18 | 683255 | 428252 | 14111 65 | 237 | 468
420.70/420.94 c 419s | 18 | 686343 | 430252 | 14111 65 | 237 | 468
422.70/422.98 c 421s | 18 | 689339 | 432052 | 14111 65 | 237 | 468
424.80/425.03 c 423s | 18 | 692313 | 433952 | 14111 65 | 237 | 468
426.90/427.12 c 425s | 18 | 695081 | 435652 | 14111 66 | 237 | 468
429.00/429.20 c 427s | 18 | 697901 | 437552 | 14111 66 | 237 | 468
431.01/431.28 c 429s | 18 | 700610 | 439352 | 14111 66 | 237 | 468
433.10/433.36 c 431s | 18 | 703420 | 441152 | 15523 66 | 237 | 468
435.29/435.51 c 434s | 18 | 706167 | 442852 | 15523 66 | 237 | 468
437.29/437.55 c 436s | 18 | 708425 | 444252 | 15523 67 | 237 | 468
437.60/437.82 c 436s | 19 | 708876 | 444482 | 15523 67 | 237 | 468
439.59/439.86 c 438s | 19 | 711368 | 445682 | 15523 67 | 237 | 468
441.69/441.95 c 440s | 19 | 714638 | 447682 | 15523 67 | 237 | 468
443.79/444.05 c 442s | 19 | 718043 | 449682 | 15523 67 | 237 | 468
445.79/446.06 c 444s | 19 | 721341 | 451682 | 15523 67 | 237 | 468
447.79/448.09 c 446s | 19 | 724031 | 453482 | 15523 68 | 237 | 468
449.89/450.14 c 448s | 19 | 726988 | 455282 | 15523 68 | 237 | 468
451.99/452.24 c 450s | 19 | 729738 | 457182 | 15523 68 | 237 | 468
453.99/454.28 c 452s | 19 | 732660 | 459182 | 15523 68 | 237 | 468
456.19/456.40 c 455s | 19 | 735502 | 461082 | 15523 69 | 237 | 468
458.19/458.45 c 457s | 19 | 738987 | 463282 | 15523 69 | 237 | 468
460.19/460.49 c 459s | 19 | 742075 | 465082 | 15523 69 | 237 | 468
462.28/462.58 c 461s | 19 | 745256 | 467082 | 15523 69 | 237 | 468
464.38/464.67 c 463s | 19 | 747850 | 468782 | 15523 69 | 237 | 468
466.58/466.80 c 465s | 19 | 750550 | 470482 | 15523 70 | 237 | 468
468.58/468.80 c 467s | 19 | 753173 | 472182 | 15523 70 | 237 | 468
470.59/470.88 c 469s | 19 | 756157 | 474182 | 15523 70 | 237 | 468
472.79/473.02 c 471s | 19 | 759060 | 476082 | 15523 70 | 237 | 468
474.87/475.13 c 473s | 19 | 761990 | 477882 | 15523 70 | 237 | 468
476.87/477.17 c 475s | 19 | 764250 | 479382 | 15523 71 | 237 | 468
478.87/479.19 c 477s | 19 | 766831 | 481082 | 15523 71 | 237 | 468
480.97/481.28 c 479s | 19 | 769546 | 482882 | 15523 71 | 237 | 468
483.07/483.38 c 481s | 19 | 772374 | 484682 | 15523 71 | 237 | 468
485.17/485.47 c 484s | 19 | 774937 | 486282 | 15523 71 | 237 | 468
487.27/487.59 c 486s | 19 | 777218 | 487782 | 15523 72 | 237 | 468
489.37/489.62 c 488s | 19 | 779766 | 489382 | 15523 72 | 237 | 468
491.37/491.63 c 490s | 19 | 782066 | 490982 | 15523 72 | 237 | 468
493.47/493.76 c 492s | 19 | 784785 | 492782 | 15523 72 | 237 | 468
495.56/495.80 c 494s | 19 | 787479 | 494382 | 15523 72 | 237 | 468
497.56/497.82 c 496s | 19 | 789769 | 495882 | 15523 73 | 237 | 468
499.56/499.85 c 498s | 19 | 792095 | 497482 | 15523 73 | 237 | 468
501.56/501.86 c 500s | 19 | 794591 | 499182 | 15523 73 | 237 | 468
503.67/503.99 c 502s | 19 | 796953 | 500782 | 15523 73 | 237 | 468
505.77/506.02 c 504s | 19 | 799324 | 502382 | 15523 73 | 237 | 468
507.76/508.03 c 506s | 19 | 801682 | 503882 | 15523 74 | 237 | 468
509.86/510.16 c 508s | 19 | 804226 | 505582 | 15523 74 | 237 | 468
511.96/512.28 c 510s | 19 | 806683 | 507282 | 15523 74 | 237 | 468
514.06/514.36 c 512s | 19 | 809239 | 508882 | 15523 74 | 237 | 468
516.16/516.48 c 515s | 19 | 811486 | 510382 | 15523 74 | 237 | 468
518.36/518.67 c 517s | 19 | 813717 | 511882 | 15523 75 | 237 | 468
520.46/520.71 c 519s | 19 | 816232 | 513482 | 15523 75 | 237 | 468
522.46/522.72 c 521s | 19 | 818564 | 514982 | 15523 75 | 237 | 468
524.46/524.78 c 523s | 19 | 820823 | 516482 | 15523 75 | 237 | 468
526.66/526.92 c 525s | 19 | 823299 | 517982 | 15523 75 | 237 | 468
528.65/528.94 c 527s | 19 | 825395 | 519382 | 15523 75 | 237 | 468
530.65/530.95 c 529s | 19 | 827014 | 520582 | 15523 76 | 237 | 468
532.65/532.99 c 531s | 19 | 829370 | 522182 | 15523 76 | 237 | 468
534.75/535.00 c 533s | 19 | 831511 | 523582 | 15523 76 | 237 | 468
536.85/537.13 c 535s | 19 | 833821 | 525082 | 15523 76 | 237 | 468
538.86/539.20 c 537s | 19 | 835903 | 526482 | 15523 76 | 237 | 468
541.05/541.31 c 539s | 19 | 838183 | 527982 | 15523 76 | 237 | 468
543.15/543.41 c 542s | 19 | 840480 | 529382 | 15523 77 | 237 | 468
545.14/545.47 c 544s | 19 | 842841 | 530982 | 15523 77 | 237 | 468
547.14/547.47 c 546s | 19 | 845072 | 532482 | 15523 77 | 237 | 468
549.24/549.55 c 548s | 19 | 847487 | 534082 | 15523 77 | 237 | 468
551.34/551.69 c 550s | 19 | 849006 | 535082 | 15523 77 | 237 | 468
553.44/553.71 c 552s | 19 | 851464 | 536682 | 15523 77 | 237 | 468
555.43/555.72 c 554s | 19 | 853691 | 538182 | 15523 78 | 237 | 468
557.44/557.76 c 556s | 19 | 856042 | 539782 | 15523 78 | 237 | 468
559.43/559.80 c 558s | 19 | 858494 | 541482 | 15523 78 | 237 | 468
561.63/561.91 c 560s | 19 | 860975 | 542982 | 15523 78 | 237 | 468
563.63/563.93 c 562s | 19 | 863314 | 544582 | 15523 78 | 237 | 468
565.73/566.01 c 564s | 19 | 865857 | 546182 | 15523 79 | 237 | 468
567.83/568.15 c 566s | 19 | 868401 | 547782 | 15523 79 | 237 | 468
569.93/570.22 c 568s | 19 | 870728 | 549282 | 15523 79 | 237 | 468
572.03/572.32 c 570s | 19 | 872910 | 550782 | 15523 79 | 237 | 468
574.04/574.37 c 572s | 19 | 874838 | 552082 | 15523 79 | 237 | 468
576.13/576.44 c 575s | 19 | 876569 | 553282 | 15523 79 | 237 | 468
578.13/578.45 c 577s | 19 | 878458 | 554582 | 15523 80 | 237 | 468
580.13/580.49 c 579s | 19 | 880696 | 555982 | 15523 80 | 237 | 468
582.23/582.52 c 581s | 19 | 883109 | 557482 | 15523 80 | 237 | 468
584.23/584.53 c 583s | 19 | 885646 | 558982 | 15523 80 | 237 | 468
586.33/586.66 c 585s | 19 | 888150 | 560482 | 15523 80 | 237 | 468
588.43/588.75 c 587s | 19 | 890579 | 561882 | 15523 80 | 237 | 468
590.44/590.79 c 589s | 19 | 892716 | 563282 | 15523 81 | 237 | 468
592.53/592.90 c 591s | 19 | 895423 | 564882 | 15523 81 | 237 | 468
594.63/594.91 c 593s | 19 | 897763 | 566382 | 15523 81 | 237 | 468
596.73/597.05 c 595s | 19 | 899918 | 567782 | 15523 81 | 237 | 468
598.83/599.17 c 597s | 19 | 901742 | 569082 | 15523 81 | 237 | 468
601.02/601.30 c 599s | 19 | 903623 | 570282 | 15523 81 | 237 | 468
603.12/603.44 c 602s | 19 | 905457 | 571482 | 15523 82 | 237 | 468
605.12/605.44 c 604s | 19 | 907482 | 572882 | 15523 82 | 237 | 468
607.22/607.53 c 606s | 19 | 909494 | 574282 | 15523 82 | 237 | 468
609.32/609.61 c 608s | 19 | 911638 | 575682 | 15523 82 | 237 | 468
611.32/611.67 c 610s | 19 | 913828 | 577082 | 15523 82 | 237 | 468
613.32/613.68 c 612s | 19 | 915790 | 578382 | 15523 82 | 237 | 468
615.42/615.74 c 614s | 19 | 917418 | 579582 | 15523 83 | 237 | 468
617.42/617.79 c 616s | 19 | 919605 | 580982 | 15523 83 | 237 | 468
619.61/619.93 c 618s | 19 | 921761 | 582382 | 15523 83 | 237 | 468
621.61/621.97 c 620s | 19 | 924304 | 583882 | 15523 83 | 237 | 468
623.71/624.01 c 622s | 19 | 926472 | 585282 | 15523 83 | 237 | 468
625.72/626.01 c 624s | 19 | 928811 | 586782 | 15523 83 | 237 | 468
627.82/628.14 c 626s | 19 | 931181 | 588282 | 15523 84 | 237 | 468
629.91/630.24 c 628s | 19 | 933317 | 589582 | 15523 84 | 237 | 468
632.01/632.31 c 630s | 19 | 935907 | 591282 | 15523 84 | 237 | 468
634.01/634.35 c 632s | 19 | 938491 | 592882 | 15523 84 | 237 | 468
636.11/636.40 c 635s | 19 | 940606 | 594282 | 15523 84 | 237 | 468
638.21/638.53 c 637s | 19 | 942920 | 595882 | 15523 84 | 237 | 468
640.20/640.54 c 639s | 19 | 944710 | 597182 | 15523 85 | 237 | 468
642.21/642.56 c 641s | 19 | 945749 | 597782 | 15523 85 | 237 | 468
644.60/644.98 c 643s | 19 | 947955 | 599082 | 15523 85 | 237 | 468
646.70/647.03 c 645s | 19 | 951503 | 601182 | 15523 85 | 237 | 468
648.70/649.05 c 647s | 19 | 955027 | 603282 | 15523 85 | 237 | 468
650.80/651.11 c 649s | 19 | 958027 | 605182 | 15523 86 | 237 | 468
652.80/653.17 c 651s | 19 | 961570 | 607382 | 15523 86 | 237 | 468
654.89/655.28 c 653s | 19 | 965500 | 609582 | 15523 86 | 237 | 468
656.99/657.34 c 655s | 19 | 968942 | 611682 | 15523 86 | 237 | 468
659.09/659.43 c 658s | 19 | 971958 | 613482 | 15523 87 | 237 | 468
661.09/661.44 c 660s | 19 | 975674 | 615782 | 15523 87 | 237 | 468
663.19/663.51 c 662s | 19 | 979351 | 617982 | 15523 87 | 237 | 468
665.30/665.61 c 664s | 19 | 982800 | 620182 | 15523 87 | 237 | 468
667.29/667.66 c 666s | 19 | 985894 | 622282 | 15523 88 | 237 | 468
669.39/669.73 c 668s | 19 | 989058 | 624482 | 15523 88 | 237 | 468
671.49/671.82 c 670s | 19 | 991792 | 626382 | 15523 88 | 237 | 468
673.49/673.85 c 672s | 19 | 994227 | 627882 | 15523 88 | 237 | 468
675.49/675.88 c 674s | 19 | 997843 | 629982 | 15523 88 | 237 | 468
677.59/677.97 c 676s | 19 | 1000972 | 631782 | 15523 89 | 237 | 468
679.68/680.04 c 678s | 19 | 1004041 | 633782 | 15523 89 | 237 | 468
681.69/682.05 c 680s | 19 | 1007304 | 635782 | 15523 89 | 237 | 468
683.69/684.08 c 682s | 19 | 1010693 | 637682 | 15523 89 | 237 | 468
685.78/686.17 c 684s | 19 | 1013842 | 639582 | 15523 90 | 237 | 468
687.88/688.21 c 686s | 19 | 1017438 | 641682 | 15523 90 | 237 | 468
689.88/690.22 c 688s | 19 | 1020340 | 643482 | 15523 90 | 237 | 468
691.98/692.34 c 690s | 19 | 1023497 | 645382 | 15523 90 | 237 | 468
693.98/694.38 c 692s | 19 | 1026112 | 646982 | 15523 90 | 237 | 468
696.09/696.41 c 695s | 19 | 1027895 | 648182 | 15523 91 | 237 | 468
698.08/698.45 c 697s | 19 | 1031222 | 650082 | 15523 91 | 237 | 468
700.08/700.47 c 699s | 19 | 1034772 | 652182 | 15523 91 | 237 | 468
702.18/702.58 c 701s | 19 | 1037978 | 654082 | 15523 91 | 237 | 468
704.28/704.63 c 703s | 19 | 1040933 | 655882 | 15523 92 | 237 | 468
706.38/706.73 c 705s | 19 | 1044393 | 657982 | 15523 92 | 237 | 468
708.38/708.79 c 707s | 19 | 1047582 | 659982 | 15523 92 | 237 | 468
710.48/710.83 c 709s | 19 | 1050891 | 662182 | 17076 92 | 237 | 468
712.49/712.88 c 711s | 19 | 1053732 | 663982 | 17076 92 | 237 | 468
714.48/714.88 c 713s | 19 | 1055897 | 665482 | 17076 92 | 237 | 468
716.18/716.55 c 715s | 20 | 1057933 | 666827 | 17076 93 | 237 | 468
718.28/718.65 c 717s | 20 | 1060694 | 668527 | 17076 93 | 237 | 468
720.28/720.67 c 719s | 20 | 1063388 | 670227 | 17076 93 | 237 | 468
722.38/722.70 c 721s | 20 | 1065860 | 671727 | 17076 93 | 237 | 468
724.48/724.81 c 723s | 20 | 1068925 | 673727 | 17076 93 | 237 | 468
726.48/726.82 c 725s | 20 | 1072020 | 675627 | 17076 94 | 237 | 468
728.48/728.89 c 727s | 20 | 1076178 | 678127 | 17076 94 | 237 | 468
730.58/730.95 c 729s | 20 | 1079593 | 680327 | 17076 94 | 237 | 468
732.67/733.01 c 731s | 20 | 1082698 | 682327 | 17076 94 | 237 | 468
734.67/735.06 c 733s | 20 | 1085614 | 684327 | 17076 95 | 237 | 468
736.78/737.13 c 735s | 20 | 1088789 | 686327 | 17076 95 | 237 | 468
738.77/739.17 c 737s | 20 | 1091819 | 688327 | 17076 95 | 237 | 468
740.77/741.19 c 739s | 20 | 1094564 | 690227 | 17076 95 | 237 | 468
742.87/743.29 c 741s | 20 | 1097660 | 692027 | 17076 95 | 237 | 468
744.97/745.37 c 743s | 20 | 1100692 | 693827 | 17076 96 | 237 | 468
747.07/747.47 c 746s | 20 | 1103553 | 695627 | 17076 96 | 237 | 468
749.18/749.53 c 748s | 20 | 1106315 | 697427 | 17076 96 | 237 | 468
751.18/751.58 c 750s | 20 | 1108976 | 699127 | 17076 96 | 237 | 468
753.29/753.65 c 752s | 20 | 1111562 | 700727 | 17076 96 | 237 | 468
755.39/755.72 c 754s | 20 | 1114130 | 702427 | 17076 96 | 237 | 468
757.38/757.76 c 756s | 20 | 1116867 | 704127 | 17076 97 | 237 | 468
759.38/759.77 c 758s | 20 | 1119169 | 705727 | 17076 97 | 237 | 468
761.58/761.91 c 760s | 20 | 1121597 | 707427 | 17076 97 | 237 | 468
763.58/763.96 c 762s | 20 | 1123962 | 709027 | 17076 97 | 237 | 468
765.68/766.01 c 764s | 20 | 1126157 | 710427 | 17076 97 | 237 | 468
767.68/768.04 c 766s | 20 | 1128532 | 711927 | 17076 98 | 237 | 468
769.78/770.15 c 768s | 20 | 1130831 | 713427 | 17076 98 | 237 | 468
771.77/772.19 c 770s | 20 | 1133807 | 715227 | 17076 98 | 237 | 468
773.87/774.27 c 772s | 20 | 1136246 | 716827 | 17076 98 | 237 | 468
775.87/776.27 c 774s | 20 | 1139678 | 719027 | 17076 98 | 237 | 468
777.97/778.32 c 776s | 20 | 1142352 | 720927 | 17076 98 | 237 | 468
779.97/780.35 c 778s | 20 | 1145112 | 722827 | 17076 99 | 237 | 468
781.97/782.38 c 780s | 20 | 1148258 | 724827 | 17076 99 | 237 | 468
784.08/784.42 c 783s | 20 | 1151139 | 726727 | 17076 99 | 237 | 468
786.07/786.48 c 785s | 20 | 1153991 | 728627 | 17076 99 | 237 | 468
788.17/788.54 c 787s | 20 | 1156917 | 730427 | 17076 100 | 237 | 468
790.27/790.60 c 789s | 20 | 1160196 | 732527 | 17076 100 | 237 | 468
792.27/792.68 c 791s | 20 | 1162937 | 734227 | 17076 100 | 237 | 468
794.37/794.76 c 793s | 20 | 1166801 | 736427 | 17076 100 | 237 | 468
796.37/796.78 c 795s | 20 | 1170003 | 738327 | 17076 100 | 237 | 468
798.38/798.79 c 797s | 20 | 1173003 | 740127 | 17076 101 | 237 | 468
800.48/800.84 c 799s | 20 | 1176817 | 742327 | 17076 101 | 237 | 468
802.47/802.88 c 801s | 20 | 1180117 | 744427 | 17076 101 | 237 | 468
804.57/804.95 c 803s | 20 | 1183762 | 746527 | 17076 101 | 237 | 468
806.57/806.99 c 805s | 20 | 1187075 | 748527 | 17076 101 | 237 | 468
808.67/809.00 c 807s | 20 | 1190105 | 750427 | 17076 102 | 237 | 468
810.67/811.08 c 809s | 20 | 1193648 | 752427 | 17076 102 | 237 | 468
812.67/813.09 c 811s | 20 | 1196833 | 754327 | 17076 102 | 237 | 468
814.77/815.17 c 813s | 20 | 1200119 | 756327 | 17076 102 | 237 | 468
816.87/817.23 c 815s | 20 | 1202889 | 758027 | 17076 103 | 237 | 468
818.87/819.27 c 817s | 20 | 1206155 | 759927 | 17076 103 | 237 | 468
820.87/821.29 c 819s | 20 | 1209702 | 762027 | 17076 103 | 237 | 468
822.97/823.30 c 821s | 20 | 1213062 | 763927 | 17076 103 | 237 | 468
825.07/825.43 c 824s | 20 | 1215568 | 765627 | 17076 103 | 237 | 468
827.17/827.50 c 826s | 20 | 1217775 | 767027 | 17076 103 | 237 | 468
829.26/829.62 c 828s | 20 | 1220090 | 768527 | 17076 104 | 237 | 468
831.27/831.66 c 830s | 20 | 1223305 | 770427 | 17076 104 | 237 | 468
833.36/833.75 c 832s | 20 | 1226372 | 772227 | 17076 104 | 237 | 468
835.36/835.78 c 834s | 20 | 1229343 | 774027 | 17076 104 | 237 | 468
837.56/837.92 c 836s | 20 | 1232244 | 775827 | 17076 104 | 237 | 468
839.66/840.02 c 838s | 20 | 1234807 | 777327 | 17076 105 | 237 | 468
841.76/842.13 c 840s | 20 | 1237867 | 779127 | 17076 105 | 237 | 468
843.76/844.16 c 842s | 20 | 1240446 | 780727 | 17076 105 | 237 | 468
845.86/846.22 c 844s | 20 | 1243358 | 782427 | 17076 105 | 237 | 468
847.87/848.29 c 846s | 20 | 1246096 | 784127 | 17076 105 | 237 | 468
849.97/850.39 c 848s | 20 | 1248348 | 785527 | 17076 105 | 237 | 468
852.06/852.42 c 851s | 20 | 1250885 | 787127 | 17076 106 | 237 | 468
854.06/854.50 c 853s | 20 | 1254555 | 789327 | 17076 106 | 237 | 468
856.16/856.53 c 855s | 20 | 1258599 | 791627 | 17076 106 | 237 | 468
858.16/858.53 c 857s | 20 | 1261623 | 793427 | 17076 106 | 237 | 468
860.16/860.57 c 859s | 20 | 1264225 | 795027 | 17076 107 | 237 | 468
862.26/862.66 c 861s | 20 | 1267427 | 797027 | 17076 107 | 237 | 468
864.36/864.72 c 863s | 20 | 1270327 | 798827 | 17076 107 | 237 | 468
866.36/866.76 c 865s | 20 | 1273059 | 800527 | 17076 107 | 237 | 468
868.46/868.85 c 867s | 20 | 1275997 | 802627 | 17076 107 | 237 | 468
870.46/870.85 c 869s | 20 | 1278811 | 804427 | 17076 108 | 237 | 468
872.46/872.88 c 871s | 20 | 1282266 | 806427 | 17076 108 | 237 | 468
874.46/874.89 c 873s | 20 | 1285678 | 808427 | 17076 108 | 237 | 468
876.56/876.99 c 875s | 20 | 1288786 | 810227 | 17076 108 | 237 | 468
878.76/879.10 c 877s | 20 | 1291660 | 811927 | 17076 108 | 237 | 468
880.76/881.20 c 879s | 20 | 1294782 | 813727 | 17076 109 | 237 | 468
882.85/883.23 c 881s | 20 | 1297881 | 815727 | 17076 109 | 237 | 468
884.95/885.32 c 883s | 20 | 1300640 | 817527 | 17076 109 | 237 | 468
886.95/887.34 c 885s | 20 | 1303540 | 819327 | 17076 109 | 237 | 468
889.05/889.40 c 888s | 20 | 1306347 | 821027 | 17076 109 | 237 | 468
891.05/891.48 c 890s | 20 | 1308972 | 822727 | 17076 110 | 237 | 468
893.05/893.48 c 892s | 20 | 1311996 | 824827 | 17076 110 | 237 | 468
895.06/895.50 c 894s | 20 | 1314964 | 826627 | 17076 110 | 237 | 468
897.15/897.56 c 896s | 20 | 1317755 | 828327 | 17076 110 | 237 | 468
899.15/899.58 c 898s | 20 | 1320373 | 829927 | 17076 110 | 237 | 468
901.25/901.60 c 900s | 20 | 1322968 | 831527 | 17076 110 | 237 | 468
903.25/903.64 c 902s | 20 | 1325687 | 833327 | 17076 111 | 237 | 468
905.35/905.72 c 904s | 20 | 1328634 | 835227 | 17076 111 | 237 | 468
907.45/907.81 c 906s | 20 | 1331425 | 836927 | 17076 111 | 237 | 468
909.46/909.87 c 908s | 20 | 1334325 | 838727 | 17076 111 | 237 | 468
911.66/912.05 c 910s | 20 | 1337136 | 840527 | 17076 111 | 237 | 468
913.75/914.12 c 912s | 20 | 1339759 | 842227 | 17076 112 | 237 | 468
915.85/916.20 c 914s | 20 | 1342471 | 844027 | 17076 112 | 237 | 468
917.85/918.27 c 916s | 20 | 1345049 | 845827 | 17076 112 | 237 | 468
919.85/920.29 c 918s | 20 | 1348009 | 847627 | 17076 112 | 237 | 468
921.95/922.35 c 920s | 20 | 1349997 | 849027 | 17076 112 | 237 | 468
924.05/924.46 c 923s | 20 | 1352252 | 850527 | 17076 113 | 237 | 468
926.05/926.47 c 925s | 20 | 1355069 | 852427 | 17076 113 | 237 | 468
928.15/928.54 c 927s | 20 | 1357910 | 854227 | 17076 113 | 237 | 468
930.25/930.67 c 929s | 20 | 1360423 | 855927 | 17076 113 | 237 | 468
932.35/932.74 c 931s | 20 | 1362740 | 857527 | 17076 113 | 237 | 468
934.44/934.85 c 933s | 20 | 1364930 | 859027 | 17076 113 | 237 | 468
936.54/936.97 c 935s | 20 | 1366769 | 860327 | 17076 114 | 237 | 468
938.74/939.11 c 937s | 20 | 1368675 | 861627 | 17076 114 | 237 | 468
940.75/941.12 c 939s | 20 | 1370221 | 862527 | 17076 114 | 237 | 468
942.85/943.22 c 941s | 20 | 1373756 | 864627 | 17076 114 | 237 | 468
944.85/945.25 c 943s | 20 | 1376687 | 866427 | 17076 114 | 237 | 468
946.95/947.35 c 945s | 20 | 1379530 | 868427 | 17076 114 | 237 | 468
948.96/949.37 c 947s | 20 | 1381979 | 869927 | 17076 115 | 237 | 468
951.05/951.47 c 950s | 20 | 1385493 | 872027 | 17076 115 | 237 | 468
953.15/953.51 c 952s | 20 | 1388751 | 873927 | 17076 115 | 237 | 468
955.15/955.53 c 954s | 20 | 1391598 | 875627 | 17076 115 | 237 | 468
957.15/957.59 c 956s | 20 | 1394711 | 877427 | 17076 115 | 237 | 468
959.25/959.63 c 958s | 20 | 1397173 | 879027 | 17076 116 | 237 | 468
961.35/961.73 c 960s | 20 | 1400275 | 880927 | 17076 116 | 237 | 468
963.45/963.80 c 962s | 20 | 1402547 | 882427 | 17076 116 | 237 | 468
965.45/965.82 c 964s | 20 | 1405761 | 884327 | 17076 116 | 237 | 468
967.45/967.83 c 966s | 20 | 1408596 | 886127 | 17076 116 | 237 | 468
969.45/969.83 c 968s | 20 | 1411360 | 887827 | 17076 117 | 237 | 468
971.45/971.85 c 970s | 20 | 1414417 | 889727 | 17076 117 | 237 | 468
973.54/973.90 c 972s | 20 | 1416967 | 891327 | 17076 117 | 237 | 468
975.54/975.93 c 974s | 20 | 1420246 | 893327 | 17076 117 | 237 | 468
977.65/978.04 c 976s | 20 | 1423294 | 895127 | 17076 117 | 237 | 468
979.75/980.11 c 978s | 20 | 1425867 | 896727 | 17076 118 | 237 | 468
981.74/982.18 c 980s | 20 | 1428763 | 898527 | 17076 118 | 237 | 468
983.84/984.27 c 982s | 20 | 1431981 | 900427 | 17076 118 | 237 | 468
985.94/986.32 c 984s | 20 | 1435052 | 902327 | 17076 118 | 237 | 468
987.94/988.37 c 986s | 20 | 1437096 | 903827 | 17076 118 | 237 | 468
990.04/990.41 c 989s | 20 | 1439429 | 905327 | 17076 118 | 237 | 468
992.04/992.45 c 991s | 20 | 1441656 | 906727 | 17076 119 | 237 | 468
994.15/994.58 c 993s | 20 | 1444628 | 908527 | 17076 119 | 237 | 468
996.25/996.64 c 995s | 20 | 1447696 | 910227 | 17076 119 | 237 | 468
998.34/998.71 c 997s | 20 | 1450272 | 911827 | 17076 119 | 237 | 468
1000.34/1000.76 c 999s | 20 | 1452507 | 913327 | 17076 119 | 237 | 468
1002.54/1002.91 c 1001s | 20 | 1454874 | 914827 | 17076 119 | 237 | 468
1004.64/1005.02 c 1003s | 20 | 1457688 | 916427 | 17076 120 | 237 | 468
1006.64/1007.09 c 1005s | 20 | 1460629 | 918127 | 17076 120 | 237 | 468
1008.84/1009.21 c 1007s | 20 | 1463368 | 919827 | 17076 120 | 237 | 468
1010.84/1011.29 c 1009s | 20 | 1465909 | 921327 | 17076 120 | 237 | 468
1012.94/1013.36 c 1011s | 20 | 1468541 | 922927 | 17076 120 | 237 | 468
1014.94/1015.37 c 1013s | 20 | 1470679 | 924227 | 17076 121 | 237 | 468
1017.04/1017.43 c 1016s | 20 | 1473477 | 925927 | 17076 121 | 237 | 468
1019.14/1019.50 c 1018s | 20 | 1476067 | 927527 | 17076 121 | 237 | 468
1021.24/1021.62 c 1020s | 20 | 1478257 | 929027 | 17076 121 | 237 | 468
1023.34/1023.70 c 1022s | 20 | 1479582 | 929927 | 17076 121 | 237 | 468
1025.33/1025.73 c 1024s | 20 | 1481470 | 931227 | 17076 121 | 237 | 468
1027.43/1027.81 c 1026s | 20 | 1484098 | 932927 | 17076 121 | 237 | 468
1029.63/1030.00 c 1028s | 20 | 1486503 | 934427 | 17076 122 | 237 | 468
1031.63/1032.07 c 1030s | 20 | 1489719 | 936327 | 17076 122 | 237 | 468
1033.74/1034.11 c 1032s | 20 | 1492324 | 938027 | 17076 122 | 237 | 468
1035.84/1036.21 c 1034s | 20 | 1494671 | 939527 | 17076 122 | 237 | 468
1037.83/1038.26 c 1036s | 20 | 1497250 | 941127 | 17076 122 | 237 | 468
1040.03/1040.41 c 1039s | 20 | 1499512 | 942627 | 17076 123 | 237 | 468
1042.03/1042.43 c 1041s | 20 | 1502257 | 944327 | 17076 123 | 237 | 468
1044.13/1044.52 c 1043s | 20 | 1505047 | 946127 | 17076 123 | 237 | 468
1046.23/1046.65 c 1045s | 20 | 1507944 | 948027 | 17076 123 | 237 | 468
1048.23/1048.68 c 1047s | 20 | 1510006 | 949527 | 17076 123 | 237 | 468
1050.43/1050.81 c 1049s | 20 | 1511939 | 950927 | 17076 123 | 237 | 468
1052.43/1052.87 c 1051s | 20 | 1513674 | 952127 | 17076 124 | 237 | 468
1054.53/1054.96 c 1053s | 20 | 1515938 | 953527 | 17076 124 | 237 | 468
1056.52/1056.99 c 1055s | 20 | 1520129 | 955927 | 17076 124 | 237 | 468
1058.62/1059.03 c 1057s | 20 | 1523254 | 957827 | 17076 124 | 237 | 468
1060.62/1061.09 c 1059s | 20 | 1525846 | 959527 | 17076 124 | 237 | 468
1062.72/1063.19 c 1061s | 20 | 1528568 | 961327 | 17076 125 | 237 | 468
1064.82/1065.28 c 1063s | 20 | 1532338 | 963627 | 17076 125 | 237 | 468
1066.92/1067.33 c 1065s | 20 | 1535867 | 965727 | 17076 125 | 237 | 468
1068.93/1069.36 c 1067s | 20 | 1538396 | 967427 | 17076 125 | 237 | 468
1071.03/1071.49 c 1070s | 20 | 1541004 | 969127 | 17076 125 | 237 | 468
1073.12/1073.58 c 1072s | 20 | 1543213 | 970627 | 17076 126 | 237 | 468
1075.23/1075.67 c 1074s | 20 | 1546336 | 972527 | 17076 126 | 237 | 468
1077.33/1077.76 c 1076s | 20 | 1549284 | 974327 | 17076 126 | 237 | 468
1079.33/1079.77 c 1078s | 20 | 1551824 | 975927 | 17076 126 | 237 | 468
1081.43/1081.88 c 1080s | 20 | 1554472 | 977627 | 17076 126 | 237 | 468
1083.53/1083.95 c 1082s | 20 | 1556896 | 979227 | 17076 126 | 237 | 468
1085.63/1086.07 c 1084s | 20 | 1559733 | 980927 | 17076 127 | 237 | 468
1087.73/1088.12 c 1086s | 20 | 1562280 | 982527 | 17076 127 | 237 | 468
1089.73/1090.12 c 1088s | 20 | 1564791 | 984127 | 17076 127 | 237 | 468
1091.83/1092.25 c 1090s | 20 | 1567254 | 985627 | 17076 127 | 237 | 468
1094.03/1094.45 c 1093s | 20 | 1569124 | 986827 | 17076 127 | 237 | 468
1096.23/1096.60 c 1095s | 20 | 1572162 | 988727 | 17076 127 | 237 | 468
1098.23/1098.63 c 1097s | 20 | 1574898 | 990427 | 17076 128 | 237 | 468
1100.23/1100.68 c 1099s | 20 | 1577580 | 992127 | 17076 128 | 237 | 468
1102.33/1102.73 c 1101s | 20 | 1580608 | 994027 | 18784 128 | 237 | 468
1104.43/1104.81 c 1103s | 20 | 1583308 | 995727 | 18784 128 | 237 | 468
1106.43/1106.87 c 1105s | 20 | 1585924 | 997427 | 18784 128 | 237 | 468
1108.53/1108.95 c 1107s | 20 | 1588423 | 999027 | 18784 128 | 237 | 468
1110.22/1110.65 c 1109s | 21 | 1590529 | 1000345 | 18784 129 | 237 | 468
1112.32/1112.74 c 1111s | 21 | 1593699 | 1002145 | 18784 129 | 237 | 468
1114.42/1114.80 c 1113s | 21 | 1595951 | 1003645 | 18784 129 | 237 | 468
1116.42/1116.84 c 1115s | 21 | 1598454 | 1005245 | 18784 129 | 237 | 468
1118.52/1118.93 c 1117s | 21 | 1601287 | 1006945 | 18784 129 | 237 | 468
1120.53/1121.00 c 1119s | 21 | 1603599 | 1008545 | 18784 129 | 237 | 468
1122.62/1123.06 c 1121s | 21 | 1605539 | 1009845 | 18784 130 | 237 | 468
1124.72/1125.14 c 1123s | 21 | 1608173 | 1011445 | 18784 130 | 237 | 468
1126.82/1127.20 c 1125s | 21 | 1611456 | 1013445 | 18784 130 | 237 | 468
1128.92/1129.30 c 1127s | 21 | 1614538 | 1015345 | 18784 130 | 237 | 468
1130.92/1131.36 c 1129s | 21 | 1617425 | 1017045 | 18784 130 | 237 | 468
1133.02/1133.41 c 1132s | 21 | 1620123 | 1018645 | 18784 130 | 237 | 468
1135.02/1135.46 c 1134s | 21 | 1622625 | 1020245 | 18784 131 | 237 | 468
1137.03/1137.46 c 1136s | 21 | 1625022 | 1021845 | 18784 131 | 237 | 468
1139.12/1139.57 c 1138s | 21 | 1627463 | 1023445 | 18784 131 | 237 | 468
1141.22/1141.62 c 1140s | 21 | 1630051 | 1025145 | 18784 131 | 237 | 468
1143.32/1143.72 c 1142s | 21 | 1632909 | 1026845 | 18784 131 | 237 | 468
1145.32/1145.76 c 1144s | 21 | 1635644 | 1028445 | 18784 131 | 237 | 468
1147.42/1147.80 c 1146s | 21 | 1638328 | 1029945 | 18784 131 | 237 | 468
1149.41/1149.84 c 1148s | 21 | 1640400 | 1031245 | 18784 132 | 237 | 468
1151.42/1151.86 c 1150s | 21 | 1642752 | 1032745 | 18784 132 | 237 | 468
1153.41/1153.90 c 1152s | 21 | 1645158 | 1034245 | 18784 132 | 237 | 468
1155.51/1155.95 c 1154s | 21 | 1647658 | 1035745 | 18784 132 | 237 | 468
1157.51/1157.99 c 1156s | 21 | 1650386 | 1037245 | 18784 132 | 237 | 468
1159.61/1160.06 c 1158s | 21 | 1652743 | 1038645 | 18784 132 | 237 | 468
1161.61/1162.06 c 1160s | 21 | 1654924 | 1039945 | 18784 132 | 237 | 468
1163.71/1164.15 c 1162s | 21 | 1657173 | 1041345 | 18784 133 | 237 | 468
1165.72/1166.17 c 1164s | 21 | 1659770 | 1042945 | 18784 133 | 237 | 468
1167.71/1168.17 c 1166s | 21 | 1662533 | 1044645 | 18784 133 | 237 | 468
1169.81/1170.28 c 1168s | 21 | 1665516 | 1046445 | 18784 133 | 237 | 468
1172.01/1172.41 c 1171s | 21 | 1668125 | 1047945 | 18784 133 | 237 | 468
1174.01/1174.48 c 1173s | 21 | 1670579 | 1049445 | 18784 133 | 237 | 468
1176.11/1176.56 c 1175s | 21 | 1673032 | 1050945 | 18784 134 | 237 | 468
1179.51/1179.92 c 1178s | 21 | 1675214 | 1052345 | 18784 134 | 237 | 468
1181.51/1181.94 c 1180s | 21 | 1677826 | 1053845 | 18784 134 | 237 | 468
1183.51/1183.95 c 1182s | 21 | 1681066 | 1055945 | 18784 134 | 237 | 468
1185.61/1186.08 c 1184s | 21 | 1683831 | 1057845 | 18784 134 | 237 | 468
1187.71/1188.16 c 1186s | 21 | 1686607 | 1059745 | 18784 134 | 237 | 468
1189.81/1190.21 c 1188s | 21 | 1689772 | 1061745 | 18784 135 | 237 | 468
1191.80/1192.28 c 1190s | 21 | 1692600 | 1063645 | 18784 135 | 237 | 468
1193.80/1194.29 c 1192s | 21 | 1695496 | 1065545 | 18784 135 | 237 | 468
1195.90/1196.33 c 1194s | 21 | 1698752 | 1067445 | 18784 135 | 237 | 468
1197.90/1198.35 c 1196s | 21 | 1701059 | 1069045 | 18784 135 | 237 | 468
1200.00/1200.41 c 1199s | 21 | 1703389 | 1070545 | 18784 136 | 237 | 468
1202.01/1202.48 c 1201s | 21 | 1706808 | 1072645 | 18784 136 | 237 | 468
1204.11/1204.56 c 1203s | 21 | 1709840 | 1074545 | 18784 136 | 237 | 468
1206.20/1206.67 c 1205s | 21 | 1712547 | 1076345 | 18784 136 | 237 | 468
1208.30/1208.72 c 1207s | 21 | 1715091 | 1077945 | 18784 136 | 237 | 468
1210.30/1210.77 c 1209s | 21 | 1717704 | 1079645 | 18784 136 | 237 | 468
1212.40/1212.82 c 1211s | 21 | 1720111 | 1081245 | 18784 137 | 237 | 468
1214.50/1214.92 c 1213s | 21 | 1722521 | 1082845 | 18784 137 | 237 | 468
1216.50/1216.94 c 1215s | 21 | 1725316 | 1084645 | 18784 137 | 237 | 468
1218.51/1218.97 c 1217s | 21 | 1727451 | 1086245 | 18784 137 | 237 | 468
1220.61/1221.04 c 1219s | 21 | 1729541 | 1087745 | 18784 137 | 237 | 468
1222.91/1223.32 c 1221s | 21 | 1731388 | 1088845 | 18784 137 | 237 | 468
1225.21/1225.60 c 1224s | 21 | 1734170 | 1090545 | 18784 138 | 237 | 468
1227.21/1227.68 c 1226s | 21 | 1736705 | 1092145 | 18784 138 | 237 | 468
1229.31/1229.70 c 1228s | 21 | 1739525 | 1093845 | 18784 138 | 237 | 468
1231.31/1231.74 c 1230s | 21 | 1741932 | 1095345 | 18784 138 | 237 | 468
1233.41/1233.84 c 1232s | 21 | 1744674 | 1096945 | 18784 138 | 237 | 468
1235.51/1235.92 c 1234s | 21 | 1747248 | 1098445 | 18784 138 | 237 | 468
1237.50/1237.94 c 1236s | 21 | 1749433 | 1099745 | 18784 138 | 237 | 468
1239.60/1240.04 c 1238s | 21 | 1751860 | 1101145 | 18784 139 | 237 | 468
1241.70/1242.18 c 1240s | 21 | 1754516 | 1102845 | 18784 139 | 237 | 468
1243.81/1244.26 c 1242s | 21 | 1757098 | 1104545 | 18784 139 | 237 | 468
1245.91/1246.34 c 1244s | 21 | 1760137 | 1106245 | 18784 139 | 237 | 468
1248.00/1248.43 c 1247s | 21 | 1762680 | 1107845 | 18784 139 | 237 | 468
1250.10/1250.51 c 1249s | 21 | 1765249 | 1109445 | 18784 139 | 237 | 468
1252.20/1252.61 c 1251s | 21 | 1767535 | 1110945 | 18784 140 | 237 | 468
1254.20/1254.62 c 1253s | 21 | 1769945 | 1112445 | 18784 140 | 237 | 468
1256.20/1256.64 c 1255s | 21 | 1772614 | 1114145 | 18784 140 | 237 | 468
1258.30/1258.77 c 1257s | 21 | 1774899 | 1115745 | 18784 140 | 237 | 468
1260.40/1260.85 c 1259s | 21 | 1777213 | 1117245 | 18784 140 | 237 | 468
1262.51/1262.97 c 1261s | 21 | 1779261 | 1118645 | 18784 140 | 237 | 468
1264.60/1265.03 c 1263s | 21 | 1781342 | 1120045 | 18784 140 | 237 | 468
1266.70/1267.16 c 1265s | 21 | 1783518 | 1121445 | 18784 141 | 237 | 468
1268.70/1269.19 c 1267s | 21 | 1785833 | 1122945 | 18784 141 | 237 | 468
1270.80/1271.25 c 1269s | 21 | 1788089 | 1124445 | 18784 141 | 237 | 468
1272.90/1273.32 c 1271s | 21 | 1790993 | 1126345 | 18784 141 | 237 | 468
1274.90/1275.37 c 1273s | 21 | 1793796 | 1128145 | 18784 141 | 237 | 468
1276.89/1277.39 c 1275s | 21 | 1796150 | 1129645 | 18784 141 | 237 | 468
1279.00/1279.42 c 1278s | 21 | 1798477 | 1131145 | 18784 142 | 237 | 468
1280.99/1281.49 c 1280s | 21 | 1801288 | 1132945 | 18784 142 | 237 | 468
1283.19/1283.61 c 1282s | 21 | 1803826 | 1134545 | 18784 142 | 237 | 468
1285.19/1285.65 c 1284s | 21 | 1806022 | 1136045 | 18784 142 | 237 | 468
1287.29/1287.78 c 1286s | 21 | 1808768 | 1137745 | 18784 142 | 237 | 468
1289.49/1289.93 c 1288s | 21 | 1811004 | 1139245 | 18784 142 | 237 | 468
1291.59/1292.02 c 1290s | 21 | 1812858 | 1140545 | 18784 142 | 237 | 468
1293.59/1294.04 c 1292s | 21 | 1814723 | 1141845 | 18784 143 | 237 | 468
1295.59/1296.07 c 1294s | 21 | 1816482 | 1143045 | 18784 143 | 237 | 468
1297.70/1298.16 c 1296s | 21 | 1819492 | 1145045 | 18784 143 | 237 | 468
1299.69/1300.20 c 1298s | 21 | 1822125 | 1146845 | 18784 143 | 237 | 468
1301.79/1302.22 c 1300s | 21 | 1824469 | 1148445 | 18784 143 | 237 | 468
1303.79/1304.27 c 1302s | 21 | 1827077 | 1150045 | 18784 143 | 237 | 468
1305.99/1306.40 c 1305s | 21 | 1829274 | 1151445 | 18784 144 | 237 | 468
1308.09/1308.51 c 1307s | 21 | 1831512 | 1152945 | 18784 144 | 237 | 468
1310.19/1310.60 c 1309s | 21 | 1833915 | 1154645 | 18784 144 | 237 | 468
1312.19/1312.62 c 1311s | 21 | 1836241 | 1156245 | 18784 144 | 237 | 468
1314.29/1314.70 c 1313s | 21 | 1838607 | 1157845 | 18784 144 | 237 | 468
1316.29/1316.71 c 1315s | 21 | 1840702 | 1159245 | 18784 144 | 237 | 468
1318.39/1318.81 c 1317s | 21 | 1843002 | 1160745 | 18784 144 | 237 | 468
1320.39/1320.81 c 1319s | 21 | 1845140 | 1162145 | 18784 145 | 237 | 468
1322.39/1322.81 c 1321s | 21 | 1847777 | 1163845 | 18784 145 | 237 | 468
1324.39/1324.83 c 1323s | 21 | 1850333 | 1165445 | 18784 145 | 237 | 468
1326.49/1326.96 c 1325s | 21 | 1852790 | 1167045 | 18784 145 | 237 | 468
1328.59/1329.06 c 1327s | 21 | 1855301 | 1168745 | 18784 145 | 237 | 468
1330.69/1331.11 c 1329s | 21 | 1857446 | 1170245 | 18784 145 | 237 | 468
1332.79/1333.29 c 1331s | 21 | 1859225 | 1171445 | 18784 146 | 237 | 468
1334.89/1335.36 c 1333s | 21 | 1862117 | 1173245 | 18784 146 | 237 | 468
1336.98/1337.41 c 1336s | 21 | 1864763 | 1175045 | 18784 146 | 237 | 468
1338.98/1339.48 c 1338s | 21 | 1866868 | 1176545 | 18784 146 | 237 | 468
1341.08/1341.53 c 1340s | 21 | 1868562 | 1177745 | 18784 146 | 237 | 468
1343.08/1343.57 c 1342s | 21 | 1870391 | 1178945 | 18784 146 | 237 | 468
1345.18/1345.65 c 1344s | 21 | 1872568 | 1180445 | 18784 146 | 237 | 468
1347.28/1347.72 c 1346s | 21 | 1874841 | 1181945 | 18784 147 | 237 | 468
1349.39/1349.82 c 1348s | 21 | 1877162 | 1183445 | 18784 147 | 237 | 468
1351.38/1351.85 c 1350s | 21 | 1879197 | 1184845 | 18784 147 | 237 | 468
1353.48/1353.95 c 1352s | 21 | 1881281 | 1186245 | 18784 147 | 237 | 468
1355.58/1356.02 c 1354s | 21 | 1883405 | 1187645 | 18784 147 | 237 | 468
1357.58/1358.04 c 1356s | 21 | 1885384 | 1188945 | 18784 147 | 237 | 468
1359.58/1360.05 c 1358s | 21 | 1887325 | 1190245 | 18784 147 | 237 | 468
1361.78/1362.29 c 1360s | 21 | 1889105 | 1191445 | 18784 148 | 237 | 468
1363.88/1364.37 c 1362s | 21 | 1891156 | 1192845 | 18784 148 | 237 | 468
1365.98/1366.45 c 1365s | 21 | 1892666 | 1193845 | 18784 148 | 237 | 468
1368.09/1368.52 c 1367s | 21 | 1895370 | 1195545 | 18784 148 | 237 | 468
1370.18/1370.63 c 1369s | 21 | 1897787 | 1197245 | 18784 148 | 237 | 468
1372.28/1372.79 c 1371s | 21 | 1900019 | 1198745 | 18784 148 | 237 | 468
1374.38/1374.87 c 1373s | 21 | 1901933 | 1200145 | 18784 148 | 237 | 468
1376.68/1377.14 c 1375s | 21 | 1904069 | 1201545 | 18784 149 | 237 | 468
1378.78/1379.20 c 1377s | 21 | 1906195 | 1202945 | 18784 149 | 237 | 468
1380.78/1381.25 c 1379s | 21 | 1908944 | 1204545 | 18784 149 | 237 | 468
1382.88/1383.36 c 1381s | 21 | 1911130 | 1206045 | 18784 149 | 237 | 468
1384.98/1385.43 c 1384s | 21 | 1913140 | 1207445 | 18784 149 | 237 | 468
1386.98/1387.44 c 1386s | 21 | 1914788 | 1208645 | 18784 149 | 237 | 468
1389.08/1389.51 c 1388s | 21 | 1916723 | 1210045 | 18784 149 | 237 | 468
1391.08/1391.58 c 1390s | 21 | 1918404 | 1211345 | 18784 149 | 237 | 468
1393.18/1393.63 c 1392s | 21 | 1920304 | 1212645 | 18784 150 | 237 | 468
1395.17/1395.69 c 1394s | 21 | 1922041 | 1213845 | 18784 150 | 237 | 468
1397.27/1397.74 c 1396s | 21 | 1924134 | 1215345 | 18784 150 | 237 | 468
1399.27/1399.76 c 1398s | 21 | 1926044 | 1216645 | 18784 150 | 237 | 468
1401.97/1402.48 c 1401s | 21 | 1927657 | 1217745 | 18784 150 | 237 | 468
1404.07/1404.51 c 1403s | 21 | 1930615 | 1219545 | 18784 150 | 237 | 468
1406.17/1406.61 c 1405s | 21 | 1933050 | 1221145 | 18784 150 | 237 | 468
1408.17/1408.64 c 1407s | 21 | 1935816 | 1222845 | 18784 151 | 237 | 468
1410.27/1410.72 c 1409s | 21 | 1938294 | 1224445 | 18784 151 | 237 | 468
1412.37/1412.83 c 1411s | 21 | 1941386 | 1226345 | 18784 151 | 237 | 468
1414.37/1414.85 c 1413s | 21 | 1944471 | 1228045 | 18784 151 | 237 | 468
1416.48/1416.93 c 1415s | 21 | 1947032 | 1229745 | 18784 151 | 237 | 468
1418.58/1419.03 c 1417s | 21 | 1949591 | 1231445 | 18784 151 | 237 | 468
1420.67/1421.11 c 1419s | 21 | 1951791 | 1232945 | 18784 152 | 237 | 468
1422.67/1423.13 c 1421s | 21 | 1954550 | 1234745 | 18784 152 | 237 | 468
1424.77/1425.23 c 1423s | 21 | 1957063 | 1236645 | 18784 152 | 237 | 468
1426.77/1427.26 c 1425s | 21 | 1959413 | 1238345 | 18784 152 | 237 | 468
1428.87/1429.30 c 1427s | 21 | 1961451 | 1239645 | 18784 152 | 237 | 468
1430.87/1431.31 c 1429s | 21 | 1963829 | 1241245 | 18784 152 | 237 | 468
1432.88/1433.36 c 1431s | 21 | 1966010 | 1242645 | 18784 153 | 237 | 468
1434.97/1435.45 c 1434s | 21 | 1968554 | 1244345 | 18784 153 | 237 | 468
1437.07/1437.58 c 1436s | 21 | 1971235 | 1246045 | 18784 153 | 237 | 468
1439.27/1439.70 c 1438s | 21 | 1973730 | 1247645 | 18784 153 | 237 | 468
1441.27/1441.74 c 1440s | 21 | 1976230 | 1249245 | 18784 153 | 237 | 468
1443.27/1443.78 c 1442s | 21 | 1978611 | 1250845 | 18784 153 | 237 | 468
1445.37/1445.85 c 1444s | 21 | 1980882 | 1252345 | 18784 154 | 237 | 468
1447.47/1447.93 c 1446s | 21 | 1983281 | 1254045 | 18784 154 | 237 | 468
1449.57/1450.00 c 1448s | 21 | 1985461 | 1255645 | 18784 154 | 237 | 468
1451.58/1452.07 c 1450s | 21 | 1987873 | 1257345 | 18784 154 | 237 | 468
1453.67/1454.11 c 1452s | 21 | 1990304 | 1259045 | 18784 154 | 237 | 468
1455.67/1456.11 c 1454s | 21 | 1992904 | 1260645 | 18784 154 | 237 | 468
1457.67/1458.17 c 1456s | 21 | 1995083 | 1262045 | 18784 155 | 237 | 468
1459.67/1460.18 c 1458s | 21 | 1997476 | 1263545 | 18784 155 | 237 | 468
1461.77/1462.27 c 1460s | 21 | 1999857 | 1265145 | 18784 155 | 237 | 468
1463.87/1464.39 c 1462s | 21 | 2002178 | 1266745 | 18784 155 | 237 | 468
1465.88/1466.40 c 1465s | 21 | 2004116 | 1268145 | 18784 155 | 237 | 468
1467.97/1468.44 c 1467s | 21 | 2006366 | 1269645 | 18784 155 | 237 | 468
1470.07/1470.51 c 1469s | 21 | 2008832 | 1271145 | 18784 155 | 237 | 468
1472.17/1472.61 c 1471s | 21 | 2011011 | 1272545 | 18784 156 | 237 | 468
1474.27/1474.71 c 1473s | 21 | 2013509 | 1274145 | 18784 156 | 237 | 468
1476.27/1476.72 c 1475s | 21 | 2016151 | 1275745 | 18784 156 | 237 | 468
1478.27/1478.77 c 1477s | 21 | 2018111 | 1277045 | 18784 156 | 237 | 468
1480.37/1480.85 c 1479s | 21 | 2020269 | 1278445 | 18784 156 | 237 | 468
1482.37/1482.89 c 1481s | 21 | 2022613 | 1279945 | 18784 156 | 237 | 468
1484.47/1484.90 c 1483s | 21 | 2024662 | 1281445 | 18784 156 | 237 | 468
1486.57/1487.03 c 1485s | 21 | 2026591 | 1282845 | 18784 157 | 237 | 468
1488.66/1489.16 c 1487s | 21 | 2028897 | 1284345 | 18784 157 | 237 | 468
1490.76/1491.23 c 1489s | 21 | 2030911 | 1285745 | 18784 157 | 237 | 468
1492.76/1493.25 c 1491s | 21 | 2032915 | 1287145 | 18784 157 | 237 | 468
1494.86/1495.38 c 1493s | 21 | 2035269 | 1288745 | 18784 157 | 237 | 468
1497.06/1497.50 c 1496s | 21 | 2037260 | 1290145 | 18784 157 | 237 | 468
1499.16/1499.62 c 1498s | 21 | 2038832 | 1291345 | 18784 157 | 237 | 468
1501.17/1501.66 c 1500s | 21 | 2040359 | 1292445 | 18784 158 | 237 | 468
1503.27/1503.79 c 1502s | 21 | 2042385 | 1293845 | 18784 158 | 237 | 468
1505.36/1505.86 c 1504s | 21 | 2044143 | 1295145 | 18784 158 | 237 | 468
1507.46/1507.95 c 1506s | 21 | 2045862 | 1296445 | 18784 158 | 237 | 468
1509.56/1510.00 c 1508s | 21 | 2047463 | 1297645 | 18784 158 | 237 | 468
1511.56/1512.02 c 1510s | 21 | 2049053 | 1298845 | 18784 158 | 237 | 468
1513.56/1514.03 c 1512s | 21 | 2050726 | 1300045 | 18784 158 | 237 | 468
1515.66/1516.11 c 1514s | 21 | 2052276 | 1301145 | 18784 158 | 237 | 468
1517.67/1518.15 c 1516s | 21 | 2053939 | 1302245 | 18784 158 | 237 | 468
1519.76/1520.24 c 1518s | 21 | 2055400 | 1303345 | 18784 159 | 237 | 468
1521.86/1522.39 c 1521s | 21 | 2057325 | 1304645 | 18784 159 | 237 | 468
1523.96/1524.46 c 1523s | 21 | 2058927 | 1305745 | 18784 159 | 237 | 468
1526.15/1526.60 c 1525s | 21 | 2060035 | 1306445 | 18784 159 | 237 | 468
1528.15/1528.64 c 1527s | 21 | 2062106 | 1307945 | 18784 159 | 237 | 468
1530.15/1530.69 c 1529s | 21 | 2065099 | 1309845 | 18784 159 | 237 | 468
1532.25/1532.78 c 1531s | 21 | 2067679 | 1311645 | 18784 159 | 237 | 468
1534.35/1534.83 c 1533s | 21 | 2069599 | 1313045 | 18784 160 | 237 | 468
1536.45/1536.95 c 1535s | 21 | 2071992 | 1314645 | 18784 160 | 237 | 468
1538.46/1538.96 c 1537s | 21 | 2074867 | 1316445 | 18784 160 | 237 | 468
1540.45/1540.98 c 1539s | 21 | 2077574 | 1318145 | 18784 160 | 237 | 468
1542.55/1543.06 c 1541s | 21 | 2079825 | 1319745 | 18784 160 | 237 | 468
1544.55/1545.08 c 1543s | 21 | 2082316 | 1321345 | 18784 160 | 237 | 468
1546.65/1547.12 c 1545s | 21 | 2084860 | 1322945 | 18784 161 | 237 | 468
1548.75/1549.21 c 1547s | 21 | 2087797 | 1325045 | 18784 161 | 237 | 468
1550.75/1551.23 c 1549s | 21 | 2090509 | 1326845 | 18784 161 | 237 | 468
1552.76/1553.26 c 1551s | 21 | 2093105 | 1328645 | 18784 161 | 237 | 468
1554.85/1555.33 c 1553s | 21 | 2095305 | 1330245 | 18784 161 | 237 | 468
1556.85/1557.36 c 1555s | 21 | 2097643 | 1331845 | 18784 161 | 237 | 468
1558.85/1559.39 c 1557s | 21 | 2099780 | 1333245 | 18784 162 | 237 | 468
1560.95/1561.44 c 1560s | 21 | 2102101 | 1334845 | 18784 162 | 237 | 468
1563.05/1563.51 c 1562s | 21 | 2104972 | 1336545 | 18784 162 | 237 | 468
1565.05/1565.58 c 1564s | 21 | 2107582 | 1338245 | 18784 162 | 237 | 468
1567.15/1567.61 c 1566s | 21 | 2110509 | 1339945 | 18784 162 | 237 | 468
1569.15/1569.69 c 1568s | 21 | 2113152 | 1341545 | 18784 162 | 237 | 468
1571.25/1571.71 c 1570s | 21 | 2115247 | 1343045 | 18784 163 | 237 | 468
1573.35/1573.80 c 1572s | 21 | 2117565 | 1344645 | 18784 163 | 237 | 468
1575.35/1575.84 c 1574s | 21 | 2119497 | 1346045 | 18784 163 | 237 | 468
1577.45/1577.95 c 1576s | 21 | 2121987 | 1347645 | 18784 163 | 237 | 468
1579.54/1580.05 c 1578s | 21 | 2124780 | 1349345 | 18784 163 | 237 | 468
1581.64/1582.12 c 1580s | 21 | 2127286 | 1350945 | 18784 163 | 237 | 468
1583.74/1584.20 c 1582s | 21 | 2129705 | 1352545 | 18784 163 | 237 | 468
1585.75/1586.30 c 1584s | 21 | 2131961 | 1354145 | 18784 164 | 237 | 468
1587.84/1588.35 c 1586s | 21 | 2134419 | 1355745 | 18784 164 | 237 | 468
1589.84/1590.39 c 1588s | 21 | 2136899 | 1357245 | 18784 164 | 237 | 468
1591.94/1592.41 c 1591s | 21 | 2139255 | 1358745 | 18784 164 | 237 | 468
1593.94/1594.42 c 1593s | 21 | 2141623 | 1360145 | 18784 164 | 237 | 468
1595.94/1596.42 c 1595s | 21 | 2143631 | 1361445 | 18784 164 | 237 | 468
1598.04/1598.54 c 1597s | 21 | 2145700 | 1362845 | 18784 164 | 237 | 468
1600.05/1600.59 c 1599s | 21 | 2147758 | 1364145 | 18784 165 | 237 | 468
1602.14/1602.70 c 1601s | 21 | 2149472 | 1365345 | 18784 165 | 237 | 468
1604.24/1604.71 c 1603s | 21 | 2151828 | 1366845 | 18784 165 | 237 | 468
1606.34/1606.85 c 1605s | 21 | 2154125 | 1368345 | 18784 165 | 237 | 468
1608.44/1608.91 c 1607s | 21 | 2156589 | 1369945 | 18784 165 | 237 | 468
1610.54/1611.02 c 1609s | 21 | 2158824 | 1371345 | 18784 165 | 237 | 468
1612.54/1613.04 c 1611s | 21 | 2160331 | 1372345 | 18784 165 | 237 | 468
1614.54/1615.05 c 1613s | 21 | 2161956 | 1373345 | 18784 166 | 237 | 468
1616.65/1617.14 c 1615s | 21 | 2164383 | 1374945 | 18784 166 | 237 | 468
1618.65/1619.14 c 1617s | 21 | 2166611 | 1376345 | 18784 166 | 237 | 468
1620.65/1621.17 c 1619s | 21 | 2168929 | 1377945 | 18784 166 | 237 | 468
1622.75/1623.22 c 1621s | 21 | 2171820 | 1379645 | 18784 166 | 237 | 468
1624.75/1625.26 c 1623s | 21 | 2174213 | 1381145 | 18784 166 | 237 | 468
1626.85/1627.34 c 1625s | 21 | 2176465 | 1382745 | 18784 166 | 237 | 468
1628.85/1629.38 c 1627s | 21 | 2178449 | 1384145 | 18784 167 | 237 | 468
1630.95/1631.41 c 1630s | 21 | 2180805 | 1385745 | 18784 167 | 237 | 468
1632.94/1633.41 c 1632s | 21 | 2183173 | 1387345 | 18784 167 | 237 | 468
1634.94/1635.46 c 1634s | 21 | 2185251 | 1388845 | 18784 167 | 237 | 468
1637.14/1637.60 c 1636s | 21 | 2187520 | 1390345 | 18784 167 | 237 | 468
1639.14/1639.67 c 1638s | 21 | 2189895 | 1391945 | 18784 167 | 237 | 468
1641.24/1641.72 c 1640s | 21 | 2191871 | 1393345 | 18784 168 | 237 | 468
1643.34/1643.82 c 1642s | 21 | 2194495 | 1394945 | 18784 168 | 237 | 468
1645.34/1645.84 c 1644s | 21 | 2196755 | 1396545 | 18784 168 | 237 | 468
1647.45/1647.93 c 1646s | 21 | 2199084 | 1398045 | 18784 168 | 237 | 468
1649.55/1650.03 c 1648s | 21 | 2200923 | 1399345 | 18784 168 | 237 | 468
1651.64/1652.15 c 1650s | 21 | 2203274 | 1400845 | 18784 168 | 237 | 468
1653.74/1654.24 c 1652s | 21 | 2205006 | 1402145 | 18784 168 | 237 | 468
1655.84/1656.36 c 1654s | 21 | 2206602 | 1403345 | 18784 169 | 237 | 468
1657.84/1658.39 c 1656s | 21 | 2208609 | 1404645 | 18784 169 | 237 | 468
1659.94/1660.42 c 1659s | 21 | 2210841 | 1406245 | 18784 169 | 237 | 468
1661.94/1662.45 c 1661s | 21 | 2212895 | 1407645 | 18784 169 | 237 | 468
1664.04/1664.59 c 1663s | 21 | 2215015 | 1409045 | 18784 169 | 237 | 468
1666.23/1666.71 c 1665s | 21 | 2216886 | 1410345 | 18784 169 | 237 | 468
1668.34/1668.84 c 1667s | 21 | 2219053 | 1411745 | 18784 169 | 237 | 468
1670.44/1670.92 c 1669s | 21 | 2221107 | 1413045 | 18784 169 | 237 | 468
1672.53/1673.04 c 1671s | 21 | 2222994 | 1414445 | 18784 170 | 237 | 468
1674.53/1675.05 c 1673s | 21 | 2225412 | 1415945 | 18784 170 | 237 | 468
1676.53/1677.09 c 1675s | 21 | 2227531 | 1417345 | 18784 170 | 237 | 468
1678.63/1679.14 c 1677s | 21 | 2229634 | 1418845 | 18784 170 | 237 | 468
1680.73/1681.25 c 1679s | 21 | 2231744 | 1420345 | 18784 170 | 237 | 468
1682.73/1683.26 c 1681s | 21 | 2233754 | 1421645 | 18784 170 | 237 | 468
1684.93/1685.44 c 1684s | 21 | 2235640 | 1422945 | 18784 170 | 237 | 468
1686.94/1687.47 c 1686s | 21 | 2236770 | 1423745 | 18784 171 | 237 | 468
1689.14/1689.61 c 1688s | 21 | 2238862 | 1425345 | 18784 171 | 237 | 468
1691.23/1691.71 c 1690s | 21 | 2241503 | 1427045 | 18784 171 | 237 | 468
1693.23/1693.76 c 1692s | 21 | 2243462 | 1428445 | 18784 171 | 237 | 468
1695.33/1695.80 c 1694s | 21 | 2245612 | 1429945 | 18784 171 | 237 | 468
1697.33/1697.83 c 1696s | 21 | 2247564 | 1431345 | 18784 171 | 237 | 468
1699.43/1700.00 c 1698s | 21 | 2249808 | 1432745 | 18784 171 | 237 | 468
1701.53/1702.00 c 1700s | 21 | 2251392 | 1433845 | 18784 172 | 237 | 468
1703.53/1704.06 c 1702s | 21 | 2253551 | 1435345 | 18784 172 | 237 | 468
1705.63/1706.20 c 1704s | 21 | 2255575 | 1436845 | 18784 172 | 237 | 468
1707.73/1708.21 c 1706s | 21 | 2257342 | 1438145 | 18784 172 | 237 | 468
1709.73/1710.28 c 1708s | 21 | 2259285 | 1439545 | 18784 172 | 237 | 468
1711.82/1712.35 c 1710s | 21 | 2261238 | 1440945 | 18784 172 | 237 | 468
1713.83/1714.37 c 1712s | 21 | 2262997 | 1442245 | 18784 172 | 237 | 468
1715.92/1716.48 c 1715s | 21 | 2264731 | 1443445 | 18784 172 | 237 | 468
1718.02/1718.55 c 1717s | 21 | 2266365 | 1444545 | 18784 173 | 237 | 468
1720.12/1720.65 c 1719s | 21 | 2268136 | 1445745 | 18784 173 | 237 | 468
1722.13/1722.70 c 1721s | 21 | 2270490 | 1447345 | 18784 173 | 237 | 468
1724.22/1724.74 c 1723s | 21 | 2272908 | 1448945 | 18784 173 | 237 | 468
1726.32/1726.85 c 1725s | 21 | 2275210 | 1450545 | 18784 173 | 237 | 468
1728.42/1728.96 c 1727s | 21 | 2277226 | 1451945 | 18784 173 | 237 | 468
1730.52/1731.09 c 1729s | 21 | 2279246 | 1453345 | 18784 173 | 237 | 468
1732.62/1733.11 c 1731s | 21 | 2281364 | 1454745 | 18784 174 | 237 | 468
1734.62/1735.18 c 1733s | 21 | 2283473 | 1456145 | 18784 174 | 237 | 468
1736.82/1737.31 c 1735s | 21 | 2285979 | 1457845 | 18784 174 | 237 | 468
1738.82/1739.35 c 1737s | 21 | 2287669 | 1459045 | 18784 174 | 237 | 468
1740.83/1741.38 c 1739s | 21 | 2289736 | 1460545 | 18784 174 | 237 | 468
1742.82/1743.39 c 1741s | 21 | 2291576 | 1461945 | 18784 174 | 237 | 468
1744.92/1745.44 c 1744s | 21 | 2293306 | 1463245 | 18784 174 | 237 | 468
1747.03/1747.57 c 1746s | 21 | 2295368 | 1464745 | 18784 175 | 237 | 468
1749.13/1749.68 c 1748s | 21 | 2297867 | 1466445 | 18784 175 | 237 | 468
1751.33/1751.81 c 1750s | 21 | 2299904 | 1467945 | 18784 175 | 237 | 468
1753.33/1753.89 c 1752s | 21 | 2302074 | 1469345 | 18784 175 | 237 | 468
1755.43/1755.93 c 1754s | 21 | 2304049 | 1470745 | 18784 175 | 237 | 468
1757.53/1758.06 c 1756s | 21 | 2305983 | 1472145 | 18784 175 | 237 | 468
1759.53/1760.10 c 1758s | 21 | 2307891 | 1473445 | 18784 175 | 237 | 468
1761.62/1762.19 c 1760s | 21 | 2309721 | 1474745 | 18784 176 | 237 | 468
1763.72/1764.26 c 1762s | 21 | 2311532 | 1476045 | 18784 176 | 237 | 468
1765.82/1766.34 c 1764s | 21 | 2313740 | 1477545 | 18784 176 | 237 | 468
1767.82/1768.37 c 1766s | 21 | 2316058 | 1479145 | 18784 176 | 237 | 468
1769.92/1770.40 c 1769s | 21 | 2318053 | 1480645 | 18784 176 | 237 | 468
1772.02/1772.55 c 1771s | 21 | 2320159 | 1482145 | 18784 176 | 237 | 468
1774.12/1774.69 c 1773s | 21 | 2322072 | 1483445 | 18784 176 | 237 | 468
1776.22/1776.76 c 1775s | 21 | 2323944 | 1484645 | 18784 177 | 237 | 468
1778.23/1778.79 c 1777s | 21 | 2325772 | 1485945 | 18784 177 | 237 | 468
1780.32/1780.88 c 1779s | 21 | 2327623 | 1487245 | 18784 177 | 237 | 468
1782.42/1782.93 c 1781s | 21 | 2329647 | 1488645 | 18784 177 | 237 | 468
1784.52/1785.05 c 1783s | 21 | 2331803 | 1490045 | 20663 177 | 237 | 468
1786.62/1787.13 c 1785s | 21 | 2333573 | 1491245 | 20663 177 | 237 | 468
1788.82/1789.30 c 1787s | 21 | 2335079 | 1492245 | 20663 177 | 237 | 468
1790.92/1791.41 c 1790s | 21 | 2337178 | 1493645 | 20663 177 | 237 | 468
1792.92/1793.44 c 1792s | 21 | 2339068 | 1494945 | 20663 177 | 237 | 468
1794.92/1795.44 c 1794s | 21 | 2340791 | 1496045 | 20663 178 | 237 | 468
1797.02/1797.56 c 1796s | 21 | 2342129 | 1496945 | 20663 178 | 237 | 468
1799.02/1799.56 c 1798s | 21 | 2344530 | 1498445 | 20663 178 | 237 | 468
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-4119564-1467261316/watcher-4119564-1467261316 -o /tmp/evaluation-result-4119564-1467261316/solver-4119564-1467261316 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467257713-17200 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119564-1467261316.opb
pid=17509
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.25 2.22 2.20 3/173 17512
/proc/meminfo: memFree=26992500/32872528 swapFree=1499340/1695564
[pid=17512] ppid=17509 vsize=789948 CPUtime=0 cores=0,2,4,6
/proc/17512/stat : 17512 (toysat) R 17509 17512 15141 0 -1 4202496 2958 0 0 0 0 0 0 0 20 0 4 0 7082864 808906752 3319 33554432000 4194304 16246674 140735243741472 140735243740896 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17512/statm: 198255 3328 441 2943 0 195149 0
[pid=17512/tid=17513] ppid=17509 vsize=807356 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (toysat) S 17509 17512 15141 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7082864 826732544 3388 33554432000 4194304 16246674 140735243741472 140242877132016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17512/tid=17514] ppid=17509 vsize=812476 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (toysat) S 17509 17512 15141 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7082864 831975424 3405 33554432000 4194304 16246674 140735243741472 140242866642160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17512/tid=17515] ppid=17509 vsize=816572 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7082864 836169728 3423 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[startup+0.100166 s]
/proc/loadavg: 2.25 2.22 2.20 3/173 17512
/proc/meminfo: memFree=26992500/32872528 swapFree=1499340/1695564
[pid=17512] ppid=17509 vsize=1223236 CPUtime=0.09 cores=0,2,4,6
/proc/17512/stat : 17512 (toysat) R 17509 17512 15141 0 -1 4202496 22602 0 0 0 6 3 0 0 20 0 4 0 7082864 1252593664 22927 33554432000 4194304 16246674 140735243741472 140735243740784 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17512/statm: 305809 22927 825 2943 0 302703 0
[pid=17512/tid=17513] ppid=17509 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (toysat) S 17509 17512 15141 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7082864 1252593664 22927 33554432000 4194304 16246674 140735243741472 140242877132016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17512/tid=17514] ppid=17509 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (toysat) S 17509 17512 15141 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7082864 1252593664 22927 33554432000 4194304 16246674 140735243741472 140242866642160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17512/tid=17515] ppid=17509 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7082864 1252593664 22927 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1223236
[startup+0.200594 s]
/proc/loadavg: 2.25 2.22 2.20 3/173 17512
/proc/meminfo: memFree=26992500/32872528 swapFree=1499340/1695564
[pid=17512] ppid=17509 vsize=1307204 CPUtime=0.19 cores=0,2,4,6
/proc/17512/stat : 17512 (toysat) R 17509 17512 15141 0 -1 4202496 34137 0 0 0 14 5 0 0 20 0 4 0 7082864 1338576896 34462 33554432000 4194304 16246674 140735243741472 140735243740784 12481124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17512/statm: 326801 34473 848 2943 0 323695 0
[pid=17512/tid=17513] ppid=17509 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (toysat) S 17509 17512 15141 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7082864 1338576896 34481 33554432000 4194304 16246674 140735243741472 140242877132016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17512/tid=17514] ppid=17509 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (toysat) S 17509 17512 15141 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7082864 1338576896 34486 33554432000 4194304 16246674 140735243741472 140242866642160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17512/tid=17515] ppid=17509 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7082864 1338576896 34488 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1307204
[startup+0.300434 s]
/proc/loadavg: 2.25 2.22 2.20 3/173 17512
/proc/meminfo: memFree=26992500/32872528 swapFree=1499340/1695564
[pid=17512] ppid=17509 vsize=1307204 CPUtime=0.29 cores=0,2,4,6
/proc/17512/stat : 17512 (toysat) R 17509 17512 15141 0 -1 4202496 36704 0 0 0 24 5 0 0 20 0 4 0 7082864 1338576896 37029 33554432000 4194304 16246674 140735243741472 140735243740784 12997748 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17512/statm: 326801 37029 849 2943 0 323695 0
[pid=17512/tid=17513] ppid=17509 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (toysat) S 17509 17512 15141 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7082864 1338576896 37029 33554432000 4194304 16246674 140735243741472 140242877132016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17512/tid=17514] ppid=17509 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (toysat) S 17509 17512 15141 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7082864 1338576896 37029 33554432000 4194304 16246674 140735243741472 140242866642160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17512/tid=17515] ppid=17509 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7082864 1338576896 37029 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1307204
[startup+0.700367 s]
/proc/loadavg: 2.25 2.22 2.20 3/173 17512
/proc/meminfo: memFree=26992500/32872528 swapFree=1499340/1695564
[pid=17512] ppid=17509 vsize=1308228 CPUtime=0.69 cores=0,2,4,6
/proc/17512/stat : 17512 (toysat) R 17509 17512 15141 0 -1 4202496 44072 0 0 0 62 7 0 0 20 0 4 0 7082864 1339625472 44397 33554432000 4194304 16246674 140735243741472 140735243740784 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17512/statm: 327057 44397 851 2943 0 323951 0
[pid=17512/tid=17513] ppid=17509 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (toysat) S 17509 17512 15141 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7082864 1339625472 44397 33554432000 4194304 16246674 140735243741472 140242877132016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17512/tid=17514] ppid=17509 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (toysat) S 17509 17512 15141 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7082864 1339625472 44397 33554432000 4194304 16246674 140735243741472 140242866642160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17512/tid=17515] ppid=17509 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7082864 1339625472 44397 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1308228
[startup+1.5004 s]
/proc/loadavg: 2.23 2.22 2.20 3/183 17545
/proc/meminfo: memFree=26453528/32872528 swapFree=1499340/1695564
[pid=17512] ppid=17509 vsize=1308228 CPUtime=1.49 cores=0,2,4,6
/proc/17512/stat : 17512 (toysat) R 17509 17512 15141 0 -1 4202496 44076 0 0 0 142 7 0 0 20 0 4 0 7082864 1339625472 44401 33554432000 4194304 16246674 140735243741472 140735243723392 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17512/statm: 327057 44401 855 2943 0 323951 0
[pid=17512/tid=17513] ppid=17509 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (toysat) S 17509 17512 15141 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7082864 1339625472 44401 33554432000 4194304 16246674 140735243741472 140242877132016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17512/tid=17514] ppid=17509 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (toysat) S 17509 17512 15141 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7082864 1339625472 44401 33554432000 4194304 16246674 140735243741472 140242866642160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17512/tid=17515] ppid=17509 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7082864 1339625472 44401 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1308228
[startup+3.1004 s]
/proc/loadavg: 2.23 2.22 2.20 3/183 17545
/proc/meminfo: memFree=25442804/32872528 swapFree=1499340/1695564
[pid=17512] ppid=17509 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/17512/stat : 17512 (toysat) R 17509 17512 15141 0 -1 4202496 225791 0 0 0 276 33 0 0 20 0 4 0 7082864 1339625472 226117 33554432000 4194304 16246674 140735243741472 140735243724472 5991173 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17512/statm: 327057 226127 855 2943 0 323951 0
[pid=17512/tid=17513] ppid=17509 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (toysat) S 17509 17512 15141 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7082864 1339625472 226136 33554432000 4194304 16246674 140735243741472 140242877132016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17512/tid=17514] ppid=17509 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (toysat) S 17509 17512 15141 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7082864 1339625472 226142 33554432000 4194304 16246674 140735243741472 140242866642160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17512/tid=17515] ppid=17509 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7082864 1339625472 226150 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228
[startup+6.30042 s]
/proc/loadavg: 2.23 2.22 2.20 3/183 17545
/proc/meminfo: memFree=24853720/32872528 swapFree=1499340/1695564
[pid=17512] ppid=17509 vsize=1309252 CPUtime=6.29 cores=0,2,4,6
/proc/17512/stat : 17512 (toysat) R 17509 17512 15141 0 -1 4202496 268371 0 0 0 590 39 0 0 20 0 4 0 7082864 1340674048 268696 33554432000 4194304 16246674 140735243741472 140735243723392 13927320 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17512/statm: 327313 268696 855 2943 0 324207 0
[pid=17512/tid=17513] ppid=17509 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (toysat) S 17509 17512 15141 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7082864 1340674048 268696 33554432000 4194304 16246674 140735243741472 140242877132016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17512/tid=17514] ppid=17509 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (toysat) S 17509 17512 15141 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7082864 1340674048 268696 33554432000 4194304 16246674 140735243741472 140242866642160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17512/tid=17515] ppid=17509 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7082864 1340674048 268696 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252
[startup+12.7004 s]
/proc/loadavg: 2.27 2.23 2.20 4/183 17545
/proc/meminfo: memFree=24853924/32872528 swapFree=1499340/1695564
[pid=17512] ppid=17509 vsize=1309252 CPUtime=12.69 cores=0,2,4,6
/proc/17512/stat : 17512 (toysat) R 17509 17512 15141 0 -1 4202496 268372 0 0 0 1230 39 0 0 20 0 4 0 7082864 1340674048 268697 33554432000 4194304 16246674 140735243741472 140735243723392 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17512/statm: 327313 268697 856 2943 0 324207 0
[pid=17512/tid=17513] ppid=17509 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (toysat) S 17509 17512 15141 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7082864 1340674048 268697 33554432000 4194304 16246674 140735243741472 140242877132016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17512/tid=17514] ppid=17509 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (toysat) S 17509 17512 15141 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7082864 1340674048 268697 33554432000 4194304 16246674 140735243741472 140242866642160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17512/tid=17515] ppid=17509 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7082864 1340674048 268697 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1309252
[startup+25.5005 s]
/proc/loadavg: 2.30 2.24 2.21 3/183 17545
/proc/meminfo: memFree=24842328/32872528 swapFree=1499340/1695564
[pid=17512] ppid=17509 vsize=1318468 CPUtime=25.49 cores=0,2,4,6
/proc/17512/stat : 17512 (toysat) R 17509 17512 15141 0 -1 4202496 270718 0 0 0 2510 39 0 0 20 0 4 0 7082864 1350111232 271043 33554432000 4194304 16246674 140735243741472 140735243723392 5974060 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17512/statm: 329617 271043 858 2943 0 326511 0
[pid=17512/tid=17513] ppid=17509 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (toysat) S 17509 17512 15141 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7082864 1350111232 271043 33554432000 4194304 16246674 140735243741472 140242877132016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17512/tid=17514] ppid=17509 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (toysat) S 17509 17512 15141 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7082864 1350111232 271043 33554432000 4194304 16246674 140735243741472 140242866642160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17512/tid=17515] ppid=17509 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7082864 1350111232 271043 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1318468
[startup+51.1006 s]
/proc/loadavg: 2.30 2.25 2.21 3/183 17545
/proc/meminfo: memFree=24841780/32872528 swapFree=1499340/1695564
[pid=17512] ppid=17509 vsize=1318468 CPUtime=51.08 cores=0,2,4,6
/proc/17512/stat : 17512 (toysat) R 17509 17512 15141 0 -1 4202496 270729 0 0 0 5069 39 0 0 20 0 4 0 7082864 1350111232 271043 33554432000 4194304 16246674 140735243741472 140735243723392 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17512/statm: 329617 271043 858 2943 0 326511 0
[pid=17512/tid=17513] ppid=17509 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (toysat) S 17509 17512 15141 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7082864 1350111232 271043 33554432000 4194304 16246674 140735243741472 140242877132016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17512/tid=17514] ppid=17509 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (toysat) S 17509 17512 15141 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7082864 1350111232 271043 33554432000 4194304 16246674 140735243741472 140242866642160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17512/tid=17515] ppid=17509 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7082864 1350111232 271043 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1318468
[startup+102.301 s]
/proc/loadavg: 2.26 2.24 2.20 3/183 17547
/proc/meminfo: memFree=24836084/32872528 swapFree=1499340/1695564
[pid=17512] ppid=17509 vsize=1318468 CPUtime=102.25 cores=0,2,4,6
/proc/17512/stat : 17512 (toysat) R 17509 17512 15141 0 -1 4202496 270763 0 0 0 10186 39 0 0 20 0 4 0 7082864 1350111232 271043 33554432000 4194304 16246674 140735243741472 140735243723392 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17512/statm: 329617 271043 858 2943 0 326511 0
[pid=17512/tid=17513] ppid=17509 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (toysat) S 17509 17512 15141 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7082864 1350111232 271043 33554432000 4194304 16246674 140735243741472 140242877132016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17512/tid=17514] ppid=17509 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (toysat) S 17509 17512 15141 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7082864 1350111232 271043 33554432000 4194304 16246674 140735243741472 140242866642160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17512/tid=17515] ppid=17509 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7082864 1350111232 271043 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1318468
################
# More data... #
################
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7082864 1377374208 277702 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1345092
[startup+1362.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/183 17579
/proc/meminfo: memFree=24801792/32872528 swapFree=1499340/1695564
[pid=17512] ppid=17509 vsize=1345092 CPUtime=1361.88 cores=0,2,4,6
/proc/17512/stat : 17512 (toysat) R 17509 17512 15141 0 -1 4202496 277750 0 0 0 136141 47 0 0 20 0 4 0 7082864 1377374208 277702 33554432000 4194304 16246674 140735243741472 140735243723392 5808428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17512/statm: 336273 277702 858 2943 0 333167 0
[pid=17512/tid=17513] ppid=17509 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (toysat) S 17509 17512 15141 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7082864 1377374208 277702 33554432000 4194304 16246674 140735243741472 140242877132016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17512/tid=17514] ppid=17509 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (toysat) S 17509 17512 15141 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7082864 1377374208 277702 33554432000 4194304 16246674 140735243741472 140242866642160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17512/tid=17515] ppid=17509 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7082864 1377374208 277702 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1345092
[startup+1422.3 s]
/proc/loadavg: 2.28 2.23 2.19 3/183 17580
/proc/meminfo: memFree=24798560/32872528 swapFree=1499340/1695564
[pid=17512] ppid=17509 vsize=1345092 CPUtime=1421.87 cores=0,2,4,6
/proc/17512/stat : 17512 (toysat) R 17509 17512 15141 0 -1 4202496 277750 0 0 0 142140 47 0 0 20 0 4 0 7082864 1377374208 277702 33554432000 4194304 16246674 140735243741472 140735243723392 12483303 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17512/statm: 336273 277702 858 2943 0 333167 0
[pid=17512/tid=17513] ppid=17509 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (toysat) S 17509 17512 15141 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7082864 1377374208 277702 33554432000 4194304 16246674 140735243741472 140242877132016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17512/tid=17514] ppid=17509 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (toysat) S 17509 17512 15141 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7082864 1377374208 277702 33554432000 4194304 16246674 140735243741472 140242866642160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17512/tid=17515] ppid=17509 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7082864 1377374208 277702 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1345092
[startup+1482.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 17581
/proc/meminfo: memFree=24798076/32872528 swapFree=1499340/1695564
[pid=17512] ppid=17509 vsize=1345092 CPUtime=1481.87 cores=0,2,4,6
/proc/17512/stat : 17512 (toysat) R 17509 17512 15141 0 -1 4202496 277750 0 0 0 148139 48 0 0 20 0 4 0 7082864 1377374208 277702 33554432000 4194304 16246674 140735243741472 140735243723392 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17512/statm: 336273 277702 858 2943 0 333167 0
[pid=17512/tid=17513] ppid=17509 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (toysat) S 17509 17512 15141 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7082864 1377374208 277702 33554432000 4194304 16246674 140735243741472 140242877132016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17512/tid=17514] ppid=17509 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (toysat) S 17509 17512 15141 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7082864 1377374208 277702 33554432000 4194304 16246674 140735243741472 140242866642160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17512/tid=17515] ppid=17509 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7082864 1377374208 277702 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1345092
[startup+1542.31 s]
/proc/loadavg: 2.28 2.24 2.19 3/184 17585
/proc/meminfo: memFree=24798364/32872528 swapFree=1499340/1695564
[pid=17512] ppid=17509 vsize=1345092 CPUtime=1541.86 cores=0,2,4,6
/proc/17512/stat : 17512 (toysat) R 17509 17512 15141 0 -1 4202496 277750 0 0 0 154138 48 0 0 20 0 4 0 7082864 1377374208 277702 33554432000 4194304 16246674 140735243741472 140735243723392 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17512/statm: 336273 277702 858 2943 0 333167 0
[pid=17512/tid=17513] ppid=17509 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (toysat) S 17509 17512 15141 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7082864 1377374208 277702 33554432000 4194304 16246674 140735243741472 140242877132016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17512/tid=17514] ppid=17509 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (toysat) S 17509 17512 15141 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7082864 1377374208 277702 33554432000 4194304 16246674 140735243741472 140242866642160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17512/tid=17515] ppid=17509 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7082864 1377374208 277702 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1345092
[startup+1602.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/184 17610
/proc/meminfo: memFree=24797876/32872528 swapFree=1499340/1695564
[pid=17512] ppid=17509 vsize=1347140 CPUtime=1601.84 cores=0,2,4,6
/proc/17512/stat : 17512 (toysat) R 17509 17512 15141 0 -1 4202496 278138 0 0 0 160136 48 0 0 20 0 4 0 7082864 1379471360 278090 33554432000 4194304 16246674 140735243741472 140735243739328 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17512/statm: 336785 278090 858 2943 0 333679 0
[pid=17512/tid=17513] ppid=17509 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (toysat) S 17509 17512 15141 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7082864 1379471360 278090 33554432000 4194304 16246674 140735243741472 140242877132016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17512/tid=17514] ppid=17509 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (toysat) S 17509 17512 15141 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7082864 1379471360 278090 33554432000 4194304 16246674 140735243741472 140242866642160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17512/tid=17515] ppid=17509 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7082864 1379471360 278090 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1347140
[startup+1662.3 s]
/proc/loadavg: 2.25 2.24 2.18 3/183 17611
/proc/meminfo: memFree=24786860/32872528 swapFree=1499340/1695564
[pid=17512] ppid=17509 vsize=1356356 CPUtime=1661.84 cores=0,2,4,6
/proc/17512/stat : 17512 (toysat) R 17509 17512 15141 0 -1 4202496 280566 0 0 0 166135 49 0 0 20 0 4 0 7082864 1388908544 280518 33554432000 4194304 16246674 140735243741472 140735243723392 5711984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17512/statm: 339089 280518 858 2943 0 335983 0
[pid=17512/tid=17513] ppid=17509 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (toysat) S 17509 17512 15141 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7082864 1388908544 280518 33554432000 4194304 16246674 140735243741472 140242877132016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17512/tid=17514] ppid=17509 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (toysat) S 17509 17512 15141 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7082864 1388908544 280518 33554432000 4194304 16246674 140735243741472 140242866642160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17512/tid=17515] ppid=17509 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7082864 1388908544 280518 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1356356
[startup+1722.3 s]
/proc/loadavg: 2.22 2.22 2.18 4/183 17612
/proc/meminfo: memFree=24786860/32872528 swapFree=1499340/1695564
[pid=17512] ppid=17509 vsize=1356356 CPUtime=1721.82 cores=0,2,4,6
/proc/17512/stat : 17512 (toysat) R 17509 17512 15141 0 -1 4202496 280566 0 0 0 172133 49 0 0 20 0 4 0 7082864 1388908544 280518 33554432000 4194304 16246674 140735243741472 140735243723392 5710236 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17512/statm: 339089 280518 858 2943 0 335983 0
[pid=17512/tid=17513] ppid=17509 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (toysat) S 17509 17512 15141 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7082864 1388908544 280518 33554432000 4194304 16246674 140735243741472 140242877132016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17512/tid=17514] ppid=17509 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (toysat) S 17509 17512 15141 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7082864 1388908544 280518 33554432000 4194304 16246674 140735243741472 140242866642160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17512/tid=17515] ppid=17509 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7082864 1388908544 280518 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1356356
[startup+1782.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/183 17613
/proc/meminfo: memFree=24785752/32872528 swapFree=1499340/1695564
[pid=17512] ppid=17509 vsize=1356356 CPUtime=1781.82 cores=0,2,4,6
/proc/17512/stat : 17512 (toysat) R 17509 17512 15141 0 -1 4202496 280566 0 0 0 178132 50 0 0 20 0 4 0 7082864 1388908544 280518 33554432000 4194304 16246674 140735243741472 140735243723392 5675825 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17512/statm: 339089 280518 858 2943 0 335983 0
[pid=17512/tid=17513] ppid=17509 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (toysat) S 17509 17512 15141 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7082864 1388908544 280518 33554432000 4194304 16246674 140735243741472 140242877132016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17512/tid=17514] ppid=17509 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (toysat) S 17509 17512 15141 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7082864 1388908544 280518 33554432000 4194304 16246674 140735243741472 140242866642160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17512/tid=17515] ppid=17509 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7082864 1388908544 280518 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1356356
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.28 2.23 2.19 3/183 17613
/proc/meminfo: memFree=24786124/32872528 swapFree=1499340/1695564
[pid=17512] ppid=17509 vsize=1356356 CPUtime=1800.02 cores=0,2,4,6
/proc/17512/stat : 17512 (toysat) R 17509 17512 15141 0 -1 4202496 280566 0 0 0 179952 50 0 0 20 0 4 0 7082864 1388908544 280518 33554432000 4194304 16246674 140735243741472 140735243723392 5823408 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17512/statm: 339089 280518 858 2943 0 335983 0
[pid=17512/tid=17513] ppid=17509 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (toysat) S 17509 17512 15141 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7082864 1388908544 280518 33554432000 4194304 16246674 140735243741472 140242877132016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17512/tid=17514] ppid=17509 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (toysat) S 17509 17512 15141 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7082864 1388908544 280518 33554432000 4194304 16246674 140735243741472 140242866642160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17512/tid=17515] ppid=17509 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7082864 1388908544 280518 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1356356
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 17512 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.28 2.23 2.19 3/183 17613
/proc/meminfo: memFree=24786124/32872528 swapFree=1499340/1695564
[pid=17512] ppid=17509 vsize=1356356 CPUtime=1800.02 cores=0,2,4,6
/proc/17512/stat : 17512 (toysat) R 17509 17512 15141 0 -1 4202496 280566 0 0 0 179952 50 0 0 20 0 4 0 7082864 1388908544 280518 33554432000 4194304 16246674 140735243741472 140735243723392 5823408 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17512/statm: 339089 280518 858 2943 0 335983 0
[pid=17512/tid=17513] ppid=17509 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17513/stat : 17513 (toysat) S 17509 17512 15141 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 7082864 1388908544 280518 33554432000 4194304 16246674 140735243741472 140242877132016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17512/tid=17514] ppid=17509 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17514/stat : 17514 (toysat) S 17509 17512 15141 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7082864 1388908544 280518 33554432000 4194304 16246674 140735243741472 140242866642160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17512/tid=17515] ppid=17509 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/17512/task/17515/stat : 17515 (toysat) S 17509 17512 15141 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7082864 1388908544 280518 33554432000 4194304 16246674 140735243741472 140242856168624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1356356
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.53
CPU system time (s): 0.504923
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 1356356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.504923
maximum resident set size= 1122072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280566
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= 390
involuntary context switches= 1841
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5018 second user time and 14.5118 second system time
The end