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.07 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_006_area_delay.opb |
| MD5SUM | 7294dff8a2fbe1f0b26c181010dcfed2 |
| 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 | 22 |
| Best CPU time to get the best result obtained on this benchmark | 0.046992 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 22 |
| Optimality of the best value was proved | YES |
| Number of variables | 3041 |
| Total number of constraints | 7696 |
| Number of constraints which are clauses | 7696 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 63 |
| Number of terms in the objective function | 1510 |
| 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 | 1510 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1510 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T23:24:37+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-4079833-1465248277.opb"] 0.00/0.01 c use --random-gen="2206137072 2897426408 133646171 3273971195 754219519 2182464300 1359478391 3144907206 4254588035 1624756542 217876844 2779986014 1931093920 2482671286 350246434 4288382112 996372116 3745177087 2223666788 2429313943 269991182 3858397712 4100522070 1530408211 3059952175 1538355023 2817086664 1280122939 2893601739 2623774089 1702035633 3847714635 3566615801 3858365842 4052539898 1537500944 1657494042 1297071947 2308333786 2958496372 880186494 3140329172 2056935096 2283281293 1825782428 3060691571 2360717205 315708660 2344124500 1290492303 57773001 1998922346 2898881877 3103169739 2940089281 3387789171 574118593 3714590376 3995088018 28989797 2916853477 1515153650 372137895 3656202625 3148642836 4046419796 2521466855 1904442717 349150817 896503707 3981873160 365522468 1977645035 4182386709 1492072665 3595371535 843944267 2232431172 80427162 156142236 818284111 1477849767 135134219 855195305 3699108013 3243822460 2886833403 496544617 1702787621 994801637 1688674005 3922704054 1967723082 3085815090 2032736638 4141929283 3576171976 3067216841 2308515200 2991925307 1415774310 1808976489 3731039363 2578265842 790377601 803705822 375922767 3858726983 3194206399 311900016 694285582 1425863937 2220069099 2733620020 2028596649 455369186 1104918739 821308729 1404203094 3761069309 3649248264 3436756605 2024083979 3679773659 2680338138 2086065928 1670469607 1144860728 3021365582 2197049923 39387878 3984505156 3509237746 4083764215 3707198985 1168535483 687239050 4129547268 4217769721 2240389768 1723929762 2347706386 1707991584 162137244 1609351657 3055171836 2299141903 474890585 2989466421 428560034 3121953777 2200167725 2008735849 3538387721 642183522 2613562317 3917738964 3555005205 3862438638 273598779 622957862 4246681492 1408104812 3415185949 270315249 2699757520 776624500 2273951729 264256193 2950834010 3735907985 1384975468 1401090343 4112547337 3546268759 1991958346 2754922005 1589787232 3200926945 1006353038 2920767964 134635954 1419378264 880811909 1509301512 3016928214 2889382606 133424587 2831178484 574418237 2898899635 2637889224 3979008359 742832744 700632458 3529846353 3797322853 2309017643 522717787 2037623584 3961405939 3704713510 385721387 1278370848 3545862794 2115229283 3618121310 1010255112 12809943 1709276839 3498184794 1835886255 3324395733 3036829415 1272041102 2988240957 1690353109 576572171 2211870572 3470629177 2403341256 3732029157 1850387279 1161844252 1653456852 392374369 2499302090 3499081360 3611025578 2581867268 646531114 2072248785 1840509955 709673466 2019662974 4140644258 345881747 2578948951 3315643668 743021021 1305718207 207132900 180512511 2324564788 564656093 2854717991 793565181 3148972813 2175222183 2001158274 207749251 2706972487 4086300810 1943533013 2827256339 3122184430 255 362436" option to reproduce the execution 0.00/0.07 c #vars 3041 0.00/0.07 c #constraints 7696 0.09/0.17 c BCD2: Hardening is enabled. 0.09/0.17 c BCD2: BiasedSearch is enabled. 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 3549 0 | 176 | 0 0.09/0.18 c 0.0s | 0 | 1044 | 0 | 3549 0 | 176 | 309 0.09/0.18 c #cpu_time = 0.014s 0.09/0.18 c #wall_clock_time = 0.014s 0.09/0.18 c #decision = 1044 0.09/0.18 c #random_decision = 2 0.09/0.18 c #conflict = 0 0.09/0.18 c #restart = 0 0.09/0.18 o 1045 0.09/0.18 c BCD2: updating upper bound: 1510 -> 1044 0.19/0.20 c BCD2: 0 <= obj <= 1044 0.19/0.20 c BCD2: #cores=0, #unrelaxed=1510, #relaxed=0, #hardened=0 0.19/0.20 c BCD2: #sat=1 #unsat=1 bias=1/2 0.19/0.20 c Solving starts ... 0.19/0.20 c ============================[ Search Statistics ]============================ 0.19/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.20 c | | | | Limit GC | Var | Constra 0.19/0.20 c ============================================================================= 0.19/0.20 c 0.0s | 0 | 0 | 0 | 3549 0 | 176 | 309 0.19/0.21 c 0.0s | 0 | 0 | 0 | 3549 0 | 176 | 309 0.19/0.21 c #cpu_time = 0.004s 0.19/0.21 c #wall_clock_time = 0.004s 0.19/0.21 c #decision = 0 0.19/0.21 c #random_decision = 0 0.19/0.21 c #conflict = 0 0.19/0.21 c #restart = 0 0.19/0.21 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.21 c lower bound updated to 1 0.19/0.21 c BCD2: 1 <= obj <= 1044 0.19/0.21 c BCD2: #cores=1, #unrelaxed=1509, #relaxed=1, #hardened=0 0.19/0.21 c BCD2: #sat=1 #unsat=2 bias=2/3 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 3549 0 | 176 | 309 0.19/0.21 c 0.0s | 0 | 2 | 0 | 3549 0 | 176 | 309 0.19/0.21 c #cpu_time = 0.004s 0.19/0.21 c #wall_clock_time = 0.004s 0.19/0.21 c #decision = 2 0.19/0.21 c #random_decision = 0 0.19/0.21 c #conflict = 0 0.19/0.21 c #restart = 0 0.19/0.21 c BCD2: found a new core of size 2: cost of the new core is >=1 0.19/0.21 c lower bound updated to 2 0.19/0.21 c BCD2: 2 <= obj <= 1044 0.19/0.21 c BCD2: #cores=2, #unrelaxed=1507, #relaxed=3, #hardened=0 0.19/0.21 c BCD2: #sat=1 #unsat=3 bias=3/4 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 3549 0 | 176 | 309 0.19/0.22 c 0.0s | 0 | 8 | 0 | 3549 0 | 176 | 309 0.19/0.22 c #cpu_time = 0.005s 0.19/0.22 c #wall_clock_time = 0.005s 0.19/0.22 c #decision = 8 0.19/0.22 c #random_decision = 0 0.19/0.22 c #conflict = 0 0.19/0.22 c #restart = 0 0.19/0.22 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.19/0.22 c lower bound updated to 3 0.19/0.22 c BCD2: 3 <= obj <= 1044 0.19/0.22 c BCD2: #cores=2, #unrelaxed=1504, #relaxed=6, #hardened=0 0.19/0.22 c BCD2: #sat=1 #unsat=4 bias=4/5 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 3549 0 | 177 | 309 0.19/0.22 c 0.0s | 0 | 27 | 0 | 3549 0 | 177 | 310 0.19/0.22 c #cpu_time = 0.005s 0.19/0.22 c #wall_clock_time = 0.005s 0.19/0.22 c #decision = 27 0.19/0.22 c #random_decision = 0 0.19/0.22 c #conflict = 0 0.19/0.22 c #restart = 0 0.19/0.22 c BCD2: found a new core of size 3: cost of the new core is >=1 0.19/0.22 c lower bound updated to 4 0.19/0.23 c BCD2: 4 <= obj <= 1044 0.19/0.23 c BCD2: #cores=3, #unrelaxed=1501, #relaxed=9, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=5 bias=5/6 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 3549 0 | 177 | 310 0.19/0.23 c 0.0s | 0 | 40 | 0 | 3549 0 | 177 | 310 0.19/0.23 c #cpu_time = 0.004s 0.19/0.23 c #wall_clock_time = 0.004s 0.19/0.23 c #decision = 40 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 0 0.19/0.23 c #restart = 0 0.19/0.23 c BCD2: found a new core of size 8: cost of the new core is >=1 0.19/0.23 c lower bound updated to 5 0.19/0.23 c BCD2: 5 <= obj <= 1044 0.19/0.23 c BCD2: #cores=4, #unrelaxed=1493, #relaxed=17, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=6 bias=6/7 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 3549 0 | 177 | 310 0.19/0.24 c 0.0s | 0 | 34 | 0 | 3549 0 | 177 | 310 0.19/0.24 c #cpu_time = 0.004s 0.19/0.24 c #wall_clock_time = 0.004s 0.19/0.24 c #decision = 34 0.19/0.24 c #random_decision = 0 0.19/0.24 c #conflict = 0 0.19/0.24 c #restart = 0 0.19/0.24 c BCD2: found a new core of size 1: cost of the new core is >=1 0.19/0.24 c lower bound updated to 6 0.19/0.25 c BCD2: 6 <= obj <= 1044 0.19/0.25 c BCD2: #cores=5, #unrelaxed=1492, #relaxed=18, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=7 bias=7/8 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 3549 0 | 177 | 310 0.19/0.25 c 0.0s | 0 | 89 | 0 | 3549 0 | 177 | 310 0.19/0.25 c #cpu_time = 0.003s 0.19/0.25 c #wall_clock_time = 0.003s 0.19/0.25 c #decision = 89 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 0 0.19/0.25 c #restart = 0 0.19/0.25 c BCD2: found a new core of size 13: cost of the new core is >=1 0.19/0.25 c lower bound updated to 7 0.19/0.25 c BCD2: 7 <= obj <= 1044 0.19/0.25 c BCD2: #cores=6, #unrelaxed=1479, #relaxed=31, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=8 bias=8/9 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 3549 0 | 177 | 310 0.19/0.26 c 0.0s | 0 | 252 | 0 | 3549 0 | 177 | 310 0.19/0.26 c #cpu_time = 0.004s 0.19/0.26 c #wall_clock_time = 0.004s 0.19/0.26 c #decision = 252 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 0 0.19/0.26 c #restart = 0 0.19/0.26 c BCD2: found a new core of size 79: cost of the new core is >=1 0.19/0.26 c lower bound updated to 8 0.19/0.26 c BCD2: 8 <= obj <= 1044 0.19/0.26 c BCD2: #cores=7, #unrelaxed=1400, #relaxed=110, #hardened=0 0.19/0.26 c BCD2: #sat=1 #unsat=9 bias=9/10 0.19/0.26 c Solving starts ... 0.19/0.26 c ============================[ Search Statistics ]============================ 0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.26 c | | | | Limit GC | Var | Constra 0.19/0.26 c ============================================================================= 0.19/0.26 c 0.0s | 0 | 0 | 0 | 3549 0 | 177 | 310 0.19/0.26 c 0.0s | 0 | 184 | 0 | 3549 0 | 177 | 310 0.19/0.26 c #cpu_time = 0.003s 0.19/0.26 c #wall_clock_time = 0.003s 0.19/0.26 c #decision = 184 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 0 0.19/0.26 c #restart = 0 0.19/0.26 c BCD2: found a new core of size 9: cost of the new core is >=1 0.19/0.26 c lower bound updated to 9 0.19/0.26 c BCD2: 9 <= obj <= 1044 0.19/0.26 c BCD2: #cores=8, #unrelaxed=1391, #relaxed=119, #hardened=0 0.19/0.26 c BCD2: #sat=1 #unsat=10 bias=10/11 0.19/0.26 c Solving starts ... 0.19/0.26 c ============================[ Search Statistics ]============================ 0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.26 c | | | | Limit GC | Var | Constra 0.19/0.26 c ============================================================================= 0.19/0.26 c 0.0s | 0 | 0 | 0 | 3549 0 | 177 | 310 0.19/0.26 c 0.0s | 0 | 191 | 0 | 3549 0 | 177 | 310 0.19/0.26 c #cpu_time = 0.003s 0.19/0.26 c #wall_clock_time = 0.003s 0.19/0.26 c #decision = 191 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 0 0.19/0.26 c #restart = 0 0.19/0.26 c BCD2: found a new core of size 27: cost of the new core is >=1 0.19/0.26 c lower bound updated to 10 0.19/0.27 c BCD2: 10 <= obj <= 1044 0.19/0.27 c BCD2: #cores=9, #unrelaxed=1364, #relaxed=146, #hardened=0 0.19/0.27 c BCD2: #sat=1 #unsat=11 bias=11/12 0.19/0.27 c Solving starts ... 0.19/0.27 c ============================[ Search Statistics ]============================ 0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.27 c | | | | Limit GC | Var | Constra 0.19/0.27 c ============================================================================= 0.19/0.27 c 0.0s | 0 | 0 | 0 | 3549 0 | 177 | 310 0.19/0.27 c 0.0s | 0 | 189 | 0 | 3549 0 | 177 | 310 0.19/0.27 c #cpu_time = 0.003s 0.19/0.27 c #wall_clock_time = 0.003s 0.19/0.27 c #decision = 189 0.19/0.27 c #random_decision = 0 0.19/0.27 c #conflict = 0 0.19/0.27 c #restart = 0 0.19/0.27 c BCD2: found a new core of size 9: cost of the new core is >=1 0.19/0.27 c lower bound updated to 11 0.19/0.27 c BCD2: 11 <= obj <= 1044 0.19/0.27 c BCD2: #cores=10, #unrelaxed=1355, #relaxed=155, #hardened=0 0.19/0.27 c BCD2: #sat=1 #unsat=12 bias=12/13 0.19/0.27 c Solving starts ... 0.19/0.27 c ============================[ Search Statistics ]============================ 0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.27 c | | | | Limit GC | Var | Constra 0.19/0.27 c ============================================================================= 0.19/0.27 c 0.0s | 0 | 0 | 0 | 3549 0 | 177 | 310 0.19/0.28 c 0.0s | 0 | 305 | 0 | 3549 0 | 177 | 310 0.19/0.28 c #cpu_time = 0.004s 0.19/0.28 c #wall_clock_time = 0.004s 0.19/0.28 c #decision = 305 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 0 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: found a new core of size 33: cost of the new core is >=1 0.19/0.28 c lower bound updated to 12 0.19/0.28 c BCD2: 12 <= obj <= 1044 0.19/0.28 c BCD2: #cores=11, #unrelaxed=1322, #relaxed=188, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=13 bias=13/14 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 3549 0 | 177 | 310 0.19/0.28 c 0.0s | 0 | 622 | 0 | 3549 0 | 177 | 310 0.19/0.28 c #cpu_time = 0.006s 0.19/0.28 c #wall_clock_time = 0.006s 0.19/0.28 c #decision = 622 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 0 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: found a new core of size 33: cost of the new core is >=1 0.19/0.28 c lower bound updated to 13 0.19/0.29 c BCD2: 13 <= obj <= 1044 0.19/0.29 c BCD2: #cores=12, #unrelaxed=1289, #relaxed=221, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=14 bias=14/15 0.19/0.29 c Solving starts ... 0.19/0.29 c ============================[ Search Statistics ]============================ 0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.29 c | | | | Limit GC | Var | Constra 0.19/0.29 c ============================================================================= 0.19/0.29 c 0.0s | 0 | 0 | 0 | 3549 0 | 177 | 310 0.29/0.30 c 0.0s | 0 | 940 | 0 | 3549 0 | 177 | 310 0.29/0.30 c #cpu_time = 0.005s 0.29/0.30 c #wall_clock_time = 0.005s 0.29/0.30 c #decision = 940 0.29/0.30 c #random_decision = 0 0.29/0.30 c #conflict = 0 0.29/0.30 c #restart = 0 0.29/0.30 c BCD2: found a new core of size 105: cost of the new core is >=1 0.29/0.30 c lower bound updated to 14 0.29/0.30 c BCD2: 14 <= obj <= 1044 0.29/0.30 c BCD2: #cores=13, #unrelaxed=1184, #relaxed=326, #hardened=0 0.29/0.30 c BCD2: #sat=1 #unsat=15 bias=15/16 0.29/0.30 c Solving starts ... 0.29/0.30 c ============================[ Search Statistics ]============================ 0.29/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.30 c | | | | Limit GC | Var | Constra 0.29/0.30 c ============================================================================= 0.29/0.30 c 0.0s | 0 | 0 | 0 | 3549 0 | 177 | 310 0.29/0.31 c 0.0s | 0 | 845 | 0 | 3549 0 | 177 | 310 0.29/0.31 c #cpu_time = 0.005s 0.29/0.31 c #wall_clock_time = 0.005s 0.29/0.31 c #decision = 845 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 0 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 11: cost of the new core is >=1 0.29/0.31 c lower bound updated to 15 0.29/0.31 c BCD2: 15 <= obj <= 1044 0.29/0.31 c BCD2: #cores=14, #unrelaxed=1173, #relaxed=337, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=16 bias=16/17 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 3549 0 | 177 | 310 0.29/0.31 c 0.0s | 0 | 920 | 0 | 3549 0 | 177 | 310 0.29/0.31 c #cpu_time = 0.004s 0.29/0.31 c #wall_clock_time = 0.004s 0.29/0.31 c #decision = 920 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 0 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 55: cost of the new core is >=1 0.29/0.31 c lower bound updated to 16 0.29/0.31 c BCD2: 16 <= obj <= 1044 0.29/0.31 c BCD2: #cores=15, #unrelaxed=1118, #relaxed=392, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=17 bias=17/18 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 3549 0 | 177 | 310 0.29/0.32 c 0.0s | 0 | 982 | 0 | 3549 0 | 177 | 310 0.29/0.32 c #cpu_time = 0.005s 0.29/0.32 c #wall_clock_time = 0.005s 0.29/0.32 c #decision = 982 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 0 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: found a new core of size 59: cost of the new core is >=1 0.29/0.32 c lower bound updated to 17 0.29/0.32 c BCD2: 17 <= obj <= 1044 0.29/0.32 c BCD2: #cores=16, #unrelaxed=1059, #relaxed=451, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=18 bias=18/19 0.29/0.32 c Solving starts ... 0.29/0.32 c ============================[ Search Statistics ]============================ 0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.32 c | | | | Limit GC | Var | Constra 0.29/0.32 c ============================================================================= 0.29/0.32 c 0.0s | 0 | 0 | 0 | 3549 0 | 177 | 310 0.29/0.33 c 0.0s | 0 | 984 | 0 | 3549 0 | 177 | 310 0.29/0.33 c #cpu_time = 0.005s 0.29/0.33 c #wall_clock_time = 0.005s 0.29/0.33 c #decision = 984 0.29/0.33 c #random_decision = 0 0.29/0.33 c #conflict = 0 0.29/0.33 c #restart = 0 0.29/0.33 c BCD2: found a new core of size 72: cost of the new core is >=1 0.29/0.33 c lower bound updated to 18 0.29/0.33 c BCD2: 18 <= obj <= 1044 0.29/0.33 c BCD2: #cores=17, #unrelaxed=987, #relaxed=523, #hardened=0 0.29/0.33 c BCD2: #sat=1 #unsat=19 bias=19/20 0.29/0.33 c Solving starts ... 0.29/0.33 c ============================[ Search Statistics ]============================ 0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.33 c | | | | Limit GC | Var | Constra 0.29/0.33 c ============================================================================= 0.29/0.33 c 0.0s | 0 | 0 | 0 | 3549 0 | 177 | 310 0.29/0.34 c 0.0s | 0 | 1332 | 0 | 3549 0 | 177 | 310 0.29/0.34 c #cpu_time = 0.007s 0.29/0.34 c #wall_clock_time = 0.007s 0.29/0.34 c #decision = 1332 0.29/0.34 c #random_decision = 0 0.29/0.34 c #conflict = 0 0.29/0.34 c #restart = 0 0.29/0.34 o 31 0.29/0.34 c BCD2: updating upper bound: 1044 -> 30 0.29/0.34 c BCD2: 18 <= obj <= 30 0.29/0.34 c BCD2: #cores=17, #unrelaxed=987, #relaxed=523, #hardened=0 0.29/0.34 c BCD2: #sat=2 #unsat=19 bias=19/21 0.29/0.35 c Solving starts ... 0.29/0.35 c ============================[ Search Statistics ]============================ 0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.35 c | | | | Limit GC | Var | Constra 0.29/0.35 c ============================================================================= 0.29/0.35 c 0.0s | 0 | 0 | 0 | 3549 0 | 177 | 311 0.29/0.37 c 0.0s | 0 | 2185 | 25 | 3549 0 | 177 | 311 0.29/0.37 c #cpu_time = 0.018s 0.29/0.37 c #wall_clock_time = 0.019s 0.29/0.37 c #decision = 2185 0.29/0.37 c #random_decision = 1 0.29/0.37 c #conflict = 25 0.29/0.37 c #restart = 0 0.29/0.37 o 24 0.29/0.37 c BCD2: updating upper bound: 30 -> 23 0.29/0.37 c BCD2: 18 <= obj <= 23 0.29/0.37 c BCD2: #cores=17, #unrelaxed=987, #relaxed=523, #hardened=0 0.29/0.37 c BCD2: #sat=3 #unsat=19 bias=19/22 0.29/0.37 c Solving starts ... 0.29/0.37 c ============================[ Search Statistics ]============================ 0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.37 c | | | | Limit GC | Var | Constra 0.29/0.37 c ============================================================================= 0.29/0.37 c 0.0s | 0 | 0 | 0 | 3549 0 | 177 | 312 0.29/0.38 c 0.0s | 0 | 2421 | 8 | 3549 0 | 177 | 312 0.29/0.38 c #cpu_time = 0.011s 0.29/0.38 c #wall_clock_time = 0.011s 0.29/0.38 c #decision = 2421 0.29/0.38 c #random_decision = 0 0.29/0.38 c #conflict = 8 0.29/0.38 c #restart = 0 0.29/0.38 c BCD2: relaxing 45 and merging with 5 cores into a new core of size 108: cost of the new core is >=7 0.29/0.38 c lower bound updated to 19 0.29/0.38 c BCD2: 19 <= obj <= 23 0.29/0.38 c BCD2: #cores=13, #unrelaxed=942, #relaxed=568, #hardened=0 0.29/0.38 c BCD2: #sat=3 #unsat=20 bias=20/23 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 3549 0 | 191 | 312 0.39/0.41 c 0.0s | 1 | 1135 | 100 | 3904 0 | 191 | 335 0.39/0.45 c 0.1s | 2 | 2253 | 250 | 4295 0 | 191 | 335 0.39/0.49 c 0.1s | 3 | 3613 | 475 | 4725 0 | 191 | 335 0.49/0.56 c 0.2s | 4 | 5517 | 813 | 5198 0 | 191 | 335 0.58/0.60 c 0.2s | 4 | 6557 | 870 | 5198 0 | 191 | 335 0.58/0.60 c #cpu_time = 0.214s 0.58/0.60 c #wall_clock_time = 0.215s 0.58/0.60 c #decision = 6557 0.58/0.60 c #random_decision = 1 0.58/0.60 c #conflict = 870 0.58/0.60 c #restart = 4 0.58/0.60 o 22 0.58/0.60 c BCD2: updating upper bound: 23 -> 21 0.58/0.61 c BCD2: 19 <= obj <= 21 0.58/0.61 c BCD2: #cores=13, #unrelaxed=942, #relaxed=568, #hardened=0 0.58/0.61 c BCD2: #sat=4 #unsat=20 bias=20/24 0.58/0.61 c Solving starts ... 0.58/0.61 c ============================[ Search Statistics ]============================ 0.58/0.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.58/0.61 c | | | | Limit GC | Var | Constra 0.58/0.61 c ============================================================================= 0.58/0.61 c 0.0s | 0 | 0 | 0 | 5198 0 | 191 | 336 0.58/0.67 c 0.1s | 1 | 1082 | 100 | 5198 0 | 191 | 336 0.68/0.72 c 0.1s | 2 | 2327 | 250 | 5198 0 | 191 | 336 0.68/0.77 c 0.2s | 3 | 3821 | 475 | 5718 0 | 191 | 336 0.78/0.87 c 0.3s | 4 | 5617 | 813 | 5718 0 | 191 | 336 0.99/1.07 c 0.5s | 5 | 7803 | 1320 | 6290 0 | 191 | 336 1.28/1.35 c 0.7s | 6 | 11100 | 2081 | 6290 0 | 191 | 336 1.69/1.79 c 1.2s | 7 | 15563 | 3223 | 6920 0 | 191 | 336 1.98/2.10 c 1.5s | 7 | 20051 | 4178 | 7613 0 | 191 | 336 1.98/2.10 c #cpu_time = 1.481s 1.98/2.10 c #wall_clock_time = 1.484s 1.98/2.10 c #decision = 20051 1.98/2.10 c #random_decision = 17 1.98/2.10 c #conflict = 4178 1.98/2.10 c #restart = 7 1.98/2.10 c BCD2: relaxing 130 and merging with 7 cores into a new core of size 533: cost of the new core is >=14 1.98/2.10 c lower bound updated to 20 2.08/2.10 c BCD2: 20 <= obj <= 21 2.08/2.10 c BCD2: #cores=7, #unrelaxed=812, #relaxed=698, #hardened=0 2.08/2.10 c BCD2: #sat=4 #unsat=21 bias=21/25 2.08/2.10 c Solving starts ... 2.08/2.10 c ============================[ Search Statistics ]============================ 2.08/2.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.08/2.10 c | | | | Limit GC | Var | Constra 2.08/2.10 c ============================================================================= 2.08/2.10 c 0.0s | 0 | 0 | 0 | 7613 0 | 212 | 336 2.19/2.28 c 0.2s | 1 | 1970 | 100 | 7613 0 | 212 | 371 2.38/2.47 c 0.4s | 2 | 5034 | 250 | 7613 0 | 212 | 371 2.68/2.75 c 0.6s | 3 | 8111 | 475 | 7613 0 | 212 | 371 2.98/3.08 c 1.0s | 4 | 12259 | 813 | 7613 0 | 212 | 371 3.48/3.51 c 1.4s | 5 | 19877 | 1320 | 7613 0 | 212 | 371 4.18/4.26 c 2.2s | 6 | 30711 | 2081 | 7613 0 | 212 | 371 5.38/5.40 c 3.3s | 7 | 46209 | 3223 | 8375 0 | 212 | 371 6.99/7.04 c 4.9s | 8 | 63355 | 4936 | 8375 0 | 212 | 371 9.09/9.10 c 7.0s | 8 | 87237 | 6836 | 9213 0 | 212 | 371 9.90/9.93 c 7.8s | 9 | 96670 | 7506 | 9213 0 | 212 | 371 11.99/12.03 c 9.9s | 9 | 112409 | 9506 | 9213 0 | 212 | 371 13.99/14.08 c 12.0s | 9 | 140424 | 11106 | 9213 1 | 212 | 371 14.29/14.34 c 12.2s | 10 | 143721 | 11361 | 9213 1 | 212 | 371 16.29/16.37 c 14.3s | 10 | 167288 | 13161 | 10135 1 | 212 | 371 18.39/18.42 c 16.3s | 10 | 184153 | 14961 | 10135 1 | 212 | 371 20.48/20.52 c 18.4s | 10 | 199360 | 16661 | 10135 1 | 212 | 371 20.99/21.09 c 19.0s | 11 | 202359 | 17144 | 10135 1 | 212 | 371 23.10/23.16 c 21.1s | 11 | 222681 | 18844 | 10135 2 | 212 | 371 25.19/25.27 c 23.2s | 11 | 243890 | 20644 | 11149 2 | 212 | 371 27.29/27.38 c 25.3s | 11 | 264398 | 22644 | 11149 2 | 212 | 371 29.29/29.38 c 27.3s | 11 | 282712 | 24444 | 11149 2 | 212 | 371 30.89/30.93 c 28.8s | 12 | 294340 | 25819 | 11149 3 | 212 | 371 32.89/32.99 c 30.9s | 12 | 305257 | 27219 | 11149 3 | 212 | 371 35.09/35.10 c 33.0s | 12 | 318696 | 29119 | 11149 3 | 212 | 371 37.08/37.16 c 35.1s | 12 | 330807 | 30719 | 11149 3 | 212 | 371 39.18/39.20 c 37.1s | 12 | 344407 | 32219 | 11149 4 | 212 | 371 41.28/41.31 c 39.2s | 12 | 358899 | 33819 | 12264 4 | 212 | 371 43.38/43.42 c 41.3s | 12 | 377539 | 35519 | 12264 4 | 212 | 371 45.48/45.51 c 43.4s | 12 | 394967 | 37319 | 12264 4 | 212 | 371 47.39/47.46 c 45.4s | 13 | 404541 | 38832 | 12264 5 | 212 | 371 49.49/49.54 c 47.4s | 13 | 422392 | 40632 | 12264 5 | 212 | 371 51.58/51.61 c 49.5s | 13 | 437536 | 42332 | 12264 5 | 212 | 371 53.58/53.66 c 51.6s | 13 | 455093 | 44132 | 12264 5 | 212 | 371 55.58/55.67 c 53.6s | 13 | 471954 | 45732 | 12264 6 | 212 | 371 57.78/57.80 c 55.7s | 13 | 487333 | 47432 | 12264 6 | 212 | 371 59.88/59.93 c 57.8s | 13 | 501954 | 49132 | 12264 6 | 212 | 371 61.98/62.00 c 59.9s | 13 | 521610 | 51232 | 12264 6 | 212 | 371 64.08/64.12 c 62.0s | 13 | 535512 | 53232 | 13491 7 | 212 | 371 66.09/66.14 c 64.0s | 13 | 555809 | 55232 | 13491 7 | 212 | 371 68.08/68.15 c 66.0s | 13 | 570637 | 57432 | 13491 7 | 212 | 371 69.08/69.14 c 67.0s | 14 | 575670 | 58352 | 13491 7 | 212 | 371 71.18/71.22 c 69.1s | 14 | 591058 | 60152 | 13491 7 | 212 | 371 73.18/73.23 c 71.1s | 14 | 605380 | 61952 | 13491 8 | 212 | 371 75.18/75.29 c 73.2s | 14 | 623715 | 64152 | 13491 8 | 212 | 371 77.28/77.31 c 75.2s | 14 | 642842 | 66252 | 13491 8 | 212 | 371 79.29/79.35 c 77.3s | 14 | 659233 | 68252 | 13491 8 | 212 | 371 81.38/81.41 c 79.3s | 14 | 678934 | 70252 | 13491 9 | 212 | 371 83.38/83.44 c 81.3s | 14 | 696997 | 72352 | 13491 9 | 212 | 371 85.38/85.49 c 83.4s | 14 | 706753 | 74252 | 13491 9 | 212 | 371 87.48/87.56 c 85.5s | 14 | 719784 | 76252 | 13491 9 | 212 | 371 89.57/89.63 c 87.5s | 14 | 731642 | 78252 | 13491 10 | 212 | 371 91.67/91.74 c 89.6s | 14 | 745984 | 80252 | 13491 10 | 212 | 371 93.77/93.82 c 91.7s | 14 | 759336 | 82252 | 14841 10 | 212 | 371 95.87/95.90 c 93.8s | 14 | 769070 | 83852 | 14841 10 | 212 | 371 97.88/97.94 c 95.8s | 14 | 778397 | 85352 | 14841 11 | 212 | 371 99.88/99.97 c 97.9s | 14 | 793308 | 87252 | 14841 11 | 212 | 371 100.38/100.41 c 98.3s | 15 | 796336 | 87632 | 14841 11 | 212 | 371 102.38/102.41 c 100s | 15 | 809760 | 89632 | 14841 11 | 212 | 371 104.38/104.47 c 102s | 15 | 827088 | 91632 | 14841 11 | 212 | 371 106.47/106.58 c 104s | 15 | 841644 | 93532 | 14841 11 | 212 | 371 108.57/108.60 c 106s | 15 | 859157 | 95532 | 14841 12 | 212 | 371 110.57/110.62 c 108s | 15 | 875961 | 97532 | 14841 12 | 212 | 371 112.57/112.65 c 110s | 15 | 891596 | 99632 | 14841 12 | 212 | 371 114.57/114.69 c 112s | 15 | 907566 | 101632 | 14841 12 | 212 | 371 116.68/116.73 c 114s | 15 | 923162 | 103732 | 14841 13 | 212 | 371 118.67/118.76 c 116s | 15 | 938232 | 105532 | 14841 13 | 212 | 371 120.77/120.83 c 118s | 15 | 950597 | 107232 | 14841 13 | 212 | 371 122.87/122.91 c 120s | 15 | 962248 | 108932 | 14841 13 | 212 | 371 124.87/124.96 c 122s | 15 | 973507 | 110732 | 14841 14 | 212 | 371 126.87/126.98 c 124s | 15 | 982808 | 112632 | 14841 14 | 212 | 371 128.97/129.04 c 126s | 15 | 991768 | 114232 | 14841 14 | 212 | 371 131.07/131.14 c 129s | 15 | 1000331 | 116132 | 14841 14 | 212 | 371 133.18/133.20 c 131s | 15 | 1009555 | 118032 | 14841 14 | 212 | 371 135.17/135.27 c 133s | 15 | 1021044 | 119932 | 14841 15 | 212 | 371 137.17/137.27 c 135s | 15 | 1033883 | 121932 | 14841 15 | 212 | 371 139.26/139.38 c 137s | 15 | 1044565 | 123232 | 14841 15 | 212 | 371 141.37/141.44 c 139s | 15 | 1066492 | 125032 | 14841 15 | 212 | 371 143.37/143.45 c 141s | 15 | 1080790 | 126732 | 16326 15 | 212 | 371 145.37/145.47 c 143s | 15 | 1096589 | 128432 | 16326 16 | 212 | 371 147.47/147.58 c 145s | 15 | 1118500 | 130532 | 16326 16 | 212 | 371 148.67/148.77 c 146s | 16 | 1133794 | 131552 | 16326 16 | 212 | 371 150.67/150.80 c 148s | 16 | 1154389 | 133052 | 16326 16 | 212 | 371 152.87/152.93 c 150s | 16 | 1175701 | 134752 | 16326 16 | 212 | 371 154.96/155.01 c 152s | 16 | 1191557 | 136352 | 16326 16 | 212 | 371 156.95/157.01 c 154s | 16 | 1201518 | 137552 | 16326 17 | 212 | 371 158.95/159.10 c 156s | 16 | 1217474 | 139352 | 16326 17 | 212 | 371 161.06/161.15 c 159s | 16 | 1233075 | 140952 | 16326 17 | 212 | 371 163.16/163.21 c 161s | 16 | 1258107 | 142852 | 16326 17 | 212 | 371 165.15/165.25 c 163s | 16 | 1274097 | 144652 | 16326 17 | 212 | 371 167.26/167.37 c 165s | 16 | 1292673 | 146552 | 16326 17 | 212 | 371 169.56/169.68 c 167s | 16 | 1308504 | 148452 | 16326 18 | 212 | 371 171.66/171.71 c 169s | 16 | 1325524 | 150252 | 16326 18 | 212 | 371 173.65/173.74 c 171s | 16 | 1342969 | 151952 | 16326 18 | 212 | 371 175.75/175.87 c 173s | 16 | 1358768 | 153652 | 16326 18 | 212 | 371 177.85/177.96 c 175s | 16 | 1377436 | 155452 | 16326 18 | 212 | 371 179.85/179.98 c 177s | 16 | 1396263 | 157252 | 16326 19 | 212 | 371 181.95/182.08 c 179s | 16 | 1414468 | 159052 | 16326 19 | 212 | 371 184.15/184.20 c 182s | 16 | 1430658 | 160852 | 16326 19 | 212 | 371 186.15/186.25 c 184s | 16 | 1445426 | 162452 | 16326 19 | 212 | 371 188.16/188.28 c 186s | 16 | 1460708 | 163952 | 16326 19 | 212 | 371 190.26/190.40 c 188s | 16 | 1477254 | 165652 | 16326 20 | 212 | 371 192.35/192.46 c 190s | 16 | 1495587 | 167452 | 16326 20 | 212 | 371 194.45/194.57 c 192s | 16 | 1513790 | 169252 | 16326 20 | 212 | 371 196.55/196.64 c 194s | 16 | 1527832 | 171152 | 16326 20 | 212 | 371 198.65/198.79 c 196s | 16 | 1543328 | 172552 | 16326 20 | 212 | 371 200.74/200.87 c 198s | 16 | 1562221 | 174152 | 16326 21 | 212 | 371 202.75/202.88 c 200s | 16 | 1579038 | 175652 | 16326 21 | 212 | 371 204.95/205.01 c 202s | 16 | 1597896 | 177652 | 16326 21 | 212 | 371 206.94/207.05 c 204s | 16 | 1615472 | 179352 | 16326 21 | 212 | 371 208.95/209.05 c 206s | 16 | 1629250 | 180852 | 16326 21 | 212 | 371 211.04/211.15 c 209s | 16 | 1643079 | 182452 | 16326 21 | 212 | 371 213.04/213.16 c 211s | 16 | 1657991 | 183852 | 16326 22 | 212 | 371 215.14/215.21 c 213s | 16 | 1669924 | 184852 | 16326 22 | 212 | 371 217.24/217.33 c 215s | 16 | 1688468 | 186552 | 16326 22 | 212 | 371 219.34/219.40 c 217s | 16 | 1708411 | 188352 | 16326 22 | 212 | 371 221.34/221.47 c 219s | 16 | 1720745 | 190052 | 16326 22 | 212 | 371 223.44/223.50 c 221s | 16 | 1738448 | 191752 | 17959 22 | 212 | 371 225.45/225.51 c 223s | 16 | 1754262 | 193252 | 17959 22 | 212 | 371 227.43/227.51 c 225s | 16 | 1767430 | 194652 | 17959 23 | 212 | 371 229.43/229.52 c 227s | 16 | 1782362 | 196352 | 17959 23 | 212 | 371 230.83/230.90 c 228s | 17 | 1792625 | 197432 | 17959 23 | 212 | 371 232.83/232.97 c 230s | 17 | 1808330 | 199032 | 17959 23 | 212 | 371 234.93/235.03 c 232s | 17 | 1828751 | 200732 | 17959 23 | 212 | 371 236.93/237.03 c 234s | 17 | 1849307 | 202632 | 17959 23 | 212 | 371 238.93/239.04 c 236s | 17 | 1862259 | 204332 | 17959 24 | 212 | 371 240.94/241.06 c 238s | 17 | 1875611 | 206132 | 17959 24 | 212 | 371 242.93/243.06 c 240s | 17 | 1894416 | 207832 | 17959 24 | 212 | 371 245.03/245.18 c 243s | 17 | 1912693 | 209532 | 17959 24 | 212 | 371 247.23/247.30 c 245s | 17 | 1929637 | 211132 | 17959 24 | 212 | 371 249.23/249.33 c 247s | 17 | 1945726 | 212632 | 17959 24 | 212 | 371 252.03/252.10 c 250s | 17 | 1962166 | 214032 | 17959 25 | 212 | 371 254.03/254.14 c 252s | 17 | 1980773 | 215732 | 17959 25 | 212 | 371 256.12/256.20 c 254s | 17 | 1994848 | 217532 | 17959 25 | 212 | 371 258.12/258.23 c 256s | 17 | 2014982 | 219232 | 17959 25 | 212 | 371 260.12/260.28 c 258s | 17 | 2031816 | 220932 | 17959 25 | 212 | 371 262.23/262.33 c 260s | 17 | 2048570 | 222632 | 17959 25 | 212 | 371 264.23/264.37 c 262s | 17 | 2065574 | 224432 | 17959 26 | 212 | 371 266.32/266.44 c 264s | 17 | 2082533 | 226332 | 17959 26 | 212 | 371 268.43/268.53 c 266s | 17 | 2098098 | 228132 | 17959 26 | 212 | 371 270.42/270.54 c 268s | 17 | 2113536 | 229832 | 17959 26 | 212 | 371 272.52/272.62 c 270s | 17 | 2130256 | 231532 | 17959 26 | 212 | 371 274.52/274.62 c 272s | 17 | 2146164 | 233032 | 17959 26 | 212 | 371 276.51/276.69 c 274s | 17 | 2161316 | 234632 | 17959 27 | 212 | 371 278.61/278.72 c 276s | 17 | 2177621 | 236432 | 17959 27 | 212 | 371 280.71/280.81 c 278s | 17 | 2194850 | 238432 | 17959 27 | 212 | 371 282.72/282.88 c 280s | 17 | 2214217 | 240232 | 17959 27 | 212 | 371 284.82/284.93 c 282s | 17 | 2233498 | 241932 | 17959 27 | 212 | 371 286.81/286.95 c 284s | 17 | 2248837 | 243732 | 17959 28 | 212 | 371 288.81/288.97 c 286s | 17 | 2264299 | 245432 | 17959 28 | 212 | 371 290.91/291.06 c 288s | 17 | 2279080 | 247132 | 17959 28 | 212 | 371 292.91/293.09 c 290s | 17 | 2293339 | 248632 | 17959 28 | 212 | 371 295.01/295.18 c 293s | 17 | 2306086 | 250332 | 17959 28 | 212 | 371 297.11/297.21 c 295s | 17 | 2319319 | 251932 | 17959 28 | 212 | 371 299.11/299.26 c 297s | 17 | 2328396 | 253332 | 17959 29 | 212 | 371 301.20/301.36 c 299s | 17 | 2329498 | 253432 | 17959 29 | 212 | 371 303.21/303.39 c 301s | 17 | 2341807 | 255232 | 17959 29 | 212 | 371 305.31/305.46 c 303s | 17 | 2356163 | 256832 | 17959 29 | 212 | 371 307.30/307.48 c 305s | 17 | 2367884 | 258432 | 17959 29 | 212 | 371 309.40/309.53 c 307s | 17 | 2380112 | 260032 | 17959 29 | 212 | 371 311.50/311.61 c 309s | 17 | 2389359 | 261532 | 17959 29 | 212 | 371 313.51/313.63 c 311s | 17 | 2400898 | 263032 | 17959 29 | 212 | 371 315.61/315.72 c 313s | 17 | 2414608 | 264732 | 17959 30 | 212 | 371 317.59/317.79 c 315s | 17 | 2428049 | 266432 | 17959 30 | 212 | 371 319.69/319.81 c 317s | 17 | 2436384 | 267832 | 17959 30 | 212 | 371 321.69/321.82 c 319s | 17 | 2447839 | 269332 | 17959 30 | 212 | 371 323.69/323.84 c 321s | 17 | 2459073 | 270932 | 17959 30 | 212 | 371 325.79/325.91 c 323s | 17 | 2469986 | 272432 | 17959 30 | 212 | 371 327.89/328.02 c 325s | 17 | 2480867 | 273832 | 17959 31 | 212 | 371 329.90/330.05 c 327s | 17 | 2490160 | 275332 | 17959 31 | 212 | 371 331.99/332.14 c 330s | 17 | 2500868 | 276932 | 17959 31 | 212 | 371 334.09/334.21 c 332s | 17 | 2514628 | 278732 | 17959 31 | 212 | 371 336.09/336.22 c 334s | 17 | 2527172 | 280432 | 17959 31 | 212 | 371 338.09/338.28 c 336s | 17 | 2537162 | 281932 | 17959 31 | 212 | 371 340.28/340.40 c 338s | 17 | 2549351 | 283632 | 17959 32 | 212 | 371 342.29/342.46 c 340s | 17 | 2559387 | 285332 | 17959 32 | 212 | 371 344.30/344.48 c 342s | 17 | 2569075 | 286832 | 17959 32 | 212 | 371 346.39/346.60 c 344s | 17 | 2581006 | 288832 | 17959 32 | 212 | 371 348.49/348.70 c 346s | 17 | 2593921 | 290532 | 19755 32 | 212 | 371 350.58/350.70 c 348s | 17 | 2603634 | 292032 | 19755 32 | 212 | 371 352.58/352.77 c 350s | 17 | 2615588 | 293632 | 19755 32 | 212 | 371 354.68/354.81 c 352s | 17 | 2625906 | 295232 | 19755 33 | 212 | 371 355.88/356.06 c 353s | 18 | 2633146 | 296252 | 19755 33 | 212 | 371 358.08/358.21 c 356s | 18 | 2643863 | 297952 | 19755 33 | 212 | 371 360.18/360.33 c 358s | 18 | 2656411 | 299452 | 19755 33 | 212 | 371 362.68/362.86 c 360s | 18 | 2668190 | 301052 | 19755 33 | 212 | 371 364.78/364.90 c 362s | 18 | 2676801 | 302352 | 19755 33 | 212 | 371 366.78/366.99 c 364s | 18 | 2692398 | 303752 | 19755 33 | 212 | 371 368.88/369.07 c 366s | 18 | 2704612 | 305352 | 19755 33 | 212 | 371 370.98/371.17 c 369s | 18 | 2713347 | 307052 | 19755 34 | 212 | 371 373.08/373.21 c 371s | 18 | 2726110 | 308752 | 19755 34 | 212 | 371 375.09/375.24 c 373s | 18 | 2736371 | 310552 | 19755 34 | 212 | 371 377.18/377.30 c 375s | 18 | 2744825 | 311852 | 19755 34 | 212 | 371 379.17/379.36 c 377s | 18 | 2761976 | 313752 | 19755 34 | 212 | 371 381.17/381.38 c 379s | 18 | 2775780 | 315452 | 19755 34 | 212 | 371 383.27/383.41 c 381s | 18 | 2788003 | 317052 | 19755 35 | 212 | 371 385.28/385.47 c 383s | 18 | 2801925 | 318752 | 19755 35 | 212 | 371 387.38/387.54 c 385s | 18 | 2817124 | 320552 | 19755 35 | 212 | 371 389.39/389.54 c 387s | 18 | 2826758 | 322052 | 19755 35 | 212 | 371 391.38/391.60 c 389s | 18 | 2837203 | 323452 | 19755 35 | 212 | 371 393.58/393.72 c 391s | 18 | 2846277 | 324852 | 19755 35 | 212 | 371 395.68/395.81 c 393s | 18 | 2859183 | 326152 | 19755 35 | 212 | 371 397.77/397.96 c 395s | 18 | 2867879 | 327552 | 19755 36 | 212 | 371 399.97/400.12 c 398s | 18 | 2873286 | 328752 | 19755 36 | 212 | 371 401.97/402.19 c 400s | 18 | 2889959 | 330752 | 19755 36 | 212 | 371 404.07/404.25 c 402s | 18 | 2903135 | 332152 | 19755 36 | 212 | 371 406.07/406.25 c 404s | 18 | 2913732 | 333652 | 19755 36 | 212 | 371 408.17/408.32 c 406s | 18 | 2923998 | 335252 | 19755 36 | 212 | 371 410.27/410.42 c 408s | 18 | 2937393 | 336852 | 19755 36 | 212 | 371 412.26/412.45 c 410s | 18 | 2947104 | 338252 | 19755 37 | 212 | 371 414.36/414.56 c 412s | 18 | 2959446 | 339852 | 19755 37 | 212 | 371 416.46/416.65 c 414s | 18 | 2969682 | 341452 | 19755 37 | 212 | 371 418.56/418.73 c 416s | 18 | 2979232 | 342652 | 19755 37 | 212 | 371 420.56/420.75 c 418s | 18 | 2992433 | 344152 | 19755 37 | 212 | 371 422.65/422.80 c 420s | 18 | 3004623 | 345752 | 19755 37 | 212 | 371 424.65/424.85 c 422s | 18 | 3012599 | 347152 | 19755 37 | 212 | 371 426.85/427.01 c 424s | 18 | 3026145 | 349052 | 19755 38 | 212 | 371 428.86/429.06 c 426s | 18 | 3037257 | 350752 | 19755 38 | 212 | 371 430.96/431.14 c 429s | 18 | 3048982 | 352452 | 19755 38 | 212 | 371 432.95/433.19 c 431s | 18 | 3061948 | 354352 | 19755 38 | 212 | 371 435.05/435.23 c 433s | 18 | 3070720 | 355852 | 19755 38 | 212 | 371 437.05/437.25 c 435s | 18 | 3088132 | 357752 | 19755 38 | 212 | 371 439.15/439.37 c 437s | 18 | 3101398 | 359452 | 19755 38 | 212 | 371 441.25/441.46 c 439s | 18 | 3115551 | 361252 | 19755 39 | 212 | 371 443.34/443.54 c 441s | 18 | 3128350 | 362952 | 19755 39 | 212 | 371 445.36/445.56 c 443s | 18 | 3140266 | 364652 | 19755 39 | 212 | 371 447.45/447.67 c 445s | 18 | 3153416 | 366052 | 19755 39 | 212 | 371 449.55/449.77 c 447s | 18 | 3162462 | 367552 | 19755 39 | 212 | 371 451.65/451.80 c 449s | 18 | 3173901 | 368952 | 19755 39 | 212 | 371 453.75/453.90 c 451s | 18 | 3183461 | 370352 | 19755 39 | 212 | 371 456.55/456.73 c 454s | 18 | 3192107 | 371652 | 19755 40 | 212 | 371 458.65/458.82 c 456s | 18 | 3201949 | 373152 | 19755 40 | 212 | 371 460.75/460.92 c 458s | 18 | 3213959 | 374852 | 19755 40 | 212 | 371 462.75/462.98 c 460s | 18 | 3227432 | 376552 | 19755 40 | 212 | 371 464.85/465.00 c 462s | 18 | 3238074 | 378152 | 19755 40 | 212 | 371 466.94/467.12 c 465s | 18 | 3251752 | 379852 | 19755 40 | 212 | 371 468.94/469.16 c 467s | 18 | 3266694 | 381552 | 19755 41 | 212 | 371 471.04/471.26 c 469s | 18 | 3280410 | 382952 | 19755 41 | 212 | 371 473.14/473.34 c 471s | 18 | 3292944 | 384752 | 19755 41 | 212 | 371 475.15/475.37 c 473s | 18 | 3306236 | 386452 | 19755 41 | 212 | 371 477.25/477.45 c 475s | 18 | 3317197 | 388052 | 19755 41 | 212 | 371 479.34/479.52 c 477s | 18 | 3329244 | 389652 | 19755 41 | 212 | 371 482.04/482.21 c 480s | 18 | 3339727 | 391152 | 19755 41 | 212 | 371 484.03/484.25 c 482s | 18 | 3347581 | 392152 | 19755 41 | 212 | 371 486.04/486.26 c 484s | 18 | 3361491 | 393652 | 19755 42 | 212 | 371 488.03/488.27 c 486s | 18 | 3370284 | 394752 | 19755 42 | 212 | 371 490.03/490.29 c 488s | 18 | 3385877 | 396552 | 19755 42 | 212 | 371 492.13/492.33 c 490s | 18 | 3402156 | 398252 | 19755 42 | 212 | 371 494.53/494.71 c 492s | 18 | 3413664 | 400052 | 19755 42 | 212 | 371 496.63/496.84 c 494s | 18 | 3430160 | 401752 | 19755 42 | 212 | 371 498.64/498.86 c 496s | 18 | 3441370 | 403152 | 19755 43 | 212 | 371 500.64/500.87 c 498s | 18 | 3455402 | 404652 | 19755 43 | 212 | 371 502.73/502.92 c 500s | 18 | 3471781 | 406252 | 19755 43 | 212 | 371 504.84/505.03 c 502s | 18 | 3486517 | 408052 | 19755 43 | 212 | 371 506.83/507.03 c 504s | 18 | 3498353 | 409652 | 19755 43 | 212 | 371 508.93/509.14 c 507s | 18 | 3511909 | 411252 | 19755 43 | 212 | 371 510.93/511.16 c 509s | 18 | 3524413 | 412852 | 19755 43 | 212 | 371 513.13/513.30 c 511s | 18 | 3532929 | 414252 | 19755 44 | 212 | 371 515.23/515.41 c 513s | 18 | 3546801 | 415952 | 19755 44 | 212 | 371 517.23/517.49 c 515s | 18 | 3556507 | 417452 | 19755 44 | 212 | 371 519.33/519.50 c 517s | 18 | 3565551 | 418952 | 19755 44 | 212 | 371 521.42/521.66 c 519s | 18 | 3576719 | 420352 | 19755 44 | 212 | 371 523.62/523.83 c 521s | 18 | 3586406 | 421752 | 19755 44 | 212 | 371 525.63/525.85 c 523s | 18 | 3595327 | 423052 | 19755 44 | 212 | 371 527.72/527.94 c 525s | 18 | 3603749 | 424352 | 19755 44 | 212 | 371 529.72/529.96 c 527s | 18 | 3612727 | 425752 | 19755 45 | 212 | 371 531.82/532.06 c 529s | 18 | 3628383 | 427552 | 19755 45 | 212 | 371 533.92/534.11 c 532s | 18 | 3640547 | 429452 | 19755 45 | 212 | 371 535.91/536.15 c 534s | 18 | 3652197 | 431252 | 19755 45 | 212 | 371 538.01/538.23 c 536s | 18 | 3661624 | 432952 | 19755 45 | 212 | 371 540.02/540.23 c 538s | 18 | 3673404 | 434552 | 19755 45 | 212 | 371 542.22/542.40 c 540s | 18 | 3682430 | 435752 | 19755 46 | 212 | 371 544.22/544.46 c 542s | 18 | 3699815 | 437452 | 21731 46 | 212 | 371 546.32/546.50 c 544s | 18 | 3714085 | 439152 | 21731 46 | 212 | 371 548.32/548.58 c 546s | 18 | 3728045 | 441052 | 21731 46 | 212 | 371 550.42/550.64 c 548s | 18 | 3742448 | 442852 | 21731 46 | 212 | 371 552.61/552.82 c 550s | 18 | 3747330 | 443552 | 21731 46 | 212 | 371 553.51/553.79 c 551s | 19 | 3756073 | 444482 | 21731 46 | 212 | 371 555.61/555.88 c 553s | 19 | 3775836 | 446482 | 21731 46 | 212 | 371 557.71/557.95 c 555s | 19 | 3792751 | 448382 | 21731 47 | 212 | 371 559.72/559.98 c 557s | 19 | 3810321 | 450382 | 21731 47 | 212 | 371 561.81/562.04 c 559s | 19 | 3826696 | 452382 | 21731 47 | 212 | 371 563.81/564.04 c 561s | 19 | 3843442 | 454182 | 21731 47 | 212 | 371 565.90/566.12 c 564s | 19 | 3856779 | 455682 | 21731 47 | 212 | 371 568.00/568.26 c 566s | 19 | 3867674 | 457382 | 21731 47 | 212 | 371 570.00/570.29 c 568s | 19 | 3882610 | 459482 | 21731 47 | 212 | 371 572.10/572.30 c 570s | 19 | 3896517 | 461082 | 21731 48 | 212 | 371 574.11/574.36 c 572s | 19 | 3911157 | 462882 | 21731 48 | 212 | 371 576.20/576.43 c 574s | 19 | 3926147 | 464682 | 21731 48 | 212 | 371 578.20/578.45 c 576s | 19 | 3938813 | 466282 | 21731 48 | 212 | 371 580.19/580.47 c 578s | 19 | 3950843 | 467982 | 21731 48 | 212 | 371 582.29/582.52 c 580s | 19 | 3962555 | 469582 | 21731 48 | 212 | 371 584.29/584.58 c 582s | 19 | 3971107 | 470982 | 21731 48 | 212 | 371 586.39/586.67 c 584s | 19 | 3981318 | 472582 | 21731 49 | 212 | 371 588.49/588.79 c 586s | 19 | 3997858 | 474482 | 21731 49 | 212 | 371 590.60/590.89 c 588s | 19 | 4010971 | 476282 | 21731 49 | 212 | 371 592.70/592.97 c 590s | 19 | 4021388 | 477682 | 21731 49 | 212 | 371 594.79/595.06 c 592s | 19 | 4031078 | 478982 | 21731 49 | 212 | 371 596.79/597.09 c 594s | 19 | 4043539 | 480582 | 21731 49 | 212 | 371 598.89/599.15 c 597s | 19 | 4053734 | 481882 | 21731 49 | 212 | 371 600.89/601.17 c 599s | 19 | 4065110 | 483582 | 21731 49 | 212 | 371 602.98/603.24 c 601s | 19 | 4081438 | 485582 | 21731 50 | 212 | 371 605.08/605.33 c 603s | 19 | 4091909 | 487582 | 21731 50 | 212 | 371 607.18/607.42 c 605s | 19 | 4103623 | 489382 | 21731 50 | 212 | 371 609.19/609.46 c 607s | 19 | 4117487 | 491082 | 21731 50 | 212 | 371 611.28/611.56 c 609s | 19 | 4128528 | 492682 | 21731 50 | 212 | 371 613.38/613.61 c 611s | 19 | 4139046 | 494382 | 21731 50 | 212 | 371 615.38/615.66 c 613s | 19 | 4151193 | 496182 | 21731 51 | 212 | 371 617.38/617.67 c 615s | 19 | 4167072 | 498182 | 21731 51 | 212 | 371 619.48/619.76 c 617s | 19 | 4181335 | 500082 | 21731 51 | 212 | 371 621.58/621.83 c 619s | 19 | 4193299 | 501782 | 21731 51 | 212 | 371 623.68/623.92 c 621s | 19 | 4202007 | 503182 | 21731 51 | 212 | 371 625.78/626.03 c 623s | 19 | 4209856 | 504082 | 21731 51 | 212 | 371 627.77/628.06 c 625s | 19 | 4220875 | 505482 | 21731 51 | 212 | 371 629.87/630.15 c 628s | 19 | 4232718 | 506982 | 21731 51 | 212 | 371 631.97/632.21 c 630s | 19 | 4244756 | 508382 | 21731 52 | 212 | 371 633.97/634.28 c 632s | 19 | 4259754 | 510482 | 21731 52 | 212 | 371 636.07/636.37 c 634s | 19 | 4272483 | 512182 | 21731 52 | 212 | 371 638.17/638.49 c 636s | 19 | 4284967 | 513882 | 21731 52 | 212 | 371 640.27/640.55 c 638s | 19 | 4296650 | 515582 | 21731 52 | 212 | 371 642.37/642.66 c 640s | 19 | 4311694 | 517382 | 21731 52 | 212 | 371 644.37/644.67 c 642s | 19 | 4324019 | 518782 | 21731 52 | 212 | 371 646.47/646.73 c 644s | 19 | 4336684 | 520582 | 21731 53 | 212 | 371 648.57/648.80 c 646s | 19 | 4349278 | 522382 | 21731 53 | 212 | 371 650.67/650.90 c 648s | 19 | 4359388 | 524182 | 21731 53 | 212 | 371 652.76/653.03 c 650s | 19 | 4370469 | 525882 | 21731 53 | 212 | 371 654.76/655.03 c 652s | 19 | 4380981 | 527482 | 21731 53 | 212 | 371 656.86/657.13 c 655s | 19 | 4391435 | 529082 | 21731 53 | 212 | 371 658.86/659.17 c 657s | 19 | 4401044 | 530482 | 21731 53 | 212 | 371 660.96/661.26 c 659s | 19 | 4409941 | 531682 | 21731 54 | 212 | 371 662.96/663.30 c 661s | 19 | 4417151 | 532882 | 21731 54 | 212 | 371 665.06/665.34 c 663s | 19 | 4429349 | 534282 | 21731 54 | 212 | 371 667.16/667.42 c 665s | 19 | 4441194 | 535882 | 21731 54 | 212 | 371 669.16/669.44 c 667s | 19 | 4452788 | 537482 | 21731 54 | 212 | 371 671.15/671.47 c 669s | 19 | 4462328 | 538782 | 21731 54 | 212 | 371 673.25/673.51 c 671s | 19 | 4473441 | 540082 | 21731 54 | 212 | 371 675.26/675.58 c 673s | 19 | 4479292 | 540882 | 21731 54 | 212 | 371 677.35/677.63 c 675s | 19 | 4487435 | 542482 | 21731 54 | 212 | 371 679.45/679.71 c 677s | 19 | 4500212 | 544182 | 21731 55 | 212 | 371 681.54/681.84 c 679s | 19 | 4515710 | 545882 | 21731 55 | 212 | 371 683.65/683.91 c 681s | 19 | 4527617 | 547482 | 21731 55 | 212 | 371 685.95/686.27 c 684s | 19 | 4537574 | 548882 | 21731 55 | 212 | 371 688.05/688.37 c 686s | 19 | 4548733 | 550382 | 21731 55 | 212 | 371 690.15/690.44 c 688s | 19 | 4557873 | 551882 | 21731 55 | 212 | 371 692.25/692.55 c 690s | 19 | 4567420 | 553282 | 21731 55 | 212 | 371 694.35/694.63 c 692s | 19 | 4576908 | 554782 | 21731 56 | 212 | 371 696.35/696.66 c 694s | 19 | 4587483 | 556382 | 21731 56 | 212 | 371 698.35/698.69 c 696s | 19 | 4595748 | 557982 | 21731 56 | 212 | 371 700.45/700.78 c 698s | 19 | 4607806 | 559882 | 21731 56 | 212 | 371 703.05/703.36 c 701s | 19 | 4615909 | 561482 | 21731 56 | 212 | 371 705.15/705.49 c 703s | 19 | 4629065 | 563182 | 21731 56 | 212 | 371 707.35/707.61 c 705s | 19 | 4639213 | 564982 | 21731 56 | 212 | 371 709.35/709.66 c 707s | 19 | 4648876 | 566482 | 21731 57 | 212 | 371 711.35/711.66 c 709s | 19 | 4660630 | 568382 | 21731 57 | 212 | 371 713.34/713.68 c 711s | 19 | 4669790 | 569882 | 21731 57 | 212 | 371 715.54/715.81 c 713s | 19 | 4681135 | 571582 | 21731 57 | 212 | 371 717.64/717.91 c 715s | 19 | 4694781 | 573382 | 21731 57 | 212 | 371 719.74/720.03 c 717s | 19 | 4704628 | 574982 | 21731 57 | 212 | 371 721.84/722.16 c 720s | 19 | 4716280 | 576482 | 21731 57 | 212 | 371 723.84/724.18 c 722s | 19 | 4728567 | 577982 | 21731 57 | 212 | 371 725.94/726.24 c 724s | 19 | 4741897 | 579682 | 21731 58 | 212 | 371 728.04/728.30 c 726s | 19 | 4751512 | 581282 | 21731 58 | 212 | 371 730.04/730.40 c 728s | 19 | 4762316 | 582982 | 21731 58 | 212 | 371 732.14/732.44 c 730s | 19 | 4772735 | 584682 | 21731 58 | 212 | 371 734.24/734.54 c 732s | 19 | 4782446 | 586382 | 21731 58 | 212 | 371 736.24/736.58 c 734s | 19 | 4788422 | 587282 | 21731 58 | 212 | 371 738.44/738.70 c 736s | 19 | 4798464 | 588782 | 21731 58 | 212 | 371 740.44/740.75 c 738s | 19 | 4807230 | 590082 | 21731 59 | 212 | 371 742.54/742.83 c 740s | 19 | 4816907 | 591682 | 21731 59 | 212 | 371 744.64/744.92 c 742s | 19 | 4830294 | 593182 | 21731 59 | 212 | 371 746.64/746.94 c 744s | 19 | 4846704 | 595082 | 21731 59 | 212 | 371 748.74/749.07 c 746s | 19 | 4864530 | 596882 | 21731 59 | 212 | 371 750.84/751.12 c 749s | 19 | 4879783 | 598582 | 21731 59 | 212 | 371 752.83/753.19 c 751s | 19 | 4893318 | 599982 | 21731 59 | 212 | 371 754.93/755.27 c 753s | 19 | 4905371 | 601582 | 21731 59 | 212 | 371 757.13/757.40 c 755s | 19 | 4922450 | 603582 | 21731 60 | 212 | 371 759.13/759.43 c 757s | 19 | 4931837 | 605182 | 21731 60 | 212 | 371 761.13/761.45 c 759s | 19 | 4945310 | 606882 | 21731 60 | 212 | 371 763.14/763.49 c 761s | 19 | 4958350 | 608682 | 21731 60 | 212 | 371 765.23/765.58 c 763s | 19 | 4971224 | 610082 | 21731 60 | 212 | 371 767.33/767.64 c 765s | 19 | 4982649 | 611682 | 21731 60 | 212 | 371 769.43/769.76 c 767s | 19 | 4996163 | 613482 | 21731 61 | 212 | 371 771.43/771.78 c 769s | 19 | 5008703 | 614982 | 21731 61 | 212 | 371 773.52/773.82 c 771s | 19 | 5018282 | 616382 | 21731 61 | 212 | 371 775.62/775.97 c 773s | 19 | 5026633 | 617482 | 21731 61 | 212 | 371 777.72/778.02 c 775s | 19 | 5038377 | 618982 | 21731 61 | 212 | 371 779.82/780.12 c 778s | 19 | 5050682 | 620382 | 21731 61 | 212 | 371 781.92/782.21 c 780s | 19 | 5059498 | 621682 | 21731 61 | 212 | 371 783.92/784.22 c 782s | 19 | 5069889 | 623082 | 21731 61 | 212 | 371 785.92/786.23 c 784s | 19 | 5083239 | 624882 | 21731 61 | 212 | 371 788.02/788.31 c 786s | 19 | 5098853 | 626782 | 21731 62 | 212 | 371 790.01/790.36 c 788s | 19 | 5112935 | 628682 | 21731 62 | 212 | 371 792.11/792.40 c 790s | 19 | 5124929 | 630582 | 21731 62 | 212 | 371 794.21/794.50 c 792s | 19 | 5140477 | 632282 | 21731 62 | 212 | 371 796.32/796.60 c 794s | 19 | 5157634 | 634182 | 21731 62 | 212 | 371 798.32/798.68 c 796s | 19 | 5170463 | 635882 | 21731 62 | 212 | 371 800.41/800.74 c 798s | 19 | 5179915 | 637382 | 21731 63 | 212 | 371 802.51/802.81 c 800s | 19 | 5193597 | 639082 | 21731 63 | 212 | 371 804.51/804.88 c 802s | 19 | 5206462 | 640782 | 21731 63 | 212 | 371 806.61/806.99 c 804s | 19 | 5220206 | 642582 | 21731 63 | 212 | 371 808.71/809.07 c 806s | 19 | 5233620 | 644382 | 21731 63 | 212 | 371 810.81/811.15 c 809s | 19 | 5246385 | 646082 | 21731 63 | 212 | 371 812.91/813.22 c 811s | 19 | 5260459 | 647682 | 21731 63 | 212 | 371 815.01/815.37 c 813s | 19 | 5271795 | 649182 | 21731 64 | 212 | 371 817.11/817.44 c 815s | 19 | 5284342 | 650682 | 21731 64 | 212 | 371 819.22/819.51 c 817s | 19 | 5296084 | 652482 | 21731 64 | 212 | 371 821.21/821.52 c 819s | 19 | 5312157 | 654182 | 21731 64 | 212 | 371 823.21/823.58 c 821s | 19 | 5323445 | 655782 | 21731 64 | 212 | 371 825.31/825.68 c 823s | 19 | 5333396 | 657082 | 23905 64 | 212 | 371 827.31/827.69 c 825s | 19 | 5346478 | 658682 | 23905 64 | 212 | 371 829.41/829.79 c 827s | 19 | 5356569 | 660182 | 23905 64 | 212 | 371 831.60/831.92 c 829s | 19 | 5368746 | 661782 | 23905 64 | 212 | 371 833.61/833.96 c 831s | 19 | 5383018 | 663382 | 23905 65 | 212 | 371 835.71/836.00 c 833s | 19 | 5398660 | 665082 | 23905 65 | 212 | 371 837.80/838.11 c 836s | 19 | 5412249 | 666782 | 23905 65 | 212 | 371 837.80/838.17 c 836s | 20 | 5412603 | 666827 | 23905 65 | 212 | 371 839.90/840.28 c 838s | 20 | 5422427 | 668327 | 23905 65 | 212 | 371 841.90/842.29 c 840s | 20 | 5433552 | 669727 | 23905 65 | 212 | 371 844.00/844.34 c 842s | 20 | 5444913 | 671327 | 23905 65 | 212 | 371 846.10/846.42 c 844s | 20 | 5454819 | 672827 | 23905 65 | 212 | 371 848.20/848.52 c 846s | 20 | 5464566 | 674227 | 23905 65 | 212 | 371 850.30/850.64 c 848s | 20 | 5476402 | 675627 | 23905 65 | 212 | 371 852.30/852.68 c 850s | 20 | 5487912 | 677027 | 23905 66 | 212 | 371 854.41/854.71 c 852s | 20 | 5499180 | 678427 | 23905 66 | 212 | 371 856.40/856.73 c 854s | 20 | 5514676 | 680227 | 23905 66 | 212 | 371 858.40/858.79 c 856s | 20 | 5529249 | 682127 | 23905 66 | 212 | 371 860.50/860.80 c 858s | 20 | 5540816 | 683927 | 23905 66 | 212 | 371 862.50/862.87 c 860s | 20 | 5549475 | 685227 | 23905 66 | 212 | 371 864.60/864.94 c 862s | 20 | 5560402 | 686427 | 23905 66 | 212 | 371 866.70/867.06 c 864s | 20 | 5569826 | 687827 | 23905 66 | 212 | 371 868.81/869.11 c 867s | 20 | 5578159 | 689027 | 23905 67 | 212 | 371 870.80/871.11 c 869s | 20 | 5590955 | 690527 | 23905 67 | 212 | 371 872.80/873.12 c 871s | 20 | 5603271 | 692027 | 23905 67 | 212 | 371 874.90/875.20 c 873s | 20 | 5616046 | 693527 | 23905 67 | 212 | 371 876.90/877.26 c 875s | 20 | 5625924 | 694927 | 23905 67 | 212 | 371 878.90/879.29 c 877s | 20 | 5639898 | 696627 | 23905 67 | 212 | 371 881.00/881.36 c 879s | 20 | 5651562 | 697727 | 23905 67 | 212 | 371 883.10/883.46 c 881s | 20 | 5667918 | 699127 | 23905 67 | 212 | 371 885.20/885.58 c 883s | 20 | 5680206 | 700627 | 23905 67 | 212 | 371 887.40/887.73 c 885s | 20 | 5694404 | 702027 | 23905 68 | 212 | 371 889.49/889.83 c 887s | 20 | 5709375 | 703527 | 23905 68 | 212 | 371 891.59/891.90 c 889s | 20 | 5721833 | 705327 | 23905 68 | 212 | 371 893.69/894.02 c 891s | 20 | 5735657 | 706927 | 23905 68 | 212 | 371 895.70/896.08 c 893s | 20 | 5747336 | 708427 | 23905 68 | 212 | 371 897.80/898.19 c 896s | 20 | 5756460 | 709927 | 23905 68 | 212 | 371 900.00/900.30 c 898s | 20 | 5768337 | 711527 | 23905 68 | 212 | 371 902.00/902.31 c 900s | 20 | 5779611 | 713027 | 23905 68 | 212 | 371 904.10/904.40 c 902s | 20 | 5791754 | 714527 | 23905 69 | 212 | 371 906.10/906.41 c 904s | 20 | 5801341 | 716127 | 23905 69 | 212 | 371 908.10/908.49 c 906s | 20 | 5814330 | 717727 | 23905 69 | 212 | 371 910.19/910.56 c 908s | 20 | 5823887 | 719127 | 23905 69 | 212 | 371 912.29/912.63 c 910s | 20 | 5836633 | 720527 | 23905 69 | 212 | 371 914.39/914.75 c 912s | 20 | 5847583 | 721827 | 23905 69 | 212 | 371 916.39/916.77 c 914s | 20 | 5858306 | 723127 | 23905 69 | 212 | 371 918.49/918.86 c 916s | 20 | 5872792 | 724727 | 23905 69 | 212 | 371 920.50/920.89 c 918s | 20 | 5886050 | 726227 | 23905 69 | 212 | 371 922.60/922.97 c 920s | 20 | 5896767 | 727727 | 23905 70 | 212 | 371 924.69/925.09 c 922s | 20 | 5911726 | 729427 | 23905 70 | 212 | 371 926.79/927.19 c 925s | 20 | 5923085 | 731027 | 23905 70 | 212 | 371 928.89/929.27 c 927s | 20 | 5933724 | 732527 | 23905 70 | 212 | 371 930.98/931.36 c 929s | 20 | 5943290 | 734027 | 23905 70 | 212 | 371 933.19/933.52 c 931s | 20 | 5953799 | 735627 | 23905 70 | 212 | 371 935.19/935.59 c 933s | 20 | 5962049 | 736527 | 23905 70 | 212 | 371 937.29/937.69 c 935s | 20 | 5970705 | 737827 | 23905 70 | 212 | 371 939.49/939.82 c 937s | 20 | 5982453 | 739127 | 23905 70 | 212 | 371 941.49/941.89 c 939s | 20 | 5991960 | 740327 | 23905 71 | 212 | 371 943.59/943.92 c 941s | 20 | 6004556 | 741827 | 23905 71 | 212 | 371 945.58/945.95 c 943s | 20 | 6015840 | 743227 | 23905 71 | 212 | 371 947.68/948.06 c 945s | 20 | 6027292 | 744727 | 23905 71 | 212 | 371 949.88/950.21 c 948s | 20 | 6037224 | 746127 | 23905 71 | 212 | 371 951.98/952.30 c 950s | 20 | 6048856 | 747627 | 23905 71 | 212 | 371 953.98/954.36 c 952s | 20 | 6060055 | 749127 | 23905 71 | 212 | 371 956.08/956.40 c 954s | 20 | 6066807 | 750427 | 23905 71 | 212 | 371 958.18/958.52 c 956s | 20 | 6075458 | 751827 | 23905 71 | 212 | 371 960.28/960.63 c 958s | 20 | 6084432 | 753327 | 23905 72 | 212 | 371 962.29/962.66 c 960s | 20 | 6094359 | 754727 | 23905 72 | 212 | 371 964.39/964.73 c 962s | 20 | 6109297 | 756727 | 23905 72 | 212 | 371 966.48/966.85 c 964s | 20 | 6124940 | 758727 | 23905 72 | 212 | 371 968.58/968.93 c 966s | 20 | 6135575 | 760527 | 23905 72 | 212 | 371 970.68/971.00 c 968s | 20 | 6147730 | 762127 | 23905 72 | 212 | 371 972.78/973.13 c 971s | 20 | 6160080 | 763827 | 23905 72 | 212 | 371 974.88/975.29 c 973s | 20 | 6171020 | 765227 | 23905 72 | 212 | 371 976.98/977.32 c 975s | 20 | 6181360 | 766327 | 23905 73 | 212 | 371 979.08/979.40 c 977s | 20 | 6193744 | 767827 | 23905 73 | 212 | 371 981.08/981.49 c 979s | 20 | 6208810 | 769627 | 23905 73 | 212 | 371 983.08/983.49 c 981s | 20 | 6219177 | 771127 | 23905 73 | 212 | 371 985.08/985.49 c 983s | 20 | 6233478 | 772627 | 23905 73 | 212 | 371 987.18/987.59 c 985s | 20 | 6247552 | 774227 | 23905 73 | 212 | 371 989.38/989.70 c 987s | 20 | 6260641 | 775827 | 23905 73 | 212 | 371 991.38/991.71 c 989s | 20 | 6273302 | 777427 | 23905 73 | 212 | 371 993.38/993.71 c 991s | 20 | 6283390 | 778727 | 23905 73 | 212 | 371 995.38/995.73 c 993s | 20 | 6292155 | 779727 | 23905 74 | 212 | 371 997.38/997.75 c 995s | 20 | 6304565 | 781127 | 23905 74 | 212 | 371 999.38/999.77 c 997s | 20 | 6316839 | 782627 | 23905 74 | 212 | 371 1001.38/1001.77 c 999s | 20 | 6332704 | 784127 | 23905 74 | 212 | 371 1003.38/1003.78 c 1001s | 20 | 6346462 | 785627 | 23905 74 | 212 | 371 1005.48/1005.81 c 1003s | 20 | 6357615 | 787127 | 23905 74 | 212 | 371 1007.58/1007.93 c 1005s | 20 | 6372811 | 788727 | 23905 74 | 212 | 371 1009.58/1009.97 c 1007s | 20 | 6383607 | 790227 | 23905 74 | 212 | 371 1011.87/1012.21 c 1010s | 20 | 6395147 | 791727 | 23905 75 | 212 | 371 1013.98/1014.34 c 1012s | 20 | 6409456 | 793327 | 23905 75 | 212 | 371 1016.08/1016.50 c 1014s | 20 | 6424217 | 794827 | 23905 75 | 212 | 371 1018.28/1018.67 c 1016s | 20 | 6437257 | 796027 | 23905 75 | 212 | 371 1020.48/1020.81 c 1018s | 20 | 6448088 | 797227 | 23905 75 | 212 | 371 1022.58/1022.91 c 1020s | 20 | 6458215 | 798327 | 23905 75 | 212 | 371 1024.58/1024.91 c 1022s | 20 | 6467039 | 799427 | 23905 75 | 212 | 371 1026.68/1027.01 c 1024s | 20 | 6477046 | 800527 | 23905 75 | 212 | 371 1028.67/1029.07 c 1026s | 20 | 6485774 | 801627 | 23905 75 | 212 | 371 1030.77/1031.10 c 1029s | 20 | 6494752 | 802727 | 23905 75 | 212 | 371 1032.87/1033.23 c 1031s | 20 | 6505136 | 803927 | 23905 75 | 212 | 371 1034.88/1035.24 c 1033s | 20 | 6516902 | 805127 | 23905 76 | 212 | 371 1036.87/1037.28 c 1035s | 20 | 6531091 | 806627 | 23905 76 | 212 | 371 1038.97/1039.31 c 1037s | 20 | 6543280 | 807927 | 23905 76 | 212 | 371 1040.98/1041.36 c 1039s | 20 | 6554953 | 809127 | 23905 76 | 212 | 371 1043.08/1043.41 c 1041s | 20 | 6565165 | 810727 | 23905 76 | 212 | 371 1045.07/1045.42 c 1043s | 20 | 6577506 | 812327 | 23905 76 | 212 | 371 1047.17/1047.51 c 1045s | 20 | 6588783 | 813827 | 23905 76 | 212 | 371 1049.27/1049.63 c 1047s | 20 | 6600053 | 815327 | 23905 76 | 212 | 371 1051.38/1051.70 c 1049s | 20 | 6610515 | 816827 | 23905 76 | 212 | 371 1053.48/1053.84 c 1051s | 20 | 6619165 | 818227 | 23905 77 | 212 | 371 1055.57/1055.95 c 1053s | 20 | 6628228 | 819827 | 23905 77 | 212 | 371 1057.57/1057.95 c 1055s | 20 | 6637299 | 821327 | 23905 77 | 212 | 371 1059.67/1060.06 c 1057s | 20 | 6647398 | 822827 | 23905 77 | 212 | 371 1061.77/1062.19 c 1060s | 20 | 6658103 | 824427 | 23905 77 | 212 | 371 1063.87/1064.28 c 1062s | 20 | 6670038 | 826027 | 23905 77 | 212 | 371 1065.97/1066.30 c 1064s | 20 | 6680879 | 827527 | 23905 77 | 212 | 371 1068.06/1068.43 c 1066s | 20 | 6692016 | 828827 | 23905 77 | 212 | 371 1070.16/1070.55 c 1068s | 20 | 6703620 | 830327 | 23905 77 | 212 | 371 1072.28/1072.63 c 1070s | 20 | 6714910 | 831727 | 23905 78 | 212 | 371 1074.27/1074.66 c 1072s | 20 | 6725895 | 833227 | 23905 78 | 212 | 371 1076.27/1076.68 c 1074s | 20 | 6736281 | 834727 | 23905 78 | 212 | 371 1078.37/1078.75 c 1076s | 20 | 6746868 | 836327 | 23905 78 | 212 | 371 1080.47/1080.84 c 1078s | 20 | 6754387 | 837727 | 23905 78 | 212 | 371 1082.57/1082.95 c 1080s | 20 | 6763606 | 839027 | 23905 78 | 212 | 371 1084.57/1084.98 c 1082s | 20 | 6774126 | 840427 | 23905 78 | 212 | 371 1086.67/1087.06 c 1084s | 20 | 6782868 | 841827 | 23905 78 | 212 | 371 1088.77/1089.13 c 1087s | 20 | 6796465 | 843127 | 23905 78 | 212 | 371 1090.87/1091.25 c 1089s | 20 | 6809712 | 844527 | 23905 79 | 212 | 371 1092.97/1093.34 c 1091s | 20 | 6818971 | 846027 | 23905 79 | 212 | 371 1094.97/1095.37 c 1093s | 20 | 6828127 | 847427 | 23905 79 | 212 | 371 1097.06/1097.46 c 1095s | 20 | 6838609 | 848927 | 23905 79 | 212 | 371 1099.16/1099.51 c 1097s | 20 | 6846446 | 850227 | 23905 79 | 212 | 371 1101.16/1101.56 c 1099s | 20 | 6854539 | 851327 | 23905 79 | 212 | 371 1103.36/1103.73 c 1101s | 20 | 6863948 | 852627 | 23905 79 | 212 | 371 1105.46/1105.82 c 1103s | 20 | 6873606 | 853827 | 23905 79 | 212 | 371 1107.47/1107.88 c 1105s | 20 | 6885278 | 855427 | 23905 79 | 212 | 371 1109.57/1109.98 c 1107s | 20 | 6896816 | 856727 | 23905 80 | 212 | 371 1111.77/1112.12 c 1110s | 20 | 6907874 | 858127 | 23905 80 | 212 | 371 1113.76/1114.13 c 1112s | 20 | 6918202 | 859527 | 23905 80 | 212 | 371 1115.86/1116.21 c 1114s | 20 | 6930272 | 861127 | 23905 80 | 212 | 371 1117.86/1118.29 c 1116s | 20 | 6942573 | 862727 | 23905 80 | 212 | 371 1120.06/1120.40 c 1118s | 20 | 6952923 | 864227 | 23905 80 | 212 | 371 1122.16/1122.54 c 1120s | 20 | 6966012 | 865627 | 23905 80 | 212 | 371 1124.26/1124.65 c 1122s | 20 | 6974583 | 867027 | 23905 80 | 212 | 371 1126.36/1126.71 c 1124s | 20 | 6985207 | 868427 | 23905 80 | 212 | 371 1128.46/1128.83 c 1126s | 20 | 6998626 | 869927 | 23905 81 | 212 | 371 1130.46/1130.89 c 1128s | 20 | 7009714 | 871527 | 23905 81 | 212 | 371 1132.56/1132.96 c 1130s | 20 | 7022373 | 873027 | 23905 81 | 212 | 371 1134.66/1135.07 c 1132s | 20 | 7033295 | 874427 | 23905 81 | 212 | 371 1136.86/1137.22 c 1135s | 20 | 7043788 | 875827 | 23905 81 | 212 | 371 1138.96/1139.30 c 1137s | 20 | 7053067 | 877227 | 23905 81 | 212 | 371 1140.95/1141.34 c 1139s | 20 | 7064701 | 878727 | 23905 81 | 212 | 371 1142.95/1143.38 c 1141s | 20 | 7077044 | 880127 | 23905 81 | 212 | 371 1145.15/1145.53 c 1143s | 20 | 7087998 | 881527 | 23905 81 | 212 | 371 1147.15/1147.57 c 1145s | 20 | 7098704 | 882727 | 23905 82 | 212 | 371 1149.36/1149.71 c 1147s | 20 | 7113027 | 884227 | 23905 82 | 212 | 371 1151.47/1151.83 c 1149s | 20 | 7124497 | 885627 | 23905 82 | 212 | 371 1153.56/1153.91 c 1151s | 20 | 7134104 | 887027 | 23905 82 | 212 | 371 1155.66/1156.03 c 1153s | 20 | 7140457 | 888527 | 23905 82 | 212 | 371 1157.66/1158.09 c 1155s | 20 | 7150229 | 889827 | 23905 82 | 212 | 371 1159.76/1160.14 c 1158s | 20 | 7160811 | 891227 | 23905 82 | 212 | 371 1161.86/1162.25 c 1160s | 20 | 7171938 | 892627 | 23905 82 | 212 | 371 1163.96/1164.30 c 1162s | 20 | 7180024 | 893927 | 23905 82 | 212 | 371 1165.95/1166.32 c 1164s | 20 | 7189595 | 895227 | 23905 83 | 212 | 371 1167.96/1168.38 c 1166s | 20 | 7202179 | 896827 | 23905 83 | 212 | 371 1170.06/1170.43 c 1168s | 20 | 7211386 | 898327 | 23905 83 | 212 | 371 1172.15/1172.51 c 1170s | 20 | 7220886 | 899727 | 23905 83 | 212 | 371 1174.25/1174.62 c 1172s | 20 | 7231503 | 901227 | 23905 83 | 212 | 371 1176.25/1176.68 c 1174s | 20 | 7240892 | 902627 | 23905 83 | 212 | 371 1179.05/1179.43 c 1177s | 20 | 7248955 | 903727 | 23905 83 | 212 | 371 1181.06/1181.44 c 1179s | 20 | 7250116 | 903827 | 23905 83 | 212 | 371 1183.15/1183.57 c 1181s | 20 | 7255098 | 904327 | 23905 83 | 212 | 371 1185.25/1185.68 c 1183s | 20 | 7270523 | 906027 | 23905 83 | 212 | 371 1187.45/1187.82 c 1185s | 20 | 7275089 | 906727 | 23905 83 | 212 | 371 1189.55/1189.91 c 1187s | 20 | 7288702 | 908127 | 23905 84 | 212 | 371 1191.65/1192.01 c 1189s | 20 | 7297106 | 909227 | 23905 84 | 212 | 371 1193.65/1194.07 c 1191s | 20 | 7312099 | 910827 | 23905 84 | 212 | 371 1195.75/1196.11 c 1194s | 20 | 7327954 | 912327 | 23905 84 | 212 | 371 1197.85/1198.20 c 1196s | 20 | 7342695 | 914027 | 23905 84 | 212 | 371 1199.86/1200.26 c 1198s | 20 | 7351967 | 915527 | 23905 84 | 212 | 371 1201.96/1202.33 c 1200s | 20 | 7361669 | 916927 | 23905 84 | 212 | 371 1204.05/1204.42 c 1202s | 20 | 7372953 | 918427 | 23905 84 | 212 | 371 1206.15/1206.53 c 1204s | 20 | 7384205 | 919727 | 23905 84 | 212 | 371 1208.25/1208.63 c 1206s | 20 | 7395615 | 921227 | 23905 85 | 212 | 371 1210.25/1210.66 c 1208s | 20 | 7408434 | 922927 | 23905 85 | 212 | 371 1212.35/1212.74 c 1210s | 20 | 7422994 | 924427 | 23905 85 | 212 | 371 1214.44/1214.88 c 1212s | 20 | 7435730 | 925827 | 23905 85 | 212 | 371 1216.54/1216.98 c 1214s | 20 | 7450126 | 927327 | 23905 85 | 212 | 371 1218.74/1219.12 c 1217s | 20 | 7457251 | 928427 | 23905 85 | 212 | 371 1220.84/1221.23 c 1219s | 20 | 7471444 | 929827 | 23905 85 | 212 | 371 1223.04/1223.41 c 1221s | 20 | 7483068 | 931327 | 23905 85 | 212 | 371 1225.05/1225.48 c 1223s | 20 | 7490198 | 932527 | 23905 85 | 212 | 371 1227.14/1227.54 c 1225s | 20 | 7500580 | 933727 | 23905 86 | 212 | 371 1229.14/1229.54 c 1227s | 20 | 7510581 | 935227 | 23905 86 | 212 | 371 1231.24/1231.60 c 1229s | 20 | 7521738 | 936627 | 23905 86 | 212 | 371 1233.34/1233.75 c 1231s | 20 | 7535068 | 938227 | 23905 86 | 212 | 371 1235.44/1235.82 c 1233s | 20 | 7545190 | 939727 | 23905 86 | 212 | 371 1237.54/1237.90 c 1235s | 20 | 7555940 | 941227 | 23905 86 | 212 | 371 1239.54/1239.91 c 1237s | 20 | 7565869 | 942627 | 23905 86 | 212 | 371 1241.55/1241.95 c 1239s | 20 | 7575188 | 944027 | 23905 86 | 212 | 371 1245.44/1245.86 c 1243s | 20 | 7587621 | 945427 | 23905 86 | 212 | 371 1247.54/1247.92 c 1245s | 20 | 7597779 | 946927 | 23905 87 | 212 | 371 1249.54/1249.98 c 1247s | 20 | 7605541 | 947727 | 23905 87 | 212 | 371 1251.64/1252.05 c 1249s | 20 | 7622960 | 949727 | 23905 87 | 212 | 371 1253.65/1254.06 c 1251s | 20 | 7638820 | 951627 | 23905 87 | 212 | 371 1255.74/1256.20 c 1254s | 20 | 7658381 | 953427 | 23905 87 | 212 | 371 1257.94/1258.38 c 1256s | 20 | 7672545 | 954927 | 23905 87 | 212 | 371 1260.14/1260.52 c 1258s | 20 | 7686556 | 956327 | 23905 87 | 212 | 371 1262.14/1262.55 c 1260s | 20 | 7700065 | 957827 | 23905 87 | 212 | 371 1264.14/1264.59 c 1262s | 20 | 7711900 | 959227 | 23905 87 | 212 | 371 1266.23/1266.64 c 1264s | 20 | 7724857 | 960727 | 23905 88 | 212 | 371 1268.33/1268.71 c 1266s | 20 | 7737589 | 962327 | 23905 88 | 212 | 371 1270.43/1270.82 c 1268s | 20 | 7748761 | 963927 | 23905 88 | 212 | 371 1272.53/1272.91 c 1270s | 20 | 7760683 | 965527 | 23905 88 | 212 | 371 1274.64/1275.08 c 1272s | 20 | 7771280 | 967127 | 23905 88 | 212 | 371 1276.64/1277.08 c 1274s | 20 | 7782255 | 968327 | 23905 88 | 212 | 371 1278.73/1279.17 c 1277s | 20 | 7796944 | 969927 | 23905 88 | 212 | 371 1280.93/1281.30 c 1279s | 20 | 7811763 | 971527 | 23905 88 | 212 | 371 1282.93/1283.31 c 1281s | 20 | 7823850 | 973127 | 23905 89 | 212 | 371 1284.93/1285.36 c 1283s | 20 | 7837657 | 974627 | 23905 89 | 212 | 371 1287.03/1287.40 c 1285s | 20 | 7853321 | 976227 | 23905 89 | 212 | 371 1289.03/1289.47 c 1287s | 20 | 7863083 | 977627 | 23905 89 | 212 | 371 1291.14/1291.51 c 1289s | 20 | 7876224 | 978727 | 23905 89 | 212 | 371 1293.14/1293.60 c 1291s | 20 | 7888195 | 979927 | 23905 89 | 212 | 371 1295.24/1295.65 c 1293s | 20 | 7896822 | 981027 | 23905 89 | 212 | 371 1297.23/1297.69 c 1295s | 20 | 7907527 | 982227 | 23905 89 | 212 | 371 1299.43/1299.82 c 1297s | 20 | 7918083 | 983427 | 23905 89 | 212 | 371 1301.53/1301.99 c 1299s | 20 | 7928751 | 984627 | 23905 89 | 212 | 371 1303.63/1304.07 c 1301s | 20 | 7938647 | 985827 | 23905 90 | 212 | 371 1305.63/1306.08 c 1303s | 20 | 7953556 | 987227 | 23905 90 | 212 | 371 1307.73/1308.14 c 1306s | 20 | 7968617 | 988727 | 26296 90 | 212 | 371 1309.84/1310.27 c 1308s | 20 | 7982993 | 990327 | 26296 90 | 212 | 371 1311.94/1312.38 c 1310s | 20 | 7996255 | 991727 | 26296 90 | 212 | 371 1314.03/1314.49 c 1312s | 20 | 8009385 | 993227 | 26296 90 | 212 | 371 1316.13/1316.55 c 1314s | 20 | 8020956 | 994527 | 26296 90 | 212 | 371 1318.23/1318.69 c 1316s | 20 | 8033332 | 995927 | 26296 90 | 212 | 371 1320.33/1320.70 c 1318s | 20 | 8043023 | 997227 | 26296 90 | 212 | 371 1322.33/1322.73 c 1320s | 20 | 8057278 | 998727 | 26296 90 | 212 | 371 1324.33/1324.73 c 1322s | 20 | 8069052 | 1000027 | 26296 90 | 212 | 371 1324.73/1325.18 c 1323s | 21 | 8072253 | 1000345 | 26296 90 | 212 | 371 1326.83/1327.26 c 1325s | 21 | 8081920 | 1001245 | 26296 91 | 212 | 371 1328.93/1329.34 c 1327s | 21 | 8094861 | 1002745 | 26296 91 | 212 | 371 1331.33/1331.75 c 1329s | 21 | 8104140 | 1004145 | 26296 91 | 212 | 371 1333.43/1333.83 c 1331s | 21 | 8119014 | 1005745 | 26296 91 | 212 | 371 1335.43/1335.89 c 1333s | 21 | 8134476 | 1007345 | 26296 91 | 212 | 371 1337.63/1338.04 c 1335s | 21 | 8143637 | 1008845 | 26296 91 | 212 | 371 1339.72/1340.13 c 1338s | 21 | 8152795 | 1009845 | 26296 91 | 212 | 371 1341.73/1342.18 c 1340s | 21 | 8167188 | 1011345 | 26296 91 | 212 | 371 1343.83/1344.28 c 1342s | 21 | 8181273 | 1012945 | 26296 91 | 212 | 371 1345.92/1346.35 c 1344s | 21 | 8193046 | 1014445 | 26296 92 | 212 | 371 1348.02/1348.47 c 1346s | 21 | 8203675 | 1015945 | 26296 92 | 212 | 371 1350.22/1350.61 c 1348s | 21 | 8217207 | 1017645 | 26296 92 | 212 | 371 1352.23/1352.64 c 1350s | 21 | 8233626 | 1019145 | 26296 92 | 212 | 371 1354.33/1354.71 c 1352s | 21 | 8246853 | 1020645 | 26296 92 | 212 | 371 1356.43/1356.80 c 1354s | 21 | 8256341 | 1021945 | 26296 92 | 212 | 371 1358.43/1358.85 c 1356s | 21 | 8267331 | 1023245 | 26296 92 | 212 | 371 1360.53/1360.95 c 1358s | 21 | 8281597 | 1024745 | 26296 92 | 212 | 371 1362.63/1363.06 c 1360s | 21 | 8296093 | 1026045 | 26296 92 | 212 | 371 1364.73/1365.16 c 1363s | 21 | 8308227 | 1027345 | 26296 92 | 212 | 371 1367.03/1367.41 c 1365s | 21 | 8315481 | 1028645 | 26296 93 | 212 | 371 1369.02/1369.45 c 1367s | 21 | 8326014 | 1030145 | 26296 93 | 212 | 371 1371.12/1371.56 c 1369s | 21 | 8338288 | 1031745 | 26296 93 | 212 | 371 1373.12/1373.58 c 1371s | 21 | 8351223 | 1033245 | 26296 93 | 212 | 371 1375.22/1375.63 c 1373s | 21 | 8363595 | 1034745 | 26296 93 | 212 | 371 1377.22/1377.65 c 1375s | 21 | 8380047 | 1036245 | 26296 93 | 212 | 371 1379.22/1379.67 c 1377s | 21 | 8392371 | 1037445 | 26296 93 | 212 | 371 1381.33/1381.78 c 1379s | 21 | 8403288 | 1038845 | 26296 93 | 212 | 371 1383.53/1383.98 c 1381s | 21 | 8414526 | 1040245 | 26296 93 | 212 | 371 1385.62/1386.03 c 1383s | 21 | 8426700 | 1041545 | 26296 93 | 212 | 371 1387.72/1388.14 c 1386s | 21 | 8436913 | 1042745 | 26296 94 | 212 | 371 1389.82/1390.25 c 1388s | 21 | 8445948 | 1044245 | 26296 94 | 212 | 371 1391.92/1392.32 c 1390s | 21 | 8459268 | 1045745 | 26296 94 | 212 | 371 1393.92/1394.33 c 1392s | 21 | 8470348 | 1047145 | 26296 94 | 212 | 371 1395.92/1396.39 c 1394s | 21 | 8483923 | 1048745 | 26296 94 | 212 | 371 1398.01/1398.44 c 1396s | 21 | 8493771 | 1050145 | 26296 94 | 212 | 371 1400.21/1400.62 c 1398s | 21 | 8502580 | 1051445 | 26296 94 | 212 | 371 1402.31/1402.70 c 1400s | 21 | 8510323 | 1052545 | 26296 94 | 212 | 371 1404.91/1405.37 c 1403s | 21 | 8515951 | 1053345 | 26296 94 | 212 | 371 1406.92/1407.37 c 1405s | 21 | 8519932 | 1053845 | 26296 94 | 212 | 371 1408.92/1409.37 c 1407s | 21 | 8531653 | 1054945 | 26296 94 | 212 | 371 1410.92/1411.40 c 1409s | 21 | 8537261 | 1056145 | 26296 94 | 212 | 371 1413.01/1413.45 c 1411s | 21 | 8546076 | 1057245 | 26296 95 | 212 | 371 1415.11/1415.56 c 1413s | 21 | 8560080 | 1058945 | 26296 95 | 212 | 371 1417.21/1417.66 c 1415s | 21 | 8574852 | 1060645 | 26296 95 | 212 | 371 1419.21/1419.69 c 1417s | 21 | 8583656 | 1061745 | 26296 95 | 212 | 371 1421.42/1421.87 c 1419s | 21 | 8594401 | 1063045 | 26296 95 | 212 | 371 1423.52/1423.93 c 1421s | 21 | 8604619 | 1064545 | 26296 95 | 212 | 371 1425.62/1426.00 c 1423s | 21 | 8613718 | 1065845 | 26296 95 | 212 | 371 1427.62/1428.00 c 1425s | 21 | 8622602 | 1067245 | 26296 95 | 212 | 371 1429.62/1430.01 c 1427s | 21 | 8631669 | 1068545 | 26296 95 | 212 | 371 1431.61/1432.08 c 1429s | 21 | 8645096 | 1069945 | 26296 95 | 212 | 371 1433.61/1434.09 c 1431s | 21 | 8651532 | 1071245 | 26296 96 | 212 | 371 1435.71/1436.17 c 1434s | 21 | 8663565 | 1073045 | 26296 96 | 212 | 371 1437.81/1438.25 c 1436s | 21 | 8675776 | 1074545 | 26296 96 | 212 | 371 1439.91/1440.32 c 1438s | 21 | 8686299 | 1076145 | 26296 96 | 212 | 371 1441.91/1442.39 c 1440s | 21 | 8695349 | 1077745 | 26296 96 | 212 | 371 1444.01/1444.42 c 1442s | 21 | 8706607 | 1079145 | 26296 96 | 212 | 371 1446.01/1446.48 c 1444s | 21 | 8716783 | 1080645 | 26296 96 | 212 | 371 1448.11/1448.56 c 1446s | 21 | 8729592 | 1082145 | 26296 96 | 212 | 371 1450.11/1450.59 c 1448s | 21 | 8737409 | 1083345 | 26296 96 | 212 | 371 1452.21/1452.60 c 1450s | 21 | 8749025 | 1084645 | 26296 96 | 212 | 371 1454.21/1454.68 c 1452s | 21 | 8754477 | 1085845 | 26296 97 | 212 | 371 1456.41/1456.82 c 1454s | 21 | 8766883 | 1087345 | 26296 97 | 212 | 371 1458.51/1458.92 c 1456s | 21 | 8775654 | 1088845 | 26296 97 | 212 | 371 1460.51/1460.93 c 1458s | 21 | 8784158 | 1090245 | 26296 97 | 212 | 371 1462.61/1463.04 c 1460s | 21 | 8792574 | 1091445 | 26296 97 | 212 | 371 1464.71/1465.13 c 1463s | 21 | 8804709 | 1092645 | 26296 97 | 212 | 371 1466.81/1467.21 c 1465s | 21 | 8812231 | 1093845 | 26296 97 | 212 | 371 1468.81/1469.27 c 1467s | 21 | 8825325 | 1095245 | 26296 97 | 212 | 371 1470.90/1471.34 c 1469s | 21 | 8834439 | 1096645 | 26296 97 | 212 | 371 1473.00/1473.45 c 1471s | 21 | 8846615 | 1098345 | 26296 97 | 212 | 371 1475.60/1476.02 c 1473s | 21 | 8858119 | 1099745 | 26296 98 | 212 | 371 1477.60/1478.05 c 1475s | 21 | 8868968 | 1101245 | 26296 98 | 212 | 371 1479.61/1480.06 c 1477s | 21 | 8880257 | 1102745 | 26296 98 | 212 | 371 1481.71/1482.18 c 1480s | 21 | 8892071 | 1104345 | 26296 98 | 212 | 371 1483.81/1484.22 c 1482s | 21 | 8900559 | 1105745 | 26296 98 | 212 | 371 1485.81/1486.25 c 1484s | 21 | 8915704 | 1107345 | 26296 98 | 212 | 371 1487.81/1488.25 c 1486s | 21 | 8928722 | 1108945 | 26296 98 | 212 | 371 1489.90/1490.35 c 1488s | 21 | 8941553 | 1110545 | 26296 98 | 212 | 371 1492.00/1492.47 c 1490s | 21 | 8953426 | 1112045 | 26296 98 | 212 | 371 1494.61/1495.07 c 1492s | 21 | 8965934 | 1113745 | 26296 99 | 212 | 371 1496.71/1497.12 c 1495s | 21 | 8978144 | 1115345 | 26296 99 | 212 | 371 1498.80/1499.23 c 1497s | 21 | 8989754 | 1116745 | 26296 99 | 212 | 371 1500.90/1501.32 c 1499s | 21 | 8998509 | 1118145 | 26296 99 | 212 | 371 1503.00/1503.46 c 1501s | 21 | 9010378 | 1119645 | 26296 99 | 212 | 371 1505.10/1505.56 c 1503s | 21 | 9024010 | 1121045 | 26296 99 | 212 | 371 1507.20/1507.66 c 1505s | 21 | 9035026 | 1122545 | 26296 99 | 212 | 371 1509.40/1509.80 c 1507s | 21 | 9046687 | 1123945 | 26296 99 | 212 | 371 1511.40/1511.82 c 1509s | 21 | 9056986 | 1125345 | 26296 99 | 212 | 371 1513.40/1513.83 c 1511s | 21 | 9070126 | 1126745 | 26296 99 | 212 | 371 1515.41/1515.86 c 1513s | 21 | 9089226 | 1128145 | 26296 100 | 212 | 371 1518.20/1518.64 c 1516s | 21 | 9100321 | 1129745 | 26296 100 | 212 | 371 1520.20/1520.66 c 1518s | 21 | 9110033 | 1131145 | 26296 100 | 212 | 371 1522.20/1522.66 c 1520s | 21 | 9117774 | 1132145 | 26296 100 | 212 | 371 1524.30/1524.73 c 1522s | 21 | 9126759 | 1133645 | 26296 100 | 212 | 371 1526.40/1526.87 c 1524s | 21 | 9137662 | 1135245 | 26296 100 | 212 | 371 1528.49/1528.92 c 1526s | 21 | 9153583 | 1137045 | 26296 100 | 212 | 371 1530.59/1531.00 c 1528s | 21 | 9168744 | 1138945 | 26296 100 | 212 | 371 1532.60/1533.03 c 1530s | 21 | 9182556 | 1140645 | 26296 100 | 212 | 371 1534.70/1535.13 c 1533s | 21 | 9194752 | 1142245 | 26296 101 | 212 | 371 1536.70/1537.15 c 1535s | 21 | 9206806 | 1144145 | 26296 101 | 212 | 371 1538.80/1539.22 c 1537s | 21 | 9222072 | 1145845 | 26296 101 | 212 | 371 1540.90/1541.34 c 1539s | 21 | 9240760 | 1147345 | 26296 101 | 212 | 371 1543.01/1543.45 c 1541s | 21 | 9263938 | 1148645 | 26296 101 | 212 | 371 1545.11/1545.58 c 1543s | 21 | 9286449 | 1149945 | 26296 101 | 212 | 371 1547.20/1547.61 c 1545s | 21 | 9302616 | 1151145 | 26296 101 | 212 | 371 1549.20/1549.68 c 1547s | 21 | 9316519 | 1152445 | 26296 101 | 212 | 371 1551.39/1551.80 c 1549s | 21 | 9328231 | 1153745 | 26296 101 | 212 | 371 1553.39/1553.84 c 1551s | 21 | 9341614 | 1155045 | 26296 101 | 212 | 371 1555.49/1555.91 c 1553s | 21 | 9354269 | 1156245 | 26296 102 | 212 | 371 1557.49/1557.95 c 1555s | 21 | 9366230 | 1157645 | 26296 102 | 212 | 371 1559.60/1560.07 c 1557s | 21 | 9380161 | 1159245 | 26296 102 | 212 | 371 1561.60/1562.09 c 1559s | 21 | 9393040 | 1160845 | 26296 102 | 212 | 371 1563.59/1564.09 c 1561s | 21 | 9405418 | 1162445 | 26296 102 | 212 | 371 1565.69/1566.14 c 1564s | 21 | 9419693 | 1164045 | 26296 102 | 212 | 371 1567.79/1568.23 c 1566s | 21 | 9437163 | 1165745 | 26296 102 | 212 | 371 1569.89/1570.37 c 1568s | 21 | 9448969 | 1167245 | 26296 102 | 212 | 371 1571.89/1572.38 c 1570s | 21 | 9462614 | 1168745 | 26296 102 | 212 | 371 1573.99/1574.49 c 1572s | 21 | 9475090 | 1170245 | 26296 103 | 212 | 371 1576.09/1576.57 c 1574s | 21 | 9482781 | 1171745 | 26296 103 | 212 | 371 1578.20/1578.68 c 1576s | 21 | 9495514 | 1173345 | 26296 103 | 212 | 371 1580.29/1580.75 c 1578s | 21 | 9509291 | 1174945 | 26296 103 | 212 | 371 1582.29/1582.76 c 1580s | 21 | 9521752 | 1176645 | 26296 103 | 212 | 371 1584.29/1584.76 c 1582s | 21 | 9531462 | 1178145 | 26296 103 | 212 | 371 1586.28/1586.78 c 1584s | 21 | 9544942 | 1179545 | 26296 103 | 212 | 371 1588.38/1588.80 c 1586s | 21 | 9557913 | 1181045 | 26296 103 | 212 | 371 1590.48/1590.90 c 1588s | 21 | 9571387 | 1182445 | 26296 103 | 212 | 371 1592.50/1592.94 c 1590s | 21 | 9584180 | 1183745 | 26296 103 | 212 | 371 1594.49/1594.97 c 1592s | 21 | 9591477 | 1185145 | 26296 104 | 212 | 371 1596.69/1597.12 c 1595s | 21 | 9604774 | 1186645 | 26296 104 | 212 | 371 1598.69/1599.16 c 1597s | 21 | 9618756 | 1188245 | 26296 104 | 212 | 371 1600.68/1601.16 c 1599s | 21 | 9631546 | 1189845 | 26296 104 | 212 | 371 1602.78/1603.26 c 1601s | 21 | 9644525 | 1191445 | 26296 104 | 212 | 371 1604.88/1605.38 c 1603s | 21 | 9655258 | 1192845 | 26296 104 | 212 | 371 1606.98/1607.43 c 1605s | 21 | 9665481 | 1194245 | 26296 104 | 212 | 371 1608.99/1609.48 c 1607s | 21 | 9676887 | 1195545 | 26296 104 | 212 | 371 1611.19/1611.61 c 1609s | 21 | 9691394 | 1197045 | 26296 104 | 212 | 371 1613.19/1613.63 c 1611s | 21 | 9698785 | 1197945 | 26296 104 | 212 | 371 1615.39/1615.81 c 1613s | 21 | 9709958 | 1199345 | 26296 105 | 212 | 371 1617.38/1617.81 c 1615s | 21 | 9719884 | 1200745 | 26296 105 | 212 | 371 1619.38/1619.88 c 1617s | 21 | 9731312 | 1202145 | 26296 105 | 212 | 371 1621.49/1621.94 c 1619s | 21 | 9743720 | 1203645 | 26296 105 | 212 | 371 1623.49/1623.96 c 1621s | 21 | 9755985 | 1205145 | 26296 105 | 212 | 371 1625.58/1626.06 c 1623s | 21 | 9765028 | 1206245 | 26296 105 | 212 | 371 1627.69/1628.14 c 1626s | 21 | 9772724 | 1207545 | 26296 105 | 212 | 371 1629.79/1630.23 c 1628s | 21 | 9782957 | 1208745 | 26296 105 | 212 | 371 1631.78/1632.23 c 1630s | 21 | 9789359 | 1209845 | 26296 105 | 212 | 371 1633.88/1634.39 c 1632s | 21 | 9798327 | 1210945 | 26296 105 | 212 | 371 1636.18/1636.62 c 1634s | 21 | 9806542 | 1212045 | 26296 106 | 212 | 371 1638.28/1638.72 c 1636s | 21 | 9817660 | 1213245 | 26296 106 | 212 | 371 1640.38/1640.86 c 1638s | 21 | 9832239 | 1214745 | 26296 106 | 212 | 371 1642.48/1642.92 c 1640s | 21 | 9843000 | 1216145 | 26296 106 | 212 | 371 1644.48/1644.95 c 1642s | 21 | 9849774 | 1217445 | 26296 106 | 212 | 371 1646.58/1647.06 c 1644s | 21 | 9857972 | 1218845 | 26296 106 | 212 | 371 1648.68/1649.15 c 1647s | 21 | 9866470 | 1220145 | 26296 106 | 212 | 371 1650.78/1651.24 c 1649s | 21 | 9875579 | 1221145 | 26296 106 | 212 | 371 1652.88/1653.31 c 1651s | 21 | 9892191 | 1222845 | 26296 106 | 212 | 371 1654.97/1655.44 c 1653s | 21 | 9906589 | 1224445 | 26296 106 | 212 | 371 1656.97/1657.49 c 1655s | 21 | 9918090 | 1225945 | 26296 106 | 212 | 371 1659.08/1659.56 c 1657s | 21 | 9927238 | 1227145 | 26296 107 | 212 | 371 1661.18/1661.63 c 1659s | 21 | 9942281 | 1228945 | 26296 107 | 212 | 371 1663.18/1663.69 c 1661s | 21 | 9958215 | 1230545 | 26296 107 | 212 | 371 1665.38/1665.84 c 1663s | 21 | 9969751 | 1232145 | 26296 107 | 212 | 371 1667.47/1667.94 c 1665s | 21 | 9982358 | 1233645 | 26296 107 | 212 | 371 1669.48/1669.97 c 1667s | 21 | 9997228 | 1235045 | 26296 107 | 212 | 371 1671.47/1671.97 c 1669s | 21 | 10011334 | 1236545 | 26296 107 | 212 | 371 1673.57/1674.02 c 1671s | 21 | 10025552 | 1238045 | 26296 107 | 212 | 371 1675.67/1676.17 c 1674s | 21 | 10041549 | 1239445 | 26296 107 | 212 | 371 1677.77/1678.26 c 1676s | 21 | 10053623 | 1240945 | 26296 108 | 212 | 371 1679.87/1680.30 c 1678s | 21 | 10066232 | 1242445 | 26296 108 | 212 | 371 1681.97/1682.48 c 1680s | 21 | 10079301 | 1244045 | 26296 108 | 212 | 371 1684.17/1684.60 c 1682s | 21 | 10090391 | 1245545 | 26296 108 | 212 | 371 1686.17/1686.60 c 1684s | 21 | 10100392 | 1247145 | 26296 108 | 212 | 371 1688.18/1688.65 c 1686s | 21 | 10109561 | 1248645 | 26296 108 | 212 | 371 1690.28/1690.77 c 1688s | 21 | 10120370 | 1250045 | 26296 108 | 212 | 371 1692.48/1692.96 c 1690s | 21 | 10128459 | 1251145 | 26296 108 | 212 | 371 1694.68/1695.13 c 1693s | 21 | 10142469 | 1252545 | 26296 108 | 212 | 371 1696.67/1697.18 c 1695s | 21 | 10151617 | 1253545 | 26296 108 | 212 | 371 1698.77/1699.23 c 1697s | 21 | 10164241 | 1254845 | 26296 109 | 212 | 371 1700.87/1701.38 c 1699s | 21 | 10180143 | 1256545 | 26296 109 | 212 | 371 1702.87/1703.39 c 1701s | 21 | 10190664 | 1257845 | 26296 109 | 212 | 371 1704.97/1705.47 c 1703s | 21 | 10202654 | 1259245 | 26296 109 | 212 | 371 1707.17/1707.60 c 1705s | 21 | 10213970 | 1260845 | 26296 109 | 212 | 371 1709.17/1709.66 c 1707s | 21 | 10224040 | 1262245 | 26296 109 | 212 | 371 1711.17/1711.69 c 1709s | 21 | 10234603 | 1263545 | 26296 109 | 212 | 371 1713.27/1713.72 c 1711s | 21 | 10246721 | 1264945 | 26296 109 | 212 | 371 1715.37/1715.83 c 1713s | 21 | 10256271 | 1266445 | 26296 109 | 212 | 371 1717.37/1717.87 c 1715s | 21 | 10267194 | 1267845 | 26296 109 | 212 | 371 1719.47/1719.90 c 1717s | 21 | 10283735 | 1269245 | 26296 110 | 212 | 371 1721.57/1722.00 c 1719s | 21 | 10298234 | 1270845 | 26296 110 | 212 | 371 1723.57/1724.09 c 1721s | 21 | 10314994 | 1272545 | 26296 110 | 212 | 371 1725.67/1726.11 c 1724s | 21 | 10325119 | 1273845 | 26296 110 | 212 | 371 1727.67/1728.12 c 1726s | 21 | 10333251 | 1275045 | 26296 110 | 212 | 371 1729.76/1730.30 c 1728s | 21 | 10346299 | 1276145 | 26296 110 | 212 | 371 1731.86/1732.36 c 1730s | 21 | 10355183 | 1277245 | 26296 110 | 212 | 371 1733.86/1734.37 c 1732s | 21 | 10362838 | 1278345 | 26296 110 | 212 | 371 1736.06/1736.50 c 1734s | 21 | 10371673 | 1279445 | 26296 110 | 212 | 371 1738.16/1738.68 c 1736s | 21 | 10380205 | 1280645 | 26296 110 | 212 | 371 1740.36/1740.83 c 1738s | 21 | 10387718 | 1281845 | 26296 110 | 212 | 371 1742.47/1742.91 c 1740s | 21 | 10395845 | 1282945 | 26296 111 | 212 | 371 1744.47/1744.94 c 1742s | 21 | 10407201 | 1284345 | 26296 111 | 212 | 371 1746.48/1746.96 c 1744s | 21 | 10418591 | 1285645 | 26296 111 | 212 | 371 1748.47/1749.00 c 1746s | 21 | 10431903 | 1287045 | 26296 111 | 212 | 371 1750.57/1751.04 c 1748s | 21 | 10446056 | 1288545 | 26296 111 | 212 | 371 1752.57/1753.05 c 1750s | 21 | 10454812 | 1290045 | 26296 111 | 212 | 371 1754.67/1755.11 c 1753s | 21 | 10466329 | 1291545 | 26296 111 | 212 | 371 1756.77/1757.26 c 1755s | 21 | 10474551 | 1292445 | 26296 111 | 212 | 371 1758.86/1759.34 c 1757s | 21 | 10488185 | 1293745 | 26296 111 | 212 | 371 1761.36/1761.90 c 1759s | 21 | 10497803 | 1294745 | 26296 111 | 212 | 371 1763.46/1763.98 c 1761s | 21 | 10511040 | 1296145 | 26296 111 | 212 | 371 1765.56/1766.02 c 1763s | 21 | 10522080 | 1297845 | 26296 112 | 212 | 371 1767.66/1768.14 c 1766s | 21 | 10535610 | 1299745 | 26296 112 | 212 | 371 1769.66/1770.16 c 1768s | 21 | 10548860 | 1301445 | 26296 112 | 212 | 371 1771.76/1772.22 c 1770s | 21 | 10556779 | 1302845 | 26296 112 | 212 | 371 1773.87/1774.31 c 1772s | 21 | 10570423 | 1304345 | 26296 112 | 212 | 371 1775.96/1776.40 c 1774s | 21 | 10584729 | 1305845 | 26296 112 | 212 | 371 1778.06/1778.52 c 1776s | 21 | 10599176 | 1307245 | 26296 112 | 212 | 371 1780.06/1780.57 c 1778s | 21 | 10611084 | 1308645 | 26296 112 | 212 | 371 1782.26/1782.71 c 1780s | 21 | 10623840 | 1309945 | 26296 112 | 212 | 371 1784.26/1784.76 c 1782s | 21 | 10635514 | 1311345 | 26296 113 | 212 | 371 1786.36/1786.87 c 1784s | 21 | 10645366 | 1312545 | 26296 113 | 212 | 371 1788.46/1788.96 c 1786s | 21 | 10661016 | 1313945 | 26296 113 | 212 | 371 1790.56/1791.01 c 1788s | 21 | 10678732 | 1315345 | 26296 113 | 212 | 371 1792.66/1793.12 c 1791s | 21 | 10695150 | 1316945 | 26296 113 | 212 | 371 1794.66/1795.14 c 1793s | 21 | 10708314 | 1318345 | 26296 113 | 212 | 371 1796.66/1797.17 c 1795s | 21 | 10720043 | 1319745 | 26296 113 | 212 | 371 1798.76/1799.20 c 1797s | 21 | 10734607 | 1321145 | 26296 113 | 212 | 371
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-4079833-1465248277/watcher-4079833-1465248277 -o /tmp/evaluation-result-4079833-1465248277/solver-4079833-1465248277 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4606 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079833-1465248277.opb pid=8137 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.01 2.00 3/179 8140 /proc/meminfo: memFree=30622612/32872528 swapFree=11372/178980 [pid=8140] ppid=8137 vsize=647612 CPUtime=0 cores=0,2,4,6 /proc/8140/stat : 8140 (toysat) R 8137 8140 4590 0 -1 4202496 2402 0 0 0 0 0 0 0 20 0 4 0 106762373 663154688 2763 33554432000 4194304 16246674 140737303454576 140737303454000 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8140/statm: 162415 2773 441 2943 0 159309 0 [pid=8140/tid=8141] ppid=8137 vsize=665020 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106762373 680980480 2830 33554432000 4194304 16246674 140737303454576 139847475899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8140/tid=8142] ppid=8137 vsize=669116 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106762373 685174784 2848 33554432000 4194304 16246674 140737303454576 139847465409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8140/tid=8143] ppid=8137 vsize=673212 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106762373 689369088 2865 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.100132 s] /proc/loadavg: 2.06 2.01 2.00 3/179 8140 /proc/meminfo: memFree=30622612/32872528 swapFree=11372/178980 [pid=8140] ppid=8137 vsize=1221188 CPUtime=0.09 cores=0,2,4,6 /proc/8140/stat : 8140 (toysat) R 8137 8140 4590 0 -1 4202496 22008 0 0 0 5 4 0 0 20 0 4 0 106762373 1250496512 22306 33554432000 4194304 16246674 140737303454576 140737303453888 6759664 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8140/statm: 305297 22306 832 2943 0 302191 0 [pid=8140/tid=8141] ppid=8137 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106762373 1250496512 22306 33554432000 4194304 16246674 140737303454576 139847475899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8140/tid=8142] ppid=8137 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106762373 1250496512 22306 33554432000 4194304 16246674 140737303454576 139847465409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8140/tid=8143] ppid=8137 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106762373 1250496512 22306 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.200478 s] /proc/loadavg: 2.06 2.01 2.00 3/179 8140 /proc/meminfo: memFree=30622612/32872528 swapFree=11372/178980 [pid=8140] ppid=8137 vsize=1221188 CPUtime=0.19 cores=0,2,4,6 /proc/8140/stat : 8140 (toysat) R 8137 8140 4590 0 -1 4202496 35765 0 0 0 13 6 0 0 20 0 4 0 106762373 1250496512 36063 33554432000 4194304 16246674 140737303454576 140737303436480 4220552 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8140/statm: 305297 36063 880 2943 0 302191 0 [pid=8140/tid=8141] ppid=8137 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106762373 1250496512 36063 33554432000 4194304 16246674 140737303454576 139847475899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8140/tid=8142] ppid=8137 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106762373 1250496512 36063 33554432000 4194304 16246674 140737303454576 139847465409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8140/tid=8143] ppid=8137 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106762373 1250496512 36063 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1221188 [startup+0.300432 s] /proc/loadavg: 2.06 2.01 2.00 3/179 8140 /proc/meminfo: memFree=30622612/32872528 swapFree=11372/178980 [pid=8140] ppid=8137 vsize=1307204 CPUtime=0.29 cores=0,2,4,6 /proc/8140/stat : 8140 (toysat) R 8137 8140 4590 0 -1 4202496 47293 0 0 0 22 7 0 0 20 0 4 0 106762373 1338576896 47591 33554432000 4194304 16246674 140737303454576 140737303453888 5840600 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8140/statm: 326801 47591 895 2943 0 323695 0 [pid=8140/tid=8141] ppid=8137 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106762373 1338576896 47591 33554432000 4194304 16246674 140737303454576 139847475899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8140/tid=8142] ppid=8137 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106762373 1338576896 47591 33554432000 4194304 16246674 140737303454576 139847465409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8140/tid=8143] ppid=8137 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106762373 1338576896 47591 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1307204 [startup+0.700407 s] /proc/loadavg: 2.06 2.01 2.00 3/179 8140 /proc/meminfo: memFree=30622612/32872528 swapFree=11372/178980 [pid=8140] ppid=8137 vsize=1307204 CPUtime=0.68 cores=0,2,4,6 /proc/8140/stat : 8140 (toysat) R 8137 8140 4590 0 -1 4202496 62695 0 0 0 59 9 0 0 20 0 4 0 106762373 1338576896 62993 33554432000 4194304 16246674 140737303454576 140737303436480 5546608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8140/statm: 326801 62993 905 2943 0 323695 0 [pid=8140/tid=8141] ppid=8137 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106762373 1338576896 62993 33554432000 4194304 16246674 140737303454576 139847475899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8140/tid=8142] ppid=8137 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106762373 1338576896 62993 33554432000 4194304 16246674 140737303454576 139847465409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8140/tid=8143] ppid=8137 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106762373 1338576896 62993 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1307204 [startup+1.50041 s] /proc/loadavg: 2.06 2.01 2.00 3/183 8144 /proc/meminfo: memFree=30153672/32872528 swapFree=11372/178980 [pid=8140] ppid=8137 vsize=1307204 CPUtime=1.48 cores=0,2,4,6 /proc/8140/stat : 8140 (toysat) R 8137 8140 4590 0 -1 4202496 195942 0 0 0 121 27 0 0 20 0 4 0 106762373 1338576896 196241 33554432000 4194304 16246674 140737303454576 140737303436480 6021174 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8140/statm: 326801 196246 905 2943 0 323695 0 [pid=8140/tid=8141] ppid=8137 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106762373 1338576896 196249 33554432000 4194304 16246674 140737303454576 139847475899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8140/tid=8142] ppid=8137 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106762373 1338576896 196256 33554432000 4194304 16246674 140737303454576 139847465409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8140/tid=8143] ppid=8137 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106762373 1338576896 196265 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1307204 [startup+3.10041 s] /proc/loadavg: 2.06 2.01 2.00 3/183 8144 /proc/meminfo: memFree=29550296/32872528 swapFree=11372/178980 [pid=8140] ppid=8137 vsize=1308228 CPUtime=3.08 cores=0,2,4,6 /proc/8140/stat : 8140 (toysat) R 8137 8140 4590 0 -1 4202496 268050 0 0 0 271 37 0 0 20 0 4 0 106762373 1339625472 268348 33554432000 4194304 16246674 140737303454576 140737303436480 12478320 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8140/statm: 327057 268348 908 2943 0 323951 0 [pid=8140/tid=8141] ppid=8137 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106762373 1339625472 268348 33554432000 4194304 16246674 140737303454576 139847475899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8140/tid=8142] ppid=8137 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106762373 1339625472 268348 33554432000 4194304 16246674 140737303454576 139847465409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8140/tid=8143] ppid=8137 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106762373 1339625472 268348 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1308228 [startup+6.30041 s] /proc/loadavg: 2.05 2.01 2.00 3/183 8144 /proc/meminfo: memFree=29549688/32872528 swapFree=11372/178980 [pid=8140] ppid=8137 vsize=1308228 CPUtime=6.29 cores=0,2,4,6 /proc/8140/stat : 8140 (toysat) R 8137 8140 4590 0 -1 4202496 268183 0 0 0 591 38 0 0 20 0 4 0 106762373 1339625472 268481 33554432000 4194304 16246674 140737303454576 140737303436480 5827838 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8140/statm: 327057 268481 908 2943 0 323951 0 [pid=8140/tid=8141] ppid=8137 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106762373 1339625472 268481 33554432000 4194304 16246674 140737303454576 139847475899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8140/tid=8142] ppid=8137 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106762373 1339625472 268481 33554432000 4194304 16246674 140737303454576 139847465409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8140/tid=8143] ppid=8137 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106762373 1339625472 268481 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.05 2.01 2.00 3/183 8144 /proc/meminfo: memFree=29550368/32872528 swapFree=11372/178980 [pid=8140] ppid=8137 vsize=1308228 CPUtime=12.69 cores=0,2,4,6 /proc/8140/stat : 8140 (toysat) R 8137 8140 4590 0 -1 4202496 268265 0 0 0 1231 38 0 0 20 0 4 0 106762373 1339625472 268563 33554432000 4194304 16246674 140737303454576 140737303436480 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8140/statm: 327057 268563 911 2943 0 323951 0 [pid=8140/tid=8141] ppid=8137 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106762373 1339625472 268563 33554432000 4194304 16246674 140737303454576 139847475899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8140/tid=8142] ppid=8137 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106762373 1339625472 268563 33554432000 4194304 16246674 140737303454576 139847465409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8140/tid=8143] ppid=8137 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106762373 1339625472 268563 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.04 2.01 2.00 3/183 8144 /proc/meminfo: memFree=29549640/32872528 swapFree=11372/178980 [pid=8140] ppid=8137 vsize=1310276 CPUtime=25.49 cores=0,2,4,6 /proc/8140/stat : 8140 (toysat) R 8137 8140 4590 0 -1 4202496 268779 0 0 0 2510 39 0 0 20 0 4 0 106762373 1341722624 269077 33554432000 4194304 16246674 140737303454576 140737303436480 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8140/statm: 327569 269077 913 2943 0 324463 0 [pid=8140/tid=8141] ppid=8137 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106762373 1341722624 269077 33554432000 4194304 16246674 140737303454576 139847475899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8140/tid=8142] ppid=8137 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106762373 1341722624 269077 33554432000 4194304 16246674 140737303454576 139847465409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8140/tid=8143] ppid=8137 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106762373 1341722624 269077 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1310276 [startup+51.1005 s] /proc/loadavg: 2.02 2.01 2.00 3/183 8144 /proc/meminfo: memFree=29539116/32872528 swapFree=11372/178980 [pid=8140] ppid=8137 vsize=1320516 CPUtime=51.08 cores=0,2,4,6 /proc/8140/stat : 8140 (toysat) R 8137 8140 4590 0 -1 4202496 271339 0 0 0 5067 41 0 0 20 0 4 0 106762373 1352208384 271637 33554432000 4194304 16246674 140737303454576 140737303436480 5754983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8140/statm: 330129 271637 913 2943 0 327023 0 [pid=8140/tid=8141] ppid=8137 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106762373 1352208384 271637 33554432000 4194304 16246674 140737303454576 139847475899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8140/tid=8142] ppid=8137 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106762373 1352208384 271637 33554432000 4194304 16246674 140737303454576 139847465409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8140/tid=8143] ppid=8137 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106762373 1352208384 271637 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1320516 [startup+102.301 s] /proc/loadavg: 2.01 2.00 2.00 3/183 8145 /proc/meminfo: memFree=29528732/32872528 swapFree=11372/178980 [pid=8140] ppid=8137 vsize=1330756 CPUtime=102.28 cores=0,2,4,6 /proc/8140/stat : 8140 (toysat) R 8137 8140 4590 0 -1 4202496 273900 0 0 0 10183 45 0 0 20 0 4 0 106762373 1362694144 274198 33554432000 4194304 16246674 140737303454576 140737303436480 5711980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8140/statm: 332689 274198 914 2943 0 329583 0 [pid=8140/tid=8141] ppid=8137 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106762373 1362694144 274198 33554432000 4194304 16246674 140737303454576 139847475899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8140/tid=8142] ppid=8137 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106762373 1362694144 274198 33554432000 4194304 16246674 140737303454576 139847465409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8140/tid=8143] ppid=8137 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106762373 1362694144 274198 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1330756 ################ # More data... # ################ /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106762373 1379471360 278301 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1347140 [startup+1362.3 s] /proc/loadavg: 2.19 2.11 2.02 3/183 8224 /proc/meminfo: memFree=29513700/32872528 swapFree=11372/178980 [pid=8140] ppid=8137 vsize=1347140 CPUtime=1361.93 cores=0,2,4,6 /proc/8140/stat : 8140 (toysat) R 8137 8140 4590 0 -1 4202496 278285 0 0 0 136051 142 0 0 20 0 4 0 106762373 1379471360 278301 33554432000 4194304 16246674 140737303454576 140737303436480 5712555 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8140/statm: 336785 278301 914 2943 0 333679 0 [pid=8140/tid=8141] ppid=8137 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106762373 1379471360 278301 33554432000 4194304 16246674 140737303454576 139847475899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8140/tid=8142] ppid=8137 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106762373 1379471360 278301 33554432000 4194304 16246674 140737303454576 139847465409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8140/tid=8143] ppid=8137 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106762373 1379471360 278301 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1347140 [startup+1422.3 s] /proc/loadavg: 2.10 2.10 2.02 3/183 8226 /proc/meminfo: memFree=29513332/32872528 swapFree=11372/178980 [pid=8140] ppid=8137 vsize=1347140 CPUtime=1421.92 cores=0,2,4,6 /proc/8140/stat : 8140 (toysat) R 8137 8140 4590 0 -1 4202496 278285 0 0 0 142043 149 0 0 20 0 4 0 106762373 1379471360 278301 33554432000 4194304 16246674 140737303454576 140737303436480 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8140/statm: 336785 278301 914 2943 0 333679 0 [pid=8140/tid=8141] ppid=8137 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106762373 1379471360 278301 33554432000 4194304 16246674 140737303454576 139847475899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8140/tid=8142] ppid=8137 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106762373 1379471360 278301 33554432000 4194304 16246674 140737303454576 139847465409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8140/tid=8143] ppid=8137 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106762373 1379471360 278301 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1347140 [startup+1482.3 s] /proc/loadavg: 2.09 2.09 2.02 3/183 8227 /proc/meminfo: memFree=29513220/32872528 swapFree=11372/178980 [pid=8140] ppid=8137 vsize=1347140 CPUtime=1481.91 cores=0,2,4,6 /proc/8140/stat : 8140 (toysat) R 8137 8140 4590 0 -1 4202496 278285 0 0 0 148037 154 0 0 20 0 4 0 106762373 1379471360 278301 33554432000 4194304 16246674 140737303454576 140737303436480 6022640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8140/statm: 336785 278301 914 2943 0 333679 0 [pid=8140/tid=8141] ppid=8137 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106762373 1379471360 278301 33554432000 4194304 16246674 140737303454576 139847475899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8140/tid=8142] ppid=8137 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106762373 1379471360 278301 33554432000 4194304 16246674 140737303454576 139847465409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8140/tid=8143] ppid=8137 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106762373 1379471360 278301 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1347140 [startup+1542.31 s] /proc/loadavg: 2.03 2.07 2.02 3/184 8231 /proc/meminfo: memFree=29512928/32872528 swapFree=11372/178980 [pid=8140] ppid=8137 vsize=1347140 CPUtime=1541.91 cores=0,2,4,6 /proc/8140/stat : 8140 (toysat) R 8137 8140 4590 0 -1 4202496 278285 0 0 0 154029 162 0 0 20 0 4 0 106762373 1379471360 278301 33554432000 4194304 16246674 140737303454576 140737303452416 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8140/statm: 336785 278301 914 2943 0 333679 0 [pid=8140/tid=8141] ppid=8137 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106762373 1379471360 278301 33554432000 4194304 16246674 140737303454576 139847475899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8140/tid=8142] ppid=8137 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106762373 1379471360 278301 33554432000 4194304 16246674 140737303454576 139847465409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8140/tid=8143] ppid=8137 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106762373 1379471360 278301 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1347140 [startup+1602.3 s] /proc/loadavg: 2.01 2.06 2.01 3/183 8232 /proc/meminfo: memFree=29513560/32872528 swapFree=11372/178980 [pid=8140] ppid=8137 vsize=1347140 CPUtime=1601.88 cores=0,2,4,6 /proc/8140/stat : 8140 (toysat) R 8137 8140 4590 0 -1 4202496 278285 0 0 0 160024 164 0 0 20 0 4 0 106762373 1379471360 278301 33554432000 4194304 16246674 140737303454576 140737303436480 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8140/statm: 336785 278301 914 2943 0 333679 0 [pid=8140/tid=8141] ppid=8137 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106762373 1379471360 278301 33554432000 4194304 16246674 140737303454576 139847475899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8140/tid=8142] ppid=8137 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106762373 1379471360 278301 33554432000 4194304 16246674 140737303454576 139847465409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8140/tid=8143] ppid=8137 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106762373 1379471360 278301 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1347140 [startup+1662.3 s] /proc/loadavg: 2.00 2.05 2.00 3/183 8233 /proc/meminfo: memFree=29510680/32872528 swapFree=11372/178980 [pid=8140] ppid=8137 vsize=1350212 CPUtime=1661.88 cores=0,2,4,6 /proc/8140/stat : 8140 (toysat) R 8137 8140 4590 0 -1 4202496 279053 0 0 0 166017 171 0 0 20 0 4 0 106762373 1382617088 279069 33554432000 4194304 16246674 140737303454576 140737303436480 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8140/statm: 337553 279069 914 2943 0 334447 0 [pid=8140/tid=8141] ppid=8137 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106762373 1382617088 279069 33554432000 4194304 16246674 140737303454576 139847475899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8140/tid=8142] ppid=8137 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106762373 1382617088 279069 33554432000 4194304 16246674 140737303454576 139847465409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8140/tid=8143] ppid=8137 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106762373 1382617088 279069 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1350212 [startup+1722.3 s] /proc/loadavg: 2.03 2.05 2.00 3/184 8246 /proc/meminfo: memFree=29509104/32872528 swapFree=11372/178980 [pid=8140] ppid=8137 vsize=1350212 CPUtime=1721.87 cores=0,2,4,6 /proc/8140/stat : 8140 (toysat) R 8137 8140 4590 0 -1 4202496 279053 0 0 0 172013 174 0 0 20 0 4 0 106762373 1382617088 279069 33554432000 4194304 16246674 140737303454576 140737303436480 5711784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8140/statm: 337553 279069 914 2943 0 334447 0 [pid=8140/tid=8141] ppid=8137 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106762373 1382617088 279069 33554432000 4194304 16246674 140737303454576 139847475899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8140/tid=8142] ppid=8137 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106762373 1382617088 279069 33554432000 4194304 16246674 140737303454576 139847465409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8140/tid=8143] ppid=8137 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106762373 1382617088 279069 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1350212 [startup+1782.3 s] /proc/loadavg: 2.12 2.07 2.01 3/183 8247 /proc/meminfo: memFree=29509240/32872528 swapFree=11372/178980 [pid=8140] ppid=8137 vsize=1350212 CPUtime=1781.86 cores=0,2,4,6 /proc/8140/stat : 8140 (toysat) R 8137 8140 4590 0 -1 4202496 279053 0 0 0 178008 178 0 0 20 0 4 0 106762373 1382617088 279069 33554432000 4194304 16246674 140737303454576 140737303436480 5711624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8140/statm: 337553 279069 914 2943 0 334447 0 [pid=8140/tid=8141] ppid=8137 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106762373 1382617088 279069 33554432000 4194304 16246674 140737303454576 139847475899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8140/tid=8142] ppid=8137 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106762373 1382617088 279069 33554432000 4194304 16246674 140737303454576 139847465409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8140/tid=8143] ppid=8137 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106762373 1382617088 279069 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1350212 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.09 2.06 2.01 3/183 8248 /proc/meminfo: memFree=29509128/32872528 swapFree=11372/178980 [pid=8140] ppid=8137 vsize=1350212 CPUtime=1800.06 cores=0,2,4,6 /proc/8140/stat : 8140 (toysat) R 8137 8140 4590 0 -1 4202496 279053 0 0 0 179826 180 0 0 20 0 4 0 106762373 1382617088 279069 33554432000 4194304 16246674 140737303454576 140737303436480 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8140/statm: 337553 279069 914 2943 0 334447 0 [pid=8140/tid=8141] ppid=8137 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106762373 1382617088 279069 33554432000 4194304 16246674 140737303454576 139847475899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8140/tid=8142] ppid=8137 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106762373 1382617088 279069 33554432000 4194304 16246674 140737303454576 139847465409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8140/tid=8143] ppid=8137 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106762373 1382617088 279069 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1350212 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 8140 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.09 2.06 2.01 3/183 8248 /proc/meminfo: memFree=29509128/32872528 swapFree=11372/178980 [pid=8140] ppid=8137 vsize=1350212 CPUtime=1800.06 cores=0,2,4,6 /proc/8140/stat : 8140 (toysat) R 8137 8140 4590 0 -1 4202496 279053 0 0 0 179826 180 0 0 20 0 4 0 106762373 1382617088 279069 33554432000 4194304 16246674 140737303454576 140737303436480 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8140/statm: 337553 279069 914 2943 0 334447 0 [pid=8140/tid=8141] ppid=8137 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8141/stat : 8141 (toysat) S 8137 8140 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106762373 1382617088 279069 33554432000 4194304 16246674 140737303454576 139847475899632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8140/tid=8142] ppid=8137 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8142/stat : 8142 (toysat) S 8137 8140 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106762373 1382617088 279069 33554432000 4194304 16246674 140737303454576 139847465409776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8140/tid=8143] ppid=8137 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/8140/task/8143/stat : 8143 (toysat) S 8137 8140 4590 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106762373 1382617088 279069 33554432000 4194304 16246674 140737303454576 139847454936240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1350212 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1798.27 CPU system time (s): 1.80073 CPU usage (%): 99.9757 Max. virtual memory (cumulated for all children) (KiB): 1350212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.27 system time used= 1.80073 maximum resident set size= 1116276 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 279053 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= 303 involuntary context switches= 1851 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.41418 second user time and 8.07577 second system time The end
Begin job on node105 at 2016-06-06 23:24:37 IDJOB=4079833 IDBENCH=24979 IDSOLVER=2542 FILE ID=node105/4079833-1465248277 RUNJOBID= node105-1465220657-4606 PBS_JOBID= 19843223 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_006_area_delay.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079833-1465248277/watcher-4079833-1465248277 -o /tmp/evaluation-result-4079833-1465248277/solver-4079833-1465248277 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4606 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079833-1465248277.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7294dff8a2fbe1f0b26c181010dcfed2 RANDOM SEED=1466019811 node105.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.813 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.62 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.813 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.813 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 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.813 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.813 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.56 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.813 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.813 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30622900 kB Buffers: 53952 kB Cached: 143516 kB SwapCached: 1756 kB Active: 1268572 kB Inactive: 96912 kB Active(anon): 1169032 kB Inactive(anon): 1508 kB Active(file): 99540 kB Inactive(file): 95404 kB Unevictable: 178980 kB Mlocked: 11372 kB SwapTotal: 67108856 kB SwapFree: 67098464 kB Dirty: 16412 kB Writeback: 20 kB AnonPages: 1371136 kB Mapped: 10764 kB Shmem: 0 kB Slab: 570020 kB SReclaimable: 13520 kB SUnreclaim: 556500 kB KernelStack: 1480 kB PageTables: 6616 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1489688 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1351680 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= 71716 MiB End job on node105 at 2016-06-06 23:54:38