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.06 | 1800.61 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m200_500_10_10.r.opb |
| MD5SUM | 9ce5413471f93025df24c6fa43fb2680 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 51 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 39 |
| Optimality of the best value was proved | NO |
| Number of variables | 492 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 200 |
| 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 | 10 |
| Maximum length of a constraint | 10 |
| Number of terms in the objective function | 492 |
| 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 | 492 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 492 |
| Number of bits of the biggest sum of numbers | 9 |
| 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:53:14+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-4105481-1466247194.opb"] 0.00/0.01 c use --random-gen="1263477757 1690340224 4089582794 515466541 2012464539 3700930986 1575977117 726165385 236919248 2358445965 480749763 1299217994 1193898789 3587171177 531168860 2958778510 698286112 310600399 489942868 1760678470 3767695014 278120259 3446863244 3072088074 392059696 3168795068 1500098064 3028201944 146234120 2258313841 3175287339 1354553439 1072591318 3944718684 2247941458 624660552 2676650679 771253880 3373019908 3984738906 3292517014 1659826690 265169545 3762798165 486012252 343960769 1892075289 2623308744 1408489747 1782500016 3676407606 4116919284 4082431632 21183257 3501587381 1322052176 3633990274 364696657 635265091 163513564 2412781049 2268394799 1263515530 3899185717 610157389 729273580 2663019229 1466458060 801166116 2717058748 3495233200 3125950630 2835122021 1901276134 2150376937 3554139823 2828282134 2167760610 1907653466 1838811929 727553693 1620885215 1681619994 2975497100 4157798018 4257268044 3206622919 1415859762 2913121568 1416471537 4051516989 182174442 3032055348 1994607349 135222392 3512130168 3324497728 718643223 805944950 2742651593 3507410500 2463788712 936080681 1872878359 3310103597 1845992500 480036489 4211126066 2700134951 3318613996 3662655638 1172771149 2343497384 1148773558 2238113046 1550840965 1431860268 925014995 216896752 2937567187 2844828235 63731361 3443981389 1327171699 1959951243 2810005208 25168479 761172642 951454697 2251554307 555394408 2328609795 2884538456 2852366403 635263768 3104578687 4101535247 3692914843 3778022832 362466962 3970486626 2071045185 2423061990 762382779 1582463316 1053583732 3872064507 2616904306 515343311 493957192 799609089 3745826975 763431967 2827301529 2192193674 1055182316 675287701 3969743916 3292407376 626705709 1923634277 2797701421 3399530235 997171543 1109895669 3263940910 3612149380 30709275 158801206 1376479473 1942943103 720521159 3200589204 1371246386 3470735939 3482107798 3338556460 2976796914 2877794802 3176613890 1537139050 557784679 1294184389 3666073982 3950434382 807527229 2009610805 1914771305 1168124988 1023673925 1493823321 3104650926 1244713880 719002043 88286184 917119988 2601269762 4007617283 716993320 1675077657 2738392078 4031234094 2642863125 1279308750 1229429210 2029160927 451385229 2457689002 1879676227 1742534266 2007298958 1602124326 3617572943 3471965573 3446451594 2955470156 2530227218 3254527308 2056470933 2135083517 4090749551 2944842561 1965131872 743618125 1192660799 988991775 2086124103 3638990586 2210151354 2827677335 2774320007 1420261013 2746086307 2039069399 3357979987 429688138 482895088 2944962668 4200915396 4058805913 3447004662 3748964405 2738915115 3217398451 4239093121 1307337804 3669060063 2310090116 3041189399 1173864929 1753060853 1018620306 66440702 2182642662 542489412 626854452 255 362436" option to reproduce the execution 0.00/0.02 c #vars 492 0.00/0.02 c #constraints 200 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 230 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 492 | 0 | 230 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 492 0.00/0.03 c #random_decision = 4 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 o 492 0.00/0.03 c BCD2: updating upper bound: 492 -> 491 0.00/0.03 c BCD2: 0 <= obj <= 491 0.00/0.03 c BCD2: #cores=0, #unrelaxed=492, #relaxed=0, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 230 0 | 0 | 0 0.00/0.03 c 0.0s | 0 | 270 | 0 | 230 0 | 0 | 0 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 270 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.03 c lower bound updated to 1 0.00/0.03 c BCD2: 1 <= obj <= 491 0.00/0.03 c BCD2: #cores=1, #unrelaxed=482, #relaxed=10, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 230 0 | 0 | 1 0.00/0.03 c 0.0s | 0 | 342 | 0 | 230 0 | 0 | 1 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 342 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.03 c lower bound updated to 2 0.00/0.03 c BCD2: 2 <= obj <= 491 0.00/0.03 c BCD2: #cores=2, #unrelaxed=472, #relaxed=20, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 230 0 | 0 | 2 0.00/0.03 c 0.0s | 0 | 339 | 0 | 230 0 | 0 | 2 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 339 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.03 c lower bound updated to 3 0.00/0.03 c BCD2: 3 <= obj <= 491 0.00/0.03 c BCD2: #cores=3, #unrelaxed=462, #relaxed=30, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 230 0 | 0 | 3 0.00/0.03 c 0.0s | 0 | 339 | 0 | 230 0 | 0 | 3 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 339 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.03 c lower bound updated to 4 0.00/0.03 c BCD2: 4 <= obj <= 491 0.00/0.03 c BCD2: #cores=4, #unrelaxed=452, #relaxed=40, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 230 0 | 0 | 4 0.00/0.04 c 0.0s | 0 | 331 | 0 | 230 0 | 0 | 4 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 331 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.04 c lower bound updated to 5 0.00/0.04 c BCD2: 5 <= obj <= 491 0.00/0.04 c BCD2: #cores=5, #unrelaxed=442, #relaxed=50, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=6 bias=6/7 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 230 0 | 0 | 5 0.00/0.04 c 0.0s | 0 | 331 | 0 | 230 0 | 0 | 5 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 331 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.04 c lower bound updated to 6 0.00/0.04 c BCD2: 6 <= obj <= 491 0.00/0.04 c BCD2: #cores=6, #unrelaxed=432, #relaxed=60, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=7 bias=7/8 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 230 0 | 0 | 6 0.00/0.04 c 0.0s | 0 | 332 | 0 | 230 0 | 0 | 6 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 332 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.04 c lower bound updated to 7 0.00/0.04 c BCD2: 7 <= obj <= 491 0.00/0.04 c BCD2: #cores=7, #unrelaxed=422, #relaxed=70, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=8 bias=8/9 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 230 0 | 0 | 7 0.00/0.04 c 0.0s | 0 | 327 | 0 | 230 0 | 0 | 7 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 327 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.04 c lower bound updated to 8 0.00/0.04 c BCD2: 8 <= obj <= 491 0.00/0.04 c BCD2: #cores=8, #unrelaxed=412, #relaxed=80, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=9 bias=9/10 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 230 0 | 0 | 8 0.00/0.04 c 0.0s | 0 | 324 | 0 | 230 0 | 0 | 8 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 324 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.04 c lower bound updated to 9 0.00/0.04 c BCD2: 9 <= obj <= 491 0.00/0.04 c BCD2: #cores=9, #unrelaxed=402, #relaxed=90, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=10 bias=10/11 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 230 0 | 0 | 9 0.00/0.04 c 0.0s | 0 | 323 | 0 | 230 0 | 0 | 9 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 323 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.04 c lower bound updated to 10 0.00/0.04 c BCD2: 10 <= obj <= 491 0.00/0.04 c BCD2: #cores=10, #unrelaxed=392, #relaxed=100, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=11 bias=11/12 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 230 0 | 0 | 10 0.00/0.05 c 0.0s | 0 | 320 | 0 | 230 0 | 0 | 10 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 320 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.05 c lower bound updated to 11 0.00/0.05 c BCD2: 11 <= obj <= 491 0.00/0.05 c BCD2: #cores=11, #unrelaxed=382, #relaxed=110, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=12 bias=12/13 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 230 0 | 0 | 11 0.00/0.05 c 0.0s | 0 | 315 | 0 | 230 0 | 0 | 11 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 315 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.05 c lower bound updated to 12 0.00/0.05 c BCD2: 12 <= obj <= 491 0.00/0.05 c BCD2: #cores=12, #unrelaxed=372, #relaxed=120, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=13 bias=13/14 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 230 0 | 0 | 12 0.00/0.05 c 0.0s | 0 | 319 | 0 | 230 0 | 0 | 12 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 319 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.05 c lower bound updated to 13 0.00/0.05 c BCD2: 13 <= obj <= 491 0.00/0.05 c BCD2: #cores=13, #unrelaxed=362, #relaxed=130, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=14 bias=14/15 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 230 0 | 0 | 13 0.00/0.05 c 0.0s | 0 | 325 | 0 | 230 0 | 0 | 13 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 325 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.05 c lower bound updated to 14 0.00/0.05 c BCD2: 14 <= obj <= 491 0.00/0.05 c BCD2: #cores=14, #unrelaxed=352, #relaxed=140, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=15 bias=15/16 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 230 0 | 0 | 14 0.00/0.05 c 0.0s | 0 | 327 | 0 | 230 0 | 0 | 14 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 327 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.05 c lower bound updated to 15 0.00/0.05 c BCD2: 15 <= obj <= 491 0.00/0.05 c BCD2: #cores=15, #unrelaxed=342, #relaxed=150, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=16 bias=16/17 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 230 0 | 0 | 15 0.00/0.05 c 0.0s | 0 | 320 | 0 | 230 0 | 0 | 15 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 320 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.05 c lower bound updated to 16 0.00/0.05 c BCD2: 16 <= obj <= 491 0.00/0.05 c BCD2: #cores=16, #unrelaxed=332, #relaxed=160, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=17 bias=17/18 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 230 0 | 0 | 16 0.00/0.06 c 0.0s | 0 | 318 | 0 | 230 0 | 0 | 16 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 318 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.06 c lower bound updated to 17 0.00/0.06 c BCD2: 17 <= obj <= 491 0.00/0.06 c BCD2: #cores=17, #unrelaxed=322, #relaxed=170, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=18 bias=18/19 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 230 0 | 0 | 17 0.00/0.06 c 0.0s | 0 | 320 | 0 | 230 0 | 0 | 17 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 320 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.06 c lower bound updated to 18 0.00/0.06 c BCD2: 18 <= obj <= 491 0.00/0.06 c BCD2: #cores=18, #unrelaxed=312, #relaxed=180, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=19 bias=19/20 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 230 0 | 0 | 18 0.00/0.06 c 0.0s | 0 | 323 | 0 | 230 0 | 0 | 18 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 323 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 10: cost of the new core is >=1 0.00/0.06 c lower bound updated to 19 0.00/0.06 c BCD2: 19 <= obj <= 491 0.00/0.06 c BCD2: #cores=19, #unrelaxed=302, #relaxed=190, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=20 bias=20/21 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 230 0 | 0 | 19 0.00/0.06 c 0.0s | 0 | 462 | 0 | 230 0 | 0 | 19 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 462 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 o 66 0.00/0.06 c BCD2: updating upper bound: 491 -> 65 0.00/0.06 c BCD2: 19 <= obj <= 65 0.00/0.06 c BCD2: #cores=19, #unrelaxed=302, #relaxed=190, #hardened=0 0.00/0.06 c BCD2: #sat=2 #unsat=20 bias=20/22 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 230 0 | 0 | 20 0.00/0.07 c 0.0s | 0 | 448 | 13 | 230 0 | 0 | 20 0.00/0.07 c #cpu_time = 0.003s 0.00/0.07 c #wall_clock_time = 0.003s 0.00/0.07 c #decision = 448 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 13 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: relaxing 218 and merging with 16 cores into a new core of size 378: cost of the new core is >=17 0.00/0.07 c lower bound updated to 20 0.00/0.07 c BCD2: 20 <= obj <= 65 0.00/0.07 c BCD2: #cores=4, #unrelaxed=84, #relaxed=408, #hardened=0 0.00/0.07 c BCD2: #sat=2 #unsat=21 bias=21/23 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 230 0 | 40 | 20 0.08/0.10 c 0.0s | 1 | 623 | 100 | 254 0 | 40 | 84 0.08/0.18 c 0.1s | 2 | 1411 | 250 | 280 0 | 40 | 84 0.19/0.26 c 0.2s | 2 | 2126 | 373 | 280 0 | 40 | 84 0.19/0.26 c #cpu_time = 0.187s 0.19/0.26 c #wall_clock_time = 0.187s 0.19/0.26 c #decision = 2126 0.19/0.26 c #random_decision = 6 0.19/0.26 c #conflict = 373 0.19/0.26 c #restart = 2 0.19/0.26 o 60 0.19/0.26 c BCD2: updating upper bound: 65 -> 59 0.19/0.26 c BCD2: 20 <= obj <= 59 0.19/0.26 c BCD2: #cores=4, #unrelaxed=84, #relaxed=408, #hardened=0 0.19/0.26 c BCD2: #sat=3 #unsat=21 bias=21/24 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 | 280 0 | 40 | 85 0.28/0.31 c 0.0s | 1 | 590 | 100 | 308 1 | 40 | 85 0.28/0.37 c 0.1s | 2 | 1218 | 250 | 308 1 | 40 | 85 0.38/0.46 c 0.2s | 3 | 2035 | 475 | 339 2 | 40 | 85 0.48/0.59 c 0.3s | 4 | 3078 | 813 | 339 4 | 40 | 85 0.68/0.78 c 0.5s | 5 | 4467 | 1320 | 373 5 | 40 | 85 0.98/1.06 c 0.8s | 6 | 6492 | 2081 | 411 8 | 40 | 85 1.48/1.50 c 1.2s | 7 | 9787 | 3223 | 453 12 | 40 | 85 1.88/1.96 c 1.7s | 8 | 14582 | 4936 | 499 17 | 40 | 85 2.58/2.66 c 2.4s | 9 | 22182 | 7506 | 549 25 | 40 | 85 3.68/3.70 c 3.4s | 10 | 32448 | 11361 | 604 35 | 40 | 85 5.18/5.28 c 5.0s | 11 | 47892 | 17144 | 665 50 | 40 | 85 7.18/7.29 c 7.0s | 11 | 66941 | 24444 | 665 68 | 40 | 85 7.58/7.66 c 7.4s | 12 | 70698 | 25819 | 732 71 | 40 | 85 9.58/9.67 c 9.4s | 12 | 88754 | 33019 | 732 87 | 40 | 85 11.28/11.34 c 11.1s | 13 | 104680 | 38832 | 806 99 | 40 | 85 13.29/13.36 c 13.1s | 13 | 126664 | 46132 | 806 114 | 40 | 85 15.29/15.37 c 15.1s | 13 | 147258 | 53432 | 806 129 | 40 | 85 16.79/16.80 c 16.5s | 14 | 161081 | 58352 | 887 139 | 40 | 85 18.79/18.81 c 18.5s | 14 | 181185 | 65452 | 887 153 | 40 | 85 20.79/20.84 c 20.6s | 14 | 201160 | 72552 | 887 166 | 40 | 85 22.79/22.85 c 22.6s | 14 | 219931 | 79552 | 887 180 | 40 | 85 24.79/24.85 c 24.6s | 14 | 238775 | 86452 | 887 193 | 40 | 85 25.09/25.19 c 24.9s | 15 | 241775 | 87632 | 976 195 | 40 | 85 27.18/27.20 c 26.9s | 15 | 260687 | 94432 | 976 207 | 40 | 85 29.18/29.22 c 29.0s | 15 | 280881 | 101232 | 976 218 | 40 | 85 31.18/31.22 c 31.0s | 15 | 300537 | 108132 | 976 231 | 40 | 85 33.18/33.22 c 33.0s | 15 | 317820 | 114732 | 976 242 | 40 | 85 35.19/35.24 c 35.0s | 15 | 336836 | 121632 | 976 254 | 40 | 85 37.18/37.25 c 37.0s | 15 | 354457 | 128132 | 976 266 | 40 | 85 38.18/38.30 c 38.0s | 16 | 363194 | 131552 | 1074 271 | 40 | 85 40.28/40.30 c 40.0s | 16 | 380747 | 137952 | 1074 282 | 40 | 85 42.28/42.32 c 42.1s | 16 | 399038 | 144752 | 1074 292 | 40 | 85 44.28/44.32 c 44.1s | 16 | 418579 | 151452 | 1074 303 | 40 | 85 46.29/46.33 c 46.1s | 16 | 437374 | 158352 | 1074 314 | 40 | 85 48.28/48.35 c 48.1s | 16 | 457147 | 165252 | 1074 326 | 40 | 85 50.28/50.35 c 50.1s | 16 | 475950 | 171952 | 1074 336 | 40 | 85 52.28/52.35 c 52.1s | 16 | 494643 | 178652 | 1074 347 | 40 | 85 54.28/54.36 c 54.1s | 16 | 512181 | 185152 | 1074 358 | 40 | 85 56.28/56.37 c 56.1s | 16 | 530228 | 191752 | 1074 368 | 40 | 85 57.98/58.09 c 57.8s | 17 | 547302 | 197432 | 1182 377 | 40 | 85 59.98/60.10 c 59.8s | 17 | 567615 | 204232 | 1182 387 | 40 | 85 62.08/62.11 c 61.8s | 17 | 586119 | 210932 | 1182 397 | 40 | 85 64.08/64.12 c 63.9s | 17 | 604075 | 217532 | 1182 407 | 40 | 85 66.08/66.13 c 65.9s | 17 | 622882 | 224332 | 1182 417 | 40 | 85 68.07/68.14 c 67.9s | 17 | 640997 | 230932 | 1182 427 | 40 | 85 70.07/70.15 c 69.9s | 17 | 657915 | 237332 | 1182 436 | 40 | 85 72.07/72.15 c 71.9s | 17 | 674752 | 243832 | 1182 446 | 40 | 85 74.07/74.18 c 73.9s | 17 | 693106 | 250432 | 1182 456 | 40 | 85 76.17/76.21 c 76.0s | 17 | 712013 | 257132 | 1182 466 | 40 | 85 78.18/78.22 c 78.0s | 17 | 729766 | 263632 | 1182 475 | 40 | 85 80.17/80.23 c 80.0s | 17 | 746818 | 269932 | 1182 485 | 40 | 85 82.17/82.23 c 82.0s | 17 | 763910 | 276232 | 1182 494 | 40 | 85 84.17/84.25 c 84.0s | 17 | 782782 | 282532 | 1182 503 | 40 | 85 86.17/86.27 c 86.0s | 17 | 802939 | 289332 | 1182 513 | 40 | 85 88.17/88.28 c 88.0s | 17 | 822785 | 295932 | 1301 523 | 40 | 85 88.27/88.37 c 88.1s | 18 | 823777 | 296252 | 1301 523 | 40 | 85 90.28/90.38 c 90.1s | 18 | 840852 | 302752 | 1301 532 | 40 | 85 92.27/92.38 c 92.1s | 18 | 857129 | 309352 | 1301 541 | 40 | 85 94.27/94.38 c 94.1s | 18 | 876061 | 316252 | 1301 550 | 40 | 85 96.27/96.39 c 96.1s | 18 | 891805 | 322952 | 1301 559 | 40 | 85 98.37/98.40 c 98.1s | 18 | 910880 | 329652 | 1301 568 | 40 | 85 100.36/100.41 c 100s | 18 | 928588 | 336352 | 1301 577 | 40 | 85 102.37/102.42 c 102s | 18 | 946994 | 342852 | 1301 586 | 40 | 85 104.36/104.44 c 104s | 18 | 964708 | 349252 | 1301 595 | 40 | 85 106.36/106.45 c 106s | 18 | 982558 | 355652 | 1301 604 | 40 | 85 108.36/108.48 c 108s | 18 | 1000009 | 361852 | 1301 612 | 40 | 85 110.46/110.51 c 110s | 18 | 1018588 | 368552 | 1301 621 | 40 | 85 112.46/112.53 c 112s | 18 | 1037810 | 375352 | 1301 630 | 40 | 85 114.47/114.53 c 114s | 18 | 1057015 | 382052 | 1301 639 | 40 | 85 116.46/116.54 c 116s | 18 | 1075911 | 388852 | 1301 649 | 40 | 85 118.46/118.57 c 118s | 18 | 1094473 | 395252 | 1301 657 | 40 | 85 120.47/120.57 c 120s | 18 | 1110602 | 401552 | 1301 666 | 40 | 85 122.57/122.60 c 122s | 18 | 1127675 | 408052 | 1301 675 | 40 | 85 124.57/124.60 c 124s | 18 | 1143980 | 414352 | 1301 683 | 40 | 85 126.57/126.62 c 126s | 18 | 1160205 | 420652 | 1301 692 | 40 | 85 128.57/128.62 c 128s | 18 | 1176836 | 426852 | 1301 700 | 40 | 85 130.57/130.63 c 130s | 18 | 1194101 | 433452 | 1301 709 | 40 | 85 132.57/132.63 c 132s | 18 | 1211188 | 439852 | 1301 718 | 40 | 85 134.07/134.13 c 133s | 19 | 1222929 | 444482 | 1432 724 | 40 | 85 136.07/136.13 c 135s | 19 | 1241458 | 450982 | 1432 732 | 40 | 85 138.06/138.14 c 137s | 19 | 1257938 | 457482 | 1432 740 | 40 | 85 140.06/140.14 c 139s | 19 | 1276471 | 464082 | 1432 748 | 40 | 85 142.06/142.15 c 141s | 19 | 1293965 | 470682 | 1432 756 | 40 | 85 144.07/144.18 c 143s | 19 | 1311799 | 477382 | 1432 765 | 40 | 85 146.06/146.19 c 145s | 19 | 1329223 | 483782 | 1432 773 | 40 | 85 148.16/148.21 c 147s | 19 | 1345928 | 490182 | 1432 781 | 40 | 85 150.16/150.22 c 149s | 19 | 1363128 | 496582 | 1432 788 | 40 | 85 152.16/152.25 c 151s | 19 | 1380558 | 503082 | 1432 797 | 40 | 85 154.16/154.27 c 154s | 19 | 1398263 | 509482 | 1432 805 | 40 | 85 156.17/156.28 c 156s | 19 | 1416163 | 515882 | 1432 812 | 40 | 85 158.16/158.29 c 158s | 19 | 1432923 | 522282 | 1432 820 | 40 | 85 160.26/160.32 c 160s | 19 | 1451123 | 528682 | 1432 828 | 40 | 85 162.26/162.33 c 162s | 19 | 1470337 | 535282 | 1432 837 | 40 | 85 164.26/164.35 c 164s | 19 | 1487566 | 542182 | 1432 845 | 40 | 85 166.26/166.35 c 166s | 19 | 1507594 | 548682 | 1432 853 | 40 | 85 168.26/168.37 c 168s | 19 | 1526259 | 555182 | 1432 861 | 40 | 85 170.26/170.38 c 170s | 19 | 1543699 | 561682 | 1432 870 | 40 | 85 172.26/172.39 c 172s | 19 | 1561209 | 568082 | 1432 877 | 40 | 85 174.25/174.39 c 174s | 19 | 1579026 | 574482 | 1432 885 | 40 | 85 176.35/176.43 c 176s | 19 | 1597368 | 580982 | 1432 894 | 40 | 85 178.35/178.45 c 178s | 19 | 1615025 | 587382 | 1432 902 | 40 | 85 180.36/180.48 c 180s | 19 | 1632847 | 593782 | 1432 910 | 40 | 85 182.45/182.51 c 182s | 19 | 1649664 | 600282 | 1432 918 | 40 | 85 184.45/184.51 c 184s | 19 | 1666133 | 606682 | 1432 926 | 40 | 85 186.45/186.52 c 186s | 19 | 1681655 | 613182 | 1432 934 | 40 | 85 188.45/188.53 c 188s | 19 | 1699893 | 619782 | 1432 942 | 40 | 85 190.45/190.54 c 190s | 19 | 1717449 | 626582 | 1432 950 | 40 | 85 192.46/192.56 c 192s | 19 | 1733185 | 632882 | 1432 958 | 40 | 85 194.45/194.59 c 194s | 19 | 1749211 | 639182 | 1432 966 | 40 | 85 196.45/196.59 c 196s | 19 | 1764363 | 645182 | 1432 973 | 40 | 85 198.55/198.64 c 198s | 19 | 1780615 | 651282 | 1432 981 | 40 | 85 200.55/200.66 c 200s | 19 | 1796924 | 657382 | 1432 989 | 40 | 85 202.55/202.68 c 202s | 19 | 1813737 | 663682 | 1576 996 | 40 | 85 203.56/203.68 c 203s | 20 | 1821972 | 666827 | 1576 1000 | 40 | 85 205.55/205.69 c 205s | 20 | 1837997 | 673227 | 1576 1007 | 40 | 85 207.65/207.71 c 207s | 20 | 1856294 | 680027 | 1576 1015 | 40 | 85 209.65/209.72 c 209s | 20 | 1873227 | 686527 | 1576 1022 | 40 | 85 211.65/211.75 c 211s | 20 | 1891631 | 692927 | 1576 1030 | 40 | 85 213.65/213.76 c 213s | 20 | 1908038 | 699227 | 1576 1037 | 40 | 85 215.66/215.77 c 215s | 20 | 1924941 | 705427 | 1576 1044 | 40 | 85 217.66/217.80 c 217s | 20 | 1942458 | 711827 | 1576 1051 | 40 | 85 219.76/219.82 c 219s | 20 | 1957988 | 717827 | 1576 1058 | 40 | 85 221.75/221.84 c 221s | 20 | 1975331 | 724127 | 1576 1065 | 40 | 85 223.75/223.86 c 223s | 20 | 1993043 | 730727 | 1576 1073 | 40 | 85 225.75/225.89 c 225s | 20 | 2010627 | 737027 | 1576 1080 | 40 | 85 227.85/227.91 c 227s | 20 | 2028476 | 743227 | 1576 1087 | 40 | 85 229.86/229.94 c 229s | 20 | 2044904 | 749327 | 1576 1094 | 40 | 85 231.85/231.96 c 231s | 20 | 2063010 | 755627 | 1576 1101 | 40 | 85 233.85/233.97 c 233s | 20 | 2080712 | 761827 | 1576 1108 | 40 | 85 235.85/235.97 c 235s | 20 | 2096905 | 767827 | 1576 1115 | 40 | 85 237.95/238.00 c 237s | 20 | 2114917 | 773927 | 1576 1122 | 40 | 85 239.95/240.00 c 239s | 20 | 2132529 | 780327 | 1576 1129 | 40 | 85 241.96/242.00 c 241s | 20 | 2148248 | 786627 | 1576 1137 | 40 | 85 243.95/244.03 c 243s | 20 | 2165397 | 792827 | 1576 1144 | 40 | 85 245.95/246.05 c 245s | 20 | 2183792 | 799327 | 1576 1151 | 40 | 85 247.95/248.06 c 247s | 20 | 2201191 | 805627 | 1576 1158 | 40 | 85 249.95/250.08 c 249s | 20 | 2218308 | 811927 | 1576 1165 | 40 | 85 252.05/252.11 c 251s | 20 | 2236385 | 818227 | 1576 1173 | 40 | 85 254.05/254.11 c 253s | 20 | 2253645 | 824227 | 1576 1180 | 40 | 85 256.05/256.14 c 255s | 20 | 2269899 | 830327 | 1576 1186 | 40 | 85 258.05/258.16 c 257s | 20 | 2286475 | 836527 | 1576 1194 | 40 | 85 260.05/260.19 c 259s | 20 | 2303292 | 842627 | 1576 1201 | 40 | 85 262.15/262.22 c 261s | 20 | 2319070 | 848727 | 1576 1208 | 40 | 85 264.14/264.24 c 263s | 20 | 2337391 | 854927 | 1576 1215 | 40 | 85 266.15/266.27 c 266s | 20 | 2354487 | 860827 | 1576 1221 | 40 | 85 268.14/268.27 c 268s | 20 | 2371461 | 866627 | 1576 1228 | 40 | 85 270.14/270.27 c 270s | 20 | 2388068 | 872427 | 1576 1235 | 40 | 85 272.24/272.30 c 272s | 20 | 2404194 | 878427 | 1576 1241 | 40 | 85 274.24/274.32 c 274s | 20 | 2421094 | 884427 | 1576 1248 | 40 | 85 276.24/276.34 c 276s | 20 | 2437824 | 890427 | 1576 1255 | 40 | 85 278.25/278.35 c 278s | 20 | 2456299 | 896827 | 1576 1263 | 40 | 85 280.24/280.38 c 280s | 20 | 2473594 | 903227 | 1576 1270 | 40 | 85 282.24/282.39 c 282s | 20 | 2489803 | 909327 | 1576 1277 | 40 | 85 284.34/284.41 c 284s | 20 | 2506445 | 915427 | 1576 1284 | 40 | 85 286.34/286.44 c 286s | 20 | 2523159 | 921627 | 1576 1291 | 40 | 85 288.34/288.47 c 288s | 20 | 2540302 | 927827 | 1576 1298 | 40 | 85 290.35/290.48 c 290s | 20 | 2555542 | 934227 | 1576 1305 | 40 | 85 292.44/292.50 c 292s | 20 | 2571779 | 940627 | 1576 1313 | 40 | 85 294.44/294.53 c 294s | 20 | 2589699 | 946827 | 1576 1320 | 40 | 85 296.44/296.56 c 296s | 20 | 2608028 | 952927 | 1576 1327 | 40 | 85 298.44/298.57 c 298s | 20 | 2623709 | 958827 | 1576 1333 | 40 | 85 300.44/300.57 c 300s | 20 | 2641198 | 964927 | 1576 1340 | 40 | 85 302.44/302.58 c 302s | 20 | 2657432 | 970727 | 1576 1347 | 40 | 85 304.44/304.58 c 304s | 20 | 2673774 | 976527 | 1576 1354 | 40 | 85 306.44/306.59 c 306s | 20 | 2690817 | 982827 | 1576 1361 | 40 | 85 308.54/308.61 c 308s | 20 | 2707023 | 989227 | 1576 1368 | 40 | 85 310.53/310.63 c 310s | 20 | 2723583 | 995527 | 1734 1375 | 40 | 85 312.03/312.18 c 311s | 21 | 2737615 | 1000345 | 1734 1380 | 40 | 85 314.13/314.20 c 313s | 21 | 2755247 | 1006645 | 1734 1387 | 40 | 85 316.13/316.20 c 315s | 21 | 2772507 | 1012945 | 1734 1393 | 40 | 85 318.14/318.20 c 317s | 21 | 2791646 | 1019545 | 1734 1400 | 40 | 85 320.15/320.23 c 319s | 21 | 2810014 | 1026345 | 1734 1407 | 40 | 85 322.14/322.25 c 321s | 21 | 2828424 | 1032745 | 1734 1414 | 40 | 85 324.14/324.28 c 324s | 21 | 2846781 | 1039145 | 1734 1421 | 40 | 85 326.14/326.30 c 326s | 21 | 2864371 | 1045545 | 1734 1427 | 40 | 85 328.24/328.32 c 328s | 21 | 2880394 | 1051745 | 1734 1434 | 40 | 85 330.24/330.33 c 330s | 21 | 2898539 | 1057945 | 1734 1440 | 40 | 85 332.24/332.36 c 332s | 21 | 2916690 | 1064245 | 1734 1447 | 40 | 85 334.24/334.36 c 334s | 21 | 2935569 | 1070445 | 1734 1453 | 40 | 85 336.24/336.39 c 336s | 21 | 2951677 | 1076545 | 1734 1460 | 40 | 85 338.34/338.40 c 338s | 21 | 2968669 | 1082445 | 1734 1466 | 40 | 85 340.34/340.42 c 340s | 21 | 2983484 | 1088445 | 1734 1472 | 40 | 85 342.33/342.44 c 342s | 21 | 2998655 | 1094445 | 1734 1478 | 40 | 85 344.34/344.46 c 344s | 21 | 3015085 | 1100445 | 1734 1485 | 40 | 85 346.33/346.46 c 346s | 21 | 3031240 | 1106445 | 1734 1491 | 40 | 85 348.33/348.48 c 348s | 21 | 3048700 | 1112345 | 1734 1497 | 40 | 85 350.33/350.48 c 350s | 21 | 3065069 | 1118345 | 1734 1503 | 40 | 85 352.33/352.49 c 352s | 21 | 3082207 | 1124445 | 1734 1510 | 40 | 85 354.43/354.52 c 354s | 21 | 3100578 | 1130845 | 1734 1517 | 40 | 85 356.43/356.53 c 356s | 21 | 3118470 | 1137045 | 1734 1523 | 40 | 85 358.43/358.56 c 358s | 21 | 3137123 | 1143245 | 1734 1530 | 40 | 85 360.43/360.58 c 360s | 21 | 3154197 | 1149345 | 1734 1536 | 40 | 85 362.53/362.61 c 362s | 21 | 3171413 | 1155445 | 1734 1542 | 40 | 85 364.53/364.63 c 364s | 21 | 3187532 | 1161345 | 1734 1548 | 40 | 85 366.53/366.65 c 366s | 21 | 3205451 | 1167645 | 1734 1555 | 40 | 85 368.53/368.68 c 368s | 21 | 3221949 | 1173945 | 1734 1562 | 40 | 85 370.63/370.71 c 370s | 21 | 3236668 | 1179845 | 1734 1568 | 40 | 85 372.62/372.72 c 372s | 21 | 3254285 | 1186145 | 1734 1574 | 40 | 85 374.62/374.74 c 374s | 21 | 3270114 | 1191945 | 1734 1580 | 40 | 85 376.62/376.75 c 376s | 21 | 3287846 | 1197945 | 1734 1587 | 40 | 85 378.62/378.78 c 378s | 21 | 3304485 | 1203945 | 1734 1593 | 40 | 85 380.72/380.80 c 380s | 21 | 3321358 | 1209845 | 1734 1599 | 40 | 85 382.73/382.81 c 382s | 21 | 3338295 | 1216045 | 1734 1606 | 40 | 85 384.72/384.81 c 384s | 21 | 3354852 | 1222145 | 1734 1612 | 40 | 85 386.72/386.85 c 386s | 21 | 3374072 | 1228245 | 1734 1619 | 40 | 85 388.72/388.87 c 388s | 21 | 3389902 | 1234245 | 1734 1625 | 40 | 85 390.72/390.88 c 390s | 21 | 3405765 | 1240145 | 1734 1631 | 40 | 85 392.73/392.89 c 392s | 21 | 3423192 | 1246045 | 1734 1637 | 40 | 85 394.72/394.89 c 394s | 21 | 3440385 | 1252045 | 1734 1643 | 40 | 85 396.82/396.92 c 396s | 21 | 3455843 | 1258045 | 1734 1650 | 40 | 85 398.82/398.95 c 398s | 21 | 3472207 | 1264245 | 1734 1656 | 40 | 85 400.82/400.95 c 400s | 21 | 3489349 | 1270545 | 1734 1663 | 40 | 85 402.82/402.97 c 402s | 21 | 3506451 | 1276745 | 1734 1669 | 40 | 85 404.92/405.00 c 404s | 21 | 3523122 | 1282645 | 1734 1676 | 40 | 85 406.93/407.02 c 406s | 21 | 3539068 | 1288445 | 1734 1682 | 40 | 85 408.92/409.04 c 408s | 21 | 3555192 | 1294345 | 1734 1688 | 40 | 85 410.92/411.05 c 410s | 21 | 3572812 | 1300445 | 1734 1694 | 40 | 85 412.92/413.08 c 412s | 21 | 3591581 | 1306745 | 1734 1701 | 40 | 85 414.92/415.09 c 414s | 21 | 3608716 | 1312745 | 1734 1707 | 40 | 85 417.02/417.11 c 416s | 21 | 3625803 | 1318945 | 1734 1714 | 40 | 85 419.02/419.13 c 418s | 21 | 3642281 | 1325045 | 1734 1720 | 40 | 85 421.02/421.14 c 420s | 21 | 3658855 | 1330945 | 1734 1726 | 40 | 85 423.02/423.16 c 422s | 21 | 3676090 | 1337145 | 1734 1733 | 40 | 85 425.02/425.18 c 424s | 21 | 3693510 | 1343145 | 1734 1739 | 40 | 85 427.12/427.21 c 426s | 21 | 3712093 | 1349445 | 1734 1746 | 40 | 85 429.12/429.24 c 428s | 21 | 3727974 | 1355645 | 1734 1752 | 40 | 85 431.13/431.24 c 430s | 21 | 3744438 | 1361545 | 1734 1758 | 40 | 85 433.12/433.25 c 432s | 21 | 3761392 | 1367545 | 1734 1765 | 40 | 85 435.12/435.28 c 435s | 21 | 3778833 | 1373845 | 1734 1771 | 40 | 85 437.12/437.28 c 437s | 21 | 3794311 | 1380145 | 1734 1778 | 40 | 85 439.22/439.31 c 439s | 21 | 3812100 | 1385945 | 1734 1784 | 40 | 85 441.22/441.32 c 441s | 21 | 3829957 | 1392045 | 1734 1790 | 40 | 85 443.23/443.33 c 443s | 21 | 3845837 | 1398145 | 1734 1797 | 40 | 85 445.22/445.36 c 445s | 21 | 3861807 | 1403945 | 1734 1803 | 40 | 85 447.22/447.37 c 447s | 21 | 3878072 | 1409745 | 1734 1809 | 40 | 85 449.32/449.40 c 449s | 21 | 3893319 | 1415545 | 1734 1815 | 40 | 85 451.32/451.42 c 451s | 21 | 3908760 | 1421345 | 1734 1821 | 40 | 85 453.32/453.43 c 453s | 21 | 3926319 | 1427045 | 1734 1827 | 40 | 85 455.32/455.45 c 455s | 21 | 3942999 | 1432745 | 1734 1833 | 40 | 85 457.32/457.47 c 457s | 21 | 3958125 | 1438545 | 1734 1839 | 40 | 85 459.31/459.48 c 459s | 21 | 3974106 | 1444445 | 1734 1845 | 40 | 85 461.41/461.51 c 461s | 21 | 3990853 | 1450645 | 1734 1852 | 40 | 85 463.41/463.52 c 463s | 21 | 4006817 | 1456545 | 1734 1858 | 40 | 85 465.41/465.55 c 465s | 21 | 4025299 | 1462845 | 1734 1864 | 40 | 85 467.42/467.56 c 467s | 21 | 4041254 | 1468945 | 1734 1871 | 40 | 85 469.41/469.57 c 469s | 21 | 4056378 | 1475045 | 1734 1877 | 40 | 85 471.51/471.60 c 471s | 21 | 4074095 | 1481145 | 1734 1884 | 40 | 85 473.51/473.62 c 473s | 21 | 4090354 | 1486945 | 1734 1890 | 40 | 85 475.51/475.64 c 475s | 21 | 4106765 | 1493145 | 1908 1896 | 40 | 85 477.51/477.65 c 477s | 21 | 4123405 | 1498945 | 1908 1901 | 40 | 85 478.01/478.17 c 477s | 22 | 4128143 | 1500622 | 1908 1903 | 40 | 85 480.01/480.17 c 479s | 22 | 4144476 | 1506322 | 1908 1908 | 40 | 85 482.01/482.17 c 481s | 22 | 4162611 | 1512522 | 1908 1914 | 40 | 85 484.11/484.20 c 483s | 22 | 4179360 | 1518722 | 1908 1920 | 40 | 85 486.12/486.21 c 485s | 22 | 4194572 | 1524822 | 1908 1926 | 40 | 85 488.11/488.23 c 487s | 22 | 4212069 | 1530822 | 1908 1932 | 40 | 85 490.11/490.24 c 489s | 22 | 4228868 | 1536922 | 1908 1938 | 40 | 85 492.11/492.28 c 492s | 22 | 4246084 | 1543022 | 1908 1944 | 40 | 85 494.10/494.28 c 494s | 22 | 4263707 | 1549122 | 1908 1949 | 40 | 85 496.11/496.29 c 496s | 22 | 4278691 | 1554922 | 1908 1955 | 40 | 85 498.11/498.29 c 498s | 22 | 4297154 | 1561022 | 1908 1961 | 40 | 85 500.21/500.32 c 500s | 22 | 4314032 | 1567022 | 1908 1967 | 40 | 85 502.21/502.33 c 502s | 22 | 4330758 | 1573022 | 1908 1972 | 40 | 85 504.21/504.33 c 504s | 22 | 4348327 | 1578922 | 1908 1978 | 40 | 85 506.21/506.37 c 506s | 22 | 4365626 | 1585022 | 1908 1984 | 40 | 85 508.22/508.39 c 508s | 22 | 4382872 | 1590922 | 1908 1989 | 40 | 85 510.32/510.41 c 510s | 22 | 4400145 | 1596822 | 1908 1995 | 40 | 85 512.31/512.44 c 512s | 22 | 4417443 | 1602722 | 1908 2001 | 40 | 85 514.31/514.45 c 514s | 22 | 4435725 | 1608622 | 1908 2006 | 40 | 85 516.31/516.47 c 516s | 22 | 4453226 | 1614322 | 1908 2012 | 40 | 85 518.41/518.50 c 518s | 22 | 4470340 | 1620122 | 1908 2018 | 40 | 85 520.41/520.51 c 520s | 22 | 4487893 | 1626022 | 1908 2023 | 40 | 85 522.42/522.52 c 522s | 22 | 4504982 | 1632022 | 1908 2029 | 40 | 85 524.41/524.53 c 524s | 22 | 4521696 | 1638322 | 1908 2035 | 40 | 85 526.41/526.55 c 526s | 22 | 4537313 | 1644422 | 1908 2041 | 40 | 85 528.41/528.55 c 528s | 22 | 4552386 | 1650322 | 1908 2046 | 40 | 85 530.41/530.58 c 530s | 22 | 4569776 | 1656722 | 1908 2053 | 40 | 85 532.51/532.61 c 532s | 22 | 4585250 | 1663022 | 1908 2059 | 40 | 85 534.51/534.62 c 534s | 22 | 4603553 | 1669122 | 1908 2064 | 40 | 85 536.51/536.65 c 536s | 22 | 4620903 | 1675222 | 1908 2070 | 40 | 85 538.51/538.68 c 538s | 22 | 4637130 | 1681122 | 1908 2076 | 40 | 85 540.51/540.69 c 540s | 22 | 4654269 | 1687122 | 1908 2082 | 40 | 85 542.61/542.71 c 542s | 22 | 4667366 | 1692922 | 1908 2087 | 40 | 85 544.61/544.72 c 544s | 22 | 4682597 | 1698722 | 1908 2093 | 40 | 85 546.61/546.74 c 546s | 22 | 4697959 | 1704622 | 1908 2099 | 40 | 85 548.61/548.76 c 548s | 22 | 4715021 | 1710722 | 1908 2104 | 40 | 85 550.60/550.77 c 550s | 22 | 4730673 | 1716722 | 1908 2110 | 40 | 85 552.60/552.78 c 552s | 22 | 4744476 | 1722322 | 1908 2116 | 40 | 85 554.60/554.79 c 554s | 22 | 4760700 | 1728222 | 1908 2121 | 40 | 85 556.70/556.81 c 556s | 22 | 4779258 | 1734322 | 1908 2127 | 40 | 85 558.71/558.83 c 558s | 22 | 4797447 | 1740622 | 1908 2133 | 40 | 85 560.70/560.85 c 560s | 22 | 4814348 | 1746222 | 1908 2138 | 40 | 85 562.70/562.86 c 562s | 22 | 4831849 | 1752322 | 1908 2144 | 40 | 85 564.70/564.86 c 564s | 22 | 4848401 | 1758122 | 1908 2150 | 40 | 85 566.70/566.89 c 566s | 22 | 4865140 | 1763922 | 1908 2155 | 40 | 85 568.80/568.91 c 568s | 22 | 4881069 | 1769622 | 1908 2161 | 40 | 85 570.81/570.93 c 570s | 22 | 4896906 | 1775522 | 1908 2167 | 40 | 85 572.80/572.95 c 572s | 22 | 4913722 | 1781222 | 1908 2172 | 40 | 85 574.80/574.98 c 574s | 22 | 4929637 | 1787222 | 1908 2178 | 40 | 85 576.90/577.01 c 576s | 22 | 4945629 | 1793022 | 1908 2184 | 40 | 85 578.90/579.01 c 578s | 22 | 4961745 | 1799022 | 1908 2189 | 40 | 85 580.90/581.02 c 580s | 22 | 4978584 | 1805422 | 1908 2195 | 40 | 85 582.91/583.03 c 582s | 22 | 4994378 | 1811122 | 1908 2201 | 40 | 85 584.90/585.05 c 584s | 22 | 5012152 | 1817322 | 1908 2207 | 40 | 85 586.90/587.06 c 586s | 22 | 5029466 | 1823322 | 1908 2213 | 40 | 85 588.89/589.06 c 588s | 22 | 5046361 | 1829422 | 1908 2218 | 40 | 85 590.89/591.09 c 590s | 22 | 5061999 | 1835222 | 1908 2224 | 40 | 85 592.99/593.10 c 592s | 22 | 5077656 | 1841122 | 1908 2230 | 40 | 85 595.00/595.12 c 594s | 22 | 5095138 | 1847122 | 1908 2235 | 40 | 85 596.99/597.13 c 596s | 22 | 5111127 | 1853022 | 1908 2241 | 40 | 85 598.99/599.16 c 598s | 22 | 5128768 | 1858922 | 1908 2247 | 40 | 85 600.99/601.19 c 600s | 22 | 5143064 | 1864622 | 1908 2252 | 40 | 85 603.09/603.22 c 602s | 22 | 5159568 | 1870322 | 1908 2258 | 40 | 85 605.09/605.24 c 604s | 22 | 5178134 | 1876422 | 1908 2263 | 40 | 85 607.10/607.25 c 606s | 22 | 5194114 | 1882222 | 1908 2269 | 40 | 85 609.09/609.27 c 609s | 22 | 5209611 | 1887822 | 1908 2274 | 40 | 85 611.19/611.30 c 611s | 22 | 5226984 | 1893522 | 1908 2280 | 40 | 85 613.19/613.31 c 613s | 22 | 5242990 | 1899122 | 1908 2285 | 40 | 85 615.19/615.32 c 615s | 22 | 5258862 | 1904522 | 1908 2290 | 40 | 85 617.19/617.34 c 617s | 22 | 5275365 | 1910322 | 1908 2296 | 40 | 85 619.19/619.36 c 619s | 22 | 5291555 | 1916422 | 1908 2302 | 40 | 85 621.19/621.38 c 621s | 22 | 5305601 | 1922422 | 1908 2308 | 40 | 85 623.19/623.39 c 623s | 22 | 5321594 | 1928022 | 1908 2313 | 40 | 85 625.29/625.42 c 625s | 22 | 5335644 | 1933922 | 1908 2319 | 40 | 85 627.29/627.43 c 627s | 22 | 5350211 | 1939422 | 1908 2324 | 40 | 85 629.29/629.46 c 629s | 22 | 5367245 | 1945322 | 1908 2330 | 40 | 85 631.29/631.47 c 631s | 22 | 5382811 | 1950922 | 1908 2335 | 40 | 85 633.28/633.48 c 633s | 22 | 5398617 | 1956722 | 1908 2341 | 40 | 85 635.28/635.49 c 635s | 22 | 5414659 | 1962422 | 1908 2346 | 40 | 85 637.28/637.49 c 637s | 22 | 5430821 | 1968222 | 1908 2352 | 40 | 85 639.38/639.53 c 639s | 22 | 5447246 | 1974022 | 1908 2357 | 40 | 85 641.38/641.55 c 641s | 22 | 5463150 | 1979722 | 1908 2363 | 40 | 85 643.39/643.57 c 643s | 22 | 5480044 | 1985522 | 1908 2368 | 40 | 85 645.39/645.59 c 645s | 22 | 5498848 | 1991422 | 1908 2374 | 40 | 85 647.49/647.61 c 647s | 22 | 5514481 | 1997222 | 1908 2379 | 40 | 85 649.49/649.62 c 649s | 22 | 5529216 | 2002622 | 1908 2385 | 40 | 85 651.49/651.66 c 651s | 22 | 5544440 | 2008222 | 1908 2390 | 40 | 85 653.49/653.68 c 653s | 22 | 5561268 | 2013822 | 1908 2395 | 40 | 85 655.60/655.70 c 655s | 22 | 5579327 | 2019822 | 1908 2401 | 40 | 85 657.59/657.71 c 657s | 22 | 5596365 | 2025922 | 1908 2407 | 40 | 85 659.59/659.72 c 659s | 22 | 5612477 | 2031822 | 1908 2413 | 40 | 85 661.59/661.73 c 661s | 22 | 5628735 | 2037622 | 1908 2418 | 40 | 85 663.59/663.75 c 663s | 22 | 5646559 | 2043722 | 1908 2424 | 40 | 85 665.59/665.76 c 665s | 22 | 5662405 | 2049522 | 1908 2430 | 40 | 85 667.59/667.80 c 667s | 22 | 5679967 | 2055622 | 1908 2436 | 40 | 85 669.69/669.80 c 669s | 22 | 5695874 | 2061422 | 1908 2441 | 40 | 85 671.68/671.82 c 671s | 22 | 5711288 | 2067222 | 1908 2447 | 40 | 85 673.68/673.84 c 673s | 22 | 5728233 | 2072922 | 1908 2452 | 40 | 85 675.68/675.87 c 675s | 22 | 5743688 | 2078722 | 1908 2458 | 40 | 85 677.78/677.92 c 677s | 22 | 5762632 | 2084822 | 1908 2464 | 40 | 85 679.79/679.93 c 679s | 22 | 5780219 | 2090822 | 1908 2469 | 40 | 85 681.78/681.94 c 681s | 22 | 5795849 | 2096622 | 1908 2475 | 40 | 85 683.78/683.97 c 683s | 22 | 5812345 | 2102622 | 1908 2481 | 40 | 85 685.78/685.98 c 685s | 22 | 5829992 | 2108422 | 1908 2486 | 40 | 85 687.88/688.00 c 687s | 22 | 5845353 | 2114122 | 1908 2492 | 40 | 85 689.88/690.02 c 689s | 22 | 5859539 | 2119522 | 1908 2497 | 40 | 85 691.89/692.04 c 691s | 22 | 5876075 | 2125122 | 1908 2502 | 40 | 85 693.88/694.07 c 693s | 22 | 5894103 | 2131022 | 1908 2508 | 40 | 85 695.98/696.11 c 695s | 22 | 5910296 | 2136822 | 1908 2514 | 40 | 85 697.98/698.14 c 697s | 22 | 5926318 | 2142222 | 1908 2519 | 40 | 85 699.98/700.14 c 699s | 22 | 5942255 | 2148022 | 1908 2524 | 40 | 85 701.98/702.18 c 701s | 22 | 5956943 | 2153622 | 1908 2530 | 40 | 85 703.99/704.18 c 703s | 22 | 5972809 | 2159122 | 1908 2535 | 40 | 85 705.98/706.18 c 705s | 22 | 5987682 | 2164522 | 1908 2540 | 40 | 85 707.98/708.20 c 707s | 22 | 6004332 | 2170222 | 1908 2546 | 40 | 85 710.08/710.23 c 709s | 22 | 6022177 | 2176322 | 1908 2552 | 40 | 85 712.08/712.24 c 711s | 22 | 6039010 | 2182122 | 1908 2557 | 40 | 85 714.08/714.24 c 713s | 22 | 6055691 | 2187922 | 1908 2563 | 40 | 85 716.08/716.25 c 715s | 22 | 6072323 | 2193722 | 1908 2568 | 40 | 85 718.07/718.29 c 718s | 22 | 6089320 | 2199222 | 1908 2574 | 40 | 85 720.17/720.32 c 720s | 22 | 6106856 | 2204922 | 1908 2579 | 40 | 85 722.17/722.34 c 722s | 22 | 6124521 | 2210722 | 1908 2585 | 40 | 85 724.17/724.35 c 724s | 22 | 6141850 | 2216322 | 1908 2590 | 40 | 85 726.17/726.35 c 726s | 22 | 6159466 | 2222222 | 1908 2596 | 40 | 85 728.17/728.37 c 728s | 22 | 6176589 | 2228122 | 1908 2601 | 40 | 85 730.17/730.40 c 730s | 22 | 6194000 | 2233922 | 1908 2607 | 40 | 85 732.27/732.40 c 732s | 22 | 6210472 | 2239922 | 2099 2612 | 40 | 85 734.26/734.44 c 734s | 22 | 6226009 | 2246022 | 2099 2617 | 40 | 85 736.06/736.26 c 735s | 23 | 6240523 | 2251038 | 2099 2622 | 40 | 85 738.07/738.28 c 738s | 23 | 6258369 | 2257038 | 2099 2627 | 40 | 85 740.17/740.30 c 740s | 23 | 6275963 | 2263238 | 2099 2632 | 40 | 85 742.16/742.33 c 742s | 23 | 6292777 | 2269338 | 2099 2638 | 40 | 85 744.16/744.34 c 744s | 23 | 6309692 | 2275338 | 2099 2643 | 40 | 85 746.16/746.37 c 746s | 23 | 6325045 | 2281338 | 2099 2648 | 40 | 85 748.16/748.38 c 748s | 23 | 6341063 | 2287438 | 2099 2654 | 40 | 85 750.26/750.41 c 750s | 23 | 6358000 | 2293738 | 2099 2659 | 40 | 85 752.26/752.43 c 752s | 23 | 6372577 | 2299638 | 2099 2664 | 40 | 85 754.25/754.46 c 754s | 23 | 6388896 | 2305638 | 2099 2670 | 40 | 85 756.25/756.48 c 756s | 23 | 6404357 | 2311538 | 2099 2675 | 40 | 85 758.35/758.50 c 758s | 23 | 6419095 | 2317538 | 2099 2680 | 40 | 85 760.35/760.52 c 760s | 23 | 6435566 | 2323738 | 2099 2686 | 40 | 85 762.35/762.54 c 762s | 23 | 6452723 | 2329938 | 2099 2691 | 40 | 85 764.35/764.56 c 764s | 23 | 6468722 | 2335838 | 2099 2696 | 40 | 85 766.34/766.58 c 766s | 23 | 6485546 | 2341838 | 2099 2701 | 40 | 85 768.34/768.59 c 768s | 23 | 6500612 | 2347838 | 2099 2707 | 40 | 85 770.44/770.60 c 770s | 23 | 6517739 | 2353838 | 2099 2712 | 40 | 85 772.44/772.62 c 772s | 23 | 6534638 | 2359838 | 2099 2717 | 40 | 85 774.44/774.63 c 774s | 23 | 6553482 | 2365738 | 2099 2723 | 40 | 85 776.44/776.65 c 776s | 23 | 6570711 | 2371838 | 2099 2728 | 40 | 85 778.43/778.67 c 778s | 23 | 6586105 | 2377838 | 2099 2733 | 40 | 85 780.43/780.67 c 780s | 23 | 6603946 | 2383838 | 2099 2738 | 40 | 85 782.43/782.69 c 782s | 23 | 6619893 | 2389838 | 2099 2744 | 40 | 85 784.53/784.72 c 784s | 23 | 6634748 | 2395838 | 2099 2749 | 40 | 85 786.53/786.75 c 786s | 23 | 6651136 | 2401638 | 2099 2754 | 40 | 85 788.54/788.79 c 788s | 23 | 6665652 | 2407438 | 2099 2759 | 40 | 85 790.63/790.87 c 790s | 23 | 6678555 | 2413038 | 2099 2764 | 40 | 85 792.74/792.90 c 792s | 23 | 6695471 | 2418738 | 2099 2769 | 40 | 85 794.73/794.93 c 794s | 23 | 6711325 | 2424438 | 2099 2774 | 40 | 85 796.73/796.96 c 796s | 23 | 6726594 | 2430238 | 2099 2779 | 40 | 85 798.73/798.97 c 798s | 23 | 6742734 | 2436138 | 2099 2784 | 40 | 85 800.73/800.97 c 800s | 23 | 6757083 | 2441938 | 2099 2789 | 40 | 85 802.73/803.00 c 802s | 23 | 6773286 | 2447738 | 2099 2795 | 40 | 85 804.82/805.02 c 804s | 23 | 6788165 | 2453438 | 2099 2800 | 40 | 85 806.82/807.04 c 806s | 23 | 6804562 | 2459138 | 2099 2805 | 40 | 85 808.82/809.05 c 808s | 23 | 6818792 | 2464738 | 2099 2809 | 40 | 85 810.82/811.08 c 810s | 23 | 6833939 | 2470338 | 2099 2814 | 40 | 85 812.92/813.10 c 812s | 23 | 6849070 | 2475938 | 2099 2819 | 40 | 85 814.92/815.12 c 814s | 23 | 6865311 | 2481538 | 2099 2824 | 40 | 85 816.91/817.12 c 816s | 23 | 6879990 | 2487038 | 2099 2829 | 40 | 85 818.91/819.15 c 818s | 23 | 6895828 | 2492638 | 2099 2834 | 40 | 85 820.91/821.17 c 820s | 23 | 6913078 | 2498338 | 2099 2839 | 40 | 85 822.91/823.19 c 822s | 23 | 6928269 | 2503938 | 2099 2844 | 40 | 85 825.01/825.20 c 824s | 23 | 6943945 | 2509738 | 2099 2849 | 40 | 85 827.01/827.23 c 826s | 23 | 6960690 | 2515638 | 2099 2854 | 40 | 85 829.01/829.23 c 828s | 23 | 6975874 | 2521338 | 2099 2859 | 40 | 85 831.01/831.25 c 830s | 23 | 6991504 | 2527238 | 2099 2864 | 40 | 85 833.00/833.25 c 832s | 23 | 7006704 | 2532938 | 2099 2870 | 40 | 85 835.00/835.26 c 834s | 23 | 7023390 | 2538938 | 2099 2875 | 40 | 85 837.01/837.27 c 837s | 23 | 7040794 | 2544938 | 2099 2880 | 40 | 85 839.00/839.28 c 839s | 23 | 7057535 | 2550938 | 2099 2885 | 40 | 85 841.00/841.29 c 841s | 23 | 7072744 | 2556838 | 2099 2890 | 40 | 85 843.10/843.31 c 843s | 23 | 7089291 | 2562838 | 2099 2896 | 40 | 85 845.10/845.32 c 845s | 23 | 7105877 | 2568738 | 2099 2901 | 40 | 85 847.09/847.33 c 847s | 23 | 7122178 | 2574538 | 2099 2906 | 40 | 85 849.10/849.34 c 849s | 23 | 7139201 | 2580438 | 2099 2911 | 40 | 85 851.09/851.36 c 851s | 23 | 7155693 | 2586338 | 2099 2916 | 40 | 85 853.09/853.39 c 853s | 23 | 7173396 | 2592238 | 2099 2922 | 40 | 85 855.19/855.41 c 855s | 23 | 7190451 | 2598038 | 2099 2927 | 40 | 85 857.19/857.43 c 857s | 23 | 7205240 | 2603938 | 2099 2932 | 40 | 85 859.19/859.44 c 859s | 23 | 7221285 | 2609738 | 2099 2937 | 40 | 85 861.19/861.44 c 861s | 23 | 7238055 | 2615638 | 2099 2942 | 40 | 85 863.19/863.46 c 863s | 23 | 7255577 | 2621538 | 2099 2947 | 40 | 85 865.18/865.49 c 865s | 23 | 7271672 | 2627338 | 2099 2952 | 40 | 85 867.28/867.50 c 867s | 23 | 7288803 | 2632938 | 2099 2957 | 40 | 85 869.28/869.53 c 869s | 23 | 7304481 | 2638738 | 2099 2962 | 40 | 85 871.28/871.54 c 871s | 23 | 7320955 | 2644538 | 2099 2968 | 40 | 85 873.29/873.55 c 873s | 23 | 7336961 | 2650138 | 2099 2972 | 40 | 85 875.28/875.57 c 875s | 23 | 7353224 | 2655938 | 2099 2978 | 40 | 85 877.28/877.59 c 877s | 23 | 7367907 | 2661638 | 2099 2983 | 40 | 85 879.38/879.61 c 879s | 23 | 7384471 | 2667938 | 2099 2988 | 40 | 85 881.38/881.62 c 881s | 23 | 7400775 | 2673638 | 2099 2993 | 40 | 85 883.38/883.65 c 883s | 23 | 7417924 | 2679638 | 2099 2998 | 40 | 85 885.38/885.67 c 885s | 23 | 7434387 | 2685438 | 2099 3003 | 40 | 85 887.37/887.69 c 887s | 23 | 7448677 | 2691338 | 2099 3009 | 40 | 85 889.47/889.70 c 889s | 23 | 7465618 | 2697338 | 2099 3014 | 40 | 85 891.47/891.73 c 891s | 23 | 7482691 | 2703238 | 2099 3019 | 40 | 85 893.47/893.74 c 893s | 23 | 7498079 | 2709038 | 2099 3024 | 40 | 85 895.47/895.77 c 895s | 23 | 7513872 | 2714738 | 2099 3029 | 40 | 85 897.57/897.80 c 897s | 23 | 7528829 | 2720238 | 2099 3034 | 40 | 85 899.58/899.82 c 899s | 23 | 7544798 | 2725838 | 2099 3039 | 40 | 85 901.57/901.83 c 901s | 23 | 7560204 | 2731238 | 2099 3044 | 40 | 85 903.57/903.85 c 903s | 23 | 7577305 | 2737038 | 2099 3049 | 40 | 85 905.56/905.86 c 905s | 23 | 7594442 | 2743038 | 2099 3054 | 40 | 85 907.56/907.89 c 907s | 23 | 7610991 | 2748938 | 2099 3059 | 40 | 85 909.66/909.91 c 909s | 23 | 7627340 | 2754938 | 2099 3064 | 40 | 85 911.67/911.92 c 911s | 23 | 7642365 | 2760738 | 2099 3070 | 40 | 85 913.66/913.94 c 913s | 23 | 7658365 | 2766738 | 2099 3075 | 40 | 85 915.66/915.96 c 915s | 23 | 7674622 | 2772438 | 2099 3080 | 40 | 85 917.66/917.99 c 917s | 23 | 7691264 | 2778338 | 2099 3085 | 40 | 85 919.76/920.02 c 919s | 23 | 7706754 | 2784038 | 2099 3090 | 40 | 85 921.75/922.05 c 921s | 23 | 7721883 | 2789838 | 2099 3095 | 40 | 85 923.76/924.06 c 923s | 23 | 7736754 | 2795538 | 2099 3100 | 40 | 85 925.75/926.09 c 925s | 23 | 7751568 | 2801238 | 2099 3105 | 40 | 85 927.85/928.12 c 927s | 23 | 7766763 | 2806838 | 2099 3110 | 40 | 85 929.85/930.14 c 929s | 23 | 7781172 | 2812338 | 2099 3115 | 40 | 85 931.85/932.15 c 931s | 23 | 7798657 | 2818238 | 2099 3120 | 40 | 85 933.85/934.15 c 933s | 23 | 7816649 | 2824038 | 2099 3125 | 40 | 85 935.85/936.16 c 935s | 23 | 7831906 | 2829938 | 2099 3130 | 40 | 85 937.84/938.19 c 937s | 23 | 7848442 | 2835738 | 2099 3136 | 40 | 85 939.94/940.23 c 939s | 23 | 7864187 | 2841438 | 2099 3141 | 40 | 85 941.94/942.25 c 941s | 23 | 7880004 | 2847138 | 2099 3146 | 40 | 85 943.94/944.26 c 943s | 23 | 7898728 | 2852938 | 2099 3151 | 40 | 85 945.94/946.28 c 946s | 23 | 7915455 | 2858938 | 2099 3156 | 40 | 85 948.04/948.31 c 948s | 23 | 7931900 | 2864738 | 2099 3161 | 40 | 85 950.04/950.32 c 950s | 23 | 7949287 | 2870538 | 2099 3166 | 40 | 85 952.04/952.33 c 952s | 23 | 7964807 | 2876238 | 2099 3171 | 40 | 85 954.03/954.36 c 954s | 23 | 7980398 | 2882038 | 2099 3176 | 40 | 85 956.03/956.37 c 956s | 23 | 7995950 | 2887738 | 2099 3181 | 40 | 85 958.13/958.40 c 958s | 23 | 8011304 | 2893338 | 2099 3186 | 40 | 85 960.14/960.41 c 960s | 23 | 8025843 | 2898738 | 2099 3191 | 40 | 85 962.13/962.42 c 962s | 23 | 8042007 | 2904438 | 2099 3196 | 40 | 85 964.14/964.44 c 964s | 23 | 8057766 | 2909838 | 2099 3201 | 40 | 85 966.14/966.44 c 966s | 23 | 8072920 | 2914938 | 2099 3205 | 40 | 85 968.13/968.48 c 968s | 23 | 8087748 | 2920238 | 2099 3210 | 40 | 85 970.13/970.48 c 970s | 23 | 8104283 | 2926338 | 2099 3215 | 40 | 85 972.14/972.49 c 972s | 23 | 8120878 | 2932238 | 2099 3220 | 40 | 85 974.23/974.50 c 974s | 23 | 8136427 | 2937938 | 2099 3225 | 40 | 85 976.23/976.53 c 976s | 23 | 8153175 | 2943638 | 2099 3230 | 40 | 85 978.23/978.53 c 978s | 23 | 8168499 | 2949438 | 2099 3235 | 40 | 85 980.23/980.54 c 980s | 23 | 8183462 | 2955038 | 2099 3240 | 40 | 85 982.23/982.55 c 982s | 23 | 8199043 | 2960638 | 2099 3245 | 40 | 85 984.23/984.57 c 984s | 23 | 8214478 | 2966238 | 2099 3250 | 40 | 85 986.32/986.60 c 986s | 23 | 8232106 | 2971938 | 2099 3255 | 40 | 85 988.32/988.62 c 988s | 23 | 8248591 | 2977838 | 2099 3260 | 40 | 85 990.32/990.64 c 990s | 23 | 8262458 | 2983638 | 2099 3266 | 40 | 85 992.32/992.65 c 992s | 23 | 8278096 | 2989238 | 2099 3271 | 40 | 85 994.32/994.69 c 994s | 23 | 8293621 | 2994838 | 2099 3275 | 40 | 85 996.33/996.70 c 996s | 23 | 8309138 | 3000338 | 2099 3280 | 40 | 85 998.42/998.74 c 998s | 23 | 8326280 | 3006338 | 2099 3286 | 40 | 85 1000.42/1000.75 c 1000s | 23 | 8341458 | 3012038 | 2099 3291 | 40 | 85 1002.42/1002.79 c 1002s | 23 | 8356837 | 3017738 | 2099 3296 | 40 | 85 1004.51/1004.80 c 1004s | 23 | 8372680 | 3023438 | 2099 3301 | 40 | 85 1006.51/1006.81 c 1006s | 23 | 8384460 | 3028738 | 2099 3305 | 40 | 85 1008.52/1008.81 c 1008s | 23 | 8399780 | 3034538 | 2099 3310 | 40 | 85 1010.51/1010.83 c 1010s | 23 | 8415170 | 3040138 | 2099 3315 | 40 | 85 1012.51/1012.83 c 1012s | 23 | 8429051 | 3045538 | 2099 3320 | 40 | 85 1014.51/1014.85 c 1014s | 23 | 8442471 | 3050838 | 2099 3325 | 40 | 85 1016.51/1016.86 c 1016s | 23 | 8458045 | 3056438 | 2099 3330 | 40 | 85 1018.51/1018.87 c 1018s | 23 | 8474504 | 3062138 | 2099 3335 | 40 | 85 1020.52/1020.90 c 1020s | 23 | 8490307 | 3067938 | 2099 3340 | 40 | 85 1022.61/1022.90 c 1022s | 23 | 8505931 | 3073438 | 2099 3345 | 40 | 85 1024.60/1024.91 c 1024s | 23 | 8521749 | 3079138 | 2099 3350 | 40 | 85 1026.60/1026.91 c 1026s | 23 | 8536960 | 3084838 | 2099 3355 | 40 | 85 1028.60/1028.93 c 1028s | 23 | 8552142 | 3090438 | 2099 3360 | 40 | 85 1030.60/1030.94 c 1030s | 23 | 8567824 | 3096038 | 2099 3365 | 40 | 85 1032.61/1032.96 c 1032s | 23 | 8583173 | 3101738 | 2099 3370 | 40 | 85 1034.60/1034.97 c 1034s | 23 | 8600230 | 3107438 | 2099 3375 | 40 | 85 1036.60/1036.99 c 1036s | 23 | 8617363 | 3113138 | 2099 3380 | 40 | 85 1038.70/1039.01 c 1038s | 23 | 8634861 | 3119238 | 2099 3385 | 40 | 85 1040.69/1041.02 c 1040s | 23 | 8649721 | 3125038 | 2099 3390 | 40 | 85 1042.69/1043.03 c 1042s | 23 | 8665831 | 3130738 | 2099 3395 | 40 | 85 1044.70/1045.04 c 1044s | 23 | 8681984 | 3136338 | 2099 3400 | 40 | 85 1046.69/1047.05 c 1046s | 23 | 8698490 | 3142138 | 2099 3405 | 40 | 85 1048.69/1049.06 c 1048s | 23 | 8714938 | 3147638 | 2099 3410 | 40 | 85 1050.69/1051.06 c 1050s | 23 | 8730852 | 3153138 | 2099 3415 | 40 | 85 1052.69/1053.09 c 1052s | 23 | 8747894 | 3158638 | 2099 3420 | 40 | 85 1054.78/1055.10 c 1054s | 23 | 8763757 | 3164238 | 2099 3425 | 40 | 85 1056.79/1057.11 c 1056s | 23 | 8778569 | 3169638 | 2099 3429 | 40 | 85 1058.78/1059.11 c 1058s | 23 | 8794897 | 3175238 | 2099 3434 | 40 | 85 1060.78/1061.12 c 1060s | 23 | 8809818 | 3180738 | 2099 3439 | 40 | 85 1062.78/1063.14 c 1062s | 23 | 8826810 | 3186138 | 2099 3444 | 40 | 85 1064.78/1065.17 c 1064s | 23 | 8840840 | 3191638 | 2099 3449 | 40 | 85 1066.78/1067.18 c 1066s | 23 | 8856941 | 3197538 | 2099 3454 | 40 | 85 1068.88/1069.22 c 1068s | 23 | 8872735 | 3203638 | 2099 3459 | 40 | 85 1070.88/1071.22 c 1070s | 23 | 8888297 | 3209638 | 2099 3465 | 40 | 85 1072.88/1073.25 c 1072s | 23 | 8905313 | 3215638 | 2099 3470 | 40 | 85 1074.87/1075.28 c 1075s | 23 | 8922960 | 3221638 | 2099 3475 | 40 | 85 1076.97/1077.31 c 1077s | 23 | 8939643 | 3227638 | 2099 3480 | 40 | 85 1078.97/1079.33 c 1079s | 23 | 8956699 | 3233538 | 2099 3486 | 40 | 85 1080.97/1081.35 c 1081s | 23 | 8973015 | 3239438 | 2099 3491 | 40 | 85 1082.97/1083.35 c 1083s | 23 | 8989190 | 3245238 | 2099 3496 | 40 | 85 1084.96/1085.37 c 1085s | 23 | 9005624 | 3251138 | 2099 3501 | 40 | 85 1086.96/1087.38 c 1087s | 23 | 9021641 | 3256938 | 2099 3506 | 40 | 85 1088.96/1089.39 c 1089s | 23 | 9034872 | 3262438 | 2099 3511 | 40 | 85 1091.07/1091.41 c 1091s | 23 | 9048887 | 3267738 | 2099 3516 | 40 | 85 1093.08/1093.41 c 1093s | 23 | 9065596 | 3273638 | 2099 3521 | 40 | 85 1095.06/1095.42 c 1095s | 23 | 9081415 | 3279438 | 2099 3526 | 40 | 85 1097.06/1097.42 c 1097s | 23 | 9097817 | 3285238 | 2099 3531 | 40 | 85 1099.06/1099.44 c 1099s | 23 | 9113563 | 3290838 | 2099 3536 | 40 | 85 1101.06/1101.44 c 1101s | 23 | 9129338 | 3296538 | 2099 3541 | 40 | 85 1103.07/1103.47 c 1103s | 23 | 9144824 | 3302138 | 2099 3546 | 40 | 85 1105.06/1105.49 c 1105s | 23 | 9161043 | 3307538 | 2099 3551 | 40 | 85 1107.16/1107.52 c 1107s | 23 | 9177325 | 3313038 | 2099 3556 | 40 | 85 1109.16/1109.53 c 1109s | 23 | 9193800 | 3318438 | 2099 3560 | 40 | 85 1111.16/1111.55 c 1111s | 23 | 9208522 | 3323738 | 2099 3565 | 40 | 85 1113.15/1113.58 c 1113s | 23 | 9224721 | 3329338 | 2099 3570 | 40 | 85 1115.16/1115.58 c 1115s | 23 | 9240376 | 3334938 | 2099 3575 | 40 | 85 1117.26/1117.60 c 1117s | 23 | 9255783 | 3340438 | 2099 3580 | 40 | 85 1119.25/1119.61 c 1119s | 23 | 9270680 | 3345738 | 2099 3584 | 40 | 85 1121.25/1121.63 c 1121s | 23 | 9288134 | 3351738 | 2099 3590 | 40 | 85 1123.25/1123.65 c 1123s | 23 | 9305630 | 3357738 | 2309 3594 | 40 | 85 1125.24/1125.67 c 1125s | 23 | 9319486 | 3363138 | 2309 3599 | 40 | 85 1127.25/1127.69 c 1127s | 23 | 9336214 | 3369038 | 2309 3603 | 40 | 85 1129.35/1129.71 c 1129s | 23 | 9351900 | 3374938 | 2309 3608 | 40 | 85 1129.94/1130.33 c 1130s | 24 | 9356344 | 3376662 | 2309 3609 | 40 | 85 1131.94/1132.34 c 1132s | 24 | 9373049 | 3382562 | 2309 3614 | 40 | 85 1133.94/1134.36 c 1134s | 24 | 9392017 | 3388662 | 2309 3619 | 40 | 85 1135.95/1136.39 c 1136s | 24 | 9408973 | 3394462 | 2309 3624 | 40 | 85 1137.94/1138.39 c 1138s | 24 | 9427176 | 3400562 | 2309 3629 | 40 | 85 1140.04/1140.40 c 1140s | 24 | 9444591 | 3406462 | 2309 3633 | 40 | 85 1142.04/1142.42 c 1142s | 24 | 9460650 | 3412262 | 2309 3638 | 40 | 85 1144.04/1144.44 c 1144s | 24 | 9474772 | 3418062 | 2309 3643 | 40 | 85 1146.03/1146.46 c 1146s | 24 | 9490577 | 3423562 | 2309 3647 | 40 | 85 1148.04/1148.49 c 1148s | 24 | 9508376 | 3429562 | 2309 3652 | 40 | 85 1150.13/1150.51 c 1150s | 24 | 9524187 | 3435362 | 2309 3657 | 40 | 85 1152.13/1152.54 c 1152s | 24 | 9541124 | 3441362 | 2309 3661 | 40 | 85 1154.12/1154.56 c 1154s | 24 | 9558096 | 3447362 | 2309 3666 | 40 | 85 1156.12/1156.57 c 1156s | 24 | 9573312 | 3452962 | 2309 3671 | 40 | 85 1158.22/1158.61 c 1158s | 24 | 9589761 | 3458662 | 2309 3675 | 40 | 85 1160.23/1160.64 c 1160s | 24 | 9607500 | 3464462 | 2309 3680 | 40 | 85 1162.22/1162.64 c 1162s | 24 | 9624190 | 3470162 | 2309 3685 | 40 | 85 1164.22/1164.66 c 1164s | 24 | 9641487 | 3476062 | 2309 3689 | 40 | 85 1166.23/1166.66 c 1166s | 24 | 9658381 | 3481862 | 2309 3694 | 40 | 85 1168.33/1168.71 c 1168s | 24 | 9674545 | 3487562 | 2309 3699 | 40 | 85 1170.33/1170.73 c 1170s | 24 | 9691243 | 3493562 | 2309 3703 | 40 | 85 1172.33/1172.74 c 1172s | 24 | 9707711 | 3499362 | 2309 3708 | 40 | 85 1174.32/1174.77 c 1174s | 24 | 9723446 | 3504862 | 2309 3712 | 40 | 85 1176.32/1176.78 c 1176s | 24 | 9737533 | 3510362 | 2309 3717 | 40 | 85 1178.42/1178.80 c 1178s | 24 | 9753648 | 3516062 | 2309 3721 | 40 | 85 1180.42/1180.82 c 1180s | 24 | 9768927 | 3521462 | 2309 3726 | 40 | 85 1182.42/1182.82 c 1182s | 24 | 9783707 | 3526762 | 2309 3730 | 40 | 85 1184.42/1184.86 c 1184s | 24 | 9799684 | 3532362 | 2309 3735 | 40 | 85 1186.41/1186.87 c 1186s | 24 | 9815728 | 3537662 | 2309 3739 | 40 | 85 1188.51/1188.90 c 1188s | 24 | 9828590 | 3542862 | 2309 3743 | 40 | 85 1190.51/1190.91 c 1190s | 24 | 9844361 | 3548262 | 2309 3747 | 40 | 85 1192.51/1192.92 c 1192s | 24 | 9860324 | 3553662 | 2309 3752 | 40 | 85 1194.51/1194.94 c 1194s | 24 | 9875143 | 3558962 | 2309 3756 | 40 | 85 1196.52/1196.94 c 1196s | 24 | 9891166 | 3564262 | 2309 3760 | 40 | 85 1198.51/1198.98 c 1198s | 24 | 9907615 | 3569662 | 2309 3765 | 40 | 85 1200.51/1200.99 c 1200s | 24 | 9922716 | 3574962 | 2309 3769 | 40 | 85 1202.51/1202.99 c 1202s | 24 | 9938166 | 3580362 | 2309 3773 | 40 | 85 1204.60/1205.01 c 1204s | 24 | 9954311 | 3586162 | 2309 3778 | 40 | 85 1206.60/1207.02 c 1206s | 24 | 9971732 | 3592262 | 2309 3783 | 40 | 85 1208.61/1209.03 c 1208s | 24 | 9989272 | 3598462 | 2309 3788 | 40 | 85 1210.60/1211.04 c 1210s | 24 | 10004753 | 3604162 | 2309 3792 | 40 | 85 1212.60/1213.04 c 1212s | 24 | 10021065 | 3609962 | 2309 3797 | 40 | 85 1214.60/1215.07 c 1214s | 24 | 10038011 | 3615962 | 2309 3802 | 40 | 85 1216.60/1217.09 c 1216s | 24 | 10053114 | 3621862 | 2309 3807 | 40 | 85 1218.70/1219.10 c 1218s | 24 | 10069727 | 3627562 | 2309 3811 | 40 | 85 1220.70/1221.13 c 1220s | 24 | 10086655 | 3633462 | 2309 3816 | 40 | 85 1222.71/1223.14 c 1222s | 24 | 10101610 | 3639262 | 2309 3821 | 40 | 85 1224.70/1225.16 c 1224s | 24 | 10117515 | 3645062 | 2309 3825 | 40 | 85 1226.70/1227.16 c 1226s | 24 | 10132790 | 3650562 | 2309 3830 | 40 | 85 1228.70/1229.17 c 1228s | 24 | 10146760 | 3656062 | 2309 3834 | 40 | 85 1230.70/1231.17 c 1230s | 24 | 10162222 | 3661662 | 2309 3839 | 40 | 85 1232.70/1233.20 c 1232s | 24 | 10177632 | 3667362 | 2309 3843 | 40 | 85 1234.79/1235.21 c 1234s | 24 | 10192894 | 3673162 | 2309 3848 | 40 | 85 1236.79/1237.21 c 1236s | 24 | 10207354 | 3678662 | 2309 3852 | 40 | 85 1238.79/1239.24 c 1238s | 24 | 10222836 | 3684162 | 2309 3857 | 40 | 85 1240.79/1241.24 c 1240s | 24 | 10239449 | 3689862 | 2309 3861 | 40 | 85 1242.79/1243.27 c 1243s | 24 | 10254489 | 3695462 | 2309 3866 | 40 | 85 1244.79/1245.30 c 1245s | 24 | 10270530 | 3700962 | 2309 3870 | 40 | 85 1246.88/1247.32 c 1247s | 24 | 10284877 | 3706362 | 2309 3875 | 40 | 85 1248.88/1249.33 c 1249s | 24 | 10298576 | 3711662 | 2309 3879 | 40 | 85 1250.88/1251.35 c 1251s | 24 | 10313150 | 3717062 | 2309 3883 | 40 | 85 1252.88/1253.37 c 1253s | 24 | 10329119 | 3722762 | 2309 3888 | 40 | 85 1254.88/1255.38 c 1255s | 24 | 10344338 | 3728362 | 2309 3892 | 40 | 85 1256.98/1257.41 c 1257s | 24 | 10360037 | 3733762 | 2309 3897 | 40 | 85 1258.98/1259.44 c 1259s | 24 | 10376644 | 3739262 | 2309 3901 | 40 | 85 1260.98/1261.47 c 1261s | 24 | 10393696 | 3744662 | 2309 3905 | 40 | 85 1263.08/1263.50 c 1263s | 24 | 10410870 | 3750362 | 2309 3910 | 40 | 85 1265.07/1265.52 c 1265s | 24 | 10427005 | 3755762 | 2309 3914 | 40 | 85 1267.07/1267.55 c 1267s | 24 | 10442666 | 3761162 | 2309 3919 | 40 | 85 1269.08/1269.55 c 1269s | 24 | 10456293 | 3766562 | 2309 3923 | 40 | 85 1271.07/1271.59 c 1271s | 24 | 10471416 | 3771962 | 2309 3927 | 40 | 85 1273.17/1273.62 c 1273s | 24 | 10488139 | 3777462 | 2309 3932 | 40 | 85 1275.16/1275.64 c 1275s | 24 | 10501888 | 3782762 | 2309 3936 | 40 | 85 1277.16/1277.67 c 1277s | 24 | 10518756 | 3788362 | 2309 3941 | 40 | 85 1279.26/1279.70 c 1279s | 24 | 10533060 | 3793662 | 2309 3945 | 40 | 85 1281.26/1281.71 c 1281s | 24 | 10549648 | 3799162 | 2309 3949 | 40 | 85 1283.27/1283.73 c 1283s | 24 | 10565280 | 3804662 | 2309 3954 | 40 | 85 1285.26/1285.75 c 1285s | 24 | 10580455 | 3810162 | 2309 3958 | 40 | 85 1287.26/1287.75 c 1287s | 24 | 10595523 | 3815562 | 2309 3963 | 40 | 85 1289.26/1289.77 c 1289s | 24 | 10611155 | 3821162 | 2309 3967 | 40 | 85 1291.26/1291.79 c 1291s | 24 | 10626692 | 3826862 | 2309 3972 | 40 | 85 1293.26/1293.79 c 1293s | 24 | 10642932 | 3832262 | 2309 3976 | 40 | 85 1295.36/1295.81 c 1295s | 24 | 10660128 | 3837862 | 2309 3981 | 40 | 85 1297.35/1297.83 c 1297s | 24 | 10676190 | 3843362 | 2309 3985 | 40 | 85 1299.35/1299.84 c 1299s | 24 | 10692820 | 3848962 | 2309 3989 | 40 | 85 1301.35/1301.85 c 1301s | 24 | 10708044 | 3854262 | 2309 3994 | 40 | 85 1303.35/1303.87 c 1303s | 24 | 10724575 | 3859862 | 2309 3998 | 40 | 85 1305.35/1305.89 c 1305s | 24 | 10740704 | 3865162 | 2309 4002 | 40 | 85 1307.45/1307.91 c 1307s | 24 | 10756173 | 3870662 | 2309 4007 | 40 | 85 1309.45/1309.94 c 1309s | 24 | 10771553 | 3876462 | 2309 4012 | 40 | 85 1311.45/1311.97 c 1311s | 24 | 10785738 | 3881962 | 2309 4016 | 40 | 85 1313.45/1313.97 c 1313s | 24 | 10800134 | 3887162 | 2309 4020 | 40 | 85 1315.45/1315.98 c 1315s | 24 | 10815474 | 3892362 | 2309 4024 | 40 | 85 1317.45/1317.99 c 1317s | 24 | 10830783 | 3897562 | 2309 4029 | 40 | 85 1319.55/1320.04 c 1319s | 24 | 10845912 | 3902762 | 2309 4033 | 40 | 85 1321.55/1322.04 c 1321s | 24 | 10861704 | 3908262 | 2309 4037 | 40 | 85 1323.55/1324.07 c 1323s | 24 | 10878763 | 3913862 | 2309 4042 | 40 | 85 1325.54/1326.09 c 1325s | 24 | 10894416 | 3919262 | 2309 4046 | 40 | 85 1327.64/1328.10 c 1327s | 24 | 10907960 | 3924462 | 2309 4050 | 40 | 85 1329.64/1330.10 c 1329s | 24 | 10924851 | 3930062 | 2309 4055 | 40 | 85 1331.65/1332.11 c 1331s | 24 | 10940015 | 3935462 | 2309 4059 | 40 | 85 1333.64/1334.12 c 1333s | 24 | 10954435 | 3940962 | 2309 4063 | 40 | 85 1335.64/1336.13 c 1335s | 24 | 10969392 | 3946262 | 2309 4068 | 40 | 85 1337.63/1338.16 c 1337s | 24 | 10984807 | 3951762 | 2309 4072 | 40 | 85 1339.63/1340.19 c 1339s | 24 | 10997830 | 3956962 | 2309 4076 | 40 | 85 1341.73/1342.21 c 1341s | 24 | 11013032 | 3962262 | 2309 4081 | 40 | 85 1343.74/1344.24 c 1343s | 24 | 11028348 | 3967562 | 2309 4085 | 40 | 85 1345.73/1346.27 c 1346s | 24 | 11042091 | 3972562 | 2309 4089 | 40 | 85 1347.73/1348.29 c 1348s | 24 | 11055678 | 3977662 | 2309 4093 | 40 | 85 1349.83/1350.31 c 1350s | 24 | 11068854 | 3982662 | 2309 4097 | 40 | 85 1351.83/1352.34 c 1352s | 24 | 11083868 | 3987662 | 2309 4101 | 40 | 85 1353.83/1354.36 c 1354s | 24 | 11098942 | 3992962 | 2309 4105 | 40 | 85 1355.83/1356.37 c 1356s | 24 | 11111706 | 3997862 | 2309 4109 | 40 | 85 1357.82/1358.38 c 1358s | 24 | 11124024 | 4002562 | 2309 4113 | 40 | 85 1359.92/1360.40 c 1360s | 24 | 11137490 | 4007762 | 2309 4117 | 40 | 85 1361.92/1362.41 c 1362s | 24 | 11150957 | 4013062 | 2309 4121 | 40 | 85 1363.92/1364.42 c 1364s | 24 | 11163038 | 4018062 | 2309 4125 | 40 | 85 1365.92/1366.45 c 1366s | 24 | 11177413 | 4022962 | 2309 4129 | 40 | 85 1367.92/1368.48 c 1368s | 24 | 11191106 | 4028162 | 2309 4134 | 40 | 85 1369.91/1370.49 c 1370s | 24 | 11204289 | 4033162 | 2309 4138 | 40 | 85 1372.01/1372.52 c 1372s | 24 | 11217160 | 4037962 | 2309 4141 | 40 | 85 1374.01/1374.56 c 1374s | 24 | 11231726 | 4042962 | 2309 4146 | 40 | 85 1376.01/1376.57 c 1376s | 24 | 11246075 | 4048062 | 2309 4150 | 40 | 85 1378.01/1378.59 c 1378s | 24 | 11262638 | 4053562 | 2309 4154 | 40 | 85 1380.02/1380.60 c 1380s | 24 | 11276757 | 4059162 | 2309 4159 | 40 | 85 1382.11/1382.63 c 1382s | 24 | 11292319 | 4064362 | 2309 4163 | 40 | 85 1384.11/1384.67 c 1384s | 24 | 11307705 | 4069662 | 2309 4167 | 40 | 85 1386.11/1386.67 c 1386s | 24 | 11320089 | 4074862 | 2309 4171 | 40 | 85 1388.11/1388.69 c 1388s | 24 | 11335029 | 4080162 | 2309 4175 | 40 | 85 1390.21/1390.71 c 1390s | 24 | 11349374 | 4085462 | 2309 4180 | 40 | 85 1392.22/1392.72 c 1392s | 24 | 11365554 | 4090762 | 2309 4184 | 40 | 85 1394.21/1394.73 c 1394s | 24 | 11378867 | 4095962 | 2309 4188 | 40 | 85 1396.21/1396.76 c 1396s | 24 | 11391272 | 4101162 | 2309 4192 | 40 | 85 1398.21/1398.79 c 1398s | 24 | 11405125 | 4106362 | 2309 4197 | 40 | 85 1400.31/1400.80 c 1400s | 24 | 11418431 | 4111362 | 2309 4201 | 40 | 85 1402.31/1402.82 c 1402s | 24 | 11433484 | 4116862 | 2309 4205 | 40 | 85 1404.31/1404.85 c 1404s | 24 | 11448401 | 4122162 | 2309 4209 | 40 | 85 1406.31/1406.85 c 1406s | 24 | 11462117 | 4127162 | 2309 4213 | 40 | 85 1408.30/1408.88 c 1408s | 24 | 11477467 | 4132362 | 2309 4217 | 40 | 85 1410.30/1410.88 c 1410s | 24 | 11491002 | 4137162 | 2309 4221 | 40 | 85 1412.40/1412.90 c 1412s | 24 | 11504212 | 4141962 | 2309 4225 | 40 | 85 1414.40/1414.91 c 1414s | 24 | 11518288 | 4147062 | 2309 4229 | 40 | 85 1416.41/1416.94 c 1416s | 24 | 11530178 | 4151862 | 2309 4233 | 40 | 85 1418.40/1418.96 c 1418s | 24 | 11544278 | 4156762 | 2309 4237 | 40 | 85 1420.40/1420.99 c 1420s | 24 | 11555805 | 4161662 | 2309 4241 | 40 | 85 1422.50/1423.01 c 1422s | 24 | 11568851 | 4166562 | 2309 4245 | 40 | 85 1424.50/1425.04 c 1424s | 24 | 11584008 | 4172062 | 2309 4249 | 40 | 85 1426.50/1427.05 c 1426s | 24 | 11598517 | 4177362 | 2309 4254 | 40 | 85 1428.51/1429.08 c 1428s | 24 | 11613432 | 4182762 | 2309 4258 | 40 | 85 1430.61/1431.12 c 1430s | 24 | 11628796 | 4188162 | 2309 4262 | 40 | 85 1432.60/1433.13 c 1432s | 24 | 11643517 | 4193362 | 2309 4267 | 40 | 85 1434.60/1435.16 c 1434s | 24 | 11658118 | 4198562 | 2309 4271 | 40 | 85 1436.60/1437.18 c 1436s | 24 | 11672381 | 4203762 | 2309 4275 | 40 | 85 1438.70/1439.20 c 1438s | 24 | 11684588 | 4208562 | 2309 4279 | 40 | 85 1440.70/1441.22 c 1440s | 24 | 11699702 | 4213862 | 2309 4283 | 40 | 85 1442.71/1443.24 c 1442s | 24 | 11715958 | 4219062 | 2309 4287 | 40 | 85 1444.70/1445.24 c 1444s | 24 | 11728629 | 4223862 | 2309 4291 | 40 | 85 1446.70/1447.27 c 1447s | 24 | 11744237 | 4229262 | 2309 4295 | 40 | 85 1448.70/1449.28 c 1449s | 24 | 11758913 | 4234362 | 2309 4300 | 40 | 85 1450.70/1451.28 c 1451s | 24 | 11772972 | 4239462 | 2309 4304 | 40 | 85 1452.80/1453.31 c 1453s | 24 | 11785897 | 4244462 | 2309 4308 | 40 | 85 1454.81/1455.31 c 1455s | 24 | 11801417 | 4249862 | 2309 4312 | 40 | 85 1456.80/1457.33 c 1457s | 24 | 11815922 | 4255062 | 2309 4316 | 40 | 85 1458.80/1459.35 c 1459s | 24 | 11827750 | 4259862 | 2309 4320 | 40 | 85 1460.80/1461.38 c 1461s | 24 | 11843705 | 4265162 | 2309 4324 | 40 | 85 1462.80/1463.39 c 1463s | 24 | 11858991 | 4270462 | 2309 4329 | 40 | 85 1464.90/1465.41 c 1465s | 24 | 11873985 | 4275362 | 2309 4333 | 40 | 85 1466.91/1467.42 c 1467s | 24 | 11887710 | 4280362 | 2309 4337 | 40 | 85 1468.90/1469.45 c 1469s | 24 | 11901936 | 4285562 | 2309 4341 | 40 | 85 1470.90/1471.47 c 1471s | 24 | 11917716 | 4290862 | 2309 4345 | 40 | 85 1473.00/1473.51 c 1473s | 24 | 11932397 | 4295862 | 2309 4349 | 40 | 85 1475.00/1475.51 c 1475s | 24 | 11946658 | 4300962 | 2309 4353 | 40 | 85 1477.00/1477.54 c 1477s | 24 | 11959872 | 4306162 | 2309 4357 | 40 | 85 1479.01/1479.55 c 1479s | 24 | 11973687 | 4310962 | 2309 4361 | 40 | 85 1481.00/1481.55 c 1481s | 24 | 11987870 | 4316062 | 2309 4365 | 40 | 85 1483.00/1483.58 c 1483s | 24 | 12003816 | 4321162 | 2309 4369 | 40 | 85 1485.10/1485.62 c 1485s | 24 | 12019378 | 4326262 | 2309 4374 | 40 | 85 1487.10/1487.63 c 1487s | 24 | 12034834 | 4331262 | 2309 4378 | 40 | 85 1489.10/1489.64 c 1489s | 24 | 12049167 | 4336162 | 2309 4382 | 40 | 85 1491.11/1491.68 c 1491s | 24 | 12062343 | 4341062 | 2309 4385 | 40 | 85 1493.10/1493.69 c 1493s | 24 | 12075079 | 4346062 | 2309 4390 | 40 | 85 1495.20/1495.71 c 1495s | 24 | 12088281 | 4351062 | 2309 4394 | 40 | 85 1497.20/1497.74 c 1497s | 24 | 12102561 | 4356162 | 2309 4398 | 40 | 85 1499.20/1499.76 c 1499s | 24 | 12117007 | 4361062 | 2309 4402 | 40 | 85 1501.20/1501.78 c 1501s | 24 | 12132120 | 4366262 | 2309 4406 | 40 | 85 1503.20/1503.78 c 1503s | 24 | 12147306 | 4371162 | 2309 4410 | 40 | 85 1505.30/1505.81 c 1505s | 24 | 12161612 | 4376362 | 2309 4414 | 40 | 85 1507.29/1507.82 c 1507s | 24 | 12175283 | 4381362 | 2309 4418 | 40 | 85 1509.29/1509.84 c 1509s | 24 | 12188375 | 4386362 | 2309 4422 | 40 | 85 1511.29/1511.88 c 1511s | 24 | 12202333 | 4391162 | 2309 4426 | 40 | 85 1513.29/1513.89 c 1513s | 24 | 12217691 | 4396462 | 2309 4430 | 40 | 85 1515.40/1515.90 c 1515s | 24 | 12231166 | 4401762 | 2309 4434 | 40 | 85 1517.39/1517.94 c 1517s | 24 | 12243905 | 4406562 | 2309 4438 | 40 | 85 1519.39/1519.95 c 1519s | 24 | 12257292 | 4411562 | 2309 4442 | 40 | 85 1521.39/1521.95 c 1521s | 24 | 12270640 | 4416362 | 2309 4446 | 40 | 85 1523.39/1523.99 c 1523s | 24 | 12285347 | 4421062 | 2309 4450 | 40 | 85 1525.49/1526.00 c 1525s | 24 | 12298200 | 4425762 | 2309 4454 | 40 | 85 1527.50/1528.04 c 1527s | 24 | 12311072 | 4430162 | 2309 4457 | 40 | 85 1529.49/1530.05 c 1529s | 24 | 12323793 | 4434762 | 2309 4461 | 40 | 85 1531.49/1532.09 c 1531s | 24 | 12339141 | 4439862 | 2309 4465 | 40 | 85 1533.59/1534.12 c 1533s | 24 | 12352303 | 4444662 | 2309 4469 | 40 | 85 1535.59/1536.14 c 1535s | 24 | 12368037 | 4450262 | 2309 4473 | 40 | 85 1537.59/1538.18 c 1537s | 24 | 12382889 | 4455662 | 2309 4478 | 40 | 85 1539.69/1540.20 c 1539s | 24 | 12398087 | 4460662 | 2309 4482 | 40 | 85 1541.70/1542.22 c 1541s | 24 | 12412895 | 4465862 | 2309 4486 | 40 | 85 1543.69/1544.23 c 1543s | 24 | 12425852 | 4470662 | 2309 4490 | 40 | 85 1545.69/1546.24 c 1545s | 24 | 12437658 | 4475362 | 2309 4494 | 40 | 85 1547.69/1548.28 c 1548s | 24 | 12450251 | 4480162 | 2309 4498 | 40 | 85 1549.69/1550.29 c 1550s | 24 | 12464359 | 4485062 | 2309 4501 | 40 | 85 1551.79/1552.32 c 1552s | 24 | 12477676 | 4489762 | 2309 4505 | 40 | 85 1553.79/1554.36 c 1554s | 24 | 12492230 | 4494662 | 2309 4509 | 40 | 85 1555.79/1556.39 c 1556s | 24 | 12506236 | 4499562 | 2309 4513 | 40 | 85 1557.89/1558.41 c 1558s | 24 | 12521659 | 4504762 | 2309 4517 | 40 | 85 1559.88/1560.42 c 1560s | 24 | 12535671 | 4509662 | 2309 4521 | 40 | 85 1561.88/1562.45 c 1562s | 24 | 12548185 | 4514662 | 2309 4525 | 40 | 85 1563.88/1564.47 c 1564s | 24 | 12562005 | 4519362 | 2309 4529 | 40 | 85 1565.89/1566.50 c 1566s | 24 | 12577306 | 4524262 | 2309 4533 | 40 | 85 1567.98/1568.53 c 1568s | 24 | 12591396 | 4529162 | 2309 4537 | 40 | 85 1569.98/1570.55 c 1570s | 24 | 12604014 | 4533662 | 2309 4541 | 40 | 85 1571.98/1572.57 c 1572s | 24 | 12616670 | 4538162 | 2309 4544 | 40 | 85 1574.08/1574.60 c 1574s | 24 | 12630739 | 4543162 | 2309 4548 | 40 | 85 1576.08/1576.61 c 1576s | 24 | 12643124 | 4547662 | 2309 4552 | 40 | 85 1578.09/1578.62 c 1578s | 24 | 12656719 | 4552162 | 2309 4556 | 40 | 85 1580.08/1580.63 c 1580s | 24 | 12669673 | 4556862 | 2309 4559 | 40 | 85 1582.08/1582.65 c 1582s | 24 | 12683542 | 4561762 | 2309 4563 | 40 | 85 1584.08/1584.65 c 1584s | 24 | 12698207 | 4566762 | 2309 4567 | 40 | 85 1586.08/1586.69 c 1586s | 24 | 12712254 | 4571962 | 2309 4571 | 40 | 85 1588.18/1588.71 c 1588s | 24 | 12724149 | 4576762 | 2309 4575 | 40 | 85 1590.19/1590.75 c 1590s | 24 | 12738027 | 4581562 | 2309 4579 | 40 | 85 1592.18/1592.78 c 1592s | 24 | 12751712 | 4586362 | 2309 4583 | 40 | 85 1594.18/1594.79 c 1594s | 24 | 12765152 | 4591262 | 2309 4587 | 40 | 85 1596.28/1596.80 c 1596s | 24 | 12777291 | 4595862 | 2309 4591 | 40 | 85 1598.28/1598.80 c 1598s | 24 | 12789908 | 4600562 | 2309 4595 | 40 | 85 1600.28/1600.84 c 1600s | 24 | 12802328 | 4605162 | 2309 4598 | 40 | 85 1602.28/1602.85 c 1602s | 24 | 12816379 | 4610262 | 2309 4602 | 40 | 85 1604.28/1604.89 c 1604s | 24 | 12830027 | 4615062 | 2309 4606 | 40 | 85 1606.38/1606.92 c 1606s | 24 | 12844129 | 4620062 | 2309 4610 | 40 | 85 1608.37/1608.92 c 1608s | 24 | 12857888 | 4624862 | 2309 4614 | 40 | 85 1610.37/1610.93 c 1610s | 24 | 12872377 | 4629662 | 2309 4618 | 40 | 85 1612.37/1612.94 c 1612s | 24 | 12885901 | 4634462 | 2309 4622 | 40 | 85 1614.38/1614.96 c 1614s | 24 | 12898858 | 4639162 | 2309 4626 | 40 | 85 1616.37/1617.00 c 1616s | 24 | 12913016 | 4644162 | 2309 4630 | 40 | 85 1618.47/1619.03 c 1618s | 24 | 12927606 | 4648862 | 2309 4633 | 40 | 85 1620.47/1621.04 c 1620s | 24 | 12941769 | 4653662 | 2309 4637 | 40 | 85 1622.47/1623.08 c 1622s | 24 | 12956607 | 4658762 | 2309 4641 | 40 | 85 1624.47/1625.09 c 1624s | 24 | 12970404 | 4663762 | 2309 4646 | 40 | 85 1626.57/1627.10 c 1626s | 24 | 12983818 | 4668562 | 2309 4649 | 40 | 85 1628.58/1629.11 c 1628s | 24 | 12994549 | 4673062 | 2309 4653 | 40 | 85 1630.57/1631.13 c 1630s | 24 | 13008509 | 4677962 | 2309 4657 | 40 | 85 1632.57/1633.14 c 1632s | 24 | 13022231 | 4682862 | 2309 4661 | 40 | 85 1634.57/1635.15 c 1634s | 24 | 13035573 | 4687562 | 2309 4665 | 40 | 85 1636.57/1637.16 c 1636s | 24 | 13048149 | 4692062 | 2309 4668 | 40 | 85 1638.67/1639.20 c 1638s | 24 | 13063414 | 4697262 | 2309 4673 | 40 | 85 1640.68/1641.23 c 1640s | 24 | 13077468 | 4702362 | 2309 4677 | 40 | 85 1642.67/1643.23 c 1642s | 24 | 13091206 | 4707162 | 2309 4681 | 40 | 85 1644.67/1645.24 c 1644s | 24 | 13105657 | 4712162 | 2309 4685 | 40 | 85 1646.67/1647.26 c 1646s | 24 | 13119076 | 4716962 | 2309 4688 | 40 | 85 1648.68/1649.29 c 1649s | 24 | 13134693 | 4721962 | 2309 4692 | 40 | 85 1650.78/1651.30 c 1651s | 24 | 13149334 | 4726762 | 2309 4696 | 40 | 85 1652.78/1653.32 c 1653s | 24 | 13163081 | 4731662 | 2309 4700 | 40 | 85 1654.77/1655.34 c 1655s | 24 | 13177133 | 4736362 | 2309 4704 | 40 | 85 1656.77/1657.36 c 1657s | 24 | 13192304 | 4741362 | 2309 4708 | 40 | 85 1658.77/1659.36 c 1659s | 24 | 13207471 | 4746562 | 2309 4712 | 40 | 85 1660.87/1661.40 c 1661s | 24 | 13221535 | 4751362 | 2309 4716 | 40 | 85 1662.87/1663.43 c 1663s | 24 | 13235945 | 4756262 | 2309 4720 | 40 | 85 1664.88/1665.43 c 1665s | 24 | 13251002 | 4761862 | 2309 4725 | 40 | 85 1666.87/1667.44 c 1667s | 24 | 13266080 | 4766762 | 2309 4729 | 40 | 85 1668.87/1669.45 c 1669s | 24 | 13281547 | 4771862 | 2309 4733 | 40 | 85 1670.87/1671.45 c 1671s | 24 | 13295131 | 4776762 | 2309 4737 | 40 | 85 1672.87/1673.49 c 1673s | 24 | 13308440 | 4781562 | 2309 4741 | 40 | 85 1674.97/1675.50 c 1675s | 24 | 13322280 | 4786362 | 2309 4744 | 40 | 85 1676.97/1677.53 c 1677s | 24 | 13335582 | 4791162 | 2309 4748 | 40 | 85 1678.96/1679.57 c 1679s | 24 | 13350691 | 4795962 | 2309 4752 | 40 | 85 1681.06/1681.60 c 1681s | 24 | 13364189 | 4800762 | 2309 4756 | 40 | 85 1683.06/1683.63 c 1683s | 24 | 13377292 | 4805462 | 2309 4760 | 40 | 85 1685.06/1685.63 c 1685s | 24 | 13392354 | 4810462 | 2309 4764 | 40 | 85 1687.06/1687.64 c 1687s | 24 | 13407927 | 4815462 | 2309 4768 | 40 | 85 1689.07/1689.67 c 1689s | 24 | 13421495 | 4820362 | 2309 4772 | 40 | 85 1691.06/1691.69 c 1691s | 24 | 13434163 | 4824862 | 2309 4776 | 40 | 85 1693.16/1693.70 c 1693s | 24 | 13448055 | 4829562 | 2309 4779 | 40 | 85 1695.16/1695.70 c 1695s | 24 | 13463730 | 4835062 | 2309 4784 | 40 | 85 1697.16/1697.71 c 1697s | 24 | 13479996 | 4840862 | 2309 4789 | 40 | 85 1699.16/1699.71 c 1699s | 24 | 13495449 | 4846462 | 2309 4793 | 40 | 85 1701.17/1701.73 c 1701s | 24 | 13510343 | 4852062 | 2309 4798 | 40 | 85 1703.16/1703.73 c 1703s | 24 | 13523576 | 4857262 | 2309 4802 | 40 | 85 1705.16/1705.74 c 1705s | 24 | 13540015 | 4862762 | 2309 4806 | 40 | 85 1707.16/1707.77 c 1707s | 24 | 13554854 | 4868262 | 2309 4811 | 40 | 85 1709.16/1709.79 c 1709s | 24 | 13569090 | 4873662 | 2309 4815 | 40 | 85 1711.26/1711.82 c 1711s | 24 | 13583660 | 4879062 | 2309 4819 | 40 | 85 1713.27/1713.83 c 1713s | 24 | 13599806 | 4884562 | 2309 4824 | 40 | 85 1715.26/1715.85 c 1715s | 24 | 13614035 | 4890062 | 2309 4828 | 40 | 85 1717.26/1717.86 c 1717s | 24 | 13626753 | 4895462 | 2309 4832 | 40 | 85 1719.26/1719.87 c 1719s | 24 | 13642190 | 4900962 | 2309 4837 | 40 | 85 1721.26/1721.89 c 1721s | 24 | 13658647 | 4906762 | 2309 4841 | 40 | 85 1723.27/1723.89 c 1723s | 24 | 13673874 | 4911862 | 2309 4846 | 40 | 85 1725.26/1725.90 c 1725s | 24 | 13689280 | 4917262 | 2309 4850 | 40 | 85 1727.36/1727.90 c 1727s | 24 | 13704142 | 4922662 | 2309 4854 | 40 | 85 1729.36/1729.91 c 1729s | 24 | 13717877 | 4927862 | 2309 4858 | 40 | 85 1731.36/1731.91 c 1731s | 24 | 13731326 | 4932862 | 2309 4862 | 40 | 85 1733.36/1733.94 c 1733s | 24 | 13747825 | 4938262 | 2309 4867 | 40 | 85 1735.36/1735.95 c 1735s | 24 | 13761073 | 4943462 | 2309 4871 | 40 | 85 1737.35/1737.96 c 1737s | 24 | 13774245 | 4948662 | 2309 4875 | 40 | 85 1739.35/1739.97 c 1739s | 24 | 13788972 | 4953862 | 2309 4879 | 40 | 85 1741.45/1742.00 c 1741s | 24 | 13803176 | 4959062 | 2309 4884 | 40 | 85 1743.45/1744.00 c 1743s | 24 | 13817167 | 4964062 | 2309 4888 | 40 | 85 1745.45/1746.03 c 1745s | 24 | 13833056 | 4969462 | 2309 4892 | 40 | 85 1747.46/1748.04 c 1747s | 24 | 13846915 | 4974562 | 2309 4896 | 40 | 85 1749.45/1750.05 c 1749s | 24 | 13860882 | 4979862 | 2309 4900 | 40 | 85 1751.45/1752.08 c 1751s | 24 | 13875699 | 4985162 | 2309 4905 | 40 | 85 1753.56/1754.11 c 1753s | 24 | 13889003 | 4990362 | 2309 4909 | 40 | 85 1755.56/1756.13 c 1755s | 24 | 13901563 | 4995362 | 2309 4913 | 40 | 85 1757.56/1758.14 c 1757s | 24 | 13917870 | 5001162 | 2309 4917 | 40 | 85 1759.57/1760.17 c 1759s | 24 | 13933456 | 5006562 | 2309 4922 | 40 | 85 1761.56/1762.19 c 1761s | 24 | 13948224 | 5011962 | 2309 4926 | 40 | 85 1763.66/1764.22 c 1763s | 24 | 13961472 | 5017362 | 2309 4931 | 40 | 85 1765.66/1766.22 c 1765s | 24 | 13975327 | 5022662 | 2309 4935 | 40 | 85 1767.66/1768.23 c 1767s | 24 | 13989782 | 5027962 | 2309 4939 | 40 | 85 1769.66/1770.26 c 1769s | 24 | 14003244 | 5033162 | 2540 4943 | 40 | 85 1771.66/1772.29 c 1772s | 24 | 14017462 | 5038662 | 2540 4947 | 40 | 85 1773.66/1774.29 c 1774s | 24 | 14030807 | 5043662 | 2540 4951 | 40 | 85 1775.76/1776.30 c 1776s | 24 | 14044800 | 5048962 | 2540 4954 | 40 | 85 1777.75/1778.32 c 1778s | 24 | 14058470 | 5054062 | 2540 4958 | 40 | 85 1779.75/1780.36 c 1780s | 24 | 14073234 | 5058962 | 2540 4962 | 40 | 85 1781.75/1782.37 c 1782s | 24 | 14087152 | 5064162 | 2540 4966 | 40 | 85 1782.15/1782.73 c 1782s | 25 | 14089777 | 5065098 | 2540 4966 | 40 | 85 1784.15/1784.76 c 1784s | 25 | 14106142 | 5070398 | 2540 4970 | 40 | 85 1786.15/1786.78 c 1786s | 25 | 14122360 | 5076098 | 2540 4974 | 40 | 85 1788.16/1788.79 c 1788s | 25 | 14138436 | 5081898 | 2540 4979 | 40 | 85 1790.26/1790.82 c 1790s | 25 | 14154886 | 5087598 | 2540 4983 | 40 | 85 1792.25/1792.84 c 1792s | 25 | 14170056 | 5093098 | 2540 4987 | 40 | 85 1794.25/1794.84 c 1794s | 25 | 14186006 | 5098498 | 2540 4991 | 40 | 85 1796.25/1796.85 c 1796s | 25 | 14200912 | 5103798 | 2540 4995 | 40 | 85 1798.25/1798.87 c 1798s | 25 | 14216460 | 5109098 | 2540 4999 | 40 | 85
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-4105481-1466247194/watcher-4105481-1466247194 -o /tmp/evaluation-result-4105481-1466247194/solver-4105481-1466247194 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105481-1466247194.opb pid=5075 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.19 2.15 2.10 3/179 5078 /proc/meminfo: memFree=30168944/32872528 swapFree=526336/559040 [pid=5078] ppid=5075 vsize=601532 CPUtime=0 cores=0,2,4,6 /proc/5078/stat : 5078 (toysat) R 5075 5078 28898 0 -1 4202496 2220 0 0 0 0 0 0 0 20 0 4 0 26769568 615968768 2581 33554432000 4194304 16246674 140734151213696 140734151213120 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5078/statm: 150383 2581 441 2943 0 147277 0 [pid=5078/tid=5079] ppid=5075 vsize=637372 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5079/stat : 5079 (toysat) S 5075 5078 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26769568 652668928 2724 33554432000 4194304 16246674 140734151213696 139810510449904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=5078/tid=5080] ppid=5075 vsize=642492 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5080/stat : 5080 (toysat) S 5075 5078 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26769568 657911808 2744 33554432000 4194304 16246674 140734151213696 139810499960048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=5078/tid=5081] ppid=5075 vsize=646588 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 662106112 2760 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.10013 s] /proc/loadavg: 2.19 2.15 2.10 3/179 5078 /proc/meminfo: memFree=30168944/32872528 swapFree=526336/559040 [pid=5078] ppid=5075 vsize=1219140 CPUtime=0.08 cores=0,2,4,6 /proc/5078/stat : 5078 (toysat) R 5075 5078 28898 0 -1 4202496 17713 0 0 0 6 2 0 0 20 0 4 0 26769568 1248399360 18039 33554432000 4194304 16246674 140734151213696 140734151213008 5711829 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5078/statm: 304785 18039 837 2943 0 301679 0 [pid=5078/tid=5079] ppid=5075 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5079/stat : 5079 (toysat) S 5075 5078 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26769568 1248399360 18039 33554432000 4194304 16246674 140734151213696 139810510449904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=5078/tid=5080] ppid=5075 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5080/stat : 5080 (toysat) S 5075 5078 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26769568 1248399360 18039 33554432000 4194304 16246674 140734151213696 139810499960048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=5078/tid=5081] ppid=5075 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 1248399360 18039 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1219140 [startup+0.200484 s] /proc/loadavg: 2.19 2.15 2.10 3/179 5078 /proc/meminfo: memFree=30168944/32872528 swapFree=526336/559040 [pid=5078] ppid=5075 vsize=1219140 CPUtime=0.19 cores=0,2,4,6 /proc/5078/stat : 5078 (toysat) R 5075 5078 28898 0 -1 4202496 29026 0 0 0 14 5 0 0 20 0 4 0 26769568 1248399360 29352 33554432000 4194304 16246674 140734151213696 140734151213008 6021133 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5078/statm: 304785 29355 837 2943 0 301679 0 [pid=5078/tid=5079] ppid=5075 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5079/stat : 5079 (toysat) S 5075 5078 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26769568 1248399360 29357 33554432000 4194304 16246674 140734151213696 139810510449904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=5078/tid=5080] ppid=5075 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5080/stat : 5080 (toysat) S 5075 5078 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26769568 1248399360 29357 33554432000 4194304 16246674 140734151213696 139810499960048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=5078/tid=5081] ppid=5075 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 1248399360 29357 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1219140 [startup+0.300435 s] /proc/loadavg: 2.19 2.15 2.10 3/179 5078 /proc/meminfo: memFree=30168944/32872528 swapFree=526336/559040 [pid=5078] ppid=5075 vsize=1219140 CPUtime=0.28 cores=0,2,4,6 /proc/5078/stat : 5078 (toysat) R 5075 5078 28898 0 -1 4202496 44592 0 0 0 21 7 0 0 20 0 4 0 26769568 1248399360 44918 33554432000 4194304 16246674 140734151213696 140734151213008 5831697 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5078/statm: 304785 44924 837 2943 0 301679 0 [pid=5078/tid=5079] ppid=5075 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5079/stat : 5079 (toysat) S 5075 5078 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26769568 1248399360 44929 33554432000 4194304 16246674 140734151213696 139810510449904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=5078/tid=5080] ppid=5075 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5080/stat : 5080 (toysat) S 5075 5078 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26769568 1248399360 44934 33554432000 4194304 16246674 140734151213696 139810499960048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=5078/tid=5081] ppid=5075 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 1248399360 44936 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1219140 [startup+0.700397 s] /proc/loadavg: 2.19 2.15 2.10 3/179 5078 /proc/meminfo: memFree=30168944/32872528 swapFree=526336/559040 [pid=5078] ppid=5075 vsize=1219140 CPUtime=0.68 cores=0,2,4,6 /proc/5078/stat : 5078 (toysat) R 5075 5078 28898 0 -1 4202496 113571 0 0 0 51 17 0 0 20 0 4 0 26769568 1248399360 113897 33554432000 4194304 16246674 140734151213696 140734151195584 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5078/statm: 304785 113909 838 2943 0 301679 0 [pid=5078/tid=5079] ppid=5075 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5079/stat : 5079 (toysat) S 5075 5078 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26769568 1248399360 113918 33554432000 4194304 16246674 140734151213696 139810510449904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=5078/tid=5080] ppid=5075 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5080/stat : 5080 (toysat) S 5075 5078 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26769568 1248399360 113928 33554432000 4194304 16246674 140734151213696 139810499960048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=5078/tid=5081] ppid=5075 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 1248399360 113939 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1219140 [startup+1.5004 s] /proc/loadavg: 2.19 2.15 2.10 3/183 5082 /proc/meminfo: memFree=29425088/32872528 swapFree=526336/559040 [pid=5078] ppid=5075 vsize=1304132 CPUtime=1.48 cores=0,2,4,6 /proc/5078/stat : 5078 (toysat) R 5075 5078 28898 0 -1 4202496 261172 0 0 0 109 39 0 0 20 0 4 0 26769568 1335431168 261498 33554432000 4194304 16246674 140734151213696 140734151196696 6021055 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5078/statm: 326033 261516 839 2943 0 322927 0 [pid=5078/tid=5079] ppid=5075 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5079/stat : 5079 (toysat) S 5075 5078 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26769568 1335431168 261528 33554432000 4194304 16246674 140734151213696 139810510449904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=5078/tid=5080] ppid=5075 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5080/stat : 5080 (toysat) S 5075 5078 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26769568 1335431168 261534 33554432000 4194304 16246674 140734151213696 139810499960048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=5078/tid=5081] ppid=5075 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 1335431168 261539 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1304132 [startup+3.10041 s] /proc/loadavg: 2.19 2.15 2.10 3/183 5082 /proc/meminfo: memFree=29100652/32872528 swapFree=526336/559040 [pid=5078] ppid=5075 vsize=1306180 CPUtime=3.08 cores=0,2,4,6 /proc/5078/stat : 5078 (toysat) R 5075 5078 28898 0 -1 4202496 267618 0 0 0 268 40 0 0 20 0 4 0 26769568 1337528320 267944 33554432000 4194304 16246674 140734151213696 140734151196696 5600224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5078/statm: 326545 267944 839 2943 0 323439 0 [pid=5078/tid=5079] ppid=5075 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5079/stat : 5079 (toysat) S 5075 5078 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26769568 1337528320 267944 33554432000 4194304 16246674 140734151213696 139810510449904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=5078/tid=5080] ppid=5075 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5080/stat : 5080 (toysat) S 5075 5078 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26769568 1337528320 267944 33554432000 4194304 16246674 140734151213696 139810499960048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=5078/tid=5081] ppid=5075 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 1337528320 267944 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1306180 [startup+6.30041 s] /proc/loadavg: 2.17 2.15 2.10 3/183 5082 /proc/meminfo: memFree=29098088/32872528 swapFree=526336/559040 [pid=5078] ppid=5075 vsize=1307204 CPUtime=6.28 cores=0,2,4,6 /proc/5078/stat : 5078 (toysat) R 5075 5078 28898 0 -1 4202496 267767 0 0 0 588 40 0 0 20 0 4 0 26769568 1338576896 268093 33554432000 4194304 16246674 140734151213696 140734151195584 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5078/statm: 326801 268093 844 2943 0 323695 0 [pid=5078/tid=5079] ppid=5075 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5079/stat : 5079 (toysat) S 5075 5078 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26769568 1338576896 268093 33554432000 4194304 16246674 140734151213696 139810510449904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=5078/tid=5080] ppid=5075 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5080/stat : 5080 (toysat) S 5075 5078 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26769568 1338576896 268093 33554432000 4194304 16246674 140734151213696 139810499960048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=5078/tid=5081] ppid=5075 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 1338576896 268093 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.16 2.15 2.10 3/183 5082 /proc/meminfo: memFree=29096544/32872528 swapFree=526336/559040 [pid=5078] ppid=5075 vsize=1308228 CPUtime=12.68 cores=0,2,4,6 /proc/5078/stat : 5078 (toysat) R 5075 5078 28898 0 -1 4202496 268031 0 0 0 1228 40 0 0 20 0 4 0 26769568 1339625472 268357 33554432000 4194304 16246674 140734151213696 140734151195584 5712004 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5078/statm: 327057 268357 844 2943 0 323951 0 [pid=5078/tid=5079] ppid=5075 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5079/stat : 5079 (toysat) S 5075 5078 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26769568 1339625472 268357 33554432000 4194304 16246674 140734151213696 139810510449904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=5078/tid=5080] ppid=5075 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5080/stat : 5080 (toysat) S 5075 5078 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26769568 1339625472 268357 33554432000 4194304 16246674 140734151213696 139810499960048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=5078/tid=5081] ppid=5075 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 1339625472 268357 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.20 2.15 2.10 3/183 5082 /proc/meminfo: memFree=29094480/32872528 swapFree=526336/559040 [pid=5078] ppid=5075 vsize=1308228 CPUtime=25.49 cores=0,2,4,6 /proc/5078/stat : 5078 (toysat) R 5075 5078 28898 0 -1 4202496 268145 0 0 0 2508 41 0 0 20 0 4 0 26769568 1339625472 268471 33554432000 4194304 16246674 140734151213696 140734151195584 6022628 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5078/statm: 327057 268471 846 2943 0 323951 0 [pid=5078/tid=5079] ppid=5075 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5079/stat : 5079 (toysat) S 5075 5078 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26769568 1339625472 268471 33554432000 4194304 16246674 140734151213696 139810510449904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=5078/tid=5080] ppid=5075 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5080/stat : 5080 (toysat) S 5075 5078 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26769568 1339625472 268471 33554432000 4194304 16246674 140734151213696 139810499960048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=5078/tid=5081] ppid=5075 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 1339625472 268471 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.13 2.14 2.09 3/183 5082 /proc/meminfo: memFree=29088748/32872528 swapFree=526336/559040 [pid=5078] ppid=5075 vsize=1314372 CPUtime=51.08 cores=0,2,4,6 /proc/5078/stat : 5078 (toysat) R 5075 5078 28898 0 -1 4202496 269681 0 0 0 5067 41 0 0 20 0 4 0 26769568 1345916928 270007 33554432000 4194304 16246674 140734151213696 140734151195584 7249949 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5078/statm: 328593 270007 846 2943 0 325487 0 [pid=5078/tid=5079] ppid=5075 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5079/stat : 5079 (toysat) S 5075 5078 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26769568 1345916928 270007 33554432000 4194304 16246674 140734151213696 139810510449904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=5078/tid=5080] ppid=5075 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5080/stat : 5080 (toysat) S 5075 5078 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26769568 1345916928 270007 33554432000 4194304 16246674 140734151213696 139810499960048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=5078/tid=5081] ppid=5075 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 1345916928 270007 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1314372 [startup+102.3 s] /proc/loadavg: 2.05 2.12 2.09 3/183 5083 /proc/meminfo: memFree=29085156/32872528 swapFree=526336/559040 [pid=5078] ppid=5075 vsize=1317444 CPUtime=102.27 cores=0,2,4,6 /proc/5078/stat : 5078 (toysat) R 5075 5078 28898 0 -1 4202496 270449 0 0 0 10186 41 0 0 20 0 4 0 26769568 1349062656 270775 33554432000 4194304 16246674 140734151213696 140734151195584 13954625 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5078/statm: 329361 270775 846 2943 0 326255 0 [pid=5078/tid=5079] ppid=5075 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5079/stat : 5079 (toysat) S 5075 5078 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26769568 1349062656 270775 33554432000 4194304 16246674 140734151213696 139810510449904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=5078/tid=5080] ppid=5075 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5080/stat : 5080 (toysat) S 5075 5078 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26769568 1349062656 270775 33554432000 4194304 16246674 140734151213696 139810499960048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=5078/tid=5081] ppid=5075 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 1349062656 270775 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1317444 ################ # More data... # ################ /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 1377374208 277945 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 1345092 [startup+1302.3 s] /proc/loadavg: 2.14 2.14 2.09 3/183 5233 /proc/meminfo: memFree=29076668/32872528 swapFree=526336/559040 [pid=5078] ppid=5075 vsize=1345092 CPUtime=1301.85 cores=0,2,4,6 /proc/5078/stat : 5078 (toysat) R 5075 5078 28898 0 -1 4202496 277730 0 0 0 130132 53 0 0 20 0 4 0 26769568 1377374208 277945 33554432000 4194304 16246674 140734151213696 140734151195584 6021072 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5078/statm: 336273 277945 848 2943 0 333167 0 [pid=5078/tid=5079] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5079/stat : 5079 (toysat) S 5075 5078 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26769568 1377374208 277945 33554432000 4194304 16246674 140734151213696 139810510449904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=5078/tid=5080] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5080/stat : 5080 (toysat) S 5075 5078 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26769568 1377374208 277945 33554432000 4194304 16246674 140734151213696 139810499960048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=5078/tid=5081] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 1377374208 277945 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1345092 [startup+1362.3 s] /proc/loadavg: 2.15 2.14 2.09 3/183 5331 /proc/meminfo: memFree=29065424/32872528 swapFree=526336/559040 [pid=5078] ppid=5075 vsize=1345092 CPUtime=1361.82 cores=0,2,4,6 /proc/5078/stat : 5078 (toysat) R 5075 5078 28898 0 -1 4202496 277771 0 0 0 136128 54 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 140734151195584 6020840 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5078/statm: 336273 277947 848 2943 0 333167 0 [pid=5078/tid=5079] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5079/stat : 5079 (toysat) S 5075 5078 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810510449904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=5078/tid=5080] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5080/stat : 5080 (toysat) S 5075 5078 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810499960048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=5078/tid=5081] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 1345092 [startup+1422.3 s] /proc/loadavg: 2.13 2.14 2.09 3/183 5332 /proc/meminfo: memFree=29061416/32872528 swapFree=526336/559040 [pid=5078] ppid=5075 vsize=1345092 CPUtime=1421.81 cores=0,2,4,6 /proc/5078/stat : 5078 (toysat) R 5075 5078 28898 0 -1 4202496 277777 0 0 0 142127 54 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 140734151195584 5545788 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5078/statm: 336273 277947 848 2943 0 333167 0 [pid=5078/tid=5079] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5079/stat : 5079 (toysat) S 5075 5078 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810510449904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=5078/tid=5080] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5080/stat : 5080 (toysat) S 5075 5078 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810499960048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=5078/tid=5081] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1345092 [startup+1482.3 s] /proc/loadavg: 2.16 2.15 2.09 3/183 5334 /proc/meminfo: memFree=29060336/32872528 swapFree=526336/559040 [pid=5078] ppid=5075 vsize=1345092 CPUtime=1481.8 cores=0,2,4,6 /proc/5078/stat : 5078 (toysat) R 5075 5078 28898 0 -1 4202496 277777 0 0 0 148125 55 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 140734151195584 5663122 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5078/statm: 336273 277947 848 2943 0 333167 0 [pid=5078/tid=5079] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5079/stat : 5079 (toysat) S 5075 5078 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810510449904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=5078/tid=5080] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5080/stat : 5080 (toysat) S 5075 5078 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810499960048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=5078/tid=5081] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1345092 [startup+1542.31 s] /proc/loadavg: 2.10 2.13 2.09 3/183 5335 /proc/meminfo: memFree=29060128/32872528 swapFree=526336/559040 [pid=5078] ppid=5075 vsize=1345092 CPUtime=1541.8 cores=0,2,4,6 /proc/5078/stat : 5078 (toysat) R 5075 5078 28898 0 -1 4202496 277777 0 0 0 154125 55 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 140734151195584 12875026 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5078/statm: 336273 277947 848 2943 0 333167 0 [pid=5078/tid=5079] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5079/stat : 5079 (toysat) S 5075 5078 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810510449904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=5078/tid=5080] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5080/stat : 5080 (toysat) S 5075 5078 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810499960048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=5078/tid=5081] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1345092 [startup+1602.3 s] /proc/loadavg: 2.22 2.15 2.10 3/183 5336 /proc/meminfo: memFree=29060292/32872528 swapFree=526336/559040 [pid=5078] ppid=5075 vsize=1345092 CPUtime=1601.78 cores=0,2,4,6 /proc/5078/stat : 5078 (toysat) R 5075 5078 28898 0 -1 4202496 277777 0 0 0 160123 55 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 140734151195584 5721768 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5078/statm: 336273 277947 848 2943 0 333167 0 [pid=5078/tid=5079] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5079/stat : 5079 (toysat) S 5075 5078 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810510449904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=5078/tid=5080] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5080/stat : 5080 (toysat) S 5075 5078 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810499960048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=5078/tid=5081] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1345092 [startup+1662.3 s] /proc/loadavg: 2.19 2.15 2.10 3/184 5340 /proc/meminfo: memFree=29060240/32872528 swapFree=526336/559040 [pid=5078] ppid=5075 vsize=1345092 CPUtime=1661.77 cores=0,2,4,6 /proc/5078/stat : 5078 (toysat) R 5075 5078 28898 0 -1 4202496 277777 0 0 0 166121 56 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 140734151196696 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5078/statm: 336273 277947 848 2943 0 333167 0 [pid=5078/tid=5079] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5079/stat : 5079 (toysat) S 5075 5078 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810510449904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=5078/tid=5080] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5080/stat : 5080 (toysat) S 5075 5078 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810499960048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=5078/tid=5081] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1345092 [startup+1722.3 s] /proc/loadavg: 2.22 2.17 2.10 4/183 5341 /proc/meminfo: memFree=29059896/32872528 swapFree=526336/559040 [pid=5078] ppid=5075 vsize=1345092 CPUtime=1721.76 cores=0,2,4,6 /proc/5078/stat : 5078 (toysat) R 5075 5078 28898 0 -1 4202496 277777 0 0 0 172120 56 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 140734151195584 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5078/statm: 336273 277947 848 2943 0 333167 0 [pid=5078/tid=5079] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5079/stat : 5079 (toysat) S 5075 5078 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810510449904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=5078/tid=5080] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5080/stat : 5080 (toysat) S 5075 5078 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810499960048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=5078/tid=5081] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1345092 [startup+1782.3 s] /proc/loadavg: 2.29 2.20 2.11 3/183 5343 /proc/meminfo: memFree=29057584/32872528 swapFree=526336/559040 [pid=5078] ppid=5075 vsize=1345092 CPUtime=1781.75 cores=0,2,4,6 /proc/5078/stat : 5078 (toysat) R 5075 5078 28898 0 -1 4202496 277777 0 0 0 178118 57 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 140734151195584 13943608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5078/statm: 336273 277947 848 2943 0 333167 0 [pid=5078/tid=5079] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5079/stat : 5079 (toysat) S 5075 5078 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810510449904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=5078/tid=5080] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5080/stat : 5080 (toysat) S 5075 5078 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810499960048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=5078/tid=5081] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1345092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.28 2.20 2.11 3/183 5344 /proc/meminfo: memFree=29057060/32872528 swapFree=526336/559040 [pid=5078] ppid=5075 vsize=1345092 CPUtime=1800.05 cores=0,2,4,6 /proc/5078/stat : 5078 (toysat) R 5075 5078 28898 0 -1 4202496 277777 0 0 0 179948 57 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 140734151212792 5829844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5078/statm: 336273 277947 848 2943 0 333167 0 [pid=5078/tid=5079] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5079/stat : 5079 (toysat) S 5075 5078 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810510449904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=5078/tid=5080] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5080/stat : 5080 (toysat) S 5075 5078 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26769568 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810499960048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=5078/tid=5081] ppid=5075 vsize=1345092 CPUtime=0 cores=0,2,4,6 /proc/5078/task/5081/stat : 5081 (toysat) S 5075 5078 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26769569 1377374208 277947 33554432000 4194304 16246674 140734151213696 139810379394224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1345092 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 5078 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.06 CPU user time (s): 1799.49 CPU system time (s): 0.571913 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (KiB): 1345092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.49 system time used= 0.571913 maximum resident set size= 1111788 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277777 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= 430 involuntary context switches= 2169 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.45932 second user time and 7.37388 second system time The end
Begin job on node106 at 2016-06-18 12:53:14 IDJOB=4105481 IDBENCH=2878 IDSOLVER=2542 FILE ID=node106/4105481-1466247194 RUNJOBID= node106-1466241787-28914 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-m200_500_10_10.r.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105481-1466247194/watcher-4105481-1466247194 -o /tmp/evaluation-result-4105481-1466247194/solver-4105481-1466247194 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105481-1466247194.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9ce5413471f93025df24c6fa43fb2680 RANDOM SEED=362551878 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: 30169680 kB Buffers: 90652 kB Cached: 211292 kB SwapCached: 1868 kB Active: 1185956 kB Inactive: 212296 kB Active(anon): 1095488 kB Inactive(anon): 3048 kB Active(file): 90468 kB Inactive(file): 209248 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 16352 kB Writeback: 0 kB AnonPages: 1748412 kB Mapped: 10652 kB Shmem: 0 kB Slab: 611940 kB SReclaimable: 55624 kB SUnreclaim: 556316 kB KernelStack: 1520 kB PageTables: 6988 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1799444 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 126976 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:23:15