| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.51 |
| Name | /DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K89.opb |
| MD5SUM | 30c9df0e6d94fba856558f98ad1383d9 |
| 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 | 6052 |
| Total number of constraints | 6232 |
| Number of constraints which are clauses | 6143 |
| Number of constraints which are cardinality constraints (but not clauses) | 89 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 89 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 90 |
| Number of bits of the biggest sum of numbers | 7 |
| 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-07T09:07:21+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-4078940-1465283241.opb"] 0.00/0.01 c use --random-gen="3973101177 480496416 456418648 3157731287 2536054512 2770762027 2393620435 1582829269 971029304 3935858283 1244731752 2427928705 3133945921 3881123652 1892739421 63712257 3776022616 1652337754 2210535407 3451313936 163012113 2704626486 961469642 434375308 2203900257 186845478 1773012247 1610884786 3357638145 255106820 786947207 2114883571 842785889 4224039737 448046103 159773990 1752241996 2008323778 3785742920 2154292455 1888244369 868934508 775773183 3525209268 2750642195 287563260 281466016 2453688713 3716348881 4005212744 2325302920 2463227763 1014287982 2126495924 1535716177 3343012092 2586146890 3112168777 2046308175 1103226458 575321283 128093716 320519001 737232550 2790341297 2096287795 3974982154 2083860377 3007202083 1065847110 2822437990 926170556 2680021668 2241569368 2409402879 3471056879 2265268287 1892982995 281449213 1224662569 1485638434 1159584085 2519907939 1143273663 4028248493 489921197 2436451001 1502464425 2504255894 1150118577 216840979 2105765463 1802557666 3954932963 4112331553 2935984049 1822495019 1423625161 2327257529 2982372950 4109233090 2293597938 4282100816 128795107 1070804148 80687383 2662176115 3947212722 4227828161 2737026045 3613791205 1145421142 851869698 3372601229 784794052 426091404 2158771956 860151640 372955946 294568407 827678564 1791114934 981181397 3517798012 2270862719 929335990 2370223730 536905666 3887059531 2822077060 1811164772 1392140505 739623577 1264909144 3881493997 2761191845 2120228570 2268011970 4027447393 284962330 479008996 4132147095 166674625 1149093575 1135441334 1674022589 3802967804 154441517 1613650332 1023960580 1637083834 2687812458 2807069907 3183178302 1521798415 3407192787 7270287 2305370279 1362582085 1834947775 2084245047 1336996930 2233067383 229998162 1715966159 3761639253 3524958504 3868234116 3433207521 1345693576 3681860416 3521269679 1881399055 1479488892 2163619334 2315015973 2713399822 3455735180 3615808109 663665722 718866698 1651316694 299228185 1835971858 345593392 1754769355 94010888 1625680680 113996956 2958232814 3100505243 1612972611 663001689 1944262952 2061421628 3726402207 751870401 3026303014 967927008 2697286206 3339548212 3890408334 181705791 1004494582 3865207780 3951833056 2491685629 2363708163 3331764042 468603564 3134254500 1599510192 3163402208 2830234957 1929011906 1233959558 2178051879 4102875362 2486415103 721647776 2773666260 1115741373 1873920050 607060692 911441718 2125401880 2197930345 2953954206 67360995 3941559603 1891396430 3770677042 1802059112 430586891 2817033309 2038451510 3334657925 4143244029 3725013936 3688873018 3968501306 334433933 1564182696 148169625 3413751552 234328889 3510899415 2976983770 1707764977 4124085627 584075038 1162300630 2061782938 3547650401 1299244711 841037911 255 362436" option to reproduce the execution 0.09/0.10 c #vars 6052 0.09/0.10 c #constraints 6232 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 4094 0 | 362 | 0 0.39/0.40 c 0.2s | 1 | 3971 | 100 | 4094 0 | 363 | 304 0.58/0.61 c 0.4s | 2 | 9093 | 250 | 4504 0 | 363 | 304 0.89/0.91 c 0.7s | 3 | 12304 | 475 | 4955 0 | 363 | 304 1.19/1.24 c 1.0s | 4 | 17126 | 813 | 5451 0 | 363 | 304 1.79/1.88 c 1.7s | 5 | 22595 | 1320 | 5997 0 | 364 | 305 2.79/2.88 c 2.7s | 6 | 34825 | 2081 | 7257 0 | 367 | 308 3.99/4.06 c 3.8s | 7 | 58381 | 3223 | 7983 0 | 369 | 310 5.99/6.09 c 5.9s | 7 | 67053 | 4723 | 7983 0 | 369 | 310 6.29/6.39 c 6.2s | 8 | 67733 | 4936 | 8782 0 | 369 | 310 8.39/8.44 c 8.2s | 8 | 73016 | 6036 | 8782 0 | 369 | 310 10.49/10.55 c 10.3s | 8 | 91161 | 7436 | 8782 0 | 369 | 310 10.59/10.69 c 10.5s | 9 | 92625 | 7506 | 9661 0 | 370 | 311 12.69/12.70 c 12.5s | 9 | 99534 | 8606 | 9661 0 | 372 | 313 14.69/14.75 c 14.5s | 9 | 101213 | 9206 | 9661 0 | 372 | 313 17.19/17.26 c 17.0s | 9 | 102648 | 9806 | 9661 0 | 372 | 313 19.19/19.29 c 19.1s | 9 | 116693 | 11306 | 10628 1 | 372 | 313 19.29/19.35 c 19.1s | 10 | 117149 | 11361 | 10628 1 | 372 | 313 21.39/21.49 c 21.3s | 10 | 135597 | 12661 | 10628 1 | 372 | 313 23.49/23.52 c 23.3s | 10 | 152393 | 14061 | 10628 1 | 373 | 314 25.49/25.53 c 25.3s | 10 | 168627 | 15261 | 10628 1 | 374 | 315 27.59/27.62 c 27.4s | 10 | 184952 | 16661 | 10628 1 | 374 | 315 28.59/28.61 c 28.4s | 11 | 186911 | 17144 | 11691 1 | 374 | 315 30.59/30.69 c 30.5s | 11 | 204196 | 18344 | 11691 2 | 375 | 316 32.89/32.99 c 32.8s | 11 | 221534 | 19744 | 11691 2 | 377 | 318 34.99/35.09 c 34.9s | 11 | 238598 | 21144 | 11691 2 | 378 | 319 37.09/37.13 c 36.9s | 11 | 263514 | 22544 | 11691 2 | 378 | 319 39.09/39.15 c 38.9s | 11 | 276687 | 23744 | 11691 2 | 379 | 320 41.18/41.21 c 41.0s | 11 | 295926 | 25144 | 11691 3 | 380 | 321 42.08/42.11 c 41.9s | 12 | 304645 | 25819 | 12861 3 | 380 | 321 44.18/44.22 c 44.0s | 12 | 317276 | 27019 | 12861 3 | 381 | 322 46.19/46.25 c 46.0s | 12 | 330112 | 28219 | 12861 3 | 381 | 322 48.28/48.32 c 48.1s | 12 | 347249 | 29519 | 12861 3 | 383 | 324 50.48/50.55 c 50.3s | 12 | 360398 | 30619 | 12861 3 | 383 | 324 52.58/52.64 c 52.4s | 12 | 362402 | 31119 | 12861 3 | 383 | 324 54.68/54.79 c 54.6s | 12 | 365831 | 32019 | 12861 3 | 383 | 324 58.18/58.28 c 58.1s | 12 | 366869 | 32419 | 12861 3 | 383 | 324 60.38/60.41 c 60.2s | 12 | 367999 | 32719 | 12861 3 | 383 | 324 63.18/63.28 c 63.1s | 12 | 369229 | 33119 | 12861 3 | 383 | 324 66.38/66.49 c 66.3s | 12 | 370456 | 33519 | 12861 3 | 383 | 324 68.48/68.58 c 68.4s | 12 | 380991 | 34519 | 12861 4 | 383 | 324 70.68/70.74 c 70.5s | 12 | 385178 | 35419 | 12861 4 | 383 | 324 72.78/72.87 c 72.6s | 12 | 390569 | 36319 | 12861 4 | 383 | 324 74.79/74.88 c 74.7s | 12 | 395195 | 37319 | 12861 4 | 383 | 324 76.98/77.06 c 76.8s | 12 | 403006 | 38519 | 12861 4 | 383 | 324 77.68/77.73 c 77.5s | 13 | 406095 | 38832 | 14148 4 | 383 | 324 79.78/79.89 c 79.7s | 13 | 413442 | 39832 | 14148 4 | 383 | 324 81.88/81.96 c 81.7s | 13 | 422259 | 40832 | 14148 4 | 383 | 324 83.88/83.98 c 83.8s | 13 | 433015 | 41732 | 14148 5 | 385 | 326 86.08/86.12 c 85.9s | 13 | 450343 | 43232 | 14148 5 | 385 | 326 88.18/88.20 c 88.0s | 13 | 462101 | 44632 | 14148 5 | 385 | 326 90.18/90.26 c 90.0s | 13 | 481510 | 45932 | 14148 5 | 385 | 326 92.28/92.30 c 92.1s | 13 | 496341 | 47432 | 14148 5 | 385 | 326 94.47/94.55 c 94.3s | 13 | 511714 | 48732 | 14148 5 | 385 | 326 96.67/96.79 c 96.6s | 13 | 527573 | 49932 | 14148 6 | 385 | 326 98.87/98.91 c 98.7s | 13 | 529637 | 50732 | 14148 6 | 385 | 326 100.87/100.94 c 100s | 13 | 546755 | 51832 | 14148 6 | 385 | 326 102.97/103.00 c 102s | 13 | 559313 | 52932 | 14148 6 | 385 | 326 104.97/105.07 c 104s | 13 | 568735 | 53832 | 14148 6 | 385 | 326 107.47/107.59 c 107s | 13 | 570653 | 54332 | 14148 6 | 385 | 326 110.47/110.55 c 110s | 13 | 571648 | 54632 | 14148 6 | 385 | 326 113.17/113.23 c 113s | 13 | 572354 | 54932 | 14148 6 | 385 | 326 115.67/115.73 c 115s | 13 | 573163 | 55332 | 14148 6 | 385 | 326 118.37/118.48 c 118s | 13 | 573619 | 55532 | 14148 6 | 385 | 326 120.47/120.51 c 120s | 13 | 574083 | 55732 | 14148 6 | 385 | 326 123.87/123.94 c 123s | 13 | 574490 | 55932 | 14148 6 | 385 | 326 125.97/126.07 c 125s | 13 | 574660 | 56032 | 14148 6 | 385 | 326 128.57/128.66 c 128s | 13 | 575074 | 56232 | 14148 6 | 385 | 326 130.67/130.71 c 130s | 13 | 575511 | 56432 | 14148 6 | 385 | 326 133.37/133.47 c 133s | 13 | 576071 | 56632 | 14148 6 | 385 | 326 137.36/137.49 c 137s | 13 | 576439 | 56832 | 14148 6 | 385 | 326 140.96/141.02 c 140s | 13 | 576941 | 57032 | 14148 6 | 385 | 326 142.97/143.04 c 142s | 13 | 577173 | 57132 | 14148 6 | 385 | 326 146.27/146.36 c 146s | 13 | 577601 | 57332 | 14148 6 | 385 | 326 148.66/148.73 c 148s | 13 | 577853 | 57432 | 14148 6 | 385 | 326 152.77/152.88 c 152s | 13 | 578030 | 57532 | 14148 6 | 385 | 326 156.28/156.37 c 156s | 13 | 578586 | 57732 | 14148 6 | 385 | 326 159.37/159.41 c 159s | 13 | 578812 | 57832 | 14148 6 | 385 | 326 161.47/161.52 c 161s | 13 | 579170 | 57932 | 14148 6 | 385 | 326 164.27/164.37 c 164s | 13 | 579333 | 58032 | 15563 6 | 385 | 326 166.27/166.39 c 166s | 13 | 579652 | 58132 | 15563 6 | 385 | 326 168.57/168.67 c 168s | 13 | 580420 | 58332 | 15563 6 | 385 | 326 168.67/168.75 c 168s | 14 | 580720 | 58352 | 15563 6 | 385 | 326 170.87/170.90 c 170s | 14 | 598209 | 59552 | 15563 7 | 385 | 326 172.87/172.96 c 172s | 14 | 612777 | 60852 | 15563 7 | 385 | 326 174.87/174.97 c 174s | 14 | 630815 | 62152 | 15563 7 | 385 | 326 176.87/176.99 c 176s | 14 | 637801 | 63352 | 15563 7 | 385 | 326 178.96/179.02 c 178s | 14 | 649145 | 64452 | 15563 7 | 385 | 326 180.96/181.02 c 180s | 14 | 654860 | 65252 | 15563 7 | 385 | 326 182.96/183.09 c 182s | 14 | 667482 | 66652 | 15563 7 | 385 | 326 185.06/185.13 c 184s | 14 | 680628 | 67952 | 15563 8 | 385 | 326 187.26/187.33 c 187s | 14 | 687457 | 69052 | 15563 8 | 385 | 326 189.27/189.39 c 189s | 14 | 701245 | 70352 | 15563 8 | 385 | 326 191.37/191.43 c 191s | 14 | 715798 | 71552 | 15563 8 | 385 | 326 193.57/193.68 c 193s | 14 | 717167 | 72052 | 15563 8 | 385 | 326 195.77/195.89 c 195s | 14 | 722349 | 73052 | 15563 8 | 385 | 326 198.16/198.20 c 197s | 14 | 723792 | 73552 | 15563 8 | 385 | 326 200.17/200.24 c 200s | 14 | 725314 | 74052 | 15563 8 | 385 | 326 202.66/202.71 c 202s | 14 | 725788 | 74252 | 15563 8 | 385 | 326 205.06/205.10 c 204s | 14 | 726423 | 74552 | 15563 8 | 385 | 326 207.16/207.20 c 206s | 14 | 726891 | 74752 | 15563 8 | 385 | 326 209.26/209.36 c 209s | 14 | 727344 | 74952 | 15563 8 | 385 | 326 211.56/211.68 c 211s | 14 | 728478 | 75352 | 15563 8 | 385 | 326 214.26/214.39 c 214s | 14 | 730752 | 75752 | 15563 8 | 385 | 326 216.46/216.50 c 216s | 14 | 731917 | 76152 | 15563 8 | 385 | 326 218.55/218.62 c 218s | 14 | 734055 | 76652 | 15563 8 | 385 | 326 220.55/220.68 c 220s | 14 | 735251 | 77052 | 15563 8 | 385 | 326 223.26/223.32 c 223s | 14 | 736006 | 77352 | 15563 8 | 385 | 326 225.46/225.58 c 225s | 14 | 736740 | 77652 | 15563 8 | 385 | 326 228.35/228.47 c 228s | 14 | 737730 | 78052 | 15563 8 | 385 | 326 230.75/230.81 c 230s | 14 | 738962 | 78452 | 15563 9 | 385 | 326 233.26/233.39 c 233s | 14 | 740559 | 78852 | 15563 9 | 385 | 326 235.55/235.62 c 235s | 14 | 740675 | 78952 | 15563 9 | 385 | 326 238.45/238.56 c 238s | 14 | 741153 | 79152 | 15563 9 | 385 | 326 240.66/240.75 c 240s | 14 | 741802 | 79352 | 15563 9 | 385 | 326 243.56/243.65 c 243s | 14 | 742258 | 79552 | 15563 9 | 385 | 326 245.55/245.69 c 245s | 14 | 742853 | 79752 | 15563 9 | 385 | 326 248.66/248.75 c 248s | 14 | 743386 | 79952 | 15563 9 | 385 | 326 250.65/250.76 c 250s | 14 | 743790 | 80152 | 15563 9 | 385 | 326 254.75/254.81 c 254s | 14 | 744129 | 80352 | 15563 9 | 385 | 326 257.05/257.14 c 256s | 14 | 745055 | 80552 | 15563 9 | 385 | 326 259.75/259.89 c 259s | 14 | 745589 | 80752 | 15563 9 | 385 | 326 263.05/263.15 c 262s | 14 | 745981 | 80952 | 15563 9 | 385 | 326 265.94/266.00 c 265s | 14 | 746794 | 81252 | 15563 9 | 385 | 326 268.24/268.34 c 268s | 14 | 747234 | 81452 | 15563 9 | 385 | 326 270.74/270.83 c 270s | 14 | 748082 | 81652 | 15563 9 | 385 | 326 273.43/273.59 c 273s | 14 | 748409 | 81852 | 15563 9 | 385 | 326 275.63/275.79 c 275s | 14 | 749723 | 82152 | 15563 9 | 385 | 326 277.93/278.02 c 277s | 14 | 750428 | 82452 | 15563 9 | 385 | 326 280.44/280.56 c 280s | 14 | 751140 | 82752 | 15563 9 | 385 | 326 282.44/282.59 c 282s | 14 | 752119 | 83052 | 15563 9 | 385 | 326 284.54/284.63 c 284s | 14 | 752635 | 83252 | 15563 9 | 385 | 326 287.24/287.39 c 287s | 14 | 753350 | 83552 | 15563 9 | 385 | 326 289.34/289.48 c 289s | 14 | 753951 | 83752 | 15563 9 | 385 | 326 292.03/292.17 c 291s | 14 | 756746 | 84152 | 15563 9 | 385 | 326 294.53/294.69 c 294s | 14 | 757261 | 84352 | 15563 9 | 385 | 326 296.83/296.97 c 296s | 14 | 758522 | 84652 | 15563 9 | 385 | 326 299.33/299.46 c 299s | 14 | 758993 | 84852 | 15563 9 | 385 | 326 301.44/301.54 c 301s | 14 | 759709 | 85052 | 15563 9 | 385 | 326 303.93/304.06 c 303s | 14 | 760586 | 85352 | 15563 9 | 385 | 326 306.83/306.99 c 306s | 14 | 761420 | 85652 | 15563 9 | 385 | 326 309.92/310.00 c 309s | 14 | 762567 | 85952 | 15563 9 | 385 | 326 312.22/312.30 c 312s | 14 | 763066 | 86152 | 15563 9 | 385 | 326 314.32/314.40 c 314s | 14 | 763808 | 86352 | 15563 9 | 385 | 326 316.32/316.41 c 316s | 14 | 764301 | 86552 | 15563 9 | 385 | 326 318.53/318.61 c 318s | 14 | 765751 | 86852 | 15563 9 | 385 | 326 320.53/320.66 c 320s | 14 | 766478 | 87152 | 17120 9 | 385 | 326 323.33/323.50 c 323s | 14 | 767736 | 87452 | 17120 9 | 385 | 326 324.93/325.05 c 324s | 15 | 768085 | 87632 | 17120 9 | 385 | 326 326.93/327.07 c 326s | 15 | 780979 | 88332 | 17120 10 | 385 | 326 328.93/329.09 c 328s | 15 | 793494 | 89632 | 17120 10 | 385 | 326 331.03/331.13 c 330s | 15 | 802141 | 90832 | 17120 10 | 385 | 326 333.02/333.15 c 332s | 15 | 809468 | 92132 | 17120 10 | 385 | 326 335.32/335.42 c 335s | 15 | 822771 | 93432 | 17120 10 | 385 | 326 337.42/337.50 c 337s | 15 | 831054 | 94432 | 17120 10 | 385 | 326 339.51/339.64 c 339s | 15 | 846668 | 95832 | 17120 10 | 385 | 326 341.61/341.73 c 341s | 15 | 862220 | 97032 | 17120 11 | 385 | 326 343.81/343.98 c 343s | 15 | 878901 | 98432 | 17120 11 | 385 | 326 345.91/346.03 c 345s | 15 | 892099 | 99632 | 17120 11 | 385 | 326 347.91/348.07 c 347s | 15 | 896005 | 100332 | 17120 11 | 385 | 326 350.01/350.10 c 349s | 15 | 904957 | 101232 | 17120 11 | 385 | 326 352.11/352.25 c 352s | 15 | 906227 | 101732 | 17120 11 | 385 | 326 354.21/354.38 c 354s | 15 | 919879 | 102932 | 17120 11 | 386 | 327 356.31/356.50 c 356s | 15 | 936802 | 104232 | 17120 11 | 386 | 327 358.51/358.62 c 358s | 15 | 950648 | 105632 | 17120 11 | 386 | 327 360.51/360.64 c 360s | 15 | 958496 | 106632 | 17120 11 | 386 | 327 362.50/362.66 c 362s | 15 | 960305 | 107232 | 17120 11 | 386 | 327 364.80/364.94 c 364s | 15 | 962631 | 107932 | 17120 12 | 386 | 327 366.90/367.05 c 366s | 15 | 971500 | 109132 | 17120 12 | 386 | 327 369.10/369.28 c 369s | 15 | 979242 | 110332 | 17120 12 | 386 | 327 371.10/371.28 c 371s | 15 | 983219 | 111432 | 17120 12 | 386 | 327 373.60/373.70 c 373s | 15 | 988269 | 112532 | 17120 12 | 386 | 327 375.60/375.79 c 375s | 15 | 989044 | 112832 | 17120 12 | 386 | 327 377.60/377.80 c 377s | 15 | 994291 | 113632 | 17120 12 | 386 | 327 379.90/380.08 c 379s | 15 | 1002178 | 114632 | 17120 12 | 386 | 327 382.40/382.56 c 382s | 15 | 1007473 | 115432 | 17120 12 | 386 | 327 384.50/384.61 c 384s | 15 | 1012220 | 116132 | 17120 12 | 386 | 327 386.80/386.95 c 386s | 15 | 1015046 | 116732 | 17120 12 | 386 | 327 388.80/388.97 c 388s | 15 | 1027230 | 117932 | 17120 13 | 386 | 327 390.90/391.02 c 390s | 15 | 1037467 | 119332 | 17120 13 | 386 | 327 393.20/393.34 c 393s | 15 | 1044448 | 120432 | 17120 13 | 386 | 327 395.39/395.50 c 395s | 15 | 1049403 | 121532 | 17120 13 | 386 | 327 397.49/397.68 c 397s | 15 | 1053506 | 122432 | 17120 13 | 386 | 327 399.79/399.98 c 399s | 15 | 1058366 | 123532 | 17120 13 | 386 | 327 401.99/402.17 c 401s | 15 | 1066339 | 124732 | 17120 13 | 386 | 327 404.19/404.33 c 404s | 15 | 1074219 | 125632 | 17120 13 | 386 | 327 406.29/406.47 c 406s | 15 | 1078871 | 126432 | 17120 14 | 386 | 327 408.39/408.50 c 408s | 15 | 1085176 | 127632 | 17120 14 | 386 | 327 410.59/410.72 c 410s | 15 | 1091545 | 128832 | 17120 14 | 386 | 327 412.69/412.85 c 412s | 15 | 1096952 | 129732 | 17120 14 | 386 | 327 414.79/414.95 c 414s | 15 | 1103539 | 131032 | 18832 14 | 386 | 327 416.29/416.41 c 416s | 16 | 1105250 | 131552 | 18832 14 | 386 | 327 418.49/418.63 c 418s | 16 | 1118235 | 133052 | 18832 14 | 386 | 327 420.59/420.72 c 420s | 16 | 1129628 | 134452 | 18832 14 | 386 | 327 422.69/422.80 c 422s | 16 | 1145807 | 135752 | 18832 14 | 386 | 327 424.69/424.84 c 424s | 16 | 1160456 | 136952 | 18832 15 | 386 | 327 426.80/426.91 c 426s | 16 | 1170327 | 138152 | 18832 15 | 386 | 327 428.99/429.12 c 428s | 16 | 1185452 | 139752 | 18832 15 | 386 | 327 431.09/431.26 c 431s | 16 | 1199445 | 141152 | 18832 15 | 386 | 327 433.29/433.44 c 433s | 16 | 1208586 | 142152 | 18832 15 | 386 | 327 435.38/435.57 c 435s | 16 | 1216450 | 143152 | 18832 15 | 386 | 327 437.48/437.65 c 437s | 16 | 1229076 | 144352 | 18832 15 | 386 | 327 439.48/439.68 c 439s | 16 | 1239882 | 145452 | 18832 15 | 386 | 327 441.78/441.95 c 441s | 16 | 1245586 | 146352 | 18832 15 | 386 | 327 443.88/444.02 c 443s | 16 | 1250384 | 147152 | 18832 16 | 386 | 327 445.98/446.13 c 445s | 16 | 1265121 | 148552 | 18832 16 | 386 | 327 448.08/448.20 c 447s | 16 | 1278411 | 149852 | 18832 16 | 386 | 327 450.18/450.31 c 450s | 16 | 1283828 | 150852 | 18832 16 | 386 | 327 452.28/452.46 c 452s | 16 | 1300365 | 152452 | 18832 16 | 386 | 327 454.30/454.49 c 454s | 16 | 1306580 | 153552 | 18832 16 | 387 | 328 456.39/456.51 c 456s | 16 | 1321514 | 154852 | 18832 16 | 388 | 329 458.39/458.51 c 458s | 16 | 1328924 | 156052 | 18832 16 | 388 | 329 460.58/460.76 c 460s | 16 | 1331550 | 156852 | 18832 16 | 388 | 329 462.58/462.77 c 462s | 16 | 1345754 | 158152 | 18832 17 | 388 | 329 464.68/464.89 c 464s | 16 | 1366744 | 159752 | 18832 17 | 388 | 329 466.98/467.16 c 466s | 16 | 1372073 | 160852 | 18832 17 | 388 | 329 469.08/469.20 c 468s | 16 | 1380786 | 161952 | 18832 17 | 388 | 329 471.18/471.37 c 471s | 16 | 1391270 | 163452 | 18832 17 | 388 | 329 473.38/473.50 c 473s | 16 | 1405056 | 164552 | 18832 17 | 388 | 329 475.38/475.56 c 475s | 16 | 1422267 | 165952 | 18832 17 | 388 | 329 477.38/477.59 c 477s | 16 | 1441238 | 167252 | 18832 18 | 389 | 330 479.37/479.59 c 479s | 16 | 1460135 | 168752 | 18832 18 | 391 | 332 481.47/481.61 c 481s | 16 | 1474746 | 170152 | 18832 18 | 391 | 332 483.47/483.69 c 483s | 16 | 1493341 | 171552 | 18832 18 | 391 | 332 485.57/485.73 c 485s | 16 | 1500962 | 172752 | 18832 18 | 391 | 332 487.77/487.93 c 487s | 16 | 1504770 | 173652 | 18832 18 | 391 | 332 489.98/490.19 c 489s | 16 | 1506869 | 174252 | 18832 18 | 391 | 332 492.08/492.27 c 492s | 16 | 1520939 | 175552 | 18832 18 | 391 | 332 494.28/494.42 c 494s | 16 | 1535508 | 176852 | 18832 18 | 391 | 332 496.28/496.46 c 496s | 16 | 1542466 | 177752 | 18832 19 | 391 | 332 498.38/498.56 c 498s | 16 | 1562208 | 179352 | 18832 19 | 391 | 332 500.38/500.57 c 500s | 16 | 1579312 | 180852 | 18832 19 | 392 | 333 502.47/502.60 c 502s | 16 | 1591372 | 182252 | 18832 19 | 392 | 333 504.47/504.66 c 504s | 16 | 1601755 | 183752 | 18832 19 | 392 | 333 506.67/506.85 c 506s | 16 | 1611107 | 185352 | 18832 19 | 392 | 333 508.87/509.07 c 508s | 16 | 1613400 | 186052 | 18832 19 | 392 | 333 510.97/511.18 c 510s | 16 | 1614876 | 186552 | 18832 19 | 392 | 333 513.27/513.46 c 513s | 16 | 1616044 | 186952 | 18832 19 | 392 | 333 515.27/515.47 c 515s | 16 | 1616470 | 187152 | 18832 19 | 392 | 333 517.77/517.95 c 517s | 16 | 1617003 | 187352 | 18832 19 | 392 | 333 519.76/519.96 c 519s | 16 | 1639285 | 189052 | 18832 20 | 393 | 334 521.76/521.98 c 521s | 16 | 1655727 | 190752 | 18832 20 | 393 | 334 523.86/524.01 c 523s | 16 | 1672830 | 192352 | 18832 20 | 393 | 334 525.96/526.10 c 525s | 16 | 1682904 | 193552 | 18832 20 | 393 | 334 527.97/528.13 c 527s | 16 | 1689310 | 194552 | 18832 20 | 393 | 334 530.17/530.34 c 530s | 16 | 1692328 | 195452 | 18832 20 | 393 | 334 532.27/532.46 c 532s | 16 | 1710793 | 196952 | 20716 20 | 394 | 335 533.76/533.97 c 533s | 17 | 1712235 | 197432 | 20716 20 | 394 | 335 535.86/536.01 c 535s | 17 | 1732087 | 199032 | 20716 20 | 394 | 335 537.96/538.16 c 537s | 17 | 1737139 | 200132 | 20716 20 | 394 | 335 540.06/540.27 c 540s | 17 | 1741542 | 201032 | 20716 21 | 394 | 335 542.05/542.30 c 542s | 17 | 1745274 | 202232 | 20716 21 | 394 | 335 544.25/544.41 c 544s | 17 | 1754124 | 203532 | 20716 21 | 394 | 335 546.35/546.56 c 546s | 17 | 1763521 | 204932 | 20716 21 | 394 | 335 548.35/548.58 c 548s | 17 | 1779167 | 206632 | 20716 21 | 394 | 335 550.45/550.68 c 550s | 17 | 1795060 | 208032 | 20716 21 | 394 | 335 552.55/552.73 c 552s | 17 | 1812399 | 209332 | 20716 21 | 394 | 335 554.55/554.78 c 554s | 17 | 1820336 | 210432 | 20716 21 | 394 | 335 556.65/556.88 c 556s | 17 | 1828230 | 211332 | 20716 22 | 394 | 335 558.84/559.08 c 558s | 17 | 1834889 | 212432 | 20716 22 | 394 | 335 560.85/561.08 c 560s | 17 | 1842665 | 213632 | 20716 22 | 394 | 335 563.24/563.49 c 563s | 17 | 1848353 | 214832 | 20716 22 | 394 | 335 565.44/565.63 c 565s | 17 | 1852184 | 215532 | 20716 22 | 394 | 335 567.55/567.71 c 567s | 17 | 1853613 | 215932 | 20716 22 | 394 | 335 570.43/570.64 c 570s | 17 | 1854984 | 216332 | 20716 22 | 394 | 335 572.44/572.68 c 572s | 17 | 1856282 | 216632 | 20716 22 | 394 | 335 574.64/574.84 c 574s | 17 | 1866498 | 218032 | 20716 22 | 394 | 335 576.74/576.94 c 576s | 17 | 1874328 | 219132 | 20716 22 | 394 | 335 578.84/579.03 c 578s | 17 | 1900819 | 220732 | 20716 22 | 394 | 335 581.04/581.29 c 581s | 17 | 1916283 | 222232 | 20716 22 | 394 | 335 583.13/583.35 c 583s | 17 | 1924790 | 223432 | 20716 23 | 394 | 335 585.23/585.43 c 585s | 17 | 1930664 | 224732 | 20716 23 | 394 | 335 587.34/587.50 c 587s | 17 | 1959946 | 226532 | 20716 23 | 394 | 335 589.33/589.58 c 589s | 17 | 1981388 | 228132 | 20716 23 | 394 | 335 591.43/591.65 c 591s | 17 | 1992917 | 229332 | 20716 23 | 394 | 335 593.53/593.70 c 593s | 17 | 2006304 | 230632 | 20716 23 | 394 | 335 595.53/595.73 c 595s | 17 | 2021931 | 232032 | 20716 23 | 394 | 335 597.63/597.83 c 597s | 17 | 2045587 | 233532 | 20716 23 | 394 | 335 599.62/599.85 c 599s | 17 | 2066516 | 235032 | 20716 24 | 395 | 336 601.72/601.96 c 601s | 17 | 2090692 | 236932 | 20716 24 | 395 | 336 603.92/604.11 c 603s | 17 | 2109854 | 238332 | 20716 24 | 395 | 336 606.03/606.27 c 606s | 17 | 2121956 | 239632 | 20716 24 | 395 | 336 608.13/608.32 c 608s | 17 | 2142978 | 241032 | 20716 24 | 395 | 336 610.22/610.44 c 610s | 17 | 2158064 | 242232 | 20716 24 | 395 | 336 612.32/612.58 c 612s | 17 | 2163966 | 243432 | 20716 24 | 395 | 336 614.42/614.60 c 614s | 17 | 2169882 | 244532 | 20716 25 | 396 | 337 616.42/616.63 c 616s | 17 | 2187023 | 246332 | 20716 25 | 396 | 337 618.42/618.64 c 618s | 17 | 2199994 | 247832 | 20716 25 | 396 | 337 620.52/620.70 c 620s | 17 | 2205528 | 249132 | 20716 25 | 396 | 337 622.61/622.84 c 622s | 17 | 2208730 | 249932 | 20716 25 | 396 | 337 624.62/624.90 c 624s | 17 | 2210691 | 250532 | 20716 25 | 396 | 337 626.71/626.95 c 626s | 17 | 2213163 | 251232 | 20716 25 | 396 | 337 628.91/629.11 c 628s | 17 | 2214517 | 251732 | 20716 25 | 396 | 337 631.22/631.48 c 631s | 17 | 2216129 | 252232 | 20716 25 | 396 | 337 633.61/633.80 c 633s | 17 | 2217413 | 252632 | 20716 25 | 396 | 337 635.62/635.89 c 635s | 17 | 2226402 | 253732 | 20716 26 | 396 | 337 637.71/637.90 c 637s | 17 | 2239837 | 255432 | 20716 26 | 396 | 337 639.71/639.97 c 639s | 17 | 2246620 | 256632 | 20716 26 | 396 | 337 641.81/642.01 c 641s | 17 | 2261664 | 258232 | 20716 26 | 396 | 337 644.11/644.38 c 644s | 17 | 2272049 | 259632 | 20716 26 | 396 | 337 646.51/646.73 c 646s | 17 | 2277737 | 260732 | 20716 26 | 396 | 337 648.51/648.78 c 648s | 17 | 2283167 | 261832 | 20716 26 | 396 | 337 650.91/651.12 c 650s | 17 | 2286766 | 262632 | 20716 26 | 396 | 337 653.01/653.27 c 653s | 17 | 2288418 | 263132 | 20716 26 | 396 | 337 655.11/655.35 c 655s | 17 | 2316460 | 264832 | 20716 27 | 396 | 337 657.21/657.44 c 657s | 17 | 2333188 | 266632 | 20716 27 | 396 | 337 659.20/659.48 c 659s | 17 | 2342252 | 268432 | 20716 27 | 396 | 337 661.30/661.51 c 661s | 17 | 2354459 | 270032 | 20716 27 | 396 | 337 663.50/663.73 c 663s | 17 | 2363531 | 271432 | 20716 27 | 396 | 337 665.50/665.79 c 665s | 17 | 2367206 | 272432 | 20716 27 | 396 | 337 667.70/667.94 c 667s | 17 | 2371097 | 273332 | 20716 27 | 396 | 337 669.90/670.19 c 669s | 17 | 2373700 | 274132 | 20716 27 | 396 | 337 672.01/672.21 c 671s | 17 | 2376559 | 275032 | 20716 28 | 396 | 337 674.00/674.27 c 674s | 17 | 2381268 | 275932 | 20716 28 | 396 | 337 676.31/676.56 c 676s | 17 | 2384481 | 276732 | 20716 28 | 396 | 337 678.51/678.73 c 678s | 17 | 2386970 | 277232 | 20716 28 | 396 | 337 680.81/681.05 c 680s | 17 | 2388567 | 277732 | 20716 28 | 396 | 337 683.30/683.53 c 683s | 17 | 2392231 | 278532 | 20716 28 | 396 | 337 686.00/686.20 c 685s | 17 | 2393216 | 278932 | 20716 28 | 396 | 337 688.20/688.49 c 688s | 17 | 2394243 | 279332 | 20716 28 | 396 | 337 690.39/690.60 c 690s | 17 | 2396186 | 279632 | 20716 28 | 396 | 337 692.39/692.67 c 692s | 17 | 2420878 | 281232 | 20716 28 | 396 | 337 694.59/694.85 c 694s | 17 | 2435623 | 282632 | 20716 29 | 396 | 337 696.69/696.92 c 696s | 17 | 2464067 | 284832 | 20716 29 | 397 | 338 698.79/699.04 c 698s | 17 | 2484876 | 286632 | 20716 29 | 397 | 338 700.78/701.05 c 700s | 17 | 2497945 | 288132 | 20716 29 | 397 | 338 702.79/703.06 c 702s | 17 | 2510470 | 289432 | 20716 29 | 397 | 338 704.89/705.13 c 704s | 17 | 2541900 | 291132 | 20716 30 | 397 | 338 707.09/707.31 c 707s | 17 | 2555761 | 292732 | 20716 30 | 397 | 338 709.08/709.39 c 709s | 17 | 2565811 | 293832 | 20716 30 | 397 | 338 711.08/711.39 c 711s | 17 | 2584673 | 295332 | 22788 30 | 397 | 338 713.18/713.40 c 713s | 17 | 2592698 | 296232 | 22788 30 | 397 | 338 713.18/713.45 c 713s | 18 | 2592756 | 296252 | 22788 30 | 397 | 338 715.38/715.69 c 715s | 18 | 2607642 | 297752 | 22788 30 | 397 | 338 717.48/717.76 c 717s | 18 | 2625968 | 299152 | 22788 30 | 397 | 338 719.68/719.93 c 719s | 18 | 2629178 | 300052 | 22788 30 | 397 | 338 722.18/722.41 c 722s | 18 | 2632448 | 300952 | 22788 30 | 397 | 338 724.18/724.42 c 724s | 18 | 2647588 | 302452 | 22788 31 | 397 | 338 726.18/726.44 c 726s | 18 | 2659546 | 304052 | 22788 31 | 397 | 338 728.18/728.49 c 728s | 18 | 2679414 | 305852 | 22788 31 | 397 | 338 730.29/730.51 c 730s | 18 | 2705874 | 307352 | 22788 31 | 397 | 338 732.49/732.72 c 732s | 18 | 2715742 | 308552 | 22788 31 | 397 | 338 734.48/734.76 c 734s | 18 | 2729873 | 309752 | 22788 31 | 397 | 338 736.68/736.98 c 736s | 18 | 2735985 | 310852 | 22788 32 | 397 | 338 738.87/739.14 c 738s | 18 | 2744070 | 311852 | 22788 32 | 397 | 338 740.97/741.23 c 741s | 18 | 2745325 | 312352 | 22788 32 | 397 | 338 743.07/743.39 c 743s | 18 | 2747073 | 312852 | 22788 32 | 397 | 338 745.27/745.53 c 745s | 18 | 2751270 | 313452 | 22788 32 | 397 | 338 747.47/747.74 c 747s | 18 | 2755329 | 314052 | 22788 32 | 397 | 338 749.97/750.22 c 749s | 18 | 2755822 | 314252 | 22788 32 | 397 | 338 752.56/752.88 c 752s | 18 | 2756260 | 314452 | 22788 32 | 397 | 338 754.76/755.00 c 754s | 18 | 2756810 | 314652 | 22788 32 | 397 | 338 756.96/757.22 c 756s | 18 | 2757886 | 315152 | 22788 32 | 397 | 338 759.56/759.89 c 759s | 18 | 2758703 | 315452 | 22788 32 | 397 | 338 763.76/764.05 c 763s | 18 | 2760867 | 315752 | 22788 32 | 397 | 338 765.86/766.10 c 765s | 18 | 2764737 | 316552 | 22788 32 | 397 | 338 767.96/768.27 c 768s | 18 | 2765795 | 316952 | 22788 32 | 397 | 338 770.35/770.62 c 770s | 18 | 2767613 | 317452 | 22788 32 | 397 | 338 772.35/772.65 c 772s | 18 | 2769906 | 317952 | 22788 32 | 397 | 338 774.75/775.07 c 774s | 18 | 2771876 | 318352 | 22788 32 | 397 | 338 777.75/778.02 c 777s | 18 | 2772381 | 318552 | 22788 32 | 397 | 338 779.85/780.19 c 779s | 18 | 2773044 | 318752 | 22788 32 | 397 | 338 782.14/782.44 c 782s | 18 | 2773562 | 318952 | 22788 32 | 397 | 338 784.64/784.91 c 784s | 18 | 2774497 | 319152 | 22788 32 | 397 | 338 786.94/787.28 c 787s | 18 | 2775222 | 319352 | 22788 32 | 397 | 338 789.04/789.32 c 789s | 18 | 2780702 | 319952 | 22788 33 | 397 | 338 791.14/791.42 c 791s | 18 | 2802713 | 321852 | 22788 33 | 397 | 338 793.24/793.50 c 793s | 18 | 2815812 | 323352 | 22788 33 | 397 | 338 795.54/795.83 c 795s | 18 | 2817868 | 324152 | 22788 33 | 397 | 338 797.64/797.96 c 797s | 18 | 2826395 | 325152 | 22788 33 | 397 | 338 799.73/800.08 c 799s | 18 | 2843885 | 326752 | 22788 33 | 397 | 338 801.93/802.24 c 802s | 18 | 2847860 | 327652 | 22788 33 | 397 | 338 803.93/804.28 c 804s | 18 | 2861540 | 329152 | 22788 34 | 397 | 338 806.03/806.37 c 806s | 18 | 2887609 | 331152 | 22788 34 | 397 | 338 808.03/808.38 c 808s | 18 | 2900536 | 332352 | 22788 34 | 397 | 338 810.12/810.49 c 810s | 18 | 2918490 | 334052 | 22788 34 | 397 | 338 812.33/812.66 c 812s | 18 | 2933924 | 335452 | 22788 34 | 397 | 338 814.43/814.75 c 814s | 18 | 2959967 | 337252 | 22788 35 | 397 | 338 816.53/816.84 c 816s | 18 | 2973486 | 338852 | 22788 35 | 397 | 338 818.63/818.95 c 818s | 18 | 2980799 | 339952 | 22788 35 | 397 | 338 820.82/821.12 c 820s | 18 | 2996493 | 341652 | 22788 35 | 397 | 338 822.92/823.25 c 823s | 18 | 3011430 | 343152 | 22788 35 | 397 | 338 825.02/825.32 c 825s | 18 | 3023564 | 344452 | 22788 36 | 397 | 338 827.03/827.34 c 827s | 18 | 3033912 | 346052 | 22788 36 | 397 | 338 829.02/829.38 c 829s | 18 | 3040172 | 347452 | 22788 36 | 397 | 338 831.11/831.46 c 831s | 18 | 3043034 | 348252 | 22788 36 | 397 | 338 833.41/833.72 c 833s | 18 | 3052968 | 349252 | 22788 36 | 397 | 338 835.51/835.83 c 835s | 18 | 3061150 | 350652 | 22788 36 | 397 | 338 837.61/837.97 c 837s | 18 | 3065355 | 351652 | 22788 36 | 397 | 338 839.61/839.98 c 839s | 18 | 3068131 | 352352 | 22788 36 | 397 | 338 841.80/842.12 c 841s | 18 | 3072160 | 353152 | 22788 36 | 397 | 338 844.00/844.35 c 844s | 18 | 3074070 | 353852 | 22788 36 | 397 | 338 846.10/846.48 c 846s | 18 | 3079001 | 354952 | 22788 37 | 397 | 338 848.31/848.62 c 848s | 18 | 3082753 | 355952 | 22788 37 | 397 | 338 850.51/850.86 c 850s | 18 | 3085629 | 356752 | 22788 37 | 397 | 338 852.81/853.11 c 852s | 18 | 3087010 | 357352 | 22788 37 | 397 | 338 854.81/855.15 c 854s | 18 | 3089028 | 357952 | 22788 37 | 397 | 338 856.80/857.17 c 856s | 18 | 3091723 | 358752 | 22788 37 | 397 | 338 859.00/859.34 c 859s | 18 | 3094472 | 359552 | 22788 37 | 397 | 338 861.40/861.74 c 861s | 18 | 3096499 | 360152 | 22788 37 | 397 | 338 863.80/864.11 c 863s | 18 | 3098341 | 360752 | 22788 37 | 397 | 338 866.09/866.42 c 866s | 18 | 3101103 | 361552 | 22788 37 | 397 | 338 868.29/868.68 c 868s | 18 | 3103330 | 362152 | 22788 37 | 397 | 338 870.69/871.05 c 870s | 18 | 3104635 | 362652 | 22788 37 | 397 | 338 872.79/873.12 c 872s | 18 | 3110466 | 363852 | 22788 38 | 397 | 338 874.89/875.23 c 875s | 18 | 3112439 | 364552 | 22788 38 | 397 | 338 876.99/877.31 c 877s | 18 | 3114164 | 365152 | 22788 38 | 397 | 338 879.28/879.61 c 879s | 18 | 3117155 | 366052 | 22788 38 | 397 | 338 881.39/881.75 c 881s | 18 | 3119800 | 366752 | 22788 38 | 397 | 338 883.49/883.88 c 883s | 18 | 3121613 | 367252 | 22788 38 | 397 | 338 886.19/886.52 c 886s | 18 | 3123590 | 367752 | 22788 38 | 397 | 338 888.39/888.75 c 888s | 18 | 3126030 | 368352 | 22788 38 | 397 | 338 890.39/890.76 c 890s | 18 | 3127780 | 368852 | 22788 38 | 397 | 338 892.49/892.80 c 892s | 18 | 3130752 | 369552 | 22788 38 | 397 | 338 894.48/894.86 c 894s | 18 | 3135620 | 370452 | 22788 38 | 397 | 338 896.68/897.06 c 896s | 18 | 3137254 | 370952 | 22788 38 | 397 | 338 898.78/899.10 c 898s | 18 | 3141547 | 371852 | 22788 39 | 397 | 338 900.88/901.22 c 900s | 18 | 3147449 | 373152 | 22788 39 | 397 | 338 903.38/903.77 c 903s | 18 | 3151830 | 374052 | 22788 39 | 397 | 338 905.48/905.89 c 905s | 18 | 3153121 | 374452 | 22788 39 | 397 | 338 907.68/908.02 c 907s | 18 | 3157358 | 375252 | 22788 39 | 397 | 338 909.68/910.06 c 909s | 18 | 3163777 | 376252 | 22788 39 | 397 | 338 911.88/912.23 c 912s | 18 | 3166439 | 377052 | 22788 39 | 397 | 338 913.89/914.27 c 914s | 18 | 3168409 | 377552 | 22788 39 | 397 | 338 915.99/916.37 c 916s | 18 | 3169398 | 377952 | 22788 39 | 397 | 338 918.29/918.62 c 918s | 18 | 3170929 | 378452 | 22788 39 | 397 | 338 920.38/920.77 c 920s | 18 | 3174416 | 379152 | 22788 39 | 397 | 338 922.48/922.84 c 922s | 18 | 3176167 | 379652 | 22788 40 | 397 | 338 924.48/924.86 c 924s | 18 | 3182491 | 381052 | 22788 40 | 397 | 338 926.78/927.12 c 926s | 18 | 3184542 | 381752 | 22788 40 | 397 | 338 928.77/929.13 c 928s | 18 | 3188695 | 382752 | 22788 40 | 397 | 338 930.88/931.24 c 931s | 18 | 3191558 | 383652 | 22788 40 | 397 | 338 932.88/933.26 c 933s | 18 | 3193330 | 384252 | 22788 40 | 397 | 338 935.08/935.45 c 935s | 18 | 3195439 | 384952 | 22788 40 | 397 | 338 937.28/937.61 c 937s | 18 | 3197969 | 385752 | 22788 40 | 397 | 338 939.38/939.76 c 939s | 18 | 3200115 | 386352 | 22788 40 | 397 | 338 941.58/941.92 c 941s | 18 | 3202887 | 387152 | 22788 40 | 397 | 338 943.59/943.94 c 943s | 18 | 3204865 | 387652 | 22788 41 | 397 | 338 945.69/946.01 c 945s | 18 | 3208009 | 388852 | 22788 41 | 397 | 338 947.78/948.12 c 947s | 18 | 3210945 | 389852 | 22788 41 | 397 | 338 949.88/950.23 c 950s | 18 | 3213054 | 390652 | 22788 41 | 397 | 338 952.08/952.44 c 952s | 18 | 3229510 | 392152 | 22788 41 | 397 | 338 954.18/954.55 c 954s | 18 | 3238266 | 393352 | 22788 41 | 397 | 338 956.38/956.72 c 956s | 18 | 3248505 | 394852 | 22788 42 | 397 | 338 958.48/958.81 c 958s | 18 | 3252460 | 395652 | 22788 42 | 397 | 338 960.48/960.82 c 960s | 18 | 3260886 | 396852 | 22788 42 | 397 | 338 962.57/962.90 c 962s | 18 | 3277329 | 398452 | 22788 42 | 397 | 338 964.87/965.24 c 965s | 18 | 3287132 | 399552 | 22788 42 | 397 | 338 966.97/967.32 c 967s | 18 | 3299304 | 400752 | 22788 43 | 397 | 338 969.07/969.41 c 969s | 18 | 3313014 | 402352 | 22788 43 | 397 | 338 971.08/971.42 c 971s | 18 | 3325742 | 403752 | 22788 43 | 397 | 338 973.07/973.47 c 973s | 18 | 3338312 | 405652 | 22788 43 | 397 | 338 975.17/975.52 c 975s | 18 | 3354433 | 407352 | 22788 44 | 397 | 338 977.27/977.67 c 977s | 18 | 3360271 | 408752 | 22788 44 | 397 | 338 979.37/979.74 c 979s | 18 | 3363558 | 409852 | 22788 44 | 397 | 338 981.47/981.89 c 981s | 18 | 3367386 | 410952 | 22788 44 | 397 | 338 983.67/984.00 c 983s | 18 | 3382121 | 412552 | 22788 45 | 397 | 338 985.67/986.01 c 985s | 18 | 3395665 | 414252 | 22788 45 | 397 | 338 987.77/988.13 c 987s | 18 | 3410819 | 415652 | 22788 45 | 397 | 338 989.78/990.15 c 989s | 18 | 3427457 | 417452 | 22788 46 | 397 | 338 991.88/992.22 c 991s | 18 | 3437585 | 418752 | 22788 46 | 397 | 338 993.87/994.26 c 994s | 18 | 3450671 | 420352 | 22788 46 | 397 | 338 995.97/996.36 c 996s | 18 | 3463789 | 421752 | 22788 46 | 397 | 338 998.27/998.63 c 998s | 18 | 3466213 | 422552 | 22788 46 | 397 | 338 1000.37/1000.75 c 1000s | 18 | 3469856 | 423452 | 22788 47 | 397 | 338 1002.57/1002.96 c 1002s | 18 | 3472009 | 424052 | 22788 47 | 397 | 338 1004.57/1004.97 c 1004s | 18 | 3478508 | 425052 | 22788 47 | 397 | 338 1006.77/1007.11 c 1006s | 18 | 3485443 | 426152 | 22788 47 | 397 | 338 1009.57/1009.98 c 1009s | 18 | 3488422 | 426852 | 22788 47 | 397 | 338 1011.67/1012.03 c 1011s | 18 | 3503060 | 428352 | 22788 48 | 397 | 338 1013.76/1014.13 c 1013s | 18 | 3506751 | 429652 | 22788 48 | 397 | 338 1015.86/1016.22 c 1015s | 18 | 3510668 | 430552 | 22788 48 | 397 | 338 1017.86/1018.30 c 1018s | 18 | 3513036 | 431252 | 22788 48 | 397 | 338 1019.96/1020.33 c 1020s | 18 | 3515189 | 431852 | 22788 48 | 397 | 338 1021.96/1022.38 c 1022s | 18 | 3521284 | 432952 | 22788 49 | 397 | 338 1024.16/1024.52 c 1024s | 18 | 3523193 | 433852 | 22788 49 | 397 | 338 1026.36/1026.75 c 1026s | 18 | 3526424 | 434752 | 22788 49 | 397 | 338 1028.77/1029.14 c 1028s | 18 | 3529100 | 435752 | 22788 49 | 397 | 338 1030.87/1031.24 c 1031s | 18 | 3530829 | 436352 | 22788 49 | 397 | 338 1033.17/1033.53 c 1033s | 18 | 3531886 | 436852 | 22788 49 | 397 | 338 1035.17/1035.57 c 1035s | 18 | 3533905 | 437452 | 22788 49 | 397 | 338 1037.27/1037.64 c 1037s | 18 | 3535739 | 438052 | 22788 49 | 397 | 338 1039.56/1039.91 c 1039s | 18 | 3537787 | 438752 | 22788 50 | 397 | 338 1041.56/1041.94 c 1041s | 18 | 3540313 | 439652 | 22788 50 | 397 | 338 1043.96/1044.31 c 1044s | 18 | 3542588 | 440452 | 22788 50 | 397 | 338 1046.16/1046.50 c 1046s | 18 | 3544323 | 441152 | 22788 50 | 397 | 338 1048.26/1048.66 c 1048s | 18 | 3553526 | 442452 | 25067 50 | 398 | 339 1050.27/1050.69 c 1050s | 18 | 3557725 | 443452 | 25067 50 | 398 | 339 1052.66/1053.01 c 1052s | 18 | 3560639 | 444252 | 25067 50 | 398 | 339 1053.06/1053.48 c 1053s | 19 | 3562204 | 444482 | 25067 50 | 398 | 339 1055.16/1055.50 c 1055s | 19 | 3580572 | 446082 | 25067 51 | 398 | 339 1057.26/1057.60 c 1057s | 19 | 3590203 | 447482 | 25067 51 | 398 | 339 1059.26/1059.61 c 1059s | 19 | 3598862 | 448682 | 25067 51 | 398 | 339 1061.26/1061.67 c 1061s | 19 | 3608308 | 449982 | 25067 51 | 398 | 339 1063.46/1063.81 c 1063s | 19 | 3613443 | 450982 | 25067 51 | 398 | 339 1065.76/1066.14 c 1065s | 19 | 3619997 | 451982 | 25067 52 | 398 | 339 1067.87/1068.22 c 1067s | 19 | 3627026 | 453182 | 25067 52 | 398 | 339 1069.86/1070.27 c 1070s | 19 | 3638573 | 454582 | 25067 52 | 398 | 339 1071.96/1072.39 c 1072s | 19 | 3641548 | 455482 | 25067 52 | 398 | 339 1074.06/1074.40 c 1074s | 19 | 3659284 | 456982 | 25067 52 | 398 | 339 1076.06/1076.46 c 1076s | 19 | 3681022 | 458682 | 25067 53 | 398 | 339 1078.16/1078.56 c 1078s | 19 | 3703285 | 460582 | 25067 53 | 398 | 339 1080.26/1080.69 c 1080s | 19 | 3708851 | 461682 | 25067 53 | 398 | 339 1082.36/1082.73 c 1082s | 19 | 3710477 | 462282 | 25067 53 | 398 | 339 1084.66/1085.01 c 1084s | 19 | 3721832 | 463682 | 25067 53 | 398 | 339 1086.96/1087.31 c 1087s | 19 | 3723334 | 464182 | 25067 53 | 398 | 339 1088.96/1089.37 c 1089s | 19 | 3729110 | 465282 | 25067 54 | 398 | 339 1091.06/1091.46 c 1091s | 19 | 3739659 | 467082 | 25067 54 | 398 | 339 1093.06/1093.50 c 1093s | 19 | 3744630 | 468382 | 25067 54 | 398 | 339 1095.26/1095.68 c 1095s | 19 | 3762813 | 470282 | 25067 55 | 398 | 339 1097.35/1097.79 c 1097s | 19 | 3783279 | 471882 | 25067 55 | 398 | 339 1099.55/1099.94 c 1099s | 19 | 3800433 | 473382 | 25067 55 | 398 | 339 1101.65/1102.01 c 1101s | 19 | 3818038 | 475282 | 25067 55 | 398 | 339 1103.65/1104.07 c 1103s | 19 | 3835740 | 476982 | 25067 56 | 398 | 339 1105.65/1106.08 c 1105s | 19 | 3854760 | 478582 | 25067 56 | 398 | 339 1107.85/1108.26 c 1108s | 19 | 3871801 | 480282 | 25067 56 | 398 | 339 1110.25/1110.60 c 1110s | 19 | 3873973 | 480882 | 25067 56 | 398 | 339 1112.45/1112.83 c 1112s | 19 | 3881038 | 481782 | 25067 57 | 398 | 339 1114.45/1114.85 c 1114s | 19 | 3897466 | 483582 | 25067 57 | 398 | 339 1116.55/1116.94 c 1116s | 19 | 3901870 | 484982 | 25067 57 | 398 | 339 1118.65/1119.08 c 1118s | 19 | 3904175 | 485682 | 25067 57 | 398 | 339 1120.75/1121.12 c 1120s | 19 | 3905884 | 486282 | 25067 57 | 398 | 339 1123.25/1123.64 c 1123s | 19 | 3907546 | 486882 | 25067 57 | 398 | 339 1125.75/1126.16 c 1125s | 19 | 3908400 | 487282 | 25067 57 | 398 | 339 1128.05/1128.42 c 1128s | 19 | 3911055 | 487782 | 25067 58 | 398 | 339 1130.05/1130.43 c 1130s | 19 | 3918933 | 489082 | 25067 58 | 398 | 339 1132.24/1132.62 c 1132s | 19 | 3923450 | 490282 | 25067 58 | 398 | 339 1134.24/1134.65 c 1134s | 19 | 3932547 | 491582 | 25067 58 | 399 | 340 1136.34/1136.72 c 1136s | 19 | 3950119 | 493282 | 25067 59 | 400 | 341 1138.35/1138.75 c 1138s | 19 | 3970850 | 494782 | 25067 59 | 400 | 341 1140.45/1140.87 c 1140s | 19 | 3990123 | 496382 | 25067 59 | 400 | 341 1142.44/1142.88 c 1142s | 19 | 3994165 | 496982 | 25067 59 | 400 | 341 1144.54/1144.95 c 1144s | 19 | 4009129 | 498882 | 25067 60 | 401 | 342 1146.64/1147.07 c 1146s | 19 | 4027042 | 500882 | 25067 60 | 401 | 342 1148.74/1149.16 c 1148s | 19 | 4040914 | 502282 | 25067 61 | 401 | 342 1150.84/1151.24 c 1151s | 19 | 4055609 | 503882 | 25067 61 | 401 | 342 1153.04/1153.41 c 1153s | 19 | 4069909 | 505382 | 25067 62 | 401 | 342 1155.04/1155.43 c 1155s | 19 | 4088725 | 507182 | 25067 62 | 401 | 342 1157.04/1157.45 c 1157s | 19 | 4101331 | 508782 | 25067 63 | 401 | 342 1159.05/1159.50 c 1159s | 19 | 4105184 | 509982 | 25067 63 | 401 | 342 1161.15/1161.53 c 1161s | 19 | 4107043 | 510782 | 25067 63 | 401 | 342 1163.45/1163.87 c 1163s | 19 | 4108230 | 511382 | 25067 63 | 401 | 342 1165.54/1165.94 c 1165s | 19 | 4110552 | 512182 | 25067 63 | 401 | 342 1167.64/1168.04 c 1167s | 19 | 4117357 | 513282 | 25067 64 | 401 | 342 1169.74/1170.13 c 1169s | 19 | 4127728 | 514882 | 25067 64 | 401 | 342 1171.94/1172.30 c 1172s | 19 | 4142638 | 516382 | 25067 64 | 401 | 342 1173.94/1174.33 c 1174s | 19 | 4156534 | 517682 | 25067 65 | 401 | 342 1176.04/1176.42 c 1176s | 19 | 4162325 | 518982 | 25067 65 | 401 | 342 1178.04/1178.42 c 1178s | 19 | 4173475 | 520382 | 25067 66 | 401 | 342 1180.14/1180.52 c 1180s | 19 | 4192358 | 522182 | 25067 66 | 401 | 342 1182.15/1182.54 c 1182s | 19 | 4202394 | 523782 | 25067 67 | 401 | 342 1184.14/1184.55 c 1184s | 19 | 4206813 | 525082 | 25067 67 | 401 | 342 1186.24/1186.68 c 1186s | 19 | 4209855 | 526082 | 25067 67 | 401 | 342 1188.34/1188.74 c 1188s | 19 | 4223555 | 527682 | 25067 68 | 401 | 342 1190.34/1190.75 c 1190s | 19 | 4237547 | 529182 | 25067 68 | 401 | 342 1192.64/1193.02 c 1192s | 19 | 4248233 | 530682 | 25067 69 | 401 | 342 1194.74/1195.19 c 1194s | 19 | 4249460 | 531082 | 25067 69 | 401 | 342 1197.24/1197.69 c 1197s | 19 | 4251956 | 531582 | 25067 69 | 401 | 342 1199.34/1199.75 c 1199s | 19 | 4257673 | 532682 | 25067 69 | 401 | 342 1201.34/1201.79 c 1201s | 19 | 4268335 | 534182 | 25067 70 | 401 | 342 1203.44/1203.89 c 1203s | 19 | 4283703 | 535982 | 25067 70 | 401 | 342 1205.54/1205.99 c 1205s | 19 | 4290902 | 537482 | 25067 71 | 401 | 342 1207.74/1208.14 c 1207s | 19 | 4304093 | 538882 | 25067 72 | 401 | 342 1209.94/1210.33 c 1210s | 19 | 4310074 | 540082 | 25067 72 | 401 | 342 1212.14/1212.52 c 1212s | 19 | 4314272 | 541082 | 25067 72 | 401 | 342 1214.14/1214.59 c 1214s | 19 | 4318300 | 541882 | 25067 72 | 401 | 342 1216.34/1216.73 c 1216s | 19 | 4322234 | 542682 | 25067 72 | 401 | 342 1218.55/1218.94 c 1218s | 19 | 4324799 | 543282 | 25067 72 | 401 | 342 1220.93/1221.32 c 1221s | 19 | 4327357 | 543982 | 25067 72 | 401 | 342 1222.94/1223.37 c 1223s | 19 | 4330230 | 544682 | 25067 73 | 401 | 342 1225.33/1225.73 c 1225s | 19 | 4333251 | 545582 | 25067 73 | 401 | 342 1227.44/1227.81 c 1227s | 19 | 4336487 | 546382 | 25067 73 | 401 | 342 1229.44/1229.84 c 1229s | 19 | 4338462 | 546982 | 25067 73 | 401 | 342 1231.53/1231.96 c 1231s | 19 | 4342891 | 547882 | 25067 74 | 401 | 342 1233.53/1233.96 c 1233s | 19 | 4358002 | 549182 | 25067 74 | 401 | 342 1235.63/1236.09 c 1235s | 19 | 4368765 | 550582 | 25067 75 | 401 | 342 1237.73/1238.19 c 1237s | 19 | 4386065 | 552082 | 25067 76 | 401 | 342 1239.93/1240.34 c 1240s | 19 | 4402225 | 553882 | 25067 76 | 401 | 342 1241.93/1242.37 c 1242s | 19 | 4403461 | 554582 | 25067 76 | 401 | 342 1244.13/1244.53 c 1244s | 19 | 4404514 | 555182 | 25067 76 | 401 | 342 1246.23/1246.62 c 1246s | 19 | 4406002 | 555882 | 25067 76 | 401 | 342 1248.33/1248.70 c 1248s | 19 | 4406725 | 556382 | 25067 76 | 401 | 342 1250.34/1250.75 c 1250s | 19 | 4407556 | 556882 | 25067 76 | 401 | 342 1252.43/1252.85 c 1252s | 19 | 4428656 | 558582 | 25067 77 | 401 | 342 1254.53/1254.94 c 1254s | 19 | 4439104 | 559682 | 25067 78 | 401 | 342 1256.53/1256.97 c 1256s | 19 | 4456165 | 561482 | 25067 78 | 401 | 342 1258.93/1259.31 c 1259s | 19 | 4460053 | 562482 | 25067 78 | 401 | 342 1261.43/1261.83 c 1261s | 19 | 4462085 | 563182 | 25067 78 | 401 | 342 1263.63/1264.06 c 1263s | 19 | 4464114 | 563682 | 25067 79 | 401 | 342 1265.73/1266.19 c 1265s | 19 | 4466160 | 564482 | 25067 79 | 401 | 342 1268.13/1268.56 c 1268s | 19 | 4467277 | 564982 | 25067 79 | 401 | 342 1270.23/1270.63 c 1270s | 19 | 4468357 | 565382 | 25067 79 | 401 | 342 1272.43/1272.85 c 1272s | 19 | 4469205 | 565782 | 25067 79 | 401 | 342 1274.82/1275.21 c 1274s | 19 | 4470746 | 566282 | 25067 79 | 401 | 342 1276.83/1277.29 c 1277s | 19 | 4472369 | 566882 | 25067 79 | 401 | 342 1278.93/1279.34 c 1279s | 19 | 4478079 | 567682 | 25067 80 | 401 | 342 1281.03/1281.44 c 1281s | 19 | 4490938 | 569282 | 25067 80 | 401 | 342 1283.03/1283.45 c 1283s | 19 | 4497114 | 570482 | 25067 81 | 401 | 342 1285.03/1285.47 c 1285s | 19 | 4514684 | 572282 | 25067 82 | 401 | 342 1287.13/1287.54 c 1287s | 19 | 4528698 | 573982 | 25067 83 | 401 | 342 1289.13/1289.55 c 1289s | 19 | 4541854 | 575582 | 25067 83 | 401 | 342 1291.33/1291.79 c 1291s | 19 | 4552563 | 577182 | 25067 84 | 401 | 342 1293.53/1293.92 c 1293s | 19 | 4561421 | 578582 | 25067 85 | 401 | 342 1295.54/1295.96 c 1295s | 19 | 4578028 | 580282 | 25067 86 | 401 | 342 1297.63/1298.00 c 1297s | 19 | 4596289 | 581882 | 25067 87 | 401 | 342 1299.63/1300.04 c 1299s | 19 | 4609627 | 583482 | 25067 89 | 401 | 342 1301.63/1302.08 c 1301s | 19 | 4616246 | 584782 | 25067 90 | 401 | 342 1303.72/1304.17 c 1303s | 19 | 4633083 | 586482 | 25067 92 | 401 | 342 1305.72/1306.18 c 1305s | 19 | 4649219 | 588182 | 25067 94 | 401 | 342 1307.82/1308.28 c 1308s | 19 | 4659309 | 589582 | 25067 95 | 401 | 342 1309.92/1310.31 c 1310s | 19 | 4673692 | 591282 | 25067 97 | 401 | 342 1311.93/1312.34 c 1312s | 19 | 4688252 | 593382 | 25067 99 | 401 | 342 1313.92/1314.39 c 1314s | 19 | 4695721 | 594882 | 25067 101 | 401 | 342 1316.12/1316.51 c 1316s | 19 | 4712626 | 596682 | 25067 103 | 401 | 342 1318.12/1318.52 c 1318s | 19 | 4716822 | 597882 | 25067 103 | 401 | 342 1320.22/1320.63 c 1320s | 19 | 4723044 | 599282 | 25067 104 | 401 | 342 1322.32/1322.71 c 1322s | 19 | 4730065 | 600782 | 25067 104 | 401 | 342 1324.32/1324.76 c 1324s | 19 | 4746260 | 602382 | 25067 111 | 401 | 342 1326.42/1326.85 c 1326s | 19 | 4750039 | 603382 | 25067 111 | 401 | 342 1328.43/1328.88 c 1328s | 19 | 4753606 | 604282 | 25067 112 | 401 | 342 1330.62/1331.00 c 1330s | 19 | 4758366 | 605582 | 25067 112 | 401 | 342 1332.62/1333.03 c 1332s | 19 | 4764132 | 606882 | 25067 113 | 401 | 342 1334.62/1335.07 c 1334s | 19 | 4767366 | 607682 | 25067 113 | 401 | 342 1336.72/1337.15 c 1336s | 19 | 4770977 | 608482 | 25067 113 | 401 | 342 1338.82/1339.24 c 1339s | 19 | 4775441 | 609382 | 25067 114 | 401 | 342 1340.81/1341.24 c 1341s | 19 | 4778285 | 610082 | 25067 114 | 401 | 342 1342.82/1343.28 c 1343s | 19 | 4787141 | 611382 | 25067 126 | 401 | 342 1344.92/1345.33 c 1345s | 19 | 4807588 | 613282 | 25067 135 | 401 | 342 1347.01/1347.40 c 1347s | 19 | 4819402 | 614682 | 25067 141 | 401 | 342 1349.01/1349.44 c 1349s | 19 | 4830062 | 616182 | 25067 149 | 401 | 342 1351.11/1351.59 c 1351s | 19 | 4841610 | 617782 | 25067 152 | 401 | 342 1353.31/1353.72 c 1353s | 19 | 4849329 | 619382 | 25067 153 | 401 | 342 1355.51/1355.99 c 1355s | 19 | 4851869 | 620382 | 25067 153 | 401 | 342 1357.81/1358.21 c 1357s | 19 | 4853715 | 621082 | 25067 154 | 401 | 342 1361.02/1361.45 c 1361s | 19 | 4867318 | 622682 | 25067 254 | 401 | 342 1364.12/1364.52 c 1364s | 19 | 4868623 | 622782 | 25067 478 | 401 | 342 1366.12/1366.54 c 1366s | 19 | 4880672 | 624282 | 25067 479 | 401 | 342 1368.32/1368.74 c 1368s | 19 | 4892433 | 625982 | 25067 482 | 401 | 342 1370.42/1370.82 c 1370s | 19 | 4898172 | 627182 | 25067 482 | 401 | 342 1372.52/1372.94 c 1372s | 19 | 4903546 | 628582 | 25067 483 | 401 | 342 1374.52/1374.99 c 1374s | 19 | 4911873 | 629782 | 25067 485 | 401 | 342 1376.71/1377.14 c 1376s | 19 | 4921916 | 631582 | 25067 487 | 401 | 342 1378.81/1379.25 c 1379s | 19 | 4929678 | 633182 | 25067 488 | 401 | 342 1380.91/1381.30 c 1381s | 19 | 4939319 | 634582 | 25067 491 | 401 | 342 1383.01/1383.40 c 1383s | 19 | 4946612 | 636282 | 25067 492 | 401 | 342 1385.01/1385.44 c 1385s | 19 | 4958165 | 638082 | 25067 494 | 401 | 342 1387.01/1387.49 c 1387s | 19 | 4972169 | 639782 | 25067 502 | 401 | 342 1413.01/1413.43 c 1413s | 19 | 4979264 | 640582 | 25067 2316 | 401 | 342 1415.10/1415.58 c 1415s | 19 | 4981076 | 640682 | 25067 2466 | 401 | 342 1417.20/1417.64 c 1417s | 19 | 4989365 | 641682 | 25067 2543 | 401 | 342 1420.31/1420.78 c 1420s | 19 | 4995379 | 642782 | 25067 2652 | 401 | 342 1425.00/1425.49 c 1425s | 19 | 4997600 | 642882 | 25067 2985 | 401 | 342 1428.40/1428.80 c 1428s | 19 | 5000318 | 643182 | 25067 3200 | 401 | 342 1436.01/1436.48 c 1436s | 19 | 5008237 | 644082 | 25067 3660 | 401 | 342 1441.60/1442.00 c 1441s | 19 | 5010111 | 644182 | 25067 4040 | 401 | 342 1443.60/1444.00 c 1443s | 19 | 5015214 | 644882 | 25067 4124 | 401 | 342 1447.70/1448.10 c 1447s | 19 | 5018580 | 645182 | 25067 4392 | 401 | 342 1458.50/1458.94 c 1458s | 19 | 5027304 | 645982 | 25067 5107 | 401 | 342 1461.20/1461.65 c 1461s | 19 | 5031483 | 646182 | 25067 5284 | 401 | 342 1466.10/1466.53 c 1466s | 19 | 5032884 | 646282 | 25067 5626 | 401 | 342 1475.59/1476.08 c 1475s | 19 | 5034837 | 646482 | 25067 6289 | 401 | 342 1484.89/1485.36 c 1485s | 19 | 5037830 | 646682 | 25067 6936 | 401 | 342 1486.99/1487.40 c 1487s | 19 | 5041254 | 647082 | 25067 7053 | 401 | 342 1499.00/1499.42 c 1499s | 19 | 5050153 | 647882 | 25067 7816 | 401 | 342 1501.59/1502.09 c 1501s | 19 | 5052752 | 648382 | 25067 7971 | 401 | 342 1504.90/1505.32 c 1505s | 19 | 5057323 | 648882 | 25067 8155 | 401 | 342 1506.90/1507.34 c 1507s | 19 | 5062057 | 649482 | 25067 8253 | 401 | 342 1510.29/1510.74 c 1510s | 19 | 5064112 | 649982 | 25067 8442 | 401 | 342 1514.79/1515.23 c 1515s | 19 | 5066254 | 650382 | 25067 8728 | 401 | 342 1516.99/1517.43 c 1517s | 19 | 5069898 | 650782 | 25067 8862 | 401 | 342 1521.79/1522.23 c 1522s | 19 | 5073363 | 651182 | 25067 9177 | 401 | 342 1523.79/1524.28 c 1524s | 19 | 5080174 | 652182 | 25067 9249 | 401 | 342 1528.89/1529.32 c 1529s | 19 | 5082058 | 652382 | 25067 9590 | 401 | 342 1530.89/1531.39 c 1531s | 19 | 5086031 | 653082 | 25067 9684 | 401 | 342 1533.59/1534.00 c 1533s | 19 | 5089241 | 653582 | 25067 9830 | 401 | 342 1535.88/1536.39 c 1536s | 19 | 5093978 | 654082 | 25067 9957 | 401 | 342 1541.80/1542.23 c 1542s | 19 | 5097636 | 654282 | 25067 10341 | 401 | 342 1543.89/1544.36 c 1544s | 19 | 5098799 | 654382 | 25067 10482 | 401 | 342 1545.99/1546.40 c 1546s | 19 | 5104755 | 655882 | 25067 10483 | 401 | 342 1547.98/1548.45 c 1548s | 19 | 5108851 | 656982 | 25067 10484 | 401 | 342 1550.28/1550.74 c 1550s | 19 | 5112136 | 657982 | 25067 10485 | 401 | 342 1552.48/1552.94 c 1552s | 19 | 5114204 | 658682 | 25067 10485 | 401 | 342 1554.68/1555.16 c 1554s | 19 | 5117155 | 659782 | 25067 10486 | 401 | 342 1556.78/1557.29 c 1557s | 19 | 5119076 | 660582 | 25067 10487 | 401 | 342 1558.88/1559.35 c 1559s | 19 | 5122266 | 661482 | 25067 10488 | 401 | 342 1560.98/1561.42 c 1561s | 19 | 5124700 | 662382 | 27574 10488 | 401 | 342 1562.98/1563.47 c 1563s | 19 | 5126393 | 663082 | 27574 10488 | 401 | 342 1565.08/1565.54 c 1565s | 19 | 5129326 | 663882 | 27574 10488 | 401 | 342 1567.19/1567.67 c 1567s | 19 | 5132763 | 664682 | 27574 10488 | 401 | 342 1569.19/1569.69 c 1569s | 19 | 5135039 | 665382 | 27574 10489 | 401 | 342 1571.39/1571.89 c 1571s | 19 | 5139982 | 666782 | 27574 10489 | 401 | 342 1571.49/1571.98 c 1571s | 20 | 5140023 | 666827 | 27574 10489 | 401 | 342 1573.49/1573.98 c 1573s | 20 | 5151780 | 668327 | 27574 10491 | 401 | 342 1575.59/1576.08 c 1575s | 20 | 5171430 | 670127 | 27574 10492 | 401 | 342 1577.79/1578.20 c 1577s | 20 | 5191092 | 671827 | 27574 10494 | 401 | 342 1579.78/1580.24 c 1580s | 20 | 5196932 | 673127 | 27574 10494 | 401 | 342 1581.78/1582.26 c 1582s | 20 | 5212983 | 675027 | 27574 10496 | 401 | 342 1583.88/1584.33 c 1584s | 20 | 5229667 | 676927 | 27574 10497 | 401 | 342 1585.98/1586.42 c 1586s | 20 | 5243430 | 678527 | 27574 10498 | 401 | 342 1587.99/1588.47 c 1588s | 20 | 5256965 | 680327 | 27574 10500 | 401 | 342 1589.98/1590.49 c 1590s | 20 | 5265446 | 681427 | 27574 10501 | 401 | 342 1592.08/1592.58 c 1592s | 20 | 5278378 | 683327 | 27574 10503 | 401 | 342 1594.18/1594.63 c 1594s | 20 | 5293485 | 684927 | 27574 10504 | 401 | 342 1596.18/1596.64 c 1596s | 20 | 5309294 | 686527 | 27574 10510 | 401 | 342 1598.28/1598.71 c 1598s | 20 | 5315674 | 687727 | 27574 10511 | 401 | 342 1600.38/1600.86 c 1600s | 20 | 5322594 | 689327 | 27574 10511 | 401 | 342 1602.39/1602.88 c 1602s | 20 | 5326845 | 690527 | 27574 10512 | 401 | 342 1604.48/1604.94 c 1604s | 20 | 5337617 | 692027 | 27574 10513 | 401 | 342 1606.58/1607.02 c 1606s | 20 | 5343642 | 693327 | 27574 10514 | 401 | 342 1608.58/1609.07 c 1608s | 20 | 5346355 | 694127 | 27574 10514 | 401 | 342 1610.68/1611.19 c 1610s | 20 | 5360385 | 696027 | 27574 10517 | 401 | 342 1612.77/1613.24 c 1613s | 20 | 5377964 | 698127 | 27574 10518 | 401 | 342 1614.77/1615.27 c 1615s | 20 | 5390064 | 700027 | 27574 10520 | 401 | 342 1616.87/1617.31 c 1617s | 20 | 5400136 | 701727 | 27574 10522 | 401 | 342 1618.97/1619.48 c 1619s | 20 | 5408756 | 703227 | 27574 10524 | 401 | 342 1621.17/1621.62 c 1621s | 20 | 5417826 | 704827 | 27574 10525 | 401 | 342 1623.18/1623.67 c 1623s | 20 | 5430438 | 706427 | 27574 10528 | 401 | 342 1625.17/1625.68 c 1625s | 20 | 5446973 | 708327 | 27574 10531 | 401 | 342 1627.17/1627.68 c 1627s | 20 | 5466054 | 710427 | 27574 10533 | 401 | 342 1629.17/1629.69 c 1629s | 20 | 5475472 | 711827 | 27574 10534 | 401 | 342 1631.27/1631.77 c 1631s | 20 | 5483952 | 713127 | 27574 10537 | 401 | 342 1634.18/1634.65 c 1634s | 20 | 5495734 | 714527 | 27574 10621 | 401 | 342 1636.38/1636.83 c 1636s | 20 | 5499863 | 715627 | 27574 10624 | 401 | 342 1638.37/1638.86 c 1638s | 20 | 5504933 | 716427 | 27574 10679 | 401 | 342 1640.37/1640.88 c 1640s | 20 | 5509363 | 716927 | 27574 10761 | 401 | 342 1642.87/1643.35 c 1643s | 20 | 5512660 | 717227 | 27574 10889 | 401 | 342 1644.87/1645.37 c 1645s | 20 | 5522234 | 718927 | 27574 10890 | 401 | 342 1646.97/1647.46 c 1647s | 20 | 5529381 | 720327 | 27574 10892 | 401 | 342 1651.27/1651.74 c 1651s | 20 | 5535851 | 721327 | 27574 11073 | 401 | 342 1653.27/1653.77 c 1653s | 20 | 5542095 | 722627 | 27574 11089 | 401 | 342 1656.28/1656.71 c 1656s | 20 | 5545219 | 723127 | 27574 11219 | 401 | 342 1658.67/1659.15 c 1658s | 20 | 5546575 | 723227 | 27574 11359 | 401 | 342 1661.16/1661.63 c 1661s | 20 | 5555499 | 724527 | 27574 11413 | 401 | 342 1664.26/1664.75 c 1664s | 20 | 5557238 | 724627 | 27574 11594 | 401 | 342 1666.46/1666.93 c 1666s | 20 | 5559497 | 724927 | 27574 11704 | 401 | 342 1668.76/1669.23 c 1669s | 20 | 5567379 | 726627 | 27574 11707 | 401 | 342 1671.57/1672.08 c 1671s | 20 | 5576551 | 728127 | 27574 11774 | 401 | 342 1674.67/1675.17 c 1674s | 20 | 5582346 | 728727 | 27574 11921 | 401 | 342 1676.97/1677.49 c 1677s | 20 | 5589196 | 730027 | 27574 11949 | 401 | 342 1679.17/1679.60 c 1679s | 20 | 5598206 | 731727 | 27574 11954 | 401 | 342 1692.96/1693.42 c 1693s | 20 | 5604724 | 732627 | 27574 12716 | 401 | 342 1695.96/1696.40 c 1696s | 20 | 5609139 | 733327 | 27574 12845 | 401 | 342 1699.56/1700.09 c 1699s | 20 | 5610642 | 733427 | 27574 13051 | 401 | 342 1701.87/1702.31 c 1702s | 20 | 5611425 | 733527 | 27574 13176 | 401 | 342 1706.26/1706.72 c 1706s | 20 | 5616309 | 734227 | 27574 13382 | 401 | 342 1709.66/1710.18 c 1709s | 20 | 5617646 | 734427 | 27574 13564 | 401 | 342 1713.16/1713.63 c 1713s | 20 | 5620164 | 734727 | 27574 13738 | 401 | 342 1715.46/1715.95 c 1715s | 20 | 5620768 | 734827 | 27574 13864 | 401 | 342 1720.46/1720.99 c 1720s | 20 | 5621584 | 734927 | 27574 14140 | 401 | 342 1722.66/1723.10 c 1722s | 20 | 5626283 | 736027 | 27574 14163 | 401 | 342 1725.96/1726.44 c 1726s | 20 | 5627044 | 736127 | 27574 14352 | 401 | 342 1728.06/1728.59 c 1728s | 20 | 5630621 | 736527 | 27574 14450 | 401 | 342 1730.26/1730.76 c 1730s | 20 | 5636315 | 737527 | 27574 14517 | 401 | 342 1732.66/1733.12 c 1732s | 20 | 5638787 | 738027 | 27574 14623 | 401 | 342 1734.76/1735.28 c 1735s | 20 | 5644802 | 739227 | 27574 14657 | 401 | 342 1737.35/1737.85 c 1737s | 20 | 5651785 | 740427 | 27574 14719 | 401 | 342 1740.25/1740.74 c 1740s | 20 | 5654741 | 740827 | 27574 14855 | 401 | 342 1742.25/1742.76 c 1742s | 20 | 5660842 | 742127 | 27574 14883 | 401 | 342 1747.76/1748.20 c 1747s | 20 | 5663408 | 742627 | 27574 15155 | 401 | 342 1749.76/1750.27 c 1750s | 20 | 5668191 | 743627 | 27574 15218 | 401 | 342 1752.65/1753.10 c 1752s | 20 | 5672327 | 744627 | 27574 15301 | 401 | 342 1755.85/1756.31 c 1756s | 20 | 5673741 | 744927 | 27574 15459 | 401 | 342 1757.86/1758.37 c 1758s | 20 | 5674859 | 745127 | 27574 15560 | 401 | 342 1762.66/1763.19 c 1762s | 20 | 5676733 | 745527 | 27574 15810 | 401 | 342 1765.85/1766.31 c 1766s | 20 | 5677790 | 745727 | 27574 15971 | 401 | 342 1767.95/1768.40 c 1768s | 20 | 5682000 | 746927 | 27574 15997 | 401 | 342 1769.95/1770.48 c 1770s | 20 | 5687317 | 748327 | 27574 16000 | 401 | 342 1772.05/1772.59 c 1772s | 20 | 5696033 | 749827 | 27574 16003 | 401 | 342 1774.15/1774.67 c 1774s | 20 | 5702266 | 751427 | 27574 16006 | 401 | 342 1776.25/1776.73 c 1776s | 20 | 5707737 | 752827 | 27574 16009 | 401 | 342 1778.45/1778.90 c 1778s | 20 | 5714134 | 754227 | 27574 16014 | 401 | 342 1780.65/1781.19 c 1780s | 20 | 5717575 | 755227 | 27574 16017 | 401 | 342 1782.85/1783.30 c 1783s | 20 | 5724948 | 756927 | 27574 16023 | 401 | 342 1784.85/1785.31 c 1785s | 20 | 5730821 | 758527 | 27574 16029 | 401 | 342 1786.95/1787.47 c 1787s | 20 | 5737391 | 760127 | 27574 16036 | 401 | 342 1789.05/1789.59 c 1789s | 20 | 5741994 | 761327 | 27574 16041 | 401 | 342 1791.24/1791.77 c 1791s | 20 | 5748000 | 762727 | 27574 16048 | 401 | 342 1793.24/1793.79 c 1793s | 20 | 5751206 | 763827 | 27574 16054 | 401 | 342 1795.54/1796.04 c 1795s | 20 | 5755324 | 765127 | 27574 16062 | 401 | 342 1797.65/1798.17 c 1797s | 20 | 5760288 | 766427 | 27574 16071 | 401 | 342 1799.75/1800.29 c 1800s | 20 | 5764525 | 767627 | 27574 16083 | 401 | 342
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-4078940-1465283241/watcher-4078940-1465283241 -o /tmp/evaluation-result-4078940-1465283241/solver-4078940-1465283241 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13563 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078940-1465283241.opb pid=18596 running on 4 cores: 1,3,5,7 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.10 2.16 2.17 4/179 18599 /proc/meminfo: memFree=29259384/32872528 swapFree=17452/1581112 [pid=18599] ppid=18596 vsize=730556 CPUtime=0 cores=1,3,5,7 /proc/18599/stat : 18599 (toysat) R 18596 18599 13546 0 -1 4202496 2726 0 0 0 0 0 0 0 20 0 4 0 110256047 748089344 3088 33554432000 4194304 16246674 140737058670912 140737058670336 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18599/statm: 183151 3096 441 2943 0 180045 0 [pid=18599/tid=18600] ppid=18596 vsize=747964 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18600/stat : 18600 (toysat) S 18596 18599 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256047 765915136 3156 33554432000 4194304 16246674 140737058670912 139712925773040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=18599/tid=18601] ppid=18596 vsize=753084 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18601/stat : 18601 (toysat) S 18596 18599 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256047 771158016 3173 33554432000 4194304 16246674 140737058670912 139712915283184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=18599/tid=18602] ppid=18596 vsize=757180 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 775352320 3189 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100179 s] /proc/loadavg: 2.10 2.16 2.17 4/179 18599 /proc/meminfo: memFree=29259384/32872528 swapFree=17452/1581112 [pid=18599] ppid=18596 vsize=1222212 CPUtime=0.09 cores=1,3,5,7 /proc/18599/stat : 18599 (toysat) R 18596 18599 13546 0 -1 4202496 28323 0 0 0 6 3 0 0 20 0 4 0 110256047 1251545088 28622 33554432000 4194304 16246674 140737058670912 140737058670224 4221105 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18599/statm: 305553 28629 801 2943 0 302447 0 [pid=18599/tid=18600] ppid=18596 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18600/stat : 18600 (toysat) S 18596 18599 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256047 1251545088 28635 33554432000 4194304 16246674 140737058670912 139712925773040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=18599/tid=18601] ppid=18596 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18601/stat : 18601 (toysat) S 18596 18599 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256047 1251545088 28640 33554432000 4194304 16246674 140737058670912 139712915283184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=18599/tid=18602] ppid=18596 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 1251545088 28645 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1222212 [startup+0.20058 s] /proc/loadavg: 2.10 2.16 2.17 4/179 18599 /proc/meminfo: memFree=29259384/32872528 swapFree=17452/1581112 [pid=18599] ppid=18596 vsize=1302084 CPUtime=0.19 cores=1,3,5,7 /proc/18599/stat : 18599 (toysat) R 18596 18599 13546 0 -1 4202496 48286 0 0 0 13 6 0 0 20 0 4 0 110256047 1333334016 48585 33554432000 4194304 16246674 140737058670912 140737058670224 5901290 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18599/statm: 325521 48585 833 2943 0 322415 0 [pid=18599/tid=18600] ppid=18596 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18600/stat : 18600 (toysat) S 18596 18599 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256047 1333334016 48585 33554432000 4194304 16246674 140737058670912 139712925773040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=18599/tid=18601] ppid=18596 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18601/stat : 18601 (toysat) S 18596 18599 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256047 1333334016 48585 33554432000 4194304 16246674 140737058670912 139712915283184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=18599/tid=18602] ppid=18596 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 1333334016 48585 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1302084 [startup+0.300511 s] /proc/loadavg: 2.10 2.16 2.17 4/179 18599 /proc/meminfo: memFree=29259384/32872528 swapFree=17452/1581112 [pid=18599] ppid=18596 vsize=1302084 CPUtime=0.29 cores=1,3,5,7 /proc/18599/stat : 18599 (toysat) R 18596 18599 13546 0 -1 4202496 58104 0 0 0 22 7 0 0 20 0 4 0 110256047 1333334016 58403 33554432000 4194304 16246674 140737058670912 140737058652800 4221105 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18599/statm: 325521 58410 883 2943 0 322415 0 [pid=18599/tid=18600] ppid=18596 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18600/stat : 18600 (toysat) S 18596 18599 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256047 1333334016 58412 33554432000 4194304 16246674 140737058670912 139712925773040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=18599/tid=18601] ppid=18596 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18601/stat : 18601 (toysat) S 18596 18599 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256047 1333334016 58416 33554432000 4194304 16246674 140737058670912 139712915283184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=18599/tid=18602] ppid=18596 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 1334382592 58422 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1302084 [startup+0.700425 s] /proc/loadavg: 2.10 2.16 2.17 4/179 18599 /proc/meminfo: memFree=29259384/32872528 swapFree=17452/1581112 [pid=18599] ppid=18596 vsize=1309252 CPUtime=0.69 cores=1,3,5,7 /proc/18599/stat : 18599 (toysat) R 18596 18599 13546 0 -1 4202496 95652 0 0 0 57 12 0 0 20 0 4 0 110256047 1340674048 95951 33554432000 4194304 16246674 140737058670912 140737058670224 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18599/statm: 327313 95962 883 2943 0 324207 0 [pid=18599/tid=18600] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18600/stat : 18600 (toysat) S 18596 18599 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 95966 33554432000 4194304 16246674 140737058670912 139712925773040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=18599/tid=18601] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18601/stat : 18601 (toysat) S 18596 18599 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 95970 33554432000 4194304 16246674 140737058670912 139712915283184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=18599/tid=18602] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 95976 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1309252 [startup+1.50043 s] /proc/loadavg: 2.10 2.16 2.17 3/183 18603 /proc/meminfo: memFree=28517892/32872528 swapFree=17452/1581112 [pid=18599] ppid=18596 vsize=1309252 CPUtime=1.49 cores=1,3,5,7 /proc/18599/stat : 18599 (toysat) R 18596 18599 13546 0 -1 4202496 268486 0 0 0 114 35 0 0 20 0 4 0 110256047 1340674048 268785 33554432000 4194304 16246674 140737058670912 140737058652800 5754752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18599/statm: 327313 268785 883 2943 0 324207 0 [pid=18599/tid=18600] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18600/stat : 18600 (toysat) S 18596 18599 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 268785 33554432000 4194304 16246674 140737058670912 139712925773040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=18599/tid=18601] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18601/stat : 18601 (toysat) S 18596 18599 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 268785 33554432000 4194304 16246674 140737058670912 139712915283184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=18599/tid=18602] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 268785 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1309252 [startup+3.10044 s] /proc/loadavg: 2.10 2.16 2.17 4/183 18603 /proc/meminfo: memFree=28185076/32872528 swapFree=17452/1581112 [pid=18599] ppid=18596 vsize=1309252 CPUtime=3.09 cores=1,3,5,7 /proc/18599/stat : 18599 (toysat) R 18596 18599 13546 0 -1 4202496 268493 0 0 0 274 35 0 0 20 0 4 0 110256047 1340674048 268792 33554432000 4194304 16246674 140737058670912 140737058652800 5673060 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18599/statm: 327313 268792 883 2943 0 324207 0 [pid=18599/tid=18600] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18600/stat : 18600 (toysat) S 18596 18599 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 268792 33554432000 4194304 16246674 140737058670912 139712925773040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=18599/tid=18601] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18601/stat : 18601 (toysat) S 18596 18599 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 268792 33554432000 4194304 16246674 140737058670912 139712915283184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=18599/tid=18602] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 268792 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1309252 [startup+6.30045 s] /proc/loadavg: 2.09 2.16 2.17 3/183 18603 /proc/meminfo: memFree=28183852/32872528 swapFree=17452/1581112 [pid=18599] ppid=18596 vsize=1309252 CPUtime=6.29 cores=1,3,5,7 /proc/18599/stat : 18599 (toysat) R 18596 18599 13546 0 -1 4202496 268495 0 0 0 594 35 0 0 20 0 4 0 110256047 1340674048 268794 33554432000 4194304 16246674 140737058670912 140737058652800 12477709 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18599/statm: 327313 268794 885 2943 0 324207 0 [pid=18599/tid=18600] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18600/stat : 18600 (toysat) S 18596 18599 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 268794 33554432000 4194304 16246674 140737058670912 139712925773040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=18599/tid=18601] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18601/stat : 18601 (toysat) S 18596 18599 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 268794 33554432000 4194304 16246674 140737058670912 139712915283184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=18599/tid=18602] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 268794 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1309252 [startup+12.7004 s] /proc/loadavg: 2.08 2.15 2.17 3/183 18603 /proc/meminfo: memFree=28183744/32872528 swapFree=17452/1581112 [pid=18599] ppid=18596 vsize=1309252 CPUtime=12.69 cores=1,3,5,7 /proc/18599/stat : 18599 (toysat) R 18596 18599 13546 0 -1 4202496 268495 0 0 0 1234 35 0 0 20 0 4 0 110256047 1340674048 268794 33554432000 4194304 16246674 140737058670912 140737058652800 5677720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18599/statm: 327313 268794 885 2943 0 324207 0 [pid=18599/tid=18600] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18600/stat : 18600 (toysat) S 18596 18599 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 268794 33554432000 4194304 16246674 140737058670912 139712925773040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=18599/tid=18601] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18601/stat : 18601 (toysat) S 18596 18599 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 268794 33554432000 4194304 16246674 140737058670912 139712915283184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=18599/tid=18602] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 268794 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1309252 [startup+25.5005 s] /proc/loadavg: 2.06 2.14 2.16 3/183 18603 /proc/meminfo: memFree=28184020/32872528 swapFree=17452/1581112 [pid=18599] ppid=18596 vsize=1309252 CPUtime=25.49 cores=1,3,5,7 /proc/18599/stat : 18599 (toysat) R 18596 18599 13546 0 -1 4202496 268496 0 0 0 2514 35 0 0 20 0 4 0 110256047 1340674048 268795 33554432000 4194304 16246674 140737058670912 140737058652800 13950192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18599/statm: 327313 268795 886 2943 0 324207 0 [pid=18599/tid=18600] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18600/stat : 18600 (toysat) S 18596 18599 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 268795 33554432000 4194304 16246674 140737058670912 139712925773040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=18599/tid=18601] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18601/stat : 18601 (toysat) S 18596 18599 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 268795 33554432000 4194304 16246674 140737058670912 139712915283184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=18599/tid=18602] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 268795 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1309252 [startup+51.1005 s] /proc/loadavg: 2.11 2.15 2.16 3/182 18603 /proc/meminfo: memFree=28182316/32872528 swapFree=17452/1581112 [pid=18599] ppid=18596 vsize=1309252 CPUtime=51.08 cores=1,3,5,7 /proc/18599/stat : 18599 (toysat) R 18596 18599 13546 0 -1 4202496 268496 0 0 0 5073 35 0 0 20 0 4 0 110256047 1340674048 268795 33554432000 4194304 16246674 140737058670912 140737058652800 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18599/statm: 327313 268795 886 2943 0 324207 0 [pid=18599/tid=18600] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18600/stat : 18600 (toysat) S 18596 18599 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 268795 33554432000 4194304 16246674 140737058670912 139712925773040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=18599/tid=18601] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18601/stat : 18601 (toysat) S 18596 18599 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 268795 33554432000 4194304 16246674 140737058670912 139712915283184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=18599/tid=18602] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 268795 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1309252 [startup+102.301 s] /proc/loadavg: 2.11 2.14 2.16 3/183 18605 /proc/meminfo: memFree=28182180/32872528 swapFree=17452/1581112 [pid=18599] ppid=18596 vsize=1309252 CPUtime=102.28 cores=1,3,5,7 /proc/18599/stat : 18599 (toysat) R 18596 18599 13546 0 -1 4202496 268496 0 0 0 10193 35 0 0 20 0 4 0 110256047 1340674048 268795 33554432000 4194304 16246674 140737058670912 140737058652800 12483317 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18599/statm: 327313 268795 886 2943 0 324207 0 [pid=18599/tid=18600] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18600/stat : 18600 (toysat) S 18596 18599 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 268795 33554432000 4194304 16246674 140737058670912 139712925773040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=18599/tid=18601] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18601/stat : 18601 (toysat) S 18596 18599 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 268795 33554432000 4194304 16246674 140737058670912 139712915283184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=18599/tid=18602] ppid=18596 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 1340674048 268795 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1309252 ################ # More data... # ################ /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1313348 [startup+1362.3 s] /proc/loadavg: 2.44 2.37 2.24 4/184 18688 /proc/meminfo: memFree=28174236/32872528 swapFree=17452/1581112 [pid=18599] ppid=18596 vsize=1313348 CPUtime=1361.92 cores=1,3,5,7 /proc/18599/stat : 18599 (toysat) R 18596 18599 13546 0 -1 4202496 269836 0 0 0 136137 55 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 140737058652800 13950232 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18599/statm: 328337 270075 886 2943 0 325231 0 [pid=18599/tid=18600] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18600/stat : 18600 (toysat) S 18596 18599 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712925773040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=18599/tid=18601] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18601/stat : 18601 (toysat) S 18596 18599 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712915283184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=18599/tid=18602] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1313348 [startup+1422.3 s] /proc/loadavg: 2.36 2.36 2.25 3/183 18689 /proc/meminfo: memFree=28174748/32872528 swapFree=17452/1581112 [pid=18599] ppid=18596 vsize=1313348 CPUtime=1421.91 cores=1,3,5,7 /proc/18599/stat : 18599 (toysat) R 18596 18599 13546 0 -1 4202496 269836 0 0 0 142134 57 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 140737058652800 4207040 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18599/statm: 328337 270075 886 2943 0 325231 0 [pid=18599/tid=18600] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18600/stat : 18600 (toysat) S 18596 18599 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712925773040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=18599/tid=18601] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18601/stat : 18601 (toysat) S 18596 18599 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712915283184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=18599/tid=18602] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1313348 [startup+1482.3 s] /proc/loadavg: 2.21 2.32 2.24 3/183 18690 /proc/meminfo: memFree=28174992/32872528 swapFree=17452/1581112 [pid=18599] ppid=18596 vsize=1313348 CPUtime=1481.89 cores=1,3,5,7 /proc/18599/stat : 18599 (toysat) R 18596 18599 13546 0 -1 4202496 269836 0 0 0 148127 62 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 140737058670008 4220978 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18599/statm: 328337 270075 886 2943 0 325231 0 [pid=18599/tid=18600] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18600/stat : 18600 (toysat) S 18596 18599 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712925773040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=18599/tid=18601] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18601/stat : 18601 (toysat) S 18596 18599 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712915283184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=18599/tid=18602] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1313348 [startup+1542.31 s] /proc/loadavg: 2.29 2.32 2.25 3/182 18691 /proc/meminfo: memFree=28175868/32872528 swapFree=17452/1581112 [pid=18599] ppid=18596 vsize=1313348 CPUtime=1541.9 cores=1,3,5,7 /proc/18599/stat : 18599 (toysat) R 18596 18599 13546 0 -1 4202496 269836 0 0 0 154124 66 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 140737058652800 13950202 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18599/statm: 328337 270075 886 2943 0 325231 0 [pid=18599/tid=18600] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18600/stat : 18600 (toysat) S 18596 18599 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712925773040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=18599/tid=18601] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18601/stat : 18601 (toysat) S 18596 18599 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712915283184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=18599/tid=18602] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1313348 [startup+1602.3 s] /proc/loadavg: 2.29 2.32 2.25 3/183 18694 /proc/meminfo: memFree=28174932/32872528 swapFree=17452/1581112 [pid=18599] ppid=18596 vsize=1313348 CPUtime=1601.88 cores=1,3,5,7 /proc/18599/stat : 18599 (toysat) R 18596 18599 13546 0 -1 4202496 269836 0 0 0 160121 67 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 140737058652800 13820864 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18599/statm: 328337 270075 886 2943 0 325231 0 [pid=18599/tid=18600] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18600/stat : 18600 (toysat) S 18596 18599 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712925773040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=18599/tid=18601] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18601/stat : 18601 (toysat) S 18596 18599 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712915283184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=18599/tid=18602] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1313348 [startup+1662.3 s] /proc/loadavg: 2.22 2.30 2.25 4/183 18695 /proc/meminfo: memFree=28175060/32872528 swapFree=17452/1581112 [pid=18599] ppid=18596 vsize=1313348 CPUtime=1661.87 cores=1,3,5,7 /proc/18599/stat : 18599 (toysat) R 18596 18599 13546 0 -1 4202496 269836 0 0 0 166118 69 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 140737058652800 13818354 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18599/statm: 328337 270075 886 2943 0 325231 0 [pid=18599/tid=18600] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18600/stat : 18600 (toysat) S 18596 18599 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712925773040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=18599/tid=18601] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18601/stat : 18601 (toysat) S 18596 18599 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712915283184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=18599/tid=18602] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1313348 [startup+1722.3 s] /proc/loadavg: 2.35 2.32 2.26 3/183 18696 /proc/meminfo: memFree=28175160/32872528 swapFree=17452/1581112 [pid=18599] ppid=18596 vsize=1313348 CPUtime=1721.86 cores=1,3,5,7 /proc/18599/stat : 18599 (toysat) R 18596 18599 13546 0 -1 4202496 269836 0 0 0 172114 72 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 140737058652800 12466644 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18599/statm: 328337 270075 886 2943 0 325231 0 [pid=18599/tid=18600] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18600/stat : 18600 (toysat) S 18596 18599 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712925773040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=18599/tid=18601] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18601/stat : 18601 (toysat) S 18596 18599 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712915283184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=18599/tid=18602] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1313348 [startup+1782.3 s] /proc/loadavg: 2.26 2.29 2.25 3/183 18697 /proc/meminfo: memFree=28174672/32872528 swapFree=17452/1581112 [pid=18599] ppid=18596 vsize=1313348 CPUtime=1781.85 cores=1,3,5,7 /proc/18599/stat : 18599 (toysat) R 18596 18599 13546 0 -1 4202496 269836 0 0 0 178110 75 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 140737058652800 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18599/statm: 328337 270075 886 2943 0 325231 0 [pid=18599/tid=18600] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18600/stat : 18600 (toysat) S 18596 18599 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712925773040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=18599/tid=18601] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18601/stat : 18601 (toysat) S 18596 18599 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712915283184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=18599/tid=18602] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1313348 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.20 2.28 2.25 3/183 18697 /proc/meminfo: memFree=28174672/32872528 swapFree=17452/1581112 [pid=18599] ppid=18596 vsize=1313348 CPUtime=1800.05 cores=1,3,5,7 /proc/18599/stat : 18599 (toysat) R 18596 18599 13546 0 -1 4202496 269836 0 0 0 179929 76 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 140737058652800 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18599/statm: 328337 270075 886 2943 0 325231 0 [pid=18599/tid=18600] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18600/stat : 18600 (toysat) S 18596 18599 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712925773040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=18599/tid=18601] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18601/stat : 18601 (toysat) S 18596 18599 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712915283184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=18599/tid=18602] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1313348 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 18599 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.20 2.28 2.25 3/183 18697 /proc/meminfo: memFree=28174672/32872528 swapFree=17452/1581112 [pid=18599] ppid=18596 vsize=1313348 CPUtime=1800.05 cores=1,3,5,7 /proc/18599/stat : 18599 (toysat) R 18596 18599 13546 0 -1 4202496 269836 0 0 0 179929 76 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 140737058652800 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/18599/statm: 328337 270075 886 2943 0 325231 0 [pid=18599/tid=18600] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18600/stat : 18600 (toysat) S 18596 18599 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712925773040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=18599/tid=18601] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18601/stat : 18601 (toysat) S 18596 18599 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712915283184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=18599/tid=18602] ppid=18596 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/18599/task/18602/stat : 18602 (toysat) S 18596 18599 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110256047 1344868352 270075 33554432000 4194304 16246674 140737058670912 139712803105968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1313348 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1799.3 CPU system time (s): 0.760884 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 1313348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.3 system time used= 0.760884 maximum resident set size= 1080300 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269836 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= 336 involuntary context switches= 1842 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.8952 second user time and 16.8794 second system time The end
Begin job on node139 at 2016-06-07 09:07:21 IDJOB=4078940 IDBENCH=90128 IDSOLVER=2542 FILE ID=node139/4078940-1465283241 RUNJOBID= node139-1465254943-13563 PBS_JOBID= 19843273 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K89.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078940-1465283241/watcher-4078940-1465283241 -o /tmp/evaluation-result-4078940-1465283241/solver-4078940-1465283241 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13563 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078940-1465283241.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 30c9df0e6d94fba856558f98ad1383d9 RANDOM SEED=854369640 node139.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.868 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.73 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.868 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.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 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.868 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.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 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.868 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: 29259556 kB Buffers: 73240 kB Cached: 141776 kB SwapCached: 1412 kB Active: 1162064 kB Inactive: 135132 kB Active(anon): 1081504 kB Inactive(anon): 3552 kB Active(file): 80560 kB Inactive(file): 131580 kB Unevictable: 1581112 kB Mlocked: 17452 kB SwapTotal: 67108856 kB SwapFree: 67099812 kB Dirty: 16700 kB Writeback: 0 kB AnonPages: 2664544 kB Mapped: 10840 kB Shmem: 0 kB Slab: 599312 kB SReclaimable: 43392 kB SUnreclaim: 555920 kB KernelStack: 1520 kB PageTables: 9352 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2805584 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1570816 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= 71700 MiB End job on node139 at 2016-06-07 09:37:22