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.05 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex5.r.opb |
| MD5SUM | a65b7dae8af36ed37815bca4e48a5306 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 45 |
| Best CPU time to get the best result obtained on this benchmark | 1800.05 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 37 |
| Optimality of the best value was proved | YES |
| Number of variables | 2428 |
| Total number of constraints | 831 |
| Number of constraints which are clauses | 831 |
| 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 | 3 |
| Maximum length of a constraint | 146 |
| Number of terms in the objective function | 2428 |
| 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 | 2428 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 2428 |
| Number of bits of the biggest sum of numbers | 12 |
| 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-18T12:42:07+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-4105457-1466246527.opb"] 0.00/0.01 c use --random-gen="96542036 4010553954 3619417855 466689223 866503343 1903948122 21063511 236521476 833192907 2961696820 4106823893 3262598304 1140480867 2250192094 1998296878 2833369255 3152470254 2234486428 1967778289 146079023 58345454 3418197025 1040142870 374857265 3425227581 1243694452 4048343959 3552185115 1833626036 3589024839 1519445271 1056102844 427106006 778588885 3644080380 3605742352 719520300 556828723 2711318172 284090202 3630925807 4280133612 2299624282 2914385178 3537969694 2422736422 2715365236 3326958072 3207150991 3114560386 4126726031 550501309 3775102596 9129030 3219017250 4293879295 4020776466 4145707732 2530158129 2013020348 63665300 4105873623 3472020495 3220372062 740282957 4122099725 3539814986 1355253964 2333020232 2313814746 2273894139 1404890526 3087123542 1688320492 3539527212 123255552 3986468643 2195991521 2236496719 2758936696 1821395218 4258021541 2756926587 2604026322 1122603709 3858715702 1695965452 931716314 2811504247 3722456263 2929875721 1922891066 2178949726 3171276331 2594559041 2417889401 529627169 1884128483 815140663 4048610407 639930728 1030867562 3855009105 1050110635 3544446863 974744661 2527764258 2915939912 2640099302 791991316 3312388442 4216191369 4183403782 2126278929 1874616284 2294727034 817925262 791747746 2067694473 2655966264 2433026688 1818009029 3526441955 2764916078 443534495 3464971504 88121890 57258103 1300873601 52874813 1380066635 2187332166 3771529717 3596289891 1917479063 2612914958 2799006017 2056998192 3937599270 2996468832 3616571022 176521292 643521418 168318638 450356524 1648854986 1235142406 1734503963 3134153434 2831607282 71067912 737649948 2851138005 1502631263 3158230166 536349752 2300946553 1398161798 4232203970 186523220 4222056357 2549403658 2612797274 1069555640 1301372119 3663551513 4236031675 242701300 608793620 407165588 3356598612 3187914424 2928125455 2487285750 2807608230 31064136 3129759330 3914730835 711007895 105425111 3167233761 2780966863 601054951 1957492373 1991296688 2784435432 1876489226 1348149909 2881716423 3607852142 2293852924 4017037431 430847680 197320321 2240369129 327711511 4144846320 1161741665 1629256527 2827776116 3429926693 2238494702 3547952047 3603320011 2475664248 3791775609 1609084867 3461991327 3208948641 3844448095 2580680118 2198860492 3653014653 2094586761 3764768569 2999563263 2780871814 2758749005 4111472172 1831358887 190699878 2072578227 178090332 4253059654 713191305 2521927617 4257490927 3229420352 536594709 3693877691 1473907801 3371413665 3240202546 3413159648 630573117 515037731 2007312901 474498256 3414021926 1756377360 757287382 1449518567 3998295100 3977792035 230126072 2874924615 3576106522 3765862358 349750547 3670384123 1537117549 1241819843 3738742418 2747739059 4119712305 2053651257 255 362436" option to reproduce the execution 0.09/0.10 c #vars 2428 0.09/0.10 c #constraints 831 0.09/0.19 c BCD2: Hardening is enabled. 0.09/0.19 c BCD2: BiasedSearch is enabled. 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 1086 0 | 0 | 0 0.09/0.19 c 0.0s | 0 | 2428 | 0 | 1086 0 | 0 | 0 0.09/0.19 c #cpu_time = 0.005s 0.09/0.19 c #wall_clock_time = 0.005s 0.09/0.19 c #decision = 2428 0.09/0.19 c #random_decision = 11 0.09/0.19 c #conflict = 0 0.09/0.19 c #restart = 0 0.09/0.20 o 2428 0.19/0.20 c BCD2: updating upper bound: 2428 -> 2427 0.19/0.21 c BCD2: 0 <= obj <= 2427 0.19/0.21 c BCD2: #cores=0, #unrelaxed=2428, #relaxed=0, #hardened=0 0.19/0.21 c BCD2: #sat=1 #unsat=1 bias=1/2 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 | 1086 0 | 0 | 0 0.19/0.22 c 0.0s | 0 | 143 | 0 | 1086 0 | 0 | 0 0.19/0.22 c #cpu_time = 0.003s 0.19/0.22 c #wall_clock_time = 0.003s 0.19/0.22 c #decision = 143 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 5: cost of the new core is >=1 0.19/0.22 c lower bound updated to 1 0.19/0.22 c BCD2: 1 <= obj <= 2427 0.19/0.22 c BCD2: #cores=1, #unrelaxed=2423, #relaxed=5, #hardened=0 0.19/0.22 c BCD2: #sat=1 #unsat=2 bias=2/3 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 | 1086 0 | 0 | 1 0.19/0.23 c 0.0s | 0 | 526 | 0 | 1086 0 | 0 | 1 0.19/0.23 c #cpu_time = 0.003s 0.19/0.23 c #wall_clock_time = 0.003s 0.19/0.23 c #decision = 526 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 5: cost of the new core is >=1 0.19/0.23 c lower bound updated to 2 0.19/0.23 c BCD2: 2 <= obj <= 2427 0.19/0.23 c BCD2: #cores=2, #unrelaxed=2418, #relaxed=10, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=3 bias=3/4 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 | 1086 0 | 0 | 2 0.19/0.23 c 0.0s | 0 | 605 | 0 | 1086 0 | 0 | 2 0.19/0.23 c #cpu_time = 0.003s 0.19/0.23 c #wall_clock_time = 0.003s 0.19/0.23 c #decision = 605 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 3 0.19/0.23 c BCD2: 3 <= obj <= 2427 0.19/0.23 c BCD2: #cores=3, #unrelaxed=2410, #relaxed=18, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=4 bias=4/5 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 | 1086 0 | 0 | 3 0.19/0.24 c 0.0s | 0 | 672 | 0 | 1086 0 | 0 | 3 0.19/0.24 c #cpu_time = 0.003s 0.19/0.24 c #wall_clock_time = 0.003s 0.19/0.24 c #decision = 672 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 16: cost of the new core is >=1 0.19/0.24 c lower bound updated to 4 0.19/0.24 c BCD2: 4 <= obj <= 2427 0.19/0.24 c BCD2: #cores=4, #unrelaxed=2394, #relaxed=34, #hardened=0 0.19/0.24 c BCD2: #sat=1 #unsat=5 bias=5/6 0.19/0.24 c Solving starts ... 0.19/0.24 c ============================[ Search Statistics ]============================ 0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.24 c | | | | Limit GC | Var | Constra 0.19/0.24 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 1086 0 | 0 | 4 0.19/0.25 c 0.0s | 0 | 864 | 0 | 1086 0 | 0 | 4 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 = 864 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 14: cost of the new core is >=1 0.19/0.25 c lower bound updated to 5 0.19/0.25 c BCD2: 5 <= obj <= 2427 0.19/0.25 c BCD2: #cores=5, #unrelaxed=2380, #relaxed=48, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=6 bias=6/7 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 | 1086 0 | 0 | 5 0.19/0.25 c 0.0s | 0 | 986 | 0 | 1086 0 | 0 | 5 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 = 986 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 16: cost of the new core is >=1 0.19/0.25 c lower bound updated to 6 0.19/0.26 c BCD2: 6 <= obj <= 2427 0.19/0.26 c BCD2: #cores=6, #unrelaxed=2364, #relaxed=64, #hardened=0 0.19/0.26 c BCD2: #sat=1 #unsat=7 bias=7/8 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 | 1086 0 | 0 | 6 0.19/0.26 c 0.0s | 0 | 1012 | 0 | 1086 0 | 0 | 6 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 = 1012 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 12: cost of the new core is >=1 0.19/0.26 c lower bound updated to 7 0.19/0.26 c BCD2: 7 <= obj <= 2427 0.19/0.26 c BCD2: #cores=7, #unrelaxed=2352, #relaxed=76, #hardened=0 0.19/0.26 c BCD2: #sat=1 #unsat=8 bias=8/9 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 | 1086 0 | 0 | 7 0.19/0.26 c 0.0s | 0 | 1027 | 0 | 1086 0 | 0 | 7 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 = 1027 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 4: cost of the new core is >=1 0.19/0.26 c lower bound updated to 8 0.19/0.27 c BCD2: 8 <= obj <= 2427 0.19/0.27 c BCD2: #cores=8, #unrelaxed=2348, #relaxed=80, #hardened=0 0.19/0.27 c BCD2: #sat=1 #unsat=9 bias=9/10 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 | 1086 0 | 0 | 8 0.19/0.27 c 0.0s | 0 | 1025 | 0 | 1086 0 | 0 | 8 0.19/0.27 c #cpu_time = 0.004s 0.19/0.27 c #wall_clock_time = 0.004s 0.19/0.27 c #decision = 1025 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 4: cost of the new core is >=1 0.19/0.27 c lower bound updated to 9 0.19/0.27 c BCD2: 9 <= obj <= 2427 0.19/0.27 c BCD2: #cores=9, #unrelaxed=2344, #relaxed=84, #hardened=0 0.19/0.27 c BCD2: #sat=1 #unsat=10 bias=10/11 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 | 1086 0 | 0 | 9 0.19/0.27 c 0.0s | 0 | 1166 | 0 | 1086 0 | 0 | 9 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 = 1166 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 24: cost of the new core is >=1 0.19/0.27 c lower bound updated to 10 0.19/0.28 c BCD2: 10 <= obj <= 2427 0.19/0.28 c BCD2: #cores=10, #unrelaxed=2320, #relaxed=108, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=11 bias=11/12 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 | 1086 0 | 0 | 10 0.19/0.28 c 0.0s | 0 | 1242 | 0 | 1086 0 | 0 | 10 0.19/0.28 c #cpu_time = 0.003s 0.19/0.28 c #wall_clock_time = 0.003s 0.19/0.28 c #decision = 1242 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 49: cost of the new core is >=1 0.19/0.28 c lower bound updated to 11 0.19/0.28 c BCD2: 11 <= obj <= 2427 0.19/0.28 c BCD2: #cores=11, #unrelaxed=2271, #relaxed=157, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=12 bias=12/13 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 | 1086 0 | 0 | 11 0.19/0.29 c 0.0s | 0 | 1211 | 0 | 1086 0 | 0 | 11 0.19/0.29 c #cpu_time = 0.004s 0.19/0.29 c #wall_clock_time = 0.004s 0.19/0.29 c #decision = 1211 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 0 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: found a new core of size 38: cost of the new core is >=1 0.19/0.29 c lower bound updated to 12 0.19/0.29 c BCD2: 12 <= obj <= 2427 0.19/0.29 c BCD2: #cores=12, #unrelaxed=2233, #relaxed=195, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=13 bias=13/14 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 | 1086 0 | 0 | 12 0.19/0.29 c 0.0s | 0 | 1294 | 0 | 1086 0 | 0 | 12 0.19/0.29 c #cpu_time = 0.004s 0.19/0.29 c #wall_clock_time = 0.004s 0.19/0.29 c #decision = 1294 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 0 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: found a new core of size 47: cost of the new core is >=1 0.19/0.29 c lower bound updated to 13 0.19/0.29 c BCD2: 13 <= obj <= 2427 0.19/0.29 c BCD2: #cores=13, #unrelaxed=2186, #relaxed=242, #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 | 1086 0 | 0 | 13 0.29/0.30 c 0.0s | 0 | 1320 | 0 | 1086 0 | 0 | 13 0.29/0.30 c #cpu_time = 0.004s 0.29/0.30 c #wall_clock_time = 0.004s 0.29/0.30 c #decision = 1320 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 21: 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 <= 2427 0.29/0.30 c BCD2: #cores=14, #unrelaxed=2165, #relaxed=263, #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 | 1086 0 | 0 | 14 0.29/0.30 c 0.0s | 0 | 1329 | 0 | 1086 0 | 0 | 14 0.29/0.30 c #cpu_time = 0.004s 0.29/0.30 c #wall_clock_time = 0.004s 0.29/0.30 c #decision = 1329 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 24: cost of the new core is >=1 0.29/0.30 c lower bound updated to 15 0.29/0.30 c BCD2: 15 <= obj <= 2427 0.29/0.30 c BCD2: #cores=15, #unrelaxed=2141, #relaxed=287, #hardened=0 0.29/0.30 c BCD2: #sat=1 #unsat=16 bias=16/17 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 | 1086 0 | 0 | 15 0.29/0.31 c 0.0s | 0 | 1310 | 0 | 1086 0 | 0 | 15 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 = 1310 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 4: 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 <= 2427 0.29/0.31 c BCD2: #cores=16, #unrelaxed=2137, #relaxed=291, #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 | 1086 0 | 0 | 16 0.29/0.31 c 0.0s | 0 | 1410 | 0 | 1086 0 | 0 | 16 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 = 1410 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 36: cost of the new core is >=1 0.29/0.31 c lower bound updated to 17 0.29/0.32 c BCD2: 17 <= obj <= 2427 0.29/0.32 c BCD2: #cores=17, #unrelaxed=2101, #relaxed=327, #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 | 1086 0 | 0 | 25 0.29/0.32 c 0.0s | 0 | 1496 | 0 | 1086 0 | 0 | 25 0.29/0.32 c #cpu_time = 0.004s 0.29/0.32 c #wall_clock_time = 0.004s 0.29/0.32 c #decision = 1496 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 3: cost of the new core is >=1 0.29/0.32 c lower bound updated to 18 0.29/0.32 c BCD2: 18 <= obj <= 2427 0.29/0.32 c BCD2: #cores=18, #unrelaxed=2098, #relaxed=330, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=19 bias=19/20 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 | 1086 0 | 0 | 26 0.29/0.33 c 0.0s | 0 | 1520 | 0 | 1086 0 | 0 | 26 0.29/0.33 c #cpu_time = 0.004s 0.29/0.33 c #wall_clock_time = 0.004s 0.29/0.33 c #decision = 1520 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 18: cost of the new core is >=1 0.29/0.33 c lower bound updated to 19 0.29/0.33 c BCD2: 19 <= obj <= 2427 0.29/0.33 c BCD2: #cores=19, #unrelaxed=2080, #relaxed=348, #hardened=0 0.29/0.33 c BCD2: #sat=1 #unsat=20 bias=20/21 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 | 1086 0 | 0 | 27 0.29/0.33 c 0.0s | 0 | 1640 | 0 | 1086 0 | 0 | 27 0.29/0.33 c #cpu_time = 0.004s 0.29/0.33 c #wall_clock_time = 0.004s 0.29/0.33 c #decision = 1640 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 45: cost of the new core is >=1 0.29/0.33 c lower bound updated to 20 0.29/0.33 c BCD2: 20 <= obj <= 2427 0.29/0.33 c BCD2: #cores=20, #unrelaxed=2035, #relaxed=393, #hardened=0 0.29/0.33 c BCD2: #sat=1 #unsat=21 bias=21/22 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 | 1086 0 | 0 | 28 0.29/0.34 c 0.0s | 0 | 1754 | 0 | 1086 0 | 0 | 28 0.29/0.34 c #cpu_time = 0.004s 0.29/0.34 c #wall_clock_time = 0.004s 0.29/0.34 c #decision = 1754 0.29/0.34 c #random_decision = 0 0.29/0.34 c #conflict = 0 0.29/0.34 c #restart = 0 0.29/0.34 c BCD2: found a new core of size 50: cost of the new core is >=1 0.29/0.34 c lower bound updated to 21 0.29/0.34 c BCD2: 21 <= obj <= 2427 0.29/0.34 c BCD2: #cores=21, #unrelaxed=1985, #relaxed=443, #hardened=0 0.29/0.34 c BCD2: #sat=1 #unsat=22 bias=22/23 0.29/0.34 c Solving starts ... 0.29/0.34 c ============================[ Search Statistics ]============================ 0.29/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.34 c | | | | Limit GC | Var | Constra 0.29/0.34 c ============================================================================= 0.29/0.34 c 0.0s | 0 | 0 | 0 | 1086 0 | 0 | 29 0.29/0.34 c 0.0s | 0 | 1711 | 0 | 1086 0 | 0 | 29 0.29/0.34 c #cpu_time = 0.004s 0.29/0.34 c #wall_clock_time = 0.004s 0.29/0.34 c #decision = 1711 0.29/0.34 c #random_decision = 0 0.29/0.34 c #conflict = 0 0.29/0.34 c #restart = 0 0.29/0.34 c BCD2: found a new core of size 27: cost of the new core is >=1 0.29/0.34 c lower bound updated to 22 0.29/0.35 c BCD2: 22 <= obj <= 2427 0.29/0.35 c BCD2: #cores=22, #unrelaxed=1958, #relaxed=470, #hardened=0 0.29/0.35 c BCD2: #sat=1 #unsat=23 bias=23/24 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 | 1086 0 | 0 | 30 0.29/0.35 c 0.0s | 0 | 1698 | 0 | 1086 0 | 0 | 30 0.29/0.35 c #cpu_time = 0.004s 0.29/0.35 c #wall_clock_time = 0.004s 0.29/0.35 c #decision = 1698 0.29/0.35 c #random_decision = 0 0.29/0.35 c #conflict = 0 0.29/0.35 c #restart = 0 0.29/0.35 c BCD2: found a new core of size 3: cost of the new core is >=1 0.29/0.35 c lower bound updated to 23 0.29/0.35 c BCD2: 23 <= obj <= 2427 0.29/0.35 c BCD2: #cores=23, #unrelaxed=1955, #relaxed=473, #hardened=0 0.29/0.35 c BCD2: #sat=1 #unsat=24 bias=24/25 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 | 1086 0 | 0 | 31 0.29/0.36 c 0.0s | 0 | 1727 | 0 | 1086 0 | 0 | 31 0.29/0.36 c #cpu_time = 0.004s 0.29/0.36 c #wall_clock_time = 0.004s 0.29/0.36 c #decision = 1727 0.29/0.36 c #random_decision = 0 0.29/0.36 c #conflict = 0 0.29/0.36 c #restart = 0 0.29/0.36 c BCD2: found a new core of size 25: cost of the new core is >=1 0.29/0.36 c lower bound updated to 24 0.29/0.36 c BCD2: 24 <= obj <= 2427 0.29/0.36 c BCD2: #cores=24, #unrelaxed=1930, #relaxed=498, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=25 bias=25/26 0.29/0.36 c Solving starts ... 0.29/0.36 c ============================[ Search Statistics ]============================ 0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.36 c | | | | Limit GC | Var | Constra 0.29/0.36 c ============================================================================= 0.29/0.36 c 0.0s | 0 | 0 | 0 | 1086 0 | 0 | 32 0.29/0.36 c 0.0s | 0 | 1823 | 0 | 1086 0 | 0 | 32 0.29/0.36 c #cpu_time = 0.004s 0.29/0.36 c #wall_clock_time = 0.004s 0.29/0.36 c #decision = 1823 0.29/0.36 c #random_decision = 0 0.29/0.36 c #conflict = 0 0.29/0.36 c #restart = 0 0.29/0.36 c BCD2: found a new core of size 26: cost of the new core is >=1 0.29/0.36 c lower bound updated to 25 0.29/0.36 c BCD2: 25 <= obj <= 2427 0.29/0.36 c BCD2: #cores=25, #unrelaxed=1904, #relaxed=524, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=26 bias=26/27 0.29/0.36 c Solving starts ... 0.29/0.36 c ============================[ Search Statistics ]============================ 0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.36 c | | | | Limit GC | Var | Constra 0.29/0.36 c ============================================================================= 0.29/0.36 c 0.0s | 0 | 0 | 0 | 1086 0 | 0 | 33 0.29/0.37 c 0.0s | 0 | 1912 | 0 | 1086 0 | 0 | 33 0.29/0.37 c #cpu_time = 0.005s 0.29/0.37 c #wall_clock_time = 0.005s 0.29/0.37 c #decision = 1912 0.29/0.37 c #random_decision = 0 0.29/0.37 c #conflict = 0 0.29/0.37 c #restart = 0 0.29/0.37 c BCD2: found a new core of size 49: cost of the new core is >=1 0.29/0.37 c lower bound updated to 26 0.29/0.37 c BCD2: 26 <= obj <= 2427 0.29/0.37 c BCD2: #cores=26, #unrelaxed=1855, #relaxed=573, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=27 bias=27/28 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 | 1086 0 | 0 | 34 0.29/0.38 c 0.0s | 0 | 1871 | 0 | 1086 0 | 0 | 34 0.29/0.38 c #cpu_time = 0.004s 0.29/0.38 c #wall_clock_time = 0.004s 0.29/0.38 c #decision = 1871 0.29/0.38 c #random_decision = 0 0.29/0.38 c #conflict = 0 0.29/0.38 c #restart = 0 0.29/0.38 c BCD2: found a new core of size 53: cost of the new core is >=1 0.29/0.38 c lower bound updated to 27 0.29/0.38 c BCD2: 27 <= obj <= 2427 0.29/0.38 c BCD2: #cores=27, #unrelaxed=1802, #relaxed=626, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=28 bias=28/29 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 | 1086 0 | 0 | 35 0.29/0.38 c 0.0s | 0 | 1823 | 0 | 1086 0 | 0 | 35 0.29/0.38 c #cpu_time = 0.004s 0.29/0.38 c #wall_clock_time = 0.004s 0.29/0.38 c #decision = 1823 0.29/0.38 c #random_decision = 0 0.29/0.38 c #conflict = 0 0.29/0.38 c #restart = 0 0.29/0.38 c BCD2: found a new core of size 25: cost of the new core is >=1 0.29/0.38 c lower bound updated to 28 0.29/0.38 c BCD2: 28 <= obj <= 2427 0.29/0.38 c BCD2: #cores=28, #unrelaxed=1777, #relaxed=651, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=29 bias=29/30 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 | 1086 0 | 0 | 36 0.29/0.39 c 0.0s | 0 | 2428 | 0 | 1086 0 | 0 | 36 0.29/0.39 c #cpu_time = 0.005s 0.29/0.39 c #wall_clock_time = 0.005s 0.29/0.39 c #decision = 2428 0.29/0.39 c #random_decision = 0 0.29/0.39 c #conflict = 0 0.29/0.39 c #restart = 0 0.29/0.39 o 64 0.29/0.39 c BCD2: updating upper bound: 2427 -> 63 0.29/0.39 c BCD2: 28 <= obj <= 63 0.29/0.39 c BCD2: #cores=28, #unrelaxed=1777, #relaxed=651, #hardened=0 0.29/0.39 c BCD2: #sat=2 #unsat=29 bias=29/31 0.39/0.40 c Solving starts ... 0.39/0.40 c ============================[ Search Statistics ]============================ 0.39/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.40 c | | | | Limit GC | Var | Constra 0.39/0.40 c ============================================================================= 0.39/0.40 c 0.0s | 0 | 0 | 0 | 1086 0 | 0 | 37 0.39/0.42 c 0.0s | 1 | 9402 | 100 | 1086 0 | 0 | 37 0.39/0.48 c 0.1s | 2 | 17324 | 250 | 1195 0 | 0 | 37 0.49/0.55 c 0.2s | 3 | 20585 | 475 | 1315 0 | 0 | 37 0.49/0.59 c 0.2s | 3 | 22514 | 524 | 1447 0 | 0 | 37 0.49/0.59 c #cpu_time = 0.187s 0.49/0.59 c #wall_clock_time = 0.188s 0.49/0.59 c #decision = 22514 0.49/0.59 c #random_decision = 3 0.49/0.59 c #conflict = 524 0.49/0.59 c #restart = 3 0.49/0.59 c BCD2: relaxing 507 and merging with 9 cores into a new core of size 819: cost of the new core is >=10 0.49/0.59 c lower bound updated to 29 0.49/0.59 c BCD2: 29 <= obj <= 63 0.49/0.59 c BCD2: #cores=20, #unrelaxed=1270, #relaxed=1158, #hardened=0 0.49/0.59 c BCD2: #sat=2 #unsat=30 bias=30/32 0.49/0.59 c Solving starts ... 0.49/0.59 c ============================[ Search Statistics ]============================ 0.49/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.59 c | | | | Limit GC | Var | Constra 0.49/0.59 c ============================================================================= 0.49/0.59 c 0.0s | 0 | 0 | 0 | 1447 0 | 26 | 37 0.59/0.68 c 0.1s | 1 | 2343 | 100 | 1447 0 | 26 | 80 0.79/0.84 c 0.2s | 2 | 4254 | 250 | 1447 0 | 26 | 80 1.10/1.15 c 0.6s | 3 | 6521 | 475 | 1592 0 | 26 | 80 1.68/1.71 c 1.1s | 4 | 11633 | 813 | 1752 0 | 26 | 80 2.39/2.46 c 1.9s | 5 | 17415 | 1320 | 1752 0 | 26 | 80 3.30/3.36 c 2.8s | 6 | 23161 | 2081 | 1928 0 | 26 | 80 3.99/4.07 c 3.5s | 6 | 28292 | 2664 | 1928 1 | 26 | 80 3.99/4.07 c #cpu_time = 3.472s 3.99/4.07 c #wall_clock_time = 3.481s 3.99/4.07 c #decision = 28292 3.99/4.07 c #random_decision = 54 3.99/4.07 c #conflict = 2664 3.99/4.07 c #restart = 6 3.99/4.07 o 51 3.99/4.07 c BCD2: updating upper bound: 63 -> 50 3.99/4.08 c BCD2: 29 <= obj <= 50 3.99/4.08 c BCD2: #cores=20, #unrelaxed=1270, #relaxed=1158, #hardened=0 3.99/4.08 c BCD2: #sat=3 #unsat=30 bias=30/33 3.99/4.09 c Solving starts ... 3.99/4.09 c ============================[ Search Statistics ]============================ 3.99/4.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.99/4.09 c | | | | Limit GC | Var | Constra 3.99/4.09 c ============================================================================= 3.99/4.09 c 0.0s | 0 | 0 | 0 | 1928 0 | 26 | 81 4.19/4.24 c 0.2s | 1 | 2092 | 100 | 2121 0 | 26 | 81 4.40/4.41 c 0.3s | 2 | 4650 | 250 | 2121 0 | 26 | 81 4.59/4.61 c 0.5s | 3 | 7103 | 475 | 2121 0 | 26 | 81 4.99/5.02 c 0.9s | 4 | 11619 | 813 | 2121 1 | 26 | 81 5.69/5.71 c 1.6s | 5 | 18699 | 1320 | 2121 1 | 26 | 81 6.49/6.54 c 2.4s | 6 | 24901 | 2081 | 2334 1 | 26 | 81 7.80/7.82 c 3.7s | 7 | 37072 | 3223 | 2334 2 | 26 | 81 9.29/9.33 c 5.2s | 8 | 49061 | 4936 | 2568 3 | 26 | 81 11.19/11.22 c 7.1s | 9 | 61772 | 7506 | 2568 5 | 26 | 81 13.20/13.26 c 9.2s | 9 | 78561 | 9806 | 2825 6 | 26 | 81 14.49/14.55 c 10.5s | 10 | 88764 | 11361 | 2825 6 | 26 | 81 16.49/16.58 c 12.5s | 10 | 103684 | 13561 | 2825 7 | 26 | 81 18.59/18.69 c 14.6s | 10 | 116487 | 15961 | 3108 8 | 26 | 81 19.79/19.81 c 15.7s | 11 | 124172 | 17144 | 3108 9 | 26 | 81 21.79/21.85 c 17.8s | 11 | 137218 | 19444 | 3108 10 | 26 | 81 23.79/23.88 c 19.8s | 11 | 148805 | 21744 | 3108 11 | 26 | 81 25.79/25.89 c 21.8s | 11 | 161891 | 24344 | 3419 12 | 26 | 81 26.88/26.96 c 22.9s | 12 | 168218 | 25819 | 3419 13 | 26 | 81 28.98/29.00 c 24.9s | 12 | 183752 | 28119 | 3419 14 | 26 | 81 30.98/31.05 c 27.0s | 12 | 198266 | 30319 | 3419 15 | 26 | 81 32.99/33.09 c 29.0s | 12 | 212947 | 32619 | 3419 16 | 26 | 81 35.08/35.15 c 31.1s | 12 | 228321 | 35519 | 3761 17 | 26 | 81 37.08/37.19 c 33.1s | 12 | 242635 | 38419 | 3761 18 | 26 | 81 37.39/37.48 c 33.4s | 13 | 244761 | 38832 | 3761 18 | 26 | 81 39.48/39.54 c 35.5s | 13 | 262819 | 41332 | 3761 19 | 26 | 81 41.48/41.58 c 37.5s | 13 | 278821 | 43832 | 3761 20 | 26 | 81 43.58/43.65 c 39.6s | 13 | 290414 | 46632 | 3761 21 | 26 | 81 45.68/45.71 c 41.6s | 13 | 303531 | 49532 | 3761 22 | 26 | 81 47.68/47.79 c 43.7s | 13 | 317269 | 51632 | 3761 23 | 26 | 81 49.88/49.90 c 45.8s | 13 | 330996 | 53732 | 3761 24 | 26 | 81 51.88/51.97 c 47.9s | 13 | 346288 | 55832 | 4138 25 | 26 | 81 53.98/54.07 c 50.0s | 13 | 363903 | 57932 | 4138 26 | 26 | 81 54.38/54.47 c 50.4s | 14 | 366577 | 58352 | 4138 26 | 26 | 81 56.48/56.53 c 52.4s | 14 | 380255 | 60552 | 4138 27 | 26 | 81 58.48/58.56 c 54.5s | 14 | 391135 | 62852 | 4138 27 | 26 | 81 60.48/60.59 c 56.5s | 14 | 402237 | 65152 | 4138 28 | 26 | 81 62.58/62.65 c 58.6s | 14 | 417109 | 67952 | 4138 29 | 26 | 81 64.68/64.71 c 60.6s | 14 | 432332 | 70852 | 4138 30 | 26 | 81 66.67/66.78 c 62.7s | 14 | 448817 | 73652 | 4138 31 | 26 | 81 68.67/68.78 c 64.7s | 14 | 464895 | 75952 | 4138 32 | 26 | 81 70.77/70.85 c 66.8s | 14 | 479084 | 78852 | 4138 33 | 26 | 81 72.77/72.87 c 68.8s | 14 | 495066 | 81252 | 4138 34 | 26 | 81 74.78/74.90 c 70.8s | 14 | 511532 | 83952 | 4552 35 | 26 | 81 76.87/76.91 c 72.8s | 14 | 524655 | 86652 | 4552 36 | 26 | 81 77.67/77.73 c 73.6s | 15 | 530403 | 87632 | 4552 36 | 26 | 81 79.67/79.74 c 75.6s | 15 | 548991 | 89932 | 4552 37 | 26 | 81 81.77/81.80 c 77.7s | 15 | 565460 | 92432 | 4552 38 | 26 | 81 83.78/83.87 c 79.8s | 15 | 583712 | 94832 | 4552 39 | 26 | 81 85.89/85.92 c 81.8s | 15 | 599805 | 97432 | 4552 40 | 26 | 81 87.88/87.93 c 83.8s | 15 | 613650 | 100032 | 4552 40 | 26 | 81 89.98/90.02 c 85.9s | 15 | 629628 | 102532 | 4552 41 | 26 | 81 91.98/92.04 c 88.0s | 15 | 643051 | 104732 | 4552 42 | 26 | 81 94.08/94.12 c 90.0s | 15 | 658098 | 107132 | 4552 43 | 26 | 81 96.08/96.16 c 92.1s | 15 | 671631 | 109332 | 4552 44 | 26 | 81 98.18/98.24 c 94.2s | 15 | 683061 | 111432 | 4552 44 | 26 | 81 100.28/100.30 c 96.2s | 15 | 695865 | 114032 | 4552 45 | 26 | 81 102.28/102.33 c 98.2s | 15 | 709152 | 116332 | 4552 46 | 26 | 81 104.28/104.37 c 100s | 15 | 722403 | 118632 | 4552 47 | 26 | 81 106.28/106.38 c 102s | 15 | 738383 | 120932 | 4552 47 | 26 | 81 108.38/108.43 c 104s | 15 | 753453 | 123332 | 4552 48 | 26 | 81 110.38/110.47 c 106s | 15 | 765439 | 125532 | 4552 49 | 26 | 81 112.47/112.50 c 108s | 15 | 774349 | 127532 | 5008 50 | 26 | 81 114.48/114.59 c 110s | 15 | 784938 | 129532 | 5008 50 | 26 | 81 116.58/116.64 c 112s | 15 | 799718 | 131532 | 5008 51 | 26 | 81 116.58/116.66 c 112s | 16 | 799730 | 131552 | 5008 51 | 26 | 81 118.67/118.71 c 114s | 16 | 810090 | 133452 | 5008 51 | 26 | 81 120.67/120.73 c 116s | 16 | 820627 | 135452 | 5008 52 | 26 | 81 122.77/122.80 c 118s | 16 | 831491 | 137652 | 5008 53 | 26 | 81 124.77/124.86 c 120s | 16 | 841069 | 139952 | 5008 53 | 26 | 81 126.87/126.92 c 122s | 16 | 857988 | 142152 | 5008 54 | 26 | 81 128.97/129.00 c 124s | 16 | 872134 | 144352 | 5008 55 | 26 | 81 130.98/131.06 c 126s | 16 | 885626 | 146452 | 5008 56 | 26 | 81 133.08/133.18 c 129s | 16 | 898878 | 148752 | 5008 56 | 26 | 81 135.17/135.24 c 131s | 16 | 912840 | 151052 | 5008 57 | 26 | 81 137.27/137.31 c 133s | 16 | 924330 | 153252 | 5008 58 | 26 | 81 139.27/139.32 c 135s | 16 | 935048 | 155552 | 5008 58 | 26 | 81 141.37/141.41 c 137s | 16 | 946299 | 157752 | 5008 59 | 26 | 81 143.37/143.46 c 139s | 16 | 956937 | 159952 | 5008 60 | 26 | 81 145.37/145.48 c 141s | 16 | 967273 | 162252 | 5008 60 | 26 | 81 147.47/147.51 c 143s | 16 | 977958 | 164652 | 5008 61 | 26 | 81 149.47/149.54 c 145s | 16 | 985945 | 166652 | 5008 62 | 26 | 81 151.57/151.62 c 147s | 16 | 992544 | 168352 | 5008 62 | 26 | 81 153.67/153.74 c 149s | 16 | 1001754 | 170152 | 5008 63 | 26 | 81 155.67/155.76 c 151s | 16 | 1013302 | 171852 | 5008 63 | 26 | 81 157.67/157.78 c 153s | 16 | 1024143 | 173752 | 5008 64 | 26 | 81 159.66/159.80 c 155s | 16 | 1036311 | 175952 | 5008 65 | 26 | 81 161.77/161.83 c 157s | 16 | 1048247 | 177852 | 5008 65 | 26 | 81 163.76/163.90 c 159s | 16 | 1063185 | 179752 | 5008 66 | 26 | 81 165.86/165.91 c 161s | 16 | 1074778 | 181652 | 5008 67 | 26 | 81 167.96/168.02 c 163s | 16 | 1087889 | 183652 | 5008 67 | 26 | 81 169.96/170.08 c 165s | 16 | 1098886 | 185552 | 5008 68 | 26 | 81 172.06/172.15 c 168s | 16 | 1111670 | 187652 | 5008 68 | 26 | 81 174.06/174.18 c 170s | 16 | 1122135 | 189652 | 5008 69 | 26 | 81 176.16/176.20 c 172s | 16 | 1132840 | 191552 | 5008 70 | 26 | 81 178.17/178.28 c 174s | 16 | 1147534 | 193652 | 5509 70 | 26 | 81 180.26/180.32 c 176s | 16 | 1157844 | 195552 | 5509 71 | 26 | 81 182.16/182.24 c 178s | 17 | 1168278 | 197432 | 5509 71 | 26 | 81 184.26/184.31 c 180s | 17 | 1179196 | 199232 | 5509 72 | 26 | 81 186.36/186.41 c 182s | 17 | 1187909 | 201332 | 5509 73 | 26 | 81 188.36/188.43 c 184s | 17 | 1199681 | 203632 | 5509 73 | 26 | 81 190.37/190.44 c 186s | 17 | 1212928 | 205532 | 5509 74 | 26 | 81 192.46/192.52 c 188s | 17 | 1224996 | 207432 | 5509 74 | 26 | 81 194.46/194.59 c 190s | 17 | 1237197 | 209732 | 5509 75 | 26 | 81 196.56/196.60 c 192s | 17 | 1246738 | 211832 | 5509 76 | 26 | 81 198.56/198.66 c 194s | 17 | 1256155 | 213932 | 5509 76 | 26 | 81 200.66/200.74 c 196s | 17 | 1266408 | 216132 | 5509 77 | 26 | 81 202.76/202.84 c 198s | 17 | 1279697 | 218232 | 5509 77 | 26 | 81 204.86/204.90 c 200s | 17 | 1289374 | 220432 | 5509 78 | 26 | 81 206.86/206.93 c 202s | 17 | 1297230 | 222432 | 5509 79 | 26 | 81 208.85/208.96 c 204s | 17 | 1306995 | 224732 | 5509 79 | 26 | 81 210.85/210.98 c 206s | 17 | 1316885 | 226832 | 5509 80 | 26 | 81 212.95/213.01 c 208s | 17 | 1327383 | 228932 | 5509 80 | 26 | 81 214.95/215.07 c 210s | 17 | 1336453 | 231032 | 5509 81 | 26 | 81 217.05/217.15 c 213s | 17 | 1343813 | 232732 | 5509 82 | 26 | 81 219.15/219.26 c 215s | 17 | 1353991 | 234532 | 5509 82 | 26 | 81 221.16/221.28 c 217s | 17 | 1363341 | 236532 | 5509 83 | 26 | 81 223.26/223.34 c 219s | 17 | 1378324 | 238732 | 5509 83 | 26 | 81 225.25/225.38 c 221s | 17 | 1391489 | 240432 | 5509 84 | 26 | 81 227.35/227.44 c 223s | 17 | 1409444 | 242632 | 5509 84 | 26 | 81 229.45/229.50 c 225s | 17 | 1424038 | 245432 | 5509 85 | 26 | 81 231.46/231.56 c 227s | 17 | 1434428 | 247832 | 5509 86 | 26 | 81 233.56/233.63 c 229s | 17 | 1444876 | 250132 | 5509 87 | 26 | 81 235.66/235.71 c 231s | 17 | 1455032 | 252532 | 5509 87 | 26 | 81 237.66/237.79 c 233s | 17 | 1463118 | 254632 | 5509 88 | 26 | 81 239.86/239.92 c 235s | 17 | 1474222 | 256632 | 5509 88 | 26 | 81 241.86/241.99 c 237s | 17 | 1490612 | 258232 | 5509 89 | 26 | 81 243.85/243.99 c 239s | 17 | 1507687 | 259732 | 5509 89 | 26 | 81 245.95/246.06 c 241s | 17 | 1521849 | 261532 | 5509 90 | 26 | 81 248.05/248.14 c 244s | 17 | 1532657 | 263132 | 5509 90 | 26 | 81 250.05/250.19 c 246s | 17 | 1540687 | 264732 | 5509 91 | 26 | 81 252.25/252.30 c 248s | 17 | 1549119 | 266432 | 5509 91 | 26 | 81 254.25/254.37 c 250s | 17 | 1555471 | 268032 | 5509 92 | 26 | 81 256.36/256.41 c 252s | 17 | 1568560 | 270032 | 5509 92 | 26 | 81 258.35/258.49 c 254s | 17 | 1577747 | 272132 | 5509 93 | 26 | 81 260.45/260.56 c 256s | 17 | 1587417 | 273932 | 5509 94 | 26 | 81 262.55/262.64 c 258s | 17 | 1596533 | 276132 | 5509 94 | 26 | 81 264.55/264.66 c 260s | 17 | 1602020 | 278032 | 5509 95 | 26 | 81 266.65/266.78 c 262s | 17 | 1610698 | 279632 | 5509 95 | 26 | 81 268.75/268.86 c 264s | 17 | 1621596 | 281532 | 5509 96 | 26 | 81 270.75/270.89 c 266s | 17 | 1633223 | 283332 | 5509 96 | 26 | 81 272.86/272.91 c 268s | 17 | 1642009 | 285332 | 5509 97 | 26 | 81 274.85/274.99 c 270s | 17 | 1651412 | 287232 | 5509 97 | 26 | 81 276.95/277.04 c 272s | 17 | 1659141 | 289232 | 5509 98 | 26 | 81 278.95/279.09 c 275s | 17 | 1669440 | 291032 | 6060 98 | 26 | 81 281.05/281.17 c 277s | 17 | 1682887 | 292832 | 6060 99 | 26 | 81 283.25/283.30 c 279s | 17 | 1694834 | 294632 | 6060 99 | 26 | 81 285.15/285.20 c 281s | 18 | 1704927 | 296252 | 6060 100 | 26 | 81 287.25/287.30 c 283s | 18 | 1716860 | 297952 | 6060 100 | 26 | 81 289.25/289.35 c 285s | 18 | 1730226 | 299852 | 6060 101 | 26 | 81 291.35/291.40 c 287s | 18 | 1745931 | 302552 | 6060 101 | 26 | 81 293.35/293.47 c 289s | 18 | 1759947 | 304752 | 6060 102 | 26 | 81 295.45/295.57 c 291s | 18 | 1771044 | 306852 | 6060 103 | 26 | 81 297.44/297.59 c 293s | 18 | 1786236 | 308952 | 6060 103 | 26 | 81 299.54/299.62 c 295s | 18 | 1798395 | 311552 | 6060 104 | 26 | 81 301.54/301.67 c 297s | 18 | 1810478 | 313752 | 6060 104 | 26 | 81 303.55/303.69 c 299s | 18 | 1823609 | 315752 | 6060 105 | 26 | 81 305.64/305.73 c 301s | 18 | 1838379 | 317752 | 6060 105 | 26 | 81 307.64/307.74 c 303s | 18 | 1854245 | 319952 | 6060 106 | 26 | 81 309.64/309.74 c 305s | 18 | 1868670 | 322352 | 6060 107 | 26 | 81 311.64/311.77 c 307s | 18 | 1884070 | 324752 | 6060 107 | 26 | 81 313.74/313.81 c 309s | 18 | 1899743 | 327052 | 6060 108 | 26 | 81 315.75/315.88 c 311s | 18 | 1914826 | 329152 | 6060 109 | 26 | 81 317.85/317.93 c 313s | 18 | 1930577 | 331052 | 6060 109 | 26 | 81 319.84/319.94 c 315s | 18 | 1942506 | 333252 | 6060 110 | 26 | 81 321.94/322.01 c 317s | 18 | 1954647 | 335552 | 6060 110 | 26 | 81 324.04/324.12 c 320s | 18 | 1969466 | 337752 | 6060 111 | 26 | 81 326.04/326.13 c 322s | 18 | 1983385 | 339652 | 6060 111 | 26 | 81 328.04/328.18 c 324s | 18 | 1995606 | 341852 | 6060 112 | 26 | 81 330.14/330.25 c 326s | 18 | 2007588 | 344452 | 6060 113 | 26 | 81 332.24/332.34 c 328s | 18 | 2023183 | 346852 | 6060 113 | 26 | 81 334.24/334.40 c 330s | 18 | 2037386 | 349252 | 6060 114 | 26 | 81 336.34/336.42 c 332s | 18 | 2049479 | 351252 | 6060 114 | 26 | 81 338.34/338.46 c 334s | 18 | 2067679 | 353552 | 6060 115 | 26 | 81 340.44/340.53 c 336s | 18 | 2079224 | 355452 | 6060 116 | 26 | 81 342.44/342.59 c 338s | 18 | 2095735 | 357552 | 6060 116 | 26 | 81 344.54/344.63 c 340s | 18 | 2108925 | 360052 | 6060 117 | 26 | 81 346.54/346.69 c 342s | 18 | 2129454 | 362252 | 6060 117 | 26 | 81 348.64/348.76 c 344s | 18 | 2146382 | 364652 | 6060 118 | 26 | 81 350.73/350.80 c 346s | 18 | 2158549 | 367152 | 6060 119 | 26 | 81 352.73/352.89 c 348s | 18 | 2172638 | 369052 | 6060 119 | 26 | 81 354.73/354.89 c 350s | 18 | 2185109 | 371052 | 6060 120 | 26 | 81 356.83/356.94 c 352s | 18 | 2197486 | 373452 | 6060 120 | 26 | 81 358.83/358.96 c 354s | 18 | 2209220 | 375552 | 6060 121 | 26 | 81 360.84/360.99 c 356s | 18 | 2218520 | 377952 | 6060 122 | 26 | 81 362.94/363.08 c 358s | 18 | 2229513 | 380152 | 6060 122 | 26 | 81 365.03/365.10 c 361s | 18 | 2241722 | 382252 | 6060 123 | 26 | 81 367.03/367.12 c 363s | 18 | 2256929 | 384452 | 6060 123 | 26 | 81 369.03/369.19 c 365s | 18 | 2268736 | 386752 | 6060 124 | 26 | 81 371.13/371.21 c 367s | 18 | 2281636 | 388852 | 6060 125 | 26 | 81 373.13/373.23 c 369s | 18 | 2290710 | 391252 | 6060 125 | 26 | 81 375.14/375.27 c 371s | 18 | 2300074 | 393652 | 6060 126 | 26 | 81 377.23/377.32 c 373s | 18 | 2310258 | 395952 | 6060 126 | 26 | 81 379.23/379.34 c 375s | 18 | 2321511 | 398152 | 6060 127 | 26 | 81 381.23/381.34 c 377s | 18 | 2336700 | 400152 | 6060 128 | 26 | 81 383.33/383.40 c 379s | 18 | 2357043 | 402352 | 6060 128 | 26 | 81 385.33/385.41 c 381s | 18 | 2368536 | 404452 | 6060 129 | 26 | 81 387.33/387.42 c 383s | 18 | 2383674 | 406552 | 6060 129 | 26 | 81 389.33/389.50 c 385s | 18 | 2400086 | 408652 | 6060 130 | 26 | 81 391.43/391.57 c 387s | 18 | 2412155 | 411252 | 6060 131 | 26 | 81 393.53/393.63 c 389s | 18 | 2427079 | 413752 | 6060 131 | 26 | 81 395.63/395.71 c 391s | 18 | 2443608 | 416052 | 6060 132 | 26 | 81 397.63/397.78 c 393s | 18 | 2455684 | 418252 | 6060 132 | 26 | 81 399.73/399.82 c 395s | 18 | 2470892 | 420352 | 6060 133 | 26 | 81 401.73/401.88 c 397s | 18 | 2482215 | 422752 | 6060 134 | 26 | 81 403.83/403.97 c 399s | 18 | 2499174 | 425052 | 6060 134 | 26 | 81 405.94/406.03 c 401s | 18 | 2513007 | 427452 | 6060 135 | 26 | 81 407.93/408.05 c 403s | 18 | 2527973 | 429652 | 6060 136 | 26 | 81 409.93/410.08 c 405s | 18 | 2541784 | 431752 | 6060 136 | 26 | 81 412.03/412.16 c 408s | 18 | 2550893 | 433852 | 6060 137 | 26 | 81 414.13/414.24 c 410s | 18 | 2565740 | 436052 | 6060 137 | 26 | 81 416.13/416.24 c 412s | 18 | 2576412 | 438252 | 6667 138 | 26 | 81 418.23/418.33 c 414s | 18 | 2587409 | 440652 | 6667 138 | 26 | 81 420.33/420.42 c 416s | 18 | 2597242 | 442752 | 6667 139 | 26 | 81 421.93/422.02 c 417s | 19 | 2605232 | 444482 | 6667 139 | 26 | 81 423.93/424.07 c 419s | 19 | 2617425 | 446682 | 6667 140 | 26 | 81 425.93/426.08 c 421s | 19 | 2628310 | 448482 | 6667 140 | 26 | 81 428.03/428.17 c 424s | 19 | 2643556 | 450782 | 6667 141 | 26 | 81 430.03/430.19 c 426s | 19 | 2656400 | 452782 | 6667 141 | 26 | 81 432.13/432.27 c 428s | 19 | 2669917 | 455282 | 6667 142 | 26 | 81 434.23/434.35 c 430s | 19 | 2681377 | 457582 | 6667 143 | 26 | 81 436.22/436.38 c 432s | 19 | 2692927 | 459882 | 6667 143 | 26 | 81 438.32/438.45 c 434s | 19 | 2705329 | 461882 | 6667 144 | 26 | 81 440.42/440.53 c 436s | 19 | 2719970 | 464182 | 6667 144 | 26 | 81 442.42/442.59 c 438s | 19 | 2731229 | 466182 | 6667 145 | 26 | 81 444.62/444.72 c 440s | 19 | 2744494 | 468282 | 6667 145 | 26 | 81 446.63/446.73 c 442s | 19 | 2754622 | 470282 | 6667 146 | 26 | 81 448.62/448.79 c 444s | 19 | 2767380 | 472682 | 6667 146 | 26 | 81 450.72/450.86 c 446s | 19 | 2777579 | 474582 | 6667 147 | 26 | 81 452.72/452.87 c 448s | 19 | 2788488 | 476582 | 6667 147 | 26 | 81 454.72/454.87 c 450s | 19 | 2798240 | 478482 | 6667 148 | 26 | 81 456.82/456.94 c 452s | 19 | 2812160 | 480582 | 6667 148 | 26 | 81 458.82/458.99 c 454s | 19 | 2826798 | 482682 | 6667 149 | 26 | 81 460.93/461.05 c 456s | 19 | 2842943 | 484682 | 6667 149 | 26 | 81 462.92/463.07 c 458s | 19 | 2854623 | 486882 | 6667 150 | 26 | 81 465.02/465.10 c 461s | 19 | 2866251 | 489082 | 6667 150 | 26 | 81 467.02/467.15 c 463s | 19 | 2878429 | 491182 | 6667 151 | 26 | 81 469.02/469.16 c 465s | 19 | 2890184 | 493182 | 6667 151 | 26 | 81 471.02/471.16 c 467s | 19 | 2899862 | 494982 | 6667 152 | 26 | 81 473.02/473.19 c 469s | 19 | 2909858 | 497082 | 6667 152 | 26 | 81 475.12/475.21 c 471s | 19 | 2919313 | 499082 | 6667 153 | 26 | 81 477.12/477.26 c 473s | 19 | 2931952 | 501182 | 6667 153 | 26 | 81 479.22/479.35 c 475s | 19 | 2944070 | 503282 | 6667 154 | 26 | 81 481.31/481.46 c 477s | 19 | 2951973 | 505282 | 6667 154 | 26 | 81 483.81/483.93 c 479s | 19 | 2960824 | 507282 | 6667 155 | 26 | 81 485.81/486.00 c 481s | 19 | 2970400 | 509082 | 6667 155 | 26 | 81 488.01/488.10 c 484s | 19 | 2986865 | 511282 | 6667 156 | 26 | 81 490.01/490.15 c 486s | 19 | 2999823 | 513082 | 6667 156 | 26 | 81 492.01/492.18 c 488s | 19 | 3014140 | 515282 | 6667 157 | 26 | 81 494.11/494.25 c 490s | 19 | 3030109 | 517382 | 6667 157 | 26 | 81 496.21/496.35 c 492s | 19 | 3043359 | 519282 | 6667 158 | 26 | 81 498.32/498.41 c 494s | 19 | 3057061 | 521182 | 6667 158 | 26 | 81 500.31/500.50 c 496s | 19 | 3072136 | 523282 | 6667 159 | 26 | 81 502.41/502.59 c 498s | 19 | 3084330 | 525282 | 6667 159 | 26 | 81 504.41/504.59 c 500s | 19 | 3099175 | 527382 | 6667 160 | 26 | 81 506.51/506.61 c 502s | 19 | 3113737 | 529482 | 6667 160 | 26 | 81 508.51/508.61 c 504s | 19 | 3128920 | 531482 | 6667 161 | 26 | 81 510.51/510.61 c 506s | 19 | 3141199 | 533282 | 6667 161 | 26 | 81 512.52/512.68 c 508s | 19 | 3149865 | 535182 | 6667 162 | 26 | 81 514.51/514.69 c 510s | 19 | 3159642 | 537282 | 6667 162 | 26 | 81 516.61/516.72 c 512s | 19 | 3172601 | 539482 | 6667 163 | 26 | 81 518.61/518.75 c 514s | 19 | 3184624 | 541482 | 6667 163 | 26 | 81 520.71/520.80 c 516s | 19 | 3199193 | 543382 | 6667 164 | 26 | 81 522.71/522.82 c 518s | 19 | 3211972 | 545582 | 6667 164 | 26 | 81 524.81/524.94 c 520s | 19 | 3222591 | 547782 | 6667 165 | 26 | 81 527.01/527.10 c 523s | 19 | 3234850 | 549682 | 6667 165 | 26 | 81 529.01/529.18 c 525s | 19 | 3247676 | 551982 | 6667 166 | 26 | 81 531.11/531.25 c 527s | 19 | 3257156 | 554082 | 6667 167 | 26 | 81 533.11/533.29 c 529s | 19 | 3269290 | 556282 | 6667 167 | 26 | 81 535.20/535.33 c 531s | 19 | 3277153 | 558082 | 6667 168 | 26 | 81 537.20/537.34 c 533s | 19 | 3291598 | 559882 | 6667 168 | 26 | 81 539.30/539.43 c 535s | 19 | 3302629 | 561682 | 6667 168 | 26 | 81 541.30/541.45 c 537s | 19 | 3313347 | 563582 | 6667 169 | 26 | 81 543.31/543.48 c 539s | 19 | 3322350 | 565482 | 6667 169 | 26 | 81 545.40/545.59 c 541s | 19 | 3332011 | 567382 | 6667 170 | 26 | 81 547.50/547.67 c 543s | 19 | 3340449 | 569082 | 6667 170 | 26 | 81 549.60/549.78 c 545s | 19 | 3349066 | 571282 | 6667 171 | 26 | 81 551.70/551.87 c 547s | 19 | 3358666 | 573182 | 6667 171 | 26 | 81 553.80/553.93 c 549s | 19 | 3367219 | 574882 | 6667 172 | 26 | 81 555.81/555.97 c 551s | 19 | 3374361 | 576482 | 6667 172 | 26 | 81 557.91/558.06 c 553s | 19 | 3385266 | 578082 | 6667 173 | 26 | 81 560.01/560.17 c 556s | 19 | 3403009 | 579882 | 6667 173 | 26 | 81 562.12/562.21 c 558s | 19 | 3417775 | 581382 | 6667 173 | 26 | 81 564.22/564.39 c 560s | 19 | 3436703 | 582882 | 6667 174 | 26 | 81 566.31/566.42 c 562s | 19 | 3446845 | 584482 | 6667 174 | 26 | 81 568.31/568.43 c 564s | 19 | 3452182 | 585882 | 6667 174 | 26 | 81 570.31/570.46 c 566s | 19 | 3458027 | 587382 | 6667 175 | 26 | 81 572.41/572.53 c 568s | 19 | 3465811 | 588782 | 6667 175 | 26 | 81 574.51/574.61 c 570s | 19 | 3472510 | 590182 | 6667 175 | 26 | 81 576.51/576.64 c 572s | 19 | 3483358 | 592082 | 6667 176 | 26 | 81 578.61/578.71 c 574s | 19 | 3498708 | 594182 | 6667 176 | 26 | 81 580.71/580.84 c 576s | 19 | 3509411 | 596082 | 6667 177 | 26 | 81 582.71/582.84 c 578s | 19 | 3517588 | 597882 | 6667 177 | 26 | 81 584.81/584.93 c 580s | 19 | 3526351 | 599782 | 6667 178 | 26 | 81 586.80/586.96 c 582s | 19 | 3538669 | 601782 | 6667 178 | 26 | 81 588.90/589.01 c 584s | 19 | 3546804 | 603782 | 6667 179 | 26 | 81 590.90/591.02 c 586s | 19 | 3556335 | 605782 | 6667 179 | 26 | 81 593.00/593.15 c 589s | 19 | 3568969 | 607682 | 6667 180 | 26 | 81 595.11/595.24 c 591s | 19 | 3578390 | 609582 | 6667 180 | 26 | 81 597.21/597.33 c 593s | 19 | 3588821 | 611482 | 6667 181 | 26 | 81 599.30/599.49 c 595s | 19 | 3600489 | 613382 | 6667 181 | 26 | 81 601.40/601.52 c 597s | 19 | 3610479 | 615282 | 6667 182 | 26 | 81 603.50/603.63 c 599s | 19 | 3620957 | 617282 | 6667 182 | 26 | 81 605.50/605.68 c 601s | 19 | 3631901 | 618982 | 6667 183 | 26 | 81 607.60/607.70 c 603s | 19 | 3644497 | 620782 | 6667 183 | 26 | 81 609.70/609.82 c 605s | 19 | 3657799 | 622482 | 6667 184 | 26 | 81 611.80/611.90 c 607s | 19 | 3671223 | 624282 | 6667 184 | 26 | 81 613.90/614.00 c 609s | 19 | 3683925 | 626282 | 6667 184 | 26 | 81 615.91/616.03 c 611s | 19 | 3699441 | 628182 | 6667 185 | 26 | 81 618.00/618.12 c 614s | 19 | 3714465 | 630082 | 6667 185 | 26 | 81 620.00/620.18 c 616s | 19 | 3728476 | 631982 | 6667 186 | 26 | 81 622.10/622.24 c 618s | 19 | 3744531 | 633882 | 6667 186 | 26 | 81 624.20/624.32 c 620s | 19 | 3756979 | 635682 | 6667 187 | 26 | 81 626.20/626.33 c 622s | 19 | 3769808 | 637482 | 6667 187 | 26 | 81 628.30/628.41 c 624s | 19 | 3783721 | 639182 | 6667 188 | 26 | 81 630.30/630.43 c 626s | 19 | 3800925 | 640982 | 6667 188 | 26 | 81 632.40/632.51 c 628s | 19 | 3814240 | 642682 | 6667 189 | 26 | 81 634.40/634.57 c 630s | 19 | 3830386 | 644582 | 6667 189 | 26 | 81 636.50/636.69 c 632s | 19 | 3845346 | 646382 | 6667 189 | 26 | 81 638.59/638.71 c 634s | 19 | 3861237 | 647982 | 6667 190 | 26 | 81 640.59/640.72 c 636s | 19 | 3874725 | 649582 | 6667 190 | 26 | 81 642.59/642.75 c 638s | 19 | 3885372 | 651482 | 6667 191 | 26 | 81 644.60/644.76 c 640s | 19 | 3896344 | 653282 | 6667 191 | 26 | 81 646.59/646.77 c 642s | 19 | 3905537 | 654882 | 6667 192 | 26 | 81 648.69/648.82 c 644s | 19 | 3919307 | 656682 | 6667 192 | 26 | 81 650.69/650.86 c 646s | 19 | 3932024 | 658382 | 6667 192 | 26 | 81 652.79/652.95 c 648s | 19 | 3943395 | 660182 | 7334 193 | 26 | 81 654.99/655.16 c 651s | 19 | 3954051 | 661982 | 7334 193 | 26 | 81 656.99/657.19 c 653s | 19 | 3966008 | 663482 | 7334 194 | 26 | 81 658.99/659.19 c 655s | 19 | 3972562 | 664882 | 7334 194 | 26 | 81 661.09/661.28 c 657s | 19 | 3981276 | 666482 | 7334 194 | 26 | 81 661.49/661.67 c 657s | 20 | 3982883 | 666827 | 7334 194 | 26 | 81 663.59/663.71 c 659s | 20 | 3992475 | 668327 | 7334 195 | 26 | 81 665.59/665.78 c 661s | 20 | 4002209 | 670027 | 7334 195 | 26 | 81 667.69/667.85 c 663s | 20 | 4012619 | 671827 | 7334 196 | 26 | 81 669.69/669.87 c 665s | 20 | 4025054 | 673727 | 7334 196 | 26 | 81 671.78/671.98 c 667s | 20 | 4036974 | 675927 | 7334 196 | 26 | 81 673.88/674.05 c 669s | 20 | 4050096 | 677827 | 7334 197 | 26 | 81 675.98/676.12 c 672s | 20 | 4064531 | 679627 | 7334 197 | 26 | 81 678.08/678.20 c 674s | 20 | 4077119 | 681427 | 7334 198 | 26 | 81 680.18/680.30 c 676s | 20 | 4095422 | 683427 | 7334 198 | 26 | 81 682.18/682.37 c 678s | 20 | 4107043 | 685127 | 7334 199 | 26 | 81 684.19/684.38 c 680s | 20 | 4118461 | 687227 | 7334 199 | 26 | 81 686.29/686.41 c 682s | 20 | 4128418 | 689127 | 7334 199 | 26 | 81 688.28/688.42 c 684s | 20 | 4139516 | 691327 | 7334 200 | 26 | 81 690.38/690.53 c 686s | 20 | 4151287 | 693427 | 7334 200 | 26 | 81 692.38/692.54 c 688s | 20 | 4164262 | 695127 | 7334 201 | 26 | 81 694.38/694.59 c 690s | 20 | 4176567 | 696927 | 7334 201 | 26 | 81 696.48/696.62 c 692s | 20 | 4186132 | 698827 | 7334 202 | 26 | 81 698.49/698.68 c 694s | 20 | 4198931 | 700727 | 7334 202 | 26 | 81 700.59/700.73 c 696s | 20 | 4209047 | 702527 | 7334 203 | 26 | 81 702.57/702.78 c 698s | 20 | 4220046 | 704627 | 7334 203 | 26 | 81 704.67/704.87 c 700s | 20 | 4231809 | 706527 | 7334 203 | 26 | 81 706.77/706.91 c 702s | 20 | 4243734 | 708527 | 7334 204 | 26 | 81 708.77/708.97 c 704s | 20 | 4253281 | 710527 | 7334 204 | 26 | 81 710.87/711.07 c 706s | 20 | 4263672 | 712427 | 7334 205 | 26 | 81 712.97/713.13 c 709s | 20 | 4275450 | 714327 | 7334 205 | 26 | 81 714.98/715.16 c 711s | 20 | 4284564 | 716327 | 7334 206 | 26 | 81 717.07/717.27 c 713s | 20 | 4296657 | 718327 | 7334 206 | 26 | 81 719.07/719.28 c 715s | 20 | 4304765 | 720327 | 7334 207 | 26 | 81 721.16/721.33 c 717s | 20 | 4312526 | 721927 | 7334 207 | 26 | 81 723.26/723.41 c 719s | 20 | 4321101 | 723927 | 7334 207 | 26 | 81 725.37/725.51 c 721s | 20 | 4333788 | 725527 | 7334 208 | 26 | 81 727.47/727.60 c 723s | 20 | 4344627 | 727527 | 7334 208 | 26 | 81 729.47/729.66 c 725s | 20 | 4356130 | 729627 | 7334 209 | 26 | 81 731.57/731.71 c 727s | 20 | 4368319 | 731727 | 7334 209 | 26 | 81 733.57/733.74 c 729s | 20 | 4382550 | 733327 | 7334 210 | 26 | 81 735.56/735.74 c 731s | 20 | 4395638 | 735227 | 7334 210 | 26 | 81 737.66/737.82 c 733s | 20 | 4410250 | 737427 | 7334 211 | 26 | 81 739.66/739.87 c 735s | 20 | 4421914 | 739327 | 7334 211 | 26 | 81 741.76/741.96 c 737s | 20 | 4434028 | 741327 | 7334 211 | 26 | 81 743.86/744.00 c 739s | 20 | 4444002 | 743127 | 7334 212 | 26 | 81 745.86/746.07 c 741s | 20 | 4456105 | 745027 | 7334 212 | 26 | 81 747.97/748.13 c 744s | 20 | 4468916 | 746927 | 7334 213 | 26 | 81 749.96/750.14 c 746s | 20 | 4477701 | 748527 | 7334 213 | 26 | 81 751.96/752.19 c 748s | 20 | 4488905 | 750527 | 7334 214 | 26 | 81 754.05/754.20 c 750s | 20 | 4503651 | 752327 | 7334 214 | 26 | 81 756.05/756.26 c 752s | 20 | 4512382 | 754427 | 7334 214 | 26 | 81 758.15/758.33 c 754s | 20 | 4522088 | 756427 | 7334 215 | 26 | 81 760.15/760.37 c 756s | 20 | 4531339 | 758427 | 7334 215 | 26 | 81 762.26/762.42 c 758s | 20 | 4538612 | 760127 | 7334 216 | 26 | 81 764.25/764.43 c 760s | 20 | 4548858 | 761827 | 7334 216 | 26 | 81 766.25/766.49 c 762s | 20 | 4560484 | 763727 | 7334 217 | 26 | 81 768.25/768.49 c 764s | 20 | 4572242 | 765727 | 7334 217 | 26 | 81 770.35/770.51 c 766s | 20 | 4583344 | 767427 | 7334 218 | 26 | 81 772.34/772.54 c 768s | 20 | 4592815 | 769127 | 7334 218 | 26 | 81 774.44/774.60 c 770s | 20 | 4603264 | 771027 | 7334 218 | 26 | 81 776.45/776.66 c 772s | 20 | 4615022 | 773027 | 7334 219 | 26 | 81 778.54/778.72 c 774s | 20 | 4626098 | 774827 | 7334 219 | 26 | 81 780.54/780.72 c 776s | 20 | 4634335 | 776527 | 7334 220 | 26 | 81 782.54/782.76 c 778s | 20 | 4646895 | 778827 | 7334 220 | 26 | 81 784.64/784.88 c 780s | 20 | 4656307 | 780727 | 7334 221 | 26 | 81 786.84/787.00 c 782s | 20 | 4670316 | 782927 | 7334 221 | 26 | 81 788.94/789.12 c 785s | 20 | 4678412 | 785027 | 7334 221 | 26 | 81 790.94/791.18 c 787s | 20 | 4690194 | 787027 | 7334 222 | 26 | 81 793.04/793.21 c 789s | 20 | 4698891 | 788827 | 7334 222 | 26 | 81 795.03/795.22 c 791s | 20 | 4709023 | 790827 | 7334 223 | 26 | 81 797.13/797.30 c 793s | 20 | 4719351 | 792727 | 7334 223 | 26 | 81 799.13/799.36 c 795s | 20 | 4730501 | 794827 | 7334 224 | 26 | 81 801.13/801.39 c 797s | 20 | 4738876 | 796827 | 7334 224 | 26 | 81 803.23/803.42 c 799s | 20 | 4747463 | 798727 | 7334 225 | 26 | 81 805.23/805.47 c 801s | 20 | 4759481 | 800727 | 7334 225 | 26 | 81 807.23/807.49 c 803s | 20 | 4769169 | 802527 | 7334 226 | 26 | 81 809.33/809.56 c 805s | 20 | 4778859 | 804827 | 7334 226 | 26 | 81 811.32/811.57 c 807s | 20 | 4787801 | 806627 | 7334 226 | 26 | 81 813.42/813.67 c 809s | 20 | 4797688 | 808327 | 7334 227 | 26 | 81 815.52/815.76 c 811s | 20 | 4809155 | 810227 | 7334 227 | 26 | 81 817.52/817.80 c 813s | 20 | 4818542 | 811927 | 7334 228 | 26 | 81 819.62/819.85 c 815s | 20 | 4825490 | 813627 | 7334 228 | 26 | 81 821.72/821.91 c 817s | 20 | 4831353 | 814927 | 7334 228 | 26 | 81 823.83/824.01 c 819s | 20 | 4845543 | 817027 | 7334 229 | 26 | 81 825.82/826.02 c 821s | 20 | 4856594 | 818827 | 7334 229 | 26 | 81 827.82/828.09 c 824s | 20 | 4870477 | 820527 | 7334 230 | 26 | 81 830.02/830.21 c 826s | 20 | 4888125 | 822627 | 7334 230 | 26 | 81 832.02/832.26 c 828s | 20 | 4900680 | 824827 | 7334 231 | 26 | 81 834.12/834.34 c 830s | 20 | 4920239 | 827427 | 7334 231 | 26 | 81 836.21/836.41 c 832s | 20 | 4936756 | 829727 | 7334 232 | 26 | 81 838.21/838.47 c 834s | 20 | 4950257 | 832327 | 7334 232 | 26 | 81 840.32/840.52 c 836s | 20 | 4965033 | 834527 | 7334 233 | 26 | 81 842.31/842.53 c 838s | 20 | 4979608 | 836727 | 7334 233 | 26 | 81 844.41/844.66 c 840s | 20 | 4998176 | 838827 | 7334 234 | 26 | 81 846.51/846.72 c 842s | 20 | 5014542 | 841227 | 7334 234 | 26 | 81 848.51/848.77 c 844s | 20 | 5028286 | 843627 | 7334 235 | 26 | 81 850.51/850.79 c 846s | 20 | 5040606 | 845727 | 7334 235 | 26 | 81 852.61/852.84 c 848s | 20 | 5053181 | 847927 | 7334 236 | 26 | 81 854.62/854.85 c 850s | 20 | 5065892 | 850127 | 7334 236 | 26 | 81 856.72/856.95 c 852s | 20 | 5080914 | 852127 | 7334 237 | 26 | 81 858.81/859.02 c 854s | 20 | 5096311 | 854127 | 7334 237 | 26 | 81 860.91/861.11 c 857s | 20 | 5111305 | 856027 | 7334 238 | 26 | 81 862.91/863.13 c 859s | 20 | 5125330 | 858027 | 7334 238 | 26 | 81 865.01/865.22 c 861s | 20 | 5141028 | 859827 | 7334 239 | 26 | 81 867.11/867.32 c 863s | 20 | 5156349 | 861827 | 7334 239 | 26 | 81 869.10/869.36 c 865s | 20 | 5169408 | 863627 | 7334 239 | 26 | 81 871.11/871.38 c 867s | 20 | 5182942 | 865427 | 7334 240 | 26 | 81 873.21/873.46 c 869s | 20 | 5194314 | 867327 | 7334 240 | 26 | 81 875.30/875.55 c 871s | 20 | 5205243 | 869127 | 7334 241 | 26 | 81 877.40/877.61 c 873s | 20 | 5217372 | 871927 | 7334 241 | 26 | 81 879.50/879.70 c 875s | 20 | 5227691 | 874227 | 7334 242 | 26 | 81 881.50/881.71 c 877s | 20 | 5239352 | 876027 | 7334 242 | 26 | 81 883.49/883.72 c 879s | 20 | 5254463 | 878327 | 7334 243 | 26 | 81 885.49/885.74 c 881s | 20 | 5275132 | 880527 | 7334 243 | 26 | 81 887.60/887.86 c 883s | 20 | 5288607 | 882627 | 7334 244 | 26 | 81 889.70/889.93 c 885s | 20 | 5301982 | 884727 | 7334 244 | 26 | 81 891.79/892.02 c 887s | 20 | 5314404 | 886527 | 7334 245 | 26 | 81 893.79/894.04 c 889s | 20 | 5324649 | 888327 | 7334 245 | 26 | 81 895.90/896.14 c 892s | 20 | 5337917 | 890127 | 7334 246 | 26 | 81 898.00/898.21 c 894s | 20 | 5352085 | 892227 | 7334 246 | 26 | 81 900.10/900.31 c 896s | 20 | 5365316 | 894327 | 7334 247 | 26 | 81 902.09/902.33 c 898s | 20 | 5379725 | 896627 | 7334 247 | 26 | 81 904.10/904.34 c 900s | 20 | 5393155 | 898827 | 7334 248 | 26 | 81 906.20/906.42 c 902s | 20 | 5407285 | 901027 | 7334 248 | 26 | 81 908.19/908.47 c 904s | 20 | 5422549 | 903027 | 7334 249 | 26 | 81 910.29/910.52 c 906s | 20 | 5439388 | 905127 | 7334 249 | 26 | 81 912.29/912.58 c 908s | 20 | 5451122 | 906927 | 7334 249 | 26 | 81 914.39/914.67 c 910s | 20 | 5462334 | 908827 | 7334 250 | 26 | 81 916.49/916.71 c 912s | 20 | 5472210 | 910827 | 7334 250 | 26 | 81 918.59/918.83 c 914s | 20 | 5484054 | 912627 | 7334 251 | 26 | 81 920.60/920.84 c 916s | 20 | 5496248 | 914427 | 7334 251 | 26 | 81 922.58/922.86 c 918s | 20 | 5508567 | 916127 | 7334 251 | 26 | 81 924.58/924.90 c 920s | 20 | 5519724 | 917727 | 7334 252 | 26 | 81 926.68/926.90 c 922s | 20 | 5531565 | 919527 | 7334 252 | 26 | 81 928.78/929.05 c 924s | 20 | 5539890 | 921727 | 7334 253 | 26 | 81 930.88/931.13 c 927s | 20 | 5548712 | 923627 | 7334 253 | 26 | 81 932.88/933.16 c 929s | 20 | 5557405 | 925627 | 7334 254 | 26 | 81 934.98/935.24 c 931s | 20 | 5567368 | 927627 | 7334 254 | 26 | 81 937.08/937.34 c 933s | 20 | 5576558 | 929527 | 7334 255 | 26 | 81 939.08/939.35 c 935s | 20 | 5584526 | 931527 | 7334 255 | 26 | 81 941.18/941.46 c 937s | 20 | 5594207 | 933327 | 7334 255 | 26 | 81 943.17/943.48 c 939s | 20 | 5602631 | 935027 | 7334 256 | 26 | 81 945.27/945.50 c 941s | 20 | 5617068 | 937127 | 7334 256 | 26 | 81 947.37/947.62 c 943s | 20 | 5631047 | 939627 | 7334 257 | 26 | 81 949.47/949.71 c 945s | 20 | 5643476 | 941627 | 7334 257 | 26 | 81 951.47/951.78 c 947s | 20 | 5654159 | 943227 | 7334 258 | 26 | 81 953.47/953.80 c 949s | 20 | 5666901 | 944827 | 7334 258 | 26 | 81 955.56/955.87 c 951s | 20 | 5677555 | 946327 | 7334 258 | 26 | 81 957.66/957.99 c 953s | 20 | 5688328 | 948127 | 7334 259 | 26 | 81 959.76/960.06 c 955s | 20 | 5699344 | 950027 | 7334 259 | 26 | 81 961.86/962.12 c 958s | 20 | 5711382 | 951727 | 7334 260 | 26 | 81 963.86/964.13 c 960s | 20 | 5722250 | 953227 | 7334 260 | 26 | 81 965.86/966.15 c 962s | 20 | 5730906 | 954927 | 7334 260 | 26 | 81 967.96/968.22 c 964s | 20 | 5743824 | 956127 | 7334 261 | 26 | 81 970.07/970.31 c 966s | 20 | 5755629 | 957727 | 7334 261 | 26 | 81 972.06/972.33 c 968s | 20 | 5768350 | 959227 | 7334 261 | 26 | 81 974.05/974.36 c 970s | 20 | 5779919 | 960927 | 7334 262 | 26 | 81 976.05/976.37 c 972s | 20 | 5790364 | 962527 | 7334 262 | 26 | 81 978.15/978.43 c 974s | 20 | 5800491 | 964227 | 7334 263 | 26 | 81 980.15/980.43 c 976s | 20 | 5808160 | 966027 | 7334 263 | 26 | 81 982.16/982.45 c 978s | 20 | 5818354 | 967527 | 7334 263 | 26 | 81 984.15/984.48 c 980s | 20 | 5830453 | 969727 | 7334 264 | 26 | 81 986.25/986.53 c 982s | 20 | 5843978 | 971727 | 7334 264 | 26 | 81 988.25/988.54 c 984s | 20 | 5857226 | 973927 | 7334 265 | 26 | 81 990.25/990.57 c 986s | 20 | 5868594 | 976027 | 7334 265 | 26 | 81 992.34/992.68 c 988s | 20 | 5880769 | 977927 | 7334 266 | 26 | 81 994.44/994.70 c 990s | 20 | 5891734 | 980027 | 7334 266 | 26 | 81 996.45/996.73 c 992s | 20 | 5904205 | 981727 | 7334 267 | 26 | 81 998.44/998.79 c 994s | 20 | 5916609 | 983627 | 7334 267 | 26 | 81 1000.54/1000.87 c 996s | 20 | 5929083 | 985427 | 7334 267 | 26 | 81 1002.64/1002.92 c 998s | 20 | 5941221 | 987127 | 7334 268 | 26 | 81 1004.74/1005.00 c 1000s | 20 | 5950298 | 988927 | 7334 268 | 26 | 81 1006.74/1007.03 c 1002s | 20 | 5961628 | 990627 | 8068 268 | 26 | 81 1008.74/1009.09 c 1005s | 20 | 5976162 | 992427 | 8068 269 | 26 | 81 1010.84/1011.12 c 1007s | 20 | 5989415 | 994327 | 8068 269 | 26 | 81 1012.84/1013.18 c 1009s | 20 | 6001299 | 996127 | 8068 270 | 26 | 81 1014.93/1015.29 c 1011s | 20 | 6011563 | 998127 | 8068 270 | 26 | 81 1017.03/1017.32 c 1013s | 20 | 6020884 | 999927 | 8068 270 | 26 | 81 1017.43/1017.77 c 1013s | 21 | 6023027 | 1000345 | 8068 270 | 26 | 81 1019.54/1019.87 c 1015s | 21 | 6033139 | 1002245 | 8068 271 | 26 | 81 1021.63/1021.92 c 1017s | 21 | 6045985 | 1003845 | 8068 271 | 26 | 81 1023.63/1023.95 c 1019s | 21 | 6056031 | 1005945 | 8068 272 | 26 | 81 1025.73/1026.01 c 1021s | 21 | 6069829 | 1008045 | 8068 272 | 26 | 81 1027.72/1028.05 c 1023s | 21 | 6086450 | 1010445 | 8068 273 | 26 | 81 1029.82/1030.13 c 1026s | 21 | 6104064 | 1012745 | 8068 273 | 26 | 81 1031.82/1032.18 c 1028s | 21 | 6118414 | 1014945 | 8068 274 | 26 | 81 1033.92/1034.27 c 1030s | 21 | 6131381 | 1017045 | 8068 274 | 26 | 81 1035.93/1036.29 c 1032s | 21 | 6144279 | 1018745 | 8068 274 | 26 | 81 1038.03/1038.33 c 1034s | 21 | 6161883 | 1021145 | 8068 275 | 26 | 81 1040.03/1040.39 c 1036s | 21 | 6177261 | 1023045 | 8068 275 | 26 | 81 1042.13/1042.43 c 1038s | 21 | 6187785 | 1025145 | 8068 276 | 26 | 81 1044.13/1044.47 c 1040s | 21 | 6197188 | 1027245 | 8068 276 | 26 | 81 1046.23/1046.55 c 1042s | 21 | 6211772 | 1029145 | 8068 277 | 26 | 81 1048.32/1048.64 c 1044s | 21 | 6226316 | 1031245 | 8068 277 | 26 | 81 1050.42/1050.72 c 1046s | 21 | 6243318 | 1033545 | 8068 277 | 26 | 81 1052.43/1052.74 c 1048s | 21 | 6257475 | 1035845 | 8068 278 | 26 | 81 1054.42/1054.76 c 1050s | 21 | 6272824 | 1037845 | 8068 278 | 26 | 81 1056.42/1056.79 c 1052s | 21 | 6288478 | 1040045 | 8068 279 | 26 | 81 1058.52/1058.85 c 1054s | 21 | 6305018 | 1042345 | 8068 279 | 26 | 81 1060.62/1060.95 c 1056s | 21 | 6314694 | 1044445 | 8068 280 | 26 | 81 1062.62/1062.99 c 1058s | 21 | 6326581 | 1046645 | 8068 280 | 26 | 81 1064.72/1065.02 c 1060s | 21 | 6337077 | 1048645 | 8068 281 | 26 | 81 1066.72/1067.06 c 1062s | 21 | 6346980 | 1050345 | 8068 281 | 26 | 81 1068.92/1069.22 c 1065s | 21 | 6358477 | 1052545 | 8068 282 | 26 | 81 1071.01/1071.31 c 1067s | 21 | 6370748 | 1054245 | 8068 282 | 26 | 81 1073.01/1073.39 c 1069s | 21 | 6380344 | 1056045 | 8068 282 | 26 | 81 1075.11/1075.47 c 1071s | 21 | 6393189 | 1057645 | 8068 283 | 26 | 81 1077.21/1077.56 c 1073s | 21 | 6406484 | 1059245 | 8068 283 | 26 | 81 1079.31/1079.65 c 1075s | 21 | 6416785 | 1060945 | 8068 283 | 26 | 81 1081.41/1081.70 c 1077s | 21 | 6428354 | 1062445 | 8068 284 | 26 | 81 1083.51/1083.81 c 1079s | 21 | 6439554 | 1064645 | 8068 284 | 26 | 81 1085.51/1085.89 c 1081s | 21 | 6453567 | 1066445 | 8068 284 | 26 | 81 1087.61/1087.95 c 1083s | 21 | 6465284 | 1068145 | 8068 285 | 26 | 81 1089.61/1089.98 c 1085s | 21 | 6476826 | 1069945 | 8068 285 | 26 | 81 1091.70/1092.05 c 1087s | 21 | 6486983 | 1071645 | 8068 286 | 26 | 81 1093.80/1094.13 c 1090s | 21 | 6497372 | 1073445 | 8068 286 | 26 | 81 1095.80/1096.16 c 1092s | 21 | 6508056 | 1075245 | 8068 286 | 26 | 81 1097.90/1098.20 c 1094s | 21 | 6519848 | 1077245 | 8068 287 | 26 | 81 1099.90/1100.25 c 1096s | 21 | 6532030 | 1079145 | 8068 287 | 26 | 81 1102.00/1102.33 c 1098s | 21 | 6542442 | 1080945 | 8068 288 | 26 | 81 1104.10/1104.40 c 1100s | 21 | 6556582 | 1083145 | 8068 288 | 26 | 81 1106.10/1106.41 c 1102s | 21 | 6566023 | 1085045 | 8068 288 | 26 | 81 1108.10/1108.48 c 1104s | 21 | 6575647 | 1086845 | 8068 289 | 26 | 81 1110.20/1110.57 c 1106s | 21 | 6586877 | 1088745 | 8068 289 | 26 | 81 1112.19/1112.58 c 1108s | 21 | 6598930 | 1090845 | 8068 290 | 26 | 81 1114.29/1114.63 c 1110s | 21 | 6609442 | 1092845 | 8068 290 | 26 | 81 1116.39/1116.73 c 1112s | 21 | 6619607 | 1094745 | 8068 290 | 26 | 81 1118.40/1118.75 c 1114s | 21 | 6629372 | 1096745 | 8068 291 | 26 | 81 1120.39/1120.75 c 1116s | 21 | 6638725 | 1098645 | 8068 291 | 26 | 81 1122.49/1122.81 c 1118s | 21 | 6648049 | 1100445 | 8068 292 | 26 | 81 1124.49/1124.87 c 1120s | 21 | 6658111 | 1102245 | 8068 292 | 26 | 81 1126.49/1126.89 c 1122s | 21 | 6666765 | 1104045 | 8068 292 | 26 | 81 1128.49/1128.89 c 1124s | 21 | 6675256 | 1105845 | 8068 293 | 26 | 81 1130.49/1130.90 c 1126s | 21 | 6685124 | 1107645 | 8068 293 | 26 | 81 1132.58/1132.93 c 1128s | 21 | 6694026 | 1109745 | 8068 294 | 26 | 81 1134.68/1135.00 c 1130s | 21 | 6701771 | 1111845 | 8068 294 | 26 | 81 1136.68/1137.08 c 1132s | 21 | 6710332 | 1113945 | 8068 294 | 26 | 81 1138.78/1139.13 c 1135s | 21 | 6718618 | 1115845 | 8068 295 | 26 | 81 1140.88/1141.20 c 1137s | 21 | 6727253 | 1117945 | 8068 295 | 26 | 81 1142.98/1143.31 c 1139s | 21 | 6742061 | 1119645 | 8068 296 | 26 | 81 1145.07/1145.40 c 1141s | 21 | 6753139 | 1121245 | 8068 296 | 26 | 81 1147.08/1147.45 c 1143s | 21 | 6762694 | 1122845 | 8068 296 | 26 | 81 1149.18/1149.54 c 1145s | 21 | 6775651 | 1124745 | 8068 297 | 26 | 81 1151.17/1151.59 c 1147s | 21 | 6787645 | 1126945 | 8068 297 | 26 | 81 1153.27/1153.67 c 1149s | 21 | 6796005 | 1128845 | 8068 298 | 26 | 81 1155.47/1155.82 c 1151s | 21 | 6805566 | 1130945 | 8068 298 | 26 | 81 1157.47/1157.86 c 1153s | 21 | 6820730 | 1132445 | 8068 298 | 26 | 81 1159.57/1159.94 c 1155s | 21 | 6830638 | 1134145 | 8068 299 | 26 | 81 1161.56/1161.98 c 1157s | 21 | 6840751 | 1135845 | 8068 299 | 26 | 81 1163.57/1163.99 c 1159s | 21 | 6850767 | 1137645 | 8068 299 | 26 | 81 1165.67/1166.05 c 1161s | 21 | 6860941 | 1139445 | 8068 300 | 26 | 81 1167.76/1168.13 c 1164s | 21 | 6870792 | 1141345 | 8068 300 | 26 | 81 1169.76/1170.16 c 1166s | 21 | 6879433 | 1143145 | 8068 301 | 26 | 81 1171.86/1172.24 c 1168s | 21 | 6887202 | 1145045 | 8068 301 | 26 | 81 1173.96/1174.31 c 1170s | 21 | 6899045 | 1146845 | 8068 301 | 26 | 81 1175.96/1176.38 c 1172s | 21 | 6908109 | 1148945 | 8068 302 | 26 | 81 1178.06/1178.45 c 1174s | 21 | 6917466 | 1150845 | 8068 302 | 26 | 81 1180.16/1180.52 c 1176s | 21 | 6928059 | 1152645 | 8068 303 | 26 | 81 1182.16/1182.53 c 1178s | 21 | 6941049 | 1154445 | 8068 303 | 26 | 81 1184.26/1184.60 c 1180s | 21 | 6955713 | 1156345 | 8068 303 | 26 | 81 1186.26/1186.68 c 1182s | 21 | 6964941 | 1158245 | 8068 304 | 26 | 81 1188.36/1188.77 c 1184s | 21 | 6974116 | 1160245 | 8068 304 | 26 | 81 1190.46/1190.82 c 1186s | 21 | 6986700 | 1161745 | 8068 305 | 26 | 81 1192.55/1192.91 c 1188s | 21 | 6997135 | 1163645 | 8068 305 | 26 | 81 1194.55/1194.92 c 1190s | 21 | 7007296 | 1165545 | 8068 305 | 26 | 81 1196.56/1196.99 c 1192s | 21 | 7016967 | 1167045 | 8068 306 | 26 | 81 1198.66/1199.02 c 1194s | 21 | 7027460 | 1168645 | 8068 306 | 26 | 81 1200.65/1201.07 c 1196s | 21 | 7036306 | 1169645 | 8068 306 | 26 | 81 1202.75/1203.17 c 1199s | 21 | 7048335 | 1171045 | 8068 307 | 26 | 81 1204.75/1205.18 c 1201s | 21 | 7063148 | 1172945 | 8068 307 | 26 | 81 1206.75/1207.18 c 1203s | 21 | 7078879 | 1174645 | 8068 307 | 26 | 81 1208.85/1209.23 c 1205s | 21 | 7089635 | 1176345 | 8068 308 | 26 | 81 1210.95/1211.31 c 1207s | 21 | 7104058 | 1178145 | 8068 308 | 26 | 81 1212.95/1213.35 c 1209s | 21 | 7116822 | 1180045 | 8068 308 | 26 | 81 1215.05/1215.41 c 1211s | 21 | 7131062 | 1182345 | 8068 309 | 26 | 81 1217.05/1217.47 c 1213s | 21 | 7144631 | 1184045 | 8068 309 | 26 | 81 1219.15/1219.50 c 1215s | 21 | 7157781 | 1185645 | 8068 310 | 26 | 81 1221.25/1221.63 c 1217s | 21 | 7166093 | 1187245 | 8068 310 | 26 | 81 1223.35/1223.70 c 1219s | 21 | 7172797 | 1188845 | 8068 310 | 26 | 81 1225.34/1225.80 c 1221s | 21 | 7185962 | 1190745 | 8068 311 | 26 | 81 1227.44/1227.84 c 1223s | 21 | 7199162 | 1192245 | 8068 311 | 26 | 81 1229.45/1229.86 c 1225s | 21 | 7210569 | 1193845 | 8068 311 | 26 | 81 1231.44/1231.88 c 1227s | 21 | 7222176 | 1195145 | 8068 312 | 26 | 81 1233.54/1233.96 c 1229s | 21 | 7232685 | 1196645 | 8068 312 | 26 | 81 1235.54/1235.97 c 1231s | 21 | 7245199 | 1198445 | 8068 312 | 26 | 81 1237.64/1238.04 c 1233s | 21 | 7257735 | 1200145 | 8068 313 | 26 | 81 1239.64/1240.08 c 1235s | 21 | 7268457 | 1201845 | 8068 313 | 26 | 81 1241.64/1242.08 c 1237s | 21 | 7281841 | 1203445 | 8068 313 | 26 | 81 1243.74/1244.17 c 1240s | 21 | 7292966 | 1205245 | 8068 314 | 26 | 81 1245.83/1246.24 c 1242s | 21 | 7304254 | 1206845 | 8068 314 | 26 | 81 1247.93/1248.34 c 1244s | 21 | 7316552 | 1208245 | 8068 314 | 26 | 81 1249.93/1250.36 c 1246s | 21 | 7326356 | 1209745 | 8068 315 | 26 | 81 1252.03/1252.46 c 1248s | 21 | 7336342 | 1211545 | 8068 315 | 26 | 81 1254.13/1254.55 c 1250s | 21 | 7348251 | 1213345 | 8068 315 | 26 | 81 1256.13/1256.59 c 1252s | 21 | 7361921 | 1215045 | 8068 316 | 26 | 81 1258.33/1258.70 c 1254s | 21 | 7370415 | 1216945 | 8068 316 | 26 | 81 1260.34/1260.73 c 1256s | 21 | 7381345 | 1218545 | 8068 317 | 26 | 81 1262.44/1262.89 c 1258s | 21 | 7388816 | 1220145 | 8068 317 | 26 | 81 1264.53/1264.99 c 1260s | 21 | 7400001 | 1221545 | 8068 317 | 26 | 81 1266.63/1267.07 c 1262s | 21 | 7413106 | 1223045 | 8068 318 | 26 | 81 1268.73/1269.19 c 1265s | 21 | 7424377 | 1224845 | 8068 318 | 26 | 81 1270.83/1271.24 c 1267s | 21 | 7435392 | 1226545 | 8068 318 | 26 | 81 1272.92/1273.31 c 1269s | 21 | 7446317 | 1227745 | 8068 319 | 26 | 81 1274.92/1275.32 c 1271s | 21 | 7457235 | 1229245 | 8068 319 | 26 | 81 1276.92/1277.33 c 1273s | 21 | 7469489 | 1230745 | 8068 319 | 26 | 81 1278.93/1279.37 c 1275s | 21 | 7481581 | 1232345 | 8068 319 | 26 | 81 1281.42/1281.80 c 1277s | 21 | 7491542 | 1233945 | 8068 320 | 26 | 81 1283.72/1284.18 c 1280s | 21 | 7504512 | 1235745 | 8068 320 | 26 | 81 1285.82/1286.23 c 1282s | 21 | 7520046 | 1237445 | 8068 321 | 26 | 81 1287.83/1288.29 c 1284s | 21 | 7533430 | 1239145 | 8068 321 | 26 | 81 1289.93/1290.33 c 1286s | 21 | 7549006 | 1240545 | 8068 321 | 26 | 81 1292.02/1292.41 c 1288s | 21 | 7557555 | 1242245 | 8068 322 | 26 | 81 1294.01/1294.48 c 1290s | 21 | 7564240 | 1244345 | 8068 322 | 26 | 81 1296.11/1296.56 c 1292s | 21 | 7577461 | 1246145 | 8068 322 | 26 | 81 1298.21/1298.61 c 1294s | 21 | 7587488 | 1247845 | 8068 323 | 26 | 81 1300.31/1300.72 c 1296s | 21 | 7596990 | 1249545 | 8068 323 | 26 | 81 1302.31/1302.72 c 1298s | 21 | 7606489 | 1251045 | 8068 323 | 26 | 81 1304.32/1304.74 c 1300s | 21 | 7617222 | 1252845 | 8068 324 | 26 | 81 1306.42/1306.83 c 1302s | 21 | 7628650 | 1254545 | 8068 324 | 26 | 81 1308.51/1308.92 c 1304s | 21 | 7638201 | 1256245 | 8068 325 | 26 | 81 1310.51/1310.95 c 1306s | 21 | 7650708 | 1258045 | 8068 325 | 26 | 81 1312.61/1313.03 c 1308s | 21 | 7659773 | 1259845 | 8068 325 | 26 | 81 1314.71/1315.11 c 1311s | 21 | 7669452 | 1261645 | 8068 326 | 26 | 81 1316.71/1317.12 c 1313s | 21 | 7679246 | 1263545 | 8068 326 | 26 | 81 1318.71/1319.17 c 1315s | 21 | 7687404 | 1265345 | 8068 326 | 26 | 81 1320.71/1321.17 c 1317s | 21 | 7691777 | 1266945 | 8068 327 | 26 | 81 1322.80/1323.20 c 1319s | 21 | 7697330 | 1268445 | 8068 327 | 26 | 81 1324.80/1325.21 c 1321s | 21 | 7703053 | 1269945 | 8068 327 | 26 | 81 1326.80/1327.26 c 1323s | 21 | 7711808 | 1271645 | 8068 328 | 26 | 81 1328.90/1329.31 c 1325s | 21 | 7718857 | 1273345 | 8068 328 | 26 | 81 1330.91/1331.34 c 1327s | 21 | 7726553 | 1274845 | 8068 328 | 26 | 81 1332.92/1333.34 c 1329s | 21 | 7737570 | 1276545 | 8068 329 | 26 | 81 1335.02/1335.44 c 1331s | 21 | 7748933 | 1278045 | 8068 329 | 26 | 81 1337.11/1337.57 c 1333s | 21 | 7763045 | 1279745 | 8068 330 | 26 | 81 1339.11/1339.58 c 1335s | 21 | 7776823 | 1281745 | 8068 330 | 26 | 81 1341.21/1341.60 c 1337s | 21 | 7784995 | 1283545 | 8068 330 | 26 | 81 1343.20/1343.64 c 1339s | 21 | 7798391 | 1285345 | 8068 331 | 26 | 81 1345.30/1345.75 c 1341s | 21 | 7811893 | 1286945 | 8068 331 | 26 | 81 1347.40/1347.83 c 1343s | 21 | 7822770 | 1289045 | 8068 331 | 26 | 81 1349.50/1349.91 c 1345s | 21 | 7836345 | 1290845 | 8068 332 | 26 | 81 1351.51/1351.96 c 1347s | 21 | 7849653 | 1292745 | 8068 332 | 26 | 81 1353.60/1354.06 c 1349s | 21 | 7860665 | 1294445 | 8068 333 | 26 | 81 1355.70/1356.10 c 1352s | 21 | 7872453 | 1296345 | 8068 333 | 26 | 81 1357.70/1358.16 c 1354s | 21 | 7887399 | 1298145 | 8068 333 | 26 | 81 1359.70/1360.19 c 1356s | 21 | 7897657 | 1299945 | 8068 334 | 26 | 81 1361.90/1362.31 c 1358s | 21 | 7909036 | 1301745 | 8068 334 | 26 | 81 1363.90/1364.35 c 1360s | 21 | 7916501 | 1303545 | 8068 335 | 26 | 81 1365.91/1366.36 c 1362s | 21 | 7926117 | 1305345 | 8068 335 | 26 | 81 1368.01/1368.45 c 1364s | 21 | 7933738 | 1307245 | 8068 335 | 26 | 81 1370.10/1370.52 c 1366s | 21 | 7943693 | 1309045 | 8068 336 | 26 | 81 1372.10/1372.55 c 1368s | 21 | 7952233 | 1311045 | 8068 336 | 26 | 81 1374.20/1374.68 c 1370s | 21 | 7961837 | 1312945 | 8068 337 | 26 | 81 1376.30/1376.70 c 1372s | 21 | 7970255 | 1314745 | 8068 337 | 26 | 81 1378.30/1378.76 c 1374s | 21 | 7980218 | 1316645 | 8068 337 | 26 | 81 1380.30/1380.76 c 1376s | 21 | 7987546 | 1318245 | 8068 338 | 26 | 81 1382.30/1382.78 c 1378s | 21 | 7995351 | 1320045 | 8068 338 | 26 | 81 1384.40/1384.81 c 1380s | 21 | 8003571 | 1321545 | 8068 338 | 26 | 81 1386.40/1386.84 c 1382s | 21 | 8012450 | 1323245 | 8068 339 | 26 | 81 1388.49/1388.95 c 1384s | 21 | 8023770 | 1324845 | 8068 339 | 26 | 81 1390.49/1390.99 c 1386s | 21 | 8031500 | 1325945 | 8068 339 | 26 | 81 1392.59/1393.02 c 1388s | 21 | 8038272 | 1327445 | 8068 340 | 26 | 81 1394.69/1395.16 c 1391s | 21 | 8044443 | 1328945 | 8068 340 | 26 | 81 1396.70/1397.20 c 1393s | 21 | 8055720 | 1330745 | 8068 340 | 26 | 81 1398.80/1399.28 c 1395s | 21 | 8064700 | 1332545 | 8068 341 | 26 | 81 1400.79/1401.29 c 1397s | 21 | 8076276 | 1334645 | 8068 341 | 26 | 81 1402.89/1403.30 c 1399s | 21 | 8088450 | 1336745 | 8068 342 | 26 | 81 1404.89/1405.34 c 1401s | 21 | 8098446 | 1338845 | 8068 342 | 26 | 81 1406.89/1407.36 c 1403s | 21 | 8110574 | 1340645 | 8068 342 | 26 | 81 1408.99/1409.45 c 1405s | 21 | 8117645 | 1342145 | 8068 343 | 26 | 81 1411.00/1411.48 c 1407s | 21 | 8129036 | 1344045 | 8068 343 | 26 | 81 1413.10/1413.55 c 1409s | 21 | 8140124 | 1345745 | 8068 343 | 26 | 81 1415.19/1415.65 c 1411s | 21 | 8152596 | 1347645 | 8068 344 | 26 | 81 1417.29/1417.70 c 1413s | 21 | 8163739 | 1349645 | 8068 344 | 26 | 81 1419.29/1419.70 c 1415s | 21 | 8172189 | 1351445 | 8068 345 | 26 | 81 1421.29/1421.76 c 1417s | 21 | 8183912 | 1353245 | 8068 345 | 26 | 81 1423.38/1423.88 c 1419s | 21 | 8194752 | 1354945 | 8068 345 | 26 | 81 1425.38/1425.88 c 1421s | 21 | 8203790 | 1356645 | 8068 346 | 26 | 81 1427.49/1427.94 c 1423s | 21 | 8213433 | 1358345 | 8068 346 | 26 | 81 1429.48/1429.96 c 1425s | 21 | 8222218 | 1360145 | 8068 346 | 26 | 81 1431.48/1431.96 c 1427s | 21 | 8234016 | 1362045 | 8068 347 | 26 | 81 1433.58/1434.04 c 1429s | 21 | 8248532 | 1364045 | 8068 347 | 26 | 81 1435.68/1436.10 c 1432s | 21 | 8259142 | 1365745 | 8068 348 | 26 | 81 1437.78/1438.24 c 1434s | 21 | 8265826 | 1367245 | 8068 348 | 26 | 81 1439.78/1440.27 c 1436s | 21 | 8275539 | 1368845 | 8068 348 | 26 | 81 1441.88/1442.37 c 1438s | 21 | 8289060 | 1370645 | 8068 349 | 26 | 81 1443.99/1444.43 c 1440s | 21 | 8300112 | 1372545 | 8068 349 | 26 | 81 1445.98/1446.45 c 1442s | 21 | 8315929 | 1374945 | 8068 350 | 26 | 81 1448.08/1448.57 c 1444s | 21 | 8331349 | 1377345 | 8068 350 | 26 | 81 1450.18/1450.60 c 1446s | 21 | 8348288 | 1379245 | 8068 351 | 26 | 81 1452.18/1452.62 c 1448s | 21 | 8365334 | 1381345 | 8068 351 | 26 | 81 1454.28/1454.71 c 1450s | 21 | 8378841 | 1383645 | 8068 351 | 26 | 81 1456.28/1456.76 c 1452s | 21 | 8393695 | 1385745 | 8068 352 | 26 | 81 1458.38/1458.84 c 1454s | 21 | 8406615 | 1387545 | 8068 352 | 26 | 81 1460.39/1460.85 c 1456s | 21 | 8420471 | 1388945 | 8068 353 | 26 | 81 1462.48/1462.90 c 1458s | 21 | 8432585 | 1391045 | 8068 353 | 26 | 81 1464.58/1465.01 c 1460s | 21 | 8443107 | 1393045 | 8068 353 | 26 | 81 1466.58/1467.08 c 1462s | 21 | 8455241 | 1394745 | 8068 354 | 26 | 81 1468.78/1469.20 c 1465s | 21 | 8469111 | 1396345 | 8068 354 | 26 | 81 1470.88/1471.35 c 1467s | 21 | 8480252 | 1398145 | 8068 355 | 26 | 81 1472.88/1473.35 c 1469s | 21 | 8490292 | 1400045 | 8068 355 | 26 | 81 1474.98/1475.41 c 1471s | 21 | 8503107 | 1401845 | 8068 355 | 26 | 81 1476.98/1477.45 c 1473s | 21 | 8515557 | 1403445 | 8068 356 | 26 | 81 1478.98/1479.45 c 1475s | 21 | 8524518 | 1405245 | 8068 356 | 26 | 81 1481.07/1481.58 c 1477s | 21 | 8534173 | 1407045 | 8068 356 | 26 | 81 1483.07/1483.59 c 1479s | 21 | 8543200 | 1408645 | 8068 357 | 26 | 81 1485.17/1485.67 c 1481s | 21 | 8556859 | 1410345 | 8068 357 | 26 | 81 1487.27/1487.74 c 1483s | 21 | 8568479 | 1412145 | 8068 357 | 26 | 81 1489.37/1489.84 c 1485s | 21 | 8578459 | 1414245 | 8068 358 | 26 | 81 1491.47/1491.92 c 1487s | 21 | 8585324 | 1416045 | 8068 358 | 26 | 81 1493.48/1493.93 c 1489s | 21 | 8594457 | 1417545 | 8068 359 | 26 | 81 1495.47/1495.95 c 1491s | 21 | 8607819 | 1419245 | 8068 359 | 26 | 81 1497.57/1498.05 c 1493s | 21 | 8617016 | 1421245 | 8068 359 | 26 | 81 1499.67/1500.14 c 1496s | 21 | 8627454 | 1422945 | 8068 360 | 26 | 81 1501.67/1502.20 c 1498s | 21 | 8642487 | 1425045 | 8068 360 | 26 | 81 1503.77/1504.26 c 1500s | 21 | 8658182 | 1427045 | 8068 361 | 26 | 81 1505.87/1506.36 c 1502s | 21 | 8670523 | 1428745 | 8068 361 | 26 | 81 1507.97/1508.42 c 1504s | 21 | 8681300 | 1430445 | 8068 361 | 26 | 81 1509.99/1510.47 c 1506s | 21 | 8690666 | 1432145 | 8068 362 | 26 | 81 1512.08/1512.55 c 1508s | 21 | 8702356 | 1433745 | 8068 362 | 26 | 81 1514.08/1514.58 c 1510s | 21 | 8713715 | 1435545 | 8068 362 | 26 | 81 1516.08/1516.58 c 1512s | 21 | 8725321 | 1437245 | 8068 363 | 26 | 81 1518.18/1518.66 c 1514s | 21 | 8736914 | 1439045 | 8068 363 | 26 | 81 1520.27/1520.77 c 1516s | 21 | 8746620 | 1440645 | 8068 364 | 26 | 81 1522.37/1522.80 c 1518s | 21 | 8761313 | 1442845 | 8068 364 | 26 | 81 1524.37/1524.88 c 1520s | 21 | 8772153 | 1444845 | 8068 364 | 26 | 81 1526.67/1527.19 c 1523s | 21 | 8783597 | 1446645 | 8068 365 | 26 | 81 1529.17/1529.67 c 1525s | 21 | 8790448 | 1448045 | 8068 365 | 26 | 81 1531.27/1531.75 c 1527s | 21 | 8801918 | 1449745 | 8068 365 | 26 | 81 1533.27/1533.76 c 1529s | 21 | 8814454 | 1451645 | 8068 366 | 26 | 81 1535.37/1535.83 c 1531s | 21 | 8825239 | 1453445 | 8068 366 | 26 | 81 1537.48/1537.92 c 1533s | 21 | 8834778 | 1455345 | 8068 367 | 26 | 81 1539.58/1540.02 c 1535s | 21 | 8845015 | 1457245 | 8068 367 | 26 | 81 1541.57/1542.03 c 1537s | 21 | 8856982 | 1458945 | 8068 367 | 26 | 81 1543.57/1544.06 c 1539s | 21 | 8864121 | 1460545 | 8068 368 | 26 | 81 1545.67/1546.13 c 1542s | 21 | 8874596 | 1462345 | 8068 368 | 26 | 81 1547.77/1548.24 c 1544s | 21 | 8884818 | 1464345 | 8068 369 | 26 | 81 1549.77/1550.24 c 1546s | 21 | 8892898 | 1466245 | 8068 369 | 26 | 81 1551.87/1552.34 c 1548s | 21 | 8901259 | 1468045 | 8068 369 | 26 | 81 1553.88/1554.34 c 1550s | 21 | 8910830 | 1469645 | 8068 370 | 26 | 81 1555.97/1556.46 c 1552s | 21 | 8923280 | 1471345 | 8068 370 | 26 | 81 1558.07/1558.51 c 1554s | 21 | 8931133 | 1473045 | 8068 370 | 26 | 81 1560.07/1560.52 c 1556s | 21 | 8941973 | 1474445 | 8068 371 | 26 | 81 1562.07/1562.53 c 1558s | 21 | 8952596 | 1476545 | 8068 371 | 26 | 81 1564.07/1564.58 c 1560s | 21 | 8960876 | 1478345 | 8068 371 | 26 | 81 1566.17/1566.66 c 1562s | 21 | 8971216 | 1480345 | 8068 372 | 26 | 81 1568.27/1568.73 c 1564s | 21 | 8983193 | 1482645 | 8068 372 | 26 | 81 1570.37/1570.84 c 1566s | 21 | 8993589 | 1484445 | 8068 373 | 26 | 81 1572.37/1572.86 c 1568s | 21 | 9007939 | 1486345 | 8068 373 | 26 | 81 1574.36/1574.88 c 1570s | 21 | 9020631 | 1488045 | 8875 373 | 26 | 81 1576.46/1576.96 c 1572s | 21 | 9033869 | 1489845 | 8875 374 | 26 | 81 1578.56/1579.04 c 1574s | 21 | 9045769 | 1491545 | 8875 374 | 26 | 81 1580.66/1581.10 c 1577s | 21 | 9057566 | 1493545 | 8875 374 | 26 | 81 1582.66/1583.12 c 1579s | 21 | 9065194 | 1495445 | 8875 375 | 26 | 81 1584.67/1585.17 c 1581s | 21 | 9074652 | 1497245 | 8875 375 | 26 | 81 1586.76/1587.20 c 1583s | 21 | 9085261 | 1498945 | 8875 375 | 26 | 81 1588.66/1589.16 c 1585s | 22 | 9095976 | 1500622 | 8875 376 | 26 | 81 1590.76/1591.24 c 1587s | 22 | 9107932 | 1502422 | 8875 376 | 26 | 81 1592.76/1593.27 c 1589s | 22 | 9117551 | 1504022 | 8875 376 | 26 | 81 1594.86/1595.32 c 1591s | 22 | 9134124 | 1506222 | 8875 377 | 26 | 81 1596.96/1597.41 c 1593s | 22 | 9145591 | 1508222 | 8875 377 | 26 | 81 1598.97/1599.46 c 1595s | 22 | 9155086 | 1510122 | 8875 378 | 26 | 81 1600.96/1601.48 c 1597s | 22 | 9164396 | 1512122 | 8875 378 | 26 | 81 1602.96/1603.49 c 1599s | 22 | 9173504 | 1514422 | 8875 378 | 26 | 81 1605.06/1605.57 c 1601s | 22 | 9184856 | 1516522 | 8875 379 | 26 | 81 1607.06/1607.58 c 1603s | 22 | 9193705 | 1518522 | 8875 379 | 26 | 81 1609.16/1609.62 c 1605s | 22 | 9205072 | 1520622 | 8875 380 | 26 | 81 1611.17/1611.63 c 1607s | 22 | 9220200 | 1522422 | 8875 380 | 26 | 81 1613.16/1613.63 c 1609s | 22 | 9232174 | 1524122 | 8875 380 | 26 | 81 1615.26/1615.71 c 1611s | 22 | 9243536 | 1526022 | 8875 381 | 26 | 81 1617.26/1617.74 c 1613s | 22 | 9258375 | 1528022 | 8875 381 | 26 | 81 1619.26/1619.75 c 1615s | 22 | 9267838 | 1529822 | 8875 381 | 26 | 81 1621.36/1621.85 c 1617s | 22 | 9285101 | 1531722 | 8875 382 | 26 | 81 1623.46/1623.93 c 1619s | 22 | 9297953 | 1533722 | 8875 382 | 26 | 81 1625.46/1625.96 c 1621s | 22 | 9309672 | 1535422 | 8875 383 | 26 | 81 1627.56/1628.03 c 1623s | 22 | 9322566 | 1537622 | 8875 383 | 26 | 81 1629.55/1630.07 c 1625s | 22 | 9334317 | 1539722 | 8875 383 | 26 | 81 1631.65/1632.16 c 1628s | 22 | 9349216 | 1541922 | 8875 384 | 26 | 81 1633.75/1634.27 c 1630s | 22 | 9359350 | 1543922 | 8875 384 | 26 | 81 1635.85/1636.35 c 1632s | 22 | 9368803 | 1545322 | 8875 385 | 26 | 81 1637.95/1638.46 c 1634s | 22 | 9379655 | 1547222 | 8875 385 | 26 | 81 1639.95/1640.48 c 1636s | 22 | 9390593 | 1548822 | 8875 385 | 26 | 81 1642.05/1642.52 c 1638s | 22 | 9402171 | 1550522 | 8875 386 | 26 | 81 1644.16/1644.62 c 1640s | 22 | 9416516 | 1552422 | 8875 386 | 26 | 81 1646.26/1646.76 c 1642s | 22 | 9428338 | 1554222 | 8875 386 | 26 | 81 1648.35/1648.88 c 1644s | 22 | 9439253 | 1555922 | 8875 387 | 26 | 81 1650.45/1650.98 c 1646s | 22 | 9449274 | 1557722 | 8875 387 | 26 | 81 1652.65/1653.10 c 1649s | 22 | 9458889 | 1559422 | 8875 387 | 26 | 81 1654.65/1655.12 c 1651s | 22 | 9469763 | 1560922 | 8875 388 | 26 | 81 1656.65/1657.12 c 1653s | 22 | 9480098 | 1562522 | 8875 388 | 26 | 81 1658.65/1659.15 c 1655s | 22 | 9491384 | 1564222 | 8875 388 | 26 | 81 1660.75/1661.21 c 1657s | 22 | 9503032 | 1565822 | 8875 389 | 26 | 81 1662.76/1663.26 c 1659s | 22 | 9516117 | 1567522 | 8875 389 | 26 | 81 1664.75/1665.29 c 1661s | 22 | 9524205 | 1569322 | 8875 389 | 26 | 81 1666.95/1667.45 c 1663s | 22 | 9532090 | 1570922 | 8875 390 | 26 | 81 1668.95/1669.49 c 1665s | 22 | 9543515 | 1572522 | 8875 390 | 26 | 81 1671.05/1671.57 c 1667s | 22 | 9555867 | 1574222 | 8875 390 | 26 | 81 1673.05/1673.59 c 1669s | 22 | 9564662 | 1575922 | 8875 390 | 26 | 81 1675.15/1675.60 c 1671s | 22 | 9576456 | 1577822 | 8875 391 | 26 | 81 1677.16/1677.66 c 1673s | 22 | 9589749 | 1579422 | 8875 391 | 26 | 81 1679.26/1679.72 c 1675s | 22 | 9596589 | 1581122 | 8875 391 | 26 | 81 1681.25/1681.76 c 1677s | 22 | 9606753 | 1582922 | 8875 392 | 26 | 81 1683.35/1683.84 c 1679s | 22 | 9615924 | 1585022 | 8875 392 | 26 | 81 1685.35/1685.88 c 1681s | 22 | 9626013 | 1586822 | 8875 393 | 26 | 81 1687.45/1687.90 c 1683s | 22 | 9633351 | 1588522 | 8875 393 | 26 | 81 1689.45/1689.99 c 1685s | 22 | 9641863 | 1590422 | 8875 393 | 26 | 81 1691.55/1692.06 c 1687s | 22 | 9647585 | 1592022 | 8875 394 | 26 | 81 1693.66/1694.10 c 1690s | 22 | 9659085 | 1593622 | 8875 394 | 26 | 81 1695.65/1696.20 c 1692s | 22 | 9669125 | 1595322 | 8875 394 | 26 | 81 1697.85/1698.33 c 1694s | 22 | 9678473 | 1596822 | 8875 395 | 26 | 81 1699.85/1700.34 c 1696s | 22 | 9691434 | 1598422 | 8875 395 | 26 | 81 1701.85/1702.35 c 1698s | 22 | 9699000 | 1600122 | 8875 395 | 26 | 81 1703.85/1704.36 c 1700s | 22 | 9705733 | 1601622 | 8875 395 | 26 | 81 1705.95/1706.40 c 1702s | 22 | 9714465 | 1602922 | 8875 396 | 26 | 81 1708.15/1708.60 c 1704s | 22 | 9723838 | 1604322 | 8875 396 | 26 | 81 1710.15/1710.67 c 1706s | 22 | 9737220 | 1605822 | 8875 396 | 26 | 81 1712.25/1712.73 c 1708s | 22 | 9749487 | 1607722 | 8875 397 | 26 | 81 1714.35/1714.81 c 1710s | 22 | 9762267 | 1609722 | 8875 397 | 26 | 81 1716.35/1716.84 c 1712s | 22 | 9776630 | 1611722 | 8875 397 | 26 | 81 1718.44/1718.93 c 1714s | 22 | 9790772 | 1613622 | 8875 398 | 26 | 81 1720.54/1721.04 c 1716s | 22 | 9803379 | 1615622 | 8875 398 | 26 | 81 1722.64/1723.15 c 1719s | 22 | 9815053 | 1617322 | 8875 399 | 26 | 81 1724.64/1725.19 c 1721s | 22 | 9826667 | 1618922 | 8875 399 | 26 | 81 1726.74/1727.25 c 1723s | 22 | 9840348 | 1620822 | 8875 399 | 26 | 81 1728.75/1729.29 c 1725s | 22 | 9849377 | 1622322 | 8875 400 | 26 | 81 1730.84/1731.36 c 1727s | 22 | 9860328 | 1624122 | 8875 400 | 26 | 81 1732.84/1733.37 c 1729s | 22 | 9870137 | 1625922 | 8875 400 | 26 | 81 1734.94/1735.42 c 1731s | 22 | 9881477 | 1627422 | 8875 401 | 26 | 81 1736.94/1737.45 c 1733s | 22 | 9892805 | 1629322 | 8875 401 | 26 | 81 1738.94/1739.47 c 1735s | 22 | 9904362 | 1631022 | 8875 401 | 26 | 81 1740.95/1741.48 c 1737s | 22 | 9912926 | 1632622 | 8875 402 | 26 | 81 1743.05/1743.58 c 1739s | 22 | 9922580 | 1634222 | 8875 402 | 26 | 81 1745.14/1745.67 c 1741s | 22 | 9934716 | 1636022 | 8875 402 | 26 | 81 1747.24/1747.78 c 1743s | 22 | 9945005 | 1637622 | 8875 402 | 26 | 81 1749.34/1749.88 c 1745s | 22 | 9955251 | 1639522 | 8875 403 | 26 | 81 1751.44/1751.98 c 1747s | 22 | 9962774 | 1641322 | 8875 403 | 26 | 81 1753.44/1753.99 c 1749s | 22 | 9968719 | 1642922 | 8875 404 | 26 | 81 1755.54/1756.08 c 1751s | 22 | 9976191 | 1644522 | 8875 404 | 26 | 81 1757.63/1758.16 c 1754s | 22 | 9987512 | 1646222 | 8875 404 | 26 | 81 1759.64/1760.17 c 1756s | 22 | 9998825 | 1647622 | 8875 404 | 26 | 81 1761.74/1762.21 c 1758s | 22 | 10008019 | 1648922 | 8875 405 | 26 | 81 1763.73/1764.25 c 1760s | 22 | 10018373 | 1650822 | 8875 405 | 26 | 81 1765.73/1766.25 c 1762s | 22 | 10032771 | 1652322 | 8875 405 | 26 | 81 1767.73/1768.28 c 1764s | 22 | 10041923 | 1653822 | 8875 406 | 26 | 81 1769.83/1770.33 c 1766s | 22 | 10052752 | 1655422 | 8875 406 | 26 | 81 1771.83/1772.37 c 1768s | 22 | 10062946 | 1657022 | 8875 406 | 26 | 81 1773.94/1774.43 c 1770s | 22 | 10071020 | 1658522 | 8875 407 | 26 | 81 1776.04/1776.55 c 1772s | 22 | 10083278 | 1660222 | 8875 407 | 26 | 81 1778.13/1778.66 c 1774s | 22 | 10093888 | 1661822 | 8875 407 | 26 | 81 1780.23/1780.79 c 1776s | 22 | 10102984 | 1663422 | 8875 408 | 26 | 81 1782.43/1782.92 c 1778s | 22 | 10110507 | 1665022 | 8875 408 | 26 | 81 1784.53/1785.04 c 1780s | 22 | 10118886 | 1666622 | 8875 408 | 26 | 81 1786.53/1787.09 c 1783s | 22 | 10126901 | 1668022 | 8875 408 | 26 | 81 1788.73/1789.24 c 1785s | 22 | 10133874 | 1669722 | 8875 409 | 26 | 81 1790.83/1791.34 c 1787s | 22 | 10140027 | 1671222 | 8875 409 | 26 | 81 1792.93/1793.43 c 1789s | 22 | 10149304 | 1672722 | 8875 409 | 26 | 81 1794.93/1795.46 c 1791s | 22 | 10157011 | 1674022 | 8875 410 | 26 | 81 1797.04/1797.53 c 1793s | 22 | 10164776 | 1675422 | 8875 410 | 26 | 81 1799.33/1799.86 c 1795s | 22 | 10177184 | 1677122 | 8875 410 | 26 | 81
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-4105457-1466246527/watcher-4105457-1466246527 -o /tmp/evaluation-result-4105457-1466246527/solver-4105457-1466246527 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105457-1466246527.opb pid=5010 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.24 2.20 2.11 3/179 5013 /proc/meminfo: memFree=30167216/32872528 swapFree=526336/559040 [pid=5013] ppid=5010 vsize=784828 CPUtime=0 cores=1,3,5,7 /proc/5013/stat : 5013 (toysat) R 5010 5013 28898 0 -1 4202496 2940 0 0 0 0 0 0 0 20 0 4 0 26702812 803663872 2789 33554432000 4194304 16246674 140735574584576 140735574584000 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5013/statm: 196975 2802 441 2943 0 193869 0 [pid=5013/tid=5014] ppid=5010 vsize=829884 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5014/stat : 5014 (toysat) S 5010 5013 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26702812 849801216 2964 33554432000 4194304 16246674 140735574584576 140130128997616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5013/tid=5015] ppid=5010 vsize=833980 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5015/stat : 5015 (toysat) S 5010 5013 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26702812 853995520 2982 33554432000 4194304 16246674 140735574584576 140130118507760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5013/tid=5016] ppid=5010 vsize=839100 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26702812 859238400 2999 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100178 s] /proc/loadavg: 2.24 2.20 2.11 3/179 5013 /proc/meminfo: memFree=30167216/32872528 swapFree=526336/559040 [pid=5013] ppid=5010 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/5013/stat : 5013 (toysat) R 5010 5013 28898 0 -1 4202496 26723 0 0 0 5 4 0 0 20 0 4 0 26702812 1333334016 26511 33554432000 4194304 16246674 140735574584576 140735574583888 8056990 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5013/statm: 325521 26527 799 2943 0 322415 0 [pid=5013/tid=5014] ppid=5010 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5014/stat : 5014 (toysat) S 5010 5013 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26702812 1333334016 26538 33554432000 4194304 16246674 140735574584576 140130128997616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5013/tid=5015] ppid=5010 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5015/stat : 5015 (toysat) S 5010 5013 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26702812 1333334016 26550 33554432000 4194304 16246674 140735574584576 140130118507760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5013/tid=5016] ppid=5010 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26702812 1333334016 26561 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200514 s] /proc/loadavg: 2.24 2.20 2.11 3/179 5013 /proc/meminfo: memFree=30167216/32872528 swapFree=526336/559040 [pid=5013] ppid=5010 vsize=1302084 CPUtime=0.19 cores=1,3,5,7 /proc/5013/stat : 5013 (toysat) R 5010 5013 28898 0 -1 4202496 46024 0 0 0 13 6 0 0 20 0 4 0 26702812 1333334016 45811 33554432000 4194304 16246674 140735574584576 140735574583888 13930363 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5013/statm: 325521 45816 867 2943 0 322415 0 [pid=5013/tid=5014] ppid=5010 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5014/stat : 5014 (toysat) S 5010 5013 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26702812 1333334016 45816 33554432000 4194304 16246674 140735574584576 140130128997616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5013/tid=5015] ppid=5010 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5015/stat : 5015 (toysat) S 5010 5013 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26702812 1333334016 45816 33554432000 4194304 16246674 140735574584576 140130118507760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5013/tid=5016] ppid=5010 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26702812 1333334016 45816 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1302084 [startup+0.300475 s] /proc/loadavg: 2.24 2.20 2.11 3/179 5013 /proc/meminfo: memFree=30167216/32872528 swapFree=526336/559040 [pid=5013] ppid=5010 vsize=1308228 CPUtime=0.29 cores=1,3,5,7 /proc/5013/stat : 5013 (toysat) R 5010 5013 28898 0 -1 4202496 47745 0 0 0 22 7 0 0 20 0 4 0 26702812 1339625472 47532 33554432000 4194304 16246674 140735574584576 140735574583888 5531966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5013/statm: 327057 47532 895 2943 0 323951 0 [pid=5013/tid=5014] ppid=5010 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5014/stat : 5014 (toysat) S 5010 5013 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26702812 1339625472 47532 33554432000 4194304 16246674 140735574584576 140130128997616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5013/tid=5015] ppid=5010 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5015/stat : 5015 (toysat) S 5010 5013 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26702812 1339625472 47532 33554432000 4194304 16246674 140735574584576 140130118507760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5013/tid=5016] ppid=5010 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26702812 1339625472 47532 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1308228 [startup+0.700418 s] /proc/loadavg: 2.24 2.20 2.11 3/179 5013 /proc/meminfo: memFree=30167216/32872528 swapFree=526336/559040 [pid=5013] ppid=5010 vsize=1308228 CPUtime=0.69 cores=1,3,5,7 /proc/5013/stat : 5013 (toysat) R 5010 5013 28898 0 -1 4202496 47758 0 0 0 62 7 0 0 20 0 4 0 26702812 1339625472 47545 33554432000 4194304 16246674 140735574584576 140735574566464 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5013/statm: 327057 47545 908 2943 0 323951 0 [pid=5013/tid=5014] ppid=5010 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5014/stat : 5014 (toysat) S 5010 5013 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26702812 1339625472 47545 33554432000 4194304 16246674 140735574584576 140130128997616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5013/tid=5015] ppid=5010 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5015/stat : 5015 (toysat) S 5010 5013 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26702812 1339625472 47545 33554432000 4194304 16246674 140735574584576 140130118507760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5013/tid=5016] ppid=5010 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26702812 1339625472 47545 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1308228 [startup+1.5004 s] /proc/loadavg: 2.22 2.20 2.11 3/183 5017 /proc/meminfo: memFree=29888896/32872528 swapFree=526336/559040 [pid=5013] ppid=5010 vsize=1308228 CPUtime=1.49 cores=1,3,5,7 /proc/5013/stat : 5013 (toysat) R 5010 5013 28898 0 -1 4202496 108396 0 0 0 133 16 0 0 20 0 4 0 26702812 1339625472 108183 33554432000 4194304 16246674 140735574584576 140735574566464 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5013/statm: 327057 108184 908 2943 0 323951 0 [pid=5013/tid=5014] ppid=5010 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5014/stat : 5014 (toysat) S 5010 5013 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26702812 1339625472 108185 33554432000 4194304 16246674 140735574584576 140130128997616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5013/tid=5015] ppid=5010 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5015/stat : 5015 (toysat) S 5010 5013 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26702812 1339625472 108186 33554432000 4194304 16246674 140735574584576 140130118507760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5013/tid=5016] ppid=5010 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26702812 1339625472 108186 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1308228 [startup+3.10041 s] /proc/loadavg: 2.22 2.20 2.11 3/183 5017 /proc/meminfo: memFree=29455888/32872528 swapFree=526336/559040 [pid=5013] ppid=5010 vsize=1308228 CPUtime=3.09 cores=1,3,5,7 /proc/5013/stat : 5013 (toysat) R 5010 5013 28898 0 -1 4202496 268262 0 0 0 270 39 0 0 20 0 4 0 26702812 1339625472 268049 33554432000 4194304 16246674 140735574584576 140735574566464 13820864 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5013/statm: 327057 268049 908 2943 0 323951 0 [pid=5013/tid=5014] ppid=5010 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5014/stat : 5014 (toysat) S 5010 5013 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26702812 1339625472 268049 33554432000 4194304 16246674 140735574584576 140130128997616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5013/tid=5015] ppid=5010 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5015/stat : 5015 (toysat) S 5010 5013 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26702812 1339625472 268049 33554432000 4194304 16246674 140735574584576 140130118507760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5013/tid=5016] ppid=5010 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26702812 1339625472 268049 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1308228 [startup+6.30043 s] /proc/loadavg: 2.21 2.19 2.11 3/183 5017 /proc/meminfo: memFree=29095304/32872528 swapFree=526336/559040 [pid=5013] ppid=5010 vsize=1308228 CPUtime=6.29 cores=1,3,5,7 /proc/5013/stat : 5013 (toysat) R 5010 5013 28898 0 -1 4202496 268262 0 0 0 590 39 0 0 20 0 4 0 26702812 1339625472 268049 33554432000 4194304 16246674 140735574584576 140735574566464 12482896 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5013/statm: 327057 268049 908 2943 0 323951 0 [pid=5013/tid=5014] ppid=5010 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5014/stat : 5014 (toysat) S 5010 5013 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26702812 1339625472 268049 33554432000 4194304 16246674 140735574584576 140130128997616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5013/tid=5015] ppid=5010 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5015/stat : 5015 (toysat) S 5010 5013 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26702812 1339625472 268049 33554432000 4194304 16246674 140735574584576 140130118507760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5013/tid=5016] ppid=5010 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26702812 1339625472 268049 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.27 2.21 2.12 3/183 5017 /proc/meminfo: memFree=29095308/32872528 swapFree=526336/559040 [pid=5013] ppid=5010 vsize=1308228 CPUtime=12.69 cores=1,3,5,7 /proc/5013/stat : 5013 (toysat) R 5010 5013 28898 0 -1 4202496 268266 0 0 0 1230 39 0 0 20 0 4 0 26702812 1339625472 268053 33554432000 4194304 16246674 140735574584576 140735574566464 5712555 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5013/statm: 327057 268053 912 2943 0 323951 0 [pid=5013/tid=5014] ppid=5010 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5014/stat : 5014 (toysat) S 5010 5013 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26702812 1339625472 268053 33554432000 4194304 16246674 140735574584576 140130128997616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5013/tid=5015] ppid=5010 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5015/stat : 5015 (toysat) S 5010 5013 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26702812 1339625472 268053 33554432000 4194304 16246674 140735574584576 140130118507760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5013/tid=5016] ppid=5010 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26702812 1339625472 268053 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.21 2.20 2.11 3/183 5017 /proc/meminfo: memFree=29086520/32872528 swapFree=526336/559040 [pid=5013] ppid=5010 vsize=1317444 CPUtime=25.49 cores=1,3,5,7 /proc/5013/stat : 5013 (toysat) R 5010 5013 28898 0 -1 4202496 270571 0 0 0 2510 39 0 0 20 0 4 0 26702812 1349062656 270358 33554432000 4194304 16246674 140735574584576 140735574566464 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5013/statm: 329361 270358 913 2943 0 326255 0 [pid=5013/tid=5014] ppid=5010 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5014/stat : 5014 (toysat) S 5010 5013 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26702812 1349062656 270358 33554432000 4194304 16246674 140735574584576 140130128997616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5013/tid=5015] ppid=5010 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5015/stat : 5015 (toysat) S 5010 5013 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26702812 1349062656 270358 33554432000 4194304 16246674 140735574584576 140130118507760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5013/tid=5016] ppid=5010 vsize=1317444 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26702812 1349062656 270358 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1317444 [startup+51.1005 s] /proc/loadavg: 2.14 2.18 2.11 3/183 5017 /proc/meminfo: memFree=29078340/32872528 swapFree=526336/559040 [pid=5013] ppid=5010 vsize=1325636 CPUtime=51.08 cores=1,3,5,7 /proc/5013/stat : 5013 (toysat) R 5010 5013 28898 0 -1 4202496 272620 0 0 0 5069 39 0 0 20 0 4 0 26702812 1357451264 272407 33554432000 4194304 16246674 140735574584576 140735574566464 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5013/statm: 331409 272407 914 2943 0 328303 0 [pid=5013/tid=5014] ppid=5010 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5014/stat : 5014 (toysat) S 5010 5013 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26702812 1357451264 272407 33554432000 4194304 16246674 140735574584576 140130128997616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5013/tid=5015] ppid=5010 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5015/stat : 5015 (toysat) S 5010 5013 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26702812 1357451264 272407 33554432000 4194304 16246674 140735574584576 140130118507760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5013/tid=5016] ppid=5010 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26702812 1357451264 272407 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1325636 [startup+102.3 s] /proc/loadavg: 2.24 2.19 2.11 3/183 5018 /proc/meminfo: memFree=29075744/32872528 swapFree=526336/559040 [pid=5013] ppid=5010 vsize=1325636 CPUtime=102.28 cores=1,3,5,7 /proc/5013/stat : 5013 (toysat) R 5010 5013 28898 0 -1 4202496 272620 0 0 0 10188 40 0 0 20 0 4 0 26702812 1357451264 272407 33554432000 4194304 16246674 140735574584576 140735574566464 6011723 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5013/statm: 331409 272407 914 2943 0 328303 0 [pid=5013/tid=5014] ppid=5010 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5014/stat : 5014 (toysat) S 5010 5013 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26702812 1357451264 272407 33554432000 4194304 16246674 140735574584576 140130128997616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5013/tid=5015] ppid=5010 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5015/stat : 5015 (toysat) S 5010 5013 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26702812 1357451264 272407 33554432000 4194304 16246674 140735574584576 140130118507760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5013/tid=5016] ppid=5010 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26702812 1357451264 272407 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1325636 ################ # More data... # ################ /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273688 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1329732 [startup+1362.3 s] /proc/loadavg: 2.12 2.15 2.09 3/183 5121 /proc/meminfo: memFree=29069116/32872528 swapFree=526336/559040 [pid=5013] ppid=5010 vsize=1329732 CPUtime=1361.9 cores=1,3,5,7 /proc/5013/stat : 5013 (toysat) R 5010 5013 28898 0 -1 4202496 273984 0 0 0 136142 48 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140735574566464 13780585 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5013/statm: 332433 273691 915 2943 0 329327 0 [pid=5013/tid=5014] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5014/stat : 5014 (toysat) S 5010 5013 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130128997616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5013/tid=5015] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5015/stat : 5015 (toysat) S 5010 5013 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130118507760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5013/tid=5016] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1329732 [startup+1422.3 s] /proc/loadavg: 2.11 2.13 2.09 3/183 5122 /proc/meminfo: memFree=29067748/32872528 swapFree=526336/559040 [pid=5013] ppid=5010 vsize=1329732 CPUtime=1421.89 cores=1,3,5,7 /proc/5013/stat : 5013 (toysat) R 5010 5013 28898 0 -1 4202496 273984 0 0 0 142141 48 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140735574566464 5754801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5013/statm: 332433 273691 915 2943 0 329327 0 [pid=5013/tid=5014] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5014/stat : 5014 (toysat) S 5010 5013 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130128997616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5013/tid=5015] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5015/stat : 5015 (toysat) S 5010 5013 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130118507760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5013/tid=5016] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1329732 [startup+1482.3 s] /proc/loadavg: 2.14 2.14 2.09 3/183 5123 /proc/meminfo: memFree=29067420/32872528 swapFree=526336/559040 [pid=5013] ppid=5010 vsize=1329732 CPUtime=1481.87 cores=1,3,5,7 /proc/5013/stat : 5013 (toysat) R 5010 5013 28898 0 -1 4202496 273984 0 0 0 148139 48 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140735574566464 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5013/statm: 332433 273691 915 2943 0 329327 0 [pid=5013/tid=5014] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5014/stat : 5014 (toysat) S 5010 5013 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130128997616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5013/tid=5015] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5015/stat : 5015 (toysat) S 5010 5013 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130118507760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5013/tid=5016] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1329732 [startup+1542.31 s] /proc/loadavg: 2.30 2.19 2.11 3/183 5125 /proc/meminfo: memFree=29066816/32872528 swapFree=526336/559040 [pid=5013] ppid=5010 vsize=1329732 CPUtime=1541.88 cores=1,3,5,7 /proc/5013/stat : 5013 (toysat) R 5010 5013 28898 0 -1 4202496 273984 0 0 0 154139 49 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140735574566464 12477921 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5013/statm: 332433 273691 915 2943 0 329327 0 [pid=5013/tid=5014] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5014/stat : 5014 (toysat) S 5010 5013 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130128997616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5013/tid=5015] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5015/stat : 5015 (toysat) S 5010 5013 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130118507760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5013/tid=5016] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1329732 [startup+1602.3 s] /proc/loadavg: 2.27 2.20 2.11 3/183 5126 /proc/meminfo: memFree=29067116/32872528 swapFree=526336/559040 [pid=5013] ppid=5010 vsize=1329732 CPUtime=1601.86 cores=1,3,5,7 /proc/5013/stat : 5013 (toysat) R 5010 5013 28898 0 -1 4202496 273984 0 0 0 160137 49 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140735574566464 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5013/statm: 332433 273691 915 2943 0 329327 0 [pid=5013/tid=5014] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5014/stat : 5014 (toysat) S 5010 5013 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130128997616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5013/tid=5015] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5015/stat : 5015 (toysat) S 5010 5013 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130118507760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5013/tid=5016] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1329732 [startup+1662.3 s] /proc/loadavg: 2.19 2.19 2.11 3/183 5127 /proc/meminfo: memFree=29066888/32872528 swapFree=526336/559040 [pid=5013] ppid=5010 vsize=1329732 CPUtime=1661.85 cores=1,3,5,7 /proc/5013/stat : 5013 (toysat) R 5010 5013 28898 0 -1 4202496 273984 0 0 0 166136 49 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140735574566464 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5013/statm: 332433 273691 915 2943 0 329327 0 [pid=5013/tid=5014] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5014/stat : 5014 (toysat) S 5010 5013 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130128997616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5013/tid=5015] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5015/stat : 5015 (toysat) S 5010 5013 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130118507760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5013/tid=5016] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1329732 [startup+1722.3 s] /proc/loadavg: 2.28 2.20 2.12 3/184 5131 /proc/meminfo: memFree=29066780/32872528 swapFree=526336/559040 [pid=5013] ppid=5010 vsize=1329732 CPUtime=1721.84 cores=1,3,5,7 /proc/5013/stat : 5013 (toysat) R 5010 5013 28898 0 -1 4202496 273984 0 0 0 172134 50 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140735574566464 5721521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5013/statm: 332433 273691 915 2943 0 329327 0 [pid=5013/tid=5014] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5014/stat : 5014 (toysat) S 5010 5013 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130128997616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5013/tid=5015] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5015/stat : 5015 (toysat) S 5010 5013 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130118507760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5013/tid=5016] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1329732 [startup+1782.3 s] /proc/loadavg: 2.25 2.19 2.11 3/183 5132 /proc/meminfo: memFree=29055016/32872528 swapFree=526336/559040 [pid=5013] ppid=5010 vsize=1329732 CPUtime=1781.83 cores=1,3,5,7 /proc/5013/stat : 5013 (toysat) R 5010 5013 28898 0 -1 4202496 273984 0 0 0 178133 50 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140735574566464 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5013/statm: 332433 273691 915 2943 0 329327 0 [pid=5013/tid=5014] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5014/stat : 5014 (toysat) S 5010 5013 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130128997616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5013/tid=5015] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5015/stat : 5015 (toysat) S 5010 5013 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130118507760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5013/tid=5016] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1329732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.20 2.18 2.11 3/183 5132 /proc/meminfo: memFree=29055500/32872528 swapFree=526336/559040 [pid=5013] ppid=5010 vsize=1329732 CPUtime=1800.03 cores=1,3,5,7 /proc/5013/stat : 5013 (toysat) R 5010 5013 28898 0 -1 4202496 273984 0 0 0 179953 50 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140735574582400 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5013/statm: 332433 273691 915 2943 0 329327 0 [pid=5013/tid=5014] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5014/stat : 5014 (toysat) S 5010 5013 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130128997616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5013/tid=5015] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5015/stat : 5015 (toysat) S 5010 5013 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130118507760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5013/tid=5016] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1329732 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 5013 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.20 2.18 2.11 3/183 5132 /proc/meminfo: memFree=29055500/32872528 swapFree=526336/559040 [pid=5013] ppid=5010 vsize=1329732 CPUtime=1800.03 cores=1,3,5,7 /proc/5013/stat : 5013 (toysat) R 5010 5013 28898 0 -1 4202496 273984 0 0 0 179953 50 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140735574582400 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5013/statm: 332433 273691 915 2943 0 329327 0 [pid=5013/tid=5014] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5014/stat : 5014 (toysat) S 5010 5013 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130128997616 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5013/tid=5015] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5015/stat : 5015 (toysat) S 5010 5013 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130118507760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5013/tid=5016] ppid=5010 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/5013/task/5016/stat : 5016 (toysat) S 5010 5013 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26702812 1361645568 273691 33554432000 4194304 16246674 140735574584576 140130108034224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1329732 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1799.54 CPU system time (s): 0.507922 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (KiB): 1329732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.54 system time used= 0.507922 maximum resident set size= 1094764 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273984 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= 353 involuntary context switches= 1834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.75728 second user time and 7.2649 second system time The end
Begin job on node106 at 2016-06-18 12:42:07 IDJOB=4105457 IDBENCH=2873 IDSOLVER=2542 FILE ID=node106/4105457-1466246527 RUNJOBID= node106-1466241787-28915 PBS_JOBID= 19918214 Free space on /tmp= 71684 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex5.r.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105457-1466246527/watcher-4105457-1466246527 -o /tmp/evaluation-result-4105457-1466246527/solver-4105457-1466246527 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105457-1466246527.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a65b7dae8af36ed37815bca4e48a5306 RANDOM SEED=1470593778 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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 : 5334.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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 : 2667.073 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 : 2667.073 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 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 : 2667.073 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 : 2667.073 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.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30167596 kB Buffers: 89596 kB Cached: 211148 kB SwapCached: 1868 kB Active: 1189048 kB Inactive: 211048 kB Active(anon): 1098700 kB Inactive(anon): 3048 kB Active(file): 90348 kB Inactive(file): 208000 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 16712 kB Writeback: 0 kB AnonPages: 1657860 kB Mapped: 10492 kB Shmem: 0 kB Slab: 612116 kB SReclaimable: 55620 kB SUnreclaim: 556496 kB KernelStack: 1448 kB PageTables: 7320 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1801428 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1120256 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= 71668 MiB End job on node106 at 2016-06-18 13:12:08