| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.61 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb |
| MD5SUM | 8d2c17131f0dd6c2b5d472cf1eef4c89 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 3666 |
| Best CPU time to get the best result obtained on this benchmark | 1800.12 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2967 |
| Optimality of the best value was proved | YES |
| Number of variables | 1086 |
| Total number of constraints | 85 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 84 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 1086 |
| Number of terms in the objective function | 1086 |
| Biggest coefficient in the objective function | 283 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 197191 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 283 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 197191 |
| Number of bits of the biggest sum of numbers | 18 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T16:41:29+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-4079451-1465224088.opb"] 0.00/0.01 c use --random-gen="3693058290 2310551768 886067737 1343582932 3349781111 1374369574 1606073191 1304376514 1249880561 1811009241 2973222717 4260859060 38268147 586785505 3508641974 3110458427 2608807722 716534160 2800675734 1572742606 12020928 305809546 1637553976 1408924906 3961384753 2883447193 875579902 2702680895 2374945900 2042749503 2537747604 2888678852 2911916750 1511234564 3455983075 244219789 4176593789 3533027684 4048192023 3393345192 3089951072 1112977451 3361001888 4185928752 3073645255 3731591028 3240113934 1624291780 3184440023 3479323456 4081831565 244954988 4090768761 3296269679 361916421 371110563 2415022793 2582820948 2518837009 3693645900 1332937550 4143320464 3571105053 2006684087 3880519404 2945812656 4080839051 3664313818 2716171889 2399618488 3761137127 3676070955 824897127 3674015399 886138947 1754574036 2590299991 83734416 3417548879 3060138276 315501170 195614661 1260318891 1508802442 1364997534 3889813264 106433313 1108045034 3504615196 1395170035 1999734729 3189036717 1992131264 1390210049 1216938772 958530951 145053475 516377478 405868475 1701185972 3824016554 108548117 3974889666 3439875194 2467933678 685492300 2819489241 3027085274 1925907520 3694803031 790072191 994167809 644917300 3735980984 2347525723 3962283363 4094516198 3059143468 3648888620 158843740 578504860 3863381392 341427852 2361818354 1068557946 571171796 3130533200 1187049324 623145594 1600837386 248693427 4111513693 1025444888 71090899 9002067 3274009456 3417498323 3257820728 2793484038 2890977332 1745444169 2238928693 144045131 1886091224 695602481 930191439 3293310904 709783210 3529183508 2056168388 2804158713 510733570 1636197639 2110540436 3690227244 1322061358 3109303250 211838177 1635464058 2955676305 671228624 645936600 2233511873 4125946403 1656459485 2095737638 2968096793 3039209239 718792663 2487544196 2483711019 3204351586 4107307429 722621217 2646153321 894427502 3587979887 3183837923 2394065931 3591946689 2971982717 3535834271 4016047333 1255366508 2176396055 516538600 695092885 2185070331 3821653658 2542874922 539016093 417231874 218551789 2667052867 1262911843 3704026349 2991866262 203917625 2031584681 1068153575 521846166 1163884568 3283923867 3679652455 4275934755 2930495559 1254979127 710308768 2580031027 617291665 89518519 614208893 941854663 3914037771 621862085 878222927 1366297138 3082612222 3763139753 2364984746 2845997711 1469192258 2222182998 1891320846 2524120765 2508151479 2139254575 2849909887 1240948013 763256281 1387142843 960072435 2643407607 3967468170 2600479836 435443381 3072241976 2567045935 4067332410 1887802297 1695376828 595996707 3977781248 4225325594 606728598 2143096122 2169435811 1517037216 1679696856 1488168952 1614953130 3287195259 2079914561 227634707 3277147396 1282493150 255 362436" option to reproduce the execution 0.00/0.02 c #vars 1086 0.00/0.02 c #constraints 85 0.00/0.05 c BCD2: Hardening is enabled. 0.00/0.05 c BCD2: BiasedSearch is enabled. 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 418 0 | 0 | 0 0.00/0.08 c 0.0s | 1 | 179 | 100 | 418 0 | 0 | 0 0.09/0.16 c 0.1s | 2 | 424 | 250 | 460 0 | 0 | 0 0.09/0.17 c 0.1s | 2 | 590 | 251 | 460 0 | 0 | 0 0.09/0.17 c #cpu_time = 0.118s 0.09/0.17 c #wall_clock_time = 0.118s 0.09/0.17 c #decision = 590 0.09/0.17 c #random_decision = 3 0.09/0.17 c #conflict = 251 0.09/0.17 c #restart = 2 0.09/0.17 o 4978 0.09/0.17 c BCD2: updating upper bound: 197191 -> 4977 0.09/0.17 c BCD2: 0 <= obj <= 4977 0.09/0.17 c BCD2: #cores=0, #unrelaxed=1086, #relaxed=0, #hardened=0 0.09/0.17 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 460 0 | 0 | 0 0.09/0.18 c 0.0s | 0 | 1168 | 1 | 507 0 | 0 | 0 0.09/0.18 c #cpu_time = 0.006s 0.09/0.18 c #wall_clock_time = 0.006s 0.09/0.18 c #decision = 1168 0.09/0.18 c #random_decision = 0 0.09/0.18 c #conflict = 1 0.09/0.18 c #restart = 0 0.09/0.18 c BCD2: found a new core of size 59: cost of the new core is >=16 0.09/0.18 c lower bound updated to 16 0.09/0.18 c BCD2: 16 <= obj <= 4977 0.09/0.18 c BCD2: #cores=1, #unrelaxed=1027, #relaxed=59, #hardened=0 0.09/0.18 c BCD2: #sat=1 #unsat=2 bias=2/3 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 507 0 | 0 | 0 0.19/0.29 c 0.0s | 0 | 869 | 0 | 507 0 | 0 | 0 0.19/0.29 c #cpu_time = 0.005s 0.19/0.29 c #wall_clock_time = 0.005s 0.19/0.29 c #decision = 869 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 0 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: relaxing 292 and merging with 1 cores into a new core of size 351: cost of the new core is >=57 0.19/0.29 c lower bound updated to 57 0.19/0.29 c BCD2: 57 <= obj <= 4977 0.19/0.29 c BCD2: #cores=1, #unrelaxed=735, #relaxed=351, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=3 bias=3/4 0.19/0.29 c Solving starts ... 0.19/0.29 c ============================[ Search Statistics ]============================ 0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.29 c | | | | Limit GC | Var | Constra 0.19/0.29 c ============================================================================= 0.19/0.29 c 0.0s | 0 | 0 | 0 | 507 0 | 1 | 0 0.29/0.30 c 0.0s | 0 | 610 | 0 | 507 0 | 1 | 1 0.29/0.30 c #cpu_time = 0.005s 0.29/0.30 c #wall_clock_time = 0.005s 0.29/0.30 c #decision = 610 0.29/0.30 c #random_decision = 0 0.29/0.30 c #conflict = 0 0.29/0.30 c #restart = 0 0.29/0.30 c BCD2: found a new core of size 4: cost of the new core is >=40 0.29/0.30 c lower bound updated to 97 0.29/0.30 c BCD2: 97 <= obj <= 4977 0.29/0.30 c BCD2: #cores=2, #unrelaxed=731, #relaxed=355, #hardened=0 0.29/0.30 c BCD2: #sat=1 #unsat=4 bias=4/5 0.29/0.30 c Solving starts ... 0.29/0.30 c ============================[ Search Statistics ]============================ 0.29/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.30 c | | | | Limit GC | Var | Constra 0.29/0.30 c ============================================================================= 0.29/0.30 c 0.0s | 0 | 0 | 0 | 507 0 | 1 | 2 0.29/0.31 c 0.0s | 0 | 630 | 3 | 507 0 | 1 | 2 0.29/0.31 c #cpu_time = 0.006s 0.29/0.31 c #wall_clock_time = 0.006s 0.29/0.31 c #decision = 630 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 3 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 194: cost of the new core is >=33 0.29/0.31 c lower bound updated to 130 0.29/0.32 c BCD2: 130 <= obj <= 4977 0.29/0.32 c BCD2: #cores=3, #unrelaxed=537, #relaxed=549, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=5 bias=5/6 0.49/0.55 c Solving starts ... 0.49/0.55 c ============================[ Search Statistics ]============================ 0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.55 c | | | | Limit GC | Var | Constra 0.49/0.55 c ============================================================================= 0.49/0.55 c 0.0s | 0 | 0 | 0 | 507 0 | 1 | 2 0.49/0.55 c 0.0s | 0 | 669 | 4 | 507 0 | 1 | 2 0.49/0.55 c #cpu_time = 0.006s 0.49/0.55 c #wall_clock_time = 0.006s 0.49/0.55 c #decision = 669 0.49/0.55 c #random_decision = 0 0.49/0.55 c #conflict = 4 0.49/0.55 c #restart = 0 0.49/0.55 c BCD2: found a new core of size 176: cost of the new core is >=16 0.49/0.55 c lower bound updated to 146 0.49/0.55 c BCD2: 146 <= obj <= 4977 0.49/0.55 c BCD2: #cores=4, #unrelaxed=361, #relaxed=725, #hardened=0 0.49/0.55 c BCD2: #sat=1 #unsat=6 bias=6/7 0.79/0.88 c Solving starts ... 0.79/0.88 c ============================[ Search Statistics ]============================ 0.79/0.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.88 c | | | | Limit GC | Var | Constra 0.79/0.88 c ============================================================================= 0.79/0.88 c 0.0s | 0 | 0 | 0 | 507 0 | 1 | 2 0.99/1.06 c 0.0s | 0 | 882 | 54 | 507 0 | 1 | 2 0.99/1.06 c #cpu_time = 0.025s 0.99/1.06 c #wall_clock_time = 0.025s 0.99/1.06 c #decision = 882 0.99/1.06 c #random_decision = 1 0.99/1.06 c #conflict = 54 0.99/1.06 c #restart = 0 0.99/1.06 c BCD2: relaxing 113 and merging with 1 cores into a new core of size 464: cost of the new core is >=96 0.99/1.06 c lower bound updated to 185 0.99/1.06 c BCD2: 185 <= obj <= 4977 0.99/1.06 c BCD2: #cores=4, #unrelaxed=248, #relaxed=838, #hardened=0 0.99/1.06 c BCD2: #sat=1 #unsat=7 bias=7/8 0.99/1.06 c Solving starts ... 0.99/1.06 c ============================[ Search Statistics ]============================ 0.99/1.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.06 c | | | | Limit GC | Var | Constra 0.99/1.06 c ============================================================================= 0.99/1.06 c 0.0s | 0 | 0 | 0 | 507 0 | 5 | 2 0.99/1.08 c 0.0s | 1 | 561 | 100 | 507 0 | 5 | 9 1.10/1.15 c 0.1s | 2 | 1274 | 250 | 558 0 | 5 | 9 1.20/1.22 c 0.2s | 3 | 2099 | 475 | 558 0 | 5 | 9 1.29/1.33 c 0.3s | 4 | 2914 | 813 | 614 1 | 5 | 9 1.49/1.53 c 0.5s | 5 | 3953 | 1320 | 676 2 | 5 | 9 1.69/1.79 c 0.8s | 6 | 5887 | 2081 | 744 3 | 5 | 9 2.20/2.24 c 1.2s | 7 | 8642 | 3223 | 819 4 | 5 | 9 2.99/3.05 c 2.0s | 8 | 11477 | 4936 | 901 7 | 5 | 9 4.19/4.28 c 3.2s | 9 | 16096 | 7506 | 992 10 | 5 | 9 6.29/6.31 c 5.3s | 9 | 22097 | 10506 | 992 14 | 5 | 9 6.89/6.91 c 5.9s | 10 | 23585 | 11361 | 1092 15 | 5 | 9 8.89/8.97 c 7.9s | 10 | 28943 | 13861 | 1092 18 | 5 | 9 10.89/10.98 c 9.9s | 10 | 32722 | 16061 | 1092 20 | 5 | 9 11.79/11.85 c 10.8s | 11 | 34926 | 17144 | 1202 22 | 5 | 9 13.88/13.91 c 12.9s | 11 | 38996 | 19344 | 1202 24 | 5 | 9 15.88/15.94 c 14.9s | 11 | 41780 | 21144 | 1202 26 | 5 | 9 17.88/17.98 c 16.9s | 11 | 44473 | 22844 | 1202 28 | 5 | 9 19.98/20.04 c 19.0s | 11 | 47013 | 24744 | 1202 29 | 5 | 9 21.58/21.69 c 20.7s | 12 | 48750 | 25819 | 1323 30 | 5 | 9 23.58/23.69 c 22.7s | 12 | 53928 | 28619 | 1323 33 | 5 | 9 25.68/25.75 c 24.7s | 12 | 56898 | 30619 | 1323 35 | 5 | 9 27.68/27.77 c 26.7s | 12 | 60241 | 32819 | 1323 37 | 5 | 9 29.69/29.80 c 28.8s | 12 | 63345 | 35019 | 1323 40 | 5 | 9 31.78/31.82 c 30.8s | 12 | 69171 | 37519 | 1323 42 | 5 | 9 32.68/32.74 c 31.7s | 13 | 72540 | 38832 | 1456 43 | 5 | 9 34.79/34.82 c 33.8s | 13 | 81682 | 41832 | 1456 46 | 5 | 9 36.79/36.89 c 35.9s | 13 | 83725 | 43132 | 1456 48 | 5 | 9 38.89/38.96 c 37.9s | 13 | 89165 | 45532 | 1456 50 | 5 | 9 40.88/40.96 c 39.9s | 13 | 92552 | 47432 | 1456 52 | 5 | 9 42.99/43.06 c 42.0s | 13 | 97120 | 49332 | 1456 54 | 5 | 9 45.09/45.16 c 44.1s | 13 | 101411 | 51132 | 1456 56 | 5 | 9 47.18/47.29 c 46.3s | 13 | 103433 | 52432 | 1456 57 | 5 | 9 49.28/49.36 c 48.3s | 13 | 108642 | 54632 | 1456 59 | 5 | 9 51.38/51.41 c 50.4s | 13 | 113133 | 57232 | 1456 61 | 5 | 9 52.48/52.56 c 51.5s | 14 | 114905 | 58352 | 1602 62 | 5 | 9 54.58/54.61 c 53.6s | 14 | 120598 | 61252 | 1602 65 | 5 | 9 56.58/56.65 c 55.6s | 14 | 127393 | 64252 | 1602 67 | 5 | 9 58.58/58.68 c 57.6s | 14 | 135547 | 67752 | 1602 70 | 5 | 9 60.68/60.72 c 59.7s | 14 | 142390 | 70652 | 1602 73 | 5 | 9 62.69/62.72 c 61.7s | 14 | 148821 | 73352 | 1602 75 | 5 | 9 64.68/64.74 c 63.7s | 14 | 155290 | 76152 | 1602 78 | 5 | 9 66.78/66.81 c 65.8s | 14 | 164366 | 79252 | 1602 81 | 5 | 9 68.78/68.85 c 67.8s | 14 | 174558 | 82752 | 1602 84 | 5 | 9 70.78/70.87 c 69.8s | 14 | 180749 | 85352 | 1602 86 | 5 | 9 72.38/72.48 c 71.4s | 15 | 186709 | 87632 | 1763 88 | 5 | 9 74.48/74.51 c 73.5s | 15 | 195601 | 90432 | 1763 90 | 5 | 9 76.48/76.51 c 75.5s | 15 | 202268 | 93432 | 1763 93 | 5 | 9 78.48/78.57 c 77.5s | 15 | 207767 | 95832 | 1763 95 | 5 | 9 80.47/80.57 c 79.5s | 15 | 210653 | 97532 | 1763 96 | 5 | 9 82.48/82.60 c 81.6s | 15 | 215433 | 99932 | 1763 99 | 5 | 9 84.57/84.68 c 83.6s | 15 | 218218 | 101732 | 1763 100 | 5 | 9 86.67/86.73 c 85.7s | 15 | 221991 | 103632 | 1763 102 | 5 | 9 88.67/88.77 c 87.7s | 15 | 230530 | 107232 | 1763 104 | 5 | 9 90.77/90.85 c 89.8s | 15 | 236663 | 110532 | 1763 107 | 5 | 9 92.77/92.88 c 91.8s | 15 | 242298 | 113632 | 1763 110 | 5 | 9 94.77/94.89 c 93.9s | 15 | 248929 | 116732 | 1763 112 | 5 | 9 96.88/96.94 c 95.9s | 15 | 253587 | 119632 | 1763 115 | 5 | 9 98.87/98.99 c 98.0s | 15 | 261786 | 123232 | 1763 118 | 5 | 9 100.97/101.02 c 100.0s | 15 | 267163 | 126032 | 1763 120 | 5 | 9 102.97/103.09 c 102s | 15 | 271919 | 128532 | 1763 122 | 5 | 9 105.07/105.10 c 104s | 15 | 276862 | 130832 | 1940 124 | 5 | 9 105.58/105.65 c 104s | 16 | 277821 | 131552 | 1940 124 | 5 | 9 107.57/107.66 c 106s | 16 | 287018 | 134852 | 1940 127 | 5 | 9 109.67/109.76 c 108s | 16 | 292266 | 137452 | 1940 129 | 5 | 9 111.77/111.83 c 110s | 16 | 296640 | 139652 | 1940 131 | 5 | 9 113.87/113.90 c 112s | 16 | 300400 | 141852 | 1940 132 | 5 | 9 115.87/115.96 c 114s | 16 | 305414 | 144252 | 1940 134 | 5 | 9 117.87/117.97 c 116s | 16 | 310269 | 146652 | 1940 136 | 5 | 9 119.87/120.00 c 118s | 16 | 314326 | 148852 | 1940 137 | 5 | 9 121.97/122.03 c 120s | 16 | 318514 | 150952 | 1940 139 | 5 | 9 123.98/124.07 c 123s | 16 | 321523 | 152952 | 1940 141 | 5 | 9 126.07/126.14 c 125s | 16 | 325820 | 155152 | 1940 142 | 5 | 9 128.07/128.16 c 127s | 16 | 330024 | 157652 | 1940 144 | 5 | 9 130.17/130.25 c 129s | 16 | 336505 | 161252 | 1940 146 | 5 | 9 132.17/132.26 c 131s | 16 | 340752 | 163452 | 1940 148 | 5 | 9 134.37/134.43 c 133s | 16 | 343841 | 165352 | 1940 150 | 5 | 9 136.37/136.44 c 135s | 16 | 347637 | 167452 | 1940 151 | 5 | 9 138.37/138.47 c 137s | 16 | 351129 | 169452 | 1940 153 | 5 | 9 140.47/140.51 c 139s | 16 | 353975 | 171152 | 1940 154 | 5 | 9 142.47/142.58 c 141s | 16 | 357961 | 173352 | 1940 156 | 5 | 9 144.57/144.64 c 143s | 16 | 360968 | 174752 | 1940 157 | 5 | 9 146.67/146.77 c 145s | 16 | 365189 | 177152 | 1940 159 | 5 | 9 148.76/148.82 c 147s | 16 | 368955 | 179252 | 1940 160 | 5 | 9 150.86/150.94 c 149s | 16 | 372508 | 181152 | 1940 162 | 5 | 9 152.87/152.96 c 151s | 16 | 375333 | 182552 | 1940 163 | 5 | 9 154.87/154.99 c 153s | 16 | 378565 | 184252 | 1940 164 | 5 | 9 156.87/156.99 c 155s | 16 | 381307 | 185852 | 1940 165 | 5 | 9 158.96/159.05 c 158s | 16 | 383607 | 187352 | 1940 166 | 5 | 9 161.06/161.20 c 160s | 16 | 385482 | 188652 | 1940 167 | 5 | 9 163.26/163.37 c 162s | 16 | 387333 | 189852 | 1940 168 | 5 | 9 165.36/165.42 c 164s | 16 | 391388 | 191652 | 1940 169 | 5 | 9 167.36/167.46 c 166s | 16 | 394890 | 193452 | 1940 171 | 5 | 9 169.37/169.47 c 168s | 16 | 399648 | 195552 | 1940 172 | 5 | 9 171.16/171.28 c 170s | 17 | 403665 | 197432 | 2134 174 | 5 | 9 173.26/173.36 c 172s | 17 | 411524 | 200932 | 2134 176 | 5 | 9 175.37/175.45 c 174s | 17 | 417174 | 203832 | 2134 178 | 5 | 9 177.37/177.49 c 176s | 17 | 421783 | 206332 | 2134 180 | 5 | 9 179.37/179.50 c 178s | 17 | 425520 | 208732 | 2134 182 | 5 | 9 181.47/181.54 c 180s | 17 | 431143 | 211632 | 2134 184 | 5 | 9 183.56/183.61 c 182s | 17 | 435061 | 213932 | 2134 186 | 5 | 9 185.56/185.66 c 184s | 17 | 438462 | 216132 | 2134 187 | 5 | 9 187.66/187.78 c 186s | 17 | 442035 | 218532 | 2134 189 | 5 | 9 189.86/189.91 c 188s | 17 | 445765 | 220632 | 2134 190 | 5 | 9 191.95/192.02 c 190s | 17 | 448359 | 222432 | 2134 192 | 5 | 9 193.96/194.04 c 193s | 17 | 451661 | 224332 | 2134 193 | 5 | 9 195.96/196.10 c 195s | 17 | 455218 | 226432 | 2134 194 | 5 | 9 198.06/198.18 c 197s | 17 | 458370 | 228532 | 2134 196 | 5 | 9 200.16/200.25 c 199s | 17 | 461690 | 230632 | 2134 197 | 5 | 9 202.25/202.30 c 201s | 17 | 465207 | 232632 | 2134 199 | 5 | 9 204.25/204.31 c 203s | 17 | 469042 | 235032 | 2134 201 | 5 | 9 206.25/206.35 c 205s | 17 | 472661 | 237132 | 2134 202 | 5 | 9 208.25/208.39 c 207s | 17 | 475210 | 238932 | 2134 203 | 5 | 9 210.45/210.50 c 209s | 17 | 478368 | 240832 | 2134 205 | 5 | 9 212.45/212.58 c 211s | 17 | 481290 | 242832 | 2134 206 | 5 | 9 214.55/214.65 c 213s | 17 | 483664 | 244432 | 2134 208 | 5 | 9 216.65/216.79 c 215s | 17 | 485485 | 245832 | 2134 208 | 5 | 9 218.74/218.86 c 217s | 17 | 488029 | 247432 | 2134 210 | 5 | 9 220.85/220.94 c 219s | 17 | 491490 | 249532 | 2134 211 | 5 | 9 222.85/222.97 c 221s | 17 | 500696 | 252732 | 2134 214 | 5 | 9 224.94/225.01 c 223s | 17 | 511449 | 256232 | 2134 216 | 5 | 9 226.94/227.04 c 226s | 17 | 524345 | 260132 | 2134 219 | 5 | 9 228.94/229.08 c 228s | 17 | 529770 | 263332 | 2134 221 | 5 | 9 231.04/231.17 c 230s | 17 | 534979 | 266232 | 2134 223 | 5 | 9 233.03/233.18 c 232s | 17 | 538967 | 268632 | 2134 225 | 5 | 9 235.14/235.21 c 234s | 17 | 543242 | 271432 | 2134 227 | 5 | 9 237.14/237.27 c 236s | 17 | 546530 | 273732 | 2134 229 | 5 | 9 239.24/239.30 c 238s | 17 | 550151 | 276232 | 2134 230 | 5 | 9 241.24/241.32 c 240s | 17 | 553748 | 278732 | 2134 232 | 5 | 9 243.24/243.38 c 242s | 17 | 559517 | 281832 | 2134 234 | 5 | 9 245.34/245.44 c 244s | 17 | 563967 | 284432 | 2134 236 | 5 | 9 247.33/247.46 c 246s | 17 | 568715 | 286932 | 2134 238 | 5 | 9 249.43/249.50 c 248s | 17 | 572545 | 289032 | 2134 240 | 5 | 9 251.43/251.53 c 250s | 17 | 576001 | 291132 | 2134 241 | 5 | 9 253.43/253.60 c 252s | 17 | 579011 | 293332 | 2134 242 | 5 | 9 255.52/255.68 c 254s | 17 | 581842 | 295332 | 2348 244 | 5 | 9 256.52/256.61 c 255s | 18 | 583265 | 296252 | 2348 244 | 5 | 9 258.53/258.68 c 257s | 18 | 586886 | 298552 | 2348 246 | 5 | 9 260.63/260.72 c 259s | 18 | 593148 | 301352 | 2348 248 | 5 | 9 262.62/262.78 c 261s | 18 | 598085 | 303752 | 2348 249 | 5 | 9 264.72/264.82 c 263s | 18 | 602811 | 306352 | 2348 251 | 5 | 9 266.72/266.90 c 265s | 18 | 607368 | 308952 | 2348 253 | 5 | 9 268.82/269.00 c 267s | 18 | 611158 | 311352 | 2348 255 | 5 | 9 270.91/271.00 c 269s | 18 | 615558 | 313752 | 2348 256 | 5 | 9 272.91/273.06 c 272s | 18 | 619518 | 316152 | 2348 258 | 5 | 9 275.02/275.11 c 274s | 18 | 623397 | 318452 | 2348 259 | 5 | 9 277.01/277.17 c 276s | 18 | 627542 | 320752 | 2348 261 | 5 | 9 279.11/279.24 c 278s | 18 | 631563 | 322852 | 2348 262 | 5 | 9 281.21/281.30 c 280s | 18 | 636265 | 325352 | 2348 264 | 5 | 9 283.21/283.37 c 282s | 18 | 639683 | 327252 | 2348 265 | 5 | 9 285.21/285.39 c 284s | 18 | 645632 | 329752 | 2348 267 | 5 | 9 287.32/287.43 c 286s | 18 | 649467 | 331852 | 2348 268 | 5 | 9 289.32/289.48 c 288s | 18 | 653359 | 333852 | 2348 269 | 5 | 9 291.31/291.49 c 290s | 18 | 657050 | 335952 | 2348 271 | 5 | 9 293.41/293.54 c 292s | 18 | 660714 | 337952 | 2348 272 | 5 | 9 295.50/295.60 c 294s | 18 | 663526 | 339552 | 2348 273 | 5 | 9 297.70/297.82 c 296s | 18 | 666938 | 341552 | 2348 275 | 5 | 9 299.71/299.85 c 298s | 18 | 670615 | 343652 | 2348 276 | 5 | 9 301.81/301.92 c 300s | 18 | 673256 | 345352 | 2348 277 | 5 | 9 303.80/303.98 c 302s | 18 | 676201 | 347152 | 2348 278 | 5 | 9 305.90/306.01 c 304s | 18 | 678916 | 348952 | 2348 279 | 5 | 9 307.91/308.08 c 307s | 18 | 681650 | 350652 | 2348 281 | 5 | 9 310.00/310.10 c 309s | 18 | 685235 | 352752 | 2348 282 | 5 | 9 312.00/312.13 c 311s | 18 | 689378 | 354852 | 2348 283 | 5 | 9 314.00/314.17 c 313s | 18 | 693731 | 356852 | 2348 285 | 5 | 9 316.09/316.24 c 315s | 18 | 697643 | 358852 | 2348 286 | 5 | 9 318.09/318.25 c 317s | 18 | 701694 | 360852 | 2348 287 | 5 | 9 320.19/320.37 c 319s | 18 | 705257 | 362852 | 2348 289 | 5 | 9 322.30/322.49 c 321s | 18 | 708526 | 364652 | 2348 290 | 5 | 9 324.49/324.62 c 323s | 18 | 711640 | 366352 | 2348 291 | 5 | 9 326.49/326.67 c 325s | 18 | 715706 | 368352 | 2348 292 | 5 | 9 328.59/328.74 c 327s | 18 | 719691 | 370452 | 2348 294 | 5 | 9 330.59/330.77 c 329s | 18 | 723953 | 372652 | 2348 295 | 5 | 9 332.69/332.84 c 331s | 18 | 727421 | 374552 | 2348 296 | 5 | 9 334.78/334.94 c 333s | 18 | 730681 | 376352 | 2348 298 | 5 | 9 336.78/336.97 c 335s | 18 | 734474 | 378352 | 2348 299 | 5 | 9 338.88/339.02 c 337s | 18 | 738108 | 380252 | 2348 300 | 5 | 9 340.89/341.05 c 340s | 18 | 741933 | 382252 | 2348 302 | 5 | 9 342.88/343.10 c 342s | 18 | 745856 | 384152 | 2348 303 | 5 | 9 344.98/345.14 c 344s | 18 | 749938 | 386152 | 2348 304 | 5 | 9 347.08/347.22 c 346s | 18 | 753402 | 388152 | 2348 305 | 5 | 9 349.18/349.30 c 348s | 18 | 757120 | 390152 | 2348 307 | 5 | 9 351.27/351.42 c 350s | 18 | 761388 | 392052 | 2348 308 | 5 | 9 353.27/353.46 c 352s | 18 | 764792 | 393652 | 2348 309 | 5 | 9 355.37/355.57 c 354s | 18 | 768849 | 395752 | 2348 311 | 5 | 9 357.38/357.57 c 356s | 18 | 772202 | 397552 | 2348 312 | 5 | 9 359.47/359.60 c 358s | 18 | 774546 | 399052 | 2348 313 | 5 | 9 361.47/361.62 c 360s | 18 | 778543 | 400852 | 2348 314 | 5 | 9 363.47/363.64 c 362s | 18 | 781685 | 402552 | 2348 315 | 5 | 9 365.57/365.79 c 364s | 18 | 784520 | 404352 | 2348 316 | 5 | 9 367.67/367.83 c 366s | 18 | 787915 | 406352 | 2348 318 | 5 | 9 369.76/369.95 c 368s | 18 | 790916 | 408252 | 2348 319 | 5 | 9 371.77/371.99 c 370s | 18 | 794927 | 410252 | 2348 320 | 5 | 9 373.87/374.06 c 373s | 18 | 799031 | 412252 | 2348 322 | 5 | 9 375.86/376.08 c 375s | 18 | 802361 | 414252 | 2348 323 | 5 | 9 377.96/378.17 c 377s | 18 | 806040 | 416052 | 2348 324 | 5 | 9 380.06/380.29 c 379s | 18 | 807949 | 417252 | 2348 325 | 5 | 9 382.16/382.30 c 381s | 18 | 810531 | 418752 | 2348 326 | 5 | 9 384.16/384.32 c 383s | 18 | 813130 | 420252 | 2348 327 | 5 | 9 386.16/386.34 c 385s | 18 | 815699 | 421552 | 2348 328 | 5 | 9 388.26/388.42 c 387s | 18 | 818398 | 423052 | 2348 329 | 5 | 9 390.36/390.52 c 389s | 18 | 822014 | 425052 | 2348 330 | 5 | 9 392.35/392.55 c 391s | 18 | 824478 | 426852 | 2348 332 | 5 | 9 394.45/394.60 c 393s | 18 | 828579 | 429252 | 2348 333 | 5 | 9 396.45/396.67 c 395s | 18 | 832322 | 431452 | 2348 335 | 5 | 9 398.55/398.70 c 397s | 18 | 835979 | 433752 | 2348 336 | 5 | 9 400.55/400.75 c 399s | 18 | 839307 | 435852 | 2348 338 | 5 | 9 402.65/402.83 c 401s | 18 | 842697 | 437852 | 2348 339 | 5 | 9 404.65/404.86 c 403s | 18 | 845549 | 439752 | 2348 340 | 5 | 9 406.75/406.95 c 405s | 18 | 849255 | 442052 | 2583 341 | 5 | 9 408.86/409.00 c 407s | 18 | 852301 | 444052 | 2583 343 | 5 | 9 409.16/409.34 c 408s | 19 | 852998 | 444482 | 2583 343 | 5 | 9 411.26/411.42 c 410s | 19 | 856307 | 446282 | 2583 344 | 5 | 9 413.26/413.48 c 412s | 19 | 858526 | 447782 | 2583 345 | 5 | 9 415.35/415.51 c 414s | 19 | 860402 | 449182 | 2583 346 | 5 | 9 417.35/417.52 c 416s | 19 | 862936 | 450882 | 2583 347 | 5 | 9 419.35/419.54 c 418s | 19 | 865912 | 452782 | 2583 348 | 5 | 9 421.45/421.62 c 420s | 19 | 869806 | 455282 | 2583 350 | 5 | 9 423.55/423.70 c 422s | 19 | 874557 | 458382 | 2583 351 | 5 | 9 425.55/425.75 c 424s | 19 | 878825 | 461182 | 2583 353 | 5 | 9 427.55/427.78 c 426s | 19 | 882350 | 463382 | 2583 355 | 5 | 9 429.65/429.80 c 428s | 19 | 885285 | 465382 | 2583 356 | 5 | 9 431.65/431.81 c 430s | 19 | 888254 | 467282 | 2583 357 | 5 | 9 433.65/433.84 c 432s | 19 | 891280 | 469382 | 2583 358 | 5 | 9 435.74/435.91 c 434s | 19 | 894915 | 471582 | 2583 360 | 5 | 9 437.75/437.96 c 436s | 19 | 898545 | 473882 | 2583 361 | 5 | 9 439.74/439.96 c 438s | 19 | 901355 | 475682 | 2583 362 | 5 | 9 441.84/442.00 c 440s | 19 | 904665 | 477982 | 2583 364 | 5 | 9 443.94/444.12 c 443s | 19 | 908705 | 480482 | 2583 365 | 5 | 9 445.93/446.18 c 445s | 19 | 911130 | 482182 | 2583 366 | 5 | 9 448.03/448.23 c 447s | 19 | 914664 | 484282 | 2583 368 | 5 | 9 450.03/450.24 c 449s | 19 | 917290 | 486082 | 2583 369 | 5 | 9 452.13/452.31 c 451s | 19 | 919604 | 487682 | 2583 370 | 5 | 9 454.13/454.32 c 453s | 19 | 921720 | 489182 | 2583 370 | 5 | 9 456.13/456.34 c 455s | 19 | 924703 | 491082 | 2583 372 | 5 | 9 458.23/458.43 c 457s | 19 | 927421 | 493082 | 2583 373 | 5 | 9 460.33/460.51 c 459s | 19 | 930557 | 495382 | 2583 374 | 5 | 9 462.33/462.51 c 461s | 19 | 933675 | 497182 | 2583 376 | 5 | 9 464.33/464.52 c 463s | 19 | 936274 | 498882 | 2583 377 | 5 | 9 466.33/466.55 c 465s | 19 | 939023 | 500682 | 2583 378 | 5 | 9 468.43/468.62 c 467s | 19 | 941280 | 502382 | 2583 379 | 5 | 9 470.42/470.67 c 469s | 19 | 943433 | 503982 | 2583 380 | 5 | 9 472.52/472.76 c 471s | 19 | 946484 | 506082 | 2583 381 | 5 | 9 474.61/474.80 c 473s | 19 | 949178 | 507782 | 2583 382 | 5 | 9 476.62/476.82 c 475s | 19 | 952126 | 509782 | 2583 383 | 5 | 9 478.72/478.90 c 477s | 19 | 955223 | 511782 | 2583 385 | 5 | 9 480.72/480.96 c 479s | 19 | 959622 | 513882 | 2583 386 | 5 | 9 482.83/483.08 c 482s | 19 | 962953 | 515882 | 2583 387 | 5 | 9 484.92/485.11 c 484s | 19 | 965892 | 517682 | 2583 388 | 5 | 9 487.01/487.24 c 486s | 19 | 969010 | 519682 | 2583 389 | 5 | 9 489.11/489.37 c 488s | 19 | 971717 | 521482 | 2583 391 | 5 | 9 491.21/491.42 c 490s | 19 | 974980 | 523482 | 2583 392 | 5 | 9 493.21/493.48 c 492s | 19 | 977952 | 525282 | 2583 393 | 5 | 9 495.31/495.52 c 494s | 19 | 980417 | 526882 | 2583 394 | 5 | 9 497.31/497.53 c 496s | 19 | 982840 | 528482 | 2583 395 | 5 | 9 499.41/499.63 c 498s | 19 | 985048 | 529782 | 2583 396 | 5 | 9 501.51/501.79 c 500s | 19 | 986955 | 531082 | 2583 396 | 5 | 9 503.61/503.86 c 502s | 19 | 988883 | 532382 | 2583 397 | 5 | 9 505.70/505.95 c 504s | 19 | 990663 | 533582 | 2583 398 | 5 | 9 507.80/508.05 c 507s | 19 | 992669 | 534682 | 2583 399 | 5 | 9 509.80/510.08 c 509s | 19 | 995508 | 536082 | 2583 400 | 5 | 9 511.90/512.15 c 511s | 19 | 997785 | 537682 | 2583 400 | 5 | 9 514.09/514.34 c 513s | 19 | 1000233 | 539382 | 2583 402 | 5 | 9 516.09/516.39 c 515s | 19 | 1002311 | 540882 | 2583 402 | 5 | 9 518.29/518.50 c 517s | 19 | 1004177 | 541982 | 2583 403 | 5 | 9 520.29/520.56 c 519s | 19 | 1006156 | 543182 | 2583 404 | 5 | 9 522.30/522.57 c 521s | 19 | 1008858 | 544682 | 2583 405 | 5 | 9 524.39/524.62 c 523s | 19 | 1011194 | 545982 | 2583 406 | 5 | 9 526.49/526.73 c 525s | 19 | 1012813 | 547082 | 2583 406 | 5 | 9 528.49/528.77 c 527s | 19 | 1016139 | 548982 | 2583 407 | 5 | 9 530.49/530.77 c 529s | 19 | 1019864 | 551182 | 2583 409 | 5 | 9 532.49/532.79 c 531s | 19 | 1023495 | 553482 | 2583 410 | 5 | 9 534.58/534.81 c 533s | 19 | 1026865 | 555182 | 2583 411 | 5 | 9 536.69/536.96 c 535s | 19 | 1029359 | 556682 | 2583 412 | 5 | 9 538.68/539.00 c 537s | 19 | 1032204 | 558382 | 2583 413 | 5 | 9 540.78/541.00 c 539s | 19 | 1035215 | 560282 | 2583 414 | 5 | 9 542.79/543.02 c 541s | 19 | 1039675 | 562582 | 2583 416 | 5 | 9 544.88/545.11 c 544s | 19 | 1044594 | 565182 | 2583 418 | 5 | 9 546.98/547.22 c 546s | 19 | 1047930 | 567282 | 2583 419 | 5 | 9 548.98/549.27 c 548s | 19 | 1050725 | 569582 | 2583 420 | 5 | 9 551.08/551.36 c 550s | 19 | 1054270 | 571782 | 2583 422 | 5 | 9 553.18/553.44 c 552s | 19 | 1056716 | 573482 | 2583 423 | 5 | 9 555.17/555.44 c 554s | 19 | 1058792 | 575082 | 2583 424 | 5 | 9 557.27/557.50 c 556s | 19 | 1062256 | 577482 | 2583 425 | 5 | 9 559.27/559.53 c 558s | 19 | 1064644 | 579482 | 2583 426 | 5 | 9 561.37/561.64 c 560s | 19 | 1067028 | 581282 | 2583 427 | 5 | 9 563.46/563.72 c 562s | 19 | 1070552 | 583582 | 2583 429 | 5 | 9 565.46/565.75 c 564s | 19 | 1073914 | 585782 | 2583 430 | 5 | 9 567.56/567.88 c 566s | 19 | 1076459 | 587682 | 2583 431 | 5 | 9 569.66/569.92 c 568s | 19 | 1079242 | 589682 | 2583 433 | 5 | 9 571.66/571.92 c 570s | 19 | 1082452 | 591782 | 2583 434 | 5 | 9 573.76/574.02 c 572s | 19 | 1084867 | 593482 | 2583 435 | 5 | 9 575.76/576.08 c 575s | 19 | 1086500 | 594782 | 2583 436 | 5 | 9 577.86/578.12 c 577s | 19 | 1089699 | 596982 | 2583 437 | 5 | 9 579.96/580.25 c 579s | 19 | 1093172 | 599282 | 2583 438 | 5 | 9 582.06/582.30 c 581s | 19 | 1095809 | 601182 | 2583 440 | 5 | 9 584.05/584.34 c 583s | 19 | 1097827 | 602782 | 2583 441 | 5 | 9 586.16/586.41 c 585s | 19 | 1099927 | 604382 | 2583 441 | 5 | 9 588.15/588.41 c 587s | 19 | 1102480 | 606282 | 2583 443 | 5 | 9 590.16/590.44 c 589s | 19 | 1105260 | 608182 | 2583 444 | 5 | 9 592.25/592.50 c 591s | 19 | 1107977 | 609982 | 2583 445 | 5 | 9 594.25/594.57 c 593s | 19 | 1110611 | 611782 | 2583 446 | 5 | 9 596.35/596.63 c 595s | 19 | 1113253 | 613482 | 2583 447 | 5 | 9 598.35/598.66 c 597s | 19 | 1115193 | 614882 | 2583 448 | 5 | 9 600.45/600.78 c 599s | 19 | 1119747 | 617082 | 2583 449 | 5 | 9 602.45/602.78 c 601s | 19 | 1122913 | 618982 | 2583 451 | 5 | 9 604.54/604.80 c 603s | 19 | 1125603 | 620682 | 2583 452 | 5 | 9 606.54/606.84 c 605s | 19 | 1128909 | 622682 | 2583 453 | 5 | 9 608.64/608.91 c 607s | 19 | 1134799 | 625382 | 2583 455 | 5 | 9 610.64/610.98 c 609s | 19 | 1138832 | 627882 | 2583 456 | 5 | 9 612.74/613.03 c 612s | 19 | 1142808 | 630282 | 2583 458 | 5 | 9 614.83/615.11 c 614s | 19 | 1145915 | 632382 | 2583 459 | 5 | 9 616.94/617.26 c 616s | 19 | 1147877 | 633982 | 2583 460 | 5 | 9 618.93/619.29 c 618s | 19 | 1151361 | 635882 | 2583 461 | 5 | 9 621.03/621.38 c 620s | 19 | 1154601 | 637682 | 2583 462 | 5 | 9 623.13/623.41 c 622s | 19 | 1157116 | 639182 | 2583 463 | 5 | 9 625.13/625.43 c 624s | 19 | 1160393 | 640882 | 2583 464 | 5 | 9 627.13/627.46 c 626s | 19 | 1164289 | 643182 | 2583 466 | 5 | 9 629.23/629.54 c 628s | 19 | 1167134 | 645082 | 2583 467 | 5 | 9 631.33/631.69 c 630s | 19 | 1169394 | 646682 | 2583 468 | 5 | 9 633.43/633.77 c 632s | 19 | 1172131 | 648382 | 2583 469 | 5 | 9 635.53/635.85 c 634s | 19 | 1174731 | 650282 | 2583 470 | 5 | 9 637.52/637.88 c 636s | 19 | 1178083 | 652282 | 2583 471 | 5 | 9 639.62/639.93 c 638s | 19 | 1181092 | 654282 | 2583 472 | 5 | 9 641.62/641.96 c 640s | 19 | 1183523 | 656182 | 2583 474 | 5 | 9 643.62/643.99 c 642s | 19 | 1185477 | 657682 | 2583 475 | 5 | 9 645.71/646.04 c 645s | 19 | 1188590 | 659482 | 2583 476 | 5 | 9 647.73/648.05 c 647s | 19 | 1191095 | 661282 | 2583 477 | 5 | 9 649.83/650.15 c 649s | 19 | 1194095 | 662982 | 2842 478 | 5 | 9 651.92/652.24 c 651s | 19 | 1196461 | 664682 | 2842 479 | 5 | 9 654.02/654.38 c 653s | 19 | 1198391 | 666182 | 2842 480 | 5 | 9 655.02/655.37 c 654s | 20 | 1199399 | 666827 | 2842 480 | 5 | 9 657.12/657.45 c 656s | 20 | 1203141 | 668927 | 2842 481 | 5 | 9 659.22/659.57 c 658s | 20 | 1205707 | 670627 | 2842 482 | 5 | 9 661.32/661.61 c 660s | 20 | 1208122 | 672127 | 2842 483 | 5 | 9 663.32/663.63 c 662s | 20 | 1210101 | 673527 | 2842 484 | 5 | 9 665.32/665.66 c 664s | 20 | 1212588 | 674927 | 2842 485 | 5 | 9 667.42/667.75 c 666s | 20 | 1214945 | 676327 | 2842 486 | 5 | 9 669.51/669.84 c 668s | 20 | 1217422 | 678127 | 2842 487 | 5 | 9 671.61/671.90 c 670s | 20 | 1219375 | 679727 | 2842 487 | 5 | 9 673.60/673.95 c 672s | 20 | 1221686 | 681427 | 2842 488 | 5 | 9 675.70/676.01 c 674s | 20 | 1224062 | 683227 | 2842 489 | 5 | 9 677.80/678.13 c 677s | 20 | 1226299 | 684927 | 2842 490 | 5 | 9 679.90/680.22 c 679s | 20 | 1229438 | 686727 | 2842 491 | 5 | 9 682.20/682.52 c 681s | 20 | 1232222 | 687927 | 2842 492 | 5 | 9 684.30/684.62 c 683s | 20 | 1234542 | 689427 | 2842 493 | 5 | 9 686.30/686.62 c 685s | 20 | 1236617 | 690827 | 2842 494 | 5 | 9 688.41/688.71 c 687s | 20 | 1239563 | 692927 | 2842 495 | 5 | 9 690.40/690.76 c 689s | 20 | 1242428 | 694827 | 2842 496 | 5 | 9 692.50/692.84 c 691s | 20 | 1245552 | 696727 | 2842 497 | 5 | 9 694.59/694.94 c 693s | 20 | 1248274 | 698427 | 2842 498 | 5 | 9 696.59/696.97 c 695s | 20 | 1250545 | 700027 | 2842 499 | 5 | 9 698.69/699.10 c 698s | 20 | 1252537 | 701527 | 2842 500 | 5 | 9 700.89/701.28 c 700s | 20 | 1254834 | 703127 | 2842 501 | 5 | 9 702.99/703.32 c 702s | 20 | 1257057 | 704727 | 2842 502 | 5 | 9 704.98/705.33 c 704s | 20 | 1258802 | 706127 | 2842 503 | 5 | 9 707.09/707.47 c 706s | 20 | 1261023 | 707627 | 2842 504 | 5 | 9 709.29/709.63 c 708s | 20 | 1262954 | 709127 | 2842 504 | 5 | 9 711.28/711.70 c 710s | 20 | 1265186 | 710627 | 2842 505 | 5 | 9 713.38/713.75 c 712s | 20 | 1267068 | 712027 | 2842 506 | 5 | 9 715.48/715.86 c 714s | 20 | 1268648 | 713327 | 2842 507 | 5 | 9 717.58/717.94 c 716s | 20 | 1270806 | 714927 | 2842 508 | 5 | 9 719.68/720.08 c 719s | 20 | 1273023 | 716527 | 2842 509 | 5 | 9 721.88/722.27 c 721s | 20 | 1274352 | 717627 | 2842 510 | 5 | 9 724.07/724.47 c 723s | 20 | 1276669 | 719027 | 2842 510 | 5 | 9 726.18/726.52 c 725s | 20 | 1278180 | 720227 | 2842 511 | 5 | 9 728.18/728.54 c 727s | 20 | 1279878 | 721427 | 2842 512 | 5 | 9 730.28/730.69 c 729s | 20 | 1281625 | 722627 | 2842 512 | 5 | 9 732.48/732.82 c 731s | 20 | 1283533 | 723927 | 2842 513 | 5 | 9 734.48/734.89 c 733s | 20 | 1285842 | 725727 | 2842 514 | 5 | 9 736.68/737.05 c 736s | 20 | 1287792 | 727227 | 2842 515 | 5 | 9 738.67/739.07 c 738s | 20 | 1290142 | 728627 | 2842 516 | 5 | 9 740.77/741.19 c 740s | 20 | 1292296 | 730127 | 2842 517 | 5 | 9 742.87/743.27 c 742s | 20 | 1293812 | 731327 | 2842 517 | 5 | 9 745.07/745.43 c 744s | 20 | 1295761 | 732827 | 2842 518 | 5 | 9 747.07/747.44 c 746s | 20 | 1297626 | 734127 | 2842 519 | 5 | 9 749.17/749.54 c 748s | 20 | 1299444 | 735527 | 2842 520 | 5 | 9 751.17/751.59 c 750s | 20 | 1300701 | 736627 | 2842 521 | 5 | 9 753.37/753.72 c 752s | 20 | 1302528 | 738127 | 2842 522 | 5 | 9 755.47/755.83 c 754s | 20 | 1303959 | 739327 | 2842 522 | 5 | 9 757.57/757.96 c 756s | 20 | 1305891 | 740827 | 2842 523 | 5 | 9 759.66/760.03 c 758s | 20 | 1307927 | 742327 | 2842 524 | 5 | 9 761.66/762.09 c 761s | 20 | 1310601 | 744027 | 2842 525 | 5 | 9 763.76/764.16 c 763s | 20 | 1312778 | 745427 | 2842 526 | 5 | 9 765.86/766.22 c 765s | 20 | 1314181 | 746527 | 2842 526 | 5 | 9 767.86/768.23 c 767s | 20 | 1317109 | 748227 | 2842 527 | 5 | 9 769.86/770.28 c 769s | 20 | 1321225 | 750227 | 2842 528 | 5 | 9 771.86/772.29 c 771s | 20 | 1324519 | 752227 | 2842 530 | 5 | 9 773.95/774.34 c 773s | 20 | 1327127 | 753727 | 2842 530 | 5 | 9 775.95/776.38 c 775s | 20 | 1329419 | 755227 | 2842 531 | 5 | 9 778.04/778.42 c 777s | 20 | 1331966 | 756627 | 2842 532 | 5 | 9 780.04/780.43 c 779s | 20 | 1334237 | 758227 | 2842 533 | 5 | 9 782.15/782.54 c 781s | 20 | 1337213 | 760227 | 2842 534 | 5 | 9 784.25/784.60 c 783s | 20 | 1339437 | 762027 | 2842 535 | 5 | 9 786.25/786.61 c 785s | 20 | 1341451 | 763627 | 2842 536 | 5 | 9 788.35/788.71 c 787s | 20 | 1343730 | 765227 | 2842 537 | 5 | 9 790.34/790.77 c 789s | 20 | 1347476 | 767327 | 2842 538 | 5 | 9 792.44/792.89 c 791s | 20 | 1350323 | 769127 | 2842 539 | 5 | 9 794.53/794.91 c 793s | 20 | 1352401 | 770627 | 2842 540 | 5 | 9 796.63/797.01 c 795s | 20 | 1354465 | 772327 | 2842 541 | 5 | 9 798.63/799.02 c 797s | 20 | 1357475 | 774127 | 2842 542 | 5 | 9 800.74/801.12 c 800s | 20 | 1361756 | 776427 | 2842 544 | 5 | 9 802.75/803.12 c 802s | 20 | 1365066 | 778527 | 2842 545 | 5 | 9 804.73/805.20 c 804s | 20 | 1367780 | 780227 | 2842 546 | 5 | 9 806.83/807.23 c 806s | 20 | 1371783 | 782427 | 2842 547 | 5 | 9 808.83/809.27 c 808s | 20 | 1374062 | 784027 | 2842 548 | 5 | 9 810.93/811.34 c 810s | 20 | 1376632 | 786027 | 2842 549 | 5 | 9 813.03/813.42 c 812s | 20 | 1379520 | 788127 | 2842 550 | 5 | 9 815.12/815.50 c 814s | 20 | 1381747 | 789727 | 2842 551 | 5 | 9 817.12/817.59 c 816s | 20 | 1384122 | 791327 | 2842 552 | 5 | 9 819.32/819.71 c 818s | 20 | 1385755 | 792627 | 2842 553 | 5 | 9 821.33/821.74 c 820s | 20 | 1387796 | 794127 | 2842 553 | 5 | 9 823.32/823.77 c 822s | 20 | 1389351 | 795227 | 2842 554 | 5 | 9 825.51/825.94 c 824s | 20 | 1391040 | 796427 | 2842 555 | 5 | 9 827.62/828.00 c 826s | 20 | 1393445 | 798327 | 2842 556 | 5 | 9 829.72/830.11 c 829s | 20 | 1395757 | 800027 | 2842 557 | 5 | 9 831.72/832.18 c 831s | 20 | 1397575 | 801327 | 2842 558 | 5 | 9 833.92/834.34 c 833s | 20 | 1400369 | 803127 | 2842 559 | 5 | 9 836.02/836.45 c 835s | 20 | 1402135 | 804427 | 2842 559 | 5 | 9 838.22/838.65 c 837s | 20 | 1403694 | 805527 | 2842 560 | 5 | 9 840.32/840.72 c 839s | 20 | 1405916 | 806727 | 2842 561 | 5 | 9 842.32/842.76 c 841s | 20 | 1408113 | 808227 | 2842 561 | 5 | 9 844.31/844.78 c 843s | 20 | 1410492 | 809827 | 2842 562 | 5 | 9 846.41/846.88 c 845s | 20 | 1412418 | 811327 | 2842 563 | 5 | 9 848.61/849.01 c 847s | 20 | 1415052 | 813027 | 2842 564 | 5 | 9 850.61/851.04 c 850s | 20 | 1416959 | 814227 | 2842 565 | 5 | 9 852.71/853.13 c 852s | 20 | 1418449 | 815327 | 2842 566 | 5 | 9 854.71/855.18 c 854s | 20 | 1420126 | 816427 | 2842 566 | 5 | 9 856.92/857.30 c 856s | 20 | 1421479 | 817427 | 2842 567 | 5 | 9 858.91/859.39 c 858s | 20 | 1424916 | 819627 | 2842 568 | 5 | 9 860.92/861.40 c 860s | 20 | 1427489 | 821527 | 2842 569 | 5 | 9 863.01/863.41 c 862s | 20 | 1430102 | 823627 | 2842 570 | 5 | 9 865.11/865.50 c 864s | 20 | 1432617 | 825627 | 2842 571 | 5 | 9 867.11/867.54 c 866s | 20 | 1434878 | 827427 | 2842 572 | 5 | 9 869.21/869.64 c 868s | 20 | 1437384 | 829427 | 2842 573 | 5 | 9 871.31/871.78 c 870s | 20 | 1440393 | 831427 | 2842 575 | 5 | 9 873.41/873.81 c 872s | 20 | 1443050 | 833327 | 2842 576 | 5 | 9 875.50/875.90 c 874s | 20 | 1445834 | 835427 | 2842 577 | 5 | 9 877.51/877.96 c 876s | 20 | 1448135 | 837227 | 2842 578 | 5 | 9 879.61/880.01 c 878s | 20 | 1450051 | 838827 | 2842 579 | 5 | 9 881.60/882.06 c 881s | 20 | 1451821 | 840327 | 2842 580 | 5 | 9 883.70/884.11 c 883s | 20 | 1454238 | 842027 | 2842 581 | 5 | 9 885.80/886.20 c 885s | 20 | 1458252 | 844127 | 2842 582 | 5 | 9 887.90/888.34 c 887s | 20 | 1461211 | 846027 | 2842 583 | 5 | 9 890.01/890.44 c 889s | 20 | 1464175 | 847727 | 2842 584 | 5 | 9 892.01/892.49 c 891s | 20 | 1467373 | 849627 | 2842 585 | 5 | 9 894.02/894.49 c 893s | 20 | 1471218 | 851327 | 2842 586 | 5 | 9 896.11/896.50 c 895s | 20 | 1473863 | 852927 | 2842 587 | 5 | 9 898.11/898.55 c 897s | 20 | 1477290 | 855227 | 2842 588 | 5 | 9 900.21/900.61 c 899s | 20 | 1480319 | 857327 | 2842 589 | 5 | 9 902.31/902.73 c 901s | 20 | 1483356 | 859427 | 2842 591 | 5 | 9 904.41/904.88 c 903s | 20 | 1485910 | 861127 | 2842 592 | 5 | 9 906.51/906.91 c 905s | 20 | 1488779 | 862827 | 2842 592 | 5 | 9 908.51/908.97 c 907s | 20 | 1490991 | 864327 | 2842 593 | 5 | 9 910.51/910.99 c 909s | 20 | 1493078 | 865827 | 2842 594 | 5 | 9 912.71/913.14 c 912s | 20 | 1495364 | 867227 | 2842 595 | 5 | 9 914.71/915.16 c 914s | 20 | 1498300 | 868927 | 2842 596 | 5 | 9 916.70/917.18 c 916s | 20 | 1500885 | 870627 | 2842 597 | 5 | 9 918.80/919.25 c 918s | 20 | 1503862 | 872327 | 2842 598 | 5 | 9 920.90/921.37 c 920s | 20 | 1506889 | 873927 | 2842 599 | 5 | 9 923.00/923.47 c 922s | 20 | 1509638 | 875727 | 2842 600 | 5 | 9 925.10/925.59 c 924s | 20 | 1511929 | 877327 | 2842 601 | 5 | 9 927.20/927.67 c 926s | 20 | 1514821 | 879027 | 2842 602 | 5 | 9 929.30/929.77 c 928s | 20 | 1517111 | 880427 | 2842 603 | 5 | 9 931.31/931.79 c 930s | 20 | 1519375 | 881927 | 2842 603 | 5 | 9 933.51/933.93 c 932s | 20 | 1522787 | 883727 | 2842 605 | 5 | 9 935.60/936.04 c 935s | 20 | 1525538 | 885527 | 2842 606 | 5 | 9 937.70/938.12 c 937s | 20 | 1527910 | 887227 | 2842 607 | 5 | 9 939.80/940.20 c 939s | 20 | 1530734 | 889027 | 2842 608 | 5 | 9 941.80/942.28 c 941s | 20 | 1532826 | 890727 | 2842 609 | 5 | 9 943.80/944.29 c 943s | 20 | 1535731 | 892327 | 2842 610 | 5 | 9 945.89/946.32 c 945s | 20 | 1538637 | 894127 | 2842 611 | 5 | 9 947.90/948.38 c 947s | 20 | 1542101 | 895927 | 2842 612 | 5 | 9 950.11/950.55 c 949s | 20 | 1544484 | 897427 | 2842 612 | 5 | 9 952.21/952.63 c 951s | 20 | 1547651 | 899427 | 2842 614 | 5 | 9 954.30/954.74 c 953s | 20 | 1550234 | 901227 | 2842 615 | 5 | 9 956.40/956.89 c 955s | 20 | 1552314 | 902827 | 2842 615 | 5 | 9 958.50/958.95 c 957s | 20 | 1555827 | 904727 | 2842 617 | 5 | 9 960.50/960.95 c 959s | 20 | 1558086 | 906327 | 2842 617 | 5 | 9 962.60/963.03 c 961s | 20 | 1561196 | 908227 | 2842 619 | 5 | 9 964.70/965.11 c 964s | 20 | 1563794 | 909727 | 2842 619 | 5 | 9 966.70/967.11 c 966s | 20 | 1565539 | 911027 | 2842 620 | 5 | 9 968.70/969.13 c 968s | 20 | 1567815 | 912727 | 2842 621 | 5 | 9 970.79/971.29 c 970s | 20 | 1570461 | 914327 | 2842 622 | 5 | 9 972.89/973.39 c 972s | 20 | 1572474 | 915827 | 2842 623 | 5 | 9 974.99/975.42 c 974s | 20 | 1574677 | 917427 | 2842 624 | 5 | 9 976.99/977.45 c 976s | 20 | 1576850 | 918827 | 2842 625 | 5 | 9 978.99/979.45 c 978s | 20 | 1578494 | 920127 | 2842 626 | 5 | 9 981.09/981.54 c 980s | 20 | 1581205 | 921627 | 2842 626 | 5 | 9 983.29/983.70 c 982s | 20 | 1582967 | 922727 | 2842 627 | 5 | 9 985.30/985.77 c 984s | 20 | 1584732 | 924027 | 2842 628 | 5 | 9 987.29/987.78 c 986s | 20 | 1586607 | 925227 | 2842 628 | 5 | 9 989.39/989.81 c 988s | 20 | 1588345 | 926527 | 2842 629 | 5 | 9 991.39/991.86 c 990s | 20 | 1590952 | 928227 | 2842 630 | 5 | 9 993.49/993.97 c 992s | 20 | 1592555 | 929427 | 2842 631 | 5 | 9 995.59/996.07 c 995s | 20 | 1594722 | 930927 | 2842 632 | 5 | 9 997.69/998.12 c 997s | 20 | 1596719 | 932327 | 2842 632 | 5 | 9 999.69/1000.16 c 999s | 20 | 1598315 | 933627 | 2842 633 | 5 | 9 1001.89/1002.31 c 1001s | 20 | 1600010 | 935027 | 2842 634 | 5 | 9 1003.90/1004.33 c 1003s | 20 | 1601326 | 936127 | 2842 635 | 5 | 9 1005.89/1006.37 c 1005s | 20 | 1602797 | 937327 | 2842 635 | 5 | 9 1007.99/1008.46 c 1007s | 20 | 1604259 | 938427 | 2842 636 | 5 | 9 1010.19/1010.60 c 1009s | 20 | 1605674 | 939527 | 2842 637 | 5 | 9 1012.19/1012.66 c 1011s | 20 | 1607942 | 941127 | 2842 637 | 5 | 9 1014.29/1014.72 c 1013s | 20 | 1609661 | 942527 | 2842 638 | 5 | 9 1016.29/1016.73 c 1015s | 20 | 1611784 | 944027 | 2842 639 | 5 | 9 1018.29/1018.76 c 1017s | 20 | 1613415 | 945327 | 2842 640 | 5 | 9 1020.28/1020.77 c 1019s | 20 | 1614903 | 946527 | 2842 641 | 5 | 9 1022.38/1022.85 c 1021s | 20 | 1616744 | 947927 | 2842 641 | 5 | 9 1024.38/1024.88 c 1023s | 20 | 1619834 | 949527 | 2842 642 | 5 | 9 1026.48/1026.92 c 1025s | 20 | 1621708 | 950827 | 2842 643 | 5 | 9 1028.58/1029.06 c 1028s | 20 | 1624563 | 952327 | 2842 644 | 5 | 9 1030.68/1031.10 c 1030s | 20 | 1627684 | 953827 | 2842 645 | 5 | 9 1032.68/1033.16 c 1032s | 20 | 1629812 | 955227 | 2842 645 | 5 | 9 1034.88/1035.31 c 1034s | 20 | 1631684 | 956327 | 2842 646 | 5 | 9 1036.99/1037.47 c 1036s | 20 | 1633341 | 957327 | 2842 647 | 5 | 9 1038.98/1039.48 c 1038s | 20 | 1635421 | 958627 | 2842 647 | 5 | 9 1041.08/1041.56 c 1040s | 20 | 1638763 | 960427 | 2842 648 | 5 | 9 1043.18/1043.63 c 1042s | 20 | 1641064 | 961927 | 2842 649 | 5 | 9 1045.28/1045.70 c 1044s | 20 | 1643181 | 963327 | 2842 650 | 5 | 9 1047.28/1047.73 c 1046s | 20 | 1645951 | 965227 | 2842 651 | 5 | 9 1049.38/1049.80 c 1048s | 20 | 1648282 | 966727 | 2842 652 | 5 | 9 1051.38/1051.86 c 1050s | 20 | 1650182 | 968027 | 2842 653 | 5 | 9 1053.58/1054.00 c 1052s | 20 | 1652681 | 969627 | 2842 654 | 5 | 9 1055.69/1056.17 c 1055s | 20 | 1654570 | 971027 | 2842 654 | 5 | 9 1057.89/1058.31 c 1057s | 20 | 1655563 | 971827 | 2842 655 | 5 | 9 1059.88/1060.35 c 1059s | 20 | 1658594 | 973327 | 2842 656 | 5 | 9 1061.98/1062.45 c 1061s | 20 | 1660795 | 974627 | 2842 656 | 5 | 9 1064.18/1064.62 c 1063s | 20 | 1663001 | 976027 | 2842 657 | 5 | 9 1066.28/1066.71 c 1065s | 20 | 1664767 | 977127 | 2842 658 | 5 | 9 1068.48/1068.93 c 1067s | 20 | 1666797 | 978427 | 2842 659 | 5 | 9 1070.48/1070.95 c 1069s | 20 | 1669882 | 980027 | 2842 659 | 5 | 9 1072.48/1072.96 c 1071s | 20 | 1672034 | 981427 | 2842 660 | 5 | 9 1074.58/1075.01 c 1073s | 20 | 1673832 | 982727 | 2842 661 | 5 | 9 1076.59/1077.05 c 1076s | 20 | 1675193 | 983627 | 2842 661 | 5 | 9 1078.69/1079.14 c 1078s | 20 | 1677257 | 985027 | 2842 662 | 5 | 9 1080.78/1081.21 c 1080s | 20 | 1679402 | 986527 | 2842 663 | 5 | 9 1082.77/1083.25 c 1082s | 20 | 1682288 | 988227 | 2842 664 | 5 | 9 1084.77/1085.29 c 1084s | 20 | 1684311 | 989627 | 2842 665 | 5 | 9 1086.87/1087.35 c 1086s | 20 | 1686057 | 990727 | 2842 666 | 5 | 9 1088.97/1089.46 c 1088s | 20 | 1687932 | 991927 | 2842 666 | 5 | 9 1091.08/1091.51 c 1090s | 20 | 1690245 | 993327 | 3127 667 | 5 | 9 1093.08/1093.59 c 1092s | 20 | 1693144 | 994927 | 3127 668 | 5 | 9 1095.18/1095.64 c 1094s | 20 | 1695556 | 996327 | 3127 669 | 5 | 9 1097.28/1097.71 c 1096s | 20 | 1697241 | 997427 | 3127 669 | 5 | 9 1099.28/1099.79 c 1098s | 20 | 1698552 | 998327 | 3127 670 | 5 | 9 1101.37/1101.89 c 1100s | 20 | 1700595 | 999627 | 3127 670 | 5 | 9 1102.37/1102.80 c 1101s | 21 | 1701587 | 1000345 | 3127 671 | 5 | 9 1104.37/1104.83 c 1103s | 21 | 1706067 | 1002745 | 3127 672 | 5 | 9 1106.37/1106.84 c 1105s | 21 | 1709707 | 1004745 | 3127 673 | 5 | 9 1108.38/1108.89 c 1107s | 21 | 1714360 | 1006845 | 3127 674 | 5 | 9 1110.48/1110.94 c 1109s | 21 | 1718354 | 1008745 | 3127 675 | 5 | 9 1112.57/1113.00 c 1111s | 21 | 1721803 | 1010845 | 3127 676 | 5 | 9 1114.57/1115.06 c 1114s | 21 | 1724604 | 1012545 | 3127 677 | 5 | 9 1116.57/1117.08 c 1116s | 21 | 1727697 | 1014445 | 3127 678 | 5 | 9 1118.67/1119.16 c 1118s | 21 | 1730554 | 1016545 | 3127 679 | 5 | 9 1120.78/1121.29 c 1120s | 21 | 1733124 | 1018445 | 3127 680 | 5 | 9 1122.87/1123.36 c 1122s | 21 | 1735339 | 1020045 | 3127 681 | 5 | 9 1124.98/1125.41 c 1124s | 21 | 1738539 | 1021845 | 3127 682 | 5 | 9 1127.08/1127.51 c 1126s | 21 | 1740853 | 1023245 | 3127 683 | 5 | 9 1129.07/1129.57 c 1128s | 21 | 1744211 | 1025345 | 3127 684 | 5 | 9 1131.17/1131.64 c 1130s | 21 | 1746661 | 1027045 | 3127 685 | 5 | 9 1133.17/1133.68 c 1132s | 21 | 1749083 | 1028745 | 3127 686 | 5 | 9 1135.27/1135.74 c 1134s | 21 | 1751544 | 1030445 | 3127 686 | 5 | 9 1137.37/1137.89 c 1136s | 21 | 1753711 | 1031945 | 3127 687 | 5 | 9 1139.47/1139.90 c 1138s | 21 | 1755671 | 1033345 | 3127 688 | 5 | 9 1141.47/1141.99 c 1140s | 21 | 1757738 | 1034845 | 3127 689 | 5 | 9 1143.67/1144.12 c 1143s | 21 | 1759858 | 1036345 | 3127 689 | 5 | 9 1145.77/1146.26 c 1145s | 21 | 1761910 | 1037845 | 3127 690 | 5 | 9 1147.87/1148.39 c 1147s | 21 | 1763643 | 1039145 | 3127 691 | 5 | 9 1149.97/1150.48 c 1149s | 21 | 1765297 | 1040445 | 3127 692 | 5 | 9 1152.06/1152.58 c 1151s | 21 | 1767848 | 1041945 | 3127 692 | 5 | 9 1154.17/1154.61 c 1153s | 21 | 1770018 | 1043445 | 3127 693 | 5 | 9 1156.17/1156.63 c 1155s | 21 | 1771969 | 1044945 | 3127 694 | 5 | 9 1158.17/1158.69 c 1157s | 21 | 1774647 | 1046545 | 3127 695 | 5 | 9 1160.26/1160.77 c 1159s | 21 | 1777468 | 1048145 | 3127 696 | 5 | 9 1162.46/1162.94 c 1161s | 21 | 1779662 | 1049645 | 3127 696 | 5 | 9 1164.57/1165.05 c 1164s | 21 | 1781380 | 1050845 | 3127 697 | 5 | 9 1166.67/1167.19 c 1166s | 21 | 1783018 | 1052045 | 3127 698 | 5 | 9 1168.76/1169.21 c 1168s | 21 | 1784632 | 1053145 | 3127 698 | 5 | 9 1170.87/1171.35 c 1170s | 21 | 1786704 | 1054645 | 3127 699 | 5 | 9 1172.96/1173.43 c 1172s | 21 | 1788617 | 1056045 | 3127 700 | 5 | 9 1174.96/1175.49 c 1174s | 21 | 1791142 | 1057745 | 3127 701 | 5 | 9 1176.96/1177.49 c 1176s | 21 | 1793980 | 1059745 | 3127 702 | 5 | 9 1179.06/1179.55 c 1178s | 21 | 1797327 | 1061645 | 3127 703 | 5 | 9 1181.16/1181.67 c 1180s | 21 | 1800095 | 1063545 | 3127 704 | 5 | 9 1183.27/1183.76 c 1182s | 21 | 1802223 | 1064945 | 3127 704 | 5 | 9 1185.36/1185.82 c 1184s | 21 | 1804844 | 1066645 | 3127 705 | 5 | 9 1187.36/1187.89 c 1186s | 21 | 1808768 | 1068645 | 3127 706 | 5 | 9 1189.46/1189.92 c 1188s | 21 | 1812208 | 1070445 | 3127 707 | 5 | 9 1191.46/1191.98 c 1190s | 21 | 1814834 | 1072045 | 3127 708 | 5 | 9 1193.56/1194.08 c 1193s | 21 | 1817414 | 1073545 | 3127 709 | 5 | 9 1195.66/1196.10 c 1195s | 21 | 1818599 | 1074345 | 3127 709 | 5 | 9 1197.66/1198.16 c 1197s | 21 | 1820816 | 1075945 | 3127 710 | 5 | 9 1199.67/1200.19 c 1199s | 21 | 1823584 | 1077545 | 3127 711 | 5 | 9 1201.87/1202.31 c 1201s | 21 | 1825971 | 1079045 | 3127 712 | 5 | 9 1203.86/1204.31 c 1203s | 21 | 1828164 | 1080445 | 3127 713 | 5 | 9 1205.96/1206.46 c 1205s | 21 | 1831115 | 1082045 | 3127 713 | 5 | 9 1207.96/1208.47 c 1207s | 21 | 1833652 | 1083445 | 3127 714 | 5 | 9 1210.06/1210.55 c 1209s | 21 | 1835592 | 1084645 | 3127 715 | 5 | 9 1212.05/1212.57 c 1211s | 21 | 1837521 | 1085945 | 3127 715 | 5 | 9 1214.15/1214.67 c 1213s | 21 | 1839151 | 1087045 | 3127 716 | 5 | 9 1216.35/1216.80 c 1215s | 21 | 1840781 | 1088245 | 3127 717 | 5 | 9 1218.36/1218.80 c 1217s | 21 | 1843787 | 1089845 | 3127 717 | 5 | 9 1220.36/1220.87 c 1219s | 21 | 1846100 | 1091245 | 3127 718 | 5 | 9 1222.56/1223.04 c 1222s | 21 | 1848490 | 1092645 | 3127 719 | 5 | 9 1224.66/1225.10 c 1224s | 21 | 1850691 | 1093845 | 3127 720 | 5 | 9 1226.66/1227.12 c 1226s | 21 | 1853246 | 1095545 | 3127 720 | 5 | 9 1228.65/1229.14 c 1228s | 21 | 1855799 | 1097245 | 3127 721 | 5 | 9 1230.75/1231.20 c 1230s | 21 | 1858044 | 1098845 | 3127 722 | 5 | 9 1232.76/1233.24 c 1232s | 21 | 1859499 | 1100045 | 3127 723 | 5 | 9 1234.75/1235.24 c 1234s | 21 | 1863342 | 1102145 | 3127 724 | 5 | 9 1236.85/1237.32 c 1236s | 21 | 1866789 | 1104145 | 3127 725 | 5 | 9 1238.95/1239.42 c 1238s | 21 | 1870397 | 1106045 | 3127 726 | 5 | 9 1240.95/1241.49 c 1240s | 21 | 1873239 | 1107745 | 3127 727 | 5 | 9 1242.95/1243.49 c 1242s | 21 | 1875860 | 1109545 | 3127 728 | 5 | 9 1245.05/1245.55 c 1244s | 21 | 1879284 | 1111545 | 3127 729 | 5 | 9 1247.05/1247.55 c 1246s | 21 | 1882398 | 1113445 | 3127 730 | 5 | 9 1249.15/1249.64 c 1248s | 21 | 1885629 | 1115345 | 3127 731 | 5 | 9 1251.25/1251.71 c 1250s | 21 | 1887958 | 1116945 | 3127 732 | 5 | 9 1253.35/1253.82 c 1252s | 21 | 1890471 | 1118645 | 3127 733 | 5 | 9 1255.35/1255.89 c 1254s | 21 | 1893284 | 1120345 | 3127 734 | 5 | 9 1257.45/1257.96 c 1256s | 21 | 1895938 | 1122045 | 3127 735 | 5 | 9 1259.65/1260.14 c 1259s | 21 | 1899042 | 1123845 | 3127 736 | 5 | 9 1261.75/1262.20 c 1261s | 21 | 1901404 | 1125245 | 3127 736 | 5 | 9 1263.85/1264.32 c 1263s | 21 | 1903100 | 1126445 | 3127 737 | 5 | 9 1265.85/1266.35 c 1265s | 21 | 1906003 | 1128045 | 3127 738 | 5 | 9 1267.96/1268.42 c 1267s | 21 | 1908948 | 1129945 | 3127 739 | 5 | 9 1269.95/1270.47 c 1269s | 21 | 1912042 | 1131945 | 3127 740 | 5 | 9 1272.05/1272.52 c 1271s | 21 | 1914472 | 1133745 | 3127 741 | 5 | 9 1274.15/1274.67 c 1273s | 21 | 1916748 | 1135445 | 3127 742 | 5 | 9 1276.25/1276.76 c 1275s | 21 | 1919188 | 1137145 | 3127 742 | 5 | 9 1278.35/1278.81 c 1277s | 21 | 1921321 | 1138645 | 3127 743 | 5 | 9 1280.35/1280.82 c 1279s | 21 | 1923402 | 1140145 | 3127 744 | 5 | 9 1282.35/1282.82 c 1281s | 21 | 1925308 | 1141545 | 3127 745 | 5 | 9 1284.46/1284.95 c 1283s | 21 | 1927211 | 1142945 | 3127 746 | 5 | 9 1286.45/1286.99 c 1285s | 21 | 1929233 | 1144345 | 3127 746 | 5 | 9 1288.65/1289.13 c 1288s | 21 | 1931014 | 1145745 | 3127 747 | 5 | 9 1290.75/1291.20 c 1290s | 21 | 1932791 | 1147145 | 3127 748 | 5 | 9 1292.75/1293.27 c 1292s | 21 | 1934859 | 1148545 | 3127 748 | 5 | 9 1294.95/1295.40 c 1294s | 21 | 1936839 | 1149945 | 3127 749 | 5 | 9 1296.95/1297.42 c 1296s | 21 | 1938693 | 1151245 | 3127 750 | 5 | 9 1298.95/1299.44 c 1298s | 21 | 1940685 | 1152645 | 3127 751 | 5 | 9 1300.95/1301.48 c 1300s | 21 | 1944377 | 1154645 | 3127 752 | 5 | 9 1302.95/1303.48 c 1302s | 21 | 1947828 | 1156545 | 3127 753 | 5 | 9 1305.05/1305.50 c 1304s | 21 | 1951549 | 1158545 | 3127 754 | 5 | 9 1307.05/1307.51 c 1306s | 21 | 1955247 | 1160545 | 3127 755 | 5 | 9 1309.05/1309.58 c 1308s | 21 | 1957840 | 1162245 | 3127 756 | 5 | 9 1311.24/1311.73 c 1310s | 21 | 1960282 | 1163945 | 3127 757 | 5 | 9 1313.24/1313.79 c 1312s | 21 | 1963593 | 1165945 | 3127 758 | 5 | 9 1315.34/1315.81 c 1314s | 21 | 1966016 | 1167645 | 3127 759 | 5 | 9 1317.35/1317.89 c 1316s | 21 | 1968204 | 1169245 | 3127 759 | 5 | 9 1319.44/1319.96 c 1318s | 21 | 1970238 | 1170745 | 3127 760 | 5 | 9 1321.44/1321.99 c 1320s | 21 | 1972037 | 1172145 | 3127 761 | 5 | 9 1323.54/1324.00 c 1322s | 21 | 1973710 | 1173545 | 3127 762 | 5 | 9 1325.64/1326.14 c 1325s | 21 | 1975360 | 1174945 | 3127 762 | 5 | 9 1327.64/1328.19 c 1327s | 21 | 1976751 | 1176045 | 3127 763 | 5 | 9 1329.74/1330.24 c 1329s | 21 | 1978033 | 1177145 | 3127 764 | 5 | 9 1331.75/1332.27 c 1331s | 21 | 1979424 | 1178345 | 3127 764 | 5 | 9 1333.85/1334.39 c 1333s | 21 | 1980504 | 1179245 | 3127 765 | 5 | 9 1336.05/1336.51 c 1335s | 21 | 1983166 | 1180845 | 3127 765 | 5 | 9 1338.04/1338.51 c 1337s | 21 | 1986320 | 1182645 | 3127 766 | 5 | 9 1340.04/1340.58 c 1339s | 21 | 1991369 | 1184745 | 3127 768 | 5 | 9 1342.14/1342.60 c 1341s | 21 | 1994178 | 1186445 | 3127 768 | 5 | 9 1344.14/1344.66 c 1343s | 21 | 1998147 | 1188645 | 3127 770 | 5 | 9 1346.24/1346.74 c 1345s | 21 | 2001013 | 1190545 | 3127 771 | 5 | 9 1348.34/1348.82 c 1347s | 21 | 2003857 | 1192445 | 3127 772 | 5 | 9 1350.34/1350.85 c 1349s | 21 | 2006838 | 1194145 | 3127 773 | 5 | 9 1352.34/1352.85 c 1351s | 21 | 2009465 | 1195945 | 3127 773 | 5 | 9 1354.44/1354.92 c 1353s | 21 | 2012254 | 1197745 | 3127 774 | 5 | 9 1356.43/1356.93 c 1355s | 21 | 2014939 | 1199345 | 3127 775 | 5 | 9 1358.53/1359.02 c 1357s | 21 | 2017459 | 1200845 | 3127 776 | 5 | 9 1360.63/1361.16 c 1360s | 21 | 2020118 | 1202345 | 3127 777 | 5 | 9 1362.73/1363.27 c 1362s | 21 | 2022682 | 1204045 | 3127 778 | 5 | 9 1364.83/1365.36 c 1364s | 21 | 2024857 | 1205645 | 3127 779 | 5 | 9 1366.94/1367.49 c 1366s | 21 | 2027684 | 1207345 | 3127 780 | 5 | 9 1369.14/1369.61 c 1368s | 21 | 2029716 | 1208945 | 3127 780 | 5 | 9 1371.13/1371.66 c 1370s | 21 | 2032720 | 1210645 | 3127 781 | 5 | 9 1373.13/1373.69 c 1372s | 21 | 2035766 | 1212445 | 3127 782 | 5 | 9 1375.33/1375.81 c 1374s | 21 | 2038488 | 1214245 | 3127 783 | 5 | 9 1377.33/1377.82 c 1376s | 21 | 2040202 | 1215445 | 3127 784 | 5 | 9 1379.43/1379.93 c 1378s | 21 | 2043060 | 1217145 | 3127 785 | 5 | 9 1381.43/1381.95 c 1380s | 21 | 2045671 | 1218745 | 3127 786 | 5 | 9 1383.44/1383.99 c 1382s | 21 | 2048168 | 1220345 | 3127 786 | 5 | 9 1385.53/1386.07 c 1385s | 21 | 2050959 | 1221945 | 3127 787 | 5 | 9 1387.63/1388.19 c 1387s | 21 | 2053034 | 1223345 | 3127 788 | 5 | 9 1389.83/1390.36 c 1389s | 21 | 2055287 | 1224745 | 3127 789 | 5 | 9 1391.93/1392.43 c 1391s | 21 | 2056723 | 1225845 | 3127 789 | 5 | 9 1393.93/1394.48 c 1393s | 21 | 2058494 | 1227145 | 3127 790 | 5 | 9 1396.03/1396.51 c 1395s | 21 | 2060922 | 1228545 | 3127 791 | 5 | 9 1398.03/1398.55 c 1397s | 21 | 2064079 | 1230345 | 3127 792 | 5 | 9 1400.03/1400.56 c 1399s | 21 | 2067190 | 1232245 | 3127 793 | 5 | 9 1402.14/1402.68 c 1401s | 21 | 2069845 | 1234045 | 3127 794 | 5 | 9 1404.13/1404.70 c 1403s | 21 | 2072080 | 1235545 | 3127 795 | 5 | 9 1406.33/1406.82 c 1405s | 21 | 2074770 | 1237145 | 3127 795 | 5 | 9 1408.33/1408.90 c 1407s | 21 | 2077106 | 1238645 | 3127 796 | 5 | 9 1410.43/1410.97 c 1409s | 21 | 2079540 | 1240345 | 3127 797 | 5 | 9 1412.53/1413.02 c 1411s | 21 | 2082543 | 1242345 | 3127 798 | 5 | 9 1414.53/1415.06 c 1414s | 21 | 2085149 | 1244045 | 3127 799 | 5 | 9 1416.63/1417.15 c 1416s | 21 | 2087261 | 1245445 | 3127 800 | 5 | 9 1418.73/1419.20 c 1418s | 21 | 2089461 | 1246945 | 3127 801 | 5 | 9 1420.73/1421.29 c 1420s | 21 | 2091556 | 1248445 | 3127 801 | 5 | 9 1422.83/1423.37 c 1422s | 21 | 2093433 | 1249745 | 3127 802 | 5 | 9 1424.83/1425.39 c 1424s | 21 | 2095073 | 1251045 | 3127 803 | 5 | 9 1427.03/1427.56 c 1426s | 21 | 2096662 | 1252245 | 3127 803 | 5 | 9 1429.13/1429.67 c 1428s | 21 | 2098688 | 1253545 | 3127 804 | 5 | 9 1431.22/1431.71 c 1430s | 21 | 2100075 | 1254545 | 3127 804 | 5 | 9 1433.22/1433.78 c 1432s | 21 | 2101457 | 1255645 | 3127 805 | 5 | 9 1435.32/1435.84 c 1434s | 21 | 2103410 | 1257045 | 3127 806 | 5 | 9 1437.33/1437.87 c 1436s | 21 | 2106273 | 1258745 | 3127 807 | 5 | 9 1439.32/1439.89 c 1438s | 21 | 2108473 | 1260345 | 3127 808 | 5 | 9 1441.42/1441.97 c 1440s | 21 | 2111085 | 1261945 | 3127 808 | 5 | 9 1443.52/1444.03 c 1442s | 21 | 2112953 | 1263245 | 3127 809 | 5 | 9 1445.52/1446.09 c 1445s | 21 | 2115261 | 1264945 | 3127 810 | 5 | 9 1447.62/1448.10 c 1447s | 21 | 2117007 | 1266245 | 3127 811 | 5 | 9 1449.72/1450.30 c 1449s | 21 | 2119560 | 1267845 | 3127 812 | 5 | 9 1451.82/1452.35 c 1451s | 21 | 2122514 | 1269545 | 3127 812 | 5 | 9 1453.92/1454.44 c 1453s | 21 | 2125392 | 1271145 | 3127 813 | 5 | 9 1455.93/1456.50 c 1455s | 21 | 2127794 | 1272645 | 3127 814 | 5 | 9 1458.02/1458.51 c 1457s | 21 | 2131210 | 1274345 | 3127 815 | 5 | 9 1460.12/1460.61 c 1459s | 21 | 2134358 | 1276045 | 3127 816 | 5 | 9 1462.12/1462.68 c 1461s | 21 | 2137308 | 1277845 | 3127 817 | 5 | 9 1464.22/1464.77 c 1463s | 21 | 2141393 | 1279545 | 3127 818 | 5 | 9 1466.22/1466.77 c 1465s | 21 | 2144018 | 1281245 | 3127 819 | 5 | 9 1468.32/1468.87 c 1467s | 21 | 2146102 | 1282645 | 3127 819 | 5 | 9 1470.42/1470.95 c 1469s | 21 | 2148644 | 1284145 | 3127 820 | 5 | 9 1472.52/1473.04 c 1472s | 21 | 2151425 | 1285645 | 3127 821 | 5 | 9 1474.51/1475.10 c 1474s | 21 | 2153477 | 1287045 | 3127 822 | 5 | 9 1476.61/1477.12 c 1476s | 21 | 2154938 | 1288145 | 3127 822 | 5 | 9 1478.61/1479.17 c 1478s | 21 | 2156501 | 1289245 | 3127 823 | 5 | 9 1480.71/1481.29 c 1480s | 21 | 2159246 | 1291145 | 3127 824 | 5 | 9 1482.81/1483.34 c 1482s | 21 | 2161253 | 1292745 | 3127 825 | 5 | 9 1484.81/1485.39 c 1484s | 21 | 2164004 | 1294545 | 3127 826 | 5 | 9 1486.91/1487.44 c 1486s | 21 | 2167515 | 1296545 | 3127 827 | 5 | 9 1488.92/1489.47 c 1488s | 21 | 2171348 | 1298545 | 3127 828 | 5 | 9 1491.01/1491.53 c 1490s | 21 | 2174261 | 1300145 | 3127 829 | 5 | 9 1493.12/1493.63 c 1492s | 21 | 2177173 | 1301845 | 3127 830 | 5 | 9 1495.12/1495.66 c 1494s | 21 | 2179483 | 1303345 | 3127 831 | 5 | 9 1497.12/1497.66 c 1496s | 21 | 2181516 | 1304645 | 3127 831 | 5 | 9 1499.12/1499.69 c 1498s | 21 | 2185426 | 1306345 | 3127 832 | 5 | 9 1501.22/1501.76 c 1500s | 21 | 2188734 | 1308045 | 3127 833 | 5 | 9 1503.32/1503.85 c 1502s | 21 | 2191460 | 1309645 | 3127 834 | 5 | 9 1505.42/1505.96 c 1504s | 21 | 2193679 | 1311045 | 3127 835 | 5 | 9 1507.52/1508.01 c 1506s | 21 | 2196144 | 1312545 | 3127 836 | 5 | 9 1509.62/1510.13 c 1509s | 21 | 2199100 | 1314145 | 3127 836 | 5 | 9 1511.72/1512.28 c 1511s | 21 | 2201254 | 1315445 | 3127 837 | 5 | 9 1513.82/1514.31 c 1513s | 21 | 2204032 | 1316945 | 3127 838 | 5 | 9 1515.82/1516.35 c 1515s | 21 | 2206384 | 1318545 | 3127 839 | 5 | 9 1517.81/1518.35 c 1517s | 21 | 2207876 | 1319745 | 3127 839 | 5 | 9 1519.82/1520.39 c 1519s | 21 | 2213043 | 1321845 | 3127 840 | 5 | 9 1521.92/1522.43 c 1521s | 21 | 2215426 | 1323345 | 3127 841 | 5 | 9 1523.91/1524.44 c 1523s | 21 | 2218328 | 1325045 | 3127 842 | 5 | 9 1525.91/1526.46 c 1525s | 21 | 2220943 | 1326645 | 3127 843 | 5 | 9 1528.01/1528.54 c 1527s | 21 | 2223200 | 1328145 | 3127 844 | 5 | 9 1530.01/1530.58 c 1529s | 21 | 2225093 | 1329445 | 3127 844 | 5 | 9 1532.11/1532.65 c 1531s | 21 | 2226861 | 1330645 | 3127 845 | 5 | 9 1534.31/1534.80 c 1533s | 21 | 2229404 | 1332045 | 3127 846 | 5 | 9 1536.32/1536.87 c 1535s | 21 | 2231851 | 1333845 | 3127 847 | 5 | 9 1538.42/1538.92 c 1537s | 21 | 2234029 | 1335445 | 3127 848 | 5 | 9 1540.41/1540.93 c 1539s | 21 | 2236333 | 1337045 | 3127 849 | 5 | 9 1542.51/1543.00 c 1541s | 21 | 2239091 | 1338645 | 3127 849 | 5 | 9 1544.51/1545.07 c 1544s | 21 | 2241900 | 1340345 | 3127 850 | 5 | 9 1546.71/1547.21 c 1546s | 21 | 2245012 | 1342045 | 3127 851 | 5 | 9 1548.71/1549.27 c 1548s | 21 | 2247093 | 1343445 | 3127 852 | 5 | 9 1550.81/1551.38 c 1550s | 21 | 2249883 | 1345045 | 3127 853 | 5 | 9 1552.91/1553.42 c 1552s | 21 | 2253191 | 1346645 | 3127 854 | 5 | 9 1554.91/1555.47 c 1554s | 21 | 2255488 | 1348045 | 3127 854 | 5 | 9 1557.00/1557.51 c 1556s | 21 | 2257864 | 1349345 | 3127 855 | 5 | 9 1559.10/1559.67 c 1558s | 21 | 2260281 | 1350645 | 3127 856 | 5 | 9 1561.30/1561.81 c 1560s | 21 | 2262038 | 1351745 | 3127 857 | 5 | 9 1563.41/1563.90 c 1562s | 21 | 2265091 | 1353345 | 3127 857 | 5 | 9 1565.50/1566.01 c 1564s | 21 | 2268124 | 1355145 | 3127 858 | 5 | 9 1567.60/1568.10 c 1567s | 21 | 2269944 | 1356645 | 3127 859 | 5 | 9 1569.60/1570.15 c 1569s | 21 | 2272282 | 1358245 | 3127 860 | 5 | 9 1571.70/1572.23 c 1571s | 21 | 2275929 | 1360145 | 3127 861 | 5 | 9 1573.80/1574.32 c 1573s | 21 | 2277930 | 1361445 | 3127 862 | 5 | 9 1576.00/1576.51 c 1575s | 21 | 2280253 | 1363045 | 3127 863 | 5 | 9 1578.01/1578.59 c 1577s | 21 | 2281959 | 1364445 | 3127 863 | 5 | 9 1580.10/1580.62 c 1579s | 21 | 2284875 | 1366245 | 3127 864 | 5 | 9 1582.10/1582.69 c 1581s | 21 | 2287327 | 1367845 | 3127 865 | 5 | 9 1584.20/1584.77 c 1583s | 21 | 2289367 | 1369245 | 3127 866 | 5 | 9 1586.30/1586.80 c 1585s | 21 | 2290977 | 1370545 | 3127 867 | 5 | 9 1588.40/1588.92 c 1587s | 21 | 2293415 | 1372245 | 3127 867 | 5 | 9 1590.50/1591.07 c 1590s | 21 | 2296080 | 1373845 | 3127 868 | 5 | 9 1592.60/1593.10 c 1592s | 21 | 2298320 | 1375245 | 3127 869 | 5 | 9 1594.60/1595.13 c 1594s | 21 | 2300063 | 1376445 | 3127 870 | 5 | 9 1596.70/1597.21 c 1596s | 21 | 2301487 | 1377545 | 3127 870 | 5 | 9 1598.70/1599.23 c 1598s | 21 | 2303431 | 1378745 | 3127 871 | 5 | 9 1600.80/1601.34 c 1600s | 21 | 2305603 | 1380145 | 3127 872 | 5 | 9 1602.90/1603.41 c 1602s | 21 | 2308258 | 1381645 | 3127 873 | 5 | 9 1604.90/1605.41 c 1604s | 21 | 2310412 | 1383045 | 3127 873 | 5 | 9 1607.00/1607.51 c 1606s | 21 | 2312336 | 1384445 | 3127 874 | 5 | 9 1609.00/1609.57 c 1608s | 21 | 2314527 | 1385945 | 3127 875 | 5 | 9 1611.01/1611.57 c 1610s | 21 | 2316621 | 1387345 | 3127 876 | 5 | 9 1613.10/1613.67 c 1612s | 21 | 2319019 | 1388945 | 3127 876 | 5 | 9 1615.20/1615.78 c 1614s | 21 | 2321166 | 1390345 | 3127 877 | 5 | 9 1617.30/1617.83 c 1616s | 21 | 2323252 | 1391845 | 3127 878 | 5 | 9 1619.30/1619.89 c 1618s | 21 | 2324826 | 1393145 | 3127 879 | 5 | 9 1621.50/1622.01 c 1620s | 21 | 2327895 | 1394845 | 3127 880 | 5 | 9 1623.50/1624.10 c 1623s | 21 | 2330155 | 1396345 | 3127 881 | 5 | 9 1625.70/1626.23 c 1625s | 21 | 2332127 | 1397645 | 3127 881 | 5 | 9 1627.80/1628.31 c 1627s | 21 | 2333786 | 1398845 | 3127 882 | 5 | 9 1629.90/1630.40 c 1629s | 21 | 2337091 | 1400745 | 3127 883 | 5 | 9 1631.90/1632.47 c 1631s | 21 | 2339153 | 1402145 | 3127 884 | 5 | 9 1634.10/1634.69 c 1633s | 21 | 2340581 | 1403345 | 3127 884 | 5 | 9 1636.19/1636.77 c 1635s | 21 | 2342198 | 1404545 | 3127 885 | 5 | 9 1638.29/1638.85 c 1637s | 21 | 2344095 | 1406045 | 3127 886 | 5 | 9 1640.39/1640.92 c 1639s | 21 | 2346559 | 1407545 | 3127 887 | 5 | 9 1642.59/1643.10 c 1642s | 21 | 2348627 | 1408945 | 3127 887 | 5 | 9 1644.59/1645.10 c 1644s | 21 | 2350333 | 1410045 | 3127 888 | 5 | 9 1646.59/1647.11 c 1646s | 21 | 2352738 | 1411545 | 3127 889 | 5 | 9 1648.69/1649.26 c 1648s | 21 | 2354738 | 1412845 | 3127 889 | 5 | 9 1650.70/1651.27 c 1650s | 21 | 2356474 | 1413945 | 3127 890 | 5 | 9 1652.80/1653.40 c 1652s | 21 | 2358455 | 1415145 | 3127 891 | 5 | 9 1654.89/1655.43 c 1654s | 21 | 2360330 | 1416445 | 3127 891 | 5 | 9 1656.99/1657.51 c 1656s | 21 | 2362018 | 1417645 | 3127 892 | 5 | 9 1658.99/1659.59 c 1658s | 21 | 2364858 | 1419245 | 3127 893 | 5 | 9 1661.09/1661.66 c 1660s | 21 | 2368138 | 1420845 | 3127 894 | 5 | 9 1663.19/1663.72 c 1662s | 21 | 2370696 | 1422345 | 3127 895 | 5 | 9 1665.19/1665.74 c 1664s | 21 | 2372467 | 1423645 | 3127 895 | 5 | 9 1667.39/1667.95 c 1666s | 21 | 2373977 | 1424845 | 3127 896 | 5 | 9 1669.49/1670.09 c 1669s | 21 | 2376175 | 1426245 | 3127 897 | 5 | 9 1671.59/1672.18 c 1671s | 21 | 2378145 | 1427645 | 3127 897 | 5 | 9 1673.79/1674.33 c 1673s | 21 | 2380658 | 1429145 | 3127 898 | 5 | 9 1675.89/1676.40 c 1675s | 21 | 2382868 | 1430445 | 3127 899 | 5 | 9 1677.89/1678.45 c 1677s | 21 | 2386231 | 1432245 | 3127 900 | 5 | 9 1679.98/1680.55 c 1679s | 21 | 2388455 | 1433745 | 3127 900 | 5 | 9 1681.98/1682.57 c 1681s | 21 | 2390699 | 1435145 | 3127 901 | 5 | 9 1684.08/1684.60 c 1683s | 21 | 2392973 | 1436545 | 3127 902 | 5 | 9 1686.08/1686.69 c 1685s | 21 | 2395284 | 1437845 | 3127 903 | 5 | 9 1688.19/1688.78 c 1687s | 21 | 2397577 | 1439245 | 3127 903 | 5 | 9 1690.29/1690.89 c 1689s | 21 | 2399850 | 1440945 | 3127 904 | 5 | 9 1692.49/1693.01 c 1691s | 21 | 2402040 | 1442445 | 3127 905 | 5 | 9 1694.49/1695.10 c 1694s | 21 | 2404020 | 1443745 | 3127 905 | 5 | 9 1696.58/1697.17 c 1696s | 21 | 2405879 | 1445045 | 3127 906 | 5 | 9 1698.69/1699.26 c 1698s | 21 | 2407604 | 1446145 | 3127 907 | 5 | 9 1700.88/1701.42 c 1700s | 21 | 2409143 | 1447245 | 3127 907 | 5 | 9 1702.88/1703.45 c 1702s | 21 | 2410328 | 1448145 | 3127 908 | 5 | 9 1704.98/1705.56 c 1704s | 21 | 2412342 | 1449345 | 3127 908 | 5 | 9 1707.08/1707.61 c 1706s | 21 | 2414381 | 1450345 | 3127 909 | 5 | 9 1709.08/1709.69 c 1708s | 21 | 2418142 | 1452045 | 3127 910 | 5 | 9 1711.19/1711.73 c 1710s | 21 | 2422055 | 1454045 | 3127 911 | 5 | 9 1713.29/1713.85 c 1712s | 21 | 2424507 | 1455545 | 3127 912 | 5 | 9 1715.38/1715.94 c 1714s | 21 | 2427743 | 1457245 | 3127 913 | 5 | 9 1717.38/1717.97 c 1716s | 21 | 2430203 | 1458745 | 3127 913 | 5 | 9 1719.48/1720.01 c 1718s | 21 | 2432812 | 1460245 | 3127 914 | 5 | 9 1721.58/1722.19 c 1721s | 21 | 2434739 | 1461545 | 3127 915 | 5 | 9 1723.68/1724.21 c 1723s | 21 | 2436880 | 1462845 | 3127 916 | 5 | 9 1725.68/1726.24 c 1725s | 21 | 2439407 | 1464145 | 3127 916 | 5 | 9 1727.78/1728.37 c 1727s | 21 | 2442188 | 1465445 | 3127 917 | 5 | 9 1729.88/1730.41 c 1729s | 21 | 2444266 | 1466745 | 3127 918 | 5 | 9 1731.88/1732.44 c 1731s | 21 | 2446287 | 1467945 | 3127 918 | 5 | 9 1733.88/1734.45 c 1733s | 21 | 2448399 | 1469145 | 3127 919 | 5 | 9 1735.98/1736.52 c 1735s | 21 | 2451334 | 1470945 | 3127 920 | 5 | 9 1738.08/1738.61 c 1737s | 21 | 2453557 | 1472545 | 3127 921 | 5 | 9 1740.18/1740.79 c 1739s | 21 | 2455459 | 1474045 | 3127 922 | 5 | 9 1742.38/1742.92 c 1741s | 21 | 2458629 | 1475845 | 3127 923 | 5 | 9 1744.48/1745.02 c 1743s | 21 | 2461430 | 1477745 | 3127 924 | 5 | 9 1746.48/1747.06 c 1746s | 21 | 2464973 | 1479745 | 3127 925 | 5 | 9 1748.48/1749.08 c 1748s | 21 | 2468886 | 1481845 | 3127 926 | 5 | 9 1750.57/1751.13 c 1750s | 21 | 2471449 | 1483645 | 3127 927 | 5 | 9 1752.57/1753.14 c 1752s | 21 | 2473922 | 1485345 | 3127 927 | 5 | 9 1754.67/1755.21 c 1754s | 21 | 2476583 | 1487145 | 3127 928 | 5 | 9 1756.77/1757.31 c 1756s | 21 | 2479491 | 1489145 | 3127 929 | 5 | 9 1758.77/1759.35 c 1758s | 21 | 2482349 | 1490945 | 3440 930 | 5 | 9 1760.77/1761.39 c 1760s | 21 | 2484862 | 1492645 | 3440 931 | 5 | 9 1762.88/1763.42 c 1762s | 21 | 2487318 | 1494345 | 3440 932 | 5 | 9 1764.87/1765.44 c 1764s | 21 | 2489390 | 1495845 | 3440 933 | 5 | 9 1766.97/1767.59 c 1766s | 21 | 2491295 | 1497345 | 3440 933 | 5 | 9 1769.17/1769.71 c 1768s | 21 | 2495074 | 1499345 | 3440 934 | 5 | 9 1770.47/1771.07 c 1770s | 22 | 2497421 | 1500622 | 3440 935 | 5 | 9 1772.57/1773.11 c 1772s | 22 | 2503455 | 1503222 | 3440 936 | 5 | 9 1774.67/1775.24 c 1774s | 22 | 2507861 | 1505322 | 3440 937 | 5 | 9 1776.77/1777.32 c 1776s | 22 | 2511121 | 1507322 | 3440 938 | 5 | 9 1778.78/1779.37 c 1778s | 22 | 2514005 | 1509122 | 3440 939 | 5 | 9 1780.78/1781.39 c 1780s | 22 | 2516481 | 1510522 | 3440 940 | 5 | 9 1782.98/1783.52 c 1782s | 22 | 2519389 | 1512222 | 3440 941 | 5 | 9 1784.97/1785.52 c 1784s | 22 | 2522108 | 1513822 | 3440 941 | 5 | 9 1787.08/1787.62 c 1786s | 22 | 2524747 | 1515222 | 3440 942 | 5 | 9 1789.07/1789.67 c 1788s | 22 | 2527985 | 1517022 | 3440 943 | 5 | 9 1791.17/1791.77 c 1790s | 22 | 2530410 | 1518722 | 3440 944 | 5 | 9 1793.27/1793.80 c 1792s | 22 | 2534775 | 1520922 | 3440 945 | 5 | 9 1795.27/1795.81 c 1794s | 22 | 2538416 | 1522722 | 3440 946 | 5 | 9 1797.37/1797.93 c 1796s | 22 | 2541533 | 1524522 | 3440 947 | 5 | 9 1799.37/1799.98 c 1798s | 22 | 2544866 | 1526022 | 3440 947 | 5 | 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-4079451-1465224088/watcher-4079451-1465224088 -o /tmp/evaluation-result-4079451-1465224088/solver-4079451-1465224088 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8445 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079451-1465224088.opb pid=9597 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.09 2.06 4/179 9600 /proc/meminfo: memFree=30601040/32872528 swapFree=11196/354588 [pid=9600] ppid=9597 vsize=671164 CPUtime=0 cores=0,2,4,6 /proc/9600/stat : 9600 (toysat) R 9597 9600 8429 0 -1 4202496 2494 0 0 0 0 0 0 0 20 0 4 0 104342314 687271936 3365 33554432000 4194304 16246674 140736794037088 140736794036512 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9600/statm: 168559 3375 441 2943 0 165453 0 [pid=9600/tid=9601] ppid=9597 vsize=689596 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9601/stat : 9601 (toysat) S 9597 9600 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104342314 706146304 3437 33554432000 4194304 16246674 140736794037088 139974148074736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9600/tid=9602] ppid=9597 vsize=694716 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9602/stat : 9602 (toysat) S 9597 9600 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104342314 711389184 3454 33554432000 4194304 16246674 140736794037088 139974137584880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9600/tid=9603] ppid=9597 vsize=698812 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 715583488 3472 33554432000 4194304 16246674 140736794037088 139974057913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100136 s] /proc/loadavg: 2.06 2.09 2.06 4/179 9600 /proc/meminfo: memFree=30601040/32872528 swapFree=11196/354588 [pid=9600] ppid=9597 vsize=1220164 CPUtime=0.09 cores=0,2,4,6 /proc/9600/stat : 9600 (toysat) R 9597 9600 8429 0 -1 4202496 19561 0 0 0 7 2 0 0 20 0 4 0 104342314 1249447936 20379 33554432000 4194304 16246674 140736794037088 140736794036400 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9600/statm: 305041 20384 891 2943 0 301935 0 [pid=9600/tid=9601] ppid=9597 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9601/stat : 9601 (toysat) S 9597 9600 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104342314 1249447936 20393 33554432000 4194304 16246674 140736794037088 139974148074736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9600/tid=9602] ppid=9597 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9602/stat : 9602 (toysat) S 9597 9600 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104342314 1249447936 20402 33554432000 4194304 16246674 140736794037088 139974137584880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9600/tid=9603] ppid=9597 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 1249447936 20411 33554432000 4194304 16246674 140736794037088 139974057913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200531 s] /proc/loadavg: 2.06 2.09 2.06 4/179 9600 /proc/meminfo: memFree=30601040/32872528 swapFree=11196/354588 [pid=9600] ppid=9597 vsize=1220164 CPUtime=0.19 cores=0,2,4,6 /proc/9600/stat : 9600 (toysat) R 9597 9600 8429 0 -1 4202496 44429 0 0 0 13 6 0 0 20 0 4 0 104342314 1249447936 45248 33554432000 4194304 16246674 140736794037088 140736794036400 12654121 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9600/statm: 305041 45264 909 2943 0 301935 0 [pid=9600/tid=9601] ppid=9597 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9601/stat : 9601 (toysat) S 9597 9600 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104342314 1249447936 45273 33554432000 4194304 16246674 140736794037088 139974148074736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9600/tid=9602] ppid=9597 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9602/stat : 9602 (toysat) S 9597 9600 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104342314 1249447936 45282 33554432000 4194304 16246674 140736794037088 139974137584880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9600/tid=9603] ppid=9597 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 1249447936 45291 33554432000 4194304 16246674 140736794037088 139974057913520 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) 1220164 [startup+0.300427 s] /proc/loadavg: 2.06 2.09 2.06 4/179 9600 /proc/meminfo: memFree=30601040/32872528 swapFree=11196/354588 [pid=9600] ppid=9597 vsize=1220164 CPUtime=0.29 cores=0,2,4,6 /proc/9600/stat : 9600 (toysat) R 9597 9600 8429 0 -1 4202496 75183 0 0 0 19 10 0 0 20 0 4 0 104342314 1249447936 76002 33554432000 4194304 16246674 140736794037088 140736794036400 5587389 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9600/statm: 305041 76017 909 2943 0 301935 0 [pid=9600/tid=9601] ppid=9597 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9601/stat : 9601 (toysat) S 9597 9600 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104342314 1249447936 76030 33554432000 4194304 16246674 140736794037088 139974148074736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9600/tid=9602] ppid=9597 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9602/stat : 9602 (toysat) S 9597 9600 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104342314 1249447936 76046 33554432000 4194304 16246674 140736794037088 139974137584880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9600/tid=9603] ppid=9597 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 1249447936 76054 33554432000 4194304 16246674 140736794037088 139974057913520 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) 1220164 [startup+0.700423 s] /proc/loadavg: 2.06 2.09 2.06 4/179 9600 /proc/meminfo: memFree=30601040/32872528 swapFree=11196/354588 [pid=9600] ppid=9597 vsize=1303108 CPUtime=0.68 cores=0,2,4,6 /proc/9600/stat : 9600 (toysat) R 9597 9600 8429 0 -1 4202496 146542 0 0 0 49 19 0 0 20 0 4 0 104342314 1334382592 147361 33554432000 4194304 16246674 140736794037088 140736794019008 12449273 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9600/statm: 325777 147381 913 2943 0 322671 0 [pid=9600/tid=9601] ppid=9597 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9601/stat : 9601 (toysat) S 9597 9600 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104342314 1334382592 147391 33554432000 4194304 16246674 140736794037088 139974148074736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9600/tid=9602] ppid=9597 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9602/stat : 9602 (toysat) S 9597 9600 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104342314 1334382592 147402 33554432000 4194304 16246674 140736794037088 139974137584880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9600/tid=9603] ppid=9597 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 1334382592 147412 33554432000 4194304 16246674 140736794037088 139974057913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1303108 [startup+1.50051 s] /proc/loadavg: 2.13 2.10 2.07 3/183 9604 /proc/meminfo: memFree=29564992/32872528 swapFree=11196/354588 [pid=9600] ppid=9597 vsize=1307204 CPUtime=1.49 cores=0,2,4,6 /proc/9600/stat : 9600 (toysat) R 9597 9600 8429 0 -1 4202496 267827 0 0 0 114 35 0 0 20 0 4 0 104342314 1338576896 268645 33554432000 4194304 16246674 140736794037088 140736794019008 13192316 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9600/statm: 326801 268645 919 2943 0 323695 0 [pid=9600/tid=9601] ppid=9597 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9601/stat : 9601 (toysat) S 9597 9600 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104342314 1338576896 268645 33554432000 4194304 16246674 140736794037088 139974148074736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9600/tid=9602] ppid=9597 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9602/stat : 9602 (toysat) S 9597 9600 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104342314 1338576896 268645 33554432000 4194304 16246674 140736794037088 139974137584880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9600/tid=9603] ppid=9597 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 1338576896 268645 33554432000 4194304 16246674 140736794037088 139974057913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1307204 [startup+3.10044 s] /proc/loadavg: 2.13 2.10 2.07 3/183 9604 /proc/meminfo: memFree=29525436/32872528 swapFree=11196/354588 [pid=9600] ppid=9597 vsize=1308228 CPUtime=3.09 cores=0,2,4,6 /proc/9600/stat : 9600 (toysat) R 9597 9600 8429 0 -1 4202496 268257 0 0 0 274 35 0 0 20 0 4 0 104342314 1339625472 269075 33554432000 4194304 16246674 140736794037088 140736794019008 6836953 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9600/statm: 327057 269075 922 2943 0 323951 0 [pid=9600/tid=9601] ppid=9597 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9601/stat : 9601 (toysat) S 9597 9600 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104342314 1339625472 269075 33554432000 4194304 16246674 140736794037088 139974148074736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9600/tid=9602] ppid=9597 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9602/stat : 9602 (toysat) S 9597 9600 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104342314 1339625472 269075 33554432000 4194304 16246674 140736794037088 139974137584880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9600/tid=9603] ppid=9597 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 1339625472 269075 33554432000 4194304 16246674 140736794037088 139974057913520 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) 1308228 [startup+6.30042 s] /proc/loadavg: 2.13 2.10 2.07 3/183 9604 /proc/meminfo: memFree=29525168/32872528 swapFree=11196/354588 [pid=9600] ppid=9597 vsize=1309252 CPUtime=6.29 cores=0,2,4,6 /proc/9600/stat : 9600 (toysat) R 9597 9600 8429 0 -1 4202496 268265 0 0 0 594 35 0 0 20 0 4 0 104342314 1340674048 269083 33554432000 4194304 16246674 140736794037088 140736794019008 5754801 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9600/statm: 327313 269083 922 2943 0 324207 0 [pid=9600/tid=9601] ppid=9597 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9601/stat : 9601 (toysat) S 9597 9600 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104342314 1340674048 269083 33554432000 4194304 16246674 140736794037088 139974148074736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9600/tid=9602] ppid=9597 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9602/stat : 9602 (toysat) S 9597 9600 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104342314 1340674048 269083 33554432000 4194304 16246674 140736794037088 139974137584880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9600/tid=9603] ppid=9597 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 1340674048 269083 33554432000 4194304 16246674 140736794037088 139974057913520 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) 1309252 [startup+12.7004 s] /proc/loadavg: 2.11 2.10 2.06 3/183 9604 /proc/meminfo: memFree=29524316/32872528 swapFree=11196/354588 [pid=9600] ppid=9597 vsize=1309252 CPUtime=12.69 cores=0,2,4,6 /proc/9600/stat : 9600 (toysat) R 9597 9600 8429 0 -1 4202496 268514 0 0 0 1234 35 0 0 20 0 4 0 104342314 1340674048 269332 33554432000 4194304 16246674 140736794037088 140736794019008 5712566 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9600/statm: 327313 269332 923 2943 0 324207 0 [pid=9600/tid=9601] ppid=9597 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9601/stat : 9601 (toysat) S 9597 9600 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104342314 1340674048 269332 33554432000 4194304 16246674 140736794037088 139974148074736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9600/tid=9602] ppid=9597 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9602/stat : 9602 (toysat) S 9597 9600 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104342314 1340674048 269332 33554432000 4194304 16246674 140736794037088 139974137584880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9600/tid=9603] ppid=9597 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 1340674048 269332 33554432000 4194304 16246674 140736794037088 139974057913520 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.5006 s] /proc/loadavg: 2.10 2.09 2.06 3/183 9604 /proc/meminfo: memFree=29525020/32872528 swapFree=11196/354588 [pid=9600] ppid=9597 vsize=1309252 CPUtime=25.48 cores=0,2,4,6 /proc/9600/stat : 9600 (toysat) R 9597 9600 8429 0 -1 4202496 268514 0 0 0 2513 35 0 0 20 0 4 0 104342314 1340674048 269332 33554432000 4194304 16246674 140736794037088 140736794019008 6049921 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9600/statm: 327313 269332 923 2943 0 324207 0 [pid=9600/tid=9601] ppid=9597 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9601/stat : 9601 (toysat) S 9597 9600 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104342314 1340674048 269332 33554432000 4194304 16246674 140736794037088 139974148074736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9600/tid=9602] ppid=9597 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9602/stat : 9602 (toysat) S 9597 9600 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104342314 1340674048 269332 33554432000 4194304 16246674 140736794037088 139974137584880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9600/tid=9603] ppid=9597 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 1340674048 269332 33554432000 4194304 16246674 140736794037088 139974057913520 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.1006 s] /proc/loadavg: 2.19 2.12 2.07 3/183 9604 /proc/meminfo: memFree=29524996/32872528 swapFree=11196/354588 [pid=9600] ppid=9597 vsize=1309252 CPUtime=51.08 cores=0,2,4,6 /proc/9600/stat : 9600 (toysat) R 9597 9600 8429 0 -1 4202496 268514 0 0 0 5072 36 0 0 20 0 4 0 104342314 1340674048 269332 33554432000 4194304 16246674 140736794037088 140736794019008 13962172 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9600/statm: 327313 269332 923 2943 0 324207 0 [pid=9600/tid=9601] ppid=9597 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9601/stat : 9601 (toysat) S 9597 9600 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104342314 1340674048 269332 33554432000 4194304 16246674 140736794037088 139974148074736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9600/tid=9602] ppid=9597 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9602/stat : 9602 (toysat) S 9597 9600 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104342314 1340674048 269332 33554432000 4194304 16246674 140736794037088 139974137584880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9600/tid=9603] ppid=9597 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 1340674048 269332 33554432000 4194304 16246674 140736794037088 139974057913520 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) 1309252 [startup+102.301 s] /proc/loadavg: 2.08 2.10 2.07 3/183 9605 /proc/meminfo: memFree=29524428/32872528 swapFree=11196/354588 [pid=9600] ppid=9597 vsize=1309252 CPUtime=102.28 cores=0,2,4,6 /proc/9600/stat : 9600 (toysat) R 9597 9600 8429 0 -1 4202496 268514 0 0 0 10192 36 0 0 20 0 4 0 104342314 1340674048 269332 33554432000 4194304 16246674 140736794037088 140736794019008 5545903 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9600/statm: 327313 269332 923 2943 0 324207 0 [pid=9600/tid=9601] ppid=9597 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9601/stat : 9601 (toysat) S 9597 9600 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104342314 1340674048 269332 33554432000 4194304 16246674 140736794037088 139974148074736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9600/tid=9602] ppid=9597 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9602/stat : 9602 (toysat) S 9597 9600 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104342314 1340674048 269332 33554432000 4194304 16246674 140736794037088 139974137584880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9600/tid=9603] ppid=9597 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 1340674048 269332 33554432000 4194304 16246674 140736794037088 139974057913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1309252 ################ # More data... # ################ /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974057913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 1317444 [startup+1302.3 s] /proc/loadavg: 2.09 2.10 2.09 3/183 9706 /proc/meminfo: memFree=29514852/32872528 swapFree=11196/354588 [pid=9600] ppid=9597 vsize=1317444 CPUtime=1301.85 cores=0,2,4,6 /proc/9600/stat : 9600 (toysat) R 9597 9600 8429 0 -1 4202496 270967 0 0 0 130113 72 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 140736794019008 5545907 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9600/statm: 329361 271383 923 2943 0 326255 0 [pid=9600/tid=9601] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9601/stat : 9601 (toysat) S 9597 9600 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974148074736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9600/tid=9602] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9602/stat : 9602 (toysat) S 9597 9600 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974137584880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9600/tid=9603] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974057913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1317444 [startup+1362.3 s] /proc/loadavg: 2.12 2.11 2.09 3/183 9707 /proc/meminfo: memFree=29514604/32872528 swapFree=11196/354588 [pid=9600] ppid=9597 vsize=1317444 CPUtime=1361.83 cores=0,2,4,6 /proc/9600/stat : 9600 (toysat) R 9597 9600 8429 0 -1 4202496 270967 0 0 0 136111 72 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 140736794019008 6836120 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9600/statm: 329361 271383 923 2943 0 326255 0 [pid=9600/tid=9601] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9601/stat : 9601 (toysat) S 9597 9600 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974148074736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9600/tid=9602] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9602/stat : 9602 (toysat) S 9597 9600 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974137584880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9600/tid=9603] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974057913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1317444 [startup+1422.3 s] /proc/loadavg: 2.12 2.11 2.09 3/183 9709 /proc/meminfo: memFree=29514360/32872528 swapFree=11196/354588 [pid=9600] ppid=9597 vsize=1317444 CPUtime=1421.83 cores=0,2,4,6 /proc/9600/stat : 9600 (toysat) R 9597 9600 8429 0 -1 4202496 270967 0 0 0 142110 73 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 140736794019008 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9600/statm: 329361 271383 923 2943 0 326255 0 [pid=9600/tid=9601] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9601/stat : 9601 (toysat) S 9597 9600 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974148074736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9600/tid=9602] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9602/stat : 9602 (toysat) S 9597 9600 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974137584880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9600/tid=9603] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974057913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1317444 [startup+1482.3 s] /proc/loadavg: 2.18 2.13 2.09 3/183 9710 /proc/meminfo: memFree=29514492/32872528 swapFree=11196/354588 [pid=9600] ppid=9597 vsize=1317444 CPUtime=1481.81 cores=0,2,4,6 /proc/9600/stat : 9600 (toysat) R 9597 9600 8429 0 -1 4202496 270967 0 0 0 148107 74 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 140736794020088 5546072 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9600/statm: 329361 271383 923 2943 0 326255 0 [pid=9600/tid=9601] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9601/stat : 9601 (toysat) S 9597 9600 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974148074736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9600/tid=9602] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9602/stat : 9602 (toysat) S 9597 9600 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974137584880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9600/tid=9603] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974057913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 1317444 [startup+1542.31 s] /proc/loadavg: 2.06 2.10 2.09 3/183 9711 /proc/meminfo: memFree=29514492/32872528 swapFree=11196/354588 [pid=9600] ppid=9597 vsize=1317444 CPUtime=1541.81 cores=0,2,4,6 /proc/9600/stat : 9600 (toysat) R 9597 9600 8429 0 -1 4202496 270967 0 0 0 154106 75 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 140736794019008 5545988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9600/statm: 329361 271383 923 2943 0 326255 0 [pid=9600/tid=9601] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9601/stat : 9601 (toysat) S 9597 9600 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974148074736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9600/tid=9602] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9602/stat : 9602 (toysat) S 9597 9600 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974137584880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9600/tid=9603] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974057913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1317444 [startup+1602.3 s] /proc/loadavg: 2.02 2.08 2.08 3/183 9712 /proc/meminfo: memFree=29514472/32872528 swapFree=11196/354588 [pid=9600] ppid=9597 vsize=1317444 CPUtime=1601.8 cores=0,2,4,6 /proc/9600/stat : 9600 (toysat) R 9597 9600 8429 0 -1 4202496 270967 0 0 0 160103 77 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 140736794019008 13191314 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9600/statm: 329361 271383 923 2943 0 326255 0 [pid=9600/tid=9601] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9601/stat : 9601 (toysat) S 9597 9600 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974148074736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9600/tid=9602] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9602/stat : 9602 (toysat) S 9597 9600 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974137584880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9600/tid=9603] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974057913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1317444 [startup+1662.3 s] /proc/loadavg: 2.04 2.08 2.08 3/183 9713 /proc/meminfo: memFree=29514344/32872528 swapFree=11196/354588 [pid=9600] ppid=9597 vsize=1317444 CPUtime=1661.79 cores=0,2,4,6 /proc/9600/stat : 9600 (toysat) R 9597 9600 8429 0 -1 4202496 270967 0 0 0 166102 77 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 140736794019008 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9600/statm: 329361 271383 923 2943 0 326255 0 [pid=9600/tid=9601] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9601/stat : 9601 (toysat) S 9597 9600 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974148074736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9600/tid=9602] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9602/stat : 9602 (toysat) S 9597 9600 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974137584880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9600/tid=9603] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974057913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1317444 [startup+1722.3 s] /proc/loadavg: 2.09 2.08 2.08 3/184 9718 /proc/meminfo: memFree=29513128/32872528 swapFree=11196/354588 [pid=9600] ppid=9597 vsize=1317444 CPUtime=1721.78 cores=0,2,4,6 /proc/9600/stat : 9600 (toysat) R 9597 9600 8429 0 -1 4202496 270967 0 0 0 172098 80 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 140736794019008 5545844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9600/statm: 329361 271383 923 2943 0 326255 0 [pid=9600/tid=9601] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9601/stat : 9601 (toysat) S 9597 9600 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974148074736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9600/tid=9602] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9602/stat : 9602 (toysat) S 9597 9600 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974137584880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9600/tid=9603] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974057913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1317444 [startup+1782.3 s] /proc/loadavg: 2.03 2.06 2.07 3/183 9719 /proc/meminfo: memFree=29512920/32872528 swapFree=11196/354588 [pid=9600] ppid=9597 vsize=1317444 CPUtime=1781.78 cores=0,2,4,6 /proc/9600/stat : 9600 (toysat) R 9597 9600 8429 0 -1 4202496 270967 0 0 0 178095 83 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 140736794019008 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9600/statm: 329361 271383 923 2943 0 326255 0 [pid=9600/tid=9601] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9601/stat : 9601 (toysat) S 9597 9600 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974148074736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9600/tid=9602] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9602/stat : 9602 (toysat) S 9597 9600 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974137584880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9600/tid=9603] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974057913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1317444 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.10 2.07 2.08 3/183 9720 /proc/meminfo: memFree=29512764/32872528 swapFree=11196/354588 [pid=9600] ppid=9597 vsize=1317444 CPUtime=1800.07 cores=0,2,4,6 /proc/9600/stat : 9600 (toysat) R 9597 9600 8429 0 -1 4202496 270967 0 0 0 179924 83 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 140736794019008 13950218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9600/statm: 329361 271383 923 2943 0 326255 0 [pid=9600/tid=9601] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9601/stat : 9601 (toysat) S 9597 9600 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974148074736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9600/tid=9602] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9602/stat : 9602 (toysat) S 9597 9600 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974137584880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9600/tid=9603] ppid=9597 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/9600/task/9603/stat : 9603 (toysat) S 9597 9600 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104342314 1349062656 271383 33554432000 4194304 16246674 140736794037088 139974057913520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1317444 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 9600 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.08 CPU user time (s): 1799.25 CPU system time (s): 0.834873 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 1317444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.25 system time used= 0.834873 maximum resident set size= 1085532 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270967 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= 421 involuntary context switches= 1963 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.78966 second user time and 19.514 second system time The end
Begin job on node126 at 2016-06-06 16:41:29 IDJOB=4079451 IDBENCH=1856 IDSOLVER=2542 FILE ID=node126/4079451-1465224088 RUNJOBID= node126-1465218023-8445 PBS_JOBID= 19843210 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079451-1465224088/watcher-4079451-1465224088 -o /tmp/evaluation-result-4079451-1465224088/solver-4079451-1465224088 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8445 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079451-1465224088.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8d2c17131f0dd6c2b5d472cf1eef4c89 RANDOM SEED=462907089 node126.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.500 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.00 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.500 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.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30601204 kB Buffers: 13988 kB Cached: 114148 kB SwapCached: 2268 kB Active: 1164460 kB Inactive: 52988 kB Active(anon): 1089452 kB Inactive(anon): 2384 kB Active(file): 75008 kB Inactive(file): 50604 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098524 kB Dirty: 16332 kB Writeback: 0 kB AnonPages: 1443004 kB Mapped: 10700 kB Shmem: 0 kB Slab: 566580 kB SReclaimable: 10828 kB SUnreclaim: 555752 kB KernelStack: 1488 kB PageTables: 7104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1586928 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1171456 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= 71708 MiB End job on node126 at 2016-06-06 17:11:29