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 | OPT | 10 | 1727.36 | 1727.86 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir03_area_delay.opb |
| MD5SUM | 2b747b2caed6577698c928a521fdc3c2 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 10 |
| Best CPU time to get the best result obtained on this benchmark | 0.05799 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 10 |
| Optimality of the best value was proved | YES |
| Number of variables | 3540 |
| Total number of constraints | 9890 |
| Number of constraints which are clauses | 9890 |
| 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 | 127 |
| Number of terms in the objective function | 1681 |
| 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 | 1681 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1681 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-06T23:58:25+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-4079789-1465250305.opb"] 0.00/0.01 c use --random-gen="2977472668 1091781743 958495990 63376982 789502584 3662925398 2209351753 2231744941 4036141312 1934852858 1704434856 4162318869 876488215 3209323356 3570931430 2494474949 314526985 622379787 4146424473 1755393178 4275529171 1774988091 127881660 1800608388 2065390185 3942831624 873121226 3494326164 3978117596 92949646 945286845 1015177119 3564368980 3415624027 1309888697 993430248 165160528 2593235086 1254226787 702689738 4111309132 2306093596 87545551 238094893 3800605838 254221614 3916562679 2399138241 2216445781 837959515 2683483924 3077915377 1621371289 1095895966 2964187217 4266892954 922031729 3366551128 313275734 860629224 1441011208 1102289288 1957216827 162882390 3275091123 964452050 548341833 4183542595 3214748453 2940478796 3845468213 3106813440 3172914681 4223023751 464357342 541596132 3900563785 2476530033 2458597928 3490505792 1656725028 2511518245 1406930173 909270683 1379068375 2974350285 1179392663 1706025409 3015506569 900620955 407524998 194213504 2772245922 1559176156 3103672262 3053410368 207410253 3251013729 4099202886 3201140856 1702443438 696905016 318462575 3561818358 1616801539 1678824315 3589871194 454292722 3162850011 1846377895 3606745440 1340865311 2066065983 3308059515 1561639376 3929177191 1181108033 3472727604 58828198 1957021113 4261347614 2271574014 745217098 2125753641 1223841055 1886192646 1186122259 3436443299 103189746 1546568210 1531185732 1654220892 4056557452 1966888313 4196576489 4150735205 2290057421 851790540 173451866 1004557353 184288981 3246907136 1044093543 2279932410 3918534296 2892377119 4222172103 3945167770 2149412394 3671557461 3333716210 1908850543 4035126562 4043946045 3485167143 3762802498 3316775763 1502504707 2693724538 232738029 967269825 4184228347 3898420349 1114463426 2357311527 521730201 2197997669 762726868 4246770976 3370646237 905624693 568427653 443798731 3180734947 3097546094 2662089105 270263635 2752688771 3884143763 3706333003 3562349424 389781859 3654889703 2004624514 3556376361 3685112983 2271120752 1000559290 3345672808 836724 4194880919 109091425 3081503356 1508319777 2576895801 1233034840 2825017244 3131904273 3535702555 1070192389 1175235276 573252779 1719511651 3855167670 2247911946 1299183499 1485771702 1140364414 2896233525 3571546458 3677137133 4288144589 1025208410 664816413 4128556676 808910087 4017917294 408103195 4262968538 53151824 3010356750 2079283051 2497480622 468703888 2461151506 2123858090 2521519074 3428402217 2656209917 494565606 3555365321 677790349 573570428 2555501540 93475461 2544784092 3251887976 3449055282 795625065 538990194 2616850037 760976843 4015251097 762412126 2106658653 4251505938 3448342596 754459147 2552347874 1753318794 3111377038 3615832276 3794456123 671176072 522912948 3659367285 255 362436" option to reproduce the execution 0.00/0.07 c #vars 3540 0.00/0.07 c #constraints 9890 0.19/0.21 c BCD2: Hardening is enabled. 0.19/0.21 c BCD2: BiasedSearch is enabled. 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 4235 0 | 270 | 0 0.19/0.23 c 0.0s | 0 | 1555 | 0 | 4235 0 | 270 | 485 0.19/0.23 c #cpu_time = 0.017s 0.19/0.23 c #wall_clock_time = 0.017s 0.19/0.23 c #decision = 1555 0.19/0.23 c #random_decision = 6 0.19/0.23 c #conflict = 0 0.19/0.23 c #restart = 0 0.19/0.23 o 1494 0.19/0.23 c BCD2: updating upper bound: 1681 -> 1493 0.19/0.25 c BCD2: 0 <= obj <= 1493 0.19/0.25 c BCD2: #cores=0, #unrelaxed=1681, #relaxed=0, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=1 bias=1/2 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 4235 0 | 270 | 485 0.19/0.26 c 0.0s | 0 | 545 | 0 | 4235 0 | 270 | 485 0.19/0.26 c #cpu_time = 0.006s 0.19/0.26 c #wall_clock_time = 0.006s 0.19/0.26 c #decision = 545 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 0 0.19/0.26 c #restart = 0 0.19/0.26 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.26 c lower bound updated to 1 0.19/0.26 c BCD2: 1 <= obj <= 1493 0.19/0.26 c BCD2: #cores=1, #unrelaxed=1680, #relaxed=1, #hardened=0 0.19/0.26 c BCD2: #sat=1 #unsat=2 bias=2/3 0.19/0.26 c Solving starts ... 0.19/0.26 c ============================[ Search Statistics ]============================ 0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.26 c | | | | Limit GC | Var | Constra 0.19/0.26 c ============================================================================= 0.19/0.26 c 0.0s | 0 | 0 | 0 | 4235 0 | 270 | 485 0.19/0.27 c 0.0s | 0 | 558 | 0 | 4235 0 | 270 | 485 0.19/0.27 c #cpu_time = 0.006s 0.19/0.27 c #wall_clock_time = 0.006s 0.19/0.27 c #decision = 558 0.19/0.27 c #random_decision = 0 0.19/0.27 c #conflict = 0 0.19/0.27 c #restart = 0 0.19/0.27 c BCD2: found a new core of size 39: cost of the new core is >=1 0.19/0.27 c lower bound updated to 2 0.19/0.27 c BCD2: 2 <= obj <= 1493 0.19/0.27 c BCD2: #cores=2, #unrelaxed=1641, #relaxed=40, #hardened=0 0.19/0.27 c BCD2: #sat=1 #unsat=3 bias=3/4 0.19/0.27 c Solving starts ... 0.19/0.27 c ============================[ Search Statistics ]============================ 0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.27 c | | | | Limit GC | Var | Constra 0.19/0.27 c ============================================================================= 0.19/0.27 c 0.0s | 0 | 0 | 0 | 4235 0 | 270 | 485 0.19/0.28 c 0.0s | 0 | 779 | 0 | 4235 0 | 270 | 485 0.19/0.28 c #cpu_time = 0.007s 0.19/0.28 c #wall_clock_time = 0.007s 0.19/0.28 c #decision = 779 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 0 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: found a new core of size 7: cost of the new core is >=1 0.19/0.28 c lower bound updated to 3 0.19/0.28 c BCD2: 3 <= obj <= 1493 0.19/0.28 c BCD2: #cores=3, #unrelaxed=1634, #relaxed=47, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=4 bias=4/5 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 4235 0 | 270 | 485 0.19/0.29 c 0.0s | 0 | 1015 | 0 | 4235 0 | 270 | 485 0.19/0.29 c #cpu_time = 0.008s 0.19/0.29 c #wall_clock_time = 0.008s 0.19/0.29 c #decision = 1015 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 0 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: found a new core of size 15: cost of the new core is >=1 0.19/0.29 c lower bound updated to 4 0.29/0.30 c BCD2: 4 <= obj <= 1493 0.29/0.30 c BCD2: #cores=4, #unrelaxed=1619, #relaxed=62, #hardened=0 0.29/0.30 c BCD2: #sat=1 #unsat=5 bias=5/6 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 | 4235 0 | 270 | 485 0.29/0.31 c 0.0s | 0 | 1178 | 1 | 4235 0 | 270 | 485 0.29/0.31 c #cpu_time = 0.006s 0.29/0.31 c #wall_clock_time = 0.006s 0.29/0.31 c #decision = 1178 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 1 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 28: cost of the new core is >=1 0.29/0.31 c lower bound updated to 5 0.29/0.31 c BCD2: 5 <= obj <= 1493 0.29/0.31 c BCD2: #cores=5, #unrelaxed=1591, #relaxed=90, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=6 bias=6/7 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 4235 0 | 270 | 485 0.29/0.31 c 0.0s | 0 | 1169 | 0 | 4235 0 | 270 | 485 0.29/0.31 c #cpu_time = 0.006s 0.29/0.31 c #wall_clock_time = 0.006s 0.29/0.31 c #decision = 1169 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 0 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 25: cost of the new core is >=1 0.29/0.31 c lower bound updated to 6 0.29/0.31 c BCD2: 6 <= obj <= 1493 0.29/0.31 c BCD2: #cores=6, #unrelaxed=1566, #relaxed=115, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=7 bias=7/8 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 4235 0 | 270 | 485 0.29/0.32 c 0.0s | 0 | 1440 | 0 | 4235 0 | 270 | 485 0.29/0.32 c #cpu_time = 0.006s 0.29/0.32 c #wall_clock_time = 0.006s 0.29/0.32 c #decision = 1440 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 0 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: found a new core of size 62: cost of the new core is >=1 0.29/0.32 c lower bound updated to 7 0.29/0.32 c BCD2: 7 <= obj <= 1493 0.29/0.32 c BCD2: #cores=7, #unrelaxed=1504, #relaxed=177, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=8 bias=8/9 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 | 4235 0 | 270 | 485 0.29/0.33 c 0.0s | 0 | 1581 | 1 | 4235 0 | 270 | 485 0.29/0.33 c #cpu_time = 0.009s 0.29/0.33 c #wall_clock_time = 0.009s 0.29/0.33 c #decision = 1581 0.29/0.33 c #random_decision = 0 0.29/0.33 c #conflict = 1 0.29/0.33 c #restart = 0 0.29/0.33 o 31 0.29/0.34 c BCD2: updating upper bound: 1493 -> 30 0.29/0.35 c BCD2: 7 <= obj <= 30 0.29/0.35 c BCD2: #cores=7, #unrelaxed=1504, #relaxed=177, #hardened=0 0.29/0.35 c BCD2: #sat=2 #unsat=8 bias=8/10 0.29/0.35 c Solving starts ... 0.29/0.35 c ============================[ Search Statistics ]============================ 0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.35 c | | | | Limit GC | Var | Constra 0.29/0.35 c ============================================================================= 0.29/0.35 c 0.0s | 0 | 0 | 0 | 4235 0 | 270 | 486 0.29/0.36 c 0.0s | 0 | 1490 | 2 | 4235 0 | 270 | 486 0.29/0.36 c #cpu_time = 0.008s 0.29/0.36 c #wall_clock_time = 0.008s 0.29/0.36 c #decision = 1490 0.29/0.36 c #random_decision = 0 0.29/0.36 c #conflict = 2 0.29/0.36 c #restart = 0 0.29/0.36 o 22 0.29/0.36 c BCD2: updating upper bound: 30 -> 21 0.29/0.37 c BCD2: 7 <= obj <= 21 0.29/0.37 c BCD2: #cores=7, #unrelaxed=1504, #relaxed=177, #hardened=0 0.29/0.37 c BCD2: #sat=3 #unsat=8 bias=8/11 0.29/0.37 c Solving starts ... 0.29/0.37 c ============================[ Search Statistics ]============================ 0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.37 c | | | | Limit GC | Var | Constra 0.29/0.37 c ============================================================================= 0.29/0.37 c 0.0s | 0 | 0 | 0 | 4235 0 | 270 | 487 0.29/0.38 c 0.0s | 0 | 2170 | 26 | 4235 0 | 270 | 487 0.29/0.38 c #cpu_time = 0.015s 0.29/0.38 c #wall_clock_time = 0.015s 0.29/0.38 c #decision = 2170 0.29/0.38 c #random_decision = 0 0.29/0.38 c #conflict = 26 0.29/0.38 c #restart = 0 0.29/0.38 c BCD2: relaxing 36 and merging with 2 cores into a new core of size 137: cost of the new core is >=3 0.29/0.38 c lower bound updated to 8 0.29/0.38 c BCD2: 8 <= obj <= 21 0.29/0.38 c BCD2: #cores=6, #unrelaxed=1468, #relaxed=213, #hardened=0 0.29/0.38 c BCD2: #sat=3 #unsat=9 bias=9/12 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 4235 0 | 279 | 487 0.39/0.44 c 0.1s | 1 | 3321 | 100 | 4659 0 | 279 | 503 0.39/0.49 c 0.1s | 2 | 5771 | 250 | 5125 0 | 279 | 503 0.49/0.57 c 0.2s | 3 | 9723 | 475 | 5638 0 | 279 | 503 0.69/0.70 c 0.3s | 4 | 15735 | 813 | 6202 0 | 279 | 503 0.89/0.91 c 0.5s | 5 | 22602 | 1320 | 6823 0 | 279 | 503 1.20/1.23 c 0.8s | 6 | 29281 | 2081 | 7506 0 | 279 | 503 1.69/1.73 c 1.4s | 7 | 39442 | 3223 | 8257 0 | 279 | 503 2.30/2.38 c 2.0s | 8 | 48895 | 4936 | 9083 0 | 279 | 503 3.49/3.50 c 3.1s | 9 | 70799 | 7506 | 9992 0 | 279 | 503 3.99/4.00 c 3.6s | 9 | 80135 | 8505 | 9992 0 | 279 | 503 3.99/4.00 c #cpu_time = 3.609s 3.99/4.00 c #wall_clock_time = 3.618s 3.99/4.00 c #decision = 80135 3.99/4.00 c #random_decision = 52 3.99/4.00 c #conflict = 8505 3.99/4.00 c #restart = 9 3.99/4.00 o 16 3.99/4.00 c BCD2: updating upper bound: 21 -> 15 3.99/4.01 c BCD2: 8 <= obj <= 15 3.99/4.01 c BCD2: #cores=6, #unrelaxed=1468, #relaxed=213, #hardened=0 3.99/4.01 c BCD2: #sat=4 #unsat=9 bias=9/13 3.99/4.01 c Solving starts ... 3.99/4.01 c ============================[ Search Statistics ]============================ 3.99/4.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.99/4.01 c | | | | Limit GC | Var | Constra 3.99/4.01 c ============================================================================= 3.99/4.01 c 0.0s | 0 | 0 | 0 | 9992 0 | 279 | 504 3.99/4.07 c 0.1s | 1 | 1673 | 100 | 9992 0 | 279 | 504 4.09/4.16 c 0.2s | 2 | 4332 | 250 | 9992 0 | 279 | 504 4.29/4.30 c 0.3s | 3 | 7328 | 475 | 9992 0 | 279 | 504 4.50/4.51 c 0.5s | 4 | 11730 | 813 | 9992 0 | 279 | 504 4.79/4.80 c 0.8s | 5 | 17195 | 1320 | 9992 0 | 279 | 504 5.19/5.21 c 1.2s | 6 | 23818 | 2081 | 9992 0 | 279 | 504 5.79/5.88 c 1.9s | 7 | 30232 | 3223 | 10992 1 | 279 | 504 6.41/6.49 c 2.5s | 7 | 39440 | 4355 | 10992 1 | 279 | 504 6.41/6.49 c #cpu_time = 2.470s 6.41/6.49 c #wall_clock_time = 2.477s 6.41/6.49 c #decision = 39440 6.41/6.49 c #random_decision = 22 6.41/6.49 c #conflict = 4355 6.41/6.49 c #restart = 7 6.41/6.49 o 13 6.41/6.49 c BCD2: updating upper bound: 15 -> 12 6.49/6.54 c BCD2: 8 <= obj <= 12 6.49/6.54 c BCD2: #cores=6, #unrelaxed=1468, #relaxed=213, #hardened=0 6.49/6.54 c BCD2: #sat=5 #unsat=9 bias=9/14 6.49/6.54 c Solving starts ... 6.49/6.54 c ============================[ Search Statistics ]============================ 6.49/6.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.49/6.54 c | | | | Limit GC | Var | Constra 6.49/6.54 c ============================================================================= 6.49/6.54 c 0.0s | 0 | 0 | 0 | 10992 0 | 279 | 505 6.59/6.61 c 0.1s | 1 | 2933 | 100 | 10992 0 | 279 | 505 6.59/6.69 c 0.2s | 2 | 5844 | 250 | 10992 0 | 279 | 505 6.79/6.82 c 0.3s | 3 | 10434 | 475 | 10992 0 | 279 | 505 6.79/6.88 c 0.3s | 3 | 12785 | 570 | 10992 0 | 279 | 505 6.79/6.88 c #cpu_time = 0.340s 6.79/6.88 c #wall_clock_time = 0.341s 6.79/6.88 c #decision = 12785 6.79/6.88 c #random_decision = 5 6.79/6.88 c #conflict = 570 6.79/6.88 c #restart = 3 6.79/6.88 c BCD2: relaxing 13 and merging with 2 cores into a new core of size 178: cost of the new core is >=5 6.79/6.88 c lower bound updated to 9 6.79/6.88 c BCD2: 9 <= obj <= 12 6.79/6.88 c BCD2: #cores=5, #unrelaxed=1455, #relaxed=226, #hardened=0 6.79/6.88 c BCD2: #sat=5 #unsat=10 bias=10/15 6.79/6.88 c Solving starts ... 6.79/6.88 c ============================[ Search Statistics ]============================ 6.79/6.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.79/6.88 c | | | | Limit GC | Var | Constra 6.79/6.88 c ============================================================================= 6.79/6.88 c 0.0s | 0 | 0 | 0 | 10992 0 | 288 | 505 6.89/6.99 c 0.1s | 1 | 1884 | 100 | 10992 0 | 288 | 522 7.08/7.18 c 0.3s | 2 | 4133 | 250 | 10992 0 | 288 | 522 7.18/7.25 c 0.4s | 3 | 6895 | 475 | 10992 0 | 288 | 522 7.28/7.35 c 0.5s | 4 | 10031 | 813 | 10992 0 | 288 | 522 7.48/7.51 c 0.6s | 5 | 13858 | 1320 | 10992 0 | 288 | 522 7.69/7.72 c 0.8s | 6 | 18627 | 2081 | 10992 0 | 288 | 522 7.98/8.08 c 1.2s | 7 | 25326 | 3223 | 10992 0 | 288 | 522 8.58/8.70 c 1.8s | 8 | 34069 | 4936 | 12092 0 | 288 | 522 9.58/9.63 c 2.7s | 9 | 46773 | 7506 | 12092 0 | 288 | 522 11.29/11.31 c 4.4s | 10 | 64996 | 11361 | 12092 0 | 288 | 522 13.30/13.38 c 6.5s | 10 | 88195 | 15561 | 13302 0 | 288 | 522 14.09/14.15 c 7.3s | 11 | 94708 | 17144 | 13302 1 | 288 | 522 16.09/16.19 c 9.3s | 11 | 116366 | 21844 | 13302 1 | 288 | 522 18.19/18.20 c 11.3s | 11 | 128567 | 24344 | 13302 1 | 288 | 522 19.09/19.16 c 12.3s | 12 | 140376 | 25819 | 14633 2 | 288 | 522 21.19/21.22 c 14.3s | 12 | 170219 | 29319 | 14633 2 | 288 | 522 23.20/23.23 c 16.3s | 12 | 191398 | 32519 | 14633 2 | 288 | 522 25.19/25.25 c 18.4s | 12 | 213529 | 35719 | 14633 3 | 288 | 522 26.99/27.09 c 20.2s | 13 | 232317 | 38832 | 14633 3 | 288 | 522 29.08/29.15 c 22.3s | 13 | 249368 | 41632 | 14633 3 | 288 | 522 31.08/31.17 c 24.3s | 13 | 266047 | 44532 | 16097 4 | 288 | 522 33.18/33.20 c 26.3s | 13 | 283629 | 47232 | 16097 4 | 288 | 522 35.19/35.27 c 28.4s | 13 | 300847 | 50232 | 16097 4 | 288 | 522 37.18/37.28 c 30.4s | 13 | 320492 | 52832 | 16097 4 | 288 | 522 39.18/39.28 c 32.4s | 13 | 339708 | 56032 | 16097 5 | 288 | 522 40.58/40.68 c 33.8s | 14 | 355606 | 58352 | 16097 5 | 288 | 522 42.68/42.74 c 35.9s | 14 | 372614 | 61352 | 16097 5 | 288 | 522 44.68/44.78 c 37.9s | 14 | 383807 | 64352 | 16097 6 | 288 | 522 46.98/47.00 c 40.1s | 14 | 394031 | 66952 | 16097 6 | 288 | 522 48.98/49.03 c 42.2s | 14 | 407144 | 69452 | 16097 6 | 288 | 522 50.99/51.05 c 44.2s | 14 | 419961 | 72052 | 16097 6 | 288 | 522 52.99/53.09 c 46.2s | 14 | 436067 | 75152 | 17707 7 | 288 | 522 55.10/55.14 c 48.3s | 14 | 450360 | 78252 | 17707 7 | 288 | 522 57.09/57.18 c 50.3s | 14 | 460319 | 81152 | 17707 7 | 288 | 522 59.18/59.25 c 52.4s | 14 | 470101 | 83652 | 17707 7 | 288 | 522 61.18/61.26 c 54.4s | 14 | 483372 | 85952 | 17707 8 | 288 | 522 62.28/62.35 c 55.5s | 15 | 493240 | 87632 | 17707 8 | 288 | 522 64.38/64.42 c 57.5s | 15 | 510845 | 90232 | 17707 8 | 288 | 522 66.38/66.46 c 59.6s | 15 | 531731 | 93232 | 17707 8 | 288 | 522 68.38/68.46 c 61.6s | 15 | 558099 | 96532 | 17707 9 | 288 | 522 70.39/70.49 c 63.6s | 15 | 589466 | 100532 | 17707 9 | 288 | 522 72.38/72.50 c 65.6s | 15 | 612471 | 104232 | 17707 9 | 288 | 522 74.48/74.54 c 67.7s | 15 | 639478 | 108432 | 17707 10 | 288 | 522 76.48/76.56 c 69.7s | 15 | 667918 | 112732 | 17707 10 | 288 | 522 76.78/76.86 c 70.0s | 15 | 672923 | 113235 | 17707 10 | 288 | 522 76.78/76.86 c #cpu_time = 69.795s 76.78/76.86 c #wall_clock_time = 69.974s 76.78/76.86 c #decision = 672923 76.78/76.86 c #random_decision = 452 76.78/76.86 c #conflict = 113235 76.78/76.86 c #restart = 15 76.78/76.86 o 11 76.78/76.86 c BCD2: updating upper bound: 12 -> 10 76.78/76.86 c BCD2: 9 <= obj <= 10 76.78/76.86 c BCD2: #cores=5, #unrelaxed=1455, #relaxed=226, #hardened=0 76.78/76.86 c BCD2: #sat=6 #unsat=10 bias=10/16 76.78/76.86 c Solving starts ... 76.78/76.86 c ============================[ Search Statistics ]============================ 76.78/76.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 76.78/76.86 c | | | | Limit GC | Var | Constra 76.78/76.86 c ============================================================================= 76.78/76.86 c 0.0s | 0 | 0 | 0 | 17707 0 | 288 | 523 77.98/78.04 c 1.2s | 1 | 2290 | 100 | 17707 1 | 288 | 523 78.19/78.22 c 1.4s | 2 | 5395 | 250 | 17707 1 | 288 | 523 78.28/78.36 c 1.5s | 3 | 8551 | 475 | 17707 1 | 288 | 523 78.48/78.54 c 1.7s | 4 | 12150 | 813 | 17707 1 | 288 | 523 78.77/78.82 c 2.0s | 5 | 17395 | 1320 | 17707 1 | 288 | 523 79.18/79.22 c 2.4s | 6 | 23766 | 2081 | 17707 1 | 288 | 523 79.97/80.02 c 3.2s | 7 | 33686 | 3223 | 17707 1 | 288 | 523 80.77/80.88 c 4.0s | 8 | 44503 | 4936 | 19478 1 | 288 | 523 82.37/82.48 c 5.6s | 9 | 64515 | 7506 | 19478 1 | 288 | 523 84.47/84.54 c 7.7s | 9 | 86299 | 10606 | 19478 1 | 288 | 523 85.07/85.10 c 8.2s | 10 | 92669 | 11361 | 19478 1 | 288 | 523 87.08/87.13 c 10.3s | 10 | 112774 | 14361 | 19478 2 | 288 | 523 88.88/88.94 c 12.1s | 11 | 129861 | 17144 | 19478 2 | 288 | 523 90.88/90.95 c 14.1s | 11 | 149110 | 20544 | 19478 2 | 288 | 523 92.88/92.99 c 16.1s | 11 | 163418 | 23544 | 19478 3 | 288 | 523 94.18/94.29 c 17.4s | 12 | 174086 | 25819 | 19478 3 | 288 | 523 96.28/96.35 c 19.5s | 12 | 194713 | 29119 | 19478 3 | 288 | 523 98.28/98.40 c 21.5s | 12 | 216222 | 32219 | 19478 3 | 288 | 523 100.38/100.45 c 23.6s | 12 | 232108 | 34819 | 19478 4 | 288 | 523 102.39/102.49 c 25.6s | 12 | 251771 | 38219 | 19478 4 | 288 | 523 102.78/102.82 c 26.0s | 13 | 256162 | 38832 | 19478 4 | 288 | 523 104.78/104.86 c 28.0s | 13 | 274953 | 41932 | 19478 4 | 288 | 523 106.87/106.90 c 30.0s | 13 | 292404 | 44932 | 19478 4 | 288 | 523 108.88/108.94 c 32.1s | 13 | 309751 | 48532 | 19478 5 | 288 | 523 110.97/111.01 c 34.1s | 13 | 328200 | 51532 | 19478 5 | 288 | 523 112.97/113.04 c 36.2s | 13 | 351362 | 54932 | 19478 5 | 288 | 523 114.97/115.08 c 38.2s | 13 | 370003 | 57932 | 19478 6 | 288 | 523 115.17/115.27 c 38.4s | 14 | 374188 | 58352 | 19478 6 | 288 | 523 117.17/117.30 c 40.4s | 14 | 397020 | 62152 | 19478 6 | 288 | 523 119.27/119.35 c 42.5s | 14 | 415132 | 65952 | 19478 6 | 288 | 523 121.37/121.44 c 44.6s | 14 | 435385 | 68752 | 19478 7 | 288 | 523 123.37/123.46 c 46.6s | 14 | 457142 | 71952 | 21426 7 | 288 | 523 125.38/125.48 c 48.6s | 14 | 475742 | 74952 | 21426 7 | 288 | 523 127.47/127.55 c 50.7s | 14 | 493980 | 77752 | 21426 7 | 288 | 523 129.57/129.61 c 52.7s | 14 | 510769 | 80752 | 21426 7 | 288 | 523 131.57/131.66 c 54.8s | 14 | 526596 | 84052 | 21426 8 | 288 | 523 133.57/133.66 c 56.8s | 14 | 545473 | 87352 | 21426 8 | 288 | 523 133.67/133.79 c 56.9s | 15 | 547873 | 87632 | 21426 8 | 288 | 523 135.77/135.82 c 59.0s | 15 | 569489 | 91032 | 21426 8 | 288 | 523 137.77/137.87 c 61.0s | 15 | 590096 | 94232 | 21426 9 | 288 | 523 139.87/139.91 c 63.0s | 15 | 606675 | 97432 | 21426 9 | 288 | 523 141.88/141.94 c 65.1s | 15 | 622926 | 100532 | 21426 9 | 288 | 523 143.87/143.96 c 67.1s | 15 | 633494 | 103132 | 21426 9 | 288 | 523 145.97/146.00 c 69.1s | 15 | 642527 | 105632 | 21426 9 | 288 | 523 148.17/148.22 c 71.4s | 15 | 648654 | 107632 | 21426 10 | 288 | 523 150.17/150.24 c 73.4s | 15 | 661753 | 110232 | 21426 10 | 288 | 523 152.17/152.29 c 75.4s | 15 | 679570 | 112932 | 21426 10 | 288 | 523 154.27/154.35 c 77.5s | 15 | 694534 | 115532 | 21426 10 | 288 | 523 156.37/156.40 c 79.5s | 15 | 707385 | 118103 | 21426 11 | 288 | 523 156.37/156.40 c #cpu_time = 79.334s 156.37/156.40 c #wall_clock_time = 79.538s 156.37/156.40 c #decision = 707385 156.37/156.40 c #random_decision = 451 156.37/156.40 c #conflict = 118103 156.37/156.40 c #restart = 15 156.37/156.40 c BCD2: relaxing 25 and merging with 2 cores into a new core of size 210: cost of the new core is >=7 156.37/156.40 c lower bound updated to 10 156.37/156.40 c BCD2: hardening fixes 1430 literals 156.37/156.40 c BCD2: 10 <= obj <= 10 156.37/156.40 c BCD2: #cores=4, #unrelaxed=0, #relaxed=251, #hardened=1430 156.37/156.40 c BCD2: #sat=6 #unsat=11 bias=11/17 156.37/156.40 c Solving starts ... 156.37/156.40 c ============================[ Search Statistics ]============================ 156.37/156.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 156.37/156.40 c | | | | Limit GC | Var | Constra 156.37/156.40 c ============================================================================= 156.37/156.40 c 0.0s | 0 | 0 | 0 | 21426 0 | 2898 | 523 156.47/156.52 c 0.1s | 1 | 847 | 100 | 21426 0 | 2898 | 6971 157.37/157.47 c 1.1s | 2 | 1902 | 250 | 21426 0 | 2898 | 6971 157.96/158.04 c 1.6s | 3 | 4055 | 475 | 21426 0 | 2898 | 6971 158.06/158.16 c 1.8s | 4 | 6751 | 813 | 21426 0 | 2898 | 6971 158.56/158.61 c 2.2s | 5 | 10368 | 1320 | 21426 0 | 2898 | 6971 158.76/158.90 c 2.5s | 6 | 14450 | 2081 | 21426 0 | 2898 | 6971 159.26/159.37 c 3.0s | 7 | 19622 | 3223 | 21426 0 | 2898 | 6971 160.87/160.93 c 4.5s | 8 | 28186 | 4936 | 21426 0 | 2898 | 6971 161.97/162.01 c 5.6s | 9 | 40201 | 7506 | 21426 0 | 2898 | 6971 163.97/164.01 c 7.6s | 9 | 55695 | 10306 | 21426 0 | 2898 | 6971 164.46/164.55 c 8.1s | 10 | 60499 | 11361 | 21426 0 | 2898 | 6971 166.46/166.55 c 10.1s | 10 | 76106 | 14961 | 21426 0 | 2898 | 6971 167.76/167.81 c 11.4s | 11 | 86981 | 17144 | 21426 0 | 2898 | 6971 169.76/169.82 c 13.4s | 11 | 106477 | 20544 | 21426 0 | 2898 | 6971 171.76/171.82 c 15.4s | 11 | 125707 | 23744 | 21426 0 | 2898 | 6971 173.46/173.58 c 17.2s | 12 | 141481 | 25819 | 21426 1 | 2898 | 6971 175.56/175.62 c 19.2s | 12 | 164324 | 29819 | 21426 1 | 2898 | 6971 177.66/177.74 c 21.3s | 12 | 183586 | 32819 | 21426 1 | 2898 | 6971 179.76/179.80 c 23.4s | 12 | 209313 | 35419 | 21426 1 | 2898 | 6971 181.76/181.84 c 25.4s | 12 | 233792 | 38319 | 21426 2 | 2898 | 6971 182.06/182.11 c 25.7s | 13 | 236731 | 38832 | 21426 2 | 2898 | 6971 184.06/184.14 c 27.7s | 13 | 258294 | 42032 | 21426 2 | 2898 | 6971 186.07/186.18 c 29.8s | 13 | 280663 | 45732 | 21426 2 | 2898 | 6971 188.18/188.24 c 31.8s | 13 | 299326 | 48632 | 21426 3 | 2898 | 6971 190.17/190.29 c 33.9s | 13 | 331946 | 52632 | 23569 3 | 2898 | 6971 192.16/192.30 c 35.9s | 13 | 355667 | 56332 | 23569 3 | 2898 | 6971 193.26/193.37 c 37.0s | 14 | 368267 | 58352 | 23569 3 | 2898 | 6971 195.36/195.44 c 39.0s | 14 | 390790 | 62252 | 23569 3 | 2898 | 6971 197.76/197.83 c 41.4s | 14 | 405165 | 64252 | 23569 4 | 2898 | 6971 199.76/199.85 c 43.5s | 14 | 419529 | 65952 | 23569 4 | 2898 | 6971 201.76/201.88 c 45.5s | 14 | 445476 | 69652 | 23569 4 | 2898 | 6971 203.76/203.89 c 47.5s | 14 | 471198 | 73152 | 23569 4 | 2898 | 6971 205.95/206.01 c 49.6s | 14 | 495708 | 76352 | 23569 5 | 2898 | 6971 207.97/208.03 c 51.6s | 14 | 520864 | 79952 | 23569 5 | 2898 | 6971 209.96/210.06 c 53.7s | 14 | 547945 | 83252 | 23569 5 | 2898 | 6971 212.06/212.12 c 55.7s | 14 | 570526 | 86352 | 23569 5 | 2898 | 6971 212.96/213.04 c 56.6s | 15 | 580492 | 87632 | 23569 5 | 2898 | 6971 215.16/215.21 c 58.8s | 15 | 593441 | 89832 | 23569 6 | 2898 | 6971 218.15/218.20 c 61.8s | 15 | 617583 | 93032 | 23569 6 | 2898 | 6971 220.15/220.23 c 63.8s | 15 | 642037 | 96432 | 23569 6 | 2898 | 6971 222.16/222.26 c 65.9s | 15 | 664972 | 99532 | 23569 6 | 2898 | 6971 224.25/224.32 c 67.9s | 15 | 695163 | 102832 | 23569 6 | 2898 | 6971 226.26/226.33 c 69.9s | 15 | 719303 | 106432 | 23569 7 | 2898 | 6971 228.26/228.35 c 71.9s | 15 | 746618 | 110332 | 23569 7 | 2898 | 6971 230.26/230.36 c 74.0s | 15 | 768373 | 114132 | 23569 7 | 2898 | 6971 232.26/232.39 c 76.0s | 15 | 788222 | 117732 | 23569 8 | 2898 | 6971 234.37/234.44 c 78.0s | 15 | 801739 | 120232 | 23569 8 | 2898 | 6971 236.35/236.46 c 80.1s | 15 | 815021 | 122232 | 23569 8 | 2898 | 6971 238.35/238.48 c 82.1s | 15 | 838142 | 125632 | 23569 8 | 2898 | 6971 240.45/240.51 c 84.1s | 15 | 857961 | 129032 | 23569 8 | 2898 | 6971 242.06/242.17 c 85.8s | 16 | 875942 | 131552 | 23569 9 | 2898 | 6971 244.05/244.19 c 87.8s | 16 | 899976 | 135052 | 23569 9 | 2898 | 6971 246.15/246.23 c 89.8s | 16 | 917855 | 138452 | 23569 9 | 2898 | 6971 249.05/249.15 c 92.7s | 16 | 931119 | 141652 | 23569 9 | 2898 | 6971 251.15/251.21 c 94.8s | 16 | 943566 | 143152 | 23569 10 | 2898 | 6971 253.15/253.26 c 96.9s | 16 | 967184 | 146752 | 23569 10 | 2898 | 6971 255.16/255.30 c 98.9s | 16 | 990692 | 150052 | 23569 10 | 2898 | 6971 257.25/257.30 c 100s | 16 | 1016147 | 153152 | 23569 10 | 2898 | 6971 259.25/259.35 c 102s | 16 | 1035018 | 156052 | 23569 11 | 2898 | 6971 261.25/261.36 c 104s | 16 | 1058606 | 159952 | 23569 11 | 2898 | 6971 263.25/263.38 c 106s | 16 | 1080838 | 163652 | 23569 11 | 2898 | 6971 265.35/265.43 c 109s | 16 | 1103380 | 167252 | 23569 11 | 2898 | 6971 267.45/267.50 c 111s | 16 | 1124120 | 169952 | 23569 12 | 2898 | 6971 269.56/269.64 c 113s | 16 | 1144965 | 172752 | 23569 12 | 2898 | 6971 271.54/271.66 c 115s | 16 | 1164920 | 176152 | 23569 12 | 2898 | 6971 273.64/273.72 c 117s | 16 | 1181509 | 179152 | 23569 12 | 2898 | 6971 275.64/275.76 c 119s | 16 | 1203054 | 182552 | 23569 12 | 2898 | 6971 277.74/277.87 c 121s | 16 | 1217762 | 186152 | 23569 13 | 2898 | 6971 279.84/279.93 c 123s | 16 | 1237237 | 189152 | 23569 13 | 2898 | 6971 281.85/281.99 c 125s | 16 | 1257985 | 192152 | 23569 13 | 2898 | 6971 283.95/284.02 c 127s | 16 | 1277789 | 195052 | 23569 13 | 2898 | 6971 285.35/285.47 c 129s | 17 | 1291289 | 197432 | 25926 14 | 2898 | 6971 287.35/287.47 c 131s | 17 | 1309114 | 201332 | 25926 14 | 2898 | 6971 291.65/291.79 c 135s | 17 | 1319701 | 204132 | 25926 14 | 2898 | 6971 293.76/293.83 c 137s | 17 | 1333079 | 206032 | 25926 14 | 2898 | 6971 295.85/295.93 c 139s | 17 | 1347855 | 209532 | 25926 14 | 2898 | 6971 298.54/298.67 c 142s | 17 | 1357445 | 212232 | 25926 15 | 2898 | 6971 300.54/300.68 c 144s | 17 | 1375308 | 215932 | 25926 15 | 2898 | 6971 302.55/302.68 c 146s | 17 | 1389170 | 219832 | 25926 15 | 2898 | 6971 304.54/304.69 c 148s | 17 | 1406400 | 222932 | 25926 15 | 2898 | 6971 306.64/306.77 c 150s | 17 | 1419611 | 226232 | 25926 16 | 2898 | 6971 308.64/308.78 c 152s | 17 | 1440985 | 229932 | 25926 16 | 2898 | 6971 310.74/310.82 c 154s | 17 | 1464066 | 233332 | 25926 16 | 2898 | 6971 312.74/312.83 c 156s | 17 | 1479671 | 236632 | 25926 16 | 2898 | 6971 314.74/314.87 c 158s | 17 | 1494341 | 240032 | 25926 16 | 2898 | 6971 316.75/316.88 c 160s | 17 | 1508852 | 243232 | 25926 17 | 2898 | 6971 318.84/318.90 c 162s | 17 | 1529138 | 246332 | 25926 17 | 2898 | 6971 320.84/320.91 c 164s | 17 | 1545007 | 249332 | 25926 17 | 2898 | 6971 322.84/322.94 c 166s | 17 | 1565828 | 252632 | 25926 17 | 2898 | 6971 324.84/324.97 c 168s | 17 | 1583437 | 256032 | 25926 18 | 2898 | 6971 327.94/328.03 c 171s | 17 | 1589787 | 257732 | 25926 18 | 2898 | 6971 329.95/330.07 c 173s | 17 | 1594241 | 258532 | 25926 18 | 2898 | 6971 332.04/332.14 c 175s | 17 | 1608618 | 261332 | 25926 18 | 2898 | 6971 334.04/334.17 c 177s | 17 | 1624732 | 263932 | 25926 18 | 2898 | 6971 336.14/336.22 c 179s | 17 | 1642121 | 267132 | 25926 18 | 2898 | 6971 338.13/338.26 c 181s | 17 | 1653556 | 269632 | 25926 18 | 2898 | 6971 340.13/340.29 c 183s | 17 | 1671979 | 273732 | 25926 19 | 2898 | 6971 342.23/342.30 c 185s | 17 | 1688894 | 277632 | 25926 19 | 2898 | 6971 344.24/344.35 c 187s | 17 | 1708855 | 281032 | 25926 19 | 2898 | 6971 346.33/346.49 c 190s | 17 | 1727887 | 284232 | 25926 20 | 2898 | 6971 348.43/348.52 c 192s | 17 | 1748268 | 287932 | 25926 20 | 2898 | 6971 350.44/350.56 c 194s | 17 | 1764215 | 291432 | 25926 20 | 2898 | 6971 352.54/352.61 c 196s | 17 | 1778030 | 295332 | 25926 20 | 2898 | 6971 353.15/353.28 c 196s | 18 | 1781703 | 296252 | 25926 20 | 2898 | 6971 355.14/355.29 c 198s | 18 | 1791196 | 298252 | 25926 20 | 2898 | 6971 361.23/361.39 c 204s | 18 | 1805549 | 300452 | 25926 21 | 2898 | 6971 363.34/363.44 c 207s | 18 | 1808130 | 300852 | 25926 21 | 2898 | 6971 365.34/365.47 c 209s | 18 | 1825782 | 303952 | 25926 21 | 2898 | 6971 367.45/367.51 c 211s | 18 | 1840697 | 307152 | 25926 21 | 2898 | 6971 369.43/369.54 c 213s | 18 | 1855856 | 310152 | 25926 21 | 2898 | 6971 371.63/371.71 c 215s | 18 | 1872577 | 313152 | 25926 22 | 2898 | 6971 373.63/373.74 c 217s | 18 | 1891525 | 317052 | 25926 22 | 2898 | 6971 375.63/375.77 c 219s | 18 | 1902025 | 319352 | 25926 22 | 2898 | 6971 377.63/377.79 c 221s | 18 | 1921065 | 322552 | 25926 22 | 2898 | 6971 379.73/379.82 c 223s | 18 | 1937215 | 325452 | 25926 22 | 2898 | 6971 381.74/381.83 c 225s | 18 | 1953636 | 328452 | 25926 23 | 2898 | 6971 383.73/383.89 c 227s | 18 | 1966483 | 330652 | 25926 23 | 2898 | 6971 385.83/385.92 c 229s | 18 | 1980887 | 333452 | 25926 23 | 2898 | 6971 387.84/387.99 c 231s | 18 | 1996410 | 336052 | 25926 23 | 2898 | 6971 389.93/390.06 c 233s | 18 | 2013089 | 338452 | 25926 23 | 2898 | 6971 391.93/392.07 c 235s | 18 | 2027948 | 340752 | 25926 23 | 2898 | 6971 394.03/394.12 c 237s | 18 | 2043588 | 343552 | 25926 24 | 2898 | 6971 399.03/399.19 c 242s | 18 | 2049746 | 344852 | 25926 24 | 2898 | 6971 401.13/401.20 c 244s | 18 | 2068616 | 348452 | 25926 24 | 2898 | 6971 403.13/403.24 c 246s | 18 | 2087489 | 352052 | 25926 24 | 2898 | 6971 405.13/405.26 c 248s | 18 | 2104510 | 355652 | 25926 24 | 2898 | 6971 407.23/407.32 c 250s | 18 | 2117246 | 358852 | 25926 25 | 2898 | 6971 409.24/409.33 c 252s | 18 | 2132851 | 362552 | 25926 25 | 2898 | 6971 411.23/411.34 c 254s | 18 | 2147804 | 365652 | 25926 25 | 2898 | 6971 413.23/413.37 c 256s | 18 | 2166820 | 369052 | 25926 25 | 2898 | 6971 415.33/415.42 c 259s | 18 | 2183703 | 372252 | 25926 26 | 2898 | 6971 417.33/417.44 c 261s | 18 | 2207631 | 375852 | 25926 26 | 2898 | 6971 419.33/419.48 c 263s | 18 | 2227050 | 379752 | 25926 26 | 2898 | 6971 421.43/421.50 c 265s | 18 | 2246470 | 383252 | 25926 26 | 2898 | 6971 423.43/423.54 c 267s | 18 | 2263868 | 386352 | 25926 27 | 2898 | 6971 425.42/425.58 c 269s | 18 | 2287466 | 389652 | 25926 27 | 2898 | 6971 427.52/427.61 c 271s | 18 | 2311481 | 393152 | 25926 27 | 2898 | 6971 429.52/429.62 c 273s | 18 | 2327069 | 396652 | 25926 27 | 2898 | 6971 431.52/431.65 c 275s | 18 | 2342923 | 399552 | 25926 27 | 2898 | 6971 433.52/433.69 c 277s | 18 | 2359958 | 402752 | 25926 28 | 2898 | 6971 435.53/435.70 c 279s | 18 | 2382689 | 406052 | 25926 28 | 2898 | 6971 437.62/437.71 c 281s | 18 | 2397954 | 409452 | 25926 28 | 2898 | 6971 439.62/439.76 c 283s | 18 | 2413922 | 412352 | 25926 28 | 2898 | 6971 441.62/441.77 c 285s | 18 | 2428795 | 414852 | 25926 29 | 2898 | 6971 443.63/443.77 c 287s | 18 | 2444984 | 418252 | 28519 29 | 2898 | 6971 445.63/445.79 c 289s | 18 | 2461475 | 421952 | 28519 29 | 2898 | 6971 447.74/447.83 c 291s | 18 | 2478422 | 424852 | 28519 29 | 2898 | 6971 449.72/449.89 c 293s | 18 | 2494916 | 427752 | 28519 29 | 2898 | 6971 451.82/451.91 c 295s | 18 | 2506307 | 430852 | 28519 29 | 2898 | 6971 453.82/453.93 c 297s | 18 | 2522089 | 434352 | 28519 30 | 2898 | 6971 455.82/455.98 c 299s | 18 | 2538244 | 438052 | 28519 30 | 2898 | 6971 458.02/458.16 c 301s | 18 | 2550228 | 441352 | 28519 30 | 2898 | 6971 463.92/464.02 c 307s | 18 | 2550773 | 441452 | 28519 30 | 2898 | 6971 466.52/466.61 c 310s | 18 | 2552870 | 441852 | 28519 30 | 2898 | 6971 468.53/468.61 c 312s | 18 | 2567639 | 444152 | 28519 30 | 2898 | 6971 468.72/468.81 c 312s | 19 | 2568847 | 444482 | 28519 30 | 2898 | 6971 470.73/470.83 c 314s | 19 | 2585751 | 447482 | 28519 31 | 2898 | 6971 474.82/474.93 c 318s | 19 | 2591719 | 448782 | 28519 31 | 2898 | 6971 479.92/480.06 c 323s | 19 | 2595858 | 449382 | 28519 31 | 2898 | 6971 481.92/482.08 c 325s | 19 | 2611893 | 452282 | 28519 31 | 2898 | 6971 483.92/484.08 c 327s | 19 | 2634222 | 455982 | 28519 31 | 2898 | 6971 486.01/486.11 c 329s | 19 | 2651870 | 459482 | 28519 31 | 2898 | 6971 488.01/488.11 c 331s | 19 | 2666402 | 462582 | 28519 31 | 2898 | 6971 490.02/490.14 c 333s | 19 | 2681142 | 465282 | 28519 32 | 2898 | 6971 492.01/492.17 c 335s | 19 | 2695529 | 468682 | 28519 32 | 2898 | 6971 494.11/494.21 c 337s | 19 | 2713429 | 472582 | 28519 32 | 2898 | 6971 496.12/496.27 c 339s | 19 | 2729023 | 475682 | 28519 32 | 2898 | 6971 498.22/498.32 c 341s | 19 | 2744334 | 478882 | 28519 32 | 2898 | 6971 500.21/500.34 c 343s | 19 | 2758571 | 481782 | 28519 33 | 2898 | 6971 502.22/502.35 c 345s | 19 | 2774870 | 485382 | 28519 33 | 2898 | 6971 504.22/504.39 c 347s | 19 | 2789310 | 488882 | 28519 33 | 2898 | 6971 506.31/506.41 c 350s | 19 | 2804774 | 492282 | 28519 33 | 2898 | 6971 508.31/508.45 c 352s | 19 | 2817832 | 495582 | 28519 34 | 2898 | 6971 510.72/510.85 c 354s | 19 | 2827486 | 497182 | 28519 34 | 2898 | 6971 512.82/512.90 c 356s | 19 | 2847298 | 500482 | 28519 34 | 2898 | 6971 514.82/514.91 c 358s | 19 | 2864556 | 503982 | 28519 34 | 2898 | 6971 516.81/516.94 c 360s | 19 | 2884424 | 507282 | 28519 34 | 2898 | 6971 518.81/518.96 c 362s | 19 | 2900680 | 510182 | 28519 34 | 2898 | 6971 520.81/520.97 c 364s | 19 | 2913349 | 513282 | 28519 35 | 2898 | 6971 522.81/522.99 c 366s | 19 | 2921017 | 515782 | 28519 35 | 2898 | 6971 524.91/525.00 c 368s | 19 | 2937970 | 519282 | 28519 35 | 2898 | 6971 526.92/527.02 c 370s | 19 | 2950981 | 522282 | 28519 35 | 2898 | 6971 528.91/529.07 c 372s | 19 | 2961014 | 525382 | 28519 35 | 2898 | 6971 531.01/531.14 c 374s | 19 | 2972266 | 528282 | 28519 36 | 2898 | 6971 533.01/533.19 c 376s | 19 | 2983850 | 531582 | 28519 36 | 2898 | 6971 535.11/535.22 c 378s | 19 | 2995057 | 534682 | 28519 36 | 2898 | 6971 537.11/537.24 c 380s | 19 | 3005898 | 537682 | 28519 36 | 2898 | 6971 539.21/539.31 c 382s | 19 | 3018427 | 540982 | 28519 36 | 2898 | 6971 541.22/541.32 c 384s | 19 | 3028789 | 544182 | 28519 37 | 2898 | 6971 543.21/543.37 c 386s | 19 | 3039137 | 547882 | 28519 37 | 2898 | 6971 549.80/549.93 c 393s | 19 | 3043462 | 549482 | 28519 37 | 2898 | 6971 554.00/554.10 c 397s | 19 | 3045136 | 549782 | 28519 37 | 2898 | 6971 556.00/556.17 c 399s | 19 | 3053842 | 551382 | 28519 37 | 2898 | 6971 558.00/558.17 c 401s | 19 | 3068273 | 554482 | 28519 37 | 2898 | 6971 560.10/560.21 c 403s | 19 | 3081570 | 557482 | 28519 37 | 2898 | 6971 562.12/562.22 c 405s | 19 | 3090442 | 560182 | 28519 38 | 2898 | 6971 564.11/564.23 c 407s | 19 | 3103280 | 562882 | 28519 38 | 2898 | 6971 566.11/566.27 c 409s | 19 | 3117101 | 566082 | 28519 38 | 2898 | 6971 568.11/568.29 c 411s | 19 | 3127873 | 568282 | 28519 38 | 2898 | 6971 570.20/570.34 c 413s | 19 | 3141137 | 570982 | 28519 38 | 2898 | 6971 572.30/572.48 c 416s | 19 | 3151056 | 573982 | 28519 39 | 2898 | 6971 574.30/574.48 c 418s | 19 | 3169597 | 577482 | 28519 39 | 2898 | 6971 576.41/576.52 c 420s | 19 | 3187354 | 581382 | 28519 39 | 2898 | 6971 578.40/578.53 c 422s | 19 | 3205616 | 584682 | 28519 39 | 2898 | 6971 580.40/580.54 c 424s | 19 | 3222899 | 587982 | 28519 39 | 2898 | 6971 582.40/582.59 c 426s | 19 | 3234992 | 591182 | 28519 40 | 2898 | 6971 584.50/584.61 c 428s | 19 | 3250834 | 594682 | 28519 40 | 2898 | 6971 586.50/586.62 c 430s | 19 | 3261615 | 597282 | 28519 40 | 2898 | 6971 588.80/588.90 c 432s | 19 | 3273686 | 600282 | 28519 40 | 2898 | 6971 590.80/590.93 c 434s | 19 | 3289531 | 602982 | 28519 40 | 2898 | 6971 592.91/593.05 c 436s | 19 | 3302084 | 605582 | 28519 41 | 2898 | 6971 594.90/595.06 c 438s | 19 | 3321022 | 609182 | 28519 41 | 2898 | 6971 596.90/597.08 c 440s | 19 | 3329147 | 610882 | 28519 41 | 2898 | 6971 599.41/599.52 c 443s | 19 | 3331211 | 611282 | 28519 41 | 2898 | 6971 601.40/601.53 c 445s | 19 | 3344145 | 614182 | 28519 41 | 2898 | 6971 603.40/603.55 c 447s | 19 | 3356125 | 617282 | 28519 41 | 2898 | 6971 605.50/605.61 c 449s | 19 | 3368072 | 620382 | 28519 41 | 2898 | 6971 607.50/607.65 c 451s | 19 | 3381109 | 623882 | 28519 42 | 2898 | 6971 609.49/609.69 c 453s | 19 | 3391077 | 626482 | 28519 42 | 2898 | 6971 611.61/611.71 c 455s | 19 | 3402737 | 629882 | 28519 42 | 2898 | 6971 613.60/613.73 c 457s | 19 | 3412503 | 632882 | 28519 42 | 2898 | 6971 615.70/615.80 c 459s | 19 | 3423561 | 635982 | 28519 42 | 2898 | 6971 617.70/617.82 c 461s | 19 | 3431512 | 638582 | 28519 43 | 2898 | 6971 621.30/621.47 c 465s | 19 | 3442461 | 642482 | 28519 43 | 2898 | 6971 623.39/623.51 c 467s | 19 | 3452455 | 644782 | 28519 43 | 2898 | 6971 625.39/625.52 c 469s | 19 | 3467286 | 648082 | 28519 43 | 2898 | 6971 627.39/627.55 c 471s | 19 | 3479262 | 651082 | 28519 43 | 2898 | 6971 629.39/629.55 c 473s | 19 | 3487746 | 653282 | 28519 44 | 2898 | 6971 631.40/631.59 c 475s | 19 | 3502406 | 656482 | 28519 44 | 2898 | 6971 633.39/633.60 c 477s | 19 | 3522261 | 659882 | 28519 44 | 2898 | 6971 635.49/635.65 c 479s | 19 | 3538965 | 662982 | 28519 44 | 2898 | 6971 637.50/637.66 c 481s | 19 | 3554621 | 666182 | 28519 44 | 2898 | 6971 637.91/638.10 c 481s | 20 | 3557731 | 666827 | 28519 44 | 2898 | 6971 640.00/640.14 c 483s | 20 | 3571131 | 669527 | 28519 45 | 2898 | 6971 642.00/642.17 c 485s | 20 | 3589292 | 673227 | 28519 45 | 2898 | 6971 645.89/646.04 c 489s | 20 | 3605318 | 676527 | 28519 45 | 2898 | 6971 647.90/648.08 c 491s | 20 | 3624822 | 679727 | 28519 45 | 2898 | 6971 649.89/650.08 c 493s | 20 | 3644247 | 682927 | 28519 45 | 2898 | 6971 652.59/652.78 c 496s | 20 | 3645147 | 683127 | 28519 45 | 2898 | 6971 654.69/654.81 c 498s | 20 | 3655306 | 685727 | 28519 46 | 2898 | 6971 656.70/656.85 c 500s | 20 | 3670421 | 689727 | 28519 46 | 2898 | 6971 659.79/659.91 c 503s | 20 | 3680963 | 691927 | 28519 46 | 2898 | 6971 661.79/661.94 c 505s | 20 | 3700288 | 694327 | 28519 46 | 2898 | 6971 663.79/663.94 c 507s | 20 | 3723065 | 697127 | 28519 46 | 2898 | 6971 665.98/666.11 c 509s | 20 | 3747146 | 700227 | 28519 47 | 2898 | 6971 667.99/668.16 c 511s | 20 | 3774928 | 703127 | 28519 47 | 2898 | 6971 670.09/670.21 c 513s | 20 | 3797582 | 706527 | 28519 47 | 2898 | 6971 672.10/672.23 c 515s | 20 | 3814754 | 709627 | 28519 47 | 2898 | 6971 674.09/674.24 c 517s | 20 | 3833659 | 712427 | 28519 47 | 2898 | 6971 676.19/676.34 c 519s | 20 | 3849624 | 715127 | 28519 47 | 2898 | 6971 678.19/678.34 c 521s | 20 | 3871342 | 718027 | 28519 48 | 2898 | 6971 680.19/680.39 c 523s | 20 | 3890373 | 721227 | 28519 48 | 2898 | 6971 682.19/682.39 c 525s | 20 | 3908111 | 724427 | 28519 48 | 2898 | 6971 684.29/684.44 c 528s | 20 | 3924574 | 727627 | 28519 48 | 2898 | 6971 686.40/686.52 c 530s | 20 | 3938913 | 730227 | 28519 48 | 2898 | 6971 688.39/688.54 c 532s | 20 | 3949404 | 731827 | 28519 49 | 2898 | 6971 690.49/690.60 c 534s | 20 | 3971578 | 735127 | 28519 49 | 2898 | 6971 692.48/692.69 c 536s | 20 | 3988391 | 738127 | 28519 49 | 2898 | 6971 694.58/694.71 c 538s | 20 | 4007485 | 741127 | 28519 49 | 2898 | 6971 696.58/696.71 c 540s | 20 | 4025995 | 744127 | 28519 49 | 2898 | 6971 700.19/700.34 c 543s | 20 | 4034400 | 746127 | 28519 49 | 2898 | 6971 702.28/702.48 c 546s | 20 | 4040325 | 747527 | 28519 50 | 2898 | 6971 707.48/707.60 c 551s | 20 | 4048817 | 749527 | 31371 50 | 2898 | 6971 709.49/709.61 c 553s | 20 | 4064222 | 752927 | 31371 50 | 2898 | 6971 711.48/711.63 c 555s | 20 | 4076847 | 756527 | 31371 50 | 2898 | 6971 713.48/713.65 c 557s | 20 | 4091864 | 759527 | 31371 50 | 2898 | 6971 715.49/715.67 c 559s | 20 | 4103311 | 762527 | 31371 50 | 2898 | 6971 717.58/717.71 c 561s | 20 | 4112496 | 765327 | 31371 50 | 2898 | 6971 719.58/719.72 c 563s | 20 | 4122537 | 767927 | 31371 51 | 2898 | 6971 721.59/721.75 c 565s | 20 | 4137289 | 771427 | 31371 51 | 2898 | 6971 723.58/723.80 c 567s | 20 | 4147596 | 774527 | 31371 51 | 2898 | 6971 725.68/725.81 c 569s | 20 | 4160323 | 777627 | 31371 51 | 2898 | 6971 727.68/727.87 c 571s | 20 | 4172264 | 780327 | 31371 51 | 2898 | 6971 729.78/729.93 c 573s | 20 | 4186704 | 782927 | 31371 51 | 2898 | 6971 731.78/731.98 c 575s | 20 | 4200519 | 784827 | 31371 52 | 2898 | 6971 733.87/734.04 c 577s | 20 | 4206195 | 785727 | 31371 52 | 2898 | 6971 735.88/736.05 c 579s | 20 | 4235754 | 788827 | 31371 52 | 2898 | 6971 737.87/738.10 c 581s | 20 | 4258562 | 792127 | 31371 52 | 2898 | 6971 739.97/740.15 c 583s | 20 | 4281520 | 795227 | 31371 52 | 2898 | 6971 742.08/742.20 c 585s | 20 | 4295840 | 798227 | 31371 52 | 2898 | 6971 744.08/744.27 c 587s | 20 | 4306102 | 800627 | 31371 53 | 2898 | 6971 746.18/746.33 c 589s | 20 | 4327300 | 803627 | 31371 53 | 2898 | 6971 748.18/748.35 c 591s | 20 | 4346085 | 806927 | 31371 53 | 2898 | 6971 750.19/750.38 c 593s | 20 | 4362445 | 809927 | 31371 53 | 2898 | 6971 752.28/752.48 c 596s | 20 | 4375819 | 812127 | 31371 53 | 2898 | 6971 754.47/754.67 c 598s | 20 | 4388482 | 813827 | 31371 53 | 2898 | 6971 756.56/756.77 c 600s | 20 | 4401648 | 816027 | 31371 53 | 2898 | 6971 758.66/758.80 c 602s | 20 | 4411935 | 818027 | 31371 54 | 2898 | 6971 760.66/760.81 c 604s | 20 | 4424194 | 820427 | 31371 54 | 2898 | 6971 762.66/762.82 c 606s | 20 | 4443246 | 824227 | 31371 54 | 2898 | 6971 764.66/764.85 c 608s | 20 | 4457774 | 827827 | 31371 54 | 2898 | 6971 766.76/766.93 c 610s | 20 | 4476223 | 830427 | 31371 54 | 2898 | 6971 768.78/768.99 c 612s | 20 | 4491053 | 832927 | 31371 54 | 2898 | 6971 771.17/771.30 c 614s | 20 | 4503424 | 835027 | 31371 55 | 2898 | 6971 773.17/773.32 c 616s | 20 | 4523784 | 838027 | 31371 55 | 2898 | 6971 775.16/775.35 c 618s | 20 | 4546019 | 841427 | 31371 55 | 2898 | 6971 777.26/777.41 c 621s | 20 | 4565933 | 844527 | 31371 55 | 2898 | 6971 779.26/779.41 c 623s | 20 | 4583650 | 847327 | 31371 55 | 2898 | 6971 781.26/781.43 c 625s | 20 | 4598467 | 849727 | 31371 55 | 2898 | 6971 783.26/783.47 c 627s | 20 | 4613001 | 852427 | 31371 56 | 2898 | 6971 785.37/785.51 c 629s | 20 | 4635613 | 856027 | 31371 56 | 2898 | 6971 787.36/787.59 c 631s | 20 | 4653823 | 859427 | 31371 56 | 2898 | 6971 789.46/789.63 c 633s | 20 | 4673153 | 862227 | 31371 56 | 2898 | 6971 791.46/791.66 c 635s | 20 | 4693571 | 865127 | 31371 56 | 2898 | 6971 793.45/793.69 c 637s | 20 | 4710208 | 867827 | 31371 56 | 2898 | 6971 795.55/795.76 c 639s | 20 | 4726081 | 870227 | 31371 57 | 2898 | 6971 797.65/797.80 c 641s | 20 | 4744280 | 873527 | 31371 57 | 2898 | 6971 799.66/799.84 c 643s | 20 | 4760649 | 876827 | 31371 57 | 2898 | 6971 801.65/801.88 c 645s | 20 | 4773509 | 879727 | 31371 57 | 2898 | 6971 803.95/804.12 c 647s | 20 | 4783839 | 881327 | 31371 57 | 2898 | 6971 806.95/807.18 c 650s | 20 | 4784546 | 881427 | 31371 57 | 2898 | 6971 810.95/811.19 c 654s | 20 | 4789516 | 882527 | 31371 57 | 2898 | 6971 813.05/813.24 c 656s | 20 | 4802300 | 884427 | 31371 57 | 2898 | 6971 815.25/815.47 c 659s | 20 | 4820851 | 886727 | 31371 58 | 2898 | 6971 817.26/817.49 c 661s | 20 | 4840749 | 889127 | 31371 58 | 2898 | 6971 819.25/819.50 c 663s | 20 | 4861991 | 892227 | 31371 58 | 2898 | 6971 821.35/821.52 c 665s | 20 | 4882214 | 895327 | 31371 58 | 2898 | 6971 823.34/823.57 c 667s | 20 | 4895812 | 897627 | 31371 58 | 2898 | 6971 825.44/825.65 c 669s | 20 | 4908659 | 900427 | 31371 58 | 2898 | 6971 827.44/827.68 c 671s | 20 | 4924924 | 902927 | 31371 58 | 2898 | 6971 829.54/829.70 c 673s | 20 | 4939708 | 905127 | 31371 59 | 2898 | 6971 831.55/831.72 c 675s | 20 | 4956530 | 908627 | 31371 59 | 2898 | 6971 833.53/833.78 c 677s | 20 | 4970583 | 911827 | 31371 59 | 2898 | 6971 835.63/835.81 c 679s | 20 | 4980561 | 914327 | 31371 59 | 2898 | 6971 837.63/837.87 c 681s | 20 | 4994672 | 917427 | 31371 59 | 2898 | 6971 839.73/839.93 c 683s | 20 | 5007469 | 920727 | 31371 59 | 2898 | 6971 841.74/841.98 c 685s | 20 | 5016137 | 922727 | 31371 60 | 2898 | 6971 843.73/844.00 c 687s | 20 | 5028910 | 926627 | 31371 60 | 2898 | 6971 845.74/846.00 c 689s | 20 | 5042268 | 930427 | 31371 60 | 2898 | 6971 847.83/848.01 c 691s | 20 | 5056944 | 933027 | 31371 60 | 2898 | 6971 849.83/850.02 c 693s | 20 | 5079130 | 935727 | 31371 60 | 2898 | 6971 852.03/852.26 c 695s | 20 | 5096750 | 938327 | 31371 61 | 2898 | 6971 854.03/854.28 c 697s | 20 | 5116825 | 941427 | 31371 61 | 2898 | 6971 856.13/856.30 c 699s | 20 | 5136130 | 944727 | 31371 61 | 2898 | 6971 858.13/858.33 c 701s | 20 | 5156274 | 947427 | 31371 61 | 2898 | 6971 860.14/860.37 c 703s | 20 | 5180885 | 950527 | 31371 61 | 2898 | 6971 862.13/862.40 c 706s | 20 | 5202180 | 953227 | 31371 61 | 2898 | 6971 864.32/864.53 c 708s | 20 | 5223061 | 955527 | 31371 62 | 2898 | 6971 866.32/866.54 c 710s | 20 | 5243451 | 958127 | 31371 62 | 2898 | 6971 868.32/868.54 c 712s | 20 | 5265170 | 961327 | 31371 62 | 2898 | 6971 870.32/870.58 c 714s | 20 | 5281040 | 963627 | 31371 62 | 2898 | 6971 872.42/872.60 c 716s | 20 | 5299229 | 966827 | 31371 62 | 2898 | 6971 874.42/874.62 c 718s | 20 | 5316676 | 970227 | 31371 62 | 2898 | 6971 876.41/876.64 c 720s | 20 | 5330998 | 973327 | 31371 63 | 2898 | 6971 878.51/878.70 c 722s | 20 | 5347626 | 976427 | 31371 63 | 2898 | 6971 880.51/880.72 c 724s | 20 | 5365376 | 979627 | 31371 63 | 2898 | 6971 882.51/882.75 c 726s | 20 | 5385345 | 982827 | 31371 63 | 2898 | 6971 884.51/884.78 c 728s | 20 | 5398343 | 985127 | 31371 63 | 2898 | 6971 886.52/886.78 c 730s | 20 | 5416197 | 987927 | 31371 63 | 2898 | 6971 888.62/888.83 c 732s | 20 | 5433464 | 990827 | 31371 64 | 2898 | 6971 890.61/890.87 c 734s | 20 | 5452292 | 994227 | 31371 64 | 2898 | 6971 892.90/893.17 c 736s | 20 | 5454356 | 994427 | 31371 64 | 2898 | 6971 895.00/895.20 c 738s | 20 | 5471111 | 997127 | 31371 64 | 2898 | 6971 896.99/897.25 c 740s | 20 | 5493224 | 1000127 | 31371 64 | 2898 | 6971 897.19/897.42 c 741s | 21 | 5495144 | 1000345 | 31371 64 | 2898 | 6971 899.19/899.47 c 743s | 21 | 5515365 | 1003345 | 31371 64 | 2898 | 6971 901.29/901.52 c 745s | 21 | 5538977 | 1006445 | 31371 64 | 2898 | 6971 903.90/904.20 c 747s | 21 | 5540936 | 1006645 | 31371 64 | 2898 | 6971 906.89/907.17 c 750s | 21 | 5548711 | 1007545 | 31371 65 | 2898 | 6971 909.51/909.71 c 753s | 21 | 5552388 | 1008045 | 31371 65 | 2898 | 6971 911.50/911.72 c 755s | 21 | 5571994 | 1011645 | 31371 65 | 2898 | 6971 914.09/914.39 c 757s | 21 | 5582434 | 1013245 | 31371 65 | 2898 | 6971 916.20/916.42 c 760s | 21 | 5610384 | 1016345 | 31371 65 | 2898 | 6971 918.19/918.46 c 762s | 21 | 5633665 | 1019545 | 31371 65 | 2898 | 6971 920.19/920.47 c 764s | 21 | 5655768 | 1022345 | 31371 65 | 2898 | 6971 922.29/922.53 c 766s | 21 | 5674024 | 1024945 | 31371 66 | 2898 | 6971 924.29/924.53 c 768s | 21 | 5695021 | 1027945 | 31371 66 | 2898 | 6971 926.29/926.54 c 770s | 21 | 5709132 | 1030545 | 31371 66 | 2898 | 6971 928.48/928.75 c 772s | 21 | 5726183 | 1033045 | 31371 66 | 2898 | 6971 930.49/930.76 c 774s | 21 | 5749814 | 1036145 | 31371 66 | 2898 | 6971 932.59/932.85 c 776s | 21 | 5765767 | 1039245 | 31371 66 | 2898 | 6971 934.58/934.89 c 778s | 21 | 5779433 | 1042245 | 31371 67 | 2898 | 6971 936.88/937.14 c 780s | 21 | 5797504 | 1045345 | 31371 67 | 2898 | 6971 938.88/939.19 c 782s | 21 | 5819121 | 1048545 | 31371 67 | 2898 | 6971 941.39/941.68 c 785s | 21 | 5819817 | 1048645 | 31371 67 | 2898 | 6971 943.37/943.68 c 787s | 21 | 5836854 | 1051745 | 31371 67 | 2898 | 6971 945.47/945.74 c 789s | 21 | 5854633 | 1055045 | 31371 67 | 2898 | 6971 947.47/947.75 c 791s | 21 | 5870233 | 1057445 | 31371 67 | 2898 | 6971 949.47/949.79 c 793s | 21 | 5881984 | 1059145 | 31371 68 | 2898 | 6971 952.18/952.41 c 796s | 21 | 5884238 | 1059445 | 31371 68 | 2898 | 6971 954.27/954.54 c 798s | 21 | 5906195 | 1062245 | 31371 68 | 2898 | 6971 956.27/956.58 c 800s | 21 | 5923970 | 1065445 | 31371 68 | 2898 | 6971 958.37/958.60 c 802s | 21 | 5943206 | 1068345 | 31371 68 | 2898 | 6971 960.37/960.65 c 804s | 21 | 5962628 | 1071145 | 31371 68 | 2898 | 6971 962.38/962.68 c 806s | 21 | 5980368 | 1074245 | 31371 68 | 2898 | 6971 964.47/964.72 c 808s | 21 | 5996747 | 1077045 | 31371 69 | 2898 | 6971 966.46/966.73 c 810s | 21 | 6018167 | 1080345 | 31371 69 | 2898 | 6971 968.46/968.78 c 812s | 21 | 6035437 | 1083545 | 31371 69 | 2898 | 6971 970.56/970.81 c 814s | 21 | 6052993 | 1086345 | 31371 69 | 2898 | 6971 972.56/972.85 c 816s | 21 | 6072522 | 1089045 | 31371 69 | 2898 | 6971 974.56/974.89 c 818s | 21 | 6091142 | 1091645 | 31371 69 | 2898 | 6971 976.67/976.94 c 820s | 21 | 6114624 | 1094645 | 31371 70 | 2898 | 6971 978.65/978.98 c 822s | 21 | 6134528 | 1097945 | 31371 70 | 2898 | 6971 980.86/981.19 c 824s | 21 | 6152445 | 1101145 | 31371 70 | 2898 | 6971 982.96/983.24 c 826s | 21 | 6174317 | 1104245 | 31371 70 | 2898 | 6971 986.16/986.43 c 830s | 21 | 6182782 | 1105945 | 31371 70 | 2898 | 6971 988.16/988.47 c 832s | 21 | 6190972 | 1108245 | 31371 70 | 2898 | 6971 990.26/990.58 c 834s | 21 | 6200892 | 1110745 | 31371 71 | 2898 | 6971 992.26/992.59 c 836s | 21 | 6218895 | 1114645 | 31371 71 | 2898 | 6971 994.35/994.68 c 838s | 21 | 6228449 | 1117445 | 31371 71 | 2898 | 6971 996.46/996.71 c 840s | 21 | 6242233 | 1121245 | 31371 71 | 2898 | 6971 998.45/998.72 c 842s | 21 | 6256652 | 1124145 | 31371 71 | 2898 | 6971 1000.56/1000.81 c 844s | 21 | 6270484 | 1126645 | 31371 71 | 2898 | 6971 1002.55/1002.86 c 846s | 21 | 6283499 | 1128945 | 31371 72 | 2898 | 6971 1004.55/1004.88 c 848s | 21 | 6302758 | 1132245 | 31371 72 | 2898 | 6971 1006.65/1006.92 c 850s | 21 | 6320665 | 1135645 | 31371 72 | 2898 | 6971 1009.85/1010.12 c 853s | 21 | 6323447 | 1136145 | 31371 72 | 2898 | 6971 1011.87/1012.15 c 855s | 21 | 6338274 | 1139245 | 31371 72 | 2898 | 6971 1013.85/1014.19 c 857s | 21 | 6349880 | 1142245 | 31371 72 | 2898 | 6971 1015.95/1016.22 c 859s | 21 | 6363683 | 1145045 | 31371 73 | 2898 | 6971 1017.95/1018.24 c 861s | 21 | 6377329 | 1148745 | 31371 73 | 2898 | 6971 1020.05/1020.30 c 863s | 21 | 6391516 | 1152145 | 31371 73 | 2898 | 6971 1022.05/1022.34 c 865s | 21 | 6408557 | 1155545 | 31371 73 | 2898 | 6971 1024.04/1024.36 c 867s | 21 | 6422742 | 1159045 | 31371 73 | 2898 | 6971 1026.05/1026.39 c 869s | 21 | 6434077 | 1162145 | 31371 74 | 2898 | 6971 1028.14/1028.47 c 872s | 21 | 6439650 | 1163445 | 31371 74 | 2898 | 6971 1030.14/1030.47 c 874s | 21 | 6454615 | 1166445 | 31371 74 | 2898 | 6971 1032.14/1032.48 c 876s | 21 | 6473843 | 1170145 | 31371 74 | 2898 | 6971 1034.14/1034.48 c 878s | 21 | 6494009 | 1172845 | 31371 74 | 2898 | 6971 1036.24/1036.52 c 880s | 21 | 6512651 | 1175845 | 31371 74 | 2898 | 6971 1038.25/1038.55 c 882s | 21 | 6528410 | 1178945 | 31371 74 | 2898 | 6971 1040.23/1040.60 c 884s | 21 | 6543574 | 1182445 | 31371 75 | 2898 | 6971 1042.33/1042.68 c 886s | 21 | 6554524 | 1184745 | 31371 75 | 2898 | 6971 1044.43/1044.71 c 888s | 21 | 6566608 | 1188345 | 31371 75 | 2898 | 6971 1046.43/1046.73 c 890s | 21 | 6579126 | 1191245 | 31371 75 | 2898 | 6971 1048.43/1048.75 c 892s | 21 | 6592921 | 1193845 | 31371 75 | 2898 | 6971 1050.62/1050.92 c 894s | 21 | 6602876 | 1196545 | 31371 76 | 2898 | 6971 1052.62/1052.94 c 896s | 21 | 6615346 | 1199745 | 31371 76 | 2898 | 6971 1054.63/1054.95 c 898s | 21 | 6628932 | 1202645 | 31371 76 | 2898 | 6971 1056.62/1056.98 c 900s | 21 | 6640106 | 1205745 | 31371 76 | 2898 | 6971 1059.42/1059.71 c 903s | 21 | 6642061 | 1206245 | 31371 76 | 2898 | 6971 1061.53/1061.81 c 905s | 21 | 6651723 | 1207645 | 31371 76 | 2898 | 6971 1063.53/1063.88 c 907s | 21 | 6663366 | 1209345 | 31371 76 | 2898 | 6971 1065.63/1065.93 c 909s | 21 | 6672296 | 1211045 | 31371 76 | 2898 | 6971 1067.62/1067.97 c 911s | 21 | 6685736 | 1212845 | 31371 76 | 2898 | 6971 1069.62/1069.99 c 913s | 21 | 6697518 | 1214845 | 31371 77 | 2898 | 6971 1071.72/1072.03 c 915s | 21 | 6712533 | 1217945 | 31371 77 | 2898 | 6971 1073.71/1074.08 c 917s | 21 | 6722028 | 1219845 | 31371 77 | 2898 | 6971 1075.81/1076.18 c 919s | 21 | 6733979 | 1221645 | 31371 77 | 2898 | 6971 1077.82/1078.18 c 921s | 21 | 6745610 | 1223845 | 31371 77 | 2898 | 6971 1079.81/1080.19 c 923s | 21 | 6758872 | 1226245 | 31371 77 | 2898 | 6971 1081.91/1082.22 c 925s | 21 | 6768822 | 1228945 | 31371 77 | 2898 | 6971 1083.90/1084.25 c 927s | 21 | 6781180 | 1230745 | 31371 77 | 2898 | 6971 1086.00/1086.31 c 929s | 21 | 6795169 | 1232945 | 31371 78 | 2898 | 6971 1088.00/1088.35 c 931s | 21 | 6809407 | 1235545 | 31371 78 | 2898 | 6971 1090.10/1090.43 c 934s | 21 | 6827033 | 1238345 | 31371 78 | 2898 | 6971 1092.11/1092.44 c 936s | 21 | 6839550 | 1241045 | 31371 78 | 2898 | 6971 1094.10/1094.48 c 938s | 21 | 6854598 | 1243645 | 31371 78 | 2898 | 6971 1096.19/1096.53 c 940s | 21 | 6871009 | 1246245 | 34509 78 | 2898 | 6971 1098.19/1098.59 c 942s | 21 | 6891463 | 1249145 | 34509 78 | 2898 | 6971 1100.29/1100.62 c 944s | 21 | 6910003 | 1252045 | 34509 79 | 2898 | 6971 1102.29/1102.63 c 946s | 21 | 6929824 | 1255745 | 34509 79 | 2898 | 6971 1104.40/1104.71 c 948s | 21 | 6944432 | 1258545 | 34509 79 | 2898 | 6971 1106.41/1106.72 c 950s | 21 | 6958033 | 1260745 | 34509 79 | 2898 | 6971 1108.40/1108.78 c 952s | 21 | 6973230 | 1263245 | 34509 79 | 2898 | 6971 1110.50/1110.81 c 954s | 21 | 6986992 | 1265745 | 34509 79 | 2898 | 6971 1112.50/1112.84 c 956s | 21 | 7001898 | 1268445 | 34509 79 | 2898 | 6971 1114.49/1114.84 c 958s | 21 | 7012650 | 1270945 | 34509 80 | 2898 | 6971 1116.49/1116.85 c 960s | 21 | 7028631 | 1273245 | 34509 80 | 2898 | 6971 1118.59/1118.91 c 962s | 21 | 7041665 | 1275645 | 34509 80 | 2898 | 6971 1120.60/1120.96 c 964s | 21 | 7055756 | 1278245 | 34509 80 | 2898 | 6971 1122.59/1122.97 c 966s | 21 | 7067119 | 1280945 | 34509 80 | 2898 | 6971 1124.68/1125.03 c 968s | 21 | 7083329 | 1283545 | 34509 80 | 2898 | 6971 1126.68/1127.08 c 970s | 21 | 7099389 | 1286045 | 34509 80 | 2898 | 6971 1128.78/1129.16 c 972s | 21 | 7117673 | 1288645 | 34509 80 | 2898 | 6971 1130.88/1131.20 c 974s | 21 | 7133603 | 1291745 | 34509 81 | 2898 | 6971 1132.88/1133.24 c 976s | 21 | 7148320 | 1294945 | 34509 81 | 2898 | 6971 1134.88/1135.25 c 978s | 21 | 7165504 | 1297645 | 34509 81 | 2898 | 6971 1136.98/1137.31 c 980s | 21 | 7180210 | 1300045 | 34509 81 | 2898 | 6971 1138.97/1139.33 c 982s | 21 | 7195565 | 1302445 | 34509 81 | 2898 | 6971 1141.07/1141.42 c 985s | 21 | 7213436 | 1305145 | 34509 81 | 2898 | 6971 1143.07/1143.48 c 987s | 21 | 7225778 | 1307545 | 34509 82 | 2898 | 6971 1145.16/1145.51 c 989s | 21 | 7238434 | 1311145 | 34509 82 | 2898 | 6971 1147.46/1147.88 c 991s | 21 | 7252914 | 1313845 | 34509 82 | 2898 | 6971 1149.56/1149.94 c 993s | 21 | 7264407 | 1316045 | 34509 82 | 2898 | 6971 1151.56/1151.99 c 995s | 21 | 7280056 | 1318645 | 34509 82 | 2898 | 6971 1153.67/1154.03 c 997s | 21 | 7292071 | 1321245 | 34509 82 | 2898 | 6971 1155.66/1156.03 c 999s | 21 | 7301736 | 1323545 | 34509 82 | 2898 | 6971 1157.76/1158.10 c 1001s | 21 | 7312997 | 1325745 | 34509 82 | 2898 | 6971 1159.76/1160.11 c 1003s | 21 | 7323901 | 1328245 | 34509 83 | 2898 | 6971 1161.76/1162.14 c 1005s | 21 | 7334754 | 1331145 | 34509 83 | 2898 | 6971 1163.76/1164.15 c 1007s | 21 | 7349912 | 1333545 | 34509 83 | 2898 | 6971 1165.77/1166.16 c 1009s | 21 | 7363586 | 1336045 | 34509 83 | 2898 | 6971 1167.76/1168.17 c 1011s | 21 | 7380738 | 1338845 | 34509 83 | 2898 | 6971 1169.85/1170.22 c 1013s | 21 | 7397110 | 1341745 | 34509 83 | 2898 | 6971 1171.95/1172.31 c 1015s | 21 | 7410671 | 1344445 | 34509 83 | 2898 | 6971 1173.95/1174.37 c 1017s | 21 | 7425551 | 1346945 | 34509 84 | 2898 | 6971 1176.05/1176.43 c 1020s | 21 | 7440925 | 1350045 | 34509 84 | 2898 | 6971 1178.05/1178.44 c 1022s | 21 | 7453431 | 1353145 | 34509 84 | 2898 | 6971 1180.05/1180.49 c 1024s | 21 | 7467800 | 1355845 | 34509 84 | 2898 | 6971 1182.15/1182.54 c 1026s | 21 | 7477614 | 1358545 | 34509 84 | 2898 | 6971 1184.24/1184.61 c 1028s | 21 | 7488080 | 1360845 | 34509 84 | 2898 | 6971 1186.24/1186.65 c 1030s | 21 | 7496311 | 1363145 | 34509 84 | 2898 | 6971 1188.24/1188.68 c 1032s | 21 | 7506928 | 1365645 | 34509 85 | 2898 | 6971 1190.34/1190.73 c 1034s | 21 | 7518688 | 1368945 | 34509 85 | 2898 | 6971 1192.34/1192.73 c 1036s | 21 | 7533261 | 1371645 | 34509 85 | 2898 | 6971 1194.34/1194.79 c 1038s | 21 | 7547757 | 1374345 | 34509 85 | 2898 | 6971 1196.44/1196.89 c 1040s | 21 | 7561137 | 1377145 | 34509 85 | 2898 | 6971 1198.53/1198.96 c 1042s | 21 | 7574492 | 1379745 | 34509 85 | 2898 | 6971 1200.73/1201.12 c 1044s | 21 | 7586240 | 1382645 | 34509 86 | 2898 | 6971 1202.73/1203.13 c 1046s | 21 | 7599432 | 1385745 | 34509 86 | 2898 | 6971 1204.73/1205.15 c 1048s | 21 | 7613890 | 1388945 | 34509 86 | 2898 | 6971 1206.74/1207.17 c 1050s | 21 | 7627006 | 1392045 | 34509 86 | 2898 | 6971 1208.84/1209.20 c 1052s | 21 | 7640911 | 1394945 | 34509 86 | 2898 | 6971 1210.85/1211.25 c 1054s | 21 | 7653908 | 1397745 | 34509 86 | 2898 | 6971 1212.83/1213.27 c 1056s | 21 | 7663744 | 1400245 | 34509 86 | 2898 | 6971 1214.93/1215.32 c 1058s | 21 | 7671889 | 1402645 | 34509 87 | 2898 | 6971 1216.93/1217.32 c 1060s | 21 | 7687475 | 1405845 | 34509 87 | 2898 | 6971 1218.93/1219.34 c 1062s | 21 | 7697409 | 1408745 | 34509 87 | 2898 | 6971 1221.03/1221.40 c 1064s | 21 | 7708395 | 1411645 | 34509 87 | 2898 | 6971 1223.03/1223.45 c 1067s | 21 | 7718721 | 1414145 | 34509 87 | 2898 | 6971 1225.03/1225.49 c 1069s | 21 | 7728554 | 1416745 | 34509 87 | 2898 | 6971 1227.12/1227.52 c 1071s | 21 | 7737263 | 1419445 | 34509 87 | 2898 | 6971 1229.12/1229.53 c 1073s | 21 | 7748714 | 1422245 | 34509 88 | 2898 | 6971 1231.12/1231.53 c 1075s | 21 | 7758994 | 1425445 | 34509 88 | 2898 | 6971 1244.51/1244.99 c 1088s | 21 | 7766407 | 1427745 | 34509 88 | 2898 | 6971 1246.51/1246.99 c 1090s | 21 | 7773513 | 1429045 | 34509 88 | 2898 | 6971 1248.61/1249.05 c 1092s | 21 | 7787393 | 1431545 | 34509 88 | 2898 | 6971 1250.61/1251.09 c 1094s | 21 | 7799922 | 1434645 | 34509 88 | 2898 | 6971 1257.81/1258.25 c 1101s | 21 | 7806311 | 1436145 | 34509 88 | 2898 | 6971 1261.71/1262.14 c 1105s | 21 | 7806658 | 1436245 | 34509 88 | 2898 | 6971 1269.21/1269.62 c 1113s | 21 | 7807422 | 1436345 | 34509 88 | 2898 | 6971 1274.41/1274.83 c 1118s | 21 | 7813265 | 1437745 | 34509 88 | 2898 | 6971 1276.41/1276.87 c 1120s | 21 | 7822931 | 1439745 | 34509 89 | 2898 | 6971 1278.41/1278.87 c 1122s | 21 | 7834937 | 1442345 | 34509 89 | 2898 | 6971 1280.51/1280.90 c 1124s | 21 | 7850629 | 1445845 | 34509 89 | 2898 | 6971 1282.51/1282.97 c 1126s | 21 | 7861878 | 1448845 | 34509 89 | 2898 | 6971 1284.61/1285.03 c 1128s | 21 | 7870536 | 1450845 | 34509 89 | 2898 | 6971 1286.62/1287.05 c 1130s | 21 | 7884400 | 1453245 | 34509 89 | 2898 | 6971 1288.61/1289.10 c 1132s | 21 | 7895857 | 1455945 | 34509 89 | 2898 | 6971 1290.71/1291.10 c 1134s | 21 | 7907507 | 1458445 | 34509 90 | 2898 | 6971 1292.71/1293.14 c 1136s | 21 | 7921168 | 1461645 | 34509 90 | 2898 | 6971 1294.70/1295.19 c 1138s | 21 | 7931990 | 1464945 | 34509 90 | 2898 | 6971 1296.80/1297.20 c 1140s | 21 | 7941327 | 1467545 | 34509 90 | 2898 | 6971 1302.01/1302.49 c 1146s | 21 | 7943541 | 1468245 | 34509 90 | 2898 | 6971 1304.70/1305.17 c 1148s | 21 | 7944301 | 1468445 | 34509 90 | 2898 | 6971 1307.30/1307.75 c 1151s | 21 | 7947278 | 1469245 | 34509 90 | 2898 | 6971 1309.71/1310.20 c 1153s | 21 | 7947955 | 1469345 | 34509 90 | 2898 | 6971 1311.80/1312.24 c 1155s | 21 | 7960320 | 1472445 | 34509 90 | 2898 | 6971 1313.80/1314.27 c 1157s | 21 | 7971844 | 1475645 | 34509 90 | 2898 | 6971 1316.19/1316.68 c 1160s | 21 | 7978494 | 1477645 | 34509 91 | 2898 | 6971 1324.00/1324.50 c 1168s | 21 | 7979632 | 1477945 | 34509 91 | 2898 | 6971 1326.09/1326.53 c 1170s | 21 | 7993264 | 1480945 | 34509 91 | 2898 | 6971 1328.09/1328.56 c 1172s | 21 | 8008152 | 1484345 | 34509 91 | 2898 | 6971 1330.09/1330.57 c 1174s | 21 | 8024911 | 1487645 | 34509 91 | 2898 | 6971 1332.19/1332.63 c 1176s | 21 | 8041877 | 1490745 | 34509 91 | 2898 | 6971 1334.18/1334.69 c 1178s | 21 | 8054951 | 1493645 | 34509 91 | 2898 | 6971 1336.28/1336.71 c 1180s | 21 | 8067327 | 1496345 | 34509 92 | 2898 | 6971 1338.29/1338.73 c 1182s | 21 | 8081880 | 1499745 | 34509 92 | 2898 | 6971 1338.88/1339.34 c 1182s | 22 | 8086260 | 1500622 | 34509 92 | 2898 | 6971 1341.79/1342.21 c 1185s | 22 | 8093653 | 1502422 | 34509 92 | 2898 | 6971 1343.79/1344.24 c 1187s | 22 | 8104748 | 1505022 | 34509 92 | 2898 | 6971 1345.78/1346.24 c 1189s | 22 | 8117899 | 1507922 | 34509 92 | 2898 | 6971 1347.78/1348.30 c 1191s | 22 | 8130959 | 1510822 | 34509 92 | 2898 | 6971 1349.88/1350.34 c 1193s | 22 | 8140698 | 1513422 | 34509 92 | 2898 | 6971 1351.88/1352.37 c 1195s | 22 | 8144455 | 1514722 | 34509 93 | 2898 | 6971 1353.97/1354.42 c 1198s | 22 | 8154306 | 1517122 | 34509 93 | 2898 | 6971 1355.98/1356.42 c 1200s | 22 | 8166716 | 1520222 | 34509 93 | 2898 | 6971 1357.97/1358.43 c 1202s | 22 | 8178986 | 1523322 | 34509 93 | 2898 | 6971 1359.97/1360.45 c 1204s | 22 | 8191488 | 1526322 | 34509 93 | 2898 | 6971 1362.07/1362.51 c 1206s | 22 | 8203602 | 1529322 | 34509 93 | 2898 | 6971 1364.07/1364.56 c 1208s | 22 | 8216133 | 1532222 | 34509 93 | 2898 | 6971 1368.27/1368.76 c 1212s | 22 | 8227493 | 1534622 | 34509 94 | 2898 | 6971 1370.37/1370.85 c 1214s | 22 | 8235604 | 1536022 | 34509 94 | 2898 | 6971 1372.38/1372.87 c 1216s | 22 | 8257770 | 1539622 | 34509 94 | 2898 | 6971 1374.37/1374.88 c 1218s | 22 | 8276484 | 1543422 | 34509 94 | 2898 | 6971 1376.47/1376.93 c 1220s | 22 | 8293877 | 1547122 | 34509 94 | 2898 | 6971 1378.47/1378.93 c 1222s | 22 | 8312181 | 1550022 | 34509 94 | 2898 | 6971 1380.47/1380.99 c 1224s | 22 | 8329618 | 1552622 | 34509 95 | 2898 | 6971 1382.66/1383.11 c 1226s | 22 | 8346022 | 1554722 | 34509 95 | 2898 | 6971 1384.66/1385.12 c 1228s | 22 | 8370944 | 1558022 | 34509 95 | 2898 | 6971 1386.77/1387.22 c 1230s | 22 | 8392681 | 1561522 | 34509 95 | 2898 | 6971 1388.76/1389.26 c 1232s | 22 | 8407984 | 1564222 | 34509 95 | 2898 | 6971 1390.76/1391.29 c 1234s | 22 | 8422230 | 1566922 | 34509 95 | 2898 | 6971 1392.86/1393.30 c 1236s | 22 | 8437345 | 1569722 | 34509 95 | 2898 | 6971 1395.06/1395.54 c 1239s | 22 | 8446537 | 1571822 | 34509 96 | 2898 | 6971 1397.06/1397.55 c 1241s | 22 | 8464332 | 1575322 | 34509 96 | 2898 | 6971 1399.06/1399.55 c 1243s | 22 | 8480098 | 1578522 | 34509 96 | 2898 | 6971 1401.07/1401.56 c 1245s | 22 | 8492344 | 1580922 | 34509 96 | 2898 | 6971 1403.17/1403.62 c 1247s | 22 | 8504861 | 1583822 | 34509 96 | 2898 | 6971 1405.16/1405.64 c 1249s | 22 | 8517931 | 1586722 | 34509 96 | 2898 | 6971 1407.16/1407.66 c 1251s | 22 | 8531065 | 1589322 | 34509 97 | 2898 | 6971 1409.15/1409.69 c 1253s | 22 | 8542628 | 1592422 | 34509 97 | 2898 | 6971 1411.25/1411.70 c 1255s | 22 | 8558908 | 1595022 | 34509 97 | 2898 | 6971 1413.25/1413.75 c 1257s | 22 | 8574515 | 1597922 | 34509 97 | 2898 | 6971 1415.26/1415.81 c 1259s | 22 | 8591058 | 1600722 | 34509 97 | 2898 | 6971 1417.35/1417.87 c 1261s | 22 | 8611080 | 1603522 | 34509 97 | 2898 | 6971 1419.45/1419.92 c 1263s | 22 | 8626616 | 1606322 | 34509 97 | 2898 | 6971 1421.45/1421.93 c 1265s | 22 | 8637647 | 1608722 | 34509 98 | 2898 | 6971 1423.44/1423.97 c 1267s | 22 | 8648982 | 1612022 | 34509 98 | 2898 | 6971 1425.54/1426.01 c 1269s | 22 | 8662394 | 1614722 | 34509 98 | 2898 | 6971 1427.55/1428.05 c 1271s | 22 | 8676663 | 1617122 | 34509 98 | 2898 | 6971 1429.55/1430.10 c 1273s | 22 | 8692949 | 1619722 | 34509 98 | 2898 | 6971 1431.64/1432.17 c 1275s | 22 | 8706380 | 1622522 | 34509 98 | 2898 | 6971 1433.74/1434.21 c 1277s | 22 | 8719395 | 1625322 | 34509 98 | 2898 | 6971 1435.74/1436.28 c 1279s | 22 | 8730376 | 1627922 | 34509 99 | 2898 | 6971 1437.74/1438.29 c 1281s | 22 | 8742805 | 1630422 | 34509 99 | 2898 | 6971 1439.84/1440.36 c 1283s | 22 | 8756423 | 1632822 | 34509 99 | 2898 | 6971 1441.84/1442.39 c 1285s | 22 | 8772974 | 1635522 | 34509 99 | 2898 | 6971 1443.85/1444.40 c 1287s | 22 | 8786976 | 1638122 | 34509 99 | 2898 | 6971 1445.94/1446.43 c 1290s | 22 | 8799761 | 1640522 | 34509 99 | 2898 | 6971 1447.94/1448.43 c 1292s | 22 | 8814351 | 1643022 | 34509 99 | 2898 | 6971 1449.94/1450.46 c 1294s | 22 | 8825961 | 1645422 | 34509 99 | 2898 | 6971 1452.04/1452.53 c 1296s | 22 | 8840415 | 1647922 | 34509 100 | 2898 | 6971 1454.04/1454.57 c 1298s | 22 | 8857867 | 1650822 | 34509 100 | 2898 | 6971 1456.13/1456.60 c 1300s | 22 | 8874316 | 1653822 | 34509 100 | 2898 | 6971 1458.14/1458.64 c 1302s | 22 | 8886160 | 1656822 | 34509 100 | 2898 | 6971 1460.23/1460.70 c 1304s | 22 | 8897387 | 1659422 | 34509 100 | 2898 | 6971 1462.23/1462.74 c 1306s | 22 | 8906150 | 1662022 | 34509 100 | 2898 | 6971 1464.84/1465.39 c 1308s | 22 | 8912485 | 1663922 | 34509 100 | 2898 | 6971 1468.14/1468.66 c 1312s | 22 | 8914901 | 1664422 | 34509 101 | 2898 | 6971 1472.44/1472.98 c 1316s | 22 | 8918791 | 1665222 | 34509 101 | 2898 | 6971 1474.83/1475.34 c 1318s | 22 | 8931891 | 1668022 | 34509 101 | 2898 | 6971 1477.23/1477.78 c 1321s | 22 | 8941636 | 1670622 | 34509 101 | 2898 | 6971 1479.23/1479.78 c 1323s | 22 | 8957830 | 1673122 | 34509 101 | 2898 | 6971 1481.34/1481.84 c 1325s | 22 | 8976441 | 1676022 | 34509 101 | 2898 | 6971 1483.32/1483.89 c 1327s | 22 | 8995113 | 1679122 | 34509 101 | 2898 | 6971 1485.32/1485.89 c 1329s | 22 | 9013310 | 1681822 | 34509 101 | 2898 | 6971 1487.42/1487.96 c 1331s | 22 | 9027317 | 1684322 | 34509 102 | 2898 | 6971 1489.52/1490.01 c 1333s | 22 | 9042623 | 1687322 | 34509 102 | 2898 | 6971 1491.53/1492.01 c 1335s | 22 | 9046635 | 1688622 | 34509 102 | 2898 | 6971 1493.53/1494.05 c 1337s | 22 | 9062127 | 1691622 | 34509 102 | 2898 | 6971 1495.53/1496.05 c 1339s | 22 | 9077284 | 1694522 | 34509 102 | 2898 | 6971 1497.62/1498.13 c 1341s | 22 | 9094563 | 1697422 | 34509 102 | 2898 | 6971 1499.62/1500.17 c 1343s | 22 | 9110768 | 1700222 | 34509 102 | 2898 | 6971 1501.73/1502.23 c 1345s | 22 | 9123158 | 1702922 | 34509 103 | 2898 | 6971 1511.03/1511.52 c 1355s | 22 | 9129589 | 1705222 | 34509 103 | 2898 | 6971 1513.62/1514.17 c 1357s | 22 | 9132235 | 1706022 | 34509 103 | 2898 | 6971 1515.72/1516.21 c 1359s | 22 | 9139798 | 1709022 | 34509 103 | 2898 | 6971 1517.72/1518.21 c 1361s | 22 | 9155872 | 1711622 | 34509 103 | 2898 | 6971 1519.74/1520.21 c 1363s | 22 | 9169737 | 1714222 | 34509 103 | 2898 | 6971 1521.73/1522.25 c 1365s | 22 | 9184864 | 1716922 | 34509 103 | 2898 | 6971 1523.73/1524.27 c 1367s | 22 | 9197978 | 1719422 | 34509 103 | 2898 | 6971 1525.92/1526.49 c 1370s | 22 | 9205843 | 1721422 | 34509 104 | 2898 | 6971 1528.12/1528.66 c 1372s | 22 | 9218369 | 1724222 | 34509 104 | 2898 | 6971 1530.22/1530.72 c 1374s | 22 | 9232630 | 1727222 | 34509 104 | 2898 | 6971 1532.22/1532.73 c 1376s | 22 | 9245643 | 1730122 | 34509 104 | 2898 | 6971 1534.22/1534.75 c 1378s | 22 | 9256727 | 1732622 | 34509 104 | 2898 | 6971 1536.33/1536.83 c 1380s | 22 | 9267896 | 1734922 | 34509 104 | 2898 | 6971 1538.32/1538.84 c 1382s | 22 | 9282492 | 1736922 | 34509 104 | 2898 | 6971 1540.33/1540.85 c 1384s | 22 | 9294189 | 1738922 | 34509 104 | 2898 | 6971 1542.62/1543.15 c 1386s | 22 | 9304483 | 1740422 | 34509 105 | 2898 | 6971 1544.72/1545.20 c 1388s | 22 | 9321730 | 1742922 | 34509 105 | 2898 | 6971 1546.72/1547.26 c 1390s | 22 | 9337996 | 1745822 | 34509 105 | 2898 | 6971 1548.72/1549.27 c 1392s | 22 | 9357178 | 1748722 | 34509 105 | 2898 | 6971 1550.72/1551.28 c 1394s | 22 | 9374248 | 1751022 | 34509 105 | 2898 | 6971 1552.83/1553.36 c 1396s | 22 | 9393453 | 1753922 | 34509 105 | 2898 | 6971 1554.93/1555.44 c 1399s | 22 | 9410790 | 1756522 | 34509 105 | 2898 | 6971 1557.02/1557.60 c 1401s | 22 | 9423321 | 1758622 | 34509 106 | 2898 | 6971 1559.12/1559.65 c 1403s | 22 | 9441690 | 1761622 | 34509 106 | 2898 | 6971 1561.12/1561.69 c 1405s | 22 | 9455079 | 1764222 | 34509 106 | 2898 | 6971 1563.22/1563.75 c 1407s | 22 | 9466820 | 1766722 | 34509 106 | 2898 | 6971 1565.32/1565.81 c 1409s | 22 | 9482342 | 1769022 | 34509 106 | 2898 | 6971 1567.31/1567.84 c 1411s | 22 | 9495359 | 1771522 | 34509 106 | 2898 | 6971 1569.33/1569.85 c 1413s | 22 | 9505485 | 1773822 | 34509 106 | 2898 | 6971 1571.31/1571.89 c 1415s | 22 | 9514944 | 1776022 | 34509 106 | 2898 | 6971 1573.62/1574.11 c 1417s | 22 | 9523680 | 1778322 | 34509 107 | 2898 | 6971 1575.61/1576.13 c 1419s | 22 | 9536425 | 1781522 | 34509 107 | 2898 | 6971 1577.71/1578.20 c 1421s | 22 | 9545957 | 1783922 | 34509 107 | 2898 | 6971 1579.71/1580.21 c 1423s | 22 | 9557502 | 1786222 | 34509 107 | 2898 | 6971 1581.71/1582.26 c 1425s | 22 | 9567898 | 1788622 | 34509 107 | 2898 | 6971 1583.81/1584.30 c 1427s | 22 | 9580755 | 1791122 | 34509 107 | 2898 | 6971 1585.82/1586.35 c 1429s | 22 | 9591208 | 1793422 | 34509 107 | 2898 | 6971 1587.81/1588.38 c 1431s | 22 | 9599910 | 1795622 | 34509 107 | 2898 | 6971 1589.92/1590.45 c 1434s | 22 | 9611794 | 1798122 | 34509 108 | 2898 | 6971 1591.92/1592.48 c 1436s | 22 | 9622213 | 1800722 | 34509 108 | 2898 | 6971 1593.92/1594.49 c 1438s | 22 | 9629434 | 1803122 | 34509 108 | 2898 | 6971 1596.02/1596.52 c 1440s | 22 | 9638896 | 1805422 | 34509 108 | 2898 | 6971 1598.02/1598.53 c 1442s | 22 | 9650871 | 1808122 | 34509 108 | 2898 | 6971 1600.02/1600.56 c 1444s | 22 | 9661750 | 1810022 | 34509 108 | 2898 | 6971 1602.01/1602.58 c 1446s | 22 | 9671078 | 1812022 | 34509 108 | 2898 | 6971 1604.01/1604.58 c 1448s | 22 | 9680971 | 1813922 | 34509 108 | 2898 | 6971 1606.11/1606.64 c 1450s | 22 | 9691826 | 1816022 | 34509 109 | 2898 | 6971 1608.21/1608.71 c 1452s | 22 | 9701058 | 1818622 | 34509 109 | 2898 | 6971 1610.21/1610.78 c 1454s | 22 | 9713133 | 1821222 | 34509 109 | 2898 | 6971 1612.31/1612.82 c 1456s | 22 | 9724897 | 1823622 | 34509 109 | 2898 | 6971 1614.32/1614.84 c 1458s | 22 | 9736012 | 1825922 | 34509 109 | 2898 | 6971 1616.31/1616.87 c 1460s | 22 | 9746376 | 1828222 | 34509 109 | 2898 | 6971 1618.41/1618.94 c 1462s | 22 | 9754227 | 1830322 | 34509 109 | 2898 | 6971 1621.71/1622.22 c 1465s | 22 | 9760296 | 1832222 | 34509 109 | 2898 | 6971 1628.21/1628.78 c 1472s | 22 | 9762534 | 1832522 | 34509 109 | 2898 | 6971 1630.31/1630.85 c 1474s | 22 | 9770773 | 1833822 | 34509 110 | 2898 | 6971 1633.20/1633.71 c 1477s | 22 | 9774748 | 1834422 | 34509 110 | 2898 | 6971 1635.21/1635.72 c 1479s | 22 | 9787937 | 1836722 | 34509 110 | 2898 | 6971 1637.20/1637.79 c 1481s | 22 | 9801326 | 1839222 | 34509 110 | 2898 | 6971 1639.30/1639.86 c 1483s | 22 | 9812229 | 1841922 | 34509 110 | 2898 | 6971 1641.41/1641.91 c 1485s | 22 | 9821279 | 1843722 | 34509 110 | 2898 | 6971 1643.41/1643.94 c 1487s | 22 | 9834334 | 1845722 | 34509 110 | 2898 | 6971 1645.41/1645.99 c 1489s | 22 | 9845306 | 1847922 | 34509 110 | 2898 | 6971 1647.60/1648.14 c 1491s | 22 | 9848637 | 1848722 | 34509 110 | 2898 | 6971 1649.70/1650.21 c 1493s | 22 | 9861749 | 1850722 | 34509 110 | 2898 | 6971 1651.71/1652.27 c 1495s | 22 | 9869376 | 1852322 | 34509 111 | 2898 | 6971 1653.80/1654.30 c 1497s | 22 | 9886346 | 1855222 | 34509 111 | 2898 | 6971 1655.80/1656.37 c 1499s | 22 | 9904684 | 1858322 | 34509 111 | 2898 | 6971 1657.80/1658.39 c 1501s | 22 | 9921377 | 1861522 | 34509 111 | 2898 | 6971 1659.90/1660.45 c 1504s | 22 | 9939085 | 1864622 | 34509 111 | 2898 | 6971 1661.90/1662.46 c 1506s | 22 | 9956936 | 1867222 | 34509 111 | 2898 | 6971 1664.00/1664.53 c 1508s | 22 | 9970816 | 1869922 | 34509 111 | 2898 | 6971 1666.01/1666.59 c 1510s | 22 | 9987581 | 1872222 | 34509 112 | 2898 | 6971 1668.10/1668.61 c 1512s | 22 | 10005802 | 1875522 | 34509 112 | 2898 | 6971 1670.10/1670.64 c 1514s | 22 | 10025131 | 1878522 | 34509 112 | 2898 | 6971 1672.10/1672.68 c 1516s | 22 | 10049416 | 1881622 | 34509 112 | 2898 | 6971 1674.10/1674.69 c 1518s | 22 | 10067270 | 1884622 | 34509 112 | 2898 | 6971 1676.20/1676.74 c 1520s | 22 | 10080260 | 1887522 | 34509 112 | 2898 | 6971 1678.21/1678.76 c 1522s | 22 | 10089815 | 1890122 | 34509 113 | 2898 | 6971 1680.20/1680.80 c 1524s | 22 | 10099217 | 1892422 | 34509 113 | 2898 | 6971 1682.30/1682.83 c 1526s | 22 | 10110884 | 1895822 | 34509 113 | 2898 | 6971 1684.30/1684.84 c 1528s | 22 | 10125580 | 1898622 | 34509 113 | 2898 | 6971 1686.30/1686.86 c 1530s | 22 | 10143143 | 1901522 | 34509 113 | 2898 | 6971 1688.30/1688.89 c 1532s | 22 | 10154879 | 1904422 | 34509 113 | 2898 | 6971 1690.40/1690.92 c 1534s | 22 | 10167034 | 1906922 | 34509 113 | 2898 | 6971 1692.41/1692.94 c 1536s | 22 | 10177867 | 1909522 | 34509 114 | 2898 | 6971 1694.40/1694.99 c 1538s | 22 | 10190101 | 1912522 | 34509 114 | 2898 | 6971 1696.50/1697.01 c 1540s | 22 | 10203863 | 1915122 | 34509 114 | 2898 | 6971 1698.50/1699.03 c 1542s | 22 | 10215152 | 1917922 | 34509 114 | 2898 | 6971 1700.50/1701.07 c 1544s | 22 | 10227314 | 1920722 | 34509 114 | 2898 | 6971 1702.50/1703.08 c 1546s | 22 | 10236664 | 1923522 | 34509 114 | 2898 | 6971 1706.40/1706.94 c 1550s | 22 | 10237871 | 1923922 | 34509 114 | 2898 | 6971 1708.59/1709.18 c 1552s | 22 | 10239530 | 1924122 | 34509 114 | 2898 | 6971 1714.80/1715.35 c 1558s | 22 | 10244676 | 1925122 | 34509 114 | 2898 | 6971 1718.99/1719.52 c 1563s | 22 | 10245563 | 1925322 | 34509 114 | 2898 | 6971 1722.99/1723.56 c 1567s | 22 | 10250097 | 1926122 | 34509 114 | 2898 | 6971 1725.30/1725.82 c 1569s | 22 | 10256318 | 1927222 | 34509 114 | 2898 | 6971 1727.30/1727.85 c 1571s | 22 | 10265267 | 1928904 | 34509 115 | 2898 | 6971 1727.30/1727.85 c #cpu_time = 1567.198s 1727.30/1727.85 c #wall_clock_time = 1571.444s 1727.30/1727.85 c #decision = 10265267 1727.30/1727.85 c #random_decision = 7813 1727.30/1727.85 c #conflict = 1928904 1727.30/1727.85 c #restart = 22 1727.30/1727.85 o 10 1727.30/1727.85 s OPTIMUM FOUND 1727.30/1727.85 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 1727.30/1727.85 v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 1727.30/1727.85 v -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 x30 1727.30/1727.85 v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 1727.30/1727.85 v -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 1727.30/1727.85 v -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 1727.30/1727.85 v -x61 x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 1727.30/1727.85 v -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 1727.30/1727.85 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 1727.30/1727.85 v x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 1727.30/1727.85 v -x101 x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 1727.30/1727.85 v -x111 -x112 -x113 x114 -x115 -x116 -x117 x118 -x119 -x120 1727.30/1727.85 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 1727.30/1727.85 v -x131 -x132 -x133 -x134 -x135 x136 -x137 x138 -x139 -x140 1727.30/1727.85 v -x141 -x142 x143 -x144 -x145 x146 -x147 x148 -x149 -x150 1727.30/1727.85 v -x151 x152 -x153 -x154 -x155 x156 -x157 -x158 x159 -x160 1727.30/1727.85 v -x161 x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 x170 1727.30/1727.85 v -x171 x172 -x173 -x174 x175 -x176 x177 -x178 -x179 -x180 1727.30/1727.85 v x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 x190 1727.30/1727.85 v x191 x192 -x193 x194 -x195 x196 -x197 x198 -x199 x200 1727.30/1727.85 v x201 -x202 x203 x204 x205 -x206 -x207 -x208 -x209 -x210 1727.30/1727.85 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 1727.30/1727.85 v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1727.30/1727.85 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 1727.30/1727.85 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 1727.30/1727.85 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 1727.30/1727.85 v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 1727.30/1727.85 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 1727.30/1727.85 v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 1727.30/1727.85 v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 1727.30/1727.85 v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 1727.30/1727.85 v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 1727.30/1727.85 v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 1727.30/1727.85 v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 1727.30/1727.85 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 1727.30/1727.85 v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1727.30/1727.85 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 1727.30/1727.85 v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 1727.30/1727.85 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 1727.30/1727.85 v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1727.30/1727.85 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 1727.30/1727.85 v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1727.30/1727.85 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 1727.30/1727.85 v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1727.30/1727.85 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 1727.30/1727.85 v -x451 -x452 -x453 -x454 x455 x456 -x457 -x458 -x459 -x460 1727.30/1727.85 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 1727.30/1727.85 v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 1727.30/1727.85 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 1727.30/1727.85 v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 1727.30/1727.85 v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 1727.30/1727.85 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 1727.30/1727.85 v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1727.30/1727.85 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 1727.30/1727.85 v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 1727.30/1727.85 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 1727.30/1727.85 v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 1727.30/1727.85 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 1727.30/1727.85 v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 1727.30/1727.85 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 1727.30/1727.85 v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 1727.30/1727.85 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 1727.30/1727.85 v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1727.30/1727.85 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 1727.30/1727.85 v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1727.30/1727.85 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 1727.30/1727.85 v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 1727.30/1727.85 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 1727.30/1727.85 v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 1727.30/1727.85 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 1727.30/1727.85 v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 1727.30/1727.85 v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 1727.30/1727.85 v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 1727.30/1727.85 v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 1727.30/1727.85 v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 1727.30/1727.85 v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 1727.30/1727.85 v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 1727.30/1727.85 v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 1727.30/1727.85 v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 1727.30/1727.85 v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 1727.30/1727.85 v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 1727.30/1727.85 v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 1727.30/1727.85 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 1727.30/1727.85 v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1727.30/1727.85 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 1727.30/1727.85 v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1727.30/1727.85 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 x870 1727.30/1727.85 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 1727.30/1727.85 v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 1727.30/1727.85 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 1727.30/1727.85 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 1727.30/1727.85 v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 1727.30/1727.85 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 1727.30/1727.85 v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 1727.30/1727.85 v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 1727.30/1727.85 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 1727.30/1727.85 v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 1727.30/1727.85 v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 1727.30/1727.85 v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 1727.30/1727.85 v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 1727.30/1727.85 v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 1727.30/1727.85 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 1727.30/1727.85 v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 1727.30/1727.85 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1727.30/1727.85 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 1727.30/1727.85 v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 1727.30/1727.85 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 1727.30/1727.85 v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 1727.30/1727.85 v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1727.30/1727.85 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 1727.30/1727.85 v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 1727.30/1727.85 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 1727.30/1727.85 v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 1727.30/1727.85 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 1727.30/1727.85 v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 1727.30/1727.85 v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 1727.30/1727.85 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 1727.30/1727.85 v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1727.30/1727.85 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 1727.30/1727.85 v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 1727.30/1727.85 v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1727.30/1727.85 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 1727.30/1727.85 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 1727.30/1727.85 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 1727.30/1727.85 v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 1727.30/1727.85 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1727.30/1727.85 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 1727.30/1727.85 v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 1727.30/1727.85 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 1727.30/1727.85 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 1727.30/1727.85 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 1727.30/1727.85 v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 1727.30/1727.85 v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1727.30/1727.85 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 1727.30/1727.85 v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 1727.30/1727.85 v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 1727.30/1727.85 v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 1727.30/1727.85 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 1727.30/1727.85 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 1727.30/1727.85 v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 1727.30/1727.85 v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 1727.30/1727.85 v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 1727.30/1727.85 v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1727.30/1727.85 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 1727.30/1727.85 v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 1727.30/1727.85 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 1727.30/1727.85 v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 1727.30/1727.85 v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 1727.30/1727.85 v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 1727.30/1727.85 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 1727.30/1727.85 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 1727.30/1727.85 v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 1727.30/1727.85 v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 1727.30/1727.85 v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 1727.30/1727.85 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 1727.30/1727.85 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 1727.30/1727.85 v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 1727.30/1727.85 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 1727.30/1727.85 v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 1727.30/1727.85 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1727.30/1727.85 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 1727.30/1727.85 v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1727.30/1727.85 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 1727.30/1727.85 v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 1727.30/1727.85 v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 1727.30/1727.85 v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 1727.30/1727.85 v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 1727.30/1727.85 v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 1727.30/1727.85 v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 1727.30/1727.85 v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 1727.30/1727.85 v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 1727.30/1727.85 v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 1727.30/1727.85 v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 1727.30/1727.85 v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 1727.30/1727.85 v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 1727.30/1727.85 v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 1727.30/1727.85 v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1727.30/1727.85 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 1727.30/1727.85 v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1727.30/1727.85 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 1727.30/1727.85 v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 1727.30/1727.85 v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 1727.30/1727.85 v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 1727.30/1727.85 v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 1727.30/1727.85 v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 1727.30/1727.85 v -x1851 -x1852 -x1853 -x1854 x1855 x1856 -x1857 -x1858 -x1859 -x1860 1727.30/1727.85 v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 1727.30/1727.85 v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 1727.30/1727.85 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 1727.30/1727.85 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 1727.30/1727.85 v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 1727.30/1727.85 v x1911 x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 1727.30/1727.85 v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 1727.30/1727.85 v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 1727.30/1727.85 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 1727.30/1727.85 v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 1727.30/1727.85 v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 1727.30/1727.85 v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 1727.30/1727.85 v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 1727.30/1727.85 v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 1727.30/1727.85 v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 1727.30/1727.85 v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 1727.30/1727.85 v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 1727.30/1727.85 v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 1727.30/1727.85 v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 1727.30/1727.85 v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 1727.30/1727.85 v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 1727.30/1727.85 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 1727.30/1727.85 v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 1727.30/1727.85 v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 1727.30/1727.85 v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 1727.30/1727.85 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 1727.30/1727.85 v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 1727.30/1727.85 v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 1727.30/1727.85 v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 1727.30/1727.85 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 1727.30/1727.85 v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 1727.30/1727.85 v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 1727.30/1727.85 v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 1727.30/1727.85 v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 1727.30/1727.85 v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 1727.30/1727.85 v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 1727.30/1727.85 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 1727.30/1727.85 v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 1727.30/1727.85 v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 1727.30/1727.85 v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 1727.30/1727.85 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 1727.30/1727.85 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 1727.30/1727.85 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 x2288 x2289 -x2290 1727.30/1727.85 v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 1727.30/1727.85 v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 1727.30/1727.85 v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 1727.30/1727.85 v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 1727.30/1727.85 v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 1727.30/1727.85 v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 1727.30/1727.85 v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 1727.30/1727.85 v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 1727.30/1727.85 v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 1727.30/1727.85 v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 1727.30/1727.85 v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 1727.30/1727.85 v -x2401 -x2402 -x2403 x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 1727.30/1727.85 v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 1727.30/1727.85 v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 1727.30/1727.85 v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 1727.30/1727.85 v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 1727.30/1727.85 v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 1727.30/1727.85 v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 1727.30/1727.85 v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 1727.30/1727.85 v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 1727.30/1727.85 v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 1727.30/1727.85 v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 1727.30/1727.85 v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 1727.30/1727.85 v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 1727.30/1727.85 v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 1727.30/1727.85 v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 1727.30/1727.85 v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 1727.30/1727.85 v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 1727.30/1727.85 v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 1727.30/1727.85 v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 1727.30/1727.85 v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 1727.30/1727.85 v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 1727.30/1727.85 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 1727.30/1727.85 v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 1727.30/1727.85 v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 1727.30/1727.85 v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 1727.30/1727.85 v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 1727.30/1727.85 v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 1727.30/1727.85 v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 1727.30/1727.85 v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 1727.30/1727.85 v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 1727.30/1727.85 v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 1727.30/1727.85 v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 1727.30/1727.85 v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 1727.30/1727.85 v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 1727.30/1727.85 v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 1727.30/1727.85 v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 x2757 x2758 -x2759 -x2760 1727.30/1727.85 v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 1727.30/1727.85 v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 1727.30/1727.85 v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 1727.30/1727.85 v -x2791 x2792 x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 1727.30/1727.85 v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 1727.30/1727.85 v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 1727.30/1727.85 v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 1727.30/1727.85 v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 1727.30/1727.85 v -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 1727.30/1727.85 v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 1727.30/1727.85 v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 1727.30/1727.85 v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 1727.30/1727.85 v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 1727.30/1727.85 v -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 1727.30/1727.85 v -x2901 -x2902 -x2903 -x2904 -x2905 x2906 -x2907 -x2908 -x2909 -x2910 1727.30/1727.85 v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 1727.30/1727.85 v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 1727.30/1727.85 v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 1727.30/1727.85 v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 1727.30/1727.85 v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 1727.30/1727.85 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 1727.30/1727.85 v -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 1727.30/1727.85 v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 1727.30/1727.85 v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 1727.30/1727.85 v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 1727.30/1727.85 v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 1727.30/1727.85 v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 1727.30/1727.85 v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 1727.30/1727.85 v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 1727.30/1727.85 v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 1727.30/1727.85 v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 1727.30/1727.85 v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 1727.30/1727.85 v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 1727.30/1727.85 v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 1727.30/1727.85 v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 1727.30/1727.85 v -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 1727.30/1727.85 v -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 1727.30/1727.85 v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 1727.30/1727.85 v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 1727.30/1727.85 v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 1727.30/1727.85 v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 1727.30/1727.85 v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 1727.30/1727.85 v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 x3190 1727.30/1727.85 v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 1727.30/1727.85 v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 1727.30/1727.85 v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 1727.30/1727.85 v -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 1727.30/1727.85 v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 1727.30/1727.85 v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 1727.30/1727.85 v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 1727.30/1727.85 v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 1727.30/1727.85 v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 1727.30/1727.85 v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 1727.30/1727.85 v -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 1727.30/1727.85 v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 1727.30/1727.85 v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 1727.30/1727.85 v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 1727.30/1727.85 v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 1727.30/1727.85 v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 1727.30/1727.85 v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 1727.30/1727.85 v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 1727.30/1727.85 v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 1727.30/1727.85 v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 1727.30/1727.85 v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 1727.30/1727.85 v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 1727.30/1727.85 v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 1727.30/1727.85 v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 1727.30/1727.85 v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 1727.30/1727.85 v -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 1727.30/1727.85 v -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 1727.30/1727.85 v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 1727.30/1727.85 v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 1727.30/1727.85 v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 1727.30/1727.85 v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 1727.30/1727.85 v -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 1727.30/1727.85 v -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 1727.30/1727.85 v -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 1727.30/1727.85 v -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 1727.30/1727.85 c total CPU time = 1723.210s 1727.30/1727.85 c total wall clock time = 1727.855s
OK 10
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-4079789-1465250305/watcher-4079789-1465250305 -o /tmp/evaluation-result-4079789-1465250305/solver-4079789-1465250305 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079789-1465250305.opb pid=1757 running on 8 cores: 4-7,12-15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.05 2.00 3/261 1760 /proc/meminfo: memFree=30857188/32872528 swapFree=9196/9196 [pid=1760] ppid=1757 vsize=990652 CPUtime=0 cores=4-7,12-15 /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 3747 0 0 0 0 0 0 0 20 0 4 0 106872559 1014427648 3596 33554432000 4194304 16246674 140736465217392 140736465216816 13880264 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 248175 3604 441 2943 0 245069 0 [pid=1760/tid=1761] ppid=1757 vsize=1169852 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1197928448 4296 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1177020 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1205268480 4321 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1181116 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106872560 1209462784 4340 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 [startup+0.100185 s] /proc/loadavg: 2.06 2.05 2.00 3/261 1760 /proc/meminfo: memFree=30857188/32872528 swapFree=9196/9196 [pid=1760] ppid=1757 vsize=1220164 CPUtime=0.09 cores=4-7,12-15 /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 27078 0 0 0 6 3 0 0 20 0 4 0 106872559 1249447936 26866 33554432000 4194304 16246674 140736465217392 140736465200384 6972638 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 305041 26873 832 2943 0 301935 0 [pid=1760/tid=1761] ppid=1757 vsize=1220164 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1249447936 26879 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1220164 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1249447936 26884 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1220164 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106872560 1249447936 26889 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200523 s] /proc/loadavg: 2.06 2.05 2.00 3/261 1760 /proc/meminfo: memFree=30857188/32872528 swapFree=9196/9196 [pid=1760] ppid=1757 vsize=1220164 CPUtime=0.19 cores=4-7,12-15 /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 44953 0 0 0 14 5 0 0 20 0 4 0 106872559 1249447936 44740 33554432000 4194304 16246674 140736465217392 140736465200384 6756128 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 305041 44750 839 2943 0 301935 0 [pid=1760/tid=1761] ppid=1757 vsize=1220164 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1249447936 44756 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1220164 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1249447936 44761 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1220164 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106872560 1249447936 44765 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1220164 [startup+0.30048 s] /proc/loadavg: 2.06 2.05 2.00 3/261 1760 /proc/meminfo: memFree=30857188/32872528 swapFree=9196/9196 [pid=1760] ppid=1757 vsize=1305156 CPUtime=0.29 cores=4-7,12-15 /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 61464 0 0 0 22 7 0 0 20 0 4 0 106872559 1336479744 61251 33554432000 4194304 16246674 140736465217392 140736465216704 4225154 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 326289 61257 897 2943 0 323183 0 [pid=1760/tid=1761] ppid=1757 vsize=1305156 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1336479744 61261 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1305156 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1336479744 61264 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1305156 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106872560 1336479744 61268 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1305156 [startup+0.700418 s] /proc/loadavg: 2.06 2.05 2.00 3/261 1760 /proc/meminfo: memFree=30857188/32872528 swapFree=9196/9196 [pid=1760] ppid=1757 vsize=1306180 CPUtime=0.69 cores=4-7,12-15 /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 81312 0 0 0 59 10 0 0 20 0 4 0 106872559 1337528320 81100 33554432000 4194304 16246674 140736465217392 140736465216704 5546181 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 326545 81115 907 2943 0 323439 0 [pid=1760/tid=1761] ppid=1757 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1337528320 81118 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1337528320 81124 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106872560 1337528320 81130 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1306180 [startup+1.5004 s] /proc/loadavg: 2.06 2.05 2.00 4/265 1764 /proc/meminfo: memFree=30264752/32872528 swapFree=9196/9196 [pid=1760] ppid=1757 vsize=1306180 CPUtime=1.49 cores=4-7,12-15 /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 212232 0 0 0 120 29 0 0 20 0 4 0 106872559 1337528320 212019 33554432000 4194304 16246674 140736465217392 140736465199296 5677541 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 326545 212023 907 2943 0 323439 0 [pid=1760/tid=1761] ppid=1757 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1337528320 212026 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1337528320 212030 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1306180 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106872560 1337528320 212031 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1306180 [startup+3.10042 s] /proc/loadavg: 2.06 2.05 2.00 3/265 1764 /proc/meminfo: memFree=29785228/32872528 swapFree=9196/9196 [pid=1760] ppid=1757 vsize=1309252 CPUtime=3.09 cores=4-7,12-15 /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 268268 0 0 0 272 37 0 0 20 0 4 0 106872559 1340674048 268055 33554432000 4194304 16246674 140736465217392 140736465199296 13809242 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 327313 268055 909 2943 0 324207 0 [pid=1760/tid=1761] ppid=1757 vsize=1309252 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1340674048 268055 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1309252 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1340674048 268055 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1309252 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106872560 1340674048 268055 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1309252 [startup+6.30042 s] /proc/loadavg: 2.05 2.04 2.00 3/265 1764 /proc/meminfo: memFree=29785488/32872528 swapFree=9196/9196 [pid=1760] ppid=1757 vsize=1309252 CPUtime=6.29 cores=4-7,12-15 /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 268523 0 0 0 592 37 0 0 20 0 4 0 106872559 1340674048 268310 33554432000 4194304 16246674 140736465217392 140736465216568 5677716 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 327313 268310 913 2943 0 324207 0 [pid=1760/tid=1761] ppid=1757 vsize=1309252 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1340674048 268310 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1309252 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1340674048 268310 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1309252 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106872560 1340674048 268310 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1309252 [startup+12.7004 s] /proc/loadavg: 2.05 2.04 2.00 3/265 1764 /proc/meminfo: memFree=29770352/32872528 swapFree=9196/9196 [pid=1760] ppid=1757 vsize=1323588 CPUtime=12.69 cores=4-7,12-15 /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 272107 0 0 0 1231 38 0 0 20 0 4 0 106872559 1355354112 271894 33554432000 4194304 16246674 140736465217392 140736465199296 5822484 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 330897 271894 913 2943 0 327791 0 [pid=1760/tid=1761] ppid=1757 vsize=1323588 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1355354112 271894 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1323588 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1355354112 271894 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1323588 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106872560 1355354112 271894 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1323588 [startup+25.5005 s] /proc/loadavg: 2.20 2.07 2.01 3/265 1764 /proc/meminfo: memFree=29770948/32872528 swapFree=9196/9196 [pid=1760] ppid=1757 vsize=1323588 CPUtime=25.49 cores=4-7,12-15 /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 272107 0 0 0 2511 38 0 0 20 0 4 0 106872559 1355354112 271894 33554432000 4194304 16246674 140736465217392 140736465199296 5822604 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 330897 271894 913 2943 0 327791 0 [pid=1760/tid=1761] ppid=1757 vsize=1323588 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1355354112 271894 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1323588 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1355354112 271894 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1323588 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106872560 1355354112 271894 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1323588 [startup+51.1005 s] /proc/loadavg: 2.13 2.07 2.01 3/265 1764 /proc/meminfo: memFree=29770916/32872528 swapFree=9196/9196 [pid=1760] ppid=1757 vsize=1323588 CPUtime=51.09 cores=4-7,12-15 /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 272107 0 0 0 5070 39 0 0 20 0 4 0 106872559 1355354112 271894 33554432000 4194304 16246674 140736465217392 140736465199296 5666832 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 330897 271894 913 2943 0 327791 0 [pid=1760/tid=1761] ppid=1757 vsize=1323588 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1355354112 271894 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1323588 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1355354112 271894 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1323588 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106872560 1355354112 271894 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1323588 [startup+102.301 s] /proc/loadavg: 2.20 2.10 2.02 3/266 1769 /proc/meminfo: memFree=29764444/32872528 swapFree=9196/9196 [pid=1760] ppid=1757 vsize=1328708 CPUtime=102.28 cores=4-7,12-15 /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 273387 0 0 0 10188 40 0 0 20 0 4 0 106872559 1360596992 273174 33554432000 4194304 16246674 140736465217392 140736465216568 6842913 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 332177 273174 913 2943 0 329071 0 [pid=1760/tid=1761] ppid=1757 vsize=1328708 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1360596992 273174 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1328708 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1360596992 273174 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1328708 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106872560 1360596992 273174 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1328708 ################ # More data... # ################ /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 289861 0 0 0 142071 114 0 0 20 0 4 0 106872559 1426657280 289566 33554432000 4194304 16246674 140736465217392 140736465200392 5822484 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 348305 289566 916 2943 0 345199 0 [pid=1760/tid=1761] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1426657280 289566 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1426657280 289566 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106872560 1426657280 289566 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1393220 [startup+1482.3 s] /proc/loadavg: 2.11 2.04 2.01 3/265 1830 /proc/meminfo: memFree=29696132/32872528 swapFree=9196/9196 [pid=1760] ppid=1757 vsize=1393220 CPUtime=1481.82 cores=4-7,12-15 /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 289871 0 0 0 148065 117 0 0 20 0 4 0 106872559 1426657280 289566 33554432000 4194304 16246674 140736465217392 140736465200392 13820888 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 348305 289566 916 2943 0 345199 0 [pid=1760/tid=1761] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1426657280 289566 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1426657280 289566 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106872560 1426657280 289566 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1393220 [startup+1542.31 s] /proc/loadavg: 2.04 2.03 2.00 3/265 1831 /proc/meminfo: memFree=29696700/32872528 swapFree=9196/9196 [pid=1760] ppid=1757 vsize=1393220 CPUtime=1541.84 cores=4-7,12-15 /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 289871 0 0 0 154061 123 0 0 20 0 4 0 106872559 1426657280 289566 33554432000 4194304 16246674 140736465217392 140736465215232 4220850 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 348305 289566 916 2943 0 345199 0 [pid=1760/tid=1761] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1426657280 289566 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1426657280 289566 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106872560 1426657280 289566 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1393220 [startup+1602.3 s] /proc/loadavg: 2.01 2.02 2.00 3/265 1832 /proc/meminfo: memFree=29696824/32872528 swapFree=9196/9196 [pid=1760] ppid=1757 vsize=1393220 CPUtime=1601.81 cores=4-7,12-15 /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 289871 0 0 0 160057 124 0 0 20 0 4 0 106872559 1426657280 289566 33554432000 4194304 16246674 140736465217392 140736465199296 5823538 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 348305 289566 916 2943 0 345199 0 [pid=1760/tid=1761] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1426657280 289566 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1426657280 289566 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106872560 1426657280 289566 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1393220 [startup+1662.3 s] /proc/loadavg: 1.47 1.88 1.95 2/255 1868 /proc/meminfo: memFree=30837108/32872528 swapFree=9196/9196 [pid=1760] ppid=1757 vsize=1393220 CPUtime=1661.8 cores=4-7,12-15 /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 289872 0 0 0 166054 126 0 0 20 0 4 0 106872559 1426657280 289567 33554432000 4194304 16246674 140736465217392 140736465199296 5827966 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 348305 289567 917 2943 0 345199 0 [pid=1760/tid=1761] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1426657280 289567 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1426657280 289567 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106872560 1426657280 289567 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1393220 [startup+1722.3 s] /proc/loadavg: 1.17 1.72 1.89 2/255 1870 /proc/meminfo: memFree=30836892/32872528 swapFree=9196/9196 [pid=1760] ppid=1757 vsize=1393220 CPUtime=1721.79 cores=4-7,12-15 /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 289872 0 0 0 172049 130 0 0 20 0 4 0 106872559 1426657280 289567 33554432000 4194304 16246674 140736465217392 140736465216488 14628944 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 348305 289567 917 2943 0 345199 0 [pid=1760/tid=1761] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1426657280 289567 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1426657280 289567 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106872560 1426657280 289567 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1393220 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 1760 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1724.8 s] /proc/loadavg: 1.16 1.70 1.88 2/255 1870 /proc/meminfo: memFree=30836892/32872528 swapFree=9196/9196 [pid=1760] ppid=1757 vsize=1393220 CPUtime=1724.3 cores=4-7,12-15 /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 289872 0 0 0 172300 130 0 0 20 0 4 0 106872559 1426657280 289567 33554432000 4194304 16246674 140736465217392 140736465215232 14628944 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 348305 289567 917 2943 0 345199 0 [pid=1760/tid=1761] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1426657280 289567 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1426657280 289567 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106872560 1426657280 289567 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1724.3 Current children cumulated vsize (KiB) 1393220 [startup+1726.4 s] /proc/loadavg: 1.16 1.70 1.88 2/255 1870 /proc/meminfo: memFree=30836892/32872528 swapFree=9196/9196 [pid=1760] ppid=1757 vsize=1393220 CPUtime=1725.9 cores=4-7,12-15 /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 289872 0 0 0 172459 131 0 0 20 0 4 0 106872559 1426657280 289567 33554432000 4194304 16246674 140736465217392 140736465199296 13820656 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 348305 289567 917 2943 0 345199 0 [pid=1760/tid=1761] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1426657280 289567 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1426657280 289567 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106872560 1426657280 289567 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1725.9 Current children cumulated vsize (KiB) 1393220 [startup+1727.2 s] /proc/loadavg: 1.16 1.70 1.88 2/255 1870 /proc/meminfo: memFree=30836892/32872528 swapFree=9196/9196 [pid=1760] ppid=1757 vsize=1393220 CPUtime=1726.7 cores=4-7,12-15 /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 289872 0 0 0 172539 131 0 0 20 0 4 0 106872559 1426657280 289567 33554432000 4194304 16246674 140736465217392 140736465215296 14628944 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 348305 289567 917 2943 0 345199 0 [pid=1760/tid=1761] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1426657280 289567 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1426657280 289567 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106872560 1426657280 289567 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1726.7 Current children cumulated vsize (KiB) 1393220 [startup+1727.6 s] /proc/loadavg: 1.16 1.70 1.88 2/255 1870 /proc/meminfo: memFree=30836892/32872528 swapFree=9196/9196 [pid=1760] ppid=1757 vsize=1393220 CPUtime=1727.1 cores=4-7,12-15 /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 289872 0 0 0 172579 131 0 0 20 0 4 0 106872559 1426657280 289567 33554432000 4194304 16246674 140736465217392 140736465215296 14628944 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 348305 289567 917 2943 0 345199 0 [pid=1760/tid=1761] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1426657280 289567 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1426657280 289567 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106872560 1426657280 289567 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1727.1 Current children cumulated vsize (KiB) 1393220 [startup+1727.8 s] /proc/loadavg: 1.16 1.70 1.88 2/255 1870 /proc/meminfo: memFree=30836892/32872528 swapFree=9196/9196 [pid=1760] ppid=1757 vsize=1393220 CPUtime=1727.3 cores=4-7,12-15 /proc/1760/stat : 1760 (toysat) R 1757 1760 25889 0 -1 4202496 289872 0 0 0 172599 131 0 0 20 0 4 0 106872559 1426657280 289567 33554432000 4194304 16246674 140736465217392 140736465215296 12483332 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0 /proc/1760/statm: 348305 289567 917 2943 0 345199 0 [pid=1760/tid=1761] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1761/stat : 1761 (toysat) S 1757 1760 25889 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106872559 1426657280 289567 33554432000 4194304 16246674 140736465217392 140447621033200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0 [pid=1760/tid=1762] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1762/stat : 1762 (toysat) S 1757 1760 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106872559 1426657280 289567 33554432000 4194304 16246674 140736465217392 140447610543344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0 [pid=1760/tid=1763] ppid=1757 vsize=1393220 CPUtime=0 cores=4-7,12-15 /proc/1760/task/1763/stat : 1763 (toysat) S 1757 1760 25889 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106872560 1426657280 289567 33554432000 4194304 16246674 140736465217392 140447600069808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0 Current children cumulated CPU time (s) 1727.3 Current children cumulated vsize (KiB) 1393220 Child status: 0 Real time (s): 1727.86 CPU time (s): 1727.36 CPU user time (s): 1726.05 CPU system time (s): 1.3148 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (KiB): 1393220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1726.05 system time used= 1.3148 maximum resident set size= 1158272 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 289874 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= 378 involuntary context switches= 1759 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.77182 second user time and 10.9223 second system time The end
Begin job on node132 at 2016-06-06 23:58:25 IDJOB=4079789 IDBENCH=25004 IDSOLVER=2542 FILE ID=node132/4079789-1465250305 RUNJOBID= node132-1465216787-25906 PBS_JOBID= 19843203 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir03_area_delay.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079789-1465250305/watcher-4079789-1465250305 -o /tmp/evaluation-result-4079789-1465250305/solver-4079789-1465250305 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079789-1465250305.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 2b747b2caed6577698c928a521fdc3c2 RANDOM SEED=1257500682 node132.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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.41 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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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.56 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 : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 30857188 kB Buffers: 59912 kB Cached: 109480 kB SwapCached: 3208 kB Active: 1194428 kB Inactive: 98296 kB Active(anon): 1122900 kB Inactive(anon): 3504 kB Active(file): 71528 kB Inactive(file): 94792 kB Unevictable: 9196 kB Mlocked: 9196 kB SwapTotal: 67108856 kB SwapFree: 67094544 kB Dirty: 16496 kB Writeback: 0 kB AnonPages: 1130804 kB Mapped: 10804 kB Shmem: 0 kB Slab: 574340 kB SReclaimable: 14736 kB SUnreclaim: 559604 kB KernelStack: 2248 kB PageTables: 6884 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1272956 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 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= 71732 MiB End job on node132 at 2016-06-07 00:27:13