| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.62 |
| Name | /OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat25_6_3_6_ic.opb |
| MD5SUM | 09d230c3dd969e67e7ea084b633c9325 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 15725 |
| Total number of constraints | 31332 |
| Number of constraints which are clauses | 14450 |
| Number of constraints which are cardinality constraints (but not clauses) | 7 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16875 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 300 |
| Number of terms in the objective function | 1825 |
| Biggest coefficient in the objective function | 74618461 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 7915122659 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 74618461 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 7915122659 |
| Number of bits of the biggest sum of numbers | 33 |
| 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-08T01:00:47+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-4079333-1465340447.opb"] 0.00/0.01 c use --random-gen="4068221764 386334969 1276938935 1422172786 3818839133 2985141142 2245549667 4152557167 2335165152 2678624504 1545643002 1724630555 1491648933 1536862162 3207341911 2923469034 1712908818 1806395715 2942886460 2166137155 349746776 2836349591 2692163946 2640578077 986601688 380078699 3652417501 1803016943 2258618178 1368022409 1309638448 2008342909 1225579359 1424879310 2521107364 2195698401 2971870557 3489850815 1091720209 1370187778 642224483 1416600341 2096152828 109108268 2885608427 281969365 3203699937 3548745244 3701914782 105733932 415413098 3997501421 3255855573 3401915993 2444056750 2233669257 3165834447 1688479395 3366599884 92387616 3752732177 2297850867 1106309616 4003947105 3119484580 1646382300 1020796195 1748250530 2309317500 533872938 308570876 1868071445 3564728300 725215757 661267163 1704213162 87359483 231965772 3294451686 787615138 3558917704 411011221 197342294 4101477847 4023104115 2051606596 1152365689 1728667308 1227259616 4215460404 1152752473 699791237 4287425319 2331363581 1117350794 539209050 3913498686 685361521 4223135610 3554710387 1469106507 375442676 1673238228 2548698391 301729251 35838255 1293135835 4293420119 736012357 537955271 1983250620 798686054 943764375 3280761860 1786455060 3240580751 3270503887 3682063294 2454645598 3347868080 1217867758 343861795 3869563842 3772778794 1042199783 963025586 515988747 1353926644 1655366263 1488647424 2895254669 1997344904 3932807961 3813137852 3757389687 2557735683 3619285197 2789347612 3081146166 2887167328 1051928423 1938713368 1806305687 1141516584 3795662277 1207388591 406731416 8103847 531865439 1500394461 3221485259 2736292097 3487637511 3197732091 2646045460 503231050 1818492805 3739561948 613061376 3435992418 3143338775 3035124561 551554921 3786979798 2170199080 3330468305 3014765751 2626229727 263256629 2448361232 2646297949 1592497639 1028703328 1894492809 4218888615 2880193270 923512074 7974030 949491395 2565430607 4294460971 2508035066 4062890641 832661532 4284764302 1136579635 1639035431 1675920892 1048348700 89410255 578563364 1547381204 4115053045 2623634554 1461038298 949803731 3263607410 3061850329 1159930873 2481196217 2681353176 241625620 2884965166 766683599 821016361 733288408 943758894 319112493 1327232479 3334745919 764237366 2677653000 957841462 686499832 3471217850 1118018046 2574301581 1784992444 2343094086 3781127 2993457197 729592312 1547389517 830993397 2710167283 4000271474 177781762 1177233727 1849648898 1216392583 3192064731 2014163412 2176439984 3796267853 3480399287 3147639500 1395280152 3411348820 3310221879 1145291327 338123256 1158102904 930020837 3211632647 3332923284 3083298665 2177249341 2220561287 2318010422 4138273233 4252852949 743735269 3413208656 948721740 1399082211 2018372710 255 362436" option to reproduce the execution 0.19/0.29 c #vars 15725 0.19/0.29 c #constraints 31332 0.78/0.82 c BCD2: Hardening is enabled. 0.78/0.82 c BCD2: BiasedSearch is enabled. 0.78/0.82 c Solving starts ... 0.78/0.82 c ============================[ Search Statistics ]============================ 0.78/0.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.78/0.82 c | | | | Limit GC | Var | Constra 0.78/0.82 c ============================================================================= 0.78/0.82 c 0.0s | 0 | 0 | 0 | 16286 0 | 75 | 0 1.79/1.85 c 1.0s | 1 | 129 | 100 | 16286 0 | 75 | 0 3.09/3.12 c 2.3s | 2 | 436 | 250 | 17915 0 | 75 | 0 4.50/4.52 c 3.7s | 3 | 796 | 475 | 19707 0 | 75 | 0 6.60/6.69 c 5.9s | 4 | 1310 | 813 | 21678 0 | 75 | 0 7.99/8.03 c 7.2s | 5 | 1904 | 1320 | 23846 0 | 75 | 0 10.09/10.16 c 9.3s | 5 | 3247 | 1720 | 26231 0 | 75 | 0 11.59/11.69 c 10.9s | 6 | 3805 | 2081 | 28855 0 | 75 | 0 13.79/13.89 c 13.1s | 6 | 4784 | 2681 | 28855 0 | 75 | 0 16.29/16.30 c 15.5s | 6 | 5383 | 3181 | 28855 0 | 75 | 0 16.50/16.58 c 15.8s | 7 | 5434 | 3223 | 31741 0 | 75 | 0 18.70/18.78 c 18.0s | 7 | 6328 | 3923 | 31741 0 | 75 | 0 20.79/20.82 c 20.0s | 7 | 7000 | 4523 | 31741 0 | 75 | 0 22.09/22.11 c 21.3s | 8 | 7439 | 4936 | 34916 0 | 75 | 0 24.49/24.59 c 23.8s | 8 | 8434 | 5436 | 34916 0 | 75 | 0 26.79/26.85 c 26.0s | 8 | 9301 | 5936 | 34916 0 | 75 | 0 28.99/29.06 c 28.2s | 8 | 9979 | 6536 | 34916 0 | 75 | 0 30.99/31.09 c 30.3s | 8 | 10405 | 6936 | 34916 0 | 75 | 0 33.19/33.26 c 32.4s | 8 | 11146 | 7336 | 34916 0 | 75 | 0 33.99/34.00 c 33.2s | 9 | 11330 | 7506 | 38408 0 | 75 | 0 36.29/36.31 c 35.5s | 9 | 12044 | 8106 | 38408 0 | 75 | 0 38.39/38.43 c 37.6s | 9 | 12688 | 8706 | 38408 0 | 75 | 0 40.58/40.62 c 39.8s | 9 | 13558 | 9506 | 38408 0 | 75 | 0 42.68/42.75 c 41.9s | 9 | 14210 | 10106 | 38408 0 | 75 | 0 44.78/44.83 c 44.0s | 9 | 14731 | 10606 | 38408 0 | 75 | 0 46.58/46.63 c 45.8s | 10 | 15590 | 11361 | 42249 0 | 75 | 0 48.88/48.92 c 48.1s | 10 | 16495 | 11861 | 42249 0 | 75 | 0 51.08/51.16 c 50.3s | 10 | 16956 | 12261 | 42249 0 | 75 | 0 53.18/53.27 c 52.5s | 10 | 17593 | 12661 | 42249 0 | 75 | 0 55.28/55.36 c 54.5s | 10 | 18121 | 13061 | 42249 0 | 75 | 0 57.68/57.79 c 57.0s | 10 | 18685 | 13561 | 42249 0 | 75 | 0 60.08/60.12 c 59.3s | 10 | 19268 | 14061 | 42249 0 | 75 | 0 62.18/62.24 c 61.4s | 10 | 19841 | 14461 | 42249 0 | 75 | 0 64.28/64.36 c 63.5s | 10 | 20540 | 14961 | 42249 0 | 75 | 0 66.68/66.77 c 65.9s | 10 | 21059 | 15461 | 42249 0 | 75 | 0 68.98/69.08 c 68.3s | 10 | 21647 | 15961 | 42249 0 | 75 | 0 71.59/71.68 c 70.9s | 10 | 22543 | 16361 | 42249 0 | 75 | 0 73.88/73.97 c 73.2s | 10 | 23349 | 16761 | 42249 0 | 75 | 0 76.08/76.11 c 75.3s | 11 | 23834 | 17144 | 46474 0 | 75 | 0 78.38/78.42 c 77.6s | 11 | 24414 | 17444 | 46474 0 | 75 | 0 80.48/80.56 c 79.7s | 11 | 25058 | 17944 | 46474 0 | 75 | 0 82.78/82.80 c 82.0s | 11 | 25655 | 18444 | 46474 0 | 75 | 0 84.98/85.00 c 84.2s | 11 | 26247 | 18944 | 46474 0 | 75 | 0 87.08/87.20 c 86.4s | 11 | 27068 | 19344 | 46474 0 | 75 | 0 89.28/89.37 c 88.5s | 11 | 27637 | 19844 | 46474 0 | 75 | 0 91.38/91.48 c 90.7s | 11 | 28067 | 20244 | 46474 0 | 75 | 0 93.58/93.67 c 92.9s | 11 | 28766 | 20644 | 46474 0 | 75 | 0 95.97/96.02 c 95.2s | 11 | 29339 | 21044 | 46474 0 | 75 | 0 98.27/98.39 c 97.6s | 11 | 29938 | 21444 | 46474 0 | 75 | 0 100.47/100.57 c 99.8s | 11 | 30394 | 21844 | 46474 0 | 75 | 0 102.67/102.76 c 101s | 11 | 30880 | 22244 | 46474 0 | 75 | 0 105.27/105.30 c 104s | 11 | 31359 | 22644 | 46474 0 | 75 | 0 107.57/107.62 c 106s | 11 | 31862 | 23044 | 46474 0 | 75 | 0 109.57/109.65 c 108s | 11 | 32373 | 23444 | 46474 0 | 75 | 0 111.67/111.74 c 110s | 11 | 33000 | 23844 | 46474 0 | 75 | 0 113.87/113.99 c 113s | 11 | 33494 | 24244 | 46474 0 | 75 | 0 116.27/116.32 c 115s | 11 | 34032 | 24744 | 46474 0 | 75 | 0 118.78/118.87 c 118s | 11 | 34496 | 25144 | 46474 0 | 75 | 0 121.27/121.31 c 120s | 11 | 34989 | 25544 | 46474 0 | 75 | 0 122.97/123.01 c 122s | 12 | 35344 | 25819 | 51122 0 | 75 | 0 124.97/125.06 c 124s | 12 | 36169 | 26119 | 51122 0 | 75 | 0 127.37/127.44 c 126s | 12 | 36829 | 26619 | 51122 0 | 75 | 0 129.37/129.47 c 128s | 12 | 37317 | 27019 | 51122 0 | 75 | 0 131.67/131.79 c 130s | 12 | 37755 | 27419 | 51122 0 | 75 | 0 134.07/134.17 c 133s | 12 | 38279 | 27819 | 51122 0 | 75 | 0 136.38/136.46 c 135s | 12 | 38955 | 28219 | 51122 0 | 75 | 0 138.47/138.50 c 137s | 12 | 39410 | 28619 | 51122 0 | 75 | 0 140.57/140.66 c 139s | 12 | 39873 | 29019 | 51122 0 | 75 | 0 142.57/142.68 c 141s | 12 | 40426 | 29419 | 51122 0 | 75 | 0 144.87/144.99 c 144s | 12 | 40967 | 29919 | 51122 0 | 75 | 0 147.27/147.33 c 146s | 12 | 41501 | 30419 | 51122 0 | 75 | 0 149.67/149.78 c 148s | 12 | 41962 | 30819 | 51122 0 | 75 | 0 151.87/151.94 c 151s | 12 | 42322 | 31119 | 51122 0 | 75 | 0 154.46/154.52 c 153s | 12 | 42970 | 31519 | 51122 0 | 75 | 0 156.56/156.60 c 155s | 12 | 43349 | 31819 | 51122 0 | 75 | 0 158.76/158.81 c 157s | 12 | 43721 | 32119 | 51122 0 | 75 | 0 161.26/161.39 c 160s | 12 | 44217 | 32519 | 51122 0 | 75 | 0 163.56/163.67 c 162s | 12 | 44602 | 32819 | 51122 0 | 75 | 0 166.17/166.27 c 165s | 12 | 45032 | 33219 | 51122 0 | 75 | 0 168.76/168.87 c 168s | 12 | 45777 | 33619 | 51122 0 | 75 | 0 171.36/171.41 c 170s | 12 | 46311 | 34019 | 51122 0 | 75 | 0 173.56/173.64 c 172s | 12 | 46729 | 34419 | 51122 0 | 75 | 0 176.16/176.24 c 175s | 12 | 47139 | 34819 | 51122 0 | 75 | 0 178.56/178.63 c 177s | 12 | 47544 | 35219 | 51122 0 | 75 | 0 180.66/180.74 c 179s | 12 | 47958 | 35619 | 51122 0 | 75 | 0 182.76/182.85 c 182s | 12 | 48374 | 36019 | 51122 0 | 75 | 0 184.87/184.98 c 184s | 12 | 48802 | 36419 | 51122 0 | 75 | 0 187.07/187.10 c 186s | 12 | 49228 | 36819 | 51122 0 | 75 | 0 189.56/189.68 c 188s | 12 | 49644 | 37219 | 51122 0 | 75 | 0 191.86/191.94 c 191s | 12 | 50073 | 37619 | 51122 0 | 75 | 0 194.16/194.22 c 193s | 12 | 50494 | 38019 | 51122 0 | 75 | 0 196.76/196.81 c 195s | 12 | 51858 | 38419 | 51122 0 | 75 | 0 198.76/198.89 c 198s | 12 | 52428 | 38719 | 56235 0 | 75 | 0 199.46/199.50 c 198s | 13 | 52544 | 38832 | 56235 0 | 75 | 0 202.06/202.15 c 201s | 13 | 53060 | 39132 | 56235 0 | 75 | 0 204.56/204.69 c 203s | 13 | 53645 | 39532 | 56235 0 | 75 | 0 206.96/207.00 c 206s | 13 | 54116 | 39832 | 56235 0 | 75 | 0 209.36/209.49 c 208s | 13 | 54678 | 40232 | 56235 0 | 75 | 0 211.66/211.70 c 210s | 13 | 55045 | 40532 | 56235 0 | 75 | 0 213.76/213.80 c 212s | 13 | 55470 | 40932 | 56235 0 | 75 | 0 216.16/216.21 c 215s | 13 | 55981 | 41432 | 56235 0 | 75 | 0 218.35/218.47 c 217s | 13 | 56645 | 41732 | 56235 0 | 75 | 0 220.45/220.51 c 219s | 13 | 56970 | 42032 | 56235 0 | 75 | 0 223.05/223.12 c 222s | 13 | 57465 | 42432 | 56235 0 | 75 | 0 225.05/225.17 c 224s | 13 | 58101 | 42732 | 56235 0 | 75 | 0 227.66/227.77 c 226s | 13 | 58925 | 43132 | 56235 0 | 75 | 0 229.75/229.87 c 229s | 13 | 59541 | 43432 | 56235 0 | 75 | 0 231.95/232.10 c 231s | 13 | 60063 | 43732 | 56235 0 | 75 | 0 234.36/234.41 c 233s | 13 | 60911 | 44132 | 56235 0 | 75 | 0 236.35/236.43 c 235s | 13 | 61861 | 44432 | 56235 0 | 75 | 0 238.55/238.65 c 237s | 13 | 62430 | 44732 | 56235 0 | 75 | 0 241.05/241.17 c 240s | 13 | 63064 | 45132 | 56235 0 | 75 | 0 243.65/243.71 c 242s | 13 | 64251 | 45532 | 56235 0 | 75 | 0 245.75/245.87 c 245s | 13 | 64589 | 45832 | 56235 0 | 75 | 0 247.95/248.09 c 247s | 13 | 65978 | 46132 | 56235 0 | 75 | 0 250.15/250.28 c 249s | 13 | 66317 | 46432 | 56235 0 | 75 | 0 252.75/252.81 c 251s | 13 | 66729 | 46832 | 56235 0 | 75 | 0 255.35/255.43 c 254s | 13 | 67318 | 47232 | 56235 0 | 75 | 0 257.55/257.67 c 256s | 13 | 67799 | 47532 | 56235 0 | 75 | 0 259.66/259.71 c 258s | 13 | 68191 | 47832 | 56235 0 | 75 | 0 261.86/261.92 c 261s | 13 | 68550 | 48132 | 56235 0 | 75 | 0 264.35/264.47 c 263s | 13 | 68966 | 48532 | 56235 0 | 75 | 0 266.45/266.57 c 265s | 13 | 69538 | 48832 | 56235 0 | 75 | 0 269.05/269.14 c 268s | 13 | 70608 | 49232 | 56235 0 | 75 | 0 271.35/271.44 c 270s | 13 | 71029 | 49632 | 56235 0 | 75 | 0 273.65/273.77 c 272s | 13 | 71520 | 50032 | 56235 0 | 75 | 0 276.05/276.20 c 275s | 13 | 72124 | 50432 | 56235 0 | 75 | 0 278.45/278.54 c 277s | 13 | 72706 | 50832 | 56235 0 | 75 | 0 280.45/280.55 c 279s | 13 | 73457 | 51132 | 56235 0 | 75 | 0 282.95/283.01 c 282s | 13 | 73885 | 51532 | 56235 0 | 75 | 0 285.14/285.26 c 284s | 13 | 74276 | 51832 | 56235 0 | 75 | 0 287.94/288.04 c 287s | 13 | 74698 | 52232 | 56235 0 | 75 | 0 290.54/290.61 c 289s | 13 | 75515 | 52632 | 56235 0 | 75 | 0 292.55/292.68 c 291s | 13 | 75867 | 52932 | 56235 0 | 75 | 0 295.04/295.18 c 294s | 13 | 76232 | 53232 | 56235 0 | 75 | 0 297.14/297.27 c 296s | 13 | 76637 | 53532 | 56235 0 | 75 | 0 299.64/299.72 c 298s | 13 | 77151 | 53932 | 56235 0 | 75 | 0 302.24/302.35 c 301s | 13 | 77743 | 54332 | 56235 0 | 75 | 0 304.34/304.42 c 303s | 13 | 78376 | 54632 | 56235 0 | 75 | 0 306.85/306.94 c 306s | 13 | 78873 | 55032 | 56235 0 | 75 | 0 309.15/309.26 c 308s | 13 | 79292 | 55332 | 56235 0 | 75 | 0 311.35/311.46 c 310s | 13 | 79692 | 55632 | 56235 0 | 75 | 0 313.94/314.00 c 313s | 13 | 80508 | 56032 | 56235 0 | 75 | 0 316.24/316.37 c 315s | 13 | 80821 | 56332 | 56235 0 | 75 | 0 318.64/318.71 c 317s | 13 | 81209 | 56632 | 56235 0 | 75 | 0 321.04/321.17 c 320s | 13 | 81844 | 57032 | 56235 0 | 75 | 0 323.24/323.34 c 322s | 13 | 82429 | 57332 | 56235 0 | 75 | 0 325.74/325.86 c 325s | 13 | 82859 | 57732 | 56235 0 | 75 | 0 328.44/328.59 c 327s | 13 | 83299 | 58132 | 61859 0 | 75 | 0 330.54/330.60 c 329s | 13 | 83715 | 58332 | 61859 0 | 75 | 0 330.74/330.82 c 330s | 14 | 83746 | 58352 | 61859 0 | 75 | 0 333.14/333.24 c 332s | 14 | 84096 | 58552 | 61859 0 | 75 | 0 335.64/335.78 c 334s | 14 | 84445 | 58852 | 61859 0 | 75 | 0 338.34/338.44 c 337s | 14 | 84933 | 59152 | 61859 0 | 75 | 0 340.54/340.67 c 339s | 14 | 85279 | 59452 | 61859 0 | 75 | 0 342.83/342.91 c 342s | 14 | 85676 | 59752 | 61859 0 | 75 | 0 345.53/345.69 c 344s | 14 | 86733 | 60152 | 61859 0 | 75 | 0 347.73/347.89 c 347s | 14 | 87140 | 60452 | 61859 0 | 75 | 0 349.93/350.08 c 349s | 14 | 87454 | 60752 | 61859 0 | 75 | 0 352.13/352.24 c 351s | 14 | 87907 | 61052 | 61859 0 | 75 | 0 354.63/354.73 c 353s | 14 | 88800 | 61352 | 61859 0 | 75 | 0 356.93/357.03 c 356s | 14 | 89220 | 61652 | 61859 0 | 75 | 0 359.13/359.29 c 358s | 14 | 89631 | 61952 | 61859 0 | 75 | 0 361.23/361.37 c 360s | 14 | 89934 | 62152 | 61859 0 | 75 | 0 364.14/364.28 c 363s | 14 | 90418 | 62452 | 61859 0 | 75 | 0 367.03/367.16 c 366s | 14 | 90995 | 62752 | 61859 0 | 75 | 0 369.13/369.28 c 368s | 14 | 91575 | 63052 | 61859 0 | 75 | 0 371.63/371.77 c 370s | 14 | 91952 | 63352 | 61859 0 | 75 | 0 373.83/373.92 c 373s | 14 | 92300 | 63652 | 61859 0 | 75 | 0 376.03/376.20 c 375s | 14 | 92616 | 63952 | 61859 0 | 75 | 0 378.34/378.48 c 377s | 14 | 93287 | 64252 | 61859 0 | 75 | 0 381.13/381.22 c 380s | 14 | 93788 | 64552 | 61859 0 | 75 | 0 383.63/383.75 c 382s | 14 | 94347 | 64852 | 61859 0 | 75 | 0 386.04/386.13 c 385s | 14 | 94664 | 65152 | 61859 0 | 75 | 0 388.53/388.69 c 387s | 14 | 95048 | 65452 | 61859 0 | 75 | 0 390.93/391.08 c 390s | 14 | 95359 | 65752 | 61859 0 | 75 | 0 393.23/393.32 c 392s | 14 | 95738 | 66052 | 61859 0 | 75 | 0 396.23/396.31 c 395s | 14 | 96157 | 66252 | 61859 1 | 75 | 0 398.93/399.07 c 398s | 14 | 96717 | 66552 | 61859 1 | 75 | 0 401.23/401.36 c 400s | 14 | 97435 | 66852 | 61859 1 | 75 | 0 403.43/403.53 c 402s | 14 | 98203 | 67052 | 61859 1 | 75 | 0 405.73/405.86 c 405s | 14 | 98623 | 67452 | 61859 1 | 75 | 0 408.14/408.22 c 407s | 14 | 99045 | 67852 | 61859 1 | 75 | 0 410.13/410.25 c 409s | 14 | 99456 | 68252 | 61859 1 | 75 | 0 412.13/412.26 c 411s | 14 | 99865 | 68652 | 61859 1 | 75 | 0 414.43/414.58 c 413s | 14 | 100224 | 68952 | 61859 1 | 75 | 0 417.43/417.57 c 416s | 14 | 101258 | 69352 | 61859 1 | 75 | 0 419.53/419.69 c 418s | 14 | 102698 | 69652 | 61859 1 | 75 | 0 421.73/421.89 c 421s | 14 | 103035 | 69952 | 61859 1 | 75 | 0 424.33/424.45 c 423s | 14 | 103441 | 70352 | 61859 1 | 75 | 0 426.73/426.84 c 426s | 14 | 103855 | 70752 | 61859 1 | 75 | 0 429.22/429.39 c 428s | 14 | 104576 | 71152 | 61859 1 | 75 | 0 431.62/431.72 c 430s | 14 | 105031 | 71552 | 61859 1 | 75 | 0 433.92/434.07 c 433s | 14 | 105441 | 71952 | 61859 1 | 75 | 0 436.42/436.53 c 435s | 14 | 105852 | 72352 | 61859 1 | 75 | 0 438.62/438.70 c 437s | 14 | 106162 | 72652 | 61859 1 | 75 | 0 440.62/440.72 c 439s | 14 | 106471 | 72952 | 61859 1 | 75 | 0 443.23/443.38 c 442s | 14 | 106951 | 73352 | 61859 1 | 75 | 0 446.02/446.19 c 445s | 14 | 107674 | 73752 | 61859 1 | 75 | 0 448.22/448.38 c 447s | 14 | 108094 | 74052 | 61859 1 | 75 | 0 450.32/450.42 c 449s | 14 | 108863 | 74352 | 61859 1 | 75 | 0 452.62/452.70 c 451s | 14 | 109995 | 74652 | 61859 1 | 75 | 0 454.62/454.79 c 453s | 14 | 110765 | 74952 | 61859 1 | 75 | 0 456.82/456.96 c 456s | 14 | 111073 | 75252 | 61859 1 | 75 | 0 459.02/459.14 c 458s | 14 | 111641 | 75552 | 61859 1 | 75 | 0 461.62/461.78 c 460s | 14 | 112048 | 75952 | 61859 1 | 75 | 0 464.23/464.35 c 463s | 14 | 112657 | 76352 | 61859 1 | 75 | 0 466.43/466.53 c 465s | 14 | 112985 | 76652 | 61859 1 | 75 | 0 468.53/468.66 c 467s | 14 | 113301 | 76952 | 61859 1 | 75 | 0 470.52/470.69 c 469s | 14 | 113611 | 77252 | 61859 1 | 75 | 0 472.93/473.06 c 472s | 14 | 113919 | 77552 | 61859 1 | 75 | 0 475.22/475.37 c 474s | 14 | 114166 | 77752 | 61859 1 | 75 | 0 477.92/478.06 c 477s | 14 | 114572 | 78052 | 61859 1 | 75 | 0 480.82/480.93 c 480s | 14 | 115106 | 78352 | 61859 1 | 75 | 0 483.42/483.57 c 482s | 14 | 115708 | 78652 | 61859 1 | 75 | 0 485.52/485.67 c 484s | 14 | 116115 | 78952 | 61859 1 | 75 | 0 488.02/488.10 c 487s | 14 | 116706 | 79252 | 61859 1 | 75 | 0 490.22/490.32 c 489s | 14 | 117071 | 79552 | 61859 1 | 75 | 0 492.52/492.67 c 491s | 14 | 117372 | 79852 | 61859 1 | 75 | 0 495.21/495.32 c 494s | 14 | 118017 | 80252 | 61859 1 | 75 | 0 497.41/497.51 c 496s | 14 | 118351 | 80552 | 61859 1 | 75 | 0 499.42/499.57 c 498s | 14 | 118673 | 80852 | 61859 1 | 75 | 0 502.11/502.24 c 501s | 14 | 119090 | 81152 | 61859 1 | 75 | 0 504.41/504.58 c 503s | 14 | 119452 | 81452 | 61859 1 | 75 | 0 506.61/506.71 c 505s | 14 | 120027 | 81752 | 61859 1 | 75 | 0 508.71/508.80 c 507s | 14 | 120880 | 82052 | 61859 1 | 75 | 0 511.11/511.22 c 510s | 14 | 121368 | 82352 | 61859 1 | 75 | 0 513.72/513.80 c 512s | 14 | 121785 | 82752 | 61859 1 | 75 | 0 516.11/516.27 c 515s | 14 | 122191 | 83152 | 61859 1 | 75 | 0 518.71/518.89 c 518s | 14 | 122635 | 83552 | 61859 1 | 75 | 0 521.21/521.35 c 520s | 14 | 123046 | 83852 | 61859 1 | 75 | 0 523.91/524.07 c 523s | 14 | 123398 | 84152 | 61859 1 | 75 | 0 526.01/526.19 c 525s | 14 | 123742 | 84452 | 61859 1 | 75 | 0 528.60/528.74 c 527s | 14 | 124240 | 84752 | 61859 1 | 75 | 0 530.80/530.94 c 530s | 14 | 124828 | 85052 | 61859 1 | 75 | 0 533.41/533.54 c 532s | 14 | 125481 | 85452 | 61859 1 | 75 | 0 535.50/535.68 c 534s | 14 | 125884 | 85752 | 61859 1 | 75 | 0 537.60/537.74 c 536s | 14 | 126529 | 86052 | 61859 1 | 75 | 0 540.00/540.17 c 539s | 14 | 126865 | 86352 | 61859 1 | 75 | 0 542.60/542.70 c 541s | 14 | 127226 | 86652 | 61859 1 | 75 | 0 544.90/545.02 c 544s | 14 | 127579 | 86952 | 61859 1 | 75 | 0 546.90/547.05 c 546s | 14 | 127979 | 87252 | 68045 1 | 75 | 0 549.19/549.34 c 548s | 14 | 128300 | 87552 | 68045 1 | 75 | 0 549.59/549.72 c 548s | 15 | 128390 | 87632 | 68045 1 | 75 | 0 551.79/551.93 c 551s | 15 | 128764 | 87832 | 68045 1 | 75 | 0 553.89/554.06 c 553s | 15 | 129191 | 88132 | 68045 1 | 75 | 0 556.19/556.34 c 555s | 15 | 129571 | 88432 | 68045 1 | 75 | 0 558.49/558.65 c 557s | 15 | 130005 | 88832 | 68045 1 | 75 | 0 560.79/560.98 c 560s | 15 | 130511 | 89232 | 68045 1 | 75 | 0 562.89/563.09 c 562s | 15 | 130846 | 89532 | 68045 1 | 75 | 0 565.39/565.53 c 564s | 15 | 131160 | 89832 | 68045 1 | 75 | 0 567.39/567.55 c 566s | 15 | 131475 | 90132 | 68045 1 | 75 | 0 569.69/569.87 c 569s | 15 | 132217 | 90432 | 68045 1 | 75 | 0 571.78/571.97 c 571s | 15 | 132577 | 90732 | 68045 1 | 75 | 0 573.88/574.06 c 573s | 15 | 132900 | 91032 | 68045 1 | 75 | 0 576.39/576.55 c 575s | 15 | 133310 | 91432 | 68045 1 | 75 | 0 578.49/578.64 c 577s | 15 | 133740 | 91832 | 68045 1 | 75 | 0 580.58/580.74 c 579s | 15 | 134147 | 92232 | 68045 1 | 75 | 0 582.89/583.06 c 582s | 15 | 134652 | 92532 | 68045 1 | 75 | 0 585.48/585.62 c 584s | 15 | 135475 | 92932 | 68045 1 | 75 | 0 587.48/587.69 c 586s | 15 | 136159 | 93232 | 68045 1 | 75 | 0 589.58/589.72 c 588s | 15 | 136515 | 93532 | 68045 1 | 75 | 0 592.17/592.35 c 591s | 15 | 137071 | 93832 | 68045 1 | 75 | 0 594.57/594.74 c 593s | 15 | 137583 | 94132 | 68045 1 | 75 | 0 596.77/596.91 c 596s | 15 | 137997 | 94432 | 68045 1 | 75 | 0 599.17/599.36 c 598s | 15 | 138424 | 94832 | 68045 1 | 75 | 0 601.17/601.37 c 600s | 15 | 138957 | 95132 | 68045 1 | 75 | 0 603.88/604.03 c 603s | 15 | 139367 | 95532 | 68045 1 | 75 | 0 606.17/606.36 c 605s | 15 | 140063 | 95832 | 68045 1 | 75 | 0 608.37/608.58 c 607s | 15 | 140376 | 96132 | 68045 1 | 75 | 0 610.57/610.75 c 609s | 15 | 140679 | 96432 | 68045 1 | 75 | 0 613.17/613.33 c 612s | 15 | 141088 | 96832 | 68045 1 | 75 | 0 615.17/615.37 c 614s | 15 | 141399 | 97132 | 68045 1 | 75 | 0 617.67/617.87 c 617s | 15 | 141706 | 97432 | 68045 1 | 75 | 0 619.86/620.09 c 619s | 15 | 142008 | 97732 | 68045 1 | 75 | 0 622.16/622.33 c 621s | 15 | 142322 | 98032 | 68045 1 | 75 | 0 624.46/624.68 c 623s | 15 | 142630 | 98332 | 68045 1 | 75 | 0 626.66/626.80 c 625s | 15 | 142935 | 98632 | 68045 1 | 75 | 0 629.56/629.75 c 628s | 15 | 143308 | 98932 | 68045 1 | 75 | 0 632.26/632.42 c 631s | 15 | 143654 | 99232 | 68045 1 | 75 | 0 634.66/634.84 c 634s | 15 | 144194 | 99532 | 68045 1 | 75 | 0 637.36/637.59 c 636s | 15 | 144662 | 99832 | 68045 1 | 75 | 0 640.06/640.29 c 639s | 15 | 144970 | 100132 | 68045 1 | 75 | 0 642.26/642.42 c 641s | 15 | 145287 | 100432 | 68045 1 | 75 | 0 644.65/644.89 c 644s | 15 | 145593 | 100732 | 68045 1 | 75 | 0 647.05/647.24 c 646s | 15 | 145903 | 100932 | 68045 1 | 75 | 0 649.55/649.77 c 648s | 15 | 146258 | 101232 | 68045 1 | 75 | 0 651.85/652.00 c 651s | 15 | 146812 | 101532 | 68045 1 | 75 | 0 654.55/654.72 c 653s | 15 | 147771 | 101832 | 68045 1 | 75 | 0 656.75/656.90 c 656s | 15 | 148025 | 102032 | 68045 1 | 75 | 0 658.75/658.92 c 658s | 15 | 148416 | 102232 | 68045 1 | 75 | 0 661.64/661.84 c 661s | 15 | 148972 | 102532 | 68045 1 | 75 | 0 664.54/664.72 c 663s | 15 | 149329 | 102832 | 68045 1 | 75 | 0 667.04/667.22 c 666s | 15 | 149766 | 103132 | 68045 1 | 75 | 0 669.75/670.00 c 669s | 15 | 150248 | 103432 | 68045 1 | 75 | 0 672.34/672.56 c 671s | 15 | 150802 | 103732 | 68045 1 | 75 | 0 674.84/675.03 c 674s | 15 | 151297 | 104032 | 68045 1 | 75 | 0 677.74/677.94 c 677s | 15 | 152719 | 104332 | 68045 1 | 75 | 0 680.74/680.94 c 680s | 15 | 153250 | 104632 | 68045 1 | 75 | 0 683.24/683.42 c 682s | 15 | 153802 | 104932 | 68045 1 | 75 | 0 685.84/686.08 c 685s | 15 | 154152 | 105232 | 68045 1 | 75 | 0 688.44/688.62 c 687s | 15 | 154683 | 105532 | 68045 1 | 75 | 0 691.03/691.22 c 690s | 15 | 155448 | 105832 | 68045 1 | 75 | 0 693.53/693.75 c 692s | 15 | 156005 | 106132 | 68045 1 | 75 | 0 696.14/696.33 c 695s | 15 | 156608 | 106432 | 68045 1 | 75 | 0 699.03/699.26 c 698s | 15 | 157349 | 106732 | 68045 1 | 75 | 0 703.23/703.48 c 702s | 15 | 157668 | 106932 | 68045 2 | 75 | 0 705.63/705.85 c 705s | 15 | 157973 | 107232 | 68045 2 | 75 | 0 707.73/707.90 c 707s | 15 | 158282 | 107532 | 68045 2 | 75 | 0 709.93/710.17 c 709s | 15 | 158598 | 107832 | 68045 2 | 75 | 0 712.73/712.96 c 712s | 15 | 158878 | 108032 | 68045 2 | 75 | 0 715.32/715.50 c 714s | 15 | 159407 | 108432 | 68045 2 | 75 | 0 717.62/717.84 c 717s | 15 | 159880 | 108732 | 68045 2 | 75 | 0 720.52/720.71 c 719s | 15 | 160288 | 109032 | 68045 2 | 75 | 0 723.02/723.20 c 722s | 15 | 160627 | 109332 | 68045 2 | 75 | 0 725.42/725.67 c 724s | 15 | 161184 | 109832 | 68045 2 | 75 | 0 727.42/727.69 c 726s | 15 | 162059 | 110132 | 68045 2 | 75 | 0 729.81/730.08 c 729s | 15 | 162709 | 110432 | 68045 2 | 75 | 0 732.52/732.72 c 731s | 15 | 163886 | 110832 | 68045 2 | 75 | 0 734.91/735.13 c 734s | 15 | 164448 | 111232 | 68045 2 | 75 | 0 737.01/737.28 c 736s | 15 | 164897 | 111532 | 68045 2 | 75 | 0 739.70/739.92 c 739s | 15 | 165302 | 111932 | 68045 2 | 75 | 0 741.80/742.03 c 741s | 15 | 165611 | 112232 | 68045 2 | 75 | 0 743.90/744.15 c 743s | 15 | 165917 | 112532 | 68045 2 | 75 | 0 746.20/746.42 c 745s | 15 | 166271 | 112832 | 68045 2 | 75 | 0 748.59/748.81 c 747s | 15 | 167005 | 113132 | 68045 2 | 75 | 0 750.69/750.93 c 750s | 15 | 167568 | 113432 | 68045 2 | 75 | 0 752.79/753.02 c 752s | 15 | 168392 | 113732 | 68045 2 | 75 | 0 754.89/755.17 c 754s | 15 | 168938 | 114032 | 68045 2 | 75 | 0 756.99/757.28 c 756s | 15 | 169291 | 114332 | 68045 2 | 75 | 0 759.79/760.06 c 759s | 15 | 169986 | 114732 | 68045 2 | 75 | 0 761.99/762.29 c 761s | 15 | 170370 | 115032 | 68045 2 | 75 | 0 764.49/764.72 c 763s | 15 | 170687 | 115332 | 68045 2 | 75 | 0 766.79/767.00 c 766s | 15 | 171069 | 115632 | 68045 2 | 75 | 0 769.38/769.62 c 768s | 15 | 171489 | 116032 | 68045 2 | 75 | 0 772.09/772.38 c 771s | 15 | 172131 | 116532 | 68045 2 | 75 | 0 775.18/775.41 c 774s | 15 | 172515 | 116832 | 68045 2 | 75 | 0 777.49/777.72 c 776s | 15 | 172866 | 117132 | 68045 2 | 75 | 0 779.78/780.03 c 779s | 15 | 173358 | 117432 | 68045 2 | 75 | 0 782.18/782.47 c 781s | 15 | 173672 | 117732 | 68045 2 | 75 | 0 784.38/784.63 c 783s | 15 | 174055 | 118032 | 68045 2 | 75 | 0 786.78/787.00 c 786s | 15 | 174755 | 118432 | 68045 2 | 75 | 0 789.17/789.49 c 788s | 15 | 175159 | 118732 | 68045 2 | 75 | 0 791.57/791.86 c 791s | 15 | 175637 | 119032 | 68045 2 | 75 | 0 793.67/793.97 c 793s | 15 | 175944 | 119332 | 68045 2 | 75 | 0 795.97/796.20 c 795s | 15 | 176646 | 119632 | 68045 2 | 75 | 0 798.67/798.90 c 798s | 15 | 177060 | 120032 | 68045 2 | 75 | 0 800.67/800.97 c 800s | 15 | 177378 | 120332 | 68045 2 | 75 | 0 802.77/803.07 c 802s | 15 | 177684 | 120632 | 68045 2 | 75 | 0 805.47/805.72 c 804s | 15 | 178099 | 121032 | 68045 2 | 75 | 0 807.67/807.90 c 807s | 15 | 178418 | 121332 | 68045 2 | 75 | 0 809.76/810.05 c 809s | 15 | 178727 | 121632 | 68045 2 | 75 | 0 811.86/812.19 c 811s | 15 | 179029 | 121932 | 68045 2 | 75 | 0 814.06/814.36 c 813s | 15 | 179350 | 122232 | 68045 2 | 75 | 0 816.36/816.60 c 815s | 15 | 179651 | 122532 | 68045 2 | 75 | 0 818.86/819.10 c 818s | 15 | 180065 | 122932 | 68045 2 | 75 | 0 820.96/821.20 c 820s | 15 | 180481 | 123232 | 68045 2 | 75 | 0 823.56/823.81 c 822s | 15 | 181006 | 123632 | 68045 2 | 75 | 0 825.87/826.16 c 825s | 15 | 181336 | 123932 | 68045 2 | 75 | 0 828.07/828.32 c 827s | 15 | 181719 | 124232 | 68045 2 | 75 | 0 830.15/830.47 c 829s | 15 | 182027 | 124532 | 68045 2 | 75 | 0 832.56/832.81 c 831s | 15 | 182573 | 124832 | 68045 2 | 75 | 0 834.55/834.83 c 834s | 15 | 183045 | 125132 | 68045 2 | 75 | 0 837.65/837.92 c 837s | 15 | 183608 | 125432 | 68045 2 | 75 | 0 840.16/840.49 c 839s | 15 | 183907 | 125732 | 68045 2 | 75 | 0 842.36/842.69 c 841s | 15 | 184243 | 126032 | 68045 2 | 75 | 0 844.95/845.26 c 844s | 15 | 184668 | 126432 | 68045 2 | 75 | 0 847.35/847.66 c 846s | 15 | 184971 | 126732 | 68045 2 | 75 | 0 849.55/849.86 c 849s | 15 | 185290 | 127032 | 68045 2 | 75 | 0 851.75/852.06 c 851s | 15 | 185878 | 127332 | 68045 2 | 75 | 0 854.05/854.31 c 853s | 15 | 186209 | 127632 | 68045 2 | 75 | 0 856.66/857.00 c 856s | 15 | 186954 | 127932 | 68045 2 | 75 | 0 859.15/859.47 c 858s | 15 | 187264 | 128232 | 68045 2 | 75 | 0 861.75/862.02 c 861s | 15 | 187572 | 128532 | 68045 2 | 75 | 0 864.15/864.46 c 863s | 15 | 187887 | 128832 | 68045 2 | 75 | 0 866.56/866.89 c 866s | 15 | 188208 | 129132 | 68045 2 | 75 | 0 869.24/869.50 c 868s | 15 | 188582 | 129432 | 68045 2 | 75 | 0 871.64/871.92 c 871s | 15 | 188979 | 129732 | 68045 2 | 75 | 0 873.84/874.13 c 873s | 15 | 189446 | 130032 | 68045 2 | 75 | 0 876.45/876.78 c 875s | 15 | 189886 | 130332 | 68045 2 | 75 | 0 878.84/879.12 c 878s | 15 | 190373 | 130632 | 68045 2 | 75 | 0 881.44/881.76 c 880s | 15 | 190765 | 130932 | 74850 2 | 75 | 0 884.44/884.71 c 883s | 15 | 191160 | 131232 | 74850 2 | 75 | 0 887.24/887.59 c 886s | 15 | 191499 | 131532 | 74850 2 | 75 | 0 887.44/887.78 c 886s | 16 | 191517 | 131552 | 74850 2 | 75 | 0 890.04/890.39 c 889s | 16 | 191875 | 131752 | 74850 2 | 75 | 0 892.24/892.50 c 891s | 16 | 192254 | 132052 | 74850 2 | 75 | 0 894.64/894.97 c 894s | 16 | 192882 | 132352 | 74850 2 | 75 | 0 897.44/897.78 c 896s | 16 | 193652 | 132652 | 74850 2 | 75 | 0 899.93/900.23 c 899s | 16 | 194238 | 132952 | 74850 2 | 75 | 0 902.23/902.55 c 901s | 16 | 194737 | 133252 | 74850 2 | 75 | 0 904.63/904.95 c 904s | 16 | 195226 | 133552 | 74850 2 | 75 | 0 907.03/907.39 c 906s | 16 | 195840 | 133952 | 74850 2 | 75 | 0 909.82/910.14 c 909s | 16 | 196553 | 134352 | 74850 2 | 75 | 0 912.32/912.68 c 911s | 16 | 196987 | 134652 | 74850 2 | 75 | 0 915.03/915.38 c 914s | 16 | 197337 | 134952 | 74850 2 | 75 | 0 917.32/917.67 c 916s | 16 | 197747 | 135252 | 74850 2 | 75 | 0 919.52/919.81 c 918s | 16 | 198051 | 135552 | 74850 2 | 75 | 0 921.53/921.90 c 921s | 16 | 198361 | 135852 | 74850 2 | 75 | 0 923.62/923.93 c 923s | 16 | 198670 | 136152 | 74850 2 | 75 | 0 926.12/926.48 c 925s | 16 | 199103 | 136552 | 74850 2 | 75 | 0 928.41/928.76 c 927s | 16 | 199592 | 136852 | 74850 2 | 75 | 0 930.81/931.19 c 930s | 16 | 200346 | 137152 | 74850 2 | 75 | 0 933.41/933.77 c 932s | 16 | 200777 | 137452 | 74850 2 | 75 | 0 935.61/935.99 c 935s | 16 | 201100 | 137752 | 74850 2 | 75 | 0 938.12/938.49 c 937s | 16 | 201589 | 138052 | 74850 2 | 75 | 0 940.50/940.82 c 940s | 16 | 202369 | 138352 | 74850 2 | 75 | 0 942.90/943.20 c 942s | 16 | 202892 | 138652 | 74850 2 | 75 | 0 945.71/946.06 c 945s | 16 | 203406 | 138952 | 74850 2 | 75 | 0 948.30/948.64 c 947s | 16 | 203778 | 139252 | 74850 2 | 75 | 0 951.10/951.42 c 950s | 16 | 204161 | 139552 | 74850 2 | 75 | 0 953.10/953.43 c 952s | 16 | 204472 | 139852 | 74850 2 | 75 | 0 955.20/955.51 c 954s | 16 | 205152 | 140152 | 74850 2 | 75 | 0 957.81/958.12 c 957s | 16 | 205455 | 140452 | 74850 2 | 75 | 0 960.49/960.87 c 960s | 16 | 205935 | 140752 | 74850 2 | 75 | 0 963.09/963.44 c 962s | 16 | 206545 | 141052 | 74850 2 | 75 | 0 965.50/965.88 c 965s | 16 | 206966 | 141352 | 74850 2 | 75 | 0 968.29/968.68 c 967s | 16 | 207465 | 141652 | 74850 2 | 75 | 0 970.29/970.69 c 969s | 16 | 207976 | 141852 | 74850 2 | 75 | 0 972.79/973.16 c 972s | 16 | 208501 | 142152 | 74850 2 | 75 | 0 975.09/975.49 c 974s | 16 | 208953 | 142452 | 74850 2 | 75 | 0 977.39/977.79 c 976s | 16 | 209274 | 142752 | 74850 2 | 75 | 0 980.08/980.49 c 979s | 16 | 209727 | 143152 | 74850 2 | 75 | 0 982.28/982.67 c 981s | 16 | 210040 | 143452 | 74850 2 | 75 | 0 984.29/984.69 c 983s | 16 | 210345 | 143752 | 74850 2 | 75 | 0 986.88/987.28 c 986s | 16 | 210649 | 144052 | 74850 2 | 75 | 0 989.28/989.60 c 988s | 16 | 210955 | 144352 | 74850 2 | 75 | 0 991.68/992.08 c 991s | 16 | 211230 | 144552 | 74850 2 | 75 | 0 993.87/994.25 c 993s | 16 | 211478 | 144752 | 74850 2 | 75 | 0 996.67/997.05 c 996s | 16 | 211901 | 145052 | 74850 2 | 75 | 0 999.37/999.71 c 998s | 16 | 212239 | 145352 | 74850 2 | 75 | 0 1001.47/1001.83 c 1001s | 16 | 212462 | 145552 | 74850 2 | 75 | 0 1003.98/1004.34 c 1003s | 16 | 212868 | 145952 | 74850 2 | 75 | 0 1006.67/1007.04 c 1006s | 16 | 213258 | 146252 | 74850 2 | 75 | 0 1010.36/1010.71 c 1009s | 16 | 213957 | 146552 | 74850 3 | 75 | 0 1012.66/1013.10 c 1012s | 16 | 214949 | 146752 | 74850 3 | 75 | 0 1014.76/1015.11 c 1014s | 16 | 215649 | 147052 | 74850 3 | 75 | 0 1017.56/1017.90 c 1017s | 16 | 216138 | 147452 | 74850 3 | 75 | 0 1020.36/1020.71 c 1019s | 16 | 216753 | 147852 | 74850 3 | 75 | 0 1022.66/1023.04 c 1022s | 16 | 217518 | 148152 | 74850 3 | 75 | 0 1024.86/1025.30 c 1024s | 16 | 218063 | 148452 | 74850 3 | 75 | 0 1027.56/1027.96 c 1027s | 16 | 218588 | 148852 | 74850 3 | 75 | 0 1030.15/1030.56 c 1029s | 16 | 219011 | 149152 | 74850 3 | 75 | 0 1032.56/1033.00 c 1032s | 16 | 219411 | 149452 | 74850 3 | 75 | 0 1035.05/1035.47 c 1034s | 16 | 219844 | 149852 | 74850 3 | 75 | 0 1037.45/1037.81 c 1036s | 16 | 220451 | 150152 | 74850 3 | 75 | 0 1039.94/1040.37 c 1039s | 16 | 220903 | 150452 | 74850 3 | 75 | 0 1042.45/1042.84 c 1042s | 16 | 221445 | 150752 | 74850 3 | 75 | 0 1044.84/1045.22 c 1044s | 16 | 221865 | 151052 | 74850 3 | 75 | 0 1047.64/1048.09 c 1047s | 16 | 222292 | 151352 | 74850 3 | 75 | 0 1049.94/1050.36 c 1049s | 16 | 222908 | 151652 | 74850 3 | 75 | 0 1052.54/1052.94 c 1052s | 16 | 223322 | 151952 | 74850 3 | 75 | 0 1054.84/1055.20 c 1054s | 16 | 223662 | 152252 | 74850 3 | 75 | 0 1057.14/1057.51 c 1056s | 16 | 224160 | 152552 | 74850 3 | 75 | 0 1059.73/1060.10 c 1059s | 16 | 224556 | 152852 | 74850 3 | 75 | 0 1062.24/1062.62 c 1061s | 16 | 225322 | 153252 | 74850 3 | 75 | 0 1064.44/1064.82 c 1063s | 16 | 225793 | 153552 | 74850 3 | 75 | 0 1066.43/1066.86 c 1066s | 16 | 226536 | 153852 | 74850 3 | 75 | 0 1069.03/1069.44 c 1068s | 16 | 226940 | 154152 | 74850 3 | 75 | 0 1071.43/1071.81 c 1070s | 16 | 227408 | 154452 | 74850 3 | 75 | 0 1073.73/1074.14 c 1073s | 16 | 227819 | 154752 | 74850 3 | 75 | 0 1076.33/1076.74 c 1075s | 16 | 228153 | 155052 | 74850 3 | 75 | 0 1078.92/1079.30 c 1078s | 16 | 228615 | 155352 | 74850 3 | 75 | 0 1081.03/1081.43 c 1080s | 16 | 228949 | 155652 | 74850 3 | 75 | 0 1083.32/1083.76 c 1082s | 16 | 229306 | 155952 | 74850 3 | 75 | 0 1085.62/1086.09 c 1085s | 16 | 229723 | 156252 | 74850 3 | 75 | 0 1088.22/1088.61 c 1087s | 16 | 230140 | 156652 | 74850 3 | 75 | 0 1090.62/1091.03 c 1090s | 16 | 230493 | 156952 | 74850 3 | 75 | 0 1093.12/1093.59 c 1092s | 16 | 230901 | 157352 | 74850 3 | 75 | 0 1095.41/1095.85 c 1095s | 16 | 231245 | 157652 | 74850 3 | 75 | 0 1097.71/1098.18 c 1097s | 16 | 231797 | 157952 | 74850 3 | 75 | 0 1100.01/1100.46 c 1099s | 16 | 232212 | 158252 | 74850 3 | 75 | 0 1102.41/1102.83 c 1102s | 16 | 232703 | 158552 | 74850 3 | 75 | 0 1104.51/1104.92 c 1104s | 16 | 233028 | 158852 | 74850 3 | 75 | 0 1106.91/1107.37 c 1106s | 16 | 233368 | 159152 | 74850 3 | 75 | 0 1109.52/1109.98 c 1109s | 16 | 233755 | 159452 | 74850 3 | 75 | 0 1111.91/1112.38 c 1111s | 16 | 234088 | 159752 | 74850 3 | 75 | 0 1114.31/1114.75 c 1113s | 16 | 234578 | 160052 | 74850 3 | 75 | 0 1116.91/1117.36 c 1116s | 16 | 235075 | 160352 | 74850 3 | 75 | 0 1119.30/1119.73 c 1118s | 16 | 235732 | 160652 | 74850 3 | 75 | 0 1121.71/1122.13 c 1121s | 16 | 236114 | 160952 | 74850 3 | 75 | 0 1124.50/1124.91 c 1124s | 16 | 236530 | 161252 | 74850 3 | 75 | 0 1126.90/1127.33 c 1126s | 16 | 236929 | 161552 | 74850 3 | 75 | 0 1129.20/1129.60 c 1128s | 16 | 237319 | 161852 | 74850 3 | 75 | 0 1132.10/1132.54 c 1131s | 16 | 237664 | 162152 | 74850 3 | 75 | 0 1134.30/1134.74 c 1133s | 16 | 238016 | 162452 | 74850 3 | 75 | 0 1136.50/1136.94 c 1136s | 16 | 238362 | 162752 | 74850 3 | 75 | 0 1138.89/1139.37 c 1138s | 16 | 238693 | 163052 | 74850 3 | 75 | 0 1141.89/1142.35 c 1141s | 16 | 239167 | 163452 | 74850 3 | 75 | 0 1144.19/1144.64 c 1143s | 16 | 239517 | 163752 | 74850 3 | 75 | 0 1146.29/1146.77 c 1145s | 16 | 239843 | 164052 | 74850 3 | 75 | 0 1148.59/1149.07 c 1148s | 16 | 240198 | 164352 | 74850 3 | 75 | 0 1151.59/1152.08 c 1151s | 16 | 240531 | 164552 | 74850 3 | 75 | 0 1154.09/1154.59 c 1153s | 16 | 240883 | 164752 | 74850 3 | 75 | 0 1156.49/1156.91 c 1156s | 16 | 241223 | 165052 | 74850 3 | 75 | 0 1158.48/1158.93 c 1158s | 16 | 241529 | 165352 | 74850 3 | 75 | 0 1160.68/1161.17 c 1160s | 16 | 241860 | 165652 | 74850 3 | 75 | 0 1162.78/1163.27 c 1162s | 16 | 242177 | 165952 | 74850 3 | 75 | 0 1165.08/1165.53 c 1164s | 16 | 242486 | 166252 | 74850 3 | 75 | 0 1167.48/1167.94 c 1167s | 16 | 242794 | 166552 | 74850 3 | 75 | 0 1169.48/1169.95 c 1169s | 16 | 243523 | 166752 | 74850 3 | 75 | 0 1172.18/1172.69 c 1171s | 16 | 244438 | 167052 | 74850 3 | 75 | 0 1174.48/1174.94 c 1174s | 16 | 244875 | 167352 | 74850 3 | 75 | 0 1176.68/1177.14 c 1176s | 16 | 245988 | 167652 | 74850 3 | 75 | 0 1179.38/1179.82 c 1178s | 16 | 246521 | 168052 | 74850 3 | 75 | 0 1181.48/1181.98 c 1181s | 16 | 247090 | 168352 | 74850 3 | 75 | 0 1183.58/1184.00 c 1183s | 16 | 247429 | 168652 | 74850 3 | 75 | 0 1185.88/1186.35 c 1185s | 16 | 247874 | 169052 | 74850 3 | 75 | 0 1188.28/1188.79 c 1187s | 16 | 248357 | 169452 | 74850 3 | 75 | 0 1190.48/1190.90 c 1190s | 16 | 248699 | 169752 | 74850 3 | 75 | 0 1192.97/1193.45 c 1192s | 16 | 249181 | 170152 | 74850 3 | 75 | 0 1195.17/1195.68 c 1194s | 16 | 249504 | 170452 | 74850 3 | 75 | 0 1197.58/1198.08 c 1197s | 16 | 249866 | 170752 | 74850 3 | 75 | 0 1199.57/1200.10 c 1199s | 16 | 250215 | 171052 | 74850 3 | 75 | 0 1201.98/1202.41 c 1201s | 16 | 250543 | 171352 | 74850 3 | 75 | 0 1204.08/1204.50 c 1203s | 16 | 250864 | 171652 | 74850 3 | 75 | 0 1206.28/1206.71 c 1205s | 16 | 251199 | 171952 | 74850 3 | 75 | 0 1208.37/1208.81 c 1207s | 16 | 251509 | 172252 | 74850 3 | 75 | 0 1211.07/1211.51 c 1210s | 16 | 251997 | 172652 | 74850 3 | 75 | 0 1213.17/1213.63 c 1212s | 16 | 252440 | 172952 | 74850 3 | 75 | 0 1215.18/1215.68 c 1214s | 16 | 252776 | 173252 | 74850 3 | 75 | 0 1217.87/1218.37 c 1217s | 16 | 253364 | 173652 | 74850 3 | 75 | 0 1220.07/1220.54 c 1219s | 16 | 253759 | 173952 | 74850 3 | 75 | 0 1222.47/1222.97 c 1222s | 16 | 254111 | 174252 | 74850 3 | 75 | 0 1225.07/1225.54 c 1224s | 16 | 254605 | 174652 | 74850 3 | 75 | 0 1227.17/1227.63 c 1226s | 16 | 254927 | 174952 | 74850 3 | 75 | 0 1229.87/1230.33 c 1229s | 16 | 255426 | 175352 | 74850 3 | 75 | 0 1232.17/1232.66 c 1231s | 16 | 256148 | 175652 | 74850 3 | 75 | 0 1234.57/1235.03 c 1234s | 16 | 256801 | 175952 | 74850 3 | 75 | 0 1236.87/1237.37 c 1236s | 16 | 257198 | 176252 | 74850 3 | 75 | 0 1239.06/1239.51 c 1238s | 16 | 257742 | 176552 | 74850 3 | 75 | 0 1241.66/1242.17 c 1241s | 16 | 258194 | 176852 | 74850 3 | 75 | 0 1244.06/1244.51 c 1243s | 16 | 258575 | 177152 | 74850 3 | 75 | 0 1246.86/1247.36 c 1246s | 16 | 258974 | 177452 | 74850 3 | 75 | 0 1249.27/1249.77 c 1248s | 16 | 259346 | 177752 | 74850 3 | 75 | 0 1251.76/1252.25 c 1251s | 16 | 259858 | 178052 | 74850 3 | 75 | 0 1254.06/1254.50 c 1253s | 16 | 260231 | 178352 | 74850 3 | 75 | 0 1256.06/1256.54 c 1255s | 16 | 260558 | 178652 | 74850 3 | 75 | 0 1258.56/1259.09 c 1258s | 16 | 260896 | 178952 | 74850 3 | 75 | 0 1260.86/1261.35 c 1260s | 16 | 261119 | 179152 | 74850 3 | 75 | 0 1263.36/1263.81 c 1262s | 16 | 261431 | 179352 | 74850 3 | 75 | 0 1265.56/1266.03 c 1265s | 16 | 261733 | 179552 | 74850 3 | 75 | 0 1268.16/1268.65 c 1267s | 16 | 262042 | 179752 | 74850 3 | 75 | 0 1270.86/1271.34 c 1270s | 16 | 262444 | 179952 | 74850 3 | 75 | 0 1272.86/1273.39 c 1272s | 16 | 262673 | 180152 | 74850 3 | 75 | 0 1275.46/1275.97 c 1275s | 16 | 262998 | 180452 | 74850 3 | 75 | 0 1277.56/1278.07 c 1277s | 16 | 263253 | 180652 | 74850 3 | 75 | 0 1279.66/1280.17 c 1279s | 16 | 263510 | 180852 | 74850 3 | 75 | 0 1282.76/1283.24 c 1282s | 16 | 263885 | 181152 | 74850 3 | 75 | 0 1284.96/1285.41 c 1284s | 16 | 264111 | 181352 | 74850 3 | 75 | 0 1287.56/1288.06 c 1287s | 16 | 264425 | 181652 | 74850 3 | 75 | 0 1290.06/1290.55 c 1289s | 16 | 264727 | 181952 | 74850 3 | 75 | 0 1292.86/1293.34 c 1292s | 16 | 265037 | 182252 | 74850 3 | 75 | 0 1295.56/1296.01 c 1295s | 16 | 265353 | 182552 | 74850 3 | 75 | 0 1298.16/1298.61 c 1297s | 16 | 265661 | 182852 | 74850 3 | 75 | 0 1300.86/1301.39 c 1300s | 16 | 265964 | 183152 | 74850 3 | 75 | 0 1303.45/1303.98 c 1303s | 16 | 266273 | 183452 | 74850 3 | 75 | 0 1306.25/1306.73 c 1305s | 16 | 266587 | 183752 | 74850 3 | 75 | 0 1308.25/1308.78 c 1307s | 16 | 266790 | 183952 | 74850 3 | 75 | 0 1311.15/1311.61 c 1310s | 16 | 267031 | 184152 | 74850 3 | 75 | 0 1313.85/1314.35 c 1313s | 16 | 267575 | 184352 | 74850 3 | 75 | 0 1316.26/1316.76 c 1315s | 16 | 267818 | 184552 | 74850 3 | 75 | 0 1319.25/1319.75 c 1318s | 16 | 268119 | 184852 | 74850 3 | 75 | 0 1321.65/1322.15 c 1321s | 16 | 268314 | 185052 | 74850 3 | 75 | 0 1324.65/1325.14 c 1324s | 16 | 268637 | 185252 | 74850 3 | 75 | 0 1327.45/1327.96 c 1327s | 16 | 268929 | 185452 | 74850 3 | 75 | 0 1330.35/1330.87 c 1330s | 16 | 269188 | 185652 | 74850 3 | 75 | 0 1333.35/1333.87 c 1333s | 16 | 269405 | 185852 | 74850 3 | 75 | 0 1336.35/1336.88 c 1336s | 16 | 269627 | 186052 | 74850 3 | 75 | 0 1339.46/1339.93 c 1339s | 16 | 269985 | 186252 | 74850 3 | 75 | 0 1342.45/1342.96 c 1342s | 16 | 270256 | 186452 | 74850 3 | 75 | 0 1344.86/1345.33 c 1344s | 16 | 270442 | 186652 | 74850 3 | 75 | 0 1347.35/1347.80 c 1346s | 16 | 270670 | 186852 | 74850 3 | 75 | 0 1349.45/1349.90 c 1349s | 16 | 270878 | 187052 | 74850 3 | 75 | 0 1352.35/1352.85 c 1352s | 16 | 271183 | 187352 | 74850 3 | 75 | 0 1354.85/1355.35 c 1354s | 16 | 271387 | 187552 | 74850 3 | 75 | 0 1357.05/1357.51 c 1356s | 16 | 271586 | 187752 | 74850 3 | 75 | 0 1359.65/1360.17 c 1359s | 16 | 271801 | 187952 | 74850 3 | 75 | 0 1362.34/1362.89 c 1362s | 16 | 272006 | 188152 | 74850 3 | 75 | 0 1365.34/1365.89 c 1365s | 16 | 272238 | 188352 | 74850 3 | 75 | 0 1368.14/1368.67 c 1367s | 16 | 272442 | 188552 | 74850 3 | 75 | 0 1370.84/1371.31 c 1370s | 16 | 272680 | 188752 | 74850 3 | 75 | 0 1373.64/1374.17 c 1373s | 16 | 273014 | 188952 | 74850 3 | 75 | 0 1376.54/1377.00 c 1376s | 16 | 273433 | 189152 | 74850 3 | 75 | 0 1382.64/1383.19 c 1382s | 16 | 273687 | 189352 | 74850 4 | 75 | 0 1385.14/1385.68 c 1384s | 16 | 273933 | 189552 | 74850 4 | 75 | 0 1388.04/1388.56 c 1387s | 16 | 274238 | 189852 | 74850 4 | 75 | 0 1390.54/1391.07 c 1390s | 16 | 274536 | 190152 | 74850 4 | 75 | 0 1393.14/1393.68 c 1392s | 16 | 274900 | 190452 | 74850 4 | 75 | 0 1395.24/1395.70 c 1394s | 16 | 275284 | 190652 | 74850 4 | 75 | 0 1397.54/1398.05 c 1397s | 16 | 275659 | 190952 | 74850 4 | 75 | 0 1399.64/1400.19 c 1399s | 16 | 275951 | 191152 | 74850 4 | 75 | 0 1402.34/1402.86 c 1402s | 16 | 276283 | 191452 | 74850 4 | 75 | 0 1404.84/1405.33 c 1404s | 16 | 276694 | 191752 | 74850 4 | 75 | 0 1407.74/1408.27 c 1407s | 16 | 277159 | 192052 | 74850 4 | 75 | 0 1410.64/1411.10 c 1410s | 16 | 277783 | 192352 | 74850 4 | 75 | 0 1413.34/1413.86 c 1413s | 16 | 278424 | 192652 | 74850 4 | 75 | 0 1416.04/1416.51 c 1415s | 16 | 278792 | 192952 | 74850 4 | 75 | 0 1418.04/1418.59 c 1417s | 16 | 278998 | 193152 | 74850 4 | 75 | 0 1420.44/1420.99 c 1420s | 16 | 279309 | 193452 | 74850 4 | 75 | 0 1422.64/1423.13 c 1422s | 16 | 279685 | 193752 | 74850 4 | 75 | 0 1425.14/1425.64 c 1424s | 16 | 280050 | 194052 | 74850 4 | 75 | 0 1427.44/1427.95 c 1427s | 16 | 280261 | 194252 | 74850 4 | 75 | 0 1429.84/1430.33 c 1429s | 16 | 280484 | 194452 | 74850 4 | 75 | 0 1432.34/1432.84 c 1432s | 16 | 280933 | 194752 | 74850 4 | 75 | 0 1435.23/1435.76 c 1434s | 16 | 281449 | 195052 | 74850 4 | 75 | 0 1437.73/1438.23 c 1437s | 16 | 281850 | 195352 | 74850 4 | 75 | 0 1440.03/1440.50 c 1439s | 16 | 282155 | 195652 | 74850 4 | 75 | 0 1442.23/1442.71 c 1441s | 16 | 282385 | 195852 | 74850 4 | 75 | 0 1444.43/1444.98 c 1444s | 16 | 282774 | 196152 | 82335 4 | 75 | 0 1446.63/1447.15 c 1446s | 16 | 282987 | 196352 | 82335 4 | 75 | 0 1449.13/1449.62 c 1448s | 16 | 283414 | 196652 | 82335 4 | 75 | 0 1451.43/1451.92 c 1451s | 16 | 283749 | 196952 | 82335 4 | 75 | 0 1453.84/1454.32 c 1453s | 16 | 284090 | 197252 | 82335 4 | 75 | 0 1455.94/1456.41 c 1455s | 17 | 284350 | 197432 | 82335 4 | 75 | 0 1463.93/1464.46 c 1463s | 17 | 284545 | 197532 | 82335 4 | 75 | 0 1466.63/1467.12 c 1466s | 17 | 284850 | 197832 | 82335 4 | 75 | 0 1469.33/1469.86 c 1469s | 17 | 285165 | 198132 | 82335 4 | 75 | 0 1471.53/1472.00 c 1471s | 17 | 285584 | 198532 | 82335 4 | 75 | 0 1473.64/1474.17 c 1473s | 17 | 286005 | 198932 | 82335 4 | 75 | 0 1476.13/1476.68 c 1475s | 17 | 286522 | 199432 | 82335 4 | 75 | 0 1478.43/1478.93 c 1478s | 17 | 286951 | 199832 | 82335 4 | 75 | 0 1480.73/1481.24 c 1480s | 17 | 287473 | 200332 | 82335 4 | 75 | 0 1482.83/1483.31 c 1482s | 17 | 287893 | 200732 | 82335 4 | 75 | 0 1485.23/1485.71 c 1484s | 17 | 288325 | 201132 | 82335 4 | 75 | 0 1487.63/1488.17 c 1487s | 17 | 288735 | 201532 | 82335 4 | 75 | 0 1490.23/1490.70 c 1489s | 17 | 289153 | 201932 | 82335 4 | 75 | 0 1492.33/1492.84 c 1492s | 17 | 289466 | 202232 | 82335 4 | 75 | 0 1494.33/1494.85 c 1494s | 17 | 289775 | 202532 | 82335 4 | 75 | 0 1496.43/1496.90 c 1496s | 17 | 289985 | 202732 | 82335 4 | 75 | 0 1498.53/1499.00 c 1498s | 17 | 290226 | 202932 | 82335 4 | 75 | 0 1500.62/1501.13 c 1500s | 17 | 290578 | 203232 | 82335 4 | 75 | 0 1503.12/1503.62 c 1502s | 17 | 291027 | 203632 | 82335 4 | 75 | 0 1505.72/1506.27 c 1505s | 17 | 291459 | 203932 | 82335 4 | 75 | 0 1507.73/1508.28 c 1507s | 17 | 291767 | 204232 | 82335 4 | 75 | 0 1510.32/1510.87 c 1510s | 17 | 292184 | 204632 | 82335 4 | 75 | 0 1512.32/1512.88 c 1512s | 17 | 292483 | 204932 | 82335 4 | 75 | 0 1514.42/1514.92 c 1514s | 17 | 292792 | 205232 | 82335 4 | 75 | 0 1516.62/1517.12 c 1516s | 17 | 293127 | 205532 | 82335 4 | 75 | 0 1519.42/1519.90 c 1519s | 17 | 293514 | 205832 | 82335 4 | 75 | 0 1522.03/1522.59 c 1521s | 17 | 293864 | 206132 | 82335 4 | 75 | 0 1524.52/1525.04 c 1524s | 17 | 294185 | 206432 | 82335 4 | 75 | 0 1527.12/1527.68 c 1526s | 17 | 294494 | 206732 | 82335 4 | 75 | 0 1529.63/1530.15 c 1529s | 17 | 294837 | 207032 | 82335 4 | 75 | 0 1532.12/1532.60 c 1531s | 17 | 295245 | 207332 | 82335 4 | 75 | 0 1534.42/1534.90 c 1534s | 17 | 295555 | 207632 | 82335 4 | 75 | 0 1536.42/1536.98 c 1536s | 17 | 295856 | 207932 | 82335 4 | 75 | 0 1538.92/1539.43 c 1538s | 17 | 296208 | 208232 | 82335 4 | 75 | 0 1541.22/1541.71 c 1540s | 17 | 296511 | 208532 | 82335 4 | 75 | 0 1543.42/1543.95 c 1543s | 17 | 296957 | 208832 | 82335 4 | 75 | 0 1545.62/1546.18 c 1545s | 17 | 297347 | 209132 | 82335 4 | 75 | 0 1548.22/1548.74 c 1547s | 17 | 297692 | 209432 | 82335 4 | 75 | 0 1550.42/1550.97 c 1550s | 17 | 297997 | 209732 | 82335 4 | 75 | 0 1553.12/1553.61 c 1552s | 17 | 298305 | 210032 | 82335 4 | 75 | 0 1555.42/1555.92 c 1555s | 17 | 298609 | 210332 | 82335 4 | 75 | 0 1557.72/1558.23 c 1557s | 17 | 298919 | 210632 | 82335 4 | 75 | 0 1560.31/1560.89 c 1560s | 17 | 299235 | 210932 | 82335 4 | 75 | 0 1563.02/1563.54 c 1562s | 17 | 299556 | 211232 | 82335 4 | 75 | 0 1565.42/1565.98 c 1565s | 17 | 299866 | 211532 | 82335 4 | 75 | 0 1567.82/1568.35 c 1567s | 17 | 300180 | 211832 | 82335 4 | 75 | 0 1570.33/1570.81 c 1569s | 17 | 300488 | 212132 | 82335 4 | 75 | 0 1572.72/1573.28 c 1572s | 17 | 300803 | 212432 | 82335 4 | 75 | 0 1575.12/1575.66 c 1574s | 17 | 301105 | 212732 | 82335 4 | 75 | 0 1577.42/1577.97 c 1577s | 17 | 301414 | 213032 | 82335 4 | 75 | 0 1580.02/1580.50 c 1579s | 17 | 301723 | 213332 | 82335 4 | 75 | 0 1582.32/1582.84 c 1582s | 17 | 302024 | 213632 | 82335 4 | 75 | 0 1584.63/1585.19 c 1584s | 17 | 302333 | 213932 | 82335 4 | 75 | 0 1587.42/1587.90 c 1587s | 17 | 302651 | 214232 | 82335 4 | 75 | 0 1589.92/1590.48 c 1589s | 17 | 302955 | 214532 | 82335 4 | 75 | 0 1592.62/1593.20 c 1592s | 17 | 303269 | 214832 | 82335 4 | 75 | 0 1595.42/1595.91 c 1595s | 17 | 303580 | 215132 | 82335 4 | 75 | 0 1598.12/1598.62 c 1597s | 17 | 303890 | 215432 | 82335 4 | 75 | 0 1600.82/1601.32 c 1600s | 17 | 304195 | 215732 | 82335 4 | 75 | 0 1603.32/1603.88 c 1603s | 17 | 304505 | 216032 | 82335 4 | 75 | 0 1606.22/1606.71 c 1605s | 17 | 304819 | 216332 | 82335 4 | 75 | 0 1608.72/1609.23 c 1608s | 17 | 305128 | 216632 | 82335 4 | 75 | 0 1610.82/1611.35 c 1610s | 17 | 305340 | 216832 | 82335 4 | 75 | 0 1612.92/1613.43 c 1612s | 17 | 305554 | 217032 | 82335 4 | 75 | 0 1615.02/1615.50 c 1614s | 17 | 305768 | 217232 | 82335 4 | 75 | 0 1617.82/1618.31 c 1617s | 17 | 306102 | 217532 | 82335 4 | 75 | 0 1620.41/1620.94 c 1620s | 17 | 306416 | 217832 | 82335 4 | 75 | 0 1623.01/1623.55 c 1622s | 17 | 306716 | 218132 | 82335 4 | 75 | 0 1625.61/1626.16 c 1625s | 17 | 307032 | 218432 | 82335 4 | 75 | 0 1628.01/1628.59 c 1627s | 17 | 307340 | 218732 | 82335 4 | 75 | 0 1630.61/1631.11 c 1630s | 17 | 307652 | 219032 | 82335 4 | 75 | 0 1633.41/1633.92 c 1633s | 17 | 307968 | 219332 | 82335 4 | 75 | 0 1636.21/1636.74 c 1635s | 17 | 308275 | 219632 | 82335 4 | 75 | 0 1638.81/1639.37 c 1638s | 17 | 308584 | 219932 | 82335 4 | 75 | 0 1641.71/1642.22 c 1641s | 17 | 308890 | 220232 | 82335 4 | 75 | 0 1644.51/1645.01 c 1644s | 17 | 309200 | 220532 | 82335 4 | 75 | 0 1647.21/1647.74 c 1646s | 17 | 309503 | 220832 | 82335 4 | 75 | 0 1650.01/1650.54 c 1649s | 17 | 309814 | 221132 | 82335 4 | 75 | 0 1652.31/1652.82 c 1652s | 17 | 310183 | 221332 | 82335 4 | 75 | 0 1655.21/1655.77 c 1654s | 17 | 310509 | 221632 | 82335 4 | 75 | 0 1657.32/1657.88 c 1657s | 17 | 310716 | 221832 | 82335 4 | 75 | 0 1659.31/1659.89 c 1659s | 17 | 310923 | 222032 | 82335 4 | 75 | 0 1662.01/1662.53 c 1661s | 17 | 311227 | 222332 | 82335 4 | 75 | 0 1664.41/1664.98 c 1664s | 17 | 311528 | 222632 | 82335 4 | 75 | 0 1666.51/1667.08 c 1666s | 17 | 311735 | 222832 | 82335 4 | 75 | 0 1668.71/1669.24 c 1668s | 17 | 311981 | 223032 | 82335 4 | 75 | 0 1671.21/1671.72 c 1670s | 17 | 312224 | 223232 | 82335 4 | 75 | 0 1673.71/1674.23 c 1673s | 17 | 312450 | 223432 | 82335 4 | 75 | 0 1676.11/1676.69 c 1675s | 17 | 312704 | 223632 | 82335 4 | 75 | 0 1678.40/1678.98 c 1678s | 17 | 312921 | 223832 | 82335 4 | 75 | 0 1680.50/1681.05 c 1680s | 17 | 313138 | 224032 | 82335 4 | 75 | 0 1682.61/1683.16 c 1682s | 17 | 313388 | 224232 | 82335 4 | 75 | 0 1685.00/1685.52 c 1684s | 17 | 313617 | 224432 | 82335 4 | 75 | 0 1687.10/1687.61 c 1686s | 17 | 313826 | 224632 | 82335 4 | 75 | 0 1689.11/1689.67 c 1688s | 17 | 314036 | 224832 | 82335 4 | 75 | 0 1691.41/1691.92 c 1691s | 17 | 314268 | 225032 | 82335 4 | 75 | 0 1693.51/1694.07 c 1693s | 17 | 314490 | 225232 | 82335 4 | 75 | 0 1695.81/1696.32 c 1695s | 17 | 314705 | 225432 | 82335 4 | 75 | 0 1697.91/1698.47 c 1697s | 17 | 314919 | 225632 | 82335 4 | 75 | 0 1700.21/1700.71 c 1699s | 17 | 315136 | 225832 | 82335 4 | 75 | 0 1702.20/1702.77 c 1701s | 17 | 315351 | 226032 | 82335 4 | 75 | 0 1704.30/1704.84 c 1704s | 17 | 315570 | 226232 | 82335 4 | 75 | 0 1707.20/1707.78 c 1706s | 17 | 315917 | 226532 | 82335 4 | 75 | 0 1709.30/1709.84 c 1709s | 17 | 316190 | 226732 | 82335 4 | 75 | 0 1711.30/1711.89 c 1711s | 17 | 316414 | 226932 | 82335 4 | 75 | 0 1713.70/1714.22 c 1713s | 17 | 316679 | 227132 | 82335 4 | 75 | 0 1715.80/1716.34 c 1715s | 17 | 316949 | 227332 | 82335 4 | 75 | 0 1717.90/1718.42 c 1717s | 17 | 317172 | 227532 | 82335 4 | 75 | 0 1720.10/1720.60 c 1719s | 17 | 317380 | 227732 | 82335 4 | 75 | 0 1723.00/1723.54 c 1722s | 17 | 317794 | 228032 | 82335 4 | 75 | 0 1725.90/1726.44 c 1725s | 17 | 318101 | 228332 | 82335 4 | 75 | 0 1728.00/1728.54 c 1727s | 17 | 318334 | 228532 | 82335 4 | 75 | 0 1730.20/1730.70 c 1729s | 17 | 318552 | 228732 | 82335 4 | 75 | 0 1732.30/1732.82 c 1732s | 17 | 318761 | 228932 | 82335 4 | 75 | 0 1734.40/1734.96 c 1734s | 17 | 318978 | 229132 | 82335 4 | 75 | 0 1736.50/1737.06 c 1736s | 17 | 319188 | 229332 | 82335 4 | 75 | 0 1738.60/1739.14 c 1738s | 17 | 319403 | 229532 | 82335 4 | 75 | 0 1740.60/1741.17 c 1740s | 17 | 319614 | 229732 | 82335 4 | 75 | 0 1743.50/1744.09 c 1743s | 17 | 319931 | 230032 | 82335 4 | 75 | 0 1746.40/1746.96 c 1746s | 17 | 320245 | 230332 | 82335 4 | 75 | 0 1749.29/1749.88 c 1749s | 17 | 320671 | 230632 | 82335 4 | 75 | 0 1752.39/1752.95 c 1752s | 17 | 321062 | 230932 | 82335 4 | 75 | 0 1754.49/1755.01 c 1754s | 17 | 321313 | 231132 | 82335 4 | 75 | 0 1756.59/1757.12 c 1756s | 17 | 321542 | 231332 | 82335 4 | 75 | 0 1759.19/1759.80 c 1758s | 17 | 321854 | 231632 | 82335 4 | 75 | 0 1761.29/1761.80 c 1760s | 17 | 322089 | 231832 | 82335 4 | 75 | 0 1763.29/1763.88 c 1763s | 17 | 322307 | 232032 | 82335 4 | 75 | 0 1765.39/1765.97 c 1765s | 17 | 322518 | 232232 | 82335 4 | 75 | 0 1767.59/1768.12 c 1767s | 17 | 322732 | 232432 | 82335 4 | 75 | 0 1769.69/1770.22 c 1769s | 17 | 322954 | 232632 | 82335 4 | 75 | 0 1771.89/1772.40 c 1771s | 17 | 323169 | 232832 | 82335 4 | 75 | 0 1773.99/1774.59 c 1773s | 17 | 323384 | 233032 | 82335 4 | 75 | 0 1776.19/1776.75 c 1775s | 17 | 323594 | 233232 | 82335 4 | 75 | 0 1778.39/1778.98 c 1778s | 17 | 323809 | 233432 | 82335 4 | 75 | 0 1781.29/1781.80 c 1780s | 17 | 324125 | 233732 | 82335 4 | 75 | 0 1784.29/1784.86 c 1784s | 17 | 324436 | 234032 | 82335 4 | 75 | 0 1786.39/1786.95 c 1786s | 17 | 324664 | 234232 | 82335 4 | 75 | 0 1789.30/1789.86 c 1789s | 17 | 324980 | 234532 | 82335 4 | 75 | 0 1792.09/1792.63 c 1791s | 17 | 325295 | 234832 | 82335 4 | 75 | 0 1794.09/1794.65 c 1793s | 17 | 325504 | 235032 | 82335 4 | 75 | 0 1796.79/1797.39 c 1796s | 17 | 325805 | 235332 | 82335 4 | 75 | 0 1799.69/1800.25 c 1799s | 17 | 326112 | 235632 | 82335 4 | 75 | 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-4079333-1465340447/watcher-4079333-1465340447 -o /tmp/evaluation-result-4079333-1465340447/solver-4079333-1465340447 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19403 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079333-1465340447.opb pid=22212 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.16 2.19 2.18 4/180 22215 /proc/meminfo: memFree=29267632/32872528 swapFree=16204/1518544 [pid=22215] ppid=22212 vsize=755132 CPUtime=0 cores=0,2,4,6 /proc/22215/stat : 22215 (toysat) R 22212 22215 19387 0 -1 4202496 2822 0 0 0 0 0 0 0 20 0 4 0 115977575 773255168 3182 33554432000 4194304 16246674 140734942990976 140734942989912 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22215/statm: 189295 3193 441 2943 0 186189 0 [pid=22215/tid=22216] ppid=22212 vsize=772540 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22216/stat : 22216 (toysat) S 22212 22215 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115977575 791080960 3253 33554432000 4194304 16246674 140734942990976 139810293394672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=22215/tid=22217] ppid=22212 vsize=776636 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22217/stat : 22217 (toysat) S 22212 22215 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115977575 795275264 3269 33554432000 4194304 16246674 140734942990976 139810282904816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22215/tid=22218] ppid=22212 vsize=781756 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115977575 800518144 3286 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100215 s] /proc/loadavg: 2.16 2.19 2.18 4/180 22215 /proc/meminfo: memFree=29267632/32872528 swapFree=16204/1518544 [pid=22215] ppid=22212 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/22215/stat : 22215 (toysat) R 22212 22215 19387 0 -1 4202496 27837 0 0 0 5 4 0 0 20 0 4 0 115977575 1333334016 28136 33554432000 4194304 16246674 140734942990976 140734942990288 8057278 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22215/statm: 325521 28150 800 2943 0 322415 0 [pid=22215/tid=22216] ppid=22212 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22216/stat : 22216 (toysat) S 22212 22215 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115977575 1333334016 28161 33554432000 4194304 16246674 140734942990976 139810293394672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=22215/tid=22217] ppid=22212 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22217/stat : 22217 (toysat) S 22212 22215 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115977575 1333334016 28172 33554432000 4194304 16246674 140734942990976 139810282904816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22215/tid=22218] ppid=22212 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115977575 1333334016 28183 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.20051 s] /proc/loadavg: 2.16 2.19 2.18 4/180 22215 /proc/meminfo: memFree=29267632/32872528 swapFree=16204/1518544 [pid=22215] ppid=22212 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/22215/stat : 22215 (toysat) R 22212 22215 19387 0 -1 4202496 43540 0 0 0 13 6 0 0 20 0 4 0 115977575 1344868352 44349 33554432000 4194304 16246674 140734942990976 140734942990288 13967808 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22215/statm: 328337 44349 801 2943 0 325231 0 [pid=22215/tid=22216] ppid=22212 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22216/stat : 22216 (toysat) S 22212 22215 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115977575 1344868352 44349 33554432000 4194304 16246674 140734942990976 139810293394672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=22215/tid=22217] ppid=22212 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22217/stat : 22217 (toysat) S 22212 22215 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115977575 1344868352 44349 33554432000 4194304 16246674 140734942990976 139810282904816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22215/tid=22218] ppid=22212 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115977575 1344868352 44349 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300478 s] /proc/loadavg: 2.16 2.19 2.18 4/180 22215 /proc/meminfo: memFree=29267632/32872528 swapFree=16204/1518544 [pid=22215] ppid=22212 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/22215/stat : 22215 (toysat) R 22212 22215 19387 0 -1 4202496 60566 0 0 0 22 7 0 0 20 0 4 0 115977575 1344868352 61375 33554432000 4194304 16246674 140734942990976 140734942990288 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22215/statm: 328337 61375 812 2943 0 325231 0 [pid=22215/tid=22216] ppid=22212 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22216/stat : 22216 (toysat) S 22212 22215 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115977575 1344868352 61375 33554432000 4194304 16246674 140734942990976 139810293394672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=22215/tid=22217] ppid=22212 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22217/stat : 22217 (toysat) S 22212 22215 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115977575 1344868352 61375 33554432000 4194304 16246674 140734942990976 139810282904816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22215/tid=22218] ppid=22212 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115977575 1344868352 61375 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700399 s] /proc/loadavg: 2.16 2.19 2.18 4/180 22215 /proc/meminfo: memFree=29267632/32872528 swapFree=16204/1518544 [pid=22215] ppid=22212 vsize=1313348 CPUtime=0.68 cores=0,2,4,6 /proc/22215/stat : 22215 (toysat) R 22212 22215 19387 0 -1 4202496 96680 0 0 0 56 12 0 0 20 0 4 0 115977575 1344868352 97489 33554432000 4194304 16246674 140734942990976 140734942990288 13934346 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22215/statm: 328337 97497 842 2943 0 325231 0 [pid=22215/tid=22216] ppid=22212 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22216/stat : 22216 (toysat) S 22212 22215 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115977575 1344868352 97503 33554432000 4194304 16246674 140734942990976 139810293394672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=22215/tid=22217] ppid=22212 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22217/stat : 22217 (toysat) S 22212 22215 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115977575 1344868352 97509 33554432000 4194304 16246674 140734942990976 139810282904816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22215/tid=22218] ppid=22212 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115977575 1344868352 97514 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1313348 [startup+1.50039 s] /proc/loadavg: 2.16 2.19 2.18 4/184 22219 /proc/meminfo: memFree=28707952/32872528 swapFree=16204/1518544 [pid=22215] ppid=22212 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/22215/stat : 22215 (toysat) R 22212 22215 19387 0 -1 4202496 159884 0 0 0 129 20 0 0 20 0 4 0 115977575 1344868352 160693 33554432000 4194304 16246674 140734942990976 140734942972864 5523709 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22215/statm: 328337 160696 885 2943 0 325231 0 [pid=22215/tid=22216] ppid=22212 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22216/stat : 22216 (toysat) S 22212 22215 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115977575 1344868352 160696 33554432000 4194304 16246674 140734942990976 139810293394672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=22215/tid=22217] ppid=22212 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22217/stat : 22217 (toysat) S 22212 22215 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115977575 1344868352 160697 33554432000 4194304 16246674 140734942990976 139810282904816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22215/tid=22218] ppid=22212 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115977575 1344868352 160697 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10039 s] /proc/loadavg: 2.15 2.19 2.18 4/184 22219 /proc/meminfo: memFree=28444460/32872528 swapFree=16204/1518544 [pid=22215] ppid=22212 vsize=1313348 CPUtime=3.09 cores=0,2,4,6 /proc/22215/stat : 22215 (toysat) R 22212 22215 19387 0 -1 4202496 255018 0 0 0 276 33 0 0 20 0 4 0 115977575 1344868352 255827 33554432000 4194304 16246674 140734942990976 140734942972864 5600539 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22215/statm: 328337 255829 887 2943 0 325231 0 [pid=22215/tid=22216] ppid=22212 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22216/stat : 22216 (toysat) S 22212 22215 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115977575 1344868352 255831 33554432000 4194304 16246674 140734942990976 139810293394672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=22215/tid=22217] ppid=22212 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22217/stat : 22217 (toysat) S 22212 22215 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115977575 1344868352 255832 33554432000 4194304 16246674 140734942990976 139810282904816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22215/tid=22218] ppid=22212 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115977575 1344868352 255833 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1313348 [startup+6.30039 s] /proc/loadavg: 2.15 2.19 2.18 4/184 22219 /proc/meminfo: memFree=28179936/32872528 swapFree=16204/1518544 [pid=22215] ppid=22212 vsize=1322564 CPUtime=6.29 cores=0,2,4,6 /proc/22215/stat : 22215 (toysat) R 22212 22215 19387 0 -1 4202496 271319 0 0 0 593 36 0 0 20 0 4 0 115977575 1354305536 272128 33554432000 4194304 16246674 140734942990976 140734942972864 12415827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22215/statm: 330641 272128 890 2943 0 327535 0 [pid=22215/tid=22216] ppid=22212 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22216/stat : 22216 (toysat) S 22212 22215 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115977575 1354305536 272128 33554432000 4194304 16246674 140734942990976 139810293394672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=22215/tid=22217] ppid=22212 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22217/stat : 22217 (toysat) S 22212 22215 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115977575 1354305536 272128 33554432000 4194304 16246674 140734942990976 139810282904816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22215/tid=22218] ppid=22212 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115977575 1354305536 272128 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1322564 [startup+12.7004 s] /proc/loadavg: 2.12 2.18 2.17 3/184 22219 /proc/meminfo: memFree=28179696/32872528 swapFree=16204/1518544 [pid=22215] ppid=22212 vsize=1322564 CPUtime=12.69 cores=0,2,4,6 /proc/22215/stat : 22215 (toysat) R 22212 22215 19387 0 -1 4202496 271323 0 0 0 1233 36 0 0 20 0 4 0 115977575 1354305536 272132 33554432000 4194304 16246674 140734942990976 140734942972864 12415751 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22215/statm: 330641 272132 893 2943 0 327535 0 [pid=22215/tid=22216] ppid=22212 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22216/stat : 22216 (toysat) S 22212 22215 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115977575 1354305536 272132 33554432000 4194304 16246674 140734942990976 139810293394672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=22215/tid=22217] ppid=22212 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22217/stat : 22217 (toysat) S 22212 22215 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115977575 1354305536 272132 33554432000 4194304 16246674 140734942990976 139810282904816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22215/tid=22218] ppid=22212 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115977575 1354305536 272132 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1322564 [startup+25.5004 s] /proc/loadavg: 2.10 2.18 2.17 4/184 22242 /proc/meminfo: memFree=28178692/32872528 swapFree=16204/1518544 [pid=22215] ppid=22212 vsize=1322564 CPUtime=25.49 cores=0,2,4,6 /proc/22215/stat : 22215 (toysat) R 22212 22215 19387 0 -1 4202496 271323 0 0 0 2513 36 0 0 20 0 4 0 115977575 1354305536 272132 33554432000 4194304 16246674 140734942990976 140734942972864 13774460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22215/statm: 330641 272132 893 2943 0 327535 0 [pid=22215/tid=22216] ppid=22212 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22216/stat : 22216 (toysat) S 22212 22215 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115977575 1354305536 272132 33554432000 4194304 16246674 140734942990976 139810293394672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=22215/tid=22217] ppid=22212 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22217/stat : 22217 (toysat) S 22212 22215 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115977575 1354305536 272132 33554432000 4194304 16246674 140734942990976 139810282904816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22215/tid=22218] ppid=22212 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115977575 1354305536 272132 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1322564 [startup+51.1005 s] /proc/loadavg: 2.20 2.19 2.18 4/184 22243 /proc/meminfo: memFree=28180008/32872528 swapFree=16204/1518544 [pid=22215] ppid=22212 vsize=1322564 CPUtime=51.08 cores=0,2,4,6 /proc/22215/stat : 22215 (toysat) R 22212 22215 19387 0 -1 4202496 271323 0 0 0 5072 36 0 0 20 0 4 0 115977575 1354305536 272132 33554432000 4194304 16246674 140734942990976 140734942972864 13752941 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22215/statm: 330641 272132 893 2943 0 327535 0 [pid=22215/tid=22216] ppid=22212 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22216/stat : 22216 (toysat) S 22212 22215 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115977575 1354305536 272132 33554432000 4194304 16246674 140734942990976 139810293394672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=22215/tid=22217] ppid=22212 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22217/stat : 22217 (toysat) S 22212 22215 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115977575 1354305536 272132 33554432000 4194304 16246674 140734942990976 139810282904816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22215/tid=22218] ppid=22212 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115977575 1354305536 272132 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1322564 [startup+102.301 s] /proc/loadavg: 2.13 2.17 2.17 3/183 22244 /proc/meminfo: memFree=28179492/32872528 swapFree=16204/1518544 [pid=22215] ppid=22212 vsize=1322564 CPUtime=102.28 cores=0,2,4,6 /proc/22215/stat : 22215 (toysat) R 22212 22215 19387 0 -1 4202496 271324 0 0 0 10192 36 0 0 20 0 4 0 115977575 1354305536 272133 33554432000 4194304 16246674 140734942990976 140734942972864 13906985 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22215/statm: 330641 272133 894 2943 0 327535 0 [pid=22215/tid=22216] ppid=22212 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22216/stat : 22216 (toysat) S 22212 22215 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115977575 1354305536 272133 33554432000 4194304 16246674 140734942990976 139810293394672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=22215/tid=22217] ppid=22212 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22217/stat : 22217 (toysat) S 22212 22215 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115977575 1354305536 272133 33554432000 4194304 16246674 140734942990976 139810282904816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22215/tid=22218] ppid=22212 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115977575 1354305536 272133 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1322564 ################ # More data... # ################ /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115977575 1370034176 275980 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1337924 [startup+1302.3 s] /proc/loadavg: 2.25 2.23 2.18 3/183 22274 /proc/meminfo: memFree=28130012/32872528 swapFree=16204/1518544 [pid=22215] ppid=22212 vsize=1337924 CPUtime=1301.86 cores=0,2,4,6 /proc/22215/stat : 22215 (toysat) R 22212 22215 19387 0 -1 4202496 275590 0 0 0 130148 38 0 0 20 0 4 0 115977575 1370034176 275980 33554432000 4194304 16246674 140734942990976 140734942972864 5677492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22215/statm: 334481 275980 898 2943 0 331375 0 [pid=22215/tid=22216] ppid=22212 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22216/stat : 22216 (toysat) S 22212 22215 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115977575 1370034176 275980 33554432000 4194304 16246674 140734942990976 139810293394672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=22215/tid=22217] ppid=22212 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22217/stat : 22217 (toysat) S 22212 22215 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115977575 1370034176 275980 33554432000 4194304 16246674 140734942990976 139810282904816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22215/tid=22218] ppid=22212 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115977575 1370034176 275980 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1337924 [startup+1362.3 s] /proc/loadavg: 2.21 2.22 2.18 3/183 22275 /proc/meminfo: memFree=28129784/32872528 swapFree=16204/1518544 [pid=22215] ppid=22212 vsize=1337924 CPUtime=1361.85 cores=0,2,4,6 /proc/22215/stat : 22215 (toysat) R 22212 22215 19387 0 -1 4202496 275590 0 0 0 136147 38 0 0 20 0 4 0 115977575 1370034176 275980 33554432000 4194304 16246674 140734942990976 140734942990072 12415831 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22215/statm: 334481 275980 898 2943 0 331375 0 [pid=22215/tid=22216] ppid=22212 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22216/stat : 22216 (toysat) S 22212 22215 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115977575 1370034176 275980 33554432000 4194304 16246674 140734942990976 139810293394672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=22215/tid=22217] ppid=22212 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22217/stat : 22217 (toysat) S 22212 22215 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115977575 1370034176 275980 33554432000 4194304 16246674 140734942990976 139810282904816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22215/tid=22218] ppid=22212 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115977575 1370034176 275980 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1337924 [startup+1422.3 s] /proc/loadavg: 2.19 2.21 2.18 4/183 22276 /proc/meminfo: memFree=28028108/32872528 swapFree=16204/1518544 [pid=22215] ppid=22212 vsize=1439300 CPUtime=1421.84 cores=0,2,4,6 /proc/22215/stat : 22215 (toysat) R 22212 22215 19387 0 -1 4202496 300934 0 0 0 142142 42 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 140734942972864 5599952 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22215/statm: 359825 301324 898 2943 0 356719 0 [pid=22215/tid=22216] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22216/stat : 22216 (toysat) S 22212 22215 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810293394672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=22215/tid=22217] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22217/stat : 22217 (toysat) S 22212 22215 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810282904816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22215/tid=22218] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1439300 [startup+1482.3 s] /proc/loadavg: 2.27 2.23 2.19 3/183 22277 /proc/meminfo: memFree=28027992/32872528 swapFree=16204/1518544 [pid=22215] ppid=22212 vsize=1439300 CPUtime=1481.83 cores=0,2,4,6 /proc/22215/stat : 22215 (toysat) R 22212 22215 19387 0 -1 4202496 300934 0 0 0 148140 43 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 140734942972864 5661428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22215/statm: 359825 301324 898 2943 0 356719 0 [pid=22215/tid=22216] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22216/stat : 22216 (toysat) S 22212 22215 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810293394672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=22215/tid=22217] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22217/stat : 22217 (toysat) S 22212 22215 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810282904816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22215/tid=22218] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1439300 [startup+1542.31 s] /proc/loadavg: 2.15 2.20 2.18 3/183 22278 /proc/meminfo: memFree=28027888/32872528 swapFree=16204/1518544 [pid=22215] ppid=22212 vsize=1439300 CPUtime=1541.82 cores=0,2,4,6 /proc/22215/stat : 22215 (toysat) R 22212 22215 19387 0 -1 4202496 300934 0 0 0 154139 43 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 140734942972864 12483198 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22215/statm: 359825 301324 898 2943 0 356719 0 [pid=22215/tid=22216] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22216/stat : 22216 (toysat) S 22212 22215 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810293394672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=22215/tid=22217] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22217/stat : 22217 (toysat) S 22212 22215 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810282904816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22215/tid=22218] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1439300 [startup+1602.3 s] /proc/loadavg: 2.22 2.21 2.18 3/183 22329 /proc/meminfo: memFree=28015504/32872528 swapFree=16204/1518544 [pid=22215] ppid=22212 vsize=1439300 CPUtime=1601.82 cores=0,2,4,6 /proc/22215/stat : 22215 (toysat) R 22212 22215 19387 0 -1 4202496 300934 0 0 0 160138 44 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 140734942972864 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22215/statm: 359825 301324 898 2943 0 356719 0 [pid=22215/tid=22216] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22216/stat : 22216 (toysat) S 22212 22215 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810293394672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=22215/tid=22217] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22217/stat : 22217 (toysat) S 22212 22215 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810282904816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22215/tid=22218] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1439300 [startup+1662.3 s] /proc/loadavg: 2.18 2.20 2.18 3/183 22330 /proc/meminfo: memFree=28015136/32872528 swapFree=16204/1518544 [pid=22215] ppid=22212 vsize=1439300 CPUtime=1661.81 cores=0,2,4,6 /proc/22215/stat : 22215 (toysat) R 22212 22215 19387 0 -1 4202496 300934 0 0 0 166137 44 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 140734942972864 5723974 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22215/statm: 359825 301324 898 2943 0 356719 0 [pid=22215/tid=22216] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22216/stat : 22216 (toysat) S 22212 22215 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810293394672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=22215/tid=22217] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22217/stat : 22217 (toysat) S 22212 22215 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810282904816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22215/tid=22218] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1439300 [startup+1722.3 s] /proc/loadavg: 2.27 2.22 2.19 3/183 22331 /proc/meminfo: memFree=28015260/32872528 swapFree=16204/1518544 [pid=22215] ppid=22212 vsize=1439300 CPUtime=1721.8 cores=0,2,4,6 /proc/22215/stat : 22215 (toysat) R 22212 22215 19387 0 -1 4202496 300934 0 0 0 172136 44 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 140734942972864 5600380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22215/statm: 359825 301324 898 2943 0 356719 0 [pid=22215/tid=22216] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22216/stat : 22216 (toysat) S 22212 22215 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810293394672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=22215/tid=22217] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22217/stat : 22217 (toysat) S 22212 22215 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810282904816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22215/tid=22218] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1439300 [startup+1782.3 s] /proc/loadavg: 2.20 2.20 2.18 3/184 22335 /proc/meminfo: memFree=28014924/32872528 swapFree=16204/1518544 [pid=22215] ppid=22212 vsize=1439300 CPUtime=1781.79 cores=0,2,4,6 /proc/22215/stat : 22215 (toysat) R 22212 22215 19387 0 -1 4202496 300934 0 0 0 178135 44 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 140734942972864 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22215/statm: 359825 301324 898 2943 0 356719 0 [pid=22215/tid=22216] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22216/stat : 22216 (toysat) S 22212 22215 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810293394672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=22215/tid=22217] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22217/stat : 22217 (toysat) S 22212 22215 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810282904816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22215/tid=22218] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1439300 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.22 2.21 2.18 3/184 22335 /proc/meminfo: memFree=28014924/32872528 swapFree=16204/1518544 [pid=22215] ppid=22212 vsize=1439300 CPUtime=1800.09 cores=0,2,4,6 /proc/22215/stat : 22215 (toysat) R 22212 22215 19387 0 -1 4202496 300934 0 0 0 179965 44 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 140734942972864 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/22215/statm: 359825 301324 898 2943 0 356719 0 [pid=22215/tid=22216] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22216/stat : 22216 (toysat) S 22212 22215 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810293394672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=22215/tid=22217] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22217/stat : 22217 (toysat) S 22212 22215 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810282904816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=22215/tid=22218] ppid=22212 vsize=1439300 CPUtime=0 cores=0,2,4,6 /proc/22215/task/22218/stat : 22218 (toysat) S 22212 22215 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115977575 1473843200 301324 33554432000 4194304 16246674 140734942990976 139810272431280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1439300 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 22215 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.62 CPU time (s): 1800.1 CPU user time (s): 1799.66 CPU system time (s): 0.440932 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (KiB): 1439300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.66 system time used= 0.440932 maximum resident set size= 1205296 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 300934 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= 442 involuntary context switches= 1850 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.74828 second user time and 6.75897 second system time The end
Begin job on node129 at 2016-06-08 01:00:47 IDJOB=4079333 IDBENCH=92769 IDSOLVER=2542 FILE ID=node129/4079333-1465340447 RUNJOBID= node129-1465311042-19403 PBS_JOBID= 19850114 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_6_ic.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079333-1465340447/watcher-4079333-1465340447 -o /tmp/evaluation-result-4079333-1465340447/solver-4079333-1465340447 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19403 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079333-1465340447.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 09d230c3dd969e67e7ea084b633c9325 RANDOM SEED=657255099 node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.715 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.715 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.715 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.715 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.715 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.715 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.715 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.715 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29267904 kB Buffers: 51096 kB Cached: 203648 kB SwapCached: 1836 kB Active: 1194672 kB Inactive: 149192 kB Active(anon): 1086968 kB Inactive(anon): 4524 kB Active(file): 107704 kB Inactive(file): 144668 kB Unevictable: 1518544 kB Mlocked: 16204 kB SwapTotal: 67108856 kB SwapFree: 67098824 kB Dirty: 17828 kB Writeback: 0 kB AnonPages: 2609204 kB Mapped: 11712 kB Shmem: 0 kB Slab: 604944 kB SReclaimable: 48928 kB SUnreclaim: 556016 kB KernelStack: 1464 kB PageTables: 9000 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2752132 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1843200 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= 71692 MiB End job on node129 at 2016-06-08 01:30:48