| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=43-P1=101-P2=251-P3=307-P4=499-B.opb |
| MD5SUM | e79e2db14e141163591dbcfdfed7384a |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.094984 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 108 |
| Total number of constraints | 9 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 9 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 99 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 523264 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 324 |
| Sum of products size (including duplicates) | 648 |
| Number of different products | 324 |
| Sum of products size | 648 |
0.00/0.00 c 2016-06-18T18:04:49+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-4106115-1466265889.opb"] 0.00/0.01 c use --random-gen="3421363069 753352461 2701092480 1360676845 3126328448 1127843499 190865406 3500433217 501794771 372260973 487232448 3045921131 4291127764 3977896844 891215969 1984056227 1492711823 4256036196 1114309624 1043409414 4289448185 1652839850 2475733478 3148146533 1976757220 3768183748 2329154432 201051968 3629821019 1296958445 218662121 1914303424 2631315578 2387144619 3200343118 1616757892 2978264700 3282149365 4166399060 3608204039 3886810848 626302790 2172744449 2359915559 2426500704 230619370 2357099495 1333206135 3681551141 4149456794 2526215168 796309723 1230891003 222376108 2971578040 2857237286 2324411434 1794562554 1081853889 4043349412 1615414207 1609578855 1546911526 1518412933 1130581852 2995707914 1830730745 2810500268 1632526489 3343490486 66264575 1564873560 933886988 2051645513 556979629 269615580 231013883 3262598425 55229141 1537495863 2469534665 1256350408 3726160511 1350295918 4116247420 1475340173 1670075556 2140410873 3403947842 2875406571 3077750600 1153940445 4229079203 3877505703 4141186394 3622397713 3500361409 2559088806 2302861698 656394427 3641738838 826272453 2533114038 596881247 1517439015 3263636727 2499127760 3990686968 3223578842 1370034430 2235404898 2401525759 3083311505 1486279094 2610077072 2729969155 228356880 998432339 275715192 921061730 4066020950 880743600 2952167525 6174036 601660553 158926356 2952810916 237472318 1323819860 1272096063 3389424401 1618428445 2757981285 15037020 537931120 859431250 1148643398 698377050 3800182366 1836122401 3049016221 287803056 3198182473 560093139 1156126790 3306121963 1849015489 3947730059 3776846723 1244075678 4200180380 2060871300 1031694903 3863677915 4216204627 2757499917 68394112 3516489649 3491855747 1864796364 1264081024 1306899693 4207588873 492957734 2981432383 636966297 1004422098 1441857423 2717841028 1129688027 1207587458 2822139807 3000336805 2942212968 1650379915 4233700651 3503936577 2896688128 747410185 2114887691 1619067135 2689107427 2665603252 3229304857 801233518 1503666509 2967724238 1018785304 3352677625 1575120400 1519467727 2739648897 512035988 1022169899 270971156 3429603861 3999369689 230848311 89685677 1788214318 2195478874 3553689328 554298058 3933562502 3597932028 2938661936 2701499849 764061052 2838167578 1201654414 3486022538 3515358531 1063350854 3442706235 4279038574 1768808860 2181731893 2024503658 404784990 2285118611 2765691793 3001618395 1066976110 2015784732 1826490983 2041485103 1253403688 320427439 2395362995 2479455969 2945814809 1800038553 2174437580 1294112459 2375099862 2876757806 1430880440 3627899595 1064856695 2144612731 2726308497 4088504158 3614612724 1322883424 1730586436 2046306572 914747942 3015780352 4199582651 2599506323 2230384790 2689782662 3359522934 3017495266 3690906231 2490599166 255 362436" option to reproduce the execution 0.00/0.01 c #vars 108 0.00/0.01 c #constraints 9 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 | 472 0 | 0 | 0 0.00/0.05 c 0.0s | 1 | 139 | 100 | 472 0 | 0 | 0 0.00/0.09 c 0.1s | 2 | 341 | 250 | 520 0 | 0 | 0 0.38/0.47 c 0.5s | 3 | 615 | 475 | 572 0 | 0 | 0 0.79/0.85 c 0.8s | 4 | 1083 | 813 | 630 0 | 0 | 0 1.20/1.22 c 1.2s | 5 | 1697 | 1320 | 693 2 | 0 | 0 1.39/1.42 c 1.4s | 6 | 2564 | 2081 | 840 3 | 0 | 0 1.78/1.84 c 1.8s | 7 | 3800 | 3223 | 925 5 | 0 | 0 2.08/2.11 c 2.1s | 7 | 5397 | 4717 | 925 7 | 0 | 0 2.08/2.11 c #cpu_time = 2.090s 2.08/2.11 c #wall_clock_time = 2.090s 2.08/2.11 c #decision = 5397 2.08/2.11 c #random_decision = 16 2.08/2.11 c #conflict = 4717 2.08/2.11 c #restart = 7 2.08/2.11 o 475 2.08/2.11 c BCD2: updating upper bound: 511 -> 474 2.08/2.11 c BCD2: 0 <= obj <= 474 2.08/2.11 c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0 2.08/2.11 c BCD2: #sat=1 #unsat=1 bias=1/2 2.08/2.11 c Solving starts ... 2.08/2.11 c ============================[ Search Statistics ]============================ 2.08/2.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.08/2.11 c | | | | Limit GC | Var | Constra 2.08/2.11 c ============================================================================= 2.08/2.11 c 0.0s | 0 | 0 | 0 | 925 0 | 0 | 0 2.08/2.12 c 0.0s | 0 | 7 | 0 | 925 1 | 0 | 0 2.08/2.12 c #cpu_time = 0.006s 2.08/2.12 c #wall_clock_time = 0.006s 2.08/2.12 c #decision = 7 2.08/2.12 c #random_decision = 0 2.08/2.12 c #conflict = 0 2.08/2.12 c #restart = 0 2.08/2.12 c BCD2: found a new core of size 8: cost of the new core is >=2 2.08/2.12 c lower bound updated to 2 2.08/2.12 c BCD2: 2 <= obj <= 474 2.08/2.12 c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0 2.08/2.12 c BCD2: #sat=1 #unsat=2 bias=2/3 2.08/2.12 c Solving starts ... 2.08/2.12 c ============================[ Search Statistics ]============================ 2.08/2.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.08/2.12 c | | | | Limit GC | Var | Constra 2.08/2.12 c ============================================================================= 2.08/2.12 c 0.0s | 0 | 0 | 0 | 925 0 | 0 | 0 2.08/2.17 c 0.0s | 1 | 221 | 100 | 925 0 | 0 | 0 2.08/2.19 c 0.1s | 2 | 452 | 250 | 1018 0 | 0 | 0 2.19/2.26 c 0.1s | 3 | 758 | 475 | 1018 0 | 0 | 0 2.39/2.45 c 0.3s | 4 | 1196 | 813 | 1018 1 | 0 | 0 2.49/2.56 c 0.4s | 5 | 1803 | 1320 | 1018 2 | 0 | 0 2.69/2.71 c 0.6s | 6 | 2627 | 2081 | 1018 3 | 0 | 0 3.40/3.44 c 1.3s | 7 | 3866 | 3223 | 1120 4 | 0 | 0 3.89/3.95 c 1.8s | 8 | 5817 | 4936 | 1120 7 | 0 | 0 4.59/4.67 c 2.6s | 9 | 8512 | 7506 | 1232 10 | 0 | 0 5.79/5.89 c 3.8s | 10 | 12644 | 11361 | 1232 15 | 0 | 0 7.39/7.47 c 5.4s | 11 | 18613 | 17144 | 1356 22 | 0 | 0 9.39/9.49 c 7.4s | 11 | 26465 | 24744 | 1492 31 | 0 | 0 9.69/9.77 c 7.7s | 12 | 27568 | 25819 | 1492 33 | 0 | 0 11.69/11.79 c 9.7s | 12 | 32288 | 30319 | 1492 37 | 0 | 0 13.78/13.81 c 11.7s | 12 | 38384 | 36219 | 1642 44 | 0 | 0 14.58/14.64 c 12.5s | 13 | 41074 | 38832 | 1642 46 | 0 | 0 16.59/16.66 c 14.5s | 13 | 47839 | 45332 | 1642 53 | 0 | 0 18.58/18.68 c 16.6s | 13 | 55431 | 52432 | 1642 60 | 0 | 0 20.38/20.46 c 18.3s | 14 | 61690 | 58352 | 1807 65 | 0 | 0 22.38/22.49 c 20.4s | 14 | 67530 | 63752 | 1807 70 | 0 | 0 24.48/24.51 c 22.4s | 14 | 73597 | 69552 | 1807 76 | 0 | 0 26.49/26.53 c 24.4s | 14 | 79687 | 75352 | 1807 81 | 0 | 0 28.48/28.53 c 26.4s | 14 | 85479 | 80952 | 1807 86 | 0 | 0 30.48/30.54 c 28.4s | 14 | 91341 | 86452 | 1988 91 | 0 | 0 30.89/30.92 c 28.8s | 15 | 92523 | 87632 | 1988 92 | 0 | 0 32.88/32.95 c 30.8s | 15 | 100526 | 95432 | 1988 98 | 0 | 0 34.88/34.96 c 32.8s | 15 | 108044 | 102832 | 1988 105 | 0 | 0 36.88/36.97 c 34.9s | 15 | 115925 | 110532 | 1988 111 | 0 | 0 38.88/38.98 c 36.9s | 15 | 123876 | 118332 | 1988 118 | 0 | 0 40.98/41.00 c 38.9s | 15 | 131734 | 126032 | 2187 125 | 0 | 0 42.28/42.34 c 40.2s | 16 | 137353 | 131552 | 2187 129 | 0 | 0 44.27/44.36 c 42.2s | 16 | 145413 | 139452 | 2187 136 | 0 | 0 46.28/46.37 c 44.3s | 16 | 153548 | 147452 | 2187 142 | 0 | 0 48.28/48.39 c 46.3s | 16 | 161350 | 154952 | 2187 148 | 0 | 0 50.38/50.41 c 48.3s | 16 | 168452 | 161752 | 2187 154 | 0 | 0 52.38/52.43 c 50.3s | 16 | 175793 | 168452 | 2187 159 | 0 | 0 54.38/54.45 c 52.3s | 16 | 183258 | 175552 | 2187 165 | 0 | 0 56.38/56.46 c 54.3s | 16 | 188949 | 181052 | 2187 169 | 0 | 0 58.39/58.49 c 56.4s | 16 | 195172 | 187052 | 2187 174 | 0 | 0 60.38/60.50 c 58.4s | 16 | 201131 | 192852 | 2406 178 | 0 | 0 62.08/62.18 c 60.1s | 17 | 205907 | 197432 | 2406 182 | 0 | 0 64.08/64.18 c 62.1s | 17 | 212684 | 203832 | 2406 187 | 0 | 0 66.09/66.19 c 64.1s | 17 | 219589 | 210532 | 2406 191 | 0 | 0 68.18/68.21 c 66.1s | 17 | 225921 | 216632 | 2406 196 | 0 | 0 70.18/70.21 c 68.1s | 17 | 232891 | 223432 | 2406 201 | 0 | 0 72.18/72.21 c 70.1s | 17 | 239959 | 230232 | 2406 206 | 0 | 0 74.17/74.23 c 72.1s | 17 | 247099 | 237032 | 2406 211 | 0 | 0 76.17/76.24 c 74.1s | 17 | 254112 | 243832 | 2406 216 | 0 | 0 78.18/78.27 c 76.2s | 17 | 261115 | 250532 | 2406 221 | 0 | 0 80.17/80.29 c 78.2s | 17 | 267804 | 256932 | 2406 225 | 0 | 0 82.27/82.30 c 80.2s | 17 | 274856 | 263832 | 2406 230 | 0 | 0 84.27/84.30 c 82.2s | 17 | 282386 | 271032 | 2406 236 | 0 | 0 86.27/86.33 c 84.2s | 17 | 289306 | 277632 | 2406 241 | 0 | 0 88.27/88.34 c 86.2s | 17 | 295917 | 284032 | 2406 245 | 0 | 0 90.28/90.36 c 88.2s | 17 | 302579 | 290432 | 2647 250 | 0 | 0 92.07/92.16 c 90.0s | 18 | 308592 | 296252 | 2647 254 | 0 | 0 94.07/94.16 c 92.0s | 18 | 316155 | 303652 | 2647 259 | 0 | 0 96.07/96.16 c 94.0s | 18 | 323782 | 311152 | 2647 264 | 0 | 0 98.07/98.18 c 96.1s | 18 | 331064 | 318252 | 2647 269 | 0 | 0 100.07/100.20 c 98.1s | 18 | 338282 | 325152 | 2647 274 | 0 | 0 102.17/102.22 c 100s | 18 | 345391 | 331852 | 2647 278 | 0 | 0 104.16/104.22 c 102s | 18 | 350480 | 336652 | 2647 282 | 0 | 0 106.16/106.24 c 104s | 18 | 355830 | 341752 | 2647 285 | 0 | 0 108.16/108.26 c 106s | 18 | 363809 | 349352 | 2647 290 | 0 | 0 110.16/110.26 c 108s | 18 | 371415 | 356752 | 2647 295 | 0 | 0 112.27/112.32 c 110s | 18 | 378172 | 362952 | 2647 299 | 0 | 0 114.26/114.34 c 112s | 18 | 384391 | 368652 | 2647 303 | 0 | 0 116.26/116.37 c 114s | 18 | 391148 | 375152 | 2647 308 | 0 | 0 118.26/118.39 c 116s | 18 | 397947 | 381552 | 2647 312 | 0 | 0 120.26/120.39 c 118s | 18 | 404632 | 387852 | 2647 316 | 0 | 0 122.36/122.40 c 120s | 18 | 411512 | 394452 | 2647 321 | 0 | 0 124.37/124.43 c 122s | 18 | 417683 | 400152 | 2647 325 | 0 | 0 126.36/126.44 c 124s | 18 | 424751 | 406952 | 2647 329 | 0 | 0 128.36/128.46 c 126s | 18 | 432373 | 413652 | 2647 334 | 0 | 0 130.36/130.48 c 128s | 18 | 439175 | 419952 | 2647 338 | 0 | 0 132.35/132.48 c 130s | 18 | 445958 | 426252 | 2647 342 | 0 | 0 134.45/134.50 c 132s | 18 | 452814 | 432752 | 2647 347 | 0 | 0 136.46/136.52 c 134s | 18 | 459798 | 439452 | 2912 351 | 0 | 0 138.05/138.17 c 136s | 19 | 465097 | 444482 | 2912 354 | 0 | 0 140.05/140.19 c 138s | 19 | 472084 | 451282 | 2912 358 | 0 | 0 142.15/142.22 c 140s | 19 | 478543 | 457682 | 2912 362 | 0 | 0 144.15/144.23 c 142s | 19 | 484447 | 463582 | 2912 365 | 0 | 0 146.15/146.25 c 144s | 19 | 491028 | 470082 | 2912 369 | 0 | 0 148.15/148.26 c 146s | 19 | 498462 | 477282 | 2912 374 | 0 | 0 150.14/150.27 c 148s | 19 | 505548 | 484282 | 2912 378 | 0 | 0 152.15/152.28 c 150s | 19 | 512474 | 491082 | 2912 382 | 0 | 0 154.15/154.29 c 152s | 19 | 519500 | 497982 | 2912 386 | 0 | 0 156.25/156.34 c 154s | 19 | 526136 | 504582 | 2912 391 | 0 | 0 158.25/158.36 c 156s | 19 | 532652 | 511082 | 2912 395 | 0 | 0 160.25/160.38 c 158s | 19 | 538913 | 517282 | 2912 398 | 0 | 0 162.35/162.41 c 160s | 19 | 545158 | 523382 | 2912 402 | 0 | 0 164.34/164.41 c 162s | 19 | 551907 | 529982 | 2912 406 | 0 | 0 166.34/166.42 c 164s | 19 | 558610 | 536482 | 2912 410 | 0 | 0 168.35/168.44 c 166s | 19 | 565145 | 542882 | 2912 414 | 0 | 0 170.34/170.47 c 168s | 19 | 571441 | 549082 | 2912 418 | 0 | 0 172.34/172.48 c 170s | 19 | 577631 | 555182 | 2912 421 | 0 | 0 174.34/174.50 c 172s | 19 | 583201 | 560682 | 2912 425 | 0 | 0 176.44/176.52 c 174s | 19 | 588738 | 566182 | 2912 428 | 0 | 0 178.44/178.53 c 176s | 19 | 594765 | 572082 | 2912 432 | 0 | 0 180.44/180.55 c 178s | 19 | 601916 | 579082 | 2912 436 | 0 | 0 182.43/182.56 c 180s | 19 | 608697 | 585782 | 2912 440 | 0 | 0 184.43/184.58 c 182s | 19 | 615440 | 592382 | 2912 444 | 0 | 0 186.43/186.59 c 184s | 19 | 622365 | 599182 | 2912 449 | 0 | 0 188.53/188.62 c 186s | 19 | 628960 | 605682 | 2912 453 | 0 | 0 190.53/190.64 c 188s | 19 | 635547 | 612182 | 2912 457 | 0 | 0 192.53/192.66 c 190s | 19 | 642289 | 618782 | 2912 461 | 0 | 0 194.53/194.67 c 192s | 19 | 648655 | 624982 | 2912 464 | 0 | 0 196.53/196.69 c 194s | 19 | 655359 | 631582 | 2912 468 | 0 | 0 198.63/198.72 c 196s | 19 | 661657 | 637782 | 2912 472 | 0 | 0 200.63/200.75 c 198s | 19 | 668460 | 644382 | 2912 476 | 0 | 0 202.62/202.76 c 200s | 19 | 675291 | 651082 | 2912 480 | 0 | 0 204.63/204.77 c 202s | 19 | 682164 | 657782 | 3204 484 | 0 | 0 206.62/206.79 c 204s | 19 | 689008 | 664382 | 3204 488 | 0 | 0 207.42/207.56 c 205s | 20 | 691527 | 666827 | 3204 490 | 0 | 0 209.42/209.57 c 207s | 20 | 694408 | 669627 | 3204 491 | 0 | 0 211.42/211.58 c 209s | 20 | 700808 | 675927 | 3204 495 | 0 | 0 213.43/213.58 c 211s | 20 | 707440 | 682427 | 3204 498 | 0 | 0 215.42/215.59 c 213s | 20 | 713676 | 688527 | 3204 502 | 0 | 0 217.42/217.59 c 215s | 20 | 719751 | 694527 | 3204 505 | 0 | 0 219.52/219.60 c 217s | 20 | 726479 | 701227 | 3204 509 | 0 | 0 221.52/221.61 c 219s | 20 | 733958 | 708527 | 3204 513 | 0 | 0 223.52/223.63 c 221s | 20 | 740995 | 715427 | 3204 517 | 0 | 0 225.52/225.64 c 223s | 20 | 748037 | 722327 | 3204 521 | 0 | 0 227.52/227.67 c 225s | 20 | 755132 | 729327 | 3204 525 | 0 | 0 229.52/229.69 c 227s | 20 | 761487 | 735627 | 3204 528 | 0 | 0 231.62/231.71 c 229s | 20 | 767535 | 741427 | 3204 531 | 1 | 9 233.62/233.72 c 231s | 20 | 773506 | 747227 | 3204 535 | 1 | 9 235.62/235.75 c 233s | 20 | 779487 | 753127 | 3204 538 | 1 | 9 237.62/237.79 c 235s | 20 | 785488 | 758827 | 3204 542 | 1 | 9 239.62/239.79 c 237s | 20 | 791594 | 764727 | 3204 545 | 1 | 9 241.72/241.81 c 239s | 20 | 798370 | 771127 | 3204 549 | 1 | 9 243.72/243.83 c 241s | 20 | 804518 | 777027 | 3204 552 | 1 | 9 245.71/245.85 c 243s | 20 | 810198 | 782527 | 3204 555 | 1 | 9 247.71/247.87 c 245s | 20 | 816405 | 788427 | 3204 559 | 1 | 9 249.81/249.90 c 247s | 20 | 822183 | 794027 | 3204 562 | 1 | 9 251.82/251.92 c 249s | 20 | 828526 | 800127 | 3204 565 | 1 | 9 253.81/253.93 c 251s | 20 | 834479 | 805727 | 3204 569 | 1 | 9 255.81/255.95 c 253s | 20 | 840372 | 811327 | 3204 572 | 1 | 9 257.81/257.97 c 255s | 20 | 846328 | 817127 | 3204 575 | 1 | 9 259.81/259.98 c 257s | 20 | 852437 | 823127 | 3204 579 | 1 | 9 261.82/261.98 c 259s | 20 | 858461 | 829027 | 3204 582 | 1 | 9 263.91/264.01 c 261s | 20 | 864571 | 835027 | 3204 585 | 1 | 9 265.91/266.04 c 263s | 20 | 870758 | 840927 | 3204 589 | 1 | 9 267.91/268.07 c 265s | 20 | 877081 | 847027 | 3204 592 | 1 | 9 269.91/270.09 c 267s | 20 | 882934 | 852627 | 3204 596 | 1 | 9 272.01/272.11 c 269s | 20 | 889631 | 858927 | 3204 599 | 1 | 9 274.00/274.13 c 272s | 20 | 895697 | 864727 | 3204 603 | 1 | 9 276.01/276.14 c 274s | 20 | 901876 | 870627 | 3204 606 | 1 | 9 278.00/278.14 c 276s | 20 | 907762 | 876327 | 3204 609 | 1 | 9 280.00/280.16 c 278s | 20 | 913862 | 882227 | 3204 613 | 1 | 9 282.00/282.18 c 280s | 20 | 920321 | 888527 | 3204 616 | 1 | 9 284.10/284.21 c 282s | 20 | 926137 | 894127 | 3204 619 | 1 | 9 286.10/286.24 c 284s | 20 | 932156 | 899827 | 3204 623 | 1 | 9 288.10/288.25 c 286s | 20 | 938439 | 905827 | 3204 626 | 1 | 9 290.10/290.27 c 288s | 20 | 944388 | 911527 | 3204 630 | 1 | 9 292.10/292.27 c 290s | 20 | 950519 | 917427 | 3204 633 | 1 | 9 294.09/294.29 c 292s | 20 | 956835 | 923627 | 3204 637 | 1 | 9 296.19/296.30 c 294s | 20 | 963226 | 929827 | 3204 640 | 1 | 9 298.19/298.31 c 296s | 20 | 969222 | 935627 | 3204 643 | 1 | 9 300.20/300.33 c 298s | 20 | 975136 | 941227 | 3204 647 | 1 | 9 302.19/302.37 c 300s | 20 | 981733 | 947527 | 3204 650 | 1 | 9 304.29/304.41 c 302s | 20 | 987699 | 953127 | 3204 654 | 1 | 9 306.29/306.43 c 304s | 20 | 994031 | 959127 | 3204 657 | 1 | 9 308.29/308.45 c 306s | 20 | 999971 | 964827 | 3204 660 | 1 | 9 310.29/310.46 c 308s | 20 | 1005670 | 970227 | 3204 663 | 1 | 9 312.29/312.49 c 310s | 20 | 1011572 | 975927 | 3204 667 | 1 | 9 314.38/314.51 c 312s | 20 | 1017263 | 981427 | 3204 670 | 1 | 9 316.38/316.54 c 314s | 20 | 1023100 | 987027 | 3204 673 | 1 | 9 318.38/318.55 c 316s | 20 | 1028997 | 992727 | 3525 676 | 1 | 9 320.38/320.56 c 318s | 20 | 1034655 | 998027 | 3525 679 | 1 | 9 321.19/321.34 c 319s | 21 | 1037139 | 1000345 | 3525 680 | 1 | 9 323.18/323.35 c 321s | 21 | 1044210 | 1007245 | 3525 684 | 1 | 9 325.18/325.36 c 323s | 21 | 1051023 | 1013945 | 3525 687 | 1 | 9 327.18/327.37 c 325s | 21 | 1057469 | 1020345 | 3525 690 | 1 | 9 329.18/329.39 c 327s | 21 | 1064883 | 1027545 | 3525 694 | 1 | 9 331.28/331.41 c 329s | 21 | 1070878 | 1033445 | 3525 697 | 1 | 9 333.28/333.41 c 331s | 21 | 1077142 | 1039645 | 3525 701 | 1 | 9 335.27/335.42 c 333s | 21 | 1083543 | 1045945 | 3525 704 | 1 | 9 337.28/337.45 c 335s | 21 | 1090096 | 1052445 | 3525 707 | 1 | 9 339.28/339.45 c 337s | 21 | 1095843 | 1058145 | 3525 710 | 1 | 9 341.28/341.48 c 339s | 21 | 1101811 | 1064045 | 3525 714 | 1 | 9 343.38/343.51 c 341s | 21 | 1108327 | 1070345 | 3525 717 | 1 | 9 345.38/345.52 c 343s | 21 | 1114263 | 1076245 | 3525 720 | 1 | 9 347.37/347.52 c 345s | 21 | 1120114 | 1081845 | 3525 723 | 1 | 9 349.37/349.55 c 347s | 21 | 1126222 | 1087845 | 3525 726 | 1 | 9 351.37/351.56 c 349s | 21 | 1132636 | 1094145 | 3525 729 | 1 | 9 353.37/353.56 c 351s | 21 | 1138644 | 1100045 | 3525 733 | 1 | 9 355.37/355.56 c 353s | 21 | 1144568 | 1105745 | 3525 736 | 1 | 9 357.38/357.59 c 355s | 21 | 1151211 | 1112145 | 3525 739 | 1 | 9 359.47/359.60 c 357s | 21 | 1157433 | 1118145 | 3525 742 | 1 | 9 361.47/361.61 c 359s | 21 | 1162603 | 1123145 | 3525 745 | 1 | 9 363.47/363.65 c 361s | 21 | 1167473 | 1127945 | 3525 747 | 1 | 9 365.47/365.67 c 363s | 21 | 1172544 | 1132945 | 3525 750 | 1 | 9 367.46/367.68 c 365s | 21 | 1177545 | 1137845 | 3525 753 | 1 | 9 369.57/369.72 c 367s | 21 | 1182961 | 1143145 | 3525 756 | 1 | 9 371.56/371.74 c 369s | 21 | 1188589 | 1148645 | 3525 758 | 1 | 9 373.56/373.77 c 371s | 21 | 1195169 | 1155145 | 3525 762 | 1 | 9 375.56/375.79 c 373s | 21 | 1201589 | 1161445 | 3525 765 | 1 | 9 377.66/377.81 c 375s | 21 | 1207767 | 1167545 | 3525 768 | 1 | 9 379.66/379.83 c 377s | 21 | 1213102 | 1172845 | 3525 771 | 1 | 9 381.67/381.83 c 379s | 21 | 1220219 | 1179645 | 3525 775 | 1 | 9 383.66/383.85 c 381s | 21 | 1227188 | 1186445 | 3525 778 | 1 | 9 385.66/385.87 c 383s | 21 | 1233774 | 1192945 | 3525 782 | 1 | 9 387.66/387.89 c 385s | 21 | 1240286 | 1199345 | 3525 785 | 1 | 9 389.65/389.89 c 387s | 21 | 1246701 | 1205545 | 3525 788 | 1 | 9 391.65/391.89 c 389s | 21 | 1252968 | 1211645 | 3525 791 | 1 | 9 393.66/393.89 c 391s | 21 | 1259565 | 1218145 | 3525 795 | 1 | 9 395.75/395.92 c 393s | 21 | 1265567 | 1223845 | 3525 798 | 1 | 9 397.75/397.96 c 395s | 21 | 1271390 | 1229545 | 3525 801 | 1 | 9 399.75/399.97 c 397s | 21 | 1276462 | 1234545 | 3525 804 | 1 | 9 401.85/402.02 c 399s | 21 | 1282101 | 1240045 | 3525 807 | 1 | 9 403.84/404.05 c 401s | 21 | 1287701 | 1245545 | 3525 809 | 1 | 9 405.85/406.07 c 403s | 21 | 1292928 | 1250545 | 3525 812 | 1 | 9 407.84/408.07 c 405s | 21 | 1298196 | 1255745 | 3525 815 | 1 | 9 409.84/410.07 c 407s | 21 | 1304008 | 1261445 | 3525 818 | 1 | 9 411.84/412.08 c 409s | 21 | 1309622 | 1266945 | 3525 821 | 1 | 9 413.84/414.09 c 411s | 21 | 1316359 | 1273545 | 3525 824 | 1 | 9 415.94/416.10 c 413s | 21 | 1323464 | 1280545 | 3525 828 | 1 | 9 417.95/418.11 c 415s | 21 | 1330384 | 1287345 | 3525 832 | 1 | 9 419.94/420.13 c 418s | 21 | 1337173 | 1294045 | 3525 835 | 1 | 9 421.94/422.14 c 420s | 21 | 1344226 | 1300945 | 3525 839 | 1 | 9 423.93/424.15 c 422s | 21 | 1350610 | 1307245 | 3525 842 | 1 | 9 425.93/426.15 c 424s | 21 | 1356680 | 1313245 | 3525 845 | 1 | 9 427.93/428.15 c 426s | 21 | 1362681 | 1319145 | 3525 848 | 1 | 9 429.94/430.17 c 428s | 21 | 1368972 | 1325245 | 3525 852 | 1 | 9 432.03/432.20 c 430s | 21 | 1375239 | 1331445 | 3525 855 | 1 | 9 434.03/434.20 c 432s | 21 | 1380810 | 1336945 | 3525 858 | 1 | 9 436.03/436.22 c 434s | 21 | 1386455 | 1342445 | 3525 861 | 1 | 9 438.03/438.23 c 436s | 21 | 1392130 | 1348045 | 3525 864 | 1 | 9 440.03/440.23 c 438s | 21 | 1398026 | 1353845 | 3525 867 | 1 | 9 442.03/442.25 c 440s | 21 | 1404145 | 1359745 | 3525 870 | 1 | 9 444.02/444.25 c 442s | 21 | 1410103 | 1365445 | 3525 873 | 1 | 9 446.02/446.27 c 444s | 21 | 1416457 | 1371445 | 3525 876 | 1 | 9 448.02/448.28 c 446s | 21 | 1422585 | 1377245 | 3525 879 | 1 | 9 450.02/450.28 c 448s | 21 | 1429257 | 1383445 | 3525 882 | 1 | 9 452.12/452.31 c 450s | 21 | 1435131 | 1388945 | 3525 885 | 1 | 9 454.12/454.31 c 452s | 21 | 1441222 | 1394745 | 3525 888 | 1 | 9 456.11/456.32 c 454s | 21 | 1447230 | 1400245 | 3525 891 | 1 | 9 458.11/458.33 c 456s | 21 | 1454347 | 1407245 | 3525 895 | 1 | 9 460.12/460.35 c 458s | 21 | 1460520 | 1413345 | 3525 898 | 1 | 9 462.11/462.38 c 460s | 21 | 1466926 | 1419645 | 3525 902 | 1 | 9 464.12/464.38 c 462s | 21 | 1474086 | 1426545 | 3525 905 | 1 | 9 466.22/466.41 c 464s | 21 | 1481132 | 1433445 | 3525 909 | 1 | 9 468.21/468.44 c 466s | 21 | 1488019 | 1440245 | 3525 912 | 1 | 9 470.22/470.47 c 468s | 21 | 1494696 | 1446845 | 3525 916 | 1 | 9 472.22/472.48 c 470s | 21 | 1501834 | 1453845 | 3525 919 | 1 | 9 474.31/474.51 c 472s | 21 | 1508085 | 1460045 | 3525 923 | 1 | 9 476.31/476.52 c 474s | 21 | 1514945 | 1466845 | 3525 926 | 1 | 9 478.32/478.54 c 476s | 21 | 1521880 | 1473645 | 3525 930 | 1 | 9 480.31/480.54 c 478s | 21 | 1528905 | 1480545 | 3525 933 | 1 | 9 482.31/482.54 c 480s | 21 | 1535881 | 1487445 | 3878 937 | 1 | 9 484.31/484.57 c 482s | 21 | 1542014 | 1493545 | 3878 940 | 1 | 9 486.31/486.58 c 484s | 21 | 1548993 | 1500345 | 3878 943 | 1 | 9 486.41/486.67 c 484s | 22 | 1549270 | 1500622 | 3878 943 | 1 | 9 488.40/488.68 c 486s | 22 | 1554534 | 1505722 | 3878 946 | 1 | 9 490.41/490.69 c 488s | 22 | 1559626 | 1510622 | 3878 948 | 1 | 9 492.50/492.70 c 490s | 22 | 1563035 | 1513822 | 3878 950 | 1 | 9 494.50/494.70 c 492s | 22 | 1567766 | 1518322 | 3878 952 | 1 | 9 496.50/496.71 c 494s | 22 | 1572729 | 1523122 | 3878 954 | 1 | 9 498.50/498.74 c 496s | 22 | 1577102 | 1527422 | 3878 956 | 1 | 9 500.50/500.79 c 498s | 22 | 1582393 | 1532422 | 3878 959 | 1 | 9 502.60/502.82 c 500s | 22 | 1585633 | 1535522 | 3878 960 | 1 | 9 504.60/504.83 c 502s | 22 | 1590288 | 1540022 | 3878 962 | 1 | 9 506.60/506.85 c 504s | 22 | 1594886 | 1544522 | 3878 964 | 1 | 9 508.60/508.86 c 506s | 22 | 1599033 | 1548622 | 3878 966 | 1 | 9 510.60/510.87 c 508s | 22 | 1602793 | 1552222 | 3878 968 | 1 | 9 512.59/512.89 c 510s | 22 | 1606878 | 1556222 | 3878 970 | 1 | 9 514.70/514.92 c 512s | 22 | 1611447 | 1560722 | 3878 972 | 1 | 9 516.69/516.96 c 514s | 22 | 1616615 | 1565822 | 3878 975 | 1 | 9 518.69/518.97 c 516s | 22 | 1622019 | 1571122 | 3878 977 | 1 | 9 520.79/521.01 c 518s | 22 | 1627306 | 1576322 | 3878 980 | 1 | 9 522.79/523.04 c 520s | 22 | 1632273 | 1581122 | 3878 982 | 1 | 9 524.79/525.07 c 522s | 22 | 1636968 | 1585722 | 3878 984 | 1 | 9 526.79/527.08 c 524s | 22 | 1641331 | 1590022 | 3878 986 | 1 | 9 528.89/529.11 c 526s | 22 | 1645868 | 1594522 | 3878 989 | 1 | 9 530.88/531.12 c 529s | 22 | 1650560 | 1599022 | 3878 991 | 1 | 9 532.88/533.14 c 531s | 22 | 1655501 | 1603822 | 3878 993 | 1 | 9 534.88/535.14 c 533s | 22 | 1660407 | 1608622 | 3878 995 | 1 | 9 536.88/537.15 c 535s | 22 | 1665336 | 1613422 | 3878 998 | 1 | 9 538.89/539.16 c 537s | 22 | 1670150 | 1617922 | 3878 1000 | 1 | 9 540.88/541.17 c 539s | 22 | 1674557 | 1622222 | 3878 1002 | 1 | 9 542.88/543.17 c 541s | 22 | 1679577 | 1627122 | 3878 1004 | 1 | 9 544.88/545.18 c 543s | 22 | 1685025 | 1632422 | 3878 1007 | 1 | 9 546.98/547.23 c 545s | 22 | 1690645 | 1637822 | 3878 1010 | 1 | 9 548.98/549.26 c 547s | 22 | 1696001 | 1643022 | 3878 1012 | 1 | 9 550.98/551.28 c 549s | 22 | 1701759 | 1648622 | 3878 1015 | 1 | 9 553.08/553.33 c 551s | 22 | 1706686 | 1653422 | 3878 1017 | 1 | 9 555.07/555.34 c 553s | 22 | 1711010 | 1657322 | 3878 1019 | 1 | 9 557.07/557.36 c 555s | 22 | 1715632 | 1661822 | 3878 1021 | 1 | 9 559.07/559.38 c 557s | 22 | 1720177 | 1666222 | 3878 1023 | 1 | 9 561.07/561.38 c 559s | 22 | 1724697 | 1670622 | 3878 1025 | 1 | 9 563.17/563.41 c 561s | 22 | 1729725 | 1675522 | 3878 1028 | 1 | 9 565.18/565.41 c 563s | 22 | 1734818 | 1680422 | 3878 1030 | 1 | 9 567.17/567.44 c 565s | 22 | 1739664 | 1685122 | 3878 1032 | 1 | 9 569.17/569.47 c 567s | 22 | 1744222 | 1689622 | 3878 1035 | 1 | 9 571.17/571.49 c 569s | 22 | 1749021 | 1694322 | 3878 1037 | 1 | 9 573.26/573.51 c 571s | 22 | 1753927 | 1699122 | 3878 1039 | 1 | 9 575.26/575.54 c 573s | 22 | 1759042 | 1704122 | 3878 1041 | 1 | 9 577.27/577.57 c 575s | 22 | 1764159 | 1709022 | 3878 1044 | 1 | 9 579.26/579.58 c 577s | 22 | 1769323 | 1714022 | 3878 1046 | 1 | 9 581.36/581.60 c 579s | 22 | 1774037 | 1718622 | 3878 1049 | 1 | 9 583.36/583.60 c 581s | 22 | 1779093 | 1723522 | 3878 1051 | 1 | 9 585.36/585.64 c 583s | 22 | 1785008 | 1729322 | 3878 1054 | 1 | 9 587.35/587.65 c 585s | 22 | 1791174 | 1735322 | 3878 1057 | 1 | 9 589.36/589.66 c 587s | 22 | 1797242 | 1741222 | 3878 1059 | 1 | 9 591.35/591.66 c 589s | 22 | 1803375 | 1747222 | 3878 1062 | 1 | 9 593.35/593.67 c 591s | 22 | 1809315 | 1753022 | 3878 1065 | 1 | 9 595.35/595.69 c 593s | 22 | 1815018 | 1758622 | 3878 1068 | 1 | 9 597.45/597.78 c 595s | 22 | 1820970 | 1764422 | 3878 1071 | 1 | 9 599.56/599.80 c 597s | 22 | 1827861 | 1771022 | 3878 1074 | 1 | 9 601.57/601.81 c 599s | 22 | 1833813 | 1776622 | 3878 1077 | 1 | 9 603.56/603.84 c 601s | 22 | 1839012 | 1781622 | 3878 1079 | 1 | 9 605.56/605.86 c 603s | 22 | 1843932 | 1786122 | 3878 1081 | 1 | 9 607.56/607.86 c 605s | 22 | 1848464 | 1790022 | 3878 1083 | 1 | 9 609.56/609.86 c 607s | 22 | 1852274 | 1793322 | 3878 1085 | 1 | 9 611.66/611.90 c 609s | 22 | 1856744 | 1797622 | 3878 1087 | 1 | 9 613.66/613.92 c 611s | 22 | 1861410 | 1802222 | 3878 1089 | 1 | 9 615.65/615.92 c 613s | 22 | 1866063 | 1806822 | 3878 1091 | 1 | 9 617.65/617.92 c 615s | 22 | 1870580 | 1811022 | 3878 1093 | 1 | 9 619.65/619.95 c 617s | 22 | 1874880 | 1815222 | 3878 1095 | 1 | 9 621.75/622.00 c 619s | 22 | 1879654 | 1819922 | 3878 1097 | 1 | 9 623.74/624.03 c 621s | 22 | 1884725 | 1824822 | 3878 1100 | 1 | 9 625.75/626.05 c 623s | 22 | 1889528 | 1829522 | 3878 1102 | 1 | 9 627.74/628.07 c 625s | 22 | 1894461 | 1834422 | 3878 1104 | 1 | 9 629.74/630.09 c 627s | 22 | 1900012 | 1839922 | 3878 1107 | 1 | 9 631.84/632.11 c 629s | 22 | 1905394 | 1845122 | 3878 1110 | 1 | 9 633.84/634.13 c 632s | 22 | 1910063 | 1849422 | 3878 1112 | 1 | 9 635.84/636.14 c 634s | 22 | 1915025 | 1854122 | 3878 1114 | 1 | 9 637.84/638.16 c 636s | 22 | 1919826 | 1858822 | 3878 1116 | 1 | 9 639.84/640.19 c 638s | 22 | 1924675 | 1863622 | 3878 1119 | 1 | 9 641.94/642.20 c 640s | 22 | 1929190 | 1868022 | 3878 1121 | 1 | 9 643.93/644.21 c 642s | 22 | 1933427 | 1872222 | 3878 1123 | 1 | 9 645.93/646.24 c 644s | 22 | 1936524 | 1875222 | 3878 1124 | 1 | 9 647.93/648.27 c 646s | 22 | 1940263 | 1878722 | 3878 1126 | 1 | 9 650.03/650.30 c 648s | 22 | 1944689 | 1883022 | 3878 1128 | 1 | 9 652.03/652.31 c 650s | 22 | 1949446 | 1887622 | 3878 1130 | 1 | 9 654.02/654.33 c 652s | 22 | 1953948 | 1892022 | 3878 1132 | 1 | 9 656.02/656.37 c 654s | 22 | 1958209 | 1896122 | 3878 1134 | 1 | 9 658.02/658.37 c 656s | 22 | 1962435 | 1900222 | 3878 1136 | 1 | 9 660.12/660.40 c 658s | 22 | 1966794 | 1904422 | 3878 1138 | 1 | 9 662.12/662.47 c 660s | 22 | 1971549 | 1909022 | 3878 1141 | 1 | 9 664.13/664.49 c 662s | 22 | 1977386 | 1914722 | 3878 1143 | 1 | 9 666.22/666.50 c 664s | 22 | 1981717 | 1918922 | 3878 1145 | 1 | 9 668.22/668.54 c 666s | 22 | 1986447 | 1923422 | 3878 1148 | 1 | 9 670.22/670.54 c 668s | 22 | 1991819 | 1928622 | 3878 1150 | 1 | 9 672.22/672.55 c 670s | 22 | 1996350 | 1932922 | 3878 1152 | 1 | 9 674.22/674.57 c 672s | 22 | 2000389 | 1936822 | 3878 1154 | 1 | 9 676.22/676.57 c 674s | 22 | 2005275 | 1941522 | 3878 1156 | 1 | 9 678.21/678.59 c 676s | 22 | 2010681 | 1946622 | 3878 1159 | 1 | 9 680.21/680.59 c 678s | 22 | 2015381 | 1951122 | 3878 1161 | 1 | 9 682.31/682.62 c 680s | 22 | 2020653 | 1956322 | 3878 1163 | 1 | 9 684.31/684.65 c 682s | 22 | 2024688 | 1960222 | 3878 1165 | 1 | 9 686.31/686.68 c 684s | 22 | 2029543 | 1965022 | 3878 1168 | 1 | 9 688.31/688.70 c 686s | 22 | 2034079 | 1969522 | 3878 1170 | 1 | 9 690.40/690.71 c 688s | 22 | 2039072 | 1974322 | 3878 1172 | 1 | 9 692.40/692.73 c 690s | 22 | 2043971 | 1979122 | 3878 1174 | 1 | 9 694.40/694.75 c 692s | 22 | 2048862 | 1983922 | 3878 1177 | 1 | 9 696.40/696.76 c 694s | 22 | 2053975 | 1988922 | 3878 1179 | 1 | 9 698.40/698.78 c 696s | 22 | 2058638 | 1993522 | 3878 1181 | 1 | 9 700.51/700.82 c 698s | 22 | 2062905 | 1997622 | 3878 1183 | 1 | 9 702.50/702.82 c 700s | 22 | 2067196 | 2001822 | 3878 1185 | 1 | 9 704.50/704.88 c 702s | 22 | 2071669 | 2006222 | 3878 1188 | 1 | 9 706.50/706.88 c 704s | 22 | 2075238 | 2009622 | 3878 1189 | 1 | 9 708.60/708.90 c 706s | 22 | 2078891 | 2013222 | 3878 1191 | 1 | 9 710.60/710.94 c 708s | 22 | 2083283 | 2017322 | 3878 1193 | 1 | 9 712.70/713.00 c 710s | 22 | 2086858 | 2020822 | 3878 1195 | 1 | 9 714.71/715.04 c 712s | 22 | 2090109 | 2023922 | 3878 1196 | 1 | 9 716.70/717.09 c 714s | 22 | 2093664 | 2027322 | 3878 1198 | 1 | 9 718.80/719.14 c 717s | 22 | 2096960 | 2030522 | 3878 1199 | 1 | 9 720.90/721.20 c 719s | 22 | 2100318 | 2033722 | 3878 1201 | 1 | 9 722.90/723.21 c 721s | 22 | 2103637 | 2036922 | 3878 1202 | 1 | 9 724.90/725.26 c 723s | 22 | 2106851 | 2040022 | 3878 1204 | 1 | 9 726.90/727.28 c 725s | 22 | 2110584 | 2043422 | 3878 1205 | 1 | 9 729.00/729.35 c 727s | 22 | 2113412 | 2046222 | 3878 1207 | 1 | 9 731.00/731.36 c 729s | 22 | 2117513 | 2050022 | 3878 1209 | 1 | 9 733.00/733.38 c 731s | 22 | 2120727 | 2053022 | 3878 1210 | 1 | 9 735.00/735.39 c 733s | 22 | 2124411 | 2056422 | 3878 1212 | 1 | 9 737.10/737.42 c 735s | 22 | 2128323 | 2060122 | 3878 1214 | 1 | 9 739.09/739.44 c 737s | 22 | 2133011 | 2064622 | 3878 1216 | 1 | 9 741.10/741.48 c 739s | 22 | 2137565 | 2068722 | 3878 1218 | 1 | 9 743.19/743.50 c 741s | 22 | 2141748 | 2072622 | 3878 1220 | 1 | 9 745.19/745.52 c 743s | 22 | 2145829 | 2076422 | 3878 1221 | 1 | 9 747.19/747.54 c 745s | 22 | 2150645 | 2081122 | 3878 1224 | 1 | 9 749.20/749.56 c 747s | 22 | 2154860 | 2084922 | 3878 1226 | 1 | 9 751.20/751.57 c 749s | 22 | 2159188 | 2088722 | 3878 1227 | 1 | 9 753.31/753.62 c 751s | 22 | 2163830 | 2092922 | 3878 1229 | 1 | 9 755.30/755.67 c 753s | 22 | 2168349 | 2097222 | 3878 1231 | 1 | 9 757.40/757.70 c 755s | 22 | 2172462 | 2101122 | 3878 1233 | 1 | 9 759.40/759.75 c 757s | 22 | 2176702 | 2105022 | 3878 1235 | 1 | 9 761.50/761.80 c 759s | 22 | 2180892 | 2109022 | 3878 1237 | 1 | 9 763.50/763.82 c 761s | 22 | 2185918 | 2113922 | 3878 1239 | 1 | 9 765.50/765.83 c 763s | 22 | 2190092 | 2117922 | 3878 1241 | 1 | 9 767.50/767.86 c 765s | 22 | 2195018 | 2122422 | 3878 1244 | 1 | 9 769.60/769.90 c 767s | 22 | 2199912 | 2126822 | 3878 1246 | 1 | 9 771.60/771.93 c 769s | 22 | 2204622 | 2131122 | 3878 1248 | 1 | 9 773.60/773.97 c 771s | 22 | 2209750 | 2136122 | 3878 1250 | 1 | 9 775.70/776.01 c 773s | 22 | 2214151 | 2140422 | 3878 1252 | 1 | 9 777.69/778.02 c 775s | 22 | 2218653 | 2144822 | 3878 1254 | 1 | 9 779.70/780.05 c 777s | 22 | 2223149 | 2148922 | 3878 1256 | 1 | 9 781.69/782.09 c 779s | 22 | 2227685 | 2153122 | 3878 1258 | 1 | 9 783.79/784.12 c 781s | 22 | 2231970 | 2157222 | 3878 1260 | 1 | 9 785.79/786.13 c 784s | 22 | 2236148 | 2161322 | 3878 1262 | 1 | 9 787.89/788.24 c 786s | 22 | 2241321 | 2166322 | 3878 1265 | 1 | 9 789.89/790.25 c 788s | 22 | 2246007 | 2170822 | 3878 1267 | 1 | 9 791.89/792.27 c 790s | 22 | 2251070 | 2175822 | 3878 1269 | 1 | 9 793.90/794.29 c 792s | 22 | 2254987 | 2179422 | 3878 1271 | 1 | 9 795.99/796.36 c 794s | 22 | 2257976 | 2182322 | 3878 1273 | 1 | 9 797.99/798.36 c 796s | 22 | 2262154 | 2186322 | 3878 1274 | 1 | 9 800.09/800.41 c 798s | 22 | 2266736 | 2190622 | 3878 1277 | 1 | 9 802.09/802.47 c 800s | 22 | 2271120 | 2194722 | 3878 1279 | 1 | 9 804.19/804.51 c 802s | 22 | 2275399 | 2198822 | 3878 1281 | 1 | 9 806.19/806.56 c 804s | 22 | 2280023 | 2203222 | 3878 1283 | 1 | 9 808.20/808.57 c 806s | 22 | 2284174 | 2207322 | 3878 1285 | 1 | 9 810.29/810.60 c 808s | 22 | 2289220 | 2212222 | 3878 1287 | 1 | 9 812.29/812.63 c 810s | 22 | 2293593 | 2216422 | 3878 1289 | 1 | 9 814.29/814.63 c 812s | 22 | 2297962 | 2220722 | 3878 1291 | 1 | 9 816.29/816.68 c 814s | 22 | 2301845 | 2224322 | 3878 1293 | 1 | 9 818.38/818.73 c 816s | 22 | 2305559 | 2227922 | 3878 1295 | 1 | 9 820.39/820.74 c 818s | 22 | 2308804 | 2230922 | 4266 1296 | 1 | 9 822.38/822.76 c 820s | 22 | 2312082 | 2234022 | 4266 1297 | 1 | 9 824.38/824.78 c 822s | 22 | 2315998 | 2237722 | 4266 1299 | 1 | 9 826.38/826.79 c 824s | 22 | 2319763 | 2241422 | 4266 1301 | 1 | 9 828.48/828.82 c 826s | 22 | 2323716 | 2245122 | 4266 1302 | 1 | 9 830.48/830.82 c 828s | 22 | 2327356 | 2248422 | 4266 1304 | 1 | 9 831.88/832.28 c 830s | 23 | 2330154 | 2251038 | 4266 1305 | 1 | 9 833.98/834.30 c 832s | 23 | 2337230 | 2257938 | 4266 1308 | 1 | 9 835.98/836.31 c 834s | 23 | 2343630 | 2264238 | 4266 1311 | 1 | 9 837.99/838.34 c 836s | 23 | 2349585 | 2270138 | 4266 1313 | 1 | 9 839.98/840.37 c 838s | 23 | 2355669 | 2276138 | 4266 1316 | 1 | 9 841.98/842.38 c 840s | 23 | 2360242 | 2280538 | 4266 1318 | 1 | 9 844.08/844.41 c 842s | 23 | 2365133 | 2285238 | 4266 1320 | 1 | 9 846.08/846.41 c 844s | 23 | 2370353 | 2290238 | 4266 1322 | 1 | 9 848.08/848.43 c 846s | 23 | 2375880 | 2295538 | 4266 1324 | 1 | 9 850.08/850.48 c 848s | 23 | 2381098 | 2300338 | 4266 1327 | 1 | 9 852.08/852.50 c 850s | 23 | 2385935 | 2304938 | 4266 1329 | 1 | 9 854.18/854.50 c 852s | 23 | 2391096 | 2309838 | 4266 1331 | 1 | 9 856.18/856.53 c 854s | 23 | 2396049 | 2314538 | 4266 1333 | 1 | 9 858.18/858.54 c 856s | 23 | 2401017 | 2319338 | 4266 1335 | 1 | 9 860.18/860.55 c 858s | 23 | 2406477 | 2324638 | 4266 1337 | 1 | 9 862.18/862.58 c 860s | 23 | 2411823 | 2329738 | 4266 1340 | 1 | 9 864.18/864.60 c 862s | 23 | 2417050 | 2334838 | 4266 1342 | 1 | 9 866.28/866.61 c 864s | 23 | 2422005 | 2339738 | 4266 1344 | 1 | 9 868.28/868.67 c 866s | 23 | 2426489 | 2344138 | 4266 1346 | 1 | 9 870.27/870.69 c 868s | 23 | 2430350 | 2347938 | 4266 1348 | 1 | 9 872.37/872.71 c 870s | 23 | 2435835 | 2353338 | 4266 1350 | 1 | 9 874.37/874.73 c 872s | 23 | 2440981 | 2358338 | 4266 1352 | 1 | 9 876.38/876.78 c 874s | 23 | 2446031 | 2363338 | 4266 1354 | 1 | 9 878.48/878.82 c 876s | 23 | 2450873 | 2368138 | 4266 1356 | 1 | 9 880.48/880.85 c 878s | 23 | 2454937 | 2372138 | 4266 1358 | 1 | 9 882.48/882.89 c 880s | 23 | 2459159 | 2376238 | 4266 1360 | 1 | 9 884.48/884.89 c 882s | 23 | 2463452 | 2380438 | 4266 1362 | 1 | 9 886.58/886.90 c 884s | 23 | 2467736 | 2384538 | 4266 1364 | 1 | 9 888.58/888.91 c 886s | 23 | 2473620 | 2390138 | 4266 1366 | 1 | 9 890.58/890.94 c 888s | 23 | 2479292 | 2395738 | 4266 1369 | 1 | 9 892.58/892.95 c 890s | 23 | 2484341 | 2400738 | 4266 1371 | 1 | 9 894.58/894.95 c 892s | 23 | 2489582 | 2405938 | 4266 1373 | 1 | 9 896.58/896.98 c 894s | 23 | 2495548 | 2411538 | 4266 1376 | 1 | 9 898.58/898.99 c 896s | 23 | 2501893 | 2417738 | 4266 1378 | 1 | 9 900.68/901.02 c 898s | 23 | 2507721 | 2423438 | 4266 1381 | 1 | 9 902.67/903.04 c 900s | 23 | 2514331 | 2429838 | 4266 1384 | 1 | 9 904.67/905.05 c 902s | 23 | 2519843 | 2435238 | 4266 1386 | 1 | 9 906.67/907.08 c 904s | 23 | 2525249 | 2440538 | 4266 1388 | 1 | 9 908.77/909.10 c 906s | 23 | 2530599 | 2445738 | 4266 1391 | 1 | 9 910.77/911.12 c 908s | 23 | 2536249 | 2451238 | 4266 1393 | 1 | 9 912.78/913.13 c 911s | 23 | 2541790 | 2456738 | 4266 1395 | 1 | 9 914.77/915.15 c 913s | 23 | 2547276 | 2462138 | 4266 1398 | 1 | 9 916.77/917.15 c 915s | 23 | 2552508 | 2467338 | 4266 1400 | 1 | 9 918.77/919.16 c 917s | 23 | 2557452 | 2472238 | 4266 1402 | 1 | 9 920.77/921.19 c 919s | 23 | 2563020 | 2477538 | 4266 1405 | 1 | 9 922.77/923.19 c 921s | 23 | 2568894 | 2483238 | 4266 1407 | 1 | 9 924.88/925.22 c 923s | 23 | 2574467 | 2488738 | 4266 1410 | 1 | 9 926.87/927.25 c 925s | 23 | 2580330 | 2494538 | 4266 1412 | 1 | 9 928.87/929.26 c 927s | 23 | 2585819 | 2499938 | 4266 1414 | 1 | 9 930.87/931.26 c 929s | 23 | 2591121 | 2505138 | 4266 1417 | 1 | 9 932.87/933.28 c 931s | 23 | 2596658 | 2510538 | 4266 1419 | 1 | 9 934.97/935.31 c 933s | 23 | 2602261 | 2515938 | 4266 1422 | 1 | 9 936.97/937.34 c 935s | 23 | 2607740 | 2521338 | 4266 1424 | 1 | 9 938.97/939.35 c 937s | 23 | 2613479 | 2526938 | 4266 1426 | 1 | 9 940.97/941.36 c 939s | 23 | 2618613 | 2532038 | 4266 1429 | 1 | 9 942.97/943.37 c 941s | 23 | 2624306 | 2537638 | 4266 1431 | 1 | 9 944.97/945.40 c 943s | 23 | 2630772 | 2544038 | 4266 1434 | 1 | 9 947.07/947.43 c 945s | 23 | 2636623 | 2549838 | 4266 1436 | 1 | 9 949.07/949.46 c 947s | 23 | 2642608 | 2555738 | 4266 1439 | 1 | 9 951.06/951.47 c 949s | 23 | 2648661 | 2561738 | 4266 1442 | 1 | 9 953.06/953.48 c 951s | 23 | 2655279 | 2568238 | 4266 1444 | 1 | 9 955.16/955.50 c 953s | 23 | 2661798 | 2574638 | 4266 1447 | 1 | 9 957.16/957.53 c 955s | 23 | 2667619 | 2580338 | 4266 1450 | 1 | 9 959.16/959.54 c 957s | 23 | 2673505 | 2586138 | 4266 1452 | 1 | 9 961.17/961.55 c 959s | 23 | 2678761 | 2591338 | 4266 1455 | 1 | 9 963.16/963.58 c 961s | 23 | 2684553 | 2597038 | 4266 1457 | 1 | 9 965.16/965.58 c 963s | 23 | 2689218 | 2601538 | 4266 1459 | 1 | 9 967.16/967.59 c 965s | 23 | 2693670 | 2605838 | 4266 1461 | 1 | 9 969.26/969.63 c 967s | 23 | 2699218 | 2611138 | 4266 1463 | 1 | 9 971.26/971.66 c 969s | 23 | 2705357 | 2617138 | 4266 1466 | 1 | 9 973.27/973.68 c 971s | 23 | 2711176 | 2622838 | 4266 1468 | 1 | 9 975.26/975.69 c 973s | 23 | 2716233 | 2627638 | 4266 1471 | 1 | 9 977.36/977.71 c 975s | 23 | 2721940 | 2633238 | 4266 1473 | 1 | 9 979.36/979.71 c 977s | 23 | 2727533 | 2638738 | 4266 1475 | 1 | 9 981.36/981.74 c 979s | 23 | 2732566 | 2643738 | 4266 1478 | 1 | 9 983.36/983.76 c 981s | 23 | 2737709 | 2648838 | 4266 1480 | 1 | 9 985.37/985.76 c 983s | 23 | 2743155 | 2654238 | 4266 1482 | 1 | 9 987.36/987.76 c 985s | 23 | 2748194 | 2659238 | 4266 1484 | 1 | 9 989.36/989.78 c 987s | 23 | 2753322 | 2664338 | 4266 1487 | 1 | 9 991.46/991.80 c 989s | 23 | 2759335 | 2670238 | 4266 1489 | 1 | 9 993.46/993.82 c 991s | 23 | 2765479 | 2676238 | 4266 1492 | 1 | 9 995.46/995.84 c 993s | 23 | 2771800 | 2682438 | 4266 1495 | 1 | 9 997.46/997.87 c 995s | 23 | 2778166 | 2688738 | 4266 1497 | 1 | 9 999.45/999.87 c 997s | 23 | 2784802 | 2695138 | 4266 1500 | 1 | 9 1001.45/1001.89 c 999s | 23 | 2790947 | 2701138 | 4266 1503 | 1 | 9 1003.55/1003.94 c 1001s | 23 | 2797060 | 2707138 | 4266 1506 | 1 | 9 1005.55/1005.96 c 1003s | 23 | 2802722 | 2712738 | 4266 1508 | 1 | 9 1007.56/1007.97 c 1005s | 23 | 2808842 | 2718738 | 4266 1511 | 1 | 9 1009.57/1009.98 c 1007s | 23 | 2815735 | 2725438 | 4266 1514 | 1 | 9 1011.56/1012.00 c 1009s | 23 | 2821932 | 2731538 | 4266 1516 | 1 | 9 1013.66/1014.04 c 1011s | 23 | 2827784 | 2737338 | 4266 1519 | 1 | 9 1015.66/1016.06 c 1013s | 23 | 2833873 | 2743338 | 4266 1522 | 1 | 9 1017.66/1018.08 c 1015s | 23 | 2840505 | 2749838 | 4266 1524 | 1 | 9 1019.66/1020.09 c 1017s | 23 | 2846696 | 2755938 | 4266 1527 | 1 | 9 1021.76/1022.11 c 1019s | 23 | 2852670 | 2761838 | 4266 1530 | 1 | 9 1023.76/1024.17 c 1022s | 23 | 2859223 | 2768238 | 4266 1533 | 1 | 9 1025.76/1026.18 c 1024s | 23 | 2865297 | 2774138 | 4266 1535 | 1 | 9 1027.76/1028.19 c 1026s | 23 | 2871155 | 2779938 | 4266 1538 | 1 | 9 1029.86/1030.21 c 1028s | 23 | 2876819 | 2785538 | 4266 1540 | 1 | 9 1031.86/1032.21 c 1030s | 23 | 2882813 | 2791438 | 4266 1543 | 1 | 9 1033.86/1034.22 c 1032s | 23 | 2888194 | 2796738 | 4266 1545 | 1 | 9 1035.86/1036.25 c 1034s | 23 | 2894275 | 2802638 | 4266 1548 | 1 | 9 1037.85/1038.29 c 1036s | 23 | 2899623 | 2807938 | 4266 1550 | 1 | 9 1039.95/1040.31 c 1038s | 23 | 2905162 | 2813438 | 4266 1553 | 1 | 9 1041.95/1042.32 c 1040s | 23 | 2911292 | 2819438 | 4266 1555 | 1 | 9 1043.95/1044.35 c 1042s | 23 | 2916883 | 2824938 | 4266 1558 | 1 | 9 1045.95/1046.38 c 1044s | 23 | 2922874 | 2830738 | 4266 1560 | 1 | 9 1047.96/1048.40 c 1046s | 23 | 2928668 | 2836338 | 4266 1563 | 1 | 9 1050.05/1050.42 c 1048s | 23 | 2934298 | 2841838 | 4266 1565 | 1 | 9 1052.05/1052.42 c 1050s | 23 | 2939899 | 2847338 | 4266 1568 | 1 | 9 1054.05/1054.45 c 1052s | 23 | 2944882 | 2852238 | 4266 1570 | 1 | 9 1056.05/1056.45 c 1054s | 23 | 2948297 | 2855638 | 4266 1571 | 1 | 9 1058.05/1058.47 c 1056s | 23 | 2951966 | 2859138 | 4266 1573 | 1 | 9 1060.15/1060.51 c 1058s | 23 | 2957847 | 2864938 | 4266 1575 | 1 | 9 1062.15/1062.53 c 1060s | 23 | 2963207 | 2870238 | 4266 1578 | 1 | 9 1064.15/1064.55 c 1062s | 23 | 2968555 | 2875538 | 4266 1580 | 1 | 9 1066.14/1066.58 c 1064s | 23 | 2974519 | 2881238 | 4266 1582 | 1 | 9 1068.14/1068.59 c 1066s | 23 | 2980211 | 2886838 | 4266 1585 | 1 | 9 1070.24/1070.61 c 1068s | 23 | 2985947 | 2892438 | 4266 1587 | 1 | 9 1072.25/1072.65 c 1070s | 23 | 2991538 | 2897938 | 4266 1590 | 1 | 9 1074.24/1074.67 c 1072s | 23 | 2997516 | 2903638 | 4266 1592 | 1 | 9 1076.24/1076.70 c 1074s | 23 | 3003393 | 2909438 | 4266 1595 | 1 | 9 1078.34/1078.74 c 1076s | 23 | 3008947 | 2914938 | 4266 1597 | 1 | 9 1080.34/1080.74 c 1078s | 23 | 3014146 | 2920038 | 4266 1599 | 1 | 9 1082.34/1082.75 c 1080s | 23 | 3019678 | 2925338 | 4266 1602 | 1 | 9 1084.35/1084.76 c 1082s | 23 | 3025518 | 2931138 | 4266 1604 | 1 | 9 1086.34/1086.78 c 1084s | 23 | 3031474 | 2937038 | 4266 1607 | 1 | 9 1088.34/1088.78 c 1086s | 23 | 3036597 | 2942138 | 4266 1609 | 1 | 9 1090.34/1090.78 c 1088s | 23 | 3041775 | 2947238 | 4266 1611 | 1 | 9 1092.45/1092.81 c 1090s | 23 | 3047699 | 2953038 | 4266 1614 | 1 | 9 1094.45/1094.83 c 1092s | 23 | 3052970 | 2958238 | 4266 1616 | 1 | 9 1096.46/1096.87 c 1094s | 23 | 3057816 | 2963038 | 4266 1618 | 1 | 9 1098.45/1098.88 c 1096s | 23 | 3062461 | 2967538 | 4266 1620 | 1 | 9 1100.55/1100.91 c 1098s | 23 | 3067629 | 2972438 | 4266 1623 | 1 | 9 1102.55/1102.93 c 1100s | 23 | 3073291 | 2977938 | 4266 1625 | 1 | 9 1104.55/1104.95 c 1102s | 23 | 3078884 | 2983438 | 4266 1627 | 1 | 9 1106.55/1106.96 c 1104s | 23 | 3084270 | 2988738 | 4266 1630 | 1 | 9 1108.55/1108.97 c 1106s | 23 | 3089827 | 2994238 | 4266 1632 | 1 | 9 1110.55/1110.98 c 1108s | 23 | 3095408 | 2999738 | 4266 1635 | 1 | 9 1112.64/1113.01 c 1110s | 23 | 3100750 | 3005038 | 4266 1637 | 1 | 9 1114.64/1115.03 c 1112s | 23 | 3106202 | 3010438 | 4266 1639 | 1 | 9 1116.64/1117.04 c 1114s | 23 | 3112041 | 3015938 | 4266 1642 | 1 | 9 1118.64/1119.04 c 1116s | 23 | 3117435 | 3021238 | 4266 1644 | 1 | 9 1120.65/1121.06 c 1118s | 23 | 3122843 | 3026538 | 4266 1646 | 1 | 9 1122.64/1123.07 c 1120s | 23 | 3128781 | 3032338 | 4266 1649 | 1 | 9 1124.64/1125.09 c 1122s | 23 | 3134282 | 3037738 | 4266 1651 | 1 | 9 1126.64/1127.09 c 1124s | 23 | 3139772 | 3043138 | 4266 1654 | 1 | 9 1128.74/1129.13 c 1127s | 23 | 3145446 | 3048738 | 4266 1656 | 1 | 9 1130.74/1131.13 c 1129s | 23 | 3151536 | 3054638 | 4266 1659 | 1 | 9 1132.75/1133.14 c 1131s | 23 | 3157333 | 3060338 | 4266 1661 | 1 | 9 1134.74/1135.16 c 1133s | 23 | 3162815 | 3065738 | 4266 1664 | 1 | 9 1136.74/1137.17 c 1135s | 23 | 3169241 | 3071938 | 4266 1667 | 1 | 9 1138.74/1139.18 c 1137s | 23 | 3175177 | 3077738 | 4266 1669 | 1 | 9 1140.84/1141.20 c 1139s | 23 | 3180999 | 3083438 | 4266 1672 | 1 | 9 1142.84/1143.20 c 1141s | 23 | 3186581 | 3088938 | 4266 1674 | 1 | 9 1144.84/1145.21 c 1143s | 23 | 3191932 | 3094138 | 4266 1676 | 1 | 9 1146.84/1147.23 c 1145s | 23 | 3196798 | 3098938 | 4266 1679 | 1 | 9 1148.84/1149.25 c 1147s | 23 | 3202437 | 3104438 | 4266 1681 | 1 | 9 1150.84/1151.26 c 1149s | 23 | 3207653 | 3109538 | 4266 1683 | 1 | 9 1152.83/1153.29 c 1151s | 23 | 3213161 | 3114938 | 4266 1686 | 1 | 9 1154.93/1155.30 c 1153s | 23 | 3217802 | 3119538 | 4266 1688 | 1 | 9 1156.94/1157.33 c 1155s | 23 | 3222961 | 3124638 | 4266 1690 | 1 | 9 1158.93/1159.34 c 1157s | 23 | 3228170 | 3129738 | 4266 1692 | 1 | 9 1160.93/1161.37 c 1159s | 23 | 3233630 | 3135038 | 4266 1695 | 1 | 9 1162.93/1163.37 c 1161s | 23 | 3239228 | 3140438 | 4266 1697 | 1 | 9 1164.93/1165.39 c 1163s | 23 | 3244273 | 3145338 | 4266 1699 | 1 | 9 1166.93/1167.40 c 1165s | 23 | 3249763 | 3150638 | 4266 1701 | 1 | 9 1169.04/1169.41 c 1167s | 23 | 3255907 | 3156538 | 4266 1704 | 1 | 9 1171.03/1171.42 c 1169s | 23 | 3261216 | 3161538 | 4266 1706 | 1 | 9 1173.03/1173.43 c 1171s | 23 | 3266379 | 3166538 | 4266 1708 | 1 | 9 1175.03/1175.43 c 1173s | 23 | 3271773 | 3171838 | 4266 1711 | 1 | 9 1177.03/1177.44 c 1175s | 23 | 3277438 | 3177438 | 4266 1713 | 1 | 9 1179.03/1179.49 c 1177s | 23 | 3282620 | 3182538 | 4266 1716 | 1 | 9 1181.03/1181.49 c 1179s | 23 | 3288128 | 3187938 | 4266 1718 | 1 | 9 1183.03/1183.50 c 1181s | 23 | 3294745 | 3194338 | 4266 1721 | 1 | 9 1185.13/1185.52 c 1183s | 23 | 3300848 | 3200338 | 4266 1723 | 1 | 9 1187.13/1187.54 c 1185s | 23 | 3307388 | 3206738 | 4266 1726 | 1 | 9 1189.13/1189.55 c 1187s | 23 | 3314216 | 3213338 | 4266 1729 | 1 | 9 1191.13/1191.56 c 1189s | 23 | 3321144 | 3220138 | 4266 1732 | 1 | 9 1193.13/1193.57 c 1191s | 23 | 3327155 | 3226038 | 4266 1735 | 1 | 9 1195.13/1195.59 c 1193s | 23 | 3333356 | 3232038 | 4266 1737 | 1 | 9 1197.23/1197.64 c 1195s | 23 | 3340379 | 3238938 | 4266 1741 | 1 | 9 1199.22/1199.65 c 1197s | 23 | 3347357 | 3245738 | 4266 1744 | 1 | 9 1201.22/1201.67 c 1199s | 23 | 3354027 | 3252238 | 4266 1746 | 1 | 9 1203.22/1203.67 c 1201s | 23 | 3360830 | 3258838 | 4266 1749 | 1 | 9 1205.23/1205.69 c 1203s | 23 | 3367343 | 3265238 | 4266 1752 | 1 | 9 1207.22/1207.69 c 1205s | 23 | 3373800 | 3271538 | 4266 1755 | 1 | 9 1209.32/1209.71 c 1207s | 23 | 3380121 | 3277738 | 4266 1758 | 1 | 9 1211.32/1211.74 c 1209s | 23 | 3386020 | 3283538 | 4266 1760 | 1 | 9 1213.32/1213.77 c 1211s | 23 | 3391804 | 3289238 | 4266 1763 | 1 | 9 1215.32/1215.79 c 1213s | 23 | 3397800 | 3295138 | 4266 1765 | 1 | 9 1217.43/1217.81 c 1215s | 23 | 3404428 | 3301638 | 4266 1768 | 1 | 9 1219.42/1219.82 c 1217s | 23 | 3410712 | 3307838 | 4266 1771 | 1 | 9 1221.42/1221.82 c 1219s | 23 | 3416668 | 3313738 | 4266 1773 | 1 | 9 1223.42/1223.85 c 1221s | 23 | 3421818 | 3318838 | 4266 1776 | 1 | 9 1225.42/1225.89 c 1223s | 23 | 3426673 | 3323638 | 4266 1778 | 1 | 9 1227.42/1227.90 c 1225s | 23 | 3432333 | 3329038 | 4266 1780 | 1 | 9 1229.53/1229.93 c 1227s | 23 | 3437387 | 3333938 | 4266 1782 | 1 | 9 1231.52/1231.95 c 1229s | 23 | 3442823 | 3339238 | 4266 1785 | 1 | 9 1233.52/1233.95 c 1231s | 23 | 3448677 | 3344938 | 4266 1787 | 1 | 9 1235.52/1235.95 c 1233s | 23 | 3454641 | 3350838 | 4693 1790 | 1 | 9 1237.52/1237.98 c 1235s | 23 | 3460474 | 3356638 | 4693 1792 | 1 | 9 1239.53/1239.99 c 1237s | 23 | 3465813 | 3361938 | 4693 1794 | 1 | 9 1241.63/1242.02 c 1239s | 23 | 3471881 | 3367938 | 4693 1796 | 1 | 9 1243.62/1244.03 c 1241s | 23 | 3478478 | 3374338 | 4693 1799 | 1 | 9 1244.42/1244.86 c 1242s | 24 | 3480822 | 3376662 | 4693 1800 | 1 | 9 1246.42/1246.88 c 1244s | 24 | 3483377 | 3379162 | 4693 1801 | 1 | 9 1248.42/1248.89 c 1246s | 24 | 3487613 | 3383062 | 4693 1803 | 1 | 9 1250.52/1250.93 c 1248s | 24 | 3491449 | 3386862 | 4693 1804 | 1 | 9 1252.53/1252.94 c 1250s | 24 | 3495244 | 3390562 | 4693 1806 | 1 | 9 1254.52/1254.99 c 1252s | 24 | 3499188 | 3394162 | 4693 1807 | 1 | 9 1256.62/1257.00 c 1254s | 24 | 3502511 | 3397462 | 4693 1808 | 1 | 9 1258.62/1259.05 c 1256s | 24 | 3506141 | 3401062 | 4693 1810 | 1 | 9 1260.62/1261.06 c 1258s | 24 | 3511247 | 3406062 | 4693 1812 | 1 | 9 1262.62/1263.09 c 1260s | 24 | 3515982 | 3410762 | 4693 1814 | 1 | 9 1264.73/1265.11 c 1262s | 24 | 3520642 | 3415362 | 4693 1816 | 1 | 9 1266.72/1267.12 c 1265s | 24 | 3525259 | 3419862 | 4693 1817 | 1 | 9 1268.72/1269.15 c 1267s | 24 | 3529935 | 3424462 | 4693 1819 | 1 | 9 1270.72/1271.16 c 1269s | 24 | 3534282 | 3428762 | 4693 1821 | 1 | 9 1272.72/1273.16 c 1271s | 24 | 3538523 | 3432962 | 4693 1823 | 1 | 9 1274.72/1275.16 c 1273s | 24 | 3543004 | 3437362 | 4693 1824 | 1 | 9 1276.72/1277.16 c 1275s | 24 | 3547366 | 3441662 | 4693 1826 | 1 | 9 1278.72/1279.18 c 1277s | 24 | 3551944 | 3446162 | 4693 1828 | 1 | 9 1280.72/1281.19 c 1279s | 24 | 3556326 | 3450462 | 4693 1830 | 1 | 9 1282.72/1283.19 c 1281s | 24 | 3560816 | 3454862 | 4693 1831 | 1 | 9 1284.81/1285.22 c 1283s | 24 | 3565546 | 3459462 | 4693 1833 | 1 | 9 1286.81/1287.23 c 1285s | 24 | 3570138 | 3463962 | 4693 1835 | 1 | 9 1288.82/1289.26 c 1287s | 24 | 3574610 | 3468362 | 4693 1837 | 1 | 9 1290.81/1291.28 c 1289s | 24 | 3579518 | 3473162 | 4693 1839 | 1 | 9 1292.91/1293.32 c 1291s | 24 | 3584737 | 3478262 | 4693 1841 | 1 | 9 1294.91/1295.35 c 1293s | 24 | 3589142 | 3482262 | 4693 1843 | 1 | 9 1296.91/1297.36 c 1295s | 24 | 3594537 | 3487562 | 4693 1845 | 1 | 9 1298.91/1299.39 c 1297s | 24 | 3599414 | 3492362 | 4693 1847 | 1 | 9 1300.92/1301.40 c 1299s | 24 | 3604121 | 3496962 | 4693 1848 | 1 | 9 1303.01/1303.43 c 1301s | 24 | 3610077 | 3501462 | 4693 1850 | 1 | 9 1305.01/1305.47 c 1303s | 24 | 3614213 | 3505162 | 4693 1852 | 1 | 9 1307.11/1307.50 c 1305s | 24 | 3618061 | 3508962 | 4693 1853 | 1 | 9 1309.11/1309.54 c 1307s | 24 | 3621933 | 3512762 | 4693 1855 | 1 | 9 1311.11/1311.55 c 1309s | 24 | 3625686 | 3516462 | 4693 1856 | 1 | 9 1313.12/1313.57 c 1311s | 24 | 3629165 | 3519862 | 4693 1858 | 1 | 9 1315.11/1315.58 c 1313s | 24 | 3633081 | 3523662 | 4693 1859 | 1 | 9 1317.11/1317.58 c 1315s | 24 | 3636929 | 3527462 | 4693 1861 | 1 | 9 1319.11/1319.59 c 1317s | 24 | 3640768 | 3531062 | 4693 1862 | 1 | 9 1321.11/1321.59 c 1319s | 24 | 3644010 | 3534262 | 4693 1863 | 1 | 9 1323.21/1323.61 c 1321s | 24 | 3647349 | 3537562 | 4693 1865 | 1 | 9 1325.21/1325.63 c 1323s | 24 | 3650663 | 3540862 | 4693 1866 | 1 | 9 1327.21/1327.63 c 1325s | 24 | 3653482 | 3543562 | 4693 1867 | 1 | 9 1329.21/1329.67 c 1327s | 24 | 3657450 | 3547062 | 4693 1869 | 1 | 9 1331.20/1331.68 c 1329s | 24 | 3660816 | 3550262 | 4693 1870 | 1 | 9 1333.30/1333.72 c 1331s | 24 | 3665237 | 3554562 | 4693 1872 | 1 | 9 1335.30/1335.74 c 1333s | 24 | 3669393 | 3558662 | 4693 1873 | 1 | 9 1337.31/1337.76 c 1335s | 24 | 3672800 | 3562062 | 4693 1875 | 1 | 9 1339.30/1339.80 c 1337s | 24 | 3676991 | 3566162 | 4693 1876 | 1 | 9 1341.41/1341.82 c 1339s | 24 | 3681218 | 3570362 | 4693 1878 | 1 | 9 1343.41/1343.84 c 1341s | 24 | 3685610 | 3574662 | 4693 1880 | 1 | 9 1345.41/1345.88 c 1343s | 24 | 3689658 | 3578562 | 4693 1881 | 1 | 9 1347.51/1347.93 c 1345s | 24 | 3693234 | 3582062 | 4693 1883 | 1 | 9 1349.51/1349.95 c 1347s | 24 | 3696670 | 3585462 | 4693 1884 | 1 | 9 1351.52/1352.00 c 1349s | 24 | 3700937 | 3589662 | 4693 1886 | 1 | 9 1353.61/1354.05 c 1351s | 24 | 3705441 | 3593562 | 4693 1887 | 1 | 9 1355.71/1356.10 c 1353s | 24 | 3708584 | 3596662 | 4693 1889 | 1 | 9 1357.71/1358.14 c 1356s | 24 | 3712144 | 3599762 | 4693 1890 | 1 | 9 1359.71/1360.17 c 1358s | 24 | 3716330 | 3603862 | 4693 1891 | 1 | 9 1361.71/1362.18 c 1360s | 24 | 3720695 | 3608162 | 4693 1893 | 1 | 9 1363.71/1364.18 c 1362s | 24 | 3724765 | 3612062 | 4693 1895 | 1 | 9 1365.71/1366.19 c 1364s | 24 | 3729088 | 3616362 | 4693 1896 | 1 | 9 1367.71/1368.20 c 1366s | 24 | 3733523 | 3620762 | 4693 1898 | 1 | 9 1369.81/1370.25 c 1368s | 24 | 3737952 | 3624862 | 4693 1900 | 1 | 9 1371.91/1372.31 c 1370s | 24 | 3742157 | 3628962 | 4693 1902 | 1 | 9 1373.91/1374.32 c 1372s | 24 | 3746439 | 3632962 | 4693 1903 | 1 | 9 1375.91/1376.36 c 1374s | 24 | 3750383 | 3636662 | 4693 1905 | 1 | 9 1377.91/1378.39 c 1376s | 24 | 3754392 | 3640462 | 4693 1906 | 1 | 9 1380.00/1380.43 c 1378s | 24 | 3757814 | 3643862 | 4693 1908 | 1 | 9 1382.00/1382.44 c 1380s | 24 | 3761735 | 3647362 | 4693 1909 | 1 | 9 1384.00/1384.45 c 1382s | 24 | 3765112 | 3650662 | 4693 1910 | 1 | 9 1386.00/1386.46 c 1384s | 24 | 3769071 | 3654562 | 4693 1912 | 1 | 9 1388.00/1388.46 c 1386s | 24 | 3773254 | 3658662 | 4693 1913 | 1 | 9 1390.01/1390.49 c 1388s | 24 | 3777224 | 3662462 | 4693 1915 | 1 | 9 1392.10/1392.55 c 1390s | 24 | 3780842 | 3666062 | 4693 1916 | 1 | 9 1394.10/1394.56 c 1392s | 24 | 3783951 | 3669162 | 4693 1918 | 1 | 9 1396.20/1396.61 c 1394s | 24 | 3788569 | 3672562 | 4693 1919 | 1 | 9 1398.20/1398.63 c 1396s | 24 | 3792312 | 3676262 | 4693 1921 | 1 | 9 1400.20/1400.64 c 1398s | 24 | 3796572 | 3680462 | 4693 1922 | 1 | 9 1402.20/1402.69 c 1400s | 24 | 3800640 | 3684462 | 4693 1924 | 1 | 9 1404.30/1404.72 c 1402s | 24 | 3804622 | 3688362 | 4693 1925 | 1 | 9 1406.30/1406.74 c 1404s | 24 | 3808278 | 3691962 | 4693 1927 | 1 | 9 1408.30/1408.78 c 1406s | 24 | 3812467 | 3696062 | 4693 1929 | 1 | 9 1410.30/1410.79 c 1408s | 24 | 3816658 | 3700162 | 4693 1930 | 1 | 9 1412.40/1412.82 c 1410s | 24 | 3820536 | 3703962 | 4693 1932 | 1 | 9 1414.50/1414.92 c 1412s | 24 | 3824114 | 3707362 | 4693 1933 | 1 | 9 1416.50/1416.95 c 1414s | 24 | 3826932 | 3710162 | 4693 1934 | 1 | 9 1418.50/1418.97 c 1416s | 24 | 3829824 | 3712862 | 4693 1935 | 1 | 9 1420.60/1421.02 c 1418s | 24 | 3832666 | 3715662 | 4693 1936 | 1 | 9 1422.60/1423.03 c 1420s | 24 | 3835921 | 3718162 | 4693 1937 | 1 | 9 1424.60/1425.04 c 1422s | 24 | 3838468 | 3720562 | 4693 1938 | 1 | 9 1426.60/1427.08 c 1424s | 24 | 3841889 | 3723862 | 4693 1940 | 1 | 9 1428.60/1429.08 c 1426s | 24 | 3844931 | 3726862 | 4693 1941 | 1 | 9 1430.60/1431.09 c 1428s | 24 | 3847919 | 3729762 | 4693 1942 | 1 | 9 1432.70/1433.18 c 1431s | 24 | 3850992 | 3732662 | 4693 1943 | 1 | 9 1434.80/1435.25 c 1433s | 24 | 3853691 | 3735262 | 4693 1944 | 1 | 9 1436.80/1437.28 c 1435s | 24 | 3858114 | 3739562 | 4693 1946 | 1 | 9 1438.90/1439.31 c 1437s | 24 | 3860655 | 3741862 | 4693 1947 | 1 | 9 1440.90/1441.32 c 1439s | 24 | 3863516 | 3744462 | 4693 1948 | 1 | 9 1442.90/1443.35 c 1441s | 24 | 3867140 | 3747962 | 4693 1950 | 1 | 9 1444.90/1445.37 c 1443s | 24 | 3871905 | 3752462 | 4693 1951 | 1 | 9 1446.90/1447.38 c 1445s | 24 | 3876357 | 3756862 | 4693 1953 | 1 | 9 1448.99/1449.41 c 1447s | 24 | 3879188 | 3759562 | 4693 1954 | 1 | 9 1450.99/1451.43 c 1449s | 24 | 3882418 | 3762662 | 4693 1955 | 1 | 9 1452.99/1453.46 c 1451s | 24 | 3886306 | 3766362 | 4693 1957 | 1 | 9 1455.09/1455.53 c 1453s | 24 | 3889954 | 3769862 | 4693 1958 | 1 | 9 1457.10/1457.56 c 1455s | 24 | 3894410 | 3774162 | 4693 1960 | 1 | 9 1459.09/1459.58 c 1457s | 24 | 3899452 | 3779062 | 4693 1962 | 1 | 9 1461.19/1461.60 c 1459s | 24 | 3903117 | 3782562 | 4693 1964 | 1 | 9 1463.19/1463.64 c 1461s | 24 | 3906904 | 3786062 | 4693 1965 | 1 | 9 1465.19/1465.66 c 1463s | 24 | 3909756 | 3788762 | 4693 1966 | 1 | 9 1467.19/1467.67 c 1465s | 24 | 3912700 | 3791462 | 4693 1967 | 1 | 9 1469.20/1469.68 c 1467s | 24 | 3917768 | 3796362 | 4693 1969 | 1 | 9 1471.29/1471.72 c 1469s | 24 | 3922414 | 3800762 | 4693 1971 | 1 | 9 1473.29/1473.73 c 1471s | 24 | 3927619 | 3805862 | 4693 1973 | 1 | 9 1475.29/1475.75 c 1473s | 24 | 3933139 | 3811162 | 4693 1975 | 1 | 9 1477.29/1477.76 c 1475s | 24 | 3937892 | 3815662 | 4693 1977 | 1 | 9 1479.29/1479.77 c 1477s | 24 | 3942253 | 3819862 | 4693 1979 | 1 | 9 1481.29/1481.80 c 1479s | 24 | 3946744 | 3824062 | 4693 1980 | 1 | 9 1483.39/1483.83 c 1481s | 24 | 3951351 | 3828162 | 4693 1982 | 1 | 9 1485.39/1485.86 c 1483s | 24 | 3956126 | 3832762 | 4693 1984 | 1 | 9 1487.39/1487.87 c 1485s | 24 | 3960191 | 3836762 | 4693 1986 | 1 | 9 1489.39/1489.88 c 1487s | 24 | 3964851 | 3841162 | 4693 1987 | 1 | 9 1491.39/1491.89 c 1489s | 24 | 3969262 | 3845262 | 4693 1989 | 1 | 9 1493.49/1493.91 c 1491s | 24 | 3974148 | 3849862 | 4693 1991 | 1 | 9 1495.48/1495.97 c 1493s | 24 | 3979140 | 3854662 | 4693 1993 | 1 | 9 1497.58/1498.00 c 1495s | 24 | 3984180 | 3859462 | 4693 1995 | 1 | 9 1499.58/1500.01 c 1497s | 24 | 3988599 | 3863462 | 4693 1996 | 1 | 9 1501.58/1502.06 c 1499s | 24 | 3992334 | 3866962 | 4693 1998 | 1 | 9 1503.58/1504.09 c 1501s | 24 | 3996426 | 3870962 | 4693 1999 | 1 | 9 1505.68/1506.12 c 1504s | 24 | 4000672 | 3875062 | 4693 2001 | 1 | 9 1507.69/1508.15 c 1506s | 24 | 4004713 | 3878962 | 4693 2003 | 1 | 9 1509.68/1510.19 c 1508s | 24 | 4007115 | 3881262 | 4693 2004 | 1 | 9 1511.78/1512.25 c 1510s | 24 | 4011981 | 3886062 | 4693 2006 | 1 | 9 1513.88/1514.32 c 1512s | 24 | 4015076 | 3889062 | 4693 2007 | 1 | 9 1515.88/1516.36 c 1514s | 24 | 4019169 | 3892762 | 4693 2008 | 1 | 9 1517.88/1518.37 c 1516s | 24 | 4022314 | 3895762 | 4693 2009 | 1 | 9 1519.98/1520.41 c 1518s | 24 | 4026067 | 3899362 | 4693 2011 | 1 | 9 1521.99/1522.43 c 1520s | 24 | 4030431 | 3903662 | 4693 2013 | 1 | 9 1523.98/1524.45 c 1522s | 24 | 4034033 | 3907162 | 4693 2014 | 1 | 9 1525.98/1526.46 c 1524s | 24 | 4037244 | 3910262 | 4693 2015 | 1 | 9 1527.98/1528.49 c 1526s | 24 | 4040236 | 3912962 | 4693 2016 | 1 | 9 1530.08/1530.51 c 1528s | 24 | 4043133 | 3915762 | 4693 2018 | 1 | 9 1532.08/1532.52 c 1530s | 24 | 4045923 | 3918462 | 4693 2019 | 1 | 9 1534.08/1534.55 c 1532s | 24 | 4050008 | 3922362 | 4693 2020 | 1 | 9 1536.08/1536.58 c 1534s | 24 | 4052558 | 3924862 | 4693 2021 | 1 | 9 1538.18/1538.66 c 1536s | 24 | 4054883 | 3927162 | 4693 2022 | 1 | 9 1540.17/1540.69 c 1538s | 24 | 4058345 | 3930562 | 4693 2024 | 1 | 9 1542.17/1542.69 c 1540s | 24 | 4062199 | 3934162 | 4693 2025 | 1 | 9 1544.27/1544.78 c 1542s | 24 | 4064726 | 3936462 | 4693 2026 | 1 | 9 1546.28/1546.79 c 1544s | 24 | 4067672 | 3939362 | 4693 2027 | 1 | 9 1548.38/1548.82 c 1546s | 24 | 4070600 | 3942162 | 4693 2028 | 1 | 9 1550.37/1550.87 c 1548s | 24 | 4073331 | 3944862 | 4693 2029 | 1 | 9 1552.37/1552.88 c 1550s | 24 | 4075680 | 3947162 | 4693 2030 | 1 | 9 1554.37/1554.89 c 1552s | 24 | 4078180 | 3949562 | 4693 2031 | 1 | 9 1556.47/1556.93 c 1554s | 24 | 4081212 | 3952462 | 4693 2032 | 1 | 9 1558.57/1559.00 c 1556s | 24 | 4084270 | 3955362 | 4693 2034 | 1 | 9 1560.58/1561.03 c 1558s | 24 | 4087426 | 3958262 | 4693 2035 | 1 | 9 1562.57/1563.03 c 1560s | 24 | 4092082 | 3962862 | 4693 2037 | 1 | 9 1564.57/1565.08 c 1562s | 24 | 4095239 | 3965762 | 4693 2038 | 1 | 9 1566.57/1567.08 c 1564s | 24 | 4098847 | 3969062 | 4693 2039 | 1 | 9 1568.67/1569.10 c 1566s | 24 | 4102487 | 3972462 | 4693 2040 | 1 | 9 1570.67/1571.10 c 1568s | 24 | 4107195 | 3977062 | 4693 2042 | 1 | 9 1572.67/1573.14 c 1571s | 24 | 4110901 | 3980562 | 4693 2044 | 1 | 9 1574.67/1575.18 c 1573s | 24 | 4114014 | 3983462 | 4693 2045 | 1 | 9 1576.67/1577.19 c 1575s | 24 | 4118324 | 3987662 | 4693 2047 | 1 | 9 1578.77/1579.22 c 1577s | 24 | 4123117 | 3992062 | 4693 2048 | 1 | 9 1580.77/1581.22 c 1579s | 24 | 4126993 | 3995762 | 4693 2050 | 1 | 9 1582.77/1583.25 c 1581s | 24 | 4131399 | 3999862 | 4693 2052 | 1 | 9 1584.78/1585.25 c 1583s | 24 | 4135698 | 4003962 | 4693 2053 | 1 | 9 1586.77/1587.30 c 1585s | 24 | 4139891 | 4007862 | 4693 2055 | 1 | 9 1588.87/1589.36 c 1587s | 24 | 4143537 | 4011162 | 4693 2056 | 1 | 9 1590.87/1591.36 c 1589s | 24 | 4147326 | 4014662 | 4693 2058 | 1 | 9 1592.87/1593.37 c 1591s | 24 | 4151256 | 4018362 | 4693 2059 | 1 | 9 1594.87/1595.37 c 1593s | 24 | 4154545 | 4021562 | 4693 2060 | 1 | 9 1596.97/1597.40 c 1595s | 24 | 4159533 | 4026462 | 4693 2062 | 1 | 9 1598.98/1599.43 c 1597s | 24 | 4163936 | 4030462 | 4693 2064 | 1 | 9 1600.97/1601.45 c 1599s | 24 | 4167864 | 4034262 | 4693 2065 | 1 | 9 1602.97/1603.45 c 1601s | 24 | 4172674 | 4038862 | 4693 2067 | 1 | 9 1604.97/1605.50 c 1603s | 24 | 4176565 | 4042662 | 4693 2069 | 1 | 9 1607.07/1607.51 c 1605s | 24 | 4180693 | 4046562 | 4693 2070 | 1 | 9 1609.07/1609.55 c 1607s | 24 | 4184493 | 4050262 | 4693 2072 | 1 | 9 1611.08/1611.58 c 1609s | 24 | 4188169 | 4053862 | 4693 2073 | 1 | 9 1613.17/1613.61 c 1611s | 24 | 4193168 | 4058662 | 4693 2075 | 1 | 9 1615.17/1615.63 c 1613s | 24 | 4197704 | 4062862 | 4693 2077 | 1 | 9 1617.17/1617.67 c 1615s | 24 | 4201389 | 4066262 | 4693 2078 | 1 | 9 1619.16/1619.68 c 1617s | 24 | 4205235 | 4069962 | 4693 2080 | 1 | 9 1621.26/1621.70 c 1619s | 24 | 4208356 | 4072862 | 4693 2081 | 1 | 9 1623.27/1623.76 c 1621s | 24 | 4211728 | 4076162 | 4693 2082 | 1 | 9 1625.37/1625.81 c 1623s | 24 | 4214843 | 4079062 | 4693 2084 | 1 | 9 1627.36/1627.81 c 1625s | 24 | 4219374 | 4083162 | 4693 2085 | 1 | 9 1629.36/1629.84 c 1627s | 24 | 4223718 | 4087262 | 4693 2087 | 1 | 9 1631.36/1631.84 c 1629s | 24 | 4228120 | 4091462 | 4693 2089 | 1 | 9 1633.36/1633.85 c 1631s | 24 | 4232554 | 4095562 | 4693 2090 | 1 | 9 1635.37/1635.88 c 1633s | 24 | 4236824 | 4099762 | 4693 2092 | 1 | 9 1637.36/1637.90 c 1635s | 24 | 4241225 | 4103962 | 4693 2094 | 1 | 9 1639.46/1639.93 c 1637s | 24 | 4246112 | 4108562 | 4693 2096 | 1 | 9 1641.46/1641.97 c 1639s | 24 | 4249927 | 4111962 | 4693 2097 | 1 | 9 1643.46/1643.99 c 1641s | 24 | 4253423 | 4115262 | 4693 2098 | 1 | 9 1645.56/1646.01 c 1643s | 24 | 4257112 | 4118762 | 4693 2100 | 1 | 9 1647.56/1648.03 c 1645s | 24 | 4260996 | 4122462 | 4693 2101 | 1 | 9 1649.57/1650.04 c 1647s | 24 | 4264619 | 4125862 | 4693 2103 | 1 | 9 1651.56/1652.08 c 1649s | 24 | 4269268 | 4130462 | 4693 2104 | 1 | 9 1653.56/1654.08 c 1651s | 24 | 4274182 | 4135262 | 4693 2106 | 1 | 9 1655.66/1656.10 c 1653s | 24 | 4279551 | 4140462 | 4693 2109 | 1 | 9 1657.66/1658.11 c 1655s | 24 | 4283717 | 4144462 | 4693 2110 | 1 | 9 1659.66/1660.12 c 1658s | 24 | 4288123 | 4148562 | 4693 2112 | 1 | 9 1661.66/1662.15 c 1660s | 24 | 4292428 | 4152562 | 4693 2113 | 1 | 9 1663.66/1664.15 c 1662s | 24 | 4297896 | 4157862 | 4693 2116 | 1 | 9 1665.65/1666.17 c 1664s | 24 | 4301881 | 4161562 | 4693 2117 | 1 | 9 1667.65/1668.18 c 1666s | 24 | 4306022 | 4165462 | 4693 2119 | 1 | 9 1669.75/1670.24 c 1668s | 24 | 4310391 | 4169162 | 4693 2120 | 1 | 9 1671.75/1672.29 c 1670s | 24 | 4314749 | 4173162 | 4693 2122 | 1 | 9 1673.86/1674.32 c 1672s | 24 | 4318490 | 4176562 | 4693 2123 | 1 | 9 1675.85/1676.35 c 1674s | 24 | 4322320 | 4180262 | 4693 2125 | 1 | 9 1677.95/1678.41 c 1676s | 24 | 4327312 | 4184862 | 4693 2127 | 1 | 9 1679.95/1680.44 c 1678s | 24 | 4331465 | 4188862 | 4693 2128 | 1 | 9 1681.95/1682.48 c 1680s | 24 | 4336095 | 4193262 | 4693 2130 | 1 | 9 1684.05/1684.52 c 1682s | 24 | 4340154 | 4197062 | 4693 2131 | 1 | 9 1686.05/1686.56 c 1684s | 24 | 4343620 | 4200362 | 4693 2133 | 1 | 9 1688.06/1688.58 c 1686s | 24 | 4346636 | 4203262 | 4693 2134 | 1 | 9 1690.05/1690.58 c 1688s | 24 | 4350801 | 4207162 | 4693 2136 | 1 | 9 1692.15/1692.62 c 1690s | 24 | 4354401 | 4210562 | 4693 2137 | 1 | 9 1694.15/1694.62 c 1692s | 24 | 4359010 | 4214962 | 4693 2139 | 1 | 9 1696.15/1696.65 c 1694s | 24 | 4362885 | 4218762 | 4693 2140 | 1 | 9 1698.25/1698.71 c 1696s | 24 | 4366425 | 4222262 | 4693 2142 | 1 | 9 1700.26/1700.74 c 1698s | 24 | 4369955 | 4225762 | 4693 2143 | 1 | 9 1702.25/1702.75 c 1700s | 24 | 4373510 | 4229262 | 4693 2145 | 1 | 9 1704.25/1704.79 c 1702s | 24 | 4376970 | 4232662 | 4693 2146 | 1 | 9 1706.35/1706.82 c 1704s | 24 | 4380406 | 4236062 | 4693 2147 | 1 | 9 1708.35/1708.84 c 1706s | 24 | 4383435 | 4239062 | 4693 2148 | 1 | 9 1710.35/1710.85 c 1708s | 24 | 4386458 | 4242062 | 4693 2150 | 1 | 9 1712.35/1712.88 c 1710s | 24 | 4389693 | 4245262 | 4693 2151 | 1 | 9 1714.45/1714.94 c 1712s | 24 | 4393050 | 4248562 | 4693 2152 | 1 | 9 1716.45/1716.97 c 1714s | 24 | 4396221 | 4251662 | 4693 2154 | 1 | 9 1718.54/1719.01 c 1716s | 24 | 4399698 | 4255062 | 4693 2155 | 1 | 9 1720.54/1721.04 c 1718s | 24 | 4403042 | 4258362 | 4693 2156 | 1 | 9 1722.55/1723.09 c 1720s | 24 | 4406625 | 4261862 | 4693 2158 | 1 | 9 1724.65/1725.11 c 1722s | 24 | 4409926 | 4264962 | 4693 2159 | 1 | 9 1726.66/1727.13 c 1725s | 24 | 4413558 | 4268362 | 4693 2160 | 1 | 9 1728.65/1729.14 c 1727s | 24 | 4418433 | 4272962 | 4693 2162 | 1 | 9 1730.65/1731.16 c 1729s | 24 | 4422981 | 4277162 | 4693 2164 | 1 | 9 1732.65/1733.17 c 1731s | 24 | 4427593 | 4281162 | 4693 2166 | 1 | 9 1734.75/1735.21 c 1733s | 24 | 4432564 | 4285762 | 4693 2167 | 1 | 9 1736.75/1737.24 c 1735s | 24 | 4437567 | 4290362 | 4693 2169 | 1 | 9 1738.75/1739.28 c 1737s | 24 | 4441042 | 4293562 | 4693 2171 | 1 | 9 1740.75/1741.28 c 1739s | 24 | 4445602 | 4297862 | 4693 2172 | 1 | 9 1742.85/1743.35 c 1741s | 24 | 4449705 | 4301562 | 4693 2174 | 1 | 9 1744.85/1745.37 c 1743s | 24 | 4453246 | 4304962 | 4693 2175 | 1 | 9 1746.85/1747.37 c 1745s | 24 | 4458308 | 4309662 | 4693 2177 | 1 | 9 1748.95/1749.43 c 1747s | 24 | 4463539 | 4314762 | 4693 2179 | 1 | 9 1750.95/1751.46 c 1749s | 24 | 4467507 | 4318262 | 4693 2181 | 1 | 9 1752.95/1753.48 c 1751s | 24 | 4471779 | 4322062 | 4693 2182 | 1 | 9 1755.04/1755.55 c 1753s | 24 | 4475362 | 4325562 | 4693 2184 | 1 | 9 1757.14/1757.60 c 1755s | 24 | 4480911 | 4330762 | 4693 2186 | 1 | 9 1759.14/1759.62 c 1757s | 24 | 4485809 | 4335262 | 4693 2187 | 1 | 9 1761.14/1761.64 c 1759s | 24 | 4490624 | 4339862 | 4693 2189 | 1 | 9 1763.14/1763.66 c 1761s | 24 | 4495100 | 4344262 | 4693 2191 | 1 | 9 1765.24/1765.71 c 1763s | 24 | 4499613 | 4348662 | 4693 2193 | 1 | 9 1767.25/1767.75 c 1765s | 24 | 4504044 | 4352662 | 4693 2195 | 1 | 9 1769.24/1769.77 c 1767s | 24 | 4508905 | 4357362 | 4693 2196 | 1 | 9 1771.24/1771.79 c 1769s | 24 | 4513408 | 4361662 | 4693 2198 | 1 | 9 1773.24/1773.79 c 1771s | 24 | 4518214 | 4366262 | 4693 2200 | 1 | 9 1775.34/1775.82 c 1773s | 24 | 4522490 | 4370362 | 4693 2202 | 1 | 9 1777.34/1777.86 c 1775s | 24 | 4527637 | 4375362 | 4693 2204 | 1 | 9 1779.35/1779.88 c 1777s | 24 | 4533029 | 4380662 | 4693 2206 | 1 | 9 1781.44/1781.90 c 1779s | 24 | 4538658 | 4386162 | 4693 2208 | 1 | 9 1783.44/1783.93 c 1781s | 24 | 4543943 | 4391362 | 4693 2210 | 1 | 9 1785.44/1785.97 c 1783s | 24 | 4548292 | 4395562 | 4693 2212 | 1 | 9 1787.54/1788.00 c 1785s | 24 | 4552566 | 4399662 | 4693 2214 | 1 | 9 1789.54/1790.06 c 1787s | 24 | 4556010 | 4402962 | 4693 2215 | 1 | 9 1791.54/1792.08 c 1789s | 24 | 4560456 | 4407162 | 4693 2217 | 1 | 9 1793.54/1794.10 c 1791s | 24 | 4564063 | 4410562 | 4693 2218 | 1 | 9 1795.64/1796.13 c 1794s | 24 | 4568842 | 4415162 | 4693 2220 | 1 | 9 1797.64/1798.18 c 1796s | 24 | 4573266 | 4418962 | 4693 2221 | 1 | 9 1799.73/1800.20 c 1798s | 24 | 4576499 | 4422062 | 4693 2223 | 1 | 9
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-4106115-1466265889/watcher-4106115-1466265889 -o /tmp/evaluation-result-4106115-1466265889/solver-4106115-1466265889 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7755 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106115-1466265889.opb pid=8146 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: 1.97 2.12 2.04 3/179 8149 /proc/meminfo: memFree=30123396/32872528 swapFree=496868/529572 [pid=8149] ppid=8146 vsize=668092 CPUtime=0 cores=0,2,4,6 /proc/8149/stat : 8149 (toysat) R 8146 8149 7739 0 -1 4202496 2483 0 0 0 0 0 0 0 20 0 4 0 28634305 684126208 3355 33554432000 4194304 16246674 140735802152992 140735802152416 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8149/statm: 167791 3364 441 2943 0 164685 0 [pid=8149/tid=8150] ppid=8146 vsize=686524 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8150/stat : 8150 (toysat) S 8146 8149 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28634305 703000576 3427 33554432000 4194304 16246674 140735802152992 140641344400624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8149/tid=8151] ppid=8146 vsize=690620 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8151/stat : 8151 (toysat) S 8146 8149 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28634305 707194880 3443 33554432000 4194304 16246674 140735802152992 140641333910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8149/tid=8152] ppid=8146 vsize=694716 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 711389184 3459 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100161 s] /proc/loadavg: 1.97 2.12 2.04 3/179 8149 /proc/meminfo: memFree=30123396/32872528 swapFree=496868/529572 [pid=8149] ppid=8146 vsize=1218116 CPUtime=0.08 cores=0,2,4,6 /proc/8149/stat : 8149 (toysat) R 8146 8149 7739 0 -1 4202496 22289 0 0 0 6 2 0 0 20 0 4 0 28634305 1247350784 23150 33554432000 4194304 16246674 140735802152992 140735802152416 6010521 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8149/statm: 304529 23160 758 2943 0 301423 0 [pid=8149/tid=8150] ppid=8146 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8150/stat : 8150 (toysat) S 8146 8149 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28634305 1247350784 23161 33554432000 4194304 16246674 140735802152992 140641344400624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8149/tid=8151] ppid=8146 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8151/stat : 8151 (toysat) S 8146 8149 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28634305 1247350784 23165 33554432000 4194304 16246674 140735802152992 140641333910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8149/tid=8152] ppid=8146 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 1247350784 23170 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200503 s] /proc/loadavg: 1.97 2.12 2.04 3/179 8149 /proc/meminfo: memFree=30123396/32872528 swapFree=496868/529572 [pid=8149] ppid=8146 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/8149/stat : 8149 (toysat) R 8146 8149 7739 0 -1 4202496 33651 0 0 0 15 4 0 0 20 0 4 0 28634305 1247350784 34511 33554432000 4194304 16246674 140735802152992 140735802152416 6010521 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8149/statm: 304529 34521 758 2943 0 301423 0 [pid=8149/tid=8150] ppid=8146 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8150/stat : 8150 (toysat) S 8146 8149 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28634305 1247350784 34528 33554432000 4194304 16246674 140735802152992 140641344400624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8149/tid=8151] ppid=8146 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8151/stat : 8151 (toysat) S 8146 8149 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28634305 1247350784 34536 33554432000 4194304 16246674 140735802152992 140641333910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8149/tid=8152] ppid=8146 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 1247350784 34541 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300481 s] /proc/loadavg: 1.97 2.12 2.04 3/179 8149 /proc/meminfo: memFree=30123396/32872528 swapFree=496868/529572 [pid=8149] ppid=8146 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/8149/stat : 8149 (toysat) R 8146 8149 7739 0 -1 4202496 44943 0 0 0 24 5 0 0 20 0 4 0 28634305 1247350784 45804 33554432000 4194304 16246674 140735802152992 140735802152416 12875570 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8149/statm: 304529 45808 758 2943 0 301423 0 [pid=8149/tid=8150] ppid=8146 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8150/stat : 8150 (toysat) S 8146 8149 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28634305 1247350784 45811 33554432000 4194304 16246674 140735802152992 140641344400624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8149/tid=8151] ppid=8146 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8151/stat : 8151 (toysat) S 8146 8149 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28634305 1247350784 45814 33554432000 4194304 16246674 140735802152992 140641333910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8149/tid=8152] ppid=8146 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 1247350784 45817 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700396 s] /proc/loadavg: 1.97 2.12 2.04 3/179 8149 /proc/meminfo: memFree=30123396/32872528 swapFree=496868/529572 [pid=8149] ppid=8146 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/8149/stat : 8149 (toysat) R 8146 8149 7739 0 -1 4202496 96361 0 0 0 57 12 0 0 20 0 4 0 28634305 1247350784 97222 33554432000 4194304 16246674 140735802152992 140735802134912 5712452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8149/statm: 304529 97227 758 2943 0 301423 0 [pid=8149/tid=8150] ppid=8146 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8150/stat : 8150 (toysat) S 8146 8149 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28634305 1247350784 97236 33554432000 4194304 16246674 140735802152992 140641344400624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8149/tid=8151] ppid=8146 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8151/stat : 8151 (toysat) S 8146 8149 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28634305 1247350784 97244 33554432000 4194304 16246674 140735802152992 140641333910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8149/tid=8152] ppid=8146 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 1247350784 97245 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 1.97 2.12 2.04 3/183 8153 /proc/meminfo: memFree=29467392/32872528 swapFree=496868/529572 [pid=8149] ppid=8146 vsize=1218116 CPUtime=1.48 cores=0,2,4,6 /proc/8149/stat : 8149 (toysat) R 8146 8149 7739 0 -1 4202496 233394 0 0 0 119 29 0 0 20 0 4 0 28634305 1247350784 234254 33554432000 4194304 16246674 140735802152992 140735802134912 5722241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8149/statm: 304529 234262 765 2943 0 301423 0 [pid=8149/tid=8150] ppid=8146 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8150/stat : 8150 (toysat) S 8146 8149 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28634305 1247350784 234267 33554432000 4194304 16246674 140735802152992 140641344400624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8149/tid=8151] ppid=8146 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8151/stat : 8151 (toysat) S 8146 8149 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28634305 1247350784 234270 33554432000 4194304 16246674 140735802152992 140641333910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8149/tid=8152] ppid=8146 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 1247350784 234275 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1218116 [startup+3.10041 s] /proc/loadavg: 1.97 2.12 2.04 3/183 8153 /proc/meminfo: memFree=29137304/32872528 swapFree=496868/529572 [pid=8149] ppid=8146 vsize=1304132 CPUtime=3.09 cores=0,2,4,6 /proc/8149/stat : 8149 (toysat) R 8146 8149 7739 0 -1 4202496 266900 0 0 0 276 33 0 0 20 0 4 0 28634305 1335431168 267737 33554432000 4194304 16246674 140735802152992 140735802135992 5711952 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8149/statm: 326033 267737 849 2943 0 322927 0 [pid=8149/tid=8150] ppid=8146 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8150/stat : 8150 (toysat) S 8146 8149 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28634305 1335431168 267737 33554432000 4194304 16246674 140735802152992 140641344400624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8149/tid=8151] ppid=8146 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8151/stat : 8151 (toysat) S 8146 8149 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28634305 1335431168 267737 33554432000 4194304 16246674 140735802152992 140641333910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8149/tid=8152] ppid=8146 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 1335431168 267737 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1304132 [startup+6.30041 s] /proc/loadavg: 1.97 2.12 2.04 4/183 8153 /proc/meminfo: memFree=29050232/32872528 swapFree=496868/529572 [pid=8149] ppid=8146 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/8149/stat : 8149 (toysat) R 8146 8149 7739 0 -1 4202496 267892 0 0 0 596 33 0 0 20 0 4 0 28634305 1338576896 268729 33554432000 4194304 16246674 140735802152992 140735802134912 5711916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8149/statm: 326801 268729 850 2943 0 323695 0 [pid=8149/tid=8150] ppid=8146 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8150/stat : 8150 (toysat) S 8146 8149 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28634305 1338576896 268729 33554432000 4194304 16246674 140735802152992 140641344400624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8149/tid=8151] ppid=8146 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8151/stat : 8151 (toysat) S 8146 8149 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28634305 1338576896 268729 33554432000 4194304 16246674 140735802152992 140641333910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8149/tid=8152] ppid=8146 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 1338576896 268729 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 1.97 2.12 2.04 3/183 8202 /proc/meminfo: memFree=29048188/32872528 swapFree=496868/529572 [pid=8149] ppid=8146 vsize=1309252 CPUtime=12.69 cores=0,2,4,6 /proc/8149/stat : 8149 (toysat) R 8146 8149 7739 0 -1 4202496 268380 0 0 0 1236 33 0 0 20 0 4 0 28634305 1340674048 269217 33554432000 4194304 16246674 140735802152992 140735802134912 5546233 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8149/statm: 327313 269217 851 2943 0 324207 0 [pid=8149/tid=8150] ppid=8146 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8150/stat : 8150 (toysat) S 8146 8149 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28634305 1340674048 269217 33554432000 4194304 16246674 140735802152992 140641344400624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8149/tid=8151] ppid=8146 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8151/stat : 8151 (toysat) S 8146 8149 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28634305 1340674048 269217 33554432000 4194304 16246674 140735802152992 140641333910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8149/tid=8152] ppid=8146 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 1340674048 269217 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1309252 [startup+25.5005 s] /proc/loadavg: 2.06 2.13 2.04 3/183 8202 /proc/meminfo: memFree=29045664/32872528 swapFree=496868/529572 [pid=8149] ppid=8146 vsize=1309252 CPUtime=25.48 cores=0,2,4,6 /proc/8149/stat : 8149 (toysat) R 8146 8149 7739 0 -1 4202496 268407 0 0 0 2515 33 0 0 20 0 4 0 28634305 1340674048 269244 33554432000 4194304 16246674 140735802152992 140735802134912 5711691 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8149/statm: 327313 269244 853 2943 0 324207 0 [pid=8149/tid=8150] ppid=8146 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8150/stat : 8150 (toysat) S 8146 8149 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28634305 1340674048 269244 33554432000 4194304 16246674 140735802152992 140641344400624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8149/tid=8151] ppid=8146 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8151/stat : 8151 (toysat) S 8146 8149 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28634305 1340674048 269244 33554432000 4194304 16246674 140735802152992 140641333910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8149/tid=8152] ppid=8146 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 1340674048 269244 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1309252 [startup+51.1005 s] /proc/loadavg: 2.04 2.12 2.04 3/183 8202 /proc/meminfo: memFree=29040752/32872528 swapFree=496868/529572 [pid=8149] ppid=8146 vsize=1313348 CPUtime=51.08 cores=0,2,4,6 /proc/8149/stat : 8149 (toysat) R 8146 8149 7739 0 -1 4202496 269404 0 0 0 5074 34 0 0 20 0 4 0 28634305 1344868352 270237 33554432000 4194304 16246674 140735802152992 140735802134912 5673927 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8149/statm: 328337 270237 853 2943 0 325231 0 [pid=8149/tid=8150] ppid=8146 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8150/stat : 8150 (toysat) S 8146 8149 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28634305 1344868352 270237 33554432000 4194304 16246674 140735802152992 140641344400624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8149/tid=8151] ppid=8146 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8151/stat : 8151 (toysat) S 8146 8149 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28634305 1344868352 270237 33554432000 4194304 16246674 140735802152992 140641333910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8149/tid=8152] ppid=8146 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 1344868352 270237 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1313348 [startup+102.3 s] /proc/loadavg: 2.22 2.14 2.05 3/182 8203 /proc/meminfo: memFree=29039768/32872528 swapFree=496868/529572 [pid=8149] ppid=8146 vsize=1313348 CPUtime=102.27 cores=0,2,4,6 /proc/8149/stat : 8149 (toysat) R 8146 8149 7739 0 -1 4202496 269452 0 0 0 10193 34 0 0 20 0 4 0 28634305 1344868352 270268 33554432000 4194304 16246674 140735802152992 140735802134912 5822240 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8149/statm: 328337 270268 853 2943 0 325231 0 [pid=8149/tid=8150] ppid=8146 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8150/stat : 8150 (toysat) S 8146 8149 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28634305 1344868352 270268 33554432000 4194304 16246674 140735802152992 140641344400624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8149/tid=8151] ppid=8146 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8151/stat : 8151 (toysat) S 8146 8149 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28634305 1344868352 270268 33554432000 4194304 16246674 140735802152992 140641333910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8149/tid=8152] ppid=8146 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 1344868352 270268 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1313348 ################ # More data... # ################ /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 1358499840 273598 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1326660 [startup+1362.3 s] /proc/loadavg: 2.11 2.07 2.05 3/183 8236 /proc/meminfo: memFree=29012260/32872528 swapFree=496868/529572 [pid=8149] ppid=8146 vsize=1326660 CPUtime=1361.91 cores=0,2,4,6 /proc/8149/stat : 8149 (toysat) R 8146 8149 7739 0 -1 4202496 273128 0 0 0 136146 45 0 0 20 0 4 0 28634305 1358499840 273598 33554432000 4194304 16246674 140735802152992 140735802134912 5677325 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8149/statm: 331665 273598 853 2943 0 328559 0 [pid=8149/tid=8150] ppid=8146 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8150/stat : 8150 (toysat) S 8146 8149 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28634305 1358499840 273598 33554432000 4194304 16246674 140735802152992 140641344400624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8149/tid=8151] ppid=8146 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8151/stat : 8151 (toysat) S 8146 8149 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28634305 1358499840 273598 33554432000 4194304 16246674 140735802152992 140641333910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8149/tid=8152] ppid=8146 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 1358499840 273598 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1326660 [startup+1422.3 s] /proc/loadavg: 2.04 2.05 2.04 3/183 8237 /proc/meminfo: memFree=29013188/32872528 swapFree=496868/529572 [pid=8149] ppid=8146 vsize=1326660 CPUtime=1421.9 cores=0,2,4,6 /proc/8149/stat : 8149 (toysat) R 8146 8149 7739 0 -1 4202496 273128 0 0 0 142145 45 0 0 20 0 4 0 28634305 1358499840 273598 33554432000 4194304 16246674 140735802152992 140735802134912 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8149/statm: 331665 273598 853 2943 0 328559 0 [pid=8149/tid=8150] ppid=8146 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8150/stat : 8150 (toysat) S 8146 8149 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28634305 1358499840 273598 33554432000 4194304 16246674 140735802152992 140641344400624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8149/tid=8151] ppid=8146 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8151/stat : 8151 (toysat) S 8146 8149 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28634305 1358499840 273598 33554432000 4194304 16246674 140735802152992 140641333910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8149/tid=8152] ppid=8146 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 1358499840 273598 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1326660 [startup+1482.3 s] /proc/loadavg: 2.01 2.04 2.04 3/183 8238 /proc/meminfo: memFree=28993720/32872528 swapFree=496868/529572 [pid=8149] ppid=8146 vsize=1338948 CPUtime=1481.89 cores=0,2,4,6 /proc/8149/stat : 8149 (toysat) R 8146 8149 7739 0 -1 4202496 276170 0 0 0 148143 46 0 0 20 0 4 0 28634305 1371082752 276640 33554432000 4194304 16246674 140735802152992 140735802134912 5827632 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8149/statm: 334737 276640 853 2943 0 331631 0 [pid=8149/tid=8150] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8150/stat : 8150 (toysat) S 8146 8149 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276640 33554432000 4194304 16246674 140735802152992 140641344400624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8149/tid=8151] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8151/stat : 8151 (toysat) S 8146 8149 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276640 33554432000 4194304 16246674 140735802152992 140641333910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8149/tid=8152] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276640 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1338948 [startup+1542.31 s] /proc/loadavg: 2.04 2.05 2.03 3/184 8242 /proc/meminfo: memFree=28993380/32872528 swapFree=496868/529572 [pid=8149] ppid=8146 vsize=1338948 CPUtime=1541.88 cores=0,2,4,6 /proc/8149/stat : 8149 (toysat) R 8146 8149 7739 0 -1 4202496 276170 0 0 0 154142 46 0 0 20 0 4 0 28634305 1371082752 276640 33554432000 4194304 16246674 140735802152992 140735802134912 5546205 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8149/statm: 334737 276640 853 2943 0 331631 0 [pid=8149/tid=8150] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8150/stat : 8150 (toysat) S 8146 8149 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276640 33554432000 4194304 16246674 140735802152992 140641344400624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8149/tid=8151] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8151/stat : 8151 (toysat) S 8146 8149 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276640 33554432000 4194304 16246674 140735802152992 140641333910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8149/tid=8152] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276640 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1338948 [startup+1602.3 s] /proc/loadavg: 2.01 2.04 2.03 3/183 8243 /proc/meminfo: memFree=28993532/32872528 swapFree=496868/529572 [pid=8149] ppid=8146 vsize=1338948 CPUtime=1601.87 cores=0,2,4,6 /proc/8149/stat : 8149 (toysat) R 8146 8149 7739 0 -1 4202496 276171 0 0 0 160140 47 0 0 20 0 4 0 28634305 1371082752 276641 33554432000 4194304 16246674 140735802152992 140735802134912 12483345 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8149/statm: 334737 276641 853 2943 0 331631 0 [pid=8149/tid=8150] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8150/stat : 8150 (toysat) S 8146 8149 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276641 33554432000 4194304 16246674 140735802152992 140641344400624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8149/tid=8151] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8151/stat : 8151 (toysat) S 8146 8149 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276641 33554432000 4194304 16246674 140735802152992 140641333910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8149/tid=8152] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276641 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1338948 [startup+1662.3 s] /proc/loadavg: 2.06 2.04 2.03 3/183 8245 /proc/meminfo: memFree=28993296/32872528 swapFree=496868/529572 [pid=8149] ppid=8146 vsize=1338948 CPUtime=1661.86 cores=0,2,4,6 /proc/8149/stat : 8149 (toysat) R 8146 8149 7739 0 -1 4202496 276200 0 0 0 166139 47 0 0 20 0 4 0 28634305 1371082752 276670 33554432000 4194304 16246674 140735802152992 140735802152088 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8149/statm: 334737 276670 853 2943 0 331631 0 [pid=8149/tid=8150] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8150/stat : 8150 (toysat) S 8146 8149 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276670 33554432000 4194304 16246674 140735802152992 140641344400624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8149/tid=8151] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8151/stat : 8151 (toysat) S 8146 8149 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276670 33554432000 4194304 16246674 140735802152992 140641333910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8149/tid=8152] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276670 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1338948 [startup+1722.3 s] /proc/loadavg: 2.02 2.03 2.02 3/183 8246 /proc/meminfo: memFree=28993432/32872528 swapFree=496868/529572 [pid=8149] ppid=8146 vsize=1338948 CPUtime=1721.85 cores=0,2,4,6 /proc/8149/stat : 8149 (toysat) R 8146 8149 7739 0 -1 4202496 276201 0 0 0 172137 48 0 0 20 0 4 0 28634305 1371082752 276671 33554432000 4194304 16246674 140735802152992 140735802134912 5754972 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8149/statm: 334737 276671 854 2943 0 331631 0 [pid=8149/tid=8150] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8150/stat : 8150 (toysat) S 8146 8149 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276671 33554432000 4194304 16246674 140735802152992 140641344400624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8149/tid=8151] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8151/stat : 8151 (toysat) S 8146 8149 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276671 33554432000 4194304 16246674 140735802152992 140641333910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8149/tid=8152] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276671 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1338948 [startup+1782.3 s] /proc/loadavg: 2.06 2.04 2.02 3/183 8247 /proc/meminfo: memFree=28992264/32872528 swapFree=496868/529572 [pid=8149] ppid=8146 vsize=1338948 CPUtime=1781.84 cores=0,2,4,6 /proc/8149/stat : 8149 (toysat) R 8146 8149 7739 0 -1 4202496 276202 0 0 0 178136 48 0 0 20 0 4 0 28634305 1371082752 276674 33554432000 4194304 16246674 140735802152992 140735802134912 5600486 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8149/statm: 334737 276674 854 2943 0 331631 0 [pid=8149/tid=8150] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8150/stat : 8150 (toysat) S 8146 8149 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276674 33554432000 4194304 16246674 140735802152992 140641344400624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8149/tid=8151] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8151/stat : 8151 (toysat) S 8146 8149 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276674 33554432000 4194304 16246674 140735802152992 140641333910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8149/tid=8152] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276674 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1338948 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.04 2.03 2.02 3/183 8247 /proc/meminfo: memFree=28992648/32872528 swapFree=496868/529572 [pid=8149] ppid=8146 vsize=1338948 CPUtime=1800.03 cores=0,2,4,6 /proc/8149/stat : 8149 (toysat) R 8146 8149 7739 0 -1 4202496 276202 0 0 0 179955 48 0 0 20 0 4 0 28634305 1371082752 276674 33554432000 4194304 16246674 140735802152992 140735802135992 5823101 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8149/statm: 334737 276674 854 2943 0 331631 0 [pid=8149/tid=8150] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8150/stat : 8150 (toysat) S 8146 8149 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276674 33554432000 4194304 16246674 140735802152992 140641344400624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8149/tid=8151] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8151/stat : 8151 (toysat) S 8146 8149 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276674 33554432000 4194304 16246674 140735802152992 140641333910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8149/tid=8152] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276674 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1338948 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 8149 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.04 2.03 2.02 3/183 8247 /proc/meminfo: memFree=28992648/32872528 swapFree=496868/529572 [pid=8149] ppid=8146 vsize=1338948 CPUtime=1800.03 cores=0,2,4,6 /proc/8149/stat : 8149 (toysat) R 8146 8149 7739 0 -1 4202496 276202 0 0 0 179955 48 0 0 20 0 4 0 28634305 1371082752 276674 33554432000 4194304 16246674 140735802152992 140735802135992 5823101 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8149/statm: 334737 276674 854 2943 0 331631 0 [pid=8149/tid=8150] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8150/stat : 8150 (toysat) S 8146 8149 7739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276674 33554432000 4194304 16246674 140735802152992 140641344400624 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8149/tid=8151] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8151/stat : 8151 (toysat) S 8146 8149 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276674 33554432000 4194304 16246674 140735802152992 140641333910768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8149/tid=8152] ppid=8146 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/8149/task/8152/stat : 8152 (toysat) S 8146 8149 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28634305 1371082752 276674 33554432000 4194304 16246674 140735802152992 140641254239408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1338948 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1799.56 CPU system time (s): 0.487925 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 1338948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.487925 maximum resident set size= 1106696 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 276202 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= 383 involuntary context switches= 1978 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 14.9067 second user time and 11.4213 second system time The end
Begin job on node141 at 2016-06-18 18:04:49 IDJOB=4106115 IDBENCH=47939 IDSOLVER=2542 FILE ID=node141/4106115-1466265889 RUNJOBID= node141-1466264081-7755 PBS_JOBID= 19918217 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=43-P1=101-P2=251-P3=307-P4=499-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106115-1466265889/watcher-4106115-1466265889 -o /tmp/evaluation-result-4106115-1466265889/solver-4106115-1466265889 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7755 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106115-1466265889.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e79e2db14e141163591dbcfdfed7384a RANDOM SEED=762565536 node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30124032 kB Buffers: 144268 kB Cached: 254128 kB SwapCached: 2528 kB Active: 1213236 kB Inactive: 260336 kB Active(anon): 1075480 kB Inactive(anon): 2028 kB Active(file): 137756 kB Inactive(file): 258308 kB Unevictable: 529572 kB Mlocked: 496868 kB SwapTotal: 67108856 kB SwapFree: 67099068 kB Dirty: 33008 kB Writeback: 0 kB AnonPages: 1603412 kB Mapped: 10584 kB Shmem: 0 kB Slab: 610788 kB SReclaimable: 53380 kB SUnreclaim: 557408 kB KernelStack: 1464 kB PageTables: 7260 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1746212 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 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= 71696 MiB End job on node141 at 2016-06-18 18:34:49