Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_024_area_delay.opb |
| MD5SUM | 58f3055ef9bb388e237f57f2627386e0 |
| 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 | 24 |
| Best CPU time to get the best result obtained on this benchmark | 0.165974 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | YES |
| Number of variables | 3392 |
| Total number of constraints | 9001 |
| Number of constraints which are clauses | 9001 |
| 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 | 63 |
| Number of terms in the objective function | 1642 |
| 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 | 1642 |
| 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 | 1642 |
| 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:34:57+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-4079851-1465248897.opb"] 0.00/0.01 c use --random-gen="154208804 3010526498 1958981219 2508764420 3959654799 1883518898 672426928 3487567404 1347050936 4043687272 1340856630 197431008 644523903 302534454 4173613827 4167889912 821160649 3166956679 1973126927 1534019178 4276617818 1370273879 2698701953 1961554035 1261499720 1296681471 1722142904 1241668366 333701228 1363228705 1421456105 2897688231 150386369 3641125978 2736372237 4123584505 1841654118 1973737541 848891676 2775383823 1120013737 4136296178 397305087 3417596164 2364491067 2157720289 2861819261 4053904571 3420595398 2008664734 3457869161 2873625633 2329897701 347180172 2300171314 551001750 628744549 3930006651 1403268578 3395804330 2817942717 1001000480 1768245890 705779489 2877377254 3573985182 1424501671 2577122044 13517191 4280783586 3185687141 3532728216 209955264 3917142094 1688423072 3020847734 415181112 980076964 2836849411 2679256711 1562076665 2463147986 2983797377 3963305132 955786625 2265834589 294544209 2796130069 3091056008 398706552 2713532236 3115510739 2534638625 799528077 2552020023 2000019312 2520748692 2967312781 1784833715 2835235666 1131277369 1909032167 1596742444 1813295646 1157628131 908412273 442661653 3361669075 1785719542 883873223 2934060168 1881257915 2169727511 1769506673 1272714570 40741934 1665437060 1816482782 2119375643 2748816679 3533487518 2634026646 3845410757 2094271570 727295490 2510528158 402312469 3711702159 1586747436 3265870990 625742797 2782253582 839804893 2743119232 1761672787 2134702140 814224677 1206487776 1931610773 3854456947 4126446383 313034366 1181160841 1992104062 473174292 2353878820 3009475966 3317270460 4116480489 3073216721 397488322 1313290151 1988750314 383364568 3644436070 95266833 3957852208 3960598781 4015437038 3907754596 1110853555 162310556 1893790584 348929600 1477333447 3037194319 1679172239 3474572654 4063587997 3632470846 1027740540 521168027 3742263283 2886087835 3680155530 26024649 1356833674 284173370 1972488945 3326146206 3855898369 893287357 776742601 1354174490 3224006451 1257809936 925899788 3197366624 601036474 1213262915 4054387813 2104907332 396306476 38060631 1933467188 850116611 1039500371 2607416991 469677034 4231894073 686622621 3945391592 3881733034 132865590 1982096619 837849435 500015100 677152683 2601539887 1068394157 4054285150 1647867395 3505299524 3788695365 532688218 686546595 2968710571 333411411 206841003 4084891238 517836931 2988342715 487333640 1078593928 3125855587 2899325973 2714056189 1929482794 2012114459 3959658204 3713069087 2269821994 2114865057 3239635955 3134711780 1187838510 4050523117 3021988159 1500139000 3656487067 3064943303 760565571 3679392914 137319113 877242028 4192963201 867454337 3059469310 1940018569 1695141590 3901917759 2970441078 1173480639 1231442507 2899770072 3598433121 255 362436" option to reproduce the execution 0.00/0.07 c #vars 3392 0.00/0.07 c #constraints 9001 0.09/0.19 c BCD2: Hardening is enabled. 0.09/0.19 c BCD2: BiasedSearch is enabled. 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 4097 0 | 192 | 0 0.18/0.20 c 0.0s | 0 | 1127 | 0 | 4097 0 | 192 | 331 0.18/0.20 c #cpu_time = 0.016s 0.18/0.20 c #wall_clock_time = 0.016s 0.18/0.20 c #decision = 1127 0.18/0.20 c #random_decision = 5 0.18/0.20 c #conflict = 0 0.18/0.20 c #restart = 0 0.18/0.20 o 1126 0.18/0.20 c BCD2: updating upper bound: 1642 -> 1125 0.18/0.23 c BCD2: 0 <= obj <= 1125 0.18/0.23 c BCD2: #cores=0, #unrelaxed=1642, #relaxed=0, #hardened=0 0.18/0.23 c BCD2: #sat=1 #unsat=1 bias=1/2 0.18/0.23 c Solving starts ... 0.18/0.23 c ============================[ Search Statistics ]============================ 0.18/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.23 c | | | | Limit GC | Var | Constra 0.18/0.23 c ============================================================================= 0.18/0.23 c 0.0s | 0 | 0 | 0 | 4097 0 | 192 | 331 0.18/0.23 c 0.0s | 0 | 18 | 1 | 4097 0 | 192 | 331 0.18/0.23 c #cpu_time = 0.006s 0.18/0.23 c #wall_clock_time = 0.006s 0.18/0.23 c #decision = 18 0.18/0.23 c #random_decision = 0 0.18/0.23 c #conflict = 1 0.18/0.23 c #restart = 0 0.18/0.23 c BCD2: found a new core of size 4: cost of the new core is >=1 0.18/0.23 c lower bound updated to 1 0.18/0.23 c BCD2: 1 <= obj <= 1125 0.18/0.23 c BCD2: #cores=1, #unrelaxed=1638, #relaxed=4, #hardened=0 0.18/0.23 c BCD2: #sat=1 #unsat=2 bias=2/3 0.18/0.23 c Solving starts ... 0.18/0.23 c ============================[ Search Statistics ]============================ 0.18/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.23 c | | | | Limit GC | Var | Constra 0.18/0.23 c ============================================================================= 0.18/0.23 c 0.0s | 0 | 0 | 0 | 4097 0 | 192 | 331 0.18/0.24 c 0.0s | 0 | 20 | 0 | 4097 0 | 192 | 331 0.18/0.24 c #cpu_time = 0.005s 0.18/0.24 c #wall_clock_time = 0.005s 0.18/0.24 c #decision = 20 0.18/0.24 c #random_decision = 0 0.18/0.24 c #conflict = 0 0.18/0.24 c #restart = 0 0.18/0.24 c BCD2: found a new core of size 13: cost of the new core is >=1 0.18/0.24 c lower bound updated to 2 0.18/0.24 c BCD2: 2 <= obj <= 1125 0.18/0.24 c BCD2: #cores=2, #unrelaxed=1625, #relaxed=17, #hardened=0 0.18/0.24 c BCD2: #sat=1 #unsat=3 bias=3/4 0.18/0.24 c Solving starts ... 0.18/0.24 c ============================[ Search Statistics ]============================ 0.18/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.24 c | | | | Limit GC | Var | Constra 0.18/0.24 c ============================================================================= 0.18/0.24 c 0.0s | 0 | 0 | 0 | 4097 0 | 192 | 331 0.18/0.25 c 0.0s | 0 | 149 | 0 | 4097 0 | 192 | 331 0.18/0.25 c #cpu_time = 0.006s 0.18/0.25 c #wall_clock_time = 0.006s 0.18/0.25 c #decision = 149 0.18/0.25 c #random_decision = 0 0.18/0.25 c #conflict = 0 0.18/0.25 c #restart = 0 0.18/0.25 c BCD2: found a new core of size 26: cost of the new core is >=1 0.18/0.25 c lower bound updated to 3 0.18/0.25 c BCD2: 3 <= obj <= 1125 0.18/0.25 c BCD2: #cores=3, #unrelaxed=1599, #relaxed=43, #hardened=0 0.18/0.25 c BCD2: #sat=1 #unsat=4 bias=4/5 0.18/0.25 c Solving starts ... 0.18/0.25 c ============================[ Search Statistics ]============================ 0.18/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.25 c | | | | Limit GC | Var | Constra 0.18/0.25 c ============================================================================= 0.18/0.25 c 0.0s | 0 | 0 | 0 | 4097 0 | 192 | 331 0.18/0.25 c 0.0s | 0 | 225 | 0 | 4097 0 | 192 | 331 0.18/0.25 c #cpu_time = 0.006s 0.18/0.25 c #wall_clock_time = 0.006s 0.18/0.25 c #decision = 225 0.18/0.25 c #random_decision = 0 0.18/0.25 c #conflict = 0 0.18/0.25 c #restart = 0 0.18/0.25 c BCD2: found a new core of size 3: cost of the new core is >=1 0.18/0.25 c lower bound updated to 4 0.18/0.25 c BCD2: 4 <= obj <= 1125 0.18/0.25 c BCD2: #cores=4, #unrelaxed=1596, #relaxed=46, #hardened=0 0.18/0.25 c BCD2: #sat=1 #unsat=5 bias=5/6 0.18/0.25 c Solving starts ... 0.18/0.25 c ============================[ Search Statistics ]============================ 0.18/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.25 c | | | | Limit GC | Var | Constra 0.18/0.25 c ============================================================================= 0.18/0.27 c 0.0s | 0 | 0 | 0 | 4097 0 | 192 | 331 0.18/0.27 c 0.0s | 0 | 281 | 0 | 4097 0 | 192 | 331 0.18/0.27 c #cpu_time = 0.004s 0.18/0.27 c #wall_clock_time = 0.004s 0.18/0.27 c #decision = 281 0.18/0.27 c #random_decision = 0 0.18/0.27 c #conflict = 0 0.18/0.27 c #restart = 0 0.18/0.27 c BCD2: found a new core of size 38: cost of the new core is >=1 0.18/0.27 c lower bound updated to 5 0.18/0.27 c BCD2: 5 <= obj <= 1125 0.18/0.27 c BCD2: #cores=5, #unrelaxed=1558, #relaxed=84, #hardened=0 0.18/0.27 c BCD2: #sat=1 #unsat=6 bias=6/7 0.18/0.27 c Solving starts ... 0.18/0.27 c ============================[ Search Statistics ]============================ 0.18/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.27 c | | | | Limit GC | Var | Constra 0.18/0.27 c ============================================================================= 0.18/0.27 c 0.0s | 0 | 0 | 0 | 4097 0 | 192 | 331 0.18/0.28 c 0.0s | 0 | 267 | 0 | 4097 0 | 192 | 331 0.18/0.28 c #cpu_time = 0.004s 0.18/0.28 c #wall_clock_time = 0.004s 0.18/0.28 c #decision = 267 0.18/0.28 c #random_decision = 0 0.18/0.28 c #conflict = 0 0.18/0.28 c #restart = 0 0.18/0.28 c BCD2: found a new core of size 39: cost of the new core is >=1 0.18/0.28 c lower bound updated to 6 0.18/0.28 c BCD2: 6 <= obj <= 1125 0.18/0.28 c BCD2: #cores=6, #unrelaxed=1519, #relaxed=123, #hardened=0 0.18/0.28 c BCD2: #sat=1 #unsat=7 bias=7/8 0.18/0.28 c Solving starts ... 0.18/0.28 c ============================[ Search Statistics ]============================ 0.18/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.28 c | | | | Limit GC | Var | Constra 0.18/0.28 c ============================================================================= 0.18/0.28 c 0.0s | 0 | 0 | 0 | 4097 0 | 192 | 331 0.18/0.28 c 0.0s | 0 | 384 | 0 | 4097 0 | 192 | 331 0.18/0.28 c #cpu_time = 0.004s 0.18/0.28 c #wall_clock_time = 0.004s 0.18/0.28 c #decision = 384 0.18/0.28 c #random_decision = 0 0.18/0.28 c #conflict = 0 0.18/0.28 c #restart = 0 0.18/0.28 c BCD2: found a new core of size 33: cost of the new core is >=1 0.18/0.28 c lower bound updated to 7 0.18/0.28 c BCD2: 7 <= obj <= 1125 0.18/0.28 c BCD2: #cores=7, #unrelaxed=1486, #relaxed=156, #hardened=0 0.18/0.28 c BCD2: #sat=1 #unsat=8 bias=8/9 0.18/0.28 c Solving starts ... 0.18/0.28 c ============================[ Search Statistics ]============================ 0.18/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.28 c | | | | Limit GC | Var | Constra 0.18/0.28 c ============================================================================= 0.18/0.28 c 0.0s | 0 | 0 | 0 | 4097 0 | 192 | 331 0.18/0.29 c 0.0s | 0 | 444 | 0 | 4097 0 | 192 | 331 0.18/0.29 c #cpu_time = 0.004s 0.18/0.29 c #wall_clock_time = 0.004s 0.18/0.29 c #decision = 444 0.18/0.29 c #random_decision = 0 0.18/0.29 c #conflict = 0 0.18/0.29 c #restart = 0 0.18/0.29 c BCD2: found a new core of size 71: cost of the new core is >=1 0.18/0.29 c lower bound updated to 8 0.18/0.29 c BCD2: 8 <= obj <= 1125 0.18/0.29 c BCD2: #cores=8, #unrelaxed=1415, #relaxed=227, #hardened=0 0.18/0.29 c BCD2: #sat=1 #unsat=9 bias=9/10 0.18/0.29 c Solving starts ... 0.18/0.29 c ============================[ Search Statistics ]============================ 0.18/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.29 c | | | | Limit GC | Var | Constra 0.18/0.29 c ============================================================================= 0.18/0.29 c 0.0s | 0 | 0 | 0 | 4097 0 | 192 | 331 0.18/0.29 c 0.0s | 0 | 398 | 0 | 4097 0 | 192 | 331 0.18/0.29 c #cpu_time = 0.005s 0.18/0.29 c #wall_clock_time = 0.005s 0.18/0.29 c #decision = 398 0.18/0.29 c #random_decision = 0 0.18/0.29 c #conflict = 0 0.18/0.29 c #restart = 0 0.18/0.29 c BCD2: found a new core of size 9: cost of the new core is >=1 0.18/0.29 c lower bound updated to 9 0.18/0.29 c BCD2: 9 <= obj <= 1125 0.18/0.29 c BCD2: #cores=9, #unrelaxed=1406, #relaxed=236, #hardened=0 0.18/0.29 c BCD2: #sat=1 #unsat=10 bias=10/11 0.18/0.30 c Solving starts ... 0.18/0.30 c ============================[ Search Statistics ]============================ 0.18/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.30 c | | | | Limit GC | Var | Constra 0.18/0.30 c ============================================================================= 0.18/0.30 c 0.0s | 0 | 0 | 0 | 4097 0 | 192 | 331 0.29/0.30 c 0.0s | 0 | 470 | 0 | 4097 0 | 192 | 331 0.29/0.30 c #cpu_time = 0.006s 0.29/0.30 c #wall_clock_time = 0.006s 0.29/0.30 c #decision = 470 0.29/0.30 c #random_decision = 0 0.29/0.30 c #conflict = 0 0.29/0.30 c #restart = 0 0.29/0.30 c BCD2: found a new core of size 11: cost of the new core is >=1 0.29/0.30 c lower bound updated to 10 0.29/0.30 c BCD2: 10 <= obj <= 1125 0.29/0.30 c BCD2: #cores=10, #unrelaxed=1395, #relaxed=247, #hardened=0 0.29/0.30 c BCD2: #sat=1 #unsat=11 bias=11/12 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 | 4097 0 | 192 | 331 0.29/0.31 c 0.0s | 0 | 578 | 0 | 4097 0 | 192 | 331 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 = 578 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 77: cost of the new core is >=1 0.29/0.31 c lower bound updated to 11 0.29/0.32 c BCD2: 11 <= obj <= 1125 0.29/0.32 c BCD2: #cores=11, #unrelaxed=1318, #relaxed=324, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=12 bias=12/13 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 | 4097 0 | 192 | 331 0.29/0.33 c 0.0s | 0 | 545 | 0 | 4097 0 | 192 | 331 0.29/0.33 c #cpu_time = 0.004s 0.29/0.33 c #wall_clock_time = 0.004s 0.29/0.33 c #decision = 545 0.29/0.33 c #random_decision = 0 0.29/0.33 c #conflict = 0 0.29/0.33 c #restart = 0 0.29/0.33 c BCD2: found a new core of size 9: cost of the new core is >=1 0.29/0.33 c lower bound updated to 12 0.29/0.33 c BCD2: 12 <= obj <= 1125 0.29/0.33 c BCD2: #cores=12, #unrelaxed=1309, #relaxed=333, #hardened=0 0.29/0.33 c BCD2: #sat=1 #unsat=13 bias=13/14 0.29/0.33 c Solving starts ... 0.29/0.33 c ============================[ Search Statistics ]============================ 0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.33 c | | | | Limit GC | Var | Constra 0.29/0.33 c ============================================================================= 0.29/0.33 c 0.0s | 0 | 0 | 0 | 4097 0 | 192 | 331 0.29/0.33 c 0.0s | 0 | 614 | 0 | 4097 0 | 192 | 331 0.29/0.33 c #cpu_time = 0.004s 0.29/0.33 c #wall_clock_time = 0.004s 0.29/0.33 c #decision = 614 0.29/0.33 c #random_decision = 0 0.29/0.33 c #conflict = 0 0.29/0.33 c #restart = 0 0.29/0.33 c BCD2: found a new core of size 49: cost of the new core is >=1 0.29/0.33 c lower bound updated to 13 0.29/0.33 c BCD2: 13 <= obj <= 1125 0.29/0.33 c BCD2: #cores=13, #unrelaxed=1260, #relaxed=382, #hardened=0 0.29/0.33 c BCD2: #sat=1 #unsat=14 bias=14/15 0.29/0.33 c Solving starts ... 0.29/0.33 c ============================[ Search Statistics ]============================ 0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.33 c | | | | Limit GC | Var | Constra 0.29/0.33 c ============================================================================= 0.29/0.33 c 0.0s | 0 | 0 | 0 | 4097 0 | 192 | 331 0.29/0.34 c 0.0s | 0 | 650 | 0 | 4097 0 | 192 | 331 0.29/0.34 c #cpu_time = 0.005s 0.29/0.34 c #wall_clock_time = 0.005s 0.29/0.34 c #decision = 650 0.29/0.34 c #random_decision = 0 0.29/0.34 c #conflict = 0 0.29/0.34 c #restart = 0 0.29/0.34 c BCD2: found a new core of size 37: cost of the new core is >=1 0.29/0.34 c lower bound updated to 14 0.29/0.34 c BCD2: 14 <= obj <= 1125 0.29/0.34 c BCD2: #cores=14, #unrelaxed=1223, #relaxed=419, #hardened=0 0.29/0.34 c BCD2: #sat=1 #unsat=15 bias=15/16 0.29/0.34 c Solving starts ... 0.29/0.34 c ============================[ Search Statistics ]============================ 0.29/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.34 c | | | | Limit GC | Var | Constra 0.29/0.34 c ============================================================================= 0.29/0.34 c 0.0s | 0 | 0 | 0 | 4097 0 | 192 | 331 0.29/0.35 c 0.0s | 0 | 959 | 0 | 4097 0 | 192 | 331 0.29/0.35 c #cpu_time = 0.005s 0.29/0.35 c #wall_clock_time = 0.005s 0.29/0.35 c #decision = 959 0.29/0.35 c #random_decision = 0 0.29/0.35 c #conflict = 0 0.29/0.35 c #restart = 0 0.29/0.35 c BCD2: found a new core of size 53: cost of the new core is >=1 0.29/0.35 c lower bound updated to 15 0.29/0.35 c BCD2: 15 <= obj <= 1125 0.29/0.35 c BCD2: #cores=15, #unrelaxed=1170, #relaxed=472, #hardened=0 0.29/0.35 c BCD2: #sat=1 #unsat=16 bias=16/17 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 | 4097 0 | 192 | 331 0.29/0.35 c 0.0s | 0 | 968 | 0 | 4097 0 | 192 | 331 0.29/0.35 c #cpu_time = 0.005s 0.29/0.35 c #wall_clock_time = 0.005s 0.29/0.35 c #decision = 968 0.29/0.35 c #random_decision = 0 0.29/0.35 c #conflict = 0 0.29/0.35 c #restart = 0 0.29/0.35 c BCD2: found a new core of size 69: cost of the new core is >=1 0.29/0.35 c lower bound updated to 16 0.29/0.35 c BCD2: 16 <= obj <= 1125 0.29/0.35 c BCD2: #cores=16, #unrelaxed=1101, #relaxed=541, #hardened=0 0.29/0.35 c BCD2: #sat=1 #unsat=17 bias=17/18 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 | 4097 0 | 192 | 331 0.29/0.36 c 0.0s | 0 | 939 | 0 | 4097 0 | 192 | 331 0.29/0.36 c #cpu_time = 0.005s 0.29/0.36 c #wall_clock_time = 0.005s 0.29/0.36 c #decision = 939 0.29/0.36 c #random_decision = 0 0.29/0.36 c #conflict = 0 0.29/0.36 c #restart = 0 0.29/0.36 c BCD2: found a new core of size 39: cost of the new core is >=1 0.29/0.36 c lower bound updated to 17 0.29/0.36 c BCD2: 17 <= obj <= 1125 0.29/0.36 c BCD2: #cores=17, #unrelaxed=1062, #relaxed=580, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=18 bias=18/19 0.29/0.36 c Solving starts ... 0.29/0.36 c ============================[ Search Statistics ]============================ 0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.36 c | | | | Limit GC | Var | Constra 0.29/0.36 c ============================================================================= 0.29/0.36 c 0.0s | 0 | 0 | 0 | 4097 0 | 192 | 331 0.29/0.37 c 0.0s | 0 | 978 | 0 | 4097 0 | 192 | 331 0.29/0.37 c #cpu_time = 0.005s 0.29/0.37 c #wall_clock_time = 0.005s 0.29/0.37 c #decision = 978 0.29/0.37 c #random_decision = 0 0.29/0.37 c #conflict = 0 0.29/0.37 c #restart = 0 0.29/0.37 c BCD2: found a new core of size 49: cost of the new core is >=1 0.29/0.37 c lower bound updated to 18 0.29/0.37 c BCD2: 18 <= obj <= 1125 0.29/0.37 c BCD2: #cores=18, #unrelaxed=1013, #relaxed=629, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=19 bias=19/20 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 | 4097 0 | 192 | 331 0.29/0.38 c 0.0s | 0 | 1501 | 0 | 4097 0 | 192 | 331 0.29/0.38 c #cpu_time = 0.008s 0.29/0.38 c #wall_clock_time = 0.008s 0.29/0.38 c #decision = 1501 0.29/0.38 c #random_decision = 1 0.29/0.38 c #conflict = 0 0.29/0.38 c #restart = 0 0.29/0.38 o 36 0.29/0.38 c BCD2: updating upper bound: 1125 -> 35 0.29/0.38 c BCD2: 18 <= obj <= 35 0.29/0.38 c BCD2: #cores=18, #unrelaxed=1013, #relaxed=629, #hardened=0 0.29/0.38 c BCD2: #sat=2 #unsat=19 bias=19/21 0.29/0.39 c Solving starts ... 0.29/0.39 c ============================[ Search Statistics ]============================ 0.29/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.39 c | | | | Limit GC | Var | Constra 0.29/0.39 c ============================================================================= 0.29/0.39 c 0.0s | 0 | 0 | 0 | 4097 0 | 192 | 332 0.39/0.41 c 0.0s | 0 | 6739 | 28 | 4097 0 | 192 | 332 0.39/0.41 c #cpu_time = 0.025s 0.39/0.41 c #wall_clock_time = 0.025s 0.39/0.41 c #decision = 6739 0.39/0.41 c #random_decision = 0 0.39/0.41 c #conflict = 28 0.39/0.41 c #restart = 0 0.39/0.41 c BCD2: relaxing 36 and merging with 6 cores into a new core of size 175: cost of the new core is >=7 0.39/0.41 c lower bound updated to 19 0.39/0.41 c BCD2: 19 <= obj <= 35 0.39/0.41 c BCD2: #cores=13, #unrelaxed=977, #relaxed=665, #hardened=0 0.39/0.41 c BCD2: #sat=2 #unsat=20 bias=20/22 0.39/0.41 c Solving starts ... 0.39/0.41 c ============================[ Search Statistics ]============================ 0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.41 c | | | | Limit GC | Var | Constra 0.39/0.41 c ============================================================================= 0.39/0.41 c 0.0s | 0 | 0 | 0 | 4097 0 | 212 | 332 0.39/0.43 c 0.0s | 0 | 1072 | 15 | 4097 0 | 212 | 366 0.39/0.43 c #cpu_time = 0.017s 0.39/0.43 c #wall_clock_time = 0.017s 0.39/0.43 c #decision = 1072 0.39/0.43 c #random_decision = 0 0.39/0.43 c #conflict = 15 0.39/0.43 c #restart = 0 0.39/0.43 o 29 0.39/0.43 c BCD2: updating upper bound: 35 -> 28 0.39/0.44 c BCD2: 19 <= obj <= 28 0.39/0.44 c BCD2: #cores=13, #unrelaxed=977, #relaxed=665, #hardened=0 0.39/0.44 c BCD2: #sat=3 #unsat=20 bias=20/23 0.39/0.44 c Solving starts ... 0.39/0.44 c ============================[ Search Statistics ]============================ 0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.44 c | | | | Limit GC | Var | Constra 0.39/0.44 c ============================================================================= 0.39/0.44 c 0.0s | 0 | 0 | 0 | 4097 0 | 212 | 367 0.39/0.49 c 0.0s | 1 | 1201 | 100 | 4507 0 | 212 | 367 0.49/0.59 c 0.1s | 2 | 2440 | 250 | 4958 0 | 212 | 367 0.69/0.79 c 0.4s | 3 | 4294 | 475 | 5454 0 | 212 | 367 1.09/1.12 c 0.7s | 4 | 6636 | 813 | 6000 0 | 212 | 367 1.48/1.50 c 1.1s | 5 | 9245 | 1320 | 6601 0 | 212 | 367 1.89/1.92 c 1.5s | 6 | 12675 | 2081 | 7262 0 | 212 | 367 2.20/2.25 c 1.8s | 6 | 15116 | 2553 | 7262 0 | 212 | 367 2.20/2.25 c #cpu_time = 1.802s 2.20/2.25 c #wall_clock_time = 1.806s 2.20/2.25 c #decision = 15116 2.20/2.25 c #random_decision = 12 2.20/2.25 c #conflict = 2553 2.20/2.25 c #restart = 6 2.20/2.25 o 26 2.20/2.25 c BCD2: updating upper bound: 28 -> 25 2.20/2.25 c BCD2: 19 <= obj <= 25 2.20/2.25 c BCD2: #cores=13, #unrelaxed=977, #relaxed=665, #hardened=0 2.20/2.25 c BCD2: #sat=4 #unsat=20 bias=20/24 2.20/2.26 c Solving starts ... 2.20/2.26 c ============================[ Search Statistics ]============================ 2.20/2.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.20/2.26 c | | | | Limit GC | Var | Constra 2.20/2.26 c ============================================================================= 2.20/2.26 c 0.0s | 0 | 0 | 0 | 7262 0 | 212 | 368 2.30/2.32 c 0.1s | 1 | 1183 | 100 | 7262 0 | 212 | 368 2.39/2.43 c 0.2s | 2 | 2583 | 250 | 7262 0 | 212 | 368 2.49/2.59 c 0.3s | 3 | 4052 | 475 | 7262 0 | 212 | 368 2.69/2.78 c 0.5s | 4 | 5877 | 813 | 7989 0 | 212 | 368 2.99/3.01 c 0.8s | 5 | 8841 | 1320 | 7989 0 | 212 | 368 3.30/3.38 c 1.1s | 6 | 13151 | 2081 | 7989 0 | 212 | 368 3.99/4.03 c 1.8s | 7 | 18729 | 3223 | 8788 0 | 212 | 368 4.79/4.84 c 2.6s | 8 | 28419 | 4936 | 9667 0 | 212 | 368 6.19/6.27 c 4.0s | 9 | 42720 | 7506 | 9667 0 | 212 | 368 8.18/8.29 c 6.0s | 9 | 58352 | 10906 | 10634 1 | 212 | 368 8.48/8.54 c 6.3s | 10 | 60374 | 11361 | 10634 1 | 212 | 368 10.58/10.67 c 8.4s | 10 | 82174 | 14961 | 11698 2 | 212 | 368 11.88/11.97 c 9.7s | 11 | 96520 | 17144 | 11698 2 | 212 | 368 13.98/14.03 c 11.8s | 11 | 111290 | 19844 | 11698 2 | 212 | 368 16.08/16.12 c 13.9s | 11 | 121014 | 22144 | 11698 2 | 212 | 368 18.08/18.14 c 15.9s | 11 | 132557 | 24544 | 12868 3 | 212 | 368 18.88/18.90 c 16.6s | 12 | 137840 | 25819 | 12868 3 | 212 | 368 20.78/20.90 c 18.6s | 12 | 152551 | 28719 | 12868 3 | 212 | 368 22.88/22.96 c 20.7s | 12 | 167414 | 31619 | 12868 4 | 212 | 368 24.88/24.98 c 22.7s | 12 | 183969 | 34619 | 12868 4 | 212 | 368 26.98/27.02 c 24.8s | 12 | 199741 | 37519 | 14155 4 | 212 | 368 27.88/27.99 c 25.7s | 13 | 207324 | 38832 | 14155 4 | 212 | 368 29.99/30.04 c 27.8s | 13 | 226064 | 41932 | 14155 5 | 212 | 368 32.00/32.04 c 29.8s | 13 | 246347 | 45232 | 14155 5 | 212 | 368 33.99/34.06 c 31.8s | 13 | 255366 | 47032 | 14155 6 | 212 | 368 35.99/36.06 c 33.8s | 13 | 268231 | 49932 | 14155 6 | 212 | 368 37.99/38.10 c 35.8s | 13 | 281966 | 52732 | 14155 6 | 212 | 368 40.08/40.14 c 37.9s | 13 | 292962 | 55332 | 14155 7 | 212 | 368 42.18/42.21 c 40.0s | 13 | 305179 | 58332 | 15571 7 | 212 | 368 42.18/42.22 c 40.0s | 14 | 305222 | 58352 | 15571 7 | 212 | 368 44.18/44.27 c 42.0s | 14 | 317162 | 60552 | 15571 7 | 212 | 368 46.29/46.32 c 44.1s | 14 | 328087 | 63052 | 15571 7 | 212 | 368 48.28/48.36 c 46.1s | 14 | 339406 | 65552 | 15571 8 | 212 | 368 50.28/50.39 c 48.1s | 14 | 352821 | 68552 | 15571 8 | 212 | 368 52.38/52.42 c 50.2s | 14 | 364186 | 71352 | 15571 8 | 212 | 368 54.38/54.46 c 52.2s | 14 | 371925 | 73852 | 15571 9 | 212 | 368 56.48/56.51 c 54.2s | 14 | 383678 | 77052 | 15571 9 | 212 | 368 59.38/59.46 c 57.2s | 14 | 393020 | 79752 | 15571 9 | 212 | 368 61.48/61.50 c 59.2s | 14 | 403415 | 82152 | 15571 9 | 212 | 368 63.48/63.52 c 61.3s | 14 | 412314 | 84552 | 17129 10 | 212 | 368 65.48/65.56 c 63.3s | 14 | 425600 | 87452 | 17129 10 | 212 | 368 65.58/65.68 c 63.4s | 15 | 426329 | 87632 | 17129 10 | 212 | 368 67.57/67.69 c 65.4s | 15 | 440304 | 90232 | 17129 10 | 212 | 368 69.67/69.76 c 67.5s | 15 | 450279 | 92732 | 17129 10 | 212 | 368 71.67/71.77 c 69.5s | 15 | 462001 | 95332 | 17129 11 | 212 | 368 73.78/73.85 c 71.6s | 15 | 473369 | 98232 | 17129 11 | 212 | 368 75.77/75.88 c 73.6s | 15 | 482035 | 100632 | 17129 11 | 212 | 368 77.97/78.05 c 75.8s | 15 | 488981 | 102732 | 17129 12 | 212 | 368 80.07/80.11 c 77.9s | 15 | 498213 | 105332 | 17129 12 | 212 | 368 82.07/82.12 c 79.9s | 15 | 507590 | 108032 | 17129 12 | 212 | 368 84.08/84.15 c 81.9s | 15 | 518559 | 110832 | 17129 12 | 212 | 368 86.08/86.15 c 83.9s | 15 | 529142 | 113332 | 17129 13 | 212 | 368 88.18/88.20 c 85.9s | 15 | 540408 | 116432 | 17129 13 | 212 | 368 90.19/90.24 c 88.0s | 15 | 551510 | 119032 | 17129 13 | 212 | 368 92.18/92.27 c 90.0s | 15 | 561149 | 121632 | 17129 13 | 212 | 368 94.28/94.34 c 92.1s | 15 | 569977 | 124032 | 17129 14 | 212 | 368 96.38/96.43 c 94.2s | 15 | 580292 | 126732 | 17129 14 | 212 | 368 98.38/98.48 c 96.2s | 15 | 590133 | 129132 | 18842 14 | 212 | 368 100.38/100.48 c 98.2s | 16 | 599335 | 131552 | 18842 14 | 212 | 368 102.48/102.53 c 100s | 16 | 609556 | 133652 | 18842 15 | 212 | 368 104.58/104.68 c 102s | 16 | 619794 | 135552 | 18842 15 | 212 | 368 106.68/106.72 c 104s | 16 | 634998 | 138652 | 18842 15 | 212 | 368 108.67/108.78 c 106s | 16 | 649482 | 141352 | 18842 15 | 212 | 368 110.77/110.81 c 108s | 16 | 662356 | 144052 | 18842 16 | 212 | 368 112.77/112.83 c 110s | 16 | 677748 | 147152 | 18842 16 | 212 | 368 114.77/114.83 c 112s | 16 | 697184 | 150352 | 18842 16 | 212 | 368 116.77/116.88 c 114s | 16 | 710905 | 153252 | 18842 16 | 212 | 368 119.27/119.30 c 117s | 16 | 722630 | 155352 | 18842 17 | 212 | 368 121.27/121.35 c 119s | 16 | 742107 | 158352 | 18842 17 | 212 | 368 123.37/123.41 c 121s | 16 | 756638 | 161252 | 18842 17 | 212 | 368 125.37/125.44 c 123s | 16 | 769130 | 163952 | 18842 17 | 212 | 368 127.37/127.48 c 125s | 16 | 780429 | 166752 | 18842 18 | 212 | 368 129.47/129.51 c 127s | 16 | 794067 | 169852 | 18842 18 | 212 | 368 131.47/131.52 c 129s | 16 | 807385 | 172952 | 18842 18 | 212 | 368 133.47/133.57 c 131s | 16 | 818636 | 175552 | 18842 19 | 212 | 368 135.47/135.59 c 133s | 16 | 832650 | 178752 | 18842 19 | 212 | 368 137.57/137.63 c 135s | 16 | 851381 | 182152 | 18842 19 | 212 | 368 139.57/139.69 c 137s | 16 | 868700 | 185152 | 18842 20 | 212 | 368 141.67/141.70 c 139s | 16 | 880626 | 187752 | 18842 20 | 212 | 368 143.67/143.71 c 141s | 16 | 893960 | 190752 | 18842 20 | 212 | 368 145.66/145.75 c 143s | 16 | 904857 | 193452 | 18842 20 | 212 | 368 147.76/147.80 c 145s | 16 | 919595 | 196152 | 20727 20 | 212 | 368 148.76/148.80 c 146s | 17 | 925370 | 197432 | 20727 20 | 212 | 368 150.77/150.84 c 148s | 17 | 932765 | 198432 | 20727 21 | 212 | 368 152.77/152.89 c 150s | 17 | 943376 | 200432 | 20727 21 | 212 | 368 154.87/154.92 c 152s | 17 | 963417 | 203732 | 20727 21 | 212 | 368 156.87/156.99 c 154s | 17 | 977846 | 206632 | 20727 21 | 212 | 368 159.37/159.46 c 157s | 17 | 988572 | 209132 | 20727 22 | 212 | 368 161.37/161.48 c 159s | 17 | 1002320 | 212232 | 20727 22 | 212 | 368 163.46/163.55 c 161s | 17 | 1010182 | 213932 | 20727 22 | 212 | 368 165.46/165.57 c 163s | 17 | 1023803 | 216832 | 20727 22 | 212 | 368 167.46/167.58 c 165s | 17 | 1034004 | 219332 | 20727 22 | 212 | 368 169.56/169.63 c 167s | 17 | 1042672 | 221432 | 20727 23 | 212 | 368 171.57/171.65 c 169s | 17 | 1056177 | 224632 | 20727 23 | 212 | 368 173.56/173.69 c 171s | 17 | 1068593 | 227632 | 20727 23 | 212 | 368 175.66/175.71 c 173s | 17 | 1082990 | 230932 | 20727 23 | 212 | 368 177.66/177.74 c 175s | 17 | 1095942 | 233532 | 20727 24 | 212 | 368 179.66/179.75 c 177s | 17 | 1108567 | 236632 | 20727 24 | 212 | 368 181.76/181.81 c 179s | 17 | 1121509 | 239532 | 20727 24 | 212 | 368 183.77/183.84 c 181s | 17 | 1131688 | 242132 | 20727 24 | 212 | 368 186.06/186.18 c 183s | 17 | 1135625 | 243232 | 20727 25 | 212 | 368 188.16/188.20 c 185s | 17 | 1146632 | 246332 | 20727 25 | 212 | 368 190.16/190.25 c 187s | 17 | 1157321 | 248932 | 20727 25 | 212 | 368 192.16/192.27 c 190s | 17 | 1167331 | 251232 | 20727 25 | 212 | 368 194.26/194.30 c 192s | 17 | 1176963 | 253432 | 20727 25 | 212 | 368 196.25/196.32 c 194s | 17 | 1184851 | 255132 | 20727 26 | 212 | 368 198.25/198.32 c 196s | 17 | 1197899 | 258032 | 20727 26 | 212 | 368 200.26/200.34 c 198s | 17 | 1212006 | 260832 | 20727 26 | 212 | 368 202.25/202.38 c 200s | 17 | 1223680 | 263532 | 20727 26 | 212 | 368 204.25/204.39 c 202s | 17 | 1232924 | 265932 | 20727 27 | 212 | 368 206.35/206.41 c 204s | 17 | 1246132 | 268832 | 20727 27 | 212 | 368 208.35/208.49 c 206s | 17 | 1256873 | 271832 | 20727 27 | 212 | 368 210.35/210.49 c 208s | 17 | 1265333 | 274232 | 20727 27 | 212 | 368 212.45/212.52 c 210s | 17 | 1273598 | 276632 | 20727 27 | 212 | 368 214.46/214.56 c 212s | 17 | 1282742 | 279032 | 20727 28 | 212 | 368 216.55/216.61 c 214s | 17 | 1292273 | 281432 | 20727 28 | 212 | 368 218.55/218.65 c 216s | 17 | 1302150 | 283632 | 20727 28 | 212 | 368 220.55/220.69 c 218s | 17 | 1310729 | 285932 | 20727 28 | 212 | 368 222.65/222.70 c 220s | 17 | 1320484 | 288232 | 20727 28 | 212 | 368 224.66/224.74 c 222s | 17 | 1325648 | 289432 | 20727 29 | 212 | 368 226.67/226.76 c 224s | 17 | 1338497 | 292432 | 22800 29 | 212 | 368 228.66/228.78 c 226s | 17 | 1348861 | 295132 | 22800 29 | 212 | 368 229.46/229.57 c 227s | 18 | 1353579 | 296252 | 22800 29 | 212 | 368 231.56/231.60 c 229s | 18 | 1363880 | 298852 | 22800 29 | 212 | 368 233.56/233.64 c 231s | 18 | 1372312 | 301252 | 22800 29 | 212 | 368 235.56/235.69 c 233s | 18 | 1379525 | 303252 | 22800 30 | 212 | 368 237.66/237.76 c 235s | 18 | 1388970 | 305852 | 22800 30 | 212 | 368 239.76/239.83 c 237s | 18 | 1394471 | 307252 | 22800 30 | 212 | 368 241.75/241.86 c 239s | 18 | 1402165 | 309452 | 22800 30 | 212 | 368 243.75/243.89 c 241s | 18 | 1413844 | 312552 | 22800 30 | 212 | 368 245.85/245.94 c 243s | 18 | 1420371 | 314252 | 22800 31 | 212 | 368 247.85/247.95 c 245s | 18 | 1431734 | 317152 | 22800 31 | 212 | 368 249.85/249.98 c 247s | 18 | 1441870 | 319852 | 22800 31 | 212 | 368 251.95/252.06 c 249s | 18 | 1450464 | 322452 | 22800 31 | 212 | 368 253.95/254.08 c 251s | 18 | 1457753 | 325052 | 22800 31 | 212 | 368 256.05/256.15 c 253s | 18 | 1464985 | 327252 | 22800 32 | 212 | 368 258.15/258.21 c 255s | 18 | 1474031 | 330052 | 22800 32 | 212 | 368 260.15/260.29 c 258s | 18 | 1482997 | 332952 | 22800 32 | 212 | 368 262.25/262.32 c 260s | 18 | 1491113 | 335152 | 22800 32 | 212 | 368 264.25/264.35 c 262s | 18 | 1500183 | 337652 | 22800 32 | 212 | 368 266.35/266.40 c 264s | 18 | 1508112 | 340252 | 22800 33 | 212 | 368 268.36/268.43 c 266s | 18 | 1517992 | 342752 | 22800 33 | 212 | 368 270.35/270.48 c 268s | 18 | 1528493 | 345652 | 22800 33 | 212 | 368 272.45/272.55 c 270s | 18 | 1537892 | 348152 | 22800 33 | 212 | 368 274.55/274.64 c 272s | 18 | 1547351 | 350552 | 22800 33 | 212 | 368 276.55/276.67 c 274s | 18 | 1556403 | 352952 | 22800 34 | 212 | 368 278.65/278.71 c 276s | 18 | 1567731 | 355552 | 22800 34 | 212 | 368 280.65/280.76 c 278s | 18 | 1583035 | 358452 | 22800 34 | 212 | 368 282.65/282.77 c 280s | 18 | 1592198 | 360952 | 22800 34 | 212 | 368 284.74/284.80 c 282s | 18 | 1599042 | 362952 | 22800 34 | 212 | 368 287.45/287.50 c 285s | 18 | 1607812 | 365152 | 22800 35 | 212 | 368 289.45/289.51 c 287s | 18 | 1616670 | 367552 | 22800 35 | 212 | 368 291.46/291.51 c 289s | 18 | 1626343 | 370252 | 22800 35 | 212 | 368 293.45/293.56 c 291s | 18 | 1634904 | 372452 | 22800 35 | 212 | 368 295.45/295.57 c 293s | 18 | 1643850 | 374452 | 22800 35 | 212 | 368 297.55/297.64 c 295s | 18 | 1651664 | 376652 | 22800 35 | 212 | 368 299.55/299.67 c 297s | 18 | 1659325 | 378852 | 22800 36 | 212 | 368 302.35/302.48 c 300s | 18 | 1670039 | 381652 | 22800 36 | 212 | 368 304.44/304.54 c 302s | 18 | 1680543 | 384652 | 22800 36 | 212 | 368 306.44/306.56 c 304s | 18 | 1691667 | 387552 | 22800 36 | 212 | 368 308.74/308.87 c 306s | 18 | 1700808 | 390152 | 22800 37 | 212 | 368 310.84/310.91 c 308s | 18 | 1711051 | 393252 | 22800 37 | 212 | 368 312.84/312.99 c 310s | 18 | 1719814 | 395852 | 22800 37 | 212 | 368 314.94/315.05 c 312s | 18 | 1727487 | 398352 | 22800 37 | 212 | 368 316.94/317.07 c 314s | 18 | 1735937 | 401252 | 22800 37 | 212 | 368 319.05/319.12 c 316s | 18 | 1740710 | 402852 | 22800 38 | 212 | 368 321.04/321.19 c 318s | 18 | 1751451 | 405452 | 22800 38 | 212 | 368 323.14/323.22 c 320s | 18 | 1762854 | 408152 | 22800 38 | 212 | 368 325.24/325.30 c 323s | 18 | 1771991 | 410752 | 22800 38 | 212 | 368 327.24/327.34 c 325s | 18 | 1781639 | 413152 | 22800 38 | 212 | 368 329.33/329.46 c 327s | 18 | 1790558 | 415252 | 22800 39 | 212 | 368 331.43/331.50 c 329s | 18 | 1800577 | 418052 | 22800 39 | 212 | 368 333.43/333.53 c 331s | 18 | 1809330 | 420552 | 22800 39 | 212 | 368 335.44/335.54 c 333s | 18 | 1820079 | 422952 | 22800 39 | 212 | 368 337.43/337.56 c 335s | 18 | 1831465 | 425352 | 22800 39 | 212 | 368 339.63/339.78 c 337s | 18 | 1839679 | 427552 | 22800 40 | 212 | 368 341.74/341.82 c 339s | 18 | 1852232 | 430352 | 22800 40 | 212 | 368 343.74/343.83 c 341s | 18 | 1861701 | 432752 | 22800 40 | 212 | 368 345.84/345.90 c 343s | 18 | 1872600 | 435452 | 22800 40 | 212 | 368 347.84/347.95 c 345s | 18 | 1882181 | 437852 | 22800 40 | 212 | 368 349.94/350.03 c 347s | 18 | 1890734 | 440252 | 25081 40 | 212 | 368 351.95/352.09 c 349s | 18 | 1898016 | 442352 | 25081 41 | 212 | 368 353.94/354.03 c 351s | 19 | 1905736 | 444482 | 25081 41 | 212 | 368 356.14/356.24 c 353s | 19 | 1913019 | 445882 | 25081 41 | 212 | 368 358.14/358.27 c 356s | 19 | 1920677 | 447582 | 25081 41 | 212 | 368 360.24/360.32 c 358s | 19 | 1931959 | 449982 | 25081 41 | 212 | 368 362.33/362.42 c 360s | 19 | 1942048 | 452282 | 25081 41 | 212 | 368 364.33/364.46 c 362s | 19 | 1948886 | 454082 | 25081 41 | 212 | 368 366.63/366.74 c 364s | 19 | 1956708 | 455882 | 25081 42 | 212 | 368 368.63/368.77 c 366s | 19 | 1967261 | 458282 | 25081 42 | 212 | 368 370.74/370.81 c 368s | 19 | 1978686 | 460882 | 25081 42 | 212 | 368 372.73/372.85 c 370s | 19 | 1990758 | 463382 | 25081 42 | 212 | 368 374.73/374.86 c 372s | 19 | 1999511 | 465882 | 25081 42 | 212 | 368 376.83/376.91 c 374s | 19 | 2008180 | 468082 | 25081 42 | 212 | 368 378.83/378.98 c 376s | 19 | 2017507 | 470282 | 25081 43 | 212 | 368 380.93/381.08 c 378s | 19 | 2026749 | 472582 | 25081 43 | 212 | 368 383.13/383.21 c 380s | 19 | 2036286 | 475082 | 25081 43 | 212 | 368 385.13/385.27 c 383s | 19 | 2046767 | 477182 | 25081 43 | 212 | 368 387.14/387.30 c 385s | 19 | 2055549 | 479382 | 25081 43 | 212 | 368 389.23/389.38 c 387s | 19 | 2065037 | 481482 | 25081 43 | 212 | 368 391.33/391.42 c 389s | 19 | 2071719 | 483182 | 25081 44 | 212 | 368 393.53/393.66 c 391s | 19 | 2082057 | 485682 | 25081 44 | 212 | 368 395.63/395.73 c 393s | 19 | 2091761 | 487782 | 25081 44 | 212 | 368 397.63/397.74 c 395s | 19 | 2099670 | 489982 | 25081 44 | 212 | 368 399.73/399.81 c 397s | 19 | 2107876 | 492082 | 25081 44 | 212 | 368 401.73/401.82 c 399s | 19 | 2115826 | 494182 | 25081 44 | 212 | 368 403.73/403.88 c 401s | 19 | 2124479 | 496082 | 25081 44 | 212 | 368 405.73/405.88 c 403s | 19 | 2132697 | 498182 | 25081 45 | 212 | 368 407.73/407.89 c 405s | 19 | 2141437 | 500482 | 25081 45 | 212 | 368 409.82/409.90 c 407s | 19 | 2150632 | 502882 | 25081 45 | 212 | 368 411.82/411.95 c 409s | 19 | 2159635 | 505182 | 25081 45 | 212 | 368 413.92/414.02 c 411s | 19 | 2167368 | 507382 | 25081 45 | 212 | 368 415.92/416.05 c 413s | 19 | 2176263 | 509582 | 25081 45 | 212 | 368 418.32/418.47 c 416s | 19 | 2181643 | 510982 | 25081 46 | 212 | 368 420.32/420.50 c 418s | 19 | 2188556 | 512782 | 25081 46 | 212 | 368 422.43/422.59 c 420s | 19 | 2198698 | 515282 | 25081 46 | 212 | 368 424.53/424.67 c 422s | 19 | 2207634 | 517582 | 25081 46 | 212 | 368 426.62/426.74 c 424s | 19 | 2217822 | 519782 | 25081 46 | 212 | 368 428.62/428.77 c 426s | 19 | 2227969 | 522082 | 25081 46 | 212 | 368 430.82/430.94 c 428s | 19 | 2237096 | 524182 | 25081 47 | 212 | 368 432.92/433.00 c 430s | 19 | 2248940 | 526882 | 25081 47 | 212 | 368 436.33/436.49 c 434s | 19 | 2258401 | 529682 | 25081 47 | 212 | 368 438.43/438.57 c 436s | 19 | 2269716 | 532482 | 25081 47 | 212 | 368 440.53/440.61 c 438s | 19 | 2283059 | 535482 | 25081 47 | 212 | 368 442.83/442.93 c 440s | 19 | 2294615 | 538082 | 25081 48 | 212 | 368 444.83/444.99 c 442s | 19 | 2305732 | 541082 | 25081 48 | 212 | 368 446.93/447.05 c 444s | 19 | 2315293 | 543882 | 25081 48 | 212 | 368 448.92/449.06 c 446s | 19 | 2324561 | 546482 | 25081 48 | 212 | 368 451.03/451.14 c 448s | 19 | 2335321 | 549182 | 25081 48 | 212 | 368 453.13/453.24 c 450s | 19 | 2344671 | 551582 | 25081 49 | 212 | 368 455.12/455.29 c 453s | 19 | 2356358 | 554582 | 25081 49 | 212 | 368 457.12/457.30 c 455s | 19 | 2368207 | 557382 | 25081 49 | 212 | 368 459.22/459.34 c 457s | 19 | 2374395 | 558982 | 25081 49 | 212 | 368 461.32/461.40 c 459s | 19 | 2382875 | 561182 | 25081 49 | 212 | 368 463.32/463.41 c 461s | 19 | 2392052 | 563882 | 25081 49 | 212 | 368 465.33/465.48 c 463s | 19 | 2402828 | 566382 | 25081 50 | 212 | 368 467.43/467.50 c 465s | 19 | 2411558 | 568682 | 25081 50 | 212 | 368 469.42/469.54 c 467s | 19 | 2421029 | 571282 | 25081 50 | 212 | 368 471.42/471.58 c 469s | 19 | 2428381 | 573682 | 25081 50 | 212 | 368 473.52/473.61 c 471s | 19 | 2434399 | 575482 | 25081 50 | 212 | 368 475.52/475.61 c 473s | 19 | 2441710 | 577582 | 25081 50 | 212 | 368 477.62/477.70 c 475s | 19 | 2449091 | 579582 | 25081 51 | 212 | 368 479.62/479.75 c 477s | 19 | 2461188 | 582382 | 25081 51 | 212 | 368 481.72/481.81 c 479s | 19 | 2470842 | 584882 | 25081 51 | 212 | 368 483.71/483.82 c 481s | 19 | 2481351 | 587282 | 25081 51 | 212 | 368 485.71/485.89 c 483s | 19 | 2491516 | 589682 | 25081 51 | 212 | 368 487.91/488.00 c 485s | 19 | 2502784 | 592082 | 25081 51 | 212 | 368 489.91/490.07 c 487s | 19 | 2512549 | 593982 | 25081 52 | 212 | 368 492.01/492.16 c 489s | 19 | 2521414 | 596082 | 25081 52 | 212 | 368 494.11/494.24 c 491s | 19 | 2530240 | 598282 | 25081 52 | 212 | 368 496.21/496.35 c 494s | 19 | 2537321 | 600282 | 25081 52 | 212 | 368 498.32/498.42 c 496s | 19 | 2545156 | 602282 | 25081 52 | 212 | 368 500.31/500.45 c 498s | 19 | 2550664 | 603882 | 25081 52 | 212 | 368 502.41/502.51 c 500s | 19 | 2556752 | 605482 | 25081 52 | 212 | 368 504.41/504.58 c 502s | 19 | 2564443 | 607482 | 25081 53 | 212 | 368 506.51/506.64 c 504s | 19 | 2572990 | 609782 | 25081 53 | 212 | 368 509.51/509.69 c 507s | 19 | 2578381 | 611282 | 25081 53 | 212 | 368 511.61/511.77 c 509s | 19 | 2586952 | 613482 | 25081 53 | 212 | 368 513.61/513.78 c 511s | 19 | 2595868 | 615682 | 25081 53 | 212 | 368 515.71/515.85 c 513s | 19 | 2603558 | 617782 | 25081 53 | 212 | 368 517.91/518.04 c 515s | 19 | 2612773 | 619882 | 25081 54 | 212 | 368 519.91/520.10 c 517s | 19 | 2620637 | 621882 | 25081 54 | 212 | 368 522.01/522.10 c 519s | 19 | 2630654 | 624682 | 25081 54 | 212 | 368 524.01/524.17 c 521s | 19 | 2639698 | 627282 | 25081 54 | 212 | 368 526.11/526.20 c 523s | 19 | 2650507 | 629882 | 25081 54 | 212 | 368 528.11/528.24 c 525s | 19 | 2660921 | 632482 | 25081 54 | 212 | 368 530.12/530.24 c 527s | 19 | 2667444 | 634282 | 25081 55 | 212 | 368 532.11/532.26 c 530s | 19 | 2677083 | 637082 | 25081 55 | 212 | 368 534.21/534.32 c 532s | 19 | 2687588 | 639782 | 25081 55 | 212 | 368 536.21/536.35 c 534s | 19 | 2698033 | 642382 | 25081 55 | 212 | 368 538.31/538.43 c 536s | 19 | 2709492 | 644982 | 25081 55 | 212 | 368 540.61/540.77 c 538s | 19 | 2718096 | 647182 | 25081 56 | 212 | 368 542.71/542.80 c 540s | 19 | 2726049 | 649382 | 25081 56 | 212 | 368 544.71/544.85 c 542s | 19 | 2737613 | 652582 | 25081 56 | 212 | 368 546.81/546.92 c 544s | 19 | 2749237 | 655582 | 25081 56 | 212 | 368 548.81/548.96 c 546s | 19 | 2758500 | 658182 | 25081 56 | 212 | 368 550.91/551.05 c 548s | 19 | 2766923 | 660582 | 27590 56 | 212 | 368 552.91/553.05 c 550s | 19 | 2773842 | 662782 | 27590 56 | 212 | 368 554.91/555.07 c 552s | 19 | 2780476 | 664682 | 27590 57 | 212 | 368 556.91/557.02 c 554s | 20 | 2787647 | 666827 | 27590 57 | 212 | 368 558.91/559.09 c 556s | 20 | 2793740 | 668927 | 27590 57 | 212 | 368 562.01/562.20 c 559s | 20 | 2794842 | 669327 | 27590 57 | 212 | 368 564.10/564.21 c 561s | 20 | 2803867 | 671627 | 27590 57 | 212 | 368 566.10/566.24 c 563s | 20 | 2814788 | 674427 | 27590 57 | 212 | 368 568.10/568.26 c 566s | 20 | 2822830 | 676827 | 27590 57 | 212 | 368 570.20/570.33 c 568s | 20 | 2828396 | 678527 | 27590 58 | 212 | 368 572.21/572.39 c 570s | 20 | 2835643 | 681027 | 27590 58 | 212 | 368 574.30/574.44 c 572s | 20 | 2838089 | 681727 | 27590 58 | 212 | 368 576.31/576.44 c 574s | 20 | 2847002 | 684427 | 27590 58 | 212 | 368 578.30/578.50 c 576s | 20 | 2854752 | 687027 | 27590 58 | 212 | 368 580.40/580.52 c 578s | 20 | 2862135 | 689327 | 27590 58 | 212 | 368 582.40/582.53 c 580s | 20 | 2869831 | 691627 | 27590 58 | 212 | 368 584.40/584.54 c 582s | 20 | 2875494 | 693227 | 27590 59 | 212 | 368 586.40/586.56 c 584s | 20 | 2884987 | 695427 | 27590 59 | 212 | 368 588.41/588.56 c 586s | 20 | 2894309 | 698027 | 27590 59 | 212 | 368 590.40/590.60 c 588s | 20 | 2903554 | 700427 | 27590 59 | 212 | 368 592.50/592.61 c 590s | 20 | 2909797 | 702127 | 27590 59 | 212 | 368 594.50/594.64 c 592s | 20 | 2920094 | 704727 | 27590 59 | 212 | 368 596.50/596.69 c 594s | 20 | 2928840 | 706927 | 27590 59 | 212 | 368 598.60/598.72 c 596s | 20 | 2936661 | 708827 | 27590 60 | 212 | 368 600.60/600.74 c 598s | 20 | 2942910 | 710327 | 27590 60 | 212 | 368 602.60/602.79 c 600s | 20 | 2954663 | 712927 | 27590 60 | 212 | 368 604.70/604.82 c 602s | 20 | 2966500 | 715527 | 27590 60 | 212 | 368 606.69/606.84 c 604s | 20 | 2977025 | 717927 | 27590 60 | 212 | 368 608.69/608.85 c 606s | 20 | 2985069 | 720127 | 27590 60 | 212 | 368 610.79/610.92 c 608s | 20 | 2993792 | 722027 | 27590 60 | 212 | 368 612.79/612.94 c 610s | 20 | 3001609 | 723927 | 27590 61 | 212 | 368 614.90/615.02 c 612s | 20 | 3007815 | 725627 | 27590 61 | 212 | 368 616.89/617.04 c 614s | 20 | 3019934 | 728127 | 27590 61 | 212 | 368 618.89/619.06 c 616s | 20 | 3030501 | 730727 | 27590 61 | 212 | 368 620.99/621.18 c 618s | 20 | 3041267 | 733427 | 27590 61 | 212 | 368 623.09/623.21 c 620s | 20 | 3050224 | 735727 | 27590 61 | 212 | 368 625.09/625.27 c 623s | 20 | 3059291 | 737827 | 27590 62 | 212 | 368 627.19/627.30 c 625s | 20 | 3068904 | 740327 | 27590 62 | 212 | 368 629.29/629.40 c 627s | 20 | 3079551 | 742927 | 27590 62 | 212 | 368 631.30/631.45 c 629s | 20 | 3088305 | 745327 | 27590 62 | 212 | 368 633.29/633.48 c 631s | 20 | 3098621 | 747627 | 27590 62 | 212 | 368 635.29/635.49 c 633s | 20 | 3109882 | 749827 | 27590 62 | 212 | 368 637.39/637.52 c 635s | 20 | 3118672 | 752027 | 27590 62 | 212 | 368 639.39/639.53 c 637s | 20 | 3129350 | 754127 | 27590 63 | 212 | 368 641.50/641.61 c 639s | 20 | 3140148 | 756527 | 27590 63 | 212 | 368 643.50/643.63 c 641s | 20 | 3149507 | 758927 | 27590 63 | 212 | 368 645.49/645.67 c 643s | 20 | 3160157 | 761327 | 27590 63 | 212 | 368 647.49/647.68 c 645s | 20 | 3172413 | 763827 | 27590 63 | 212 | 368 649.59/649.71 c 647s | 20 | 3180625 | 765927 | 27590 63 | 212 | 368 651.69/651.80 c 649s | 20 | 3191271 | 768027 | 27590 64 | 212 | 368 653.69/653.84 c 651s | 20 | 3202388 | 770727 | 27590 64 | 212 | 368 655.69/655.86 c 653s | 20 | 3209552 | 772727 | 27590 64 | 212 | 368 657.70/657.87 c 655s | 20 | 3219903 | 775427 | 27590 64 | 212 | 368 659.79/659.93 c 657s | 20 | 3229103 | 777727 | 27590 64 | 212 | 368 661.79/661.98 c 659s | 20 | 3237763 | 780227 | 27590 64 | 212 | 368 663.89/664.09 c 661s | 20 | 3245725 | 782227 | 27590 65 | 212 | 368 665.99/666.17 c 663s | 20 | 3251006 | 783827 | 27590 65 | 212 | 368 668.09/668.20 c 665s | 20 | 3259908 | 786327 | 27590 65 | 212 | 368 670.19/670.30 c 668s | 20 | 3266826 | 788727 | 27590 65 | 212 | 368 672.18/672.36 c 670s | 20 | 3276034 | 791127 | 27590 65 | 212 | 368 674.19/674.39 c 672s | 20 | 3283830 | 793327 | 27590 65 | 212 | 368 676.28/676.41 c 674s | 20 | 3291682 | 795427 | 27590 65 | 212 | 368 678.28/678.49 c 676s | 20 | 3298240 | 797327 | 27590 66 | 212 | 368 680.38/680.54 c 678s | 20 | 3304037 | 799427 | 27590 66 | 212 | 368 682.48/682.61 c 680s | 20 | 3315343 | 802127 | 27590 66 | 212 | 368 684.48/684.64 c 682s | 20 | 3325013 | 804627 | 27590 66 | 212 | 368 686.48/686.69 c 684s | 20 | 3333308 | 806827 | 27590 66 | 212 | 368 688.49/688.69 c 686s | 20 | 3342535 | 809227 | 27590 66 | 212 | 368 690.58/690.75 c 688s | 20 | 3351558 | 811527 | 27590 66 | 212 | 368 692.68/692.82 c 690s | 20 | 3360078 | 813827 | 27590 67 | 212 | 368 694.98/695.10 c 692s | 20 | 3370746 | 816527 | 27590 67 | 212 | 368 696.98/697.16 c 694s | 20 | 3379166 | 819427 | 27590 67 | 212 | 368 698.99/699.18 c 696s | 20 | 3387513 | 822127 | 27590 67 | 212 | 368 700.99/701.18 c 698s | 20 | 3397038 | 824527 | 27590 67 | 212 | 368 703.09/703.27 c 701s | 20 | 3405371 | 826727 | 27590 67 | 212 | 368 705.19/705.30 c 703s | 20 | 3415042 | 829327 | 27590 68 | 212 | 368 707.19/707.35 c 705s | 20 | 3422337 | 831827 | 27590 68 | 212 | 368 709.49/709.63 c 707s | 20 | 3424634 | 832627 | 27590 68 | 212 | 368 711.59/711.76 c 709s | 20 | 3427080 | 833227 | 27590 68 | 212 | 368 713.68/713.83 c 711s | 20 | 3435951 | 835227 | 27590 68 | 212 | 368 715.68/715.88 c 713s | 20 | 3447213 | 838027 | 27590 68 | 212 | 368 717.78/717.92 c 715s | 20 | 3458562 | 840727 | 27590 68 | 212 | 368 719.88/720.03 c 717s | 20 | 3465080 | 842527 | 27590 69 | 212 | 368 721.88/722.07 c 719s | 20 | 3473695 | 844827 | 27590 69 | 212 | 368 723.98/724.11 c 721s | 20 | 3482513 | 847327 | 27590 69 | 212 | 368 725.98/726.12 c 723s | 20 | 3491216 | 849827 | 27590 69 | 212 | 368 727.98/728.14 c 725s | 20 | 3498063 | 852027 | 27590 69 | 212 | 368 729.97/730.17 c 727s | 20 | 3506562 | 854627 | 27590 69 | 212 | 368 732.07/732.22 c 729s | 20 | 3515357 | 857227 | 27590 70 | 212 | 368 734.07/734.23 c 731s | 20 | 3526308 | 860127 | 27590 70 | 212 | 368 736.07/736.24 c 733s | 20 | 3535699 | 862827 | 27590 70 | 212 | 368 738.08/738.25 c 735s | 20 | 3544979 | 865627 | 27590 70 | 212 | 368 740.18/740.31 c 738s | 20 | 3554973 | 867927 | 27590 70 | 212 | 368 742.17/742.37 c 740s | 20 | 3564849 | 870827 | 27590 70 | 212 | 368 744.27/744.42 c 742s | 20 | 3569637 | 872127 | 27590 71 | 212 | 368 746.28/746.47 c 744s | 20 | 3579288 | 874727 | 27590 71 | 212 | 368 748.28/748.49 c 746s | 20 | 3590089 | 877327 | 27590 71 | 212 | 368 750.38/750.54 c 748s | 20 | 3602911 | 880227 | 27590 71 | 212 | 368 752.38/752.58 c 750s | 20 | 3613256 | 883027 | 27590 71 | 212 | 368 754.38/754.60 c 752s | 20 | 3623684 | 885727 | 27590 71 | 212 | 368 756.48/756.62 c 754s | 20 | 3633489 | 888227 | 27590 72 | 212 | 368 758.47/758.70 c 756s | 20 | 3643987 | 890927 | 27590 72 | 212 | 368 762.37/762.57 c 760s | 20 | 3650229 | 893127 | 27590 72 | 212 | 368 764.38/764.60 c 762s | 20 | 3653313 | 894127 | 27590 72 | 212 | 368 766.47/766.63 c 764s | 20 | 3659264 | 896327 | 27590 72 | 212 | 368 768.47/768.65 c 766s | 20 | 3664279 | 897727 | 27590 72 | 212 | 368 770.47/770.66 c 768s | 20 | 3671382 | 899627 | 27590 72 | 212 | 368 772.57/772.75 c 770s | 20 | 3680094 | 901627 | 27590 73 | 212 | 368 774.57/774.79 c 772s | 20 | 3689166 | 903727 | 27590 73 | 212 | 368 776.67/776.83 c 774s | 20 | 3701204 | 906827 | 27590 73 | 212 | 368 778.68/778.90 c 776s | 20 | 3710840 | 909527 | 27590 73 | 212 | 368 780.77/780.95 c 778s | 20 | 3717015 | 911927 | 27590 73 | 212 | 368 782.87/783.06 c 780s | 20 | 3724023 | 914027 | 27590 73 | 212 | 368 784.87/785.10 c 782s | 20 | 3734667 | 916427 | 27590 74 | 212 | 368 786.97/787.13 c 784s | 20 | 3741373 | 918327 | 27590 74 | 212 | 368 788.97/789.18 c 786s | 20 | 3752506 | 921027 | 27590 74 | 212 | 368 791.07/791.21 c 788s | 20 | 3759435 | 923127 | 27590 74 | 212 | 368 793.07/793.26 c 791s | 20 | 3768833 | 925327 | 27590 74 | 212 | 368 795.07/795.26 c 793s | 20 | 3777572 | 927127 | 27590 74 | 212 | 368 797.17/797.37 c 795s | 20 | 3785297 | 929227 | 27590 74 | 212 | 368 799.16/799.39 c 797s | 20 | 3791772 | 931027 | 27590 74 | 212 | 368 801.26/801.45 c 799s | 20 | 3800594 | 933227 | 27590 75 | 212 | 368 803.26/803.47 c 801s | 20 | 3811299 | 935627 | 27590 75 | 212 | 368 805.36/805.53 c 803s | 20 | 3819629 | 937927 | 27590 75 | 212 | 368 807.37/807.59 c 805s | 20 | 3829148 | 939927 | 27590 75 | 212 | 368 809.47/809.65 c 807s | 20 | 3837380 | 942127 | 27590 75 | 212 | 368 811.56/811.73 c 809s | 20 | 3845043 | 944227 | 27590 75 | 212 | 368 813.56/813.75 c 811s | 20 | 3852392 | 946127 | 27590 76 | 212 | 368 815.56/815.78 c 813s | 20 | 3859997 | 948427 | 27590 76 | 212 | 368 817.66/817.80 c 815s | 20 | 3867835 | 950627 | 27590 76 | 212 | 368 819.66/819.82 c 817s | 20 | 3876590 | 952527 | 27590 76 | 212 | 368 821.67/821.89 c 819s | 20 | 3884448 | 954427 | 27590 76 | 212 | 368 824.06/824.25 c 821s | 20 | 3893736 | 956227 | 27590 76 | 212 | 368 826.07/826.29 c 824s | 20 | 3897177 | 957127 | 27590 76 | 212 | 368 828.17/828.36 c 826s | 20 | 3905748 | 959127 | 27590 76 | 212 | 368 830.37/830.53 c 828s | 20 | 3914030 | 961027 | 27590 77 | 212 | 368 832.36/832.56 c 830s | 20 | 3921922 | 963027 | 27590 77 | 212 | 368 834.46/834.62 c 832s | 20 | 3933148 | 965927 | 27590 77 | 212 | 368 836.46/836.66 c 834s | 20 | 3943345 | 968727 | 27590 77 | 212 | 368 838.56/838.71 c 836s | 20 | 3953069 | 971127 | 27590 77 | 212 | 368 840.56/840.71 c 838s | 20 | 3960107 | 973327 | 27590 77 | 212 | 368 842.57/842.78 c 840s | 20 | 3966640 | 975427 | 27590 77 | 212 | 368 844.67/844.84 c 842s | 20 | 3973188 | 977527 | 27590 78 | 212 | 368 846.76/846.91 c 844s | 20 | 3979360 | 979827 | 27590 78 | 212 | 368 848.76/848.93 c 846s | 20 | 3986065 | 981527 | 27590 78 | 212 | 368 850.86/851.00 c 848s | 20 | 3996532 | 984027 | 27590 78 | 212 | 368 853.25/853.49 c 851s | 20 | 3998862 | 984727 | 27590 78 | 212 | 368 855.35/855.50 c 853s | 20 | 4009659 | 987427 | 27590 78 | 212 | 368 857.35/857.51 c 855s | 20 | 4019595 | 990027 | 27590 78 | 212 | 368 859.35/859.51 c 857s | 20 | 4029982 | 992727 | 30350 78 | 212 | 368 861.56/861.74 c 859s | 20 | 4033763 | 993827 | 30350 79 | 212 | 368 863.56/863.79 c 861s | 20 | 4043718 | 996827 | 30350 79 | 212 | 368 865.67/865.85 c 863s | 20 | 4048039 | 998327 | 30350 79 | 212 | 368 867.16/867.37 c 865s | 21 | 4056635 | 1000345 | 30350 79 | 212 | 368 869.26/869.43 c 867s | 21 | 4068406 | 1002945 | 30350 79 | 212 | 368 871.26/871.47 c 869s | 21 | 4078808 | 1005745 | 30350 79 | 212 | 368 873.36/873.54 c 871s | 21 | 4088217 | 1008345 | 30350 79 | 212 | 368 875.36/875.60 c 873s | 21 | 4094163 | 1010445 | 30350 80 | 212 | 368 877.46/877.66 c 875s | 21 | 4101997 | 1012645 | 30350 80 | 212 | 368 879.56/879.75 c 877s | 21 | 4111098 | 1015245 | 30350 80 | 212 | 368 881.66/881.80 c 879s | 21 | 4120663 | 1017445 | 30350 80 | 212 | 368 883.65/883.89 c 881s | 21 | 4130199 | 1019645 | 30350 80 | 212 | 368 885.85/886.01 c 883s | 21 | 4137528 | 1021745 | 30350 80 | 212 | 368 887.85/888.07 c 885s | 21 | 4144918 | 1023745 | 30350 80 | 212 | 368 889.95/890.11 c 887s | 21 | 4152556 | 1025845 | 30350 80 | 212 | 368 891.96/892.13 c 889s | 21 | 4161035 | 1028045 | 30350 81 | 212 | 368 894.55/894.76 c 892s | 21 | 4166380 | 1029345 | 30350 81 | 212 | 368 896.65/896.83 c 894s | 21 | 4175449 | 1031945 | 30350 81 | 212 | 368 898.75/898.90 c 896s | 21 | 4184132 | 1034345 | 30350 81 | 212 | 368 900.76/900.97 c 898s | 21 | 4193449 | 1036645 | 30350 81 | 212 | 368 902.75/902.99 c 900s | 21 | 4201089 | 1038645 | 30350 81 | 212 | 368 904.85/905.02 c 902s | 21 | 4209544 | 1040645 | 30350 81 | 212 | 368 906.85/907.06 c 904s | 21 | 4217708 | 1042445 | 30350 81 | 212 | 368 908.85/909.06 c 906s | 21 | 4225961 | 1044445 | 30350 82 | 212 | 368 910.95/911.13 c 908s | 21 | 4235474 | 1047145 | 30350 82 | 212 | 368 912.95/913.16 c 910s | 21 | 4245564 | 1049645 | 30350 82 | 212 | 368 914.95/915.18 c 912s | 21 | 4254858 | 1052045 | 30350 82 | 212 | 368 918.15/918.39 c 916s | 21 | 4262451 | 1054145 | 30350 82 | 212 | 368 920.25/920.41 c 918s | 21 | 4271472 | 1056445 | 30350 82 | 212 | 368 922.25/922.45 c 920s | 21 | 4281029 | 1058845 | 30350 83 | 212 | 368 924.25/924.49 c 922s | 21 | 4289907 | 1060945 | 30350 83 | 212 | 368 926.35/926.55 c 924s | 21 | 4301213 | 1063845 | 30350 83 | 212 | 368 929.36/929.59 c 927s | 21 | 4309818 | 1065945 | 30350 83 | 212 | 368 931.45/931.61 c 929s | 21 | 4320387 | 1068445 | 30350 83 | 212 | 368 933.45/933.64 c 931s | 21 | 4330720 | 1070845 | 30350 83 | 212 | 368 935.45/935.66 c 933s | 21 | 4342395 | 1073445 | 30350 83 | 212 | 368 937.45/937.69 c 935s | 21 | 4350598 | 1075645 | 30350 84 | 212 | 368 939.55/939.74 c 937s | 21 | 4358372 | 1077745 | 30350 84 | 212 | 368 941.65/941.82 c 939s | 21 | 4367569 | 1080445 | 30350 84 | 212 | 368 943.65/943.82 c 941s | 21 | 4374394 | 1082745 | 30350 84 | 212 | 368 945.65/945.84 c 943s | 21 | 4381235 | 1084745 | 30350 84 | 212 | 368 947.65/947.86 c 945s | 21 | 4390930 | 1087445 | 30350 84 | 212 | 368 949.75/949.94 c 947s | 21 | 4398260 | 1089545 | 30350 84 | 212 | 368 952.34/952.57 c 950s | 21 | 4405254 | 1091645 | 30350 85 | 212 | 368 954.54/954.78 c 952s | 21 | 4413080 | 1093745 | 30350 85 | 212 | 368 956.54/956.79 c 954s | 21 | 4421685 | 1096145 | 30350 85 | 212 | 368 958.64/958.84 c 956s | 21 | 4429249 | 1098245 | 30350 85 | 212 | 368 960.64/960.89 c 958s | 21 | 4437430 | 1100545 | 30350 85 | 212 | 368 962.74/962.96 c 960s | 21 | 4446902 | 1102945 | 30350 85 | 212 | 368 965.75/965.97 c 963s | 21 | 4448667 | 1103645 | 30350 85 | 212 | 368 967.85/968.04 c 965s | 21 | 4456614 | 1105545 | 30350 85 | 212 | 368 969.85/970.04 c 967s | 21 | 4463699 | 1107645 | 30350 85 | 212 | 368 971.94/972.10 c 969s | 21 | 4464544 | 1107845 | 30350 86 | 212 | 368 973.94/974.15 c 971s | 21 | 4477245 | 1110745 | 30350 86 | 212 | 368 975.94/976.18 c 973s | 21 | 4487275 | 1113445 | 30350 86 | 212 | 368 978.04/978.22 c 975s | 21 | 4496615 | 1115945 | 30350 86 | 212 | 368 980.05/980.25 c 977s | 21 | 4505131 | 1118345 | 30350 86 | 212 | 368 982.15/982.34 c 980s | 21 | 4513034 | 1120645 | 30350 86 | 212 | 368 984.14/984.36 c 982s | 21 | 4520113 | 1122845 | 30350 86 | 212 | 368 986.74/986.91 c 984s | 21 | 4525498 | 1124545 | 30350 87 | 212 | 368 988.75/988.93 c 986s | 21 | 4531381 | 1127045 | 30350 87 | 212 | 368 990.74/990.98 c 988s | 21 | 4539852 | 1129745 | 30350 87 | 212 | 368 992.84/993.05 c 990s | 21 | 4547804 | 1132345 | 30350 87 | 212 | 368 994.84/995.09 c 992s | 21 | 4555786 | 1135145 | 30350 87 | 212 | 368 996.94/997.18 c 994s | 21 | 4563498 | 1137745 | 30350 87 | 212 | 368 999.04/999.26 c 997s | 21 | 4573622 | 1140145 | 30350 87 | 212 | 368 1001.14/1001.36 c 999s | 21 | 4581446 | 1142245 | 30350 88 | 212 | 368 1003.24/1003.41 c 1001s | 21 | 4590941 | 1144845 | 30350 88 | 212 | 368 1005.34/1005.57 c 1003s | 21 | 4600206 | 1147545 | 30350 88 | 212 | 368 1007.44/1007.63 c 1005s | 21 | 4609763 | 1149945 | 30350 88 | 212 | 368 1009.44/1009.69 c 1007s | 21 | 4619694 | 1152545 | 30350 88 | 212 | 368 1011.54/1011.78 c 1009s | 21 | 4627926 | 1154945 | 30350 88 | 212 | 368 1013.74/1013.97 c 1011s | 21 | 4633298 | 1156945 | 30350 89 | 212 | 368 1015.84/1016.03 c 1013s | 21 | 4642440 | 1159545 | 30350 89 | 212 | 368 1018.33/1018.58 c 1016s | 21 | 4646925 | 1160945 | 30350 89 | 212 | 368 1020.43/1020.63 c 1018s | 21 | 4657426 | 1163745 | 30350 89 | 212 | 368 1022.43/1022.64 c 1020s | 21 | 4666271 | 1166245 | 30350 89 | 212 | 368 1024.43/1024.66 c 1022s | 21 | 4675545 | 1168645 | 30350 89 | 212 | 368 1026.53/1026.70 c 1024s | 21 | 4685228 | 1170945 | 30350 89 | 212 | 368 1028.53/1028.77 c 1026s | 21 | 4695895 | 1173345 | 30350 90 | 212 | 368 1030.54/1030.78 c 1028s | 21 | 4704235 | 1175445 | 30350 90 | 212 | 368 1032.63/1032.85 c 1030s | 21 | 4712449 | 1177745 | 30350 90 | 212 | 368 1034.63/1034.87 c 1032s | 21 | 4720205 | 1180045 | 30350 90 | 212 | 368 1036.73/1036.93 c 1034s | 21 | 4726820 | 1182045 | 30350 90 | 212 | 368 1038.73/1038.99 c 1036s | 21 | 4733127 | 1184245 | 30350 90 | 212 | 368 1040.83/1041.03 c 1038s | 21 | 4740399 | 1186445 | 30350 90 | 212 | 368 1042.93/1043.10 c 1040s | 21 | 4747117 | 1188745 | 30350 90 | 212 | 368 1044.93/1045.14 c 1042s | 21 | 4755748 | 1190945 | 30350 91 | 212 | 368 1046.92/1047.15 c 1044s | 21 | 4763118 | 1193345 | 30350 91 | 212 | 368 1048.92/1049.16 c 1046s | 21 | 4768578 | 1195445 | 30350 91 | 212 | 368 1052.54/1052.73 c 1050s | 21 | 4770769 | 1196445 | 30350 91 | 212 | 368 1054.63/1054.82 c 1052s | 21 | 4782250 | 1199145 | 30350 91 | 212 | 368 1056.63/1056.89 c 1054s | 21 | 4790718 | 1201745 | 30350 91 | 212 | 368 1058.73/1058.99 c 1056s | 21 | 4798727 | 1203845 | 30350 91 | 212 | 368 1060.93/1061.12 c 1058s | 21 | 4806971 | 1205745 | 30350 92 | 212 | 368 1062.93/1063.14 c 1060s | 21 | 4814912 | 1207645 | 30350 92 | 212 | 368 1064.93/1065.17 c 1062s | 21 | 4821383 | 1209245 | 30350 92 | 212 | 368 1067.02/1067.23 c 1064s | 21 | 4829935 | 1211645 | 30350 92 | 212 | 368 1069.03/1069.25 c 1066s | 21 | 4837261 | 1213945 | 30350 92 | 212 | 368 1071.02/1071.27 c 1069s | 21 | 4845843 | 1216345 | 30350 92 | 212 | 368 1073.12/1073.38 c 1071s | 21 | 4853159 | 1218545 | 30350 92 | 212 | 368 1075.12/1075.39 c 1073s | 21 | 4860164 | 1220645 | 30350 92 | 212 | 368 1077.22/1077.43 c 1075s | 21 | 4867390 | 1222545 | 30350 93 | 212 | 368 1079.22/1079.47 c 1077s | 21 | 4874268 | 1224445 | 30350 93 | 212 | 368 1083.93/1084.12 c 1081s | 21 | 4880061 | 1225945 | 30350 93 | 212 | 368 1086.02/1086.20 c 1083s | 21 | 4886752 | 1228245 | 30350 93 | 212 | 368 1088.02/1088.24 c 1085s | 21 | 4895421 | 1230745 | 30350 93 | 212 | 368 1090.03/1090.29 c 1088s | 21 | 4902354 | 1233345 | 30350 93 | 212 | 368 1092.13/1092.30 c 1090s | 21 | 4910343 | 1235645 | 30350 93 | 212 | 368 1094.62/1094.82 c 1092s | 21 | 4918446 | 1238145 | 30350 94 | 212 | 368 1096.63/1096.86 c 1094s | 21 | 4926562 | 1240245 | 30350 94 | 212 | 368 1098.62/1098.89 c 1096s | 21 | 4937639 | 1243445 | 30350 94 | 212 | 368 1100.72/1100.93 c 1098s | 21 | 4948673 | 1246445 | 30350 94 | 212 | 368 1102.72/1102.94 c 1100s | 21 | 4957623 | 1248745 | 30350 94 | 212 | 368 1104.72/1104.95 c 1102s | 21 | 4966778 | 1251245 | 30350 94 | 212 | 368 1106.81/1107.05 c 1104s | 21 | 4974689 | 1253545 | 30350 94 | 212 | 368 1108.81/1109.07 c 1106s | 21 | 4983336 | 1255445 | 30350 95 | 212 | 368 1110.82/1111.10 c 1108s | 21 | 4991863 | 1257845 | 30350 95 | 212 | 368 1112.91/1113.18 c 1110s | 21 | 4999878 | 1259845 | 30350 95 | 212 | 368 1115.01/1115.21 c 1112s | 21 | 5007695 | 1261945 | 30350 95 | 212 | 368 1117.01/1117.23 c 1114s | 21 | 5014602 | 1263945 | 30350 95 | 212 | 368 1119.01/1119.24 c 1116s | 21 | 5021386 | 1265645 | 30350 95 | 212 | 368 1121.01/1121.25 c 1118s | 21 | 5030134 | 1267745 | 30350 95 | 212 | 368 1123.11/1123.34 c 1121s | 21 | 5038400 | 1269945 | 30350 95 | 212 | 368 1125.11/1125.38 c 1123s | 21 | 5045478 | 1272145 | 30350 96 | 212 | 368 1127.21/1127.41 c 1125s | 21 | 5054263 | 1274545 | 30350 96 | 212 | 368 1129.30/1129.50 c 1127s | 21 | 5062131 | 1276845 | 30350 96 | 212 | 368 1131.40/1131.60 c 1129s | 21 | 5069021 | 1278745 | 30350 96 | 212 | 368 1133.40/1133.69 c 1131s | 21 | 5077193 | 1280745 | 30350 96 | 212 | 368 1135.50/1135.75 c 1133s | 21 | 5085204 | 1282745 | 30350 96 | 212 | 368 1137.50/1137.78 c 1135s | 21 | 5092495 | 1284745 | 30350 96 | 212 | 368 1139.59/1139.84 c 1137s | 21 | 5099025 | 1286545 | 30350 96 | 212 | 368 1141.60/1141.89 c 1139s | 21 | 5105075 | 1288245 | 30350 97 | 212 | 368 1145.39/1145.67 c 1143s | 21 | 5113891 | 1290645 | 30350 97 | 212 | 368 1147.49/1147.72 c 1145s | 21 | 5122901 | 1293245 | 30350 97 | 212 | 368 1149.60/1149.89 c 1147s | 21 | 5124248 | 1293745 | 30350 97 | 212 | 368 1151.70/1151.95 c 1149s | 21 | 5130116 | 1295945 | 30350 97 | 212 | 368 1153.80/1154.07 c 1151s | 21 | 5136971 | 1298045 | 30350 97 | 212 | 368 1155.80/1156.09 c 1153s | 21 | 5142778 | 1300045 | 30350 97 | 212 | 368 1157.89/1158.12 c 1155s | 21 | 5149530 | 1301945 | 30350 97 | 212 | 368 1159.89/1160.13 c 1157s | 21 | 5155536 | 1303745 | 30350 98 | 212 | 368 1161.89/1162.17 c 1159s | 21 | 5163384 | 1306245 | 30350 98 | 212 | 368 1163.89/1164.19 c 1161s | 21 | 5171022 | 1308745 | 30350 98 | 212 | 368 1165.99/1166.24 c 1163s | 21 | 5177512 | 1311045 | 30350 98 | 212 | 368 1168.00/1168.27 c 1166s | 21 | 5183858 | 1313145 | 30350 98 | 212 | 368 1170.09/1170.35 c 1168s | 21 | 5189480 | 1314845 | 30350 98 | 212 | 368 1172.09/1172.37 c 1170s | 21 | 5194417 | 1316545 | 30350 98 | 212 | 368 1174.19/1174.45 c 1172s | 21 | 5199693 | 1318245 | 30350 98 | 212 | 368 1176.29/1176.57 c 1174s | 21 | 5204859 | 1319945 | 30350 99 | 212 | 368 1178.38/1178.62 c 1176s | 21 | 5210467 | 1321845 | 30350 99 | 212 | 368 1180.38/1180.62 c 1178s | 21 | 5216587 | 1323945 | 30350 99 | 212 | 368 1182.48/1182.75 c 1180s | 21 | 5221880 | 1325645 | 30350 99 | 212 | 368 1184.59/1184.83 c 1182s | 21 | 5228598 | 1327745 | 30350 99 | 212 | 368 1186.58/1186.89 c 1184s | 21 | 5236419 | 1329945 | 30350 99 | 212 | 368 1188.68/1188.97 c 1186s | 21 | 5243278 | 1332045 | 30350 99 | 212 | 368 1190.78/1191.05 c 1188s | 21 | 5249329 | 1333945 | 30350 99 | 212 | 368 1192.88/1193.14 c 1190s | 21 | 5255209 | 1335845 | 30350 99 | 212 | 368 1195.08/1195.30 c 1193s | 21 | 5261318 | 1337745 | 30350 100 | 212 | 368 1197.08/1197.34 c 1195s | 21 | 5267096 | 1339745 | 30350 100 | 212 | 368 1199.17/1199.42 c 1197s | 21 | 5274125 | 1341945 | 30350 100 | 212 | 368 1201.17/1201.49 c 1199s | 21 | 5282792 | 1344345 | 30350 100 | 212 | 368 1203.28/1203.51 c 1201s | 21 | 5291102 | 1346545 | 30350 100 | 212 | 368 1205.27/1205.54 c 1203s | 21 | 5299098 | 1348745 | 30350 100 | 212 | 368 1207.37/1207.64 c 1205s | 21 | 5307397 | 1350845 | 30350 100 | 212 | 368 1209.56/1209.87 c 1207s | 21 | 5312707 | 1352545 | 30350 101 | 212 | 368 1211.67/1211.90 c 1209s | 21 | 5319671 | 1354445 | 30350 101 | 212 | 368 1213.67/1213.98 c 1211s | 21 | 5326760 | 1356445 | 30350 101 | 212 | 368 1215.77/1216.05 c 1213s | 21 | 5335689 | 1358845 | 30350 101 | 212 | 368 1217.76/1218.08 c 1215s | 21 | 5343442 | 1361345 | 30350 101 | 212 | 368 1219.86/1220.14 c 1217s | 21 | 5349176 | 1363545 | 30350 101 | 212 | 368 1221.87/1222.16 c 1219s | 21 | 5356076 | 1365545 | 30350 101 | 212 | 368 1226.27/1226.53 c 1224s | 21 | 5362444 | 1367345 | 30350 101 | 212 | 368 1228.56/1228.85 c 1226s | 21 | 5364164 | 1367845 | 30350 101 | 212 | 368 1230.66/1230.92 c 1228s | 21 | 5369431 | 1369445 | 30350 102 | 212 | 368 1232.65/1232.98 c 1230s | 21 | 5376870 | 1372145 | 30350 102 | 212 | 368 1234.75/1235.05 c 1232s | 21 | 5386931 | 1375045 | 30350 102 | 212 | 368 1236.75/1237.07 c 1234s | 21 | 5395095 | 1377645 | 30350 102 | 212 | 368 1238.75/1239.08 c 1236s | 21 | 5404533 | 1380345 | 30350 102 | 212 | 368 1240.75/1241.09 c 1238s | 21 | 5413320 | 1382945 | 30350 102 | 212 | 368 1242.95/1243.23 c 1240s | 21 | 5421513 | 1385445 | 30350 103 | 212 | 368 1245.06/1245.31 c 1243s | 21 | 5430246 | 1388145 | 30350 103 | 212 | 368 1247.05/1247.34 c 1245s | 21 | 5434933 | 1390045 | 30350 103 | 212 | 368 1249.14/1249.40 c 1247s | 21 | 5442428 | 1392645 | 30350 103 | 212 | 368 1251.14/1251.41 c 1249s | 21 | 5448875 | 1395245 | 30350 103 | 212 | 368 1253.14/1253.42 c 1251s | 21 | 5456883 | 1397845 | 30350 103 | 212 | 368 1255.14/1255.47 c 1253s | 21 | 5461969 | 1399945 | 30350 103 | 212 | 368 1257.15/1257.48 c 1255s | 21 | 5466714 | 1401945 | 30350 104 | 212 | 368 1260.45/1260.73 c 1258s | 21 | 5468433 | 1402645 | 30350 104 | 212 | 368 1262.44/1262.77 c 1260s | 21 | 5472604 | 1404145 | 30350 104 | 212 | 368 1264.54/1264.81 c 1262s | 21 | 5479972 | 1406545 | 30350 104 | 212 | 368 1266.54/1266.82 c 1264s | 21 | 5486161 | 1408745 | 30350 104 | 212 | 368 1268.54/1268.84 c 1266s | 21 | 5493570 | 1411145 | 30350 104 | 212 | 368 1270.63/1270.90 c 1268s | 21 | 5502758 | 1413445 | 30350 104 | 212 | 368 1272.63/1272.92 c 1270s | 21 | 5510711 | 1415545 | 30350 104 | 212 | 368 1274.74/1275.09 c 1272s | 21 | 5519590 | 1417745 | 30350 105 | 212 | 368 1276.73/1277.09 c 1274s | 21 | 5528484 | 1419845 | 30350 105 | 212 | 368 1278.83/1279.17 c 1276s | 21 | 5538552 | 1422445 | 30350 105 | 212 | 368 1280.83/1281.19 c 1278s | 21 | 5546283 | 1424745 | 30350 105 | 212 | 368 1282.93/1283.20 c 1280s | 21 | 5554118 | 1427245 | 30350 105 | 212 | 368 1284.93/1285.26 c 1283s | 21 | 5561477 | 1429845 | 30350 105 | 212 | 368 1287.03/1287.31 c 1285s | 21 | 5570849 | 1432145 | 30350 105 | 212 | 368 1289.83/1290.16 c 1287s | 21 | 5578906 | 1434345 | 30350 106 | 212 | 368 1294.43/1294.76 c 1292s | 21 | 5583131 | 1435845 | 30350 106 | 212 | 368 1296.43/1296.77 c 1294s | 21 | 5591590 | 1438445 | 30350 106 | 212 | 368 1298.43/1298.79 c 1296s | 21 | 5603782 | 1441445 | 30350 106 | 212 | 368 1300.52/1300.85 c 1298s | 21 | 5611671 | 1443845 | 30350 106 | 212 | 368 1302.52/1302.89 c 1300s | 21 | 5620524 | 1446545 | 30350 106 | 212 | 368 1304.72/1305.00 c 1302s | 21 | 5628715 | 1448945 | 30350 106 | 212 | 368 1306.92/1307.21 c 1304s | 21 | 5633954 | 1450545 | 30350 107 | 212 | 368 1308.92/1309.21 c 1306s | 21 | 5641459 | 1452645 | 30350 107 | 212 | 368 1310.92/1311.28 c 1309s | 21 | 5652191 | 1455445 | 30350 107 | 212 | 368 1313.01/1313.30 c 1311s | 21 | 5660073 | 1457945 | 30350 107 | 212 | 368 1315.01/1315.35 c 1313s | 21 | 5667659 | 1460545 | 30350 107 | 212 | 368 1317.11/1317.42 c 1315s | 21 | 5676015 | 1463045 | 30350 107 | 212 | 368 1319.11/1319.47 c 1317s | 21 | 5684515 | 1465445 | 30350 107 | 212 | 368 1321.31/1321.62 c 1319s | 21 | 5691961 | 1467645 | 30350 108 | 212 | 368 1323.31/1323.64 c 1321s | 21 | 5696860 | 1469045 | 30350 108 | 212 | 368 1325.31/1325.69 c 1323s | 21 | 5707234 | 1471845 | 30350 108 | 212 | 368 1327.31/1327.69 c 1325s | 21 | 5719346 | 1474745 | 30350 108 | 212 | 368 1329.41/1329.75 c 1327s | 21 | 5729249 | 1477345 | 30350 108 | 212 | 368 1331.41/1331.76 c 1329s | 21 | 5738056 | 1479745 | 30350 108 | 212 | 368 1333.51/1333.82 c 1331s | 21 | 5744648 | 1481845 | 30350 108 | 212 | 368 1335.51/1335.83 c 1333s | 21 | 5748452 | 1483145 | 30350 109 | 212 | 368 1337.51/1337.89 c 1335s | 21 | 5755109 | 1485145 | 30350 109 | 212 | 368 1341.10/1341.42 c 1339s | 21 | 5762889 | 1487345 | 33385 109 | 212 | 368 1343.10/1343.46 c 1341s | 21 | 5769803 | 1489045 | 33385 109 | 212 | 368 1345.20/1345.52 c 1343s | 21 | 5779138 | 1491645 | 33385 109 | 212 | 368 1347.20/1347.53 c 1345s | 21 | 5787743 | 1493945 | 33385 109 | 212 | 368 1349.19/1349.55 c 1347s | 21 | 5796784 | 1496345 | 33385 109 | 212 | 368 1351.29/1351.64 c 1349s | 21 | 5806295 | 1498745 | 33385 109 | 212 | 368 1352.89/1353.27 c 1351s | 22 | 5812112 | 1500622 | 33385 109 | 212 | 368 1357.00/1357.37 c 1355s | 22 | 5816851 | 1501222 | 33385 110 | 212 | 368 1359.80/1360.10 c 1357s | 22 | 5827537 | 1503422 | 33385 110 | 212 | 368 1361.79/1362.12 c 1359s | 22 | 5831455 | 1504422 | 33385 110 | 212 | 368 1363.80/1364.16 c 1361s | 22 | 5844619 | 1507222 | 33385 110 | 212 | 368 1365.79/1366.17 c 1363s | 22 | 5853688 | 1509722 | 33385 110 | 212 | 368 1367.89/1368.21 c 1365s | 22 | 5863915 | 1512222 | 33385 110 | 212 | 368 1369.89/1370.24 c 1367s | 22 | 5873250 | 1514722 | 33385 110 | 212 | 368 1371.99/1372.31 c 1370s | 22 | 5880237 | 1516922 | 33385 110 | 212 | 368 1373.99/1374.37 c 1372s | 22 | 5886104 | 1518922 | 33385 110 | 212 | 368 1377.08/1377.49 c 1375s | 22 | 5889991 | 1520122 | 33385 111 | 212 | 368 1379.20/1379.51 c 1377s | 22 | 5899815 | 1522522 | 33385 111 | 212 | 368 1381.19/1381.57 c 1379s | 22 | 5910694 | 1525222 | 33385 111 | 212 | 368 1383.19/1383.59 c 1381s | 22 | 5920002 | 1527622 | 33385 111 | 212 | 368 1385.29/1385.63 c 1383s | 22 | 5929236 | 1530122 | 33385 111 | 212 | 368 1387.29/1387.66 c 1385s | 22 | 5937818 | 1532422 | 33385 111 | 212 | 368 1389.29/1389.68 c 1387s | 22 | 5947265 | 1534722 | 33385 111 | 212 | 368 1391.49/1391.89 c 1389s | 22 | 5955498 | 1537022 | 33385 112 | 212 | 368 1393.59/1393.94 c 1391s | 22 | 5965710 | 1539222 | 33385 112 | 212 | 368 1395.59/1395.94 c 1393s | 22 | 5976831 | 1541622 | 33385 112 | 212 | 368 1397.59/1397.94 c 1395s | 22 | 5991678 | 1544422 | 33385 112 | 212 | 368 1399.58/1399.97 c 1397s | 22 | 6003168 | 1547022 | 33385 112 | 212 | 368 1401.58/1401.98 c 1399s | 22 | 6012658 | 1549422 | 33385 112 | 212 | 368 1403.68/1404.01 c 1401s | 22 | 6022724 | 1551922 | 33385 112 | 212 | 368 1405.68/1406.05 c 1403s | 22 | 6032695 | 1554122 | 33385 112 | 212 | 368 1407.68/1408.05 c 1405s | 22 | 6036969 | 1555222 | 33385 113 | 212 | 368 1409.67/1410.06 c 1407s | 22 | 6044518 | 1557622 | 33385 113 | 212 | 368 1411.77/1412.13 c 1409s | 22 | 6051264 | 1559422 | 33385 113 | 212 | 368 1413.87/1414.22 c 1411s | 22 | 6056525 | 1560722 | 33385 113 | 212 | 368 1415.87/1416.27 c 1414s | 22 | 6062925 | 1562522 | 33385 113 | 212 | 368 1417.97/1418.34 c 1416s | 22 | 6071137 | 1564422 | 33385 113 | 212 | 368 1419.96/1420.36 c 1418s | 22 | 6077035 | 1566022 | 33385 113 | 212 | 368 1422.07/1422.43 c 1420s | 22 | 6082731 | 1567522 | 33385 113 | 212 | 368 1424.06/1424.46 c 1422s | 22 | 6088265 | 1568922 | 33385 113 | 212 | 368 1426.16/1426.56 c 1424s | 22 | 6093039 | 1570422 | 33385 113 | 212 | 368 1428.16/1428.59 c 1426s | 22 | 6098090 | 1571822 | 33385 113 | 212 | 368 1430.26/1430.67 c 1428s | 22 | 6104474 | 1573622 | 33385 114 | 212 | 368 1432.35/1432.76 c 1430s | 22 | 6111406 | 1575322 | 33385 114 | 212 | 368 1434.45/1434.82 c 1432s | 22 | 6120796 | 1577722 | 33385 114 | 212 | 368 1436.45/1436.83 c 1434s | 22 | 6128027 | 1579922 | 33385 114 | 212 | 368 1440.66/1441.08 c 1438s | 22 | 6133030 | 1581322 | 33385 114 | 212 | 368 1442.76/1443.15 c 1440s | 22 | 6142978 | 1583522 | 33385 114 | 212 | 368 1444.76/1445.16 c 1442s | 22 | 6151589 | 1585822 | 33385 114 | 212 | 368 1446.76/1447.19 c 1444s | 22 | 6159509 | 1587822 | 33385 114 | 212 | 368 1448.85/1449.26 c 1447s | 22 | 6166687 | 1589622 | 33385 114 | 212 | 368 1450.95/1451.38 c 1449s | 22 | 6173358 | 1591222 | 33385 115 | 212 | 368 1453.05/1453.43 c 1451s | 22 | 6180844 | 1593322 | 33385 115 | 212 | 368 1455.05/1455.44 c 1453s | 22 | 6187746 | 1595222 | 33385 115 | 212 | 368 1457.05/1457.47 c 1455s | 22 | 6197484 | 1597522 | 33385 115 | 212 | 368 1459.05/1459.49 c 1457s | 22 | 6206883 | 1599822 | 33385 115 | 212 | 368 1461.14/1461.58 c 1459s | 22 | 6215364 | 1602022 | 33385 115 | 212 | 368 1463.24/1463.67 c 1461s | 22 | 6222145 | 1603922 | 33385 115 | 212 | 368 1465.34/1465.75 c 1463s | 22 | 6229633 | 1605822 | 33385 115 | 212 | 368 1467.34/1467.76 c 1465s | 22 | 6236652 | 1607622 | 33385 115 | 212 | 368 1469.35/1469.77 c 1467s | 22 | 6242002 | 1609122 | 33385 116 | 212 | 368 1471.34/1471.80 c 1469s | 22 | 6251517 | 1611422 | 33385 116 | 212 | 368 1473.44/1473.84 c 1471s | 22 | 6257050 | 1612822 | 33385 116 | 212 | 368 1475.44/1475.84 c 1473s | 22 | 6263968 | 1614822 | 33385 116 | 212 | 368 1477.44/1477.84 c 1475s | 22 | 6276393 | 1617322 | 33385 116 | 212 | 368 1479.54/1479.93 c 1477s | 22 | 6285436 | 1619622 | 33385 116 | 212 | 368 1481.54/1481.95 c 1479s | 22 | 6295638 | 1621922 | 33385 116 | 212 | 368 1483.64/1484.03 c 1481s | 22 | 6303756 | 1624022 | 33385 116 | 212 | 368 1485.64/1486.05 c 1483s | 22 | 6310580 | 1625922 | 33385 116 | 212 | 368 1487.63/1488.06 c 1485s | 22 | 6317418 | 1627722 | 33385 117 | 212 | 368 1490.24/1490.61 c 1488s | 22 | 6324146 | 1629722 | 33385 117 | 212 | 368 1492.23/1492.61 c 1490s | 22 | 6331337 | 1631822 | 33385 117 | 212 | 368 1494.33/1494.71 c 1492s | 22 | 6339132 | 1633922 | 33385 117 | 212 | 368 1496.33/1496.74 c 1494s | 22 | 6345611 | 1636022 | 33385 117 | 212 | 368 1498.33/1498.78 c 1496s | 22 | 6351289 | 1637822 | 33385 117 | 212 | 368 1500.42/1500.80 c 1498s | 22 | 6356318 | 1639622 | 33385 117 | 212 | 368 1502.42/1502.82 c 1500s | 22 | 6361235 | 1641422 | 33385 117 | 212 | 368 1504.43/1504.84 c 1502s | 22 | 6367302 | 1643022 | 33385 117 | 212 | 368 1506.63/1507.03 c 1504s | 22 | 6371055 | 1644222 | 33385 118 | 212 | 368 1508.62/1509.09 c 1506s | 22 | 6378741 | 1646322 | 33385 118 | 212 | 368 1510.72/1511.15 c 1508s | 22 | 6388977 | 1648822 | 33385 118 | 212 | 368 1512.72/1513.19 c 1510s | 22 | 6398397 | 1651222 | 33385 118 | 212 | 368 1514.82/1515.20 c 1512s | 22 | 6407470 | 1653522 | 33385 118 | 212 | 368 1516.82/1517.22 c 1514s | 22 | 6416876 | 1655922 | 33385 118 | 212 | 368 1518.82/1519.24 c 1516s | 22 | 6425568 | 1658122 | 33385 118 | 212 | 368 1520.81/1521.27 c 1519s | 22 | 6432992 | 1660022 | 33385 118 | 212 | 368 1523.12/1523.53 c 1521s | 22 | 6439402 | 1661822 | 33385 119 | 212 | 368 1525.11/1525.54 c 1523s | 22 | 6448034 | 1663822 | 33385 119 | 212 | 368 1527.11/1527.57 c 1525s | 22 | 6456582 | 1666122 | 33385 119 | 212 | 368 1529.20/1529.62 c 1527s | 22 | 6465080 | 1668322 | 33385 119 | 212 | 368 1531.30/1531.71 c 1529s | 22 | 6473517 | 1670522 | 33385 119 | 212 | 368 1533.30/1533.79 c 1531s | 22 | 6483381 | 1672922 | 33385 119 | 212 | 368 1535.40/1535.88 c 1533s | 22 | 6492124 | 1674922 | 33385 119 | 212 | 368 1537.51/1537.95 c 1535s | 22 | 6501505 | 1676922 | 33385 119 | 212 | 368 1539.60/1540.04 c 1537s | 22 | 6508362 | 1678722 | 33385 119 | 212 | 368 1541.60/1542.05 c 1539s | 22 | 6513528 | 1680322 | 33385 120 | 212 | 368 1545.70/1546.12 c 1543s | 22 | 6519443 | 1682022 | 33385 120 | 212 | 368 1547.70/1548.19 c 1545s | 22 | 6526425 | 1683922 | 33385 120 | 212 | 368 1549.79/1550.24 c 1547s | 22 | 6534390 | 1686122 | 33385 120 | 212 | 368 1551.89/1552.35 c 1550s | 22 | 6542433 | 1688322 | 33385 120 | 212 | 368 1553.90/1554.39 c 1552s | 22 | 6549752 | 1690422 | 33385 120 | 212 | 368 1555.99/1556.44 c 1554s | 22 | 6557419 | 1692422 | 33385 120 | 212 | 368 1558.09/1558.52 c 1556s | 22 | 6564971 | 1694522 | 33385 120 | 212 | 368 1560.09/1560.57 c 1558s | 22 | 6573476 | 1696622 | 33385 120 | 212 | 368 1562.19/1562.60 c 1560s | 22 | 6579431 | 1698122 | 33385 121 | 212 | 368 1564.19/1564.62 c 1562s | 22 | 6585042 | 1699822 | 33385 121 | 212 | 368 1566.19/1566.63 c 1564s | 22 | 6592674 | 1701822 | 33385 121 | 212 | 368 1568.20/1568.65 c 1566s | 22 | 6600405 | 1704022 | 33385 121 | 212 | 368 1570.28/1570.71 c 1568s | 22 | 6608214 | 1706022 | 33385 121 | 212 | 368 1572.28/1572.79 c 1570s | 22 | 6615985 | 1708022 | 33385 121 | 212 | 368 1574.38/1574.85 c 1572s | 22 | 6623604 | 1710122 | 33385 121 | 212 | 368 1576.48/1576.91 c 1574s | 22 | 6630963 | 1712022 | 33385 121 | 212 | 368 1578.58/1579.00 c 1576s | 22 | 6638555 | 1714022 | 33385 121 | 212 | 368 1580.57/1581.02 c 1578s | 22 | 6643248 | 1715322 | 33385 122 | 212 | 368 1582.58/1583.05 c 1580s | 22 | 6651775 | 1717722 | 33385 122 | 212 | 368 1584.57/1585.10 c 1582s | 22 | 6658665 | 1719822 | 33385 122 | 212 | 368 1586.77/1587.20 c 1584s | 22 | 6664182 | 1721622 | 33385 122 | 212 | 368 1588.77/1589.23 c 1586s | 22 | 6669721 | 1723322 | 33385 122 | 212 | 368 1590.77/1591.29 c 1589s | 22 | 6673688 | 1724822 | 33385 122 | 212 | 368 1592.87/1593.36 c 1591s | 22 | 6679578 | 1726522 | 33385 122 | 212 | 368 1594.87/1595.39 c 1593s | 22 | 6686514 | 1728322 | 33385 122 | 212 | 368 1596.97/1597.48 c 1595s | 22 | 6693001 | 1730122 | 33385 122 | 212 | 368 1599.07/1599.56 c 1597s | 22 | 6697782 | 1731922 | 33385 122 | 212 | 368 1601.17/1601.61 c 1599s | 22 | 6702613 | 1733422 | 33385 123 | 212 | 368 1604.27/1604.76 c 1602s | 22 | 6708350 | 1734922 | 33385 123 | 212 | 368 1606.26/1606.79 c 1604s | 22 | 6712587 | 1736022 | 33385 123 | 212 | 368 1608.36/1608.84 c 1606s | 22 | 6716841 | 1737422 | 33385 123 | 212 | 368 1610.36/1610.87 c 1608s | 22 | 6724646 | 1739722 | 33385 123 | 212 | 368 1612.35/1612.89 c 1610s | 22 | 6731539 | 1741622 | 33385 123 | 212 | 368 1614.36/1614.89 c 1612s | 22 | 6738728 | 1743422 | 33385 123 | 212 | 368 1616.45/1616.94 c 1614s | 22 | 6746058 | 1745322 | 33385 123 | 212 | 368 1618.55/1619.00 c 1616s | 22 | 6752700 | 1747122 | 33385 123 | 212 | 368 1620.65/1621.11 c 1618s | 22 | 6759703 | 1749122 | 33385 123 | 212 | 368 1622.85/1623.37 c 1621s | 22 | 6765180 | 1750922 | 33385 124 | 212 | 368 1624.95/1625.40 c 1623s | 22 | 6771312 | 1752922 | 33385 124 | 212 | 368 1626.95/1627.47 c 1625s | 22 | 6778995 | 1755322 | 33385 124 | 212 | 368 1628.95/1629.48 c 1627s | 22 | 6787212 | 1757622 | 33385 124 | 212 | 368 1630.95/1631.49 c 1629s | 22 | 6794542 | 1759722 | 33385 124 | 212 | 368 1632.95/1633.50 c 1631s | 22 | 6801116 | 1761722 | 33385 124 | 212 | 368 1635.15/1635.60 c 1633s | 22 | 6806598 | 1763622 | 33385 124 | 212 | 368 1637.15/1637.68 c 1635s | 22 | 6812823 | 1765522 | 33385 124 | 212 | 368 1640.65/1641.17 c 1638s | 22 | 6817753 | 1767022 | 33385 124 | 212 | 368 1643.05/1643.55 c 1641s | 22 | 6818062 | 1767122 | 33385 124 | 212 | 368 1645.15/1645.62 c 1643s | 22 | 6824813 | 1769122 | 33385 125 | 212 | 368 1647.24/1647.75 c 1645s | 22 | 6827232 | 1770322 | 33385 125 | 212 | 368 1650.44/1650.90 c 1648s | 22 | 6827705 | 1770422 | 33385 125 | 212 | 368 1652.44/1652.91 c 1650s | 22 | 6838207 | 1772622 | 33385 125 | 212 | 368 1654.44/1654.92 c 1652s | 22 | 6845730 | 1774922 | 33385 125 | 212 | 368 1656.44/1656.98 c 1654s | 22 | 6856572 | 1777722 | 33385 125 | 212 | 368 1658.54/1659.04 c 1656s | 22 | 6866513 | 1779922 | 33385 125 | 212 | 368 1660.54/1661.07 c 1658s | 22 | 6876494 | 1782222 | 33385 125 | 212 | 368 1662.64/1663.14 c 1660s | 22 | 6886006 | 1784522 | 33385 125 | 212 | 368 1664.63/1665.17 c 1662s | 22 | 6893109 | 1786022 | 33385 126 | 212 | 368 1666.73/1667.23 c 1664s | 22 | 6901693 | 1788122 | 33385 126 | 212 | 368 1668.73/1669.24 c 1666s | 22 | 6913804 | 1790622 | 33385 126 | 212 | 368 1670.73/1671.28 c 1669s | 22 | 6922073 | 1792822 | 33385 126 | 212 | 368 1672.83/1673.31 c 1671s | 22 | 6928446 | 1794622 | 33385 126 | 212 | 368 1674.84/1675.37 c 1673s | 22 | 6937946 | 1796922 | 33385 126 | 212 | 368 1676.93/1677.43 c 1675s | 22 | 6946732 | 1798922 | 33385 126 | 212 | 368 1678.93/1679.49 c 1677s | 22 | 6952720 | 1800622 | 33385 126 | 212 | 368 1681.03/1681.57 c 1679s | 22 | 6958437 | 1802322 | 33385 126 | 212 | 368 1683.42/1683.95 c 1681s | 22 | 6964472 | 1803822 | 33385 127 | 212 | 368 1685.42/1685.98 c 1683s | 22 | 6973044 | 1806022 | 33385 127 | 212 | 368 1687.52/1688.03 c 1685s | 22 | 6981929 | 1808222 | 33385 127 | 212 | 368 1689.62/1690.11 c 1687s | 22 | 6990009 | 1810422 | 33385 127 | 212 | 368 1691.62/1692.17 c 1689s | 22 | 6997866 | 1812622 | 33385 127 | 212 | 368 1693.72/1694.24 c 1691s | 22 | 7005253 | 1814622 | 33385 127 | 212 | 368 1695.83/1696.37 c 1694s | 22 | 7012938 | 1816722 | 33385 127 | 212 | 368 1697.92/1698.45 c 1696s | 22 | 7020366 | 1818522 | 33385 127 | 212 | 368 1699.91/1700.49 c 1698s | 22 | 7028891 | 1820522 | 33385 127 | 212 | 368 1702.02/1702.55 c 1700s | 22 | 7033359 | 1821922 | 33385 128 | 212 | 368 1704.53/1705.05 c 1702s | 22 | 7036503 | 1823022 | 33385 128 | 212 | 368 1706.52/1707.07 c 1704s | 22 | 7043666 | 1825622 | 33385 128 | 212 | 368 1709.41/1709.98 c 1707s | 22 | 7047728 | 1827322 | 33385 128 | 212 | 368 1711.61/1712.10 c 1709s | 22 | 7056055 | 1829222 | 33385 128 | 212 | 368 1713.61/1714.12 c 1711s | 22 | 7062493 | 1831122 | 33385 128 | 212 | 368 1715.71/1716.23 c 1713s | 22 | 7071013 | 1833122 | 33385 128 | 212 | 368 1717.72/1718.24 c 1715s | 22 | 7078673 | 1835022 | 33385 128 | 212 | 368 1719.71/1720.30 c 1718s | 22 | 7086501 | 1836822 | 33385 128 | 212 | 368 1721.81/1722.31 c 1720s | 22 | 7092487 | 1838522 | 33385 128 | 212 | 368 1723.80/1724.35 c 1722s | 22 | 7098195 | 1840122 | 33385 129 | 212 | 368 1725.80/1726.39 c 1724s | 22 | 7107127 | 1842522 | 33385 129 | 212 | 368 1727.90/1728.48 c 1726s | 22 | 7115459 | 1844622 | 33385 129 | 212 | 368 1730.00/1730.55 c 1728s | 22 | 7122078 | 1846522 | 33385 129 | 212 | 368 1732.11/1732.66 c 1730s | 22 | 7129369 | 1848522 | 33385 129 | 212 | 368 1734.21/1734.72 c 1732s | 22 | 7135305 | 1850422 | 33385 129 | 212 | 368 1736.20/1736.72 c 1734s | 22 | 7142471 | 1852522 | 33385 129 | 212 | 368 1738.30/1738.81 c 1736s | 22 | 7148644 | 1854422 | 33385 129 | 212 | 368 1740.61/1741.18 c 1738s | 22 | 7155057 | 1856422 | 33385 129 | 212 | 368 1742.71/1743.29 c 1741s | 22 | 7159957 | 1857622 | 33385 130 | 212 | 368 1744.80/1745.34 c 1743s | 22 | 7167829 | 1860122 | 33385 130 | 212 | 368 1746.80/1747.36 c 1745s | 22 | 7178453 | 1862922 | 33385 130 | 212 | 368 1748.90/1749.47 c 1747s | 22 | 7183557 | 1864522 | 33385 130 | 212 | 368 1751.00/1751.52 c 1749s | 22 | 7192693 | 1866722 | 33385 130 | 212 | 368 1753.01/1753.54 c 1751s | 22 | 7201523 | 1869022 | 33385 130 | 212 | 368 1755.80/1756.38 c 1754s | 22 | 7211371 | 1871322 | 33385 130 | 212 | 368 1757.90/1758.40 c 1756s | 22 | 7218758 | 1873322 | 33385 130 | 212 | 368 1759.89/1760.50 c 1758s | 22 | 7226108 | 1875022 | 33385 131 | 212 | 368 1762.19/1762.75 c 1760s | 22 | 7232309 | 1876522 | 33385 131 | 212 | 368 1764.19/1764.78 c 1762s | 22 | 7241526 | 1878922 | 33385 131 | 212 | 368 1766.29/1766.81 c 1764s | 22 | 7253355 | 1881422 | 33385 131 | 212 | 368 1768.30/1768.86 c 1766s | 22 | 7262422 | 1883622 | 33385 131 | 212 | 368 1770.39/1770.95 c 1768s | 22 | 7270196 | 1885722 | 33385 131 | 212 | 368 1772.49/1773.02 c 1770s | 22 | 7276403 | 1887522 | 33385 131 | 212 | 368 1774.49/1775.04 c 1772s | 22 | 7285369 | 1889522 | 33385 131 | 212 | 368 1776.49/1777.09 c 1774s | 22 | 7291556 | 1891122 | 33385 131 | 212 | 368 1778.59/1779.16 c 1776s | 22 | 7297139 | 1892622 | 33385 132 | 212 | 368 1780.68/1781.23 c 1778s | 22 | 7300766 | 1893722 | 33385 132 | 212 | 368 1782.78/1783.30 c 1781s | 22 | 7309526 | 1896022 | 33385 132 | 212 | 368 1784.79/1785.32 c 1783s | 22 | 7316294 | 1897922 | 33385 132 | 212 | 368 1786.78/1787.38 c 1785s | 22 | 7323499 | 1899722 | 33385 132 | 212 | 368 1788.88/1789.47 c 1787s | 22 | 7330157 | 1901722 | 33385 132 | 212 | 368 1790.98/1791.50 c 1789s | 22 | 7336591 | 1903522 | 33385 132 | 212 | 368 1792.99/1793.51 c 1791s | 22 | 7344386 | 1905422 | 33385 132 | 212 | 368 1794.99/1795.57 c 1793s | 22 | 7350393 | 1907222 | 33385 132 | 212 | 368 1797.09/1797.65 c 1795s | 22 | 7358020 | 1909122 | 33385 132 | 212 | 368 1799.20/1799.78 c 1797s | 22 | 7363104 | 1910522 | 33385 133 | 212 | 368
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079851-1465248897/watcher-4079851-1465248897 -o /tmp/evaluation-result-4079851-1465248897/solver-4079851-1465248897 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9912 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079851-1465248897.opb pid=10705 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.12 2.10 2.11 3/179 10708 /proc/meminfo: memFree=29641420/32872528 swapFree=12208/1156848 [pid=10708] ppid=10705 vsize=747964 CPUtime=0 cores=1,3,5,7 /proc/10708/stat : 10708 (toysat) R 10705 10708 9895 0 -1 4202496 2795 0 0 0 0 0 0 0 20 0 4 0 106824260 765915136 2646 33554432000 4194304 16246674 140733252872320 140733252871744 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10708/statm: 187503 2655 441 2943 0 184397 0 [pid=10708/tid=10709] ppid=10705 vsize=764484 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10709/stat : 10709 (toysat) S 10705 10708 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106824260 782831616 2713 33554432000 4194304 16246674 140733252872320 140573752143088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10708/tid=10710] ppid=10705 vsize=769604 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10710/stat : 10710 (toysat) S 10705 10708 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106824260 788074496 2731 33554432000 4194304 16246674 140733252872320 140573741653232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10708/tid=10711] ppid=10705 vsize=772676 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106824260 791220224 2746 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100179 s] /proc/loadavg: 2.12 2.10 2.11 3/179 10708 /proc/meminfo: memFree=29641420/32872528 swapFree=12208/1156848 [pid=10708] ppid=10705 vsize=1221188 CPUtime=0.09 cores=1,3,5,7 /proc/10708/stat : 10708 (toysat) R 10705 10708 9895 0 -1 4202496 23309 0 0 0 7 2 0 0 20 0 4 0 106824260 1250496512 23097 33554432000 4194304 16246674 140733252872320 140733252854208 6155377 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10708/statm: 305297 23105 831 2943 0 302191 0 [pid=10708/tid=10709] ppid=10705 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10709/stat : 10709 (toysat) S 10705 10708 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106824260 1250496512 23111 33554432000 4194304 16246674 140733252872320 140573752143088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10708/tid=10710] ppid=10705 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10710/stat : 10710 (toysat) S 10705 10708 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106824260 1250496512 23116 33554432000 4194304 16246674 140733252872320 140573741653232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10708/tid=10711] ppid=10705 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106824260 1250496512 23121 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.200535 s] /proc/loadavg: 2.12 2.10 2.11 3/179 10708 /proc/meminfo: memFree=29641420/32872528 swapFree=12208/1156848 [pid=10708] ppid=10705 vsize=1221188 CPUtime=0.18 cores=1,3,5,7 /proc/10708/stat : 10708 (toysat) R 10705 10708 9895 0 -1 4202496 40865 0 0 0 14 4 0 0 20 0 4 0 106824260 1250496512 40653 33554432000 4194304 16246674 140733252872320 140733252854208 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10708/statm: 305297 40660 871 2943 0 302191 0 [pid=10708/tid=10709] ppid=10705 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10709/stat : 10709 (toysat) S 10705 10708 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106824260 1250496512 40665 33554432000 4194304 16246674 140733252872320 140573752143088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10708/tid=10710] ppid=10705 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10710/stat : 10710 (toysat) S 10705 10708 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106824260 1250496512 40669 33554432000 4194304 16246674 140733252872320 140573741653232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10708/tid=10711] ppid=10705 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106824260 1250496512 40673 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1221188 [startup+0.300475 s] /proc/loadavg: 2.12 2.10 2.11 3/179 10708 /proc/meminfo: memFree=29641420/32872528 swapFree=12208/1156848 [pid=10708] ppid=10705 vsize=1306180 CPUtime=0.29 cores=1,3,5,7 /proc/10708/stat : 10708 (toysat) R 10705 10708 9895 0 -1 4202496 53479 0 0 0 23 6 0 0 20 0 4 0 106824260 1337528320 53268 33554432000 4194304 16246674 140733252872320 140733252871536 5531437 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10708/statm: 326545 53279 904 2943 0 323439 0 [pid=10708/tid=10709] ppid=10705 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10709/stat : 10709 (toysat) S 10705 10708 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106824260 1337528320 53286 33554432000 4194304 16246674 140733252872320 140573752143088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10708/tid=10710] ppid=10705 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10710/stat : 10710 (toysat) S 10705 10708 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106824260 1337528320 53294 33554432000 4194304 16246674 140733252872320 140573741653232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10708/tid=10711] ppid=10705 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106824260 1337528320 53300 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1306180 [startup+0.700424 s] /proc/loadavg: 2.12 2.10 2.11 3/179 10708 /proc/meminfo: memFree=29641420/32872528 swapFree=12208/1156848 [pid=10708] ppid=10705 vsize=1307204 CPUtime=0.69 cores=1,3,5,7 /proc/10708/stat : 10708 (toysat) R 10705 10708 9895 0 -1 4202496 69039 0 0 0 60 9 0 0 20 0 4 0 106824260 1338576896 68827 33554432000 4194304 16246674 140733252872320 140733252871536 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10708/statm: 326801 68830 904 2943 0 323695 0 [pid=10708/tid=10709] ppid=10705 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10709/stat : 10709 (toysat) S 10705 10708 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106824260 1338576896 68832 33554432000 4194304 16246674 140733252872320 140573752143088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10708/tid=10710] ppid=10705 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10710/stat : 10710 (toysat) S 10705 10708 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106824260 1338576896 68834 33554432000 4194304 16246674 140733252872320 140573741653232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10708/tid=10711] ppid=10705 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106824260 1338576896 68837 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1307204 [startup+1.50037 s] /proc/loadavg: 2.11 2.10 2.11 3/183 10712 /proc/meminfo: memFree=28972780/32872528 swapFree=12208/1156848 [pid=10708] ppid=10705 vsize=1307204 CPUtime=1.48 cores=1,3,5,7 /proc/10708/stat : 10708 (toysat) R 10705 10708 9895 0 -1 4202496 254124 0 0 0 115 33 0 0 20 0 4 0 106824260 1338576896 253912 33554432000 4194304 16246674 140733252872320 140733252854208 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10708/statm: 326801 253921 904 2943 0 323695 0 [pid=10708/tid=10709] ppid=10705 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10709/stat : 10709 (toysat) S 10705 10708 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106824260 1338576896 253924 33554432000 4194304 16246674 140733252872320 140573752143088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10708/tid=10710] ppid=10705 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10710/stat : 10710 (toysat) S 10705 10708 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106824260 1338576896 253929 33554432000 4194304 16246674 140733252872320 140573741653232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10708/tid=10711] ppid=10705 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106824260 1338576896 253934 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1307204 [startup+3.10036 s] /proc/loadavg: 2.11 2.10 2.11 4/183 10712 /proc/meminfo: memFree=28570896/32872528 swapFree=12208/1156848 [pid=10708] ppid=10705 vsize=1307204 CPUtime=3.09 cores=1,3,5,7 /proc/10708/stat : 10708 (toysat) R 10705 10708 9895 0 -1 4202496 268005 0 0 0 274 35 0 0 20 0 4 0 106824260 1338576896 267793 33554432000 4194304 16246674 140733252872320 140733252854208 5822671 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10708/statm: 326801 267793 906 2943 0 323695 0 [pid=10708/tid=10709] ppid=10705 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10709/stat : 10709 (toysat) S 10705 10708 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106824260 1338576896 267793 33554432000 4194304 16246674 140733252872320 140573752143088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10708/tid=10710] ppid=10705 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10710/stat : 10710 (toysat) S 10705 10708 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106824260 1338576896 267793 33554432000 4194304 16246674 140733252872320 140573741653232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10708/tid=10711] ppid=10705 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106824260 1338576896 267793 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30042 s] /proc/loadavg: 2.11 2.10 2.11 3/183 10712 /proc/meminfo: memFree=28571020/32872528 swapFree=12208/1156848 [pid=10708] ppid=10705 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/10708/stat : 10708 (toysat) R 10705 10708 9895 0 -1 4202496 268005 0 0 0 594 35 0 0 20 0 4 0 106824260 1338576896 267793 33554432000 4194304 16246674 140733252872320 140733252854208 5531428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10708/statm: 326801 267793 906 2943 0 323695 0 [pid=10708/tid=10709] ppid=10705 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10709/stat : 10709 (toysat) S 10705 10708 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106824260 1338576896 267793 33554432000 4194304 16246674 140733252872320 140573752143088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10708/tid=10710] ppid=10705 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10710/stat : 10710 (toysat) S 10705 10708 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106824260 1338576896 267793 33554432000 4194304 16246674 140733252872320 140573741653232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10708/tid=10711] ppid=10705 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106824260 1338576896 267793 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.17 2.12 2.12 3/183 10712 /proc/meminfo: memFree=28544300/32872528 swapFree=12208/1156848 [pid=10708] ppid=10705 vsize=1333828 CPUtime=12.68 cores=1,3,5,7 /proc/10708/stat : 10708 (toysat) R 10705 10708 9895 0 -1 4202496 274589 0 0 0 1233 35 0 0 20 0 4 0 106824260 1365839872 274377 33554432000 4194304 16246674 140733252872320 140733252854208 13780624 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10708/statm: 333457 274377 912 2943 0 330351 0 [pid=10708/tid=10709] ppid=10705 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10709/stat : 10709 (toysat) S 10705 10708 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106824260 1365839872 274377 33554432000 4194304 16246674 140733252872320 140573752143088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10708/tid=10710] ppid=10705 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10710/stat : 10710 (toysat) S 10705 10708 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106824260 1365839872 274377 33554432000 4194304 16246674 140733252872320 140573741653232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10708/tid=10711] ppid=10705 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106824260 1365839872 274377 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1333828 [startup+25.5005 s] /proc/loadavg: 2.14 2.11 2.11 4/183 10712 /proc/meminfo: memFree=28544056/32872528 swapFree=12208/1156848 [pid=10708] ppid=10705 vsize=1333828 CPUtime=25.48 cores=1,3,5,7 /proc/10708/stat : 10708 (toysat) R 10705 10708 9895 0 -1 4202496 274668 0 0 0 2513 35 0 0 20 0 4 0 106824260 1365839872 274456 33554432000 4194304 16246674 140733252872320 140733252854208 5827838 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10708/statm: 333457 274456 913 2943 0 330351 0 [pid=10708/tid=10709] ppid=10705 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10709/stat : 10709 (toysat) S 10705 10708 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106824260 1365839872 274456 33554432000 4194304 16246674 140733252872320 140573752143088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10708/tid=10710] ppid=10705 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10710/stat : 10710 (toysat) S 10705 10708 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106824260 1365839872 274456 33554432000 4194304 16246674 140733252872320 140573741653232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10708/tid=10711] ppid=10705 vsize=1333828 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106824260 1365839872 274456 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1333828 [startup+51.1004 s] /proc/loadavg: 2.23 2.13 2.12 3/183 10712 /proc/meminfo: memFree=28533396/32872528 swapFree=12208/1156848 [pid=10708] ppid=10705 vsize=1345092 CPUtime=51.08 cores=1,3,5,7 /proc/10708/stat : 10708 (toysat) R 10705 10708 9895 0 -1 4202496 277287 0 0 0 5072 36 0 0 20 0 4 0 106824260 1377374208 277075 33554432000 4194304 16246674 140733252872320 140733252854208 5672201 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10708/statm: 336273 277075 913 2943 0 333167 0 [pid=10708/tid=10709] ppid=10705 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10709/stat : 10709 (toysat) S 10705 10708 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106824260 1377374208 277075 33554432000 4194304 16246674 140733252872320 140573752143088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10708/tid=10710] ppid=10705 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10710/stat : 10710 (toysat) S 10705 10708 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106824260 1377374208 277075 33554432000 4194304 16246674 140733252872320 140573741653232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10708/tid=10711] ppid=10705 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106824260 1377374208 277075 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1345092 [startup+102.301 s] /proc/loadavg: 2.14 2.12 2.11 3/183 10713 /proc/meminfo: memFree=28532640/32872528 swapFree=12208/1156848 [pid=10708] ppid=10705 vsize=1345092 CPUtime=102.28 cores=1,3,5,7 /proc/10708/stat : 10708 (toysat) R 10705 10708 9895 0 -1 4202496 277484 0 0 0 10191 37 0 0 20 0 4 0 106824260 1377374208 277272 33554432000 4194304 16246674 140733252872320 140733252854208 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10708/statm: 336273 277272 913 2943 0 333167 0 [pid=10708/tid=10709] ppid=10705 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10709/stat : 10709 (toysat) S 10705 10708 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106824260 1377374208 277272 33554432000 4194304 16246674 140733252872320 140573752143088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10708/tid=10710] ppid=10705 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10710/stat : 10710 (toysat) S 10705 10708 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106824260 1377374208 277272 33554432000 4194304 16246674 140733252872320 140573741653232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10708/tid=10711] ppid=10705 vsize=1345092 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106824260 1377374208 277272 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1345092 ################ # More data... # ################ /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293208 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1242.05 Current children cumulated vsize (KiB) 1408580 [startup+1302.3 s] /proc/loadavg: 2.09 2.16 2.14 3/183 10754 /proc/meminfo: memFree=28452908/32872528 swapFree=12208/1156848 [pid=10708] ppid=10705 vsize=1408580 CPUtime=1302.02 cores=1,3,5,7 /proc/10708/stat : 10708 (toysat) R 10705 10708 9895 0 -1 4202496 293464 0 0 0 130142 60 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140733252854208 13943600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10708/statm: 352145 293401 914 2943 0 349039 0 [pid=10708/tid=10709] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10709/stat : 10709 (toysat) S 10705 10708 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573752143088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10708/tid=10710] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10710/stat : 10710 (toysat) S 10705 10708 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573741653232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10708/tid=10711] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.02 Current children cumulated vsize (KiB) 1408580 [startup+1362.3 s] /proc/loadavg: 2.15 2.17 2.14 3/183 10756 /proc/meminfo: memFree=28452808/32872528 swapFree=12208/1156848 [pid=10708] ppid=10705 vsize=1408580 CPUtime=1361.99 cores=1,3,5,7 /proc/10708/stat : 10708 (toysat) R 10705 10708 9895 0 -1 4202496 293493 0 0 0 136138 61 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140733252854208 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10708/statm: 352145 293401 914 2943 0 349039 0 [pid=10708/tid=10709] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10709/stat : 10709 (toysat) S 10705 10708 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573752143088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10708/tid=10710] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10710/stat : 10710 (toysat) S 10705 10708 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573741653232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10708/tid=10711] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 1408580 [startup+1422.3 s] /proc/loadavg: 2.19 2.17 2.14 3/183 10757 /proc/meminfo: memFree=28452628/32872528 swapFree=12208/1156848 [pid=10708] ppid=10705 vsize=1408580 CPUtime=1421.97 cores=1,3,5,7 /proc/10708/stat : 10708 (toysat) R 10705 10708 9895 0 -1 4202496 293524 0 0 0 142135 62 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140733252854208 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10708/statm: 352145 293401 914 2943 0 349039 0 [pid=10708/tid=10709] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10709/stat : 10709 (toysat) S 10705 10708 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573752143088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10708/tid=10710] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10710/stat : 10710 (toysat) S 10705 10708 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573741653232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10708/tid=10711] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 1408580 [startup+1482.3 s] /proc/loadavg: 2.24 2.18 2.15 3/183 10758 /proc/meminfo: memFree=28452532/32872528 swapFree=12208/1156848 [pid=10708] ppid=10705 vsize=1408580 CPUtime=1481.94 cores=1,3,5,7 /proc/10708/stat : 10708 (toysat) R 10705 10708 9895 0 -1 4202496 293553 0 0 0 148131 63 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140733252854208 5823131 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10708/statm: 352145 293401 914 2943 0 349039 0 [pid=10708/tid=10709] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10709/stat : 10709 (toysat) S 10705 10708 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573752143088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10708/tid=10710] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10710/stat : 10710 (toysat) S 10705 10708 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573741653232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10708/tid=10711] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 1408580 [startup+1542.31 s] /proc/loadavg: 2.12 2.16 2.14 3/184 10762 /proc/meminfo: memFree=28452516/32872528 swapFree=12208/1156848 [pid=10708] ppid=10705 vsize=1408580 CPUtime=1541.9 cores=1,3,5,7 /proc/10708/stat : 10708 (toysat) R 10705 10708 9895 0 -1 4202496 293592 0 0 0 154127 63 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140733252854208 4220936 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10708/statm: 352145 293401 914 2943 0 349039 0 [pid=10708/tid=10709] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10709/stat : 10709 (toysat) S 10705 10708 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573752143088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10708/tid=10710] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10710/stat : 10710 (toysat) S 10705 10708 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573741653232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10708/tid=10711] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1408580 [startup+1602.3 s] /proc/loadavg: 2.07 2.14 2.13 3/184 10786 /proc/meminfo: memFree=28452248/32872528 swapFree=12208/1156848 [pid=10708] ppid=10705 vsize=1408580 CPUtime=1601.86 cores=1,3,5,7 /proc/10708/stat : 10708 (toysat) R 10705 10708 9895 0 -1 4202496 293636 0 0 0 160122 64 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140733252854208 5822492 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10708/statm: 352145 293401 914 2943 0 349039 0 [pid=10708/tid=10709] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10709/stat : 10709 (toysat) S 10705 10708 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573752143088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10708/tid=10710] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10710/stat : 10710 (toysat) S 10705 10708 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573741653232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10708/tid=10711] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1408580 [startup+1662.3 s] /proc/loadavg: 2.15 2.15 2.13 3/183 10837 /proc/meminfo: memFree=28499152/32872528 swapFree=12208/1156848 [pid=10708] ppid=10705 vsize=1408580 CPUtime=1661.84 cores=1,3,5,7 /proc/10708/stat : 10708 (toysat) R 10705 10708 9895 0 -1 4202496 293658 0 0 0 166117 67 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140733252854208 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10708/statm: 352145 293401 914 2943 0 349039 0 [pid=10708/tid=10709] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10709/stat : 10709 (toysat) S 10705 10708 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573752143088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10708/tid=10710] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10710/stat : 10710 (toysat) S 10705 10708 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573741653232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10708/tid=10711] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1408580 [startup+1722.3 s] /proc/loadavg: 2.20 2.15 2.13 3/183 10838 /proc/meminfo: memFree=28468896/32872528 swapFree=12204/1156844 [pid=10708] ppid=10705 vsize=1408580 CPUtime=1721.81 cores=1,3,5,7 /proc/10708/stat : 10708 (toysat) R 10705 10708 9895 0 -1 4202496 293686 0 0 0 172113 68 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140733252854208 5662756 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10708/statm: 352145 293401 914 2943 0 349039 0 [pid=10708/tid=10709] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10709/stat : 10709 (toysat) S 10705 10708 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573752143088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10708/tid=10710] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10710/stat : 10710 (toysat) S 10705 10708 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573741653232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10708/tid=10711] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293401 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1408580 [startup+1782.3 s] /proc/loadavg: 2.19 2.15 2.13 3/183 10839 /proc/meminfo: memFree=28457204/32872528 swapFree=12208/1156848 [pid=10708] ppid=10705 vsize=1408580 CPUtime=1781.78 cores=1,3,5,7 /proc/10708/stat : 10708 (toysat) R 10705 10708 9895 0 -1 4202496 293708 0 0 0 178109 69 0 0 20 0 4 0 106824260 1442385920 293405 33554432000 4194304 16246674 140733252872320 140733252854208 6012036 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10708/statm: 352145 293405 914 2943 0 349039 0 [pid=10708/tid=10709] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10709/stat : 10709 (toysat) S 10705 10708 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293405 33554432000 4194304 16246674 140733252872320 140573752143088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10708/tid=10710] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10710/stat : 10710 (toysat) S 10705 10708 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293405 33554432000 4194304 16246674 140733252872320 140573741653232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10708/tid=10711] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293405 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1408580 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.15 2.14 2.13 3/183 10839 /proc/meminfo: memFree=28457696/32872528 swapFree=12208/1156848 [pid=10708] ppid=10705 vsize=1408580 CPUtime=1800.09 cores=1,3,5,7 /proc/10708/stat : 10708 (toysat) R 10705 10708 9895 0 -1 4202496 293708 0 0 0 179939 70 0 0 20 0 4 0 106824260 1442385920 293405 33554432000 4194304 16246674 140733252872320 140733252854208 5677678 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/10708/statm: 352145 293405 914 2943 0 349039 0 [pid=10708/tid=10709] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10709/stat : 10709 (toysat) S 10705 10708 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293405 33554432000 4194304 16246674 140733252872320 140573752143088 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=10708/tid=10710] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10710/stat : 10710 (toysat) S 10705 10708 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293405 33554432000 4194304 16246674 140733252872320 140573741653232 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=10708/tid=10711] ppid=10705 vsize=1408580 CPUtime=0 cores=1,3,5,7 /proc/10708/task/10711/stat : 10711 (toysat) S 10705 10708 9895 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106824260 1442385920 293405 33554432000 4194304 16246674 140733252872320 140573731179696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1408580 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 10708 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.4 CPU system time (s): 0.700893 CPU usage (%): 99.9716 Max. virtual memory (cumulated for all children) (KiB): 1408580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.4 system time used= 0.700893 maximum resident set size= 1173620 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 293708 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= 368 involuntary context switches= 1838 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.64814 second user time and 7.29889 second system time The end
Begin job on node114 at 2016-06-06 23:34:57 IDJOB=4079851 IDBENCH=24987 IDSOLVER=2542 FILE ID=node114/4079851-1465248897 RUNJOBID= node114-1465241547-9912 PBS_JOBID= 19843245 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_024_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-4079851-1465248897/watcher-4079851-1465248897 -o /tmp/evaluation-result-4079851-1465248897/solver-4079851-1465248897 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9912 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079851-1465248897.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 58f3055ef9bb388e237f57f2627386e0 RANDOM SEED=1034650451 node114.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29642336 kB Buffers: 48860 kB Cached: 214032 kB SwapCached: 1724 kB Active: 1229896 kB Inactive: 141384 kB Active(anon): 1109592 kB Inactive(anon): 1200 kB Active(file): 120304 kB Inactive(file): 140184 kB Unevictable: 1156848 kB Mlocked: 12208 kB SwapTotal: 67108856 kB SwapFree: 67096600 kB Dirty: 16708 kB Writeback: 0 kB AnonPages: 2227964 kB Mapped: 10852 kB Shmem: 0 kB Slab: 569468 kB SReclaimable: 13740 kB SUnreclaim: 555728 kB KernelStack: 1520 kB PageTables: 8660 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2410836 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1112064 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node114 at 2016-06-07 00:04:58