| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.04 | 1800.61 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb |
| MD5SUM | 4d7adbd65e64509ef53d6e98bf824cab |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.015997 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1860 |
| Total number of constraints | 122 |
| Number of constraints which are clauses | 62 |
| Number of constraints which are cardinality constraints (but not clauses) | 60 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 30 |
| Maximum length of a constraint | 31 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 32 |
| Number of bits of the biggest sum of numbers | 6 |
| 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-06T15:52:46+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-4078600-1465221166.opb"] 0.00/0.01 c use --random-gen="3490367726 4223786537 3441374037 2845878324 324160246 3357654819 2926605261 2555126323 1431182425 1987046632 4128602290 2473110096 2235993540 3818354119 1209267724 3698227701 335129181 759867629 1009139628 632293410 1422734725 3923204331 4059005970 2882083889 2912213866 3378071395 3395186443 1357648673 1187249035 3263062316 3541676174 3108904198 3020488625 1388038906 373287835 2245468648 2493456877 3731095249 2571956993 2524083057 3238030613 3370067646 3061260917 4101686594 4263133639 427524763 2631528968 2510603669 2688035331 3963035335 2401244426 3201502630 3730312386 1170745320 2979243975 2754552351 606875332 3997567505 212363551 3738405054 2412902411 2135261759 4107027711 2839402964 1578371581 949719050 450932232 211316377 4203736284 589709629 1648444851 1563953117 2927573272 3083086013 3435614425 341092409 528804307 1061666833 3339176059 4164729021 1139055612 1218849629 1135511571 2395570720 2870532936 685108964 3110799885 4244184517 3442505292 3405372267 3438510194 2636720698 3225929905 123932440 3905794226 460220537 3169443322 119647699 183685770 2376893632 2164423223 1068287706 2945544858 2073744482 2017069328 3156799168 643628668 2880009297 1338916526 161509934 3396606939 746845899 628811163 3063056788 3112601339 3050621768 1016043071 4235627543 3682154366 4245768002 2812623806 4109101724 1850998459 2203228050 4263527277 4292197482 3234704505 2889809274 3773658873 3544611367 2698027177 742348873 3186582672 890392340 1087473756 3584858450 2352297083 2711788079 3743534653 2457274463 678945682 4042913410 2219751442 3546369278 759846343 2543497283 37725448 3721022400 54011093 1405272579 1110413971 1006180655 170350934 4234756159 3025024078 2834706754 207228769 1220563931 229939672 223136410 2574855820 769544626 4209627632 1630085176 2784626024 3557918510 3445651624 814867315 565138161 2850890943 1410452869 2759343924 2840292657 145285875 477959490 2682575831 1989706670 2683707141 2636204962 3812192555 3259353979 2872667713 1620453051 2143355431 872658896 3901195948 3309837852 1655984814 3096432432 116928125 3601319923 1192454509 3437217941 437055797 2573090522 2018949796 3741484344 998989619 2432558424 386667636 2003880978 2583735429 3222255539 994896074 306057167 2425872340 1680039257 1585463726 382440571 3778775769 2270155598 1665484827 824851468 2322307986 1290594501 640691598 3376387182 2147105089 724698796 566668919 314826302 174779494 586735916 860967439 4169799462 13257088 858499389 2337350036 3725342160 1129606216 3435938803 877737242 245733556 1806098235 4066149062 1269875265 2447011909 2877334283 949954789 3017067994 3834297921 2601085043 735286565 1337013291 95518714 1791256482 904804341 3503107066 2062641214 3584132045 1099773416 319731004 786989030 3305708865 2806721635 1270247360 255 362436" option to reproduce the execution 0.00/0.02 c #vars 1860 0.00/0.02 c #constraints 122 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 660 0 | 0 | 0 0.00/0.06 c 0.0s | 1 | 141 | 100 | 660 0 | 0 | 0 0.09/0.13 c 0.1s | 2 | 769 | 250 | 727 0 | 0 | 0 0.19/0.22 c 0.2s | 3 | 1522 | 475 | 800 0 | 0 | 0 0.39/0.43 c 0.4s | 4 | 2428 | 813 | 881 0 | 0 | 0 0.69/0.76 c 0.7s | 5 | 3560 | 1320 | 970 0 | 0 | 0 1.10/1.12 c 1.1s | 6 | 6009 | 2081 | 1174 1 | 0 | 0 1.69/1.74 c 1.7s | 7 | 8132 | 3223 | 1292 2 | 0 | 0 2.79/2.88 c 2.9s | 8 | 11793 | 4936 | 1422 4 | 0 | 0 4.40/4.47 c 4.4s | 9 | 16294 | 7506 | 1565 6 | 0 | 0 6.39/6.48 c 6.5s | 9 | 20077 | 9806 | 1565 8 | 0 | 0 8.19/8.23 c 8.2s | 10 | 21856 | 11361 | 1722 9 | 0 | 0 10.19/10.26 c 10.2s | 10 | 25419 | 13661 | 1722 11 | 0 | 0 12.29/12.32 c 12.3s | 10 | 27658 | 15661 | 1722 13 | 0 | 0 13.49/13.58 c 13.6s | 11 | 29331 | 17144 | 1895 14 | 0 | 0 15.59/15.63 c 15.6s | 11 | 34862 | 21244 | 1895 17 | 0 | 0 17.60/17.67 c 17.6s | 11 | 39490 | 23844 | 1895 19 | 0 | 0 19.39/19.40 c 19.4s | 12 | 41839 | 25819 | 2085 20 | 0 | 0 21.39/21.43 c 21.4s | 12 | 46074 | 29119 | 2085 23 | 0 | 0 23.39/23.43 c 23.4s | 12 | 49351 | 32019 | 2085 25 | 0 | 0 25.49/25.51 c 25.5s | 12 | 52328 | 34719 | 2085 26 | 0 | 0 27.50/27.55 c 27.5s | 12 | 55095 | 37219 | 2085 28 | 0 | 0 28.70/28.73 c 28.7s | 13 | 56928 | 38832 | 2294 29 | 0 | 0 30.80/30.81 c 30.8s | 13 | 61706 | 42532 | 2294 32 | 0 | 0 32.79/32.87 c 32.8s | 13 | 64915 | 45432 | 2294 33 | 0 | 0 34.88/34.90 c 34.9s | 13 | 68317 | 48432 | 2294 35 | 0 | 0 36.88/36.96 c 36.9s | 13 | 71534 | 51232 | 2294 37 | 0 | 0 38.88/38.99 c 39.0s | 13 | 74503 | 53932 | 2294 39 | 0 | 0 40.98/41.02 c 41.0s | 13 | 77493 | 56632 | 2294 41 | 0 | 0 41.98/42.02 c 42.0s | 14 | 79467 | 58352 | 2524 41 | 0 | 0 43.99/44.10 c 44.1s | 14 | 84078 | 61752 | 2524 43 | 0 | 0 46.08/46.13 c 46.1s | 14 | 86930 | 64352 | 2524 45 | 0 | 0 48.08/48.16 c 48.1s | 14 | 89916 | 66952 | 2524 46 | 0 | 0 50.08/50.18 c 50.2s | 14 | 92514 | 69252 | 2524 48 | 0 | 0 52.08/52.18 c 52.2s | 14 | 95668 | 71952 | 2524 49 | 0 | 0 54.18/54.27 c 54.2s | 14 | 98667 | 74352 | 2524 50 | 0 | 0 56.29/56.30 c 56.3s | 14 | 101776 | 77052 | 2524 52 | 0 | 0 58.30/58.31 c 58.3s | 14 | 104587 | 79452 | 2524 53 | 0 | 0 60.29/60.36 c 60.3s | 14 | 107622 | 82152 | 2524 55 | 0 | 0 62.29/62.39 c 62.4s | 14 | 110399 | 84552 | 2524 56 | 0 | 0 64.39/64.44 c 64.4s | 14 | 113423 | 87252 | 2777 58 | 0 | 0 64.69/64.71 c 64.7s | 15 | 113855 | 87632 | 2777 58 | 0 | 0 66.68/66.78 c 66.8s | 15 | 118105 | 90632 | 2777 59 | 0 | 0 68.78/68.80 c 68.8s | 15 | 120535 | 92732 | 2777 60 | 0 | 0 70.78/70.80 c 70.8s | 15 | 122736 | 94732 | 2777 61 | 0 | 0 72.78/72.81 c 72.8s | 15 | 125019 | 96732 | 2777 62 | 0 | 0 74.79/74.85 c 74.8s | 15 | 127352 | 98832 | 2777 63 | 0 | 0 76.78/76.87 c 76.8s | 15 | 129493 | 100732 | 2777 64 | 0 | 0 78.88/78.91 c 78.9s | 15 | 131771 | 102732 | 2777 65 | 0 | 0 80.88/80.98 c 80.9s | 15 | 134032 | 104732 | 2777 65 | 0 | 0 82.98/83.02 c 83.0s | 15 | 136316 | 106732 | 2777 66 | 0 | 0 84.98/85.03 c 85.0s | 15 | 138777 | 108832 | 2777 67 | 0 | 0 86.99/87.04 c 87.0s | 15 | 140724 | 110532 | 2777 68 | 0 | 0 89.08/89.12 c 89.1s | 15 | 143782 | 113132 | 2777 69 | 0 | 0 91.07/91.14 c 91.1s | 15 | 146323 | 115332 | 2777 70 | 0 | 0 93.07/93.15 c 93.1s | 15 | 148527 | 117332 | 2777 71 | 0 | 0 95.17/95.23 c 95.2s | 15 | 150143 | 118732 | 2777 72 | 0 | 0 97.17/97.28 c 97.3s | 15 | 152274 | 120632 | 2777 73 | 0 | 0 99.26/99.30 c 99.3s | 15 | 154366 | 122532 | 2777 74 | 0 | 0 101.36/101.43 c 101s | 15 | 156784 | 124632 | 2777 75 | 0 | 0 103.37/103.46 c 103s | 15 | 159229 | 126832 | 2777 76 | 0 | 0 105.46/105.56 c 105s | 15 | 161776 | 129132 | 2777 77 | 0 | 0 107.56/107.62 c 107s | 15 | 164063 | 131232 | 3055 77 | 0 | 0 107.96/108.08 c 108s | 16 | 164418 | 131552 | 3055 78 | 0 | 0 110.07/110.16 c 110s | 16 | 169216 | 135252 | 3055 80 | 0 | 0 112.06/112.18 c 112s | 16 | 172403 | 138152 | 3055 81 | 0 | 0 114.16/114.20 c 114s | 16 | 175586 | 141052 | 3055 82 | 0 | 0 116.16/116.26 c 116s | 16 | 178706 | 143852 | 3055 84 | 0 | 0 118.25/118.34 c 118s | 16 | 181808 | 146652 | 3055 85 | 0 | 0 120.35/120.41 c 120s | 16 | 184773 | 149352 | 3055 87 | 0 | 0 122.35/122.42 c 122s | 16 | 187793 | 152052 | 3055 88 | 0 | 0 124.36/124.42 c 124s | 16 | 190891 | 154852 | 3055 89 | 0 | 0 126.35/126.42 c 126s | 16 | 194031 | 157652 | 3055 91 | 0 | 0 128.35/128.45 c 128s | 16 | 197136 | 160452 | 3055 92 | 0 | 0 130.35/130.48 c 130s | 16 | 200650 | 163552 | 3055 94 | 0 | 0 132.45/132.50 c 132s | 16 | 203742 | 166352 | 3055 95 | 0 | 0 134.45/134.51 c 134s | 16 | 206838 | 169052 | 3055 96 | 0 | 0 136.46/136.55 c 136s | 16 | 209411 | 171352 | 3055 98 | 0 | 0 138.44/138.56 c 138s | 16 | 212329 | 173952 | 3055 99 | 0 | 0 140.54/140.61 c 140s | 16 | 215340 | 176652 | 3055 100 | 0 | 0 142.54/142.63 c 142s | 16 | 218491 | 179452 | 3055 102 | 0 | 0 144.55/144.63 c 144s | 16 | 221519 | 182152 | 3055 103 | 0 | 0 146.55/146.68 c 146s | 16 | 224395 | 184752 | 3055 104 | 0 | 0 148.64/148.75 c 148s | 16 | 226842 | 186952 | 3055 105 | 0 | 0 150.75/150.81 c 150s | 16 | 229337 | 189152 | 3055 107 | 0 | 0 152.74/152.90 c 152s | 16 | 232009 | 191552 | 3055 108 | 0 | 0 154.84/154.97 c 154s | 16 | 235081 | 194252 | 3055 109 | 0 | 0 156.84/156.99 c 156s | 16 | 237558 | 196452 | 3361 110 | 0 | 0 157.84/157.96 c 157s | 17 | 238662 | 197432 | 3361 111 | 0 | 0 159.84/159.99 c 159s | 17 | 243066 | 200632 | 3361 112 | 0 | 0 161.93/162.01 c 161s | 17 | 245978 | 203232 | 3361 113 | 0 | 0 163.94/164.05 c 164s | 17 | 248732 | 205732 | 3361 114 | 0 | 0 165.93/166.05 c 166s | 17 | 251417 | 208132 | 3361 115 | 0 | 0 168.03/168.13 c 168s | 17 | 254051 | 210532 | 3361 116 | 0 | 0 170.03/170.13 c 170s | 17 | 256960 | 213132 | 3361 117 | 0 | 0 172.03/172.14 c 172s | 17 | 259560 | 215432 | 3361 118 | 0 | 0 174.03/174.14 c 174s | 17 | 262243 | 217832 | 3361 119 | 0 | 0 176.13/176.26 c 176s | 17 | 265109 | 220332 | 3361 120 | 0 | 0 178.13/178.28 c 178s | 17 | 268150 | 223032 | 3361 121 | 0 | 0 180.22/180.33 c 180s | 17 | 271497 | 225932 | 3361 122 | 0 | 0 182.22/182.40 c 182s | 17 | 274498 | 228532 | 3361 123 | 0 | 0 184.32/184.44 c 184s | 17 | 277172 | 230932 | 3361 124 | 0 | 0 186.32/186.48 c 186s | 17 | 279828 | 233332 | 3361 125 | 0 | 0 188.41/188.55 c 188s | 17 | 282359 | 235632 | 3361 126 | 0 | 0 190.41/190.57 c 190s | 17 | 285131 | 238132 | 3361 127 | 0 | 0 192.52/192.63 c 192s | 17 | 287664 | 240432 | 3361 128 | 0 | 0 194.52/194.68 c 194s | 17 | 290292 | 242832 | 3361 129 | 0 | 0 196.72/196.83 c 196s | 17 | 293124 | 245332 | 3361 130 | 0 | 0 198.81/198.92 c 198s | 17 | 295913 | 247832 | 3361 131 | 0 | 0 200.81/200.95 c 200s | 17 | 298908 | 250432 | 3361 132 | 0 | 0 202.91/203.01 c 202s | 17 | 301440 | 252732 | 3361 132 | 0 | 0 205.01/205.11 c 205s | 17 | 303686 | 254732 | 3361 133 | 0 | 0 207.01/207.14 c 207s | 17 | 305654 | 256532 | 3361 134 | 0 | 0 209.02/209.16 c 209s | 17 | 307770 | 258432 | 3361 135 | 0 | 0 211.12/211.24 c 211s | 17 | 310010 | 260432 | 3361 136 | 0 | 0 213.11/213.29 c 213s | 17 | 312093 | 262332 | 3361 136 | 0 | 0 215.11/215.29 c 215s | 17 | 313945 | 264032 | 3361 137 | 0 | 0 217.21/217.33 c 217s | 17 | 316184 | 266032 | 3361 138 | 0 | 0 219.20/219.37 c 219s | 17 | 318712 | 268332 | 3361 139 | 0 | 0 221.20/221.40 c 221s | 17 | 321173 | 270532 | 3361 140 | 0 | 0 223.31/223.46 c 223s | 17 | 324314 | 273332 | 3361 141 | 0 | 0 225.30/225.49 c 225s | 17 | 326955 | 275732 | 3361 142 | 0 | 0 227.40/227.55 c 227s | 17 | 329720 | 278232 | 3361 143 | 0 | 0 229.40/229.57 c 229s | 17 | 332335 | 280632 | 3361 144 | 0 | 0 231.40/231.59 c 231s | 17 | 334864 | 282932 | 3361 145 | 0 | 0 233.49/233.68 c 233s | 17 | 337491 | 285332 | 3361 146 | 0 | 0 235.49/235.70 c 235s | 17 | 340022 | 287632 | 3361 146 | 0 | 0 237.50/237.70 c 237s | 17 | 342754 | 290032 | 3361 147 | 0 | 0 239.59/239.70 c 239s | 17 | 345312 | 292332 | 3361 148 | 0 | 0 241.59/241.74 c 241s | 17 | 347832 | 294632 | 3698 149 | 0 | 0 243.19/243.31 c 243s | 18 | 349627 | 296252 | 3698 150 | 0 | 0 245.20/245.37 c 245s | 18 | 353751 | 299252 | 3698 151 | 0 | 0 247.19/247.39 c 247s | 18 | 356096 | 301352 | 3698 152 | 0 | 0 249.28/249.45 c 249s | 18 | 358432 | 303452 | 3698 153 | 0 | 0 251.28/251.48 c 251s | 18 | 360942 | 305752 | 3698 153 | 0 | 0 253.38/253.54 c 253s | 18 | 363194 | 307852 | 3698 154 | 0 | 0 255.38/255.54 c 255s | 18 | 365706 | 310052 | 3698 155 | 0 | 0 257.39/257.57 c 257s | 18 | 368165 | 312252 | 3698 156 | 0 | 0 259.38/259.59 c 259s | 18 | 370424 | 314252 | 3698 157 | 0 | 0 261.48/261.67 c 261s | 18 | 372654 | 316252 | 3698 158 | 0 | 0 263.57/263.70 c 263s | 18 | 375011 | 318352 | 3698 158 | 0 | 0 265.57/265.71 c 265s | 18 | 377307 | 320452 | 3698 159 | 0 | 0 267.57/267.73 c 267s | 18 | 379647 | 322552 | 3698 160 | 0 | 0 269.57/269.75 c 269s | 18 | 382066 | 324752 | 3698 161 | 0 | 0 271.58/271.78 c 271s | 18 | 384243 | 326752 | 3698 162 | 0 | 0 273.67/273.81 c 273s | 18 | 386758 | 328952 | 3698 163 | 0 | 0 275.77/275.90 c 275s | 18 | 389245 | 331152 | 3698 164 | 0 | 0 277.77/277.92 c 277s | 18 | 391726 | 333352 | 3698 164 | 0 | 0 279.77/279.93 c 279s | 18 | 394140 | 335452 | 3698 165 | 0 | 0 281.77/281.99 c 281s | 18 | 396691 | 337752 | 3698 166 | 0 | 0 283.77/283.99 c 283s | 18 | 399067 | 339852 | 3698 167 | 0 | 0 285.87/286.02 c 285s | 18 | 401243 | 341852 | 3698 168 | 0 | 0 287.86/288.03 c 288s | 18 | 403338 | 343652 | 3698 169 | 0 | 0 289.86/290.06 c 290s | 18 | 405264 | 345352 | 3698 169 | 0 | 0 291.86/292.06 c 292s | 18 | 407516 | 347352 | 3698 170 | 0 | 0 293.96/294.16 c 294s | 18 | 409482 | 349152 | 3698 171 | 0 | 0 296.06/296.22 c 296s | 18 | 411500 | 350952 | 3698 171 | 0 | 0 298.15/298.30 c 298s | 18 | 413591 | 352852 | 3698 172 | 0 | 0 300.16/300.32 c 300s | 18 | 415497 | 354552 | 3698 173 | 0 | 0 302.15/302.39 c 302s | 18 | 417880 | 356652 | 3698 174 | 0 | 0 304.25/304.49 c 304s | 18 | 420093 | 358652 | 3698 175 | 0 | 0 306.35/306.58 c 306s | 18 | 422519 | 360752 | 3698 175 | 0 | 0 308.45/308.68 c 308s | 18 | 425080 | 363052 | 3698 176 | 0 | 0 310.45/310.68 c 310s | 18 | 427301 | 365052 | 3698 177 | 0 | 0 312.55/312.74 c 312s | 18 | 429513 | 367052 | 3698 178 | 0 | 0 314.56/314.76 c 314s | 18 | 431636 | 368952 | 3698 179 | 0 | 0 316.55/316.80 c 316s | 18 | 434313 | 371252 | 3698 180 | 0 | 0 318.64/318.87 c 318s | 18 | 436898 | 373552 | 3698 181 | 0 | 0 320.74/320.96 c 320s | 18 | 439515 | 375852 | 3698 182 | 0 | 0 322.84/323.01 c 322s | 18 | 441938 | 378052 | 3698 182 | 0 | 0 324.84/325.05 c 325s | 18 | 444195 | 380052 | 3698 183 | 0 | 0 326.84/327.06 c 327s | 18 | 446507 | 382152 | 3698 184 | 0 | 0 328.93/329.12 c 329s | 18 | 448564 | 384052 | 3698 185 | 0 | 0 330.94/331.18 c 331s | 18 | 450776 | 386052 | 3698 186 | 0 | 0 333.03/333.22 c 333s | 18 | 453266 | 388252 | 3698 187 | 0 | 0 335.14/335.32 c 335s | 18 | 455704 | 390452 | 3698 187 | 0 | 0 337.14/337.33 c 337s | 18 | 458012 | 392552 | 3698 188 | 0 | 0 339.23/339.40 c 339s | 18 | 460188 | 394552 | 3698 189 | 0 | 0 341.23/341.45 c 341s | 18 | 462527 | 396652 | 3698 190 | 0 | 0 343.33/343.54 c 343s | 18 | 465242 | 398952 | 3698 191 | 0 | 0 345.34/345.58 c 345s | 18 | 467704 | 401152 | 3698 192 | 0 | 0 347.44/347.61 c 347s | 18 | 469925 | 403152 | 3698 193 | 0 | 0 349.43/349.63 c 349s | 18 | 472350 | 405352 | 3698 193 | 0 | 0 351.43/351.66 c 351s | 18 | 474824 | 407552 | 3698 194 | 0 | 0 353.53/353.71 c 353s | 18 | 477270 | 409752 | 3698 195 | 0 | 0 355.62/355.81 c 355s | 18 | 479395 | 411652 | 3698 196 | 0 | 0 357.62/357.83 c 357s | 18 | 481959 | 413852 | 3698 197 | 0 | 0 359.63/359.89 c 359s | 18 | 484442 | 416052 | 3698 198 | 0 | 0 361.73/361.96 c 361s | 18 | 486720 | 418152 | 3698 199 | 0 | 0 363.72/363.98 c 363s | 18 | 489107 | 420252 | 3698 199 | 0 | 0 365.82/366.00 c 365s | 18 | 491461 | 422352 | 3698 200 | 0 | 0 367.81/368.06 c 368s | 18 | 493881 | 424552 | 3698 201 | 0 | 0 369.91/370.11 c 370s | 18 | 496006 | 426452 | 3698 202 | 0 | 0 371.91/372.19 c 372s | 18 | 498455 | 428652 | 3698 203 | 0 | 0 374.01/374.22 c 374s | 18 | 500417 | 430452 | 3698 204 | 0 | 0 376.02/376.25 c 376s | 18 | 502843 | 432652 | 3698 204 | 0 | 0 378.10/378.32 c 378s | 18 | 505226 | 434752 | 3698 205 | 0 | 0 380.10/380.33 c 380s | 18 | 507750 | 436952 | 3698 206 | 0 | 0 382.20/382.41 c 382s | 18 | 510209 | 439152 | 3698 207 | 0 | 0 384.20/384.43 c 384s | 18 | 512387 | 441152 | 3698 208 | 0 | 0 386.30/386.57 c 386s | 18 | 514569 | 443152 | 4068 209 | 0 | 0 387.50/387.76 c 387s | 19 | 516080 | 444482 | 4068 209 | 0 | 0 389.50/389.78 c 389s | 19 | 520618 | 447982 | 4068 210 | 0 | 0 391.51/391.78 c 391s | 19 | 523333 | 450482 | 4068 211 | 0 | 0 393.50/393.79 c 393s | 19 | 525940 | 452882 | 4068 212 | 0 | 0 395.59/395.80 c 395s | 19 | 528693 | 455282 | 4068 213 | 0 | 0 397.59/397.83 c 397s | 19 | 531333 | 457682 | 4068 214 | 0 | 0 399.69/399.90 c 399s | 19 | 534196 | 460282 | 4068 214 | 0 | 0 401.69/401.95 c 401s | 19 | 536693 | 462582 | 4068 215 | 0 | 0 403.69/403.95 c 403s | 19 | 539252 | 464882 | 4068 216 | 0 | 0 405.70/405.98 c 405s | 19 | 542008 | 467382 | 4068 217 | 0 | 0 407.78/408.03 c 408s | 19 | 544537 | 469682 | 4068 218 | 0 | 0 409.88/410.11 c 410s | 19 | 547045 | 471982 | 4068 219 | 0 | 0 411.88/412.16 c 412s | 19 | 549968 | 474582 | 4068 219 | 0 | 0 413.98/414.21 c 414s | 19 | 552486 | 476882 | 4068 220 | 0 | 0 415.98/416.21 c 416s | 19 | 554760 | 478982 | 4068 221 | 0 | 0 417.98/418.22 c 418s | 19 | 557050 | 481082 | 4068 222 | 0 | 0 419.99/420.28 c 420s | 19 | 559925 | 483682 | 4068 223 | 0 | 0 422.18/422.44 c 422s | 19 | 562577 | 486082 | 4068 224 | 0 | 0 424.17/424.44 c 424s | 19 | 565586 | 488682 | 4068 224 | 0 | 0 426.17/426.48 c 426s | 19 | 568842 | 491582 | 4068 225 | 0 | 0 428.28/428.54 c 428s | 19 | 571848 | 494282 | 4068 226 | 0 | 0 430.38/430.62 c 430s | 19 | 574655 | 496782 | 4068 227 | 0 | 0 432.38/432.65 c 432s | 19 | 577304 | 499182 | 4068 228 | 0 | 0 434.48/434.72 c 434s | 19 | 579818 | 501482 | 4068 229 | 0 | 0 436.49/436.77 c 436s | 19 | 582351 | 503782 | 4068 230 | 0 | 0 438.57/438.83 c 438s | 19 | 584799 | 506082 | 4068 231 | 0 | 0 440.67/440.91 c 440s | 19 | 587325 | 508482 | 4068 231 | 0 | 0 442.67/442.95 c 442s | 19 | 590544 | 511182 | 4068 232 | 0 | 0 444.67/444.98 c 444s | 19 | 593156 | 513482 | 4068 233 | 0 | 0 446.77/447.02 c 446s | 19 | 595647 | 515682 | 4068 234 | 0 | 0 448.87/449.10 c 449s | 19 | 598124 | 517882 | 4068 235 | 0 | 0 450.97/451.21 c 451s | 19 | 600641 | 520182 | 4068 236 | 0 | 0 452.98/453.22 c 453s | 19 | 603156 | 522482 | 4068 236 | 0 | 0 454.96/455.26 c 455s | 19 | 605888 | 524882 | 4068 237 | 0 | 0 457.06/457.30 c 457s | 19 | 608478 | 527282 | 4068 238 | 0 | 0 459.06/459.38 c 459s | 19 | 610837 | 529482 | 4068 239 | 0 | 0 461.16/461.44 c 461s | 19 | 613228 | 531682 | 4068 240 | 0 | 0 463.16/463.44 c 463s | 19 | 616290 | 534482 | 4068 241 | 0 | 0 465.17/465.49 c 465s | 19 | 618787 | 536782 | 4068 241 | 0 | 0 467.27/467.55 c 467s | 19 | 621650 | 539282 | 4068 242 | 0 | 0 469.35/469.60 c 469s | 19 | 624430 | 541782 | 4068 243 | 0 | 0 471.35/471.68 c 471s | 19 | 626699 | 543782 | 4068 244 | 0 | 0 473.55/473.81 c 473s | 19 | 628777 | 545682 | 4068 245 | 0 | 0 475.55/475.88 c 475s | 19 | 631429 | 547982 | 4068 245 | 0 | 0 477.65/477.96 c 477s | 19 | 633654 | 549982 | 4068 246 | 0 | 0 479.65/479.99 c 479s | 19 | 635445 | 551582 | 4068 247 | 0 | 0 481.74/482.08 c 482s | 19 | 638557 | 554182 | 4068 248 | 0 | 0 483.85/484.12 c 484s | 19 | 641736 | 556982 | 4068 248 | 0 | 0 485.84/486.13 c 486s | 19 | 644443 | 559382 | 4068 249 | 0 | 0 487.84/488.14 c 488s | 19 | 646648 | 561382 | 4068 250 | 0 | 0 489.84/490.19 c 490s | 19 | 649287 | 563782 | 4068 251 | 0 | 0 491.94/492.24 c 492s | 19 | 651651 | 565882 | 4068 252 | 0 | 0 494.04/494.36 c 494s | 19 | 654056 | 568082 | 4068 252 | 0 | 0 496.04/496.38 c 496s | 19 | 656281 | 570082 | 4068 253 | 0 | 0 498.14/498.45 c 498s | 19 | 658485 | 572082 | 4068 254 | 0 | 0 500.24/500.51 c 500s | 19 | 660595 | 573982 | 4068 254 | 0 | 0 502.23/502.53 c 502s | 19 | 662805 | 575982 | 4068 255 | 0 | 0 504.23/504.59 c 504s | 19 | 665938 | 578782 | 4068 256 | 0 | 0 506.33/506.62 c 506s | 19 | 668562 | 581182 | 4068 257 | 0 | 0 508.32/508.65 c 508s | 19 | 670942 | 583382 | 4068 258 | 0 | 0 510.32/510.66 c 510s | 19 | 673091 | 585382 | 4068 259 | 0 | 0 512.33/512.66 c 512s | 19 | 676040 | 587882 | 4068 259 | 0 | 0 514.42/514.70 c 514s | 19 | 678638 | 590182 | 4068 260 | 0 | 0 516.42/516.77 c 516s | 19 | 681543 | 592682 | 4068 261 | 0 | 0 518.52/518.84 c 518s | 19 | 683984 | 594882 | 4068 262 | 0 | 0 520.51/520.89 c 520s | 19 | 686530 | 597182 | 4068 263 | 0 | 0 522.71/523.00 c 522s | 19 | 689181 | 599582 | 4068 264 | 0 | 0 524.71/525.07 c 525s | 19 | 691619 | 601782 | 4068 264 | 0 | 0 526.81/527.10 c 527s | 19 | 694174 | 604082 | 4068 265 | 0 | 0 528.82/529.16 c 529s | 19 | 696904 | 606482 | 4068 266 | 0 | 0 530.91/531.23 c 531s | 19 | 699197 | 608582 | 4068 267 | 0 | 0 532.91/533.28 c 533s | 19 | 701399 | 610582 | 4068 267 | 0 | 0 534.91/535.28 c 535s | 19 | 703747 | 612682 | 4068 268 | 0 | 0 537.01/537.33 c 537s | 19 | 706484 | 615082 | 4068 269 | 0 | 0 539.10/539.42 c 539s | 19 | 708706 | 617082 | 4068 270 | 0 | 0 541.10/541.45 c 541s | 19 | 711363 | 619382 | 4068 270 | 0 | 0 543.11/543.50 c 543s | 19 | 713466 | 621282 | 4068 271 | 0 | 0 545.20/545.54 c 545s | 19 | 715914 | 623482 | 4068 272 | 0 | 0 547.20/547.58 c 547s | 19 | 718140 | 625482 | 4068 273 | 0 | 0 549.19/549.59 c 549s | 19 | 720499 | 627582 | 4068 273 | 0 | 0 551.29/551.61 c 551s | 19 | 722674 | 629482 | 4068 274 | 0 | 0 553.30/553.64 c 553s | 19 | 725596 | 631982 | 4068 275 | 0 | 0 555.40/555.70 c 555s | 19 | 727939 | 634082 | 4068 276 | 0 | 0 557.41/557.76 c 557s | 19 | 730557 | 636482 | 4068 277 | 0 | 0 559.50/559.86 c 559s | 19 | 733104 | 638782 | 4068 277 | 0 | 0 561.50/561.88 c 561s | 19 | 735594 | 640982 | 4068 278 | 0 | 0 563.60/563.93 c 563s | 19 | 738138 | 643182 | 4068 279 | 0 | 0 565.70/566.00 c 565s | 19 | 740358 | 645182 | 4068 280 | 0 | 0 567.69/568.05 c 568s | 19 | 742972 | 647482 | 4068 280 | 0 | 0 569.79/570.11 c 570s | 19 | 745791 | 649982 | 4068 281 | 0 | 0 571.80/572.14 c 572s | 19 | 748808 | 652382 | 4068 282 | 0 | 0 573.79/574.20 c 574s | 19 | 751263 | 654482 | 4068 283 | 0 | 0 575.89/576.27 c 576s | 19 | 753674 | 656482 | 4068 284 | 0 | 0 577.88/578.29 c 578s | 19 | 756105 | 658582 | 4068 284 | 0 | 0 579.98/580.32 c 580s | 19 | 758909 | 661082 | 4068 285 | 0 | 0 582.08/582.41 c 582s | 19 | 761399 | 663282 | 4475 286 | 0 | 0 584.08/584.47 c 584s | 19 | 763624 | 665182 | 4475 287 | 0 | 0 585.78/586.13 c 586s | 20 | 765468 | 666827 | 4475 287 | 0 | 0 587.78/588.17 c 588s | 20 | 769452 | 669727 | 4475 288 | 0 | 0 589.88/590.29 c 590s | 20 | 771793 | 671827 | 4475 289 | 0 | 0 591.98/592.33 c 592s | 20 | 774207 | 673927 | 4475 290 | 0 | 0 594.07/594.40 c 594s | 20 | 776315 | 675827 | 4475 290 | 0 | 0 596.17/596.50 c 596s | 20 | 778185 | 677527 | 4475 291 | 0 | 0 598.18/598.59 c 598s | 20 | 780071 | 679227 | 4475 292 | 0 | 0 600.28/600.63 c 600s | 20 | 781951 | 680927 | 4475 292 | 0 | 0 602.37/602.75 c 602s | 20 | 784057 | 682827 | 4475 293 | 0 | 0 604.47/604.80 c 604s | 20 | 786039 | 684627 | 4475 294 | 0 | 0 606.47/606.84 c 606s | 20 | 788107 | 686527 | 4475 294 | 0 | 0 608.56/608.92 c 608s | 20 | 790086 | 688327 | 4475 295 | 0 | 0 610.66/611.00 c 610s | 20 | 791672 | 689827 | 4475 295 | 0 | 0 612.66/613.05 c 613s | 20 | 793789 | 691627 | 4475 296 | 0 | 0 614.76/615.13 c 615s | 20 | 796054 | 693627 | 4475 297 | 0 | 0 616.77/617.17 c 617s | 20 | 798046 | 695427 | 4475 297 | 0 | 0 618.85/619.25 c 619s | 20 | 800157 | 697327 | 4475 298 | 0 | 0 620.85/621.28 c 621s | 20 | 802418 | 699327 | 4475 299 | 0 | 0 622.95/623.30 c 623s | 20 | 804517 | 701227 | 4475 299 | 0 | 0 624.95/625.31 c 625s | 20 | 806539 | 703027 | 4475 300 | 0 | 0 626.95/627.38 c 627s | 20 | 808413 | 704727 | 4475 301 | 0 | 0 629.15/629.51 c 629s | 20 | 810500 | 706627 | 4475 301 | 0 | 0 631.16/631.55 c 631s | 20 | 812226 | 708227 | 4475 302 | 0 | 0 633.15/633.60 c 633s | 20 | 814307 | 710027 | 4475 302 | 0 | 0 635.25/635.64 c 635s | 20 | 816221 | 711727 | 4475 303 | 0 | 0 637.25/637.68 c 637s | 20 | 817802 | 713127 | 4475 304 | 0 | 0 639.34/639.79 c 639s | 20 | 819831 | 714927 | 4475 304 | 0 | 0 641.44/641.81 c 641s | 20 | 821735 | 716627 | 4475 305 | 0 | 0 643.44/643.84 c 643s | 20 | 823476 | 718227 | 4475 305 | 0 | 0 645.45/645.89 c 645s | 20 | 824902 | 719527 | 4475 306 | 0 | 0 647.54/647.98 c 647s | 20 | 826614 | 721027 | 4475 306 | 0 | 0 649.63/650.01 c 649s | 20 | 828144 | 722427 | 4475 307 | 0 | 0 651.73/652.12 c 652s | 20 | 829780 | 723927 | 4475 307 | 0 | 0 653.73/654.13 c 654s | 20 | 831521 | 725427 | 4475 308 | 0 | 0 655.73/656.19 c 656s | 20 | 833461 | 727127 | 4475 308 | 0 | 0 657.83/658.22 c 658s | 20 | 835247 | 728727 | 4475 309 | 0 | 0 659.93/660.33 c 660s | 20 | 836912 | 730227 | 4475 310 | 0 | 0 662.03/662.43 c 662s | 20 | 838686 | 731827 | 4475 310 | 0 | 0 664.04/664.49 c 664s | 20 | 840404 | 733327 | 4475 311 | 0 | 0 666.13/666.52 c 666s | 20 | 842347 | 735027 | 4475 311 | 0 | 0 668.13/668.59 c 668s | 20 | 844106 | 736627 | 4475 312 | 0 | 0 670.33/670.70 c 670s | 20 | 845762 | 738127 | 4475 312 | 0 | 0 672.33/672.72 c 672s | 20 | 847316 | 739527 | 4475 313 | 0 | 0 674.33/674.77 c 674s | 20 | 849222 | 741227 | 4475 313 | 0 | 0 676.43/676.87 c 676s | 20 | 850987 | 742827 | 4475 314 | 0 | 0 678.43/678.87 c 678s | 20 | 852638 | 744327 | 4475 314 | 0 | 0 680.53/680.98 c 680s | 20 | 854252 | 745827 | 4475 315 | 0 | 0 682.62/683.06 c 683s | 20 | 855831 | 747227 | 4475 315 | 0 | 0 684.72/685.13 c 685s | 20 | 857370 | 748627 | 4475 316 | 0 | 0 686.72/687.16 c 687s | 20 | 859283 | 750327 | 4475 317 | 0 | 0 688.71/689.18 c 689s | 20 | 861067 | 751927 | 4475 317 | 0 | 0 690.81/691.25 c 691s | 20 | 862625 | 753327 | 4475 318 | 0 | 0 692.91/693.37 c 693s | 20 | 864357 | 754927 | 4475 318 | 0 | 0 695.01/695.48 c 695s | 20 | 865788 | 756227 | 4475 319 | 0 | 0 697.21/697.60 c 697s | 20 | 867658 | 757927 | 4475 319 | 0 | 0 699.11/699.60 c 699s | 20 | 869094 | 759227 | 4475 320 | 0 | 0 701.21/701.66 c 701s | 20 | 871086 | 761027 | 4475 320 | 0 | 0 703.31/703.72 c 703s | 20 | 872758 | 762527 | 4475 321 | 0 | 0 705.30/705.73 c 705s | 20 | 874400 | 764027 | 4475 321 | 0 | 0 707.30/707.77 c 707s | 20 | 876047 | 765527 | 4475 322 | 0 | 0 709.40/709.80 c 709s | 20 | 877561 | 766927 | 4475 322 | 0 | 0 711.50/711.93 c 711s | 20 | 879299 | 768527 | 4475 323 | 0 | 0 713.61/714.08 c 714s | 20 | 881270 | 770227 | 4475 324 | 0 | 0 715.71/716.16 c 716s | 20 | 883215 | 771927 | 4475 324 | 0 | 0 717.80/718.22 c 718s | 20 | 884904 | 773427 | 4475 325 | 0 | 0 719.80/720.28 c 720s | 20 | 886707 | 775027 | 4475 325 | 0 | 0 721.89/722.37 c 722s | 20 | 888234 | 776427 | 4475 326 | 0 | 0 723.99/724.41 c 724s | 20 | 890011 | 778027 | 4475 326 | 0 | 0 726.09/726.56 c 726s | 20 | 892125 | 779927 | 4475 327 | 0 | 0 728.09/728.57 c 728s | 20 | 893799 | 781427 | 4475 327 | 0 | 0 730.19/730.62 c 730s | 20 | 895849 | 783327 | 4475 328 | 0 | 0 732.30/732.74 c 732s | 20 | 897392 | 784727 | 4475 329 | 0 | 0 734.29/734.78 c 734s | 20 | 899191 | 786227 | 4475 329 | 0 | 0 736.49/736.91 c 736s | 20 | 901128 | 787927 | 4475 330 | 0 | 0 738.49/738.99 c 738s | 20 | 903036 | 789627 | 4475 330 | 0 | 0 740.69/741.11 c 741s | 20 | 904737 | 791127 | 4475 331 | 0 | 0 742.79/743.22 c 743s | 20 | 906662 | 792827 | 4475 331 | 0 | 0 744.89/745.32 c 745s | 20 | 908644 | 794627 | 4475 332 | 0 | 0 746.89/747.37 c 747s | 20 | 910265 | 796127 | 4475 333 | 0 | 0 748.99/749.41 c 749s | 20 | 911922 | 797627 | 4475 333 | 0 | 0 751.00/751.46 c 751s | 20 | 913568 | 799127 | 4475 334 | 0 | 0 752.99/753.49 c 753s | 20 | 915390 | 800827 | 4475 334 | 0 | 0 754.99/755.49 c 755s | 20 | 916943 | 802227 | 4475 335 | 0 | 0 757.09/757.50 c 757s | 20 | 918580 | 803727 | 4475 335 | 0 | 0 759.09/759.54 c 759s | 20 | 920577 | 805527 | 4475 336 | 0 | 0 761.19/761.60 c 761s | 20 | 922335 | 807127 | 4475 336 | 0 | 0 763.19/763.63 c 763s | 20 | 924343 | 808927 | 4475 337 | 0 | 0 765.20/765.69 c 765s | 20 | 926270 | 810627 | 4475 338 | 0 | 0 767.29/767.80 c 767s | 20 | 928150 | 812327 | 4475 338 | 0 | 0 769.39/769.80 c 769s | 20 | 929919 | 813927 | 4475 339 | 0 | 0 771.39/771.88 c 771s | 20 | 931536 | 815427 | 4475 339 | 0 | 0 773.49/773.94 c 773s | 20 | 933187 | 816927 | 4475 340 | 0 | 0 775.59/776.06 c 776s | 20 | 934838 | 818427 | 4475 340 | 0 | 0 777.59/778.07 c 778s | 20 | 936489 | 819927 | 4475 341 | 0 | 0 779.69/780.20 c 780s | 20 | 938128 | 821427 | 4475 341 | 0 | 0 781.80/782.26 c 782s | 20 | 939919 | 823027 | 4475 342 | 0 | 0 783.90/784.38 c 784s | 20 | 941483 | 824427 | 4475 343 | 0 | 0 785.89/786.38 c 786s | 20 | 943256 | 826027 | 4475 343 | 0 | 0 787.99/788.46 c 788s | 20 | 944695 | 827327 | 4475 344 | 0 | 0 790.19/790.67 c 790s | 20 | 946611 | 829027 | 4475 344 | 0 | 0 792.19/792.67 c 792s | 20 | 948315 | 830527 | 4475 345 | 0 | 0 794.29/794.72 c 794s | 20 | 950151 | 832127 | 4475 345 | 0 | 0 796.38/796.84 c 796s | 20 | 951689 | 833527 | 4475 346 | 0 | 0 798.38/798.85 c 798s | 20 | 953104 | 834827 | 4475 346 | 0 | 0 800.39/800.88 c 800s | 20 | 954700 | 836227 | 4475 347 | 0 | 0 802.48/802.97 c 802s | 20 | 956340 | 837727 | 4475 347 | 0 | 0 804.48/804.99 c 804s | 20 | 958053 | 839227 | 4475 348 | 0 | 0 806.58/807.02 c 806s | 20 | 959975 | 840927 | 4475 348 | 0 | 0 808.58/809.06 c 809s | 20 | 961810 | 842527 | 4475 349 | 0 | 0 810.68/811.11 c 811s | 20 | 964125 | 844627 | 4475 350 | 0 | 0 812.78/813.22 c 813s | 20 | 966370 | 846627 | 4475 350 | 0 | 0 814.79/815.22 c 815s | 20 | 968255 | 848327 | 4475 351 | 0 | 0 816.89/817.32 c 817s | 20 | 970623 | 850427 | 4475 352 | 0 | 0 818.88/819.38 c 819s | 20 | 972607 | 852227 | 4475 352 | 0 | 0 820.98/821.41 c 821s | 20 | 974790 | 854127 | 4475 353 | 0 | 0 822.98/823.44 c 823s | 20 | 977093 | 856227 | 4475 354 | 0 | 0 825.08/825.50 c 825s | 20 | 979190 | 858127 | 4475 354 | 0 | 0 827.08/827.51 c 827s | 20 | 981561 | 860227 | 4475 355 | 0 | 0 829.09/829.58 c 829s | 20 | 983768 | 862227 | 4475 356 | 0 | 0 831.19/831.64 c 831s | 20 | 985722 | 864027 | 4475 356 | 0 | 0 833.28/833.70 c 833s | 20 | 988123 | 866127 | 4475 357 | 0 | 0 835.28/835.78 c 835s | 20 | 990531 | 868127 | 4475 358 | 0 | 0 837.37/837.88 c 837s | 20 | 992515 | 869827 | 4475 358 | 0 | 0 839.47/839.93 c 839s | 20 | 994695 | 871727 | 4475 359 | 0 | 0 841.47/841.96 c 841s | 20 | 996806 | 873627 | 4475 360 | 0 | 0 843.57/844.01 c 843s | 20 | 999009 | 875627 | 4475 360 | 0 | 0 845.67/846.10 c 846s | 20 | 1001325 | 877627 | 4475 361 | 0 | 0 847.68/848.18 c 848s | 20 | 1003363 | 879427 | 4475 362 | 0 | 0 849.77/850.21 c 850s | 20 | 1005413 | 881227 | 4475 362 | 0 | 0 851.77/852.24 c 852s | 20 | 1007439 | 883027 | 4475 363 | 0 | 0 853.77/854.30 c 854s | 20 | 1009286 | 884727 | 4475 364 | 0 | 0 855.87/856.32 c 856s | 20 | 1011175 | 886427 | 4475 364 | 0 | 0 857.87/858.33 c 858s | 20 | 1013171 | 888227 | 4475 365 | 0 | 0 859.88/860.34 c 860s | 20 | 1015071 | 889927 | 4475 366 | 0 | 0 861.87/862.39 c 862s | 20 | 1016860 | 891527 | 4475 366 | 0 | 0 864.07/864.51 c 864s | 20 | 1018378 | 892927 | 4475 367 | 0 | 0 866.07/866.57 c 866s | 20 | 1021274 | 895427 | 4475 367 | 0 | 0 868.17/868.68 c 868s | 20 | 1023595 | 897527 | 4475 368 | 0 | 0 870.27/870.70 c 870s | 20 | 1025471 | 899227 | 4475 369 | 0 | 0 872.37/872.82 c 872s | 20 | 1027653 | 901227 | 4475 369 | 0 | 0 874.37/874.87 c 874s | 20 | 1029751 | 903127 | 4475 370 | 0 | 0 876.47/876.93 c 876s | 20 | 1031860 | 905027 | 4475 371 | 0 | 0 878.58/879.08 c 879s | 20 | 1033888 | 906927 | 4475 371 | 0 | 0 880.68/881.15 c 881s | 20 | 1036105 | 908927 | 4475 372 | 0 | 0 882.76/883.20 c 883s | 20 | 1038175 | 910827 | 4475 373 | 0 | 0 884.76/885.23 c 885s | 20 | 1039834 | 912327 | 4475 373 | 0 | 0 886.76/887.26 c 887s | 20 | 1042188 | 914427 | 4475 374 | 0 | 0 888.86/889.32 c 889s | 20 | 1044263 | 916327 | 4475 375 | 0 | 0 890.86/891.37 c 891s | 20 | 1046230 | 918127 | 4475 375 | 0 | 0 892.96/893.46 c 893s | 20 | 1048227 | 919927 | 4475 376 | 0 | 0 895.07/895.53 c 895s | 20 | 1050228 | 921727 | 4475 377 | 0 | 0 897.17/897.61 c 897s | 20 | 1052303 | 923627 | 4475 377 | 0 | 0 899.16/899.64 c 899s | 20 | 1054279 | 925427 | 4475 378 | 0 | 0 901.26/901.72 c 901s | 20 | 1056137 | 927127 | 4475 379 | 0 | 0 903.26/903.73 c 903s | 20 | 1058290 | 929127 | 4475 379 | 0 | 0 905.26/905.79 c 905s | 20 | 1060272 | 930927 | 4475 380 | 0 | 0 907.36/907.87 c 907s | 20 | 1062221 | 932727 | 4475 381 | 0 | 0 909.46/909.95 c 909s | 20 | 1064106 | 934427 | 4475 381 | 0 | 0 911.57/912.02 c 911s | 20 | 1066440 | 936527 | 4475 382 | 0 | 0 913.56/914.07 c 914s | 20 | 1068411 | 938327 | 4475 383 | 0 | 0 915.66/916.10 c 916s | 20 | 1070371 | 940127 | 4475 383 | 0 | 0 917.67/918.15 c 918s | 20 | 1072136 | 941727 | 4475 384 | 0 | 0 919.77/920.20 c 920s | 20 | 1074177 | 943527 | 4475 384 | 0 | 0 921.77/922.29 c 922s | 20 | 1076018 | 945127 | 4475 385 | 0 | 0 923.87/924.37 c 924s | 20 | 1077909 | 946827 | 4475 386 | 0 | 0 925.97/926.44 c 926s | 20 | 1079922 | 948627 | 4475 386 | 0 | 0 927.97/928.50 c 928s | 20 | 1081694 | 950227 | 4475 387 | 0 | 0 930.06/930.50 c 930s | 20 | 1083732 | 952027 | 4475 387 | 0 | 0 932.06/932.53 c 932s | 20 | 1085642 | 953727 | 4475 388 | 0 | 0 934.06/934.53 c 934s | 20 | 1087397 | 955327 | 4475 388 | 0 | 0 936.16/936.60 c 936s | 20 | 1089335 | 957027 | 4475 389 | 0 | 0 938.26/938.71 c 938s | 20 | 1091009 | 958527 | 4475 390 | 0 | 0 940.26/940.76 c 940s | 20 | 1092659 | 960027 | 4475 390 | 0 | 0 942.27/942.78 c 942s | 20 | 1094103 | 961327 | 4475 391 | 0 | 0 944.36/944.83 c 944s | 20 | 1096256 | 963227 | 4475 391 | 0 | 0 946.36/946.90 c 946s | 20 | 1098696 | 965427 | 4475 392 | 0 | 0 948.46/948.95 c 948s | 20 | 1100875 | 967327 | 4475 393 | 0 | 0 950.46/950.96 c 950s | 20 | 1102716 | 968927 | 4475 393 | 0 | 0 952.46/952.99 c 952s | 20 | 1104508 | 970527 | 4475 394 | 0 | 0 954.56/955.05 c 955s | 20 | 1106430 | 972227 | 4475 394 | 0 | 0 956.67/957.11 c 957s | 20 | 1108427 | 974027 | 4475 395 | 0 | 0 958.66/959.16 c 959s | 20 | 1110319 | 975727 | 4475 396 | 0 | 0 960.76/961.25 c 961s | 20 | 1112305 | 977527 | 4475 396 | 0 | 0 962.85/963.34 c 963s | 20 | 1114195 | 979227 | 4475 397 | 0 | 0 964.85/965.36 c 965s | 20 | 1116220 | 981027 | 4475 398 | 0 | 0 966.85/967.37 c 967s | 20 | 1118450 | 983027 | 4475 398 | 0 | 0 968.85/969.38 c 969s | 20 | 1120413 | 984827 | 4475 399 | 0 | 0 970.96/971.42 c 971s | 20 | 1122308 | 986527 | 4475 399 | 0 | 0 972.95/973.49 c 973s | 20 | 1124391 | 988427 | 4475 400 | 0 | 0 975.05/975.51 c 975s | 20 | 1126281 | 990127 | 4475 401 | 0 | 0 977.05/977.54 c 977s | 20 | 1128143 | 991827 | 4475 401 | 0 | 0 979.05/979.54 c 979s | 20 | 1130022 | 993427 | 4923 402 | 0 | 0 981.15/981.61 c 981s | 20 | 1132192 | 995327 | 4923 402 | 0 | 0 983.15/983.68 c 983s | 20 | 1134244 | 997127 | 4923 403 | 0 | 0 985.26/985.76 c 985s | 20 | 1136156 | 998827 | 4923 404 | 0 | 0 986.95/987.46 c 987s | 21 | 1137859 | 1000345 | 4923 404 | 0 | 0 989.05/989.53 c 989s | 21 | 1142331 | 1003645 | 4923 405 | 0 | 0 991.05/991.57 c 991s | 21 | 1144918 | 1005945 | 4923 406 | 0 | 0 993.05/993.57 c 993s | 21 | 1147029 | 1007845 | 4923 407 | 0 | 0 995.16/995.61 c 995s | 21 | 1149771 | 1010245 | 4923 407 | 0 | 0 997.15/997.64 c 997s | 21 | 1152055 | 1012245 | 4923 408 | 0 | 0 999.25/999.71 c 999s | 21 | 1154189 | 1014145 | 4923 409 | 0 | 0 1001.25/1001.72 c 1001s | 21 | 1156544 | 1016245 | 4923 409 | 0 | 0 1003.35/1003.80 c 1003s | 21 | 1158803 | 1018245 | 4923 410 | 0 | 0 1005.35/1005.82 c 1005s | 21 | 1160894 | 1020145 | 4923 411 | 0 | 0 1007.44/1007.90 c 1007s | 21 | 1163224 | 1022245 | 4923 411 | 0 | 0 1009.46/1009.97 c 1009s | 21 | 1165385 | 1024245 | 4923 412 | 0 | 0 1011.45/1011.98 c 1011s | 21 | 1167601 | 1026245 | 4923 413 | 0 | 0 1013.65/1014.18 c 1014s | 21 | 1169779 | 1028245 | 4923 414 | 0 | 0 1015.75/1016.24 c 1016s | 21 | 1172627 | 1030745 | 4923 414 | 0 | 0 1017.75/1018.26 c 1018s | 21 | 1175449 | 1033045 | 4923 415 | 0 | 0 1019.85/1020.32 c 1020s | 21 | 1177898 | 1035145 | 4923 416 | 0 | 0 1021.95/1022.43 c 1022s | 21 | 1179718 | 1036745 | 4923 416 | 0 | 0 1023.95/1024.49 c 1024s | 21 | 1181704 | 1038445 | 4923 417 | 0 | 0 1026.15/1026.61 c 1026s | 21 | 1183408 | 1039945 | 4923 418 | 0 | 0 1028.25/1028.73 c 1028s | 21 | 1185336 | 1041645 | 4923 418 | 0 | 0 1030.26/1030.77 c 1030s | 21 | 1187130 | 1043245 | 4923 419 | 0 | 0 1032.25/1032.78 c 1032s | 21 | 1188780 | 1044745 | 4923 419 | 0 | 0 1034.35/1034.80 c 1034s | 21 | 1191240 | 1046945 | 4923 420 | 0 | 0 1036.35/1036.83 c 1036s | 21 | 1193463 | 1048945 | 4923 421 | 0 | 0 1038.34/1038.89 c 1038s | 21 | 1195464 | 1050745 | 4923 421 | 0 | 0 1040.44/1040.92 c 1040s | 21 | 1197319 | 1052445 | 4923 422 | 0 | 0 1042.45/1042.95 c 1042s | 21 | 1199244 | 1054145 | 4923 422 | 0 | 0 1044.55/1045.01 c 1044s | 21 | 1201480 | 1056145 | 4923 423 | 0 | 0 1046.64/1047.11 c 1047s | 21 | 1203467 | 1057945 | 4923 424 | 0 | 0 1048.64/1049.11 c 1049s | 21 | 1205364 | 1059645 | 4923 424 | 0 | 0 1050.64/1051.15 c 1051s | 21 | 1207861 | 1061845 | 4923 425 | 0 | 0 1052.64/1053.17 c 1053s | 21 | 1210213 | 1063945 | 4923 426 | 0 | 0 1054.64/1055.17 c 1055s | 21 | 1212800 | 1066245 | 4923 427 | 0 | 0 1056.75/1057.27 c 1057s | 21 | 1215201 | 1068445 | 4923 427 | 0 | 0 1058.74/1059.29 c 1059s | 21 | 1217308 | 1070345 | 4923 428 | 0 | 0 1060.84/1061.34 c 1061s | 21 | 1219515 | 1072345 | 4923 429 | 0 | 0 1062.84/1063.35 c 1063s | 21 | 1221571 | 1074245 | 4923 429 | 0 | 0 1064.94/1065.41 c 1065s | 21 | 1223695 | 1076145 | 4923 430 | 0 | 0 1066.94/1067.48 c 1067s | 21 | 1226194 | 1078345 | 4923 431 | 0 | 0 1069.14/1069.60 c 1069s | 21 | 1228164 | 1080145 | 4923 431 | 0 | 0 1071.14/1071.63 c 1071s | 21 | 1230234 | 1082045 | 4923 432 | 0 | 0 1073.25/1073.71 c 1073s | 21 | 1232189 | 1083845 | 4923 433 | 0 | 0 1075.24/1075.76 c 1075s | 21 | 1234445 | 1085845 | 4923 433 | 0 | 0 1077.24/1077.78 c 1077s | 21 | 1236427 | 1087645 | 4923 434 | 0 | 0 1079.33/1079.84 c 1079s | 21 | 1238418 | 1089445 | 4923 435 | 0 | 0 1081.33/1081.84 c 1081s | 21 | 1240694 | 1091445 | 4923 435 | 0 | 0 1083.33/1083.88 c 1083s | 21 | 1242847 | 1093345 | 4923 436 | 0 | 0 1085.43/1085.91 c 1085s | 21 | 1244952 | 1095245 | 4923 436 | 0 | 0 1087.44/1087.91 c 1087s | 21 | 1247061 | 1097145 | 4923 437 | 0 | 0 1089.43/1089.94 c 1089s | 21 | 1249277 | 1099145 | 4923 438 | 0 | 0 1091.53/1092.00 c 1091s | 21 | 1251409 | 1101045 | 4923 438 | 0 | 0 1093.53/1094.09 c 1094s | 21 | 1253759 | 1103145 | 4923 439 | 0 | 0 1095.63/1096.11 c 1096s | 21 | 1255857 | 1105045 | 4923 440 | 0 | 0 1097.63/1098.18 c 1098s | 21 | 1257995 | 1106945 | 4923 441 | 0 | 0 1099.73/1100.24 c 1100s | 21 | 1260340 | 1109045 | 4923 441 | 0 | 0 1101.84/1102.33 c 1102s | 21 | 1262584 | 1111045 | 4923 442 | 0 | 0 1103.83/1104.37 c 1104s | 21 | 1264338 | 1112645 | 4923 442 | 0 | 0 1105.93/1106.42 c 1106s | 21 | 1266703 | 1114645 | 4923 443 | 0 | 0 1107.93/1108.47 c 1108s | 21 | 1269156 | 1116845 | 4923 444 | 0 | 0 1110.03/1110.56 c 1110s | 21 | 1271275 | 1118745 | 4923 445 | 0 | 0 1112.03/1112.58 c 1112s | 21 | 1273381 | 1120645 | 4923 445 | 0 | 0 1114.13/1114.61 c 1114s | 21 | 1275269 | 1122345 | 4923 446 | 0 | 0 1116.14/1116.64 c 1116s | 21 | 1277394 | 1124245 | 4923 446 | 0 | 0 1118.13/1118.69 c 1118s | 21 | 1279339 | 1126045 | 4923 447 | 0 | 0 1120.23/1120.79 c 1120s | 21 | 1281624 | 1127945 | 4923 448 | 0 | 0 1122.23/1122.79 c 1122s | 21 | 1283635 | 1129745 | 4923 448 | 0 | 0 1124.33/1124.85 c 1124s | 21 | 1285520 | 1131445 | 4923 449 | 0 | 0 1126.43/1126.91 c 1126s | 21 | 1287524 | 1133245 | 4923 450 | 0 | 0 1128.53/1129.00 c 1128s | 21 | 1289738 | 1135245 | 4923 450 | 0 | 0 1130.53/1131.04 c 1131s | 21 | 1291961 | 1137245 | 4923 451 | 0 | 0 1132.53/1133.05 c 1133s | 21 | 1293943 | 1139045 | 4923 452 | 0 | 0 1134.62/1135.10 c 1135s | 21 | 1296162 | 1141045 | 4923 452 | 0 | 0 1136.62/1137.15 c 1137s | 21 | 1298151 | 1142845 | 4923 453 | 0 | 0 1138.72/1139.24 c 1139s | 21 | 1300009 | 1144545 | 4923 453 | 0 | 0 1140.72/1141.28 c 1141s | 21 | 1301874 | 1146245 | 4923 454 | 0 | 0 1142.82/1143.32 c 1143s | 21 | 1303836 | 1148045 | 4923 455 | 0 | 0 1144.82/1145.35 c 1145s | 21 | 1305772 | 1149845 | 4923 455 | 0 | 0 1146.83/1147.35 c 1147s | 21 | 1308045 | 1151845 | 4923 456 | 0 | 0 1148.92/1149.44 c 1149s | 21 | 1310605 | 1154145 | 4923 457 | 0 | 0 1150.92/1151.48 c 1151s | 21 | 1312864 | 1156145 | 4923 457 | 0 | 0 1153.02/1153.50 c 1153s | 21 | 1314940 | 1157945 | 4923 458 | 0 | 0 1155.02/1155.57 c 1155s | 21 | 1316842 | 1159645 | 4923 459 | 0 | 0 1157.02/1157.58 c 1157s | 21 | 1319094 | 1161645 | 4923 459 | 0 | 0 1159.04/1159.59 c 1159s | 21 | 1321078 | 1163445 | 4923 460 | 0 | 0 1161.33/1161.80 c 1161s | 21 | 1323056 | 1165245 | 4923 461 | 0 | 0 1163.23/1163.80 c 1163s | 21 | 1325421 | 1167345 | 4923 461 | 0 | 0 1165.43/1166.00 c 1165s | 21 | 1327544 | 1169245 | 4923 462 | 0 | 0 1167.53/1168.09 c 1168s | 21 | 1329983 | 1171445 | 4923 463 | 0 | 0 1169.63/1170.19 c 1170s | 21 | 1332415 | 1173645 | 4923 463 | 0 | 0 1171.83/1172.30 c 1172s | 21 | 1334745 | 1175745 | 4923 464 | 0 | 0 1173.83/1174.34 c 1174s | 21 | 1336261 | 1177145 | 4923 465 | 0 | 0 1175.93/1176.41 c 1176s | 21 | 1338714 | 1179345 | 4923 465 | 0 | 0 1177.92/1178.42 c 1178s | 21 | 1340969 | 1181245 | 4923 466 | 0 | 0 1180.02/1180.53 c 1180s | 21 | 1343226 | 1183245 | 4923 467 | 0 | 0 1182.03/1182.58 c 1182s | 21 | 1345449 | 1185245 | 4923 467 | 0 | 0 1184.12/1184.62 c 1184s | 21 | 1347535 | 1187145 | 4923 468 | 0 | 0 1186.22/1186.70 c 1186s | 21 | 1349387 | 1188845 | 4923 469 | 0 | 0 1188.22/1188.73 c 1188s | 21 | 1351378 | 1190645 | 4923 469 | 0 | 0 1190.22/1190.74 c 1190s | 21 | 1353242 | 1192345 | 4923 470 | 0 | 0 1192.32/1192.87 c 1192s | 21 | 1355409 | 1194245 | 4923 470 | 0 | 0 1194.42/1194.93 c 1194s | 21 | 1357701 | 1196245 | 4923 471 | 0 | 0 1196.43/1196.96 c 1196s | 21 | 1360065 | 1198345 | 4923 472 | 0 | 0 1198.53/1199.03 c 1199s | 21 | 1362164 | 1200245 | 4923 473 | 0 | 0 1200.52/1201.08 c 1201s | 21 | 1364511 | 1202345 | 4923 473 | 0 | 0 1202.62/1203.14 c 1203s | 21 | 1366671 | 1204345 | 4923 474 | 0 | 0 1204.62/1205.16 c 1205s | 21 | 1368673 | 1206145 | 4923 475 | 0 | 0 1206.72/1207.23 c 1207s | 21 | 1371243 | 1208445 | 4923 475 | 0 | 0 1208.72/1209.26 c 1209s | 21 | 1373493 | 1210445 | 4923 476 | 0 | 0 1210.82/1211.31 c 1211s | 21 | 1375465 | 1212245 | 4923 477 | 0 | 0 1212.83/1213.34 c 1213s | 21 | 1377554 | 1214145 | 4923 477 | 0 | 0 1214.92/1215.41 c 1215s | 21 | 1379974 | 1216345 | 4923 478 | 0 | 0 1216.92/1217.42 c 1217s | 21 | 1381828 | 1218045 | 4923 479 | 0 | 0 1218.91/1219.49 c 1219s | 21 | 1384093 | 1219945 | 4923 479 | 0 | 0 1221.01/1221.53 c 1221s | 21 | 1385976 | 1221645 | 4923 480 | 0 | 0 1223.01/1223.53 c 1223s | 21 | 1388079 | 1223545 | 4923 481 | 0 | 0 1225.02/1225.57 c 1225s | 21 | 1390378 | 1225645 | 4923 481 | 0 | 0 1227.12/1227.66 c 1227s | 21 | 1392486 | 1227545 | 4923 482 | 0 | 0 1229.11/1229.69 c 1229s | 21 | 1394555 | 1229445 | 4923 483 | 0 | 0 1231.21/1231.76 c 1231s | 21 | 1396394 | 1231145 | 4923 483 | 0 | 0 1233.21/1233.76 c 1233s | 21 | 1398171 | 1232745 | 4923 484 | 0 | 0 1235.31/1235.84 c 1235s | 21 | 1400893 | 1235045 | 4923 484 | 0 | 0 1237.41/1237.91 c 1237s | 21 | 1403166 | 1237045 | 4923 485 | 0 | 0 1239.51/1240.01 c 1239s | 21 | 1405368 | 1239045 | 4923 486 | 0 | 0 1241.52/1242.01 c 1241s | 21 | 1407243 | 1240745 | 4923 486 | 0 | 0 1243.51/1244.02 c 1243s | 21 | 1409100 | 1242445 | 4923 487 | 0 | 0 1245.51/1246.09 c 1246s | 21 | 1410716 | 1243945 | 4923 488 | 0 | 0 1247.61/1248.14 c 1248s | 21 | 1413799 | 1246645 | 4923 488 | 0 | 0 1249.71/1250.22 c 1250s | 21 | 1416579 | 1249045 | 4923 489 | 0 | 0 1251.71/1252.24 c 1252s | 21 | 1418935 | 1251145 | 4923 490 | 0 | 0 1253.81/1254.32 c 1254s | 21 | 1421283 | 1253245 | 4923 491 | 0 | 0 1255.91/1256.41 c 1256s | 21 | 1423641 | 1255345 | 4923 491 | 0 | 0 1257.92/1258.46 c 1258s | 21 | 1425648 | 1257145 | 4923 492 | 0 | 0 1259.91/1260.47 c 1260s | 21 | 1427551 | 1258845 | 4923 493 | 0 | 0 1262.01/1262.56 c 1262s | 21 | 1429748 | 1260845 | 4923 493 | 0 | 0 1264.01/1264.59 c 1264s | 21 | 1431605 | 1262545 | 4923 494 | 0 | 0 1266.11/1266.69 c 1266s | 21 | 1433556 | 1264345 | 4923 495 | 0 | 0 1268.21/1268.75 c 1268s | 21 | 1436124 | 1266645 | 4923 495 | 0 | 0 1270.21/1270.80 c 1270s | 21 | 1438228 | 1268545 | 4923 496 | 0 | 0 1272.32/1272.86 c 1272s | 21 | 1440325 | 1270445 | 4923 497 | 0 | 0 1274.31/1274.91 c 1274s | 21 | 1442254 | 1272245 | 4923 497 | 0 | 0 1276.41/1276.99 c 1276s | 21 | 1444460 | 1274145 | 4923 498 | 0 | 0 1278.51/1279.06 c 1279s | 21 | 1446400 | 1275845 | 4923 498 | 0 | 0 1280.61/1281.10 c 1281s | 21 | 1448179 | 1277445 | 4923 499 | 0 | 0 1282.61/1283.16 c 1283s | 21 | 1450208 | 1279245 | 4923 500 | 0 | 0 1284.71/1285.28 c 1285s | 21 | 1452164 | 1281045 | 4923 500 | 0 | 0 1286.81/1287.32 c 1287s | 21 | 1454199 | 1282845 | 4923 501 | 0 | 0 1288.82/1289.37 c 1289s | 21 | 1456177 | 1284645 | 4923 501 | 0 | 0 1290.92/1291.44 c 1291s | 21 | 1458342 | 1286545 | 4923 502 | 0 | 0 1292.91/1293.45 c 1293s | 21 | 1460322 | 1288345 | 4923 503 | 0 | 0 1295.01/1295.50 c 1295s | 21 | 1462520 | 1290345 | 4923 503 | 0 | 0 1297.01/1297.54 c 1297s | 21 | 1464683 | 1292245 | 4923 504 | 0 | 0 1299.11/1299.60 c 1299s | 21 | 1466538 | 1293945 | 4923 505 | 0 | 0 1301.21/1301.72 c 1301s | 21 | 1468623 | 1295845 | 4923 505 | 0 | 0 1303.20/1303.74 c 1303s | 21 | 1470700 | 1297645 | 4923 506 | 0 | 0 1305.21/1305.79 c 1305s | 21 | 1473438 | 1300045 | 4923 507 | 0 | 0 1307.30/1307.81 c 1307s | 21 | 1475739 | 1302045 | 4923 507 | 0 | 0 1309.30/1309.84 c 1309s | 21 | 1477740 | 1303845 | 4923 508 | 0 | 0 1311.30/1311.87 c 1311s | 21 | 1479742 | 1305645 | 4923 509 | 0 | 0 1313.30/1313.88 c 1313s | 21 | 1481696 | 1307445 | 4923 509 | 0 | 0 1315.40/1315.94 c 1315s | 21 | 1483884 | 1309345 | 4923 510 | 0 | 0 1317.50/1318.02 c 1317s | 21 | 1486030 | 1311345 | 4923 511 | 0 | 0 1319.61/1320.14 c 1320s | 21 | 1488070 | 1313245 | 4923 511 | 0 | 0 1321.71/1322.22 c 1322s | 21 | 1490291 | 1315245 | 4923 512 | 0 | 0 1323.70/1324.23 c 1324s | 21 | 1492332 | 1317145 | 4923 513 | 0 | 0 1325.70/1326.25 c 1326s | 21 | 1494534 | 1319145 | 4923 513 | 0 | 0 1327.70/1328.27 c 1328s | 21 | 1496733 | 1321145 | 4923 514 | 0 | 0 1329.80/1330.36 c 1330s | 21 | 1498632 | 1322845 | 4923 515 | 0 | 0 1331.80/1332.36 c 1332s | 21 | 1500950 | 1324945 | 4923 515 | 0 | 0 1333.90/1334.41 c 1334s | 21 | 1503092 | 1326845 | 4923 516 | 0 | 0 1335.89/1336.50 c 1336s | 21 | 1505302 | 1328845 | 4923 517 | 0 | 0 1337.99/1338.59 c 1338s | 21 | 1507348 | 1330745 | 4923 517 | 0 | 0 1340.10/1340.68 c 1340s | 21 | 1509533 | 1332645 | 4923 518 | 0 | 0 1342.20/1342.71 c 1342s | 21 | 1511423 | 1334345 | 4923 519 | 0 | 0 1344.20/1344.78 c 1344s | 21 | 1513275 | 1336045 | 4923 519 | 0 | 0 1346.30/1346.85 c 1346s | 21 | 1515039 | 1337645 | 4923 520 | 0 | 0 1348.40/1348.92 c 1348s | 21 | 1517213 | 1339545 | 4923 520 | 0 | 0 1350.41/1350.99 c 1350s | 21 | 1519285 | 1341445 | 4923 521 | 0 | 0 1352.51/1353.10 c 1353s | 21 | 1521081 | 1343045 | 4923 522 | 0 | 0 1354.60/1355.12 c 1355s | 21 | 1523153 | 1344945 | 4923 522 | 0 | 0 1356.60/1357.15 c 1357s | 21 | 1525269 | 1346845 | 4923 523 | 0 | 0 1358.70/1359.26 c 1359s | 21 | 1527395 | 1348745 | 4923 523 | 0 | 0 1360.80/1361.31 c 1361s | 21 | 1529582 | 1350645 | 4923 524 | 0 | 0 1362.80/1363.36 c 1363s | 21 | 1531589 | 1352445 | 4923 525 | 0 | 0 1364.80/1365.36 c 1365s | 21 | 1533603 | 1354245 | 4923 525 | 0 | 0 1366.81/1367.38 c 1367s | 21 | 1535866 | 1356245 | 4923 526 | 0 | 0 1368.80/1369.39 c 1369s | 21 | 1538048 | 1358245 | 4923 527 | 0 | 0 1370.90/1371.40 c 1371s | 21 | 1539988 | 1359945 | 4923 527 | 0 | 0 1372.89/1373.43 c 1373s | 21 | 1541993 | 1361745 | 4923 528 | 0 | 0 1374.89/1375.49 c 1375s | 21 | 1543864 | 1363445 | 4923 529 | 0 | 0 1376.89/1377.49 c 1377s | 21 | 1545709 | 1365145 | 4923 529 | 0 | 0 1379.00/1379.57 c 1379s | 21 | 1547983 | 1367145 | 4923 530 | 0 | 0 1381.10/1381.68 c 1381s | 21 | 1550328 | 1369245 | 4923 531 | 0 | 0 1383.19/1383.71 c 1383s | 21 | 1552456 | 1371145 | 4923 531 | 0 | 0 1385.19/1385.75 c 1385s | 21 | 1554629 | 1373145 | 4923 532 | 0 | 0 1387.29/1387.83 c 1387s | 21 | 1556625 | 1374945 | 4923 532 | 0 | 0 1389.29/1389.88 c 1389s | 21 | 1558825 | 1376945 | 4923 533 | 0 | 0 1391.39/1391.92 c 1391s | 21 | 1560941 | 1378845 | 4923 534 | 0 | 0 1393.39/1393.93 c 1393s | 21 | 1563000 | 1380645 | 4923 534 | 0 | 0 1395.50/1396.01 c 1395s | 21 | 1565036 | 1382445 | 4923 535 | 0 | 0 1397.49/1398.07 c 1398s | 21 | 1566991 | 1384145 | 4923 536 | 0 | 0 1399.59/1400.16 c 1400s | 21 | 1568895 | 1385845 | 4923 536 | 0 | 0 1401.69/1402.21 c 1402s | 21 | 1570929 | 1387645 | 4923 537 | 0 | 0 1403.69/1404.29 c 1404s | 21 | 1572865 | 1389445 | 4923 537 | 0 | 0 1405.79/1406.36 c 1406s | 21 | 1575123 | 1391445 | 4923 538 | 0 | 0 1407.78/1408.38 c 1408s | 21 | 1577154 | 1393245 | 4923 539 | 0 | 0 1409.79/1410.39 c 1410s | 21 | 1578889 | 1394845 | 4923 539 | 0 | 0 1411.89/1412.42 c 1412s | 21 | 1581636 | 1397045 | 4923 540 | 0 | 0 1413.88/1414.49 c 1414s | 21 | 1583958 | 1399045 | 4923 541 | 0 | 0 1415.98/1416.53 c 1416s | 21 | 1586349 | 1401145 | 4923 541 | 0 | 0 1418.08/1418.69 c 1418s | 21 | 1589086 | 1403545 | 4923 542 | 0 | 0 1420.18/1420.74 c 1420s | 21 | 1591382 | 1405545 | 4923 543 | 0 | 0 1422.28/1422.83 c 1422s | 21 | 1593117 | 1407145 | 4923 544 | 0 | 0 1424.38/1424.91 c 1424s | 21 | 1595272 | 1409145 | 4923 544 | 0 | 0 1426.38/1426.94 c 1426s | 21 | 1597167 | 1410845 | 4923 545 | 0 | 0 1428.39/1428.98 c 1428s | 21 | 1599506 | 1412945 | 4923 546 | 0 | 0 1430.38/1430.99 c 1430s | 21 | 1601624 | 1414845 | 4923 546 | 0 | 0 1432.48/1433.02 c 1432s | 21 | 1603794 | 1416745 | 4923 547 | 0 | 0 1434.48/1435.08 c 1435s | 21 | 1606445 | 1419045 | 4923 548 | 0 | 0 1436.58/1437.13 c 1437s | 21 | 1608941 | 1421245 | 4923 548 | 0 | 0 1438.68/1439.22 c 1439s | 21 | 1611275 | 1423345 | 4923 549 | 0 | 0 1440.68/1441.23 c 1441s | 21 | 1612982 | 1424845 | 4923 550 | 0 | 0 1442.79/1443.34 c 1443s | 21 | 1615099 | 1426745 | 4923 550 | 0 | 0 1444.78/1445.36 c 1445s | 21 | 1617002 | 1428445 | 4923 551 | 0 | 0 1446.78/1447.39 c 1447s | 21 | 1619167 | 1430345 | 4923 551 | 0 | 0 1448.87/1449.45 c 1449s | 21 | 1621543 | 1432445 | 4923 552 | 0 | 0 1450.97/1451.56 c 1451s | 21 | 1623655 | 1434345 | 4923 553 | 0 | 0 1453.07/1453.66 c 1453s | 21 | 1625812 | 1436245 | 4923 554 | 0 | 0 1455.07/1455.69 c 1455s | 21 | 1627809 | 1438045 | 4923 554 | 0 | 0 1457.17/1457.72 c 1457s | 21 | 1630060 | 1440045 | 4923 555 | 0 | 0 1459.28/1459.82 c 1459s | 21 | 1632268 | 1442045 | 4923 555 | 0 | 0 1461.38/1461.91 c 1461s | 21 | 1634380 | 1443945 | 4923 556 | 0 | 0 1463.47/1464.04 c 1464s | 21 | 1636365 | 1445745 | 4923 557 | 0 | 0 1465.48/1466.08 c 1466s | 21 | 1638225 | 1447445 | 4923 557 | 0 | 0 1467.58/1468.18 c 1468s | 21 | 1640567 | 1449545 | 4923 558 | 0 | 0 1469.68/1470.20 c 1470s | 21 | 1642440 | 1451245 | 4923 559 | 0 | 0 1471.78/1472.30 c 1472s | 21 | 1644758 | 1453345 | 4923 559 | 0 | 0 1473.78/1474.37 c 1474s | 21 | 1646699 | 1455145 | 4923 560 | 0 | 0 1475.79/1476.39 c 1476s | 21 | 1649055 | 1457245 | 4923 561 | 0 | 0 1477.89/1478.44 c 1478s | 21 | 1650978 | 1459045 | 4923 561 | 0 | 0 1479.98/1480.53 c 1480s | 21 | 1653353 | 1461145 | 4923 562 | 0 | 0 1482.08/1482.63 c 1482s | 21 | 1655460 | 1463045 | 4923 563 | 0 | 0 1484.18/1484.70 c 1484s | 21 | 1657481 | 1464845 | 4923 563 | 0 | 0 1486.18/1486.75 c 1486s | 21 | 1660076 | 1467145 | 4923 564 | 0 | 0 1488.28/1488.83 c 1488s | 21 | 1662243 | 1469045 | 4923 565 | 0 | 0 1490.38/1490.97 c 1490s | 21 | 1664395 | 1470945 | 4923 565 | 0 | 0 1492.48/1493.04 c 1493s | 21 | 1666520 | 1472845 | 4923 566 | 0 | 0 1494.57/1495.13 c 1495s | 21 | 1668404 | 1474545 | 4923 567 | 0 | 0 1496.68/1497.21 c 1497s | 21 | 1670485 | 1476445 | 4923 567 | 0 | 0 1498.67/1499.25 c 1499s | 21 | 1672271 | 1478045 | 4923 568 | 0 | 0 1500.77/1501.33 c 1501s | 21 | 1674026 | 1479645 | 4923 568 | 0 | 0 1502.77/1503.35 c 1503s | 21 | 1675549 | 1481045 | 4923 569 | 0 | 0 1504.77/1505.38 c 1505s | 21 | 1677329 | 1482645 | 4923 569 | 0 | 0 1506.87/1507.40 c 1507s | 21 | 1679353 | 1484445 | 4923 570 | 0 | 0 1508.87/1509.49 c 1509s | 21 | 1681079 | 1485945 | 4923 571 | 0 | 0 1511.07/1511.60 c 1511s | 21 | 1683102 | 1487745 | 4923 571 | 0 | 0 1512.97/1513.60 c 1513s | 21 | 1684776 | 1489245 | 4923 572 | 0 | 0 1515.17/1515.74 c 1515s | 21 | 1686620 | 1490945 | 5416 572 | 0 | 0 1517.27/1517.84 c 1517s | 21 | 1688288 | 1492445 | 5416 573 | 0 | 0 1519.26/1519.87 c 1519s | 21 | 1690400 | 1494345 | 5416 573 | 0 | 0 1521.26/1521.87 c 1521s | 21 | 1692645 | 1496345 | 5416 574 | 0 | 0 1523.36/1523.96 c 1523s | 21 | 1694572 | 1498145 | 5416 574 | 0 | 0 1525.36/1525.98 c 1525s | 21 | 1696391 | 1499845 | 5416 575 | 0 | 0 1526.27/1526.85 c 1526s | 22 | 1697229 | 1500622 | 5416 575 | 0 | 0 1528.36/1528.90 c 1528s | 22 | 1701491 | 1503622 | 5416 576 | 0 | 0 1530.36/1530.93 c 1530s | 22 | 1704071 | 1505922 | 5416 577 | 0 | 0 1532.36/1532.99 c 1532s | 22 | 1706676 | 1508222 | 5416 577 | 0 | 0 1534.46/1535.03 c 1534s | 22 | 1709028 | 1510322 | 5416 578 | 0 | 0 1536.46/1537.06 c 1537s | 22 | 1711445 | 1512522 | 5416 578 | 0 | 0 1538.47/1539.07 c 1539s | 22 | 1713906 | 1514722 | 5416 579 | 0 | 0 1540.58/1541.13 c 1541s | 22 | 1716416 | 1517022 | 5416 580 | 0 | 0 1542.67/1543.24 c 1543s | 22 | 1718680 | 1519122 | 5416 580 | 0 | 0 1544.67/1545.29 c 1545s | 22 | 1720498 | 1520822 | 5416 581 | 0 | 0 1546.77/1547.36 c 1547s | 22 | 1722431 | 1522622 | 5416 581 | 0 | 0 1548.87/1549.43 c 1549s | 22 | 1724780 | 1524722 | 5416 582 | 0 | 0 1550.97/1551.53 c 1551s | 22 | 1727186 | 1526922 | 5416 582 | 0 | 0 1553.07/1553.61 c 1553s | 22 | 1729660 | 1529122 | 5416 583 | 0 | 0 1555.07/1555.64 c 1555s | 22 | 1731915 | 1531122 | 5416 584 | 0 | 0 1557.07/1557.65 c 1557s | 22 | 1734432 | 1533422 | 5416 584 | 0 | 0 1559.06/1559.68 c 1559s | 22 | 1736485 | 1535322 | 5416 585 | 0 | 0 1561.16/1561.76 c 1561s | 22 | 1738745 | 1537322 | 5416 585 | 0 | 0 1563.26/1563.84 c 1563s | 22 | 1741268 | 1539622 | 5416 586 | 0 | 0 1565.36/1565.90 c 1565s | 22 | 1743557 | 1541722 | 5416 587 | 0 | 0 1567.36/1567.90 c 1567s | 22 | 1746030 | 1543922 | 5416 587 | 0 | 0 1569.36/1569.99 c 1569s | 22 | 1747970 | 1545722 | 5416 588 | 0 | 0 1571.47/1572.05 c 1572s | 22 | 1750256 | 1547822 | 5416 588 | 0 | 0 1573.57/1574.11 c 1574s | 22 | 1752701 | 1550022 | 5416 589 | 0 | 0 1575.66/1576.26 c 1576s | 22 | 1754920 | 1552022 | 5416 590 | 0 | 0 1577.76/1578.34 c 1578s | 22 | 1757445 | 1554322 | 5416 590 | 0 | 0 1579.86/1580.42 c 1580s | 22 | 1759612 | 1556322 | 5416 591 | 0 | 0 1581.86/1582.43 c 1582s | 22 | 1761707 | 1558222 | 5416 591 | 0 | 0 1583.86/1584.44 c 1584s | 22 | 1763814 | 1560122 | 5416 592 | 0 | 0 1585.86/1586.46 c 1586s | 22 | 1765782 | 1561922 | 5416 592 | 0 | 0 1587.97/1588.56 c 1588s | 22 | 1767752 | 1563722 | 5416 593 | 0 | 0 1589.96/1590.57 c 1590s | 22 | 1769692 | 1565522 | 5416 593 | 0 | 0 1592.05/1592.61 c 1592s | 22 | 1771528 | 1567222 | 5416 594 | 0 | 0 1594.05/1594.69 c 1594s | 22 | 1773766 | 1569222 | 5416 594 | 0 | 0 1596.15/1596.75 c 1596s | 22 | 1776063 | 1571322 | 5416 595 | 0 | 0 1598.35/1598.92 c 1598s | 22 | 1778098 | 1573222 | 5416 596 | 0 | 0 1600.35/1600.96 c 1600s | 22 | 1780350 | 1575322 | 5416 596 | 0 | 0 1602.45/1603.06 c 1603s | 22 | 1782077 | 1576922 | 5416 597 | 0 | 0 1604.55/1605.10 c 1605s | 22 | 1784139 | 1578822 | 5416 597 | 0 | 0 1606.56/1607.11 c 1607s | 22 | 1786182 | 1580622 | 5416 598 | 0 | 0 1608.55/1609.17 c 1609s | 22 | 1788908 | 1582922 | 5416 598 | 0 | 0 1610.65/1611.27 c 1611s | 22 | 1791243 | 1585022 | 5416 599 | 0 | 0 1612.75/1613.33 c 1613s | 22 | 1793628 | 1587122 | 5416 599 | 0 | 0 1614.75/1615.39 c 1615s | 22 | 1795894 | 1589122 | 5416 600 | 0 | 0 1616.85/1617.42 c 1617s | 22 | 1798212 | 1591122 | 5416 601 | 0 | 0 1618.85/1619.43 c 1619s | 22 | 1800449 | 1593122 | 5416 601 | 0 | 0 1620.86/1621.50 c 1621s | 22 | 1802397 | 1594822 | 5416 602 | 0 | 0 1622.95/1623.50 c 1623s | 22 | 1804468 | 1596722 | 5416 602 | 0 | 0 1624.95/1625.53 c 1625s | 22 | 1806711 | 1598722 | 5416 603 | 0 | 0 1626.95/1627.59 c 1627s | 22 | 1808708 | 1600522 | 5416 603 | 0 | 0 1629.05/1629.63 c 1629s | 22 | 1810470 | 1602122 | 5416 604 | 0 | 0 1631.05/1631.69 c 1631s | 22 | 1812346 | 1603822 | 5416 604 | 0 | 0 1633.15/1633.77 c 1633s | 22 | 1814435 | 1605622 | 5416 605 | 0 | 0 1635.26/1635.85 c 1635s | 22 | 1816550 | 1607522 | 5416 605 | 0 | 0 1637.36/1637.92 c 1637s | 22 | 1818659 | 1609422 | 5416 606 | 0 | 0 1639.45/1640.00 c 1639s | 22 | 1820526 | 1611122 | 5416 606 | 0 | 0 1641.45/1642.03 c 1642s | 22 | 1822540 | 1612922 | 5416 607 | 0 | 0 1643.55/1644.13 c 1644s | 22 | 1824553 | 1614722 | 5416 607 | 0 | 0 1645.55/1646.14 c 1646s | 22 | 1826291 | 1616222 | 5416 608 | 0 | 0 1647.55/1648.18 c 1648s | 22 | 1828734 | 1618422 | 5416 608 | 0 | 0 1649.65/1650.22 c 1650s | 22 | 1830866 | 1620322 | 5416 609 | 0 | 0 1651.66/1652.22 c 1652s | 22 | 1833011 | 1622222 | 5416 609 | 0 | 0 1653.75/1654.34 c 1654s | 22 | 1835394 | 1624322 | 5416 610 | 0 | 0 1655.75/1656.37 c 1656s | 22 | 1837134 | 1625922 | 5416 610 | 0 | 0 1657.85/1658.40 c 1658s | 22 | 1838913 | 1627522 | 5416 611 | 0 | 0 1659.85/1660.45 c 1660s | 22 | 1840793 | 1629222 | 5416 611 | 0 | 0 1661.95/1662.50 c 1662s | 22 | 1842838 | 1631022 | 5416 612 | 0 | 0 1663.95/1664.59 c 1664s | 22 | 1845013 | 1633022 | 5416 612 | 0 | 0 1666.15/1666.74 c 1666s | 22 | 1846896 | 1634722 | 5416 613 | 0 | 0 1668.16/1668.80 c 1668s | 22 | 1848662 | 1636322 | 5416 613 | 0 | 0 1670.25/1670.85 c 1670s | 22 | 1850912 | 1638322 | 5416 614 | 0 | 0 1672.35/1672.90 c 1672s | 22 | 1852905 | 1640122 | 5416 614 | 0 | 0 1674.34/1674.93 c 1674s | 22 | 1855191 | 1642122 | 5416 615 | 0 | 0 1676.44/1677.01 c 1676s | 22 | 1856918 | 1643722 | 5416 615 | 0 | 0 1678.44/1679.05 c 1679s | 22 | 1858717 | 1645322 | 5416 616 | 0 | 0 1680.54/1681.10 c 1681s | 22 | 1860646 | 1647022 | 5416 616 | 0 | 0 1682.55/1683.17 c 1683s | 22 | 1862552 | 1648722 | 5416 617 | 0 | 0 1684.65/1685.24 c 1685s | 22 | 1864686 | 1650622 | 5416 617 | 0 | 0 1686.74/1687.33 c 1687s | 22 | 1866552 | 1652322 | 5416 618 | 0 | 0 1688.74/1689.37 c 1689s | 22 | 1868503 | 1654122 | 5416 618 | 0 | 0 1690.84/1691.44 c 1691s | 22 | 1870495 | 1655922 | 5416 619 | 0 | 0 1692.84/1693.44 c 1693s | 22 | 1872711 | 1657922 | 5416 619 | 0 | 0 1694.94/1695.53 c 1695s | 22 | 1874194 | 1659322 | 5416 620 | 0 | 0 1696.94/1697.58 c 1697s | 22 | 1876559 | 1661422 | 5416 620 | 0 | 0 1699.05/1699.61 c 1699s | 22 | 1878644 | 1663322 | 5416 621 | 0 | 0 1701.04/1701.68 c 1701s | 22 | 1880328 | 1664822 | 5416 621 | 0 | 0 1703.14/1703.77 c 1703s | 22 | 1882299 | 1666622 | 5416 622 | 0 | 0 1705.24/1705.81 c 1705s | 22 | 1884205 | 1668322 | 5416 622 | 0 | 0 1707.24/1707.86 c 1707s | 22 | 1886494 | 1670322 | 5416 623 | 0 | 0 1709.24/1709.89 c 1709s | 22 | 1888883 | 1672422 | 5416 624 | 0 | 0 1711.34/1711.96 c 1711s | 22 | 1891400 | 1674622 | 5416 624 | 0 | 0 1713.44/1714.00 c 1713s | 22 | 1893392 | 1676422 | 5416 625 | 0 | 0 1715.45/1716.03 c 1716s | 22 | 1895707 | 1678522 | 5416 625 | 0 | 0 1717.43/1718.09 c 1718s | 22 | 1897529 | 1680222 | 5416 626 | 0 | 0 1719.53/1720.11 c 1720s | 22 | 1899885 | 1682322 | 5416 626 | 0 | 0 1721.53/1722.19 c 1722s | 22 | 1902066 | 1684222 | 5416 627 | 0 | 0 1723.63/1724.22 c 1724s | 22 | 1903842 | 1685822 | 5416 627 | 0 | 0 1725.63/1726.25 c 1726s | 22 | 1906840 | 1688422 | 5416 628 | 0 | 0 1727.64/1728.25 c 1728s | 22 | 1908993 | 1690322 | 5416 629 | 0 | 0 1729.74/1730.34 c 1730s | 22 | 1911331 | 1692422 | 5416 629 | 0 | 0 1731.83/1732.44 c 1732s | 22 | 1913392 | 1694322 | 5416 630 | 0 | 0 1733.93/1734.51 c 1734s | 22 | 1915392 | 1696222 | 5416 630 | 0 | 0 1735.93/1736.59 c 1736s | 22 | 1917407 | 1698022 | 5416 631 | 0 | 0 1738.03/1738.61 c 1738s | 22 | 1919508 | 1699922 | 5416 631 | 0 | 0 1740.03/1740.66 c 1740s | 22 | 1921671 | 1701822 | 5416 632 | 0 | 0 1742.13/1742.75 c 1742s | 22 | 1923782 | 1703722 | 5416 632 | 0 | 0 1744.23/1744.83 c 1744s | 22 | 1925995 | 1705722 | 5416 633 | 0 | 0 1746.34/1746.99 c 1746s | 22 | 1928024 | 1707522 | 5416 634 | 0 | 0 1748.44/1749.03 c 1749s | 22 | 1930794 | 1710022 | 5416 634 | 0 | 0 1750.53/1751.10 c 1751s | 22 | 1933063 | 1712022 | 5416 635 | 0 | 0 1752.53/1753.10 c 1753s | 22 | 1934998 | 1713822 | 5416 635 | 0 | 0 1754.53/1755.17 c 1755s | 22 | 1936746 | 1715422 | 5416 636 | 0 | 0 1756.63/1757.26 c 1757s | 22 | 1939186 | 1717622 | 5416 636 | 0 | 0 1758.63/1759.29 c 1759s | 22 | 1941054 | 1719322 | 5416 637 | 0 | 0 1760.73/1761.35 c 1761s | 22 | 1942916 | 1721022 | 5416 637 | 0 | 0 1762.74/1763.40 c 1763s | 22 | 1944503 | 1722522 | 5416 638 | 0 | 0 1764.82/1765.49 c 1765s | 22 | 1946280 | 1724122 | 5416 638 | 0 | 0 1767.02/1767.62 c 1767s | 22 | 1947841 | 1725522 | 5416 639 | 0 | 0 1769.12/1769.72 c 1769s | 22 | 1949820 | 1727322 | 5416 639 | 0 | 0 1771.22/1771.85 c 1771s | 22 | 1951440 | 1728822 | 5416 640 | 0 | 0 1773.33/1773.90 c 1773s | 22 | 1953217 | 1730422 | 5416 640 | 0 | 0 1775.43/1776.05 c 1776s | 22 | 1954861 | 1731922 | 5416 640 | 0 | 0 1777.43/1778.08 c 1778s | 22 | 1956262 | 1733222 | 5416 641 | 0 | 0 1779.63/1780.20 c 1780s | 22 | 1957769 | 1734622 | 5416 641 | 0 | 0 1781.63/1782.29 c 1782s | 22 | 1959178 | 1735922 | 5416 642 | 0 | 0 1783.74/1784.36 c 1784s | 22 | 1961260 | 1737822 | 5416 642 | 0 | 0 1785.73/1786.39 c 1786s | 22 | 1963340 | 1739722 | 5416 643 | 0 | 0 1787.93/1788.50 c 1788s | 22 | 1965541 | 1741722 | 5416 643 | 0 | 0 1789.93/1790.53 c 1790s | 22 | 1967049 | 1743122 | 5416 644 | 0 | 0 1792.03/1792.63 c 1792s | 22 | 1969425 | 1745222 | 5416 644 | 0 | 0 1794.13/1794.72 c 1794s | 22 | 1971249 | 1746822 | 5416 645 | 0 | 0 1796.13/1796.79 c 1796s | 22 | 1973646 | 1748922 | 5416 645 | 0 | 0 1798.22/1798.82 c 1798s | 22 | 1975750 | 1750822 | 5416 646 | 0 | 0
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-4078600-1465221166/watcher-4078600-1465221166 -o /tmp/evaluation-result-4078600-1465221166/solver-4078600-1465221166 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078600-1465221166.opb pid=29296 running on 8 cores: 0-3,8-11 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.07 2.11 2.10 3/261 29299 /proc/meminfo: memFree=30831808/32872528 swapFree=9196/9196 [pid=29299] ppid=29296 vsize=1033796 CPUtime=0 cores=0-3,8-11 /proc/29299/stat : 29299 (toysat) R 29296 29299 25889 0 -1 4202496 3908 0 0 0 0 0 0 0 20 0 4 0 103958648 1058607104 4781 33554432000 4194304 16246674 140734640404704 140734640404128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/29299/statm: 258961 4791 442 2943 0 255855 0 [pid=29299/tid=29300] ppid=29296 vsize=1055300 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29300/stat : 29300 (toysat) S 29296 29299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103958648 1080627200 4865 33554432000 4194304 16246674 140734640404704 140698321923312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=29299/tid=29301] ppid=29296 vsize=1059396 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29301/stat : 29301 (toysat) S 29296 29299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103958648 1084821504 4883 33554432000 4194304 16246674 140734640404704 140698311433456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=29299/tid=29302] ppid=29296 vsize=1063492 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1089015808 4899 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 [startup+0.10018 s] /proc/loadavg: 2.07 2.11 2.10 3/261 29299 /proc/meminfo: memFree=30831808/32872528 swapFree=9196/9196 [pid=29299] ppid=29296 vsize=1218116 CPUtime=0.09 cores=0-3,8-11 /proc/29299/stat : 29299 (toysat) R 29296 29299 25889 0 -1 4202496 32957 0 0 0 5 4 0 0 20 0 4 0 103958648 1247350784 33819 33554432000 4194304 16246674 140734640404704 140734640404128 5546181 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/29299/statm: 304529 33838 704 2943 0 301423 0 [pid=29299/tid=29300] ppid=29296 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29300/stat : 29300 (toysat) S 29296 29299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103958648 1247350784 33852 33554432000 4194304 16246674 140734640404704 140698321923312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=29299/tid=29301] ppid=29296 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29301/stat : 29301 (toysat) S 29296 29299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103958648 1247350784 33866 33554432000 4194304 16246674 140734640404704 140698311433456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=29299/tid=29302] ppid=29296 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1247350784 33881 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.20052 s] /proc/loadavg: 2.07 2.11 2.10 3/261 29299 /proc/meminfo: memFree=30831808/32872528 swapFree=9196/9196 [pid=29299] ppid=29296 vsize=1218116 CPUtime=0.19 cores=0-3,8-11 /proc/29299/stat : 29299 (toysat) R 29296 29299 25889 0 -1 4202496 69218 0 0 0 10 9 0 0 20 0 4 0 103958648 1247350784 70080 33554432000 4194304 16246674 140734640404704 140734640386624 5546181 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/29299/statm: 304529 70096 704 2943 0 301423 0 [pid=29299/tid=29300] ppid=29296 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29300/stat : 29300 (toysat) S 29296 29299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103958648 1247350784 70101 33554432000 4194304 16246674 140734640404704 140698321923312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=29299/tid=29301] ppid=29296 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29301/stat : 29301 (toysat) S 29296 29299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103958648 1247350784 70109 33554432000 4194304 16246674 140734640404704 140698311433456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=29299/tid=29302] ppid=29296 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1247350784 70117 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.3005 s] /proc/loadavg: 2.07 2.11 2.10 3/261 29299 /proc/meminfo: memFree=30831808/32872528 swapFree=9196/9196 [pid=29299] ppid=29296 vsize=1218116 CPUtime=0.29 cores=0-3,8-11 /proc/29299/stat : 29299 (toysat) R 29296 29299 25889 0 -1 4202496 105682 0 0 0 16 13 0 0 20 0 4 0 103958648 1247350784 106544 33554432000 4194304 16246674 140734640404704 140734640386624 5546181 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/29299/statm: 304529 106565 704 2943 0 301423 0 [pid=29299/tid=29300] ppid=29296 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29300/stat : 29300 (toysat) S 29296 29299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103958648 1247350784 106580 33554432000 4194304 16246674 140734640404704 140698321923312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=29299/tid=29301] ppid=29296 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29301/stat : 29301 (toysat) S 29296 29299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103958648 1247350784 106594 33554432000 4194304 16246674 140734640404704 140698311433456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=29299/tid=29302] ppid=29296 vsize=1218116 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1247350784 106609 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.70039 s] /proc/loadavg: 2.07 2.11 2.10 3/261 29299 /proc/meminfo: memFree=30831808/32872528 swapFree=9196/9196 [pid=29299] ppid=29296 vsize=1221188 CPUtime=0.69 cores=0-3,8-11 /proc/29299/stat : 29299 (toysat) R 29296 29299 25889 0 -1 4202496 246103 0 0 0 38 31 0 0 20 0 4 0 103958648 1250496512 246944 33554432000 4194304 16246674 140734640404704 140734640404016 5545872 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/29299/statm: 305297 246944 783 2943 0 302191 0 [pid=29299/tid=29300] ppid=29296 vsize=1221188 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29300/stat : 29300 (toysat) S 29296 29299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103958648 1250496512 246944 33554432000 4194304 16246674 140734640404704 140698321923312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=29299/tid=29301] ppid=29296 vsize=1221188 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29301/stat : 29301 (toysat) S 29296 29299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103958648 1250496512 246944 33554432000 4194304 16246674 140734640404704 140698311433456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=29299/tid=29302] ppid=29296 vsize=1221188 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1250496512 246944 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1221188 [startup+1.5004 s] /proc/loadavg: 2.07 2.11 2.10 3/265 29303 /proc/meminfo: memFree=29785784/32872528 swapFree=9196/9196 [pid=29299] ppid=29296 vsize=1302084 CPUtime=1.49 cores=0-3,8-11 /proc/29299/stat : 29299 (toysat) R 29296 29299 25889 0 -1 4202496 266432 0 0 0 115 34 0 0 20 0 4 0 103958648 1333334016 267273 33554432000 4194304 16246674 140734640404704 140734640386624 5545776 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/29299/statm: 325521 267273 788 2943 0 322415 0 [pid=29299/tid=29300] ppid=29296 vsize=1302084 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29300/stat : 29300 (toysat) S 29296 29299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103958648 1333334016 267273 33554432000 4194304 16246674 140734640404704 140698321923312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=29299/tid=29301] ppid=29296 vsize=1302084 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29301/stat : 29301 (toysat) S 29296 29299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103958648 1333334016 267273 33554432000 4194304 16246674 140734640404704 140698311433456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=29299/tid=29302] ppid=29296 vsize=1302084 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1333334016 267273 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1302084 [startup+3.10039 s] /proc/loadavg: 2.06 2.11 2.10 3/265 29303 /proc/meminfo: memFree=29756576/32872528 swapFree=9196/9196 [pid=29299] ppid=29296 vsize=1308228 CPUtime=3.09 cores=0-3,8-11 /proc/29299/stat : 29299 (toysat) R 29296 29299 25889 0 -1 4202496 267891 0 0 0 275 34 0 0 20 0 4 0 103958648 1339625472 268732 33554432000 4194304 16246674 140734640404704 140734640386624 5546190 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/29299/statm: 327057 268732 790 2943 0 323951 0 [pid=29299/tid=29300] ppid=29296 vsize=1308228 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29300/stat : 29300 (toysat) S 29296 29299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103958648 1339625472 268732 33554432000 4194304 16246674 140734640404704 140698321923312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=29299/tid=29301] ppid=29296 vsize=1308228 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29301/stat : 29301 (toysat) S 29296 29299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103958648 1339625472 268732 33554432000 4194304 16246674 140734640404704 140698311433456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=29299/tid=29302] ppid=29296 vsize=1308228 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1339625472 268732 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 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.06 2.11 2.10 3/265 29303 /proc/meminfo: memFree=29755120/32872528 swapFree=9196/9196 [pid=29299] ppid=29296 vsize=1308228 CPUtime=6.29 cores=0-3,8-11 /proc/29299/stat : 29299 (toysat) R 29296 29299 25889 0 -1 4202496 268081 0 0 0 595 34 0 0 20 0 4 0 103958648 1339625472 268922 33554432000 4194304 16246674 140734640404704 140734640386624 13950232 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/29299/statm: 327057 268922 790 2943 0 323951 0 [pid=29299/tid=29300] ppid=29296 vsize=1308228 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29300/stat : 29300 (toysat) S 29296 29299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103958648 1339625472 268922 33554432000 4194304 16246674 140734640404704 140698321923312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=29299/tid=29301] ppid=29296 vsize=1308228 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29301/stat : 29301 (toysat) S 29296 29299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103958648 1339625472 268922 33554432000 4194304 16246674 140734640404704 140698311433456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=29299/tid=29302] ppid=29296 vsize=1308228 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1339625472 268922 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.05 2.10 2.09 3/265 29303 /proc/meminfo: memFree=29750516/32872528 swapFree=9196/9196 [pid=29299] ppid=29296 vsize=1312324 CPUtime=12.69 cores=0-3,8-11 /proc/29299/stat : 29299 (toysat) R 29296 29299 25889 0 -1 4202496 268982 0 0 0 1234 35 0 0 20 0 4 0 103958648 1343819776 269823 33554432000 4194304 16246674 140734640404704 140734640386624 5546093 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/29299/statm: 328081 269823 790 2943 0 324975 0 [pid=29299/tid=29300] ppid=29296 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29300/stat : 29300 (toysat) S 29296 29299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103958648 1343819776 269823 33554432000 4194304 16246674 140734640404704 140698321923312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=29299/tid=29301] ppid=29296 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29301/stat : 29301 (toysat) S 29296 29299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103958648 1343819776 269823 33554432000 4194304 16246674 140734640404704 140698311433456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=29299/tid=29302] ppid=29296 vsize=1312324 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1343819776 269823 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1312324 [startup+25.5005 s] /proc/loadavg: 2.04 2.10 2.09 3/265 29303 /proc/meminfo: memFree=29744812/32872528 swapFree=9196/9196 [pid=29299] ppid=29296 vsize=1318468 CPUtime=25.49 cores=0-3,8-11 /proc/29299/stat : 29299 (toysat) R 29296 29299 25889 0 -1 4202496 270643 0 0 0 2514 35 0 0 20 0 4 0 103958648 1350111232 271484 33554432000 4194304 16246674 140734640404704 140734640386624 5722908 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/29299/statm: 329617 271484 792 2943 0 326511 0 [pid=29299/tid=29300] ppid=29296 vsize=1318468 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29300/stat : 29300 (toysat) S 29296 29299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103958648 1350111232 271484 33554432000 4194304 16246674 140734640404704 140698321923312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=29299/tid=29301] ppid=29296 vsize=1318468 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29301/stat : 29301 (toysat) S 29296 29299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103958648 1350111232 271484 33554432000 4194304 16246674 140734640404704 140698311433456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=29299/tid=29302] ppid=29296 vsize=1318468 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1350111232 271484 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1318468 [startup+51.1005 s] /proc/loadavg: 2.15 2.12 2.10 3/265 29499 /proc/meminfo: memFree=29896644/32872528 swapFree=9196/9196 [pid=29299] ppid=29296 vsize=1318468 CPUtime=51.08 cores=0-3,8-11 /proc/29299/stat : 29299 (toysat) R 29296 29299 25889 0 -1 4202496 270644 0 0 0 5073 35 0 0 20 0 4 0 103958648 1350111232 271485 33554432000 4194304 16246674 140734640404704 140734640386624 13949833 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/29299/statm: 329617 271485 792 2943 0 326511 0 [pid=29299/tid=29300] ppid=29296 vsize=1318468 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29300/stat : 29300 (toysat) S 29296 29299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103958648 1350111232 271485 33554432000 4194304 16246674 140734640404704 140698321923312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=29299/tid=29301] ppid=29296 vsize=1318468 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29301/stat : 29301 (toysat) S 29296 29299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103958648 1350111232 271485 33554432000 4194304 16246674 140734640404704 140698311433456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=29299/tid=29302] ppid=29296 vsize=1318468 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1350111232 271485 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1318468 [startup+102.301 s] /proc/loadavg: 2.09 2.11 2.09 3/265 29597 /proc/meminfo: memFree=29886312/32872528 swapFree=9196/9196 [pid=29299] ppid=29296 vsize=1318468 CPUtime=102.27 cores=0-3,8-11 /proc/29299/stat : 29299 (toysat) R 29296 29299 25889 0 -1 4202496 270663 0 0 0 10191 36 0 0 20 0 4 0 103958648 1350111232 271485 33554432000 4194304 16246674 140734640404704 140734640386624 5546214 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/29299/statm: 329617 271485 792 2943 0 326511 0 [pid=29299/tid=29300] ppid=29296 vsize=1318468 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29300/stat : 29300 (toysat) S 29296 29299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103958648 1350111232 271485 33554432000 4194304 16246674 140734640404704 140698321923312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=29299/tid=29301] ppid=29296 vsize=1318468 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29301/stat : 29301 (toysat) S 29296 29299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103958648 1350111232 271485 33554432000 4194304 16246674 140734640404704 140698311433456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=29299/tid=29302] ppid=29296 vsize=1318468 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1350111232 271485 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1318468 ################ # More data... # ################ /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274586 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 1331780 [startup+1302.3 s] /proc/loadavg: 2.08 2.06 2.05 3/265 29650 /proc/meminfo: memFree=29840604/32872528 swapFree=9196/9196 [pid=29299] ppid=29296 vsize=1331780 CPUtime=1301.81 cores=0-3,8-11 /proc/29299/stat : 29299 (toysat) R 29296 29299 25889 0 -1 4202496 274409 0 0 0 130134 47 0 0 20 0 4 0 103958648 1363742720 274815 33554432000 4194304 16246674 140734640404704 140734640386624 5676609 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/29299/statm: 332945 274815 794 2943 0 329839 0 [pid=29299/tid=29300] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29300/stat : 29300 (toysat) S 29296 29299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274815 33554432000 4194304 16246674 140734640404704 140698321923312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=29299/tid=29301] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29301/stat : 29301 (toysat) S 29296 29299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274815 33554432000 4194304 16246674 140734640404704 140698311433456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=29299/tid=29302] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274815 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 1331780 [startup+1362.3 s] /proc/loadavg: 2.10 2.06 2.05 3/266 29652 /proc/meminfo: memFree=29839140/32872528 swapFree=9196/9196 [pid=29299] ppid=29296 vsize=1331780 CPUtime=1361.8 cores=0-3,8-11 /proc/29299/stat : 29299 (toysat) R 29296 29299 25889 0 -1 4202496 274409 0 0 0 136132 48 0 0 20 0 4 0 103958648 1363742720 274815 33554432000 4194304 16246674 140734640404704 140734640386624 5672188 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/29299/statm: 332945 274815 794 2943 0 329839 0 [pid=29299/tid=29300] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29300/stat : 29300 (toysat) S 29296 29299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274815 33554432000 4194304 16246674 140734640404704 140698321923312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=29299/tid=29301] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29301/stat : 29301 (toysat) S 29296 29299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274815 33554432000 4194304 16246674 140734640404704 140698311433456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=29299/tid=29302] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274815 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 1331780 [startup+1422.3 s] /proc/loadavg: 2.03 2.05 2.04 3/264 29653 /proc/meminfo: memFree=29838932/32872528 swapFree=9196/9196 [pid=29299] ppid=29296 vsize=1331780 CPUtime=1421.79 cores=0-3,8-11 /proc/29299/stat : 29299 (toysat) R 29296 29299 25889 0 -1 4202496 274409 0 0 0 142131 48 0 0 20 0 4 0 103958648 1363742720 274815 33554432000 4194304 16246674 140734640404704 140734640386624 13192133 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/29299/statm: 332945 274815 794 2943 0 329839 0 [pid=29299/tid=29300] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29300/stat : 29300 (toysat) S 29296 29299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274815 33554432000 4194304 16246674 140734640404704 140698321923312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=29299/tid=29301] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29301/stat : 29301 (toysat) S 29296 29299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274815 33554432000 4194304 16246674 140734640404704 140698311433456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=29299/tid=29302] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274815 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 1331780 [startup+1482.3 s] /proc/loadavg: 2.10 2.07 2.04 3/265 29655 /proc/meminfo: memFree=29840056/32872528 swapFree=9196/9196 [pid=29299] ppid=29296 vsize=1331780 CPUtime=1481.78 cores=0-3,8-11 /proc/29299/stat : 29299 (toysat) R 29296 29299 25889 0 -1 4202496 274409 0 0 0 148129 49 0 0 20 0 4 0 103958648 1363742720 274815 33554432000 4194304 16246674 140734640404704 140734640386624 5722960 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/29299/statm: 332945 274815 794 2943 0 329839 0 [pid=29299/tid=29300] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29300/stat : 29300 (toysat) S 29296 29299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274815 33554432000 4194304 16246674 140734640404704 140698321923312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=29299/tid=29301] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29301/stat : 29301 (toysat) S 29296 29299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274815 33554432000 4194304 16246674 140734640404704 140698311433456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=29299/tid=29302] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274815 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 1331780 [startup+1542.31 s] /proc/loadavg: 2.11 2.07 2.04 3/265 29656 /proc/meminfo: memFree=29839612/32872528 swapFree=9196/9196 [pid=29299] ppid=29296 vsize=1331780 CPUtime=1541.78 cores=0-3,8-11 /proc/29299/stat : 29299 (toysat) R 29296 29299 25889 0 -1 4202496 274410 0 0 0 154128 50 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140734640386624 6012036 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/29299/statm: 332945 274818 794 2943 0 329839 0 [pid=29299/tid=29300] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29300/stat : 29300 (toysat) S 29296 29299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140698321923312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=29299/tid=29301] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29301/stat : 29301 (toysat) S 29296 29299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140698311433456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=29299/tid=29302] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 1331780 [startup+1602.3 s] /proc/loadavg: 2.17 2.10 2.05 3/265 29657 /proc/meminfo: memFree=29840112/32872528 swapFree=9196/9196 [pid=29299] ppid=29296 vsize=1331780 CPUtime=1601.75 cores=0-3,8-11 /proc/29299/stat : 29299 (toysat) R 29296 29299 25889 0 -1 4202496 274410 0 0 0 160125 50 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140734640386624 5721365 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/29299/statm: 332945 274818 794 2943 0 329839 0 [pid=29299/tid=29300] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29300/stat : 29300 (toysat) S 29296 29299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140698321923312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=29299/tid=29301] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29301/stat : 29301 (toysat) S 29296 29299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140698311433456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=29299/tid=29302] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 1331780 [startup+1662.3 s] /proc/loadavg: 2.09 2.09 2.05 3/266 29661 /proc/meminfo: memFree=29840148/32872528 swapFree=9196/9196 [pid=29299] ppid=29296 vsize=1331780 CPUtime=1661.75 cores=0-3,8-11 /proc/29299/stat : 29299 (toysat) R 29296 29299 25889 0 -1 4202496 274410 0 0 0 166124 51 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140734640386624 5523464 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/29299/statm: 332945 274818 794 2943 0 329839 0 [pid=29299/tid=29300] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29300/stat : 29300 (toysat) S 29296 29299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140698321923312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=29299/tid=29301] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29301/stat : 29301 (toysat) S 29296 29299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140698311433456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=29299/tid=29302] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 1331780 [startup+1722.3 s] /proc/loadavg: 2.08 2.09 2.05 3/265 29662 /proc/meminfo: memFree=29840148/32872528 swapFree=9196/9196 [pid=29299] ppid=29296 vsize=1331780 CPUtime=1721.73 cores=0-3,8-11 /proc/29299/stat : 29299 (toysat) R 29296 29299 25889 0 -1 4202496 274410 0 0 0 172122 51 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140734640386624 13906976 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/29299/statm: 332945 274818 794 2943 0 329839 0 [pid=29299/tid=29300] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29300/stat : 29300 (toysat) S 29296 29299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140698321923312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=29299/tid=29301] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29301/stat : 29301 (toysat) S 29296 29299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140698311433456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=29299/tid=29302] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 1331780 [startup+1782.3 s] /proc/loadavg: 2.03 2.07 2.05 3/265 29664 /proc/meminfo: memFree=29840028/32872528 swapFree=9196/9196 [pid=29299] ppid=29296 vsize=1331780 CPUtime=1781.73 cores=0-3,8-11 /proc/29299/stat : 29299 (toysat) R 29296 29299 25889 0 -1 4202496 274410 0 0 0 178121 52 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140734640386624 5546093 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/29299/statm: 332945 274818 794 2943 0 329839 0 [pid=29299/tid=29300] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29300/stat : 29300 (toysat) S 29296 29299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140698321923312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=29299/tid=29301] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29301/stat : 29301 (toysat) S 29296 29299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140698311433456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=29299/tid=29302] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 1331780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.02 2.06 2.05 3/265 29665 /proc/meminfo: memFree=29839784/32872528 swapFree=9196/9196 [pid=29299] ppid=29296 vsize=1331780 CPUtime=1800.02 cores=0-3,8-11 /proc/29299/stat : 29299 (toysat) R 29296 29299 25889 0 -1 4202496 274410 0 0 0 179950 52 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140734640386624 5523504 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0 /proc/29299/statm: 332945 274818 794 2943 0 329839 0 [pid=29299/tid=29300] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29300/stat : 29300 (toysat) S 29296 29299 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140698321923312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0 [pid=29299/tid=29301] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29301/stat : 29301 (toysat) S 29296 29299 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140698311433456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0 [pid=29299/tid=29302] ppid=29296 vsize=1331780 CPUtime=0 cores=0-3,8-11 /proc/29299/task/29302/stat : 29302 (toysat) S 29296 29299 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103958648 1363742720 274818 33554432000 4194304 16246674 140734640404704 140698229664944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1331780 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 29299 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.04 CPU user time (s): 1799.51 CPU system time (s): 0.52392 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (KiB): 1331780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.52392 maximum resident set size= 1099272 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274410 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= 450 involuntary context switches= 5630 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.81696 second user time and 9.8695 second system time The end
Begin job on node132 at 2016-06-06 15:52:46 IDJOB=4078600 IDBENCH=1417 IDSOLVER=2542 FILE ID=node132/4078600-1465221166 RUNJOBID= node132-1465216787-25905 PBS_JOBID= 19843203 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078600-1465221166/watcher-4078600-1465221166 -o /tmp/evaluation-result-4078600-1465221166/solver-4078600-1465221166 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078600-1465221166.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 4d7adbd65e64509ef53d6e98bf824cab RANDOM SEED=1907583766 node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.41 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 30832584 kB Buffers: 11680 kB Cached: 80276 kB SwapCached: 3232 kB Active: 1293036 kB Inactive: 29304 kB Active(anon): 1229788 kB Inactive(anon): 3236 kB Active(file): 63248 kB Inactive(file): 26068 kB Unevictable: 9196 kB Mlocked: 9196 kB SwapTotal: 67108856 kB SwapFree: 67094520 kB Dirty: 16476 kB Writeback: 0 kB AnonPages: 1345572 kB Mapped: 10852 kB Shmem: 0 kB Slab: 572372 kB SReclaimable: 12876 kB SUnreclaim: 559496 kB KernelStack: 2240 kB PageTables: 5788 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1379092 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 1329152 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71716 MiB End job on node132 at 2016-06-06 16:22:47