| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.13 | 1800.55 |
| Name | /DEC-SMALLINT-LIN/lopes/ normalized-112.opb |
| MD5SUM | 7a0b627cea8cce891554469525360150 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small 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 | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 33692 |
| Total number of constraints | 740354 |
| Number of constraints which are clauses | 662955 |
| Number of constraints which are cardinality constraints (but not clauses) | 2653 |
| Number of constraints which are nor clauses,nor cardinality constraints | 74746 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 567 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 568 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-07T07:23:56+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-4078847-1465277035.opb"] 0.00/0.01 c use --random-gen="4147413 1220502022 1668739906 2170812082 282153910 1259881738 824525939 2187668448 3422033633 163647648 1248347888 52642260 2323609282 796672972 159905507 1559053203 1021612530 4273669708 701164173 422928130 3991303839 2334379070 1503664033 3641288971 427203620 206668134 48656334 488676720 2537147580 45445397 319467941 352997808 3955472159 3816289363 894132848 3264132335 15198801 3566346463 1786323793 2383191737 3110137979 1080490640 3864912446 1899074950 3604175492 2572602924 3938945100 125430441 860199615 3583188228 3802108393 2422480970 751373200 1171378722 3261930561 1251236395 2088595839 3326332593 2913799961 4065232305 989604509 1480038861 2008197805 668534158 433420001 3770774700 2255366285 1226241341 4161723108 1345207335 1101733313 2139997028 385811574 1756012856 3308379998 2705809786 1827223411 1259641947 1431229563 43236611 1990121177 3599305768 3390318288 3741421046 310847778 1008988707 1982483608 3533204710 1268776046 359818308 2142865820 3921233371 255108677 1556440768 3342942589 2159682512 1457697126 1680355050 789854675 3113416517 911262146 225140518 3832469808 1882127999 2934723541 1134024794 2548406337 847015230 3192157131 1888394801 1011889381 1996821397 940733749 2784071457 2710127377 2317282907 881690770 1860640047 1606337665 2525765853 1101693834 1025612450 3627155297 3814490861 3736027705 4268367538 2502171100 2512899922 2166395010 2311979030 3104504162 3257612749 3208578097 1854831305 2954510347 46437982 3065903369 2068400306 2105012187 3794999440 2362652100 633664359 2001804636 31296439 977345372 105372913 1141254919 1956408764 3830131632 3168792064 23800648 990461022 266041852 1554110940 922021437 3388551839 3307217402 585591181 4034067109 4123776549 43012838 3083183426 2919856154 3141914272 2475219830 2413255904 1754619513 3355502613 1713752578 392736496 695578712 2618755856 1204424054 1416694745 2495238123 1105381406 2299562746 201677995 1065418975 3486655879 3908696246 2531762243 3353213208 1169023356 1813308819 136391751 3045525388 1225678485 3041807925 1434829744 1496419691 2570553365 851841713 484708436 3710781717 1297327356 1204246008 4085576156 1655297517 3699820595 483241157 8252385 2685051822 1955714814 2173559559 835178897 1043608546 3881246494 4066271638 2361390227 1136503946 3519209922 72228696 3026710002 2769881357 1639414247 3366673610 2839393232 342716245 527305757 3289077304 2700699635 2119932623 2827588782 2424479232 1090770176 2411919323 703230829 11519373 2632766611 457718129 1649272495 1239923561 1190425864 747541675 1744579374 3163910199 349289353 2855083039 2344891173 567617761 2852166926 1002607181 2309494649 2855917637 1040136413 3701101186 3726857801 2039201999 3759279069 3378310031 2836603046 1766906689 1544577288 3222846261 916120056 255 362436" option to reproduce the execution 6.19/6.21 c #vars 33692 6.19/6.21 c #constraints 740354 19.49/19.53 c Solving starts ... 19.49/19.53 c ============================[ Search Statistics ]============================ 19.49/19.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 19.49/19.53 c | | | | Limit GC | Var | Constra 19.49/19.53 c ============================================================================= 19.49/19.54 c 0.0s | 0 | 0 | 0 | 257003 0 | 263 | 0 20.19/20.24 c 0.7s | 1 | 157 | 100 | 257003 0 | 263 | 2772 21.29/21.35 c 1.8s | 2 | 3707 | 250 | 282704 0 | 263 | 2772 23.89/23.97 c 4.4s | 2 | 22308 | 350 | 310975 0 | 263 | 2772 26.09/26.19 c 6.7s | 2 | 43605 | 450 | 310975 0 | 264 | 3004 26.19/26.27 c 6.7s | 3 | 43640 | 475 | 310975 0 | 264 | 3004 28.88/28.98 c 9.4s | 3 | 60510 | 675 | 342073 0 | 265 | 3188 29.48/29.57 c 10.0s | 4 | 60752 | 813 | 342073 0 | 265 | 3188 31.99/32.06 c 12.5s | 4 | 75036 | 1313 | 376281 0 | 265 | 3188 33.18/33.24 c 13.7s | 5 | 76632 | 1320 | 376281 0 | 265 | 3188 35.29/35.34 c 15.8s | 5 | 78066 | 2020 | 413910 0 | 265 | 3188 35.38/35.47 c 15.9s | 6 | 78138 | 2081 | 455302 0 | 265 | 3188 37.49/37.56 c 18.0s | 6 | 96013 | 2181 | 455302 0 | 265 | 3188 39.88/39.93 c 20.4s | 6 | 133918 | 2681 | 455302 0 | 265 | 3188 43.28/43.37 c 23.8s | 6 | 174589 | 2981 | 455302 0 | 266 | 3199 43.88/43.95 c 24.4s | 7 | 175086 | 3223 | 500833 0 | 266 | 3199 45.98/46.03 c 26.5s | 7 | 188772 | 3623 | 500833 0 | 266 | 3199 47.98/48.08 c 28.6s | 7 | 189895 | 4523 | 500833 0 | 266 | 3199 48.98/49.09 c 29.6s | 8 | 190365 | 4936 | 550917 0 | 266 | 3199 51.18/51.26 c 31.7s | 8 | 255225 | 5336 | 550917 0 | 266 | 3199 53.68/53.72 c 34.2s | 8 | 342241 | 6236 | 550917 0 | 266 | 3199 55.78/55.80 c 36.3s | 8 | 408373 | 6636 | 550917 0 | 266 | 3199 57.98/58.07 c 38.5s | 8 | 445621 | 7036 | 550917 0 | 268 | 3238 60.08/60.16 c 40.6s | 9 | 447517 | 7506 | 606009 0 | 268 | 3238 62.47/62.58 c 43.0s | 9 | 449785 | 7706 | 606009 0 | 270 | 3277 64.67/64.79 c 45.3s | 9 | 451245 | 8206 | 606009 0 | 272 | 3333 66.77/66.84 c 47.3s | 9 | 452399 | 9206 | 606009 0 | 272 | 3333 68.77/68.88 c 49.4s | 9 | 453509 | 10206 | 606009 0 | 272 | 3333 70.87/70.94 c 51.4s | 9 | 454716 | 11306 | 666610 0 | 272 | 3333 70.97/71.06 c 51.5s | 10 | 454773 | 11361 | 666610 0 | 272 | 3333 72.97/73.09 c 53.6s | 10 | 462764 | 11561 | 666610 0 | 273 | 3344 75.07/75.13 c 55.6s | 10 | 463512 | 12161 | 666610 0 | 273 | 3344 77.17/77.25 c 57.7s | 10 | 464307 | 12861 | 666610 0 | 273 | 3344 79.18/79.26 c 59.7s | 10 | 465079 | 13561 | 666610 0 | 273 | 3344 81.17/81.29 c 61.8s | 10 | 465989 | 14261 | 666610 0 | 273 | 3344 83.47/83.56 c 64.0s | 10 | 466896 | 15061 | 666610 0 | 273 | 3344 85.67/85.74 c 66.2s | 10 | 486128 | 15261 | 666610 0 | 273 | 3344 87.77/87.82 c 68.3s | 10 | 508340 | 15561 | 666610 0 | 273 | 3344 90.57/90.66 c 71.1s | 10 | 530239 | 15761 | 666610 0 | 273 | 3344 92.77/92.86 c 73.3s | 10 | 537487 | 16161 | 666610 0 | 273 | 3344 94.97/95.06 c 75.5s | 10 | 538325 | 16761 | 666610 0 | 273 | 3344 96.37/96.45 c 76.9s | 11 | 538867 | 17144 | 733272 0 | 273 | 3344 99.57/99.69 c 80.2s | 11 | 566101 | 17444 | 733272 0 | 275 | 3587 102.57/102.61 c 83.1s | 11 | 589346 | 17644 | 733272 0 | 276 | 3598 104.67/104.70 c 85.2s | 11 | 667705 | 18344 | 733272 0 | 276 | 3598 106.77/106.82 c 87.3s | 11 | 670004 | 18744 | 733272 0 | 276 | 3598 109.18/109.26 c 89.7s | 11 | 670594 | 19244 | 733272 0 | 276 | 3598 111.38/111.49 c 92.0s | 11 | 671171 | 19744 | 733272 0 | 276 | 3598 113.48/113.58 c 94.0s | 11 | 686534 | 20144 | 733272 0 | 276 | 3598 115.67/115.71 c 96.2s | 11 | 710175 | 20644 | 733272 0 | 276 | 3598 118.67/118.73 c 99.2s | 11 | 736600 | 20944 | 733272 0 | 277 | 3830 121.37/121.40 c 101s | 11 | 745181 | 21044 | 733272 0 | 278 | 4062 124.47/124.55 c 105s | 11 | 758469 | 21444 | 733272 0 | 280 | 4084 127.68/127.74 c 108s | 11 | 814369 | 21744 | 733272 0 | 280 | 4084 130.07/130.16 c 110s | 11 | 831751 | 21944 | 733272 0 | 281 | 4256 132.17/132.26 c 112s | 11 | 847925 | 22544 | 733272 0 | 281 | 4256 134.28/134.35 c 114s | 11 | 848731 | 23244 | 733272 0 | 281 | 4256 136.38/136.46 c 116s | 11 | 849580 | 23844 | 733272 0 | 281 | 4256 138.77/138.83 c 119s | 11 | 850330 | 24444 | 733272 0 | 281 | 4256 140.78/140.89 c 121s | 11 | 851035 | 25044 | 733272 0 | 281 | 4256 142.87/142.93 c 123s | 11 | 851712 | 25644 | 733272 0 | 281 | 4256 143.47/143.59 c 124s | 12 | 851920 | 25819 | 806600 0 | 281 | 4256 145.67/145.74 c 126s | 12 | 866177 | 26019 | 806600 0 | 281 | 4256 147.87/147.93 c 128s | 12 | 944778 | 26519 | 806600 0 | 281 | 4256 149.97/150.03 c 130s | 12 | 980388 | 26719 | 806600 0 | 283 | 4295 152.17/152.23 c 132s | 12 | 988437 | 27119 | 806600 0 | 284 | 4306 154.37/154.46 c 134s | 12 | 991324 | 27619 | 806600 0 | 284 | 4306 156.87/156.96 c 137s | 12 | 992029 | 28119 | 806600 0 | 284 | 4306 159.27/159.34 c 139s | 12 | 992670 | 28619 | 806600 0 | 284 | 4306 161.27/161.36 c 141s | 12 | 993157 | 29019 | 806600 0 | 284 | 4306 163.57/163.69 c 144s | 12 | 993799 | 29519 | 806600 0 | 284 | 4306 165.77/165.86 c 146s | 12 | 994797 | 30019 | 806600 0 | 284 | 4306 168.06/168.18 c 148s | 12 | 995400 | 30519 | 806600 0 | 284 | 4306 170.26/170.35 c 150s | 12 | 995848 | 30919 | 806600 0 | 284 | 4306 172.77/172.82 c 153s | 12 | 996409 | 31419 | 806600 0 | 284 | 4306 175.06/175.11 c 155s | 12 | 997037 | 31919 | 806600 0 | 284 | 4306 177.26/177.38 c 157s | 12 | 997682 | 32419 | 806600 0 | 284 | 4306 179.46/179.54 c 160s | 12 | 998366 | 32819 | 806600 0 | 284 | 4306 181.66/181.72 c 162s | 12 | 999061 | 33319 | 806600 0 | 284 | 4306 183.67/183.78 c 164s | 12 | 999759 | 33719 | 806600 0 | 284 | 4306 186.06/186.11 c 166s | 12 | 1000464 | 34119 | 806600 0 | 284 | 4306 188.26/188.31 c 168s | 12 | 1000999 | 34519 | 806600 0 | 284 | 4306 190.37/190.44 c 170s | 12 | 1001709 | 34919 | 806600 0 | 284 | 4306 192.57/192.69 c 173s | 12 | 1002156 | 35319 | 806600 0 | 284 | 4306 194.77/194.82 c 175s | 12 | 1010070 | 35619 | 806600 0 | 284 | 4306 196.76/196.83 c 177s | 12 | 1013001 | 35919 | 806600 0 | 284 | 4306 198.86/198.96 c 179s | 12 | 1016512 | 36119 | 806600 0 | 286 | 4328 203.46/203.59 c 184s | 12 | 1037507 | 36419 | 806600 0 | 290 | 4372 205.76/205.83 c 186s | 12 | 1051800 | 36719 | 806600 0 | 290 | 4372 207.86/207.99 c 188s | 12 | 1052746 | 37419 | 806600 0 | 290 | 4372 209.95/210.03 c 190s | 12 | 1053533 | 38019 | 806600 0 | 290 | 4372 212.05/212.16 c 192s | 12 | 1054255 | 38619 | 887261 0 | 290 | 4372 212.75/212.84 c 193s | 13 | 1054522 | 38832 | 887261 0 | 290 | 4372 214.95/215.07 c 195s | 13 | 1061936 | 38932 | 887261 0 | 291 | 4383 217.35/217.49 c 197s | 13 | 1062406 | 39332 | 887261 0 | 291 | 4383 219.96/220.01 c 200s | 13 | 1062952 | 39732 | 887261 0 | 291 | 4383 222.35/222.45 c 202s | 13 | 1063569 | 40232 | 887261 0 | 291 | 4383 224.75/224.86 c 205s | 13 | 1064021 | 40632 | 887261 0 | 291 | 4383 227.15/227.27 c 207s | 13 | 1064503 | 41032 | 887261 0 | 291 | 4383 229.55/229.63 c 210s | 13 | 1064985 | 41432 | 887261 0 | 291 | 4383 231.75/231.83 c 212s | 13 | 1065523 | 41832 | 887261 0 | 291 | 4383 233.85/233.95 c 214s | 13 | 1066011 | 42232 | 887261 0 | 291 | 4383 235.85/235.97 c 216s | 13 | 1066355 | 42532 | 887261 0 | 291 | 4383 238.15/238.27 c 218s | 13 | 1066834 | 42932 | 887261 0 | 291 | 4383 240.45/240.54 c 221s | 13 | 1067337 | 43332 | 887261 0 | 291 | 4383 242.45/242.59 c 223s | 13 | 1067797 | 43732 | 887261 0 | 291 | 4383 244.65/244.75 c 225s | 13 | 1068292 | 44132 | 887261 0 | 291 | 4383 247.25/247.33 c 227s | 13 | 1068809 | 44532 | 887261 0 | 291 | 4383 249.25/249.39 c 229s | 13 | 1069145 | 44832 | 887261 0 | 291 | 4383 251.75/251.88 c 232s | 13 | 1069600 | 45232 | 887261 0 | 291 | 4383 253.85/253.95 c 234s | 13 | 1069928 | 45532 | 887261 0 | 291 | 4383 256.05/256.14 c 236s | 13 | 1070257 | 45832 | 887261 0 | 291 | 4383 258.85/258.90 c 239s | 13 | 1070719 | 46232 | 887261 0 | 291 | 4383 261.04/261.13 c 241s | 13 | 1071066 | 46532 | 887261 0 | 291 | 4383 263.25/263.32 c 243s | 13 | 1071405 | 46832 | 887261 0 | 291 | 4383 265.45/265.51 c 245s | 13 | 1071831 | 47132 | 887261 0 | 291 | 4383 267.75/267.87 c 248s | 13 | 1072152 | 47432 | 887261 0 | 291 | 4383 269.75/269.89 c 250s | 13 | 1072576 | 47732 | 887261 0 | 291 | 4383 271.85/271.92 c 252s | 13 | 1072961 | 48032 | 887261 0 | 291 | 4383 273.86/273.94 c 254s | 13 | 1073193 | 48232 | 887261 0 | 291 | 4383 276.25/276.32 c 256s | 13 | 1073502 | 48532 | 887261 0 | 291 | 4383 278.35/278.47 c 258s | 13 | 1073890 | 48832 | 887261 0 | 291 | 4383 280.74/280.89 c 261s | 13 | 1074413 | 49232 | 887261 0 | 291 | 4383 283.14/283.27 c 263s | 13 | 1074876 | 49632 | 887261 0 | 291 | 4383 285.54/285.69 c 266s | 13 | 1075345 | 50032 | 887261 0 | 291 | 4383 287.84/287.90 c 268s | 13 | 1075794 | 50432 | 887261 0 | 291 | 4383 289.84/289.90 c 270s | 13 | 1076117 | 50732 | 887261 0 | 291 | 4383 291.94/292.07 c 272s | 13 | 1076485 | 51032 | 887261 0 | 291 | 4383 294.45/294.56 c 275s | 13 | 1076803 | 51332 | 887261 0 | 291 | 4383 296.95/297.10 c 277s | 13 | 1077220 | 51632 | 887261 0 | 291 | 4383 299.34/299.40 c 279s | 13 | 1077452 | 51832 | 887261 0 | 291 | 4383 301.64/301.71 c 282s | 13 | 1077809 | 52132 | 887261 0 | 291 | 4383 303.94/304.04 c 284s | 13 | 1078147 | 52432 | 887261 0 | 291 | 4383 306.24/306.36 c 286s | 13 | 1078487 | 52732 | 887261 0 | 291 | 4383 308.54/308.61 c 289s | 13 | 1078852 | 53032 | 887261 0 | 291 | 4383 310.54/310.66 c 291s | 13 | 1079196 | 53332 | 887261 0 | 291 | 4383 312.84/312.93 c 293s | 13 | 1079527 | 53632 | 887261 0 | 291 | 4383 314.94/315.04 c 295s | 13 | 1079869 | 53932 | 887261 0 | 291 | 4383 317.04/317.11 c 297s | 13 | 1080216 | 54232 | 887261 0 | 291 | 4383 319.14/319.29 c 299s | 13 | 1080572 | 54532 | 887261 0 | 291 | 4383 321.34/321.48 c 301s | 13 | 1080896 | 54832 | 887261 0 | 291 | 4383 323.64/323.73 c 304s | 13 | 1081246 | 55132 | 887261 0 | 291 | 4383 326.04/326.10 c 306s | 13 | 1081575 | 55432 | 887261 0 | 291 | 4383 328.44/328.54 c 309s | 13 | 1081907 | 55732 | 887261 0 | 291 | 4383 330.84/330.95 c 311s | 13 | 1082256 | 56032 | 887261 0 | 291 | 4383 333.14/333.29 c 313s | 13 | 1082593 | 56332 | 887261 0 | 291 | 4383 335.54/335.69 c 316s | 13 | 1082926 | 56632 | 887261 0 | 291 | 4383 338.04/338.15 c 318s | 13 | 1083247 | 56932 | 887261 0 | 291 | 4383 340.84/340.91 c 321s | 13 | 1083595 | 57232 | 887261 0 | 291 | 4383 343.54/343.68 c 324s | 13 | 1083956 | 57532 | 887261 0 | 291 | 4383 346.04/346.16 c 326s | 13 | 1084287 | 57832 | 887261 0 | 291 | 4383 348.44/348.55 c 329s | 13 | 1084622 | 58132 | 975988 0 | 291 | 4383 350.24/350.30 c 330s | 14 | 1084872 | 58352 | 975988 0 | 291 | 4383 352.93/353.10 c 333s | 14 | 1085266 | 58552 | 975988 0 | 291 | 4383 355.44/355.58 c 336s | 14 | 1090056 | 58852 | 975988 0 | 291 | 4383 357.83/357.98 c 338s | 14 | 1136059 | 58952 | 975988 0 | 291 | 4383 360.74/360.83 c 341s | 14 | 1165640 | 59052 | 975988 0 | 292 | 4394 363.13/363.28 c 343s | 14 | 1166105 | 59452 | 975988 0 | 292 | 4394 365.24/365.37 c 345s | 14 | 1166574 | 59852 | 975988 0 | 292 | 4394 367.44/367.52 c 347s | 14 | 1167036 | 60252 | 975988 0 | 292 | 4394 369.54/369.69 c 350s | 14 | 1167470 | 60652 | 975988 0 | 292 | 4394 371.74/371.82 c 352s | 14 | 1167839 | 60952 | 975988 0 | 292 | 4394 374.04/374.15 c 354s | 14 | 1168302 | 61352 | 975988 0 | 292 | 4394 376.24/376.35 c 356s | 14 | 1168761 | 61752 | 975988 0 | 292 | 4394 378.23/378.36 c 358s | 14 | 1169186 | 62152 | 975988 0 | 292 | 4394 380.43/380.55 c 361s | 14 | 1169656 | 62552 | 975988 0 | 292 | 4394 382.53/382.69 c 363s | 14 | 1170003 | 62852 | 975988 0 | 292 | 4394 384.83/384.90 c 365s | 14 | 1170355 | 63152 | 975988 0 | 292 | 4394 386.83/386.99 c 367s | 14 | 1170700 | 63452 | 975988 0 | 292 | 4394 389.03/389.11 c 369s | 14 | 1171022 | 63752 | 975988 0 | 292 | 4394 391.54/391.62 c 372s | 14 | 1171523 | 64152 | 975988 0 | 292 | 4394 394.03/394.18 c 374s | 14 | 1172020 | 64552 | 975988 0 | 292 | 4394 396.23/396.38 c 376s | 14 | 1172472 | 64952 | 975988 0 | 292 | 4394 398.63/398.71 c 379s | 14 | 1172915 | 65352 | 975988 0 | 292 | 4394 400.63/400.79 c 381s | 14 | 1173368 | 65752 | 975988 0 | 292 | 4394 402.83/402.93 c 383s | 14 | 1173918 | 66252 | 975988 0 | 292 | 4394 405.23/405.34 c 385s | 14 | 1174457 | 66752 | 975988 0 | 292 | 4394 407.93/408.02 c 388s | 14 | 1174907 | 67152 | 975988 0 | 292 | 4394 409.93/410.05 c 390s | 14 | 1175256 | 67452 | 975988 0 | 292 | 4394 412.33/412.50 c 392s | 14 | 1175737 | 67852 | 975988 0 | 292 | 4394 414.73/414.85 c 395s | 14 | 1176178 | 68252 | 975988 0 | 292 | 4394 416.83/416.96 c 397s | 14 | 1176500 | 68552 | 975988 0 | 292 | 4394 419.03/419.16 c 399s | 14 | 1176824 | 68852 | 975988 0 | 292 | 4394 421.43/421.58 c 402s | 14 | 1177280 | 69252 | 975988 0 | 292 | 4394 423.82/423.92 c 404s | 14 | 1177765 | 69652 | 975988 0 | 292 | 4394 426.32/426.45 c 406s | 14 | 1178190 | 70052 | 975988 0 | 292 | 4394 428.52/428.65 c 409s | 14 | 1178569 | 70352 | 975988 0 | 292 | 4394 430.52/430.69 c 411s | 14 | 1179007 | 70752 | 975988 0 | 292 | 4394 433.02/433.11 c 413s | 14 | 1179458 | 71152 | 975988 0 | 292 | 4394 435.53/435.65 c 416s | 14 | 1180035 | 71652 | 975988 0 | 292 | 4394 437.73/437.86 c 418s | 14 | 1180496 | 72052 | 975988 0 | 292 | 4394 440.12/440.26 c 420s | 14 | 1180952 | 72452 | 975988 0 | 292 | 4394 442.42/442.53 c 422s | 14 | 1181420 | 72852 | 975988 0 | 292 | 4394 444.62/444.78 c 425s | 14 | 1181899 | 73252 | 975988 0 | 292 | 4394 447.12/447.20 c 427s | 14 | 1182383 | 73652 | 975988 0 | 292 | 4394 449.62/449.74 c 430s | 14 | 1182816 | 74052 | 975988 0 | 292 | 4394 451.72/451.86 c 432s | 14 | 1183173 | 74352 | 975988 0 | 292 | 4394 453.72/453.88 c 434s | 14 | 1183513 | 74652 | 975988 0 | 292 | 4394 455.92/456.06 c 436s | 14 | 1183869 | 74952 | 975988 0 | 292 | 4394 458.32/458.49 c 438s | 14 | 1184212 | 75252 | 975988 0 | 292 | 4394 460.42/460.51 c 440s | 14 | 1184534 | 75552 | 975988 0 | 292 | 4394 462.61/462.74 c 443s | 14 | 1184886 | 75852 | 975988 0 | 292 | 4394 465.22/465.38 c 445s | 14 | 1185352 | 76252 | 975988 0 | 292 | 4394 467.71/467.86 c 448s | 14 | 1185684 | 76552 | 975988 0 | 292 | 4394 470.82/470.95 c 451s | 14 | 1194163 | 76952 | 975988 0 | 292 | 4394 472.92/473.02 c 453s | 14 | 1226689 | 77052 | 975988 0 | 292 | 4394 475.81/475.94 c 456s | 14 | 1260376 | 77252 | 975988 0 | 292 | 4394 479.11/479.24 c 459s | 14 | 1288794 | 77552 | 975988 0 | 292 | 4394 483.02/483.10 c 463s | 14 | 1310012 | 77752 | 975988 0 | 293 | 4626 486.13/486.29 c 466s | 14 | 1317238 | 77852 | 975988 0 | 295 | 4648 488.72/488.82 c 469s | 14 | 1317583 | 78152 | 975988 0 | 295 | 4648 491.42/491.58 c 472s | 14 | 1318050 | 78552 | 975988 0 | 295 | 4648 493.62/493.77 c 474s | 14 | 1318387 | 78852 | 975988 0 | 295 | 4648 495.92/496.07 c 476s | 14 | 1318810 | 79152 | 975988 0 | 295 | 4648 498.32/498.41 c 478s | 14 | 1319147 | 79452 | 975988 0 | 295 | 4648 500.92/501.03 c 481s | 14 | 1319631 | 79852 | 975988 0 | 295 | 4648 503.02/503.15 c 483s | 14 | 1319992 | 80152 | 975988 0 | 295 | 4648 505.02/505.16 c 485s | 14 | 1320333 | 80452 | 975988 0 | 295 | 4648 507.12/507.21 c 487s | 14 | 1320681 | 80752 | 975988 0 | 295 | 4648 509.61/509.75 c 490s | 14 | 1321052 | 81052 | 975988 0 | 295 | 4648 512.01/512.15 c 492s | 14 | 1321402 | 81352 | 975988 0 | 295 | 4648 514.82/514.98 c 495s | 14 | 1321738 | 81652 | 975988 0 | 295 | 4648 517.02/517.18 c 497s | 14 | 1322060 | 81952 | 975988 0 | 295 | 4648 519.41/519.52 c 499s | 14 | 1322410 | 82252 | 975988 0 | 295 | 4648 521.51/521.69 c 502s | 14 | 1322744 | 82552 | 975988 0 | 295 | 4648 524.11/524.24 c 504s | 14 | 1323092 | 82852 | 975988 0 | 295 | 4648 526.71/526.89 c 507s | 14 | 1323552 | 83252 | 975988 0 | 295 | 4648 529.02/529.17 c 509s | 14 | 1323929 | 83552 | 975988 0 | 295 | 4648 531.61/531.79 c 512s | 14 | 1324298 | 83852 | 975988 0 | 295 | 4648 533.91/534.00 c 514s | 14 | 1324640 | 84152 | 975988 0 | 295 | 4648 536.41/536.53 c 516s | 14 | 1325014 | 84452 | 975988 0 | 295 | 4648 538.51/538.64 c 519s | 14 | 1325376 | 84752 | 975988 0 | 295 | 4648 540.91/541.09 c 521s | 14 | 1325830 | 85152 | 975988 0 | 295 | 4648 543.51/543.61 c 524s | 14 | 1326308 | 85552 | 975988 0 | 295 | 4648 545.90/546.05 c 526s | 14 | 1326774 | 85952 | 975988 0 | 295 | 4648 547.90/548.06 c 528s | 14 | 1327116 | 86252 | 975988 0 | 295 | 4648 550.40/550.50 c 530s | 14 | 1327472 | 86552 | 975988 0 | 295 | 4648 553.10/553.24 c 533s | 14 | 1327831 | 86852 | 975988 0 | 295 | 4648 555.30/555.50 c 535s | 14 | 1328166 | 87152 | 1073587 0 | 295 | 4648 557.80/557.93 c 538s | 14 | 1328647 | 87552 | 1073587 0 | 295 | 4648 558.30/558.44 c 538s | 15 | 1328740 | 87632 | 1073587 0 | 295 | 4648 563.90/564.06 c 544s | 15 | 1390949 | 87732 | 1073587 0 | 295 | 4648 569.20/569.33 c 549s | 15 | 1445569 | 87832 | 1073587 0 | 295 | 4648 572.21/572.34 c 552s | 15 | 1463195 | 87932 | 1073587 0 | 295 | 4648 575.21/575.37 c 555s | 15 | 1483701 | 88132 | 1073587 0 | 295 | 4648 577.30/577.44 c 557s | 15 | 1551833 | 88532 | 1073587 0 | 295 | 4648 579.80/579.97 c 560s | 15 | 1594042 | 89132 | 1073587 0 | 295 | 4648 582.30/582.45 c 562s | 15 | 1594539 | 89532 | 1073587 0 | 295 | 4648 584.70/584.85 c 565s | 15 | 1595006 | 89932 | 1073587 0 | 295 | 4648 586.70/586.86 c 567s | 15 | 1595400 | 90232 | 1073587 0 | 295 | 4648 589.40/589.52 c 569s | 15 | 1595898 | 90632 | 1073587 0 | 295 | 4648 591.50/591.61 c 572s | 15 | 1596266 | 90932 | 1073587 0 | 295 | 4648 593.91/594.06 c 574s | 15 | 1596815 | 91332 | 1073587 0 | 295 | 4648 596.00/596.18 c 576s | 15 | 1597253 | 91632 | 1073587 0 | 295 | 4648 598.60/598.78 c 579s | 15 | 1597772 | 92032 | 1073587 0 | 295 | 4648 601.10/601.25 c 581s | 15 | 1598254 | 92432 | 1073587 0 | 295 | 4648 603.60/603.79 c 584s | 15 | 1598805 | 92832 | 1073587 0 | 295 | 4648 605.90/606.03 c 586s | 15 | 1599174 | 93132 | 1073587 0 | 295 | 4648 607.99/608.19 c 588s | 15 | 1599505 | 93432 | 1073587 0 | 295 | 4648 610.19/610.37 c 590s | 15 | 1599863 | 93732 | 1073587 0 | 295 | 4648 612.29/612.49 c 592s | 15 | 1600175 | 94032 | 1073587 0 | 295 | 4648 614.99/615.13 c 595s | 15 | 1600659 | 94432 | 1073587 0 | 295 | 4648 617.00/617.14 c 597s | 15 | 1601031 | 94732 | 1073587 0 | 295 | 4648 619.49/619.61 c 600s | 15 | 1601492 | 95132 | 1073587 0 | 295 | 4648 621.99/622.11 c 602s | 15 | 1601987 | 95532 | 1073587 0 | 295 | 4648 623.99/624.14 c 604s | 15 | 1602348 | 95832 | 1073587 0 | 295 | 4648 626.59/626.76 c 607s | 15 | 1602848 | 96232 | 1073587 0 | 295 | 4648 628.59/628.78 c 609s | 15 | 1603199 | 96532 | 1073587 0 | 295 | 4648 630.99/631.10 c 611s | 15 | 1603666 | 96932 | 1073587 0 | 295 | 4648 633.50/633.63 c 614s | 15 | 1604137 | 97332 | 1073587 0 | 295 | 4648 636.09/636.29 c 616s | 15 | 1604625 | 97732 | 1073587 0 | 295 | 4648 638.69/638.82 c 619s | 15 | 1605115 | 98132 | 1073587 0 | 295 | 4648 641.29/641.49 c 621s | 15 | 1605601 | 98532 | 1073587 0 | 295 | 4648 643.59/643.75 c 624s | 15 | 1606062 | 98932 | 1073587 0 | 295 | 4648 646.09/646.25 c 626s | 15 | 1606605 | 99332 | 1073587 0 | 295 | 4648 648.59/648.75 c 629s | 15 | 1607085 | 99732 | 1073587 0 | 295 | 4648 651.29/651.40 c 631s | 15 | 1607566 | 100132 | 1073587 0 | 295 | 4648 653.59/653.70 c 634s | 15 | 1608014 | 100532 | 1073587 0 | 295 | 4648 655.89/656.09 c 636s | 15 | 1608482 | 100932 | 1073587 0 | 295 | 4648 658.09/658.25 c 638s | 15 | 1609073 | 101332 | 1073587 0 | 295 | 4648 660.59/660.74 c 641s | 15 | 1609558 | 101732 | 1073587 0 | 295 | 4648 662.69/662.85 c 643s | 15 | 1609902 | 102032 | 1073587 0 | 295 | 4648 665.09/665.20 c 645s | 15 | 1610245 | 102332 | 1073587 0 | 295 | 4648 667.39/667.52 c 647s | 15 | 1610618 | 102632 | 1073587 0 | 295 | 4648 669.80/669.97 c 650s | 15 | 1611114 | 103032 | 1073587 0 | 295 | 4648 672.49/672.64 c 653s | 15 | 1611494 | 103332 | 1073587 0 | 295 | 4648 674.79/674.94 c 655s | 15 | 1611833 | 103632 | 1073587 0 | 295 | 4648 676.79/676.97 c 657s | 15 | 1612167 | 103932 | 1073587 0 | 295 | 4648 678.88/679.08 c 659s | 15 | 1612494 | 104232 | 1073587 0 | 295 | 4648 680.89/681.08 c 661s | 15 | 1612858 | 104532 | 1073587 0 | 295 | 4648 683.58/683.76 c 664s | 15 | 1613221 | 104832 | 1073587 0 | 295 | 4648 686.48/686.62 c 667s | 15 | 1613485 | 105032 | 1073587 0 | 295 | 4648 688.68/688.87 c 669s | 15 | 1613819 | 105332 | 1073587 0 | 295 | 4648 690.98/691.12 c 671s | 15 | 1614165 | 105632 | 1073587 0 | 295 | 4648 693.18/693.33 c 673s | 15 | 1614514 | 105932 | 1073587 0 | 295 | 4648 695.58/695.77 c 676s | 15 | 1614891 | 106232 | 1073587 0 | 295 | 4648 701.58/701.70 c 682s | 15 | 1626212 | 106532 | 1073587 0 | 298 | 4681 703.99/704.13 c 684s | 15 | 1648287 | 106932 | 1073587 0 | 298 | 4681 706.58/706.70 c 687s | 15 | 1681950 | 107132 | 1073587 0 | 298 | 4681 708.78/708.90 c 689s | 15 | 1722371 | 107432 | 1073587 0 | 298 | 4681 710.88/711.05 c 691s | 15 | 1749996 | 107932 | 1073587 0 | 298 | 4681 713.48/713.69 c 694s | 15 | 1754152 | 108232 | 1073587 0 | 298 | 4681 715.78/715.96 c 696s | 15 | 1755122 | 108532 | 1073587 0 | 298 | 4681 718.28/718.48 c 698s | 15 | 1755581 | 108832 | 1073587 0 | 298 | 4681 720.78/720.96 c 701s | 15 | 1756015 | 109132 | 1073587 0 | 298 | 4681 723.68/723.83 c 704s | 15 | 1756469 | 109432 | 1073587 0 | 298 | 4681 726.27/726.40 c 706s | 15 | 1756957 | 109732 | 1073587 0 | 298 | 4681 728.37/728.59 c 709s | 15 | 1757262 | 109932 | 1073587 0 | 298 | 4681 730.97/731.16 c 711s | 15 | 1757690 | 110232 | 1073587 0 | 298 | 4681 733.58/733.74 c 714s | 15 | 1757945 | 110432 | 1073587 0 | 298 | 4681 736.57/736.79 c 717s | 15 | 1758304 | 110732 | 1073587 0 | 298 | 4681 738.77/738.91 c 719s | 15 | 1758558 | 110932 | 1073587 0 | 298 | 4681 740.98/741.18 c 721s | 15 | 1758787 | 111132 | 1073587 0 | 298 | 4681 743.48/743.70 c 724s | 15 | 1774634 | 111432 | 1073587 0 | 298 | 4681 747.68/747.87 c 728s | 15 | 1798038 | 111632 | 1073587 0 | 298 | 4681 750.48/750.61 c 731s | 15 | 1812291 | 112032 | 1073587 0 | 298 | 4681 752.97/753.19 c 733s | 15 | 1812642 | 112332 | 1073587 0 | 298 | 4681 755.68/755.84 c 736s | 15 | 1813044 | 112632 | 1073587 0 | 298 | 4681 758.27/758.41 c 738s | 15 | 1813389 | 112932 | 1073587 0 | 298 | 4681 760.87/761.09 c 741s | 15 | 1813764 | 113232 | 1073587 0 | 298 | 4681 763.38/763.56 c 744s | 15 | 1814085 | 113532 | 1073587 0 | 298 | 4681 766.17/766.31 c 746s | 15 | 1814437 | 113832 | 1073587 0 | 298 | 4681 768.67/768.82 c 749s | 15 | 1814795 | 114132 | 1073587 0 | 298 | 4681 771.27/771.42 c 751s | 15 | 1815129 | 114432 | 1073587 0 | 298 | 4681 773.77/773.91 c 754s | 15 | 1815362 | 114632 | 1073587 0 | 298 | 4681 776.06/776.27 c 756s | 15 | 1815722 | 114932 | 1073587 0 | 298 | 4681 778.16/778.32 c 758s | 15 | 1816070 | 115232 | 1073587 0 | 298 | 4681 780.26/780.47 c 760s | 15 | 1816412 | 115532 | 1073587 0 | 298 | 4681 782.46/782.60 c 763s | 15 | 1816757 | 115832 | 1073587 0 | 298 | 4681 784.56/784.79 c 765s | 15 | 1817116 | 116132 | 1073587 0 | 298 | 4681 786.76/786.96 c 767s | 15 | 1817457 | 116432 | 1073587 0 | 298 | 4681 788.96/789.12 c 769s | 15 | 1817823 | 116732 | 1073587 0 | 298 | 4681 791.06/791.29 c 771s | 15 | 1818149 | 117032 | 1073587 0 | 298 | 4681 793.46/793.64 c 774s | 15 | 1818492 | 117332 | 1073587 0 | 298 | 4681 795.86/796.01 c 776s | 15 | 1818829 | 117632 | 1073587 0 | 298 | 4681 797.96/798.13 c 778s | 15 | 1819184 | 117932 | 1073587 0 | 298 | 4681 800.16/800.32 c 780s | 15 | 1819543 | 118232 | 1073587 0 | 298 | 4681 802.36/802.54 c 783s | 15 | 1819906 | 118532 | 1073587 0 | 298 | 4681 804.56/804.77 c 785s | 15 | 1820256 | 118832 | 1073587 0 | 298 | 4681 806.86/807.06 c 787s | 15 | 1820651 | 119132 | 1073587 0 | 298 | 4681 809.26/809.47 c 789s | 15 | 1820995 | 119432 | 1073587 0 | 298 | 4681 811.36/811.54 c 792s | 15 | 1821367 | 119732 | 1073587 0 | 298 | 4681 813.36/813.58 c 794s | 15 | 1821744 | 120032 | 1073587 0 | 298 | 4681 815.86/816.02 c 796s | 15 | 1822109 | 120332 | 1073587 0 | 298 | 4681 818.06/818.28 c 798s | 15 | 1822445 | 120632 | 1073587 0 | 298 | 4681 820.25/820.45 c 800s | 15 | 1822788 | 120932 | 1073587 0 | 298 | 4681 822.76/822.95 c 803s | 15 | 1823160 | 121232 | 1073587 0 | 298 | 4681 825.45/825.60 c 806s | 15 | 1823546 | 121532 | 1073587 0 | 298 | 4681 827.85/828.03 c 808s | 15 | 1823936 | 121832 | 1073587 0 | 298 | 4681 830.05/830.24 c 810s | 15 | 1824312 | 122132 | 1073587 0 | 298 | 4681 832.25/832.45 c 812s | 15 | 1824673 | 122432 | 1073587 0 | 298 | 4681 834.85/835.01 c 815s | 15 | 1825035 | 122732 | 1073587 0 | 298 | 4681 837.45/837.62 c 818s | 15 | 1825367 | 123032 | 1073587 0 | 298 | 4681 839.75/839.90 c 820s | 15 | 1825730 | 123332 | 1073587 0 | 298 | 4681 842.05/842.21 c 822s | 15 | 1826076 | 123632 | 1073587 0 | 298 | 4681 844.76/844.92 c 825s | 15 | 1826420 | 123932 | 1073587 0 | 298 | 4681 847.25/847.42 c 827s | 15 | 1826765 | 124232 | 1073587 0 | 298 | 4681 849.75/849.98 c 830s | 15 | 1827109 | 124532 | 1073587 0 | 298 | 4681 852.45/852.66 c 833s | 15 | 1827436 | 124832 | 1073587 0 | 298 | 4681 854.94/855.10 c 835s | 15 | 1827792 | 125132 | 1073587 0 | 298 | 4681 857.24/857.41 c 837s | 15 | 1828146 | 125432 | 1073587 0 | 298 | 4681 859.74/859.90 c 840s | 15 | 1828506 | 125732 | 1073587 0 | 298 | 4681 862.54/862.71 c 843s | 15 | 1828858 | 126032 | 1073587 0 | 298 | 4681 864.94/865.14 c 845s | 15 | 1829211 | 126332 | 1073587 0 | 298 | 4681 867.14/867.35 c 847s | 15 | 1829550 | 126632 | 1073587 0 | 298 | 4681 869.23/869.48 c 849s | 15 | 1829897 | 126932 | 1073587 0 | 298 | 4681 871.73/871.92 c 852s | 15 | 1830254 | 127232 | 1073587 0 | 298 | 4681 874.34/874.50 c 854s | 15 | 1830608 | 127532 | 1073587 0 | 298 | 4681 876.64/876.88 c 857s | 15 | 1830973 | 127832 | 1073587 0 | 298 | 4681 879.03/879.22 c 859s | 15 | 1831320 | 128132 | 1073587 0 | 298 | 4681 881.13/881.39 c 861s | 15 | 1831653 | 128432 | 1073587 0 | 298 | 4681 883.53/883.79 c 864s | 15 | 1832018 | 128732 | 1073587 0 | 298 | 4681 886.13/886.33 c 866s | 15 | 1832331 | 129032 | 1073587 0 | 298 | 4681 888.53/888.78 c 869s | 15 | 1832677 | 129332 | 1073587 0 | 298 | 4681 891.23/891.46 c 871s | 15 | 1833029 | 129632 | 1073587 0 | 298 | 4681 893.83/894.08 c 874s | 15 | 1833370 | 129932 | 1073587 0 | 298 | 4681 896.33/896.60 c 877s | 15 | 1833719 | 130232 | 1073587 0 | 298 | 4681 898.92/899.11 c 879s | 15 | 1834061 | 130532 | 1073587 0 | 298 | 4681 901.32/901.50 c 881s | 15 | 1834401 | 130832 | 1180946 0 | 298 | 4681 903.62/903.80 c 884s | 15 | 1834779 | 131132 | 1180946 0 | 298 | 4681 905.92/906.17 c 886s | 15 | 1835116 | 131432 | 1180946 0 | 298 | 4681 906.72/906.94 c 887s | 16 | 1835259 | 131552 | 1180946 0 | 298 | 4681 912.12/912.34 c 892s | 16 | 1881359 | 131652 | 1180946 0 | 299 | 4901 914.32/914.53 c 894s | 16 | 1985683 | 132152 | 1180946 0 | 299 | 4901 916.42/916.61 c 897s | 16 | 2031537 | 132752 | 1180946 0 | 299 | 4901 918.43/918.63 c 899s | 16 | 2072036 | 133052 | 1180946 0 | 299 | 4901 920.82/921.07 c 901s | 16 | 2108134 | 133552 | 1180946 0 | 299 | 4901 923.22/923.49 c 903s | 16 | 2113597 | 133852 | 1180946 0 | 299 | 4901 925.72/925.91 c 906s | 16 | 2114115 | 134252 | 1180946 0 | 299 | 4901 928.12/928.30 c 908s | 16 | 2114584 | 134652 | 1180946 0 | 299 | 4901 930.43/930.63 c 911s | 16 | 2115070 | 135052 | 1180946 0 | 299 | 4901 932.52/932.73 c 913s | 16 | 2115494 | 135452 | 1180946 0 | 299 | 4901 934.93/935.13 c 915s | 16 | 2115971 | 135852 | 1180946 0 | 299 | 4901 936.92/937.15 c 917s | 16 | 2116318 | 136152 | 1180946 0 | 299 | 4901 939.52/939.71 c 920s | 16 | 2116784 | 136552 | 1180946 0 | 299 | 4901 942.02/942.27 c 922s | 16 | 2117230 | 136952 | 1180946 0 | 299 | 4901 944.62/944.87 c 925s | 16 | 2117711 | 137352 | 1180946 0 | 299 | 4901 947.12/947.36 c 927s | 16 | 2118194 | 137752 | 1180946 0 | 299 | 4901 949.32/949.55 c 930s | 16 | 2118438 | 137952 | 1180946 0 | 299 | 4901 951.72/951.95 c 932s | 16 | 2118695 | 138152 | 1180946 0 | 299 | 4901 953.92/954.10 c 934s | 16 | 2118950 | 138352 | 1180946 0 | 299 | 4901 956.02/956.22 c 936s | 16 | 2119184 | 138552 | 1180946 0 | 299 | 4901 958.12/958.30 c 938s | 16 | 2119471 | 138752 | 1180946 0 | 299 | 4901 960.32/960.50 c 940s | 16 | 2119848 | 139052 | 1180946 0 | 299 | 4901 963.12/963.31 c 943s | 16 | 2120240 | 139352 | 1180946 0 | 299 | 4901 965.42/965.64 c 946s | 16 | 2120583 | 139652 | 1180946 0 | 299 | 4901 967.82/968.06 c 948s | 16 | 2120942 | 139952 | 1180946 0 | 299 | 4901 970.02/970.26 c 950s | 16 | 2121263 | 140252 | 1180946 0 | 299 | 4901 972.51/972.78 c 953s | 16 | 2121594 | 140552 | 1180946 0 | 299 | 4901 974.52/974.78 c 955s | 16 | 2121819 | 140752 | 1180946 0 | 299 | 4901 977.31/977.58 c 958s | 16 | 2122159 | 141052 | 1180946 0 | 299 | 4901 979.81/980.05 c 960s | 16 | 2122489 | 141352 | 1180946 0 | 299 | 4901 982.41/982.67 c 963s | 16 | 2122846 | 141652 | 1180946 0 | 299 | 4901 985.21/985.41 c 965s | 16 | 2123181 | 141952 | 1180946 0 | 299 | 4901 988.11/988.32 c 968s | 16 | 2123529 | 142252 | 1180946 0 | 299 | 4901 990.71/990.91 c 971s | 16 | 2123841 | 142552 | 1180946 0 | 299 | 4901 993.61/993.84 c 974s | 16 | 2124239 | 142852 | 1180946 0 | 299 | 4901 995.90/996.10 c 976s | 16 | 2124572 | 143152 | 1180946 0 | 299 | 4901 998.30/998.54 c 979s | 16 | 2125007 | 143552 | 1180946 0 | 299 | 4901 1000.60/1000.84 c 981s | 16 | 2125434 | 143952 | 1180946 0 | 299 | 4901 1003.20/1003.49 c 983s | 16 | 2125792 | 144252 | 1180946 0 | 299 | 4901 1006.11/1006.37 c 986s | 16 | 2126189 | 144552 | 1180946 0 | 299 | 4901 1008.91/1009.17 c 989s | 16 | 2126544 | 144852 | 1180946 0 | 299 | 4901 1011.21/1011.45 c 991s | 16 | 2126958 | 145152 | 1180946 0 | 299 | 4901 1013.31/1013.55 c 994s | 16 | 2127239 | 145352 | 1180946 0 | 299 | 4901 1015.40/1015.67 c 996s | 16 | 2127608 | 145552 | 1180946 0 | 299 | 4901 1018.10/1018.34 c 998s | 16 | 2127871 | 145752 | 1180946 0 | 299 | 4901 1020.40/1020.67 c 1001s | 16 | 2128107 | 145952 | 1180946 0 | 299 | 4901 1022.81/1023.07 c 1003s | 16 | 2128361 | 146152 | 1180946 0 | 299 | 4901 1025.30/1025.52 c 1005s | 16 | 2128607 | 146352 | 1180946 0 | 299 | 4901 1027.50/1027.70 c 1008s | 16 | 2143950 | 146552 | 1180946 0 | 299 | 4901 1030.61/1030.86 c 1011s | 16 | 2154732 | 147052 | 1180946 0 | 299 | 4901 1033.10/1033.31 c 1013s | 16 | 2155081 | 147352 | 1180946 0 | 299 | 4901 1035.70/1035.91 c 1016s | 16 | 2155326 | 147552 | 1180946 0 | 299 | 4901 1038.50/1038.71 c 1019s | 16 | 2155559 | 147752 | 1180946 0 | 299 | 4901 1041.51/1041.78 c 1022s | 16 | 2155834 | 147952 | 1180946 0 | 299 | 4901 1044.50/1044.73 c 1025s | 16 | 2156050 | 148152 | 1180946 0 | 299 | 4901 1047.40/1047.63 c 1028s | 16 | 2156272 | 148352 | 1180946 0 | 299 | 4901 1049.70/1049.96 c 1030s | 16 | 2156495 | 148552 | 1180946 0 | 299 | 4901 1052.10/1052.31 c 1032s | 16 | 2156732 | 148752 | 1180946 0 | 299 | 4901 1054.99/1055.23 c 1035s | 16 | 2156957 | 148952 | 1180946 0 | 299 | 4901 1057.89/1058.12 c 1038s | 16 | 2157191 | 149152 | 1180946 0 | 299 | 4901 1061.30/1061.53 c 1041s | 16 | 2157411 | 149352 | 1180946 0 | 299 | 4901 1063.70/1063.94 c 1044s | 16 | 2157539 | 149452 | 1180946 0 | 299 | 4901 1066.10/1066.38 c 1046s | 16 | 2157757 | 149652 | 1180946 0 | 299 | 4901 1068.80/1069.05 c 1049s | 16 | 2158117 | 149952 | 1180946 0 | 299 | 4901 1071.40/1071.65 c 1052s | 16 | 2158566 | 150352 | 1180946 0 | 299 | 4901 1073.89/1074.13 c 1054s | 16 | 2158938 | 150652 | 1180946 0 | 299 | 4901 1075.99/1076.25 c 1056s | 16 | 2159183 | 150852 | 1180946 0 | 299 | 4901 1078.29/1078.50 c 1058s | 16 | 2159414 | 151052 | 1180946 0 | 299 | 4901 1080.39/1080.66 c 1061s | 16 | 2159663 | 151252 | 1180946 0 | 299 | 4901 1082.69/1082.91 c 1063s | 16 | 2159896 | 151452 | 1180946 0 | 299 | 4901 1084.99/1085.29 c 1065s | 16 | 2160113 | 151652 | 1180946 0 | 299 | 4901 1087.70/1087.96 c 1068s | 16 | 2160355 | 151852 | 1180946 0 | 299 | 4901 1090.39/1090.67 c 1071s | 16 | 2160580 | 152052 | 1180946 0 | 299 | 4901 1092.89/1093.14 c 1073s | 16 | 2160800 | 152252 | 1180946 0 | 299 | 4901 1095.19/1095.42 c 1075s | 16 | 2161054 | 152452 | 1180946 0 | 299 | 4901 1097.60/1097.85 c 1078s | 16 | 2161309 | 152652 | 1180946 0 | 299 | 4901 1099.99/1100.25 c 1080s | 16 | 2161647 | 152952 | 1180946 0 | 299 | 4901 1102.89/1103.15 c 1083s | 16 | 2161995 | 153252 | 1180946 0 | 299 | 4901 1105.49/1105.73 c 1086s | 16 | 2162227 | 153452 | 1180946 0 | 299 | 4901 1107.89/1108.11 c 1088s | 16 | 2162468 | 153652 | 1180946 0 | 299 | 4901 1110.29/1110.53 c 1090s | 16 | 2162860 | 153852 | 1180946 0 | 299 | 4901 1112.29/1112.57 c 1093s | 16 | 2163117 | 154052 | 1180946 0 | 299 | 4901 1115.29/1115.59 c 1096s | 16 | 2163678 | 154352 | 1180946 0 | 299 | 4901 1117.59/1117.86 c 1098s | 16 | 2163979 | 154552 | 1180946 0 | 299 | 4901 1119.98/1120.29 c 1100s | 16 | 2164388 | 154752 | 1180946 0 | 299 | 4901 1122.08/1122.37 c 1102s | 16 | 2164659 | 154952 | 1180946 0 | 299 | 4901 1125.19/1125.49 c 1105s | 16 | 2165123 | 155252 | 1180946 0 | 299 | 4901 1127.39/1127.69 c 1108s | 16 | 2165369 | 155452 | 1180946 0 | 299 | 4901 1129.68/1129.99 c 1110s | 16 | 2165614 | 155652 | 1180946 0 | 299 | 4901 1131.88/1132.16 c 1112s | 16 | 2165848 | 155852 | 1180946 0 | 299 | 4901 1134.08/1134.39 c 1114s | 16 | 2166123 | 156052 | 1180946 0 | 299 | 4901 1137.19/1137.45 c 1117s | 16 | 2166539 | 156352 | 1180946 0 | 299 | 4901 1139.49/1139.76 c 1120s | 16 | 2166828 | 156552 | 1180946 0 | 299 | 4901 1141.69/1141.94 c 1122s | 16 | 2167101 | 156752 | 1180946 0 | 299 | 4901 1143.89/1144.12 c 1124s | 16 | 2167411 | 156952 | 1180946 0 | 299 | 4901 1145.88/1146.20 c 1126s | 16 | 2167662 | 157152 | 1180946 0 | 299 | 4901 1148.38/1148.69 c 1129s | 16 | 2168064 | 157452 | 1180946 0 | 299 | 4901 1151.38/1151.70 c 1132s | 16 | 2168441 | 157752 | 1180946 0 | 299 | 4901 1154.18/1154.47 c 1134s | 16 | 2168829 | 158052 | 1180946 0 | 299 | 4901 1156.17/1156.47 c 1136s | 16 | 2169125 | 158252 | 1180946 0 | 299 | 4901 1158.47/1158.77 c 1139s | 16 | 2169354 | 158452 | 1180946 0 | 299 | 4901 1161.48/1161.75 c 1142s | 16 | 2169734 | 158752 | 1180946 0 | 299 | 4901 1164.17/1164.43 c 1144s | 16 | 2170074 | 159052 | 1180946 0 | 299 | 4901 1166.77/1167.06 c 1147s | 16 | 2170409 | 159352 | 1180946 0 | 299 | 4901 1168.76/1169.08 c 1149s | 16 | 2170626 | 159552 | 1180946 0 | 299 | 4901 1170.76/1171.09 c 1151s | 16 | 2170855 | 159752 | 1180946 0 | 299 | 4901 1173.86/1174.11 c 1154s | 16 | 2171209 | 160052 | 1180946 0 | 299 | 4901 1175.96/1176.24 c 1156s | 16 | 2171470 | 160252 | 1180946 0 | 299 | 4901 1178.86/1179.13 c 1159s | 16 | 2171863 | 160552 | 1180946 0 | 299 | 4901 1181.76/1182.05 c 1162s | 16 | 2172231 | 160852 | 1180946 0 | 299 | 4901 1183.96/1184.21 c 1164s | 16 | 2172485 | 161052 | 1180946 0 | 299 | 4901 1185.96/1186.24 c 1166s | 16 | 2172720 | 161252 | 1180946 0 | 299 | 4901 1188.96/1189.23 c 1169s | 16 | 2173114 | 161552 | 1180946 0 | 299 | 4901 1191.86/1192.17 c 1172s | 16 | 2173459 | 161852 | 1180946 0 | 299 | 4901 1194.65/1194.97 c 1175s | 16 | 2173800 | 162152 | 1180946 0 | 299 | 4901 1197.45/1197.71 c 1178s | 16 | 2174156 | 162452 | 1180946 0 | 299 | 4901 1199.75/1200.08 c 1180s | 16 | 2174406 | 162652 | 1180946 0 | 299 | 4901 1201.95/1202.23 c 1182s | 16 | 2174625 | 162852 | 1180946 0 | 299 | 4901 1204.15/1204.40 c 1184s | 16 | 2174868 | 163052 | 1180946 0 | 299 | 4901 1206.56/1206.90 c 1187s | 16 | 2175204 | 163352 | 1180946 0 | 299 | 4901 1209.25/1209.56 c 1190s | 16 | 2175543 | 163652 | 1180946 0 | 299 | 4901 1211.95/1212.22 c 1192s | 16 | 2175943 | 163952 | 1180946 0 | 299 | 4901 1213.95/1214.28 c 1194s | 16 | 2176184 | 164152 | 1180946 0 | 299 | 4901 1216.04/1216.34 c 1196s | 16 | 2176402 | 164352 | 1180946 0 | 299 | 4901 1218.24/1218.57 c 1199s | 16 | 2176696 | 164552 | 1180946 0 | 299 | 4901 1220.64/1220.91 c 1201s | 16 | 2176942 | 164752 | 1180946 0 | 299 | 4901 1222.64/1222.97 c 1203s | 16 | 2177177 | 164952 | 1180946 0 | 299 | 4901 1224.84/1225.17 c 1205s | 16 | 2177418 | 165152 | 1180946 0 | 299 | 4901 1227.74/1228.04 c 1208s | 16 | 2177783 | 165452 | 1180946 0 | 299 | 4901 1229.84/1230.17 c 1210s | 16 | 2177999 | 165652 | 1180946 0 | 299 | 4901 1231.85/1232.19 c 1212s | 16 | 2178247 | 165852 | 1180946 0 | 299 | 4901 1234.84/1235.18 c 1215s | 16 | 2178595 | 166152 | 1180946 0 | 299 | 4901 1236.94/1237.22 c 1217s | 16 | 2178838 | 166352 | 1180946 0 | 299 | 4901 1239.74/1240.04 c 1220s | 16 | 2179207 | 166652 | 1180946 0 | 299 | 4901 1242.24/1242.54 c 1223s | 16 | 2179442 | 166852 | 1180946 0 | 299 | 4901 1244.84/1245.15 c 1225s | 16 | 2179845 | 167152 | 1180946 0 | 299 | 4901 1247.33/1247.60 c 1228s | 16 | 2180099 | 167352 | 1180946 0 | 299 | 4901 1249.74/1250.08 c 1230s | 16 | 2180344 | 167552 | 1180946 0 | 299 | 4901 1252.84/1253.19 c 1233s | 16 | 2180654 | 167752 | 1180946 0 | 299 | 4901 1254.94/1255.27 c 1235s | 16 | 2180929 | 167952 | 1180946 0 | 299 | 4901 1256.93/1257.28 c 1237s | 16 | 2181166 | 168152 | 1180946 0 | 299 | 4901 1259.03/1259.33 c 1239s | 16 | 2181403 | 168352 | 1180946 0 | 299 | 4901 1261.63/1261.92 c 1242s | 16 | 2181659 | 168552 | 1180946 0 | 299 | 4901 1264.03/1264.36 c 1244s | 16 | 2181892 | 168752 | 1180946 0 | 299 | 4901 1266.33/1266.69 c 1247s | 16 | 2182114 | 168952 | 1180946 0 | 299 | 4901 1268.83/1269.18 c 1249s | 16 | 2182353 | 169152 | 1180946 0 | 299 | 4901 1271.13/1271.46 c 1251s | 16 | 2182575 | 169352 | 1180946 0 | 299 | 4901 1273.54/1273.83 c 1254s | 16 | 2182823 | 169552 | 1180946 0 | 299 | 4901 1275.74/1276.01 c 1256s | 16 | 2183070 | 169752 | 1180946 0 | 299 | 4901 1278.33/1278.66 c 1259s | 16 | 2183295 | 169952 | 1180946 0 | 299 | 4901 1280.63/1280.93 c 1261s | 16 | 2183524 | 170152 | 1180946 0 | 299 | 4901 1283.44/1283.79 c 1264s | 16 | 2183891 | 170452 | 1180946 0 | 299 | 4901 1286.13/1286.42 c 1266s | 16 | 2184142 | 170652 | 1180946 0 | 299 | 4901 1288.33/1288.66 c 1269s | 16 | 2184399 | 170852 | 1180946 0 | 299 | 4901 1290.93/1291.23 c 1271s | 16 | 2184617 | 171052 | 1180946 0 | 299 | 4901 1293.43/1293.71 c 1274s | 16 | 2184854 | 171252 | 1180946 0 | 299 | 4901 1296.03/1296.36 c 1276s | 16 | 2185081 | 171452 | 1180946 0 | 299 | 4901 1299.12/1299.49 c 1279s | 16 | 2185428 | 171752 | 1180946 0 | 299 | 4901 1302.02/1302.38 c 1282s | 16 | 2185766 | 172052 | 1180946 0 | 299 | 4901 1304.33/1304.64 c 1285s | 16 | 2186013 | 172252 | 1180946 0 | 299 | 4901 1306.53/1306.82 c 1287s | 16 | 2186253 | 172452 | 1180946 0 | 299 | 4901 1308.73/1309.09 c 1289s | 16 | 2186470 | 172652 | 1180946 0 | 299 | 4901 1310.82/1311.13 c 1291s | 16 | 2186691 | 172852 | 1180946 0 | 299 | 4901 1313.72/1314.01 c 1294s | 16 | 2187090 | 173152 | 1180946 0 | 299 | 4901 1316.62/1316.98 c 1297s | 16 | 2187461 | 173452 | 1180946 0 | 299 | 4901 1318.82/1319.15 c 1299s | 16 | 2187672 | 173652 | 1180946 0 | 299 | 4901 1321.72/1322.02 c 1302s | 16 | 2188027 | 173952 | 1180946 0 | 299 | 4901 1325.02/1325.31 c 1305s | 16 | 2188372 | 174252 | 1180946 0 | 299 | 4901 1327.21/1327.55 c 1308s | 16 | 2188606 | 174452 | 1180946 0 | 299 | 4901 1329.42/1329.73 c 1310s | 16 | 2188833 | 174652 | 1180946 0 | 299 | 4901 1332.31/1332.67 c 1313s | 16 | 2189158 | 174952 | 1180946 0 | 299 | 4901 1334.61/1334.95 c 1315s | 16 | 2189398 | 175152 | 1180946 0 | 299 | 4901 1336.81/1337.18 c 1317s | 16 | 2189772 | 175352 | 1180946 0 | 299 | 4901 1339.52/1339.84 c 1320s | 16 | 2190020 | 175552 | 1180946 0 | 299 | 4901 1341.91/1342.21 c 1322s | 16 | 2190283 | 175752 | 1180946 0 | 299 | 4901 1344.21/1344.59 c 1325s | 16 | 2190538 | 175952 | 1180946 0 | 299 | 4901 1347.01/1347.34 c 1327s | 16 | 2190811 | 176152 | 1180946 0 | 299 | 4901 1349.21/1349.52 c 1329s | 16 | 2191038 | 176352 | 1180946 0 | 299 | 4901 1351.31/1351.64 c 1332s | 16 | 2191284 | 176552 | 1180946 0 | 299 | 4901 1353.50/1353.89 c 1334s | 16 | 2191507 | 176752 | 1180946 0 | 299 | 4901 1356.30/1356.67 c 1337s | 16 | 2191902 | 177052 | 1180946 0 | 299 | 4901 1359.20/1359.51 c 1339s | 16 | 2192250 | 177352 | 1180946 0 | 299 | 4901 1361.30/1361.64 c 1342s | 16 | 2192496 | 177552 | 1180946 0 | 299 | 4901 1363.90/1364.20 c 1344s | 16 | 2192870 | 177852 | 1180946 0 | 299 | 4901 1367.01/1367.35 c 1347s | 16 | 2193249 | 178152 | 1180946 0 | 299 | 4901 1369.70/1370.01 c 1350s | 16 | 2193646 | 178452 | 1180946 0 | 299 | 4901 1371.80/1372.16 c 1352s | 16 | 2193952 | 178652 | 1180946 0 | 299 | 4901 1374.10/1374.45 c 1354s | 16 | 2194194 | 178852 | 1180946 0 | 299 | 4901 1377.20/1377.51 c 1357s | 16 | 2194554 | 179152 | 1180946 0 | 299 | 4901 1379.50/1379.85 c 1360s | 16 | 2194823 | 179352 | 1180946 0 | 299 | 4901 1381.90/1382.21 c 1362s | 16 | 2195101 | 179552 | 1180946 0 | 299 | 4901 1384.50/1384.80 c 1365s | 16 | 2195317 | 179752 | 1180946 0 | 299 | 4901 1386.60/1386.90 c 1367s | 16 | 2195587 | 179952 | 1180946 0 | 299 | 4901 1388.60/1388.97 c 1369s | 16 | 2195835 | 180152 | 1180946 0 | 299 | 4901 1391.00/1391.33 c 1371s | 16 | 2196101 | 180352 | 1180946 0 | 299 | 4901 1393.21/1393.50 c 1373s | 16 | 2196380 | 180552 | 1180946 0 | 299 | 4901 1395.50/1395.85 c 1376s | 16 | 2196649 | 180752 | 1180946 0 | 299 | 4901 1397.91/1398.21 c 1378s | 16 | 2196883 | 180952 | 1180946 0 | 299 | 4901 1399.90/1400.22 c 1380s | 16 | 2197133 | 181152 | 1180946 0 | 299 | 4901 1402.70/1403.09 c 1383s | 16 | 2197350 | 181352 | 1180946 0 | 299 | 4901 1405.51/1405.88 c 1386s | 16 | 2197730 | 181652 | 1180946 0 | 299 | 4901 1408.30/1408.67 c 1389s | 16 | 2198114 | 181952 | 1180946 0 | 299 | 4901 1411.20/1411.53 c 1392s | 16 | 2198485 | 182252 | 1180946 0 | 299 | 4901 1413.50/1413.80 c 1394s | 16 | 2198750 | 182452 | 1180946 0 | 299 | 4901 1415.80/1416.12 c 1396s | 16 | 2198983 | 182652 | 1180946 0 | 299 | 4901 1417.80/1418.17 c 1398s | 16 | 2199202 | 182852 | 1180946 0 | 299 | 4901 1420.10/1420.41 c 1400s | 16 | 2199420 | 183052 | 1180946 0 | 299 | 4901 1422.50/1422.89 c 1403s | 16 | 2199778 | 183352 | 1180946 0 | 299 | 4901 1424.60/1424.94 c 1405s | 16 | 2200029 | 183552 | 1180946 0 | 299 | 4901 1426.90/1427.28 c 1407s | 16 | 2200372 | 183852 | 1180946 0 | 299 | 4901 1429.90/1430.20 c 1410s | 16 | 2200732 | 184152 | 1180946 0 | 299 | 4901 1431.91/1432.28 c 1412s | 16 | 2200978 | 184352 | 1180946 0 | 299 | 4901 1434.80/1435.15 c 1415s | 16 | 2201328 | 184652 | 1180946 0 | 299 | 4901 1437.00/1437.32 c 1417s | 16 | 2201548 | 184852 | 1180946 0 | 299 | 4901 1440.00/1440.32 c 1420s | 16 | 2201906 | 185152 | 1180946 0 | 299 | 4901 1442.80/1443.13 c 1423s | 16 | 2202273 | 185452 | 1180946 0 | 299 | 4901 1445.29/1445.64 c 1426s | 16 | 2202610 | 185752 | 1180946 0 | 299 | 4901 1448.50/1448.89 c 1429s | 16 | 2202972 | 186052 | 1180946 0 | 299 | 4901 1450.79/1451.16 c 1431s | 16 | 2203210 | 186252 | 1180946 0 | 299 | 4901 1452.90/1453.27 c 1433s | 16 | 2203428 | 186452 | 1180946 0 | 299 | 4901 1456.20/1456.54 c 1437s | 16 | 2203767 | 186752 | 1180946 0 | 299 | 4901 1458.19/1458.58 c 1439s | 16 | 2203979 | 186952 | 1180946 0 | 299 | 4901 1460.39/1460.71 c 1441s | 16 | 2204304 | 187152 | 1180946 0 | 299 | 4901 1462.49/1462.80 c 1443s | 16 | 2204531 | 187352 | 1180946 0 | 299 | 4901 1465.39/1465.74 c 1446s | 16 | 2204909 | 187652 | 1180946 0 | 299 | 4901 1467.39/1467.78 c 1448s | 16 | 2205164 | 187852 | 1180946 0 | 299 | 4901 1470.39/1470.75 c 1451s | 16 | 2205528 | 188152 | 1180946 0 | 299 | 4901 1472.38/1472.76 c 1453s | 16 | 2205800 | 188352 | 1180946 0 | 299 | 4901 1474.58/1474.96 c 1455s | 16 | 2206040 | 188552 | 1180946 0 | 299 | 4901 1477.18/1477.55 c 1458s | 16 | 2206266 | 188752 | 1180946 0 | 299 | 4901 1479.48/1479.89 c 1460s | 16 | 2206520 | 188952 | 1180946 0 | 299 | 4901 1481.78/1482.17 c 1462s | 16 | 2206775 | 189152 | 1180946 0 | 299 | 4901 1484.08/1484.43 c 1464s | 16 | 2207024 | 189352 | 1180946 0 | 299 | 4901 1486.08/1486.49 c 1466s | 16 | 2207274 | 189552 | 1180946 0 | 299 | 4901 1488.58/1488.92 c 1469s | 16 | 2207524 | 189752 | 1180946 0 | 299 | 4901 1490.78/1491.16 c 1471s | 16 | 2207808 | 189952 | 1180946 0 | 299 | 4901 1493.08/1493.40 c 1473s | 16 | 2208053 | 190152 | 1180946 0 | 299 | 4901 1495.07/1495.43 c 1475s | 16 | 2208323 | 190352 | 1180946 0 | 299 | 4901 1497.27/1497.62 c 1478s | 16 | 2208605 | 190552 | 1180946 0 | 299 | 4901 1499.47/1499.83 c 1480s | 16 | 2208845 | 190752 | 1180946 0 | 299 | 4901 1501.57/1501.95 c 1482s | 16 | 2209118 | 190952 | 1180946 0 | 299 | 4901 1504.07/1504.41 c 1484s | 16 | 2209342 | 191152 | 1180946 0 | 299 | 4901 1506.27/1506.64 c 1487s | 16 | 2209576 | 191352 | 1180946 0 | 299 | 4901 1508.67/1509.00 c 1489s | 16 | 2209784 | 191552 | 1180946 0 | 299 | 4901 1511.18/1511.54 c 1492s | 16 | 2210034 | 191752 | 1180946 0 | 299 | 4901 1513.77/1514.17 c 1494s | 16 | 2210238 | 191952 | 1180946 0 | 299 | 4901 1516.27/1516.62 c 1497s | 16 | 2210472 | 192152 | 1180946 0 | 299 | 4901 1518.88/1519.26 c 1499s | 16 | 2210696 | 192352 | 1180946 0 | 299 | 4901 1521.77/1522.15 c 1502s | 16 | 2210939 | 192552 | 1180946 0 | 299 | 4901 1524.16/1524.57 c 1505s | 16 | 2211160 | 192752 | 1180946 0 | 299 | 4901 1526.76/1527.18 c 1507s | 16 | 2211380 | 192952 | 1180946 0 | 299 | 4901 1528.96/1529.37 c 1509s | 16 | 2211479 | 193052 | 1180946 0 | 299 | 4901 1531.16/1531.58 c 1512s | 16 | 2211714 | 193252 | 1180946 0 | 299 | 4901 1533.56/1533.93 c 1514s | 16 | 2211936 | 193452 | 1180946 0 | 299 | 4901 1535.86/1536.22 c 1516s | 16 | 2212150 | 193652 | 1180946 0 | 299 | 4901 1538.26/1538.66 c 1519s | 16 | 2212375 | 193852 | 1180946 0 | 299 | 4901 1540.96/1541.39 c 1521s | 16 | 2212723 | 194152 | 1180946 0 | 299 | 4901 1543.96/1544.38 c 1524s | 16 | 2213052 | 194452 | 1180946 0 | 299 | 4901 1546.37/1546.71 c 1527s | 16 | 2213286 | 194652 | 1180946 0 | 299 | 4901 1549.57/1549.91 c 1530s | 16 | 2213625 | 194952 | 1180946 0 | 299 | 4901 1551.56/1551.94 c 1532s | 16 | 2213879 | 195152 | 1180946 0 | 299 | 4901 1553.66/1554.01 c 1534s | 16 | 2214111 | 195352 | 1180946 0 | 299 | 4901 1555.86/1556.23 c 1536s | 16 | 2214341 | 195552 | 1180946 0 | 299 | 4901 1558.26/1558.63 c 1539s | 16 | 2214572 | 195752 | 1180946 0 | 299 | 4901 1560.76/1561.13 c 1541s | 16 | 2214802 | 195952 | 1180946 0 | 299 | 4901 1562.76/1563.17 c 1543s | 16 | 2215036 | 196152 | 1299041 0 | 299 | 4901 1565.95/1566.34 c 1546s | 16 | 2215373 | 196452 | 1299041 0 | 299 | 4901 1568.15/1568.60 c 1549s | 16 | 2215601 | 196652 | 1299041 0 | 299 | 4901 1570.35/1570.80 c 1551s | 16 | 2215833 | 196852 | 1299041 0 | 299 | 4901 1572.55/1573.00 c 1553s | 16 | 2216091 | 197052 | 1299041 0 | 299 | 4901 1574.65/1575.02 c 1555s | 16 | 2216347 | 197252 | 1299041 0 | 299 | 4901 1576.25/1576.69 c 1557s | 17 | 2216557 | 197432 | 1299041 0 | 299 | 4901 1579.95/1580.30 c 1560s | 17 | 2248775 | 197532 | 1299041 0 | 299 | 4901 1583.45/1583.86 c 1564s | 17 | 2256669 | 197632 | 1299041 0 | 300 | 4912 1586.46/1586.81 c 1567s | 17 | 2257398 | 197832 | 1299041 0 | 300 | 4912 1590.56/1590.90 c 1571s | 17 | 2257698 | 198032 | 1299041 0 | 300 | 4912 1593.96/1594.30 c 1574s | 17 | 2257996 | 198232 | 1299041 0 | 300 | 4912 1596.86/1597.22 c 1577s | 17 | 2258262 | 198432 | 1299041 0 | 300 | 4912 1599.96/1600.36 c 1580s | 17 | 2258619 | 198632 | 1299041 0 | 300 | 4912 1603.56/1603.93 c 1584s | 17 | 2259047 | 198832 | 1299041 0 | 300 | 4912 1606.86/1607.27 c 1587s | 17 | 2259343 | 199032 | 1299041 0 | 300 | 4912 1610.25/1610.64 c 1591s | 17 | 2259598 | 199232 | 1299041 0 | 300 | 4912 1613.75/1614.16 c 1594s | 17 | 2259852 | 199432 | 1299041 0 | 300 | 4912 1616.76/1617.19 c 1597s | 17 | 2260111 | 199632 | 1299041 0 | 300 | 4912 1619.35/1619.71 c 1600s | 17 | 2260232 | 199732 | 1299041 0 | 300 | 4912 1622.35/1622.72 c 1603s | 17 | 2260680 | 199932 | 1299041 0 | 300 | 4912 1624.64/1625.09 c 1605s | 17 | 2260969 | 200132 | 1299041 0 | 300 | 4912 1626.94/1627.37 c 1607s | 17 | 2261215 | 200332 | 1299041 0 | 300 | 4912 1630.34/1630.74 c 1611s | 17 | 2261427 | 200532 | 1299041 0 | 300 | 4912 1633.25/1633.69 c 1614s | 17 | 2261683 | 200732 | 1299041 0 | 300 | 4912 1636.04/1636.48 c 1616s | 17 | 2262031 | 200932 | 1299041 0 | 300 | 4912 1638.94/1639.35 c 1619s | 17 | 2262260 | 201132 | 1299041 0 | 300 | 4912 1641.54/1641.94 c 1622s | 17 | 2262523 | 201332 | 1299041 0 | 300 | 4912 1644.04/1644.44 c 1624s | 17 | 2262830 | 201532 | 1299041 0 | 300 | 4912 1647.34/1647.76 c 1628s | 17 | 2263080 | 201732 | 1299041 0 | 300 | 4912 1650.54/1650.97 c 1631s | 17 | 2263304 | 201932 | 1299041 0 | 300 | 4912 1653.63/1654.06 c 1634s | 17 | 2263519 | 202132 | 1299041 0 | 300 | 4912 1656.13/1656.52 c 1636s | 17 | 2263769 | 202332 | 1299041 0 | 300 | 4912 1658.63/1659.05 c 1639s | 17 | 2264010 | 202532 | 1299041 0 | 300 | 4912 1660.83/1661.28 c 1641s | 17 | 2264279 | 202732 | 1299041 0 | 300 | 4912 1663.43/1663.85 c 1644s | 17 | 2264557 | 202932 | 1299041 0 | 300 | 4912 1665.82/1666.27 c 1646s | 17 | 2264786 | 203132 | 1299041 0 | 300 | 4912 1668.22/1668.65 c 1649s | 17 | 2265013 | 203332 | 1299041 0 | 300 | 4912 1670.53/1670.96 c 1651s | 17 | 2265228 | 203532 | 1299041 0 | 300 | 4912 1672.82/1673.28 c 1653s | 17 | 2265461 | 203732 | 1299041 0 | 300 | 4912 1675.91/1676.34 c 1656s | 17 | 2265859 | 204032 | 1299041 0 | 300 | 4912 1678.22/1678.61 c 1659s | 17 | 2266088 | 204232 | 1299041 0 | 300 | 4912 1680.52/1680.99 c 1661s | 17 | 2266326 | 204432 | 1299041 0 | 300 | 4912 1682.62/1683.06 c 1663s | 17 | 2266549 | 204632 | 1299041 0 | 300 | 4912 1685.11/1685.57 c 1666s | 17 | 2266777 | 204832 | 1299041 0 | 300 | 4912 1688.22/1688.62 c 1669s | 17 | 2267057 | 205032 | 1299041 0 | 300 | 4912 1690.32/1690.76 c 1671s | 17 | 2267339 | 205232 | 1299041 0 | 300 | 4912 1692.62/1693.03 c 1673s | 17 | 2267570 | 205432 | 1299041 0 | 300 | 4912 1694.82/1695.27 c 1675s | 17 | 2267820 | 205632 | 1299041 0 | 300 | 4912 1697.02/1697.47 c 1677s | 17 | 2268073 | 205832 | 1299041 0 | 300 | 4912 1699.11/1699.57 c 1680s | 17 | 2268307 | 206032 | 1299041 0 | 300 | 4912 1701.51/1701.99 c 1682s | 17 | 2268529 | 206232 | 1299041 0 | 300 | 4912 1703.81/1704.22 c 1684s | 17 | 2268761 | 206432 | 1299041 0 | 300 | 4912 1705.91/1706.35 c 1686s | 17 | 2268985 | 206632 | 1299041 0 | 300 | 4912 1708.61/1709.08 c 1689s | 17 | 2269323 | 206932 | 1299041 0 | 300 | 4912 1710.81/1711.20 c 1691s | 17 | 2269554 | 207132 | 1299041 0 | 300 | 4912 1713.42/1713.89 c 1694s | 17 | 2269763 | 207332 | 1299041 0 | 300 | 4912 1715.62/1716.03 c 1696s | 17 | 2270005 | 207532 | 1299041 0 | 300 | 4912 1718.41/1718.87 c 1699s | 17 | 2270246 | 207732 | 1299041 0 | 300 | 4912 1721.90/1722.37 c 1702s | 17 | 2270499 | 207932 | 1299041 0 | 300 | 4912 1725.21/1725.61 c 1706s | 17 | 2270765 | 208132 | 1299041 0 | 300 | 4912 1728.41/1728.88 c 1709s | 17 | 2271007 | 208332 | 1299041 0 | 300 | 4912 1730.91/1731.32 c 1711s | 17 | 2271122 | 208432 | 1299041 0 | 300 | 4912 1733.21/1733.69 c 1714s | 17 | 2271354 | 208632 | 1299041 0 | 300 | 4912 1736.00/1736.45 c 1716s | 17 | 2271591 | 208832 | 1299041 0 | 300 | 4912 1738.71/1739.15 c 1719s | 17 | 2271855 | 209032 | 1299041 0 | 300 | 4912 1741.20/1741.63 c 1722s | 17 | 2272109 | 209232 | 1299041 0 | 300 | 4912 1743.70/1744.18 c 1724s | 17 | 2272358 | 209432 | 1299041 0 | 300 | 4912 1746.20/1746.62 c 1727s | 17 | 2272628 | 209632 | 1299041 0 | 300 | 4912 1748.61/1749.03 c 1729s | 17 | 2272833 | 209832 | 1299041 0 | 300 | 4912 1752.20/1752.66 c 1733s | 17 | 2273083 | 210032 | 1299041 0 | 300 | 4912 1755.80/1756.25 c 1736s | 17 | 2273330 | 210232 | 1299041 0 | 300 | 4912 1759.39/1759.84 c 1740s | 17 | 2273574 | 210432 | 1299041 0 | 300 | 4912 1763.10/1763.57 c 1744s | 17 | 2273823 | 210632 | 1299041 0 | 300 | 4912 1766.39/1766.88 c 1747s | 17 | 2274144 | 210832 | 1299041 0 | 300 | 4912 1769.69/1770.17 c 1750s | 17 | 2274371 | 211032 | 1299041 0 | 300 | 4912 1772.89/1773.35 c 1753s | 17 | 2274640 | 211232 | 1299041 0 | 300 | 4912 1776.48/1776.90 c 1757s | 17 | 2274875 | 211432 | 1299041 0 | 300 | 4912 1779.68/1780.17 c 1760s | 17 | 2275116 | 211632 | 1299041 0 | 300 | 4912 1782.69/1783.10 c 1763s | 17 | 2275414 | 211832 | 1299041 0 | 300 | 4912 1785.88/1786.39 c 1766s | 17 | 2275672 | 212032 | 1299041 0 | 300 | 4912 1788.99/1789.46 c 1769s | 17 | 2275911 | 212232 | 1299041 0 | 300 | 4912 1791.89/1792.35 c 1772s | 17 | 2276152 | 212432 | 1299041 0 | 300 | 4912 1795.08/1795.56 c 1776s | 17 | 2276428 | 212632 | 1299041 0 | 300 | 4912 1798.28/1798.79 c 1779s | 17 | 2276677 | 212832 | 1299041 0 | 300 | 4912
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-4078847-1465277035/watcher-4078847-1465277035 -o /tmp/evaluation-result-4078847-1465277035/solver-4078847-1465277035 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12853 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078847-1465277035.opb pid=16084 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.18 2.13 2.09 2/179 16087 /proc/meminfo: memFree=30474692/32872528 swapFree=11196/354588 [pid=16087] ppid=16084 vsize=705980 CPUtime=0 cores=0,2,4,6 /proc/16087/stat : 16087 (toysat) R 16084 16087 12837 0 -1 4202496 2629 0 0 0 0 0 0 0 20 0 4 0 109637062 722923520 2990 33554432000 4194304 16246674 140736808115200 140736808114624 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16087/statm: 177263 2999 441 2943 0 174157 0 [pid=16087/tid=16088] ppid=16084 vsize=724412 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16088/stat : 16088 (toysat) S 16084 16087 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109637062 741797888 3061 33554432000 4194304 16246674 140736808115200 140055344557296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16087/tid=16089] ppid=16084 vsize=728508 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16089/stat : 16089 (toysat) S 16084 16087 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109637062 745992192 3078 33554432000 4194304 16246674 140736808115200 140055259622640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16087/tid=16090] ppid=16084 vsize=732604 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109637062 750186496 3095 33554432000 4194304 16246674 140736808115200 140055249149104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100184 s] /proc/loadavg: 2.18 2.13 2.09 2/179 16087 /proc/meminfo: memFree=30474692/32872528 swapFree=11196/354588 [pid=16087] ppid=16084 vsize=1301060 CPUtime=0.09 cores=0,2,4,6 /proc/16087/stat : 16087 (toysat) R 16084 16087 12837 0 -1 4202496 25601 0 0 0 6 3 0 0 20 0 4 0 109637062 1332285440 25900 33554432000 4194304 16246674 140736808115200 140736808114416 7368729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16087/statm: 325265 25915 800 2943 0 322159 0 [pid=16087/tid=16088] ppid=16084 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16088/stat : 16088 (toysat) S 16084 16087 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109637062 1332285440 25926 33554432000 4194304 16246674 140736808115200 140055344557296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16087/tid=16089] ppid=16084 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16089/stat : 16089 (toysat) S 16084 16087 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109637062 1332285440 25938 33554432000 4194304 16246674 140736808115200 140055259622640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16087/tid=16090] ppid=16084 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109637062 1332285440 25948 33554432000 4194304 16246674 140736808115200 140055249149104 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) 1301060 [startup+0.200533 s] /proc/loadavg: 2.18 2.13 2.09 2/179 16087 /proc/meminfo: memFree=30474692/32872528 swapFree=11196/354588 [pid=16087] ppid=16084 vsize=1309252 CPUtime=0.19 cores=0,2,4,6 /proc/16087/stat : 16087 (toysat) R 16084 16087 12837 0 -1 4202496 51245 0 0 0 12 7 0 0 20 0 4 0 109637062 1340674048 52054 33554432000 4194304 16246674 140736808115200 140736808114416 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16087/statm: 327313 52057 800 2943 0 324207 0 [pid=16087/tid=16088] ppid=16084 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16088/stat : 16088 (toysat) S 16084 16087 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109637062 1340674048 52059 33554432000 4194304 16246674 140736808115200 140055344557296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16087/tid=16089] ppid=16084 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16089/stat : 16089 (toysat) S 16084 16087 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109637062 1340674048 52062 33554432000 4194304 16246674 140736808115200 140055259622640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16087/tid=16090] ppid=16084 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109637062 1340674048 52064 33554432000 4194304 16246674 140736808115200 140055249149104 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) 1309252 [startup+0.300535 s] /proc/loadavg: 2.18 2.13 2.09 2/179 16087 /proc/meminfo: memFree=30474692/32872528 swapFree=11196/354588 [pid=16087] ppid=16084 vsize=1314372 CPUtime=0.29 cores=0,2,4,6 /proc/16087/stat : 16087 (toysat) R 16084 16087 12837 0 -1 4202496 58996 0 0 0 21 8 0 0 20 0 4 0 109637062 1345916928 59805 33554432000 4194304 16246674 140736808115200 140736808114416 8058893 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16087/statm: 328593 59805 800 2943 0 325487 0 [pid=16087/tid=16088] ppid=16084 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16088/stat : 16088 (toysat) S 16084 16087 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109637062 1345916928 59805 33554432000 4194304 16246674 140736808115200 140055344557296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16087/tid=16089] ppid=16084 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16089/stat : 16089 (toysat) S 16084 16087 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109637062 1345916928 59805 33554432000 4194304 16246674 140736808115200 140055259622640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16087/tid=16090] ppid=16084 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109637062 1345916928 59805 33554432000 4194304 16246674 140736808115200 140055249149104 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) 1314372 [startup+0.700452 s] /proc/loadavg: 2.18 2.13 2.09 2/179 16087 /proc/meminfo: memFree=30474692/32872528 swapFree=11196/354588 [pid=16087] ppid=16084 vsize=1314372 CPUtime=0.69 cores=0,2,4,6 /proc/16087/stat : 16087 (toysat) R 16084 16087 12837 0 -1 4202496 71220 0 0 0 59 10 0 0 20 0 4 0 109637062 1345916928 72029 33554432000 4194304 16246674 140736808115200 140736808114416 8058877 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16087/statm: 328593 72029 801 2943 0 325487 0 [pid=16087/tid=16088] ppid=16084 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16088/stat : 16088 (toysat) S 16084 16087 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109637062 1345916928 72029 33554432000 4194304 16246674 140736808115200 140055344557296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16087/tid=16089] ppid=16084 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16089/stat : 16089 (toysat) S 16084 16087 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109637062 1345916928 72029 33554432000 4194304 16246674 140736808115200 140055259622640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16087/tid=16090] ppid=16084 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109637062 1345916928 72029 33554432000 4194304 16246674 140736808115200 140055249149104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50044 s] /proc/loadavg: 2.18 2.13 2.09 3/183 16091 /proc/meminfo: memFree=30149744/32872528 swapFree=11196/354588 [pid=16087] ppid=16084 vsize=1326660 CPUtime=1.49 cores=0,2,4,6 /proc/16087/stat : 16087 (toysat) R 16084 16087 12837 0 -1 4202496 104589 0 0 0 134 15 0 0 20 0 4 0 109637062 1358499840 107442 33554432000 4194304 16246674 140736808115200 140736808113024 4223718 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16087/statm: 331665 107442 802 2943 0 328559 0 [pid=16087/tid=16088] ppid=16084 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16088/stat : 16088 (toysat) S 16084 16087 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109637062 1358499840 107442 33554432000 4194304 16246674 140736808115200 140055344557296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16087/tid=16089] ppid=16084 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16089/stat : 16089 (toysat) S 16084 16087 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109637062 1358499840 107442 33554432000 4194304 16246674 140736808115200 140055259622640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16087/tid=16090] ppid=16084 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109637062 1358499840 107442 33554432000 4194304 16246674 140736808115200 140055249149104 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) 1326660 [startup+3.10047 s] /proc/loadavg: 2.18 2.13 2.09 3/183 16091 /proc/meminfo: memFree=30040488/32872528 swapFree=11196/354588 [pid=16087] ppid=16084 vsize=1351236 CPUtime=3.09 cores=0,2,4,6 /proc/16087/stat : 16087 (toysat) R 16084 16087 12837 0 -1 4202496 151713 0 0 0 288 21 0 0 20 0 4 0 109637062 1383665664 159676 33554432000 4194304 16246674 140736808115200 140736808097088 13967808 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16087/statm: 337809 159676 802 2943 0 334703 0 [pid=16087/tid=16088] ppid=16084 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16088/stat : 16088 (toysat) S 16084 16087 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109637062 1383665664 159676 33554432000 4194304 16246674 140736808115200 140055344557296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16087/tid=16089] ppid=16084 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16089/stat : 16089 (toysat) S 16084 16087 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109637062 1383665664 159676 33554432000 4194304 16246674 140736808115200 140055259622640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16087/tid=16090] ppid=16084 vsize=1351236 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109637062 1383665664 159676 33554432000 4194304 16246674 140736808115200 140055249149104 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) 1351236 [startup+6.30045 s] /proc/loadavg: 2.16 2.13 2.09 3/183 16091 /proc/meminfo: memFree=29561472/32872528 swapFree=11196/354588 [pid=16087] ppid=16084 vsize=1400388 CPUtime=6.29 cores=0,2,4,6 /proc/16087/stat : 16087 (toysat) R 16084 16087 12837 0 -1 4202496 212466 0 0 0 599 30 0 0 20 0 4 0 109637062 1433997312 231160 33554432000 4194304 16246674 140736808115200 140736808113024 7204889 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16087/statm: 350097 231160 844 2943 0 346991 0 [pid=16087/tid=16088] ppid=16084 vsize=1400388 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16088/stat : 16088 (toysat) S 16084 16087 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109637062 1433997312 231160 33554432000 4194304 16246674 140736808115200 140055344557296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16087/tid=16089] ppid=16084 vsize=1400388 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16089/stat : 16089 (toysat) S 16084 16087 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109637062 1433997312 231160 33554432000 4194304 16246674 140736808115200 140055259622640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16087/tid=16090] ppid=16084 vsize=1400388 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109637062 1433997312 231160 33554432000 4194304 16246674 140736808115200 140055249149104 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) 1400388 [startup+12.7004 s] /proc/loadavg: 2.15 2.13 2.09 3/183 16091 /proc/meminfo: memFree=29398640/32872528 swapFree=11196/354588 [pid=16087] ppid=16084 vsize=1460804 CPUtime=12.69 cores=0,2,4,6 /proc/16087/stat : 16087 (toysat) R 16084 16087 12837 0 -1 4202496 284134 0 0 0 1230 39 0 0 20 0 4 0 109637062 1495863296 302828 33554432000 4194304 16246674 140736808115200 140736808113024 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16087/statm: 365201 302834 848 2943 0 362095 0 [pid=16087/tid=16088] ppid=16084 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16088/stat : 16088 (toysat) S 16084 16087 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109637062 1495863296 302837 33554432000 4194304 16246674 140736808115200 140055344557296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16087/tid=16089] ppid=16084 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16089/stat : 16089 (toysat) S 16084 16087 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109637062 1495863296 302842 33554432000 4194304 16246674 140736808115200 140055259622416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16087/tid=16090] ppid=16084 vsize=1460804 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109637062 1495863296 302846 33554432000 4194304 16246674 140736808115200 140055249149104 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) 1460804 [startup+25.5005 s] /proc/loadavg: 2.19 2.13 2.10 3/183 16091 /proc/meminfo: memFree=29069716/32872528 swapFree=11196/354588 [pid=16087] ppid=16084 vsize=1640004 CPUtime=25.49 cores=0,2,4,6 /proc/16087/stat : 16087 (toysat) R 16084 16087 12837 0 -1 4202496 329215 0 0 0 2505 44 0 0 20 0 4 0 109637062 1679364096 351486 33554432000 4194304 16246674 140736808115200 140736808097088 5822472 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16087/statm: 410001 351486 890 2943 0 406895 0 [pid=16087/tid=16088] ppid=16084 vsize=1640004 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16088/stat : 16088 (toysat) S 16084 16087 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109637062 1679364096 351486 33554432000 4194304 16246674 140736808115200 140055344557296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16087/tid=16089] ppid=16084 vsize=1640004 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16089/stat : 16089 (toysat) S 16084 16087 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109637062 1679364096 351486 33554432000 4194304 16246674 140736808115200 140055259622640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16087/tid=16090] ppid=16084 vsize=1640004 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109637062 1679364096 351486 33554432000 4194304 16246674 140736808115200 140055249149104 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) 1640004 [startup+51.1005 s] /proc/loadavg: 2.12 2.12 2.09 3/183 16091 /proc/meminfo: memFree=28727420/32872528 swapFree=11196/354588 [pid=16087] ppid=16084 vsize=1982020 CPUtime=51.08 cores=0,2,4,6 /proc/16087/stat : 16087 (toysat) R 16084 16087 12837 0 -1 4202496 414723 0 0 0 5050 58 0 0 20 0 4 0 109637062 2029588480 436994 33554432000 4194304 16246674 140736808115200 140736808097088 5523325 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16087/statm: 495505 436994 893 2943 0 492399 0 [pid=16087/tid=16088] ppid=16084 vsize=1982020 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16088/stat : 16088 (toysat) S 16084 16087 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109637062 2029588480 436994 33554432000 4194304 16246674 140736808115200 140055344557296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16087/tid=16089] ppid=16084 vsize=1982020 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16089/stat : 16089 (toysat) S 16084 16087 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109637062 2029588480 436994 33554432000 4194304 16246674 140736808115200 140055259622640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16087/tid=16090] ppid=16084 vsize=1982020 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109637062 2029588480 436994 33554432000 4194304 16246674 140736808115200 140055249149104 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) 1982020 [startup+102.301 s] /proc/loadavg: 2.13 2.12 2.09 3/183 16092 /proc/meminfo: memFree=28726908/32872528 swapFree=11196/354588 [pid=16087] ppid=16084 vsize=1982020 CPUtime=102.28 cores=0,2,4,6 /proc/16087/stat : 16087 (toysat) R 16084 16087 12837 0 -1 4202496 414723 0 0 0 10170 58 0 0 20 0 4 0 109637062 2029588480 436994 33554432000 4194304 16246674 140736808115200 140736808097088 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16087/statm: 495505 436994 893 2943 0 492399 0 [pid=16087/tid=16088] ppid=16084 vsize=1982020 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16088/stat : 16088 (toysat) S 16084 16087 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109637062 2029588480 436994 33554432000 4194304 16246674 140736808115200 140055344557296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16087/tid=16089] ppid=16084 vsize=1982020 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16089/stat : 16089 (toysat) S 16084 16087 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109637062 2029588480 436994 33554432000 4194304 16246674 140736808115200 140055259622640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16087/tid=16090] ppid=16084 vsize=1982020 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109637062 2029588480 436994 33554432000 4194304 16246674 140736808115200 140055249149104 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) 1982020 ################ # More data... # ################ /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109637062 2412318720 530554 33554432000 4194304 16246674 140736808115200 140055249149104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.02 Current children cumulated vsize (KiB) 2355780 [startup+1362.3 s] /proc/loadavg: 2.05 2.08 2.08 3/183 16124 /proc/meminfo: memFree=28316060/32872528 swapFree=11196/354588 [pid=16087] ppid=16084 vsize=2355780 CPUtime=1362 cores=0,2,4,6 /proc/16087/stat : 16087 (toysat) R 16084 16087 12837 0 -1 4202496 508180 0 0 0 136111 89 0 0 20 0 4 0 109637062 2412318720 530554 33554432000 4194304 16246674 140736808115200 140736808097088 13820888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16087/statm: 588945 530554 895 2943 0 585839 0 [pid=16087/tid=16088] ppid=16084 vsize=2355780 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16088/stat : 16088 (toysat) S 16084 16087 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109637062 2412318720 530554 33554432000 4194304 16246674 140736808115200 140055344557296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16087/tid=16089] ppid=16084 vsize=2355780 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16089/stat : 16089 (toysat) S 16084 16087 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109637062 2412318720 530554 33554432000 4194304 16246674 140736808115200 140055259622640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16087/tid=16090] ppid=16084 vsize=2355780 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109637062 2412318720 530554 33554432000 4194304 16246674 140736808115200 140055249149104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 2355780 [startup+1422.3 s] /proc/loadavg: 2.07 2.08 2.08 3/183 16125 /proc/meminfo: memFree=28241996/32872528 swapFree=11196/354588 [pid=16087] ppid=16084 vsize=2429508 CPUtime=1422.01 cores=0,2,4,6 /proc/16087/stat : 16087 (toysat) R 16084 16087 12837 0 -1 4202496 526758 0 0 0 142107 94 0 0 20 0 4 0 109637062 2487816192 549124 33554432000 4194304 16246674 140736808115200 140736808097088 5754712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16087/statm: 607377 549124 895 2943 0 604271 0 [pid=16087/tid=16088] ppid=16084 vsize=2429508 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16088/stat : 16088 (toysat) S 16084 16087 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109637062 2487816192 549124 33554432000 4194304 16246674 140736808115200 140055344557296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16087/tid=16089] ppid=16084 vsize=2429508 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16089/stat : 16089 (toysat) S 16084 16087 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109637062 2487816192 549124 33554432000 4194304 16246674 140736808115200 140055259622640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16087/tid=16090] ppid=16084 vsize=2429508 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109637062 2487816192 549124 33554432000 4194304 16246674 140736808115200 140055249149104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422.01 Current children cumulated vsize (KiB) 2429508 [startup+1482.3 s] /proc/loadavg: 2.07 2.08 2.08 3/183 16126 /proc/meminfo: memFree=28241612/32872528 swapFree=11196/354588 [pid=16087] ppid=16084 vsize=2429508 CPUtime=1481.98 cores=0,2,4,6 /proc/16087/stat : 16087 (toysat) R 16084 16087 12837 0 -1 4202496 526776 0 0 0 148104 94 0 0 20 0 4 0 109637062 2487816192 549124 33554432000 4194304 16246674 140736808115200 140736808097088 5828013 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16087/statm: 607377 549124 895 2943 0 604271 0 [pid=16087/tid=16088] ppid=16084 vsize=2429508 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16088/stat : 16088 (toysat) S 16084 16087 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109637062 2487816192 549124 33554432000 4194304 16246674 140736808115200 140055344557296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16087/tid=16089] ppid=16084 vsize=2429508 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16089/stat : 16089 (toysat) S 16084 16087 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109637062 2487816192 549124 33554432000 4194304 16246674 140736808115200 140055259622640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16087/tid=16090] ppid=16084 vsize=2429508 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109637062 2487816192 549124 33554432000 4194304 16246674 140736808115200 140055249149104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.98 Current children cumulated vsize (KiB) 2429508 [startup+1542.31 s] /proc/loadavg: 2.12 2.09 2.09 3/183 16127 /proc/meminfo: memFree=28184840/32872528 swapFree=11196/354588 [pid=16087] ppid=16084 vsize=2486852 CPUtime=1541.97 cores=0,2,4,6 /proc/16087/stat : 16087 (toysat) R 16084 16087 12837 0 -1 4202496 540879 0 0 0 154098 99 0 0 20 0 4 0 109637062 2546536448 563209 33554432000 4194304 16246674 140736808115200 140736808097088 5673965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16087/statm: 621713 563209 895 2943 0 618607 0 [pid=16087/tid=16088] ppid=16084 vsize=2486852 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16088/stat : 16088 (toysat) S 16084 16087 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109637062 2546536448 563209 33554432000 4194304 16246674 140736808115200 140055344557296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16087/tid=16089] ppid=16084 vsize=2486852 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16089/stat : 16089 (toysat) S 16084 16087 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109637062 2546536448 563209 33554432000 4194304 16246674 140736808115200 140055259622640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16087/tid=16090] ppid=16084 vsize=2486852 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109637062 2546536448 563209 33554432000 4194304 16246674 140736808115200 140055249149104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.97 Current children cumulated vsize (KiB) 2486852 [startup+1602.3 s] /proc/loadavg: 2.19 2.12 2.09 3/184 16179 /proc/meminfo: memFree=28225116/32872528 swapFree=11196/354588 [pid=16087] ppid=16084 vsize=2486852 CPUtime=1601.96 cores=0,2,4,6 /proc/16087/stat : 16087 (toysat) R 16084 16087 12837 0 -1 4202496 540880 0 0 0 160096 100 0 0 20 0 4 0 109637062 2546536448 563209 33554432000 4194304 16246674 140736808115200 140736808097088 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16087/statm: 621713 563209 895 2943 0 618607 0 [pid=16087/tid=16088] ppid=16084 vsize=2486852 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16088/stat : 16088 (toysat) S 16084 16087 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109637062 2546536448 563209 33554432000 4194304 16246674 140736808115200 140055344557296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16087/tid=16089] ppid=16084 vsize=2486852 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16089/stat : 16089 (toysat) S 16084 16087 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109637062 2546536448 563209 33554432000 4194304 16246674 140736808115200 140055259622640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16087/tid=16090] ppid=16084 vsize=2486852 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109637062 2546536448 563209 33554432000 4194304 16246674 140736808115200 140055249149104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.96 Current children cumulated vsize (KiB) 2486852 [startup+1662.3 s] /proc/loadavg: 2.16 2.12 2.09 3/182 16180 /proc/meminfo: memFree=28165104/32872528 swapFree=11196/354588 [pid=16087] ppid=16084 vsize=2530884 CPUtime=1661.93 cores=0,2,4,6 /proc/16087/stat : 16087 (toysat) R 16084 16087 12837 0 -1 4202496 552169 0 0 0 166064 129 0 0 20 0 4 0 109637062 2591625216 574468 33554432000 4194304 16246674 140736808115200 140736808097088 5676609 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16087/statm: 632721 574468 895 2943 0 629615 0 [pid=16087/tid=16088] ppid=16084 vsize=2530884 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16088/stat : 16088 (toysat) S 16084 16087 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109637062 2591625216 574468 33554432000 4194304 16246674 140736808115200 140055344557296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16087/tid=16089] ppid=16084 vsize=2530884 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16089/stat : 16089 (toysat) S 16084 16087 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109637062 2591625216 574468 33554432000 4194304 16246674 140736808115200 140055259622640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16087/tid=16090] ppid=16084 vsize=2530884 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109637062 2591625216 574468 33554432000 4194304 16246674 140736808115200 140055249149104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 2530884 [startup+1722.3 s] /proc/loadavg: 2.09 2.11 2.09 3/183 16182 /proc/meminfo: memFree=28164876/32872528 swapFree=11196/354588 [pid=16087] ppid=16084 vsize=2530884 CPUtime=1721.9 cores=0,2,4,6 /proc/16087/stat : 16087 (toysat) R 16084 16087 12837 0 -1 4202496 552182 0 0 0 172057 133 0 0 20 0 4 0 109637062 2591625216 574468 33554432000 4194304 16246674 140736808115200 140736808114376 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16087/statm: 632721 574468 895 2943 0 629615 0 [pid=16087/tid=16088] ppid=16084 vsize=2530884 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16088/stat : 16088 (toysat) S 16084 16087 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109637062 2591625216 574468 33554432000 4194304 16246674 140736808115200 140055344557296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16087/tid=16089] ppid=16084 vsize=2530884 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16089/stat : 16089 (toysat) S 16084 16087 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109637062 2591625216 574468 33554432000 4194304 16246674 140736808115200 140055259622640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16087/tid=16090] ppid=16084 vsize=2530884 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109637062 2591625216 574468 33554432000 4194304 16246674 140736808115200 140055249149104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 2530884 [startup+1782.3 s] /proc/loadavg: 2.03 2.09 2.08 3/183 16183 /proc/meminfo: memFree=28132416/32872528 swapFree=11196/354588 [pid=16087] ppid=16084 vsize=2563652 CPUtime=1781.88 cores=0,2,4,6 /proc/16087/stat : 16087 (toysat) R 16084 16087 12837 0 -1 4202496 560190 0 0 0 178041 147 0 0 20 0 4 0 109637062 2625179648 582460 33554432000 4194304 16246674 140736808115200 140736808097088 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16087/statm: 640913 582460 895 2943 0 637807 0 [pid=16087/tid=16088] ppid=16084 vsize=2563652 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16088/stat : 16088 (toysat) S 16084 16087 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109637062 2625179648 582460 33554432000 4194304 16246674 140736808115200 140055344557296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16087/tid=16089] ppid=16084 vsize=2563652 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16089/stat : 16089 (toysat) S 16084 16087 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109637062 2625179648 582460 33554432000 4194304 16246674 140736808115200 140055259622640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16087/tid=16090] ppid=16084 vsize=2563652 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109637062 2625179648 582460 33554432000 4194304 16246674 140736808115200 140055249149104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 2563652 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.10 2.10 2.09 4/183 16184 /proc/meminfo: memFree=28132256/32872528 swapFree=11196/354588 [pid=16087] ppid=16084 vsize=2563652 CPUtime=1800.08 cores=0,2,4,6 /proc/16087/stat : 16087 (toysat) R 16084 16087 12837 0 -1 4202496 560198 0 0 0 179860 148 0 0 20 0 4 0 109637062 2625179648 582460 33554432000 4194304 16246674 140736808115200 140736808097088 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16087/statm: 640913 582460 895 2943 0 637807 0 [pid=16087/tid=16088] ppid=16084 vsize=2563652 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16088/stat : 16088 (toysat) S 16084 16087 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109637062 2625179648 582460 33554432000 4194304 16246674 140736808115200 140055344557296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16087/tid=16089] ppid=16084 vsize=2563652 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16089/stat : 16089 (toysat) S 16084 16087 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109637062 2625179648 582460 33554432000 4194304 16246674 140736808115200 140055259622640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16087/tid=16090] ppid=16084 vsize=2563652 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109637062 2625179648 582460 33554432000 4194304 16246674 140736808115200 140055249149104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 2563652 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 16087 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.10 2.10 2.09 4/183 16184 /proc/meminfo: memFree=28132256/32872528 swapFree=11196/354588 [pid=16087] ppid=16084 vsize=2563652 CPUtime=1800.08 cores=0,2,4,6 /proc/16087/stat : 16087 (toysat) R 16084 16087 12837 0 -1 4202496 560198 0 0 0 179860 148 0 0 20 0 4 0 109637062 2625179648 582460 33554432000 4194304 16246674 140736808115200 140736808097088 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16087/statm: 640913 582460 895 2943 0 637807 0 [pid=16087/tid=16088] ppid=16084 vsize=2563652 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16088/stat : 16088 (toysat) S 16084 16087 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109637062 2625179648 582460 33554432000 4194304 16246674 140736808115200 140055344557296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16087/tid=16089] ppid=16084 vsize=2563652 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16089/stat : 16089 (toysat) S 16084 16087 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109637062 2625179648 582460 33554432000 4194304 16246674 140736808115200 140055259622640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16087/tid=16090] ppid=16084 vsize=2563652 CPUtime=0 cores=0,2,4,6 /proc/16087/task/16090/stat : 16090 (toysat) S 16084 16087 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109637062 2625179648 582460 33554432000 4194304 16246674 140736808115200 140055249149104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 2563652 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.55 CPU time (s): 1800.13 CPU user time (s): 1798.61 CPU system time (s): 1.51977 CPU usage (%): 99.9769 Max. virtual memory (cumulated for all children) (KiB): 2563652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.61 system time used= 1.51977 maximum resident set size= 2329840 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 560198 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= 320 involuntary context switches= 1847 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.9253 second user time and 17.3694 second system time The end
Begin job on node126 at 2016-06-07 07:23:56 IDJOB=4078847 IDBENCH=89805 IDSOLVER=2542 FILE ID=node126/4078847-1465277035 RUNJOBID= node126-1465253620-12853 PBS_JOBID= 19843265 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-112.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078847-1465277035/watcher-4078847-1465277035 -o /tmp/evaluation-result-4078847-1465277035/solver-4078847-1465277035 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12853 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078847-1465277035.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7a0b627cea8cce891554469525360150 RANDOM SEED=1036512554 node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30475072 kB Buffers: 35488 kB Cached: 165096 kB SwapCached: 2168 kB Active: 1218648 kB Inactive: 93468 kB Active(anon): 1109440 kB Inactive(anon): 4052 kB Active(file): 109208 kB Inactive(file): 89416 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098636 kB Dirty: 48936 kB Writeback: 0 kB AnonPages: 1464624 kB Mapped: 10724 kB Shmem: 0 kB Slab: 598076 kB SReclaimable: 41976 kB SUnreclaim: 556100 kB KernelStack: 1504 kB PageTables: 7372 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1608940 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 348160 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= 71676 MiB End job on node126 at 2016-06-07 07:53:57