Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.52 |
| Name | normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir04_trarea_ac.opb |
| MD5SUM | a588ec671da067d931709859b503c557 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 44391 |
| Best CPU time to get the best result obtained on this benchmark | 1800.01 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 1945 |
| Total number of constraints | 3355 |
| Number of constraints which are clauses | 3355 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 55 |
| Number of terms in the objective function | 1036 |
| Biggest coefficient in the objective function | 2072 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 1671510 |
| Number of bits of the sum of numbers in the objective function | 21 |
| Biggest number in a constraint | 2072 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 1671510 |
| Number of bits of the biggest sum of numbers | 21 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-07T00:58:51+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-4079103-1465253930.opb"] 0.00/0.01 c use --random-gen="4155862884 701874391 4260881103 4187789952 2788645682 2385187754 1027526323 3310333128 4061698378 1814474104 1600270599 2590566654 930944313 2831181218 175468188 3813634100 3805852922 335331661 2765253963 774273402 1998516026 889917970 3113402294 1441331757 1123008668 4172288189 3826027931 308457343 8458518 2726183889 1131715827 3459005063 486695635 1401601602 2133965693 3339146497 3438932214 3253191927 2663836024 826770184 122088208 944885905 207881208 684601819 3280886565 1975395542 349738442 821222700 1122937544 1101389976 389871353 3011974450 1970405498 1582564140 2308837147 1912807101 1787406725 1095949285 765275003 334448124 2549403561 517144167 2468233121 3924880185 3597524903 3788400716 3665555994 1632451874 3691789812 1193014550 1629045487 1207037428 3157732787 1161163649 3811311563 271177508 2322633919 584102482 732503816 242077776 3326384723 3677222083 771696262 2583715191 1050865428 3804309640 4129568803 243137429 3976137337 916259456 1503034658 3674235822 2302606963 2378267287 4015581707 3697854484 2715274799 2138460239 1106973855 450373328 4609759 3380313117 23556925 699257713 2128997632 3332401303 1011535716 4238912489 3263722730 1743914403 4291685680 3693166771 3482706405 359202732 2336693358 368135118 1746014294 1713202068 3128113888 1169300305 322489140 2387885979 1253383671 2006876346 1339216075 3884858552 3158728667 2726316580 1241555028 3767782350 4113099236 408138246 541093931 2907404060 973452513 1702831903 2002339091 1128326094 3822228034 2025146659 3144823564 1125831880 2729708496 238681818 533562726 1006458965 3137540825 65431408 2514213081 2308296927 301297175 1431954874 4048016442 26389407 2193653205 2962953406 4043809188 1337234822 3415839388 3853351759 970989818 2466006146 165304585 493356217 2478095345 636865961 1608959328 2585037507 2859389998 1229127097 3593140124 74604450 1987818875 2633202233 2091729809 2588475425 978135905 2013794802 3315060495 1839269955 4234825710 907396301 2485310538 594197676 856463315 2374491864 1948779923 725275088 3679665227 4280272721 1633774079 236434296 2234187461 1096705473 181647145 3922522903 2601232104 241976689 4035662146 2854952114 1787886627 1015570699 2143315153 2113730631 2540275568 1541831311 2598521079 3917758643 4292455141 2189669555 2696772777 793352518 537890729 197212690 3341206245 1541382324 751335548 539417585 3262723576 3596302653 523143418 231371598 1501964730 1340974303 2313962482 1841046586 48974765 1420303305 669149792 1705148902 1377608967 717352215 2934775967 1821410154 2777795737 584045294 177967535 1711770363 2335210814 1367427258 3168613534 3936336853 1324809009 823283551 133015060 1303146391 944680639 1810633486 3669800536 2934846947 155545075 184796001 550740178 1346074802 2113763733 783237521 255 362436" option to reproduce the execution 0.00/0.04 c #vars 1945 0.00/0.04 c #constraints 3355 0.00/0.08 c BCD2: Hardening is enabled. 0.00/0.08 c BCD2: BiasedSearch is enabled. 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 0 0.00/0.09 c 0.0s | 0 | 1093 | 0 | 1765 0 | 4 | 0 0.00/0.09 c #cpu_time = 0.007s 0.00/0.09 c #wall_clock_time = 0.007s 0.00/0.09 c #decision = 1093 0.00/0.09 c #random_decision = 3 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 o 1671510 0.09/0.12 c BCD2: refineUB: 1671509 -> 1670404 0.09/0.12 c BCD2: updating upper bound: 1671510 -> 1670404 0.09/0.13 c BCD2: 0 <= obj <= 1670404 0.09/0.13 c BCD2: #cores=0, #unrelaxed=1036, #relaxed=0, #hardened=0 0.09/0.13 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 0 0.09/0.13 c 0.0s | 0 | 1 | 0 | 1765 0 | 4 | 0 0.09/0.13 c #cpu_time = 0.001s 0.09/0.13 c #wall_clock_time = 0.001s 0.09/0.13 c #decision = 1 0.09/0.13 c #random_decision = 0 0.09/0.13 c #conflict = 0 0.09/0.13 c #restart = 0 0.09/0.13 c BCD2: found a new core of size 2: cost of the new core is >=1340 0.09/0.13 c lower bound updated to 1340 0.09/0.14 c BCD2: refineUB: 1671509 -> 1670404 0.09/0.14 c BCD2: 1340 <= obj <= 1670404 0.09/0.14 c BCD2: #cores=1, #unrelaxed=1034, #relaxed=2, #hardened=0 0.09/0.14 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 | 1765 0 | 4 | 1 0.09/0.15 c 0.0s | 0 | 1 | 0 | 1765 0 | 4 | 1 0.09/0.15 c #cpu_time = 0.001s 0.09/0.15 c #wall_clock_time = 0.001s 0.09/0.15 c #decision = 1 0.09/0.15 c #random_decision = 0 0.09/0.15 c #conflict = 0 0.09/0.15 c #restart = 0 0.09/0.15 c BCD2: found a new core of size 1: cost of the new core is >=1314 0.09/0.15 c lower bound updated to 2654 0.09/0.16 c BCD2: refineUB: 1671509 -> 1670404 0.09/0.16 c BCD2: 2654 <= obj <= 1670404 0.09/0.16 c BCD2: #cores=2, #unrelaxed=1033, #relaxed=3, #hardened=0 0.09/0.16 c BCD2: #sat=1 #unsat=3 bias=3/4 0.09/0.16 c Solving starts ... 0.09/0.16 c ============================[ Search Statistics ]============================ 0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.16 c | | | | Limit GC | Var | Constra 0.09/0.16 c ============================================================================= 0.09/0.16 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 0.09/0.16 c 0.0s | 0 | 2 | 0 | 1765 0 | 4 | 1 0.09/0.16 c #cpu_time = 0.002s 0.09/0.16 c #wall_clock_time = 0.002s 0.09/0.16 c #decision = 2 0.09/0.16 c #random_decision = 0 0.09/0.16 c #conflict = 0 0.09/0.16 c #restart = 0 0.09/0.16 c BCD2: found a new core of size 1: cost of the new core is >=1531 0.09/0.16 c lower bound updated to 4185 0.09/0.17 c BCD2: refineUB: 1671509 -> 1670404 0.09/0.17 c BCD2: 4185 <= obj <= 1670404 0.09/0.17 c BCD2: #cores=3, #unrelaxed=1032, #relaxed=4, #hardened=0 0.09/0.17 c BCD2: #sat=1 #unsat=4 bias=4/5 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.18 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 0.09/0.18 c 0.0s | 0 | 10 | 0 | 1765 0 | 4 | 1 0.09/0.18 c #cpu_time = 0.002s 0.09/0.18 c #wall_clock_time = 0.002s 0.09/0.18 c #decision = 10 0.09/0.18 c #random_decision = 0 0.09/0.18 c #conflict = 0 0.09/0.18 c #restart = 0 0.09/0.18 c BCD2: found a new core of size 7: cost of the new core is >=1288 0.09/0.18 c lower bound updated to 5473 0.19/0.20 c BCD2: refineUB: 1671509 -> 1670404 0.19/0.20 c BCD2: 5473 <= obj <= 1670404 0.19/0.20 c BCD2: #cores=4, #unrelaxed=1025, #relaxed=11, #hardened=0 0.19/0.20 c BCD2: #sat=1 #unsat=5 bias=5/6 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 | 1765 0 | 4 | 1 0.19/0.21 c 0.0s | 0 | 12 | 0 | 1765 0 | 4 | 1 0.19/0.21 c #cpu_time = 0.002s 0.19/0.21 c #wall_clock_time = 0.002s 0.19/0.21 c #decision = 12 0.19/0.21 c #random_decision = 0 0.19/0.21 c #conflict = 0 0.19/0.21 c #restart = 0 0.19/0.21 c BCD2: found a new core of size 1: cost of the new core is >=1540 0.19/0.21 c lower bound updated to 7013 0.19/0.23 c BCD2: refineUB: 1671509 -> 1670404 0.19/0.23 c BCD2: 7013 <= obj <= 1670404 0.19/0.23 c BCD2: #cores=5, #unrelaxed=1024, #relaxed=12, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=6 bias=6/7 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 | 1765 0 | 4 | 1 0.19/0.23 c 0.0s | 0 | 25 | 0 | 1765 0 | 4 | 1 0.19/0.23 c #cpu_time = 0.002s 0.19/0.23 c #wall_clock_time = 0.002s 0.19/0.23 c #decision = 25 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 0 0.19/0.23 c #restart = 0 0.19/0.23 c BCD2: found a new core of size 5: cost of the new core is >=1340 0.19/0.23 c lower bound updated to 8353 0.19/0.26 c BCD2: refineUB: 1671509 -> 1670404 0.19/0.26 c BCD2: 8353 <= obj <= 1670404 0.19/0.26 c BCD2: #cores=6, #unrelaxed=1019, #relaxed=17, #hardened=0 0.19/0.26 c BCD2: #sat=1 #unsat=7 bias=7/8 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 | 1765 0 | 4 | 1 0.19/0.27 c 0.0s | 0 | 26 | 0 | 1765 0 | 4 | 1 0.19/0.27 c #cpu_time = 0.002s 0.19/0.27 c #wall_clock_time = 0.002s 0.19/0.27 c #decision = 26 0.19/0.27 c #random_decision = 0 0.19/0.27 c #conflict = 0 0.19/0.27 c #restart = 0 0.19/0.27 c BCD2: found a new core of size 5: cost of the new core is >=1262 0.19/0.27 c lower bound updated to 9615 0.19/0.29 c BCD2: refineUB: 1671509 -> 1670404 0.19/0.29 c BCD2: 9615 <= obj <= 1670404 0.19/0.29 c BCD2: #cores=7, #unrelaxed=1014, #relaxed=22, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=8 bias=8/9 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 | 1765 0 | 4 | 1 0.19/0.30 c 0.0s | 0 | 30 | 0 | 1765 0 | 4 | 1 0.19/0.30 c #cpu_time = 0.002s 0.19/0.30 c #wall_clock_time = 0.002s 0.19/0.30 c #decision = 30 0.19/0.30 c #random_decision = 0 0.19/0.30 c #conflict = 0 0.19/0.30 c #restart = 0 0.19/0.30 c BCD2: found a new core of size 5: cost of the new core is >=1410 0.19/0.30 c lower bound updated to 11025 0.28/0.32 c BCD2: refineUB: 1671509 -> 1670404 0.28/0.32 c BCD2: 11025 <= obj <= 1670404 0.28/0.32 c BCD2: #cores=8, #unrelaxed=1009, #relaxed=27, #hardened=0 0.28/0.32 c BCD2: #sat=1 #unsat=9 bias=9/10 0.28/0.32 c Solving starts ... 0.28/0.32 c ============================[ Search Statistics ]============================ 0.28/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.32 c | | | | Limit GC | Var | Constra 0.28/0.32 c ============================================================================= 0.28/0.32 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 0.28/0.32 c 0.0s | 0 | 28 | 0 | 1765 0 | 4 | 1 0.28/0.32 c #cpu_time = 0.002s 0.28/0.32 c #wall_clock_time = 0.002s 0.28/0.32 c #decision = 28 0.28/0.32 c #random_decision = 0 0.28/0.32 c #conflict = 0 0.28/0.32 c #restart = 0 0.28/0.32 c BCD2: found a new core of size 1: cost of the new core is >=1236 0.28/0.32 c lower bound updated to 12261 0.28/0.34 c BCD2: refineUB: 1671509 -> 1670404 0.28/0.34 c BCD2: 12261 <= obj <= 1670404 0.28/0.34 c BCD2: #cores=9, #unrelaxed=1008, #relaxed=28, #hardened=0 0.28/0.34 c BCD2: #sat=1 #unsat=10 bias=10/11 0.28/0.34 c Solving starts ... 0.28/0.34 c ============================[ Search Statistics ]============================ 0.28/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.34 c | | | | Limit GC | Var | Constra 0.28/0.34 c ============================================================================= 0.28/0.34 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 0.28/0.34 c 0.0s | 0 | 33 | 0 | 1765 0 | 4 | 1 0.28/0.34 c #cpu_time = 0.002s 0.28/0.34 c #wall_clock_time = 0.002s 0.28/0.34 c #decision = 33 0.28/0.34 c #random_decision = 0 0.28/0.34 c #conflict = 0 0.28/0.34 c #restart = 0 0.28/0.34 c BCD2: found a new core of size 5: cost of the new core is >=1288 0.28/0.34 c lower bound updated to 13549 0.28/0.35 c BCD2: refineUB: 1671509 -> 1670404 0.28/0.35 c BCD2: 13549 <= obj <= 1670404 0.28/0.35 c BCD2: #cores=10, #unrelaxed=1003, #relaxed=33, #hardened=0 0.28/0.35 c BCD2: #sat=1 #unsat=11 bias=11/12 0.28/0.35 c Solving starts ... 0.28/0.35 c ============================[ Search Statistics ]============================ 0.28/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.35 c | | | | Limit GC | Var | Constra 0.28/0.35 c ============================================================================= 0.28/0.35 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 0.28/0.36 c 0.0s | 0 | 32 | 0 | 1765 0 | 4 | 1 0.28/0.36 c #cpu_time = 0.002s 0.28/0.36 c #wall_clock_time = 0.002s 0.28/0.36 c #decision = 32 0.28/0.36 c #random_decision = 0 0.28/0.36 c #conflict = 0 0.28/0.36 c #restart = 0 0.28/0.36 c BCD2: found a new core of size 3: cost of the new core is >=1314 0.28/0.36 c lower bound updated to 14863 0.28/0.37 c BCD2: refineUB: 1671509 -> 1670404 0.28/0.37 c BCD2: 14863 <= obj <= 1670404 0.28/0.37 c BCD2: #cores=11, #unrelaxed=1000, #relaxed=36, #hardened=0 0.28/0.37 c BCD2: #sat=1 #unsat=12 bias=12/13 0.28/0.37 c Solving starts ... 0.28/0.37 c ============================[ Search Statistics ]============================ 0.28/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.37 c | | | | Limit GC | Var | Constra 0.28/0.37 c ============================================================================= 0.28/0.37 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 0.28/0.37 c 0.0s | 0 | 57 | 0 | 1765 0 | 4 | 1 0.28/0.37 c #cpu_time = 0.002s 0.28/0.37 c #wall_clock_time = 0.002s 0.28/0.37 c #decision = 57 0.28/0.37 c #random_decision = 0 0.28/0.37 c #conflict = 0 0.28/0.37 c #restart = 0 0.28/0.37 c BCD2: found a new core of size 33: cost of the new core is >=1314 0.28/0.37 c lower bound updated to 16177 0.28/0.39 c BCD2: refineUB: 1671509 -> 1670404 0.28/0.39 c BCD2: 16177 <= obj <= 1670404 0.28/0.39 c BCD2: #cores=12, #unrelaxed=967, #relaxed=69, #hardened=0 0.28/0.39 c BCD2: #sat=1 #unsat=13 bias=13/14 0.28/0.39 c Solving starts ... 0.28/0.39 c ============================[ Search Statistics ]============================ 0.28/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.39 c | | | | Limit GC | Var | Constra 0.28/0.39 c ============================================================================= 0.28/0.39 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 0.28/0.39 c 0.0s | 0 | 56 | 0 | 1765 0 | 4 | 1 0.28/0.39 c #cpu_time = 0.002s 0.28/0.39 c #wall_clock_time = 0.002s 0.28/0.39 c #decision = 56 0.28/0.39 c #random_decision = 0 0.28/0.39 c #conflict = 0 0.28/0.39 c #restart = 0 0.28/0.39 c BCD2: found a new core of size 29: cost of the new core is >=1326 0.28/0.39 c lower bound updated to 17503 0.38/0.40 c BCD2: refineUB: 1671509 -> 1670404 0.38/0.40 c BCD2: 17503 <= obj <= 1670404 0.38/0.40 c BCD2: #cores=13, #unrelaxed=938, #relaxed=98, #hardened=0 0.38/0.40 c BCD2: #sat=1 #unsat=14 bias=14/15 0.38/0.40 c Solving starts ... 0.38/0.40 c ============================[ Search Statistics ]============================ 0.38/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.40 c | | | | Limit GC | Var | Constra 0.38/0.40 c ============================================================================= 0.38/0.40 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 0.38/0.40 c 0.0s | 0 | 74 | 0 | 1765 0 | 4 | 1 0.38/0.40 c #cpu_time = 0.002s 0.38/0.40 c #wall_clock_time = 0.002s 0.38/0.40 c #decision = 74 0.38/0.40 c #random_decision = 0 0.38/0.40 c #conflict = 0 0.38/0.40 c #restart = 0 0.38/0.40 c BCD2: found a new core of size 3: cost of the new core is >=1288 0.38/0.40 c lower bound updated to 18791 0.38/0.42 c BCD2: refineUB: 1671509 -> 1670404 0.38/0.42 c BCD2: 18791 <= obj <= 1670404 0.38/0.42 c BCD2: #cores=14, #unrelaxed=935, #relaxed=101, #hardened=0 0.38/0.42 c BCD2: #sat=1 #unsat=15 bias=15/16 0.38/0.42 c Solving starts ... 0.38/0.42 c ============================[ Search Statistics ]============================ 0.38/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.42 c | | | | Limit GC | Var | Constra 0.38/0.42 c ============================================================================= 0.38/0.42 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 0.38/0.42 c 0.0s | 0 | 89 | 0 | 1765 0 | 4 | 1 0.38/0.42 c #cpu_time = 0.002s 0.38/0.42 c #wall_clock_time = 0.002s 0.38/0.42 c #decision = 89 0.38/0.42 c #random_decision = 0 0.38/0.42 c #conflict = 0 0.38/0.42 c #restart = 0 0.38/0.42 c BCD2: found a new core of size 20: cost of the new core is >=1210 0.38/0.42 c lower bound updated to 20001 0.38/0.44 c BCD2: refineUB: 1671509 -> 1670404 0.38/0.44 c BCD2: 20001 <= obj <= 1670404 0.38/0.44 c BCD2: #cores=15, #unrelaxed=915, #relaxed=121, #hardened=0 0.38/0.44 c BCD2: #sat=1 #unsat=16 bias=16/17 0.38/0.44 c Solving starts ... 0.38/0.44 c ============================[ Search Statistics ]============================ 0.38/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.44 c | | | | Limit GC | Var | Constra 0.38/0.44 c ============================================================================= 0.38/0.44 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 0.38/0.44 c 0.0s | 0 | 76 | 0 | 1765 0 | 4 | 1 0.38/0.44 c #cpu_time = 0.002s 0.38/0.44 c #wall_clock_time = 0.002s 0.38/0.44 c #decision = 76 0.38/0.44 c #random_decision = 0 0.38/0.44 c #conflict = 0 0.38/0.44 c #restart = 0 0.38/0.44 c BCD2: found a new core of size 3: cost of the new core is >=1340 0.38/0.44 c lower bound updated to 21341 0.38/0.46 c BCD2: refineUB: 1671509 -> 1670404 0.38/0.46 c BCD2: 21341 <= obj <= 1670404 0.38/0.46 c BCD2: #cores=16, #unrelaxed=912, #relaxed=124, #hardened=0 0.38/0.46 c BCD2: #sat=1 #unsat=17 bias=17/18 0.38/0.46 c Solving starts ... 0.38/0.46 c ============================[ Search Statistics ]============================ 0.38/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.46 c | | | | Limit GC | Var | Constra 0.38/0.46 c ============================================================================= 0.38/0.46 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 0.38/0.46 c 0.0s | 0 | 111 | 0 | 1765 0 | 4 | 1 0.38/0.46 c #cpu_time = 0.002s 0.38/0.46 c #wall_clock_time = 0.002s 0.38/0.46 c #decision = 111 0.38/0.46 c #random_decision = 0 0.38/0.46 c #conflict = 0 0.38/0.46 c #restart = 0 0.38/0.46 c BCD2: found a new core of size 5: cost of the new core is >=1340 0.38/0.46 c lower bound updated to 22681 0.38/0.47 c BCD2: refineUB: 1671509 -> 1670404 0.38/0.47 c BCD2: 22681 <= obj <= 1670404 0.38/0.47 c BCD2: #cores=17, #unrelaxed=907, #relaxed=129, #hardened=0 0.38/0.47 c BCD2: #sat=1 #unsat=18 bias=18/19 0.38/0.47 c Solving starts ... 0.38/0.47 c ============================[ Search Statistics ]============================ 0.38/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.47 c | | | | Limit GC | Var | Constra 0.38/0.47 c ============================================================================= 0.38/0.47 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 0.38/0.48 c 0.0s | 0 | 112 | 0 | 1765 0 | 4 | 1 0.38/0.48 c #cpu_time = 0.002s 0.38/0.48 c #wall_clock_time = 0.002s 0.38/0.48 c #decision = 112 0.38/0.48 c #random_decision = 0 0.38/0.48 c #conflict = 0 0.38/0.48 c #restart = 0 0.38/0.48 c BCD2: found a new core of size 5: cost of the new core is >=1300 0.38/0.48 c lower bound updated to 23981 0.38/0.49 c BCD2: refineUB: 1671509 -> 1670404 0.38/0.49 c BCD2: 23981 <= obj <= 1670404 0.38/0.49 c BCD2: #cores=18, #unrelaxed=902, #relaxed=134, #hardened=0 0.38/0.49 c BCD2: #sat=1 #unsat=19 bias=19/20 0.38/0.49 c Solving starts ... 0.38/0.49 c ============================[ Search Statistics ]============================ 0.38/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.49 c | | | | Limit GC | Var | Constra 0.38/0.49 c ============================================================================= 0.38/0.49 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 0.38/0.49 c 0.0s | 0 | 156 | 0 | 1765 0 | 4 | 1 0.38/0.49 c #cpu_time = 0.002s 0.38/0.49 c #wall_clock_time = 0.002s 0.38/0.49 c #decision = 156 0.38/0.49 c #random_decision = 0 0.38/0.49 c #conflict = 0 0.38/0.49 c #restart = 0 0.38/0.49 c BCD2: found a new core of size 10: cost of the new core is >=1340 0.38/0.49 c lower bound updated to 25321 0.48/0.51 c BCD2: refineUB: 1671509 -> 1670404 0.48/0.51 c BCD2: 25321 <= obj <= 1670404 0.48/0.51 c BCD2: #cores=19, #unrelaxed=892, #relaxed=144, #hardened=0 0.48/0.51 c BCD2: #sat=1 #unsat=20 bias=20/21 0.48/0.51 c Solving starts ... 0.48/0.51 c ============================[ Search Statistics ]============================ 0.48/0.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.51 c | | | | Limit GC | Var | Constra 0.48/0.51 c ============================================================================= 0.48/0.51 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 0.48/0.51 c 0.0s | 0 | 158 | 0 | 1765 0 | 4 | 1 0.48/0.51 c #cpu_time = 0.002s 0.48/0.51 c #wall_clock_time = 0.002s 0.48/0.51 c #decision = 158 0.48/0.51 c #random_decision = 0 0.48/0.51 c #conflict = 0 0.48/0.51 c #restart = 0 0.48/0.51 c BCD2: found a new core of size 13: cost of the new core is >=1474 0.48/0.51 c lower bound updated to 26795 0.48/0.52 c BCD2: refineUB: 1671509 -> 1670404 0.48/0.52 c BCD2: 26795 <= obj <= 1670404 0.48/0.52 c BCD2: #cores=20, #unrelaxed=879, #relaxed=157, #hardened=0 0.48/0.52 c BCD2: #sat=1 #unsat=21 bias=21/22 0.48/0.52 c Solving starts ... 0.48/0.52 c ============================[ Search Statistics ]============================ 0.48/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.52 c | | | | Limit GC | Var | Constra 0.48/0.52 c ============================================================================= 0.48/0.52 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 0.48/0.53 c 0.0s | 0 | 213 | 0 | 1765 0 | 4 | 1 0.48/0.53 c #cpu_time = 0.002s 0.48/0.53 c #wall_clock_time = 0.002s 0.48/0.53 c #decision = 213 0.48/0.53 c #random_decision = 0 0.48/0.53 c #conflict = 0 0.48/0.53 c #restart = 0 0.48/0.53 c BCD2: found a new core of size 15: cost of the new core is >=1262 0.48/0.53 c lower bound updated to 28057 0.48/0.54 c BCD2: refineUB: 1671509 -> 1670404 0.48/0.54 c BCD2: 28057 <= obj <= 1670404 0.48/0.54 c BCD2: #cores=21, #unrelaxed=864, #relaxed=172, #hardened=0 0.48/0.54 c BCD2: #sat=1 #unsat=22 bias=22/23 0.48/0.54 c Solving starts ... 0.48/0.54 c ============================[ Search Statistics ]============================ 0.48/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.54 c | | | | Limit GC | Var | Constra 0.48/0.54 c ============================================================================= 0.48/0.54 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 0.48/0.54 c 0.0s | 0 | 243 | 0 | 1765 0 | 4 | 1 0.48/0.54 c #cpu_time = 0.002s 0.48/0.54 c #wall_clock_time = 0.002s 0.48/0.54 c #decision = 243 0.48/0.54 c #random_decision = 0 0.48/0.54 c #conflict = 0 0.48/0.54 c #restart = 0 0.48/0.54 c BCD2: found a new core of size 19: cost of the new core is >=1314 0.48/0.54 c lower bound updated to 29371 0.48/0.56 c BCD2: refineUB: 1671509 -> 1670404 0.48/0.56 c BCD2: 29371 <= obj <= 1670404 0.48/0.56 c BCD2: #cores=22, #unrelaxed=845, #relaxed=191, #hardened=0 0.48/0.56 c BCD2: #sat=1 #unsat=23 bias=23/24 0.48/0.56 c Solving starts ... 0.48/0.56 c ============================[ Search Statistics ]============================ 0.48/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.56 c | | | | Limit GC | Var | Constra 0.48/0.56 c ============================================================================= 0.48/0.56 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 0.48/0.56 c 0.0s | 0 | 340 | 0 | 1765 0 | 4 | 1 0.48/0.56 c #cpu_time = 0.003s 0.48/0.56 c #wall_clock_time = 0.003s 0.48/0.56 c #decision = 340 0.48/0.56 c #random_decision = 0 0.48/0.56 c #conflict = 0 0.48/0.56 c #restart = 0 0.48/0.56 c BCD2: found a new core of size 146: cost of the new core is >=1184 0.48/0.56 c lower bound updated to 30555 0.48/0.59 c BCD2: refineUB: 1671509 -> 1670404 0.48/0.59 c BCD2: 30555 <= obj <= 1670404 0.48/0.59 c BCD2: #cores=23, #unrelaxed=699, #relaxed=337, #hardened=0 0.48/0.59 c BCD2: #sat=1 #unsat=24 bias=24/25 0.48/0.59 c Solving starts ... 0.48/0.59 c ============================[ Search Statistics ]============================ 0.48/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.59 c | | | | Limit GC | Var | Constra 0.48/0.59 c ============================================================================= 0.48/0.59 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 0.48/0.60 c 0.0s | 0 | 243 | 0 | 1765 0 | 4 | 1 0.48/0.60 c #cpu_time = 0.002s 0.48/0.60 c #wall_clock_time = 0.002s 0.48/0.60 c #decision = 243 0.48/0.60 c #random_decision = 0 0.48/0.60 c #conflict = 0 0.48/0.60 c #restart = 0 0.48/0.60 c BCD2: found a new core of size 11: cost of the new core is >=1506 0.48/0.60 c lower bound updated to 32061 0.59/0.61 c BCD2: refineUB: 1671509 -> 1670404 0.59/0.61 c BCD2: 32061 <= obj <= 1670404 0.59/0.61 c BCD2: #cores=24, #unrelaxed=688, #relaxed=348, #hardened=0 0.59/0.61 c BCD2: #sat=1 #unsat=25 bias=25/26 0.59/0.61 c Solving starts ... 0.59/0.61 c ============================[ Search Statistics ]============================ 0.59/0.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.61 c | | | | Limit GC | Var | Constra 0.59/0.61 c ============================================================================= 0.59/0.61 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 0.59/0.61 c 0.0s | 0 | 246 | 0 | 1765 0 | 4 | 1 0.59/0.61 c #cpu_time = 0.002s 0.59/0.61 c #wall_clock_time = 0.002s 0.59/0.61 c #decision = 246 0.59/0.61 c #random_decision = 0 0.59/0.61 c #conflict = 0 0.59/0.61 c #restart = 0 0.59/0.61 c BCD2: found a new core of size 7: cost of the new core is >=1653 0.59/0.61 c lower bound updated to 33714 0.59/0.63 c BCD2: refineUB: 1671509 -> 1670404 0.59/0.63 c BCD2: 33714 <= obj <= 1670404 0.59/0.63 c BCD2: #cores=25, #unrelaxed=681, #relaxed=355, #hardened=0 0.59/0.63 c BCD2: #sat=1 #unsat=26 bias=26/27 0.59/0.63 c Solving starts ... 0.59/0.63 c ============================[ Search Statistics ]============================ 0.59/0.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.63 c | | | | Limit GC | Var | Constra 0.59/0.63 c ============================================================================= 0.59/0.63 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 0.59/0.63 c 0.0s | 0 | 434 | 0 | 1765 0 | 4 | 1 0.59/0.63 c #cpu_time = 0.003s 0.59/0.63 c #wall_clock_time = 0.003s 0.59/0.63 c #decision = 434 0.59/0.63 c #random_decision = 0 0.59/0.63 c #conflict = 0 0.59/0.63 c #restart = 0 0.59/0.63 c BCD2: found a new core of size 105: cost of the new core is >=1158 0.59/0.63 c lower bound updated to 34872 0.59/0.65 c BCD2: refineUB: 1671509 -> 1670404 0.59/0.65 c BCD2: 34872 <= obj <= 1670404 0.59/0.65 c BCD2: #cores=26, #unrelaxed=576, #relaxed=460, #hardened=0 0.59/0.65 c BCD2: #sat=1 #unsat=27 bias=27/28 0.59/0.65 c Solving starts ... 0.59/0.65 c ============================[ Search Statistics ]============================ 0.59/0.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.65 c | | | | Limit GC | Var | Constra 0.59/0.65 c ============================================================================= 0.59/0.65 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 0.59/0.65 c 0.0s | 0 | 406 | 0 | 1765 0 | 4 | 1 0.59/0.65 c #cpu_time = 0.003s 0.59/0.65 c #wall_clock_time = 0.003s 0.59/0.65 c #decision = 406 0.59/0.65 c #random_decision = 0 0.59/0.65 c #conflict = 0 0.59/0.65 c #restart = 0 0.59/0.65 c BCD2: found a new core of size 162: cost of the new core is >=1210 0.59/0.65 c lower bound updated to 36082 0.59/0.67 c BCD2: refineUB: 1671509 -> 1670404 0.59/0.67 c BCD2: 36082 <= obj <= 1670404 0.59/0.67 c BCD2: #cores=27, #unrelaxed=414, #relaxed=622, #hardened=0 0.59/0.67 c BCD2: #sat=1 #unsat=28 bias=28/29 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 | 1765 0 | 4 | 1 0.59/0.68 c 0.0s | 0 | 407 | 0 | 1765 0 | 4 | 1 0.59/0.68 c #cpu_time = 0.003s 0.59/0.68 c #wall_clock_time = 0.003s 0.59/0.68 c #decision = 407 0.59/0.68 c #random_decision = 0 0.59/0.68 c #conflict = 0 0.59/0.68 c #restart = 0 0.59/0.68 c BCD2: found a new core of size 78: cost of the new core is >=1132 0.59/0.68 c lower bound updated to 37214 0.59/0.69 c BCD2: refineUB: 1671509 -> 1670404 0.59/0.69 c BCD2: 37214 <= obj <= 1670404 0.59/0.69 c BCD2: #cores=28, #unrelaxed=336, #relaxed=700, #hardened=0 0.59/0.69 c BCD2: #sat=1 #unsat=29 bias=29/30 0.69/0.70 c Solving starts ... 0.69/0.70 c ============================[ Search Statistics ]============================ 0.69/0.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.70 c | | | | Limit GC | Var | Constra 0.69/0.70 c ============================================================================= 0.69/0.70 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 0.69/0.70 c 0.0s | 0 | 1126 | 0 | 1765 0 | 4 | 1 0.69/0.70 c #cpu_time = 0.005s 0.69/0.70 c #wall_clock_time = 0.005s 0.69/0.70 c #decision = 1126 0.69/0.70 c #random_decision = 1 0.69/0.70 c #conflict = 0 0.69/0.70 c #restart = 0 0.69/0.70 o 62916 0.69/0.70 c BCD2: updating upper bound: 1670404 -> 62915 0.69/0.71 c BCD2: 37214 <= obj <= 62915 0.69/0.71 c BCD2: #cores=28, #unrelaxed=336, #relaxed=700, #hardened=0 0.69/0.71 c BCD2: #sat=2 #unsat=29 bias=29/31 6.39/6.42 c Solving starts ... 6.39/6.42 c ============================[ Search Statistics ]============================ 6.39/6.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.39/6.42 c | | | | Limit GC | Var | Constra 6.39/6.42 c ============================================================================= 6.39/6.42 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 1 6.39/6.43 c 0.0s | 0 | 730 | 1 | 1765 0 | 4 | 1 6.39/6.43 c #cpu_time = 0.005s 6.39/6.43 c #wall_clock_time = 0.005s 6.39/6.43 c #decision = 730 6.39/6.43 c #random_decision = 2 6.39/6.43 c #conflict = 1 6.39/6.43 c #restart = 0 6.39/6.43 o 53665 6.39/6.43 c BCD2: updating upper bound: 62915 -> 53664 6.39/6.43 c BCD2: 37214 <= obj <= 53664 6.39/6.43 c BCD2: #cores=28, #unrelaxed=336, #relaxed=700, #hardened=0 6.39/6.43 c BCD2: #sat=3 #unsat=29 bias=29/32 7.89/7.93 c Solving starts ... 7.89/7.93 c ============================[ Search Statistics ]============================ 7.89/7.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.89/7.93 c | | | | Limit GC | Var | Constra 7.89/7.93 c ============================================================================= 7.89/7.93 c 0.0s | 0 | 0 | 0 | 1765 0 | 4 | 2 7.89/7.94 c 0.0s | 0 | 29 | 0 | 1765 0 | 4 | 2 7.89/7.94 c #cpu_time = 0.003s 7.89/7.94 c #wall_clock_time = 0.003s 7.89/7.94 c #decision = 29 7.89/7.94 c #random_decision = 0 7.89/7.94 c #conflict = 0 7.89/7.94 c #restart = 0 7.89/7.94 c BCD2: relaxing 1 and merging with 2 cores into a new core of size 9: cost of the new core is >=2614 7.89/7.94 c BCD2: refineLB: 2603 -> 2614 7.89/7.94 c lower bound updated to 37226 7.89/7.94 c BCD2: 37226 <= obj <= 53664 7.89/7.94 c BCD2: #cores=27, #unrelaxed=335, #relaxed=701, #hardened=0 7.89/7.94 c BCD2: #sat=3 #unsat=30 bias=30/33 9.39/9.43 c Solving starts ... 9.39/9.43 c ============================[ Search Statistics ]============================ 9.39/9.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.39/9.43 c | | | | Limit GC | Var | Constra 9.39/9.43 c ============================================================================= 9.39/9.43 c 0.0s | 0 | 0 | 0 | 1765 0 | 43 | 2 9.39/9.43 c 0.0s | 0 | 59 | 0 | 1765 0 | 43 | 78 9.39/9.43 c #cpu_time = 0.003s 9.39/9.43 c #wall_clock_time = 0.003s 9.39/9.43 c #decision = 59 9.39/9.43 c #random_decision = 0 9.39/9.43 c #conflict = 0 9.39/9.43 c #restart = 0 9.39/9.43 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 17: cost of the new core is >=1314 9.39/9.43 c BCD2: refineLB: 1310 -> 1314 9.39/9.43 c lower bound updated to 37278 9.39/9.43 c BCD2: 37278 <= obj <= 53664 9.39/9.43 c BCD2: #cores=27, #unrelaxed=333, #relaxed=703, #hardened=0 9.39/9.43 c BCD2: #sat=3 #unsat=31 bias=31/34 9.99/10.02 c Solving starts ... 9.99/10.02 c ============================[ Search Statistics ]============================ 9.99/10.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.99/10.02 c | | | | Limit GC | Var | Constra 9.99/10.02 c ============================================================================= 9.99/10.02 c 0.0s | 0 | 0 | 0 | 1765 0 | 53 | 78 9.99/10.03 c 0.0s | 0 | 216 | 0 | 1765 0 | 53 | 97 9.99/10.03 c #cpu_time = 0.004s 9.99/10.03 c #wall_clock_time = 0.004s 9.99/10.03 c #decision = 216 9.99/10.03 c #random_decision = 0 9.99/10.03 c #conflict = 0 9.99/10.03 c #restart = 0 9.99/10.03 c BCD2: relaxing 13 and merging with 2 cores into a new core of size 192: cost of the new core is >=2542 9.99/10.03 c BCD2: refineLB: 2525 -> 2542 9.99/10.03 c lower bound updated to 37296 9.99/10.03 c BCD2: 37296 <= obj <= 53664 9.99/10.03 c BCD2: #cores=26, #unrelaxed=320, #relaxed=716, #hardened=0 9.99/10.03 c BCD2: #sat=3 #unsat=32 bias=32/35 11.19/11.21 c Solving starts ... 11.19/11.21 c ============================[ Search Statistics ]============================ 11.19/11.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.19/11.21 c | | | | Limit GC | Var | Constra 11.19/11.21 c ============================================================================= 11.19/11.21 c 0.0s | 0 | 0 | 0 | 1765 0 | 59 | 97 11.19/11.24 c 0.0s | 0 | 4696 | 49 | 1765 0 | 59 | 108 11.19/11.24 c #cpu_time = 0.033s 11.19/11.24 c #wall_clock_time = 0.033s 11.19/11.24 c #decision = 4696 11.19/11.24 c #random_decision = 3 11.19/11.24 c #conflict = 49 11.19/11.24 c #restart = 0 11.19/11.24 c BCD2: relaxing 7 and merging with 4 cores into a new core of size 228: cost of the new core is >=6544 11.19/11.24 c lower bound updated to 37408 11.19/11.24 c BCD2: 37408 <= obj <= 53664 11.19/11.24 c BCD2: #cores=23, #unrelaxed=313, #relaxed=723, #hardened=0 11.19/11.24 c BCD2: #sat=3 #unsat=33 bias=33/36 11.79/11.89 c Solving starts ... 11.79/11.89 c ============================[ Search Statistics ]============================ 11.79/11.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.79/11.89 c | | | | Limit GC | Var | Constra 11.79/11.89 c ============================================================================= 11.79/11.89 c 0.0s | 0 | 0 | 0 | 1765 0 | 120 | 108 11.89/11.91 c 0.0s | 0 | 752 | 35 | 1765 0 | 120 | 233 11.89/11.91 c #cpu_time = 0.016s 11.89/11.91 c #wall_clock_time = 0.016s 11.89/11.91 c #decision = 752 11.89/11.91 c #random_decision = 0 11.89/11.91 c #conflict = 35 11.89/11.91 c #restart = 0 11.89/11.91 c BCD2: relaxing 104 and merging with 3 cores into a new core of size 433: cost of the new core is >=3770 11.89/11.91 c lower bound updated to 37704 11.89/11.91 c BCD2: 37704 <= obj <= 53664 11.89/11.91 c BCD2: #cores=21, #unrelaxed=209, #relaxed=827, #hardened=0 11.89/11.91 c BCD2: #sat=3 #unsat=34 bias=34/37 11.99/12.03 c Solving starts ... 11.99/12.03 c ============================[ Search Statistics ]============================ 11.99/12.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.99/12.03 c | | | | Limit GC | Var | Constra 11.99/12.03 c ============================================================================= 11.99/12.03 c 0.0s | 0 | 0 | 0 | 1765 0 | 147 | 233 12.09/12.11 c 0.1s | 1 | 2749 | 100 | 1942 0 | 147 | 295 12.19/12.25 c 0.2s | 2 | 6325 | 250 | 2137 0 | 147 | 295 12.39/12.46 c 0.4s | 3 | 8334 | 475 | 2351 0 | 147 | 295 12.79/12.83 c 0.8s | 4 | 14233 | 813 | 2587 0 | 147 | 295 13.29/13.36 c 1.3s | 5 | 21785 | 1320 | 2846 0 | 147 | 295 13.99/14.00 c 2.0s | 6 | 26614 | 2081 | 3131 0 | 147 | 295 14.79/14.85 c 2.8s | 7 | 35654 | 3223 | 3445 0 | 147 | 295 16.19/16.24 c 4.2s | 8 | 49072 | 4936 | 3790 1 | 147 | 295 18.29/18.30 c 6.3s | 8 | 70274 | 7436 | 4169 2 | 147 | 295 18.29/18.36 c 6.3s | 9 | 70903 | 7506 | 4169 2 | 147 | 295 20.38/20.43 c 8.4s | 9 | 92389 | 9806 | 4169 2 | 147 | 295 21.88/22.00 c 10.0s | 10 | 105307 | 11361 | 4586 3 | 147 | 295 23.98/24.01 c 12.0s | 10 | 124660 | 13461 | 4586 3 | 147 | 295 25.98/26.07 c 14.0s | 10 | 141062 | 15861 | 4586 4 | 147 | 295 27.28/27.33 c 15.3s | 11 | 151775 | 17144 | 5045 5 | 147 | 295 29.28/29.39 c 17.4s | 11 | 167075 | 19344 | 5045 5 | 147 | 295 31.38/31.43 c 19.4s | 11 | 189478 | 21344 | 5045 6 | 147 | 295 33.38/33.44 c 21.4s | 11 | 204921 | 23144 | 5045 7 | 147 | 295 35.38/35.45 c 23.4s | 11 | 222784 | 25244 | 5045 7 | 147 | 295 35.98/36.02 c 24.0s | 12 | 227229 | 25819 | 5550 7 | 147 | 295 37.98/38.02 c 26.0s | 12 | 261799 | 27919 | 5550 8 | 147 | 295 39.98/40.06 c 28.0s | 12 | 292628 | 30019 | 5550 9 | 147 | 295 42.08/42.13 c 30.1s | 12 | 318564 | 32319 | 5550 9 | 147 | 295 44.09/44.18 c 32.2s | 12 | 341097 | 34519 | 5550 10 | 147 | 295 46.19/46.22 c 34.2s | 12 | 360449 | 36619 | 5550 11 | 147 | 295 48.28/48.32 c 36.3s | 12 | 385689 | 38519 | 6106 11 | 147 | 295 48.58/48.65 c 36.6s | 13 | 388379 | 38832 | 6106 11 | 147 | 295 50.59/50.65 c 38.6s | 13 | 408196 | 40832 | 6106 12 | 147 | 295 52.58/52.67 c 40.6s | 13 | 423340 | 42832 | 6106 12 | 147 | 295 54.68/54.73 c 42.7s | 13 | 443964 | 44732 | 6106 13 | 147 | 295 56.68/56.76 c 44.7s | 13 | 459763 | 46632 | 6106 13 | 147 | 295 58.78/58.87 c 46.8s | 13 | 471824 | 48432 | 6106 14 | 147 | 295 60.88/60.94 c 48.9s | 13 | 487306 | 50332 | 6106 14 | 147 | 295 62.88/62.94 c 50.9s | 13 | 509917 | 52232 | 6106 15 | 147 | 295 64.88/64.97 c 52.9s | 13 | 530499 | 54332 | 6106 15 | 147 | 295 66.98/67.00 c 55.0s | 13 | 548531 | 56432 | 6106 16 | 147 | 295 68.98/69.01 c 57.0s | 13 | 567086 | 58332 | 6717 16 | 147 | 295 68.98/69.04 c 57.0s | 14 | 567781 | 58352 | 6717 16 | 147 | 295 70.98/71.08 c 59.0s | 14 | 582827 | 60352 | 6717 17 | 147 | 295 73.08/73.15 c 61.1s | 14 | 593179 | 62652 | 6717 17 | 147 | 295 75.18/75.23 c 63.2s | 14 | 604770 | 64852 | 6717 18 | 147 | 295 77.28/77.33 c 65.3s | 14 | 616138 | 66852 | 6717 18 | 147 | 295 79.28/79.33 c 67.3s | 14 | 628175 | 68952 | 6717 19 | 147 | 295 80.38/80.45 c 68.4s | 14 | 638047 | 70052 | 6717 19 | 147 | 295 80.38/80.45 c #cpu_time = 68.425s 80.38/80.45 c #wall_clock_time = 68.426s 80.38/80.45 c #decision = 638047 80.38/80.45 c #random_decision = 1656 80.38/80.45 c #conflict = 70052 80.38/80.45 c #restart = 14 80.38/80.45 o 47540 80.38/80.45 c BCD2: updating upper bound: 53664 -> 47539 80.38/80.46 c BCD2: 37704 <= obj <= 47539 80.38/80.46 c BCD2: #cores=21, #unrelaxed=209, #relaxed=827, #hardened=0 80.38/80.46 c BCD2: #sat=4 #unsat=34 bias=34/38 80.47/80.58 c Solving starts ... 80.47/80.58 c ============================[ Search Statistics ]============================ 80.47/80.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 80.47/80.58 c | | | | Limit GC | Var | Constra 80.47/80.58 c ============================================================================= 80.47/80.58 c 0.0s | 0 | 0 | 0 | 6717 0 | 147 | 296 80.57/80.60 c 0.0s | 0 | 21 | 0 | 6717 0 | 147 | 296 80.57/80.60 c #cpu_time = 0.017s 80.57/80.60 c #wall_clock_time = 0.017s 80.57/80.60 c #decision = 21 80.57/80.60 c #random_decision = 0 80.57/80.60 c #conflict = 0 80.57/80.60 c #restart = 0 80.57/80.60 c BCD2: relaxing 1 and merging with 3 cores into a new core of size 20: cost of the new core is >=5248 80.57/80.60 c BCD2: refineLB: 5243 -> 5248 80.57/80.60 c lower bound updated to 37710 80.57/80.60 c BCD2: 37710 <= obj <= 47539 80.57/80.60 c BCD2: #cores=19, #unrelaxed=208, #relaxed=828, #hardened=0 80.57/80.60 c BCD2: #sat=4 #unsat=35 bias=35/39 80.67/80.72 c Solving starts ... 80.67/80.72 c ============================[ Search Statistics ]============================ 80.67/80.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 80.67/80.72 c | | | | Limit GC | Var | Constra 80.67/80.72 c ============================================================================= 80.67/80.72 c 0.0s | 0 | 0 | 0 | 6717 0 | 196 | 296 80.77/80.85 c 0.1s | 1 | 2666 | 100 | 6717 0 | 196 | 397 80.97/81.04 c 0.3s | 2 | 6027 | 250 | 6717 1 | 196 | 397 81.17/81.25 c 0.5s | 3 | 9084 | 475 | 6717 1 | 196 | 397 81.48/81.56 c 0.8s | 4 | 13171 | 813 | 6717 1 | 196 | 397 81.97/82.01 c 1.3s | 5 | 19019 | 1320 | 6717 1 | 196 | 397 82.67/82.77 c 2.0s | 6 | 25000 | 2081 | 6717 1 | 196 | 397 84.17/84.26 c 3.5s | 7 | 36854 | 3223 | 6717 1 | 196 | 397 86.07/86.11 c 5.4s | 8 | 51364 | 4936 | 6717 2 | 196 | 397 88.08/88.12 c 7.4s | 8 | 69510 | 6836 | 6717 2 | 196 | 397 88.87/88.97 c 8.2s | 9 | 78270 | 7506 | 6717 2 | 196 | 397 90.97/91.00 c 10.3s | 9 | 93028 | 9206 | 6717 3 | 196 | 397 92.97/93.09 c 12.4s | 9 | 108756 | 11106 | 6717 3 | 196 | 397 93.27/93.33 c 12.6s | 10 | 110266 | 11361 | 6717 3 | 196 | 397 95.37/95.44 c 14.7s | 10 | 128536 | 13061 | 6717 4 | 196 | 397 97.37/97.49 c 16.8s | 10 | 143074 | 14861 | 6717 4 | 196 | 397 99.47/99.51 c 18.8s | 10 | 154783 | 16503 | 6717 5 | 196 | 397 99.47/99.51 c #cpu_time = 18.783s 99.47/99.51 c #wall_clock_time = 18.783s 99.47/99.51 c #decision = 154783 99.47/99.51 c #random_decision = 418 99.47/99.51 c #conflict = 16503 99.47/99.51 c #restart = 10 99.47/99.51 c BCD2: relaxing 123 and merging with 4 cores into a new core of size 602: cost of the new core is >=8160 99.47/99.51 c lower bound updated to 37781 99.47/99.51 c BCD2: 37781 <= obj <= 47539 99.47/99.51 c BCD2: #cores=16, #unrelaxed=85, #relaxed=951, #hardened=0 99.47/99.51 c BCD2: #sat=4 #unsat=36 bias=36/40 99.57/99.64 c Solving starts ... 99.57/99.64 c ============================[ Search Statistics ]============================ 99.57/99.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 99.57/99.64 c | | | | Limit GC | Var | Constra 99.57/99.64 c ============================================================================= 99.57/99.64 c 0.0s | 0 | 0 | 0 | 6717 0 | 249 | 397 99.77/99.83 c 0.2s | 1 | 2054 | 100 | 6717 0 | 249 | 511 99.87/99.97 c 0.3s | 2 | 3382 | 250 | 6717 0 | 249 | 511 100.08/100.16 c 0.5s | 3 | 5634 | 475 | 7389 0 | 249 | 511 100.57/100.65 c 1.0s | 4 | 12261 | 813 | 7389 0 | 249 | 511 101.07/101.20 c 1.6s | 5 | 20179 | 1320 | 7389 0 | 249 | 511 101.87/101.99 c 2.4s | 6 | 29790 | 2081 | 7389 0 | 249 | 511 103.07/103.17 c 3.5s | 7 | 40056 | 3223 | 7389 0 | 249 | 511 105.07/105.13 c 5.5s | 8 | 56350 | 4936 | 7389 0 | 249 | 511 107.07/107.18 c 7.5s | 8 | 80111 | 6536 | 7389 0 | 249 | 511 108.27/108.32 c 8.7s | 9 | 88936 | 7506 | 7389 0 | 249 | 511 110.27/110.33 c 10.7s | 9 | 104609 | 9306 | 7389 1 | 249 | 511 112.27/112.38 c 12.7s | 9 | 111053 | 11306 | 7389 1 | 249 | 511 112.37/112.42 c 12.8s | 10 | 111126 | 11361 | 7389 1 | 249 | 511 114.37/114.50 c 14.9s | 10 | 120853 | 13061 | 7389 2 | 249 | 511 116.47/116.60 c 17.0s | 10 | 129101 | 14561 | 7389 2 | 249 | 511 118.57/118.65 c 19.0s | 10 | 145171 | 16061 | 7389 2 | 249 | 511 120.27/120.30 c 20.7s | 11 | 163546 | 17144 | 7389 3 | 249 | 511 122.27/122.36 c 22.7s | 11 | 179256 | 18744 | 7389 3 | 249 | 511 124.37/124.48 c 24.8s | 11 | 194553 | 20144 | 7389 3 | 249 | 511 126.47/126.54 c 26.9s | 11 | 214830 | 21744 | 7389 4 | 249 | 511 128.47/128.59 c 29.0s | 11 | 233785 | 23344 | 7389 4 | 249 | 511 130.57/130.60 c 31.0s | 11 | 246151 | 24944 | 7389 5 | 249 | 511 131.67/131.70 c 32.1s | 12 | 254379 | 25819 | 7389 5 | 249 | 511 133.66/133.78 c 34.1s | 12 | 272104 | 27419 | 7389 5 | 249 | 511 135.77/135.80 c 36.2s | 12 | 288129 | 28919 | 7389 6 | 249 | 511 137.77/137.86 c 38.2s | 12 | 300839 | 30419 | 7389 6 | 249 | 511 139.86/139.94 c 40.3s | 12 | 318267 | 31819 | 7389 6 | 249 | 511 141.97/142.02 c 42.4s | 12 | 338334 | 33419 | 7389 7 | 249 | 511 143.96/144.07 c 44.4s | 12 | 357605 | 34719 | 7389 7 | 249 | 511 146.06/146.16 c 46.5s | 12 | 376776 | 36319 | 7389 7 | 249 | 511 148.06/148.18 c 48.5s | 12 | 392164 | 37719 | 7389 8 | 249 | 511 149.46/149.57 c 49.9s | 13 | 400924 | 38832 | 7389 8 | 249 | 511 151.56/151.68 c 52.0s | 13 | 419834 | 40432 | 7389 8 | 249 | 511 153.56/153.68 c 54.0s | 13 | 439366 | 41932 | 7389 9 | 249 | 511 155.66/155.79 c 56.2s | 13 | 453631 | 43432 | 7389 9 | 249 | 511 157.76/157.85 c 58.2s | 13 | 468784 | 44932 | 8128 9 | 249 | 511 159.76/159.88 c 60.2s | 13 | 488540 | 46332 | 8128 10 | 249 | 511 161.96/162.04 c 62.4s | 13 | 506311 | 48032 | 8128 10 | 249 | 511 164.06/164.11 c 64.5s | 13 | 523375 | 49732 | 8128 10 | 249 | 511 166.07/166.20 c 66.6s | 13 | 539156 | 51432 | 8128 11 | 249 | 511 168.16/168.23 c 68.6s | 13 | 555046 | 52932 | 8128 11 | 249 | 511 170.16/170.23 c 70.6s | 13 | 567430 | 54532 | 8128 11 | 249 | 511 172.26/172.36 c 72.7s | 13 | 580238 | 55932 | 8128 12 | 249 | 511 174.36/174.40 c 74.8s | 13 | 593116 | 57432 | 8128 12 | 249 | 511 175.56/175.61 c 76.0s | 14 | 600633 | 58352 | 8128 12 | 249 | 511 177.57/177.66 c 78.0s | 14 | 608898 | 59352 | 8128 13 | 249 | 511 179.67/179.74 c 80.1s | 14 | 623178 | 60652 | 8128 13 | 249 | 511 181.67/181.77 c 82.1s | 14 | 640148 | 62052 | 8128 13 | 249 | 511 183.77/183.84 c 84.2s | 14 | 652170 | 63352 | 8128 13 | 249 | 511 185.77/185.89 c 86.2s | 14 | 664438 | 64752 | 8128 14 | 249 | 511 187.87/187.99 c 88.4s | 14 | 675313 | 66152 | 8128 14 | 249 | 511 189.97/190.09 c 90.5s | 14 | 686865 | 67552 | 8128 14 | 249 | 511 192.06/192.14 c 92.5s | 14 | 694124 | 69052 | 8128 15 | 249 | 511 194.16/194.21 c 94.6s | 14 | 700764 | 70552 | 8128 15 | 249 | 511 196.26/196.32 c 96.7s | 14 | 706972 | 72052 | 8128 15 | 249 | 511 198.36/198.41 c 98.8s | 14 | 721232 | 73452 | 8128 16 | 249 | 511 200.36/200.43 c 100s | 14 | 728338 | 74852 | 8128 16 | 249 | 511 202.37/202.44 c 102s | 14 | 739527 | 76152 | 8128 16 | 249 | 511 204.46/204.50 c 104s | 14 | 750092 | 77552 | 8128 17 | 249 | 511 206.56/206.62 c 106s | 14 | 762411 | 79052 | 8128 17 | 249 | 511 208.66/208.75 c 109s | 14 | 779275 | 80452 | 8128 17 | 249 | 511 210.76/210.80 c 111s | 14 | 788490 | 81952 | 8128 18 | 249 | 511 212.76/212.88 c 113s | 14 | 798127 | 83352 | 8128 18 | 249 | 511 214.86/214.91 c 115s | 14 | 810751 | 84852 | 8128 18 | 249 | 511 216.86/216.91 c 117s | 14 | 823371 | 86452 | 8128 19 | 249 | 511 218.26/218.39 c 118s | 15 | 831736 | 87632 | 8128 19 | 249 | 511 220.36/220.43 c 120s | 15 | 843643 | 89032 | 8128 19 | 249 | 511 222.46/222.51 c 122s | 15 | 856853 | 90532 | 8128 19 | 249 | 511 224.46/224.59 c 124s | 15 | 865079 | 92032 | 8128 20 | 249 | 511 226.46/226.60 c 126s | 15 | 873537 | 93332 | 8128 20 | 249 | 511 228.56/228.67 c 129s | 15 | 886303 | 94732 | 8128 20 | 249 | 511 230.76/230.83 c 131s | 15 | 899468 | 96232 | 8128 21 | 249 | 511 232.76/232.83 c 133s | 15 | 909123 | 97732 | 8128 21 | 249 | 511 234.86/234.92 c 135s | 15 | 916756 | 99132 | 8128 21 | 249 | 511 236.86/236.97 c 137s | 15 | 924161 | 100532 | 8128 22 | 249 | 511 238.85/238.98 c 139s | 15 | 933801 | 101932 | 8128 22 | 249 | 511 241.05/241.10 c 141s | 15 | 952842 | 103532 | 8128 22 | 249 | 511 243.06/243.19 c 143s | 15 | 974325 | 105232 | 8128 23 | 249 | 511 245.15/245.20 c 145s | 15 | 1000882 | 106832 | 8128 23 | 249 | 511 247.25/247.31 c 147s | 15 | 1016397 | 108232 | 8128 23 | 249 | 511 249.35/249.45 c 149s | 15 | 1029300 | 109632 | 8941 24 | 249 | 511 251.45/251.50 c 151s | 15 | 1044845 | 110932 | 8941 24 | 249 | 511 253.45/253.52 c 153s | 15 | 1050937 | 112532 | 8941 24 | 249 | 511 255.55/255.63 c 155s | 15 | 1057346 | 113832 | 8941 25 | 249 | 511 257.55/257.66 c 158s | 15 | 1070453 | 115132 | 8941 25 | 249 | 511 259.66/259.77 c 160s | 15 | 1078152 | 116632 | 8941 25 | 249 | 511 261.76/261.83 c 162s | 15 | 1088242 | 118132 | 8941 25 | 249 | 511 263.75/263.88 c 164s | 15 | 1102043 | 119532 | 8941 26 | 249 | 511 265.95/266.00 c 166s | 15 | 1110175 | 121032 | 8941 26 | 249 | 511 267.95/268.07 c 168s | 15 | 1115070 | 122432 | 8941 26 | 249 | 511 270.15/270.21 c 170s | 15 | 1126881 | 123932 | 8941 27 | 249 | 511 272.15/272.23 c 172s | 15 | 1139013 | 125532 | 8941 27 | 249 | 511 274.15/274.28 c 174s | 15 | 1149273 | 126932 | 8941 27 | 249 | 511 276.25/276.30 c 176s | 15 | 1158632 | 128132 | 8941 27 | 249 | 511 278.25/278.34 c 178s | 15 | 1169210 | 129432 | 8941 28 | 249 | 511 280.35/280.44 c 180s | 15 | 1181524 | 130932 | 8941 28 | 249 | 511 281.25/281.33 c 181s | 16 | 1186066 | 131552 | 8941 28 | 249 | 511 283.24/283.37 c 183s | 16 | 1196520 | 132752 | 8941 28 | 249 | 511 285.24/285.39 c 185s | 16 | 1208477 | 134152 | 8941 29 | 249 | 511 287.34/287.40 c 187s | 16 | 1218551 | 135552 | 8941 29 | 249 | 511 289.35/289.45 c 189s | 16 | 1231539 | 136952 | 8941 29 | 249 | 511 291.34/291.47 c 191s | 16 | 1250261 | 138452 | 8941 30 | 249 | 511 293.34/293.49 c 193s | 16 | 1263278 | 139952 | 8941 30 | 249 | 511 295.44/295.57 c 195s | 16 | 1279666 | 141452 | 8941 30 | 249 | 511 297.54/297.67 c 198s | 16 | 1292110 | 142952 | 8941 31 | 249 | 511 299.64/299.71 c 200s | 16 | 1302519 | 144352 | 8941 31 | 249 | 511 301.74/301.80 c 202s | 16 | 1309650 | 145852 | 8941 31 | 249 | 511 303.74/303.81 c 204s | 16 | 1323792 | 147152 | 8941 31 | 249 | 511 305.75/305.85 c 206s | 16 | 1335650 | 148452 | 8941 32 | 249 | 511 307.74/307.89 c 208s | 16 | 1344087 | 149852 | 8941 32 | 249 | 511 309.94/310.02 c 210s | 16 | 1356410 | 151352 | 8941 32 | 249 | 511 312.04/312.16 c 212s | 16 | 1374268 | 152752 | 8941 33 | 249 | 511 314.14/314.24 c 214s | 16 | 1390512 | 154152 | 8941 33 | 249 | 511 316.24/316.31 c 216s | 16 | 1406357 | 155552 | 8941 33 | 249 | 511 318.24/318.33 c 218s | 16 | 1418053 | 156952 | 8941 33 | 249 | 511 320.24/320.33 c 220s | 16 | 1426788 | 158352 | 8941 34 | 249 | 511 322.44/322.51 c 222s | 16 | 1435930 | 159852 | 8941 34 | 249 | 511 324.44/324.57 c 224s | 16 | 1450389 | 161152 | 8941 34 | 249 | 511 326.54/326.63 c 226s | 16 | 1467061 | 162552 | 8941 35 | 249 | 511 328.64/328.72 c 229s | 16 | 1483425 | 164352 | 8941 35 | 249 | 511 330.74/330.83 c 231s | 16 | 1503633 | 166052 | 8941 35 | 249 | 511 332.74/332.85 c 233s | 16 | 1520147 | 167452 | 8941 36 | 249 | 511 334.83/334.92 c 235s | 16 | 1540630 | 169052 | 8941 36 | 249 | 511 337.03/337.11 c 237s | 16 | 1562714 | 170652 | 8941 36 | 249 | 511 339.13/339.25 c 239s | 16 | 1575081 | 172152 | 8941 36 | 249 | 511 341.33/341.45 c 241s | 16 | 1586172 | 173652 | 8941 37 | 249 | 511 343.43/343.56 c 243s | 16 | 1597533 | 175152 | 8941 37 | 249 | 511 345.63/345.71 c 246s | 16 | 1611844 | 176552 | 8941 37 | 249 | 511 347.64/347.79 c 248s | 16 | 1624013 | 178052 | 8941 38 | 249 | 511 349.84/349.92 c 250s | 16 | 1635463 | 179452 | 8941 38 | 249 | 511 351.94/352.06 c 252s | 16 | 1644395 | 180952 | 8941 38 | 249 | 511 354.14/354.22 c 254s | 16 | 1659937 | 182352 | 8941 39 | 249 | 511 356.23/356.36 c 256s | 16 | 1671227 | 183752 | 8941 39 | 249 | 511 358.43/358.52 c 258s | 16 | 1685930 | 185152 | 8941 39 | 249 | 511 360.53/360.65 c 261s | 16 | 1695361 | 186552 | 8941 39 | 249 | 511 362.53/362.68 c 263s | 16 | 1706240 | 187952 | 8941 40 | 249 | 511 364.73/364.82 c 265s | 16 | 1718711 | 189452 | 8941 40 | 249 | 511 366.73/366.88 c 267s | 16 | 1730702 | 190952 | 8941 40 | 249 | 511 368.73/368.89 c 269s | 16 | 1735303 | 192452 | 8941 41 | 249 | 511 370.93/371.02 c 271s | 16 | 1741493 | 193952 | 8941 41 | 249 | 511 372.94/373.09 c 273s | 16 | 1746114 | 195452 | 8941 41 | 249 | 511 375.04/375.19 c 275s | 16 | 1755492 | 196752 | 8941 42 | 249 | 511 376.03/376.17 c 276s | 17 | 1760762 | 197432 | 8941 42 | 249 | 511 378.13/378.24 c 278s | 17 | 1771959 | 198832 | 8941 42 | 249 | 511 380.23/380.31 c 280s | 17 | 1777086 | 200232 | 8941 42 | 249 | 511 382.23/382.32 c 282s | 17 | 1789033 | 201532 | 8941 43 | 249 | 511 384.23/384.35 c 284s | 17 | 1806657 | 202932 | 8941 43 | 249 | 511 386.33/386.42 c 286s | 17 | 1819539 | 204432 | 8941 43 | 249 | 511 388.43/388.55 c 288s | 17 | 1830969 | 205932 | 8941 43 | 249 | 511 390.53/390.68 c 291s | 17 | 1841635 | 207332 | 8941 44 | 249 | 511 392.63/392.75 c 293s | 17 | 1848496 | 208632 | 9836 44 | 249 | 511 394.63/394.79 c 295s | 17 | 1855081 | 210032 | 9836 44 | 249 | 511 396.72/396.86 c 297s | 17 | 1859504 | 211332 | 9836 44 | 249 | 511 398.82/398.96 c 299s | 17 | 1869379 | 212532 | 9836 45 | 249 | 511 400.82/400.98 c 301s | 17 | 1883955 | 214132 | 9836 45 | 249 | 511 403.02/403.14 c 303s | 17 | 1899537 | 215732 | 9836 45 | 249 | 511 405.12/405.21 c 305s | 17 | 1913084 | 217132 | 9836 45 | 249 | 511 407.12/407.22 c 307s | 17 | 1923510 | 218332 | 9836 46 | 249 | 511 409.23/409.35 c 309s | 17 | 1930817 | 220032 | 9836 46 | 249 | 511 411.34/411.49 c 311s | 17 | 1939988 | 221632 | 9836 46 | 249 | 511 413.43/413.54 c 313s | 17 | 1945195 | 222932 | 9836 47 | 249 | 511 415.53/415.62 c 315s | 17 | 1959972 | 224432 | 9836 47 | 249 | 511 417.63/417.74 c 318s | 17 | 1979893 | 226132 | 9836 47 | 249 | 511 419.73/419.82 c 320s | 17 | 1992443 | 227632 | 9836 47 | 249 | 511 421.73/421.88 c 322s | 17 | 2001423 | 228532 | 9836 48 | 249 | 511 423.83/423.91 c 324s | 17 | 2016484 | 230032 | 9836 48 | 249 | 511 425.83/425.91 c 326s | 17 | 2032921 | 231432 | 9836 48 | 249 | 511 427.83/427.96 c 328s | 17 | 2051169 | 233032 | 9836 48 | 249 | 511 429.93/430.07 c 330s | 17 | 2061867 | 234532 | 9836 49 | 249 | 511 432.13/432.21 c 332s | 17 | 2072329 | 235932 | 9836 49 | 249 | 511 434.13/434.23 c 334s | 17 | 2082171 | 237232 | 9836 49 | 249 | 511 436.13/436.28 c 336s | 17 | 2097424 | 238532 | 9836 49 | 249 | 511 438.23/438.33 c 338s | 17 | 2114877 | 240032 | 9836 50 | 249 | 511 440.23/440.38 c 340s | 17 | 2137048 | 241732 | 9836 50 | 249 | 511 442.32/442.49 c 342s | 17 | 2151677 | 243332 | 9836 50 | 249 | 511 444.43/444.58 c 344s | 17 | 2160758 | 244832 | 9836 51 | 249 | 511 446.63/446.72 c 347s | 17 | 2174373 | 246232 | 9836 51 | 249 | 511 448.62/448.74 c 349s | 17 | 2190743 | 247532 | 9836 51 | 249 | 511 450.62/450.78 c 351s | 17 | 2208155 | 248932 | 9836 51 | 249 | 511 452.72/452.86 c 353s | 17 | 2226755 | 250332 | 9836 52 | 249 | 511 454.82/454.98 c 355s | 17 | 2243619 | 252032 | 9836 52 | 249 | 511 456.92/457.02 c 357s | 17 | 2251850 | 253532 | 9836 52 | 249 | 511 459.02/459.12 c 359s | 17 | 2275295 | 255032 | 9836 53 | 249 | 511 461.12/461.23 c 361s | 17 | 2289660 | 256532 | 9836 53 | 249 | 511 463.13/463.28 c 363s | 17 | 2310982 | 258232 | 9836 53 | 249 | 511 465.23/465.31 c 365s | 17 | 2332959 | 259732 | 9836 53 | 249 | 511 467.22/467.39 c 367s | 17 | 2343557 | 261132 | 9836 54 | 249 | 511 469.32/469.40 c 369s | 17 | 2358711 | 262432 | 9836 54 | 249 | 511 471.42/471.52 c 371s | 17 | 2374786 | 263932 | 9836 54 | 249 | 511 473.52/473.62 c 373s | 17 | 2390245 | 265532 | 9836 55 | 249 | 511 475.62/475.71 c 376s | 17 | 2413005 | 267232 | 9836 55 | 249 | 511 477.62/477.77 c 378s | 17 | 2421646 | 268632 | 9836 55 | 249 | 511 479.63/479.78 c 380s | 17 | 2438637 | 270132 | 9836 55 | 249 | 511 481.73/481.84 c 382s | 17 | 2455537 | 271732 | 9836 56 | 249 | 511 483.82/483.91 c 384s | 17 | 2471142 | 273132 | 9836 56 | 249 | 511 485.92/486.07 c 386s | 17 | 2478095 | 273932 | 9836 56 | 249 | 511 488.01/488.13 c 388s | 17 | 2488136 | 275332 | 9836 56 | 249 | 511 490.01/490.17 c 390s | 17 | 2500326 | 276732 | 9836 57 | 249 | 511 492.11/492.23 c 392s | 17 | 2509709 | 278032 | 9836 57 | 249 | 511 494.11/494.26 c 394s | 17 | 2518514 | 279332 | 9836 57 | 249 | 511 496.31/496.41 c 396s | 17 | 2530844 | 280832 | 9836 57 | 249 | 511 498.32/498.48 c 398s | 17 | 2542600 | 282332 | 9836 58 | 249 | 511 500.42/500.53 c 400s | 17 | 2554857 | 283832 | 9836 58 | 249 | 511 502.51/502.64 c 403s | 17 | 2569861 | 285332 | 9836 58 | 249 | 511 504.61/504.74 c 405s | 17 | 2583120 | 286832 | 9836 59 | 249 | 511 506.71/506.82 c 407s | 17 | 2593138 | 288232 | 9836 59 | 249 | 511 508.71/508.84 c 409s | 17 | 2602469 | 289632 | 9836 59 | 249 | 511 510.71/510.85 c 411s | 17 | 2612060 | 290832 | 9836 59 | 249 | 511 512.71/512.88 c 413s | 17 | 2628330 | 292032 | 9836 60 | 249 | 511 514.91/515.02 c 415s | 17 | 2641750 | 293432 | 9836 60 | 249 | 511 516.92/517.02 c 417s | 17 | 2650788 | 294732 | 9836 60 | 249 | 511 518.91/519.03 c 419s | 17 | 2657389 | 296132 | 9836 60 | 249 | 511 519.01/519.19 c 419s | 18 | 2657746 | 296252 | 9836 60 | 249 | 511 521.21/521.30 c 421s | 18 | 2666265 | 297652 | 9836 61 | 249 | 511 523.21/523.39 c 423s | 18 | 2680971 | 299252 | 9836 61 | 249 | 511 525.41/525.51 c 425s | 18 | 2695581 | 300652 | 9836 61 | 249 | 511 527.41/527.58 c 427s | 18 | 2710031 | 302052 | 9836 61 | 249 | 511 529.51/529.65 c 430s | 18 | 2723814 | 303452 | 9836 62 | 249 | 511 531.61/531.76 c 432s | 18 | 2736182 | 305052 | 9836 62 | 249 | 511 533.70/533.86 c 434s | 18 | 2747989 | 306552 | 9836 62 | 249 | 511 535.80/535.96 c 436s | 18 | 2756969 | 307952 | 9836 63 | 249 | 511 537.91/538.02 c 438s | 18 | 2765677 | 309452 | 9836 63 | 249 | 511 539.90/540.02 c 440s | 18 | 2771964 | 310852 | 9836 63 | 249 | 511 542.00/542.12 c 442s | 18 | 2784341 | 312252 | 9836 63 | 249 | 511 544.00/544.18 c 444s | 18 | 2792726 | 313652 | 9836 64 | 249 | 511 546.10/546.27 c 446s | 18 | 2797980 | 315152 | 9836 64 | 249 | 511 548.30/548.43 c 448s | 18 | 2804286 | 316552 | 9836 64 | 249 | 511 550.40/550.53 c 450s | 18 | 2815663 | 317752 | 9836 64 | 249 | 511 552.50/552.60 c 452s | 18 | 2827564 | 319252 | 9836 65 | 249 | 511 554.60/554.70 c 455s | 18 | 2840185 | 320752 | 9836 65 | 249 | 511 556.61/556.80 c 457s | 18 | 2850648 | 322052 | 9836 65 | 249 | 511 558.60/558.80 c 459s | 18 | 2861214 | 323452 | 9836 65 | 249 | 511 560.70/560.87 c 461s | 18 | 2876429 | 324852 | 9836 66 | 249 | 511 562.80/562.95 c 463s | 18 | 2892677 | 326452 | 9836 66 | 249 | 511 564.90/565.03 c 465s | 18 | 2904628 | 327952 | 9836 66 | 249 | 511 567.00/567.16 c 467s | 18 | 2919248 | 329452 | 9836 67 | 249 | 511 569.10/569.28 c 469s | 18 | 2929610 | 330852 | 9836 67 | 249 | 511 571.30/571.42 c 471s | 18 | 2942298 | 332152 | 9836 67 | 249 | 511 573.40/573.58 c 473s | 18 | 2952910 | 333552 | 9836 67 | 249 | 511 575.50/575.66 c 476s | 18 | 2964602 | 334852 | 9836 68 | 249 | 511 577.60/577.80 c 478s | 18 | 2972645 | 336252 | 9836 68 | 249 | 511 579.80/579.90 c 480s | 18 | 2979734 | 337852 | 9836 68 | 249 | 511 581.80/581.99 c 482s | 18 | 2992860 | 339252 | 9836 68 | 249 | 511 584.00/584.13 c 484s | 18 | 3007562 | 340752 | 9836 69 | 249 | 511 586.00/586.18 c 486s | 18 | 3019381 | 342152 | 9836 69 | 249 | 511 588.20/588.34 c 488s | 18 | 3027221 | 343552 | 9836 69 | 249 | 511 590.40/590.54 c 490s | 18 | 3035026 | 344752 | 9836 70 | 249 | 511 592.49/592.66 c 493s | 18 | 3042028 | 346152 | 9836 70 | 249 | 511 595.11/595.23 c 495s | 18 | 3050486 | 347352 | 9836 70 | 249 | 511 597.10/597.25 c 497s | 18 | 3063487 | 348752 | 9836 70 | 249 | 511 599.20/599.33 c 499s | 18 | 3077835 | 350352 | 9836 71 | 249 | 511 601.20/601.38 c 501s | 18 | 3089727 | 351852 | 9836 71 | 249 | 511 603.30/603.48 c 503s | 18 | 3104812 | 353352 | 9836 71 | 249 | 511 605.40/605.55 c 505s | 18 | 3118523 | 354852 | 10820 71 | 249 | 511 607.60/607.70 c 508s | 18 | 3130370 | 356352 | 10820 71 | 249 | 511 609.60/609.79 c 510s | 18 | 3139638 | 357752 | 10820 72 | 249 | 511 611.70/611.89 c 512s | 18 | 3156376 | 359252 | 10820 72 | 249 | 511 613.81/613.95 c 514s | 18 | 3165268 | 360652 | 10820 72 | 249 | 511 615.80/615.98 c 516s | 18 | 3175739 | 362152 | 10820 72 | 249 | 511 617.90/618.01 c 518s | 18 | 3189031 | 363652 | 10820 73 | 249 | 511 619.90/620.02 c 520s | 18 | 3197985 | 365052 | 10820 73 | 249 | 511 621.90/622.06 c 522s | 18 | 3206311 | 366352 | 10820 73 | 249 | 511 623.90/624.08 c 524s | 18 | 3214450 | 367852 | 10820 73 | 249 | 511 626.00/626.15 c 526s | 18 | 3219445 | 369452 | 10820 74 | 249 | 511 628.10/628.26 c 528s | 18 | 3228328 | 370952 | 10820 74 | 249 | 511 630.20/630.32 c 530s | 18 | 3241341 | 372352 | 10820 74 | 249 | 511 632.20/632.34 c 532s | 18 | 3247902 | 373652 | 10820 74 | 249 | 511 634.30/634.41 c 534s | 18 | 3255868 | 375052 | 10820 75 | 249 | 511 636.30/636.46 c 536s | 18 | 3264495 | 376252 | 10820 75 | 249 | 511 638.30/638.49 c 538s | 18 | 3276896 | 377652 | 10820 75 | 249 | 511 640.50/640.61 c 540s | 18 | 3287739 | 379252 | 10820 75 | 249 | 511 642.50/642.63 c 542s | 18 | 3299541 | 380552 | 10820 76 | 249 | 511 644.60/644.73 c 545s | 18 | 3310981 | 382052 | 10820 76 | 249 | 511 646.70/646.86 c 547s | 18 | 3321457 | 383652 | 10820 76 | 249 | 511 648.79/649.00 c 549s | 18 | 3341248 | 385052 | 10820 76 | 249 | 511 650.89/651.09 c 551s | 18 | 3358151 | 386452 | 10820 77 | 249 | 511 652.99/653.15 c 553s | 18 | 3369481 | 388052 | 10820 77 | 249 | 511 655.29/655.43 c 555s | 18 | 3377306 | 389152 | 10820 77 | 249 | 511 657.29/657.45 c 557s | 18 | 3389816 | 390352 | 10820 77 | 249 | 511 659.39/659.54 c 559s | 18 | 3402601 | 391852 | 10820 78 | 249 | 511 661.49/661.61 c 561s | 18 | 3413340 | 393252 | 10820 78 | 249 | 511 663.59/663.70 c 564s | 18 | 3419898 | 394652 | 10820 78 | 249 | 511 665.69/665.80 c 566s | 18 | 3432315 | 396152 | 10820 78 | 249 | 511 667.79/667.90 c 568s | 18 | 3448110 | 397652 | 10820 79 | 249 | 511 669.79/669.95 c 570s | 18 | 3456361 | 398952 | 10820 79 | 249 | 511 671.79/671.97 c 572s | 18 | 3468341 | 400252 | 10820 79 | 249 | 511 673.79/673.99 c 574s | 18 | 3477610 | 401652 | 10820 79 | 249 | 511 675.89/676.03 c 576s | 18 | 3488076 | 402952 | 10820 79 | 249 | 511 677.99/678.13 c 578s | 18 | 3495354 | 404352 | 10820 80 | 249 | 511 680.08/680.27 c 580s | 18 | 3502909 | 405952 | 10820 80 | 249 | 511 682.28/682.42 c 582s | 18 | 3512104 | 407452 | 10820 80 | 249 | 511 684.28/684.46 c 584s | 18 | 3524013 | 408852 | 10820 80 | 249 | 511 686.39/686.59 c 586s | 18 | 3532451 | 410352 | 10820 81 | 249 | 511 688.49/688.67 c 589s | 18 | 3538826 | 411852 | 10820 81 | 249 | 511 690.58/690.74 c 591s | 18 | 3545246 | 413352 | 10820 81 | 249 | 511 692.58/692.79 c 593s | 18 | 3548490 | 414652 | 10820 82 | 249 | 511 694.58/694.79 c 595s | 18 | 3559965 | 416052 | 10820 82 | 249 | 511 696.58/696.80 c 597s | 18 | 3573765 | 417452 | 10820 82 | 249 | 511 698.68/698.82 c 599s | 18 | 3585065 | 418752 | 10820 82 | 249 | 511 700.69/700.85 c 601s | 18 | 3594358 | 420252 | 10820 82 | 249 | 511 702.68/702.89 c 603s | 18 | 3603809 | 421552 | 10820 83 | 249 | 511 704.88/705.01 c 605s | 18 | 3616553 | 423052 | 10820 83 | 249 | 511 706.88/707.02 c 607s | 18 | 3625103 | 424352 | 10820 83 | 249 | 511 708.88/709.06 c 609s | 18 | 3634621 | 425752 | 10820 83 | 249 | 511 710.98/711.16 c 611s | 18 | 3647361 | 427152 | 10820 84 | 249 | 511 713.08/713.26 c 613s | 18 | 3658238 | 428552 | 10820 84 | 249 | 511 715.08/715.26 c 615s | 18 | 3669905 | 429852 | 10820 84 | 249 | 511 717.18/717.31 c 617s | 18 | 3680839 | 431152 | 10820 84 | 249 | 511 719.28/719.40 c 619s | 18 | 3692364 | 432352 | 10820 85 | 249 | 511 721.68/721.80 c 622s | 18 | 3702497 | 433652 | 10820 85 | 249 | 511 723.68/723.85 c 624s | 18 | 3713298 | 434852 | 10820 85 | 249 | 511 725.88/726.03 c 626s | 18 | 3725442 | 436052 | 10820 85 | 249 | 511 727.98/728.12 c 628s | 18 | 3734328 | 437552 | 10820 85 | 249 | 511 730.08/730.28 c 630s | 18 | 3742490 | 438852 | 10820 86 | 249 | 511 732.08/732.28 c 632s | 18 | 3757043 | 440152 | 10820 86 | 249 | 511 734.18/734.30 c 634s | 18 | 3774563 | 441152 | 10820 86 | 249 | 511 736.18/736.35 c 636s | 18 | 3788587 | 442552 | 10820 86 | 249 | 511 738.17/738.39 c 638s | 18 | 3800633 | 443752 | 10820 87 | 249 | 511 739.37/739.58 c 639s | 19 | 3805002 | 444482 | 10820 87 | 249 | 511 741.47/741.61 c 641s | 19 | 3814195 | 445982 | 10820 87 | 249 | 511 743.48/743.69 c 644s | 19 | 3824425 | 447482 | 10820 87 | 249 | 511 745.68/745.85 c 646s | 19 | 3836251 | 448982 | 10820 87 | 249 | 511 747.67/747.87 c 648s | 19 | 3846350 | 450382 | 10820 88 | 249 | 511 749.67/749.88 c 650s | 19 | 3852019 | 451882 | 10820 88 | 249 | 511 751.77/751.92 c 652s | 19 | 3857731 | 453182 | 10820 88 | 249 | 511 753.87/754.08 c 654s | 19 | 3869329 | 454582 | 10820 88 | 249 | 511 756.07/756.20 c 656s | 19 | 3877300 | 455882 | 10820 89 | 249 | 511 758.07/758.21 c 658s | 19 | 3886534 | 457182 | 10820 89 | 249 | 511 760.08/760.25 c 660s | 19 | 3897164 | 458582 | 10820 89 | 249 | 511 762.18/762.36 c 662s | 19 | 3908414 | 459882 | 10820 89 | 249 | 511 764.38/764.51 c 664s | 19 | 3919006 | 461282 | 10820 90 | 249 | 511 766.37/766.56 c 666s | 19 | 3930468 | 462682 | 10820 90 | 249 | 511 768.47/768.64 c 669s | 19 | 3939115 | 464082 | 10820 90 | 249 | 511 770.47/770.67 c 671s | 19 | 3948120 | 465282 | 10820 90 | 249 | 511 772.57/772.74 c 673s | 19 | 3957549 | 466382 | 10820 90 | 249 | 511 774.77/774.90 c 675s | 19 | 3964542 | 467682 | 10820 91 | 249 | 511 776.77/776.94 c 677s | 19 | 3970881 | 468982 | 10820 91 | 249 | 511 778.87/779.00 c 679s | 19 | 3980521 | 470382 | 10820 91 | 249 | 511 780.97/781.19 c 681s | 19 | 3991356 | 471682 | 10820 91 | 249 | 511 782.97/783.20 c 683s | 19 | 4001772 | 472982 | 10820 92 | 249 | 511 785.17/785.39 c 685s | 19 | 4008771 | 474182 | 10820 92 | 249 | 511 787.37/787.50 c 687s | 19 | 4018445 | 475382 | 10820 92 | 249 | 511 789.47/789.63 c 689s | 19 | 4026185 | 476582 | 10820 92 | 249 | 511 791.57/791.76 c 692s | 19 | 4041876 | 477782 | 10820 92 | 249 | 511 793.67/793.86 c 694s | 19 | 4058059 | 478982 | 10820 93 | 249 | 511 795.76/795.97 c 696s | 19 | 4069308 | 480182 | 10820 93 | 249 | 511 797.86/798.05 c 698s | 19 | 4079069 | 481282 | 10820 93 | 249 | 511 799.96/800.14 c 700s | 19 | 4088543 | 482682 | 10820 93 | 249 | 511 802.16/802.30 c 702s | 19 | 4099952 | 483982 | 10820 93 | 249 | 511 804.16/804.32 c 704s | 19 | 4107199 | 485582 | 10820 94 | 249 | 511 806.17/806.35 c 706s | 19 | 4115967 | 486782 | 10820 94 | 249 | 511 808.16/808.36 c 708s | 19 | 4124815 | 488182 | 10820 94 | 249 | 511 810.16/810.37 c 710s | 19 | 4133652 | 489382 | 10820 94 | 249 | 511 812.26/812.42 c 712s | 19 | 4141472 | 490782 | 10820 95 | 249 | 511 814.26/814.49 c 714s | 19 | 4156033 | 492282 | 10820 95 | 249 | 511 816.46/816.60 c 716s | 19 | 4166612 | 493682 | 10820 95 | 249 | 511 818.56/818.72 c 719s | 19 | 4178743 | 495082 | 10820 95 | 249 | 511 820.66/820.84 c 721s | 19 | 4191231 | 496482 | 10820 96 | 249 | 511 822.67/822.87 c 723s | 19 | 4202948 | 497882 | 10820 96 | 249 | 511 824.76/824.91 c 725s | 19 | 4214436 | 499282 | 10820 96 | 249 | 511 826.76/826.93 c 727s | 19 | 4225374 | 500582 | 10820 96 | 249 | 511 828.76/828.93 c 729s | 19 | 4235234 | 501982 | 10820 97 | 249 | 511 830.76/830.97 c 731s | 19 | 4244150 | 503282 | 10820 97 | 249 | 511 832.86/833.02 c 733s | 19 | 4255307 | 504682 | 10820 97 | 249 | 511 834.87/835.08 c 735s | 19 | 4264651 | 506082 | 10820 97 | 249 | 511 836.96/837.18 c 737s | 19 | 4274286 | 507482 | 10820 97 | 249 | 511 839.06/839.20 c 739s | 19 | 4284942 | 508882 | 10820 98 | 249 | 511 841.16/841.34 c 741s | 19 | 4293084 | 510482 | 10820 98 | 249 | 511 843.16/843.36 c 743s | 19 | 4298731 | 511882 | 10820 98 | 249 | 511 845.26/845.41 c 745s | 19 | 4307115 | 513182 | 10820 98 | 249 | 511 847.26/847.42 c 747s | 19 | 4316516 | 514482 | 10820 99 | 249 | 511 849.26/849.48 c 749s | 19 | 4325586 | 515782 | 10820 99 | 249 | 511 851.26/851.50 c 751s | 19 | 4336027 | 517082 | 10820 99 | 249 | 511 853.36/853.55 c 753s | 19 | 4346842 | 518482 | 10820 99 | 249 | 511 855.36/855.56 c 755s | 19 | 4354469 | 519782 | 10820 100 | 249 | 511 857.46/857.60 c 757s | 19 | 4361658 | 521282 | 10820 100 | 249 | 511 859.46/859.69 c 760s | 19 | 4369318 | 522782 | 10820 100 | 249 | 511 861.56/861.73 c 762s | 19 | 4382715 | 524082 | 10820 100 | 249 | 511 863.66/863.85 c 764s | 19 | 4390987 | 525482 | 10820 101 | 249 | 511 865.76/865.99 c 766s | 19 | 4400854 | 526982 | 10820 101 | 249 | 511 867.87/868.04 c 768s | 19 | 4412651 | 528782 | 10820 101 | 249 | 511 869.86/870.07 c 770s | 19 | 4422658 | 531782 | 10820 101 | 249 | 511 869.86/870.08 c 770s | 19 | 4422755 | 531815 | 10820 101 | 249 | 511 869.86/870.08 c #cpu_time = 770.427s 869.86/870.08 c #wall_clock_time = 770.441s 869.86/870.08 c #decision = 4422755 869.86/870.08 c #random_decision = 14188 869.86/870.08 c #conflict = 531815 869.86/870.08 c #restart = 19 869.86/870.08 o 44982 869.86/870.08 c BCD2: updating upper bound: 47539 -> 44981 869.86/870.08 c BCD2: 37781 <= obj <= 44981 869.86/870.08 c BCD2: #cores=16, #unrelaxed=85, #relaxed=951, #hardened=0 869.86/870.08 c BCD2: #sat=5 #unsat=36 bias=36/41 869.97/870.17 c Solving starts ... 869.97/870.17 c ============================[ Search Statistics ]============================ 869.97/870.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 869.97/870.17 c | | | | Limit GC | Var | Constra 869.97/870.17 c ============================================================================= 869.97/870.17 c 0.0s | 0 | 0 | 0 | 10820 0 | 249 | 512 870.16/870.33 c 0.2s | 0 | 452 | 73 | 10820 1 | 249 | 512 870.16/870.33 c #cpu_time = 0.161s 870.16/870.33 c #wall_clock_time = 0.161s 870.16/870.33 c #decision = 452 870.16/870.33 c #random_decision = 1 870.16/870.33 c #conflict = 73 870.16/870.33 c #restart = 0 870.16/870.33 c BCD2: relaxing 6 and merging with 2 cores into a new core of size 30: cost of the new core is >=3162 870.16/870.33 c BCD2: refineLB: 3161 -> 3162 870.16/870.33 c lower bound updated to 37963 870.16/870.34 c BCD2: 37963 <= obj <= 44981 870.16/870.34 c BCD2: #cores=15, #unrelaxed=79, #relaxed=957, #hardened=0 870.16/870.34 c BCD2: #sat=5 #unsat=37 bias=37/42 870.36/870.50 c Solving starts ... 870.36/870.50 c ============================[ Search Statistics ]============================ 870.36/870.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 870.36/870.50 c | | | | Limit GC | Var | Constra 870.36/870.50 c ============================================================================= 870.36/870.50 c 0.0s | 0 | 0 | 0 | 10820 0 | 283 | 512 870.46/870.62 c 0.1s | 1 | 1912 | 100 | 10820 0 | 283 | 590 870.56/870.75 c 0.3s | 2 | 3655 | 250 | 10820 0 | 283 | 590 870.96/871.12 c 0.6s | 3 | 6963 | 475 | 10820 0 | 283 | 590 871.56/871.76 c 1.3s | 4 | 12254 | 813 | 10820 0 | 283 | 590 872.46/872.62 c 2.1s | 5 | 20924 | 1320 | 10820 0 | 283 | 590 873.27/873.47 c 3.0s | 6 | 32055 | 2081 | 10820 0 | 283 | 590 874.96/875.14 c 4.6s | 7 | 50473 | 3223 | 10820 0 | 283 | 590 876.96/877.16 c 6.7s | 7 | 73566 | 4823 | 10820 0 | 283 | 590 877.16/877.31 c 6.8s | 8 | 74095 | 4936 | 10820 0 | 283 | 590 879.26/879.44 c 8.9s | 8 | 91889 | 6236 | 10820 1 | 283 | 590 881.07/881.23 c 10.7s | 9 | 108391 | 7506 | 10820 1 | 283 | 590 883.16/883.32 c 12.8s | 9 | 123939 | 8806 | 10820 1 | 283 | 590 885.26/885.45 c 15.0s | 9 | 141122 | 10306 | 10820 1 | 283 | 590 886.66/886.86 c 16.4s | 10 | 151593 | 11361 | 10820 2 | 283 | 590 888.66/888.88 c 18.4s | 10 | 165342 | 12761 | 10820 2 | 283 | 590 890.76/891.00 c 20.5s | 10 | 186954 | 14161 | 10820 2 | 283 | 590 892.86/893.01 c 22.5s | 10 | 206111 | 15561 | 10820 2 | 283 | 590 894.96/895.10 c 24.6s | 10 | 226847 | 16861 | 10820 3 | 283 | 590 895.26/895.46 c 25.0s | 11 | 230923 | 17144 | 10820 3 | 283 | 590 897.26/897.49 c 27.0s | 11 | 243707 | 18744 | 10820 3 | 283 | 590 899.36/899.55 c 29.1s | 11 | 258968 | 20244 | 10820 3 | 283 | 590 901.46/901.66 c 31.2s | 11 | 275168 | 21844 | 10820 3 | 283 | 590 903.55/903.76 c 33.3s | 11 | 291062 | 23344 | 10820 4 | 283 | 590 905.75/905.92 c 35.4s | 11 | 309131 | 24944 | 10820 4 | 283 | 590 906.95/907.19 c 36.7s | 12 | 318488 | 25819 | 10820 4 | 283 | 590 909.05/909.29 c 38.8s | 12 | 333133 | 27319 | 10820 4 | 283 | 590 911.15/911.34 c 40.8s | 12 | 345512 | 28619 | 10820 4 | 283 | 590 913.25/913.40 c 42.9s | 12 | 357911 | 29819 | 10820 5 | 283 | 590 915.25/915.40 c 44.9s | 12 | 371171 | 31219 | 10820 5 | 283 | 590 917.36/917.53 c 47.0s | 12 | 394802 | 32619 | 10820 5 | 283 | 590 919.35/919.58 c 49.1s | 12 | 412870 | 34019 | 10820 5 | 283 | 590 921.45/921.60 c 51.1s | 12 | 424792 | 35519 | 10820 6 | 283 | 590 923.45/923.65 c 53.2s | 12 | 444079 | 37019 | 10820 6 | 283 | 590 925.45/925.68 c 55.2s | 12 | 460509 | 38419 | 10820 6 | 283 | 590 926.06/926.28 c 55.8s | 13 | 465760 | 38832 | 10820 6 | 283 | 590 928.15/928.36 c 57.9s | 13 | 480469 | 40132 | 10820 7 | 283 | 590 930.25/930.41 c 59.9s | 13 | 501046 | 41632 | 10820 7 | 283 | 590 932.35/932.50 c 62.0s | 13 | 522083 | 43132 | 10820 7 | 283 | 590 934.45/934.60 c 64.1s | 13 | 539802 | 44632 | 11903 7 | 283 | 590 936.45/936.68 c 66.2s | 13 | 556259 | 46032 | 11903 7 | 283 | 590 938.55/938.72 c 68.2s | 13 | 569568 | 47332 | 11903 8 | 283 | 590 940.55/940.74 c 70.2s | 13 | 582419 | 48732 | 11903 8 | 283 | 590 942.75/942.94 c 72.4s | 13 | 594012 | 50232 | 11903 8 | 283 | 590 944.85/945.06 c 74.6s | 13 | 610061 | 51632 | 11903 8 | 283 | 590 946.85/947.07 c 76.6s | 13 | 622048 | 53032 | 11903 8 | 283 | 590 949.05/949.20 c 78.7s | 13 | 634492 | 54432 | 11903 9 | 283 | 590 951.15/951.39 c 80.9s | 13 | 650692 | 56032 | 11903 9 | 283 | 590 953.35/953.56 c 83.1s | 13 | 668642 | 57532 | 11903 9 | 283 | 590 954.55/954.74 c 84.2s | 14 | 679766 | 58352 | 11903 9 | 283 | 590 956.65/956.84 c 86.3s | 14 | 698462 | 59752 | 11903 9 | 283 | 590 958.75/958.94 c 88.4s | 14 | 716379 | 61052 | 11903 10 | 283 | 590 960.75/960.98 c 90.5s | 14 | 730200 | 62652 | 11903 10 | 283 | 590 962.94/963.13 c 92.6s | 14 | 744627 | 64252 | 11903 10 | 283 | 590 964.94/965.18 c 94.7s | 14 | 756848 | 65752 | 11903 10 | 283 | 590 967.14/967.31 c 96.8s | 14 | 771866 | 66752 | 11903 11 | 283 | 590 969.14/969.35 c 98.9s | 14 | 789537 | 68152 | 11903 11 | 283 | 590 971.25/971.46 c 100s | 14 | 797459 | 69152 | 11903 11 | 283 | 590 973.24/973.48 c 102s | 14 | 814020 | 70452 | 11903 11 | 283 | 590 975.34/975.55 c 105s | 14 | 828069 | 71952 | 11903 11 | 283 | 590 977.44/977.64 c 107s | 14 | 844251 | 73352 | 11903 12 | 283 | 590 979.44/979.66 c 109s | 14 | 860150 | 74752 | 11903 12 | 283 | 590 981.54/981.78 c 111s | 14 | 877696 | 76152 | 11903 12 | 283 | 590 983.64/983.81 c 113s | 14 | 894084 | 77652 | 11903 12 | 283 | 590 985.64/985.88 c 115s | 14 | 911752 | 78952 | 11903 13 | 283 | 590 987.75/987.91 c 117s | 14 | 927689 | 80452 | 11903 13 | 283 | 590 989.74/989.97 c 119s | 14 | 944716 | 81952 | 11903 13 | 283 | 590 991.84/992.06 c 121s | 14 | 958886 | 83452 | 11903 13 | 283 | 590 993.84/994.07 c 123s | 14 | 969707 | 84752 | 11903 13 | 283 | 590 996.04/996.23 c 125s | 14 | 985815 | 86052 | 11903 14 | 283 | 590 998.04/998.26 c 127s | 14 | 1004622 | 87552 | 11903 14 | 283 | 590 998.14/998.32 c 127s | 15 | 1004766 | 87632 | 11903 14 | 283 | 590 1000.24/1000.40 c 129s | 15 | 1017492 | 88832 | 11903 14 | 283 | 590 1002.24/1002.45 c 131s | 15 | 1030441 | 90232 | 11903 14 | 283 | 590 1004.34/1004.52 c 134s | 15 | 1045354 | 91732 | 11903 15 | 283 | 590 1006.34/1006.59 c 136s | 15 | 1057177 | 93232 | 11903 15 | 283 | 590 1008.34/1008.60 c 138s | 15 | 1074397 | 94532 | 11903 15 | 283 | 590 1010.54/1010.75 c 140s | 15 | 1093702 | 95832 | 11903 15 | 283 | 590 1012.54/1012.76 c 142s | 15 | 1107432 | 97332 | 11903 15 | 283 | 590 1014.53/1014.76 c 144s | 15 | 1115910 | 98832 | 11903 16 | 283 | 590 1016.63/1016.87 c 146s | 15 | 1136554 | 100232 | 11903 16 | 283 | 590 1018.73/1018.97 c 148s | 15 | 1149115 | 101732 | 11903 16 | 283 | 590 1020.83/1021.04 c 150s | 15 | 1165532 | 103132 | 11903 16 | 283 | 590 1022.94/1023.14 c 152s | 15 | 1179126 | 104532 | 11903 17 | 283 | 590 1024.93/1025.17 c 154s | 15 | 1199013 | 105832 | 11903 17 | 283 | 590 1026.93/1027.19 c 156s | 15 | 1213721 | 107232 | 11903 17 | 283 | 590 1029.03/1029.28 c 158s | 15 | 1234379 | 108632 | 11903 17 | 283 | 590 1031.03/1031.28 c 160s | 15 | 1249403 | 109932 | 11903 17 | 283 | 590 1033.13/1033.38 c 162s | 15 | 1265807 | 111332 | 11903 18 | 283 | 590 1035.23/1035.42 c 164s | 15 | 1282170 | 112832 | 11903 18 | 283 | 590 1037.24/1037.43 c 166s | 15 | 1299618 | 114232 | 11903 18 | 283 | 590 1039.34/1039.56 c 169s | 15 | 1311688 | 115732 | 11903 18 | 283 | 590 1041.54/1041.72 c 171s | 15 | 1321981 | 117232 | 11903 18 | 283 | 590 1043.53/1043.76 c 173s | 15 | 1331199 | 118732 | 11903 19 | 283 | 590 1045.63/1045.89 c 175s | 15 | 1337112 | 120332 | 11903 19 | 283 | 590 1047.73/1047.97 c 177s | 15 | 1346304 | 121632 | 11903 19 | 283 | 590 1049.83/1050.02 c 179s | 15 | 1354015 | 122732 | 11903 19 | 283 | 590 1051.83/1052.05 c 181s | 15 | 1359771 | 123832 | 11903 20 | 283 | 590 1054.03/1054.21 c 183s | 15 | 1367704 | 125132 | 11903 20 | 283 | 590 1056.03/1056.28 c 185s | 15 | 1377711 | 126432 | 11903 20 | 283 | 590 1058.13/1058.39 c 187s | 15 | 1389479 | 127632 | 11903 20 | 283 | 590 1060.23/1060.50 c 189s | 15 | 1396982 | 128832 | 11903 20 | 283 | 590 1062.33/1062.53 c 192s | 15 | 1402834 | 129932 | 11903 21 | 283 | 590 1064.33/1064.55 c 194s | 15 | 1411576 | 131232 | 11903 21 | 283 | 590 1064.83/1065.02 c 194s | 16 | 1414831 | 131552 | 11903 21 | 283 | 590 1066.93/1067.15 c 196s | 16 | 1430972 | 133252 | 11903 21 | 283 | 590 1068.93/1069.20 c 198s | 16 | 1443693 | 134852 | 11903 21 | 283 | 590 1071.13/1071.32 c 200s | 16 | 1459088 | 136352 | 11903 22 | 283 | 590 1073.43/1073.62 c 203s | 16 | 1483506 | 137752 | 11903 22 | 283 | 590 1075.43/1075.65 c 205s | 16 | 1501874 | 139352 | 11903 22 | 283 | 590 1077.53/1077.78 c 207s | 16 | 1520659 | 140852 | 11903 22 | 283 | 590 1079.62/1079.80 c 209s | 16 | 1537284 | 142252 | 11903 22 | 283 | 590 1081.72/1081.95 c 211s | 16 | 1549822 | 143752 | 11903 23 | 283 | 590 1083.72/1083.99 c 213s | 16 | 1571794 | 145252 | 11903 23 | 283 | 590 1085.82/1086.09 c 215s | 16 | 1587195 | 146652 | 11903 23 | 283 | 590 1088.02/1088.25 c 217s | 16 | 1599598 | 147952 | 11903 23 | 283 | 590 1090.03/1090.26 c 219s | 16 | 1613612 | 149052 | 11903 23 | 283 | 590 1092.13/1092.40 c 221s | 16 | 1629401 | 150552 | 11903 24 | 283 | 590 1094.33/1094.52 c 224s | 16 | 1642458 | 151952 | 11903 24 | 283 | 590 1096.32/1096.56 c 226s | 16 | 1658543 | 153252 | 11903 24 | 283 | 590 1098.42/1098.69 c 228s | 16 | 1668463 | 154652 | 11903 24 | 283 | 590 1100.52/1100.73 c 230s | 16 | 1680142 | 155852 | 11903 25 | 283 | 590 1102.62/1102.84 c 232s | 16 | 1692468 | 157352 | 11903 25 | 283 | 590 1104.62/1104.86 c 234s | 16 | 1701471 | 158652 | 11903 25 | 283 | 590 1106.82/1107.00 c 236s | 16 | 1709805 | 159952 | 11903 25 | 283 | 590 1108.92/1109.17 c 238s | 16 | 1719083 | 161252 | 11903 25 | 283 | 590 1111.02/1111.25 c 240s | 16 | 1727501 | 162252 | 11903 26 | 283 | 590 1113.13/1113.35 c 242s | 16 | 1736409 | 163452 | 11903 26 | 283 | 590 1115.12/1115.38 c 244s | 16 | 1744026 | 164552 | 11903 26 | 283 | 590 1117.22/1117.43 c 246s | 16 | 1749582 | 165452 | 11903 26 | 283 | 590 1119.32/1119.50 c 248s | 16 | 1759029 | 166652 | 11903 26 | 283 | 590 1121.32/1121.56 c 251s | 16 | 1769544 | 167852 | 11903 26 | 283 | 590 1123.32/1123.58 c 253s | 16 | 1777763 | 169052 | 11903 27 | 283 | 590 1125.42/1125.65 c 255s | 16 | 1787504 | 170252 | 11903 27 | 283 | 590 1127.52/1127.70 c 257s | 16 | 1793736 | 171452 | 11903 27 | 283 | 590 1129.52/1129.78 c 259s | 16 | 1803589 | 172652 | 11903 27 | 283 | 590 1131.62/1131.84 c 261s | 16 | 1810754 | 173752 | 11903 27 | 283 | 590 1133.82/1134.02 c 263s | 16 | 1819999 | 174752 | 11903 28 | 283 | 590 1135.92/1136.12 c 265s | 16 | 1824857 | 175552 | 11903 28 | 283 | 590 1138.02/1138.24 c 267s | 16 | 1830786 | 176752 | 11903 28 | 283 | 590 1140.22/1140.42 c 269s | 16 | 1838353 | 177952 | 11903 28 | 283 | 590 1142.31/1142.50 c 271s | 16 | 1843658 | 178952 | 11903 28 | 283 | 590 1144.31/1144.51 c 274s | 16 | 1851976 | 180052 | 11903 28 | 283 | 590 1146.31/1146.58 c 276s | 16 | 1857915 | 181252 | 11903 29 | 283 | 590 1148.41/1148.66 c 278s | 16 | 1869000 | 183152 | 11903 29 | 283 | 590 1150.52/1150.75 c 280s | 16 | 1883491 | 185952 | 11903 29 | 283 | 590 1152.62/1152.81 c 282s | 16 | 1892405 | 188052 | 11903 29 | 283 | 590 1154.61/1154.86 c 284s | 16 | 1902390 | 190252 | 11903 30 | 283 | 590 1156.71/1156.93 c 286s | 16 | 1918725 | 192152 | 11903 30 | 283 | 590 1158.71/1158.98 c 288s | 16 | 1925247 | 194252 | 11903 30 | 283 | 590 1160.81/1161.08 c 290s | 16 | 1937057 | 196352 | 11903 31 | 283 | 590 1162.41/1162.68 c 292s | 17 | 1952301 | 197432 | 11903 31 | 283 | 590 1164.51/1164.71 c 294s | 17 | 1964265 | 198532 | 11903 31 | 283 | 590 1166.61/1166.83 c 296s | 17 | 1971699 | 199832 | 11903 31 | 283 | 590 1168.71/1168.93 c 298s | 17 | 1979319 | 201132 | 11903 32 | 283 | 590 1170.71/1170.93 c 300s | 17 | 1998140 | 202532 | 11903 32 | 283 | 590 1172.81/1173.09 c 302s | 17 | 2014018 | 203932 | 11903 32 | 283 | 590 1174.91/1175.16 c 304s | 17 | 2024204 | 205232 | 11903 32 | 283 | 590 1177.01/1177.26 c 306s | 17 | 2033032 | 206432 | 11903 32 | 283 | 590 1179.11/1179.36 c 308s | 17 | 2043214 | 207832 | 11903 33 | 283 | 590 1181.21/1181.43 c 310s | 17 | 2058852 | 210132 | 11903 33 | 283 | 590 1183.21/1183.47 c 312s | 17 | 2071017 | 212332 | 11903 33 | 283 | 590 1185.20/1185.48 c 314s | 17 | 2082703 | 214532 | 11903 34 | 283 | 590 1187.30/1187.50 c 316s | 17 | 2094035 | 216532 | 11903 34 | 283 | 590 1189.30/1189.51 c 319s | 17 | 2107289 | 217932 | 11903 34 | 283 | 590 1191.40/1191.67 c 321s | 17 | 2119035 | 219332 | 11903 34 | 283 | 590 1193.50/1193.77 c 323s | 17 | 2133560 | 220632 | 11903 35 | 283 | 590 1195.62/1195.81 c 325s | 17 | 2148012 | 221932 | 11903 35 | 283 | 590 1197.61/1197.85 c 327s | 17 | 2157345 | 223332 | 11903 35 | 283 | 590 1199.81/1200.02 c 329s | 17 | 2165489 | 224632 | 11903 35 | 283 | 590 1201.81/1202.06 c 331s | 17 | 2172952 | 225932 | 11903 35 | 283 | 590 1203.81/1204.08 c 333s | 17 | 2180252 | 227132 | 11903 36 | 283 | 590 1205.91/1206.20 c 335s | 17 | 2187392 | 228432 | 11903 36 | 283 | 590 1208.11/1208.34 c 337s | 17 | 2191194 | 229732 | 11903 36 | 283 | 590 1210.31/1210.51 c 340s | 17 | 2197360 | 231032 | 11903 36 | 283 | 590 1212.31/1212.54 c 342s | 17 | 2203883 | 232232 | 11903 36 | 283 | 590 1214.51/1214.74 c 344s | 17 | 2210301 | 233332 | 11903 36 | 283 | 590 1216.52/1216.78 c 346s | 17 | 2218377 | 234432 | 11903 37 | 283 | 590 1218.61/1218.89 c 348s | 17 | 2223785 | 235532 | 11903 37 | 283 | 590 1220.71/1220.90 c 350s | 17 | 2235603 | 236732 | 11903 37 | 283 | 590 1222.71/1222.97 c 352s | 17 | 2245700 | 238032 | 11903 37 | 283 | 590 1224.81/1225.00 c 354s | 17 | 2259451 | 239232 | 11903 37 | 283 | 590 1226.81/1227.03 c 356s | 17 | 2271682 | 240432 | 11903 38 | 283 | 590 1228.91/1229.13 c 358s | 17 | 2282063 | 241632 | 11903 38 | 283 | 590 1230.90/1231.19 c 360s | 17 | 2297518 | 243032 | 11903 38 | 283 | 590 1233.01/1233.23 c 362s | 17 | 2309976 | 244332 | 11903 38 | 283 | 590 1235.00/1235.26 c 364s | 17 | 2319901 | 245532 | 11903 38 | 283 | 590 1237.10/1237.32 c 366s | 17 | 2334108 | 246832 | 11903 39 | 283 | 590 1239.20/1239.46 c 368s | 17 | 2348461 | 248232 | 11903 39 | 283 | 590 1241.40/1241.61 c 371s | 17 | 2362019 | 249632 | 11903 39 | 283 | 590 1243.50/1243.72 c 373s | 17 | 2376715 | 251032 | 11903 39 | 283 | 590 1245.50/1245.79 c 375s | 17 | 2391131 | 252332 | 11903 39 | 283 | 590 1247.60/1247.81 c 377s | 17 | 2403434 | 253632 | 11903 40 | 283 | 590 1249.70/1249.91 c 379s | 17 | 2414127 | 255132 | 11903 40 | 283 | 590 1251.80/1252.04 c 381s | 17 | 2427144 | 256532 | 11903 40 | 283 | 590 1253.91/1254.13 c 383s | 17 | 2439159 | 257732 | 11903 40 | 283 | 590 1255.90/1256.14 c 385s | 17 | 2449047 | 258832 | 11903 40 | 283 | 590 1258.31/1258.59 c 388s | 17 | 2461015 | 260132 | 11903 41 | 283 | 590 1260.51/1260.74 c 390s | 17 | 2473667 | 261532 | 11903 41 | 283 | 590 1262.61/1262.87 c 392s | 17 | 2485329 | 262932 | 11903 41 | 283 | 590 1264.70/1264.91 c 394s | 17 | 2501361 | 264132 | 11903 41 | 283 | 590 1266.70/1266.93 c 396s | 17 | 2513607 | 265332 | 11903 41 | 283 | 590 1268.70/1268.99 c 398s | 17 | 2528844 | 266732 | 11903 42 | 283 | 590 1270.79/1271.03 c 400s | 17 | 2539229 | 268032 | 11903 42 | 283 | 590 1272.89/1273.17 c 402s | 17 | 2548245 | 269532 | 11903 42 | 283 | 590 1274.99/1275.25 c 404s | 17 | 2559537 | 270732 | 11903 42 | 283 | 590 1277.19/1277.40 c 406s | 17 | 2570079 | 271932 | 11903 42 | 283 | 590 1279.19/1279.43 c 408s | 17 | 2582280 | 273232 | 11903 43 | 283 | 590 1281.29/1281.51 c 411s | 17 | 2597194 | 274532 | 11903 43 | 283 | 590 1283.38/1283.60 c 413s | 17 | 2609024 | 275832 | 11903 43 | 283 | 590 1285.79/1286.09 c 415s | 17 | 2624997 | 277332 | 11903 43 | 283 | 590 1287.99/1288.24 c 417s | 17 | 2640586 | 278732 | 11903 44 | 283 | 590 1290.09/1290.39 c 419s | 17 | 2655937 | 280232 | 11903 44 | 283 | 590 1292.29/1292.52 c 422s | 17 | 2671098 | 281732 | 11903 44 | 283 | 590 1294.28/1294.58 c 424s | 17 | 2685001 | 283132 | 11903 44 | 283 | 590 1296.48/1296.70 c 426s | 17 | 2697400 | 284532 | 11903 44 | 283 | 590 1298.58/1298.81 c 428s | 17 | 2712288 | 285832 | 11903 45 | 283 | 590 1300.57/1300.87 c 430s | 17 | 2725306 | 287232 | 11903 45 | 283 | 590 1302.57/1302.88 c 432s | 17 | 2742203 | 288632 | 11903 45 | 283 | 590 1304.77/1305.05 c 434s | 17 | 2756354 | 290032 | 11903 45 | 283 | 590 1306.87/1307.16 c 436s | 17 | 2763533 | 291232 | 11903 45 | 283 | 590 1308.97/1309.28 c 438s | 17 | 2778084 | 292632 | 11903 46 | 283 | 590 1311.18/1311.41 c 440s | 17 | 2790880 | 294132 | 11903 46 | 283 | 590 1313.29/1313.51 c 443s | 17 | 2810275 | 295432 | 11903 46 | 283 | 590 1314.58/1314.89 c 444s | 18 | 2818818 | 296252 | 11903 46 | 283 | 590 1316.68/1316.90 c 446s | 18 | 2828169 | 297352 | 11903 46 | 283 | 590 1318.68/1318.96 c 448s | 18 | 2836271 | 298652 | 11903 47 | 283 | 590 1320.77/1321.08 c 450s | 18 | 2849998 | 300252 | 11903 47 | 283 | 590 1322.87/1323.13 c 452s | 18 | 2866106 | 301752 | 11903 47 | 283 | 590 1325.07/1325.34 c 454s | 18 | 2878434 | 303152 | 11903 47 | 283 | 590 1327.17/1327.41 c 456s | 18 | 2891559 | 304552 | 11903 48 | 283 | 590 1329.17/1329.42 c 458s | 18 | 2903377 | 306052 | 11903 48 | 283 | 590 1331.17/1331.47 c 460s | 18 | 2920403 | 307452 | 11903 48 | 283 | 590 1333.27/1333.59 c 463s | 18 | 2941372 | 308952 | 11903 48 | 283 | 590 1335.37/1335.60 c 465s | 18 | 2957851 | 310352 | 11903 48 | 283 | 590 1337.37/1337.67 c 467s | 18 | 2976900 | 311852 | 11903 49 | 283 | 590 1339.46/1339.74 c 469s | 18 | 2992282 | 313052 | 11903 49 | 283 | 590 1341.66/1341.91 c 471s | 18 | 3002550 | 314452 | 11903 49 | 283 | 590 1343.66/1343.95 c 473s | 18 | 3012498 | 315752 | 11903 49 | 283 | 590 1345.66/1345.98 c 475s | 18 | 3028327 | 317252 | 11903 50 | 283 | 590 1347.76/1348.01 c 477s | 18 | 3041944 | 318652 | 11903 50 | 283 | 590 1349.86/1350.18 c 479s | 18 | 3054474 | 320252 | 11903 50 | 283 | 590 1351.96/1352.26 c 481s | 18 | 3072197 | 321452 | 11903 50 | 283 | 590 1353.96/1354.26 c 483s | 18 | 3088969 | 322752 | 11903 50 | 283 | 590 1356.06/1356.38 c 485s | 18 | 3100432 | 324152 | 11903 51 | 283 | 590 1358.26/1358.58 c 488s | 18 | 3112802 | 325552 | 11903 51 | 283 | 590 1360.35/1360.63 c 490s | 18 | 3128153 | 326852 | 11903 51 | 283 | 590 1362.45/1362.78 c 492s | 18 | 3148047 | 328252 | 11903 51 | 283 | 590 1364.55/1364.88 c 494s | 18 | 3163293 | 329652 | 11903 51 | 283 | 590 1366.65/1366.91 c 496s | 18 | 3169858 | 330752 | 11903 52 | 283 | 590 1368.75/1369.04 c 498s | 18 | 3179510 | 331752 | 11903 52 | 283 | 590 1370.85/1371.14 c 500s | 18 | 3189449 | 332952 | 11903 52 | 283 | 590 1372.95/1373.26 c 502s | 18 | 3195499 | 334052 | 11903 52 | 283 | 590 1375.05/1375.35 c 504s | 18 | 3203342 | 335252 | 11903 52 | 283 | 590 1377.15/1377.49 c 506s | 18 | 3213232 | 336352 | 11903 53 | 283 | 590 1379.25/1379.52 c 509s | 18 | 3219902 | 337352 | 11903 53 | 283 | 590 1381.25/1381.60 c 511s | 18 | 3229924 | 338652 | 11903 53 | 283 | 590 1383.44/1383.70 c 513s | 18 | 3240352 | 340052 | 11903 53 | 283 | 590 1385.44/1385.75 c 515s | 18 | 3248806 | 341252 | 11903 53 | 283 | 590 1387.44/1387.79 c 517s | 18 | 3257859 | 342552 | 11903 53 | 283 | 590 1389.64/1389.91 c 519s | 18 | 3267133 | 343852 | 11903 54 | 283 | 590 1391.64/1391.91 c 521s | 18 | 3277035 | 344852 | 11903 54 | 283 | 590 1393.64/1393.94 c 523s | 18 | 3290772 | 346152 | 11903 54 | 283 | 590 1395.64/1395.96 c 525s | 18 | 3304107 | 347452 | 11903 54 | 283 | 590 1397.74/1398.06 c 527s | 18 | 3313417 | 348552 | 11903 54 | 283 | 590 1399.83/1400.14 c 529s | 18 | 3322033 | 349752 | 11903 55 | 283 | 590 1401.83/1402.19 c 531s | 18 | 3329296 | 350952 | 11903 55 | 283 | 590 1404.03/1404.33 c 533s | 18 | 3338533 | 352252 | 11903 55 | 283 | 590 1406.13/1406.46 c 535s | 18 | 3343218 | 352952 | 11903 55 | 283 | 590 1408.23/1408.57 c 538s | 18 | 3356577 | 353852 | 11903 55 | 283 | 590 1410.33/1410.63 c 540s | 18 | 3374418 | 355252 | 11903 55 | 283 | 590 1412.43/1412.78 c 542s | 18 | 3395996 | 356752 | 11903 56 | 283 | 590 1414.63/1414.91 c 544s | 18 | 3410970 | 358252 | 11903 56 | 283 | 590 1416.63/1416.96 c 546s | 18 | 3422036 | 359552 | 11903 56 | 283 | 590 1418.73/1419.04 c 548s | 18 | 3439936 | 360952 | 11903 56 | 283 | 590 1420.82/1421.16 c 550s | 18 | 3454324 | 362352 | 11903 57 | 283 | 590 1423.02/1423.30 c 552s | 18 | 3467280 | 363952 | 11903 57 | 283 | 590 1425.12/1425.40 c 554s | 18 | 3484007 | 365452 | 11903 57 | 283 | 590 1427.22/1427.52 c 557s | 18 | 3503258 | 366752 | 11903 57 | 283 | 590 1429.31/1429.64 c 559s | 18 | 3519264 | 368252 | 11903 57 | 283 | 590 1431.41/1431.74 c 561s | 18 | 3536888 | 369752 | 11903 58 | 283 | 590 1433.71/1434.03 c 563s | 18 | 3548963 | 371252 | 11903 58 | 283 | 590 1435.81/1436.12 c 565s | 18 | 3565051 | 372352 | 11903 58 | 283 | 590 1437.81/1438.13 c 567s | 18 | 3572438 | 373652 | 11903 58 | 283 | 590 1439.81/1440.19 c 569s | 18 | 3579807 | 374852 | 13094 59 | 283 | 590 1441.91/1442.26 c 571s | 18 | 3597284 | 376352 | 13094 59 | 283 | 590 1444.01/1444.36 c 573s | 18 | 3613077 | 377852 | 13094 59 | 283 | 590 1446.01/1446.39 c 575s | 18 | 3630598 | 379152 | 13094 59 | 283 | 590 1448.20/1448.51 c 578s | 18 | 3645808 | 380752 | 13094 59 | 283 | 590 1450.30/1450.63 c 580s | 18 | 3661571 | 382252 | 13094 60 | 283 | 590 1452.30/1452.66 c 582s | 18 | 3681849 | 383752 | 13094 60 | 283 | 590 1454.30/1454.70 c 584s | 18 | 3695582 | 385052 | 13094 60 | 283 | 590 1456.40/1456.75 c 586s | 18 | 3711633 | 386452 | 13094 60 | 283 | 590 1458.41/1458.76 c 588s | 18 | 3725182 | 387852 | 13094 60 | 283 | 590 1460.61/1460.93 c 590s | 18 | 3741658 | 389052 | 13094 60 | 283 | 590 1462.60/1462.97 c 592s | 18 | 3762121 | 390552 | 13094 61 | 283 | 590 1464.70/1465.01 c 594s | 18 | 3775932 | 392052 | 13094 61 | 283 | 590 1466.70/1467.05 c 596s | 18 | 3789213 | 393552 | 13094 61 | 283 | 590 1468.70/1469.07 c 598s | 18 | 3805844 | 394752 | 13094 61 | 283 | 590 1470.89/1471.24 c 600s | 18 | 3829234 | 396152 | 13094 62 | 283 | 590 1472.99/1473.32 c 602s | 18 | 3849621 | 397752 | 13094 62 | 283 | 590 1474.99/1475.37 c 604s | 18 | 3864415 | 399052 | 13094 62 | 283 | 590 1477.10/1477.48 c 606s | 18 | 3882952 | 400552 | 13094 62 | 283 | 590 1479.20/1479.51 c 609s | 18 | 3891812 | 402052 | 13094 62 | 283 | 590 1481.19/1481.53 c 611s | 18 | 3904066 | 403452 | 13094 63 | 283 | 590 1483.19/1483.56 c 613s | 18 | 3923120 | 404852 | 13094 63 | 283 | 590 1485.19/1485.59 c 615s | 18 | 3943708 | 406252 | 13094 63 | 283 | 590 1487.29/1487.60 c 617s | 18 | 3957607 | 407652 | 13094 63 | 283 | 590 1489.38/1489.70 c 619s | 18 | 3977114 | 409052 | 13094 63 | 283 | 590 1491.39/1491.76 c 621s | 18 | 3994324 | 410552 | 13094 64 | 283 | 590 1493.49/1493.83 c 623s | 18 | 4006956 | 411952 | 13094 64 | 283 | 590 1495.48/1495.84 c 625s | 18 | 4020541 | 413052 | 13094 64 | 283 | 590 1497.48/1497.87 c 627s | 18 | 4027800 | 414152 | 13094 64 | 283 | 590 1499.68/1500.03 c 629s | 18 | 4033768 | 415452 | 13094 64 | 283 | 590 1501.78/1502.14 c 631s | 18 | 4041456 | 416452 | 13094 64 | 283 | 590 1504.68/1505.00 c 634s | 18 | 4048647 | 417552 | 13094 65 | 283 | 590 1506.68/1507.07 c 636s | 18 | 4061853 | 418652 | 13094 65 | 283 | 590 1508.88/1509.21 c 638s | 18 | 4070940 | 419752 | 13094 65 | 283 | 590 1510.97/1511.30 c 640s | 18 | 4077886 | 420852 | 13094 65 | 283 | 590 1512.97/1513.39 c 642s | 18 | 4084716 | 422052 | 13094 65 | 283 | 590 1515.07/1515.48 c 644s | 18 | 4094150 | 423152 | 13094 65 | 283 | 590 1517.17/1517.50 c 647s | 18 | 4099870 | 423952 | 13094 66 | 283 | 590 1519.27/1519.63 c 649s | 18 | 4122980 | 425352 | 13094 66 | 283 | 590 1521.37/1521.75 c 651s | 18 | 4144954 | 426652 | 13094 66 | 283 | 590 1523.47/1523.83 c 653s | 18 | 4164801 | 428052 | 13094 66 | 283 | 590 1525.57/1525.95 c 655s | 18 | 4175934 | 429552 | 13094 66 | 283 | 590 1527.57/1527.98 c 657s | 18 | 4187295 | 430852 | 13094 66 | 283 | 590 1529.66/1530.09 c 659s | 18 | 4203079 | 432152 | 13094 67 | 283 | 590 1531.76/1532.14 c 661s | 18 | 4221837 | 433552 | 13094 67 | 283 | 590 1533.86/1534.22 c 663s | 18 | 4235564 | 434952 | 13094 67 | 283 | 590 1535.86/1536.22 c 665s | 18 | 4248323 | 436252 | 13094 67 | 283 | 590 1537.87/1538.29 c 667s | 18 | 4257908 | 437252 | 13094 67 | 283 | 590 1540.06/1540.45 c 669s | 18 | 4275687 | 438652 | 13094 68 | 283 | 590 1542.16/1542.59 c 672s | 18 | 4292177 | 440152 | 13094 68 | 283 | 590 1544.36/1544.76 c 674s | 18 | 4306830 | 441752 | 13094 68 | 283 | 590 1546.46/1546.82 c 676s | 18 | 4315928 | 442952 | 13094 68 | 283 | 590 1548.57/1548.90 c 678s | 18 | 4330104 | 443952 | 13094 68 | 283 | 590 1549.36/1549.73 c 679s | 19 | 4334887 | 444482 | 13094 68 | 283 | 590 1551.56/1551.93 c 681s | 19 | 4347582 | 445882 | 13094 69 | 283 | 590 1553.66/1554.00 c 683s | 19 | 4365245 | 447482 | 13094 69 | 283 | 590 1555.76/1556.13 c 685s | 19 | 4378653 | 449282 | 13094 69 | 283 | 590 1557.76/1558.19 c 687s | 19 | 4390753 | 450782 | 13094 69 | 283 | 590 1559.86/1560.24 c 689s | 19 | 4401611 | 452082 | 13094 70 | 283 | 590 1561.96/1562.37 c 691s | 19 | 4421543 | 453582 | 13094 70 | 283 | 590 1564.06/1564.48 c 693s | 19 | 4439631 | 454982 | 13094 70 | 283 | 590 1566.06/1566.50 c 695s | 19 | 4451412 | 456482 | 13094 70 | 283 | 590 1568.26/1568.62 c 698s | 19 | 4462067 | 457882 | 13094 70 | 283 | 590 1570.25/1570.70 c 700s | 19 | 4470310 | 459282 | 13094 71 | 283 | 590 1572.35/1572.75 c 702s | 19 | 4486785 | 460682 | 13094 71 | 283 | 590 1574.45/1574.88 c 704s | 19 | 4500824 | 462082 | 13094 71 | 283 | 590 1576.65/1577.00 c 706s | 19 | 4516786 | 463482 | 13094 71 | 283 | 590 1578.75/1579.16 c 708s | 19 | 4535232 | 464982 | 13094 71 | 283 | 590 1580.74/1581.20 c 710s | 19 | 4547155 | 466382 | 13094 72 | 283 | 590 1582.94/1583.32 c 712s | 19 | 4559824 | 467882 | 13094 72 | 283 | 590 1584.94/1585.34 c 714s | 19 | 4574460 | 469282 | 13094 72 | 283 | 590 1587.05/1587.44 c 716s | 19 | 4590282 | 470782 | 13094 72 | 283 | 590 1589.14/1589.55 c 719s | 19 | 4603320 | 472082 | 13094 72 | 283 | 590 1591.24/1591.60 c 721s | 19 | 4615395 | 473482 | 13094 73 | 283 | 590 1593.33/1593.75 c 723s | 19 | 4628690 | 474982 | 13094 73 | 283 | 590 1595.43/1595.87 c 725s | 19 | 4646038 | 476382 | 13094 73 | 283 | 590 1597.53/1597.92 c 727s | 19 | 4660573 | 477882 | 13094 73 | 283 | 590 1599.53/1599.94 c 729s | 19 | 4672858 | 479282 | 13094 73 | 283 | 590 1601.53/1601.97 c 731s | 19 | 4683187 | 480682 | 13094 74 | 283 | 590 1603.83/1604.29 c 733s | 19 | 4690187 | 481282 | 13094 74 | 283 | 590 1605.83/1606.29 c 735s | 19 | 4697039 | 481982 | 13094 74 | 283 | 590 1607.93/1608.36 c 737s | 19 | 4715515 | 483082 | 13094 74 | 283 | 590 1609.92/1610.40 c 739s | 19 | 4737016 | 484482 | 13094 74 | 283 | 590 1612.02/1612.42 c 741s | 19 | 4755495 | 485982 | 13094 74 | 283 | 590 1614.12/1614.59 c 744s | 19 | 4775071 | 487382 | 13094 75 | 283 | 590 1616.22/1616.68 c 746s | 19 | 4792482 | 488682 | 13094 75 | 283 | 590 1618.32/1618.72 c 748s | 19 | 4810383 | 490282 | 13094 75 | 283 | 590 1620.32/1620.73 c 750s | 19 | 4827688 | 491682 | 13094 75 | 283 | 590 1622.32/1622.73 c 752s | 19 | 4840176 | 493182 | 13094 75 | 283 | 590 1624.32/1624.75 c 754s | 19 | 4851139 | 494682 | 13094 76 | 283 | 590 1626.42/1626.87 c 756s | 19 | 4872163 | 496082 | 13094 76 | 283 | 590 1628.52/1628.95 c 758s | 19 | 4890078 | 497582 | 13094 76 | 283 | 590 1630.51/1630.96 c 760s | 19 | 4905238 | 498782 | 13094 76 | 283 | 590 1632.51/1632.96 c 762s | 19 | 4917285 | 500082 | 13094 76 | 283 | 590 1634.61/1635.09 c 764s | 19 | 4932963 | 501582 | 13094 77 | 283 | 590 1636.81/1637.21 c 766s | 19 | 4947127 | 503182 | 13094 77 | 283 | 590 1638.81/1639.29 c 768s | 19 | 4958777 | 504782 | 13094 77 | 283 | 590 1640.91/1641.36 c 770s | 19 | 4966246 | 506282 | 13094 77 | 283 | 590 1642.90/1643.37 c 772s | 19 | 4977967 | 507582 | 13094 78 | 283 | 590 1644.90/1645.38 c 774s | 19 | 5000572 | 509082 | 13094 78 | 283 | 590 1647.00/1647.45 c 776s | 19 | 5021651 | 510582 | 13094 78 | 283 | 590 1649.00/1649.49 c 778s | 19 | 5040619 | 511982 | 13094 78 | 283 | 590 1651.10/1651.56 c 781s | 19 | 5059844 | 513382 | 13094 78 | 283 | 590 1653.10/1653.57 c 783s | 19 | 5068295 | 514582 | 13094 79 | 283 | 590 1655.20/1655.66 c 785s | 19 | 5081243 | 515982 | 13094 79 | 283 | 590 1657.20/1657.69 c 787s | 19 | 5099098 | 517482 | 13094 79 | 283 | 590 1659.29/1659.71 c 789s | 19 | 5119111 | 518782 | 13094 79 | 283 | 590 1661.29/1661.74 c 791s | 19 | 5134399 | 519982 | 13094 79 | 283 | 590 1663.29/1663.79 c 793s | 19 | 5154678 | 521282 | 13094 80 | 283 | 590 1665.49/1665.92 c 795s | 19 | 5176021 | 522782 | 13094 80 | 283 | 590 1667.59/1668.06 c 797s | 19 | 5196141 | 524382 | 13094 80 | 283 | 590 1669.79/1670.21 c 799s | 19 | 5209363 | 525782 | 13094 80 | 283 | 590 1671.79/1672.22 c 801s | 19 | 5224648 | 526982 | 13094 80 | 283 | 590 1673.79/1674.26 c 803s | 19 | 5242180 | 528382 | 13094 81 | 283 | 590 1675.79/1676.27 c 805s | 19 | 5257323 | 529882 | 13094 81 | 283 | 590 1677.98/1678.44 c 807s | 19 | 5265603 | 530982 | 13094 81 | 283 | 590 1680.08/1680.56 c 810s | 19 | 5283996 | 532382 | 13094 81 | 283 | 590 1682.08/1682.57 c 812s | 19 | 5299822 | 533882 | 13094 81 | 283 | 590 1684.18/1684.68 c 814s | 19 | 5311426 | 535282 | 13094 82 | 283 | 590 1686.28/1686.74 c 816s | 19 | 5322179 | 536682 | 13094 82 | 283 | 590 1688.38/1688.84 c 818s | 19 | 5339223 | 538082 | 13094 82 | 283 | 590 1690.48/1690.94 c 820s | 19 | 5354380 | 539482 | 13094 82 | 283 | 590 1692.59/1693.09 c 822s | 19 | 5375577 | 540982 | 13094 82 | 283 | 590 1694.68/1695.14 c 824s | 19 | 5393725 | 542282 | 13094 83 | 283 | 590 1696.68/1697.15 c 826s | 19 | 5405217 | 543882 | 13094 83 | 283 | 590 1698.78/1699.24 c 828s | 19 | 5418036 | 545082 | 13094 83 | 283 | 590 1700.88/1701.32 c 830s | 19 | 5428563 | 546282 | 13094 83 | 283 | 590 1702.98/1703.44 c 832s | 19 | 5436714 | 547382 | 13094 83 | 283 | 590 1704.97/1705.46 c 834s | 19 | 5446583 | 548482 | 13094 83 | 283 | 590 1707.07/1707.51 c 837s | 19 | 5455003 | 549482 | 13094 84 | 283 | 590 1709.17/1709.61 c 839s | 19 | 5463555 | 550682 | 13094 84 | 283 | 590 1711.37/1711.82 c 841s | 19 | 5471531 | 551682 | 13094 84 | 283 | 590 1713.57/1714.03 c 843s | 19 | 5478481 | 552682 | 13094 84 | 283 | 590 1715.77/1716.21 c 845s | 19 | 5485140 | 553782 | 13094 84 | 283 | 590 1717.88/1718.36 c 847s | 19 | 5494400 | 554882 | 13094 84 | 283 | 590 1719.97/1720.44 c 849s | 19 | 5504638 | 555982 | 13094 85 | 283 | 590 1722.07/1722.52 c 852s | 19 | 5519228 | 557182 | 13094 85 | 283 | 590 1724.17/1724.68 c 854s | 19 | 5533409 | 558582 | 13094 85 | 283 | 590 1726.37/1726.87 c 856s | 19 | 5544364 | 559782 | 13094 85 | 283 | 590 1728.57/1729.01 c 858s | 19 | 5556072 | 561082 | 13094 85 | 283 | 590 1730.66/1731.19 c 860s | 19 | 5565139 | 562382 | 13094 85 | 283 | 590 1732.76/1733.23 c 862s | 19 | 5571896 | 563582 | 13094 86 | 283 | 590 1734.76/1735.27 c 864s | 19 | 5579196 | 564682 | 13094 86 | 283 | 590 1736.86/1737.37 c 866s | 19 | 5586556 | 565882 | 13094 86 | 283 | 590 1738.96/1739.47 c 868s | 19 | 5596190 | 567082 | 13094 86 | 283 | 590 1741.05/1741.55 c 871s | 19 | 5609639 | 568382 | 13094 86 | 283 | 590 1743.06/1743.60 c 873s | 19 | 5629180 | 569782 | 13094 86 | 283 | 590 1745.15/1745.64 c 875s | 19 | 5645665 | 571282 | 13094 87 | 283 | 590 1747.15/1747.66 c 877s | 19 | 5659415 | 572682 | 13094 87 | 283 | 590 1749.25/1749.71 c 879s | 19 | 5671272 | 574082 | 13094 87 | 283 | 590 1751.25/1751.77 c 881s | 19 | 5680610 | 575282 | 13094 87 | 283 | 590 1753.35/1753.82 c 883s | 19 | 5695129 | 576682 | 13094 87 | 283 | 590 1755.35/1755.89 c 885s | 19 | 5705365 | 578282 | 13094 88 | 283 | 590 1757.45/1757.97 c 887s | 19 | 5716690 | 579782 | 13094 88 | 283 | 590 1759.74/1760.29 c 889s | 19 | 5724903 | 581082 | 13094 88 | 283 | 590 1761.94/1762.47 c 891s | 19 | 5730405 | 581782 | 13094 88 | 283 | 590 1764.05/1764.54 c 894s | 19 | 5737506 | 583082 | 13094 88 | 283 | 590 1766.16/1766.67 c 896s | 19 | 5752095 | 584582 | 13094 89 | 283 | 590 1768.25/1768.76 c 898s | 19 | 5768405 | 585982 | 13094 89 | 283 | 590 1770.35/1770.84 c 900s | 19 | 5781978 | 587382 | 13094 89 | 283 | 590 1772.45/1772.92 c 902s | 19 | 5791763 | 588382 | 13094 89 | 283 | 590 1774.45/1774.96 c 904s | 19 | 5803326 | 589682 | 13094 89 | 283 | 590 1776.54/1777.01 c 906s | 19 | 5811970 | 590882 | 13094 90 | 283 | 590 1778.64/1779.15 c 908s | 19 | 5821899 | 592282 | 13094 90 | 283 | 590 1780.64/1781.15 c 910s | 19 | 5828237 | 593582 | 13094 90 | 283 | 590 1782.84/1783.32 c 912s | 19 | 5841046 | 594882 | 13094 90 | 283 | 590 1784.95/1785.42 c 914s | 19 | 5856755 | 596282 | 13094 90 | 283 | 590 1787.04/1787.59 c 917s | 19 | 5872552 | 597482 | 13094 90 | 283 | 590 1789.14/1789.66 c 919s | 19 | 5888851 | 598882 | 13094 91 | 283 | 590 1791.23/1791.74 c 921s | 19 | 5904580 | 600382 | 13094 91 | 283 | 590 1793.43/1793.95 c 923s | 19 | 5915534 | 601782 | 13094 91 | 283 | 590 1795.53/1796.07 c 925s | 19 | 5929560 | 603082 | 13094 91 | 283 | 590 1797.63/1798.15 c 927s | 19 | 5944678 | 604482 | 13094 91 | 283 | 590 1799.73/1800.20 c 929s | 19 | 5960116 | 605882 | 13094 92 | 283 | 590
ERROR: no interpretation found !
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-4079103-1465253930/watcher-4079103-1465253930 -o /tmp/evaluation-result-4079103-1465253930/solver-4079103-1465253930 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1183 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079103-1465253930.opb pid=5167 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.28 2.21 2.19 3/179 5170 /proc/meminfo: memFree=29170356/32872528 swapFree=16384/1696552 [pid=5170] ppid=5167 vsize=715196 CPUtime=0 cores=1,3,5,7 /proc/5170/stat : 5170 (toysat) R 5167 5170 1166 0 -1 4202496 2662 0 0 0 0 0 0 0 20 0 4 0 107326117 732360704 3024 33554432000 4194304 16246674 140736672996560 140736672995984 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5170/statm: 179311 3034 441 2943 0 176205 0 [pid=5170/tid=5171] ppid=5167 vsize=732604 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5171/stat : 5171 (toysat) S 5167 5170 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107326117 750186496 3095 33554432000 4194304 16246674 140736672996560 140460314045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5170/tid=5172] ppid=5167 vsize=736700 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5172/stat : 5172 (toysat) S 5167 5170 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107326117 754380800 3111 33554432000 4194304 16246674 140736672996560 140460303555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5170/tid=5173] ppid=5167 vsize=741820 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107326117 759623680 3128 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100116 s] /proc/loadavg: 2.28 2.21 2.19 3/179 5170 /proc/meminfo: memFree=29170356/32872528 swapFree=16384/1696552 [pid=5170] ppid=5167 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/5170/stat : 5170 (toysat) R 5167 5170 1166 0 -1 4202496 26407 0 0 0 5 4 0 0 20 0 4 0 107326117 1247350784 26756 33554432000 4194304 16246674 140736672996560 140736672995984 12654121 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5170/statm: 304529 26770 724 2943 0 301423 0 [pid=5170/tid=5171] ppid=5167 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5171/stat : 5171 (toysat) S 5167 5170 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107326117 1247350784 26780 33554432000 4194304 16246674 140736672996560 140460314045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5170/tid=5172] ppid=5167 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5172/stat : 5172 (toysat) S 5167 5170 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107326117 1247350784 26791 33554432000 4194304 16246674 140736672996560 140460303555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5170/tid=5173] ppid=5167 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107326117 1247350784 26801 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.20051 s] /proc/loadavg: 2.28 2.21 2.19 3/179 5170 /proc/meminfo: memFree=29170356/32872528 swapFree=16384/1696552 [pid=5170] ppid=5167 vsize=1221188 CPUtime=0.19 cores=1,3,5,7 /proc/5170/stat : 5170 (toysat) R 5167 5170 1166 0 -1 4202496 42477 0 0 0 14 5 0 0 20 0 4 0 107326117 1250496512 42804 33554432000 4194304 16246674 140736672996560 140736672995872 12449130 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5170/statm: 305297 42819 829 2943 0 302191 0 [pid=5170/tid=5171] ppid=5167 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5171/stat : 5171 (toysat) S 5167 5170 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107326117 1250496512 42829 33554432000 4194304 16246674 140736672996560 140460314045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5170/tid=5172] ppid=5167 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5172/stat : 5172 (toysat) S 5167 5170 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107326117 1250496512 42839 33554432000 4194304 16246674 140736672996560 140460303555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5170/tid=5173] ppid=5167 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107326117 1250496512 42849 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1221188 [startup+0.300539 s] /proc/loadavg: 2.28 2.21 2.19 3/179 5170 /proc/meminfo: memFree=29170356/32872528 swapFree=16384/1696552 [pid=5170] ppid=5167 vsize=1303108 CPUtime=0.28 cores=1,3,5,7 /proc/5170/stat : 5170 (toysat) R 5167 5170 1166 0 -1 4202496 73839 0 0 0 19 9 0 0 20 0 4 0 107326117 1334382592 74165 33554432000 4194304 16246674 140736672996560 140736672995872 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5170/statm: 325777 74174 830 2943 0 322671 0 [pid=5170/tid=5171] ppid=5167 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5171/stat : 5171 (toysat) S 5167 5170 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107326117 1334382592 74178 33554432000 4194304 16246674 140736672996560 140460314045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5170/tid=5172] ppid=5167 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5172/stat : 5172 (toysat) S 5167 5170 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107326117 1334382592 74182 33554432000 4194304 16246674 140736672996560 140460303555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5170/tid=5173] ppid=5167 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107326117 1334382592 74186 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1303108 [startup+0.700458 s] /proc/loadavg: 2.28 2.21 2.19 3/179 5170 /proc/meminfo: memFree=29170356/32872528 swapFree=16384/1696552 [pid=5170] ppid=5167 vsize=1307204 CPUtime=0.69 cores=1,3,5,7 /proc/5170/stat : 5170 (toysat) R 5167 5170 1166 0 -1 4202496 94808 0 0 0 57 12 0 0 20 0 4 0 107326117 1338576896 95134 33554432000 4194304 16246674 140736672996560 140736672978432 5890111 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5170/statm: 326801 95134 832 2943 0 323695 0 [pid=5170/tid=5171] ppid=5167 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5171/stat : 5171 (toysat) S 5167 5170 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107326117 1338576896 95134 33554432000 4194304 16246674 140736672996560 140460314045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5170/tid=5172] ppid=5167 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5172/stat : 5172 (toysat) S 5167 5170 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107326117 1338576896 95134 33554432000 4194304 16246674 140736672996560 140460303555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5170/tid=5173] ppid=5167 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107326117 1338576896 95134 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1307204 [startup+1.50042 s] /proc/loadavg: 2.28 2.21 2.19 3/183 5174 /proc/meminfo: memFree=28474992/32872528 swapFree=16384/1696552 [pid=5170] ppid=5167 vsize=1307204 CPUtime=1.49 cores=1,3,5,7 /proc/5170/stat : 5170 (toysat) R 5167 5170 1166 0 -1 4202496 265852 0 0 0 114 35 0 0 20 0 4 0 107326117 1338576896 266178 33554432000 4194304 16246674 140736672996560 140736672978432 12449399 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5170/statm: 326801 266195 832 2943 0 323695 0 [pid=5170/tid=5171] ppid=5167 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5171/stat : 5171 (toysat) S 5167 5170 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107326117 1338576896 266203 33554432000 4194304 16246674 140736672996560 140460314045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5170/tid=5172] ppid=5167 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5172/stat : 5172 (toysat) S 5167 5170 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107326117 1338576896 266214 33554432000 4194304 16246674 140736672996560 140460303555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5170/tid=5173] ppid=5167 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107326117 1338576896 266222 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1307204 [startup+3.10044 s] /proc/loadavg: 2.28 2.21 2.19 3/183 5174 /proc/meminfo: memFree=28087608/32872528 swapFree=16384/1696552 [pid=5170] ppid=5167 vsize=1318468 CPUtime=3.09 cores=1,3,5,7 /proc/5170/stat : 5170 (toysat) R 5167 5170 1166 0 -1 4202496 270691 0 0 0 274 35 0 0 20 0 4 0 107326117 1350111232 271017 33554432000 4194304 16246674 140736672996560 140736672978432 12371230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5170/statm: 329617 271017 832 2943 0 326511 0 [pid=5170/tid=5171] ppid=5167 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5171/stat : 5171 (toysat) S 5167 5170 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107326117 1350111232 271017 33554432000 4194304 16246674 140736672996560 140460314045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5170/tid=5172] ppid=5167 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5172/stat : 5172 (toysat) S 5167 5170 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107326117 1350111232 271017 33554432000 4194304 16246674 140736672996560 140460303555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5170/tid=5173] ppid=5167 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107326117 1350111232 271017 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1318468 [startup+6.30044 s] /proc/loadavg: 2.25 2.21 2.18 3/183 5174 /proc/meminfo: memFree=28086756/32872528 swapFree=16384/1696552 [pid=5170] ppid=5167 vsize=1319492 CPUtime=6.29 cores=1,3,5,7 /proc/5170/stat : 5170 (toysat) R 5167 5170 1166 0 -1 4202496 270932 0 0 0 594 35 0 0 20 0 4 0 107326117 1351159808 271258 33554432000 4194304 16246674 140736672996560 140736672978432 12371164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5170/statm: 329873 271258 832 2943 0 326767 0 [pid=5170/tid=5171] ppid=5167 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5171/stat : 5171 (toysat) S 5167 5170 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107326117 1351159808 271258 33554432000 4194304 16246674 140736672996560 140460314045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5170/tid=5172] ppid=5167 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5172/stat : 5172 (toysat) S 5167 5170 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107326117 1351159808 271258 33554432000 4194304 16246674 140736672996560 140460303555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5170/tid=5173] ppid=5167 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107326117 1351159808 271258 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1319492 [startup+12.7004 s] /proc/loadavg: 2.23 2.21 2.18 3/183 5174 /proc/meminfo: memFree=28085320/32872528 swapFree=16384/1696552 [pid=5170] ppid=5167 vsize=1319492 CPUtime=12.69 cores=1,3,5,7 /proc/5170/stat : 5170 (toysat) R 5167 5170 1166 0 -1 4202496 270957 0 0 0 1234 35 0 0 20 0 4 0 107326117 1351159808 271283 33554432000 4194304 16246674 140736672996560 140736672978432 5711716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5170/statm: 329873 271283 842 2943 0 326767 0 [pid=5170/tid=5171] ppid=5167 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5171/stat : 5171 (toysat) S 5167 5170 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107326117 1351159808 271283 33554432000 4194304 16246674 140736672996560 140460314045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5170/tid=5172] ppid=5167 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5172/stat : 5172 (toysat) S 5167 5170 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107326117 1351159808 271283 33554432000 4194304 16246674 140736672996560 140460303555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5170/tid=5173] ppid=5167 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107326117 1351159808 271283 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1319492 [startup+25.5006 s] /proc/loadavg: 2.25 2.21 2.18 3/183 5174 /proc/meminfo: memFree=28086444/32872528 swapFree=16384/1696552 [pid=5170] ppid=5167 vsize=1319492 CPUtime=25.48 cores=1,3,5,7 /proc/5170/stat : 5170 (toysat) R 5167 5170 1166 0 -1 4202496 270965 0 0 0 2513 35 0 0 20 0 4 0 107326117 1351159808 271291 33554432000 4194304 16246674 140736672996560 140736672978432 5829844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5170/statm: 329873 271291 850 2943 0 326767 0 [pid=5170/tid=5171] ppid=5167 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5171/stat : 5171 (toysat) S 5167 5170 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107326117 1351159808 271291 33554432000 4194304 16246674 140736672996560 140460314045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5170/tid=5172] ppid=5167 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5172/stat : 5172 (toysat) S 5167 5170 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107326117 1351159808 271291 33554432000 4194304 16246674 140736672996560 140460303555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5170/tid=5173] ppid=5167 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107326117 1351159808 271291 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1319492 [startup+51.1006 s] /proc/loadavg: 2.23 2.21 2.18 4/183 5174 /proc/meminfo: memFree=28086448/32872528 swapFree=16384/1696552 [pid=5170] ppid=5167 vsize=1319492 CPUtime=51.08 cores=1,3,5,7 /proc/5170/stat : 5170 (toysat) R 5167 5170 1166 0 -1 4202496 270966 0 0 0 5073 35 0 0 20 0 4 0 107326117 1351159808 271292 33554432000 4194304 16246674 140736672996560 140736672978432 5994012 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5170/statm: 329873 271292 851 2943 0 326767 0 [pid=5170/tid=5171] ppid=5167 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5171/stat : 5171 (toysat) S 5167 5170 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107326117 1351159808 271292 33554432000 4194304 16246674 140736672996560 140460314045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5170/tid=5172] ppid=5167 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5172/stat : 5172 (toysat) S 5167 5170 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107326117 1351159808 271292 33554432000 4194304 16246674 140736672996560 140460303555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5170/tid=5173] ppid=5167 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107326117 1351159808 271292 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1319492 [startup+102.3 s] /proc/loadavg: 2.22 2.21 2.18 3/184 5178 /proc/meminfo: memFree=28086512/32872528 swapFree=16384/1696552 [pid=5170] ppid=5167 vsize=1319492 CPUtime=102.28 cores=1,3,5,7 /proc/5170/stat : 5170 (toysat) R 5167 5170 1166 0 -1 4202496 270966 0 0 0 10193 35 0 0 20 0 4 0 107326117 1351159808 271292 33554432000 4194304 16246674 140736672996560 140736672978432 13752941 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5170/statm: 329873 271292 851 2943 0 326767 0 [pid=5170/tid=5171] ppid=5167 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5171/stat : 5171 (toysat) S 5167 5170 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107326117 1351159808 271292 33554432000 4194304 16246674 140736672996560 140460314045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5170/tid=5172] ppid=5167 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5172/stat : 5172 (toysat) S 5167 5170 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107326117 1351159808 271292 33554432000 4194304 16246674 140736672996560 140460303555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5170/tid=5173] ppid=5167 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107326117 1351159808 271292 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1319492 ################ # More data... # ################ /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275135 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 1334852 [startup+1362.3 s] /proc/loadavg: 2.18 2.21 2.18 3/183 5232 /proc/meminfo: memFree=28034112/32872528 swapFree=16384/1696552 [pid=5170] ppid=5167 vsize=1334852 CPUtime=1362.05 cores=1,3,5,7 /proc/5170/stat : 5170 (toysat) R 5167 5170 1166 0 -1 4202496 274853 0 0 0 136164 41 0 0 20 0 4 0 107326117 1366888448 275135 33554432000 4194304 16246674 140736672996560 140736672978432 6023166 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5170/statm: 333713 275135 851 2943 0 330607 0 [pid=5170/tid=5171] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5171/stat : 5171 (toysat) S 5167 5170 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275135 33554432000 4194304 16246674 140736672996560 140460314045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5170/tid=5172] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5172/stat : 5172 (toysat) S 5167 5170 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275135 33554432000 4194304 16246674 140736672996560 140460303555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5170/tid=5173] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275135 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 1334852 [startup+1422.3 s] /proc/loadavg: 2.30 2.23 2.19 3/183 5233 /proc/meminfo: memFree=28033668/32872528 swapFree=16384/1696552 [pid=5170] ppid=5167 vsize=1334852 CPUtime=1422.03 cores=1,3,5,7 /proc/5170/stat : 5170 (toysat) R 5167 5170 1166 0 -1 4202496 274887 0 0 0 142162 41 0 0 20 0 4 0 107326117 1366888448 275135 33554432000 4194304 16246674 140736672996560 140736672978432 6845816 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5170/statm: 333713 275135 851 2943 0 330607 0 [pid=5170/tid=5171] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5171/stat : 5171 (toysat) S 5167 5170 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275135 33554432000 4194304 16246674 140736672996560 140460314045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5170/tid=5172] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5172/stat : 5172 (toysat) S 5167 5170 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275135 33554432000 4194304 16246674 140736672996560 140460303555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5170/tid=5173] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275135 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 1334852 [startup+1482.3 s] /proc/loadavg: 2.41 2.27 2.20 3/183 5283 /proc/meminfo: memFree=28093332/32872528 swapFree=16384/1696552 [pid=5170] ppid=5167 vsize=1334852 CPUtime=1481.99 cores=1,3,5,7 /proc/5170/stat : 5170 (toysat) R 5167 5170 1166 0 -1 4202496 274917 0 0 0 148158 41 0 0 20 0 4 0 107326117 1366888448 275135 33554432000 4194304 16246674 140736672996560 140736672978432 5823238 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5170/statm: 333713 275135 851 2943 0 330607 0 [pid=5170/tid=5171] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5171/stat : 5171 (toysat) S 5167 5170 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275135 33554432000 4194304 16246674 140736672996560 140460314045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5170/tid=5172] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5172/stat : 5172 (toysat) S 5167 5170 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275135 33554432000 4194304 16246674 140736672996560 140460303555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5170/tid=5173] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275135 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.99 Current children cumulated vsize (KiB) 1334852 [startup+1542.31 s] /proc/loadavg: 2.27 2.26 2.20 3/183 5284 /proc/meminfo: memFree=28092040/32872528 swapFree=16384/1696552 [pid=5170] ppid=5167 vsize=1334852 CPUtime=1541.97 cores=1,3,5,7 /proc/5170/stat : 5170 (toysat) R 5167 5170 1166 0 -1 4202496 274945 0 0 0 154155 42 0 0 20 0 4 0 107326117 1366888448 275135 33554432000 4194304 16246674 140736672996560 140736672978432 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5170/statm: 333713 275135 851 2943 0 330607 0 [pid=5170/tid=5171] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5171/stat : 5171 (toysat) S 5167 5170 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275135 33554432000 4194304 16246674 140736672996560 140460314045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5170/tid=5172] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5172/stat : 5172 (toysat) S 5167 5170 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275135 33554432000 4194304 16246674 140736672996560 140460303555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5170/tid=5173] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275135 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.97 Current children cumulated vsize (KiB) 1334852 [startup+1602.3 s] /proc/loadavg: 2.21 2.24 2.19 3/183 5285 /proc/meminfo: memFree=28090220/32872528 swapFree=16384/1696552 [pid=5170] ppid=5167 vsize=1334852 CPUtime=1601.93 cores=1,3,5,7 /proc/5170/stat : 5170 (toysat) R 5167 5170 1166 0 -1 4202496 274983 0 0 0 160151 42 0 0 20 0 4 0 107326117 1366888448 275135 33554432000 4194304 16246674 140736672996560 140736672978432 6836258 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5170/statm: 333713 275135 851 2943 0 330607 0 [pid=5170/tid=5171] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5171/stat : 5171 (toysat) S 5167 5170 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275135 33554432000 4194304 16246674 140736672996560 140460314045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5170/tid=5172] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5172/stat : 5172 (toysat) S 5167 5170 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275135 33554432000 4194304 16246674 140736672996560 140460303555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5170/tid=5173] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275135 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 1334852 [startup+1662.3 s] /proc/loadavg: 2.17 2.22 2.18 3/183 5286 /proc/meminfo: memFree=28089012/32872528 swapFree=16384/1696552 [pid=5170] ppid=5167 vsize=1334852 CPUtime=1661.89 cores=1,3,5,7 /proc/5170/stat : 5170 (toysat) R 5167 5170 1166 0 -1 4202496 275020 0 0 0 166147 42 0 0 20 0 4 0 107326117 1366888448 275136 33554432000 4194304 16246674 140736672996560 140736672978432 12483667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5170/statm: 333713 275136 852 2943 0 330607 0 [pid=5170/tid=5171] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5171/stat : 5171 (toysat) S 5167 5170 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275136 33554432000 4194304 16246674 140736672996560 140460314045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5170/tid=5172] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5172/stat : 5172 (toysat) S 5167 5170 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275136 33554432000 4194304 16246674 140736672996560 140460303555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5170/tid=5173] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275136 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1334852 [startup+1722.3 s] /proc/loadavg: 2.24 2.23 2.18 3/183 5287 /proc/meminfo: memFree=28089808/32872528 swapFree=16384/1696552 [pid=5170] ppid=5167 vsize=1334852 CPUtime=1721.87 cores=1,3,5,7 /proc/5170/stat : 5170 (toysat) R 5167 5170 1166 0 -1 4202496 275052 0 0 0 172145 42 0 0 20 0 4 0 107326117 1366888448 275136 33554432000 4194304 16246674 140736672996560 140736672978432 6836953 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5170/statm: 333713 275136 852 2943 0 330607 0 [pid=5170/tid=5171] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5171/stat : 5171 (toysat) S 5167 5170 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275136 33554432000 4194304 16246674 140736672996560 140460314045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5170/tid=5172] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5172/stat : 5172 (toysat) S 5167 5170 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275136 33554432000 4194304 16246674 140736672996560 140460303555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5170/tid=5173] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275136 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1334852 [startup+1782.3 s] /proc/loadavg: 2.38 2.26 2.19 3/183 5289 /proc/meminfo: memFree=28085992/32872528 swapFree=16384/1696552 [pid=5170] ppid=5167 vsize=1334852 CPUtime=1781.84 cores=1,3,5,7 /proc/5170/stat : 5170 (toysat) R 5167 5170 1166 0 -1 4202496 275091 0 0 0 178141 43 0 0 20 0 4 0 107326117 1366888448 275136 33554432000 4194304 16246674 140736672996560 140736672978432 5722604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5170/statm: 333713 275136 852 2943 0 330607 0 [pid=5170/tid=5171] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5171/stat : 5171 (toysat) S 5167 5170 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275136 33554432000 4194304 16246674 140736672996560 140460314045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5170/tid=5172] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5172/stat : 5172 (toysat) S 5167 5170 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275136 33554432000 4194304 16246674 140736672996560 140460303555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5170/tid=5173] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275136 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1334852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.27 2.24 2.19 3/183 5289 /proc/meminfo: memFree=28085984/32872528 swapFree=16384/1696552 [pid=5170] ppid=5167 vsize=1334852 CPUtime=1800.03 cores=1,3,5,7 /proc/5170/stat : 5170 (toysat) R 5167 5170 1166 0 -1 4202496 275105 0 0 0 179960 43 0 0 20 0 4 0 107326117 1366888448 275136 33554432000 4194304 16246674 140736672996560 140736672978432 5600331 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5170/statm: 333713 275136 852 2943 0 330607 0 [pid=5170/tid=5171] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5171/stat : 5171 (toysat) S 5167 5170 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275136 33554432000 4194304 16246674 140736672996560 140460314045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5170/tid=5172] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5172/stat : 5172 (toysat) S 5167 5170 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275136 33554432000 4194304 16246674 140736672996560 140460303555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5170/tid=5173] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275136 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1334852 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 5170 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.27 2.24 2.19 3/183 5289 /proc/meminfo: memFree=28085984/32872528 swapFree=16384/1696552 [pid=5170] ppid=5167 vsize=1334852 CPUtime=1800.03 cores=1,3,5,7 /proc/5170/stat : 5170 (toysat) R 5167 5170 1166 0 -1 4202496 275105 0 0 0 179960 43 0 0 20 0 4 0 107326117 1366888448 275136 33554432000 4194304 16246674 140736672996560 140736672978432 5600331 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5170/statm: 333713 275136 852 2943 0 330607 0 [pid=5170/tid=5171] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5171/stat : 5171 (toysat) S 5167 5170 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275136 33554432000 4194304 16246674 140736672996560 140460314045680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5170/tid=5172] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5172/stat : 5172 (toysat) S 5167 5170 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275136 33554432000 4194304 16246674 140736672996560 140460303555824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5170/tid=5173] ppid=5167 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/5170/task/5173/stat : 5173 (toysat) S 5167 5170 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107326117 1366888448 275136 33554432000 4194304 16246674 140736672996560 140460293082288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1334852 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.52 CPU time (s): 1800.05 CPU user time (s): 1799.61 CPU system time (s): 0.442932 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 1334852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.61 system time used= 0.442932 maximum resident set size= 1100544 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 275105 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= 311 involuntary context switches= 1967 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.1936 second user time and 19.577 second system time The end
Begin job on node125 at 2016-06-07 00:58:51 IDJOB=4079103 IDBENCH=25050 IDSOLVER=2542 FILE ID=node125/4079103-1465253930 RUNJOBID= node125-1465224138-1183 PBS_JOBID= 19843237 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir04_trarea_ac.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079103-1465253930/watcher-4079103-1465253930 -o /tmp/evaluation-result-4079103-1465253930/solver-4079103-1465253930 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1183 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079103-1465253930.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a588ec671da067d931709859b503c557 RANDOM SEED=1921268330 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29171380 kB Buffers: 61476 kB Cached: 135764 kB SwapCached: 2016 kB Active: 1201636 kB Inactive: 97312 kB Active(anon): 1102564 kB Inactive(anon): 1380 kB Active(file): 99072 kB Inactive(file): 95932 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098492 kB Dirty: 16400 kB Writeback: 0 kB AnonPages: 2797016 kB Mapped: 10928 kB Shmem: 0 kB Slab: 569060 kB SReclaimable: 13088 kB SUnreclaim: 555972 kB KernelStack: 1496 kB PageTables: 9600 kB NFS_Unstable: 4 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2941744 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1685504 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71712 MiB End job on node125 at 2016-06-07 01:28:51