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.06 | 1800.61 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C880.b.opb |
| MD5SUM | d95d18eb9f9494c32273975c1bc570ba |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 63 |
| Best CPU time to get the best result obtained on this benchmark | 0.108983 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 63 |
| Optimality of the best value was proved | YES |
| Number of variables | 756 |
| Total number of constraints | 1853 |
| Number of constraints which are clauses | 1853 |
| 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 | 80 |
| Number of terms in the objective function | 756 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 756 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 756 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-06T22:02:32+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-4079699-1465243352.opb"] 0.00/0.01 c use --random-gen="87428825 2184862558 4226801825 3331053754 285305020 1128289455 3309587839 2001144955 1444237952 2229901133 309365167 2221088566 1383657539 889078939 70493080 2836862411 3613630324 2850579473 1153258725 804965936 3137096938 4200288387 402730636 2543397825 2388310059 4270391807 2738141558 3487254984 347676154 624472160 313085495 1430243068 626817600 2723843741 3958350734 231836188 2295389450 2966930394 3313064339 3877314630 953549593 4071960841 4021237635 528242131 843049242 3021983465 1250414507 2586996824 3326396876 2480243740 2730726416 3821169952 2331532544 472625427 1381567422 2283822137 109661429 1129116098 1361068023 2635791860 3078855857 1449087907 628737530 3817390149 2746777407 3507572342 4259355905 4066022332 2184705229 1504934365 2980696764 2754013419 3507101848 651570192 2759023475 3724407391 2516856853 252920074 201233937 1843979759 3782649253 4219754097 2678291250 364468656 2223364357 2803265128 4126698944 2716000149 2028060743 1055852275 2993457438 724452661 3500213433 105026252 3149220655 2300144372 1879972935 2012527282 2863011420 571393754 3827247576 694719191 844758387 3724311286 2673730307 1161217780 159900914 707477554 1026186719 3051408706 859707506 232049062 453474012 1534303706 852464118 376565082 3737154297 371481963 1781858576 1094255161 1294182441 3706624908 4254506075 3359478755 281846268 2193200560 1326763509 4173654520 2178518165 2759595058 1833101820 3937063259 3857246525 3542784714 2753806088 3663091851 3999385283 3876581220 1543775556 2465940980 3605278941 2626122814 1478623722 3246557814 3081347478 1001419961 2329261117 3759804993 114560909 3574597078 4067959045 2890242861 1020666155 2402914138 3752206632 832067854 1411074056 4158736743 1685283977 1824464572 4076313427 3497089119 4154758632 3089588925 183085542 804954516 3659616521 2252501436 4094509652 284085857 1706277732 1510166608 2747162569 2152977061 1830766194 3217484096 1716714894 2827620026 1883631750 3802044845 1193372848 760051019 3790100941 2221458873 3230767806 839410289 390217763 1482823466 513690481 3521854764 229327546 2558227738 117730280 2285456155 966805972 3319825029 3724496185 567697686 438284592 3687216715 3830105672 136697005 2289428966 3573979930 1999022902 728215829 3795578308 2144353055 2588664483 3078335858 780494762 4226192985 2059206210 4288601353 1473289055 1416160006 3955269292 544522859 746791676 2189594129 3094474692 152074961 439782319 3069076848 2054750879 4031217953 2169702251 2315917693 2398544433 68118769 3062051499 3765559251 4216400604 3786473563 3541220629 1253348707 2447212354 729039687 1159805158 2715781798 2670503061 3957744490 2574718813 1939842195 3228348358 1483769814 1981945884 4024984297 3918577018 828009439 880580000 2996989140 2537146367 1583991927 3429484590 3003872585 255 362436" option to reproduce the execution 0.00/0.06 c #vars 756 0.00/0.06 c #constraints 1853 0.09/0.10 c BCD2: Hardening is enabled. 0.09/0.10 c BCD2: BiasedSearch is enabled. 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 0 0.09/0.10 c 0.0s | 0 | 740 | 0 | 759 0 | 15 | 0 0.09/0.10 c #cpu_time = 0.005s 0.09/0.10 c #wall_clock_time = 0.005s 0.09/0.10 c #decision = 740 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 0 0.09/0.10 c #restart = 0 0.09/0.10 o 756 0.09/0.10 c BCD2: updating upper bound: 756 -> 755 0.09/0.11 c BCD2: 0 <= obj <= 755 0.09/0.11 c BCD2: #cores=0, #unrelaxed=756, #relaxed=0, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 0 0.09/0.11 c 0.0s | 0 | 4 | 0 | 759 0 | 15 | 0 0.09/0.11 c #cpu_time = 0.003s 0.09/0.11 c #wall_clock_time = 0.003s 0.09/0.11 c #decision = 4 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 1: cost of the new core is >=1 0.09/0.11 c lower bound updated to 1 0.09/0.11 c BCD2: 1 <= obj <= 755 0.09/0.11 c BCD2: #cores=1, #unrelaxed=755, #relaxed=1, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 0 0.09/0.11 c 0.0s | 0 | 6 | 0 | 759 0 | 15 | 0 0.09/0.11 c #cpu_time = 0.003s 0.09/0.11 c #wall_clock_time = 0.003s 0.09/0.11 c #decision = 6 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 1: cost of the new core is >=1 0.09/0.11 c lower bound updated to 2 0.09/0.11 c BCD2: 2 <= obj <= 755 0.09/0.11 c BCD2: #cores=2, #unrelaxed=754, #relaxed=2, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=3 bias=3/4 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 0 0.09/0.12 c 0.0s | 0 | 12 | 0 | 759 0 | 15 | 0 0.09/0.12 c #cpu_time = 0.003s 0.09/0.12 c #wall_clock_time = 0.003s 0.09/0.12 c #decision = 12 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 0 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: found a new core of size 1: cost of the new core is >=1 0.09/0.12 c lower bound updated to 3 0.09/0.12 c BCD2: 3 <= obj <= 755 0.09/0.12 c BCD2: #cores=3, #unrelaxed=753, #relaxed=3, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=4 bias=4/5 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 0 0.09/0.12 c 0.0s | 0 | 27 | 0 | 759 0 | 15 | 0 0.09/0.12 c #cpu_time = 0.003s 0.09/0.12 c #wall_clock_time = 0.003s 0.09/0.12 c #decision = 27 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 0 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: found a new core of size 2: cost of the new core is >=1 0.09/0.12 c lower bound updated to 4 0.09/0.12 c BCD2: 4 <= obj <= 755 0.09/0.12 c BCD2: #cores=4, #unrelaxed=751, #relaxed=5, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=5 bias=5/6 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 2 0.09/0.12 c 0.0s | 0 | 33 | 0 | 759 0 | 15 | 2 0.09/0.12 c #cpu_time = 0.003s 0.09/0.12 c #wall_clock_time = 0.003s 0.09/0.12 c #decision = 33 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 0 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: found a new core of size 2: cost of the new core is >=1 0.09/0.12 c lower bound updated to 5 0.09/0.12 c BCD2: 5 <= obj <= 755 0.09/0.12 c BCD2: #cores=5, #unrelaxed=749, #relaxed=7, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=6 bias=6/7 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 5 0.09/0.13 c 0.0s | 0 | 38 | 0 | 759 0 | 15 | 5 0.09/0.13 c #cpu_time = 0.003s 0.09/0.13 c #wall_clock_time = 0.003s 0.09/0.13 c #decision = 38 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 1: cost of the new core is >=1 0.09/0.13 c lower bound updated to 6 0.09/0.13 c BCD2: 6 <= obj <= 755 0.09/0.13 c BCD2: #cores=6, #unrelaxed=748, #relaxed=8, #hardened=0 0.09/0.13 c BCD2: #sat=1 #unsat=7 bias=7/8 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 | 759 0 | 15 | 5 0.09/0.13 c 0.0s | 0 | 45 | 0 | 759 0 | 15 | 5 0.09/0.13 c #cpu_time = 0.003s 0.09/0.13 c #wall_clock_time = 0.003s 0.09/0.13 c #decision = 45 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 1: cost of the new core is >=1 0.09/0.13 c lower bound updated to 7 0.09/0.13 c BCD2: 7 <= obj <= 755 0.09/0.13 c BCD2: #cores=7, #unrelaxed=747, #relaxed=9, #hardened=0 0.09/0.13 c BCD2: #sat=1 #unsat=8 bias=8/9 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 | 759 0 | 15 | 5 0.09/0.13 c 0.0s | 0 | 51 | 0 | 759 0 | 15 | 5 0.09/0.13 c #cpu_time = 0.003s 0.09/0.13 c #wall_clock_time = 0.003s 0.09/0.13 c #decision = 51 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 1: cost of the new core is >=1 0.09/0.13 c lower bound updated to 8 0.09/0.13 c BCD2: 8 <= obj <= 755 0.09/0.13 c BCD2: #cores=8, #unrelaxed=746, #relaxed=10, #hardened=0 0.09/0.13 c BCD2: #sat=1 #unsat=9 bias=9/10 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 | 759 0 | 15 | 5 0.09/0.14 c 0.0s | 0 | 56 | 0 | 759 0 | 15 | 5 0.09/0.14 c #cpu_time = 0.003s 0.09/0.14 c #wall_clock_time = 0.003s 0.09/0.14 c #decision = 56 0.09/0.14 c #random_decision = 0 0.09/0.14 c #conflict = 0 0.09/0.14 c #restart = 0 0.09/0.14 c BCD2: found a new core of size 2: cost of the new core is >=1 0.09/0.14 c lower bound updated to 9 0.09/0.14 c BCD2: 9 <= obj <= 755 0.09/0.14 c BCD2: #cores=9, #unrelaxed=744, #relaxed=12, #hardened=0 0.09/0.14 c BCD2: #sat=1 #unsat=10 bias=10/11 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 | 759 0 | 15 | 7 0.09/0.15 c 0.0s | 0 | 68 | 0 | 759 0 | 15 | 7 0.09/0.15 c #cpu_time = 0.003s 0.09/0.15 c #wall_clock_time = 0.003s 0.09/0.15 c #decision = 68 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 2: cost of the new core is >=1 0.09/0.15 c lower bound updated to 10 0.09/0.15 c BCD2: 10 <= obj <= 755 0.09/0.15 c BCD2: #cores=10, #unrelaxed=742, #relaxed=14, #hardened=0 0.09/0.15 c BCD2: #sat=1 #unsat=11 bias=11/12 0.09/0.15 c Solving starts ... 0.09/0.15 c ============================[ Search Statistics ]============================ 0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.15 c | | | | Limit GC | Var | Constra 0.09/0.15 c ============================================================================= 0.09/0.15 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 12 0.09/0.15 c 0.0s | 0 | 78 | 0 | 759 0 | 15 | 12 0.09/0.15 c #cpu_time = 0.002s 0.09/0.15 c #wall_clock_time = 0.003s 0.09/0.15 c #decision = 78 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 3: cost of the new core is >=1 0.09/0.15 c lower bound updated to 11 0.09/0.15 c BCD2: 11 <= obj <= 755 0.09/0.15 c BCD2: #cores=11, #unrelaxed=739, #relaxed=17, #hardened=0 0.09/0.15 c BCD2: #sat=1 #unsat=12 bias=12/13 0.09/0.15 c Solving starts ... 0.09/0.15 c ============================[ Search Statistics ]============================ 0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.15 c | | | | Limit GC | Var | Constra 0.09/0.15 c ============================================================================= 0.09/0.15 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 14 0.09/0.15 c 0.0s | 0 | 85 | 0 | 759 0 | 15 | 14 0.09/0.15 c #cpu_time = 0.002s 0.09/0.15 c #wall_clock_time = 0.002s 0.09/0.15 c #decision = 85 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 2: cost of the new core is >=1 0.09/0.15 c lower bound updated to 12 0.09/0.15 c BCD2: 12 <= obj <= 755 0.09/0.15 c BCD2: #cores=12, #unrelaxed=737, #relaxed=19, #hardened=0 0.09/0.15 c BCD2: #sat=1 #unsat=13 bias=13/14 0.09/0.15 c Solving starts ... 0.09/0.15 c ============================[ Search Statistics ]============================ 0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.15 c | | | | Limit GC | Var | Constra 0.09/0.15 c ============================================================================= 0.09/0.15 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 16 0.09/0.16 c 0.0s | 0 | 105 | 0 | 759 0 | 15 | 16 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 = 105 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 >=1 0.09/0.16 c lower bound updated to 13 0.09/0.16 c BCD2: 13 <= obj <= 755 0.09/0.16 c BCD2: #cores=13, #unrelaxed=736, #relaxed=20, #hardened=0 0.09/0.16 c BCD2: #sat=1 #unsat=14 bias=14/15 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 | 759 0 | 15 | 16 0.09/0.16 c 0.0s | 0 | 121 | 0 | 759 0 | 15 | 16 0.09/0.16 c #cpu_time = 0.002s 0.09/0.16 c #wall_clock_time = 0.003s 0.09/0.16 c #decision = 121 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 3: cost of the new core is >=1 0.09/0.16 c lower bound updated to 14 0.09/0.16 c BCD2: 14 <= obj <= 755 0.09/0.16 c BCD2: #cores=14, #unrelaxed=733, #relaxed=23, #hardened=0 0.09/0.16 c BCD2: #sat=1 #unsat=15 bias=15/16 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 | 759 0 | 15 | 19 0.09/0.16 c 0.0s | 0 | 121 | 0 | 759 0 | 15 | 19 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 = 121 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 7: cost of the new core is >=1 0.09/0.16 c lower bound updated to 15 0.09/0.16 c BCD2: 15 <= obj <= 755 0.09/0.16 c BCD2: #cores=15, #unrelaxed=726, #relaxed=30, #hardened=0 0.09/0.16 c BCD2: #sat=1 #unsat=16 bias=16/17 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 | 759 0 | 15 | 21 0.09/0.17 c 0.0s | 0 | 118 | 0 | 759 0 | 15 | 21 0.09/0.17 c #cpu_time = 0.002s 0.09/0.17 c #wall_clock_time = 0.002s 0.09/0.17 c #decision = 118 0.09/0.17 c #random_decision = 0 0.09/0.17 c #conflict = 0 0.09/0.17 c #restart = 0 0.09/0.17 c BCD2: found a new core of size 6: cost of the new core is >=1 0.09/0.17 c lower bound updated to 16 0.09/0.17 c BCD2: 16 <= obj <= 755 0.09/0.17 c BCD2: #cores=16, #unrelaxed=720, #relaxed=36, #hardened=0 0.09/0.17 c BCD2: #sat=1 #unsat=17 bias=17/18 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 23 0.09/0.17 c 0.0s | 0 | 124 | 0 | 759 0 | 15 | 23 0.09/0.17 c #cpu_time = 0.002s 0.09/0.17 c #wall_clock_time = 0.003s 0.09/0.17 c #decision = 124 0.09/0.17 c #random_decision = 0 0.09/0.17 c #conflict = 0 0.09/0.17 c #restart = 0 0.09/0.17 c BCD2: found a new core of size 4: cost of the new core is >=1 0.09/0.17 c lower bound updated to 17 0.09/0.17 c BCD2: 17 <= obj <= 755 0.09/0.17 c BCD2: #cores=17, #unrelaxed=716, #relaxed=40, #hardened=0 0.09/0.17 c BCD2: #sat=1 #unsat=18 bias=18/19 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 25 0.09/0.17 c 0.0s | 0 | 126 | 0 | 759 0 | 15 | 25 0.09/0.17 c #cpu_time = 0.002s 0.09/0.17 c #wall_clock_time = 0.003s 0.09/0.17 c #decision = 126 0.09/0.17 c #random_decision = 0 0.09/0.17 c #conflict = 0 0.09/0.17 c #restart = 0 0.09/0.17 c BCD2: found a new core of size 1: cost of the new core is >=1 0.09/0.17 c lower bound updated to 18 0.09/0.17 c BCD2: 18 <= obj <= 755 0.09/0.17 c BCD2: #cores=18, #unrelaxed=715, #relaxed=41, #hardened=0 0.09/0.17 c BCD2: #sat=1 #unsat=19 bias=19/20 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 25 0.09/0.18 c 0.0s | 0 | 155 | 0 | 759 0 | 15 | 25 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 = 155 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 1: cost of the new core is >=1 0.09/0.18 c lower bound updated to 19 0.09/0.18 c BCD2: 19 <= obj <= 755 0.09/0.18 c BCD2: #cores=19, #unrelaxed=714, #relaxed=42, #hardened=0 0.09/0.18 c BCD2: #sat=1 #unsat=20 bias=20/21 0.09/0.18 c Solving starts ... 0.09/0.18 c ============================[ Search Statistics ]============================ 0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.18 c | | | | Limit GC | Var | Constra 0.09/0.18 c ============================================================================= 0.09/0.18 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 25 0.09/0.18 c 0.0s | 0 | 192 | 0 | 759 0 | 15 | 25 0.09/0.18 c #cpu_time = 0.003s 0.09/0.18 c #wall_clock_time = 0.003s 0.09/0.18 c #decision = 192 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 8: cost of the new core is >=1 0.09/0.18 c lower bound updated to 20 0.09/0.18 c BCD2: 20 <= obj <= 755 0.09/0.18 c BCD2: #cores=20, #unrelaxed=706, #relaxed=50, #hardened=0 0.09/0.18 c BCD2: #sat=1 #unsat=21 bias=21/22 0.09/0.18 c Solving starts ... 0.09/0.18 c ============================[ Search Statistics ]============================ 0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.18 c | | | | Limit GC | Var | Constra 0.09/0.18 c ============================================================================= 0.09/0.18 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 28 0.09/0.18 c 0.0s | 0 | 195 | 0 | 759 0 | 15 | 28 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 = 195 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 1: cost of the new core is >=1 0.09/0.18 c lower bound updated to 21 0.09/0.18 c BCD2: 21 <= obj <= 755 0.09/0.18 c BCD2: #cores=21, #unrelaxed=705, #relaxed=51, #hardened=0 0.09/0.18 c BCD2: #sat=1 #unsat=22 bias=22/23 0.09/0.18 c Solving starts ... 0.09/0.18 c ============================[ Search Statistics ]============================ 0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.18 c | | | | Limit GC | Var | Constra 0.09/0.18 c ============================================================================= 0.09/0.18 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 28 0.09/0.19 c 0.0s | 0 | 203 | 0 | 759 0 | 15 | 28 0.09/0.19 c #cpu_time = 0.003s 0.09/0.19 c #wall_clock_time = 0.003s 0.09/0.19 c #decision = 203 0.09/0.19 c #random_decision = 0 0.09/0.19 c #conflict = 0 0.09/0.19 c #restart = 0 0.09/0.19 c BCD2: found a new core of size 1: cost of the new core is >=1 0.09/0.19 c lower bound updated to 22 0.09/0.19 c BCD2: 22 <= obj <= 755 0.09/0.19 c BCD2: #cores=22, #unrelaxed=704, #relaxed=52, #hardened=0 0.09/0.19 c BCD2: #sat=1 #unsat=23 bias=23/24 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 28 0.09/0.19 c 0.0s | 0 | 218 | 0 | 759 0 | 15 | 28 0.09/0.19 c #cpu_time = 0.003s 0.09/0.19 c #wall_clock_time = 0.003s 0.09/0.19 c #decision = 218 0.09/0.19 c #random_decision = 0 0.09/0.19 c #conflict = 0 0.09/0.19 c #restart = 0 0.09/0.19 c BCD2: found a new core of size 4: cost of the new core is >=1 0.09/0.19 c lower bound updated to 23 0.09/0.19 c BCD2: 23 <= obj <= 755 0.09/0.19 c BCD2: #cores=23, #unrelaxed=700, #relaxed=56, #hardened=0 0.09/0.19 c BCD2: #sat=1 #unsat=24 bias=24/25 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 30 0.09/0.19 c 0.0s | 0 | 249 | 0 | 759 0 | 15 | 30 0.09/0.19 c #cpu_time = 0.003s 0.09/0.19 c #wall_clock_time = 0.003s 0.09/0.19 c #decision = 249 0.09/0.19 c #random_decision = 0 0.09/0.19 c #conflict = 0 0.09/0.19 c #restart = 0 0.09/0.19 c BCD2: found a new core of size 16: cost of the new core is >=1 0.09/0.19 c lower bound updated to 24 0.09/0.19 c BCD2: 24 <= obj <= 755 0.09/0.19 c BCD2: #cores=24, #unrelaxed=684, #relaxed=72, #hardened=0 0.09/0.19 c BCD2: #sat=1 #unsat=25 bias=25/26 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 30 0.18/0.20 c 0.0s | 0 | 247 | 0 | 759 0 | 15 | 30 0.18/0.20 c #cpu_time = 0.003s 0.18/0.20 c #wall_clock_time = 0.003s 0.18/0.20 c #decision = 247 0.18/0.20 c #random_decision = 0 0.18/0.20 c #conflict = 0 0.18/0.20 c #restart = 0 0.18/0.20 c BCD2: found a new core of size 1: cost of the new core is >=1 0.18/0.20 c lower bound updated to 25 0.18/0.20 c BCD2: 25 <= obj <= 755 0.18/0.20 c BCD2: #cores=25, #unrelaxed=683, #relaxed=73, #hardened=0 0.18/0.20 c BCD2: #sat=1 #unsat=26 bias=26/27 0.18/0.20 c Solving starts ... 0.18/0.20 c ============================[ Search Statistics ]============================ 0.18/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.20 c | | | | Limit GC | Var | Constra 0.18/0.20 c ============================================================================= 0.18/0.20 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 30 0.18/0.20 c 0.0s | 0 | 290 | 0 | 759 0 | 15 | 30 0.18/0.20 c #cpu_time = 0.003s 0.18/0.20 c #wall_clock_time = 0.003s 0.18/0.20 c #decision = 290 0.18/0.20 c #random_decision = 0 0.18/0.20 c #conflict = 0 0.18/0.20 c #restart = 0 0.18/0.20 c BCD2: found a new core of size 3: cost of the new core is >=1 0.18/0.20 c lower bound updated to 26 0.18/0.20 c BCD2: 26 <= obj <= 755 0.18/0.20 c BCD2: #cores=26, #unrelaxed=680, #relaxed=76, #hardened=0 0.18/0.20 c BCD2: #sat=1 #unsat=27 bias=27/28 0.18/0.20 c Solving starts ... 0.18/0.20 c ============================[ Search Statistics ]============================ 0.18/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.20 c | | | | Limit GC | Var | Constra 0.18/0.20 c ============================================================================= 0.18/0.20 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 32 0.18/0.21 c 0.0s | 0 | 310 | 0 | 759 0 | 15 | 32 0.18/0.21 c #cpu_time = 0.002s 0.18/0.21 c #wall_clock_time = 0.002s 0.18/0.21 c #decision = 310 0.18/0.21 c #random_decision = 0 0.18/0.21 c #conflict = 0 0.18/0.21 c #restart = 0 0.18/0.21 c BCD2: found a new core of size 3: cost of the new core is >=1 0.18/0.21 c lower bound updated to 27 0.18/0.21 c BCD2: 27 <= obj <= 755 0.18/0.21 c BCD2: #cores=27, #unrelaxed=677, #relaxed=79, #hardened=0 0.18/0.21 c BCD2: #sat=1 #unsat=28 bias=28/29 0.18/0.21 c Solving starts ... 0.18/0.21 c ============================[ Search Statistics ]============================ 0.18/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.21 c | | | | Limit GC | Var | Constra 0.18/0.21 c ============================================================================= 0.18/0.21 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 34 0.18/0.21 c 0.0s | 0 | 309 | 0 | 759 0 | 15 | 34 0.18/0.21 c #cpu_time = 0.002s 0.18/0.21 c #wall_clock_time = 0.002s 0.18/0.21 c #decision = 309 0.18/0.21 c #random_decision = 0 0.18/0.21 c #conflict = 0 0.18/0.21 c #restart = 0 0.18/0.21 c BCD2: found a new core of size 5: cost of the new core is >=1 0.18/0.21 c lower bound updated to 28 0.18/0.21 c BCD2: 28 <= obj <= 755 0.18/0.21 c BCD2: #cores=28, #unrelaxed=672, #relaxed=84, #hardened=0 0.18/0.21 c BCD2: #sat=1 #unsat=29 bias=29/30 0.18/0.21 c Solving starts ... 0.18/0.21 c ============================[ Search Statistics ]============================ 0.18/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.21 c | | | | Limit GC | Var | Constra 0.18/0.21 c ============================================================================= 0.18/0.21 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 38 0.18/0.21 c 0.0s | 0 | 309 | 0 | 759 0 | 15 | 38 0.18/0.21 c #cpu_time = 0.002s 0.18/0.21 c #wall_clock_time = 0.002s 0.18/0.21 c #decision = 309 0.18/0.21 c #random_decision = 0 0.18/0.21 c #conflict = 0 0.18/0.21 c #restart = 0 0.18/0.21 c BCD2: found a new core of size 2: cost of the new core is >=1 0.18/0.21 c lower bound updated to 29 0.18/0.21 c BCD2: 29 <= obj <= 755 0.18/0.21 c BCD2: #cores=29, #unrelaxed=670, #relaxed=86, #hardened=0 0.18/0.21 c BCD2: #sat=1 #unsat=30 bias=30/31 0.18/0.21 c Solving starts ... 0.18/0.21 c ============================[ Search Statistics ]============================ 0.18/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.21 c | | | | Limit GC | Var | Constra 0.18/0.21 c ============================================================================= 0.18/0.21 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 42 0.18/0.21 c 0.0s | 0 | 330 | 0 | 759 0 | 15 | 42 0.18/0.21 c #cpu_time = 0.002s 0.18/0.21 c #wall_clock_time = 0.002s 0.18/0.21 c #decision = 330 0.18/0.21 c #random_decision = 0 0.18/0.21 c #conflict = 0 0.18/0.21 c #restart = 0 0.18/0.21 c BCD2: found a new core of size 12: cost of the new core is >=1 0.18/0.21 c lower bound updated to 30 0.18/0.21 c BCD2: 30 <= obj <= 755 0.18/0.21 c BCD2: #cores=30, #unrelaxed=658, #relaxed=98, #hardened=0 0.18/0.21 c BCD2: #sat=1 #unsat=31 bias=31/32 0.18/0.21 c Solving starts ... 0.18/0.21 c ============================[ Search Statistics ]============================ 0.18/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.21 c | | | | Limit GC | Var | Constra 0.18/0.21 c ============================================================================= 0.18/0.21 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 42 0.18/0.22 c 0.0s | 0 | 354 | 0 | 759 0 | 15 | 42 0.18/0.22 c #cpu_time = 0.002s 0.18/0.22 c #wall_clock_time = 0.002s 0.18/0.22 c #decision = 354 0.18/0.22 c #random_decision = 0 0.18/0.22 c #conflict = 0 0.18/0.22 c #restart = 0 0.18/0.22 c BCD2: found a new core of size 4: cost of the new core is >=1 0.18/0.22 c lower bound updated to 31 0.18/0.22 c BCD2: 31 <= obj <= 755 0.18/0.22 c BCD2: #cores=31, #unrelaxed=654, #relaxed=102, #hardened=0 0.18/0.22 c BCD2: #sat=1 #unsat=32 bias=32/33 0.18/0.22 c Solving starts ... 0.18/0.22 c ============================[ Search Statistics ]============================ 0.18/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.22 c | | | | Limit GC | Var | Constra 0.18/0.22 c ============================================================================= 0.18/0.22 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 44 0.18/0.22 c 0.0s | 0 | 357 | 0 | 759 0 | 15 | 44 0.18/0.22 c #cpu_time = 0.002s 0.18/0.22 c #wall_clock_time = 0.002s 0.18/0.22 c #decision = 357 0.18/0.22 c #random_decision = 0 0.18/0.22 c #conflict = 0 0.18/0.22 c #restart = 0 0.18/0.22 c BCD2: found a new core of size 4: cost of the new core is >=1 0.18/0.22 c lower bound updated to 32 0.18/0.22 c BCD2: 32 <= obj <= 755 0.18/0.22 c BCD2: #cores=32, #unrelaxed=650, #relaxed=106, #hardened=0 0.18/0.22 c BCD2: #sat=1 #unsat=33 bias=33/34 0.18/0.22 c Solving starts ... 0.18/0.22 c ============================[ Search Statistics ]============================ 0.18/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.22 c | | | | Limit GC | Var | Constra 0.18/0.22 c ============================================================================= 0.18/0.22 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 49 0.18/0.22 c 0.0s | 0 | 431 | 0 | 759 0 | 15 | 49 0.18/0.22 c #cpu_time = 0.002s 0.18/0.22 c #wall_clock_time = 0.002s 0.18/0.22 c #decision = 431 0.18/0.22 c #random_decision = 0 0.18/0.22 c #conflict = 0 0.18/0.22 c #restart = 0 0.18/0.22 c BCD2: found a new core of size 5: cost of the new core is >=1 0.18/0.22 c lower bound updated to 33 0.18/0.22 c BCD2: 33 <= obj <= 755 0.18/0.22 c BCD2: #cores=33, #unrelaxed=645, #relaxed=111, #hardened=0 0.18/0.22 c BCD2: #sat=1 #unsat=34 bias=34/35 0.18/0.22 c Solving starts ... 0.18/0.22 c ============================[ Search Statistics ]============================ 0.18/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.22 c | | | | Limit GC | Var | Constra 0.18/0.22 c ============================================================================= 0.18/0.22 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 51 0.18/0.22 c 0.0s | 0 | 432 | 0 | 759 0 | 15 | 51 0.18/0.22 c #cpu_time = 0.002s 0.18/0.22 c #wall_clock_time = 0.002s 0.18/0.22 c #decision = 432 0.18/0.22 c #random_decision = 0 0.18/0.22 c #conflict = 0 0.18/0.22 c #restart = 0 0.18/0.22 c BCD2: found a new core of size 12: cost of the new core is >=1 0.18/0.22 c lower bound updated to 34 0.18/0.22 c BCD2: 34 <= obj <= 755 0.18/0.22 c BCD2: #cores=34, #unrelaxed=633, #relaxed=123, #hardened=0 0.18/0.22 c BCD2: #sat=1 #unsat=35 bias=35/36 0.18/0.22 c Solving starts ... 0.18/0.22 c ============================[ Search Statistics ]============================ 0.18/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.22 c | | | | Limit GC | Var | Constra 0.18/0.22 c ============================================================================= 0.18/0.22 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 57 0.18/0.23 c 0.0s | 0 | 426 | 0 | 759 0 | 15 | 57 0.18/0.23 c #cpu_time = 0.002s 0.18/0.23 c #wall_clock_time = 0.002s 0.18/0.23 c #decision = 426 0.18/0.23 c #random_decision = 0 0.18/0.23 c #conflict = 0 0.18/0.23 c #restart = 0 0.18/0.23 c BCD2: found a new core of size 24: cost of the new core is >=1 0.18/0.23 c lower bound updated to 35 0.18/0.23 c BCD2: 35 <= obj <= 755 0.18/0.23 c BCD2: #cores=35, #unrelaxed=609, #relaxed=147, #hardened=0 0.18/0.23 c BCD2: #sat=1 #unsat=36 bias=36/37 0.18/0.23 c Solving starts ... 0.18/0.23 c ============================[ Search Statistics ]============================ 0.18/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.23 c | | | | Limit GC | Var | Constra 0.18/0.23 c ============================================================================= 0.18/0.23 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 57 0.18/0.23 c 0.0s | 0 | 408 | 0 | 759 0 | 15 | 57 0.18/0.23 c #cpu_time = 0.002s 0.18/0.23 c #wall_clock_time = 0.002s 0.18/0.23 c #decision = 408 0.18/0.23 c #random_decision = 0 0.18/0.23 c #conflict = 0 0.18/0.23 c #restart = 0 0.18/0.23 c BCD2: found a new core of size 1: cost of the new core is >=1 0.18/0.23 c lower bound updated to 36 0.18/0.23 c BCD2: 36 <= obj <= 755 0.18/0.23 c BCD2: #cores=36, #unrelaxed=608, #relaxed=148, #hardened=0 0.18/0.23 c BCD2: #sat=1 #unsat=37 bias=37/38 0.18/0.23 c Solving starts ... 0.18/0.23 c ============================[ Search Statistics ]============================ 0.18/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.23 c | | | | Limit GC | Var | Constra 0.18/0.23 c ============================================================================= 0.18/0.23 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 57 0.18/0.23 c 0.0s | 0 | 426 | 0 | 759 0 | 15 | 57 0.18/0.23 c #cpu_time = 0.002s 0.18/0.23 c #wall_clock_time = 0.002s 0.18/0.23 c #decision = 426 0.18/0.23 c #random_decision = 0 0.18/0.23 c #conflict = 0 0.18/0.23 c #restart = 0 0.18/0.23 c BCD2: found a new core of size 21: cost of the new core is >=1 0.18/0.23 c lower bound updated to 37 0.18/0.23 c BCD2: 37 <= obj <= 755 0.18/0.23 c BCD2: #cores=37, #unrelaxed=587, #relaxed=169, #hardened=0 0.18/0.23 c BCD2: #sat=1 #unsat=38 bias=38/39 0.18/0.23 c Solving starts ... 0.18/0.23 c ============================[ Search Statistics ]============================ 0.18/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.23 c | | | | Limit GC | Var | Constra 0.18/0.23 c ============================================================================= 0.18/0.23 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 59 0.18/0.23 c 0.0s | 0 | 426 | 0 | 759 0 | 15 | 59 0.18/0.23 c #cpu_time = 0.002s 0.18/0.23 c #wall_clock_time = 0.002s 0.18/0.23 c #decision = 426 0.18/0.23 c #random_decision = 0 0.18/0.23 c #conflict = 0 0.18/0.23 c #restart = 0 0.18/0.23 c BCD2: found a new core of size 13: cost of the new core is >=1 0.18/0.23 c lower bound updated to 38 0.18/0.23 c BCD2: 38 <= obj <= 755 0.18/0.23 c BCD2: #cores=38, #unrelaxed=574, #relaxed=182, #hardened=0 0.18/0.23 c BCD2: #sat=1 #unsat=39 bias=39/40 0.18/0.23 c Solving starts ... 0.18/0.23 c ============================[ Search Statistics ]============================ 0.18/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.23 c | | | | Limit GC | Var | Constra 0.18/0.23 c ============================================================================= 0.18/0.23 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 62 0.18/0.24 c 0.0s | 0 | 437 | 0 | 759 0 | 15 | 62 0.18/0.24 c #cpu_time = 0.002s 0.18/0.24 c #wall_clock_time = 0.002s 0.18/0.24 c #decision = 437 0.18/0.24 c #random_decision = 0 0.18/0.24 c #conflict = 0 0.18/0.24 c #restart = 0 0.18/0.24 c BCD2: found a new core of size 1: cost of the new core is >=1 0.18/0.24 c lower bound updated to 39 0.18/0.24 c BCD2: 39 <= obj <= 755 0.18/0.24 c BCD2: #cores=39, #unrelaxed=573, #relaxed=183, #hardened=0 0.18/0.24 c BCD2: #sat=1 #unsat=40 bias=40/41 0.18/0.24 c Solving starts ... 0.18/0.24 c ============================[ Search Statistics ]============================ 0.18/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.24 c | | | | Limit GC | Var | Constra 0.18/0.24 c ============================================================================= 0.18/0.24 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 62 0.18/0.24 c 0.0s | 0 | 443 | 0 | 759 0 | 15 | 62 0.18/0.24 c #cpu_time = 0.002s 0.18/0.24 c #wall_clock_time = 0.002s 0.18/0.24 c #decision = 443 0.18/0.24 c #random_decision = 0 0.18/0.24 c #conflict = 0 0.18/0.24 c #restart = 0 0.18/0.24 c BCD2: found a new core of size 8: cost of the new core is >=1 0.18/0.24 c lower bound updated to 40 0.18/0.24 c BCD2: 40 <= obj <= 755 0.18/0.24 c BCD2: #cores=40, #unrelaxed=565, #relaxed=191, #hardened=0 0.18/0.24 c BCD2: #sat=1 #unsat=41 bias=41/42 0.18/0.24 c Solving starts ... 0.18/0.24 c ============================[ Search Statistics ]============================ 0.18/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.24 c | | | | Limit GC | Var | Constra 0.18/0.24 c ============================================================================= 0.18/0.24 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 64 0.18/0.24 c 0.0s | 0 | 452 | 0 | 759 0 | 15 | 64 0.18/0.24 c #cpu_time = 0.002s 0.18/0.24 c #wall_clock_time = 0.002s 0.18/0.24 c #decision = 452 0.18/0.24 c #random_decision = 0 0.18/0.24 c #conflict = 0 0.18/0.24 c #restart = 0 0.18/0.24 c BCD2: found a new core of size 5: cost of the new core is >=1 0.18/0.24 c lower bound updated to 41 0.18/0.24 c BCD2: 41 <= obj <= 755 0.18/0.24 c BCD2: #cores=41, #unrelaxed=560, #relaxed=196, #hardened=0 0.18/0.24 c BCD2: #sat=1 #unsat=42 bias=42/43 0.18/0.24 c Solving starts ... 0.18/0.24 c ============================[ Search Statistics ]============================ 0.18/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.24 c | | | | Limit GC | Var | Constra 0.18/0.24 c ============================================================================= 0.18/0.24 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 65 0.18/0.25 c 0.0s | 0 | 453 | 1 | 759 0 | 15 | 65 0.18/0.25 c #cpu_time = 0.003s 0.18/0.25 c #wall_clock_time = 0.003s 0.18/0.25 c #decision = 453 0.18/0.25 c #random_decision = 0 0.18/0.25 c #conflict = 1 0.18/0.25 c #restart = 0 0.18/0.25 c BCD2: found a new core of size 13: cost of the new core is >=1 0.18/0.25 c lower bound updated to 42 0.18/0.25 c BCD2: 42 <= obj <= 755 0.18/0.25 c BCD2: #cores=42, #unrelaxed=547, #relaxed=209, #hardened=0 0.18/0.25 c BCD2: #sat=1 #unsat=43 bias=43/44 0.18/0.25 c Solving starts ... 0.18/0.25 c ============================[ Search Statistics ]============================ 0.18/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.25 c | | | | Limit GC | Var | Constra 0.18/0.25 c ============================================================================= 0.18/0.25 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 65 0.18/0.25 c 0.0s | 0 | 441 | 0 | 759 0 | 15 | 65 0.18/0.25 c #cpu_time = 0.003s 0.18/0.25 c #wall_clock_time = 0.003s 0.18/0.25 c #decision = 441 0.18/0.25 c #random_decision = 0 0.18/0.25 c #conflict = 0 0.18/0.25 c #restart = 0 0.18/0.25 c BCD2: found a new core of size 1: cost of the new core is >=1 0.18/0.25 c lower bound updated to 43 0.18/0.25 c BCD2: 43 <= obj <= 755 0.18/0.25 c BCD2: #cores=43, #unrelaxed=546, #relaxed=210, #hardened=0 0.18/0.25 c BCD2: #sat=1 #unsat=44 bias=44/45 0.18/0.25 c Solving starts ... 0.18/0.25 c ============================[ Search Statistics ]============================ 0.18/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.25 c | | | | Limit GC | Var | Constra 0.18/0.25 c ============================================================================= 0.18/0.25 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 65 0.18/0.26 c 0.0s | 0 | 464 | 0 | 759 0 | 15 | 65 0.18/0.26 c #cpu_time = 0.002s 0.18/0.26 c #wall_clock_time = 0.002s 0.18/0.26 c #decision = 464 0.18/0.26 c #random_decision = 0 0.18/0.26 c #conflict = 0 0.18/0.26 c #restart = 0 0.18/0.26 c BCD2: found a new core of size 11: cost of the new core is >=1 0.18/0.26 c lower bound updated to 44 0.18/0.26 c BCD2: 44 <= obj <= 755 0.18/0.26 c BCD2: #cores=44, #unrelaxed=535, #relaxed=221, #hardened=0 0.18/0.26 c BCD2: #sat=1 #unsat=45 bias=45/46 0.18/0.26 c Solving starts ... 0.18/0.26 c ============================[ Search Statistics ]============================ 0.18/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.26 c | | | | Limit GC | Var | Constra 0.18/0.26 c ============================================================================= 0.18/0.26 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 65 0.18/0.26 c 0.0s | 0 | 457 | 0 | 759 0 | 15 | 65 0.18/0.26 c #cpu_time = 0.002s 0.18/0.26 c #wall_clock_time = 0.002s 0.18/0.26 c #decision = 457 0.18/0.26 c #random_decision = 0 0.18/0.26 c #conflict = 0 0.18/0.26 c #restart = 0 0.18/0.26 c BCD2: found a new core of size 6: cost of the new core is >=1 0.18/0.26 c lower bound updated to 45 0.18/0.26 c BCD2: 45 <= obj <= 755 0.18/0.26 c BCD2: #cores=45, #unrelaxed=529, #relaxed=227, #hardened=0 0.18/0.26 c BCD2: #sat=1 #unsat=46 bias=46/47 0.18/0.26 c Solving starts ... 0.18/0.26 c ============================[ Search Statistics ]============================ 0.18/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.26 c | | | | Limit GC | Var | Constra 0.18/0.26 c ============================================================================= 0.18/0.26 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 65 0.18/0.26 c 0.0s | 0 | 453 | 0 | 759 0 | 15 | 65 0.18/0.26 c #cpu_time = 0.002s 0.18/0.26 c #wall_clock_time = 0.002s 0.18/0.26 c #decision = 453 0.18/0.26 c #random_decision = 0 0.18/0.26 c #conflict = 0 0.18/0.26 c #restart = 0 0.18/0.26 c BCD2: found a new core of size 5: cost of the new core is >=1 0.18/0.26 c lower bound updated to 46 0.18/0.26 c BCD2: 46 <= obj <= 755 0.18/0.26 c BCD2: #cores=46, #unrelaxed=524, #relaxed=232, #hardened=0 0.18/0.26 c BCD2: #sat=1 #unsat=47 bias=47/48 0.18/0.26 c Solving starts ... 0.18/0.26 c ============================[ Search Statistics ]============================ 0.18/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.26 c | | | | Limit GC | Var | Constra 0.18/0.26 c ============================================================================= 0.18/0.26 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 70 0.18/0.26 c 0.0s | 0 | 455 | 1 | 759 0 | 15 | 70 0.18/0.26 c #cpu_time = 0.002s 0.18/0.26 c #wall_clock_time = 0.002s 0.18/0.26 c #decision = 455 0.18/0.26 c #random_decision = 0 0.18/0.26 c #conflict = 1 0.18/0.26 c #restart = 0 0.18/0.26 c BCD2: found a new core of size 7: cost of the new core is >=1 0.18/0.26 c lower bound updated to 47 0.18/0.26 c BCD2: 47 <= obj <= 755 0.18/0.26 c BCD2: #cores=47, #unrelaxed=517, #relaxed=239, #hardened=0 0.18/0.26 c BCD2: #sat=1 #unsat=48 bias=48/49 0.18/0.26 c Solving starts ... 0.18/0.26 c ============================[ Search Statistics ]============================ 0.18/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.26 c | | | | Limit GC | Var | Constra 0.18/0.26 c ============================================================================= 0.18/0.26 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 70 0.18/0.27 c 0.0s | 0 | 450 | 0 | 759 0 | 15 | 70 0.18/0.27 c #cpu_time = 0.002s 0.18/0.27 c #wall_clock_time = 0.002s 0.18/0.27 c #decision = 450 0.18/0.27 c #random_decision = 0 0.18/0.27 c #conflict = 0 0.18/0.27 c #restart = 0 0.18/0.27 c BCD2: found a new core of size 11: cost of the new core is >=1 0.18/0.27 c lower bound updated to 48 0.18/0.27 c BCD2: 48 <= obj <= 755 0.18/0.27 c BCD2: #cores=48, #unrelaxed=506, #relaxed=250, #hardened=0 0.18/0.27 c BCD2: #sat=1 #unsat=49 bias=49/50 0.18/0.27 c Solving starts ... 0.18/0.27 c ============================[ Search Statistics ]============================ 0.18/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.27 c | | | | Limit GC | Var | Constra 0.18/0.27 c ============================================================================= 0.18/0.27 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 70 0.18/0.27 c 0.0s | 0 | 474 | 0 | 759 0 | 15 | 70 0.18/0.27 c #cpu_time = 0.002s 0.18/0.27 c #wall_clock_time = 0.002s 0.18/0.27 c #decision = 474 0.18/0.27 c #random_decision = 0 0.18/0.27 c #conflict = 0 0.18/0.27 c #restart = 0 0.18/0.27 c BCD2: found a new core of size 16: cost of the new core is >=1 0.18/0.27 c lower bound updated to 49 0.18/0.27 c BCD2: 49 <= obj <= 755 0.18/0.27 c BCD2: #cores=49, #unrelaxed=490, #relaxed=266, #hardened=0 0.18/0.27 c BCD2: #sat=1 #unsat=50 bias=50/51 0.18/0.27 c Solving starts ... 0.18/0.27 c ============================[ Search Statistics ]============================ 0.18/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.27 c | | | | Limit GC | Var | Constra 0.18/0.27 c ============================================================================= 0.18/0.27 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 71 0.18/0.27 c 0.0s | 0 | 530 | 1 | 759 0 | 15 | 71 0.18/0.27 c #cpu_time = 0.002s 0.18/0.27 c #wall_clock_time = 0.002s 0.18/0.27 c #decision = 530 0.18/0.27 c #random_decision = 0 0.18/0.27 c #conflict = 1 0.18/0.27 c #restart = 0 0.18/0.27 c BCD2: found a new core of size 5: cost of the new core is >=1 0.18/0.27 c lower bound updated to 50 0.18/0.27 c BCD2: 50 <= obj <= 755 0.18/0.27 c BCD2: #cores=50, #unrelaxed=485, #relaxed=271, #hardened=0 0.18/0.27 c BCD2: #sat=1 #unsat=51 bias=51/52 0.18/0.27 c Solving starts ... 0.18/0.27 c ============================[ Search Statistics ]============================ 0.18/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.27 c | | | | Limit GC | Var | Constra 0.18/0.27 c ============================================================================= 0.18/0.27 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 110 0.18/0.27 c 0.0s | 0 | 479 | 1 | 759 0 | 15 | 110 0.18/0.27 c #cpu_time = 0.002s 0.18/0.27 c #wall_clock_time = 0.002s 0.18/0.27 c #decision = 479 0.18/0.27 c #random_decision = 0 0.18/0.27 c #conflict = 1 0.18/0.27 c #restart = 0 0.18/0.27 c BCD2: found a new core of size 62: cost of the new core is >=1 0.18/0.27 c lower bound updated to 51 0.18/0.27 c BCD2: 51 <= obj <= 755 0.18/0.27 c BCD2: #cores=51, #unrelaxed=423, #relaxed=333, #hardened=0 0.18/0.27 c BCD2: #sat=1 #unsat=52 bias=52/53 0.18/0.27 c Solving starts ... 0.18/0.27 c ============================[ Search Statistics ]============================ 0.18/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.27 c | | | | Limit GC | Var | Constra 0.18/0.27 c ============================================================================= 0.18/0.27 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 110 0.18/0.28 c 0.0s | 0 | 462 | 0 | 759 0 | 15 | 110 0.18/0.28 c #cpu_time = 0.002s 0.18/0.28 c #wall_clock_time = 0.002s 0.18/0.28 c #decision = 462 0.18/0.28 c #random_decision = 0 0.18/0.28 c #conflict = 0 0.18/0.28 c #restart = 0 0.18/0.28 c BCD2: found a new core of size 14: cost of the new core is >=1 0.18/0.28 c lower bound updated to 52 0.18/0.28 c BCD2: 52 <= obj <= 755 0.18/0.28 c BCD2: #cores=52, #unrelaxed=409, #relaxed=347, #hardened=0 0.18/0.28 c BCD2: #sat=1 #unsat=53 bias=53/54 0.18/0.28 c Solving starts ... 0.18/0.28 c ============================[ Search Statistics ]============================ 0.18/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.28 c | | | | Limit GC | Var | Constra 0.18/0.28 c ============================================================================= 0.18/0.28 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 111 0.18/0.28 c 0.0s | 0 | 684 | 0 | 759 0 | 15 | 111 0.18/0.28 c #cpu_time = 0.002s 0.18/0.28 c #wall_clock_time = 0.002s 0.18/0.28 c #decision = 684 0.18/0.28 c #random_decision = 0 0.18/0.28 c #conflict = 0 0.18/0.28 c #restart = 0 0.18/0.28 o 86 0.18/0.28 c BCD2: updating upper bound: 755 -> 85 0.18/0.28 c BCD2: 52 <= obj <= 85 0.18/0.28 c BCD2: #cores=52, #unrelaxed=409, #relaxed=347, #hardened=0 0.18/0.28 c BCD2: #sat=2 #unsat=53 bias=53/55 0.18/0.28 c Solving starts ... 0.18/0.28 c ============================[ Search Statistics ]============================ 0.18/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.28 c | | | | Limit GC | Var | Constra 0.18/0.28 c ============================================================================= 0.18/0.28 c 0.0s | 0 | 0 | 0 | 759 0 | 15 | 112 0.18/0.29 c 0.0s | 0 | 699 | 1 | 759 0 | 15 | 112 0.18/0.29 c #cpu_time = 0.002s 0.18/0.29 c #wall_clock_time = 0.002s 0.18/0.29 c #decision = 699 0.18/0.29 c #random_decision = 0 0.18/0.29 c #conflict = 1 0.18/0.29 c #restart = 0 0.18/0.29 c BCD2: relaxing 8 and merging with 2 cores into a new core of size 26: cost of the new core is >=3 0.18/0.29 c lower bound updated to 53 0.18/0.29 c BCD2: 53 <= obj <= 85 0.18/0.29 c BCD2: #cores=51, #unrelaxed=401, #relaxed=355, #hardened=0 0.18/0.29 c BCD2: #sat=2 #unsat=54 bias=54/56 0.18/0.29 c Solving starts ... 0.18/0.29 c ============================[ Search Statistics ]============================ 0.18/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.29 c | | | | Limit GC | Var | Constra 0.18/0.29 c ============================================================================= 0.18/0.29 c 0.0s | 0 | 0 | 0 | 759 0 | 19 | 112 0.18/0.29 c 0.0s | 0 | 1521 | 49 | 759 0 | 19 | 118 0.18/0.29 c #cpu_time = 0.007s 0.18/0.29 c #wall_clock_time = 0.007s 0.18/0.29 c #decision = 1521 0.18/0.29 c #random_decision = 0 0.18/0.29 c #conflict = 49 0.18/0.29 c #restart = 0 0.18/0.29 c BCD2: relaxing 17 and merging with 3 cores into a new core of size 61: cost of the new core is >=4 0.18/0.29 c lower bound updated to 54 0.18/0.29 c BCD2: 54 <= obj <= 85 0.18/0.29 c BCD2: #cores=49, #unrelaxed=384, #relaxed=372, #hardened=0 0.18/0.29 c BCD2: #sat=2 #unsat=55 bias=55/57 0.18/0.29 c Solving starts ... 0.18/0.29 c ============================[ Search Statistics ]============================ 0.18/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.29 c | | | | Limit GC | Var | Constra 0.18/0.29 c ============================================================================= 0.18/0.29 c 0.0s | 0 | 0 | 0 | 759 0 | 25 | 118 0.29/0.30 c 0.0s | 0 | 902 | 63 | 835 0 | 25 | 127 0.29/0.30 c #cpu_time = 0.007s 0.29/0.30 c #wall_clock_time = 0.007s 0.29/0.30 c #decision = 902 0.29/0.30 c #random_decision = 2 0.29/0.30 c #conflict = 63 0.29/0.30 c #restart = 0 0.29/0.30 c BCD2: relaxing 21 and merging with 3 cores into a new core of size 60: cost of the new core is >=6 0.29/0.30 c lower bound updated to 55 0.29/0.30 c BCD2: 55 <= obj <= 85 0.29/0.30 c BCD2: #cores=47, #unrelaxed=363, #relaxed=393, #hardened=0 0.29/0.30 c BCD2: #sat=2 #unsat=56 bias=56/58 0.29/0.30 c Solving starts ... 0.29/0.30 c ============================[ Search Statistics ]============================ 0.29/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.30 c | | | | Limit GC | Var | Constra 0.29/0.30 c ============================================================================= 0.29/0.30 c 0.0s | 0 | 0 | 0 | 835 0 | 30 | 127 0.29/0.32 c 0.0s | 0 | 830 | 68 | 835 0 | 30 | 134 0.29/0.32 c #cpu_time = 0.013s 0.29/0.32 c #wall_clock_time = 0.013s 0.29/0.32 c #decision = 830 0.29/0.32 c #random_decision = 1 0.29/0.32 c #conflict = 68 0.29/0.32 c #restart = 0 0.29/0.32 o 72 0.29/0.32 c BCD2: updating upper bound: 85 -> 71 0.29/0.32 c BCD2: 55 <= obj <= 71 0.29/0.32 c BCD2: #cores=47, #unrelaxed=363, #relaxed=393, #hardened=0 0.29/0.32 c BCD2: #sat=3 #unsat=56 bias=56/59 0.29/0.32 c Solving starts ... 0.29/0.32 c ============================[ Search Statistics ]============================ 0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.32 c | | | | Limit GC | Var | Constra 0.29/0.32 c ============================================================================= 0.29/0.32 c 0.0s | 0 | 0 | 0 | 835 0 | 30 | 135 0.29/0.32 c 0.0s | 0 | 461 | 1 | 835 0 | 30 | 135 0.29/0.32 c #cpu_time = 0.002s 0.29/0.32 c #wall_clock_time = 0.002s 0.29/0.32 c #decision = 461 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 1 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: relaxing 45 and merging with 1 cores into a new core of size 57: cost of the new core is >=2 0.29/0.32 c lower bound updated to 56 0.29/0.32 c BCD2: 56 <= obj <= 71 0.29/0.32 c BCD2: #cores=47, #unrelaxed=318, #relaxed=438, #hardened=0 0.29/0.32 c BCD2: #sat=3 #unsat=57 bias=57/60 0.29/0.32 c Solving starts ... 0.29/0.32 c ============================[ Search Statistics ]============================ 0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.32 c | | | | Limit GC | Var | Constra 0.29/0.32 c ============================================================================= 0.29/0.32 c 0.0s | 0 | 0 | 0 | 835 0 | 33 | 135 0.29/0.33 c 0.0s | 1 | 723 | 100 | 919 0 | 33 | 140 0.29/0.35 c 0.0s | 2 | 1437 | 250 | 919 0 | 33 | 140 0.29/0.36 c 0.0s | 3 | 2238 | 475 | 1011 0 | 33 | 140 0.29/0.39 c 0.1s | 4 | 3502 | 813 | 1113 0 | 33 | 140 0.38/0.43 c 0.1s | 5 | 5027 | 1320 | 1225 0 | 33 | 140 0.48/0.50 c 0.2s | 6 | 7354 | 2081 | 1348 1 | 33 | 140 0.59/0.62 c 0.3s | 7 | 10148 | 3223 | 1483 2 | 33 | 140 0.79/0.84 c 0.5s | 8 | 14262 | 4936 | 1632 4 | 33 | 140 1.10/1.19 c 0.9s | 9 | 21347 | 7506 | 1796 6 | 33 | 140 1.69/1.72 c 1.4s | 10 | 31861 | 11361 | 1976 10 | 33 | 140 2.30/2.39 c 2.1s | 11 | 46647 | 17144 | 2174 14 | 33 | 140 3.40/3.44 c 3.1s | 12 | 66978 | 25819 | 2392 21 | 33 | 140 5.09/5.15 c 4.8s | 13 | 98597 | 38832 | 2632 30 | 33 | 140 7.09/7.16 c 6.8s | 13 | 138005 | 54632 | 2632 40 | 33 | 140 7.58/7.61 c 7.3s | 14 | 146930 | 58352 | 2896 42 | 33 | 140 9.58/9.62 c 9.3s | 14 | 184650 | 74352 | 2896 51 | 33 | 140 11.28/11.34 c 11.0s | 15 | 216496 | 87632 | 3186 59 | 33 | 140 13.30/13.34 c 13.0s | 15 | 249967 | 101932 | 3186 67 | 33 | 140 15.29/15.38 c 15.1s | 15 | 279623 | 116032 | 3186 74 | 33 | 140 17.29/17.39 c 17.1s | 15 | 314604 | 131032 | 3505 82 | 33 | 140 17.39/17.47 c 17.1s | 16 | 315765 | 131552 | 3505 83 | 33 | 140 19.39/19.48 c 19.2s | 16 | 346071 | 144652 | 3505 89 | 33 | 140 21.39/21.49 c 21.2s | 16 | 378881 | 158552 | 3505 96 | 33 | 140 21.79/21.80 c 21.5s | 16 | 384859 | 160579 | 3505 97 | 33 | 140 21.79/21.80 c #cpu_time = 21.417s 21.79/21.80 c #wall_clock_time = 21.472s 21.79/21.80 c #decision = 384859 21.79/21.80 c #random_decision = 870 21.79/21.80 c #conflict = 160579 21.79/21.80 c #restart = 16 21.79/21.80 c BCD2: relaxing 12 and merging with 3 cores into a new core of size 96: cost of the new core is >=9 21.79/21.80 c lower bound updated to 57 21.79/21.80 c BCD2: 57 <= obj <= 71 21.79/21.80 c BCD2: #cores=45, #unrelaxed=306, #relaxed=450, #hardened=0 21.79/21.80 c BCD2: #sat=3 #unsat=58 bias=58/61 21.79/21.80 c Solving starts ... 21.79/21.80 c ============================[ Search Statistics ]============================ 21.79/21.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 21.79/21.80 c | | | | Limit GC | Var | Constra 21.79/21.80 c ============================================================================= 21.79/21.80 c 0.0s | 0 | 0 | 0 | 3505 0 | 41 | 140 21.79/21.84 c 0.0s | 1 | 568 | 100 | 3505 0 | 41 | 153 21.79/21.87 c 0.1s | 2 | 1225 | 250 | 3505 0 | 41 | 153 21.79/21.89 c 0.1s | 3 | 2094 | 475 | 3505 0 | 41 | 153 21.89/21.93 c 0.1s | 4 | 3254 | 813 | 3505 0 | 41 | 153 21.99/22.07 c 0.3s | 5 | 4834 | 1320 | 3505 0 | 41 | 153 22.09/22.17 c 0.4s | 6 | 7000 | 2081 | 3505 0 | 41 | 153 22.29/22.32 c 0.5s | 7 | 10115 | 3223 | 3505 0 | 41 | 153 22.59/22.64 c 0.8s | 8 | 14594 | 4936 | 3505 1 | 41 | 153 22.99/23.04 c 1.2s | 9 | 21042 | 7506 | 3505 2 | 41 | 153 23.69/23.74 c 1.9s | 10 | 30571 | 11361 | 3505 4 | 41 | 153 24.69/24.77 c 3.0s | 11 | 45351 | 17144 | 3505 7 | 41 | 153 26.29/26.31 c 4.5s | 12 | 70464 | 25819 | 3505 11 | 41 | 153 28.28/28.32 c 6.5s | 12 | 106616 | 37819 | 3856 17 | 41 | 153 28.38/28.49 c 6.7s | 13 | 109782 | 38832 | 3856 18 | 41 | 153 30.48/30.50 c 8.7s | 13 | 142289 | 49732 | 3856 23 | 41 | 153 31.89/31.98 c 10.2s | 14 | 166562 | 58352 | 3856 27 | 41 | 153 33.88/33.99 c 12.2s | 14 | 201998 | 69952 | 3856 32 | 41 | 153 35.98/36.00 c 14.2s | 14 | 238259 | 81252 | 3856 37 | 41 | 153 37.08/37.13 c 15.3s | 15 | 257936 | 87632 | 3856 40 | 41 | 153 39.08/39.14 c 17.3s | 15 | 285116 | 97432 | 3856 45 | 41 | 153 41.08/41.15 c 19.4s | 15 | 316874 | 108732 | 3856 50 | 41 | 153 43.08/43.16 c 21.4s | 15 | 348362 | 119632 | 3856 55 | 41 | 153 45.19/45.22 c 23.4s | 15 | 375779 | 129432 | 3856 59 | 41 | 153 45.49/45.58 c 23.8s | 16 | 381658 | 131552 | 3856 60 | 41 | 153 45.99/46.05 c 24.3s | 16 | 389313 | 134335 | 4242 61 | 41 | 153 45.99/46.05 c #cpu_time = 24.193s 45.99/46.05 c #wall_clock_time = 24.255s 45.99/46.05 c #decision = 389313 45.99/46.05 c #random_decision = 868 45.99/46.05 c #conflict = 134335 45.99/46.05 c #restart = 16 45.99/46.05 o 68 45.99/46.05 c BCD2: updating upper bound: 71 -> 67 45.99/46.05 c BCD2: 57 <= obj <= 67 45.99/46.05 c BCD2: #cores=45, #unrelaxed=306, #relaxed=450, #hardened=0 45.99/46.05 c BCD2: #sat=4 #unsat=58 bias=58/62 45.99/46.05 c Solving starts ... 45.99/46.05 c ============================[ Search Statistics ]============================ 45.99/46.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 45.99/46.05 c | | | | Limit GC | Var | Constra 45.99/46.05 c ============================================================================= 45.99/46.06 c 0.0s | 0 | 0 | 0 | 4242 0 | 41 | 154 45.99/46.09 c 0.0s | 1 | 843 | 100 | 4242 1 | 41 | 154 46.09/46.13 c 0.1s | 2 | 1497 | 250 | 4242 1 | 41 | 154 46.09/46.17 c 0.1s | 3 | 2508 | 475 | 4242 1 | 41 | 154 46.19/46.23 c 0.2s | 4 | 3737 | 813 | 4242 1 | 41 | 154 46.29/46.31 c 0.3s | 5 | 5411 | 1320 | 4242 1 | 41 | 154 46.39/46.45 c 0.4s | 6 | 7813 | 2081 | 4242 1 | 41 | 154 46.69/46.73 c 0.7s | 7 | 11393 | 3223 | 4242 2 | 41 | 154 46.99/47.01 c 1.0s | 8 | 16129 | 4936 | 4242 2 | 41 | 154 47.49/47.54 c 1.5s | 9 | 24036 | 7506 | 4242 4 | 41 | 154 48.19/48.26 c 2.2s | 10 | 36017 | 11361 | 4242 5 | 41 | 154 49.39/49.41 c 3.4s | 11 | 54722 | 17144 | 4242 8 | 41 | 154 50.89/50.96 c 4.9s | 12 | 81238 | 25819 | 4242 11 | 41 | 154 52.89/52.96 c 6.9s | 12 | 113226 | 36519 | 4242 16 | 41 | 154 53.28/53.37 c 7.3s | 13 | 120222 | 38832 | 4242 17 | 41 | 154 55.28/55.37 c 9.3s | 13 | 147285 | 49032 | 4242 21 | 41 | 154 56.58/56.63 c 10.6s | 13 | 167068 | 55893 | 4242 24 | 41 | 154 56.58/56.63 c #cpu_time = 10.545s 56.58/56.63 c #wall_clock_time = 10.572s 56.58/56.63 c #decision = 167068 56.58/56.63 c #random_decision = 363 56.58/56.63 c #conflict = 55893 56.58/56.63 c #restart = 13 56.58/56.63 o 65 56.58/56.63 c BCD2: updating upper bound: 67 -> 64 56.58/56.63 c BCD2: 57 <= obj <= 64 56.58/56.63 c BCD2: #cores=45, #unrelaxed=306, #relaxed=450, #hardened=0 56.58/56.63 c BCD2: #sat=5 #unsat=58 bias=58/63 56.58/56.63 c Solving starts ... 56.58/56.63 c ============================[ Search Statistics ]============================ 56.58/56.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 56.58/56.63 c | | | | Limit GC | Var | Constra 56.58/56.63 c ============================================================================= 56.58/56.63 c 0.0s | 0 | 0 | 0 | 4242 0 | 41 | 155 56.58/56.65 c 0.0s | 1 | 733 | 100 | 4242 0 | 41 | 155 56.58/56.68 c 0.0s | 2 | 1712 | 250 | 4242 0 | 41 | 155 56.68/56.70 c 0.1s | 3 | 2863 | 475 | 4242 0 | 41 | 155 56.68/56.75 c 0.1s | 4 | 4168 | 813 | 4242 0 | 41 | 155 56.78/56.85 c 0.2s | 5 | 5660 | 1320 | 4242 1 | 41 | 155 56.78/56.86 c 0.2s | 5 | 6048 | 1340 | 4242 1 | 41 | 155 56.78/56.86 c #cpu_time = 0.234s 56.78/56.86 c #wall_clock_time = 0.234s 56.78/56.86 c #decision = 6048 56.78/56.86 c #random_decision = 9 56.78/56.86 c #conflict = 1340 56.78/56.86 c #restart = 5 56.78/56.86 c BCD2: relaxing 218 and merging with 8 cores into a new core of size 401: cost of the new core is >=12 56.78/56.86 c lower bound updated to 58 56.78/56.87 c BCD2: 58 <= obj <= 64 56.78/56.87 c BCD2: #cores=38, #unrelaxed=88, #relaxed=668, #hardened=0 56.78/56.87 c BCD2: #sat=5 #unsat=59 bias=59/64 56.78/56.87 c Solving starts ... 56.78/56.87 c ============================[ Search Statistics ]============================ 56.78/56.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 56.78/56.87 c | | | | Limit GC | Var | Constra 56.78/56.87 c ============================================================================= 56.78/56.87 c 0.0s | 0 | 0 | 0 | 4242 0 | 61 | 155 56.88/56.90 c 0.0s | 1 | 587 | 100 | 4242 0 | 61 | 187 56.88/56.95 c 0.1s | 2 | 1519 | 250 | 4242 0 | 61 | 187 56.98/57.01 c 0.1s | 3 | 2337 | 475 | 4242 0 | 61 | 187 57.08/57.11 c 0.2s | 4 | 3509 | 813 | 4242 0 | 61 | 187 57.19/57.26 c 0.4s | 5 | 6699 | 1320 | 4242 0 | 61 | 187 57.38/57.49 c 0.6s | 6 | 10386 | 2081 | 4242 0 | 61 | 187 57.78/57.88 c 1.0s | 7 | 16261 | 3223 | 4242 1 | 61 | 187 58.39/58.45 c 1.6s | 8 | 23844 | 4936 | 4242 1 | 61 | 187 59.18/59.28 c 2.4s | 9 | 37463 | 7506 | 4242 2 | 61 | 187 60.49/60.53 c 3.7s | 10 | 54506 | 11361 | 4242 4 | 61 | 187 62.38/62.48 c 5.6s | 11 | 82291 | 17144 | 4242 7 | 61 | 187 64.48/64.51 c 7.6s | 11 | 105154 | 22844 | 4242 9 | 61 | 187 65.48/65.50 c 8.6s | 12 | 116901 | 25819 | 4242 11 | 61 | 187 67.48/67.50 c 10.6s | 12 | 140204 | 32019 | 4242 13 | 61 | 187 69.48/69.53 c 12.7s | 12 | 169913 | 38319 | 4242 16 | 61 | 187 69.58/69.69 c 12.8s | 13 | 172371 | 38832 | 4242 16 | 61 | 187 71.68/71.70 c 14.8s | 13 | 199881 | 45032 | 4242 19 | 61 | 187 73.69/73.71 c 16.8s | 13 | 229744 | 51132 | 4242 22 | 61 | 187 75.68/75.72 c 18.9s | 13 | 260420 | 57232 | 4242 25 | 61 | 187 75.99/76.08 c 19.2s | 14 | 265341 | 58352 | 4242 25 | 61 | 187 77.98/78.09 c 21.2s | 14 | 293198 | 64352 | 4242 28 | 61 | 187 79.98/80.09 c 23.2s | 14 | 319976 | 70052 | 4242 30 | 61 | 187 82.08/82.12 c 25.3s | 14 | 348793 | 76152 | 4242 33 | 61 | 187 84.08/84.13 c 27.3s | 14 | 375029 | 81952 | 4242 36 | 61 | 187 85.89/85.97 c 29.1s | 15 | 400408 | 87632 | 4242 38 | 61 | 187 87.88/87.97 c 31.1s | 15 | 421888 | 93632 | 4667 41 | 61 | 187 89.98/90.00 c 33.1s | 15 | 444065 | 99432 | 4667 43 | 61 | 187 91.98/92.02 c 35.1s | 15 | 470991 | 105432 | 4667 45 | 61 | 187 93.98/94.04 c 37.2s | 15 | 494242 | 111032 | 4667 48 | 61 | 187 95.98/96.06 c 39.2s | 15 | 517757 | 117132 | 4667 50 | 61 | 187 97.98/98.09 c 41.2s | 15 | 542026 | 123132 | 4667 53 | 61 | 187 99.98/100.09 c 43.2s | 15 | 564018 | 128832 | 4667 55 | 61 | 187 101.38/101.40 c 44.5s | 16 | 577800 | 131552 | 4667 56 | 61 | 187 103.38/103.41 c 46.5s | 16 | 600508 | 137252 | 4667 58 | 61 | 187 105.37/105.41 c 48.5s | 16 | 624463 | 143052 | 4667 61 | 61 | 187 107.37/107.44 c 50.6s | 16 | 647545 | 148952 | 4667 63 | 61 | 187 109.37/109.45 c 52.6s | 16 | 669747 | 154552 | 4667 65 | 61 | 187 111.37/111.48 c 54.6s | 16 | 692234 | 160652 | 4667 68 | 61 | 187 113.47/113.50 c 56.6s | 16 | 712762 | 166852 | 4667 70 | 61 | 187 115.48/115.52 c 58.7s | 16 | 732061 | 173152 | 4667 73 | 61 | 187 117.47/117.56 c 60.7s | 16 | 755627 | 179152 | 4667 76 | 61 | 187 119.47/119.57 c 62.7s | 16 | 773603 | 184052 | 4667 78 | 61 | 187 121.57/121.60 c 64.7s | 16 | 797644 | 189852 | 4667 80 | 61 | 187 123.57/123.62 c 66.8s | 16 | 822189 | 195852 | 4667 82 | 61 | 187 124.07/124.15 c 67.3s | 17 | 828460 | 197432 | 4667 83 | 61 | 187 126.07/126.16 c 69.3s | 17 | 853296 | 203232 | 4667 85 | 61 | 187 128.07/128.17 c 71.3s | 17 | 874181 | 209032 | 4667 88 | 61 | 187 130.17/130.20 c 73.3s | 17 | 899254 | 215232 | 4667 90 | 61 | 187 132.17/132.22 c 75.4s | 17 | 923910 | 221332 | 4667 93 | 61 | 187 134.17/134.26 c 77.4s | 17 | 947907 | 227032 | 4667 95 | 61 | 187 136.16/136.27 c 79.4s | 17 | 967780 | 232332 | 4667 97 | 61 | 187 138.16/138.28 c 81.4s | 17 | 993198 | 238132 | 4667 100 | 61 | 187 140.16/140.28 c 83.4s | 17 | 1019947 | 244032 | 4667 102 | 61 | 187 142.26/142.30 c 85.4s | 17 | 1043325 | 249532 | 4667 104 | 61 | 187 144.27/144.31 c 87.4s | 17 | 1066416 | 254432 | 4667 106 | 61 | 187 146.28/146.32 c 89.5s | 17 | 1093540 | 260132 | 4667 109 | 61 | 187 148.27/148.33 c 91.5s | 17 | 1117280 | 266032 | 4667 111 | 61 | 187 150.27/150.35 c 93.5s | 17 | 1137225 | 271832 | 4667 113 | 61 | 187 152.27/152.35 c 95.5s | 17 | 1159081 | 277532 | 4667 116 | 61 | 187 154.27/154.35 c 97.5s | 17 | 1177116 | 282732 | 4667 118 | 61 | 187 156.28/156.36 c 99.5s | 17 | 1196748 | 288432 | 4667 120 | 61 | 187 158.27/158.38 c 101s | 17 | 1221121 | 293932 | 4667 122 | 61 | 187 159.07/159.11 c 102s | 18 | 1229035 | 296252 | 4667 123 | 61 | 187 161.07/161.11 c 104s | 18 | 1249314 | 301852 | 4667 126 | 61 | 187 163.07/163.13 c 106s | 18 | 1271994 | 307352 | 4667 128 | 61 | 187 165.07/165.16 c 108s | 18 | 1297781 | 312852 | 5134 130 | 61 | 187 167.07/167.17 c 110s | 18 | 1325887 | 318452 | 5134 132 | 61 | 187 169.07/169.17 c 112s | 18 | 1347675 | 323752 | 5134 134 | 61 | 187 171.17/171.22 c 114s | 18 | 1372908 | 329552 | 5134 136 | 61 | 187 173.17/173.23 c 116s | 18 | 1396645 | 335052 | 5134 138 | 61 | 187 175.17/175.26 c 118s | 18 | 1420214 | 340452 | 5134 140 | 61 | 187 177.17/177.26 c 120s | 18 | 1441885 | 345652 | 5134 142 | 61 | 187 179.16/179.27 c 122s | 18 | 1467114 | 351252 | 5134 144 | 61 | 187 181.16/181.28 c 124s | 18 | 1490878 | 356552 | 5134 146 | 61 | 187 183.26/183.30 c 126s | 18 | 1514753 | 361852 | 5134 148 | 61 | 187 185.26/185.30 c 128s | 18 | 1534551 | 366452 | 5134 150 | 61 | 187 187.26/187.31 c 130s | 18 | 1553433 | 371252 | 5134 152 | 61 | 187 189.27/189.33 c 132s | 18 | 1574400 | 376452 | 5134 154 | 61 | 187 191.26/191.35 c 134s | 18 | 1596149 | 382052 | 5134 156 | 61 | 187 193.26/193.37 c 136s | 18 | 1616931 | 387552 | 5134 158 | 61 | 187 195.36/195.41 c 138s | 18 | 1636186 | 392552 | 5134 160 | 61 | 187 197.36/197.43 c 140s | 18 | 1659916 | 398152 | 5134 162 | 61 | 187 199.35/199.46 c 142s | 18 | 1680389 | 403852 | 5134 164 | 61 | 187 201.36/201.47 c 144s | 18 | 1702535 | 409152 | 5134 166 | 61 | 187 203.35/203.49 c 146s | 18 | 1724253 | 414452 | 5134 168 | 61 | 187 205.45/205.50 c 148s | 18 | 1746979 | 420052 | 5134 170 | 61 | 187 207.45/207.51 c 150s | 18 | 1768411 | 425452 | 5134 172 | 61 | 187 209.45/209.56 c 152s | 18 | 1788851 | 430152 | 5134 174 | 61 | 187 211.45/211.58 c 154s | 18 | 1811511 | 435852 | 5134 176 | 61 | 187 213.55/213.60 c 156s | 18 | 1830852 | 440852 | 5134 178 | 61 | 187 214.85/214.97 c 158s | 19 | 1846169 | 444482 | 5134 179 | 61 | 187 216.85/216.97 c 160s | 19 | 1867142 | 449682 | 5134 181 | 61 | 187 218.86/219.00 c 162s | 19 | 1889303 | 455182 | 5134 183 | 61 | 187 220.95/221.00 c 164s | 19 | 1909160 | 459982 | 5134 185 | 61 | 187 222.95/223.00 c 166s | 19 | 1928468 | 465082 | 5134 187 | 61 | 187 224.96/225.03 c 168s | 19 | 1951551 | 470582 | 5134 189 | 61 | 187 226.96/227.03 c 170s | 19 | 1974655 | 475682 | 5134 190 | 61 | 187 228.96/229.05 c 172s | 19 | 1997298 | 480882 | 5134 192 | 61 | 187 230.96/231.09 c 174s | 19 | 2014156 | 484982 | 5134 194 | 61 | 187 233.06/233.10 c 176s | 19 | 2035978 | 490082 | 5134 196 | 61 | 187 235.06/235.13 c 178s | 19 | 2058790 | 495382 | 5134 198 | 61 | 187 237.05/237.15 c 180s | 19 | 2079983 | 500582 | 5134 200 | 61 | 187 239.05/239.15 c 182s | 19 | 2100563 | 505482 | 5134 202 | 61 | 187 241.05/241.16 c 184s | 19 | 2121572 | 510782 | 5134 204 | 61 | 187 243.06/243.20 c 186s | 19 | 2139851 | 515582 | 5134 205 | 61 | 187 245.15/245.21 c 188s | 19 | 2163749 | 521182 | 5134 207 | 61 | 187 247.15/247.23 c 190s | 19 | 2188275 | 526582 | 5134 209 | 61 | 187 249.15/249.26 c 192s | 19 | 2210075 | 532082 | 5134 211 | 61 | 187 251.15/251.27 c 194s | 19 | 2233732 | 537482 | 5134 214 | 61 | 187 253.15/253.30 c 196s | 19 | 2256808 | 542682 | 5134 215 | 61 | 187 255.26/255.31 c 198s | 19 | 2279878 | 547982 | 5134 217 | 61 | 187 257.25/257.34 c 200s | 19 | 2305116 | 553382 | 5134 219 | 61 | 187 259.25/259.34 c 202s | 19 | 2331938 | 558782 | 5134 221 | 61 | 187 261.25/261.34 c 204s | 19 | 2352444 | 563382 | 5134 223 | 61 | 187 263.25/263.38 c 206s | 19 | 2372492 | 568382 | 5134 225 | 61 | 187 265.25/265.39 c 208s | 19 | 2394562 | 573782 | 5134 227 | 61 | 187 267.25/267.39 c 210s | 19 | 2417256 | 578882 | 5134 229 | 61 | 187 269.35/269.43 c 212s | 19 | 2439528 | 584482 | 5134 231 | 61 | 187 271.35/271.46 c 214s | 19 | 2457603 | 589082 | 5134 233 | 61 | 187 273.44/273.51 c 216s | 19 | 2477268 | 594382 | 5134 235 | 61 | 187 275.44/275.52 c 218s | 19 | 2498283 | 599482 | 5134 237 | 61 | 187 277.44/277.55 c 220s | 19 | 2520313 | 604882 | 5134 239 | 61 | 187 279.45/279.58 c 222s | 19 | 2543301 | 610282 | 5134 241 | 61 | 187 281.44/281.59 c 224s | 19 | 2565403 | 615482 | 5134 243 | 61 | 187 283.54/283.61 c 226s | 19 | 2590106 | 620882 | 5134 245 | 61 | 187 285.54/285.62 c 228s | 19 | 2609205 | 625382 | 5134 246 | 61 | 187 287.54/287.65 c 230s | 19 | 2631967 | 630982 | 5134 248 | 61 | 187 289.54/289.67 c 232s | 19 | 2653849 | 636282 | 5134 250 | 61 | 187 291.55/291.69 c 234s | 19 | 2672811 | 641182 | 5648 252 | 61 | 187 293.54/293.69 c 236s | 19 | 2693613 | 646182 | 5648 254 | 61 | 187 295.64/295.71 c 238s | 19 | 2716557 | 651582 | 5648 256 | 61 | 187 297.64/297.74 c 240s | 19 | 2736714 | 656882 | 5648 257 | 61 | 187 299.64/299.76 c 242s | 19 | 2757343 | 661782 | 5648 259 | 61 | 187 301.64/301.76 c 244s | 19 | 2776024 | 665982 | 5648 260 | 61 | 187 302.04/302.10 c 245s | 20 | 2779556 | 666827 | 5648 261 | 61 | 187 304.04/304.14 c 247s | 20 | 2800964 | 671527 | 5648 262 | 61 | 187 306.04/306.17 c 249s | 20 | 2820636 | 676327 | 5648 264 | 61 | 187 308.05/308.18 c 251s | 20 | 2839893 | 681227 | 5648 266 | 61 | 187 310.14/310.21 c 253s | 20 | 2859894 | 686727 | 5648 267 | 61 | 187 312.14/312.22 c 255s | 20 | 2881527 | 692327 | 5648 269 | 61 | 187 314.14/314.25 c 257s | 20 | 2902576 | 697827 | 5648 271 | 61 | 187 316.14/316.28 c 259s | 20 | 2924523 | 703427 | 5648 273 | 61 | 187 318.14/318.29 c 261s | 20 | 2944511 | 708427 | 5648 275 | 61 | 187 320.24/320.34 c 263s | 20 | 2967763 | 713927 | 5648 277 | 61 | 187 322.24/322.34 c 265s | 20 | 2987557 | 718827 | 5648 278 | 61 | 187 324.23/324.38 c 267s | 20 | 3010037 | 724227 | 5648 280 | 61 | 187 326.24/326.38 c 269s | 20 | 3030014 | 729227 | 5648 282 | 61 | 187 328.34/328.40 c 271s | 20 | 3052261 | 734227 | 5648 284 | 61 | 187 330.34/330.41 c 273s | 20 | 3074435 | 739327 | 5648 285 | 61 | 187 332.34/332.42 c 275s | 20 | 3095023 | 744427 | 5648 287 | 61 | 187 334.35/334.44 c 277s | 20 | 3114657 | 748927 | 5648 289 | 61 | 187 336.34/336.48 c 279s | 20 | 3137968 | 754327 | 5648 290 | 61 | 187 338.44/338.51 c 281s | 20 | 3160030 | 759727 | 5648 292 | 61 | 187 340.44/340.54 c 283s | 20 | 3180676 | 764727 | 5648 294 | 61 | 187 342.44/342.56 c 285s | 20 | 3200983 | 769427 | 5648 296 | 61 | 187 344.44/344.59 c 287s | 20 | 3222629 | 774827 | 5648 297 | 61 | 187 346.55/346.61 c 289s | 20 | 3249829 | 780627 | 5648 299 | 61 | 187 348.54/348.61 c 291s | 20 | 3268140 | 786227 | 5648 301 | 61 | 187 350.54/350.64 c 293s | 20 | 3284017 | 790827 | 5648 303 | 61 | 187 352.54/352.67 c 295s | 20 | 3304993 | 796227 | 5648 305 | 61 | 187 354.64/354.70 c 297s | 20 | 3325732 | 801527 | 5648 306 | 61 | 187 356.63/356.71 c 299s | 20 | 3344189 | 806727 | 5648 308 | 61 | 187 358.64/358.74 c 301s | 20 | 3365009 | 811927 | 5648 310 | 61 | 187 360.63/360.75 c 303s | 20 | 3384414 | 817027 | 5648 312 | 61 | 187 362.63/362.76 c 305s | 20 | 3405037 | 822527 | 5648 314 | 61 | 187 364.63/364.79 c 307s | 20 | 3428114 | 828127 | 5648 316 | 61 | 187 366.73/366.81 c 309s | 20 | 3445417 | 832627 | 5648 317 | 61 | 187 368.73/368.83 c 311s | 20 | 3467733 | 838127 | 5648 319 | 61 | 187 370.74/370.84 c 313s | 20 | 3489278 | 843327 | 5648 321 | 61 | 187 372.73/372.87 c 316s | 20 | 3506616 | 847927 | 5648 322 | 61 | 187 374.73/374.89 c 318s | 20 | 3527968 | 853127 | 5648 324 | 61 | 187 376.83/376.91 c 320s | 20 | 3549699 | 858227 | 5648 326 | 61 | 187 378.83/378.91 c 322s | 20 | 3570004 | 863327 | 5648 327 | 61 | 187 380.83/380.92 c 324s | 20 | 3591635 | 868127 | 5648 329 | 61 | 187 382.84/382.93 c 326s | 20 | 3612674 | 873127 | 5648 331 | 61 | 187 384.83/384.96 c 328s | 20 | 3632825 | 878127 | 5648 333 | 61 | 187 386.93/387.00 c 330s | 20 | 3653070 | 883327 | 5648 334 | 61 | 187 388.93/389.00 c 332s | 20 | 3672902 | 888427 | 5648 336 | 61 | 187 390.93/391.04 c 334s | 20 | 3693469 | 893627 | 5648 338 | 61 | 187 392.93/393.05 c 336s | 20 | 3709297 | 897727 | 5648 339 | 61 | 187 394.93/395.07 c 338s | 20 | 3730028 | 903027 | 5648 341 | 61 | 187 396.93/397.09 c 340s | 20 | 3754170 | 908427 | 5648 343 | 61 | 187 399.03/399.10 c 342s | 20 | 3771969 | 913527 | 5648 345 | 61 | 187 401.03/401.12 c 344s | 20 | 3790978 | 918327 | 5648 346 | 61 | 187 403.02/403.14 c 346s | 20 | 3811409 | 923227 | 5648 348 | 61 | 187 405.02/405.17 c 348s | 20 | 3829358 | 928927 | 5648 350 | 61 | 187 407.03/407.19 c 350s | 20 | 3848433 | 933827 | 5648 351 | 61 | 187 409.13/409.21 c 352s | 20 | 3869472 | 938827 | 5648 353 | 61 | 187 411.12/411.23 c 354s | 20 | 3889955 | 943927 | 5648 355 | 61 | 187 413.12/413.26 c 356s | 20 | 3909722 | 948827 | 5648 357 | 61 | 187 415.12/415.28 c 358s | 20 | 3927975 | 953327 | 5648 358 | 61 | 187 417.22/417.30 c 360s | 20 | 3949599 | 958627 | 5648 360 | 61 | 187 419.22/419.30 c 362s | 20 | 3977313 | 964527 | 5648 362 | 61 | 187 421.23/421.31 c 364s | 20 | 4001019 | 969727 | 5648 364 | 61 | 187 423.22/423.32 c 366s | 20 | 4023882 | 975327 | 5648 366 | 61 | 187 425.22/425.34 c 368s | 20 | 4047548 | 981127 | 5648 368 | 61 | 187 427.22/427.35 c 370s | 20 | 4069814 | 986627 | 5648 369 | 61 | 187 429.22/429.36 c 372s | 20 | 4094803 | 992227 | 5648 371 | 61 | 187 431.23/431.38 c 374s | 20 | 4117589 | 997627 | 5648 373 | 61 | 187 432.33/432.41 c 375s | 21 | 4129040 | 1000345 | 5648 374 | 61 | 187 434.33/434.43 c 377s | 21 | 4149216 | 1004945 | 5648 376 | 61 | 187 436.33/436.43 c 379s | 21 | 4172655 | 1010245 | 5648 377 | 61 | 187 438.33/438.44 c 381s | 21 | 4196778 | 1015545 | 5648 379 | 61 | 187 440.33/440.44 c 383s | 21 | 4218336 | 1020845 | 5648 381 | 61 | 187 442.32/442.48 c 385s | 21 | 4240940 | 1026245 | 5648 383 | 61 | 187 444.43/444.52 c 387s | 21 | 4260952 | 1031245 | 5648 385 | 61 | 187 446.42/446.53 c 389s | 21 | 4283689 | 1036345 | 5648 386 | 61 | 187 448.42/448.56 c 391s | 21 | 4304969 | 1041245 | 5648 388 | 61 | 187 450.42/450.57 c 393s | 21 | 4327003 | 1046045 | 5648 390 | 61 | 187 452.42/452.58 c 395s | 21 | 4349577 | 1051145 | 5648 391 | 61 | 187 454.52/454.62 c 397s | 21 | 4372789 | 1056445 | 5648 393 | 61 | 187 456.52/456.63 c 399s | 21 | 4393015 | 1061445 | 5648 395 | 61 | 187 458.52/458.64 c 401s | 21 | 4416203 | 1066845 | 5648 397 | 61 | 187 460.52/460.65 c 403s | 21 | 4436179 | 1071845 | 5648 398 | 61 | 187 462.52/462.67 c 405s | 21 | 4456929 | 1077145 | 5648 400 | 61 | 187 464.52/464.69 c 407s | 21 | 4477582 | 1081845 | 5648 402 | 61 | 187 466.62/466.73 c 409s | 21 | 4501145 | 1087145 | 5648 404 | 61 | 187 468.62/468.73 c 411s | 21 | 4524579 | 1092145 | 5648 405 | 61 | 187 470.61/470.73 c 413s | 21 | 4548397 | 1097445 | 5648 407 | 61 | 187 472.61/472.75 c 415s | 21 | 4572977 | 1102845 | 5648 409 | 61 | 187 474.61/474.77 c 417s | 21 | 4595798 | 1107945 | 5648 411 | 61 | 187 476.61/476.77 c 419s | 21 | 4616723 | 1112645 | 5648 412 | 61 | 187 478.62/478.79 c 421s | 21 | 4642500 | 1117845 | 5648 414 | 61 | 187 480.73/480.87 c 424s | 21 | 4665489 | 1123145 | 5648 416 | 61 | 187 482.83/482.91 c 426s | 21 | 4687770 | 1128045 | 5648 417 | 61 | 187 484.82/484.93 c 428s | 21 | 4709940 | 1133145 | 5648 419 | 61 | 187 486.82/486.95 c 430s | 21 | 4731860 | 1138445 | 6213 421 | 61 | 187 488.82/488.96 c 432s | 21 | 4755723 | 1143745 | 6213 422 | 61 | 187 490.82/490.98 c 434s | 21 | 4776636 | 1148545 | 6213 424 | 61 | 187 492.92/493.03 c 436s | 21 | 4794342 | 1153045 | 6213 425 | 61 | 187 494.92/495.04 c 438s | 21 | 4814419 | 1157745 | 6213 427 | 61 | 187 496.91/497.06 c 440s | 21 | 4835282 | 1162845 | 6213 428 | 61 | 187 498.91/499.07 c 442s | 21 | 4857890 | 1167945 | 6213 430 | 61 | 187 501.01/501.12 c 444s | 21 | 4880000 | 1172945 | 6213 432 | 61 | 187 503.01/503.14 c 446s | 21 | 4898871 | 1177445 | 6213 433 | 61 | 187 505.01/505.17 c 448s | 21 | 4919614 | 1182345 | 6213 434 | 61 | 187 507.12/507.21 c 450s | 21 | 4941624 | 1187145 | 6213 436 | 61 | 187 509.11/509.22 c 452s | 21 | 4962237 | 1191745 | 6213 437 | 61 | 187 511.31/511.42 c 454s | 21 | 4984397 | 1196645 | 6213 439 | 61 | 187 513.31/513.45 c 456s | 21 | 5003417 | 1201245 | 6213 440 | 61 | 187 515.31/515.47 c 458s | 21 | 5019710 | 1205845 | 6213 442 | 61 | 187 517.31/517.49 c 460s | 21 | 5040295 | 1211045 | 6213 443 | 61 | 187 519.41/519.51 c 462s | 21 | 5056325 | 1215145 | 6213 445 | 61 | 187 521.41/521.55 c 464s | 21 | 5075705 | 1220245 | 6213 446 | 61 | 187 523.40/523.55 c 466s | 21 | 5097599 | 1225145 | 6213 448 | 61 | 187 525.41/525.58 c 468s | 21 | 5119593 | 1230245 | 6213 449 | 61 | 187 527.51/527.68 c 470s | 21 | 5137619 | 1235245 | 6213 451 | 61 | 187 529.51/529.69 c 472s | 21 | 5157119 | 1239945 | 6213 452 | 61 | 187 531.61/531.72 c 474s | 21 | 5175089 | 1244645 | 6213 454 | 61 | 187 533.61/533.74 c 476s | 21 | 5194416 | 1249345 | 6213 455 | 61 | 187 535.62/535.75 c 478s | 21 | 5211161 | 1253645 | 6213 457 | 61 | 187 537.61/537.78 c 480s | 21 | 5229395 | 1258445 | 6213 458 | 61 | 187 539.61/539.79 c 482s | 21 | 5254329 | 1263645 | 6213 460 | 61 | 187 541.71/541.80 c 484s | 21 | 5276062 | 1268945 | 6213 461 | 61 | 187 543.71/543.80 c 486s | 21 | 5296986 | 1273845 | 6213 463 | 61 | 187 545.71/545.83 c 488s | 21 | 5318911 | 1279445 | 6213 465 | 61 | 187 547.72/547.85 c 490s | 21 | 5341912 | 1284945 | 6213 466 | 61 | 187 549.71/549.87 c 493s | 21 | 5360199 | 1289745 | 6213 468 | 61 | 187 551.81/551.91 c 495s | 21 | 5378477 | 1294845 | 6213 469 | 61 | 187 553.81/553.92 c 497s | 21 | 5395918 | 1299145 | 6213 471 | 61 | 187 555.81/555.95 c 499s | 21 | 5415550 | 1304145 | 6213 472 | 61 | 187 557.81/557.98 c 501s | 21 | 5432703 | 1308845 | 6213 474 | 61 | 187 559.81/559.99 c 503s | 21 | 5453767 | 1313945 | 6213 475 | 61 | 187 561.91/562.01 c 505s | 21 | 5474375 | 1318945 | 6213 477 | 61 | 187 563.91/564.03 c 507s | 21 | 5493505 | 1324145 | 6213 478 | 61 | 187 565.91/566.05 c 509s | 21 | 5514118 | 1328745 | 6213 480 | 61 | 187 567.91/568.05 c 511s | 21 | 5535716 | 1333945 | 6213 481 | 61 | 187 569.91/570.07 c 513s | 21 | 5558849 | 1339345 | 6213 483 | 61 | 187 571.91/572.08 c 515s | 21 | 5578747 | 1344545 | 6213 485 | 61 | 187 573.90/574.08 c 517s | 21 | 5597119 | 1349045 | 6213 486 | 61 | 187 575.90/576.08 c 519s | 21 | 5617635 | 1354045 | 6213 488 | 61 | 187 578.00/578.12 c 521s | 21 | 5640175 | 1359345 | 6213 489 | 61 | 187 580.00/580.12 c 523s | 21 | 5659441 | 1363845 | 6213 491 | 61 | 187 582.00/582.15 c 525s | 21 | 5685747 | 1369245 | 6213 492 | 61 | 187 584.01/584.20 c 527s | 21 | 5709769 | 1374645 | 6213 494 | 61 | 187 586.10/586.23 c 529s | 21 | 5733198 | 1379845 | 6213 496 | 61 | 187 588.10/588.23 c 531s | 21 | 5755489 | 1385045 | 6213 497 | 61 | 187 590.10/590.26 c 533s | 21 | 5778498 | 1390445 | 6213 499 | 61 | 187 592.10/592.27 c 535s | 21 | 5797341 | 1395145 | 6213 500 | 61 | 187 594.20/594.30 c 537s | 21 | 5819950 | 1400545 | 6213 502 | 61 | 187 596.20/596.31 c 539s | 21 | 5838371 | 1404645 | 6213 503 | 61 | 187 598.20/598.33 c 541s | 21 | 5861778 | 1409845 | 6213 505 | 61 | 187 600.20/600.35 c 543s | 21 | 5882480 | 1414645 | 6213 506 | 61 | 187 602.20/602.37 c 545s | 21 | 5904549 | 1419745 | 6213 508 | 61 | 187 604.30/604.41 c 547s | 21 | 5926109 | 1424445 | 6213 510 | 61 | 187 606.29/606.41 c 549s | 21 | 5946423 | 1429545 | 6213 511 | 61 | 187 608.30/608.44 c 551s | 21 | 5970511 | 1435045 | 6213 513 | 61 | 187 610.29/610.45 c 553s | 21 | 5993222 | 1440445 | 6213 514 | 61 | 187 612.29/612.46 c 555s | 21 | 6014740 | 1446045 | 6213 516 | 61 | 187 614.29/614.49 c 557s | 21 | 6034778 | 1451345 | 6213 518 | 61 | 187 616.39/616.50 c 559s | 21 | 6060010 | 1457045 | 6213 520 | 61 | 187 618.39/618.52 c 561s | 21 | 6084279 | 1462645 | 6213 521 | 61 | 187 620.40/620.53 c 563s | 21 | 6107673 | 1468445 | 6213 523 | 61 | 187 622.39/622.53 c 565s | 21 | 6129160 | 1473545 | 6213 525 | 61 | 187 624.39/624.57 c 567s | 21 | 6154823 | 1478945 | 6213 526 | 61 | 187 626.59/626.79 c 569s | 21 | 6178878 | 1483845 | 6213 528 | 61 | 187 628.90/629.03 c 572s | 21 | 6202445 | 1489045 | 6213 530 | 61 | 187 630.90/631.06 c 574s | 21 | 6224192 | 1494545 | 6213 531 | 61 | 187 632.90/633.08 c 576s | 21 | 6246014 | 1499645 | 6213 533 | 61 | 187 633.30/633.42 c 576s | 22 | 6250251 | 1500622 | 6213 533 | 61 | 187 635.30/635.43 c 578s | 22 | 6272423 | 1505922 | 6213 535 | 61 | 187 637.29/637.47 c 580s | 22 | 6294173 | 1511222 | 6213 536 | 61 | 187 639.29/639.48 c 582s | 22 | 6314296 | 1516122 | 6213 538 | 61 | 187 641.39/641.51 c 584s | 22 | 6332611 | 1521222 | 6213 539 | 61 | 187 643.40/643.53 c 586s | 22 | 6353741 | 1526622 | 6213 541 | 61 | 187 645.39/645.54 c 588s | 22 | 6374527 | 1532022 | 6213 543 | 61 | 187 647.39/647.57 c 590s | 22 | 6395670 | 1536822 | 6213 544 | 61 | 187 649.39/649.59 c 592s | 22 | 6415456 | 1542022 | 6213 546 | 61 | 187 651.49/651.61 c 594s | 22 | 6439920 | 1547322 | 6213 548 | 61 | 187 653.49/653.65 c 596s | 22 | 6459670 | 1552422 | 6213 549 | 61 | 187 655.50/655.66 c 598s | 22 | 6484571 | 1557622 | 6213 551 | 61 | 187 657.49/657.68 c 600s | 22 | 6505875 | 1562922 | 6213 552 | 61 | 187 659.59/659.71 c 602s | 22 | 6521265 | 1567222 | 6213 554 | 61 | 187 661.59/661.76 c 604s | 22 | 6544613 | 1573022 | 6213 556 | 61 | 187 663.69/663.80 c 606s | 22 | 6563814 | 1578822 | 6213 557 | 61 | 187 665.69/665.82 c 608s | 22 | 6585326 | 1584422 | 6213 559 | 61 | 187 667.69/667.89 c 611s | 22 | 6605807 | 1589722 | 6213 561 | 61 | 187 669.68/669.90 c 613s | 22 | 6626096 | 1594922 | 6213 562 | 61 | 187 671.78/671.93 c 615s | 22 | 6649881 | 1600822 | 6213 564 | 61 | 187 673.78/673.97 c 617s | 22 | 6672080 | 1606522 | 6213 566 | 61 | 187 675.78/675.98 c 619s | 22 | 6690235 | 1611522 | 6213 567 | 61 | 187 677.88/678.00 c 621s | 22 | 6708753 | 1617122 | 6213 569 | 61 | 187 679.89/680.03 c 623s | 22 | 6731330 | 1622822 | 6213 571 | 61 | 187 681.90/682.08 c 625s | 22 | 6751269 | 1628022 | 6213 573 | 61 | 187 683.89/684.09 c 627s | 22 | 6773577 | 1633822 | 6213 574 | 61 | 187 685.99/686.11 c 629s | 22 | 6794689 | 1639222 | 6213 576 | 61 | 187 687.99/688.14 c 631s | 22 | 6812166 | 1644322 | 6213 578 | 61 | 187 689.99/690.17 c 633s | 22 | 6833494 | 1649722 | 6213 579 | 61 | 187 691.99/692.17 c 635s | 22 | 6853630 | 1655022 | 6213 581 | 61 | 187 693.99/694.18 c 637s | 22 | 6875988 | 1660422 | 6213 583 | 61 | 187 696.08/696.20 c 639s | 22 | 6894679 | 1665622 | 6213 584 | 61 | 187 698.08/698.21 c 641s | 22 | 6915346 | 1671022 | 6213 586 | 61 | 187 700.08/700.24 c 643s | 22 | 6934754 | 1676722 | 6213 588 | 61 | 187 702.08/702.24 c 645s | 22 | 6954537 | 1682522 | 6213 590 | 61 | 187 704.08/704.26 c 647s | 22 | 6970196 | 1687822 | 6213 591 | 61 | 187 706.09/706.27 c 649s | 22 | 6987626 | 1693522 | 6213 593 | 61 | 187 708.08/708.28 c 651s | 22 | 7006615 | 1698822 | 6213 595 | 61 | 187 710.18/710.31 c 653s | 22 | 7025934 | 1704522 | 6213 596 | 61 | 187 712.38/712.51 c 655s | 22 | 7045234 | 1709522 | 6213 598 | 61 | 187 714.38/714.52 c 657s | 22 | 7064549 | 1713822 | 6213 599 | 61 | 187 716.38/716.56 c 659s | 22 | 7087197 | 1719122 | 6213 601 | 61 | 187 718.38/718.59 c 661s | 22 | 7103466 | 1723722 | 6213 602 | 61 | 187 720.48/720.61 c 663s | 22 | 7123156 | 1728822 | 6213 604 | 61 | 187 722.48/722.61 c 665s | 22 | 7143066 | 1734122 | 6213 606 | 61 | 187 724.47/724.63 c 667s | 22 | 7164014 | 1739122 | 6213 607 | 61 | 187 726.47/726.63 c 669s | 22 | 7186277 | 1744722 | 6213 609 | 61 | 187 728.48/728.64 c 671s | 22 | 7205156 | 1749522 | 6213 610 | 61 | 187 730.48/730.66 c 673s | 22 | 7226129 | 1755422 | 6213 612 | 61 | 187 732.49/732.66 c 675s | 22 | 7246513 | 1761022 | 6213 614 | 61 | 187 734.48/734.68 c 677s | 22 | 7264336 | 1766222 | 6213 615 | 61 | 187 736.58/736.71 c 679s | 22 | 7284506 | 1771322 | 6213 617 | 61 | 187 738.58/738.72 c 681s | 22 | 7304356 | 1776322 | 6213 619 | 61 | 187 740.58/740.75 c 683s | 22 | 7327741 | 1782122 | 6213 620 | 61 | 187 742.58/742.77 c 685s | 22 | 7348631 | 1788022 | 6213 622 | 61 | 187 744.58/744.77 c 687s | 22 | 7368188 | 1793722 | 6213 624 | 61 | 187 746.58/746.78 c 689s | 22 | 7387429 | 1799522 | 6213 626 | 61 | 187 748.58/748.78 c 691s | 22 | 7405234 | 1805122 | 6213 628 | 61 | 187 750.88/751.09 c 694s | 22 | 7423215 | 1810422 | 6213 629 | 61 | 187 752.97/753.10 c 696s | 22 | 7436790 | 1814422 | 6213 630 | 61 | 187 754.97/755.12 c 698s | 22 | 7455408 | 1819622 | 6213 632 | 61 | 187 756.97/757.14 c 700s | 22 | 7478242 | 1825222 | 6213 634 | 61 | 187 758.98/759.15 c 702s | 22 | 7500540 | 1830722 | 6213 635 | 61 | 187 760.97/761.15 c 704s | 22 | 7521758 | 1836022 | 6213 637 | 61 | 187 762.97/763.17 c 706s | 22 | 7544002 | 1841622 | 6213 639 | 61 | 187 764.97/765.18 c 708s | 22 | 7565138 | 1847422 | 6213 641 | 61 | 187 767.07/767.22 c 710s | 22 | 7583303 | 1853222 | 6213 642 | 61 | 187 769.07/769.25 c 712s | 22 | 7602772 | 1858922 | 6213 644 | 61 | 187 771.37/771.59 c 714s | 22 | 7622544 | 1864622 | 6213 646 | 61 | 187 773.47/773.61 c 716s | 22 | 7640132 | 1869222 | 6213 647 | 61 | 187 775.48/775.61 c 718s | 22 | 7659258 | 1874722 | 6213 649 | 61 | 187 777.47/777.62 c 720s | 22 | 7677058 | 1879822 | 6213 651 | 61 | 187 779.47/779.65 c 722s | 22 | 7697934 | 1885522 | 6835 652 | 61 | 187 781.47/781.68 c 724s | 22 | 7716067 | 1890722 | 6835 654 | 61 | 187 783.57/783.70 c 726s | 22 | 7736075 | 1896322 | 6835 655 | 61 | 187 785.57/785.73 c 728s | 22 | 7754640 | 1901822 | 6835 657 | 61 | 187 787.57/787.76 c 730s | 22 | 7773965 | 1907422 | 6835 658 | 61 | 187 789.57/789.80 c 732s | 22 | 7793638 | 1912322 | 6835 660 | 61 | 187 791.67/791.80 c 734s | 22 | 7810881 | 1917322 | 6835 661 | 61 | 187 793.67/793.84 c 736s | 22 | 7828447 | 1921722 | 6835 663 | 61 | 187 795.66/795.86 c 738s | 22 | 7846207 | 1926722 | 6835 664 | 61 | 187 797.76/797.93 c 741s | 22 | 7868912 | 1932222 | 6835 666 | 61 | 187 799.76/799.93 c 743s | 22 | 7890888 | 1937422 | 6835 667 | 61 | 187 801.77/801.96 c 745s | 22 | 7912578 | 1942322 | 6835 668 | 61 | 187 803.76/803.97 c 747s | 22 | 7930407 | 1947922 | 6835 670 | 61 | 187 805.86/806.00 c 749s | 22 | 7948951 | 1953322 | 6835 671 | 61 | 187 807.86/808.01 c 751s | 22 | 7968743 | 1958922 | 6835 673 | 61 | 187 809.87/810.01 c 753s | 22 | 7983676 | 1962422 | 6835 674 | 61 | 187 811.87/812.03 c 755s | 22 | 8002943 | 1967422 | 6835 675 | 61 | 187 813.88/814.05 c 757s | 22 | 8024871 | 1972522 | 6835 677 | 61 | 187 815.87/816.09 c 759s | 22 | 8045958 | 1977622 | 6835 678 | 61 | 187 817.87/818.09 c 761s | 22 | 8067038 | 1982822 | 6835 680 | 61 | 187 819.97/820.11 c 763s | 22 | 8087483 | 1988422 | 6835 681 | 61 | 187 821.97/822.12 c 765s | 22 | 8103492 | 1993122 | 6835 683 | 61 | 187 823.97/824.12 c 767s | 22 | 8117645 | 1997622 | 6835 684 | 61 | 187 825.97/826.16 c 769s | 22 | 8131291 | 2001622 | 6835 685 | 61 | 187 827.97/828.16 c 771s | 22 | 8151163 | 2006922 | 6835 687 | 61 | 187 830.06/830.21 c 773s | 22 | 8173343 | 2012522 | 6835 688 | 61 | 187 832.06/832.23 c 775s | 22 | 8194410 | 2017122 | 6835 690 | 61 | 187 834.06/834.27 c 777s | 22 | 8218576 | 2022822 | 6835 691 | 61 | 187 836.06/836.27 c 779s | 22 | 8238085 | 2027622 | 6835 693 | 61 | 187 838.07/838.27 c 781s | 22 | 8259652 | 2032822 | 6835 694 | 61 | 187 840.06/840.29 c 783s | 22 | 8283108 | 2038222 | 6835 696 | 61 | 187 842.06/842.30 c 785s | 22 | 8301785 | 2043722 | 6835 697 | 61 | 187 844.26/844.40 c 787s | 22 | 8317933 | 2048722 | 6835 698 | 61 | 187 846.26/846.42 c 789s | 22 | 8332502 | 2053222 | 6835 700 | 61 | 187 848.26/848.43 c 791s | 22 | 8350705 | 2058722 | 6835 701 | 61 | 187 850.27/850.44 c 793s | 22 | 8370436 | 2063922 | 6835 703 | 61 | 187 852.26/852.46 c 795s | 22 | 8391601 | 2069422 | 6835 704 | 61 | 187 854.26/854.48 c 797s | 22 | 8409946 | 2074622 | 6835 706 | 61 | 187 856.26/856.49 c 799s | 22 | 8428586 | 2079722 | 6835 707 | 61 | 187 858.26/858.49 c 801s | 22 | 8448259 | 2085222 | 6835 709 | 61 | 187 860.36/860.53 c 803s | 22 | 8469263 | 2091022 | 6835 710 | 61 | 187 862.36/862.57 c 805s | 22 | 8493369 | 2096422 | 6835 712 | 61 | 187 864.35/864.59 c 807s | 22 | 8512966 | 2101322 | 6835 713 | 61 | 187 866.45/866.63 c 809s | 22 | 8531648 | 2105822 | 6835 715 | 61 | 187 868.45/868.67 c 811s | 22 | 8550751 | 2110322 | 6835 716 | 61 | 187 870.45/870.69 c 813s | 22 | 8575185 | 2115622 | 6835 717 | 61 | 187 872.55/872.71 c 815s | 22 | 8595910 | 2120822 | 6835 719 | 61 | 187 874.56/874.72 c 817s | 22 | 8618378 | 2126022 | 6835 720 | 61 | 187 876.57/876.74 c 819s | 22 | 8638734 | 2131122 | 6835 722 | 61 | 187 878.56/878.74 c 821s | 22 | 8656955 | 2135722 | 6835 723 | 61 | 187 880.56/880.77 c 823s | 22 | 8679795 | 2140922 | 6835 725 | 61 | 187 882.66/882.81 c 825s | 22 | 8703365 | 2146222 | 6835 726 | 61 | 187 884.66/884.85 c 827s | 22 | 8724801 | 2151222 | 6835 727 | 61 | 187 886.66/886.88 c 830s | 22 | 8745968 | 2156522 | 6835 729 | 61 | 187 888.66/888.90 c 832s | 22 | 8764151 | 2162122 | 6835 731 | 61 | 187 890.76/890.92 c 834s | 22 | 8782392 | 2167422 | 6835 732 | 61 | 187 892.76/892.95 c 836s | 22 | 8799656 | 2172822 | 6835 734 | 61 | 187 894.76/894.98 c 838s | 22 | 8817487 | 2178122 | 6835 735 | 61 | 187 896.76/896.99 c 840s | 22 | 8834066 | 2183222 | 6835 737 | 61 | 187 898.85/899.05 c 842s | 22 | 8846545 | 2186722 | 6835 738 | 61 | 187 900.86/901.06 c 844s | 22 | 8865057 | 2191922 | 6835 739 | 61 | 187 902.96/903.11 c 846s | 22 | 8885420 | 2197322 | 6835 741 | 61 | 187 904.95/905.11 c 848s | 22 | 8905485 | 2201922 | 6835 742 | 61 | 187 906.95/907.12 c 850s | 22 | 8926461 | 2207222 | 6835 743 | 61 | 187 908.95/909.13 c 852s | 22 | 8944771 | 2212422 | 6835 745 | 61 | 187 910.95/911.14 c 854s | 22 | 8962711 | 2217922 | 6835 746 | 61 | 187 912.96/913.17 c 856s | 22 | 8983232 | 2223622 | 6835 748 | 61 | 187 914.95/915.19 c 858s | 22 | 8997580 | 2228122 | 6835 749 | 61 | 187 917.05/917.21 c 860s | 22 | 9016750 | 2233722 | 6835 751 | 61 | 187 919.05/919.22 c 862s | 22 | 9036438 | 2239222 | 6835 752 | 61 | 187 921.05/921.24 c 864s | 22 | 9058598 | 2244622 | 6835 754 | 61 | 187 923.25/923.46 c 866s | 22 | 9076353 | 2249822 | 6835 755 | 61 | 187 923.75/923.93 c 867s | 23 | 9080946 | 2251038 | 6835 756 | 61 | 187 925.75/925.97 c 869s | 23 | 9102230 | 2256338 | 6835 757 | 61 | 187 927.75/927.97 c 871s | 23 | 9123611 | 2261238 | 6835 759 | 61 | 187 929.75/929.98 c 873s | 23 | 9141096 | 2266438 | 6835 760 | 61 | 187 931.85/932.01 c 875s | 23 | 9159039 | 2271838 | 6835 762 | 61 | 187 933.85/934.02 c 877s | 23 | 9181151 | 2277038 | 6835 763 | 61 | 187 935.95/936.16 c 879s | 23 | 9196926 | 2281238 | 6835 764 | 61 | 187 937.94/938.16 c 881s | 23 | 9218841 | 2286438 | 6835 766 | 61 | 187 939.94/940.18 c 883s | 23 | 9239128 | 2291438 | 6835 767 | 61 | 187 941.94/942.20 c 885s | 23 | 9258846 | 2296938 | 6835 769 | 61 | 187 944.04/944.22 c 887s | 23 | 9278266 | 2302238 | 6835 770 | 61 | 187 946.04/946.26 c 889s | 23 | 9299672 | 2307838 | 6835 772 | 61 | 187 948.05/948.29 c 891s | 23 | 9321253 | 2313738 | 6835 773 | 61 | 187 950.14/950.31 c 893s | 23 | 9341365 | 2319238 | 6835 775 | 61 | 187 952.14/952.34 c 895s | 23 | 9362154 | 2324938 | 6835 777 | 61 | 187 954.14/954.36 c 897s | 23 | 9380692 | 2330438 | 6835 778 | 61 | 187 956.14/956.37 c 899s | 23 | 9403380 | 2335838 | 6835 780 | 61 | 187 958.14/958.39 c 901s | 23 | 9425406 | 2341038 | 6835 781 | 61 | 187 960.25/960.41 c 903s | 23 | 9441264 | 2345138 | 6835 782 | 61 | 187 962.34/962.51 c 905s | 23 | 9457476 | 2348438 | 6835 783 | 61 | 187 964.34/964.51 c 907s | 23 | 9483247 | 2354038 | 6835 785 | 61 | 187 966.35/966.53 c 909s | 23 | 9503613 | 2359438 | 6835 786 | 61 | 187 968.35/968.56 c 911s | 23 | 9524369 | 2364838 | 6835 788 | 61 | 187 970.34/970.56 c 913s | 23 | 9543901 | 2370538 | 6835 790 | 61 | 187 972.35/972.59 c 915s | 23 | 9562127 | 2376238 | 6835 791 | 61 | 187 974.45/974.63 c 917s | 23 | 9579385 | 2380738 | 6835 792 | 61 | 187 976.44/976.67 c 919s | 23 | 9600152 | 2386038 | 6835 794 | 61 | 187 978.44/978.69 c 921s | 23 | 9621411 | 2391138 | 6835 795 | 61 | 187 980.54/980.72 c 923s | 23 | 9642415 | 2396438 | 6835 797 | 61 | 187 982.54/982.74 c 925s | 23 | 9661836 | 2402138 | 6835 798 | 61 | 187 984.54/984.76 c 927s | 23 | 9682192 | 2407438 | 6835 800 | 61 | 187 986.55/986.79 c 929s | 23 | 9701543 | 2412738 | 6835 801 | 61 | 187 988.54/988.79 c 931s | 23 | 9718089 | 2417738 | 6835 803 | 61 | 187 990.54/990.80 c 933s | 23 | 9737245 | 2423238 | 6835 804 | 61 | 187 992.64/992.80 c 935s | 23 | 9756848 | 2428638 | 6835 806 | 61 | 187 994.64/994.81 c 937s | 23 | 9776499 | 2433738 | 6835 807 | 61 | 187 996.64/996.88 c 940s | 23 | 9791368 | 2438238 | 6835 809 | 61 | 187 998.83/999.05 c 942s | 23 | 9807986 | 2441938 | 6835 810 | 61 | 187 1000.84/1001.07 c 944s | 23 | 9832975 | 2447138 | 6835 811 | 61 | 187 1002.93/1003.10 c 946s | 23 | 9852834 | 2452538 | 6835 813 | 61 | 187 1004.93/1005.13 c 948s | 23 | 9869845 | 2457938 | 6835 814 | 61 | 187 1006.94/1007.13 c 950s | 23 | 9886762 | 2463538 | 6835 816 | 61 | 187 1008.94/1009.16 c 952s | 23 | 9909342 | 2468738 | 6835 817 | 61 | 187 1010.94/1011.18 c 954s | 23 | 9922331 | 2473138 | 6835 819 | 61 | 187 1012.95/1013.18 c 956s | 23 | 9946164 | 2478238 | 6835 820 | 61 | 187 1015.04/1015.22 c 958s | 23 | 9968663 | 2483638 | 6835 822 | 61 | 187 1017.04/1017.25 c 960s | 23 | 9992798 | 2489238 | 6835 823 | 61 | 187 1019.04/1019.27 c 962s | 23 | 10011800 | 2494338 | 6835 825 | 61 | 187 1021.04/1021.29 c 964s | 23 | 10031771 | 2500138 | 6835 826 | 61 | 187 1023.14/1023.30 c 966s | 23 | 10050750 | 2505338 | 6835 828 | 61 | 187 1025.14/1025.33 c 968s | 23 | 10070151 | 2510638 | 6835 829 | 61 | 187 1027.14/1027.33 c 970s | 23 | 10091898 | 2515438 | 6835 831 | 61 | 187 1029.14/1029.36 c 972s | 23 | 10109780 | 2520738 | 6835 832 | 61 | 187 1031.14/1031.36 c 974s | 23 | 10127901 | 2526138 | 6835 834 | 61 | 187 1033.14/1033.38 c 976s | 23 | 10146897 | 2531738 | 6835 835 | 61 | 187 1035.24/1035.42 c 978s | 23 | 10166923 | 2536938 | 6835 837 | 61 | 187 1037.24/1037.45 c 980s | 23 | 10185273 | 2542238 | 6835 838 | 61 | 187 1039.24/1039.45 c 982s | 23 | 10205174 | 2547338 | 6835 840 | 61 | 187 1041.64/1041.88 c 985s | 23 | 10221727 | 2551638 | 6835 841 | 61 | 187 1043.63/1043.90 c 987s | 23 | 10239784 | 2556838 | 6835 842 | 61 | 187 1045.73/1045.91 c 989s | 23 | 10257582 | 2562038 | 6835 844 | 61 | 187 1047.73/1047.93 c 991s | 23 | 10276665 | 2567438 | 6835 845 | 61 | 187 1049.73/1049.94 c 993s | 23 | 10297908 | 2572838 | 6835 847 | 61 | 187 1051.73/1051.95 c 995s | 23 | 10318336 | 2578238 | 6835 848 | 61 | 187 1053.73/1053.98 c 997s | 23 | 10340261 | 2583738 | 6835 850 | 61 | 187 1055.73/1055.99 c 999s | 23 | 10359486 | 2589238 | 6835 851 | 61 | 187 1057.83/1058.01 c 1001s | 23 | 10379660 | 2594738 | 6835 853 | 61 | 187 1059.82/1060.04 c 1003s | 23 | 10396048 | 2599338 | 6835 854 | 61 | 187 1061.82/1062.05 c 1005s | 23 | 10412441 | 2604438 | 6835 856 | 61 | 187 1063.82/1064.05 c 1007s | 23 | 10432169 | 2609838 | 6835 857 | 61 | 187 1065.83/1066.07 c 1009s | 23 | 10449479 | 2614638 | 6835 859 | 61 | 187 1067.82/1068.10 c 1011s | 23 | 10468670 | 2620138 | 6835 860 | 61 | 187 1069.93/1070.15 c 1013s | 23 | 10489159 | 2625838 | 6835 862 | 61 | 187 1071.93/1072.16 c 1015s | 23 | 10505555 | 2631338 | 6835 863 | 61 | 187 1073.93/1074.18 c 1017s | 23 | 10523804 | 2636538 | 6835 865 | 61 | 187 1076.03/1076.21 c 1019s | 23 | 10542191 | 2642238 | 6835 866 | 61 | 187 1078.03/1078.22 c 1021s | 23 | 10555251 | 2646538 | 6835 868 | 61 | 187 1080.13/1080.34 c 1023s | 23 | 10572146 | 2650838 | 6835 869 | 61 | 187 1082.12/1082.35 c 1025s | 23 | 10592554 | 2656338 | 6835 870 | 61 | 187 1084.12/1084.36 c 1027s | 23 | 10612100 | 2661338 | 6835 872 | 61 | 187 1086.12/1086.37 c 1029s | 23 | 10630919 | 2666538 | 6835 873 | 61 | 187 1088.22/1088.41 c 1031s | 23 | 10651734 | 2672338 | 6835 875 | 61 | 187 1090.22/1090.43 c 1033s | 23 | 10671947 | 2678038 | 6835 877 | 61 | 187 1092.23/1092.44 c 1035s | 23 | 10689763 | 2683438 | 6835 878 | 61 | 187 1094.22/1094.47 c 1037s | 23 | 10709296 | 2688738 | 6835 880 | 61 | 187 1096.32/1096.50 c 1039s | 23 | 10725554 | 2693838 | 6835 881 | 61 | 187 1098.32/1098.53 c 1041s | 23 | 10744522 | 2699138 | 6835 883 | 61 | 187 1100.32/1100.53 c 1043s | 23 | 10762438 | 2704438 | 6835 884 | 61 | 187 1102.32/1102.56 c 1045s | 23 | 10780028 | 2709838 | 6835 886 | 61 | 187 1104.42/1104.65 c 1047s | 23 | 10796416 | 2714238 | 6835 887 | 61 | 187 1106.42/1106.66 c 1049s | 23 | 10817273 | 2719738 | 6835 888 | 61 | 187 1108.41/1108.68 c 1051s | 23 | 10837875 | 2725338 | 6835 890 | 61 | 187 1110.51/1110.71 c 1053s | 23 | 10858647 | 2730838 | 6835 891 | 61 | 187 1112.51/1112.74 c 1055s | 23 | 10876933 | 2735438 | 6835 893 | 61 | 187 1114.51/1114.77 c 1057s | 23 | 10897305 | 2740738 | 6835 894 | 61 | 187 1116.51/1116.77 c 1059s | 23 | 10919487 | 2745738 | 6835 896 | 61 | 187 1118.51/1118.78 c 1061s | 23 | 10941567 | 2751238 | 6835 897 | 61 | 187 1120.50/1120.78 c 1063s | 23 | 10965029 | 2756538 | 6835 899 | 61 | 187 1122.60/1122.80 c 1065s | 23 | 10985117 | 2761738 | 6835 900 | 61 | 187 1124.60/1124.82 c 1067s | 23 | 11004827 | 2766938 | 6835 902 | 61 | 187 1126.60/1126.82 c 1069s | 23 | 11020963 | 2771338 | 6835 903 | 61 | 187 1128.60/1128.87 c 1072s | 23 | 11039658 | 2776638 | 6835 904 | 61 | 187 1130.62/1130.88 c 1074s | 23 | 11057843 | 2781338 | 6835 906 | 61 | 187 1132.60/1132.89 c 1076s | 23 | 11075723 | 2786138 | 6835 907 | 61 | 187 1134.70/1134.90 c 1078s | 23 | 11093448 | 2791238 | 6835 909 | 61 | 187 1136.70/1136.92 c 1080s | 23 | 11112403 | 2795738 | 6835 910 | 61 | 187 1138.70/1138.94 c 1082s | 23 | 11131479 | 2800738 | 6835 911 | 61 | 187 1140.70/1140.95 c 1084s | 23 | 11152470 | 2805838 | 6835 913 | 61 | 187 1142.70/1142.96 c 1086s | 23 | 11174498 | 2811138 | 6835 914 | 61 | 187 1144.70/1144.99 c 1088s | 23 | 11197815 | 2817038 | 6835 916 | 61 | 187 1146.79/1147.00 c 1090s | 23 | 11214875 | 2821838 | 6835 917 | 61 | 187 1148.79/1149.00 c 1092s | 23 | 11234154 | 2826538 | 6835 919 | 61 | 187 1150.79/1151.04 c 1094s | 23 | 11253035 | 2832138 | 6835 920 | 61 | 187 1152.79/1153.06 c 1096s | 23 | 11271184 | 2837438 | 6835 922 | 61 | 187 1154.80/1155.08 c 1098s | 23 | 11295528 | 2842938 | 6835 923 | 61 | 187 1156.89/1157.10 c 1100s | 23 | 11312907 | 2847338 | 6835 924 | 61 | 187 1158.89/1159.13 c 1102s | 23 | 11332346 | 2852438 | 6835 926 | 61 | 187 1160.89/1161.13 c 1104s | 23 | 11352141 | 2857838 | 6835 927 | 61 | 187 1162.88/1163.14 c 1106s | 23 | 11368920 | 2862738 | 6835 929 | 61 | 187 1164.88/1165.14 c 1108s | 23 | 11389469 | 2868238 | 6835 930 | 61 | 187 1166.89/1167.14 c 1110s | 23 | 11408613 | 2873738 | 6835 932 | 61 | 187 1168.88/1169.16 c 1112s | 23 | 11428068 | 2879438 | 6835 934 | 61 | 187 1170.88/1171.18 c 1114s | 23 | 11443005 | 2883438 | 6835 935 | 61 | 187 1172.88/1173.19 c 1116s | 23 | 11463269 | 2888938 | 6835 936 | 61 | 187 1174.98/1175.22 c 1118s | 23 | 11482454 | 2894438 | 6835 938 | 61 | 187 1176.98/1177.25 c 1120s | 23 | 11501888 | 2899838 | 6835 939 | 61 | 187 1178.98/1179.27 c 1122s | 23 | 11520217 | 2904538 | 6835 941 | 61 | 187 1181.07/1181.30 c 1124s | 23 | 11542401 | 2909938 | 6835 942 | 61 | 187 1183.07/1183.30 c 1126s | 23 | 11560600 | 2914838 | 6835 944 | 61 | 187 1185.07/1185.32 c 1128s | 23 | 11580236 | 2919138 | 6835 945 | 61 | 187 1187.07/1187.36 c 1130s | 23 | 11602765 | 2924438 | 6835 946 | 61 | 187 1189.07/1189.37 c 1132s | 23 | 11624931 | 2929738 | 6835 948 | 61 | 187 1191.07/1191.40 c 1134s | 23 | 11645215 | 2934338 | 6835 949 | 61 | 187 1193.16/1193.40 c 1136s | 23 | 11666292 | 2939638 | 6835 951 | 61 | 187 1195.16/1195.43 c 1138s | 23 | 11687988 | 2945138 | 6835 952 | 61 | 187 1197.16/1197.44 c 1140s | 23 | 11705086 | 2949438 | 6835 953 | 61 | 187 1199.16/1199.47 c 1142s | 23 | 11725572 | 2954838 | 6835 955 | 61 | 187 1201.46/1201.71 c 1144s | 23 | 11742828 | 2960338 | 6835 956 | 61 | 187 1203.46/1203.73 c 1146s | 23 | 11761430 | 2964738 | 6835 958 | 61 | 187 1205.46/1205.75 c 1148s | 23 | 11781892 | 2970238 | 6835 959 | 61 | 187 1207.45/1207.77 c 1150s | 23 | 11804181 | 2975538 | 6835 961 | 61 | 187 1209.45/1209.77 c 1152s | 23 | 11823874 | 2980938 | 6835 962 | 61 | 187 1211.65/1211.99 c 1155s | 23 | 11841899 | 2986038 | 6835 964 | 61 | 187 1213.76/1214.02 c 1157s | 23 | 11858751 | 2990438 | 6835 965 | 61 | 187 1215.76/1216.04 c 1159s | 23 | 11880837 | 2995938 | 6835 967 | 61 | 187 1217.76/1218.05 c 1161s | 23 | 11900727 | 3001138 | 7519 968 | 61 | 187 1219.76/1220.06 c 1163s | 23 | 11922893 | 3006238 | 7519 969 | 61 | 187 1221.75/1222.06 c 1165s | 23 | 11943260 | 3011238 | 7519 971 | 61 | 187 1223.75/1224.08 c 1167s | 23 | 11965122 | 3016138 | 7519 972 | 61 | 187 1225.85/1226.12 c 1169s | 23 | 11988444 | 3021538 | 7519 973 | 61 | 187 1227.85/1228.13 c 1171s | 23 | 12009234 | 3026538 | 7519 974 | 61 | 187 1229.85/1230.14 c 1173s | 23 | 12029376 | 3031738 | 7519 976 | 61 | 187 1231.85/1232.17 c 1175s | 23 | 12048690 | 3036738 | 7519 977 | 61 | 187 1233.95/1234.20 c 1177s | 23 | 12069381 | 3041438 | 7519 978 | 61 | 187 1235.94/1236.23 c 1179s | 23 | 12087886 | 3046438 | 7519 980 | 61 | 187 1237.94/1238.26 c 1181s | 23 | 12107389 | 3051738 | 7519 981 | 61 | 187 1239.94/1240.29 c 1183s | 23 | 12120998 | 3054938 | 7519 982 | 61 | 187 1242.04/1242.30 c 1185s | 23 | 12141676 | 3060038 | 7519 983 | 61 | 187 1244.04/1244.32 c 1187s | 23 | 12159159 | 3064638 | 7519 984 | 61 | 187 1246.04/1246.34 c 1189s | 23 | 12182115 | 3069738 | 7519 986 | 61 | 187 1248.04/1248.36 c 1191s | 23 | 12203917 | 3075038 | 7519 987 | 61 | 187 1250.04/1250.37 c 1193s | 23 | 12225612 | 3080238 | 7519 988 | 61 | 187 1252.13/1252.42 c 1195s | 23 | 12244337 | 3084938 | 7519 990 | 61 | 187 1254.13/1254.45 c 1197s | 23 | 12263455 | 3089738 | 7519 991 | 61 | 187 1256.13/1256.47 c 1199s | 23 | 12283949 | 3095238 | 7519 992 | 61 | 187 1258.14/1258.47 c 1201s | 23 | 12304875 | 3100438 | 7519 994 | 61 | 187 1260.23/1260.51 c 1203s | 23 | 12327587 | 3105838 | 7519 995 | 61 | 187 1262.23/1262.53 c 1205s | 23 | 12352336 | 3111138 | 7519 996 | 61 | 187 1264.23/1264.56 c 1207s | 23 | 12366903 | 3114438 | 7519 997 | 61 | 187 1266.23/1266.56 c 1209s | 23 | 12386064 | 3118838 | 7519 998 | 61 | 187 1268.23/1268.59 c 1211s | 23 | 12408049 | 3123938 | 7519 1000 | 61 | 187 1270.23/1270.60 c 1213s | 23 | 12428003 | 3128238 | 7519 1001 | 61 | 187 1272.32/1272.61 c 1215s | 23 | 12448051 | 3133238 | 7519 1002 | 61 | 187 1274.32/1274.66 c 1217s | 23 | 12466547 | 3138238 | 7519 1003 | 61 | 187 1276.32/1276.69 c 1219s | 23 | 12483912 | 3142838 | 7519 1004 | 61 | 187 1278.42/1278.71 c 1221s | 23 | 12503502 | 3147538 | 7519 1006 | 61 | 187 1280.42/1280.71 c 1223s | 23 | 12524203 | 3152338 | 7519 1007 | 61 | 187 1282.43/1282.75 c 1225s | 23 | 12547830 | 3157438 | 7519 1008 | 61 | 187 1284.42/1284.76 c 1227s | 23 | 12566097 | 3161738 | 7519 1009 | 61 | 187 1286.42/1286.77 c 1229s | 23 | 12586769 | 3166438 | 7519 1011 | 61 | 187 1288.52/1288.81 c 1231s | 23 | 12608250 | 3171338 | 7519 1012 | 61 | 187 1290.52/1290.83 c 1233s | 23 | 12628454 | 3176338 | 7519 1013 | 61 | 187 1292.51/1292.87 c 1235s | 23 | 12646838 | 3180738 | 7519 1014 | 61 | 187 1294.81/1295.13 c 1238s | 23 | 12663627 | 3185238 | 7519 1015 | 61 | 187 1296.81/1297.17 c 1240s | 23 | 12686365 | 3190638 | 7519 1017 | 61 | 187 1298.82/1299.19 c 1242s | 23 | 12707501 | 3196338 | 7519 1018 | 61 | 187 1300.91/1301.20 c 1244s | 23 | 12726611 | 3201538 | 7519 1020 | 61 | 187 1302.91/1303.23 c 1246s | 23 | 12745620 | 3206838 | 7519 1021 | 61 | 187 1304.90/1305.25 c 1248s | 23 | 12764298 | 3212038 | 7519 1022 | 61 | 187 1306.90/1307.27 c 1250s | 23 | 12784299 | 3217238 | 7519 1024 | 61 | 187 1308.90/1309.28 c 1252s | 23 | 12803603 | 3222438 | 7519 1025 | 61 | 187 1311.00/1311.31 c 1254s | 23 | 12822606 | 3227338 | 7519 1026 | 61 | 187 1313.00/1313.33 c 1256s | 23 | 12844081 | 3232638 | 7519 1028 | 61 | 187 1315.00/1315.34 c 1258s | 23 | 12863922 | 3237838 | 7519 1029 | 61 | 187 1317.00/1317.39 c 1260s | 23 | 12883503 | 3243138 | 7519 1030 | 61 | 187 1319.10/1319.41 c 1262s | 23 | 12901069 | 3247838 | 7519 1032 | 61 | 187 1321.09/1321.46 c 1264s | 23 | 12920081 | 3253438 | 7519 1033 | 61 | 187 1323.10/1323.47 c 1266s | 23 | 12939704 | 3258638 | 7519 1034 | 61 | 187 1325.09/1325.48 c 1268s | 23 | 12959925 | 3263738 | 7519 1036 | 61 | 187 1327.09/1327.48 c 1270s | 23 | 12970080 | 3267038 | 7519 1037 | 61 | 187 1329.19/1329.52 c 1272s | 23 | 12989082 | 3271638 | 7519 1038 | 61 | 187 1331.19/1331.56 c 1274s | 23 | 13008897 | 3277138 | 7519 1039 | 61 | 187 1333.19/1333.59 c 1276s | 23 | 13031025 | 3282338 | 7519 1040 | 61 | 187 1335.29/1335.62 c 1278s | 23 | 13048759 | 3286438 | 7519 1042 | 61 | 187 1337.59/1337.95 c 1281s | 23 | 13067423 | 3291738 | 7519 1043 | 61 | 187 1339.59/1339.96 c 1283s | 23 | 13088770 | 3297238 | 7519 1044 | 61 | 187 1341.58/1341.96 c 1285s | 23 | 13108057 | 3302138 | 7519 1046 | 61 | 187 1343.68/1344.03 c 1287s | 23 | 13126274 | 3307038 | 7519 1047 | 61 | 187 1345.88/1346.22 c 1289s | 23 | 13142924 | 3311538 | 7519 1048 | 61 | 187 1347.88/1348.27 c 1291s | 23 | 13162272 | 3316538 | 7519 1049 | 61 | 187 1349.98/1350.31 c 1293s | 23 | 13178386 | 3321338 | 7519 1051 | 61 | 187 1351.98/1352.33 c 1295s | 23 | 13197561 | 3326338 | 7519 1052 | 61 | 187 1353.98/1354.34 c 1297s | 23 | 13218812 | 3331538 | 7519 1053 | 61 | 187 1355.98/1356.37 c 1299s | 23 | 13242447 | 3336438 | 7519 1054 | 61 | 187 1357.97/1358.39 c 1301s | 23 | 13262292 | 3341738 | 7519 1056 | 61 | 187 1359.97/1360.39 c 1303s | 23 | 13279621 | 3346438 | 7519 1057 | 61 | 187 1362.07/1362.41 c 1305s | 23 | 13298138 | 3351538 | 7519 1058 | 61 | 187 1364.07/1364.44 c 1307s | 23 | 13315885 | 3355938 | 7519 1059 | 61 | 187 1366.07/1366.45 c 1309s | 23 | 13334495 | 3361438 | 7519 1061 | 61 | 187 1368.08/1368.45 c 1311s | 23 | 13351805 | 3366438 | 7519 1062 | 61 | 187 1370.07/1370.48 c 1313s | 23 | 13368630 | 3371638 | 7519 1063 | 61 | 187 1372.16/1372.50 c 1315s | 23 | 13384322 | 3376638 | 7519 1065 | 61 | 187 1372.16/1372.52 c 1315s | 24 | 13384424 | 3376662 | 7519 1065 | 61 | 187 1374.16/1374.55 c 1317s | 24 | 13395835 | 3379362 | 7519 1065 | 61 | 187 1376.16/1376.58 c 1319s | 24 | 13419279 | 3384862 | 7519 1067 | 61 | 187 1378.16/1378.58 c 1321s | 24 | 13442583 | 3390262 | 7519 1068 | 61 | 187 1380.18/1380.60 c 1323s | 24 | 13462088 | 3394862 | 7519 1069 | 61 | 187 1382.26/1382.63 c 1325s | 24 | 13484080 | 3400062 | 7519 1071 | 61 | 187 1384.26/1384.64 c 1327s | 24 | 13505221 | 3405062 | 7519 1072 | 61 | 187 1386.26/1386.67 c 1329s | 24 | 13527665 | 3409962 | 7519 1073 | 61 | 187 1388.26/1388.69 c 1331s | 24 | 13548394 | 3414762 | 7519 1075 | 61 | 187 1390.36/1390.70 c 1333s | 24 | 13570068 | 3420062 | 7519 1076 | 61 | 187 1392.36/1392.74 c 1335s | 24 | 13582353 | 3423062 | 7519 1077 | 61 | 187 1394.35/1394.74 c 1337s | 24 | 13604511 | 3428462 | 7519 1078 | 61 | 187 1396.35/1396.74 c 1339s | 24 | 13626388 | 3433762 | 7519 1080 | 61 | 187 1398.35/1398.77 c 1341s | 24 | 13641559 | 3437862 | 7519 1081 | 61 | 187 1400.45/1400.80 c 1343s | 24 | 13665261 | 3443362 | 7519 1082 | 61 | 187 1402.44/1402.82 c 1345s | 24 | 13687985 | 3448562 | 7519 1083 | 61 | 187 1404.45/1404.84 c 1347s | 24 | 13708312 | 3453762 | 7519 1085 | 61 | 187 1406.44/1406.84 c 1349s | 24 | 13722872 | 3457362 | 7519 1086 | 61 | 187 1408.44/1408.85 c 1351s | 24 | 13745145 | 3462762 | 7519 1087 | 61 | 187 1410.44/1410.86 c 1353s | 24 | 13763067 | 3467262 | 7519 1088 | 61 | 187 1412.43/1412.88 c 1356s | 24 | 13785230 | 3472762 | 7519 1090 | 61 | 187 1414.43/1414.89 c 1358s | 24 | 13804355 | 3477562 | 7519 1091 | 61 | 187 1416.54/1416.91 c 1360s | 24 | 13826519 | 3482362 | 7519 1092 | 61 | 187 1418.53/1418.92 c 1362s | 24 | 13846552 | 3487462 | 7519 1093 | 61 | 187 1420.53/1420.95 c 1364s | 24 | 13861905 | 3491162 | 7519 1094 | 61 | 187 1422.53/1422.96 c 1366s | 24 | 13884980 | 3496662 | 7519 1096 | 61 | 187 1424.53/1424.98 c 1368s | 24 | 13906441 | 3501762 | 7519 1097 | 61 | 187 1426.63/1427.01 c 1370s | 24 | 13924378 | 3506362 | 7519 1098 | 61 | 187 1428.64/1429.03 c 1372s | 24 | 13943985 | 3511462 | 7519 1100 | 61 | 187 1430.63/1431.06 c 1374s | 24 | 13965121 | 3516662 | 7519 1101 | 61 | 187 1432.63/1433.09 c 1376s | 24 | 13989286 | 3521862 | 7519 1102 | 61 | 187 1434.63/1435.10 c 1378s | 24 | 14010117 | 3526362 | 7519 1103 | 61 | 187 1436.73/1437.10 c 1380s | 24 | 14033192 | 3531262 | 7519 1105 | 61 | 187 1438.73/1439.12 c 1382s | 24 | 14056937 | 3536262 | 7519 1106 | 61 | 187 1440.73/1441.15 c 1384s | 24 | 14081658 | 3541362 | 7519 1107 | 61 | 187 1442.72/1443.18 c 1386s | 24 | 14101710 | 3546262 | 7519 1109 | 61 | 187 1445.03/1445.49 c 1388s | 24 | 14115366 | 3549662 | 7519 1109 | 61 | 187 1447.12/1447.52 c 1390s | 24 | 14135013 | 3553662 | 7519 1110 | 61 | 187 1449.12/1449.54 c 1392s | 24 | 14158847 | 3558262 | 7519 1112 | 61 | 187 1451.11/1451.55 c 1394s | 24 | 14180450 | 3563162 | 7519 1113 | 61 | 187 1453.11/1453.59 c 1396s | 24 | 14203808 | 3567762 | 7519 1114 | 61 | 187 1455.21/1455.61 c 1398s | 24 | 14230313 | 3572662 | 7519 1115 | 61 | 187 1457.22/1457.68 c 1400s | 24 | 14253352 | 3577262 | 7519 1117 | 61 | 187 1459.21/1459.69 c 1402s | 24 | 14272696 | 3581462 | 7519 1118 | 61 | 187 1461.30/1461.71 c 1404s | 24 | 14291715 | 3585762 | 7519 1119 | 61 | 187 1463.30/1463.73 c 1406s | 24 | 14314414 | 3590762 | 7519 1120 | 61 | 187 1465.30/1465.75 c 1408s | 24 | 14336379 | 3595262 | 7519 1121 | 61 | 187 1467.30/1467.78 c 1410s | 24 | 14360972 | 3600062 | 7519 1122 | 61 | 187 1469.31/1469.79 c 1412s | 24 | 14385244 | 3604662 | 7519 1124 | 61 | 187 1471.51/1471.91 c 1415s | 24 | 14401125 | 3608562 | 7519 1125 | 61 | 187 1473.51/1473.95 c 1417s | 24 | 14423211 | 3613362 | 7519 1126 | 61 | 187 1475.50/1475.98 c 1419s | 24 | 14447029 | 3618262 | 7519 1127 | 61 | 187 1477.60/1478.01 c 1421s | 24 | 14467590 | 3623062 | 7519 1128 | 61 | 187 1479.60/1480.04 c 1423s | 24 | 14491435 | 3628062 | 7519 1130 | 61 | 187 1481.80/1482.24 c 1425s | 24 | 14509899 | 3632262 | 7519 1131 | 61 | 187 1483.80/1484.26 c 1427s | 24 | 14530958 | 3636662 | 7519 1132 | 61 | 187 1485.81/1486.28 c 1429s | 24 | 14557143 | 3641662 | 7519 1133 | 61 | 187 1487.90/1488.34 c 1431s | 24 | 14580514 | 3646362 | 7519 1134 | 61 | 187 1489.90/1490.36 c 1433s | 24 | 14603818 | 3651062 | 7519 1136 | 61 | 187 1491.89/1492.39 c 1435s | 24 | 14626923 | 3656162 | 7519 1137 | 61 | 187 1493.99/1494.41 c 1437s | 24 | 14646205 | 3660362 | 7519 1138 | 61 | 187 1495.99/1496.43 c 1439s | 24 | 14669549 | 3665462 | 7519 1139 | 61 | 187 1497.99/1498.43 c 1441s | 24 | 14694188 | 3670562 | 7519 1141 | 61 | 187 1499.99/1500.44 c 1443s | 24 | 14715005 | 3675162 | 7519 1142 | 61 | 187 1501.98/1502.46 c 1445s | 24 | 14735831 | 3679662 | 7519 1143 | 61 | 187 1503.98/1504.48 c 1447s | 24 | 14762819 | 3684862 | 7519 1144 | 61 | 187 1506.08/1506.51 c 1449s | 24 | 14787205 | 3689662 | 7519 1146 | 61 | 187 1508.08/1508.59 c 1451s | 24 | 14810517 | 3694362 | 7519 1147 | 61 | 187 1510.18/1510.60 c 1453s | 24 | 14834759 | 3699262 | 7519 1148 | 61 | 187 1512.09/1512.60 c 1455s | 24 | 14858615 | 3703862 | 7519 1149 | 61 | 187 1514.18/1514.63 c 1457s | 24 | 14879732 | 3708062 | 7519 1150 | 61 | 187 1516.19/1516.66 c 1459s | 24 | 14903068 | 3712562 | 7519 1151 | 61 | 187 1518.19/1518.69 c 1461s | 24 | 14927162 | 3716962 | 7519 1153 | 61 | 187 1520.28/1520.72 c 1463s | 24 | 14945691 | 3720562 | 7519 1153 | 61 | 187 1522.28/1522.76 c 1465s | 24 | 14971708 | 3725562 | 7519 1155 | 61 | 187 1524.28/1524.79 c 1467s | 24 | 14994138 | 3730062 | 7519 1156 | 61 | 187 1526.38/1526.81 c 1469s | 24 | 15018111 | 3735062 | 7519 1157 | 61 | 187 1528.38/1528.84 c 1471s | 24 | 15044920 | 3740062 | 7519 1159 | 61 | 187 1530.37/1530.87 c 1474s | 24 | 15062545 | 3743962 | 7519 1160 | 61 | 187 1532.37/1532.88 c 1476s | 24 | 15086719 | 3748862 | 7519 1161 | 61 | 187 1534.37/1534.89 c 1478s | 24 | 15107314 | 3753162 | 7519 1162 | 61 | 187 1536.47/1536.93 c 1480s | 24 | 15131966 | 3758162 | 7519 1163 | 61 | 187 1538.47/1538.96 c 1482s | 24 | 15159080 | 3763062 | 7519 1164 | 61 | 187 1540.57/1541.08 c 1484s | 24 | 15182256 | 3767662 | 7519 1166 | 61 | 187 1542.66/1543.12 c 1486s | 24 | 15204378 | 3772462 | 7519 1167 | 61 | 187 1544.66/1545.16 c 1488s | 24 | 15225750 | 3776362 | 7519 1168 | 61 | 187 1546.66/1547.17 c 1490s | 24 | 15251038 | 3780862 | 7519 1169 | 61 | 187 1548.76/1549.20 c 1492s | 24 | 15273289 | 3785662 | 7519 1170 | 61 | 187 1550.76/1551.23 c 1494s | 24 | 15295189 | 3789962 | 7519 1171 | 61 | 187 1552.76/1553.26 c 1496s | 24 | 15315542 | 3794262 | 7519 1172 | 61 | 187 1554.76/1555.28 c 1498s | 24 | 15338838 | 3798962 | 7519 1174 | 61 | 187 1556.76/1557.28 c 1500s | 24 | 15363031 | 3803662 | 7519 1175 | 61 | 187 1558.85/1559.35 c 1502s | 24 | 15376672 | 3806462 | 7519 1176 | 61 | 187 1560.85/1561.39 c 1504s | 24 | 15398666 | 3811462 | 7519 1177 | 61 | 187 1562.95/1563.42 c 1506s | 24 | 15416704 | 3816262 | 7519 1178 | 61 | 187 1564.96/1565.43 c 1508s | 24 | 15440853 | 3821262 | 7519 1179 | 61 | 187 1566.95/1567.43 c 1510s | 24 | 15461670 | 3825562 | 7519 1181 | 61 | 187 1568.95/1569.44 c 1512s | 24 | 15482778 | 3829862 | 7519 1182 | 61 | 187 1570.95/1571.44 c 1514s | 24 | 15504648 | 3834162 | 7519 1183 | 61 | 187 1572.94/1573.45 c 1516s | 24 | 15531574 | 3839062 | 7519 1184 | 61 | 187 1574.94/1575.47 c 1518s | 24 | 15555895 | 3843762 | 7519 1185 | 61 | 187 1577.05/1577.53 c 1520s | 24 | 15581777 | 3848662 | 7519 1187 | 61 | 187 1579.04/1579.56 c 1522s | 24 | 15606114 | 3853662 | 7519 1188 | 61 | 187 1581.14/1581.60 c 1524s | 24 | 15624646 | 3857662 | 7519 1189 | 61 | 187 1583.14/1583.62 c 1526s | 24 | 15649198 | 3862962 | 7519 1190 | 61 | 187 1585.14/1585.66 c 1528s | 24 | 15672988 | 3867862 | 7519 1191 | 61 | 187 1587.14/1587.69 c 1530s | 24 | 15695247 | 3872562 | 7519 1193 | 61 | 187 1589.24/1589.72 c 1532s | 24 | 15712767 | 3875962 | 7519 1194 | 61 | 187 1591.24/1591.75 c 1534s | 24 | 15730082 | 3880862 | 7519 1195 | 61 | 187 1593.23/1593.78 c 1536s | 24 | 15748153 | 3885762 | 7519 1196 | 61 | 187 1595.33/1595.80 c 1538s | 24 | 15766324 | 3889862 | 7519 1197 | 61 | 187 1597.33/1597.83 c 1540s | 24 | 15786605 | 3894762 | 7519 1198 | 61 | 187 1599.53/1600.08 c 1543s | 24 | 15804753 | 3899562 | 7519 1200 | 61 | 187 1601.63/1602.10 c 1545s | 24 | 15828178 | 3904362 | 7519 1201 | 61 | 187 1603.62/1604.15 c 1547s | 24 | 15851825 | 3909162 | 7519 1202 | 61 | 187 1605.63/1606.17 c 1549s | 24 | 15875012 | 3913862 | 7519 1203 | 61 | 187 1607.62/1608.19 c 1551s | 24 | 15897312 | 3918462 | 7519 1205 | 61 | 187 1609.72/1610.20 c 1553s | 24 | 15919464 | 3922462 | 7519 1206 | 61 | 187 1611.92/1612.43 c 1555s | 24 | 15939126 | 3926662 | 7519 1207 | 61 | 187 1613.92/1614.44 c 1557s | 24 | 15962165 | 3931362 | 7519 1208 | 61 | 187 1615.92/1616.47 c 1559s | 24 | 15984408 | 3935962 | 7519 1209 | 61 | 187 1617.92/1618.49 c 1561s | 24 | 16005325 | 3940762 | 7519 1210 | 61 | 187 1620.02/1620.51 c 1563s | 24 | 16027434 | 3945162 | 7519 1211 | 61 | 187 1622.02/1622.52 c 1565s | 24 | 16046352 | 3949062 | 7519 1212 | 61 | 187 1624.01/1624.53 c 1567s | 24 | 16067728 | 3953862 | 7519 1214 | 61 | 187 1626.01/1626.58 c 1569s | 24 | 16090813 | 3958562 | 7519 1215 | 61 | 187 1628.01/1628.59 c 1571s | 24 | 16106496 | 3962062 | 7519 1216 | 61 | 187 1630.11/1630.63 c 1573s | 24 | 16129182 | 3966862 | 7519 1217 | 61 | 187 1632.10/1632.64 c 1575s | 24 | 16149073 | 3971662 | 7519 1218 | 61 | 187 1634.11/1634.64 c 1577s | 24 | 16163923 | 3975662 | 7519 1219 | 61 | 187 1636.10/1636.67 c 1579s | 24 | 16183561 | 3980462 | 7519 1221 | 61 | 187 1638.10/1638.67 c 1581s | 24 | 16202671 | 3985462 | 7519 1222 | 61 | 187 1640.10/1640.70 c 1583s | 24 | 16226617 | 3990262 | 7519 1223 | 61 | 187 1642.21/1642.73 c 1585s | 24 | 16245539 | 3993762 | 7519 1224 | 61 | 187 1644.21/1644.78 c 1587s | 24 | 16268541 | 3998762 | 7519 1225 | 61 | 187 1646.21/1646.80 c 1589s | 24 | 16291248 | 4003162 | 7519 1226 | 61 | 187 1648.30/1648.83 c 1591s | 24 | 16311857 | 4007662 | 7519 1228 | 61 | 187 1650.30/1650.84 c 1593s | 24 | 16333154 | 4012362 | 7519 1229 | 61 | 187 1652.30/1652.85 c 1595s | 24 | 16352500 | 4016662 | 7519 1230 | 61 | 187 1654.30/1654.86 c 1597s | 24 | 16370458 | 4020862 | 7519 1231 | 61 | 187 1656.30/1656.87 c 1600s | 24 | 16384247 | 4024062 | 7519 1232 | 61 | 187 1658.41/1658.92 c 1602s | 24 | 16407056 | 4029062 | 7519 1233 | 61 | 187 1660.40/1660.95 c 1604s | 24 | 16429251 | 4033962 | 7519 1234 | 61 | 187 1662.49/1663.00 c 1606s | 24 | 16455809 | 4038562 | 7519 1236 | 61 | 187 1664.49/1665.04 c 1608s | 24 | 16481266 | 4043362 | 7519 1237 | 61 | 187 1666.59/1667.19 c 1610s | 24 | 16501747 | 4047462 | 7519 1238 | 61 | 187 1668.69/1669.20 c 1612s | 24 | 16522386 | 4051962 | 7519 1239 | 61 | 187 1670.69/1671.21 c 1614s | 24 | 16540936 | 4056162 | 7519 1240 | 61 | 187 1672.69/1673.22 c 1616s | 24 | 16564178 | 4060862 | 7519 1241 | 61 | 187 1674.69/1675.23 c 1618s | 24 | 16588324 | 4065762 | 7519 1243 | 61 | 187 1676.69/1677.26 c 1620s | 24 | 16603713 | 4069962 | 7519 1244 | 61 | 187 1678.68/1679.28 c 1622s | 24 | 16623074 | 4074962 | 7519 1245 | 61 | 187 1680.78/1681.30 c 1624s | 24 | 16643606 | 4080062 | 7519 1246 | 61 | 187 1682.78/1683.32 c 1626s | 24 | 16662241 | 4084362 | 7519 1247 | 61 | 187 1684.79/1685.36 c 1628s | 24 | 16686555 | 4088462 | 7519 1248 | 61 | 187 1686.79/1687.40 c 1630s | 24 | 16710972 | 4093262 | 7519 1250 | 61 | 187 1688.89/1689.41 c 1632s | 24 | 16732674 | 4098162 | 7519 1251 | 61 | 187 1690.89/1691.44 c 1634s | 24 | 16750844 | 4102962 | 7519 1252 | 61 | 187 1692.88/1693.47 c 1636s | 24 | 16771948 | 4107362 | 7519 1253 | 61 | 187 1694.88/1695.48 c 1638s | 24 | 16792865 | 4112262 | 7519 1255 | 61 | 187 1696.89/1697.49 c 1640s | 24 | 16816860 | 4116962 | 7519 1256 | 61 | 187 1698.99/1699.52 c 1642s | 24 | 16837763 | 4121162 | 7519 1257 | 61 | 187 1700.98/1701.56 c 1644s | 24 | 16857672 | 4125862 | 7519 1258 | 61 | 187 1702.98/1703.58 c 1646s | 24 | 16873278 | 4129362 | 7519 1259 | 61 | 187 1705.07/1705.61 c 1648s | 24 | 16896365 | 4133962 | 7519 1260 | 61 | 187 1707.08/1707.63 c 1650s | 24 | 16918156 | 4138362 | 7519 1261 | 61 | 187 1709.08/1709.66 c 1652s | 24 | 16942939 | 4142962 | 7519 1262 | 61 | 187 1711.08/1711.67 c 1654s | 24 | 16961332 | 4147162 | 7519 1264 | 61 | 187 1713.17/1713.70 c 1656s | 24 | 16980005 | 4150962 | 7519 1265 | 61 | 187 1715.17/1715.74 c 1658s | 24 | 17003575 | 4156062 | 7519 1266 | 61 | 187 1717.17/1717.74 c 1660s | 24 | 17029262 | 4160562 | 7519 1267 | 61 | 187 1719.17/1719.76 c 1662s | 24 | 17051413 | 4164962 | 7519 1268 | 61 | 187 1721.66/1722.21 c 1665s | 24 | 17070190 | 4169062 | 7519 1269 | 61 | 187 1723.66/1724.24 c 1667s | 24 | 17089148 | 4173362 | 7519 1270 | 61 | 187 1725.66/1726.25 c 1669s | 24 | 17111659 | 4177862 | 7519 1271 | 61 | 187 1727.67/1728.27 c 1671s | 24 | 17133610 | 4182562 | 7519 1273 | 61 | 187 1729.66/1730.29 c 1673s | 24 | 17156579 | 4187162 | 7519 1274 | 61 | 187 1731.76/1732.30 c 1675s | 24 | 17175776 | 4191162 | 7519 1275 | 61 | 187 1733.76/1734.32 c 1677s | 24 | 17192689 | 4195362 | 7519 1276 | 61 | 187 1735.76/1736.33 c 1679s | 24 | 17214696 | 4200362 | 7519 1277 | 61 | 187 1737.76/1738.34 c 1681s | 24 | 17237370 | 4205062 | 7519 1278 | 61 | 187 1739.77/1740.36 c 1683s | 24 | 17254611 | 4209662 | 7519 1280 | 61 | 187 1741.76/1742.37 c 1685s | 24 | 17276653 | 4214162 | 7519 1281 | 61 | 187 1743.86/1744.40 c 1687s | 24 | 17299666 | 4218662 | 7519 1282 | 61 | 187 1745.86/1746.41 c 1689s | 24 | 17319494 | 4223062 | 7519 1283 | 61 | 187 1747.86/1748.45 c 1691s | 24 | 17341490 | 4227962 | 7519 1284 | 61 | 187 1749.86/1750.49 c 1693s | 24 | 17359585 | 4231362 | 7519 1285 | 61 | 187 1751.95/1752.52 c 1695s | 24 | 17380523 | 4235962 | 7519 1286 | 61 | 187 1753.96/1754.53 c 1697s | 24 | 17400697 | 4240162 | 7519 1288 | 61 | 187 1755.95/1756.57 c 1699s | 24 | 17423289 | 4244962 | 7519 1289 | 61 | 187 1758.05/1758.60 c 1701s | 24 | 17446045 | 4249962 | 7519 1290 | 61 | 187 1760.05/1760.69 c 1703s | 24 | 17463809 | 4253662 | 7519 1291 | 61 | 187 1762.15/1762.73 c 1705s | 24 | 17484434 | 4258162 | 7519 1292 | 61 | 187 1764.15/1764.77 c 1707s | 24 | 17505628 | 4262762 | 7519 1293 | 61 | 187 1766.16/1766.78 c 1709s | 24 | 17521742 | 4266262 | 7519 1294 | 61 | 187 1768.26/1768.81 c 1711s | 24 | 17541444 | 4271362 | 7519 1296 | 61 | 187 1770.25/1770.83 c 1713s | 24 | 17559014 | 4276162 | 7519 1297 | 61 | 187 1772.25/1772.86 c 1715s | 24 | 17574907 | 4280362 | 7519 1298 | 61 | 187 1774.25/1774.86 c 1717s | 24 | 17594229 | 4285062 | 7519 1299 | 61 | 187 1776.25/1776.89 c 1720s | 24 | 17611023 | 4288562 | 7519 1300 | 61 | 187 1778.26/1778.90 c 1722s | 24 | 17630702 | 4292762 | 7519 1301 | 61 | 187 1780.36/1780.91 c 1724s | 24 | 17650945 | 4296962 | 7519 1302 | 61 | 187 1782.35/1782.92 c 1726s | 24 | 17674017 | 4301462 | 7519 1303 | 61 | 187 1784.35/1784.93 c 1728s | 24 | 17694413 | 4305462 | 7519 1304 | 61 | 187 1786.36/1786.94 c 1730s | 24 | 17713799 | 4309162 | 7519 1305 | 61 | 187 1788.36/1788.96 c 1732s | 24 | 17736647 | 4313862 | 7519 1307 | 61 | 187 1790.36/1790.99 c 1734s | 24 | 17758236 | 4318462 | 7519 1308 | 61 | 187 1792.46/1793.02 c 1736s | 24 | 17778117 | 4322662 | 7519 1309 | 61 | 187 1794.45/1795.04 c 1738s | 24 | 17796850 | 4325562 | 7519 1310 | 61 | 187 1796.45/1797.06 c 1740s | 24 | 17823087 | 4330262 | 7519 1311 | 61 | 187 1798.55/1799.10 c 1742s | 24 | 17841957 | 4334262 | 7519 1312 | 61 | 187
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-4079699-1465243352/watcher-4079699-1465243352 -o /tmp/evaluation-result-4079699-1465243352/solver-4079699-1465243352 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9912 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079699-1465243352.opb pid=10205 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: 1.99 2.11 2.08 4/179 10208 /proc/meminfo: memFree=29691016/32872528 swapFree=12208/1156848 [pid=10208] ppid=10205 vsize=715196 CPUtime=0 cores=1,3,5,7 /proc/10208/stat : 10208 (toysat) R 10205 10208 9895 0 -1 4202496 2666 0 0 0 0 0 0 0 20 0 4 0 106269808 732360704 3027 33554432000 4194304 16246674 140737168584576 140737168584000 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10208/statm: 179311 3035 441 2943 0 176205 0 [pid=10208/tid=10209] ppid=10205 vsize=732604 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10209/stat : 10209 (toysat) S 10205 10208 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106269808 750186496 3097 33554432000 4194304 16246674 140737168584576 140392778411248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10208/tid=10210] ppid=10205 vsize=737724 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10210/stat : 10210 (toysat) S 10205 10208 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269808 755429376 3114 33554432000 4194304 16246674 140737168584576 140392767921392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10208/tid=10211] ppid=10205 vsize=741820 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 759623680 3131 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100173 s] /proc/loadavg: 1.99 2.11 2.08 4/179 10208 /proc/meminfo: memFree=29691016/32872528 swapFree=12208/1156848 [pid=10208] ppid=10205 vsize=1220164 CPUtime=0.09 cores=1,3,5,7 /proc/10208/stat : 10208 (toysat) R 10205 10208 9895 0 -1 4202496 23565 0 0 0 6 3 0 0 20 0 4 0 106269808 1249447936 23864 33554432000 4194304 16246674 140737168584576 140737168583888 5563355 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10208/statm: 305041 23873 834 2943 0 301935 0 [pid=10208/tid=10209] ppid=10205 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10209/stat : 10209 (toysat) S 10205 10208 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106269808 1249447936 23879 33554432000 4194304 16246674 140737168584576 140392778411248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10208/tid=10210] ppid=10205 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10210/stat : 10210 (toysat) S 10205 10208 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269808 1249447936 23886 33554432000 4194304 16246674 140737168584576 140392767921392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10208/tid=10211] ppid=10205 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 1249447936 23893 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200567 s] /proc/loadavg: 1.99 2.11 2.08 4/179 10208 /proc/meminfo: memFree=29691016/32872528 swapFree=12208/1156848 [pid=10208] ppid=10205 vsize=1304132 CPUtime=0.18 cores=1,3,5,7 /proc/10208/stat : 10208 (toysat) R 10205 10208 9895 0 -1 4202496 50223 0 0 0 12 6 0 0 20 0 4 0 106269808 1335431168 50522 33554432000 4194304 16246674 140737168584576 140737168583888 5664948 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10208/statm: 326033 50533 895 2943 0 322927 0 [pid=10208/tid=10209] ppid=10205 vsize=1304132 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10209/stat : 10209 (toysat) S 10205 10208 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106269808 1335431168 50538 33554432000 4194304 16246674 140737168584576 140392778411248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10208/tid=10210] ppid=10205 vsize=1304132 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10210/stat : 10210 (toysat) S 10205 10208 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269808 1335431168 50544 33554432000 4194304 16246674 140737168584576 140392767921392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10208/tid=10211] ppid=10205 vsize=1304132 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 1335431168 50551 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1304132 [startup+0.300522 s] /proc/loadavg: 1.99 2.11 2.08 4/179 10208 /proc/meminfo: memFree=29691016/32872528 swapFree=12208/1156848 [pid=10208] ppid=10205 vsize=1307204 CPUtime=0.29 cores=1,3,5,7 /proc/10208/stat : 10208 (toysat) R 10205 10208 9895 0 -1 4202496 54214 0 0 0 22 7 0 0 20 0 4 0 106269808 1338576896 54512 33554432000 4194304 16246674 140737168584576 140737168583888 13950184 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10208/statm: 326801 54512 909 2943 0 323695 0 [pid=10208/tid=10209] ppid=10205 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10209/stat : 10209 (toysat) S 10205 10208 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106269808 1338576896 54512 33554432000 4194304 16246674 140737168584576 140392778411248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10208/tid=10210] ppid=10205 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10210/stat : 10210 (toysat) S 10205 10208 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269808 1338576896 54512 33554432000 4194304 16246674 140737168584576 140392767921392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10208/tid=10211] ppid=10205 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 1338576896 54512 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1307204 [startup+0.700475 s] /proc/loadavg: 1.99 2.11 2.08 4/179 10208 /proc/meminfo: memFree=29691016/32872528 swapFree=12208/1156848 [pid=10208] ppid=10205 vsize=1307204 CPUtime=0.68 cores=1,3,5,7 /proc/10208/stat : 10208 (toysat) R 10205 10208 9895 0 -1 4202496 84607 0 0 0 57 11 0 0 20 0 4 0 106269808 1338576896 84906 33554432000 4194304 16246674 140737168584576 140737168566464 5995881 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10208/statm: 326801 84912 911 2943 0 323695 0 [pid=10208/tid=10209] ppid=10205 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10209/stat : 10209 (toysat) S 10205 10208 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106269808 1338576896 84919 33554432000 4194304 16246674 140737168584576 140392778411248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10208/tid=10210] ppid=10205 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10210/stat : 10210 (toysat) S 10205 10208 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269808 1338576896 84924 33554432000 4194304 16246674 140737168584576 140392767921392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10208/tid=10211] ppid=10205 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 1338576896 84927 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1307204 [startup+1.50043 s] /proc/loadavg: 1.99 2.11 2.08 4/183 10212 /proc/meminfo: memFree=29090916/32872528 swapFree=12208/1156848 [pid=10208] ppid=10205 vsize=1307204 CPUtime=1.49 cores=1,3,5,7 /proc/10208/stat : 10208 (toysat) R 10205 10208 9895 0 -1 4202496 217263 0 0 0 117 32 0 0 20 0 4 0 106269808 1338576896 217562 33554432000 4194304 16246674 140737168584576 140737168566464 5662075 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10208/statm: 326801 217575 911 2943 0 323695 0 [pid=10208/tid=10209] ppid=10205 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10209/stat : 10209 (toysat) S 10205 10208 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106269808 1338576896 217576 33554432000 4194304 16246674 140737168584576 140392778411248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10208/tid=10210] ppid=10205 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10210/stat : 10210 (toysat) S 10205 10208 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269808 1338576896 217577 33554432000 4194304 16246674 140737168584576 140392767921392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10208/tid=10211] ppid=10205 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 1338576896 217581 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1307204 [startup+3.10032 s] /proc/loadavg: 1.99 2.11 2.08 4/183 10212 /proc/meminfo: memFree=28777816/32872528 swapFree=12208/1156848 [pid=10208] ppid=10205 vsize=1308228 CPUtime=3.09 cores=1,3,5,7 /proc/10208/stat : 10208 (toysat) R 10205 10208 9895 0 -1 4202496 268100 0 0 0 270 39 0 0 20 0 4 0 106269808 1339625472 268398 33554432000 4194304 16246674 140737168584576 140737168567576 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10208/statm: 327057 268398 913 2943 0 323951 0 [pid=10208/tid=10209] ppid=10205 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10209/stat : 10209 (toysat) S 10205 10208 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106269808 1339625472 268398 33554432000 4194304 16246674 140737168584576 140392778411248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10208/tid=10210] ppid=10205 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10210/stat : 10210 (toysat) S 10205 10208 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269808 1339625472 268398 33554432000 4194304 16246674 140737168584576 140392767921392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10208/tid=10211] ppid=10205 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 1339625472 268398 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1308228 [startup+6.30047 s] /proc/loadavg: 2.07 2.13 2.09 3/183 10212 /proc/meminfo: memFree=28615152/32872528 swapFree=12208/1156848 [pid=10208] ppid=10205 vsize=1319492 CPUtime=6.29 cores=1,3,5,7 /proc/10208/stat : 10208 (toysat) R 10205 10208 9895 0 -1 4202496 271088 0 0 0 590 39 0 0 20 0 4 0 106269808 1351159808 271386 33554432000 4194304 16246674 140737168584576 140737168566464 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10208/statm: 329873 271386 917 2943 0 326767 0 [pid=10208/tid=10209] ppid=10205 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10209/stat : 10209 (toysat) S 10205 10208 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106269808 1351159808 271386 33554432000 4194304 16246674 140737168584576 140392778411248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10208/tid=10210] ppid=10205 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10210/stat : 10210 (toysat) S 10205 10208 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269808 1351159808 271386 33554432000 4194304 16246674 140737168584576 140392767921392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10208/tid=10211] ppid=10205 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 1351159808 271386 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1319492 [startup+12.7005 s] /proc/loadavg: 2.07 2.13 2.09 3/183 10212 /proc/meminfo: memFree=28606544/32872528 swapFree=12208/1156848 [pid=10208] ppid=10205 vsize=1319492 CPUtime=12.69 cores=1,3,5,7 /proc/10208/stat : 10208 (toysat) R 10205 10208 9895 0 -1 4202496 271088 0 0 0 1229 40 0 0 20 0 4 0 106269808 1351159808 271386 33554432000 4194304 16246674 140737168584576 140737168566464 13950192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10208/statm: 329873 271386 917 2943 0 326767 0 [pid=10208/tid=10209] ppid=10205 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10209/stat : 10209 (toysat) S 10205 10208 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106269808 1351159808 271386 33554432000 4194304 16246674 140737168584576 140392778411248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10208/tid=10210] ppid=10205 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10210/stat : 10210 (toysat) S 10205 10208 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269808 1351159808 271386 33554432000 4194304 16246674 140737168584576 140392767921392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10208/tid=10211] ppid=10205 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 1351159808 271386 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.13 2.13 2.09 4/183 10212 /proc/meminfo: memFree=28607380/32872528 swapFree=12208/1156848 [pid=10208] ppid=10205 vsize=1319492 CPUtime=25.49 cores=1,3,5,7 /proc/10208/stat : 10208 (toysat) R 10205 10208 9895 0 -1 4202496 271088 0 0 0 2509 40 0 0 20 0 4 0 106269808 1351159808 271386 33554432000 4194304 16246674 140737168584576 140737168566464 5553636 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10208/statm: 329873 271386 917 2943 0 326767 0 [pid=10208/tid=10209] ppid=10205 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10209/stat : 10209 (toysat) S 10205 10208 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106269808 1351159808 271386 33554432000 4194304 16246674 140737168584576 140392778411248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10208/tid=10210] ppid=10205 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10210/stat : 10210 (toysat) S 10205 10208 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269808 1351159808 271386 33554432000 4194304 16246674 140737168584576 140392767921392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10208/tid=10211] ppid=10205 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 1351159808 271386 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1319492 [startup+51.1006 s] /proc/loadavg: 2.30 2.17 2.10 3/183 10212 /proc/meminfo: memFree=28604160/32872528 swapFree=12208/1156848 [pid=10208] ppid=10205 vsize=1322564 CPUtime=51.09 cores=1,3,5,7 /proc/10208/stat : 10208 (toysat) R 10205 10208 9895 0 -1 4202496 271857 0 0 0 5068 41 0 0 20 0 4 0 106269808 1354305536 272155 33554432000 4194304 16246674 140737168584576 140737168582400 7250239 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10208/statm: 330641 272155 918 2943 0 327535 0 [pid=10208/tid=10209] ppid=10205 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10209/stat : 10209 (toysat) S 10205 10208 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106269808 1354305536 272155 33554432000 4194304 16246674 140737168584576 140392778411248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10208/tid=10210] ppid=10205 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10210/stat : 10210 (toysat) S 10205 10208 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269808 1354305536 272155 33554432000 4194304 16246674 140737168584576 140392767921392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10208/tid=10211] ppid=10205 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 1354305536 272155 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1322564 [startup+102.3 s] /proc/loadavg: 2.25 2.17 2.10 3/183 10213 /proc/meminfo: memFree=28603564/32872528 swapFree=12208/1156848 [pid=10208] ppid=10205 vsize=1322564 CPUtime=102.28 cores=1,3,5,7 /proc/10208/stat : 10208 (toysat) R 10205 10208 9895 0 -1 4202496 271857 0 0 0 10187 41 0 0 20 0 4 0 106269808 1354305536 272155 33554432000 4194304 16246674 140737168584576 140737168566464 5829313 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10208/statm: 330641 272155 918 2943 0 327535 0 [pid=10208/tid=10209] ppid=10205 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10209/stat : 10209 (toysat) S 10205 10208 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106269808 1354305536 272155 33554432000 4194304 16246674 140737168584576 140392778411248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10208/tid=10210] ppid=10205 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10210/stat : 10210 (toysat) S 10205 10208 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269808 1354305536 272155 33554432000 4194304 16246674 140737168584576 140392767921392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10208/tid=10211] ppid=10205 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 1354305536 272155 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1322564 ################ # More data... # ################ /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1242.04 Current children cumulated vsize (KiB) 1324612 [startup+1302.3 s] /proc/loadavg: 2.28 2.27 2.17 3/183 10243 /proc/meminfo: memFree=28591768/32872528 swapFree=12208/1156848 [pid=10208] ppid=10205 vsize=1324612 CPUtime=1302.01 cores=1,3,5,7 /proc/10208/stat : 10208 (toysat) R 10205 10208 9895 0 -1 4202496 272499 0 0 0 130143 58 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140737168566464 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10208/statm: 331153 272924 919 2943 0 328047 0 [pid=10208/tid=10209] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10209/stat : 10209 (toysat) S 10205 10208 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392778411248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10208/tid=10210] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10210/stat : 10210 (toysat) S 10205 10208 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392767921392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10208/tid=10211] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 1324612 [startup+1362.3 s] /proc/loadavg: 2.18 2.25 2.17 3/183 10244 /proc/meminfo: memFree=28591532/32872528 swapFree=12208/1156848 [pid=10208] ppid=10205 vsize=1324612 CPUtime=1361.97 cores=1,3,5,7 /proc/10208/stat : 10208 (toysat) R 10205 10208 9895 0 -1 4202496 272532 0 0 0 136139 58 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140737168567576 13950192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10208/statm: 331153 272924 919 2943 0 328047 0 [pid=10208/tid=10209] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10209/stat : 10209 (toysat) S 10205 10208 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392778411248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10208/tid=10210] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10210/stat : 10210 (toysat) S 10205 10208 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392767921392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10208/tid=10211] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1324612 [startup+1422.3 s] /proc/loadavg: 2.17 2.23 2.16 3/183 10246 /proc/meminfo: memFree=28591556/32872528 swapFree=12208/1156848 [pid=10208] ppid=10205 vsize=1324612 CPUtime=1421.94 cores=1,3,5,7 /proc/10208/stat : 10208 (toysat) R 10205 10208 9895 0 -1 4202496 272572 0 0 0 142134 60 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140737168566464 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10208/statm: 331153 272924 919 2943 0 328047 0 [pid=10208/tid=10209] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10209/stat : 10209 (toysat) S 10205 10208 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392778411248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10208/tid=10210] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10210/stat : 10210 (toysat) S 10205 10208 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392767921392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10208/tid=10211] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1324612 [startup+1482.3 s] /proc/loadavg: 2.16 2.21 2.16 3/183 10247 /proc/meminfo: memFree=28591832/32872528 swapFree=12208/1156848 [pid=10208] ppid=10205 vsize=1324612 CPUtime=1481.9 cores=1,3,5,7 /proc/10208/stat : 10208 (toysat) R 10205 10208 9895 0 -1 4202496 272613 0 0 0 148129 61 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140737168566464 5808200 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10208/statm: 331153 272924 919 2943 0 328047 0 [pid=10208/tid=10209] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10209/stat : 10209 (toysat) S 10205 10208 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392778411248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10208/tid=10210] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10210/stat : 10210 (toysat) S 10205 10208 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392767921392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10208/tid=10211] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1324612 [startup+1542.31 s] /proc/loadavg: 2.17 2.20 2.16 3/183 10248 /proc/meminfo: memFree=28591536/32872528 swapFree=12208/1156848 [pid=10208] ppid=10205 vsize=1324612 CPUtime=1541.87 cores=1,3,5,7 /proc/10208/stat : 10208 (toysat) R 10205 10208 9895 0 -1 4202496 272652 0 0 0 154125 62 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140737168566464 5661520 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10208/statm: 331153 272924 919 2943 0 328047 0 [pid=10208/tid=10209] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10209/stat : 10209 (toysat) S 10205 10208 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392778411248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10208/tid=10210] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10210/stat : 10210 (toysat) S 10205 10208 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392767921392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10208/tid=10211] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1324612 [startup+1602.3 s] /proc/loadavg: 2.26 2.22 2.17 3/183 10249 /proc/meminfo: memFree=28592032/32872528 swapFree=12208/1156848 [pid=10208] ppid=10205 vsize=1324612 CPUtime=1601.83 cores=1,3,5,7 /proc/10208/stat : 10208 (toysat) R 10205 10208 9895 0 -1 4202496 272694 0 0 0 160120 63 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140737168566464 5711338 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10208/statm: 331153 272924 919 2943 0 328047 0 [pid=10208/tid=10209] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10209/stat : 10209 (toysat) S 10205 10208 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392778411248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10208/tid=10210] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10210/stat : 10210 (toysat) S 10205 10208 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392767921392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10208/tid=10211] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1324612 [startup+1662.3 s] /proc/loadavg: 2.26 2.23 2.18 3/184 10253 /proc/meminfo: memFree=28591276/32872528 swapFree=12208/1156848 [pid=10208] ppid=10205 vsize=1324612 CPUtime=1661.79 cores=1,3,5,7 /proc/10208/stat : 10208 (toysat) R 10205 10208 9895 0 -1 4202496 272732 0 0 0 166114 65 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140737168567576 5661374 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10208/statm: 331153 272924 919 2943 0 328047 0 [pid=10208/tid=10209] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10209/stat : 10209 (toysat) S 10205 10208 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392778411248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10208/tid=10210] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10210/stat : 10210 (toysat) S 10205 10208 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392767921392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10208/tid=10211] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1324612 [startup+1722.3 s] /proc/loadavg: 2.19 2.21 2.18 3/183 10255 /proc/meminfo: memFree=28591964/32872528 swapFree=12208/1156848 [pid=10208] ppid=10205 vsize=1324612 CPUtime=1721.76 cores=1,3,5,7 /proc/10208/stat : 10208 (toysat) R 10205 10208 9895 0 -1 4202496 272772 0 0 0 172110 66 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140737168566464 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10208/statm: 331153 272924 919 2943 0 328047 0 [pid=10208/tid=10209] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10209/stat : 10209 (toysat) S 10205 10208 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392778411248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10208/tid=10210] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10210/stat : 10210 (toysat) S 10205 10208 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392767921392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10208/tid=10211] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272924 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1324612 [startup+1782.3 s] /proc/loadavg: 2.14 2.20 2.17 3/183 10256 /proc/meminfo: memFree=28591744/32872528 swapFree=12208/1156848 [pid=10208] ppid=10205 vsize=1324612 CPUtime=1781.75 cores=1,3,5,7 /proc/10208/stat : 10208 (toysat) R 10205 10208 9895 0 -1 4202496 272778 0 0 0 178109 66 0 0 20 0 4 0 106269808 1356402688 272925 33554432000 4194304 16246674 140737168584576 140737168566464 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10208/statm: 331153 272925 919 2943 0 328047 0 [pid=10208/tid=10209] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10209/stat : 10209 (toysat) S 10205 10208 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272925 33554432000 4194304 16246674 140737168584576 140392778411248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10208/tid=10210] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10210/stat : 10210 (toysat) S 10205 10208 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272925 33554432000 4194304 16246674 140737168584576 140392767921392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10208/tid=10211] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272925 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1324612 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.25 2.22 2.18 3/183 10305 /proc/meminfo: memFree=28597728/32872528 swapFree=12208/1156848 [pid=10208] ppid=10205 vsize=1324612 CPUtime=1800.05 cores=1,3,5,7 /proc/10208/stat : 10208 (toysat) R 10205 10208 9895 0 -1 4202496 272778 0 0 0 179938 67 0 0 20 0 4 0 106269808 1356402688 272925 33554432000 4194304 16246674 140737168584576 140737168566464 13774516 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10208/statm: 331153 272925 919 2943 0 328047 0 [pid=10208/tid=10209] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10209/stat : 10209 (toysat) S 10205 10208 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272925 33554432000 4194304 16246674 140737168584576 140392778411248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10208/tid=10210] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10210/stat : 10210 (toysat) S 10205 10208 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272925 33554432000 4194304 16246674 140737168584576 140392767921392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10208/tid=10211] ppid=10205 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/10208/task/10211/stat : 10211 (toysat) S 10205 10208 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106269808 1356402688 272925 33554432000 4194304 16246674 140737168584576 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1324612 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 10208 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.06 CPU user time (s): 1799.39 CPU system time (s): 0.671897 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (KiB): 1324612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.39 system time used= 0.671897 maximum resident set size= 1091700 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272778 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= 434 involuntary context switches= 1834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.9098 second user time and 20.7778 second system time The end
Begin job on node114 at 2016-06-06 22:02:32 IDJOB=4079699 IDBENCH=2880 IDSOLVER=2542 FILE ID=node114/4079699-1465243352 RUNJOBID= node114-1465241547-9912 PBS_JOBID= 19843245 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C880.b.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079699-1465243352/watcher-4079699-1465243352 -o /tmp/evaluation-result-4079699-1465243352/solver-4079699-1465243352 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9912 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079699-1465243352.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d95d18eb9f9494c32273975c1bc570ba RANDOM SEED=1156502276 node114.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.852 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 : 5333.70 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.852 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.55 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.852 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.852 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.852 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.852 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.852 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.54 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.852 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: 29692668 kB Buffers: 40076 kB Cached: 207692 kB SwapCached: 1724 kB Active: 1187932 kB Inactive: 131144 kB Active(anon): 1072592 kB Inactive(anon): 1200 kB Active(file): 115340 kB Inactive(file): 129944 kB Unevictable: 1156848 kB Mlocked: 12208 kB SwapTotal: 67108856 kB SwapFree: 67096600 kB Dirty: 33468 kB Writeback: 0 kB AnonPages: 2227676 kB Mapped: 10492 kB Shmem: 0 kB Slab: 569816 kB SReclaimable: 13396 kB SUnreclaim: 556420 kB KernelStack: 1496 kB PageTables: 8628 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2372808 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1148928 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= 71704 MiB End job on node114 at 2016-06-06 22:32:33