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.09 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir07_area_opers.opb |
| MD5SUM | e3ec914b5fa2e36b0a6c3f63a5a73343 |
| 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 | 32 |
| Best CPU time to get the best result obtained on this benchmark | 0.260959 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 32 |
| Optimality of the best value was proved | YES |
| Number of variables | 22270 |
| Total number of constraints | 51660 |
| Number of constraints which are clauses | 51660 |
| 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 | 255 |
| Number of terms in the objective function | 10984 |
| 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 | 10984 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 10984 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-07T00:39:52+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-4079803-1465252792.opb"] 0.00/0.01 c use --random-gen="2099102926 907563370 2752215858 3108414051 3702695699 4015400804 2816250358 1612047094 2458015288 1149400368 2797132616 2787881564 2011397808 904640007 2817680341 313386287 1147056943 2639980252 3546090611 1412515148 2265380961 2626557177 3143181660 2421142836 1061415079 4005369624 3549322245 2408740580 3003381946 142957220 122289777 453219698 3357526351 2140489122 3034414017 800550171 2090525581 922175430 49205439 1398169771 2934709345 1023842757 3981951593 1879882369 1268540738 3539288457 2812699372 814058228 846384418 1836091982 1025366580 1942483253 2705573236 4007070697 3156949638 3218644914 2234857678 757263281 2672085167 10382790 1134847771 969502529 3587117517 2759342796 225512473 2835871184 1428309823 3821471482 243989293 258414798 3250557192 2120612363 4096466889 239057013 1173668647 2061922433 783232324 3324865314 943351977 2114941479 1200002961 1179275564 360794027 596366268 3679735276 3146351155 2466063436 3823512092 2139862786 1075259636 4259636183 586227735 1376652908 2137144981 543663067 2700637812 1710746182 1379015109 3967512958 1929011979 4283940447 1537138590 2838295503 2498388889 446826097 2580793496 763405117 3921801979 1443682434 3064107739 2231531831 1182879328 1121703078 3057905426 3931695776 1434260695 2545283965 4080964667 475900801 4012451661 964219558 3084814300 3420929638 1501480141 1065119488 2037945590 1171001069 4123237399 3145883888 2964925080 2164870883 597867804 788033160 1868722938 3207115642 981168706 481438513 1833838444 1801118716 4115903297 3744068275 2977884525 3285786252 553366260 3152091700 4061737903 3583579779 1938506594 2302119005 964467618 502054192 1860224277 1020170323 1037882772 2847876086 1320307362 1344946786 2512472378 597913613 2375386016 3959361341 3165808020 1615534794 1885000020 3568447709 1433519182 2406898537 1622988157 3871834861 940657748 1748966967 4267544419 2984980346 1567491518 589543219 3113030263 2217292960 1021969399 4075044904 621738053 2411083323 3600760273 1656526608 2976428326 16967446 3448182476 1095962710 500621142 4087583799 3889276519 744484343 3298387998 4081864654 104733378 4105777583 4237939496 4206465331 351869486 2405399270 3951284741 3498085146 2934039272 2707887638 606375839 1999258267 1643065622 3708609428 1836385341 436009276 3201001480 2954173716 119995433 363687714 1141906785 1130224852 2131148184 2451966281 640928996 935548486 2447080566 2275254129 624596695 3728069658 33509001 2210473851 1956798352 2556357981 1956605717 1899250805 2081115751 792461014 2754080355 445955514 2332669722 2636234028 4291883259 2802308190 1463382024 2261142457 3975895426 533393330 3573890922 221476966 2821856753 2583385842 2318859556 2230110610 792875044 1286103833 3479690918 3606316687 348874095 315572093 4025150 3512934135 1334883532 255 362436" option to reproduce the execution 0.29/0.36 c #vars 22270 0.29/0.36 c #constraints 51660 0.99/1.02 c BCD2: Hardening is enabled. 0.99/1.02 c BCD2: BiasedSearch is enabled. 0.99/1.02 c Solving starts ... 0.99/1.02 c ============================[ Search Statistics ]============================ 0.99/1.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.02 c | | | | Limit GC | Var | Constra 0.99/1.02 c ============================================================================= 0.99/1.03 c 0.0s | 0 | 0 | 0 | 24628 0 | 5 | 0 1.20/1.26 c 0.2s | 0 | 10983 | 0 | 24628 0 | 5 | 2453 1.20/1.26 c #cpu_time = 0.226s 1.20/1.26 c #wall_clock_time = 0.226s 1.20/1.26 c #decision = 10983 1.20/1.26 c #random_decision = 55 1.20/1.26 c #conflict = 0 1.20/1.26 c #restart = 0 1.20/1.26 o 10984 1.29/1.32 c BCD2: updating upper bound: 10984 -> 10983 1.39/1.40 c BCD2: 0 <= obj <= 10983 1.39/1.40 c BCD2: #cores=0, #unrelaxed=10984, #relaxed=0, #hardened=0 1.39/1.40 c BCD2: #sat=1 #unsat=1 bias=1/2 1.39/1.40 c Solving starts ... 1.39/1.40 c ============================[ Search Statistics ]============================ 1.39/1.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.40 c | | | | Limit GC | Var | Constra 1.39/1.40 c ============================================================================= 1.39/1.40 c 0.0s | 0 | 0 | 0 | 24628 0 | 5 | 2453 1.39/1.42 c 0.0s | 0 | 0 | 0 | 24628 0 | 5 | 2453 1.39/1.42 c #cpu_time = 0.018s 1.39/1.42 c #wall_clock_time = 0.018s 1.39/1.42 c #decision = 0 1.39/1.42 c #random_decision = 0 1.39/1.42 c #conflict = 0 1.39/1.42 c #restart = 0 1.39/1.42 c BCD2: found a new core of size 1: cost of the new core is >=1 1.39/1.42 c lower bound updated to 1 1.39/1.43 c BCD2: 1 <= obj <= 10983 1.39/1.43 c BCD2: #cores=1, #unrelaxed=10983, #relaxed=1, #hardened=0 1.39/1.43 c BCD2: #sat=1 #unsat=2 bias=2/3 1.39/1.43 c Solving starts ... 1.39/1.43 c ============================[ Search Statistics ]============================ 1.39/1.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.43 c | | | | Limit GC | Var | Constra 1.39/1.43 c ============================================================================= 1.39/1.43 c 0.0s | 0 | 0 | 0 | 24628 0 | 5 | 2453 1.39/1.45 c 0.0s | 0 | 2 | 0 | 24628 0 | 5 | 2453 1.39/1.45 c #cpu_time = 0.016s 1.39/1.45 c #wall_clock_time = 0.016s 1.39/1.45 c #decision = 2 1.39/1.45 c #random_decision = 0 1.39/1.45 c #conflict = 0 1.39/1.45 c #restart = 0 1.39/1.45 c BCD2: found a new core of size 2: cost of the new core is >=1 1.39/1.45 c lower bound updated to 2 1.39/1.45 c BCD2: 2 <= obj <= 10983 1.39/1.45 c BCD2: #cores=2, #unrelaxed=10981, #relaxed=3, #hardened=0 1.39/1.45 c BCD2: #sat=1 #unsat=3 bias=3/4 1.39/1.45 c Solving starts ... 1.39/1.45 c ============================[ Search Statistics ]============================ 1.39/1.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.45 c | | | | Limit GC | Var | Constra 1.39/1.45 c ============================================================================= 1.39/1.45 c 0.0s | 0 | 0 | 0 | 24628 0 | 5 | 2453 1.39/1.47 c 0.0s | 0 | 8 | 0 | 24628 0 | 5 | 2453 1.39/1.47 c #cpu_time = 0.020s 1.39/1.47 c #wall_clock_time = 0.020s 1.39/1.47 c #decision = 8 1.39/1.47 c #random_decision = 0 1.39/1.47 c #conflict = 0 1.39/1.47 c #restart = 0 1.39/1.47 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 1.39/1.47 c lower bound updated to 3 1.39/1.48 c BCD2: 3 <= obj <= 10983 1.39/1.48 c BCD2: #cores=2, #unrelaxed=10978, #relaxed=6, #hardened=0 1.39/1.48 c BCD2: #sat=1 #unsat=4 bias=4/5 1.39/1.48 c Solving starts ... 1.39/1.48 c ============================[ Search Statistics ]============================ 1.39/1.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.48 c | | | | Limit GC | Var | Constra 1.39/1.48 c ============================================================================= 1.39/1.48 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2453 1.49/1.50 c 0.0s | 0 | 27 | 0 | 24628 0 | 6 | 2454 1.49/1.50 c #cpu_time = 0.017s 1.49/1.50 c #wall_clock_time = 0.017s 1.49/1.50 c #decision = 27 1.49/1.50 c #random_decision = 0 1.49/1.50 c #conflict = 0 1.49/1.50 c #restart = 0 1.49/1.50 c BCD2: found a new core of size 3: cost of the new core is >=1 1.49/1.50 c lower bound updated to 4 1.49/1.51 c BCD2: 4 <= obj <= 10983 1.49/1.51 c BCD2: #cores=3, #unrelaxed=10975, #relaxed=9, #hardened=0 1.49/1.51 c BCD2: #sat=1 #unsat=5 bias=5/6 1.49/1.51 c Solving starts ... 1.49/1.51 c ============================[ Search Statistics ]============================ 1.49/1.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.51 c | | | | Limit GC | Var | Constra 1.49/1.51 c ============================================================================= 1.49/1.51 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 1.49/1.53 c 0.0s | 0 | 54 | 0 | 24628 0 | 6 | 2454 1.49/1.53 c #cpu_time = 0.018s 1.49/1.53 c #wall_clock_time = 0.019s 1.49/1.53 c #decision = 54 1.49/1.53 c #random_decision = 0 1.49/1.53 c #conflict = 0 1.49/1.53 c #restart = 0 1.49/1.53 c BCD2: found a new core of size 1: cost of the new core is >=1 1.49/1.53 c lower bound updated to 5 1.49/1.53 c BCD2: 5 <= obj <= 10983 1.49/1.53 c BCD2: #cores=4, #unrelaxed=10974, #relaxed=10, #hardened=0 1.49/1.53 c BCD2: #sat=1 #unsat=6 bias=6/7 1.49/1.53 c Solving starts ... 1.49/1.53 c ============================[ Search Statistics ]============================ 1.49/1.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.53 c | | | | Limit GC | Var | Constra 1.49/1.53 c ============================================================================= 1.49/1.53 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 1.49/1.55 c 0.0s | 0 | 67 | 0 | 24628 0 | 6 | 2454 1.49/1.55 c #cpu_time = 0.016s 1.49/1.55 c #wall_clock_time = 0.016s 1.49/1.55 c #decision = 67 1.49/1.55 c #random_decision = 0 1.49/1.55 c #conflict = 0 1.49/1.55 c #restart = 0 1.49/1.55 c BCD2: found a new core of size 13: cost of the new core is >=1 1.49/1.55 c lower bound updated to 6 1.49/1.56 c BCD2: 6 <= obj <= 10983 1.49/1.56 c BCD2: #cores=5, #unrelaxed=10961, #relaxed=23, #hardened=0 1.49/1.56 c BCD2: #sat=1 #unsat=7 bias=7/8 1.49/1.56 c Solving starts ... 1.49/1.56 c ============================[ Search Statistics ]============================ 1.49/1.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.56 c | | | | Limit GC | Var | Constra 1.49/1.56 c ============================================================================= 1.49/1.56 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 1.49/1.58 c 0.0s | 0 | 65 | 0 | 24628 0 | 6 | 2454 1.49/1.58 c #cpu_time = 0.018s 1.49/1.58 c #wall_clock_time = 0.018s 1.49/1.58 c #decision = 65 1.49/1.58 c #random_decision = 0 1.49/1.58 c #conflict = 0 1.49/1.58 c #restart = 0 1.49/1.58 c BCD2: found a new core of size 12: cost of the new core is >=1 1.49/1.58 c lower bound updated to 7 1.49/1.58 c BCD2: 7 <= obj <= 10983 1.49/1.58 c BCD2: #cores=6, #unrelaxed=10949, #relaxed=35, #hardened=0 1.49/1.58 c BCD2: #sat=1 #unsat=8 bias=8/9 1.49/1.58 c Solving starts ... 1.49/1.58 c ============================[ Search Statistics ]============================ 1.49/1.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.58 c | | | | Limit GC | Var | Constra 1.49/1.58 c ============================================================================= 1.49/1.58 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 1.59/1.60 c 0.0s | 0 | 79 | 0 | 24628 0 | 6 | 2454 1.59/1.60 c #cpu_time = 0.020s 1.59/1.60 c #wall_clock_time = 0.020s 1.59/1.60 c #decision = 79 1.59/1.60 c #random_decision = 0 1.59/1.60 c #conflict = 0 1.59/1.60 c #restart = 0 1.59/1.60 c BCD2: found a new core of size 3: cost of the new core is >=1 1.59/1.60 c lower bound updated to 8 1.59/1.61 c BCD2: 8 <= obj <= 10983 1.59/1.61 c BCD2: #cores=7, #unrelaxed=10946, #relaxed=38, #hardened=0 1.59/1.61 c BCD2: #sat=1 #unsat=9 bias=9/10 1.59/1.61 c Solving starts ... 1.59/1.61 c ============================[ Search Statistics ]============================ 1.59/1.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.61 c | | | | Limit GC | Var | Constra 1.59/1.61 c ============================================================================= 1.59/1.61 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 1.59/1.63 c 0.0s | 0 | 84 | 0 | 24628 0 | 6 | 2454 1.59/1.63 c #cpu_time = 0.016s 1.59/1.63 c #wall_clock_time = 0.016s 1.59/1.63 c #decision = 84 1.59/1.63 c #random_decision = 0 1.59/1.63 c #conflict = 0 1.59/1.63 c #restart = 0 1.59/1.63 c BCD2: found a new core of size 7: cost of the new core is >=1 1.59/1.63 c lower bound updated to 9 1.59/1.63 c BCD2: 9 <= obj <= 10983 1.59/1.63 c BCD2: #cores=8, #unrelaxed=10939, #relaxed=45, #hardened=0 1.59/1.63 c BCD2: #sat=1 #unsat=10 bias=10/11 1.59/1.63 c Solving starts ... 1.59/1.63 c ============================[ Search Statistics ]============================ 1.59/1.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.63 c | | | | Limit GC | Var | Constra 1.59/1.63 c ============================================================================= 1.59/1.63 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 1.59/1.65 c 0.0s | 0 | 85 | 0 | 24628 0 | 6 | 2454 1.59/1.65 c #cpu_time = 0.020s 1.59/1.65 c #wall_clock_time = 0.020s 1.59/1.65 c #decision = 85 1.59/1.65 c #random_decision = 0 1.59/1.65 c #conflict = 0 1.59/1.65 c #restart = 0 1.59/1.65 c BCD2: found a new core of size 7: cost of the new core is >=1 1.59/1.65 c lower bound updated to 10 1.59/1.66 c BCD2: 10 <= obj <= 10983 1.59/1.66 c BCD2: #cores=9, #unrelaxed=10932, #relaxed=52, #hardened=0 1.59/1.66 c BCD2: #sat=1 #unsat=11 bias=11/12 1.59/1.66 c Solving starts ... 1.59/1.66 c ============================[ Search Statistics ]============================ 1.59/1.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.66 c | | | | Limit GC | Var | Constra 1.59/1.66 c ============================================================================= 1.59/1.66 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 1.59/1.68 c 0.0s | 0 | 94 | 0 | 24628 0 | 6 | 2454 1.59/1.68 c #cpu_time = 0.017s 1.59/1.68 c #wall_clock_time = 0.017s 1.59/1.68 c #decision = 94 1.59/1.68 c #random_decision = 0 1.59/1.68 c #conflict = 0 1.59/1.68 c #restart = 0 1.59/1.68 c BCD2: found a new core of size 27: cost of the new core is >=1 1.59/1.68 c lower bound updated to 11 1.59/1.68 c BCD2: 11 <= obj <= 10983 1.59/1.68 c BCD2: #cores=10, #unrelaxed=10905, #relaxed=79, #hardened=0 1.59/1.68 c BCD2: #sat=1 #unsat=12 bias=12/13 1.59/1.68 c Solving starts ... 1.59/1.68 c ============================[ Search Statistics ]============================ 1.59/1.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.68 c | | | | Limit GC | Var | Constra 1.59/1.68 c ============================================================================= 1.59/1.68 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 1.69/1.70 c 0.0s | 0 | 104 | 0 | 24628 0 | 6 | 2454 1.69/1.70 c #cpu_time = 0.021s 1.69/1.70 c #wall_clock_time = 0.022s 1.69/1.70 c #decision = 104 1.69/1.70 c #random_decision = 0 1.69/1.70 c #conflict = 0 1.69/1.70 c #restart = 0 1.69/1.70 c BCD2: found a new core of size 9: cost of the new core is >=1 1.69/1.70 c lower bound updated to 12 1.69/1.71 c BCD2: 12 <= obj <= 10983 1.69/1.71 c BCD2: #cores=11, #unrelaxed=10896, #relaxed=88, #hardened=0 1.69/1.71 c BCD2: #sat=1 #unsat=13 bias=13/14 1.69/1.71 c Solving starts ... 1.69/1.71 c ============================[ Search Statistics ]============================ 1.69/1.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.69/1.71 c | | | | Limit GC | Var | Constra 1.69/1.71 c ============================================================================= 1.69/1.71 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 1.69/1.73 c 0.0s | 0 | 127 | 0 | 24628 0 | 6 | 2454 1.69/1.73 c #cpu_time = 0.017s 1.69/1.73 c #wall_clock_time = 0.017s 1.69/1.73 c #decision = 127 1.69/1.73 c #random_decision = 0 1.69/1.73 c #conflict = 0 1.69/1.73 c #restart = 0 1.69/1.73 c BCD2: found a new core of size 31: cost of the new core is >=1 1.69/1.73 c lower bound updated to 13 1.69/1.73 c BCD2: 13 <= obj <= 10983 1.69/1.73 c BCD2: #cores=12, #unrelaxed=10865, #relaxed=119, #hardened=0 1.69/1.73 c BCD2: #sat=1 #unsat=14 bias=14/15 1.69/1.73 c Solving starts ... 1.69/1.73 c ============================[ Search Statistics ]============================ 1.69/1.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.69/1.73 c | | | | Limit GC | Var | Constra 1.69/1.73 c ============================================================================= 1.69/1.73 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 1.69/1.76 c 0.0s | 0 | 295 | 0 | 24628 0 | 6 | 2454 1.69/1.76 c #cpu_time = 0.022s 1.69/1.76 c #wall_clock_time = 0.022s 1.69/1.76 c #decision = 295 1.69/1.76 c #random_decision = 0 1.69/1.76 c #conflict = 0 1.69/1.76 c #restart = 0 1.69/1.76 c BCD2: found a new core of size 99: cost of the new core is >=1 1.69/1.76 c lower bound updated to 14 1.69/1.76 c BCD2: 14 <= obj <= 10983 1.69/1.76 c BCD2: #cores=13, #unrelaxed=10766, #relaxed=218, #hardened=0 1.69/1.76 c BCD2: #sat=1 #unsat=15 bias=15/16 1.69/1.76 c Solving starts ... 1.69/1.76 c ============================[ Search Statistics ]============================ 1.69/1.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.69/1.76 c | | | | Limit GC | Var | Constra 1.69/1.76 c ============================================================================= 1.69/1.76 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 1.69/1.78 c 0.0s | 0 | 204 | 0 | 24628 0 | 6 | 2454 1.69/1.78 c #cpu_time = 0.017s 1.69/1.78 c #wall_clock_time = 0.017s 1.69/1.78 c #decision = 204 1.69/1.78 c #random_decision = 0 1.69/1.78 c #conflict = 0 1.69/1.78 c #restart = 0 1.69/1.78 c BCD2: found a new core of size 9: cost of the new core is >=1 1.69/1.78 c lower bound updated to 15 1.69/1.79 c BCD2: 15 <= obj <= 10983 1.69/1.79 c BCD2: #cores=14, #unrelaxed=10757, #relaxed=227, #hardened=0 1.69/1.79 c BCD2: #sat=1 #unsat=16 bias=16/17 1.69/1.79 c Solving starts ... 1.69/1.79 c ============================[ Search Statistics ]============================ 1.69/1.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.69/1.79 c | | | | Limit GC | Var | Constra 1.69/1.79 c ============================================================================= 1.69/1.79 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 1.79/1.81 c 0.0s | 0 | 257 | 0 | 24628 0 | 6 | 2454 1.79/1.81 c #cpu_time = 0.021s 1.79/1.81 c #wall_clock_time = 0.021s 1.79/1.81 c #decision = 257 1.79/1.81 c #random_decision = 0 1.79/1.81 c #conflict = 0 1.79/1.81 c #restart = 0 1.79/1.81 c BCD2: found a new core of size 110: cost of the new core is >=1 1.79/1.81 c lower bound updated to 16 1.79/1.81 c BCD2: 16 <= obj <= 10983 1.79/1.81 c BCD2: #cores=15, #unrelaxed=10647, #relaxed=337, #hardened=0 1.79/1.81 c BCD2: #sat=1 #unsat=17 bias=17/18 1.79/1.81 c Solving starts ... 1.79/1.81 c ============================[ Search Statistics ]============================ 1.79/1.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.81 c | | | | Limit GC | Var | Constra 1.79/1.81 c ============================================================================= 1.79/1.81 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 1.79/1.84 c 0.0s | 0 | 500 | 0 | 24628 0 | 6 | 2454 1.79/1.84 c #cpu_time = 0.021s 1.79/1.84 c #wall_clock_time = 0.021s 1.79/1.84 c #decision = 500 1.79/1.84 c #random_decision = 0 1.79/1.84 c #conflict = 0 1.79/1.84 c #restart = 0 1.79/1.84 c BCD2: found a new core of size 27: cost of the new core is >=1 1.79/1.84 c lower bound updated to 17 1.79/1.84 c BCD2: 17 <= obj <= 10983 1.79/1.84 c BCD2: #cores=16, #unrelaxed=10620, #relaxed=364, #hardened=0 1.79/1.84 c BCD2: #sat=1 #unsat=18 bias=18/19 1.79/1.84 c Solving starts ... 1.79/1.84 c ============================[ Search Statistics ]============================ 1.79/1.84 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.84 c | | | | Limit GC | Var | Constra 1.79/1.84 c ============================================================================= 1.79/1.84 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 1.79/1.87 c 0.0s | 0 | 1182 | 0 | 24628 0 | 6 | 2454 1.79/1.87 c #cpu_time = 0.028s 1.79/1.87 c #wall_clock_time = 0.028s 1.79/1.87 c #decision = 1182 1.79/1.87 c #random_decision = 0 1.79/1.87 c #conflict = 0 1.79/1.87 c #restart = 0 1.79/1.87 c BCD2: found a new core of size 80: cost of the new core is >=1 1.79/1.87 c lower bound updated to 18 1.79/1.88 c BCD2: 18 <= obj <= 10983 1.79/1.88 c BCD2: #cores=17, #unrelaxed=10540, #relaxed=444, #hardened=0 1.79/1.88 c BCD2: #sat=1 #unsat=19 bias=19/20 1.79/1.88 c Solving starts ... 1.79/1.88 c ============================[ Search Statistics ]============================ 1.79/1.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.88 c | | | | Limit GC | Var | Constra 1.79/1.88 c ============================================================================= 1.79/1.88 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 1.89/1.90 c 0.0s | 0 | 1113 | 0 | 24628 0 | 6 | 2454 1.89/1.90 c #cpu_time = 0.021s 1.89/1.90 c #wall_clock_time = 0.021s 1.89/1.90 c #decision = 1113 1.89/1.90 c #random_decision = 0 1.89/1.90 c #conflict = 0 1.89/1.90 c #restart = 0 1.89/1.90 c BCD2: found a new core of size 13: cost of the new core is >=1 1.89/1.90 c lower bound updated to 19 1.89/1.91 c BCD2: 19 <= obj <= 10983 1.89/1.91 c BCD2: #cores=18, #unrelaxed=10527, #relaxed=457, #hardened=0 1.89/1.91 c BCD2: #sat=1 #unsat=20 bias=20/21 1.89/1.91 c Solving starts ... 1.89/1.91 c ============================[ Search Statistics ]============================ 1.89/1.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.91 c | | | | Limit GC | Var | Constra 1.89/1.91 c ============================================================================= 1.89/1.91 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 1.89/1.94 c 0.0s | 0 | 1304 | 0 | 24628 0 | 6 | 2454 1.89/1.94 c #cpu_time = 0.026s 1.89/1.94 c #wall_clock_time = 0.026s 1.89/1.94 c #decision = 1304 1.89/1.94 c #random_decision = 0 1.89/1.94 c #conflict = 0 1.89/1.94 c #restart = 0 1.89/1.94 c BCD2: found a new core of size 143: cost of the new core is >=1 1.89/1.94 c lower bound updated to 20 1.89/1.95 c BCD2: 20 <= obj <= 10983 1.89/1.95 c BCD2: #cores=19, #unrelaxed=10384, #relaxed=600, #hardened=0 1.89/1.95 c BCD2: #sat=1 #unsat=21 bias=21/22 1.89/1.95 c Solving starts ... 1.89/1.95 c ============================[ Search Statistics ]============================ 1.89/1.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.95 c | | | | Limit GC | Var | Constra 1.89/1.95 c ============================================================================= 1.89/1.95 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 1.89/1.97 c 0.0s | 0 | 1721 | 0 | 24628 0 | 6 | 2454 1.89/1.97 c #cpu_time = 0.023s 1.89/1.97 c #wall_clock_time = 0.024s 1.89/1.97 c #decision = 1721 1.89/1.97 c #random_decision = 0 1.89/1.97 c #conflict = 0 1.89/1.97 c #restart = 0 1.89/1.97 c BCD2: found a new core of size 103: cost of the new core is >=1 1.89/1.97 c lower bound updated to 21 1.89/1.98 c BCD2: 21 <= obj <= 10983 1.89/1.98 c BCD2: #cores=20, #unrelaxed=10281, #relaxed=703, #hardened=0 1.89/1.98 c BCD2: #sat=1 #unsat=22 bias=22/23 1.89/1.98 c Solving starts ... 1.89/1.98 c ============================[ Search Statistics ]============================ 1.89/1.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.98 c | | | | Limit GC | Var | Constra 1.89/1.98 c ============================================================================= 1.89/1.98 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 1.99/2.01 c 0.0s | 0 | 1692 | 0 | 24628 0 | 6 | 2454 1.99/2.01 c #cpu_time = 0.025s 1.99/2.01 c #wall_clock_time = 0.026s 1.99/2.01 c #decision = 1692 1.99/2.01 c #random_decision = 0 1.99/2.01 c #conflict = 0 1.99/2.01 c #restart = 0 1.99/2.01 c BCD2: found a new core of size 27: cost of the new core is >=1 1.99/2.01 c lower bound updated to 22 1.99/2.02 c BCD2: 22 <= obj <= 10983 1.99/2.02 c BCD2: #cores=21, #unrelaxed=10254, #relaxed=730, #hardened=0 1.99/2.02 c BCD2: #sat=1 #unsat=23 bias=23/24 1.99/2.02 c Solving starts ... 1.99/2.02 c ============================[ Search Statistics ]============================ 1.99/2.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.99/2.02 c | | | | Limit GC | Var | Constra 1.99/2.02 c ============================================================================= 1.99/2.02 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 1.99/2.04 c 0.0s | 0 | 1765 | 0 | 24628 0 | 6 | 2454 1.99/2.04 c #cpu_time = 0.021s 1.99/2.04 c #wall_clock_time = 0.021s 1.99/2.04 c #decision = 1765 1.99/2.04 c #random_decision = 0 1.99/2.04 c #conflict = 0 1.99/2.04 c #restart = 0 1.99/2.04 c BCD2: found a new core of size 81: cost of the new core is >=1 1.99/2.04 c lower bound updated to 23 1.99/2.05 c BCD2: 23 <= obj <= 10983 1.99/2.05 c BCD2: #cores=22, #unrelaxed=10173, #relaxed=811, #hardened=0 1.99/2.05 c BCD2: #sat=1 #unsat=24 bias=24/25 1.99/2.05 c Solving starts ... 1.99/2.05 c ============================[ Search Statistics ]============================ 1.99/2.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.99/2.05 c | | | | Limit GC | Var | Constra 1.99/2.05 c ============================================================================= 1.99/2.05 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 1.99/2.08 c 0.0s | 0 | 2114 | 0 | 24628 0 | 6 | 2454 1.99/2.08 c #cpu_time = 0.027s 1.99/2.08 c #wall_clock_time = 0.027s 1.99/2.08 c #decision = 2114 1.99/2.08 c #random_decision = 0 1.99/2.08 c #conflict = 0 1.99/2.08 c #restart = 0 1.99/2.08 c BCD2: found a new core of size 39: cost of the new core is >=1 1.99/2.08 c lower bound updated to 24 1.99/2.08 c BCD2: 24 <= obj <= 10983 1.99/2.08 c BCD2: #cores=23, #unrelaxed=10134, #relaxed=850, #hardened=0 1.99/2.08 c BCD2: #sat=1 #unsat=25 bias=25/26 1.99/2.08 c Solving starts ... 1.99/2.08 c ============================[ Search Statistics ]============================ 1.99/2.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.99/2.08 c | | | | Limit GC | Var | Constra 1.99/2.08 c ============================================================================= 1.99/2.08 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 2.09/2.11 c 0.0s | 0 | 2159 | 0 | 24628 0 | 6 | 2454 2.09/2.11 c #cpu_time = 0.022s 2.09/2.11 c #wall_clock_time = 0.022s 2.09/2.11 c #decision = 2159 2.09/2.11 c #random_decision = 0 2.09/2.11 c #conflict = 0 2.09/2.11 c #restart = 0 2.09/2.11 c BCD2: found a new core of size 33: cost of the new core is >=1 2.09/2.11 c lower bound updated to 25 2.09/2.12 c BCD2: 25 <= obj <= 10983 2.09/2.12 c BCD2: #cores=24, #unrelaxed=10101, #relaxed=883, #hardened=0 2.09/2.12 c BCD2: #sat=1 #unsat=26 bias=26/27 2.09/2.12 c Solving starts ... 2.09/2.12 c ============================[ Search Statistics ]============================ 2.09/2.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.09/2.12 c | | | | Limit GC | Var | Constra 2.09/2.12 c ============================================================================= 2.09/2.12 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 2.09/2.16 c 0.0s | 0 | 6088 | 0 | 24628 0 | 6 | 2454 2.09/2.16 c #cpu_time = 0.038s 2.09/2.16 c #wall_clock_time = 0.038s 2.09/2.16 c #decision = 6088 2.09/2.16 c #random_decision = 0 2.09/2.16 c #conflict = 0 2.09/2.16 c #restart = 0 2.09/2.16 c BCD2: found a new core of size 32: cost of the new core is >=1 2.09/2.16 c lower bound updated to 26 2.09/2.17 c BCD2: 26 <= obj <= 10983 2.09/2.17 c BCD2: #cores=25, #unrelaxed=10069, #relaxed=915, #hardened=0 2.09/2.17 c BCD2: #sat=1 #unsat=27 bias=27/28 2.09/2.17 c Solving starts ... 2.09/2.17 c ============================[ Search Statistics ]============================ 2.09/2.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.09/2.17 c | | | | Limit GC | Var | Constra 2.09/2.17 c ============================================================================= 2.09/2.17 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 2.20/2.22 c 0.0s | 0 | 8563 | 0 | 24628 0 | 6 | 2454 2.20/2.22 c #cpu_time = 0.043s 2.20/2.22 c #wall_clock_time = 0.043s 2.20/2.22 c #decision = 8563 2.20/2.22 c #random_decision = 0 2.20/2.22 c #conflict = 0 2.20/2.22 c #restart = 0 2.20/2.22 c BCD2: found a new core of size 3810: cost of the new core is >=1 2.20/2.29 c lower bound updated to 27 2.30/2.30 c BCD2: 27 <= obj <= 10983 2.30/2.30 c BCD2: #cores=26, #unrelaxed=6259, #relaxed=4725, #hardened=0 2.30/2.30 c BCD2: #sat=1 #unsat=28 bias=28/29 2.30/2.32 c Solving starts ... 2.30/2.32 c ============================[ Search Statistics ]============================ 2.30/2.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.30/2.32 c | | | | Limit GC | Var | Constra 2.30/2.32 c ============================================================================= 2.30/2.32 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 2.30/2.36 c 0.0s | 0 | 4990 | 0 | 24628 0 | 6 | 2454 2.30/2.36 c #cpu_time = 0.038s 2.30/2.36 c #wall_clock_time = 0.038s 2.30/2.36 c #decision = 4990 2.30/2.36 c #random_decision = 0 2.30/2.36 c #conflict = 0 2.30/2.36 c #restart = 0 2.30/2.36 c BCD2: found a new core of size 103: cost of the new core is >=1 2.30/2.36 c lower bound updated to 28 2.30/2.37 c BCD2: 28 <= obj <= 10983 2.30/2.37 c BCD2: #cores=27, #unrelaxed=6156, #relaxed=4828, #hardened=0 2.30/2.37 c BCD2: #sat=1 #unsat=29 bias=29/30 2.30/2.38 c Solving starts ... 2.30/2.38 c ============================[ Search Statistics ]============================ 2.30/2.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.30/2.38 c | | | | Limit GC | Var | Constra 2.30/2.38 c ============================================================================= 2.30/2.38 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 2.39/2.43 c 0.0s | 0 | 6182 | 0 | 24628 0 | 6 | 2454 2.39/2.43 c #cpu_time = 0.041s 2.39/2.43 c #wall_clock_time = 0.041s 2.39/2.43 c #decision = 6182 2.39/2.43 c #random_decision = 0 2.39/2.43 c #conflict = 0 2.39/2.43 c #restart = 0 2.39/2.43 c BCD2: found a new core of size 1088: cost of the new core is >=1 2.39/2.43 c lower bound updated to 29 2.39/2.44 c BCD2: 29 <= obj <= 10983 2.39/2.44 c BCD2: #cores=28, #unrelaxed=5068, #relaxed=5916, #hardened=0 2.39/2.44 c BCD2: #sat=1 #unsat=30 bias=30/31 2.39/2.46 c Solving starts ... 2.39/2.46 c ============================[ Search Statistics ]============================ 2.39/2.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.39/2.46 c | | | | Limit GC | Var | Constra 2.39/2.46 c ============================================================================= 2.39/2.46 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2454 2.49/2.54 c 0.1s | 0 | 10337 | 0 | 24628 0 | 6 | 2454 2.49/2.54 c #cpu_time = 0.064s 2.49/2.54 c #wall_clock_time = 0.064s 2.49/2.54 c #decision = 10337 2.49/2.54 c #random_decision = 6 2.49/2.54 c #conflict = 0 2.49/2.54 c #restart = 0 2.49/2.54 o 50 2.49/2.56 c BCD2: updating upper bound: 10983 -> 49 2.59/2.60 c BCD2: 29 <= obj <= 49 2.59/2.60 c BCD2: #cores=28, #unrelaxed=5068, #relaxed=5916, #hardened=0 2.59/2.60 c BCD2: #sat=2 #unsat=30 bias=30/32 2.59/2.63 c Solving starts ... 2.59/2.63 c ============================[ Search Statistics ]============================ 2.59/2.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.59/2.63 c | | | | Limit GC | Var | Constra 2.59/2.63 c ============================================================================= 2.59/2.63 c 0.0s | 0 | 0 | 0 | 24628 0 | 6 | 2455 2.79/2.84 c 0.2s | 0 | 28145 | 75 | 24628 0 | 6 | 2455 2.79/2.84 c #cpu_time = 0.206s 2.79/2.84 c #wall_clock_time = 0.206s 2.79/2.84 c #decision = 28145 2.79/2.84 c #random_decision = 1 2.79/2.84 c #conflict = 75 2.79/2.84 c #restart = 0 2.79/2.84 c BCD2: relaxing 79 and merging with 11 cores into a new core of size 405: cost of the new core is >=13 2.79/2.84 c lower bound updated to 30 2.79/2.85 c BCD2: 30 <= obj <= 49 2.79/2.85 c BCD2: #cores=18, #unrelaxed=4989, #relaxed=5995, #hardened=0 2.79/2.85 c BCD2: #sat=2 #unsat=31 bias=31/33 2.79/2.85 c Solving starts ... 2.79/2.85 c ============================[ Search Statistics ]============================ 2.79/2.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.79/2.85 c | | | | Limit GC | Var | Constra 2.79/2.85 c ============================================================================= 2.79/2.85 c 0.0s | 0 | 0 | 0 | 24628 0 | 36 | 2455 2.89/2.99 c 0.1s | 1 | 5949 | 100 | 27091 0 | 36 | 2504 3.09/3.16 c 0.3s | 2 | 11608 | 250 | 29801 0 | 36 | 2504 3.49/3.55 c 0.7s | 3 | 17386 | 475 | 32782 0 | 36 | 2504 3.79/3.83 c 1.0s | 3 | 25062 | 565 | 32782 0 | 36 | 2504 3.79/3.83 c #cpu_time = 0.953s 3.79/3.83 c #wall_clock_time = 0.956s 3.79/3.83 c #decision = 25062 3.79/3.83 c #random_decision = 12 3.79/3.83 c #conflict = 565 3.79/3.83 c #restart = 3 3.79/3.83 o 42 3.79/3.84 c BCD2: updating upper bound: 49 -> 41 3.79/3.89 c BCD2: 30 <= obj <= 41 3.79/3.89 c BCD2: #cores=18, #unrelaxed=4989, #relaxed=5995, #hardened=0 3.79/3.89 c BCD2: #sat=3 #unsat=31 bias=31/34 3.89/3.91 c Solving starts ... 3.89/3.91 c ============================[ Search Statistics ]============================ 3.89/3.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.89/3.91 c | | | | Limit GC | Var | Constra 3.89/3.91 c ============================================================================= 3.89/3.91 c 0.0s | 0 | 0 | 0 | 32782 0 | 36 | 2505 4.09/4.10 c 0.2s | 1 | 5513 | 100 | 32782 0 | 36 | 2505 4.29/4.32 c 0.4s | 2 | 11286 | 250 | 36061 0 | 36 | 2505 4.59/4.68 c 0.8s | 3 | 16848 | 475 | 36061 0 | 36 | 2505 5.19/5.20 c 1.3s | 4 | 23057 | 813 | 39668 0 | 36 | 2505 5.89/5.95 c 2.0s | 5 | 30223 | 1320 | 39668 0 | 36 | 2505 6.70/6.72 c 2.8s | 6 | 37902 | 2081 | 43635 0 | 36 | 2505 7.99/8.07 c 4.2s | 7 | 47315 | 3223 | 47999 0 | 36 | 2505 10.09/10.15 c 6.2s | 7 | 58994 | 4923 | 52799 0 | 36 | 2505 10.09/10.16 c 6.3s | 8 | 59029 | 4936 | 52799 0 | 36 | 2505 12.10/12.19 c 8.3s | 8 | 69576 | 6536 | 52799 0 | 36 | 2505 13.20/13.22 c 9.3s | 9 | 73815 | 7506 | 58079 0 | 36 | 2505 15.29/15.30 c 11.4s | 9 | 88215 | 9706 | 58079 0 | 36 | 2505 16.69/16.78 c 12.9s | 10 | 93552 | 11361 | 63887 0 | 36 | 2505 18.70/18.80 c 14.9s | 10 | 107361 | 13561 | 63887 0 | 36 | 2505 20.79/20.90 c 17.0s | 10 | 114006 | 15461 | 63887 0 | 36 | 2505 22.49/22.51 c 18.6s | 11 | 121216 | 17144 | 70276 0 | 36 | 2505 24.49/24.59 c 20.7s | 11 | 131961 | 18844 | 70276 0 | 36 | 2505 26.59/26.63 c 22.7s | 11 | 139486 | 20844 | 70276 0 | 36 | 2505 28.79/28.80 c 24.9s | 11 | 146507 | 22544 | 70276 0 | 36 | 2505 30.79/30.83 c 26.9s | 11 | 150425 | 23744 | 70276 0 | 36 | 2505 32.79/32.87 c 29.0s | 11 | 156136 | 25344 | 77304 0 | 36 | 2505 33.48/33.56 c 29.6s | 12 | 157546 | 25819 | 77304 0 | 36 | 2505 35.58/35.65 c 31.7s | 12 | 167169 | 27119 | 77304 0 | 36 | 2505 37.68/37.73 c 33.8s | 12 | 189390 | 29119 | 77304 0 | 36 | 2505 39.78/39.85 c 35.9s | 12 | 207168 | 30919 | 77304 0 | 36 | 2505 41.89/41.93 c 38.0s | 12 | 222583 | 32519 | 77304 0 | 36 | 2505 43.88/43.96 c 40.0s | 12 | 235889 | 34019 | 77304 0 | 36 | 2505 45.98/46.07 c 42.2s | 12 | 248629 | 35619 | 77304 0 | 36 | 2505 47.98/48.07 c 44.2s | 12 | 260940 | 37119 | 77304 0 | 36 | 2505 50.08/50.14 c 46.2s | 12 | 271535 | 38619 | 85035 0 | 36 | 2505 50.38/50.48 c 46.6s | 13 | 272899 | 38832 | 85035 0 | 36 | 2505 52.58/52.67 c 48.8s | 13 | 292724 | 39832 | 85035 0 | 36 | 2505 54.68/54.77 c 50.9s | 13 | 306855 | 41032 | 85035 0 | 36 | 2505 56.88/56.90 c 53.0s | 13 | 318039 | 42232 | 85035 0 | 36 | 2505 58.88/58.98 c 55.1s | 13 | 329659 | 43432 | 85035 0 | 36 | 2505 60.98/61.08 c 57.2s | 13 | 341127 | 44632 | 85035 0 | 36 | 2505 63.18/63.27 c 59.4s | 13 | 352619 | 45732 | 85035 0 | 36 | 2505 65.28/65.30 c 61.4s | 13 | 358178 | 46632 | 85035 0 | 36 | 2505 67.38/67.48 c 63.6s | 13 | 365453 | 47732 | 85035 0 | 36 | 2505 69.48/69.57 c 65.7s | 13 | 375660 | 48832 | 85035 0 | 36 | 2505 71.59/71.62 c 67.7s | 13 | 379674 | 49732 | 85035 0 | 36 | 2505 73.69/73.77 c 69.9s | 13 | 385323 | 50732 | 85035 0 | 36 | 2505 75.68/75.79 c 71.9s | 13 | 391010 | 51632 | 85035 0 | 36 | 2505 77.88/77.93 c 74.0s | 13 | 398260 | 52832 | 85035 0 | 36 | 2505 79.98/80.03 c 76.1s | 13 | 406527 | 53932 | 85035 0 | 36 | 2505 81.98/82.06 c 78.1s | 13 | 416189 | 54932 | 85035 0 | 36 | 2505 84.08/84.18 c 80.3s | 13 | 425798 | 55932 | 85035 0 | 36 | 2505 86.18/86.24 c 82.3s | 13 | 434633 | 56832 | 85035 0 | 36 | 2505 88.18/88.24 c 84.3s | 13 | 445912 | 57832 | 93539 0 | 36 | 2505 89.08/89.18 c 85.3s | 14 | 451856 | 58352 | 93539 0 | 36 | 2505 91.28/91.33 c 87.4s | 14 | 472503 | 59252 | 93539 0 | 36 | 2505 93.28/93.33 c 89.4s | 14 | 487533 | 60052 | 93539 0 | 36 | 2505 95.48/95.56 c 91.6s | 14 | 498281 | 60852 | 93539 0 | 36 | 2505 97.68/97.71 c 93.8s | 14 | 511908 | 61652 | 93539 0 | 36 | 2505 99.67/99.77 c 95.9s | 14 | 518277 | 62352 | 93539 0 | 36 | 2505 101.97/102.00 c 98.1s | 14 | 525783 | 63052 | 93539 0 | 36 | 2505 104.07/104.15 c 100s | 14 | 533993 | 63652 | 93539 0 | 36 | 2505 106.07/106.17 c 102s | 14 | 538437 | 64352 | 93539 0 | 36 | 2505 108.27/108.39 c 104s | 14 | 542799 | 65052 | 93539 0 | 36 | 2505 110.47/110.50 c 106s | 14 | 546455 | 65752 | 93539 0 | 36 | 2505 112.67/112.75 c 108s | 14 | 551442 | 66452 | 93539 0 | 36 | 2505 114.77/114.86 c 110s | 14 | 555810 | 67052 | 93539 0 | 36 | 2505 116.77/116.88 c 112s | 14 | 559167 | 67652 | 93539 0 | 36 | 2505 119.07/119.10 c 115s | 14 | 563205 | 68352 | 93539 0 | 36 | 2505 121.08/121.14 c 117s | 14 | 567012 | 69052 | 93539 0 | 36 | 2505 123.18/123.26 c 119s | 14 | 571686 | 69752 | 93539 0 | 36 | 2505 125.27/125.30 c 121s | 14 | 574786 | 70352 | 93539 0 | 36 | 2505 127.27/127.32 c 123s | 14 | 579373 | 71152 | 93539 0 | 36 | 2505 129.37/129.40 c 125s | 14 | 582352 | 71752 | 93539 0 | 36 | 2505 131.47/131.56 c 127s | 14 | 586864 | 72352 | 93539 0 | 36 | 2505 133.56/133.64 c 129s | 14 | 593673 | 73152 | 93539 0 | 36 | 2505 135.66/135.75 c 131s | 14 | 599683 | 73852 | 93539 0 | 36 | 2505 137.66/137.76 c 133s | 14 | 606407 | 74452 | 93539 0 | 36 | 2505 139.96/140.06 c 136s | 14 | 612440 | 75152 | 93539 0 | 36 | 2505 142.16/142.24 c 138s | 14 | 619399 | 75952 | 93539 0 | 36 | 2505 144.26/144.39 c 140s | 14 | 624466 | 76652 | 93539 0 | 36 | 2505 146.37/146.45 c 142s | 14 | 629024 | 77252 | 93539 0 | 36 | 2505 148.57/148.68 c 144s | 14 | 636633 | 77952 | 93539 0 | 36 | 2505 150.67/150.71 c 146s | 14 | 641395 | 78552 | 93539 0 | 36 | 2505 152.97/153.04 c 149s | 14 | 645420 | 79152 | 93539 0 | 36 | 2505 155.16/155.28 c 151s | 14 | 651732 | 79852 | 93539 0 | 36 | 2505 157.36/157.49 c 153s | 14 | 659209 | 80752 | 93539 0 | 36 | 2505 159.65/159.70 c 155s | 14 | 666685 | 81552 | 93539 0 | 36 | 2505 161.66/161.75 c 157s | 14 | 673901 | 82752 | 93539 0 | 36 | 2505 163.75/163.82 c 159s | 14 | 681369 | 83652 | 93539 0 | 36 | 2505 165.75/165.83 c 161s | 14 | 689894 | 84552 | 93539 0 | 36 | 2505 167.95/168.03 c 164s | 14 | 699945 | 85452 | 93539 0 | 36 | 2505 170.05/170.11 c 166s | 14 | 708431 | 86252 | 93539 0 | 36 | 2505 172.35/172.41 c 168s | 14 | 715303 | 87052 | 102893 0 | 36 | 2505 174.35/174.45 c 170s | 15 | 721455 | 87632 | 102893 0 | 36 | 2505 176.45/176.55 c 172s | 15 | 732296 | 88232 | 102893 0 | 36 | 2505 178.45/178.59 c 174s | 15 | 737161 | 88832 | 102893 0 | 36 | 2505 180.65/180.77 c 176s | 15 | 742372 | 89632 | 102893 0 | 36 | 2505 183.05/183.10 c 179s | 15 | 748060 | 90532 | 102893 0 | 36 | 2505 185.24/185.30 c 181s | 15 | 756734 | 91332 | 102893 0 | 36 | 2505 187.44/187.54 c 183s | 15 | 762925 | 92232 | 102893 0 | 36 | 2505 189.54/189.69 c 185s | 15 | 766643 | 92832 | 102893 0 | 36 | 2505 191.94/192.04 c 188s | 15 | 771977 | 93332 | 102893 0 | 36 | 2505 194.44/194.55 c 190s | 15 | 774944 | 93832 | 102893 0 | 36 | 2505 196.85/196.94 c 193s | 15 | 781134 | 94332 | 102893 0 | 36 | 2505 198.94/199.02 c 195s | 15 | 785202 | 94832 | 102893 0 | 36 | 2505 201.25/201.33 c 197s | 15 | 791540 | 95432 | 102893 0 | 36 | 2505 203.45/203.58 c 199s | 15 | 796310 | 96032 | 102893 0 | 36 | 2505 205.74/205.84 c 201s | 15 | 801475 | 96432 | 102893 0 | 36 | 2505 208.23/208.31 c 204s | 15 | 805427 | 96932 | 102893 0 | 36 | 2505 210.43/210.59 c 206s | 15 | 810640 | 97532 | 102893 0 | 36 | 2505 212.73/212.87 c 208s | 15 | 814346 | 98032 | 102893 0 | 36 | 2505 215.23/215.30 c 211s | 15 | 817868 | 98532 | 102893 0 | 36 | 2505 217.43/217.57 c 213s | 15 | 821282 | 99032 | 102893 0 | 36 | 2505 219.73/219.88 c 215s | 15 | 824208 | 99632 | 102893 0 | 36 | 2505 221.93/222.08 c 218s | 15 | 827706 | 100132 | 102893 0 | 36 | 2505 224.13/224.25 c 220s | 15 | 831487 | 100632 | 102893 0 | 36 | 2505 226.33/226.45 c 222s | 15 | 834658 | 101132 | 102893 0 | 36 | 2505 228.53/228.67 c 224s | 15 | 837919 | 101632 | 102893 0 | 36 | 2505 230.83/230.90 c 226s | 15 | 842479 | 102232 | 102893 0 | 36 | 2505 232.83/232.95 c 229s | 15 | 846199 | 102732 | 102893 0 | 36 | 2505 234.83/234.99 c 231s | 15 | 852544 | 103332 | 102893 0 | 36 | 2505 237.02/237.12 c 233s | 15 | 863376 | 104332 | 102893 0 | 36 | 2505 239.32/239.47 c 235s | 15 | 867781 | 105032 | 102893 0 | 36 | 2505 241.32/241.49 c 237s | 15 | 871904 | 105732 | 102893 0 | 36 | 2505 243.42/243.53 c 239s | 15 | 877512 | 106432 | 102893 0 | 36 | 2505 245.62/245.75 c 241s | 15 | 884289 | 107332 | 102893 0 | 36 | 2505 247.82/247.96 c 244s | 15 | 890316 | 108232 | 102893 0 | 36 | 2505 249.82/249.98 c 246s | 15 | 894626 | 108832 | 102893 0 | 36 | 2505 251.92/252.08 c 248s | 15 | 897960 | 109432 | 102893 0 | 36 | 2505 254.22/254.30 c 250s | 15 | 902555 | 109932 | 102893 0 | 36 | 2505 256.41/256.55 c 252s | 15 | 905653 | 110432 | 102893 0 | 36 | 2505 258.71/258.86 c 254s | 15 | 908938 | 110832 | 102893 0 | 36 | 2505 260.91/261.09 c 257s | 15 | 911992 | 111232 | 102893 0 | 36 | 2505 263.21/263.39 c 259s | 15 | 915205 | 111632 | 102893 0 | 36 | 2505 265.31/265.47 c 261s | 15 | 918745 | 112032 | 102893 0 | 36 | 2505 268.42/268.58 c 264s | 15 | 925600 | 112832 | 102893 1 | 36 | 2505 271.12/271.27 c 267s | 15 | 930725 | 113732 | 102893 1 | 36 | 2505 273.21/273.32 c 269s | 15 | 931645 | 113832 | 102893 1 | 36 | 2505 277.61/277.78 c 273s | 15 | 932683 | 114032 | 102893 1 | 36 | 2505 279.81/279.96 c 276s | 15 | 943363 | 115032 | 102893 1 | 36 | 2505 282.01/282.10 c 278s | 15 | 953421 | 116132 | 102893 1 | 36 | 2505 284.11/284.22 c 280s | 15 | 965807 | 117532 | 102893 1 | 36 | 2505 286.21/286.32 c 282s | 15 | 974796 | 118632 | 102893 1 | 36 | 2505 288.70/288.85 c 284s | 15 | 981534 | 119532 | 102893 1 | 36 | 2505 290.80/290.97 c 287s | 15 | 986729 | 120232 | 102893 1 | 36 | 2505 293.00/293.15 c 289s | 15 | 997910 | 121432 | 102893 1 | 36 | 2505 295.10/295.27 c 291s | 15 | 1005639 | 122532 | 102893 1 | 36 | 2505 297.20/297.39 c 293s | 15 | 1014066 | 123532 | 102893 1 | 36 | 2505 299.30/299.40 c 295s | 15 | 1022616 | 124632 | 102893 1 | 36 | 2505 301.31/301.44 c 297s | 15 | 1030559 | 125632 | 102893 1 | 36 | 2505 303.40/303.60 c 299s | 15 | 1035761 | 126532 | 102893 1 | 36 | 2505 305.50/305.67 c 301s | 15 | 1043159 | 127432 | 102893 1 | 36 | 2505 307.70/307.84 c 303s | 15 | 1049382 | 128232 | 102893 1 | 36 | 2505 309.70/309.86 c 305s | 15 | 1058987 | 129232 | 102893 1 | 36 | 2505 311.90/312.03 c 308s | 15 | 1069782 | 130232 | 113183 1 | 36 | 2505 313.90/314.03 c 310s | 15 | 1077697 | 131132 | 113183 1 | 36 | 2505 314.90/315.03 c 311s | 16 | 1081284 | 131552 | 113183 1 | 36 | 2505 317.00/317.17 c 313s | 16 | 1094156 | 132452 | 113183 1 | 36 | 2505 319.11/319.22 c 315s | 16 | 1102793 | 133452 | 113183 1 | 36 | 2505 321.21/321.38 c 317s | 16 | 1113352 | 134752 | 113183 1 | 36 | 2505 323.41/323.58 c 319s | 16 | 1121318 | 135652 | 113183 1 | 36 | 2505 325.51/325.66 c 321s | 16 | 1128675 | 136552 | 113183 1 | 36 | 2505 327.60/327.76 c 323s | 16 | 1136063 | 137452 | 113183 1 | 36 | 2505 329.80/329.90 c 325s | 16 | 1142503 | 138152 | 113183 1 | 36 | 2505 332.11/332.23 c 328s | 16 | 1149804 | 139052 | 113183 1 | 36 | 2505 334.20/334.32 c 330s | 16 | 1157570 | 139852 | 113183 1 | 36 | 2505 336.30/336.42 c 332s | 16 | 1165358 | 140752 | 113183 1 | 36 | 2505 338.60/338.70 c 334s | 16 | 1171807 | 141652 | 113183 1 | 36 | 2505 340.80/340.92 c 337s | 16 | 1176260 | 142352 | 113183 1 | 36 | 2505 342.90/343.00 c 339s | 16 | 1181126 | 142952 | 113183 1 | 36 | 2505 345.00/345.17 c 341s | 16 | 1184902 | 143652 | 113183 1 | 36 | 2505 347.20/347.32 c 343s | 16 | 1191720 | 144552 | 113183 1 | 36 | 2505 349.50/349.62 c 345s | 16 | 1203163 | 145652 | 113183 1 | 36 | 2505 352.49/352.60 c 348s | 16 | 1216011 | 146752 | 113183 1 | 36 | 2505 354.69/354.86 c 350s | 16 | 1224651 | 147452 | 113183 1 | 36 | 2505 356.89/357.06 c 353s | 16 | 1238615 | 148652 | 113183 1 | 36 | 2505 359.09/359.21 c 355s | 16 | 1252410 | 149952 | 113183 1 | 36 | 2505 361.19/361.33 c 357s | 16 | 1264862 | 151152 | 113183 1 | 36 | 2505 363.29/363.43 c 359s | 16 | 1276397 | 152152 | 113183 1 | 36 | 2505 365.29/365.46 c 361s | 16 | 1290351 | 153252 | 113183 1 | 36 | 2505 367.49/367.66 c 363s | 16 | 1299960 | 154252 | 113183 1 | 36 | 2505 369.79/369.95 c 366s | 16 | 1312649 | 155252 | 113183 1 | 36 | 2505 371.89/372.02 c 368s | 16 | 1325495 | 156352 | 113183 1 | 36 | 2505 373.89/374.05 c 370s | 16 | 1333469 | 157352 | 113183 1 | 36 | 2505 375.98/376.10 c 372s | 16 | 1344368 | 158152 | 113183 1 | 36 | 2505 380.99/381.15 c 377s | 16 | 1348809 | 158652 | 113183 1 | 36 | 2505 382.99/383.19 c 379s | 16 | 1357188 | 159352 | 113183 1 | 36 | 2505 385.09/385.29 c 381s | 16 | 1365730 | 160252 | 113183 1 | 36 | 2505 387.19/387.34 c 383s | 16 | 1371460 | 160852 | 113183 1 | 36 | 2505 389.39/389.53 c 385s | 16 | 1383158 | 161752 | 113183 1 | 36 | 2505 391.49/391.66 c 387s | 16 | 1391240 | 162752 | 113183 1 | 36 | 2505 393.69/393.85 c 389s | 16 | 1404041 | 163852 | 113183 1 | 36 | 2505 395.89/396.03 c 392s | 16 | 1414604 | 164852 | 113183 1 | 36 | 2505 398.28/398.41 c 394s | 16 | 1417002 | 165352 | 113183 1 | 36 | 2505 400.29/400.47 c 396s | 16 | 1427566 | 166252 | 113183 1 | 36 | 2505 402.49/402.67 c 398s | 16 | 1435751 | 167252 | 113183 1 | 36 | 2505 404.69/404.82 c 400s | 16 | 1444937 | 167952 | 113183 1 | 36 | 2505 406.67/406.85 c 402s | 16 | 1453952 | 168652 | 113183 1 | 36 | 2505 408.87/409.02 c 405s | 16 | 1464534 | 169652 | 113183 1 | 36 | 2505 410.87/411.02 c 407s | 16 | 1474363 | 170652 | 113183 1 | 36 | 2505 412.87/413.04 c 409s | 16 | 1483861 | 171552 | 113183 1 | 36 | 2505 414.97/415.12 c 411s | 16 | 1493039 | 172552 | 113183 1 | 36 | 2505 416.97/417.19 c 413s | 16 | 1500607 | 173652 | 113183 1 | 36 | 2505 419.27/419.41 c 415s | 16 | 1506945 | 174452 | 113183 1 | 36 | 2505 421.28/421.43 c 417s | 16 | 1515946 | 174952 | 113183 1 | 36 | 2505 423.38/423.55 c 419s | 16 | 1524401 | 175452 | 113183 1 | 36 | 2505 425.58/425.72 c 421s | 16 | 1534385 | 176152 | 113183 1 | 36 | 2505 427.57/427.73 c 423s | 16 | 1542868 | 177152 | 113183 1 | 36 | 2505 429.67/429.88 c 425s | 16 | 1552137 | 178152 | 113183 1 | 36 | 2505 431.77/431.92 c 428s | 16 | 1560794 | 178852 | 113183 1 | 36 | 2505 433.77/433.96 c 430s | 16 | 1568943 | 179752 | 113183 1 | 36 | 2505 435.96/436.13 c 432s | 16 | 1574070 | 180252 | 113183 2 | 36 | 2505 440.06/440.28 c 436s | 16 | 1575904 | 180352 | 113183 2 | 36 | 2505 442.16/442.37 c 438s | 16 | 1580434 | 180752 | 113183 2 | 36 | 2505 444.26/444.43 c 440s | 16 | 1593819 | 181852 | 113183 2 | 36 | 2505 446.35/446.60 c 442s | 16 | 1602980 | 182852 | 113183 2 | 36 | 2505 448.45/448.69 c 444s | 16 | 1618113 | 184052 | 113183 2 | 36 | 2505 450.55/450.72 c 446s | 16 | 1629270 | 185152 | 113183 2 | 36 | 2505 452.65/452.81 c 448s | 16 | 1642337 | 186252 | 113183 2 | 36 | 2505 457.86/458.06 c 454s | 16 | 1645039 | 186452 | 113183 2 | 36 | 2505 459.86/460.07 c 456s | 16 | 1652343 | 187052 | 113183 2 | 36 | 2505 461.96/462.11 c 458s | 16 | 1665133 | 188152 | 113183 2 | 36 | 2505 463.96/464.15 c 460s | 16 | 1676462 | 189252 | 113183 2 | 36 | 2505 466.05/466.27 c 462s | 16 | 1689792 | 190352 | 113183 2 | 36 | 2505 468.25/468.41 c 464s | 16 | 1701019 | 191352 | 113183 2 | 36 | 2505 470.25/470.47 c 466s | 16 | 1712947 | 192452 | 113183 2 | 36 | 2505 472.45/472.62 c 468s | 16 | 1724518 | 193552 | 113183 2 | 36 | 2505 474.45/474.69 c 470s | 16 | 1735595 | 194552 | 113183 2 | 36 | 2505 476.55/476.72 c 472s | 16 | 1747052 | 195552 | 124502 2 | 36 | 2505 478.55/478.75 c 474s | 16 | 1758687 | 196352 | 124502 2 | 36 | 2505 480.85/481.06 c 477s | 16 | 1769745 | 197152 | 124502 2 | 36 | 2505 481.66/481.87 c 477s | 17 | 1771095 | 197432 | 124502 2 | 36 | 2505 483.75/483.94 c 480s | 17 | 1786400 | 198332 | 124502 2 | 36 | 2505 485.85/486.04 c 482s | 17 | 1795281 | 199432 | 124502 2 | 36 | 2505 492.35/492.56 c 488s | 17 | 1799785 | 199832 | 124502 2 | 36 | 2505 499.44/499.69 c 495s | 17 | 1801086 | 200032 | 124502 2 | 36 | 2505 501.55/501.73 c 497s | 17 | 1806134 | 200532 | 124502 2 | 36 | 2505 503.65/503.85 c 499s | 17 | 1812755 | 201532 | 124502 2 | 36 | 2505 506.04/506.20 c 502s | 17 | 1817225 | 202232 | 124502 2 | 36 | 2505 508.14/508.34 c 504s | 17 | 1823862 | 203132 | 124502 2 | 36 | 2505 510.74/510.95 c 507s | 17 | 1827927 | 203732 | 124502 2 | 36 | 2505 513.14/513.35 c 509s | 17 | 1832291 | 204432 | 124502 2 | 36 | 2505 515.24/515.47 c 511s | 17 | 1835609 | 205132 | 124502 2 | 36 | 2505 517.53/517.76 c 513s | 17 | 1840944 | 206032 | 124502 2 | 36 | 2505 519.93/520.20 c 516s | 17 | 1844861 | 206632 | 124502 2 | 36 | 2505 522.03/522.22 c 518s | 17 | 1848637 | 207332 | 124502 2 | 36 | 2505 524.54/524.74 c 520s | 17 | 1855027 | 208232 | 124502 2 | 36 | 2505 526.74/526.91 c 522s | 17 | 1860744 | 208832 | 124502 2 | 36 | 2505 529.13/529.34 c 525s | 17 | 1868737 | 209732 | 124502 2 | 36 | 2505 531.14/531.38 c 527s | 17 | 1871670 | 210232 | 124502 2 | 36 | 2505 533.53/533.73 c 529s | 17 | 1876055 | 210832 | 124502 2 | 36 | 2505 535.83/536.02 c 532s | 17 | 1880898 | 211432 | 124502 2 | 36 | 2505 538.03/538.25 c 534s | 17 | 1885515 | 211932 | 124502 2 | 36 | 2505 540.23/540.49 c 536s | 17 | 1889858 | 212432 | 124502 2 | 36 | 2505 542.33/542.54 c 538s | 17 | 1891921 | 212832 | 124502 2 | 36 | 2505 544.63/544.81 c 540s | 17 | 1893736 | 213232 | 124502 2 | 36 | 2505 546.63/546.85 c 542s | 17 | 1898344 | 213732 | 124502 2 | 36 | 2505 548.83/549.05 c 545s | 17 | 1904361 | 214532 | 124502 2 | 36 | 2505 551.33/551.52 c 547s | 17 | 1910594 | 215332 | 124502 2 | 36 | 2505 553.93/554.10 c 550s | 17 | 1914351 | 215832 | 124502 2 | 36 | 2505 556.02/556.20 c 552s | 17 | 1917604 | 216332 | 124502 2 | 36 | 2505 558.42/558.62 c 554s | 17 | 1922729 | 217132 | 124502 2 | 36 | 2505 560.42/560.68 c 556s | 17 | 1925477 | 217632 | 124502 2 | 36 | 2505 563.03/563.20 c 559s | 17 | 1929415 | 218332 | 124502 2 | 36 | 2505 565.12/565.33 c 561s | 17 | 1933274 | 219032 | 124502 2 | 36 | 2505 567.32/567.52 c 563s | 17 | 1938053 | 219832 | 124502 2 | 36 | 2505 569.42/569.60 c 565s | 17 | 1942792 | 220432 | 124502 2 | 36 | 2505 571.92/572.17 c 568s | 17 | 1945898 | 220932 | 124502 2 | 36 | 2505 573.92/574.17 c 570s | 17 | 1947506 | 221332 | 124502 2 | 36 | 2505 575.92/576.19 c 572s | 17 | 1953270 | 221932 | 124502 2 | 36 | 2505 578.12/578.30 c 574s | 17 | 1958366 | 222632 | 124502 2 | 36 | 2505 580.21/580.42 c 576s | 17 | 1962347 | 223232 | 124502 2 | 36 | 2505 582.21/582.48 c 578s | 17 | 1966698 | 223932 | 124502 2 | 36 | 2505 585.21/585.43 c 581s | 17 | 1968855 | 224332 | 124502 2 | 36 | 2505 587.41/587.65 c 583s | 17 | 1971300 | 224632 | 124502 2 | 36 | 2505 589.61/589.89 c 585s | 17 | 1974217 | 225132 | 124502 2 | 36 | 2505 591.81/592.00 c 588s | 17 | 1977221 | 225632 | 124502 2 | 36 | 2505 594.21/594.49 c 590s | 17 | 1980945 | 226132 | 124502 2 | 36 | 2505 596.31/596.55 c 592s | 17 | 1983373 | 226532 | 124502 2 | 36 | 2505 598.61/598.89 c 594s | 17 | 1986046 | 227032 | 124502 2 | 36 | 2505 600.80/601.00 c 597s | 17 | 1988886 | 227532 | 124502 2 | 36 | 2505 603.00/603.22 c 599s | 17 | 1994217 | 228132 | 124502 2 | 36 | 2505 605.40/605.60 c 601s | 17 | 1999041 | 228732 | 124502 2 | 36 | 2505 607.60/607.89 c 603s | 17 | 2003491 | 229432 | 124502 2 | 36 | 2505 609.70/609.95 c 606s | 17 | 2007323 | 229932 | 124502 2 | 36 | 2505 611.71/611.96 c 608s | 17 | 2011238 | 230432 | 124502 2 | 36 | 2505 614.01/614.29 c 610s | 17 | 2016538 | 231132 | 124502 2 | 36 | 2505 616.51/616.73 c 612s | 17 | 2020426 | 231732 | 124502 2 | 36 | 2505 618.81/619.09 c 615s | 17 | 2022396 | 232132 | 124502 2 | 36 | 2505 621.31/621.59 c 617s | 17 | 2024779 | 232632 | 124502 2 | 36 | 2505 623.81/624.03 c 620s | 17 | 2027612 | 233032 | 124502 2 | 36 | 2505 626.30/626.50 c 622s | 17 | 2029373 | 233432 | 124502 2 | 36 | 2505 628.90/629.12 c 625s | 17 | 2032339 | 233932 | 124502 2 | 36 | 2505 631.31/631.54 c 627s | 17 | 2035414 | 234432 | 124502 2 | 36 | 2505 633.51/633.73 c 629s | 17 | 2037212 | 234732 | 124502 2 | 36 | 2505 636.20/636.48 c 632s | 17 | 2038520 | 235032 | 124502 2 | 36 | 2505 638.60/638.89 c 634s | 17 | 2039895 | 235332 | 124502 2 | 36 | 2505 640.90/641.12 c 637s | 17 | 2043256 | 235832 | 124502 2 | 36 | 2505 643.00/643.25 c 639s | 17 | 2046388 | 236332 | 124502 2 | 36 | 2505 645.69/645.93 c 642s | 17 | 2048226 | 236732 | 124502 2 | 36 | 2505 648.49/648.77 c 644s | 17 | 2049177 | 237032 | 124502 2 | 36 | 2505 650.89/651.12 c 647s | 17 | 2050680 | 237332 | 124502 2 | 36 | 2505 653.09/653.38 c 649s | 17 | 2051903 | 237632 | 124502 2 | 36 | 2505 655.29/655.58 c 651s | 17 | 2054016 | 238032 | 124502 2 | 36 | 2505 657.39/657.67 c 653s | 17 | 2055193 | 238332 | 124502 2 | 36 | 2505 659.59/659.86 c 655s | 17 | 2056044 | 238532 | 124502 2 | 36 | 2505 662.39/662.66 c 658s | 17 | 2057418 | 238832 | 124502 2 | 36 | 2505 664.88/665.19 c 661s | 17 | 2059391 | 239232 | 124502 2 | 36 | 2505 667.18/667.43 c 663s | 17 | 2062267 | 239732 | 124502 2 | 36 | 2505 669.48/669.78 c 665s | 17 | 2065843 | 240232 | 124502 2 | 36 | 2505 671.99/672.26 c 668s | 17 | 2067585 | 240632 | 124502 2 | 36 | 2505 674.28/674.51 c 670s | 17 | 2070664 | 241032 | 124502 2 | 36 | 2505 676.28/676.57 c 672s | 17 | 2073172 | 241432 | 124502 2 | 36 | 2505 678.68/678.99 c 675s | 17 | 2075165 | 241732 | 124502 2 | 36 | 2505 680.88/681.12 c 677s | 17 | 2076231 | 241932 | 124502 2 | 36 | 2505 683.08/683.39 c 679s | 17 | 2078985 | 242332 | 124502 2 | 36 | 2505 685.67/685.93 c 682s | 17 | 2081216 | 242732 | 124502 2 | 36 | 2505 687.87/688.13 c 684s | 17 | 2082602 | 243032 | 124502 2 | 36 | 2505 689.87/690.14 c 686s | 17 | 2084058 | 243332 | 124502 2 | 36 | 2505 691.97/692.24 c 688s | 17 | 2087504 | 243832 | 124502 2 | 36 | 2505 693.98/694.26 c 690s | 17 | 2090271 | 244232 | 124502 2 | 36 | 2505 696.27/696.55 c 692s | 17 | 2092298 | 244532 | 124502 2 | 36 | 2505 698.77/699.07 c 695s | 17 | 2094009 | 244832 | 124502 2 | 36 | 2505 700.97/701.29 c 697s | 17 | 2097409 | 245232 | 124502 2 | 36 | 2505 703.47/703.76 c 699s | 17 | 2099574 | 245632 | 124502 2 | 36 | 2505 705.76/706.05 c 702s | 17 | 2100898 | 245932 | 124502 2 | 36 | 2505 708.36/708.69 c 704s | 17 | 2102028 | 246232 | 124502 2 | 36 | 2505 710.47/710.72 c 706s | 17 | 2103886 | 246532 | 124502 2 | 36 | 2505 712.96/713.28 c 709s | 17 | 2105081 | 246832 | 124502 2 | 36 | 2505 715.26/715.53 c 711s | 17 | 2106312 | 247132 | 124502 2 | 36 | 2505 717.86/718.10 c 714s | 17 | 2111548 | 247632 | 124502 2 | 36 | 2505 719.96/720.27 c 716s | 17 | 2113567 | 247932 | 124502 2 | 36 | 2505 723.06/723.30 c 719s | 17 | 2115241 | 248232 | 124502 2 | 36 | 2505 725.45/725.72 c 721s | 17 | 2116550 | 248532 | 124502 2 | 36 | 2505 727.55/727.82 c 723s | 17 | 2119128 | 248932 | 124502 2 | 36 | 2505 730.26/730.59 c 726s | 17 | 2122241 | 249432 | 124502 2 | 36 | 2505 732.46/732.75 c 728s | 17 | 2123417 | 249732 | 124502 2 | 36 | 2505 734.95/735.21 c 731s | 17 | 2125129 | 250032 | 124502 2 | 36 | 2505 737.45/737.73 c 733s | 17 | 2126795 | 250332 | 124502 2 | 36 | 2505 739.95/740.25 c 736s | 17 | 2127698 | 250532 | 124502 2 | 36 | 2505 742.45/742.79 c 738s | 17 | 2129614 | 250832 | 124502 2 | 36 | 2505 744.75/745.07 c 741s | 17 | 2132131 | 251232 | 124502 2 | 36 | 2505 746.84/747.18 c 743s | 17 | 2133676 | 251532 | 124502 2 | 36 | 2505 748.85/749.18 c 745s | 17 | 2134330 | 251732 | 124502 2 | 36 | 2505 751.15/751.42 c 747s | 17 | 2136438 | 252032 | 124502 2 | 36 | 2505 753.94/754.21 c 750s | 17 | 2138625 | 252432 | 124502 2 | 36 | 2505 756.04/756.33 c 752s | 17 | 2139726 | 252632 | 124502 2 | 36 | 2505 758.14/758.48 c 754s | 17 | 2140235 | 252832 | 124502 2 | 36 | 2505 761.14/761.46 c 757s | 17 | 2142122 | 253132 | 124502 2 | 36 | 2505 765.34/765.68 c 761s | 17 | 2143366 | 253332 | 124502 3 | 36 | 2505 767.93/768.27 c 764s | 17 | 2145364 | 253732 | 124502 3 | 36 | 2505 770.03/770.33 c 766s | 17 | 2146839 | 254032 | 124502 3 | 36 | 2505 772.93/773.24 c 769s | 17 | 2147905 | 254232 | 124502 3 | 36 | 2505 775.53/775.88 c 771s | 17 | 2150471 | 254732 | 124502 3 | 36 | 2505 777.63/777.95 c 774s | 17 | 2151620 | 254932 | 124502 3 | 36 | 2505 779.93/780.21 c 776s | 17 | 2156208 | 255732 | 124502 3 | 36 | 2505 782.03/782.36 c 778s | 17 | 2159185 | 256432 | 124502 3 | 36 | 2505 784.03/784.40 c 780s | 17 | 2162330 | 257032 | 124502 3 | 36 | 2505 786.43/786.74 c 782s | 17 | 2165794 | 257632 | 124502 3 | 36 | 2505 788.43/788.77 c 784s | 17 | 2169717 | 258332 | 124502 3 | 36 | 2505 790.73/791.07 c 787s | 17 | 2172510 | 258932 | 124502 3 | 36 | 2505 792.72/793.08 c 789s | 17 | 2174126 | 259332 | 124502 3 | 36 | 2505 794.82/795.17 c 791s | 17 | 2181219 | 260132 | 124502 3 | 36 | 2505 796.92/797.23 c 793s | 17 | 2185924 | 260832 | 124502 3 | 36 | 2505 799.12/799.43 c 795s | 17 | 2192036 | 261732 | 124502 3 | 36 | 2505 801.32/801.60 c 797s | 17 | 2198084 | 262632 | 124502 3 | 36 | 2505 803.52/803.87 c 799s | 17 | 2200805 | 263132 | 124502 3 | 36 | 2505 805.62/805.99 c 802s | 17 | 2202293 | 263632 | 124502 3 | 36 | 2505 807.82/808.16 c 804s | 17 | 2205270 | 264332 | 124502 3 | 36 | 2505 809.92/810.22 c 806s | 17 | 2208559 | 264932 | 124502 3 | 36 | 2505 812.22/812.50 c 808s | 17 | 2213468 | 265632 | 124502 3 | 36 | 2505 814.52/814.86 c 810s | 17 | 2218511 | 266332 | 124502 3 | 36 | 2505 816.72/817.02 c 813s | 17 | 2221693 | 266832 | 124502 3 | 36 | 2505 818.82/819.14 c 815s | 17 | 2226385 | 267432 | 124502 3 | 36 | 2505 820.92/821.20 c 817s | 17 | 2230894 | 268132 | 124502 3 | 36 | 2505 857.02/857.33 c 853s | 17 | 2231579 | 268232 | 124502 3 | 36 | 2505 859.22/859.52 c 855s | 17 | 2239712 | 268932 | 124502 3 | 36 | 2505 861.32/861.66 c 857s | 17 | 2245424 | 269632 | 124502 3 | 36 | 2505 863.32/863.69 c 859s | 17 | 2247947 | 270132 | 124502 3 | 36 | 2505 865.52/865.82 c 861s | 17 | 2253043 | 270832 | 124502 3 | 36 | 2505 867.62/867.97 c 864s | 17 | 2264784 | 272032 | 124502 3 | 36 | 2505 869.82/870.12 c 866s | 17 | 2274267 | 273132 | 124502 3 | 36 | 2505 872.12/872.45 c 868s | 17 | 2277731 | 273732 | 124502 3 | 36 | 2505 874.11/874.45 c 870s | 17 | 2283704 | 274432 | 124502 3 | 36 | 2505 876.11/876.47 c 872s | 17 | 2287336 | 274932 | 124502 3 | 36 | 2505 878.21/878.56 c 874s | 17 | 2290035 | 275432 | 124502 3 | 36 | 2505 880.41/880.73 c 876s | 17 | 2296753 | 276232 | 124502 3 | 36 | 2505 882.61/882.95 c 879s | 17 | 2299761 | 276732 | 124502 3 | 36 | 2505 885.01/885.34 c 881s | 17 | 2302108 | 277232 | 124502 3 | 36 | 2505 887.11/887.48 c 883s | 17 | 2305311 | 277832 | 124502 3 | 36 | 2505 889.51/889.88 c 885s | 17 | 2307946 | 278432 | 124502 3 | 36 | 2505 891.71/892.06 c 888s | 17 | 2311837 | 279132 | 124502 3 | 36 | 2505 893.91/894.26 c 890s | 17 | 2313662 | 279532 | 124502 3 | 36 | 2505 896.01/896.31 c 892s | 17 | 2316180 | 280032 | 124502 3 | 36 | 2505 899.01/899.35 c 895s | 17 | 2319179 | 280332 | 124502 3 | 36 | 2505 901.31/901.62 c 897s | 17 | 2321802 | 280732 | 124502 3 | 36 | 2505 903.61/903.91 c 899s | 17 | 2323763 | 281232 | 124502 3 | 36 | 2505 905.61/905.93 c 902s | 17 | 2327646 | 281832 | 124502 3 | 36 | 2505 908.21/908.53 c 904s | 17 | 2330109 | 282232 | 124502 3 | 36 | 2505 910.71/911.03 c 907s | 17 | 2333520 | 282632 | 124502 3 | 36 | 2505 913.21/913.50 c 909s | 17 | 2334773 | 282932 | 124502 3 | 36 | 2505 915.31/915.61 c 911s | 17 | 2338737 | 283332 | 124502 3 | 36 | 2505 917.41/917.75 c 913s | 17 | 2343859 | 284232 | 124502 3 | 36 | 2505 919.51/919.82 c 915s | 17 | 2346928 | 284732 | 124502 3 | 36 | 2505 921.80/922.10 c 918s | 17 | 2350551 | 285232 | 124502 3 | 36 | 2505 924.10/924.40 c 920s | 17 | 2353507 | 285732 | 124502 3 | 36 | 2505 926.20/926.56 c 922s | 17 | 2363474 | 286632 | 124502 3 | 36 | 2505 928.30/928.68 c 924s | 17 | 2369355 | 287232 | 124502 3 | 36 | 2505 930.50/930.85 c 926s | 17 | 2375019 | 287932 | 124502 3 | 36 | 2505 932.80/933.15 c 929s | 17 | 2381376 | 288832 | 124502 3 | 36 | 2505 934.81/935.16 c 931s | 17 | 2387206 | 289532 | 124502 3 | 36 | 2505 937.01/937.30 c 933s | 17 | 2391196 | 290132 | 124502 3 | 36 | 2505 939.11/939.49 c 935s | 17 | 2394243 | 290732 | 124502 3 | 36 | 2505 941.20/941.52 c 937s | 17 | 2398084 | 291332 | 124502 3 | 36 | 2505 943.20/943.58 c 939s | 17 | 2401330 | 291932 | 124502 3 | 36 | 2505 945.30/945.65 c 941s | 17 | 2405685 | 292632 | 124502 3 | 36 | 2505 947.30/947.66 c 943s | 17 | 2409823 | 293132 | 124502 3 | 36 | 2505 949.50/949.87 c 945s | 17 | 2412660 | 293632 | 136953 3 | 36 | 2505 952.00/952.35 c 948s | 17 | 2415697 | 294132 | 136953 3 | 36 | 2505 954.00/954.37 c 950s | 17 | 2417531 | 294432 | 136953 3 | 36 | 2505 956.71/957.05 c 953s | 17 | 2419124 | 294732 | 136953 3 | 36 | 2505 959.01/959.31 c 955s | 17 | 2420730 | 295032 | 136953 3 | 36 | 2505 961.30/961.60 c 957s | 17 | 2421916 | 295332 | 136953 3 | 36 | 2505 963.50/963.82 c 959s | 17 | 2424246 | 295632 | 136953 3 | 36 | 2505 965.90/966.22 c 962s | 17 | 2428290 | 296032 | 136953 3 | 36 | 2505 966.90/967.25 c 963s | 18 | 2429714 | 296252 | 136953 3 | 36 | 2505 969.00/969.31 c 965s | 18 | 2436275 | 296552 | 136953 3 | 36 | 2505 985.90/986.20 c 982s | 18 | 2437064 | 296652 | 136953 3 | 36 | 2505 1011.00/1011.32 c 1007s | 18 | 2438472 | 296752 | 136953 3 | 36 | 2505 1013.69/1014.03 c 1010s | 18 | 2441048 | 297152 | 136953 3 | 36 | 2505 1016.29/1016.67 c 1012s | 18 | 2443039 | 297452 | 136953 3 | 36 | 2505 1018.59/1018.95 c 1015s | 18 | 2445052 | 297752 | 136953 3 | 36 | 2505 1020.69/1021.07 c 1017s | 18 | 2447039 | 298052 | 136953 3 | 36 | 2505 1023.39/1023.79 c 1019s | 18 | 2449774 | 298452 | 136953 3 | 36 | 2505 1026.39/1026.72 c 1022s | 18 | 2453066 | 298752 | 136953 3 | 36 | 2505 1028.89/1029.28 c 1025s | 18 | 2457164 | 299152 | 136953 3 | 36 | 2505 1031.60/1031.97 c 1028s | 18 | 2458819 | 299452 | 136953 3 | 36 | 2505 1033.89/1034.25 c 1030s | 18 | 2459558 | 299652 | 136953 3 | 36 | 2505 1036.49/1036.84 c 1032s | 18 | 2462321 | 299952 | 136953 3 | 36 | 2505 1038.99/1039.37 c 1035s | 18 | 2465507 | 300352 | 136953 3 | 36 | 2505 1041.29/1041.70 c 1037s | 18 | 2467579 | 300652 | 136953 3 | 36 | 2505 1043.69/1044.06 c 1040s | 18 | 2469741 | 300952 | 136953 3 | 36 | 2505 1046.09/1046.47 c 1042s | 18 | 2471878 | 301252 | 136953 3 | 36 | 2505 1048.59/1048.98 c 1045s | 18 | 2473653 | 301552 | 136953 3 | 36 | 2505 1050.79/1051.16 c 1047s | 18 | 2474610 | 301752 | 136953 3 | 36 | 2505 1053.78/1054.19 c 1050s | 18 | 2476722 | 302052 | 136953 3 | 36 | 2505 1055.98/1056.35 c 1052s | 18 | 2477690 | 302252 | 136953 3 | 36 | 2505 1058.38/1058.79 c 1054s | 18 | 2478957 | 302452 | 136953 3 | 36 | 2505 1061.38/1061.77 c 1057s | 18 | 2480718 | 302752 | 136953 3 | 36 | 2505 1063.68/1064.08 c 1060s | 18 | 2481989 | 303052 | 136953 3 | 36 | 2505 1066.08/1066.45 c 1062s | 18 | 2484045 | 303352 | 136953 3 | 36 | 2505 1068.68/1069.07 c 1065s | 18 | 2486079 | 303652 | 136953 3 | 36 | 2505 1071.38/1071.77 c 1067s | 18 | 2487892 | 303952 | 136953 3 | 36 | 2505 1073.98/1074.30 c 1070s | 18 | 2489855 | 304252 | 136953 3 | 36 | 2505 1076.28/1076.63 c 1072s | 18 | 2491798 | 304552 | 136953 3 | 36 | 2505 1078.48/1078.89 c 1074s | 18 | 2493631 | 304852 | 136953 3 | 36 | 2505 1080.68/1081.04 c 1077s | 18 | 2495353 | 305152 | 136953 3 | 36 | 2505 1082.78/1083.17 c 1079s | 18 | 2497467 | 305452 | 136953 3 | 36 | 2505 1085.58/1085.91 c 1081s | 18 | 2501904 | 305852 | 136953 3 | 36 | 2505 1087.78/1088.13 c 1084s | 18 | 2503622 | 306152 | 136953 3 | 36 | 2505 1090.08/1090.47 c 1086s | 18 | 2505774 | 306452 | 136953 3 | 36 | 2505 1092.48/1092.89 c 1088s | 18 | 2507544 | 306752 | 136953 3 | 36 | 2505 1095.08/1095.43 c 1091s | 18 | 2510994 | 307152 | 136953 3 | 36 | 2505 1097.48/1097.83 c 1093s | 18 | 2514328 | 307552 | 136953 3 | 36 | 2505 1099.48/1099.88 c 1095s | 18 | 2517470 | 307852 | 136953 3 | 36 | 2505 1102.08/1102.45 c 1098s | 18 | 2522153 | 308252 | 136953 3 | 36 | 2505 1104.08/1104.50 c 1100s | 18 | 2527411 | 308652 | 136953 3 | 36 | 2505 1106.28/1106.68 c 1102s | 18 | 2531745 | 309052 | 136953 3 | 36 | 2505 1108.68/1109.03 c 1105s | 18 | 2534284 | 309452 | 136953 3 | 36 | 2505 1111.18/1111.58 c 1107s | 18 | 2538798 | 309852 | 136953 3 | 36 | 2505 1113.67/1114.03 c 1110s | 18 | 2542438 | 310252 | 136953 3 | 36 | 2505 1116.37/1116.72 c 1112s | 18 | 2545487 | 310652 | 136953 3 | 36 | 2505 1119.07/1119.43 c 1115s | 18 | 2547506 | 310952 | 136953 3 | 36 | 2505 1121.57/1121.95 c 1118s | 18 | 2551324 | 311352 | 136953 3 | 36 | 2505 1124.27/1124.67 c 1120s | 18 | 2554456 | 311752 | 136953 3 | 36 | 2505 1126.47/1126.84 c 1122s | 18 | 2557498 | 312052 | 136953 3 | 36 | 2505 1128.57/1128.98 c 1125s | 18 | 2559805 | 312352 | 136953 3 | 36 | 2505 1130.87/1131.29 c 1127s | 18 | 2561403 | 312652 | 136953 3 | 36 | 2505 1133.47/1133.81 c 1129s | 18 | 2564674 | 313052 | 136953 3 | 36 | 2505 1135.77/1136.19 c 1132s | 18 | 2566738 | 313452 | 136953 3 | 36 | 2505 1138.28/1138.63 c 1134s | 18 | 2570638 | 313852 | 136953 3 | 36 | 2505 1140.27/1140.64 c 1136s | 18 | 2572840 | 314152 | 136953 3 | 36 | 2505 1142.47/1142.80 c 1138s | 18 | 2576477 | 314452 | 136953 3 | 36 | 2505 1145.47/1145.82 c 1141s | 18 | 2578414 | 314752 | 136953 3 | 36 | 2505 1147.67/1148.03 c 1144s | 18 | 2580072 | 314952 | 136953 3 | 36 | 2505 1149.87/1150.28 c 1146s | 18 | 2581265 | 315152 | 136953 3 | 36 | 2505 1152.17/1152.53 c 1148s | 18 | 2582524 | 315352 | 136953 3 | 36 | 2505 1154.57/1154.97 c 1151s | 18 | 2583434 | 315552 | 136953 3 | 36 | 2505 1156.57/1156.99 c 1153s | 18 | 2585143 | 315752 | 136953 3 | 36 | 2505 1159.07/1159.46 c 1155s | 18 | 2586178 | 315952 | 136953 3 | 36 | 2505 1161.47/1161.80 c 1157s | 18 | 2586695 | 316152 | 136953 3 | 36 | 2505 1163.87/1164.23 c 1160s | 18 | 2588991 | 316452 | 136953 3 | 36 | 2505 1166.97/1167.37 c 1163s | 18 | 2590740 | 316752 | 136953 3 | 36 | 2505 1169.27/1169.62 c 1165s | 18 | 2591739 | 316952 | 136953 3 | 36 | 2505 1171.87/1172.28 c 1168s | 18 | 2593083 | 317252 | 136953 3 | 36 | 2505 1174.27/1174.60 c 1170s | 18 | 2595258 | 317552 | 136953 3 | 36 | 2505 1176.86/1177.20 c 1173s | 18 | 2597832 | 317852 | 136953 3 | 36 | 2505 1179.36/1179.72 c 1175s | 18 | 2600053 | 318152 | 136953 3 | 36 | 2505 1182.06/1182.50 c 1178s | 18 | 2601932 | 318452 | 136953 3 | 36 | 2505 1184.37/1184.71 c 1180s | 18 | 2603859 | 318752 | 136953 3 | 36 | 2505 1186.96/1187.38 c 1183s | 18 | 2605448 | 319052 | 136953 3 | 36 | 2505 1189.46/1189.86 c 1185s | 18 | 2607599 | 319352 | 136953 3 | 36 | 2505 1191.66/1192.08 c 1188s | 18 | 2609006 | 319552 | 136953 3 | 36 | 2505 1193.96/1194.39 c 1190s | 18 | 2610084 | 319752 | 136953 3 | 36 | 2505 1196.16/1196.53 c 1192s | 18 | 2611747 | 319952 | 136953 3 | 36 | 2505 1198.26/1198.64 c 1194s | 18 | 2612549 | 320152 | 136953 3 | 36 | 2505 1200.56/1200.94 c 1197s | 18 | 2613839 | 320352 | 136953 3 | 36 | 2505 1202.76/1203.10 c 1199s | 18 | 2614902 | 320552 | 136953 3 | 36 | 2505 1204.97/1205.33 c 1201s | 18 | 2616128 | 320752 | 136953 3 | 36 | 2505 1207.58/1207.95 c 1204s | 18 | 2617340 | 320952 | 136953 3 | 36 | 2505 1210.07/1210.45 c 1206s | 18 | 2618336 | 321152 | 136953 3 | 36 | 2505 1212.67/1213.05 c 1209s | 18 | 2619602 | 321352 | 136953 3 | 36 | 2505 1214.67/1215.07 c 1211s | 18 | 2620606 | 321552 | 136953 3 | 36 | 2505 1217.77/1218.17 c 1214s | 18 | 2622291 | 321852 | 136953 3 | 36 | 2505 1220.17/1220.53 c 1216s | 18 | 2623361 | 322052 | 136953 3 | 36 | 2505 1222.97/1223.33 c 1219s | 18 | 2625927 | 322352 | 136953 3 | 36 | 2505 1225.37/1225.73 c 1221s | 18 | 2627545 | 322652 | 136953 3 | 36 | 2505 1227.77/1228.10 c 1224s | 18 | 2629750 | 322952 | 136953 3 | 36 | 2505 1229.87/1230.21 c 1226s | 18 | 2632804 | 323252 | 136953 3 | 36 | 2505 1232.36/1232.74 c 1228s | 18 | 2635417 | 323552 | 136953 3 | 36 | 2505 1235.16/1235.50 c 1231s | 18 | 2638131 | 323852 | 136953 3 | 36 | 2505 1237.76/1238.18 c 1234s | 18 | 2640670 | 324152 | 136953 3 | 36 | 2505 1240.16/1240.56 c 1236s | 18 | 2644087 | 324452 | 136953 3 | 36 | 2505 1242.77/1243.13 c 1239s | 18 | 2646849 | 324752 | 136953 3 | 36 | 2505 1245.46/1245.80 c 1241s | 18 | 2648861 | 325052 | 136953 3 | 36 | 2505 1247.96/1248.38 c 1244s | 18 | 2650732 | 325352 | 136953 3 | 36 | 2505 1250.66/1251.00 c 1247s | 18 | 2652459 | 325652 | 136953 3 | 36 | 2505 1253.36/1253.76 c 1249s | 18 | 2654170 | 325952 | 136953 3 | 36 | 2505 1256.06/1256.47 c 1252s | 18 | 2655597 | 326252 | 136953 3 | 36 | 2505 1258.86/1259.28 c 1255s | 18 | 2657073 | 326552 | 136953 3 | 36 | 2505 1262.06/1262.44 c 1258s | 18 | 2658754 | 326852 | 136953 3 | 36 | 2505 1264.36/1264.79 c 1260s | 18 | 2659728 | 327052 | 136953 3 | 36 | 2505 1266.66/1267.01 c 1263s | 18 | 2661082 | 327252 | 136953 3 | 36 | 2505 1269.07/1269.45 c 1265s | 18 | 2662491 | 327452 | 136953 3 | 36 | 2505 1272.16/1272.51 c 1268s | 18 | 2664165 | 327752 | 136953 3 | 36 | 2505 1274.57/1274.92 c 1271s | 18 | 2665438 | 327952 | 136953 3 | 36 | 2505 1277.36/1277.74 c 1273s | 18 | 2666987 | 328252 | 136953 3 | 36 | 2505 1279.56/1279.92 c 1276s | 18 | 2668337 | 328452 | 136953 3 | 36 | 2505 1281.76/1282.18 c 1278s | 18 | 2669481 | 328652 | 136953 3 | 36 | 2505 1284.36/1284.78 c 1280s | 18 | 2671996 | 328952 | 136953 3 | 36 | 2505 1286.66/1287.02 c 1283s | 18 | 2673218 | 329152 | 136953 3 | 36 | 2505 1289.06/1289.44 c 1285s | 18 | 2674776 | 329352 | 136953 3 | 36 | 2505 1291.85/1292.25 c 1288s | 18 | 2676785 | 329652 | 136953 3 | 36 | 2505 1293.85/1294.26 c 1290s | 18 | 2677989 | 329852 | 136953 3 | 36 | 2505 1296.75/1297.17 c 1293s | 18 | 2679332 | 330152 | 136953 3 | 36 | 2505 1299.45/1299.83 c 1295s | 18 | 2681914 | 330452 | 136953 3 | 36 | 2505 1302.25/1302.63 c 1298s | 18 | 2684538 | 330752 | 136953 3 | 36 | 2505 1305.15/1305.52 c 1301s | 18 | 2686427 | 331052 | 136953 3 | 36 | 2505 1307.35/1307.71 c 1303s | 18 | 2688193 | 331252 | 136953 3 | 36 | 2505 1309.45/1309.80 c 1305s | 18 | 2689607 | 331452 | 136953 3 | 36 | 2505 1312.06/1312.49 c 1308s | 18 | 2691173 | 331752 | 136953 3 | 36 | 2505 1315.45/1315.87 c 1311s | 18 | 2693189 | 332052 | 136953 3 | 36 | 2505 1317.56/1317.95 c 1314s | 18 | 2696910 | 332452 | 136953 3 | 36 | 2505 1320.95/1321.31 c 1317s | 18 | 2701164 | 332952 | 136953 4 | 36 | 2505 1350.14/1350.54 c 1346s | 18 | 2702989 | 333052 | 136953 4 | 36 | 2505 1352.34/1352.72 c 1348s | 18 | 2713280 | 333752 | 136953 4 | 36 | 2505 1355.95/1356.32 c 1352s | 18 | 2721171 | 334352 | 136953 4 | 36 | 2505 1358.04/1358.43 c 1354s | 18 | 2729029 | 335052 | 136953 4 | 36 | 2505 1360.35/1360.80 c 1356s | 18 | 2732520 | 335552 | 136953 4 | 36 | 2505 1362.55/1362.96 c 1359s | 18 | 2737072 | 336152 | 136953 4 | 36 | 2505 1364.64/1365.05 c 1361s | 18 | 2741018 | 336752 | 136953 4 | 36 | 2505 1366.84/1367.29 c 1363s | 18 | 2744829 | 337452 | 136953 4 | 36 | 2505 1369.04/1369.44 c 1365s | 18 | 2748425 | 338052 | 136953 4 | 36 | 2505 1371.14/1371.57 c 1367s | 18 | 2750580 | 338452 | 136953 4 | 36 | 2505 1373.34/1373.77 c 1369s | 18 | 2755774 | 339152 | 136953 4 | 36 | 2505 1375.44/1375.83 c 1371s | 18 | 2761160 | 339852 | 136953 4 | 36 | 2505 1377.94/1378.32 c 1374s | 18 | 2767164 | 340552 | 136953 4 | 36 | 2505 1379.94/1380.34 c 1376s | 18 | 2771277 | 341052 | 136953 4 | 36 | 2505 1381.94/1382.34 c 1378s | 18 | 2773534 | 341652 | 136953 4 | 36 | 2505 1384.24/1384.67 c 1380s | 18 | 2776741 | 342152 | 136953 4 | 36 | 2505 1386.44/1386.88 c 1382s | 18 | 2780266 | 342652 | 136953 4 | 36 | 2505 1388.94/1389.31 c 1385s | 18 | 2782657 | 343152 | 136953 4 | 36 | 2505 1391.03/1391.45 c 1387s | 18 | 2784476 | 343552 | 136953 4 | 36 | 2505 1412.04/1412.41 c 1408s | 18 | 2787703 | 344052 | 136953 4 | 36 | 2505 1414.34/1414.74 c 1410s | 18 | 2791650 | 344452 | 136953 4 | 36 | 2505 1416.44/1416.83 c 1412s | 18 | 2793358 | 344752 | 136953 4 | 36 | 2505 1418.43/1418.85 c 1414s | 18 | 2796946 | 345152 | 136953 4 | 36 | 2505 1420.53/1420.97 c 1417s | 18 | 2802187 | 345852 | 136953 4 | 36 | 2505 1422.53/1422.99 c 1419s | 18 | 2806662 | 346452 | 136953 4 | 36 | 2505 1424.83/1425.23 c 1421s | 18 | 2814400 | 347252 | 136953 4 | 36 | 2505 1427.03/1427.43 c 1423s | 18 | 2822794 | 347952 | 136953 4 | 36 | 2505 1429.13/1429.56 c 1425s | 18 | 2830277 | 348652 | 136953 4 | 36 | 2505 1431.33/1431.76 c 1427s | 18 | 2838031 | 349352 | 136953 4 | 36 | 2505 1433.53/1433.92 c 1430s | 18 | 2843340 | 349952 | 136953 4 | 36 | 2505 1435.63/1436.02 c 1432s | 18 | 2847964 | 350552 | 136953 4 | 36 | 2505 1437.63/1438.04 c 1434s | 18 | 2852551 | 351152 | 136953 4 | 36 | 2505 1439.73/1440.17 c 1436s | 18 | 2855875 | 351752 | 136953 4 | 36 | 2505 1441.93/1442.39 c 1438s | 18 | 2859323 | 352152 | 136953 4 | 36 | 2505 1444.04/1444.45 c 1440s | 18 | 2862055 | 352552 | 136953 4 | 36 | 2505 1446.23/1446.69 c 1442s | 18 | 2865596 | 353052 | 136953 4 | 36 | 2505 1448.63/1449.06 c 1445s | 18 | 2869073 | 353552 | 136953 4 | 36 | 2505 1451.03/1451.43 c 1447s | 18 | 2872289 | 354052 | 136953 4 | 36 | 2505 1453.23/1453.62 c 1449s | 18 | 2875255 | 354452 | 136953 4 | 36 | 2505 1455.33/1455.70 c 1451s | 18 | 2878741 | 354952 | 136953 4 | 36 | 2505 1457.43/1457.87 c 1453s | 18 | 2882323 | 355452 | 136953 4 | 36 | 2505 1459.93/1460.30 c 1456s | 18 | 2885111 | 355952 | 136953 4 | 36 | 2505 1461.92/1462.34 c 1458s | 18 | 2888545 | 356352 | 136953 4 | 36 | 2505 1464.22/1464.63 c 1460s | 18 | 2891299 | 356852 | 136953 4 | 36 | 2505 1466.42/1466.84 c 1462s | 18 | 2895709 | 357352 | 136953 4 | 36 | 2505 1468.62/1469.00 c 1465s | 18 | 2897815 | 357752 | 136953 4 | 36 | 2505 1471.02/1471.41 c 1467s | 18 | 2901421 | 358352 | 136953 4 | 36 | 2505 1473.52/1473.93 c 1470s | 18 | 2903720 | 358752 | 136953 4 | 36 | 2505 1475.52/1475.95 c 1472s | 18 | 2907225 | 359152 | 136953 4 | 36 | 2505 1477.72/1478.19 c 1474s | 18 | 2910203 | 359552 | 136953 4 | 36 | 2505 1479.82/1480.26 c 1476s | 18 | 2914712 | 360152 | 136953 4 | 36 | 2505 1482.12/1482.59 c 1478s | 18 | 2919992 | 360852 | 136953 4 | 36 | 2505 1484.32/1484.70 c 1480s | 18 | 2924300 | 361452 | 136953 4 | 36 | 2505 1486.62/1487.05 c 1483s | 18 | 2927626 | 361952 | 136953 4 | 36 | 2505 1488.62/1489.07 c 1485s | 18 | 2929778 | 362352 | 136953 4 | 36 | 2505 1490.92/1491.38 c 1487s | 18 | 2932839 | 362752 | 136953 4 | 36 | 2505 1493.32/1493.75 c 1489s | 18 | 2936467 | 363252 | 136953 4 | 36 | 2505 1495.63/1496.09 c 1492s | 18 | 2939518 | 363652 | 136953 4 | 36 | 2505 1497.72/1498.10 c 1494s | 18 | 2942463 | 364052 | 136953 4 | 36 | 2505 1499.92/1500.32 c 1496s | 18 | 2946131 | 364552 | 136953 4 | 36 | 2505 1502.42/1502.84 c 1498s | 18 | 2948445 | 365052 | 136953 4 | 36 | 2505 1504.72/1505.16 c 1501s | 18 | 2951355 | 365552 | 136953 4 | 36 | 2505 1506.92/1507.34 c 1503s | 18 | 2953837 | 365952 | 136953 4 | 36 | 2505 1509.42/1509.84 c 1505s | 18 | 2957574 | 366452 | 136953 4 | 36 | 2505 1511.52/1511.97 c 1508s | 18 | 2959971 | 366752 | 136953 4 | 36 | 2505 1513.92/1514.36 c 1510s | 18 | 2964246 | 367152 | 136953 4 | 36 | 2505 1516.12/1516.51 c 1512s | 18 | 2969206 | 367652 | 136953 4 | 36 | 2505 1518.62/1519.03 c 1515s | 18 | 2976170 | 368252 | 136953 4 | 36 | 2505 1520.92/1521.35 c 1517s | 18 | 2981291 | 368752 | 136953 4 | 36 | 2505 1523.12/1523.57 c 1519s | 18 | 2985486 | 369252 | 136953 4 | 36 | 2505 1525.42/1525.81 c 1521s | 18 | 2989037 | 369752 | 136953 4 | 36 | 2505 1527.52/1527.96 c 1524s | 18 | 2992006 | 370152 | 136953 4 | 36 | 2505 1529.91/1530.33 c 1526s | 18 | 2993897 | 370452 | 136953 4 | 36 | 2505 1532.11/1532.54 c 1528s | 18 | 2996556 | 370852 | 136953 4 | 36 | 2505 1534.31/1534.78 c 1530s | 18 | 2999064 | 371252 | 136953 4 | 36 | 2505 1536.61/1537.09 c 1533s | 18 | 3001063 | 371652 | 136953 4 | 36 | 2505 1539.11/1539.59 c 1535s | 18 | 3007578 | 372252 | 136953 4 | 36 | 2505 1541.61/1542.00 c 1538s | 18 | 3013091 | 372852 | 136953 4 | 36 | 2505 1543.81/1544.24 c 1540s | 18 | 3016388 | 373352 | 136953 4 | 36 | 2505 1545.81/1546.29 c 1542s | 18 | 3023433 | 373852 | 136953 4 | 36 | 2505 1548.11/1548.50 c 1544s | 18 | 3027671 | 374252 | 136953 4 | 36 | 2505 1550.41/1550.81 c 1546s | 18 | 3032645 | 374852 | 136953 4 | 36 | 2505 1552.82/1553.23 c 1549s | 18 | 3036943 | 375352 | 136953 4 | 36 | 2505 1554.91/1555.33 c 1551s | 18 | 3040076 | 375652 | 136953 4 | 36 | 2505 1557.01/1557.48 c 1553s | 18 | 3045732 | 376152 | 136953 4 | 36 | 2505 1559.42/1559.85 c 1555s | 18 | 3051583 | 376752 | 136953 4 | 36 | 2505 1561.51/1561.98 c 1558s | 18 | 3057358 | 377252 | 136953 4 | 36 | 2505 1563.61/1564.03 c 1560s | 18 | 3061777 | 377752 | 136953 4 | 36 | 2505 1565.91/1566.37 c 1562s | 18 | 3067845 | 378252 | 136953 4 | 36 | 2505 1568.21/1568.62 c 1564s | 18 | 3072675 | 378752 | 136953 4 | 36 | 2505 1570.31/1570.76 c 1566s | 18 | 3076584 | 379152 | 136953 4 | 36 | 2505 1572.41/1572.81 c 1568s | 18 | 3080365 | 379552 | 136953 4 | 36 | 2505 1574.50/1574.95 c 1571s | 18 | 3083381 | 380052 | 136953 4 | 36 | 2505 1576.80/1577.20 c 1573s | 18 | 3088249 | 380552 | 136953 4 | 36 | 2505 1579.00/1579.42 c 1575s | 18 | 3092754 | 381052 | 136953 4 | 36 | 2505 1581.20/1581.64 c 1577s | 18 | 3098384 | 381552 | 136953 4 | 36 | 2505 1583.61/1584.01 c 1580s | 18 | 3104051 | 382052 | 136953 4 | 36 | 2505 1585.81/1586.21 c 1582s | 18 | 3111033 | 382652 | 136953 4 | 36 | 2505 1588.01/1588.50 c 1584s | 18 | 3119939 | 383352 | 136953 4 | 36 | 2505 1590.31/1590.75 c 1586s | 18 | 3128342 | 384052 | 136953 4 | 36 | 2505 1592.70/1593.15 c 1589s | 18 | 3133492 | 384752 | 136953 4 | 36 | 2505 1594.90/1595.31 c 1591s | 18 | 3141886 | 385452 | 136953 4 | 36 | 2505 1597.00/1597.47 c 1593s | 18 | 3147657 | 386152 | 136953 4 | 36 | 2505 1599.11/1599.57 c 1595s | 18 | 3155133 | 386852 | 136953 4 | 36 | 2505 1601.10/1601.58 c 1597s | 18 | 3162784 | 387552 | 136953 4 | 36 | 2505 1603.51/1603.93 c 1600s | 18 | 3174057 | 388352 | 136953 4 | 36 | 2505 1605.71/1606.17 c 1602s | 18 | 3184135 | 389052 | 136953 4 | 36 | 2505 1608.10/1608.52 c 1604s | 18 | 3192650 | 389652 | 136953 4 | 36 | 2505 1610.11/1610.54 c 1606s | 18 | 3197831 | 390152 | 136953 4 | 36 | 2505 1612.40/1612.80 c 1608s | 18 | 3205227 | 390852 | 136953 4 | 36 | 2505 1614.50/1614.94 c 1611s | 18 | 3212816 | 391552 | 136953 4 | 36 | 2505 1616.50/1616.97 c 1613s | 18 | 3218578 | 392152 | 136953 4 | 36 | 2505 1618.61/1619.01 c 1615s | 18 | 3221949 | 392652 | 136953 4 | 36 | 2505 1620.61/1621.01 c 1617s | 18 | 3226824 | 393252 | 136953 4 | 36 | 2505 1622.71/1623.12 c 1619s | 18 | 3232154 | 393752 | 136953 4 | 36 | 2505 1625.21/1625.67 c 1621s | 18 | 3237885 | 394352 | 136953 4 | 36 | 2505 1627.50/1627.96 c 1624s | 18 | 3242246 | 394752 | 136953 4 | 36 | 2505 1629.81/1630.29 c 1626s | 18 | 3246805 | 395252 | 136953 4 | 36 | 2505 1632.11/1632.51 c 1628s | 18 | 3250168 | 395752 | 136953 4 | 36 | 2505 1634.40/1634.80 c 1630s | 18 | 3255530 | 396252 | 136953 4 | 36 | 2505 1636.60/1637.05 c 1633s | 18 | 3257862 | 396752 | 136953 4 | 36 | 2505 1638.61/1639.09 c 1635s | 18 | 3265419 | 397452 | 136953 4 | 36 | 2505 1640.70/1641.15 c 1637s | 18 | 3272563 | 398052 | 136953 4 | 36 | 2505 1642.80/1643.28 c 1639s | 18 | 3274917 | 398552 | 136953 4 | 36 | 2505 1645.10/1645.59 c 1641s | 18 | 3280908 | 399252 | 136953 4 | 36 | 2505 1647.30/1647.78 c 1643s | 18 | 3287261 | 399852 | 136953 4 | 36 | 2505 1649.50/1649.93 c 1646s | 18 | 3294178 | 400552 | 136953 4 | 36 | 2505 1651.60/1652.08 c 1648s | 18 | 3297910 | 401152 | 136953 4 | 36 | 2505 1653.70/1654.17 c 1650s | 18 | 3299189 | 401652 | 136953 4 | 36 | 2505 1655.80/1656.25 c 1652s | 18 | 3308082 | 402452 | 136953 4 | 36 | 2505 1658.00/1658.46 c 1654s | 18 | 3315938 | 403252 | 136953 4 | 36 | 2505 1660.20/1660.67 c 1656s | 18 | 3325062 | 403852 | 136953 4 | 36 | 2505 1662.40/1662.80 c 1658s | 18 | 3333914 | 404452 | 136953 4 | 36 | 2505 1664.40/1664.83 c 1660s | 18 | 3339298 | 404952 | 136953 4 | 36 | 2505 1666.60/1667.08 c 1663s | 18 | 3342014 | 405452 | 136953 4 | 36 | 2505 1668.90/1669.35 c 1665s | 18 | 3348823 | 406052 | 136953 4 | 36 | 2505 1671.10/1671.59 c 1667s | 18 | 3353867 | 406552 | 136953 4 | 36 | 2505 1673.30/1673.78 c 1669s | 18 | 3356577 | 406952 | 136953 4 | 36 | 2505 1675.40/1675.84 c 1671s | 18 | 3358748 | 407352 | 136953 5 | 36 | 2505 1678.79/1679.23 c 1675s | 18 | 3362606 | 407852 | 136953 5 | 36 | 2505 1680.79/1681.28 c 1677s | 18 | 3368810 | 408552 | 136953 5 | 36 | 2505 1682.89/1683.39 c 1679s | 18 | 3373497 | 409552 | 136953 5 | 36 | 2505 1684.99/1685.45 c 1681s | 18 | 3380964 | 410452 | 136953 5 | 36 | 2505 1687.79/1688.21 c 1684s | 18 | 3381625 | 410552 | 136953 5 | 36 | 2505 1689.79/1690.23 c 1686s | 18 | 3393058 | 411352 | 136953 5 | 36 | 2505 1691.79/1692.23 c 1688s | 18 | 3405180 | 412152 | 136953 5 | 36 | 2505 1693.89/1694.31 c 1690s | 18 | 3416513 | 412952 | 136953 5 | 36 | 2505 1695.90/1696.38 c 1692s | 18 | 3426075 | 413752 | 136953 5 | 36 | 2505 1698.00/1698.50 c 1694s | 18 | 3429008 | 414652 | 136953 5 | 36 | 2505 1700.20/1700.62 c 1696s | 18 | 3434144 | 415452 | 136953 5 | 36 | 2505 1702.40/1702.83 c 1698s | 18 | 3444729 | 416352 | 136953 5 | 36 | 2505 1704.49/1704.95 c 1701s | 18 | 3452845 | 417052 | 136953 5 | 36 | 2505 1706.69/1707.16 c 1703s | 18 | 3465964 | 417952 | 136953 5 | 36 | 2505 1708.89/1709.38 c 1705s | 18 | 3477153 | 418852 | 136953 5 | 36 | 2505 1711.19/1711.61 c 1707s | 18 | 3486136 | 419752 | 136953 5 | 36 | 2505 1713.39/1713.83 c 1709s | 18 | 3493219 | 420652 | 136953 5 | 36 | 2505 1715.39/1715.89 c 1711s | 18 | 3506699 | 421452 | 136953 5 | 36 | 2505 1717.59/1718.07 c 1714s | 18 | 3516329 | 422352 | 136953 5 | 36 | 2505 1719.59/1720.09 c 1716s | 18 | 3523419 | 423252 | 136953 5 | 36 | 2505 1721.79/1722.27 c 1718s | 18 | 3529395 | 424152 | 136953 5 | 36 | 2505 1723.89/1724.34 c 1720s | 18 | 3537830 | 424952 | 136953 5 | 36 | 2505 1726.19/1726.65 c 1722s | 18 | 3545772 | 425852 | 136953 5 | 36 | 2505 1728.29/1728.70 c 1724s | 18 | 3553342 | 426652 | 136953 5 | 36 | 2505 1730.49/1730.94 c 1727s | 18 | 3560454 | 427452 | 136953 5 | 36 | 2505 1789.78/1790.27 c 1786s | 18 | 3564522 | 427952 | 136953 5 | 36 | 2505 1791.88/1792.38 c 1788s | 18 | 3571549 | 428752 | 136953 5 | 36 | 2505 1794.08/1794.55 c 1790s | 18 | 3575957 | 429552 | 136953 5 | 36 | 2505 1796.18/1796.70 c 1792s | 18 | 3581882 | 430352 | 136953 5 | 36 | 2505 1798.47/1798.95 c 1795s | 18 | 3587927 | 430952 | 136953 5 | 36 | 2505
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-4079803-1465252792/watcher-4079803-1465252792 -o /tmp/evaluation-result-4079803-1465252792/solver-4079803-1465252792 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079803-1465252792.opb pid=4852 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.05 2.05 2.03 3/179 4855 /proc/meminfo: memFree=30567264/32872528 swapFree=10676/249824 [pid=4855] ppid=4852 vsize=667068 CPUtime=0 cores=1,3,5,7 /proc/4855/stat : 4855 (toysat) R 4852 4855 1222 0 -1 4202496 2475 0 0 0 0 0 0 0 20 0 4 0 107214663 683077632 3347 33554432000 4194304 16246674 140736444090096 140736444089520 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4855/statm: 167279 3356 441 2943 0 164173 0 [pid=4855/tid=4856] ppid=4852 vsize=684476 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4856/stat : 4856 (toysat) S 4852 4855 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107214663 700903424 3418 33554432000 4194304 16246674 140736444090096 140198759345392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4855/tid=4857] ppid=4852 vsize=688572 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4857/stat : 4857 (toysat) S 4852 4855 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107214664 705097728 3434 33554432000 4194304 16246674 140736444090096 140198671265008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4855/tid=4858] ppid=4852 vsize=692668 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107214664 709292032 3450 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100174 s] /proc/loadavg: 2.05 2.05 2.03 3/179 4855 /proc/meminfo: memFree=30567264/32872528 swapFree=10676/249824 [pid=4855] ppid=4852 vsize=1301060 CPUtime=0.09 cores=1,3,5,7 /proc/4855/stat : 4855 (toysat) R 4852 4855 1222 0 -1 4202496 26824 0 0 0 6 3 0 0 20 0 4 0 107214663 1332285440 27634 33554432000 4194304 16246674 140736444090096 140736444089408 8058197 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4855/statm: 325265 27649 799 2943 0 322159 0 [pid=4855/tid=4856] ppid=4852 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4856/stat : 4856 (toysat) S 4852 4855 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107214663 1332285440 27659 33554432000 4194304 16246674 140736444090096 140198759345392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4855/tid=4857] ppid=4852 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4857/stat : 4857 (toysat) S 4852 4855 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107214664 1332285440 27669 33554432000 4194304 16246674 140736444090096 140198671265008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4855/tid=4858] ppid=4852 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107214664 1332285440 27680 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1301060 [startup+0.200534 s] /proc/loadavg: 2.05 2.05 2.03 3/179 4855 /proc/meminfo: memFree=30567264/32872528 swapFree=10676/249824 [pid=4855] ppid=4852 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/4855/stat : 4855 (toysat) R 4852 4855 1222 0 -1 4202496 47500 0 0 0 13 6 0 0 20 0 4 0 107214663 1344868352 48820 33554432000 4194304 16246674 140736444090096 140736444089408 7374501 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4855/statm: 328337 48820 799 2943 0 325231 0 [pid=4855/tid=4856] ppid=4852 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4856/stat : 4856 (toysat) S 4852 4855 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107214663 1344868352 48820 33554432000 4194304 16246674 140736444090096 140198759345392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4855/tid=4857] ppid=4852 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4857/stat : 4857 (toysat) S 4852 4855 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107214664 1344868352 48820 33554432000 4194304 16246674 140736444090096 140198671265008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4855/tid=4858] ppid=4852 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107214664 1344868352 48820 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300504 s] /proc/loadavg: 2.05 2.05 2.03 3/179 4855 /proc/meminfo: memFree=30567264/32872528 swapFree=10676/249824 [pid=4855] ppid=4852 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/4855/stat : 4855 (toysat) R 4852 4855 1222 0 -1 4202496 59490 0 0 0 22 7 0 0 20 0 4 0 107214663 1344868352 60810 33554432000 4194304 16246674 140736444090096 140736444089408 7374492 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4855/statm: 328337 60810 799 2943 0 325231 0 [pid=4855/tid=4856] ppid=4852 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4856/stat : 4856 (toysat) S 4852 4855 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107214663 1344868352 60810 33554432000 4194304 16246674 140736444090096 140198759345392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4855/tid=4857] ppid=4852 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4857/stat : 4857 (toysat) S 4852 4855 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107214664 1344868352 60810 33554432000 4194304 16246674 140736444090096 140198671265008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4855/tid=4858] ppid=4852 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107214664 1344868352 60810 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700414 s] /proc/loadavg: 2.05 2.05 2.03 3/179 4855 /proc/meminfo: memFree=30567264/32872528 swapFree=10676/249824 [pid=4855] ppid=4852 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/4855/stat : 4855 (toysat) R 4852 4855 1222 0 -1 4202496 91260 0 0 0 57 12 0 0 20 0 4 0 107214663 1344868352 92580 33554432000 4194304 16246674 140736444090096 140736444089408 5589077 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4855/statm: 328337 92589 834 2943 0 325231 0 [pid=4855/tid=4856] ppid=4852 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4856/stat : 4856 (toysat) S 4852 4855 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107214663 1344868352 92595 33554432000 4194304 16246674 140736444090096 140198759345392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4855/tid=4857] ppid=4852 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4857/stat : 4857 (toysat) S 4852 4855 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107214664 1344868352 92600 33554432000 4194304 16246674 140736444090096 140198671265008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4855/tid=4858] ppid=4852 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107214664 1344868352 92605 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50043 s] /proc/loadavg: 2.05 2.05 2.03 3/183 4859 /proc/meminfo: memFree=29919660/32872528 swapFree=10676/249824 [pid=4855] ppid=4852 vsize=1342020 CPUtime=1.49 cores=1,3,5,7 /proc/4855/stat : 4855 (toysat) R 4852 4855 1222 0 -1 4202496 171501 0 0 0 124 25 0 0 20 0 4 0 107214663 1374228480 172821 33554432000 4194304 16246674 140736444090096 140736444089408 13963936 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4855/statm: 335505 172821 901 2943 0 332399 0 [pid=4855/tid=4856] ppid=4852 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4856/stat : 4856 (toysat) S 4852 4855 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107214663 1374228480 172821 33554432000 4194304 16246674 140736444090096 140198759345392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4855/tid=4857] ppid=4852 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4857/stat : 4857 (toysat) S 4852 4855 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107214664 1374228480 172821 33554432000 4194304 16246674 140736444090096 140198671265008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4855/tid=4858] ppid=4852 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107214664 1374228480 172821 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1342020 [startup+3.10042 s] /proc/loadavg: 2.05 2.05 2.03 3/183 4859 /proc/meminfo: memFree=29876880/32872528 swapFree=10676/249824 [pid=4855] ppid=4852 vsize=1342020 CPUtime=3.09 cores=1,3,5,7 /proc/4855/stat : 4855 (toysat) R 4852 4855 1222 0 -1 4202496 171512 0 0 0 284 25 0 0 20 0 4 0 107214663 1374228480 172832 33554432000 4194304 16246674 140736444090096 140736444072000 5677720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4855/statm: 335505 172832 909 2943 0 332399 0 [pid=4855/tid=4856] ppid=4852 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4856/stat : 4856 (toysat) S 4852 4855 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107214663 1374228480 172832 33554432000 4194304 16246674 140736444090096 140198759345392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4855/tid=4857] ppid=4852 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4857/stat : 4857 (toysat) S 4852 4855 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107214664 1374228480 172832 33554432000 4194304 16246674 140736444090096 140198671265008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4855/tid=4858] ppid=4852 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107214664 1374228480 172832 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1342020 [startup+6.30042 s] /proc/loadavg: 2.04 2.05 2.03 3/183 4859 /proc/meminfo: memFree=29876644/32872528 swapFree=10676/249824 [pid=4855] ppid=4852 vsize=1342020 CPUtime=6.29 cores=1,3,5,7 /proc/4855/stat : 4855 (toysat) R 4852 4855 1222 0 -1 4202496 171512 0 0 0 604 25 0 0 20 0 4 0 107214663 1374228480 172832 33554432000 4194304 16246674 140736444090096 140736444072000 5661940 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4855/statm: 335505 172832 909 2943 0 332399 0 [pid=4855/tid=4856] ppid=4852 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4856/stat : 4856 (toysat) S 4852 4855 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107214663 1374228480 172832 33554432000 4194304 16246674 140736444090096 140198759345392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4855/tid=4857] ppid=4852 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4857/stat : 4857 (toysat) S 4852 4855 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107214664 1374228480 172832 33554432000 4194304 16246674 140736444090096 140198671265008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4855/tid=4858] ppid=4852 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107214664 1374228480 172832 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1342020 [startup+12.7004 s] /proc/loadavg: 2.04 2.05 2.03 3/184 4862 /proc/meminfo: memFree=29457528/32872528 swapFree=10676/249824 [pid=4855] ppid=4852 vsize=1342020 CPUtime=12.69 cores=1,3,5,7 /proc/4855/stat : 4855 (toysat) R 4852 4855 1222 0 -1 4202496 276201 0 0 0 1229 40 0 0 20 0 4 0 107214663 1374228480 277521 33554432000 4194304 16246674 140736444090096 140736444072000 6861771 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4855/statm: 335505 277521 909 2943 0 332399 0 [pid=4855/tid=4856] ppid=4852 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4856/stat : 4856 (toysat) S 4852 4855 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107214663 1374228480 277521 33554432000 4194304 16246674 140736444090096 140198759345392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4855/tid=4857] ppid=4852 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4857/stat : 4857 (toysat) S 4852 4855 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107214664 1374228480 277521 33554432000 4194304 16246674 140736444090096 140198671265008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4855/tid=4858] ppid=4852 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107214664 1374228480 277521 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1342020 [startup+25.5005 s] /proc/loadavg: 2.03 2.05 2.03 3/184 4862 /proc/meminfo: memFree=29458008/32872528 swapFree=10676/249824 [pid=4855] ppid=4852 vsize=1342020 CPUtime=25.49 cores=1,3,5,7 /proc/4855/stat : 4855 (toysat) R 4852 4855 1222 0 -1 4202496 276204 0 0 0 2509 40 0 0 20 0 4 0 107214663 1374228480 277524 33554432000 4194304 16246674 140736444090096 140736444072000 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4855/statm: 335505 277524 912 2943 0 332399 0 [pid=4855/tid=4856] ppid=4852 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4856/stat : 4856 (toysat) S 4852 4855 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107214663 1374228480 277524 33554432000 4194304 16246674 140736444090096 140198759345392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4855/tid=4857] ppid=4852 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4857/stat : 4857 (toysat) S 4852 4855 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107214664 1374228480 277524 33554432000 4194304 16246674 140736444090096 140198671265008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4855/tid=4858] ppid=4852 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107214664 1374228480 277524 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1342020 [startup+51.1005 s] /proc/loadavg: 2.09 2.06 2.03 3/184 4862 /proc/meminfo: memFree=29458236/32872528 swapFree=10676/249824 [pid=4855] ppid=4852 vsize=1342020 CPUtime=51.08 cores=1,3,5,7 /proc/4855/stat : 4855 (toysat) R 4852 4855 1222 0 -1 4202496 276204 0 0 0 5068 40 0 0 20 0 4 0 107214663 1374228480 277524 33554432000 4194304 16246674 140736444090096 140736444072000 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4855/statm: 335505 277524 912 2943 0 332399 0 [pid=4855/tid=4856] ppid=4852 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4856/stat : 4856 (toysat) S 4852 4855 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107214663 1374228480 277524 33554432000 4194304 16246674 140736444090096 140198759345392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4855/tid=4857] ppid=4852 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4857/stat : 4857 (toysat) S 4852 4855 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107214664 1374228480 277524 33554432000 4194304 16246674 140736444090096 140198671265008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4855/tid=4858] ppid=4852 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107214664 1374228480 277524 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1342020 [startup+102.3 s] /proc/loadavg: 2.04 2.05 2.02 3/183 4863 /proc/meminfo: memFree=29457828/32872528 swapFree=10676/249824 [pid=4855] ppid=4852 vsize=1342020 CPUtime=102.28 cores=1,3,5,7 /proc/4855/stat : 4855 (toysat) R 4852 4855 1222 0 -1 4202496 276208 0 0 0 10188 40 0 0 20 0 4 0 107214663 1374228480 277524 33554432000 4194304 16246674 140736444090096 140736444072000 5673495 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4855/statm: 335505 277524 912 2943 0 332399 0 [pid=4855/tid=4856] ppid=4852 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4856/stat : 4856 (toysat) S 4852 4855 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107214663 1374228480 277524 33554432000 4194304 16246674 140736444090096 140198759345392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4855/tid=4857] ppid=4852 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4857/stat : 4857 (toysat) S 4852 4855 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107214664 1374228480 277524 33554432000 4194304 16246674 140736444090096 140198671265008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4855/tid=4858] ppid=4852 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107214664 1374228480 277524 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1342020 ################ # More data... # ################ /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107214664 1407782912 285721 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1374788 [startup+1362.3 s] /proc/loadavg: 2.01 2.02 2.00 3/183 4966 /proc/meminfo: memFree=29454368/32872528 swapFree=10676/249824 [pid=4855] ppid=4852 vsize=1398340 CPUtime=1361.94 cores=1,3,5,7 /proc/4855/stat : 4855 (toysat) R 4852 4855 1222 0 -1 4202496 290524 0 0 0 136132 62 0 0 20 0 4 0 107214663 1431900160 291609 33554432000 4194304 16246674 140736444090096 140736444072000 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4855/statm: 349585 291609 914 2943 0 346479 0 [pid=4855/tid=4856] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4856/stat : 4856 (toysat) S 4852 4855 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107214663 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198759345392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4855/tid=4857] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4857/stat : 4857 (toysat) S 4852 4855 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107214664 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198671265008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4855/tid=4858] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107214664 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1398340 [startup+1422.3 s] /proc/loadavg: 2.04 2.03 2.00 3/183 4968 /proc/meminfo: memFree=29454364/32872528 swapFree=10676/249824 [pid=4855] ppid=4852 vsize=1398340 CPUtime=1421.94 cores=1,3,5,7 /proc/4855/stat : 4855 (toysat) R 4852 4855 1222 0 -1 4202496 290524 0 0 0 142130 64 0 0 20 0 4 0 107214663 1431900160 291609 33554432000 4194304 16246674 140736444090096 140736444072000 5677422 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4855/statm: 349585 291609 914 2943 0 346479 0 [pid=4855/tid=4856] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4856/stat : 4856 (toysat) S 4852 4855 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107214663 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198759345392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4855/tid=4857] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4857/stat : 4857 (toysat) S 4852 4855 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107214664 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198671265008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4855/tid=4858] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107214664 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1398340 [startup+1482.3 s] /proc/loadavg: 2.13 2.05 2.01 3/183 4969 /proc/meminfo: memFree=29454116/32872528 swapFree=10676/249824 [pid=4855] ppid=4852 vsize=1398340 CPUtime=1481.92 cores=1,3,5,7 /proc/4855/stat : 4855 (toysat) R 4852 4855 1222 0 -1 4202496 290524 0 0 0 148128 64 0 0 20 0 4 0 107214663 1431900160 291609 33554432000 4194304 16246674 140736444090096 140736444072000 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4855/statm: 349585 291609 914 2943 0 346479 0 [pid=4855/tid=4856] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4856/stat : 4856 (toysat) S 4852 4855 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107214663 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198759345392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4855/tid=4857] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4857/stat : 4857 (toysat) S 4852 4855 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107214664 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198671265008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4855/tid=4858] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107214664 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1398340 [startup+1542.31 s] /proc/loadavg: 2.05 2.04 2.00 3/183 4970 /proc/meminfo: memFree=29450020/32872528 swapFree=10676/249824 [pid=4855] ppid=4852 vsize=1398340 CPUtime=1541.92 cores=1,3,5,7 /proc/4855/stat : 4855 (toysat) R 4852 4855 1222 0 -1 4202496 290524 0 0 0 154128 64 0 0 20 0 4 0 107214663 1431900160 291609 33554432000 4194304 16246674 140736444090096 140736444072000 5823131 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4855/statm: 349585 291609 914 2943 0 346479 0 [pid=4855/tid=4856] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4856/stat : 4856 (toysat) S 4852 4855 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107214663 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198759345392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4855/tid=4857] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4857/stat : 4857 (toysat) S 4852 4855 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107214664 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198671265008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4855/tid=4858] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107214664 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1398340 [startup+1602.3 s] /proc/loadavg: 2.14 2.06 2.01 3/183 4971 /proc/meminfo: memFree=29450012/32872528 swapFree=10676/249824 [pid=4855] ppid=4852 vsize=1398340 CPUtime=1601.9 cores=1,3,5,7 /proc/4855/stat : 4855 (toysat) R 4852 4855 1222 0 -1 4202496 290524 0 0 0 160126 64 0 0 20 0 4 0 107214663 1431900160 291609 33554432000 4194304 16246674 140736444090096 140736444072000 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4855/statm: 349585 291609 914 2943 0 346479 0 [pid=4855/tid=4856] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4856/stat : 4856 (toysat) S 4852 4855 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107214663 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198759345392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4855/tid=4857] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4857/stat : 4857 (toysat) S 4852 4855 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107214664 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198671265008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4855/tid=4858] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107214664 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1398340 [startup+1662.3 s] /proc/loadavg: 2.15 2.08 2.01 3/183 4972 /proc/meminfo: memFree=29449876/32872528 swapFree=10676/249824 [pid=4855] ppid=4852 vsize=1398340 CPUtime=1661.9 cores=1,3,5,7 /proc/4855/stat : 4855 (toysat) R 4852 4855 1222 0 -1 4202496 290524 0 0 0 166125 65 0 0 20 0 4 0 107214663 1431900160 291609 33554432000 4194304 16246674 140736444090096 140736444072000 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4855/statm: 349585 291609 914 2943 0 346479 0 [pid=4855/tid=4856] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4856/stat : 4856 (toysat) S 4852 4855 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107214663 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198759345392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4855/tid=4857] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4857/stat : 4857 (toysat) S 4852 4855 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107214664 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198671265008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4855/tid=4858] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107214664 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 1398340 [startup+1722.3 s] /proc/loadavg: 2.16 2.09 2.02 3/183 4974 /proc/meminfo: memFree=29449228/32872528 swapFree=10676/249824 [pid=4855] ppid=4852 vsize=1398340 CPUtime=1721.89 cores=1,3,5,7 /proc/4855/stat : 4855 (toysat) R 4852 4855 1222 0 -1 4202496 290525 0 0 0 172124 65 0 0 20 0 4 0 107214663 1431900160 291609 33554432000 4194304 16246674 140736444090096 140736444073096 5711584 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4855/statm: 349585 291609 914 2943 0 346479 0 [pid=4855/tid=4856] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4856/stat : 4856 (toysat) S 4852 4855 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107214663 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198759345392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4855/tid=4857] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4857/stat : 4857 (toysat) S 4852 4855 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107214664 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198671265008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4855/tid=4858] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107214664 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 1398340 [startup+1782.3 s] /proc/loadavg: 2.13 2.10 2.02 3/183 4975 /proc/meminfo: memFree=29449004/32872528 swapFree=10676/249824 [pid=4855] ppid=4852 vsize=1398340 CPUtime=1781.88 cores=1,3,5,7 /proc/4855/stat : 4855 (toysat) R 4852 4855 1222 0 -1 4202496 290525 0 0 0 178118 70 0 0 20 0 4 0 107214663 1431900160 291609 33554432000 4194304 16246674 140736444090096 140736444089192 4223003 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4855/statm: 349585 291609 914 2943 0 346479 0 [pid=4855/tid=4856] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4856/stat : 4856 (toysat) S 4852 4855 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107214663 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198759345392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4855/tid=4857] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4857/stat : 4857 (toysat) S 4852 4855 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107214664 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198671265008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4855/tid=4858] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107214664 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 1398340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.09 2.09 2.02 4/183 4975 /proc/meminfo: memFree=29448852/32872528 swapFree=10676/249824 [pid=4855] ppid=4852 vsize=1398340 CPUtime=1800.07 cores=1,3,5,7 /proc/4855/stat : 4855 (toysat) R 4852 4855 1222 0 -1 4202496 290525 0 0 0 179936 71 0 0 20 0 4 0 107214663 1431900160 291609 33554432000 4194304 16246674 140736444090096 140736444072000 5677716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4855/statm: 349585 291609 914 2943 0 346479 0 [pid=4855/tid=4856] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4856/stat : 4856 (toysat) S 4852 4855 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107214663 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198759345392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4855/tid=4857] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4857/stat : 4857 (toysat) S 4852 4855 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107214664 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198671265008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4855/tid=4858] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107214664 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1398340 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 4855 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.09 2.09 2.02 4/183 4975 /proc/meminfo: memFree=29448852/32872528 swapFree=10676/249824 [pid=4855] ppid=4852 vsize=1398340 CPUtime=1800.07 cores=1,3,5,7 /proc/4855/stat : 4855 (toysat) R 4852 4855 1222 0 -1 4202496 290525 0 0 0 179936 71 0 0 20 0 4 0 107214663 1431900160 291609 33554432000 4194304 16246674 140736444090096 140736444072000 5677716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4855/statm: 349585 291609 914 2943 0 346479 0 [pid=4855/tid=4856] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4856/stat : 4856 (toysat) S 4852 4855 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107214663 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198759345392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=4855/tid=4857] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4857/stat : 4857 (toysat) S 4852 4855 1222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 107214664 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198671265008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=4855/tid=4858] ppid=4852 vsize=1398340 CPUtime=0 cores=1,3,5,7 /proc/4855/task/4858/stat : 4858 (toysat) S 4852 4855 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107214664 1431900160 291609 33554432000 4194304 16246674 140736444090096 140198660791472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1398340 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.09 CPU user time (s): 1799.37 CPU system time (s): 0.713891 CPU usage (%): 99.9766 Max. virtual memory (cumulated for all children) (KiB): 1398340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.37 system time used= 0.713891 maximum resident set size= 1166436 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 290525 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= 254 involuntary context switches= 1836 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.31034 second user time and 7.2109 second system time The end
Begin job on node103 at 2016-06-07 00:39:52 IDJOB=4079803 IDBENCH=25039 IDSOLVER=2542 FILE ID=node103/4079803-1465252792 RUNJOBID= node103-1465221288-1239 PBS_JOBID= 19843228 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir07_area_opers.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079803-1465252792/watcher-4079803-1465252792 -o /tmp/evaluation-result-4079803-1465252792/solver-4079803-1465252792 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079803-1465252792.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e3ec914b5fa2e36b0a6c3f63a5a73343 RANDOM SEED=1727779378 node103.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.760 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.52 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.760 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.760 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.56 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.760 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.760 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.760 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.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 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: 30567800 kB Buffers: 60240 kB Cached: 141684 kB SwapCached: 1716 kB Active: 1251368 kB Inactive: 99788 kB Active(anon): 1150444 kB Inactive(anon): 1160 kB Active(file): 100924 kB Inactive(file): 98628 kB Unevictable: 249824 kB Mlocked: 10676 kB SwapTotal: 67108856 kB SwapFree: 67096644 kB Dirty: 17864 kB Writeback: 0 kB AnonPages: 1400384 kB Mapped: 10564 kB Shmem: 0 kB Slab: 569636 kB SReclaimable: 13752 kB SUnreclaim: 555884 kB KernelStack: 1520 kB PageTables: 6440 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1544060 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1286144 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 node103 at 2016-06-07 01:09:53