| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | /DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K101.opb |
| MD5SUM | a3de6c6ee42f8b511357d3857e721bb4 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 426.046 |
| 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 | 6868 |
| Total number of constraints | 7072 |
| Number of constraints which are clauses | 6971 |
| Number of constraints which are cardinality constraints (but not clauses) | 101 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 101 |
| 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 | 102 |
| 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.03 c 2016-06-07T09:21:17+0200 0.00/0.03 c version = 0.5.0 0.00/0.03 c githash = 1a49202 0.00/0.03 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.03 c arch = x86_64 0.00/0.03 c os = linux 0.00/0.03 c compiler = ghc 7.10 0.00/0.03 c packages: 0.00/0.03 c OptDir-0.0.3 0.00/0.03 c array-0.5.1.0 0.00/0.03 c base-4.8.2.0 0.00/0.03 c bytestring-0.10.6.0 0.00/0.03 c bytestring-builder-0.10.6.0.0 0.00/0.03 c clock-0.7.2 0.00/0.03 c containers-0.5.6.2 0.00/0.03 c data-default-0.5.3 0.00/0.03 c data-default-class-0.0.1 0.00/0.03 c data-interval-1.2.0 0.00/0.03 c deepseq-1.4.1.1 0.00/0.03 c directory-1.2.2.0 0.00/0.03 c exceptions-0.8.2.1 0.00/0.03 c extended-reals-0.2.1.0 0.00/0.03 c filepath-1.4.0.0 0.00/0.03 c finite-field-0.8.0 0.00/0.03 c hashable-1.2.4.0 0.00/0.03 c heaps-0.3.3 0.00/0.03 c intern-0.9.1.4 0.00/0.03 c loop-0.3.0 0.00/0.03 c mtl-2.2.1 0.00/0.03 c multiset-0.3.2 0.00/0.03 c mwc-random-0.13.3.2 0.00/0.03 c parse_dimacs-1.3 0.00/0.03 c parsec-3.1.9 0.00/0.03 c prettyclass-1.0.0.0 0.00/0.03 c primes-0.2.1.0 0.00/0.03 c primitive-0.6.1.0 0.00/0.03 c process-1.2.3.0 0.00/0.03 c pseudo-boolean-0.1.3.0 0.00/0.04 c queue-0.1.2 0.00/0.04 c semigroups-0.18.1 0.00/0.04 c sign-0.4.3 0.00/0.04 c stm-2.4.4.1 0.00/0.04 c template-haskell-2.10.0.0 0.00/0.04 c temporary-1.2.0.4 0.00/0.04 c time-1.5.0.1 0.00/0.04 c transformers-0.4.2.0 0.00/0.04 c transformers-compat-0.5.1.4 0.00/0.04 c type-level-numbers-0.1.1.1 0.00/0.04 c unbounded-delays-0.1.0.9 0.00/0.04 c unordered-containers-0.2.6.0 0.00/0.04 c vector-0.11.0.0 0.00/0.04 c vector-space-0.10.3 0.00/0.04 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078922-1465284077.opb"] 0.00/0.04 c use --random-gen="1888577224 477758042 1323931180 3251163260 360093716 2551178414 3468436611 1635745956 2653847904 1449815900 3637951115 4145980578 4006576960 3970497722 509274176 807088863 2019778868 1331152021 4198103911 2163897738 3918360623 553482507 670544311 2805859475 1469180019 3966855326 2555279753 2371004079 42178724 1606546426 34157453 3747285430 1733930542 595365547 2037963106 3424852397 1402655718 3998430834 531340836 2988796532 2862309258 3749461628 174652754 3118780869 536960798 3362696436 393470882 2313595011 3034431218 72100670 3242569269 865122881 1397540661 1114482575 2974424000 2865281030 3558235074 65380881 2158117836 516690078 1877018794 4010373352 77290175 3142916588 366368164 3961053451 979262130 3835207007 2340205983 1770208947 1528607916 3854223817 3493535592 547932474 2026898432 2856102005 2133456644 1999196087 4105254906 641690410 1980932322 2634337457 3470541382 1631252145 3630127105 2516460380 212250029 3789582395 3279067207 3233069631 1114417609 559382575 341100791 2316361783 1698615937 4245461732 99137637 3167736123 39026881 947933518 1816770256 3176995477 350196680 4122107851 1975445910 2552384733 396624158 319492311 3913750208 655783152 352797844 2289259967 1544403237 3555624265 861155700 3525611580 3913636162 449333766 2488364271 1256631311 2731608935 196637177 1323972868 3525820396 2627439207 91079699 3619276669 2323242380 1286666312 1561603442 1266874752 1727623433 1254345324 536823243 3755535183 2571637105 571654670 38089745 4044976482 2977271719 1749163276 549048799 3200979916 1169489175 929965628 438085496 2306227166 1105840042 3760082730 2050642772 2367488207 2049260226 2198824686 1163985590 3971800242 1387162802 1603311406 2403225842 3607077317 325105956 1348974639 1911429618 2275177422 1901118768 69964986 3146759447 705396033 3914532883 3201667840 507840192 1097377049 1026068977 363768914 1362535272 168878648 2471970020 908331445 580597288 405662972 2461588843 188873817 4235468344 195395507 4049625732 2314472797 2287934181 3153761318 647464562 2650194035 4038163738 3312586824 1040238625 3264026812 1788680797 2268824383 3108967817 452232766 810468982 3081122568 2277205708 4107043236 939502102 3637617830 2831046845 146313063 2767592480 394179577 1261507259 4249501808 1791164004 562617927 587006218 825551463 3736757547 3424631007 2553690845 822917243 2825425399 2765438893 978341379 1363208033 2652232859 3393108812 2540143371 124733846 607033631 528249959 1418982052 4205936820 2967474210 3104292437 145250222 3564466125 1815621242 3493117650 3204482641 1049957166 1816976985 498319734 2876743927 3026927480 2825853650 1951174650 1763080602 3922212361 3024382614 3661555131 4232120169 2817206989 1415003737 4121432520 4183190955 558885363 1389168704 1551649139 345841344 255 362436" option to reproduce the execution 0.06/0.14 c #vars 6868 0.06/0.14 c #constraints 7072 0.15/0.28 c Solving starts ... 0.15/0.28 c ============================[ Search Statistics ]============================ 0.15/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.15/0.28 c | | | | Limit GC | Var | Constra 0.15/0.28 c ============================================================================= 0.15/0.28 c 0.0s | 0 | 0 | 0 | 4646 0 | 362 | 0 0.36/0.42 c 0.1s | 1 | 3840 | 100 | 4646 0 | 363 | 304 0.56/0.62 c 0.3s | 2 | 5425 | 250 | 5111 0 | 364 | 305 0.86/0.93 c 0.7s | 3 | 8425 | 475 | 5623 0 | 364 | 305 1.36/1.43 c 1.2s | 4 | 14671 | 813 | 6186 0 | 364 | 305 1.95/2.02 c 1.7s | 5 | 32165 | 1320 | 6805 0 | 367 | 308 2.95/3.02 c 2.7s | 6 | 46009 | 2081 | 8235 0 | 368 | 309 4.95/5.09 c 4.8s | 6 | 50303 | 3181 | 8235 0 | 368 | 309 5.05/5.15 c 4.9s | 7 | 50557 | 3223 | 9059 0 | 368 | 309 7.15/7.20 c 6.9s | 7 | 80570 | 4823 | 9059 0 | 370 | 311 7.35/7.47 c 7.2s | 8 | 83557 | 4936 | 9965 0 | 371 | 312 9.55/9.63 c 9.4s | 8 | 104322 | 6336 | 9965 0 | 371 | 312 11.16/11.22 c 10.9s | 9 | 119969 | 7506 | 10962 0 | 371 | 312 13.15/13.26 c 13.0s | 9 | 136031 | 8606 | 10962 0 | 373 | 314 15.25/15.30 c 15.0s | 9 | 141829 | 9506 | 10962 0 | 373 | 314 17.46/17.53 c 17.3s | 9 | 157797 | 10706 | 10962 0 | 373 | 314 19.16/19.20 c 18.9s | 10 | 164943 | 11361 | 12059 0 | 373 | 314 21.26/21.37 c 21.1s | 10 | 175090 | 12461 | 12059 0 | 373 | 314 23.56/23.69 c 23.4s | 10 | 183954 | 13561 | 12059 1 | 373 | 314 25.66/25.72 c 25.4s | 10 | 206310 | 14761 | 12059 1 | 374 | 315 27.66/27.78 c 27.5s | 10 | 217453 | 15861 | 12059 1 | 374 | 315 29.36/29.48 c 29.2s | 11 | 235776 | 17144 | 13265 1 | 374 | 315 31.46/31.53 c 31.3s | 11 | 259083 | 18344 | 13265 1 | 374 | 315 33.45/33.54 c 33.3s | 11 | 266467 | 19144 | 13265 1 | 374 | 315 35.55/35.63 c 35.3s | 11 | 293965 | 20544 | 13265 1 | 374 | 315 37.66/37.72 c 37.4s | 11 | 317001 | 21844 | 13265 2 | 374 | 315 39.76/39.81 c 39.5s | 11 | 335372 | 23144 | 13265 2 | 374 | 315 41.75/41.89 c 41.6s | 11 | 349010 | 24644 | 13265 2 | 374 | 315 43.55/43.67 c 43.4s | 12 | 374128 | 25819 | 14592 2 | 374 | 315 45.65/45.73 c 45.5s | 12 | 391911 | 27019 | 14592 2 | 374 | 315 47.65/47.79 c 47.5s | 12 | 416268 | 28419 | 14592 2 | 374 | 315 49.76/49.84 c 49.6s | 12 | 431380 | 29519 | 14592 2 | 375 | 316 51.86/51.97 c 51.7s | 12 | 448259 | 30719 | 14592 2 | 375 | 316 53.95/54.03 c 53.8s | 12 | 468186 | 31819 | 14592 3 | 375 | 316 56.05/56.15 c 55.9s | 12 | 487696 | 33419 | 14592 3 | 375 | 316 58.25/58.30 c 58.0s | 12 | 503686 | 34819 | 14592 3 | 375 | 316 60.44/60.56 c 60.3s | 12 | 505932 | 35519 | 14592 3 | 375 | 316 62.55/62.64 c 62.4s | 12 | 510708 | 36119 | 14592 3 | 375 | 316 65.06/65.20 c 64.9s | 12 | 512546 | 36519 | 14592 3 | 375 | 316 67.15/67.25 c 67.0s | 12 | 514213 | 36819 | 14592 3 | 375 | 316 69.15/69.25 c 69.0s | 12 | 525542 | 37919 | 14592 3 | 375 | 316 71.25/71.30 c 71.0s | 12 | 534461 | 38819 | 16052 3 | 375 | 316 71.25/71.34 c 71.1s | 13 | 534883 | 38832 | 16052 3 | 375 | 316 73.25/73.39 c 73.1s | 13 | 553451 | 39832 | 16052 3 | 375 | 316 75.45/75.51 c 75.2s | 13 | 576276 | 41032 | 16052 4 | 376 | 317 77.45/77.58 c 77.3s | 13 | 602163 | 42632 | 16052 4 | 376 | 317 79.55/79.65 c 79.4s | 13 | 613039 | 43632 | 16052 4 | 376 | 317 81.56/81.65 c 81.4s | 13 | 632221 | 44932 | 16052 4 | 376 | 317 83.55/83.66 c 83.4s | 13 | 650380 | 46032 | 16052 4 | 376 | 317 85.65/85.74 c 85.5s | 13 | 659213 | 47032 | 16052 4 | 376 | 317 87.85/87.95 c 87.7s | 13 | 671221 | 47932 | 16052 4 | 376 | 317 89.95/90.04 c 89.8s | 13 | 687988 | 49232 | 16052 5 | 376 | 317 91.95/92.08 c 91.8s | 13 | 706425 | 50332 | 16052 5 | 376 | 317 94.15/94.21 c 93.9s | 13 | 722736 | 51432 | 16052 5 | 379 | 320 96.15/96.24 c 96.0s | 13 | 748209 | 52532 | 16052 5 | 379 | 320 98.15/98.28 c 98.0s | 13 | 766705 | 53732 | 16052 5 | 379 | 320 100.25/100.38 c 100s | 13 | 786502 | 54832 | 16052 5 | 380 | 321 102.35/102.42 c 102s | 13 | 804959 | 56032 | 16052 5 | 381 | 322 104.44/104.54 c 104s | 13 | 823578 | 57032 | 16052 6 | 381 | 322 106.44/106.58 c 106s | 13 | 834830 | 58032 | 17658 6 | 381 | 322 107.04/107.17 c 106s | 14 | 840795 | 58352 | 17658 6 | 381 | 322 109.24/109.32 c 109s | 14 | 863050 | 59752 | 17658 6 | 382 | 323 111.25/111.35 c 111s | 14 | 891960 | 60852 | 17658 6 | 382 | 323 113.34/113.40 c 113s | 14 | 910339 | 62252 | 17658 6 | 383 | 324 115.44/115.54 c 115s | 14 | 933664 | 63652 | 17658 6 | 383 | 324 117.44/117.55 c 117s | 14 | 949105 | 64852 | 17658 6 | 383 | 324 119.44/119.56 c 119s | 14 | 958264 | 65952 | 17658 6 | 383 | 324 121.54/121.62 c 121s | 14 | 979087 | 67152 | 17658 6 | 383 | 324 123.74/123.82 c 123s | 14 | 988942 | 68752 | 17658 6 | 383 | 324 126.04/126.18 c 125s | 14 | 998100 | 69852 | 17658 7 | 383 | 324 128.24/128.30 c 128s | 14 | 1005516 | 70652 | 17658 7 | 383 | 324 130.24/130.34 c 130s | 14 | 1013748 | 72252 | 17658 7 | 383 | 324 132.44/132.51 c 132s | 14 | 1017290 | 73452 | 17658 7 | 383 | 324 134.44/134.59 c 134s | 14 | 1019447 | 74152 | 17658 7 | 383 | 324 136.64/136.72 c 136s | 14 | 1027572 | 75052 | 17658 7 | 383 | 324 138.63/138.80 c 138s | 14 | 1032843 | 75652 | 17658 7 | 383 | 324 140.73/140.81 c 140s | 14 | 1051475 | 76952 | 17658 7 | 383 | 324 143.33/143.45 c 143s | 14 | 1061691 | 78052 | 17658 8 | 384 | 325 145.34/145.50 c 145s | 14 | 1064345 | 78652 | 17658 8 | 384 | 325 147.54/147.69 c 147s | 14 | 1065853 | 79052 | 17658 8 | 384 | 325 149.74/149.87 c 149s | 14 | 1071536 | 80052 | 17658 8 | 384 | 325 151.94/152.09 c 151s | 14 | 1075977 | 80952 | 17658 8 | 384 | 325 154.04/154.13 c 153s | 14 | 1085917 | 81952 | 17658 8 | 384 | 325 156.04/156.14 c 155s | 14 | 1093501 | 82852 | 17658 8 | 384 | 325 158.04/158.17 c 157s | 14 | 1098236 | 83452 | 17658 8 | 384 | 325 160.44/160.51 c 160s | 14 | 1105727 | 84452 | 17658 8 | 384 | 325 162.54/162.64 c 162s | 14 | 1114209 | 85452 | 17658 8 | 384 | 325 164.63/164.76 c 164s | 14 | 1117146 | 86352 | 17658 8 | 384 | 325 166.93/167.06 c 166s | 14 | 1120755 | 87152 | 19424 8 | 384 | 325 168.73/168.88 c 168s | 15 | 1122588 | 87632 | 19424 8 | 384 | 325 170.83/170.92 c 170s | 15 | 1139314 | 88732 | 19424 8 | 384 | 325 172.84/173.00 c 172s | 15 | 1162101 | 89732 | 19424 9 | 385 | 326 175.04/175.15 c 174s | 15 | 1188132 | 91132 | 19424 9 | 385 | 326 177.13/177.25 c 176s | 15 | 1213670 | 92532 | 19424 9 | 385 | 326 179.23/179.35 c 179s | 15 | 1234193 | 94032 | 19424 9 | 385 | 326 181.33/181.42 c 181s | 15 | 1255790 | 95332 | 19424 9 | 385 | 326 183.43/183.57 c 183s | 15 | 1271809 | 96432 | 19424 9 | 386 | 327 185.63/185.74 c 185s | 15 | 1283629 | 97432 | 19424 9 | 386 | 327 187.63/187.79 c 187s | 15 | 1298042 | 98332 | 19424 9 | 387 | 328 189.73/189.86 c 189s | 15 | 1307661 | 99232 | 19424 10 | 387 | 328 191.83/191.95 c 191s | 15 | 1325784 | 100532 | 19424 10 | 388 | 329 193.93/194.07 c 193s | 15 | 1335075 | 101732 | 19424 10 | 388 | 329 195.93/196.09 c 195s | 15 | 1337426 | 102532 | 19424 10 | 388 | 329 198.23/198.39 c 198s | 15 | 1340080 | 103232 | 19424 10 | 388 | 329 200.43/200.52 c 200s | 15 | 1344733 | 103832 | 19424 10 | 388 | 329 202.53/202.63 c 202s | 15 | 1363117 | 105032 | 19424 10 | 388 | 329 204.52/204.65 c 204s | 15 | 1377341 | 106132 | 19424 10 | 388 | 329 206.62/206.70 c 206s | 15 | 1382839 | 107132 | 19424 10 | 388 | 329 208.62/208.79 c 208s | 15 | 1388209 | 107832 | 19424 10 | 388 | 329 210.72/210.89 c 210s | 15 | 1399756 | 108832 | 19424 10 | 388 | 329 212.82/212.94 c 212s | 15 | 1412327 | 109632 | 19424 11 | 388 | 329 215.02/215.13 c 214s | 15 | 1434462 | 111132 | 19424 11 | 388 | 329 217.12/217.23 c 216s | 15 | 1436928 | 111932 | 19424 11 | 388 | 329 219.32/219.48 c 219s | 15 | 1439300 | 112532 | 19424 11 | 388 | 329 221.42/221.56 c 221s | 15 | 1446102 | 113532 | 19424 11 | 388 | 329 223.82/223.92 c 223s | 15 | 1447939 | 114032 | 19424 11 | 388 | 329 226.32/226.43 c 226s | 15 | 1459322 | 115132 | 19424 11 | 388 | 329 228.42/228.53 c 228s | 15 | 1469311 | 115832 | 19424 11 | 388 | 329 230.52/230.66 c 230s | 15 | 1500730 | 117132 | 19424 11 | 388 | 329 232.62/232.70 c 232s | 15 | 1517566 | 118232 | 19424 11 | 388 | 329 234.72/234.84 c 234s | 15 | 1533517 | 119332 | 19424 11 | 388 | 329 236.92/237.05 c 236s | 15 | 1547342 | 120432 | 19424 12 | 388 | 329 239.02/239.11 c 238s | 15 | 1555822 | 121432 | 19424 12 | 388 | 329 241.13/241.23 c 240s | 15 | 1573883 | 122632 | 19424 12 | 388 | 329 243.23/243.32 c 243s | 15 | 1585114 | 123832 | 19424 12 | 389 | 330 245.32/245.46 c 245s | 15 | 1597613 | 125032 | 19424 12 | 389 | 330 247.42/247.56 c 247s | 15 | 1613833 | 126232 | 19424 12 | 389 | 330 249.52/249.69 c 249s | 15 | 1626463 | 127232 | 19424 12 | 389 | 330 251.62/251.73 c 251s | 15 | 1636503 | 128332 | 19424 12 | 389 | 330 253.72/253.89 c 253s | 15 | 1651651 | 129532 | 19424 12 | 389 | 330 256.02/256.14 c 255s | 15 | 1653612 | 130232 | 19424 12 | 389 | 330 258.12/258.27 c 257s | 15 | 1661707 | 131032 | 21367 12 | 389 | 330 260.12/260.28 c 260s | 16 | 1663246 | 131552 | 21367 12 | 389 | 330 262.32/262.41 c 262s | 16 | 1677313 | 132652 | 21367 13 | 389 | 330 264.42/264.53 c 264s | 16 | 1685098 | 133952 | 21367 13 | 389 | 330 266.62/266.72 c 266s | 16 | 1692873 | 135352 | 21367 13 | 389 | 330 268.63/268.72 c 268s | 16 | 1708609 | 136652 | 21367 13 | 389 | 330 270.62/270.76 c 270s | 16 | 1722675 | 137852 | 21367 13 | 389 | 330 272.62/272.77 c 272s | 16 | 1732035 | 138752 | 21367 13 | 389 | 330 275.02/275.17 c 274s | 16 | 1733976 | 139352 | 21367 13 | 389 | 330 277.02/277.17 c 276s | 16 | 1738708 | 140152 | 21367 13 | 389 | 330 279.12/279.28 c 278s | 16 | 1747760 | 141152 | 21367 13 | 389 | 330 281.32/281.47 c 281s | 16 | 1755507 | 141952 | 21367 13 | 389 | 330 283.41/283.58 c 283s | 16 | 1763845 | 142652 | 21367 13 | 389 | 330 285.82/285.97 c 285s | 16 | 1765999 | 143552 | 21367 13 | 389 | 330 288.02/288.12 c 287s | 16 | 1781108 | 144752 | 21367 14 | 389 | 330 290.11/290.29 c 290s | 16 | 1786987 | 145852 | 21367 14 | 389 | 330 292.21/292.36 c 292s | 16 | 1810307 | 147052 | 21367 14 | 389 | 330 294.31/294.44 c 294s | 16 | 1833154 | 148252 | 21367 14 | 389 | 330 296.61/296.77 c 296s | 16 | 1842975 | 149152 | 21367 14 | 389 | 330 298.71/298.82 c 298s | 16 | 1846249 | 149752 | 21367 14 | 389 | 330 300.91/301.02 c 300s | 16 | 1850352 | 150652 | 21367 14 | 389 | 330 303.01/303.17 c 302s | 16 | 1863645 | 151752 | 21367 14 | 389 | 330 305.21/305.36 c 305s | 16 | 1881571 | 152852 | 21367 14 | 389 | 330 307.41/307.51 c 307s | 16 | 1897998 | 153752 | 21367 14 | 389 | 330 309.51/309.66 c 309s | 16 | 1910974 | 154652 | 21367 14 | 389 | 330 312.61/312.78 c 312s | 16 | 1921843 | 155452 | 21367 14 | 389 | 330 314.71/314.81 c 314s | 16 | 1932573 | 156152 | 21367 15 | 389 | 330 316.71/316.86 c 316s | 16 | 1950533 | 157552 | 21367 15 | 389 | 330 318.90/319.00 c 318s | 16 | 1961754 | 158752 | 21367 15 | 389 | 330 321.10/321.20 c 320s | 16 | 1977201 | 159952 | 21367 15 | 389 | 330 323.20/323.35 c 323s | 16 | 1982359 | 160752 | 21367 15 | 389 | 330 325.20/325.39 c 325s | 16 | 1999018 | 161852 | 21367 15 | 389 | 330 327.40/327.56 c 327s | 16 | 2001360 | 162452 | 21367 15 | 389 | 330 329.50/329.69 c 329s | 16 | 2003294 | 162952 | 21367 15 | 389 | 330 332.90/333.06 c 332s | 16 | 2004469 | 163352 | 21367 15 | 389 | 330 335.40/335.59 c 335s | 16 | 2004893 | 163552 | 21367 15 | 389 | 330 337.80/337.91 c 337s | 16 | 2006986 | 164052 | 21367 15 | 389 | 330 340.11/340.26 c 339s | 16 | 2008490 | 164652 | 21367 15 | 389 | 330 343.10/343.23 c 342s | 16 | 2009732 | 165052 | 21367 15 | 389 | 330 345.20/345.35 c 345s | 16 | 2012156 | 165352 | 21367 15 | 389 | 330 347.40/347.51 c 347s | 16 | 2026849 | 166352 | 21367 15 | 389 | 330 349.49/349.61 c 349s | 16 | 2043132 | 167252 | 21367 16 | 389 | 330 351.59/351.74 c 351s | 16 | 2061163 | 168452 | 21367 16 | 389 | 330 354.09/354.21 c 353s | 16 | 2066150 | 169152 | 21367 16 | 389 | 330 356.39/356.60 c 356s | 16 | 2067679 | 169752 | 21367 16 | 389 | 330 358.49/358.69 c 358s | 16 | 2079817 | 170752 | 21367 16 | 389 | 330 360.48/360.70 c 360s | 16 | 2091180 | 171652 | 21367 16 | 389 | 330 362.58/362.71 c 362s | 16 | 2098686 | 172352 | 21367 16 | 389 | 330 364.98/365.11 c 364s | 16 | 2105060 | 173152 | 21367 16 | 389 | 330 366.98/367.19 c 366s | 16 | 2117524 | 174052 | 21367 16 | 389 | 330 369.18/369.36 c 369s | 16 | 2131052 | 175152 | 21367 16 | 389 | 330 371.28/371.46 c 371s | 16 | 2142237 | 176252 | 21367 16 | 389 | 330 373.48/373.60 c 373s | 16 | 2150039 | 176952 | 21367 16 | 389 | 330 375.68/375.83 c 375s | 16 | 2166580 | 177952 | 21367 16 | 389 | 330 377.78/377.94 c 377s | 16 | 2175962 | 178752 | 21367 17 | 389 | 330 379.88/380.03 c 379s | 16 | 2194556 | 179952 | 21367 17 | 389 | 330 382.17/382.33 c 382s | 16 | 2196498 | 180452 | 21367 17 | 389 | 330 384.18/384.36 c 384s | 16 | 2205255 | 181152 | 21367 17 | 389 | 330 386.38/386.53 c 386s | 16 | 2222946 | 182452 | 21367 17 | 389 | 330 388.39/388.59 c 388s | 16 | 2240574 | 183552 | 21367 17 | 389 | 330 390.48/390.63 c 390s | 16 | 2256488 | 184652 | 21367 17 | 389 | 330 392.68/392.88 c 392s | 16 | 2263055 | 185552 | 21367 17 | 389 | 330 394.78/394.96 c 394s | 16 | 2273556 | 186352 | 21367 17 | 389 | 330 396.88/397.02 c 396s | 16 | 2277684 | 186852 | 21367 17 | 389 | 330 398.98/399.20 c 398s | 16 | 2286182 | 187952 | 21367 17 | 389 | 330 401.18/401.32 c 401s | 16 | 2302905 | 188952 | 21367 17 | 389 | 330 403.28/403.44 c 403s | 16 | 2313067 | 189752 | 21367 18 | 389 | 330 405.28/405.48 c 405s | 16 | 2325903 | 190752 | 21367 18 | 389 | 330 407.38/407.52 c 407s | 16 | 2337439 | 191852 | 21367 18 | 389 | 330 409.38/409.54 c 409s | 16 | 2353655 | 193152 | 21367 18 | 389 | 330 411.37/411.59 c 411s | 16 | 2365286 | 194352 | 21367 18 | 389 | 330 413.47/413.62 c 413s | 16 | 2368771 | 195252 | 21367 18 | 389 | 330 415.57/415.73 c 415s | 16 | 2372788 | 196152 | 23504 18 | 389 | 330 417.77/417.99 c 417s | 16 | 2378011 | 196952 | 23504 18 | 389 | 330 420.28/420.47 c 420s | 16 | 2379364 | 197352 | 23504 18 | 389 | 330 420.67/420.89 c 420s | 17 | 2379685 | 197432 | 23504 18 | 389 | 330 422.77/422.96 c 422s | 17 | 2394274 | 198232 | 23504 18 | 389 | 330 424.97/425.14 c 424s | 17 | 2415796 | 199632 | 23504 18 | 389 | 330 426.98/427.16 c 426s | 17 | 2438715 | 201032 | 23504 18 | 389 | 330 429.07/429.29 c 429s | 17 | 2460529 | 202332 | 23504 18 | 389 | 330 431.17/431.37 c 431s | 17 | 2466097 | 203132 | 23504 19 | 389 | 330 433.27/433.43 c 433s | 17 | 2490216 | 204832 | 23504 19 | 389 | 330 435.57/435.76 c 435s | 17 | 2509397 | 206232 | 23504 19 | 389 | 330 437.67/437.80 c 437s | 17 | 2527148 | 207532 | 23504 19 | 389 | 330 439.77/439.95 c 439s | 17 | 2535042 | 208732 | 23504 19 | 389 | 330 441.86/442.00 c 441s | 17 | 2538491 | 209632 | 23504 19 | 389 | 330 443.86/444.06 c 443s | 17 | 2557924 | 210932 | 23504 19 | 389 | 330 446.06/446.25 c 445s | 17 | 2576406 | 212232 | 23504 19 | 389 | 330 448.26/448.45 c 448s | 17 | 2588407 | 213332 | 23504 19 | 389 | 330 450.36/450.58 c 450s | 17 | 2594453 | 214332 | 23504 19 | 389 | 330 452.76/452.99 c 452s | 17 | 2597780 | 215232 | 23504 19 | 389 | 330 454.96/455.14 c 454s | 17 | 2600049 | 215932 | 23504 19 | 389 | 330 457.16/457.37 c 457s | 17 | 2602476 | 216632 | 23504 19 | 389 | 330 459.26/459.40 c 459s | 17 | 2603971 | 217032 | 23504 19 | 389 | 330 461.46/461.65 c 461s | 17 | 2604830 | 217432 | 23504 19 | 389 | 330 463.56/463.71 c 463s | 17 | 2605212 | 217632 | 23504 19 | 389 | 330 465.56/465.79 c 465s | 17 | 2606044 | 217932 | 23504 19 | 389 | 330 467.76/467.98 c 467s | 17 | 2607500 | 218332 | 23504 19 | 389 | 330 470.25/470.48 c 470s | 17 | 2608962 | 218732 | 23504 20 | 389 | 330 472.35/472.55 c 472s | 17 | 2610299 | 219232 | 23504 20 | 389 | 330 474.35/474.56 c 474s | 17 | 2611906 | 219832 | 23504 20 | 389 | 330 476.55/476.75 c 476s | 17 | 2614152 | 220332 | 23504 20 | 389 | 330 478.66/478.88 c 478s | 17 | 2615673 | 220832 | 23504 20 | 389 | 330 480.95/481.10 c 480s | 17 | 2617985 | 221532 | 23504 20 | 389 | 330 482.96/483.14 c 482s | 17 | 2634003 | 222832 | 23504 20 | 389 | 330 485.06/485.20 c 484s | 17 | 2658027 | 224432 | 23504 20 | 389 | 330 487.05/487.21 c 486s | 17 | 2667773 | 225532 | 23504 20 | 390 | 331 489.15/489.33 c 489s | 17 | 2686679 | 226932 | 23504 20 | 390 | 331 491.35/491.55 c 491s | 17 | 2703893 | 228232 | 23504 20 | 390 | 331 493.45/493.63 c 493s | 17 | 2724652 | 229332 | 23504 21 | 390 | 331 495.55/495.71 c 495s | 17 | 2732239 | 230932 | 23504 21 | 390 | 331 497.55/497.74 c 497s | 17 | 2736585 | 232032 | 23504 21 | 390 | 331 499.55/499.79 c 499s | 17 | 2745546 | 233132 | 23504 21 | 390 | 331 501.75/501.93 c 501s | 17 | 2757027 | 234832 | 23504 21 | 390 | 331 503.85/504.05 c 503s | 17 | 2760299 | 235832 | 23504 21 | 390 | 331 505.84/506.07 c 505s | 17 | 2769463 | 237132 | 23504 21 | 390 | 331 507.84/508.09 c 507s | 17 | 2772553 | 238132 | 23504 21 | 390 | 331 510.24/510.49 c 510s | 17 | 2776160 | 238932 | 23504 21 | 390 | 331 512.34/512.50 c 512s | 17 | 2777745 | 239432 | 23504 21 | 390 | 331 514.44/514.63 c 514s | 17 | 2785905 | 240832 | 23504 21 | 390 | 331 516.54/516.74 c 516s | 17 | 2790228 | 241832 | 23504 21 | 390 | 331 518.73/518.91 c 518s | 17 | 2793829 | 242732 | 23504 21 | 390 | 331 521.13/521.34 c 521s | 17 | 2795032 | 243232 | 23504 21 | 390 | 331 523.23/523.45 c 523s | 17 | 2795589 | 243532 | 23504 21 | 390 | 331 525.74/525.96 c 525s | 17 | 2796878 | 243932 | 23504 21 | 390 | 331 528.15/528.30 c 528s | 17 | 2799504 | 244532 | 23504 21 | 390 | 331 530.53/530.73 c 530s | 17 | 2802213 | 245032 | 23504 22 | 390 | 331 532.54/532.76 c 532s | 17 | 2804754 | 245632 | 23504 22 | 390 | 331 534.64/534.88 c 534s | 17 | 2830961 | 247432 | 23504 22 | 390 | 331 536.63/536.89 c 536s | 17 | 2847868 | 248632 | 23504 22 | 390 | 331 538.73/538.96 c 538s | 17 | 2867575 | 250032 | 23504 22 | 390 | 331 540.73/540.97 c 540s | 17 | 2891481 | 251432 | 23504 22 | 390 | 331 542.92/543.15 c 542s | 17 | 2912862 | 252732 | 23504 22 | 390 | 331 545.22/545.41 c 545s | 17 | 2915691 | 253432 | 23504 22 | 390 | 331 547.42/547.66 c 547s | 17 | 2917631 | 254032 | 23504 22 | 390 | 331 549.82/550.09 c 549s | 17 | 2919264 | 254632 | 23504 22 | 390 | 331 551.92/552.15 c 551s | 17 | 2921758 | 255232 | 23504 22 | 390 | 331 554.32/554.53 c 554s | 17 | 2922683 | 255632 | 23504 22 | 390 | 331 556.32/556.57 c 556s | 17 | 2925873 | 256232 | 23504 22 | 390 | 331 558.42/558.68 c 558s | 17 | 2929507 | 257032 | 23504 22 | 390 | 331 560.52/560.77 c 560s | 17 | 2939186 | 257932 | 23504 23 | 390 | 331 563.02/563.20 c 562s | 17 | 2942783 | 258832 | 23504 23 | 390 | 331 565.02/565.29 c 565s | 17 | 2958304 | 260532 | 23504 23 | 390 | 331 567.12/567.39 c 567s | 17 | 2965918 | 261932 | 23504 23 | 390 | 331 569.22/569.45 c 569s | 17 | 2970154 | 262932 | 23504 23 | 390 | 331 571.32/571.57 c 571s | 17 | 2975234 | 263932 | 23504 23 | 390 | 331 573.52/573.79 c 573s | 17 | 2977475 | 264632 | 23504 23 | 390 | 331 575.72/575.93 c 575s | 17 | 2979699 | 265232 | 23504 23 | 390 | 331 577.82/578.07 c 577s | 17 | 2982696 | 265832 | 23504 23 | 390 | 331 580.22/580.43 c 580s | 17 | 2984473 | 266332 | 23504 23 | 390 | 331 582.61/582.88 c 582s | 17 | 2985268 | 266732 | 23504 23 | 390 | 331 585.22/585.45 c 585s | 17 | 2986381 | 267132 | 23504 23 | 390 | 331 587.52/587.74 c 587s | 17 | 2996655 | 268032 | 23504 23 | 390 | 331 589.81/590.03 c 589s | 17 | 3000962 | 268732 | 23504 24 | 390 | 331 592.01/592.20 c 591s | 17 | 3010240 | 270032 | 23504 24 | 390 | 331 594.01/594.22 c 593s | 17 | 3028137 | 271332 | 23504 24 | 390 | 331 596.21/596.41 c 596s | 17 | 3034741 | 272432 | 23504 24 | 390 | 331 598.41/598.70 c 598s | 17 | 3037190 | 273132 | 23504 24 | 390 | 331 600.80/601.05 c 600s | 17 | 3039012 | 273732 | 23504 24 | 390 | 331 602.91/603.11 c 602s | 17 | 3050497 | 275032 | 23504 24 | 390 | 331 605.01/605.26 c 604s | 17 | 3060952 | 276532 | 23504 24 | 390 | 331 607.10/607.31 c 607s | 17 | 3076694 | 277732 | 23504 24 | 390 | 331 609.40/609.66 c 609s | 17 | 3079800 | 278432 | 23504 24 | 390 | 331 611.60/611.90 c 611s | 17 | 3087142 | 279532 | 23504 24 | 390 | 331 613.70/613.95 c 613s | 17 | 3089169 | 280132 | 23504 24 | 390 | 331 616.01/616.30 c 616s | 17 | 3092632 | 280832 | 23504 24 | 390 | 331 618.21/618.48 c 618s | 17 | 3095086 | 281532 | 23504 24 | 390 | 331 620.30/620.51 c 620s | 17 | 3098159 | 282332 | 23504 25 | 390 | 331 622.29/622.53 c 622s | 17 | 3103511 | 283732 | 23504 25 | 390 | 331 624.29/624.54 c 624s | 17 | 3116959 | 285332 | 23504 25 | 390 | 331 626.39/626.65 c 626s | 17 | 3143049 | 286932 | 23504 25 | 390 | 331 628.39/628.66 c 628s | 17 | 3156421 | 288332 | 23504 25 | 390 | 331 630.49/630.72 c 630s | 17 | 3167946 | 289832 | 23504 25 | 390 | 331 632.59/632.88 c 632s | 17 | 3170431 | 290532 | 23504 25 | 390 | 331 634.69/634.97 c 634s | 17 | 3173262 | 291332 | 23504 25 | 390 | 331 636.68/636.97 c 636s | 17 | 3188195 | 292732 | 23504 26 | 390 | 331 638.78/639.03 c 638s | 17 | 3197213 | 294232 | 25855 26 | 390 | 331 640.88/641.16 c 640s | 17 | 3216315 | 295732 | 25855 26 | 390 | 331 641.48/641.73 c 641s | 18 | 3222298 | 296252 | 25855 26 | 390 | 331 643.59/643.87 c 643s | 18 | 3243019 | 297952 | 25855 26 | 390 | 331 645.58/645.88 c 645s | 18 | 3264569 | 299452 | 25855 26 | 390 | 331 647.89/648.11 c 647s | 18 | 3281640 | 300752 | 25855 26 | 390 | 331 649.88/650.12 c 649s | 18 | 3298553 | 301852 | 25855 26 | 390 | 331 651.88/652.14 c 651s | 18 | 3319213 | 303052 | 25855 26 | 390 | 331 653.97/654.23 c 653s | 18 | 3330537 | 304152 | 25855 27 | 390 | 331 655.97/656.29 c 656s | 18 | 3355238 | 305952 | 25855 27 | 390 | 331 658.27/658.52 c 658s | 18 | 3366388 | 307352 | 25855 27 | 390 | 331 660.38/660.60 c 660s | 18 | 3368766 | 307852 | 25855 27 | 390 | 331 662.47/662.77 c 662s | 18 | 3371315 | 308252 | 25855 27 | 390 | 331 664.57/664.81 c 664s | 18 | 3394885 | 309752 | 25855 27 | 391 | 332 666.58/666.86 c 666s | 18 | 3413275 | 311352 | 25855 27 | 391 | 332 668.67/668.90 c 668s | 18 | 3416568 | 312452 | 25855 27 | 391 | 332 670.67/670.92 c 670s | 18 | 3428136 | 313552 | 25855 27 | 391 | 332 672.76/673.04 c 672s | 18 | 3445839 | 314852 | 25855 28 | 391 | 332 674.86/675.11 c 674s | 18 | 3461037 | 316052 | 25855 28 | 393 | 334 676.86/677.19 c 676s | 18 | 3477250 | 317652 | 25855 28 | 393 | 334 678.96/679.24 c 678s | 18 | 3492531 | 319052 | 25855 28 | 393 | 334 681.26/681.54 c 681s | 18 | 3499489 | 320152 | 25855 28 | 393 | 334 683.47/683.70 c 683s | 18 | 3501671 | 320852 | 25855 28 | 393 | 334 685.66/685.90 c 685s | 18 | 3508327 | 321852 | 25855 28 | 393 | 334 687.66/687.97 c 687s | 18 | 3519331 | 323252 | 25855 28 | 393 | 334 689.77/690.02 c 689s | 18 | 3531669 | 324352 | 25855 29 | 393 | 334 691.87/692.19 c 691s | 18 | 3550345 | 326052 | 25855 29 | 393 | 334 694.16/694.41 c 694s | 18 | 3558960 | 327252 | 25855 29 | 393 | 334 696.26/696.58 c 696s | 18 | 3573213 | 328352 | 25855 29 | 393 | 334 698.56/698.85 c 698s | 18 | 3589621 | 329752 | 25855 29 | 393 | 334 700.55/700.90 c 700s | 18 | 3602330 | 330852 | 25855 29 | 393 | 334 702.65/702.97 c 702s | 18 | 3611438 | 331952 | 25855 29 | 393 | 334 704.65/704.97 c 704s | 18 | 3624695 | 333052 | 25855 29 | 393 | 334 706.85/707.13 c 706s | 18 | 3632549 | 333952 | 25855 29 | 393 | 334 709.24/709.53 c 709s | 18 | 3647294 | 334952 | 25855 30 | 393 | 334 711.24/711.55 c 711s | 18 | 3665396 | 336552 | 25855 30 | 393 | 334 713.24/713.59 c 713s | 18 | 3684942 | 338352 | 25855 30 | 394 | 335 715.34/715.60 c 715s | 18 | 3698540 | 339952 | 25855 30 | 394 | 335 717.34/717.64 c 717s | 18 | 3708224 | 341352 | 25855 30 | 395 | 336 719.34/719.68 c 719s | 18 | 3731454 | 342852 | 25855 30 | 395 | 336 721.44/721.78 c 721s | 18 | 3739284 | 343852 | 25855 30 | 395 | 336 723.53/723.86 c 723s | 18 | 3769295 | 345452 | 25855 31 | 395 | 336 725.53/725.88 c 725s | 18 | 3779800 | 346752 | 25855 31 | 395 | 336 727.63/727.90 c 727s | 18 | 3801206 | 348252 | 25855 31 | 395 | 336 729.63/729.99 c 729s | 18 | 3820436 | 349652 | 25855 31 | 395 | 336 731.93/732.23 c 731s | 18 | 3822522 | 350252 | 25855 31 | 395 | 336 734.14/734.44 c 734s | 18 | 3823557 | 350652 | 25855 31 | 395 | 336 736.24/736.58 c 736s | 18 | 3840724 | 351952 | 25855 31 | 395 | 336 738.44/738.72 c 738s | 18 | 3849826 | 352852 | 25855 31 | 395 | 336 740.53/740.80 c 740s | 18 | 3857484 | 353752 | 25855 32 | 395 | 336 742.54/742.83 c 742s | 18 | 3881394 | 355352 | 25855 32 | 395 | 336 744.53/744.85 c 744s | 18 | 3903477 | 356852 | 25855 32 | 395 | 336 746.73/747.04 c 746s | 18 | 3923485 | 358252 | 25855 32 | 395 | 336 748.93/749.21 c 748s | 18 | 3949797 | 359652 | 25855 32 | 395 | 336 751.02/751.31 c 751s | 18 | 3963779 | 360952 | 25855 32 | 395 | 336 753.32/753.64 c 753s | 18 | 3969878 | 361752 | 25855 33 | 395 | 336 755.42/755.74 c 755s | 18 | 3998145 | 363352 | 25855 33 | 396 | 337 757.52/757.89 c 757s | 18 | 4020533 | 364852 | 25855 33 | 396 | 337 759.72/760.01 c 759s | 18 | 4039201 | 366052 | 25855 33 | 396 | 337 761.82/762.11 c 761s | 18 | 4046378 | 366852 | 25855 33 | 396 | 337 763.92/764.22 c 763s | 18 | 4071692 | 368552 | 25855 33 | 396 | 337 765.92/766.23 c 765s | 18 | 4090274 | 369952 | 25855 34 | 396 | 337 768.12/768.42 c 768s | 18 | 4097842 | 371352 | 25855 34 | 396 | 337 770.31/770.63 c 770s | 18 | 4101128 | 372352 | 25855 34 | 396 | 337 772.51/772.80 c 772s | 18 | 4104689 | 373152 | 25855 34 | 396 | 337 774.61/774.97 c 774s | 18 | 4107940 | 374152 | 25855 34 | 396 | 337 776.71/777.06 c 776s | 18 | 4121828 | 375152 | 25855 34 | 397 | 338 778.82/779.14 c 778s | 18 | 4145568 | 376752 | 25855 34 | 397 | 338 781.31/781.69 c 781s | 18 | 4149846 | 378052 | 25855 35 | 397 | 338 783.51/783.82 c 783s | 18 | 4168576 | 380052 | 25855 35 | 397 | 338 785.51/785.85 c 785s | 18 | 4183109 | 381752 | 25855 35 | 397 | 338 787.51/787.87 c 787s | 18 | 4196982 | 383152 | 25855 35 | 398 | 339 789.60/789.91 c 789s | 18 | 4230029 | 384852 | 25855 35 | 398 | 339 791.60/791.99 c 791s | 18 | 4259780 | 386652 | 25855 36 | 398 | 339 793.70/794.07 c 793s | 18 | 4283653 | 388452 | 25855 36 | 398 | 339 795.80/796.12 c 795s | 18 | 4312259 | 390152 | 25855 36 | 398 | 339 797.90/798.20 c 797s | 18 | 4327063 | 391652 | 25855 36 | 398 | 339 799.89/800.25 c 799s | 18 | 4343525 | 393252 | 25855 37 | 398 | 339 801.99/802.34 c 802s | 18 | 4368855 | 395152 | 25855 37 | 398 | 339 804.19/804.59 c 804s | 18 | 4383682 | 396752 | 25855 37 | 398 | 339 806.30/806.63 c 806s | 18 | 4395890 | 398252 | 25855 37 | 398 | 339 808.29/808.67 c 808s | 18 | 4409766 | 399952 | 25855 38 | 398 | 339 810.59/810.94 c 810s | 18 | 4412881 | 400752 | 25855 38 | 398 | 339 812.59/812.95 c 812s | 18 | 4428352 | 402152 | 25855 38 | 398 | 339 814.59/814.99 c 814s | 18 | 4438228 | 403552 | 25855 38 | 398 | 339 816.69/817.01 c 816s | 18 | 4464678 | 405252 | 25855 39 | 398 | 339 818.78/819.15 c 818s | 18 | 4477554 | 406852 | 25855 39 | 398 | 339 820.78/821.19 c 820s | 18 | 4492804 | 408352 | 25855 39 | 398 | 339 822.89/823.29 c 823s | 18 | 4505941 | 409652 | 25855 39 | 398 | 339 825.18/825.51 c 825s | 18 | 4507565 | 410352 | 25855 39 | 398 | 339 827.19/827.56 c 827s | 18 | 4518496 | 411552 | 25855 40 | 398 | 339 829.28/829.65 c 829s | 18 | 4541478 | 413252 | 25855 40 | 398 | 339 831.28/831.66 c 831s | 18 | 4562100 | 414952 | 25855 40 | 398 | 339 833.38/833.71 c 833s | 18 | 4576248 | 416252 | 25855 41 | 398 | 339 835.38/835.71 c 835s | 18 | 4602738 | 418052 | 25855 41 | 398 | 339 837.47/837.88 c 837s | 18 | 4608568 | 419152 | 25855 41 | 398 | 339 839.47/839.88 c 839s | 18 | 4626283 | 420652 | 25855 41 | 398 | 339 841.77/842.10 c 841s | 18 | 4638297 | 421852 | 25855 42 | 398 | 339 843.96/844.32 c 844s | 18 | 4648644 | 423252 | 25855 42 | 398 | 339 846.06/846.44 c 846s | 18 | 4650875 | 424052 | 25855 42 | 398 | 339 848.47/848.89 c 848s | 18 | 4652587 | 424752 | 25855 42 | 398 | 339 850.57/850.91 c 850s | 18 | 4656193 | 425252 | 25855 42 | 398 | 339 852.57/852.99 c 852s | 18 | 4663263 | 426452 | 25855 42 | 398 | 339 854.67/855.08 c 854s | 18 | 4665763 | 427152 | 25855 42 | 398 | 339 857.26/857.63 c 857s | 18 | 4667973 | 427752 | 25855 42 | 398 | 339 859.25/859.68 c 859s | 18 | 4675270 | 428852 | 25855 43 | 398 | 339 861.45/861.81 c 861s | 18 | 4677940 | 429652 | 25855 43 | 398 | 339 863.46/863.85 c 863s | 18 | 4682775 | 430652 | 25855 43 | 398 | 339 865.56/865.91 c 865s | 18 | 4689287 | 431952 | 25855 43 | 398 | 339 867.65/868.05 c 867s | 18 | 4692939 | 432852 | 25855 43 | 398 | 339 869.86/870.25 c 869s | 18 | 4696497 | 433852 | 25855 43 | 398 | 339 871.96/872.39 c 872s | 18 | 4699310 | 434552 | 25855 43 | 398 | 339 874.16/874.58 c 874s | 18 | 4701945 | 435252 | 25855 43 | 398 | 339 876.25/876.65 c 876s | 18 | 4705372 | 436052 | 25855 44 | 398 | 339 878.35/878.73 c 878s | 18 | 4708660 | 436852 | 25855 44 | 398 | 339 880.35/880.78 c 880s | 18 | 4712791 | 437852 | 25855 44 | 398 | 339 882.55/882.95 c 882s | 18 | 4715252 | 438652 | 25855 44 | 398 | 339 884.65/885.04 c 884s | 18 | 4717672 | 439452 | 25855 44 | 398 | 339 886.75/887.15 c 886s | 18 | 4718959 | 439852 | 25855 44 | 398 | 339 889.64/890.04 c 889s | 18 | 4720317 | 440252 | 25855 44 | 398 | 339 891.64/892.04 c 891s | 18 | 4722094 | 440652 | 25855 44 | 398 | 339 893.74/894.17 c 893s | 18 | 4726644 | 441652 | 28441 44 | 398 | 339 895.84/896.22 c 895s | 18 | 4730922 | 442552 | 28441 44 | 398 | 339 897.94/898.36 c 898s | 18 | 4732957 | 443152 | 28441 44 | 398 | 339 900.33/900.71 c 900s | 18 | 4735093 | 443852 | 28441 44 | 398 | 339 902.53/902.90 c 902s | 18 | 4737396 | 444452 | 28441 44 | 398 | 339 902.63/903.04 c 902s | 19 | 4737488 | 444482 | 28441 44 | 398 | 339 904.63/905.09 c 904s | 19 | 4761242 | 445982 | 28441 45 | 398 | 339 906.73/907.17 c 906s | 19 | 4770751 | 447082 | 28441 45 | 398 | 339 908.73/909.18 c 908s | 19 | 4780950 | 448082 | 28441 45 | 398 | 339 910.83/911.20 c 910s | 19 | 4802833 | 449582 | 28441 45 | 398 | 339 912.83/913.23 c 912s | 19 | 4821250 | 450882 | 28441 45 | 398 | 339 914.93/915.31 c 915s | 19 | 4833046 | 452082 | 28441 46 | 398 | 339 916.92/917.35 c 917s | 19 | 4846800 | 453882 | 28441 46 | 398 | 339 919.02/919.48 c 919s | 19 | 4861801 | 455182 | 28441 46 | 399 | 340 921.12/921.56 c 921s | 19 | 4884715 | 456682 | 28441 46 | 399 | 340 923.22/923.66 c 923s | 19 | 4904877 | 458282 | 28441 46 | 399 | 340 925.22/925.67 c 925s | 19 | 4928418 | 459982 | 28441 47 | 399 | 340 927.23/927.68 c 927s | 19 | 4946046 | 461682 | 28441 47 | 399 | 340 929.42/929.80 c 929s | 19 | 4951112 | 462782 | 28441 47 | 399 | 340 931.52/931.91 c 931s | 19 | 4966777 | 464382 | 28441 47 | 399 | 340 933.52/933.98 c 933s | 19 | 4975942 | 465782 | 28441 48 | 399 | 340 935.62/936.08 c 935s | 19 | 4985429 | 467482 | 28441 48 | 399 | 340 937.72/938.11 c 937s | 19 | 4996414 | 469082 | 28441 48 | 399 | 340 939.82/940.20 c 939s | 19 | 5003151 | 470382 | 28441 48 | 399 | 340 942.02/942.41 c 942s | 19 | 5007924 | 471382 | 28441 48 | 399 | 340 944.02/944.47 c 944s | 19 | 5013853 | 472582 | 28441 48 | 399 | 340 946.12/946.53 c 946s | 19 | 5018902 | 473482 | 28441 48 | 399 | 340 948.13/948.59 c 948s | 19 | 5022120 | 474282 | 28441 48 | 399 | 340 950.82/951.23 c 950s | 19 | 5023999 | 474682 | 28441 49 | 399 | 340 953.02/953.48 c 953s | 19 | 5027364 | 475782 | 28441 49 | 399 | 340 955.22/955.68 c 955s | 19 | 5029476 | 476382 | 28441 49 | 399 | 340 957.31/957.79 c 957s | 19 | 5032869 | 477382 | 28441 49 | 399 | 340 959.61/960.04 c 959s | 19 | 5037740 | 478582 | 28441 49 | 399 | 340 961.72/962.15 c 961s | 19 | 5043221 | 479782 | 28441 49 | 399 | 340 963.72/964.17 c 963s | 19 | 5049828 | 480882 | 28441 49 | 399 | 340 966.02/966.48 c 966s | 19 | 5056400 | 481982 | 28441 49 | 399 | 340 968.22/968.61 c 968s | 19 | 5059526 | 482682 | 28441 49 | 399 | 340 970.22/970.61 c 970s | 19 | 5064292 | 483782 | 28441 50 | 399 | 340 972.22/972.63 c 972s | 19 | 5067887 | 484782 | 28441 50 | 399 | 340 974.21/974.65 c 974s | 19 | 5073530 | 485882 | 28441 50 | 399 | 340 976.31/976.77 c 976s | 19 | 5076357 | 486682 | 28441 50 | 399 | 340 978.51/978.98 c 978s | 19 | 5079601 | 487482 | 28441 50 | 399 | 340 980.61/981.06 c 980s | 19 | 5081081 | 487982 | 28441 50 | 399 | 340 982.71/983.19 c 982s | 19 | 5082862 | 488482 | 28441 50 | 399 | 340 985.21/985.67 c 985s | 19 | 5084225 | 488982 | 28441 50 | 399 | 340 987.52/987.91 c 987s | 19 | 5085556 | 489382 | 28441 50 | 399 | 340 989.71/990.12 c 989s | 19 | 5086161 | 489682 | 28441 50 | 399 | 340 991.91/992.36 c 992s | 19 | 5087283 | 490082 | 28441 50 | 399 | 340 994.22/994.67 c 994s | 19 | 5090929 | 490882 | 28441 50 | 399 | 340 996.41/996.85 c 996s | 19 | 5094327 | 491882 | 28441 51 | 399 | 340 998.62/999.07 c 998s | 19 | 5097338 | 492882 | 28441 51 | 399 | 340 1000.71/1001.11 c 1000s | 19 | 5100415 | 493782 | 28441 51 | 399 | 340 1002.91/1003.35 c 1003s | 19 | 5101967 | 494382 | 28441 51 | 399 | 340 1004.91/1005.39 c 1005s | 19 | 5104437 | 495082 | 28441 51 | 399 | 340 1006.91/1007.39 c 1007s | 19 | 5106688 | 495882 | 28441 51 | 399 | 340 1009.11/1009.51 c 1009s | 19 | 5108926 | 496582 | 28441 51 | 399 | 340 1011.21/1011.60 c 1011s | 19 | 5111490 | 497382 | 28441 51 | 399 | 340 1013.31/1013.79 c 1013s | 19 | 5113254 | 497982 | 28441 51 | 399 | 340 1015.60/1016.01 c 1015s | 19 | 5114466 | 498482 | 28441 51 | 399 | 340 1018.01/1018.45 c 1018s | 19 | 5115481 | 498982 | 28441 51 | 399 | 340 1020.31/1020.79 c 1020s | 19 | 5116179 | 499282 | 28441 52 | 399 | 340 1022.51/1022.90 c 1022s | 19 | 5120873 | 500682 | 28441 52 | 399 | 340 1024.51/1024.97 c 1024s | 19 | 5123794 | 501582 | 28441 52 | 399 | 340 1026.51/1026.97 c 1026s | 19 | 5125984 | 502282 | 28441 52 | 399 | 340 1028.90/1029.32 c 1029s | 19 | 5127807 | 502882 | 28441 52 | 399 | 340 1031.10/1031.55 c 1031s | 19 | 5129327 | 503382 | 28441 52 | 399 | 340 1033.30/1033.72 c 1033s | 19 | 5130573 | 503782 | 28441 52 | 399 | 340 1035.41/1035.89 c 1035s | 19 | 5131202 | 504082 | 28441 52 | 399 | 340 1037.80/1038.22 c 1037s | 19 | 5132501 | 504482 | 28441 52 | 399 | 340 1039.80/1040.23 c 1039s | 19 | 5134750 | 504982 | 28441 52 | 399 | 340 1042.30/1042.76 c 1042s | 19 | 5136428 | 505582 | 28441 52 | 399 | 340 1044.60/1045.09 c 1044s | 19 | 5137772 | 506082 | 28441 52 | 399 | 340 1046.70/1047.17 c 1046s | 19 | 5138638 | 506382 | 28441 52 | 399 | 340 1049.31/1049.74 c 1049s | 19 | 5139745 | 506882 | 28441 52 | 399 | 340 1051.40/1051.89 c 1051s | 19 | 5140553 | 507182 | 28441 52 | 399 | 340 1053.81/1054.20 c 1053s | 19 | 5141886 | 507582 | 28441 53 | 399 | 340 1056.10/1056.57 c 1056s | 19 | 5142692 | 507982 | 28441 53 | 399 | 340 1058.11/1058.58 c 1058s | 19 | 5143510 | 508282 | 28441 53 | 399 | 340 1060.10/1060.59 c 1060s | 19 | 5145066 | 508782 | 28441 53 | 399 | 340 1062.40/1062.84 c 1062s | 19 | 5146422 | 509282 | 28441 53 | 399 | 340 1064.50/1064.94 c 1064s | 19 | 5147796 | 509682 | 28441 53 | 399 | 340 1067.00/1067.43 c 1067s | 19 | 5148390 | 509982 | 28441 53 | 399 | 340 1069.70/1070.13 c 1069s | 19 | 5149572 | 510382 | 28441 53 | 399 | 340 1072.41/1072.84 c 1072s | 19 | 5150225 | 510682 | 28441 53 | 399 | 340 1074.60/1075.07 c 1074s | 19 | 5150608 | 510882 | 28441 53 | 399 | 340 1077.60/1078.04 c 1077s | 19 | 5151134 | 511182 | 28441 53 | 399 | 340 1079.70/1080.12 c 1079s | 19 | 5151590 | 511382 | 28441 53 | 399 | 340 1082.40/1082.88 c 1082s | 19 | 5152440 | 511682 | 28441 53 | 399 | 340 1084.99/1085.44 c 1085s | 19 | 5153180 | 511982 | 28441 53 | 399 | 340 1087.20/1087.68 c 1087s | 19 | 5155359 | 512582 | 28441 53 | 399 | 340 1089.40/1089.85 c 1089s | 19 | 5159650 | 513382 | 28441 53 | 399 | 340 1091.70/1092.13 c 1091s | 19 | 5162967 | 514282 | 28441 53 | 399 | 340 1094.00/1094.46 c 1094s | 19 | 5164657 | 514982 | 28441 54 | 399 | 340 1096.10/1096.50 c 1096s | 19 | 5168987 | 516082 | 28441 54 | 399 | 340 1098.20/1098.64 c 1098s | 19 | 5170520 | 516682 | 28441 54 | 399 | 340 1100.59/1101.09 c 1100s | 19 | 5171877 | 517282 | 28441 54 | 399 | 340 1102.69/1103.12 c 1102s | 19 | 5173515 | 517782 | 28441 54 | 399 | 340 1104.79/1105.27 c 1104s | 19 | 5177107 | 518882 | 28441 54 | 399 | 340 1107.09/1107.50 c 1107s | 19 | 5181258 | 519782 | 28441 54 | 399 | 340 1109.09/1109.51 c 1109s | 19 | 5186151 | 520682 | 28441 54 | 399 | 340 1111.50/1111.97 c 1111s | 19 | 5188066 | 521382 | 28441 54 | 399 | 340 1113.79/1114.22 c 1113s | 19 | 5189770 | 521982 | 28441 54 | 399 | 340 1116.09/1116.56 c 1116s | 19 | 5191542 | 522682 | 28441 54 | 399 | 340 1118.19/1118.66 c 1118s | 19 | 5195774 | 523482 | 28441 55 | 399 | 340 1120.19/1120.68 c 1120s | 19 | 5198610 | 524482 | 28441 55 | 399 | 340 1122.39/1122.85 c 1122s | 19 | 5200344 | 525282 | 28441 55 | 399 | 340 1124.49/1124.96 c 1124s | 19 | 5202138 | 525982 | 28441 55 | 399 | 340 1126.59/1127.07 c 1126s | 19 | 5205232 | 526882 | 28441 55 | 399 | 340 1128.79/1129.29 c 1129s | 19 | 5208000 | 527882 | 28441 55 | 399 | 340 1130.99/1131.40 c 1131s | 19 | 5209793 | 528582 | 28441 55 | 399 | 340 1133.09/1133.55 c 1133s | 19 | 5211648 | 529182 | 28441 55 | 399 | 340 1135.59/1136.04 c 1135s | 19 | 5212622 | 529682 | 28441 55 | 399 | 340 1137.59/1138.07 c 1137s | 19 | 5217901 | 530782 | 28441 56 | 399 | 340 1139.79/1140.28 c 1140s | 19 | 5225258 | 532082 | 28441 56 | 399 | 340 1141.89/1142.30 c 1142s | 19 | 5229304 | 532882 | 28441 56 | 399 | 340 1143.90/1144.39 c 1144s | 19 | 5232706 | 533682 | 28441 56 | 399 | 340 1146.19/1146.67 c 1146s | 19 | 5234890 | 534282 | 28441 56 | 399 | 340 1148.49/1148.96 c 1148s | 19 | 5236595 | 534782 | 28441 56 | 399 | 340 1150.99/1151.42 c 1151s | 19 | 5238793 | 535282 | 28441 56 | 399 | 340 1153.29/1153.75 c 1153s | 19 | 5240305 | 535682 | 28441 56 | 399 | 340 1155.29/1155.79 c 1155s | 19 | 5241392 | 536082 | 28441 56 | 399 | 340 1157.69/1158.19 c 1157s | 19 | 5242675 | 536482 | 28441 56 | 399 | 340 1160.29/1160.79 c 1160s | 19 | 5243917 | 536882 | 28441 56 | 399 | 340 1162.69/1163.17 c 1162s | 19 | 5245305 | 537282 | 28441 57 | 399 | 340 1164.79/1165.28 c 1165s | 19 | 5246963 | 537682 | 28441 57 | 399 | 340 1167.00/1167.48 c 1167s | 19 | 5248223 | 538082 | 28441 57 | 399 | 340 1169.59/1170.05 c 1169s | 19 | 5248775 | 538382 | 28441 57 | 399 | 340 1172.28/1172.79 c 1172s | 19 | 5249227 | 538582 | 28441 57 | 399 | 340 1174.39/1174.85 c 1174s | 19 | 5251786 | 539382 | 28441 57 | 399 | 340 1177.29/1177.72 c 1177s | 19 | 5253647 | 539882 | 28441 57 | 399 | 340 1179.78/1180.22 c 1179s | 19 | 5254405 | 540182 | 28441 57 | 399 | 340 1182.08/1182.50 c 1182s | 19 | 5255270 | 540582 | 28441 57 | 399 | 340 1184.38/1184.84 c 1184s | 19 | 5256403 | 540982 | 28441 57 | 399 | 340 1186.68/1187.17 c 1186s | 19 | 5257696 | 541382 | 28441 57 | 399 | 340 1189.18/1189.62 c 1189s | 19 | 5259378 | 541882 | 28441 57 | 399 | 340 1191.88/1192.37 c 1192s | 19 | 5262115 | 542582 | 28441 57 | 399 | 340 1194.68/1195.12 c 1194s | 19 | 5262455 | 542782 | 28441 57 | 399 | 340 1196.88/1197.36 c 1197s | 19 | 5262872 | 542982 | 28441 57 | 399 | 340 1199.08/1199.50 c 1199s | 19 | 5267069 | 543782 | 28441 58 | 399 | 340 1201.08/1201.53 c 1201s | 19 | 5271705 | 544982 | 28441 58 | 399 | 340 1203.08/1203.54 c 1203s | 19 | 5276557 | 545982 | 28441 58 | 399 | 340 1205.28/1205.73 c 1205s | 19 | 5281738 | 546882 | 28441 58 | 399 | 340 1207.28/1207.76 c 1207s | 19 | 5284036 | 547582 | 28441 58 | 399 | 340 1209.38/1209.85 c 1209s | 19 | 5286572 | 548282 | 28441 58 | 399 | 340 1211.48/1211.96 c 1211s | 19 | 5288084 | 548782 | 28441 58 | 399 | 340 1213.68/1214.17 c 1213s | 19 | 5289321 | 549182 | 28441 59 | 399 | 340 1215.87/1216.33 c 1216s | 19 | 5293586 | 550382 | 28441 59 | 399 | 340 1217.87/1218.39 c 1218s | 19 | 5299523 | 551482 | 28441 59 | 399 | 340 1219.97/1220.42 c 1220s | 19 | 5303020 | 552382 | 28441 59 | 399 | 340 1222.18/1222.66 c 1222s | 19 | 5306129 | 553182 | 28441 59 | 399 | 340 1224.58/1225.03 c 1224s | 19 | 5307231 | 553682 | 28441 59 | 399 | 340 1226.77/1227.22 c 1226s | 19 | 5307920 | 553982 | 28441 59 | 399 | 340 1228.97/1229.42 c 1229s | 19 | 5311871 | 554782 | 28441 59 | 399 | 340 1231.07/1231.56 c 1231s | 19 | 5313477 | 555282 | 28441 59 | 399 | 340 1233.37/1233.82 c 1233s | 19 | 5314669 | 555682 | 28441 59 | 399 | 340 1235.37/1235.85 c 1235s | 19 | 5315902 | 556082 | 28441 60 | 399 | 340 1237.47/1237.99 c 1237s | 19 | 5318714 | 556882 | 28441 60 | 399 | 340 1239.59/1240.02 c 1239s | 19 | 5320366 | 557382 | 28441 60 | 399 | 340 1241.98/1242.44 c 1242s | 19 | 5321675 | 557782 | 28441 60 | 399 | 340 1244.18/1244.67 c 1244s | 19 | 5323016 | 558182 | 28441 60 | 399 | 340 1246.67/1247.19 c 1246s | 19 | 5325229 | 558882 | 28441 60 | 399 | 340 1249.17/1249.62 c 1249s | 19 | 5328252 | 559682 | 28441 60 | 399 | 340 1251.27/1251.71 c 1251s | 19 | 5329776 | 560182 | 28441 60 | 399 | 340 1253.38/1253.84 c 1253s | 19 | 5331423 | 560682 | 28441 60 | 399 | 340 1255.38/1255.85 c 1255s | 19 | 5332362 | 560982 | 28441 60 | 399 | 340 1257.57/1258.05 c 1257s | 19 | 5333852 | 561482 | 28441 60 | 399 | 340 1259.87/1260.30 c 1260s | 19 | 5335809 | 562082 | 28441 60 | 399 | 340 1262.17/1262.60 c 1262s | 19 | 5336678 | 562382 | 28441 61 | 399 | 340 1264.17/1264.62 c 1264s | 19 | 5340935 | 563582 | 28441 61 | 399 | 340 1266.17/1266.66 c 1266s | 19 | 5343590 | 564482 | 28441 61 | 399 | 340 1268.47/1268.99 c 1268s | 19 | 5345448 | 565082 | 28441 61 | 399 | 340 1270.67/1271.12 c 1270s | 19 | 5346716 | 565482 | 28441 61 | 399 | 340 1272.67/1273.17 c 1272s | 19 | 5347892 | 565882 | 28441 61 | 399 | 340 1275.26/1275.72 c 1275s | 19 | 5349804 | 566382 | 28441 61 | 399 | 340 1277.27/1277.79 c 1277s | 19 | 5351159 | 566782 | 28441 61 | 399 | 340 1279.67/1280.13 c 1279s | 19 | 5353201 | 567382 | 28441 61 | 399 | 340 1281.97/1282.47 c 1282s | 19 | 5354832 | 567882 | 28441 61 | 399 | 340 1284.47/1285.00 c 1284s | 19 | 5355828 | 568282 | 28441 61 | 399 | 340 1287.36/1287.87 c 1287s | 19 | 5356431 | 568582 | 28441 61 | 399 | 340 1289.36/1289.89 c 1289s | 19 | 5358501 | 569182 | 28441 62 | 399 | 340 1291.47/1291.99 c 1291s | 19 | 5360215 | 569882 | 28441 62 | 399 | 340 1293.77/1294.29 c 1294s | 19 | 5361970 | 570582 | 28441 62 | 399 | 340 1295.97/1296.40 c 1296s | 19 | 5362739 | 570982 | 28441 62 | 399 | 340 1298.27/1298.76 c 1298s | 19 | 5364298 | 571582 | 28441 62 | 399 | 340 1300.27/1300.79 c 1300s | 19 | 5365001 | 571982 | 28441 62 | 399 | 340 1302.67/1303.12 c 1302s | 19 | 5365970 | 572382 | 28441 62 | 399 | 340 1304.96/1305.49 c 1305s | 19 | 5367279 | 572782 | 28441 62 | 399 | 340 1307.06/1307.57 c 1307s | 19 | 5369727 | 573482 | 28441 62 | 399 | 340 1309.46/1309.93 c 1309s | 19 | 5370847 | 573882 | 28441 62 | 399 | 340 1311.56/1312.01 c 1311s | 19 | 5372107 | 574282 | 28441 62 | 399 | 340 1313.56/1314.08 c 1313s | 19 | 5372724 | 574582 | 28441 62 | 399 | 340 1315.67/1316.13 c 1315s | 19 | 5373309 | 574882 | 28441 62 | 399 | 340 1317.76/1318.23 c 1317s | 19 | 5376223 | 575682 | 28441 63 | 399 | 340 1319.96/1320.43 c 1320s | 19 | 5378122 | 576482 | 28441 63 | 399 | 340 1322.37/1322.84 c 1322s | 19 | 5379626 | 577082 | 28441 63 | 399 | 340 1324.66/1325.12 c 1324s | 19 | 5380673 | 577582 | 28441 63 | 399 | 340 1326.86/1327.31 c 1327s | 19 | 5381901 | 578082 | 28441 63 | 399 | 340 1329.26/1329.75 c 1329s | 19 | 5382437 | 578382 | 28441 63 | 399 | 340 1332.06/1332.50 c 1332s | 19 | 5383723 | 578882 | 28441 63 | 399 | 340 1334.66/1335.16 c 1334s | 19 | 5384707 | 579282 | 28441 63 | 399 | 340 1336.76/1337.28 c 1337s | 19 | 5385388 | 579582 | 28441 63 | 399 | 340 1338.96/1339.44 c 1339s | 19 | 5385689 | 579782 | 28441 63 | 399 | 340 1341.66/1342.12 c 1341s | 19 | 5386304 | 580082 | 28441 63 | 399 | 340 1344.16/1344.65 c 1344s | 19 | 5387981 | 580582 | 28441 63 | 399 | 340 1346.76/1347.20 c 1346s | 19 | 5388804 | 580982 | 28441 63 | 399 | 340 1348.96/1349.41 c 1349s | 19 | 5390092 | 581582 | 28441 64 | 399 | 340 1351.36/1351.80 c 1351s | 19 | 5392175 | 582282 | 28441 64 | 399 | 340 1353.46/1353.92 c 1353s | 19 | 5395604 | 582882 | 28441 64 | 399 | 340 1355.66/1356.13 c 1355s | 19 | 5397381 | 583482 | 28441 64 | 399 | 340 1357.85/1358.37 c 1358s | 19 | 5398293 | 583882 | 28441 64 | 399 | 340 1360.05/1360.51 c 1360s | 19 | 5400812 | 584582 | 28441 64 | 399 | 340 1362.15/1362.60 c 1362s | 19 | 5404077 | 585182 | 28441 64 | 399 | 340 1364.46/1364.95 c 1364s | 19 | 5406841 | 585882 | 28441 64 | 399 | 340 1366.56/1367.07 c 1366s | 19 | 5408180 | 586282 | 28441 64 | 399 | 340 1368.66/1369.15 c 1368s | 19 | 5411847 | 587082 | 28441 65 | 399 | 340 1370.76/1371.29 c 1371s | 19 | 5417032 | 588382 | 28441 65 | 399 | 340 1372.95/1373.48 c 1373s | 19 | 5423255 | 589482 | 28441 65 | 399 | 340 1375.25/1375.75 c 1375s | 19 | 5426672 | 590282 | 28441 65 | 399 | 340 1377.45/1377.92 c 1377s | 19 | 5428571 | 590882 | 28441 65 | 399 | 340 1379.45/1379.97 c 1379s | 19 | 5429877 | 591382 | 28441 65 | 399 | 340 1381.65/1382.17 c 1381s | 19 | 5431095 | 591782 | 28441 65 | 399 | 340 1383.85/1384.38 c 1384s | 19 | 5432184 | 592182 | 28441 66 | 399 | 340 1386.15/1386.64 c 1386s | 19 | 5435781 | 593082 | 28441 66 | 399 | 340 1388.56/1389.04 c 1388s | 19 | 5437315 | 593582 | 28441 66 | 399 | 340 1390.85/1391.35 c 1391s | 19 | 5439029 | 594082 | 28441 66 | 399 | 340 1393.05/1393.56 c 1393s | 19 | 5440432 | 594482 | 28441 66 | 399 | 340 1395.15/1395.62 c 1395s | 19 | 5441913 | 594882 | 28441 66 | 399 | 340 1397.75/1398.22 c 1397s | 19 | 5443773 | 595382 | 28441 66 | 399 | 340 1400.15/1400.65 c 1400s | 19 | 5445493 | 595782 | 28441 66 | 399 | 340 1402.26/1402.72 c 1402s | 19 | 5446765 | 596082 | 28441 66 | 399 | 340 1404.46/1404.94 c 1404s | 19 | 5448008 | 596482 | 28441 66 | 399 | 340 1406.66/1407.11 c 1406s | 19 | 5449787 | 596882 | 28441 66 | 399 | 340 1409.05/1409.58 c 1409s | 19 | 5451315 | 597282 | 28441 66 | 399 | 340 1411.16/1411.65 c 1411s | 19 | 5451651 | 597482 | 28441 66 | 399 | 340 1413.25/1413.71 c 1413s | 19 | 5453512 | 597982 | 28441 67 | 399 | 340 1415.45/1416.00 c 1415s | 19 | 5456285 | 598882 | 28441 67 | 399 | 340 1417.65/1418.13 c 1417s | 19 | 5459719 | 599682 | 28441 67 | 399 | 340 1419.95/1420.43 c 1420s | 19 | 5461870 | 600282 | 28441 67 | 399 | 340 1422.06/1422.51 c 1422s | 19 | 5463675 | 600882 | 28441 67 | 399 | 340 1424.05/1424.51 c 1424s | 19 | 5464822 | 601282 | 28441 67 | 399 | 340 1426.14/1426.60 c 1426s | 19 | 5466238 | 601782 | 28441 67 | 399 | 340 1428.24/1428.73 c 1428s | 19 | 5467321 | 602182 | 28441 67 | 399 | 340 1430.86/1431.30 c 1431s | 19 | 5468250 | 602582 | 28441 67 | 399 | 340 1433.05/1433.60 c 1433s | 19 | 5468958 | 602882 | 28441 67 | 399 | 340 1435.25/1435.71 c 1435s | 19 | 5469342 | 603082 | 28441 67 | 399 | 340 1437.94/1438.45 c 1438s | 19 | 5470337 | 603382 | 28441 68 | 399 | 340 1440.05/1440.58 c 1440s | 19 | 5470935 | 603682 | 28441 68 | 399 | 340 1442.14/1442.60 c 1442s | 19 | 5475400 | 604582 | 28441 68 | 399 | 340 1444.44/1444.90 c 1444s | 19 | 5479289 | 605582 | 28441 68 | 399 | 340 1446.64/1447.11 c 1446s | 19 | 5481881 | 606382 | 28441 68 | 399 | 340 1448.74/1449.27 c 1448s | 19 | 5485346 | 607082 | 28441 68 | 399 | 340 1451.14/1451.68 c 1451s | 19 | 5487539 | 607682 | 28441 68 | 399 | 340 1453.64/1454.13 c 1453s | 19 | 5488594 | 608082 | 28441 68 | 399 | 340 1455.74/1456.22 c 1455s | 19 | 5492969 | 609182 | 28441 69 | 399 | 340 1457.84/1458.34 c 1458s | 19 | 5495366 | 609982 | 28441 69 | 399 | 340 1459.94/1460.45 c 1460s | 19 | 5497831 | 610782 | 28441 69 | 399 | 340 1462.14/1462.62 c 1462s | 19 | 5500209 | 611482 | 28441 69 | 399 | 340 1464.14/1464.67 c 1464s | 19 | 5502524 | 612282 | 28441 69 | 399 | 340 1466.34/1466.85 c 1466s | 19 | 5503750 | 612782 | 28441 69 | 399 | 340 1468.84/1469.35 c 1469s | 19 | 5504868 | 613182 | 28441 70 | 399 | 340 1471.04/1471.51 c 1471s | 19 | 5510324 | 614382 | 28441 70 | 399 | 340 1473.14/1473.69 c 1473s | 19 | 5512102 | 614882 | 28441 70 | 399 | 340 1475.24/1475.72 c 1475s | 19 | 5515133 | 615582 | 28441 70 | 399 | 340 1477.44/1477.92 c 1477s | 19 | 5517159 | 616082 | 28441 70 | 399 | 340 1479.54/1480.03 c 1479s | 19 | 5519911 | 616682 | 28441 70 | 399 | 340 1481.84/1482.30 c 1482s | 19 | 5522412 | 617382 | 28441 70 | 399 | 340 1483.94/1484.45 c 1484s | 19 | 5525878 | 618182 | 28441 71 | 399 | 340 1486.34/1486.88 c 1486s | 19 | 5528273 | 618982 | 28441 71 | 399 | 340 1488.63/1489.17 c 1488s | 19 | 5530248 | 619582 | 28441 71 | 399 | 340 1490.73/1491.23 c 1490s | 19 | 5531449 | 619982 | 28441 71 | 399 | 340 1492.94/1493.47 c 1493s | 19 | 5533091 | 620382 | 28441 71 | 399 | 340 1495.04/1495.51 c 1495s | 19 | 5534094 | 620682 | 28441 71 | 399 | 340 1497.33/1497.80 c 1497s | 19 | 5535621 | 621182 | 28441 71 | 399 | 340 1499.33/1499.86 c 1499s | 19 | 5537372 | 621682 | 28441 71 | 399 | 340 1501.44/1501.99 c 1501s | 19 | 5538226 | 621982 | 28441 72 | 399 | 340 1503.54/1504.09 c 1503s | 19 | 5542433 | 622782 | 28441 72 | 399 | 340 1505.64/1506.17 c 1505s | 19 | 5544536 | 623382 | 28441 72 | 399 | 340 1508.03/1508.56 c 1508s | 19 | 5546531 | 623982 | 28441 72 | 399 | 340 1510.23/1510.78 c 1510s | 19 | 5549151 | 624582 | 28441 72 | 399 | 340 1512.83/1513.37 c 1513s | 19 | 5550013 | 624982 | 28441 72 | 399 | 340 1515.13/1515.67 c 1515s | 19 | 5550497 | 625282 | 28441 72 | 399 | 340 1517.13/1517.69 c 1517s | 19 | 5550985 | 625482 | 28441 72 | 399 | 340 1519.34/1519.80 c 1519s | 19 | 5552534 | 625782 | 28441 72 | 399 | 340 1521.73/1522.26 c 1521s | 19 | 5553858 | 626182 | 28441 72 | 399 | 340 1523.93/1524.44 c 1524s | 19 | 5554454 | 626382 | 28441 73 | 399 | 340 1525.93/1526.48 c 1526s | 19 | 5558757 | 627482 | 28441 73 | 399 | 340 1528.13/1528.62 c 1528s | 19 | 5561256 | 628282 | 28441 73 | 399 | 340 1530.53/1531.08 c 1530s | 19 | 5563207 | 628882 | 28441 73 | 399 | 340 1533.03/1533.53 c 1533s | 19 | 5566008 | 629582 | 28441 73 | 399 | 340 1535.13/1535.63 c 1535s | 19 | 5567575 | 630082 | 28441 73 | 399 | 340 1537.63/1538.13 c 1537s | 19 | 5569545 | 630682 | 28441 73 | 399 | 340 1539.73/1540.21 c 1539s | 19 | 5571928 | 631382 | 28441 74 | 399 | 340 1541.73/1542.21 c 1541s | 19 | 5573327 | 631882 | 28441 74 | 399 | 340 1544.03/1544.56 c 1544s | 19 | 5575750 | 632482 | 28441 74 | 399 | 340 1546.23/1546.72 c 1546s | 19 | 5576636 | 632882 | 28441 74 | 399 | 340 1548.73/1549.25 c 1548s | 19 | 5577894 | 633282 | 28441 74 | 399 | 340 1551.02/1551.54 c 1551s | 19 | 5578271 | 633482 | 28441 74 | 399 | 340 1553.32/1553.85 c 1553s | 19 | 5578963 | 633782 | 28441 74 | 399 | 340 1555.33/1555.88 c 1555s | 19 | 5581994 | 634482 | 28441 74 | 399 | 340 1557.44/1557.94 c 1557s | 19 | 5585581 | 635282 | 28441 75 | 399 | 340 1559.43/1560.00 c 1559s | 19 | 5590133 | 636382 | 28441 75 | 399 | 340 1561.73/1562.24 c 1561s | 19 | 5592616 | 637082 | 28441 75 | 399 | 340 1563.93/1564.50 c 1564s | 19 | 5595113 | 637882 | 28441 75 | 399 | 340 1566.03/1566.50 c 1566s | 19 | 5597159 | 638482 | 28441 75 | 399 | 340 1568.02/1568.55 c 1568s | 19 | 5598009 | 638882 | 28441 75 | 399 | 340 1570.12/1570.60 c 1570s | 19 | 5601965 | 639682 | 28441 76 | 399 | 340 1572.32/1572.81 c 1572s | 19 | 5605296 | 640582 | 28441 76 | 399 | 340 1574.32/1574.83 c 1574s | 19 | 5607207 | 641182 | 28441 76 | 399 | 340 1576.52/1577.01 c 1576s | 19 | 5609328 | 641882 | 28441 76 | 399 | 340 1578.52/1579.07 c 1578s | 19 | 5612059 | 642682 | 28441 76 | 399 | 340 1580.62/1581.15 c 1580s | 19 | 5614045 | 643282 | 28441 76 | 399 | 340 1582.73/1583.28 c 1583s | 19 | 5616785 | 643982 | 28441 77 | 399 | 340 1584.72/1585.28 c 1585s | 19 | 5619053 | 644682 | 28441 77 | 399 | 340 1587.23/1587.70 c 1587s | 19 | 5620795 | 645282 | 28441 77 | 399 | 340 1589.62/1590.10 c 1589s | 19 | 5621398 | 645582 | 28441 77 | 399 | 340 1591.72/1592.25 c 1591s | 19 | 5624678 | 646382 | 28441 77 | 399 | 340 1594.12/1594.60 c 1594s | 19 | 5626116 | 646882 | 28441 77 | 399 | 340 1596.22/1596.76 c 1596s | 19 | 5627306 | 647282 | 28441 77 | 399 | 340 1598.32/1598.88 c 1598s | 19 | 5629805 | 648082 | 28441 78 | 399 | 340 1600.52/1601.08 c 1600s | 19 | 5632354 | 648782 | 28441 78 | 399 | 340 1602.62/1603.16 c 1602s | 19 | 5635541 | 649682 | 28441 78 | 399 | 340 1605.02/1605.51 c 1605s | 19 | 5637704 | 650382 | 28441 78 | 399 | 340 1607.12/1607.64 c 1607s | 19 | 5639644 | 650982 | 28441 78 | 399 | 340 1609.21/1609.77 c 1609s | 19 | 5642106 | 651682 | 28441 79 | 399 | 340 1611.33/1611.88 c 1611s | 19 | 5644211 | 652382 | 28441 79 | 399 | 340 1613.53/1614.08 c 1613s | 19 | 5646849 | 653282 | 28441 79 | 399 | 340 1615.72/1616.29 c 1616s | 19 | 5650814 | 654082 | 28441 79 | 399 | 340 1618.12/1618.67 c 1618s | 19 | 5652459 | 654582 | 28441 79 | 399 | 340 1620.41/1620.96 c 1620s | 19 | 5653693 | 655082 | 28441 79 | 399 | 340 1622.71/1623.25 c 1622s | 19 | 5654977 | 655582 | 28441 79 | 399 | 340 1624.72/1625.25 c 1624s | 19 | 5657069 | 656082 | 28441 80 | 399 | 340 1626.81/1627.30 c 1627s | 19 | 5660290 | 656882 | 28441 80 | 399 | 340 1628.82/1629.39 c 1629s | 19 | 5662941 | 657582 | 28441 80 | 399 | 340 1631.32/1631.81 c 1631s | 19 | 5664385 | 658182 | 28441 80 | 399 | 340 1633.62/1634.10 c 1633s | 19 | 5666686 | 658782 | 28441 80 | 399 | 340 1635.71/1636.27 c 1635s | 19 | 5667955 | 659282 | 28441 80 | 399 | 340 1637.81/1638.32 c 1638s | 19 | 5668820 | 659582 | 28441 81 | 399 | 340 1639.92/1640.41 c 1640s | 19 | 5671775 | 660382 | 28441 81 | 399 | 340 1642.22/1642.75 c 1642s | 19 | 5673677 | 660882 | 28441 81 | 399 | 340 1644.32/1644.86 c 1644s | 19 | 5677015 | 661482 | 28441 81 | 399 | 340 1646.81/1647.36 c 1647s | 19 | 5678288 | 661882 | 28441 81 | 399 | 340 1649.31/1649.81 c 1649s | 19 | 5678893 | 662182 | 31286 81 | 399 | 340 1651.71/1652.28 c 1652s | 19 | 5679586 | 662482 | 31286 81 | 399 | 340 1653.81/1654.36 c 1654s | 19 | 5680834 | 662882 | 31286 81 | 399 | 340 1656.71/1657.21 c 1656s | 19 | 5682615 | 663382 | 31286 81 | 399 | 340 1659.11/1659.63 c 1659s | 19 | 5684206 | 663782 | 31286 81 | 399 | 340 1661.51/1662.07 c 1661s | 19 | 5685277 | 664182 | 31286 81 | 399 | 340 1663.81/1664.33 c 1664s | 19 | 5686915 | 664682 | 31286 81 | 399 | 340 1666.21/1666.72 c 1666s | 19 | 5687754 | 664982 | 31286 81 | 399 | 340 1668.52/1669.07 c 1668s | 19 | 5688603 | 665282 | 31286 81 | 399 | 340 1670.91/1671.41 c 1671s | 19 | 5689128 | 665482 | 31286 81 | 399 | 340 1673.51/1674.05 c 1673s | 19 | 5690985 | 665882 | 31286 81 | 399 | 340 1675.81/1676.30 c 1676s | 19 | 5691726 | 666082 | 31286 82 | 399 | 340 1677.00/1677.55 c 1677s | 20 | 5694690 | 666827 | 31286 82 | 399 | 340 1679.10/1679.66 c 1679s | 20 | 5713921 | 668527 | 31286 82 | 399 | 340 1681.10/1681.68 c 1681s | 20 | 5732816 | 670127 | 31286 83 | 399 | 340 1683.20/1683.77 c 1683s | 20 | 5760923 | 671827 | 31286 83 | 399 | 340 1685.20/1685.77 c 1685s | 20 | 5785740 | 673527 | 31286 84 | 399 | 340 1687.30/1687.87 c 1687s | 20 | 5801748 | 675027 | 31286 85 | 399 | 340 1689.60/1690.18 c 1689s | 20 | 5823879 | 676627 | 31286 85 | 399 | 340 1691.61/1692.18 c 1691s | 20 | 5833973 | 677827 | 31286 85 | 399 | 340 1693.60/1694.20 c 1693s | 20 | 5862450 | 679427 | 31286 86 | 399 | 340 1695.70/1696.24 c 1695s | 20 | 5890687 | 681127 | 31286 87 | 399 | 340 1697.71/1698.27 c 1697s | 20 | 5905750 | 682627 | 31286 87 | 399 | 340 1699.81/1700.35 c 1700s | 20 | 5919143 | 684127 | 31286 88 | 399 | 340 1701.91/1702.40 c 1702s | 20 | 5937032 | 685927 | 31286 89 | 399 | 340 1703.91/1704.46 c 1704s | 20 | 5945031 | 687227 | 31286 89 | 399 | 340 1705.91/1706.48 c 1706s | 20 | 5948068 | 688027 | 31286 89 | 399 | 340 1708.01/1708.55 c 1708s | 20 | 5957047 | 689427 | 31286 90 | 399 | 340 1710.31/1710.81 c 1710s | 20 | 5961083 | 690527 | 31286 90 | 399 | 340 1712.30/1712.84 c 1712s | 20 | 5964632 | 691327 | 31286 90 | 399 | 340 1714.40/1714.93 c 1714s | 20 | 5966764 | 692027 | 31286 90 | 399 | 340 1716.70/1717.30 c 1717s | 20 | 5969292 | 692627 | 31286 90 | 399 | 340 1719.20/1719.75 c 1719s | 20 | 5970637 | 693127 | 31286 90 | 399 | 340 1721.31/1721.83 c 1721s | 20 | 5971677 | 693527 | 31286 90 | 399 | 340 1723.41/1723.91 c 1723s | 20 | 5975181 | 694327 | 31286 91 | 399 | 340 1725.40/1725.94 c 1725s | 20 | 5978398 | 695227 | 31286 91 | 399 | 340 1727.40/1727.96 c 1727s | 20 | 5980140 | 695827 | 31286 91 | 399 | 340 1729.40/1729.99 c 1729s | 20 | 5981433 | 696327 | 31286 91 | 399 | 340 1731.60/1732.11 c 1731s | 20 | 5984359 | 697227 | 31286 91 | 399 | 340 1733.79/1734.33 c 1734s | 20 | 5986130 | 697927 | 31286 91 | 399 | 340 1735.99/1736.51 c 1736s | 20 | 5987780 | 698527 | 31286 91 | 399 | 340 1738.10/1738.62 c 1738s | 20 | 5989473 | 699127 | 31286 92 | 399 | 340 1740.40/1740.94 c 1740s | 20 | 5996035 | 700327 | 31286 92 | 399 | 340 1742.70/1743.24 c 1742s | 20 | 5999188 | 701227 | 31286 92 | 399 | 340 1744.80/1745.34 c 1745s | 20 | 6001283 | 701827 | 31286 92 | 399 | 340 1746.99/1747.58 c 1747s | 20 | 6002824 | 702327 | 31286 92 | 399 | 340 1749.10/1749.64 c 1749s | 20 | 6004342 | 702727 | 31286 92 | 399 | 340 1751.20/1751.73 c 1751s | 20 | 6006103 | 703327 | 31286 92 | 399 | 340 1753.60/1754.11 c 1753s | 20 | 6008255 | 704027 | 31286 93 | 399 | 340 1755.60/1756.19 c 1755s | 20 | 6012722 | 705127 | 31286 93 | 399 | 340 1757.90/1758.42 c 1758s | 20 | 6015627 | 705827 | 31286 93 | 399 | 340 1759.99/1760.59 c 1760s | 20 | 6017459 | 706427 | 31286 93 | 399 | 340 1762.10/1762.62 c 1762s | 20 | 6018409 | 706827 | 31286 93 | 399 | 340 1764.40/1764.99 c 1764s | 20 | 6019541 | 707227 | 31286 93 | 399 | 340 1766.70/1767.26 c 1766s | 20 | 6020909 | 707627 | 31286 93 | 399 | 340 1769.00/1769.56 c 1769s | 20 | 6022195 | 708027 | 31286 93 | 399 | 340 1771.29/1771.82 c 1771s | 20 | 6022984 | 708427 | 31286 93 | 399 | 340 1773.49/1774.01 c 1773s | 20 | 6024592 | 708927 | 31286 94 | 399 | 340 1775.59/1776.18 c 1775s | 20 | 6027627 | 709827 | 31286 94 | 399 | 340 1777.69/1778.20 c 1777s | 20 | 6032024 | 710927 | 31286 94 | 399 | 340 1779.69/1780.29 c 1780s | 20 | 6035108 | 711727 | 31286 94 | 399 | 340 1781.69/1782.29 c 1782s | 20 | 6036967 | 712327 | 31286 94 | 399 | 340 1784.09/1784.61 c 1784s | 20 | 6039119 | 713027 | 31286 94 | 399 | 340 1786.09/1786.67 c 1786s | 20 | 6041683 | 713827 | 31286 95 | 399 | 340 1788.30/1788.84 c 1788s | 20 | 6044333 | 714627 | 31286 95 | 399 | 340 1790.60/1791.15 c 1790s | 20 | 6046014 | 715227 | 31286 95 | 399 | 340 1792.70/1793.23 c 1792s | 20 | 6048204 | 715827 | 31286 95 | 399 | 340 1794.69/1795.24 c 1794s | 20 | 6067768 | 717727 | 31286 96 | 399 | 340 1796.79/1797.30 c 1797s | 20 | 6073714 | 718927 | 31286 96 | 399 | 340 1798.99/1799.54 c 1799s | 20 | 6075913 | 719727 | 31286 96 | 399 | 340
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-4078922-1465284077/watcher-4078922-1465284077 -o /tmp/evaluation-result-4078922-1465284077/solver-4078922-1465284077 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5740 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078922-1465284077.opb pid=10263 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.27 2.29 2.27 3/179 10266 /proc/meminfo: memFree=29168816/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=24328 CPUtime=0 cores=1,3,5,7 /proc/10266/stat : 10266 (runsolver) D 10263 10266 5723 0 -1 4202560 115 0 0 0 0 0 0 0 20 0 1 0 110340762 24911872 151 33554432000 4194304 4338465 140735486661536 140735486659176 270707543223 0 0 4096 24578 18446744071579943789 0 0 17 1 0 0 0 0 0 /proc/10266/statm: 6082 151 105 36 0 2655 0 [startup+0.100174 s] /proc/loadavg: 2.27 2.29 2.27 3/179 10266 /proc/meminfo: memFree=29168816/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1221188 CPUtime=0.06 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 21548 0 0 0 3 3 0 0 20 0 4 0 110340762 1250496512 21847 33554432000 4194304 16246674 140735698432960 140735698414848 14795908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 305297 21847 800 2943 0 302191 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1221188 [startup+0.200409 s] /proc/loadavg: 2.27 2.29 2.27 3/179 10266 /proc/meminfo: memFree=29168816/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1302084 CPUtime=0.15 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 45161 0 0 0 9 6 0 0 20 0 4 0 110340762 1333334016 45460 33554432000 4194304 16246674 140735698432960 140735698432272 7205344 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 325521 45460 833 2943 0 322415 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 1302084 [startup+0.30033 s] /proc/loadavg: 2.27 2.29 2.27 3/179 10266 /proc/meminfo: memFree=29168816/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1302084 CPUtime=0.26 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 54474 0 0 0 18 8 0 0 20 0 4 0 110340762 1333334016 54773 33554432000 4194304 16246674 140735698432960 140735698432272 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 325521 54780 864 2943 0 322415 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 1302084 [startup+0.700317 s] /proc/loadavg: 2.27 2.29 2.27 3/179 10266 /proc/meminfo: memFree=29168816/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1302084 CPUtime=0.65 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 138864 0 0 0 45 20 0 0 20 0 4 0 110340762 1333334016 139164 33554432000 4194304 16246674 140735698432960 140735698432272 5523634 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 325521 139173 876 2943 0 322415 0 Current children cumulated CPU time (s) 0.65 Current children cumulated vsize (KiB) 1302084 [startup+1.50038 s] /proc/loadavg: 2.27 2.29 2.27 3/183 10270 /proc/meminfo: memFree=28224716/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1311300 CPUtime=1.45 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 269007 0 0 0 108 37 0 0 20 0 4 0 110340762 1342771200 269306 33554432000 4194304 16246674 140735698432960 140735698432272 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 327825 269306 883 2943 0 324719 0 [pid=10266/tid=10268] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110340765 1342771200 269306 33554432000 4194304 16246674 140735698432960 140595049770224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110340766 1342771200 269306 33554432000 4194304 16246674 140735698432960 140595039280368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=10266/tid=10270] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10270/stat : 10270 (toysat) S 10263 10266 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110340766 1342771200 269306 33554432000 4194304 16246674 140735698432960 140595028806832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 1311300 [startup+3.10046 s] /proc/loadavg: 2.27 2.29 2.27 3/183 10270 /proc/meminfo: memFree=28092160/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1311300 CPUtime=3.05 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 269007 0 0 0 268 37 0 0 20 0 4 0 110340762 1342771200 269306 33554432000 4194304 16246674 140735698432960 140735698414848 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 327825 269306 883 2943 0 324719 0 [pid=10266/tid=10268] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110340765 1342771200 269306 33554432000 4194304 16246674 140735698432960 140595049770224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110340766 1342771200 269306 33554432000 4194304 16246674 140735698432960 140595039280368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=10266/tid=10270] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10270/stat : 10270 (toysat) S 10263 10266 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110340766 1342771200 269306 33554432000 4194304 16246674 140735698432960 140595028806832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 1311300 [startup+6.30042 s] /proc/loadavg: 2.25 2.28 2.27 3/183 10270 /proc/meminfo: memFree=28092500/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1311300 CPUtime=6.25 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 269009 0 0 0 588 37 0 0 20 0 4 0 110340762 1342771200 269308 33554432000 4194304 16246674 140735698432960 140735698414848 5545894 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 327825 269308 885 2943 0 324719 0 [pid=10266/tid=10268] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110340765 1342771200 269308 33554432000 4194304 16246674 140735698432960 140595049770224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110340766 1342771200 269308 33554432000 4194304 16246674 140735698432960 140595039280368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=10266/tid=10270] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10270/stat : 10270 (toysat) S 10263 10266 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110340766 1342771200 269308 33554432000 4194304 16246674 140735698432960 140595028806832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 1311300 [startup+12.7004 s] /proc/loadavg: 2.23 2.28 2.27 4/183 10270 /proc/meminfo: memFree=28092516/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1311300 CPUtime=12.65 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 269009 0 0 0 1228 37 0 0 20 0 4 0 110340762 1342771200 269308 33554432000 4194304 16246674 140735698432960 140735698414848 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 327825 269308 885 2943 0 324719 0 [pid=10266/tid=10268] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110340765 1342771200 269308 33554432000 4194304 16246674 140735698432960 140595049770224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110340766 1342771200 269308 33554432000 4194304 16246674 140735698432960 140595039280368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=10266/tid=10270] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10270/stat : 10270 (toysat) S 10263 10266 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110340766 1342771200 269308 33554432000 4194304 16246674 140735698432960 140595028806832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 1311300 [startup+25.5004 s] /proc/loadavg: 2.32 2.29 2.27 3/183 10270 /proc/meminfo: memFree=28093144/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1311300 CPUtime=25.47 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 269010 0 0 0 2509 38 0 0 20 0 4 0 110340762 1342771200 269309 33554432000 4194304 16246674 140735698432960 140735698414848 5723034 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 327825 269309 885 2943 0 324719 0 [pid=10266/tid=10268] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110340765 1342771200 269309 33554432000 4194304 16246674 140735698432960 140595049770224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110340766 1342771200 269309 33554432000 4194304 16246674 140735698432960 140595039280368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=10266/tid=10270] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10270/stat : 10270 (toysat) S 10263 10266 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110340766 1342771200 269309 33554432000 4194304 16246674 140735698432960 140595028806832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 1311300 [startup+51.1005 s] /proc/loadavg: 2.28 2.29 2.27 3/183 10270 /proc/meminfo: memFree=28093056/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1311300 CPUtime=51.05 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 269011 0 0 0 5067 38 0 0 20 0 4 0 110340762 1342771200 269310 33554432000 4194304 16246674 140735698432960 140735698414848 5523475 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 327825 269310 886 2943 0 324719 0 [pid=10266/tid=10268] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110340765 1342771200 269310 33554432000 4194304 16246674 140735698432960 140595049770224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110340766 1342771200 269310 33554432000 4194304 16246674 140735698432960 140595039280368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=10266/tid=10270] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10270/stat : 10270 (toysat) S 10263 10266 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110340766 1342771200 269310 33554432000 4194304 16246674 140735698432960 140595028806832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 1311300 [startup+102.3 s] /proc/loadavg: 2.27 2.29 2.27 4/183 10271 /proc/meminfo: memFree=28092900/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1311300 CPUtime=102.25 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 269011 0 0 0 10186 39 0 0 20 0 4 0 110340762 1342771200 269310 33554432000 4194304 16246674 140735698432960 140735698414848 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 327825 269310 886 2943 0 324719 0 [pid=10266/tid=10268] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110340765 1342771200 269310 33554432000 4194304 16246674 140735698432960 140595049770224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110340766 1342771200 269310 33554432000 4194304 16246674 140735698432960 140595039280368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=10266/tid=10270] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10270/stat : 10270 (toysat) S 10263 10266 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110340766 1342771200 269310 33554432000 4194304 16246674 140735698432960 140595028806832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 1311300 [startup+162.3 s] /proc/loadavg: 2.40 2.32 2.28 3/183 10272 /proc/meminfo: memFree=28093008/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1311300 CPUtime=162.24 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 269011 0 0 0 16184 40 0 0 20 0 4 0 110340762 1342771200 269310 33554432000 4194304 16246674 140735698432960 140735698414848 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 327825 269310 886 2943 0 324719 0 [pid=10266/tid=10268] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110340765 1342771200 269310 33554432000 4194304 16246674 140735698432960 140595049770224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110340766 1342771200 269310 33554432000 4194304 16246674 140735698432960 140595039280368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=10266/tid=10270] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10270/stat : 10270 (toysat) S 10263 10266 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110340766 1342771200 269310 33554432000 4194304 16246674 140735698432960 140595028806832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 1311300 [startup+222.3 s] /proc/loadavg: 2.42 2.34 2.28 3/183 10273 /proc/meminfo: memFree=28092668/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1311300 CPUtime=222.22 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 269011 0 0 0 22182 40 0 0 20 0 4 0 110340762 1342771200 269310 33554432000 4194304 16246674 140735698432960 140735698414848 5545872 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 327825 269310 886 2943 0 324719 0 [pid=10266/tid=10268] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110340765 1342771200 269310 33554432000 4194304 16246674 140735698432960 140595049770224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110340766 1342771200 269310 33554432000 4194304 16246674 140735698432960 140595039280368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=10266/tid=10270] ppid=10263 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10270/stat : 10270 (toysat) S 10263 10266 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110340766 1342771200 269310 33554432000 4194304 16246674 140735698432960 140595028806832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 1311300 ################ # More data... # ################ /proc/10266/task/10270/stat : 10270 (toysat) S 10263 10266 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110340766 1343819776 269525 33554432000 4194304 16246674 140735698432960 140595028806832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1312324 [startup+1302.3 s] /proc/loadavg: 2.17 2.26 2.27 3/183 10350 /proc/meminfo: memFree=28060124/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1312324 CPUtime=1301.87 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 269584 0 0 0 130108 79 0 0 20 0 4 0 110340762 1343819776 269525 33554432000 4194304 16246674 140735698432960 140735698432136 13820998 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 328081 269525 886 2943 0 324975 0 [pid=10266/tid=10268] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110340765 1343819776 269525 33554432000 4194304 16246674 140735698432960 140595049770224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110340766 1343819776 269525 33554432000 4194304 16246674 140735698432960 140595039280368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=10266/tid=10270] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10270/stat : 10270 (toysat) S 10263 10266 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110340766 1343819776 269525 33554432000 4194304 16246674 140735698432960 140595028806832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1312324 [startup+1362.3 s] /proc/loadavg: 2.15 2.24 2.27 3/183 10351 /proc/meminfo: memFree=28060904/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1312324 CPUtime=1361.85 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 269584 0 0 0 136101 84 0 0 20 0 4 0 110340762 1343819776 269525 33554432000 4194304 16246674 140735698432960 140735698432136 12483481 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 328081 269525 886 2943 0 324975 0 [pid=10266/tid=10268] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110340765 1343819776 269525 33554432000 4194304 16246674 140735698432960 140595049770224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110340766 1343819776 269525 33554432000 4194304 16246674 140735698432960 140595039280368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=10266/tid=10270] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10270/stat : 10270 (toysat) S 10263 10266 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110340766 1343819776 269525 33554432000 4194304 16246674 140735698432960 140595028806832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1312324 [startup+1422.3 s] /proc/loadavg: 2.34 2.27 2.27 4/183 10352 /proc/meminfo: memFree=28060776/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1312324 CPUtime=1421.85 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 269584 0 0 0 142097 88 0 0 20 0 4 0 110340762 1343819776 269525 33554432000 4194304 16246674 140735698432960 140735698432136 5523546 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 328081 269525 886 2943 0 324975 0 [pid=10266/tid=10268] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110340765 1343819776 269525 33554432000 4194304 16246674 140735698432960 140595049770224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110340766 1343819776 269525 33554432000 4194304 16246674 140735698432960 140595039280368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=10266/tid=10270] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10270/stat : 10270 (toysat) S 10263 10266 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110340766 1343819776 269525 33554432000 4194304 16246674 140735698432960 140595028806832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1312324 [startup+1482.3 s] /proc/loadavg: 2.34 2.28 2.27 3/183 10353 /proc/meminfo: memFree=28060556/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1312324 CPUtime=1481.84 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 269628 0 0 0 148092 92 0 0 20 0 4 0 110340762 1343819776 269569 33554432000 4194304 16246674 140735698432960 140735698414848 5754961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 328081 269569 886 2943 0 324975 0 [pid=10266/tid=10268] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110340765 1343819776 269569 33554432000 4194304 16246674 140735698432960 140595049770224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110340766 1343819776 269569 33554432000 4194304 16246674 140735698432960 140595039280368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=10266/tid=10270] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10270/stat : 10270 (toysat) S 10263 10266 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110340766 1343819776 269569 33554432000 4194304 16246674 140735698432960 140595028806832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1312324 [startup+1542.3 s] /proc/loadavg: 2.17 2.24 2.26 3/183 10355 /proc/meminfo: memFree=28060588/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1312324 CPUtime=1541.83 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 269628 0 0 0 154087 96 0 0 20 0 4 0 110340762 1343819776 269569 33554432000 4194304 16246674 140735698432960 140735698432136 13950218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 328081 269569 886 2943 0 324975 0 [pid=10266/tid=10268] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110340765 1343819776 269569 33554432000 4194304 16246674 140735698432960 140595049770224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110340766 1343819776 269569 33554432000 4194304 16246674 140735698432960 140595039280368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=10266/tid=10270] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10270/stat : 10270 (toysat) S 10263 10266 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110340766 1343819776 269569 33554432000 4194304 16246674 140735698432960 140595028806832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1312324 [startup+1602.3 s] /proc/loadavg: 2.32 2.27 2.27 3/183 10356 /proc/meminfo: memFree=28060188/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1312324 CPUtime=1601.82 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 269628 0 0 0 160083 99 0 0 20 0 4 0 110340762 1343819776 269569 33554432000 4194304 16246674 140735698432960 140735698414848 5545872 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 328081 269569 886 2943 0 324975 0 [pid=10266/tid=10268] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110340765 1343819776 269569 33554432000 4194304 16246674 140735698432960 140595049770224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110340766 1343819776 269569 33554432000 4194304 16246674 140735698432960 140595039280368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=10266/tid=10270] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10270/stat : 10270 (toysat) S 10263 10266 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110340766 1343819776 269569 33554432000 4194304 16246674 140735698432960 140595028806832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1312324 [startup+1662.3 s] /proc/loadavg: 2.21 2.25 2.26 3/183 10357 /proc/meminfo: memFree=28060104/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1312324 CPUtime=1661.82 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 269628 0 0 0 166078 104 0 0 20 0 4 0 110340762 1343819776 269569 33554432000 4194304 16246674 140735698432960 140735698414848 5553716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 328081 269569 886 2943 0 324975 0 [pid=10266/tid=10268] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110340765 1343819776 269569 33554432000 4194304 16246674 140735698432960 140595049770224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110340766 1343819776 269569 33554432000 4194304 16246674 140735698432960 140595039280368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=10266/tid=10270] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10270/stat : 10270 (toysat) S 10263 10266 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110340766 1343819776 269569 33554432000 4194304 16246674 140735698432960 140595028806832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1312324 [startup+1722.3 s] /proc/loadavg: 2.15 2.23 2.26 3/183 10358 /proc/meminfo: memFree=28060100/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1312324 CPUtime=1721.8 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 269628 0 0 0 172073 107 0 0 20 0 4 0 110340762 1343819776 269569 33554432000 4194304 16246674 140735698432960 140735698432136 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 328081 269569 886 2943 0 324975 0 [pid=10266/tid=10268] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110340765 1343819776 269569 33554432000 4194304 16246674 140735698432960 140595049770224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110340766 1343819776 269569 33554432000 4194304 16246674 140735698432960 140595039280368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=10266/tid=10270] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10270/stat : 10270 (toysat) S 10263 10266 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110340766 1343819776 269569 33554432000 4194304 16246674 140735698432960 140595028806832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1312324 [startup+1782.31 s] /proc/loadavg: 2.16 2.21 2.25 3/184 10362 /proc/meminfo: memFree=28059352/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1312324 CPUtime=1781.8 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 269628 0 0 0 178070 110 0 0 20 0 4 0 110340762 1343819776 269569 33554432000 4194304 16246674 140735698432960 140735698414848 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 328081 269569 886 2943 0 324975 0 [pid=10266/tid=10268] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110340765 1343819776 269569 33554432000 4194304 16246674 140735698432960 140595049770224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110340766 1343819776 269569 33554432000 4194304 16246674 140735698432960 140595039280368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=10266/tid=10270] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10270/stat : 10270 (toysat) S 10263 10266 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110340766 1343819776 269569 33554432000 4194304 16246674 140735698432960 140595028806832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1312324 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.12 2.20 2.24 4/183 10363 /proc/meminfo: memFree=28059860/32872528 swapFree=16384/1696552 [pid=10266] ppid=10263 vsize=1312324 CPUtime=1800.09 cores=1,3,5,7 /proc/10266/stat : 10266 (toysat) R 10263 10266 5723 0 -1 4202496 269628 0 0 0 179898 111 0 0 20 0 4 0 110340762 1343819776 269569 33554432000 4194304 16246674 140735698432960 140735698432136 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 3 0 0 /proc/10266/statm: 328081 269569 886 2943 0 324975 0 [pid=10266/tid=10268] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10268/stat : 10268 (toysat) S 10263 10266 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110340765 1343819776 269569 33554432000 4194304 16246674 140735698432960 140595049770224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10266/tid=10269] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10269/stat : 10269 (toysat) S 10263 10266 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110340766 1343819776 269569 33554432000 4194304 16246674 140735698432960 140595039280368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 7 0 0 0 0 0 [pid=10266/tid=10270] ppid=10263 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/10266/task/10270/stat : 10270 (toysat) S 10263 10266 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110340766 1343819776 269569 33554432000 4194304 16246674 140735698432960 140595028806832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1312324 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 10266 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1798.98 CPU system time (s): 1.11883 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (KiB): 1312324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.98 system time used= 1.11883 maximum resident set size= 1078276 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269628 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= 375 involuntary context switches= 1842 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.1755 second user time and 11.9472 second system time The end
Begin job on node125 at 2016-06-07 09:21:17 IDJOB=4078922 IDBENCH=90139 IDSOLVER=2542 FILE ID=node125/4078922-1465284077 RUNJOBID= node125-1465259688-5740 PBS_JOBID= 19843289 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K101.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078922-1465284077/watcher-4078922-1465284077 -o /tmp/evaluation-result-4078922-1465284077/solver-4078922-1465284077 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5740 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078922-1465284077.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a3de6c6ee42f8b511357d3857e721bb4 RANDOM SEED=2084951604 node125.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.456 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 : 5332.91 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.456 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.56 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.456 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.456 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.456 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.456 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: 29169700 kB Buffers: 29976 kB Cached: 150504 kB SwapCached: 1700 kB Active: 1134576 kB Inactive: 124112 kB Active(anon): 1075164 kB Inactive(anon): 4772 kB Active(file): 59412 kB Inactive(file): 119340 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098580 kB Dirty: 16740 kB Writeback: 0 kB AnonPages: 2861504 kB Mapped: 10712 kB Shmem: 0 kB Slab: 609136 kB SReclaimable: 53064 kB SUnreclaim: 556072 kB KernelStack: 1520 kB PageTables: 9524 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2921896 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2437120 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= 71712 MiB End job on node125 at 2016-06-07 09:51:18