| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.61 |
| Name | /DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K100.opb |
| MD5SUM | 96708928b3148fdbe0ae701534d6c3d7 |
| 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 | 1709.75 |
| 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 | 6800 |
| Total number of constraints | 7002 |
| Number of constraints which are clauses | 6902 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 100 |
| 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 | 101 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-07T09:14:40+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078921-1465283680.opb"] 0.00/0.01 c use --random-gen="2221152042 4280058463 177932907 2195838622 594527220 2845499977 2677607605 2988527778 1491768798 2713984588 979409261 1817249034 3661501820 3769346409 755110168 425610431 3974646020 146240588 3597795751 1168644196 3760063348 2990466159 2529457612 3449686209 1112915926 2470898016 1054803962 2675275809 4074520517 2884202076 246295641 3844328766 2254285897 3439510472 2869975853 4236168987 812537449 2903600510 4211953343 23071380 1667717261 3289740891 2246698583 898924922 2640883868 1688558225 3113904219 3567017680 2421893919 3089284978 3573120012 1002430002 3642312635 467850610 3019475516 3316720162 2288609016 594440165 3744603126 3854091980 3053314954 1569635339 3626394819 468409726 2015832058 3369259980 2635460737 4636803 1812645202 2585979863 2703118390 497733902 1532700204 1715829211 3391989368 3800285984 1916507762 1659994046 2585252638 1700672614 2272227778 2559961297 988005662 60113476 3710010909 190947364 2603710479 298089049 1641798075 65723137 4078505698 177759896 299066967 403694907 1690409381 2200257354 3570061871 3509596526 3551082608 576858877 1525957664 2067200003 2421705464 4072012793 2020600993 3528334526 1866255939 4083431087 2926865376 3160610200 3828594575 1576691788 901008512 393681816 106033067 1225898950 2776403384 3359164598 1093227493 3371556978 1064906175 3590467296 3226060896 3736426037 1968356614 4059897647 3295799692 2461194263 2770507083 1522669847 1693428042 133885296 711872278 371426924 2710273928 1507533328 539926433 3662973086 1478208676 3252397096 2552392398 2559001430 3706681145 980752101 3545858456 2409458053 471687459 1978521637 3171598149 1204915345 2240713672 2427535899 2230780276 1516472915 2759524904 1880408673 383622079 2770627982 1387602222 1813368945 1952814106 3921969504 1530863400 899534449 2292817926 2383314420 4004780920 3793494230 1216006507 1483568887 1865499939 2793838332 4254792292 3841824466 3069837687 2898053682 2026366593 3003897768 3407437137 3956804579 1695830297 3113269184 3592820289 212732998 3852102879 1606774129 1118437915 1685069857 1219042955 3180856876 3914571577 905271818 817753435 1387539977 3187673448 3216288310 1217035255 1239529183 2898982283 2386897217 4293349120 1976523583 1101839174 1319411263 1473514199 3580324222 860239222 495802553 719855744 4269552523 2540602758 4001830001 832042684 2064886843 1821548867 2591430789 974946009 1629517827 3419326498 2704122843 856137126 391956960 778631 123083776 3283770079 1938628998 2019337541 3945951245 703964820 2047224781 2503131205 1143184617 3072177771 3007339066 3377857228 2179237306 727912834 3846155231 1848028628 3268897683 123318101 1404139944 296756042 1664437567 4107948935 1969293188 214629093 3498395476 3793335887 2488988498 3881419040 4091097529 3231421459 554501184 2394175701 162737762 255 362436" option to reproduce the execution 0.08/0.11 c #vars 6800 0.08/0.11 c #constraints 7002 0.18/0.24 c Solving starts ... 0.18/0.24 c ============================[ Search Statistics ]============================ 0.18/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.24 c | | | | Limit GC | Var | Constra 0.18/0.24 c ============================================================================= 0.18/0.24 c 0.0s | 0 | 0 | 0 | 4600 0 | 362 | 0 0.39/0.42 c 0.2s | 1 | 5813 | 100 | 4600 0 | 363 | 304 0.59/0.60 c 0.4s | 2 | 7422 | 250 | 5060 0 | 363 | 304 0.89/0.92 c 0.7s | 3 | 12998 | 475 | 5566 0 | 363 | 304 1.29/1.33 c 1.1s | 4 | 19040 | 813 | 6123 0 | 364 | 305 1.89/1.90 c 1.7s | 5 | 29103 | 1320 | 6736 0 | 364 | 305 2.59/2.66 c 2.4s | 6 | 40979 | 2081 | 8152 0 | 364 | 305 3.99/4.01 c 3.8s | 7 | 65536 | 3223 | 8968 0 | 365 | 306 5.99/6.01 c 5.8s | 7 | 92504 | 4723 | 8968 0 | 367 | 308 6.29/6.30 c 6.1s | 8 | 97861 | 4936 | 9865 0 | 367 | 308 8.29/8.34 c 8.1s | 8 | 116092 | 6236 | 9865 0 | 368 | 309 9.79/9.86 c 9.6s | 9 | 138738 | 7506 | 10852 0 | 368 | 309 11.99/12.00 c 11.8s | 9 | 166317 | 8906 | 10852 0 | 370 | 311 13.99/14.04 c 13.8s | 9 | 183456 | 10206 | 10852 0 | 370 | 311 15.79/15.86 c 15.6s | 10 | 195523 | 11361 | 11938 0 | 371 | 312 17.79/17.89 c 17.6s | 10 | 198931 | 12161 | 11938 0 | 371 | 312 19.99/20.00 c 19.8s | 10 | 212583 | 13061 | 11938 1 | 372 | 313 22.18/22.21 c 22.0s | 10 | 241274 | 14461 | 11938 1 | 374 | 315 24.19/24.25 c 24.0s | 10 | 258048 | 15661 | 11938 1 | 376 | 317 26.28/26.30 c 26.1s | 10 | 267875 | 16861 | 11938 1 | 376 | 317 26.98/27.04 c 26.8s | 11 | 268767 | 17144 | 13132 1 | 376 | 317 29.08/29.10 c 28.9s | 11 | 294039 | 18444 | 13132 1 | 376 | 317 31.28/31.32 c 31.1s | 11 | 311146 | 19544 | 13132 1 | 377 | 318 33.38/33.45 c 33.2s | 11 | 337986 | 20744 | 13132 2 | 379 | 320 35.48/35.51 c 35.3s | 11 | 356171 | 21944 | 13132 2 | 379 | 320 37.58/37.60 c 37.4s | 11 | 374847 | 23344 | 13132 2 | 379 | 320 39.59/39.70 c 39.5s | 11 | 390589 | 24244 | 13132 2 | 379 | 320 41.68/41.75 c 41.5s | 11 | 410249 | 25644 | 13132 2 | 381 | 322 41.89/41.97 c 41.7s | 12 | 412193 | 25819 | 14446 2 | 381 | 322 43.88/44.00 c 43.8s | 12 | 431583 | 26819 | 14446 2 | 382 | 323 46.08/46.18 c 45.9s | 12 | 445700 | 28019 | 14446 2 | 382 | 323 48.48/48.52 c 48.3s | 12 | 447844 | 28719 | 14446 2 | 382 | 323 50.58/50.61 c 50.4s | 12 | 449521 | 29219 | 14446 2 | 382 | 323 52.69/52.70 c 52.5s | 12 | 452356 | 29719 | 14446 2 | 382 | 323 54.68/54.73 c 54.5s | 12 | 464950 | 30719 | 14446 3 | 382 | 323 56.78/56.81 c 56.6s | 12 | 488671 | 32319 | 14446 3 | 382 | 323 58.78/58.89 c 58.6s | 12 | 506396 | 33619 | 14446 3 | 382 | 323 60.98/61.09 c 60.8s | 12 | 522050 | 34719 | 14446 3 | 382 | 323 63.28/63.31 c 63.1s | 12 | 537920 | 36019 | 14446 3 | 382 | 323 65.38/65.46 c 65.2s | 12 | 544425 | 36919 | 14446 3 | 382 | 323 67.68/67.73 c 67.5s | 12 | 551670 | 38019 | 14446 3 | 382 | 323 69.48/69.57 c 69.3s | 13 | 562294 | 38832 | 15891 4 | 382 | 323 71.68/71.71 c 71.5s | 13 | 574927 | 40232 | 15891 4 | 382 | 323 73.69/73.74 c 73.5s | 13 | 602085 | 41732 | 15891 4 | 382 | 323 75.68/75.77 c 75.5s | 13 | 627976 | 43132 | 15891 4 | 382 | 323 77.68/77.78 c 77.5s | 13 | 638660 | 44432 | 15891 4 | 382 | 323 79.78/79.85 c 79.6s | 13 | 641196 | 45332 | 15891 4 | 382 | 323 81.78/81.89 c 81.6s | 13 | 643157 | 46032 | 15891 4 | 382 | 323 83.88/83.96 c 83.7s | 13 | 644431 | 46632 | 15891 4 | 382 | 323 85.89/85.97 c 85.7s | 13 | 646797 | 47132 | 15891 4 | 382 | 323 87.99/88.02 c 87.8s | 13 | 669421 | 48232 | 15891 5 | 383 | 324 90.08/90.11 c 89.9s | 13 | 695714 | 49832 | 15891 5 | 383 | 324 92.08/92.18 c 91.9s | 13 | 718868 | 51332 | 15891 5 | 383 | 324 94.28/94.38 c 94.1s | 13 | 731386 | 52632 | 15891 5 | 383 | 324 96.38/96.41 c 96.2s | 13 | 744761 | 53732 | 15891 5 | 383 | 324 98.48/98.57 c 98.3s | 13 | 759583 | 54832 | 15891 5 | 383 | 324 100.57/100.62 c 100s | 13 | 782269 | 55932 | 15891 6 | 383 | 324 102.57/102.68 c 102s | 13 | 803837 | 57332 | 15891 6 | 384 | 325 103.97/104.07 c 103s | 14 | 821224 | 58352 | 17481 6 | 384 | 325 106.17/106.23 c 105s | 14 | 849003 | 59552 | 17481 6 | 385 | 326 108.17/108.28 c 108s | 14 | 873446 | 60852 | 17481 6 | 386 | 327 110.37/110.42 c 110s | 14 | 886425 | 62152 | 17481 6 | 387 | 328 112.37/112.43 c 112s | 14 | 892599 | 63352 | 17481 6 | 387 | 328 114.48/114.56 c 114s | 14 | 902514 | 64552 | 17481 6 | 387 | 328 116.68/116.76 c 116s | 14 | 910242 | 65552 | 17481 6 | 387 | 328 118.67/118.77 c 118s | 14 | 914755 | 66652 | 17481 6 | 387 | 328 120.77/120.86 c 120s | 14 | 918605 | 67552 | 17481 6 | 387 | 328 123.77/123.89 c 123s | 14 | 920882 | 68252 | 17481 6 | 387 | 328 125.97/126.07 c 125s | 14 | 921158 | 68452 | 17481 6 | 387 | 328 128.07/128.11 c 127s | 14 | 923060 | 68952 | 17481 7 | 387 | 328 130.17/130.22 c 129s | 14 | 938009 | 70052 | 17481 7 | 387 | 328 132.26/132.31 c 132s | 14 | 945647 | 71052 | 17481 7 | 387 | 328 134.36/134.44 c 134s | 14 | 961899 | 72552 | 17481 7 | 387 | 328 136.47/136.54 c 136s | 14 | 986769 | 73852 | 17481 7 | 387 | 328 138.57/138.67 c 138s | 14 | 992037 | 74752 | 17481 7 | 387 | 328 140.77/140.82 c 140s | 14 | 1001022 | 75752 | 17481 7 | 387 | 328 143.17/143.21 c 142s | 14 | 1003257 | 76352 | 17481 7 | 387 | 328 145.18/145.30 c 145s | 14 | 1004753 | 76852 | 17481 7 | 387 | 328 147.27/147.33 c 147s | 14 | 1006220 | 77352 | 17481 7 | 387 | 328 149.36/149.48 c 149s | 14 | 1007092 | 77752 | 17481 7 | 387 | 328 151.66/151.78 c 151s | 14 | 1008743 | 78152 | 17481 7 | 387 | 328 154.47/154.50 c 154s | 14 | 1009254 | 78452 | 17481 7 | 387 | 328 156.47/156.55 c 156s | 14 | 1010398 | 78852 | 17481 7 | 387 | 328 158.76/158.89 c 158s | 14 | 1011958 | 79452 | 17481 7 | 387 | 328 160.86/160.99 c 160s | 14 | 1013681 | 80052 | 17481 7 | 387 | 328 163.37/163.48 c 163s | 14 | 1014507 | 80452 | 17481 8 | 387 | 328 165.47/165.59 c 165s | 14 | 1018706 | 81052 | 17481 8 | 387 | 328 167.57/167.63 c 167s | 14 | 1032667 | 82252 | 17481 8 | 387 | 328 169.67/169.76 c 169s | 14 | 1035067 | 82852 | 17481 8 | 387 | 328 171.67/171.79 c 171s | 14 | 1044544 | 83752 | 17481 8 | 387 | 328 173.77/173.82 c 173s | 14 | 1053184 | 84852 | 17481 8 | 387 | 328 175.97/176.04 c 175s | 14 | 1076389 | 86252 | 17481 8 | 387 | 328 178.36/178.45 c 178s | 14 | 1097953 | 87452 | 19230 8 | 387 | 328 178.76/178.80 c 178s | 15 | 1100118 | 87632 | 19230 8 | 387 | 328 181.06/181.10 c 180s | 15 | 1112212 | 88732 | 19230 8 | 387 | 328 183.16/183.21 c 182s | 15 | 1129412 | 90032 | 19230 8 | 387 | 328 185.16/185.29 c 185s | 15 | 1138057 | 90932 | 19230 9 | 387 | 328 187.36/187.40 c 187s | 15 | 1151493 | 92032 | 19230 9 | 387 | 328 189.46/189.53 c 189s | 15 | 1165055 | 93332 | 19230 9 | 388 | 329 191.66/191.72 c 191s | 15 | 1166803 | 94032 | 19230 9 | 388 | 329 193.67/193.73 c 193s | 15 | 1171443 | 95032 | 19230 9 | 388 | 329 195.66/195.79 c 195s | 15 | 1187041 | 96032 | 19230 9 | 388 | 329 197.76/197.85 c 197s | 15 | 1202508 | 97332 | 19230 9 | 388 | 329 199.96/200.09 c 199s | 15 | 1213217 | 98432 | 19230 9 | 388 | 329 202.06/202.15 c 201s | 15 | 1218763 | 99332 | 19230 9 | 388 | 329 204.15/204.22 c 203s | 15 | 1220201 | 99832 | 19230 9 | 388 | 329 206.45/206.57 c 206s | 15 | 1223411 | 100432 | 19230 10 | 388 | 329 208.45/208.58 c 208s | 15 | 1238476 | 101932 | 19230 10 | 388 | 329 210.55/210.63 c 210s | 15 | 1265976 | 103332 | 19230 10 | 389 | 330 212.55/212.68 c 212s | 15 | 1284477 | 104932 | 19230 10 | 389 | 330 214.65/214.71 c 214s | 15 | 1288446 | 105732 | 19230 10 | 389 | 330 216.66/216.73 c 216s | 15 | 1293225 | 107032 | 19230 10 | 389 | 330 218.65/218.76 c 218s | 15 | 1312448 | 108232 | 19230 10 | 389 | 330 220.75/220.80 c 220s | 15 | 1333049 | 109432 | 19230 10 | 389 | 330 222.85/222.92 c 222s | 15 | 1352899 | 110832 | 19230 10 | 389 | 330 224.95/225.04 c 224s | 15 | 1364250 | 111832 | 19230 11 | 389 | 330 227.05/227.14 c 226s | 15 | 1383489 | 113232 | 19230 11 | 389 | 330 229.15/229.20 c 228s | 15 | 1407076 | 114732 | 19230 11 | 389 | 330 231.15/231.30 c 231s | 15 | 1428413 | 116232 | 19230 11 | 389 | 330 233.45/233.52 c 233s | 15 | 1442552 | 117332 | 19230 11 | 389 | 330 235.55/235.62 c 235s | 15 | 1453657 | 118432 | 19230 11 | 391 | 332 237.65/237.72 c 237s | 15 | 1476074 | 119832 | 19230 11 | 391 | 332 239.75/239.82 c 239s | 15 | 1487665 | 121232 | 19230 12 | 391 | 332 241.75/241.85 c 241s | 15 | 1504244 | 122332 | 19230 12 | 391 | 332 243.85/243.94 c 243s | 15 | 1533609 | 123832 | 19230 12 | 392 | 333 245.85/245.96 c 245s | 15 | 1557603 | 125132 | 19230 12 | 394 | 335 247.85/247.98 c 247s | 15 | 1581427 | 126432 | 19230 12 | 394 | 335 250.05/250.19 c 249s | 15 | 1594600 | 127832 | 19230 12 | 394 | 335 252.25/252.32 c 252s | 15 | 1610866 | 129132 | 19230 12 | 394 | 335 254.45/254.55 c 254s | 15 | 1618875 | 130132 | 19230 12 | 394 | 335 256.45/256.58 c 256s | 15 | 1622757 | 130732 | 21153 12 | 394 | 335 258.05/258.19 c 257s | 16 | 1632767 | 131552 | 21153 12 | 395 | 336 260.15/260.28 c 260s | 16 | 1648640 | 132452 | 21153 12 | 395 | 336 262.25/262.38 c 262s | 16 | 1659829 | 133352 | 21153 13 | 395 | 336 264.35/264.40 c 264s | 16 | 1665478 | 134452 | 21153 13 | 395 | 336 266.35/266.44 c 266s | 16 | 1667862 | 135152 | 21153 13 | 395 | 336 268.65/268.77 c 268s | 16 | 1670647 | 135952 | 21153 13 | 395 | 336 270.85/270.93 c 270s | 16 | 1680208 | 137152 | 21153 13 | 395 | 336 273.75/273.88 c 273s | 16 | 1682310 | 137852 | 21153 13 | 395 | 336 275.95/276.04 c 275s | 16 | 1683271 | 138252 | 21153 13 | 395 | 336 279.05/279.17 c 278s | 16 | 1684162 | 138552 | 21153 13 | 395 | 336 281.25/281.31 c 281s | 16 | 1687621 | 139252 | 21153 13 | 395 | 336 283.25/283.35 c 283s | 16 | 1697313 | 140052 | 21153 13 | 395 | 336 285.34/285.47 c 285s | 16 | 1703564 | 141152 | 21153 13 | 395 | 336 287.54/287.62 c 287s | 16 | 1717998 | 142252 | 21153 13 | 395 | 336 289.74/289.85 c 289s | 16 | 1730193 | 143252 | 21153 13 | 395 | 336 291.84/291.94 c 291s | 16 | 1738424 | 144352 | 21153 13 | 395 | 336 293.94/294.09 c 293s | 16 | 1751570 | 145252 | 21153 14 | 395 | 336 296.24/296.38 c 296s | 16 | 1754039 | 145952 | 21153 14 | 395 | 336 298.74/298.89 c 298s | 16 | 1755242 | 146352 | 21153 14 | 395 | 336 300.84/300.97 c 300s | 16 | 1755640 | 146552 | 21153 14 | 395 | 336 303.24/303.34 c 303s | 16 | 1756486 | 146852 | 21153 14 | 395 | 336 305.75/305.84 c 305s | 16 | 1757063 | 147052 | 21153 14 | 395 | 336 308.64/308.76 c 308s | 16 | 1757783 | 147352 | 21153 14 | 395 | 336 310.74/310.80 c 310s | 16 | 1775341 | 148352 | 21153 14 | 395 | 336 312.84/312.91 c 312s | 16 | 1782262 | 149052 | 21153 14 | 395 | 336 314.84/314.92 c 314s | 16 | 1794525 | 149952 | 21153 14 | 395 | 336 316.94/317.03 c 316s | 16 | 1798997 | 150652 | 21153 14 | 395 | 336 319.74/319.89 c 319s | 16 | 1800885 | 151152 | 21153 14 | 395 | 336 322.25/322.36 c 322s | 16 | 1806938 | 151652 | 21153 14 | 395 | 336 324.24/324.39 c 324s | 16 | 1809937 | 152052 | 21153 14 | 395 | 336 326.44/326.52 c 326s | 16 | 1813747 | 152552 | 21153 14 | 395 | 336 328.85/328.93 c 328s | 16 | 1816796 | 153052 | 21153 14 | 395 | 336 331.04/331.13 c 330s | 16 | 1818564 | 153352 | 21153 14 | 395 | 336 334.14/334.26 c 334s | 16 | 1820093 | 153652 | 21153 14 | 395 | 336 336.54/336.63 c 336s | 16 | 1820529 | 153852 | 21153 14 | 395 | 336 339.44/339.56 c 339s | 16 | 1822903 | 154252 | 21153 14 | 395 | 336 341.84/341.99 c 341s | 16 | 1823499 | 154452 | 21153 14 | 395 | 336 344.74/344.84 c 344s | 16 | 1824398 | 154752 | 21153 14 | 395 | 336 347.84/347.94 c 347s | 16 | 1824875 | 154952 | 21153 14 | 395 | 336 350.04/350.10 c 349s | 16 | 1825710 | 155152 | 21153 14 | 395 | 336 352.94/353.05 c 352s | 16 | 1826641 | 155352 | 21153 14 | 395 | 336 356.24/356.31 c 356s | 16 | 1827332 | 155552 | 21153 14 | 395 | 336 358.54/358.67 c 358s | 16 | 1828522 | 155852 | 21153 14 | 395 | 336 361.94/362.01 c 361s | 16 | 1829105 | 156052 | 21153 14 | 395 | 336 364.04/364.19 c 363s | 16 | 1829455 | 156152 | 21153 14 | 395 | 336 366.63/366.77 c 366s | 16 | 1829621 | 156252 | 21153 14 | 395 | 336 368.63/368.79 c 368s | 16 | 1829938 | 156352 | 21153 14 | 395 | 336 371.53/371.62 c 371s | 16 | 1830135 | 156452 | 21153 14 | 395 | 336 374.43/374.58 c 374s | 16 | 1830386 | 156552 | 21153 14 | 395 | 336 378.24/378.37 c 378s | 16 | 1830813 | 156752 | 21153 14 | 395 | 336 381.23/381.30 c 381s | 16 | 1830972 | 156852 | 21153 14 | 395 | 336 384.03/384.18 c 383s | 16 | 1831137 | 156952 | 21153 14 | 395 | 336 386.43/386.56 c 386s | 16 | 1831394 | 157052 | 21153 14 | 395 | 336 389.34/389.42 c 389s | 16 | 1831590 | 157152 | 21153 14 | 395 | 336 391.93/392.04 c 391s | 16 | 1832160 | 157352 | 21153 14 | 395 | 336 394.73/394.81 c 394s | 16 | 1832375 | 157452 | 21153 14 | 395 | 336 396.83/396.93 c 396s | 16 | 1832577 | 157552 | 21153 14 | 395 | 336 399.23/399.35 c 399s | 16 | 1832738 | 157652 | 21153 14 | 395 | 336 401.73/401.89 c 401s | 16 | 1833411 | 157852 | 21153 14 | 395 | 336 404.43/404.50 c 404s | 16 | 1834968 | 158152 | 21153 15 | 395 | 336 406.42/406.58 c 406s | 16 | 1840623 | 159152 | 21153 15 | 395 | 336 409.32/409.48 c 409s | 16 | 1842171 | 159552 | 21153 15 | 395 | 336 412.02/412.17 c 411s | 16 | 1842673 | 159752 | 21153 15 | 395 | 336 414.23/414.39 c 414s | 16 | 1843731 | 160152 | 21153 15 | 395 | 336 416.33/416.41 c 416s | 16 | 1847504 | 160952 | 21153 15 | 395 | 336 418.83/418.90 c 418s | 16 | 1852410 | 161752 | 21153 15 | 395 | 336 420.83/420.95 c 420s | 16 | 1854094 | 162252 | 21153 15 | 395 | 336 423.02/423.17 c 422s | 16 | 1855448 | 162652 | 21153 15 | 395 | 336 426.02/426.13 c 425s | 16 | 1855950 | 162852 | 21153 15 | 395 | 336 428.12/428.25 c 428s | 16 | 1857231 | 163152 | 21153 15 | 395 | 336 431.42/431.55 c 431s | 16 | 1859400 | 163652 | 21153 15 | 395 | 336 433.43/433.56 c 433s | 16 | 1860803 | 164052 | 21153 15 | 395 | 336 437.03/437.13 c 436s | 16 | 1861542 | 164352 | 21153 15 | 395 | 336 439.33/439.43 c 439s | 16 | 1861838 | 164452 | 21153 15 | 395 | 336 442.33/442.49 c 442s | 16 | 1862045 | 164552 | 21153 15 | 395 | 336 445.02/445.12 c 444s | 16 | 1862285 | 164652 | 21153 15 | 395 | 336 447.12/447.21 c 446s | 16 | 1867541 | 165452 | 21153 15 | 395 | 336 449.52/449.69 c 449s | 16 | 1871222 | 166252 | 21153 15 | 395 | 336 452.62/452.73 c 452s | 16 | 1873245 | 166752 | 21153 15 | 395 | 336 454.82/454.95 c 454s | 16 | 1874403 | 167052 | 21153 15 | 395 | 336 457.02/457.11 c 456s | 16 | 1875101 | 167352 | 21153 15 | 395 | 336 459.32/459.46 c 459s | 16 | 1877796 | 167852 | 21153 15 | 395 | 336 461.42/461.52 c 461s | 16 | 1878615 | 168152 | 21153 15 | 395 | 336 463.82/463.94 c 463s | 16 | 1881771 | 168752 | 21153 15 | 395 | 336 466.43/466.54 c 466s | 16 | 1884587 | 169352 | 21153 15 | 395 | 336 468.82/468.93 c 468s | 16 | 1887489 | 169852 | 21153 15 | 395 | 336 471.32/471.46 c 471s | 16 | 1888199 | 170152 | 21153 15 | 395 | 336 473.72/473.82 c 473s | 16 | 1889333 | 170452 | 21153 15 | 395 | 336 475.92/476.02 c 475s | 16 | 1890120 | 170652 | 21153 15 | 395 | 336 478.12/478.21 c 477s | 16 | 1891256 | 170952 | 21153 15 | 395 | 336 480.63/480.76 c 480s | 16 | 1892624 | 171252 | 21153 15 | 395 | 336 482.93/483.01 c 482s | 16 | 1893109 | 171452 | 21153 15 | 395 | 336 485.13/485.29 c 485s | 16 | 1893669 | 171652 | 21153 16 | 395 | 336 487.92/488.00 c 487s | 16 | 1894455 | 171852 | 21153 16 | 395 | 336 492.31/492.49 c 492s | 16 | 1895116 | 172152 | 21153 16 | 395 | 336 495.41/495.51 c 495s | 16 | 1896707 | 172452 | 21153 16 | 395 | 336 498.71/498.86 c 498s | 16 | 1898037 | 172752 | 21153 16 | 395 | 336 502.81/502.99 c 502s | 16 | 1899379 | 173152 | 21153 16 | 395 | 336 506.62/506.77 c 506s | 16 | 1899974 | 173352 | 21153 16 | 395 | 336 509.41/509.59 c 509s | 16 | 1900128 | 173452 | 21153 16 | 395 | 336 511.42/511.60 c 511s | 16 | 1900344 | 173552 | 21153 16 | 395 | 336 514.91/515.02 c 514s | 16 | 1900485 | 173652 | 21153 16 | 395 | 336 518.61/518.76 c 518s | 16 | 1900957 | 173852 | 21153 16 | 395 | 336 521.01/521.17 c 520s | 16 | 1901287 | 173952 | 21153 16 | 395 | 336 524.81/524.91 c 524s | 16 | 1901437 | 174052 | 21153 16 | 395 | 336 527.51/527.66 c 527s | 16 | 1901826 | 174152 | 21153 16 | 395 | 336 530.81/530.95 c 530s | 16 | 1902003 | 174252 | 21153 16 | 395 | 336 534.30/534.48 c 534s | 16 | 1902766 | 174452 | 21153 16 | 395 | 336 537.60/537.78 c 537s | 16 | 1902940 | 174552 | 21153 16 | 395 | 336 542.70/542.84 c 542s | 16 | 1903559 | 174752 | 21153 16 | 395 | 336 544.81/544.99 c 544s | 16 | 1904209 | 174952 | 21153 16 | 395 | 336 547.01/547.14 c 546s | 16 | 1904349 | 175052 | 21153 16 | 395 | 336 551.01/551.12 c 550s | 16 | 1904683 | 175252 | 21153 16 | 395 | 336 554.91/555.02 c 554s | 16 | 1905376 | 175452 | 21153 16 | 395 | 336 558.21/558.31 c 558s | 16 | 1905560 | 175552 | 21153 16 | 395 | 336 560.50/560.62 c 560s | 16 | 1906835 | 175952 | 21153 16 | 395 | 336 563.00/563.19 c 562s | 16 | 1908497 | 176452 | 21153 16 | 395 | 336 565.41/565.53 c 565s | 16 | 1909765 | 176852 | 21153 16 | 395 | 336 567.61/567.78 c 567s | 16 | 1910980 | 177152 | 21153 16 | 395 | 336 571.10/571.20 c 570s | 16 | 1911959 | 177452 | 21153 16 | 395 | 336 573.50/573.60 c 573s | 16 | 1912816 | 177652 | 21153 16 | 395 | 336 576.20/576.39 c 576s | 16 | 1913616 | 177852 | 21153 16 | 395 | 336 579.60/579.75 c 579s | 16 | 1913833 | 177952 | 21153 16 | 395 | 336 582.40/582.54 c 582s | 16 | 1914503 | 178152 | 21153 16 | 395 | 336 584.80/584.95 c 584s | 16 | 1914690 | 178252 | 21153 16 | 395 | 336 588.80/588.97 c 588s | 16 | 1915014 | 178352 | 21153 16 | 395 | 336 593.00/593.17 c 592s | 16 | 1915176 | 178452 | 21153 16 | 395 | 336 596.11/596.23 c 595s | 16 | 1915402 | 178552 | 21153 16 | 395 | 336 599.30/599.42 c 599s | 16 | 1915655 | 178652 | 21153 16 | 395 | 336 604.10/604.24 c 604s | 16 | 1916120 | 178852 | 21153 16 | 395 | 336 606.90/607.05 c 606s | 16 | 1916970 | 179152 | 21153 16 | 395 | 336 609.70/609.86 c 609s | 16 | 1917185 | 179252 | 21153 16 | 395 | 336 612.20/612.35 c 612s | 16 | 1917506 | 179352 | 21153 16 | 395 | 336 615.19/615.36 c 615s | 16 | 1917663 | 179452 | 21153 16 | 395 | 336 618.20/618.32 c 618s | 16 | 1917905 | 179552 | 21153 16 | 395 | 336 623.89/624.00 c 623s | 16 | 1918386 | 179752 | 21153 16 | 395 | 336 627.69/627.81 c 627s | 16 | 1918635 | 179852 | 21153 16 | 395 | 336 629.99/630.18 c 629s | 16 | 1919482 | 180052 | 21153 16 | 395 | 336 632.59/632.78 c 632s | 16 | 1919808 | 180152 | 21153 16 | 395 | 336 635.70/635.88 c 635s | 16 | 1920323 | 180252 | 21153 16 | 395 | 336 639.39/639.51 c 639s | 16 | 1920879 | 180452 | 21153 16 | 395 | 336 642.49/642.63 c 642s | 16 | 1921148 | 180552 | 21153 16 | 395 | 336 645.89/646.07 c 645s | 16 | 1921842 | 180752 | 21153 16 | 395 | 336 648.29/648.42 c 648s | 16 | 1922109 | 180852 | 21153 16 | 395 | 336 650.69/650.80 c 650s | 16 | 1922420 | 180952 | 21153 16 | 395 | 336 654.59/654.76 c 654s | 16 | 1923107 | 181152 | 21153 16 | 395 | 336 658.09/658.20 c 657s | 16 | 1923250 | 181252 | 21153 16 | 395 | 336 660.38/660.55 c 660s | 16 | 1923493 | 181352 | 21153 16 | 395 | 336 663.68/663.88 c 663s | 16 | 1923634 | 181452 | 21153 16 | 395 | 336 667.49/667.60 c 667s | 16 | 1923836 | 181552 | 21153 16 | 395 | 336 669.80/669.96 c 669s | 16 | 1923999 | 181652 | 21153 16 | 395 | 336 675.49/675.67 c 675s | 16 | 1924514 | 181852 | 21153 16 | 395 | 336 678.49/678.61 c 678s | 16 | 1925487 | 182152 | 21153 16 | 395 | 336 681.29/681.48 c 681s | 16 | 1925936 | 182352 | 21153 16 | 395 | 336 685.39/685.57 c 685s | 16 | 1926084 | 182452 | 21153 16 | 395 | 336 688.69/688.84 c 688s | 16 | 1927017 | 182652 | 21153 16 | 395 | 336 691.59/691.72 c 691s | 16 | 1927337 | 182752 | 21153 16 | 395 | 336 694.09/694.29 c 694s | 16 | 1929087 | 183052 | 21153 16 | 395 | 336 696.98/697.16 c 696s | 16 | 1929674 | 183252 | 21153 16 | 395 | 336 699.28/699.47 c 699s | 16 | 1929918 | 183352 | 21153 16 | 395 | 336 702.08/702.20 c 701s | 16 | 1931192 | 183652 | 21153 16 | 395 | 336 704.99/705.14 c 704s | 16 | 1932787 | 183952 | 21153 17 | 395 | 336 707.88/708.08 c 707s | 16 | 1934077 | 184152 | 21153 17 | 395 | 336 710.08/710.20 c 709s | 16 | 1934955 | 184252 | 21153 17 | 395 | 336 712.79/712.98 c 712s | 16 | 1937075 | 184652 | 21153 17 | 395 | 336 715.48/715.61 c 715s | 16 | 1937825 | 184852 | 21153 17 | 395 | 336 718.88/719.02 c 718s | 16 | 1938760 | 185152 | 21153 17 | 395 | 336 721.28/721.43 c 721s | 16 | 1939788 | 185552 | 21153 17 | 395 | 336 723.58/723.74 c 723s | 16 | 1940382 | 185852 | 21153 17 | 395 | 336 725.88/726.03 c 725s | 16 | 1941525 | 186152 | 21153 17 | 395 | 336 728.37/728.53 c 728s | 16 | 1943047 | 186652 | 21153 17 | 395 | 336 730.77/730.98 c 730s | 16 | 1943520 | 186852 | 21153 17 | 395 | 336 735.27/735.48 c 735s | 16 | 1944148 | 187052 | 21153 17 | 395 | 336 737.67/737.85 c 737s | 16 | 1944477 | 187152 | 21153 17 | 395 | 336 740.08/740.23 c 739s | 16 | 1945695 | 187552 | 21153 17 | 395 | 336 742.98/743.11 c 742s | 16 | 1946120 | 187752 | 21153 17 | 395 | 336 746.58/746.74 c 746s | 16 | 1946710 | 187952 | 21153 17 | 395 | 336 749.48/749.62 c 749s | 16 | 1946943 | 188052 | 21153 17 | 395 | 336 753.28/753.50 c 753s | 16 | 1947189 | 188152 | 21153 17 | 395 | 336 755.68/755.87 c 755s | 16 | 1947357 | 188252 | 21153 17 | 395 | 336 759.57/759.71 c 759s | 16 | 1947658 | 188452 | 21153 17 | 395 | 336 762.87/763.05 c 762s | 16 | 1948165 | 188652 | 21153 17 | 395 | 336 765.87/766.02 c 765s | 16 | 1949150 | 188952 | 21153 17 | 395 | 336 769.77/769.97 c 769s | 16 | 1949731 | 189152 | 21153 17 | 395 | 336 772.77/772.91 c 772s | 16 | 1951039 | 189552 | 21153 17 | 395 | 336 775.17/775.37 c 775s | 16 | 1951852 | 189852 | 21153 17 | 395 | 336 777.68/777.89 c 777s | 16 | 1952803 | 190052 | 21153 17 | 395 | 336 780.47/780.63 c 780s | 16 | 1952950 | 190152 | 21153 17 | 395 | 336 782.87/783.04 c 782s | 16 | 1953176 | 190252 | 21153 17 | 395 | 336 785.17/785.38 c 785s | 16 | 1953706 | 190452 | 21153 17 | 395 | 336 789.17/789.37 c 789s | 16 | 1954087 | 190652 | 21153 17 | 395 | 336 793.17/793.36 c 793s | 16 | 1954520 | 190852 | 21153 17 | 395 | 336 796.27/796.47 c 796s | 16 | 1955274 | 191052 | 21153 17 | 395 | 336 798.96/799.12 c 798s | 16 | 1955652 | 191152 | 21153 17 | 395 | 336 800.96/801.18 c 800s | 16 | 1956551 | 191352 | 21153 17 | 395 | 336 806.56/806.76 c 806s | 16 | 1957096 | 191552 | 21153 17 | 395 | 336 810.46/810.69 c 810s | 16 | 1957342 | 191652 | 21153 17 | 395 | 336 813.87/814.08 c 813s | 16 | 1959671 | 192152 | 21153 17 | 395 | 336 816.56/816.73 c 816s | 16 | 1960115 | 192252 | 21153 17 | 395 | 336 820.06/820.29 c 820s | 16 | 1960387 | 192352 | 21153 17 | 395 | 336 822.37/822.57 c 822s | 16 | 1961816 | 192652 | 21153 17 | 395 | 336 826.37/826.51 c 826s | 16 | 1962721 | 192952 | 21153 17 | 395 | 336 829.37/829.57 c 829s | 16 | 1963122 | 193152 | 21153 17 | 395 | 336 832.26/832.49 c 832s | 16 | 1963299 | 193252 | 21153 17 | 395 | 336 834.87/835.05 c 834s | 16 | 1963966 | 193552 | 21153 17 | 395 | 336 837.66/837.85 c 837s | 16 | 1964340 | 193752 | 21153 17 | 395 | 336 840.56/840.77 c 840s | 16 | 1964907 | 193952 | 21153 17 | 395 | 336 842.66/842.88 c 842s | 16 | 1965452 | 194152 | 21153 17 | 395 | 336 845.06/845.28 c 845s | 16 | 1966372 | 194452 | 21153 17 | 395 | 336 847.06/847.29 c 847s | 16 | 1977949 | 195352 | 21153 18 | 395 | 336 849.26/849.45 c 849s | 16 | 1993767 | 196652 | 23269 18 | 395 | 336 850.66/850.80 c 850s | 17 | 2009323 | 197432 | 23269 18 | 395 | 336 852.76/852.98 c 852s | 17 | 2028645 | 198932 | 23269 18 | 395 | 336 854.86/855.04 c 854s | 17 | 2031232 | 199932 | 23269 18 | 395 | 336 857.16/857.33 c 857s | 17 | 2033754 | 200732 | 23269 18 | 395 | 336 859.16/859.33 c 859s | 17 | 2041075 | 201532 | 23269 18 | 395 | 336 861.36/861.52 c 861s | 17 | 2064968 | 202832 | 23269 18 | 395 | 336 863.36/863.53 c 863s | 17 | 2074055 | 204232 | 23269 18 | 395 | 336 865.36/865.58 c 865s | 17 | 2087723 | 205232 | 23269 18 | 395 | 336 867.55/867.74 c 867s | 17 | 2102738 | 206332 | 23269 18 | 395 | 336 869.65/869.88 c 869s | 17 | 2118506 | 207432 | 23269 19 | 395 | 336 871.65/871.89 c 871s | 17 | 2129005 | 208732 | 23269 19 | 395 | 336 873.65/873.89 c 873s | 17 | 2133069 | 209632 | 23269 19 | 395 | 336 875.75/875.95 c 875s | 17 | 2135518 | 210232 | 23269 19 | 395 | 336 877.76/877.98 c 877s | 17 | 2138390 | 210732 | 23269 19 | 395 | 336 880.06/880.22 c 879s | 17 | 2148491 | 211932 | 23269 19 | 395 | 336 882.06/882.23 c 881s | 17 | 2173818 | 213132 | 23269 19 | 395 | 336 884.16/884.32 c 884s | 17 | 2192311 | 214432 | 23269 19 | 395 | 336 886.16/886.36 c 886s | 17 | 2196457 | 215432 | 23269 19 | 395 | 336 888.36/888.55 c 888s | 17 | 2211074 | 216632 | 23269 19 | 395 | 336 890.35/890.57 c 890s | 17 | 2225385 | 217732 | 23269 19 | 395 | 336 892.55/892.77 c 892s | 17 | 2231705 | 218632 | 23269 19 | 395 | 336 894.65/894.85 c 894s | 17 | 2248426 | 219632 | 23269 20 | 395 | 336 896.65/896.89 c 896s | 17 | 2262322 | 220932 | 23269 20 | 395 | 336 898.66/898.89 c 898s | 17 | 2289129 | 222532 | 23269 20 | 395 | 336 900.76/901.00 c 900s | 17 | 2292379 | 223332 | 23269 20 | 395 | 336 902.85/903.04 c 902s | 17 | 2310841 | 224632 | 23269 20 | 395 | 336 904.95/905.13 c 904s | 17 | 2333083 | 226032 | 23269 20 | 395 | 336 907.05/907.24 c 906s | 17 | 2338443 | 227032 | 23269 20 | 395 | 336 909.25/909.44 c 909s | 17 | 2347612 | 228032 | 23269 20 | 395 | 336 911.65/911.82 c 911s | 17 | 2348789 | 228432 | 23269 20 | 395 | 336 914.25/914.41 c 914s | 17 | 2349358 | 228732 | 23269 20 | 395 | 336 916.26/916.43 c 916s | 17 | 2350187 | 229032 | 23269 20 | 395 | 336 918.25/918.46 c 918s | 17 | 2350851 | 229332 | 23269 20 | 395 | 336 920.66/920.87 c 920s | 17 | 2351497 | 229632 | 23269 20 | 395 | 336 922.95/923.13 c 922s | 17 | 2361039 | 230232 | 23269 20 | 395 | 336 925.05/925.26 c 925s | 17 | 2371366 | 231232 | 23269 20 | 395 | 336 927.15/927.34 c 927s | 17 | 2389080 | 232432 | 23269 20 | 395 | 336 929.24/929.43 c 929s | 17 | 2403302 | 233632 | 23269 21 | 395 | 336 931.24/931.43 c 931s | 17 | 2432343 | 235232 | 23269 21 | 395 | 336 933.24/933.46 c 933s | 17 | 2447284 | 236732 | 23269 21 | 395 | 336 935.34/935.58 c 935s | 17 | 2453405 | 238232 | 23269 21 | 395 | 336 937.64/937.84 c 937s | 17 | 2461188 | 239432 | 23269 21 | 395 | 336 939.74/939.92 c 939s | 17 | 2470209 | 240532 | 23269 21 | 395 | 336 941.94/942.13 c 941s | 17 | 2474722 | 241632 | 23269 21 | 395 | 336 944.05/944.26 c 944s | 17 | 2477604 | 242532 | 23269 21 | 395 | 336 946.15/946.31 c 946s | 17 | 2479933 | 243332 | 23269 21 | 395 | 336 948.24/948.49 c 948s | 17 | 2481482 | 243932 | 23269 21 | 395 | 336 950.54/950.76 c 950s | 17 | 2482365 | 244332 | 23269 21 | 395 | 336 952.64/952.90 c 952s | 17 | 2485411 | 245032 | 23269 21 | 395 | 336 954.84/955.07 c 954s | 17 | 2486376 | 245432 | 23269 21 | 395 | 336 957.14/957.35 c 957s | 17 | 2488131 | 246032 | 23269 21 | 395 | 336 959.54/959.79 c 959s | 17 | 2489319 | 246432 | 23269 21 | 395 | 336 961.93/962.19 c 961s | 17 | 2490169 | 246832 | 23269 21 | 395 | 336 964.23/964.45 c 964s | 17 | 2491126 | 247232 | 23269 21 | 395 | 336 966.33/966.59 c 966s | 17 | 2492270 | 247632 | 23269 21 | 395 | 336 968.43/968.62 c 968s | 17 | 2492894 | 247932 | 23269 21 | 395 | 336 970.53/970.71 c 970s | 17 | 2493642 | 248232 | 23269 21 | 395 | 336 972.83/973.00 c 972s | 17 | 2493961 | 248432 | 23269 22 | 395 | 336 975.23/975.44 c 975s | 17 | 2495287 | 248932 | 23269 22 | 395 | 336 977.73/977.97 c 977s | 17 | 2496915 | 249432 | 23269 22 | 395 | 336 980.03/980.26 c 980s | 17 | 2498119 | 249832 | 23269 22 | 395 | 336 982.13/982.31 c 982s | 17 | 2498874 | 250132 | 23269 22 | 395 | 336 984.33/984.55 c 984s | 17 | 2499879 | 250532 | 23269 22 | 395 | 336 986.42/986.67 c 986s | 17 | 2501281 | 250932 | 23269 22 | 395 | 336 988.93/989.19 c 988s | 17 | 2502653 | 251332 | 23269 22 | 395 | 336 991.53/991.75 c 991s | 17 | 2504393 | 251732 | 23269 22 | 395 | 336 994.62/994.82 c 994s | 17 | 2504931 | 252032 | 23269 22 | 395 | 336 997.12/997.32 c 997s | 17 | 2505682 | 252332 | 23269 22 | 395 | 336 999.42/999.67 c 999s | 17 | 2506587 | 252632 | 23269 22 | 395 | 336 1001.62/1001.80 c 1001s | 17 | 2511001 | 253432 | 23269 22 | 395 | 336 1003.72/1003.95 c 1003s | 17 | 2512346 | 253932 | 23269 22 | 395 | 336 1005.81/1006.03 c 1005s | 17 | 2514105 | 254432 | 23269 22 | 395 | 336 1008.01/1008.28 c 1008s | 17 | 2517192 | 255232 | 23269 22 | 395 | 336 1010.31/1010.58 c 1010s | 17 | 2519603 | 255832 | 23269 22 | 395 | 336 1012.81/1013.01 c 1012s | 17 | 2521082 | 256332 | 23269 22 | 395 | 336 1015.21/1015.43 c 1015s | 17 | 2522656 | 256832 | 23269 22 | 395 | 336 1017.31/1017.60 c 1017s | 17 | 2523638 | 257232 | 23269 22 | 395 | 336 1019.91/1020.19 c 1019s | 17 | 2524577 | 257632 | 23269 22 | 395 | 336 1022.21/1022.49 c 1022s | 17 | 2526638 | 258132 | 23269 22 | 395 | 336 1024.31/1024.55 c 1024s | 17 | 2527292 | 258432 | 23269 22 | 395 | 336 1027.00/1027.28 c 1027s | 17 | 2528205 | 258832 | 23269 22 | 395 | 336 1029.30/1029.50 c 1029s | 17 | 2528864 | 259132 | 23269 22 | 395 | 336 1031.80/1032.04 c 1031s | 17 | 2530135 | 259532 | 23269 22 | 395 | 336 1034.40/1034.64 c 1034s | 17 | 2531070 | 259932 | 23269 22 | 395 | 336 1036.40/1036.69 c 1036s | 17 | 2531505 | 260132 | 23269 22 | 395 | 336 1039.10/1039.38 c 1039s | 17 | 2532504 | 260432 | 23269 22 | 395 | 336 1041.20/1041.42 c 1041s | 17 | 2533092 | 260732 | 23269 22 | 395 | 336 1043.70/1043.94 c 1043s | 17 | 2534263 | 261132 | 23269 22 | 395 | 336 1046.09/1046.38 c 1046s | 17 | 2534923 | 261432 | 23269 22 | 395 | 336 1048.39/1048.67 c 1048s | 17 | 2535705 | 261732 | 23269 22 | 395 | 336 1051.59/1051.83 c 1051s | 17 | 2536639 | 262032 | 23269 23 | 395 | 336 1053.79/1054.03 c 1053s | 17 | 2538045 | 262432 | 23269 23 | 395 | 336 1055.89/1056.18 c 1055s | 17 | 2539701 | 262832 | 23269 23 | 395 | 336 1058.18/1058.49 c 1058s | 17 | 2541458 | 263332 | 23269 23 | 395 | 336 1060.29/1060.52 c 1060s | 17 | 2542523 | 263732 | 23269 23 | 395 | 336 1062.59/1062.88 c 1062s | 17 | 2543680 | 264132 | 23269 23 | 395 | 336 1065.19/1065.42 c 1065s | 17 | 2544601 | 264532 | 23269 23 | 395 | 336 1068.08/1068.30 c 1068s | 17 | 2545574 | 264932 | 23269 23 | 395 | 336 1070.68/1070.95 c 1070s | 17 | 2546545 | 265332 | 23269 23 | 395 | 336 1072.78/1073.05 c 1072s | 17 | 2547295 | 265632 | 23269 23 | 395 | 336 1075.08/1075.36 c 1075s | 17 | 2548016 | 265932 | 23269 23 | 395 | 336 1077.18/1077.42 c 1077s | 17 | 2548784 | 266232 | 23269 23 | 395 | 336 1079.28/1079.53 c 1079s | 17 | 2549499 | 266532 | 23269 23 | 395 | 336 1081.68/1081.92 c 1081s | 17 | 2550826 | 266932 | 23269 23 | 395 | 336 1084.18/1084.42 c 1084s | 17 | 2551805 | 267232 | 23269 23 | 395 | 336 1086.37/1086.62 c 1086s | 17 | 2552401 | 267532 | 23269 23 | 395 | 336 1089.47/1089.71 c 1089s | 17 | 2552967 | 267832 | 23269 23 | 395 | 336 1092.18/1092.42 c 1092s | 17 | 2553533 | 268132 | 23269 23 | 395 | 336 1094.87/1095.13 c 1094s | 17 | 2554578 | 268432 | 23269 23 | 395 | 336 1097.58/1097.89 c 1097s | 17 | 2555286 | 268732 | 23269 23 | 395 | 336 1100.67/1100.95 c 1100s | 17 | 2555991 | 269032 | 23269 23 | 395 | 336 1103.48/1103.71 c 1103s | 17 | 2556575 | 269332 | 23269 23 | 395 | 336 1105.77/1106.00 c 1105s | 17 | 2557199 | 269632 | 23269 23 | 395 | 336 1108.68/1108.96 c 1108s | 17 | 2557699 | 269932 | 23269 23 | 395 | 336 1111.88/1112.16 c 1111s | 17 | 2558304 | 270232 | 23269 23 | 395 | 336 1113.97/1114.23 c 1113s | 17 | 2560443 | 270732 | 23269 23 | 395 | 336 1116.07/1116.35 c 1116s | 17 | 2563497 | 271532 | 23269 23 | 395 | 336 1118.37/1118.69 c 1118s | 17 | 2565361 | 272132 | 23269 23 | 395 | 336 1120.67/1120.91 c 1120s | 17 | 2567858 | 272732 | 23269 23 | 395 | 336 1122.87/1123.14 c 1122s | 17 | 2569626 | 273232 | 23269 23 | 395 | 336 1125.26/1125.50 c 1125s | 17 | 2571393 | 273732 | 23269 23 | 395 | 336 1127.56/1127.86 c 1127s | 17 | 2572847 | 274232 | 23269 23 | 395 | 336 1130.46/1130.77 c 1130s | 17 | 2573789 | 274632 | 23269 23 | 395 | 336 1132.56/1132.84 c 1132s | 17 | 2574465 | 274932 | 23269 23 | 395 | 336 1134.77/1135.05 c 1134s | 17 | 2575765 | 275332 | 23269 23 | 395 | 336 1136.97/1137.25 c 1137s | 17 | 2576466 | 275632 | 23269 23 | 395 | 336 1139.87/1140.10 c 1139s | 17 | 2576993 | 275932 | 23269 23 | 395 | 336 1142.07/1142.30 c 1142s | 17 | 2577730 | 276232 | 23269 23 | 395 | 336 1144.47/1144.75 c 1144s | 17 | 2578519 | 276432 | 23269 24 | 395 | 336 1146.76/1147.04 c 1146s | 17 | 2581055 | 277132 | 23269 24 | 395 | 336 1149.06/1149.38 c 1149s | 17 | 2582926 | 277732 | 23269 24 | 395 | 336 1151.26/1151.52 c 1151s | 17 | 2585667 | 278332 | 23269 24 | 395 | 336 1153.46/1153.71 c 1153s | 17 | 2587877 | 278932 | 23269 24 | 395 | 336 1155.76/1156.00 c 1155s | 17 | 2589394 | 279432 | 23269 24 | 395 | 336 1157.96/1158.28 c 1158s | 17 | 2590248 | 279832 | 23269 24 | 395 | 336 1160.16/1160.41 c 1160s | 17 | 2591231 | 280232 | 23269 24 | 395 | 336 1162.26/1162.54 c 1162s | 17 | 2592860 | 280732 | 23269 24 | 395 | 336 1164.25/1164.56 c 1164s | 17 | 2593794 | 281032 | 23269 24 | 395 | 336 1166.55/1166.86 c 1166s | 17 | 2595854 | 281532 | 23269 24 | 395 | 336 1169.06/1169.31 c 1169s | 17 | 2597477 | 282032 | 23269 24 | 395 | 336 1171.35/1171.64 c 1171s | 17 | 2598998 | 282532 | 23269 24 | 395 | 336 1173.65/1173.93 c 1173s | 17 | 2599579 | 282832 | 23269 24 | 395 | 336 1176.15/1176.48 c 1176s | 17 | 2600499 | 283232 | 23269 24 | 395 | 336 1178.24/1178.54 c 1178s | 17 | 2601486 | 283532 | 23269 24 | 395 | 336 1180.94/1181.25 c 1181s | 17 | 2601998 | 283832 | 23269 24 | 395 | 336 1183.54/1183.82 c 1183s | 17 | 2602683 | 284132 | 23269 24 | 395 | 336 1185.84/1186.14 c 1185s | 17 | 2603815 | 284532 | 23269 24 | 395 | 336 1188.04/1188.37 c 1188s | 17 | 2604783 | 284932 | 23269 24 | 395 | 336 1190.24/1190.56 c 1190s | 17 | 2605360 | 285232 | 23269 24 | 395 | 336 1192.64/1192.92 c 1192s | 17 | 2606818 | 285732 | 23269 24 | 395 | 336 1194.74/1195.01 c 1194s | 17 | 2620695 | 286532 | 23269 24 | 395 | 336 1196.93/1197.29 c 1197s | 17 | 2635276 | 287632 | 23269 25 | 395 | 336 1199.14/1199.42 c 1199s | 17 | 2644062 | 289232 | 23269 25 | 395 | 336 1201.14/1201.49 c 1201s | 17 | 2668989 | 291032 | 23269 25 | 395 | 336 1203.24/1203.60 c 1203s | 17 | 2690294 | 292532 | 23269 25 | 395 | 336 1205.44/1205.72 c 1205s | 17 | 2705820 | 294232 | 25596 25 | 395 | 336 1207.54/1207.82 c 1207s | 17 | 2708006 | 294932 | 25596 25 | 395 | 336 1209.84/1210.18 c 1209s | 17 | 2710035 | 295632 | 25596 25 | 395 | 336 1212.43/1212.72 c 1212s | 17 | 2711509 | 296132 | 25596 25 | 395 | 336 1213.83/1214.13 c 1213s | 18 | 2711765 | 296252 | 25596 25 | 395 | 336 1215.82/1216.16 c 1215s | 18 | 2729979 | 297552 | 25596 25 | 396 | 337 1217.92/1218.29 c 1218s | 18 | 2752100 | 298852 | 25596 25 | 398 | 339 1220.02/1220.31 c 1220s | 18 | 2762580 | 299852 | 25596 25 | 398 | 339 1222.02/1222.38 c 1222s | 18 | 2784339 | 301252 | 25596 26 | 398 | 339 1224.13/1224.45 c 1224s | 18 | 2795237 | 302652 | 25596 26 | 398 | 339 1226.12/1226.49 c 1226s | 18 | 2798080 | 303652 | 25596 26 | 398 | 339 1228.32/1228.67 c 1228s | 18 | 2800966 | 304552 | 25596 26 | 398 | 339 1230.42/1230.72 c 1230s | 18 | 2803327 | 305252 | 25596 26 | 398 | 339 1232.71/1233.04 c 1232s | 18 | 2805198 | 305952 | 25596 26 | 398 | 339 1234.71/1235.09 c 1234s | 18 | 2809475 | 306952 | 25596 26 | 398 | 339 1236.81/1237.17 c 1236s | 18 | 2829573 | 308452 | 25596 26 | 398 | 339 1238.91/1239.25 c 1239s | 18 | 2843747 | 309652 | 25596 26 | 398 | 339 1241.01/1241.32 c 1241s | 18 | 2851909 | 311052 | 25596 26 | 398 | 339 1243.11/1243.41 c 1243s | 18 | 2857700 | 312252 | 25596 26 | 398 | 339 1245.21/1245.57 c 1245s | 18 | 2860516 | 313052 | 25596 26 | 398 | 339 1247.41/1247.79 c 1247s | 18 | 2862114 | 313552 | 25596 26 | 398 | 339 1249.51/1249.82 c 1249s | 18 | 2865012 | 314352 | 25596 26 | 398 | 339 1251.62/1251.95 c 1251s | 18 | 2867309 | 315052 | 25596 26 | 398 | 339 1254.31/1254.66 c 1254s | 18 | 2869013 | 315552 | 25596 27 | 398 | 339 1256.31/1256.68 c 1256s | 18 | 2881775 | 317052 | 25596 27 | 398 | 339 1258.41/1258.76 c 1258s | 18 | 2885637 | 317752 | 25596 27 | 398 | 339 1260.60/1260.93 c 1260s | 18 | 2890292 | 318852 | 25596 27 | 398 | 339 1262.70/1263.03 c 1262s | 18 | 2900371 | 320152 | 25596 27 | 398 | 339 1264.81/1265.13 c 1264s | 18 | 2903313 | 320752 | 25596 27 | 398 | 339 1266.91/1267.27 c 1267s | 18 | 2910837 | 321852 | 25596 27 | 398 | 339 1269.00/1269.34 c 1269s | 18 | 2914021 | 322652 | 25596 27 | 398 | 339 1271.50/1271.89 c 1271s | 18 | 2915169 | 323152 | 25596 27 | 398 | 339 1273.91/1274.29 c 1274s | 18 | 2916901 | 323752 | 25596 27 | 398 | 339 1276.11/1276.44 c 1276s | 18 | 2918017 | 324152 | 25596 27 | 398 | 339 1278.21/1278.53 c 1278s | 18 | 2919789 | 324552 | 25596 27 | 398 | 339 1280.31/1280.60 c 1280s | 18 | 2920185 | 324752 | 25596 27 | 398 | 339 1283.51/1283.89 c 1283s | 18 | 2921147 | 325152 | 25596 27 | 398 | 339 1286.00/1286.30 c 1286s | 18 | 2922813 | 325552 | 25596 27 | 398 | 339 1288.40/1288.77 c 1288s | 18 | 2923671 | 325852 | 25596 27 | 398 | 339 1291.00/1291.39 c 1291s | 18 | 2924378 | 326252 | 25596 27 | 398 | 339 1293.49/1293.81 c 1293s | 18 | 2926398 | 326752 | 25596 27 | 398 | 339 1296.00/1296.36 c 1296s | 18 | 2927580 | 327252 | 25596 27 | 398 | 339 1298.40/1298.70 c 1298s | 18 | 2928723 | 327652 | 25596 27 | 398 | 339 1300.40/1300.73 c 1300s | 18 | 2931514 | 328352 | 25596 27 | 398 | 339 1303.00/1303.34 c 1303s | 18 | 2933223 | 328852 | 25596 27 | 398 | 339 1305.09/1305.47 c 1305s | 18 | 2934506 | 329252 | 25596 27 | 398 | 339 1307.79/1308.11 c 1307s | 18 | 2938529 | 329652 | 25596 28 | 398 | 339 1309.80/1310.15 c 1309s | 18 | 2966205 | 331352 | 25596 28 | 398 | 339 1311.89/1312.21 c 1311s | 18 | 2979684 | 332452 | 25596 28 | 398 | 339 1313.89/1314.29 c 1314s | 18 | 2990087 | 333252 | 25596 28 | 398 | 339 1316.09/1316.42 c 1316s | 18 | 3009755 | 334552 | 25596 28 | 398 | 339 1318.09/1318.47 c 1318s | 18 | 3024112 | 335952 | 25596 28 | 398 | 339 1320.29/1320.64 c 1320s | 18 | 3029550 | 336952 | 25596 28 | 398 | 339 1322.38/1322.70 c 1322s | 18 | 3033058 | 337652 | 25596 28 | 398 | 339 1324.38/1324.78 c 1324s | 18 | 3034413 | 338052 | 25596 28 | 398 | 339 1326.68/1327.01 c 1326s | 18 | 3035768 | 338552 | 25596 28 | 398 | 339 1329.18/1329.56 c 1329s | 18 | 3037678 | 339052 | 25596 28 | 398 | 339 1331.78/1332.14 c 1331s | 18 | 3041353 | 339752 | 25596 28 | 398 | 339 1333.99/1334.40 c 1334s | 18 | 3043229 | 340252 | 25596 28 | 398 | 339 1336.08/1336.40 c 1336s | 18 | 3044206 | 340652 | 25596 28 | 398 | 339 1338.39/1338.79 c 1338s | 18 | 3045241 | 341052 | 25596 28 | 398 | 339 1340.59/1340.99 c 1340s | 18 | 3046810 | 341452 | 25596 28 | 398 | 339 1343.58/1343.90 c 1343s | 18 | 3047929 | 341852 | 25596 28 | 398 | 339 1346.47/1346.80 c 1346s | 18 | 3048893 | 342252 | 25596 28 | 398 | 339 1349.07/1349.45 c 1349s | 18 | 3049735 | 342652 | 25596 28 | 398 | 339 1351.27/1351.64 c 1351s | 18 | 3050915 | 343052 | 25596 28 | 398 | 339 1353.67/1354.01 c 1353s | 18 | 3052269 | 343452 | 25596 28 | 398 | 339 1355.77/1356.11 c 1355s | 18 | 3053724 | 343852 | 25596 28 | 398 | 339 1358.27/1358.62 c 1358s | 18 | 3054428 | 344252 | 25596 28 | 398 | 339 1360.48/1360.81 c 1360s | 18 | 3055713 | 344552 | 25596 29 | 398 | 339 1362.58/1362.91 c 1362s | 18 | 3059696 | 345552 | 25596 29 | 398 | 339 1364.97/1365.35 c 1365s | 18 | 3063424 | 346452 | 25596 29 | 398 | 339 1367.07/1367.43 c 1367s | 18 | 3064602 | 346952 | 25596 29 | 398 | 339 1369.27/1369.69 c 1369s | 18 | 3066938 | 347652 | 25596 29 | 398 | 339 1371.76/1372.15 c 1371s | 18 | 3068304 | 348252 | 25596 29 | 398 | 339 1374.06/1374.42 c 1374s | 18 | 3072156 | 349052 | 25596 29 | 398 | 339 1376.26/1376.65 c 1376s | 18 | 3074357 | 349752 | 25596 29 | 398 | 339 1378.36/1378.77 c 1378s | 18 | 3076409 | 350352 | 25596 29 | 398 | 339 1380.56/1380.98 c 1380s | 18 | 3078690 | 350852 | 25596 29 | 398 | 339 1382.66/1383.03 c 1382s | 18 | 3079603 | 351152 | 25596 29 | 398 | 339 1384.96/1385.33 c 1385s | 18 | 3081968 | 351752 | 25596 29 | 398 | 339 1387.16/1387.55 c 1387s | 18 | 3083259 | 352152 | 25596 29 | 398 | 339 1389.56/1389.96 c 1389s | 18 | 3084208 | 352552 | 25596 29 | 398 | 339 1391.66/1392.07 c 1391s | 18 | 3085265 | 352952 | 25596 29 | 398 | 339 1394.06/1394.40 c 1394s | 18 | 3086159 | 353252 | 25596 29 | 398 | 339 1396.76/1397.17 c 1396s | 18 | 3086998 | 353552 | 25596 29 | 398 | 339 1399.25/1399.68 c 1399s | 18 | 3087387 | 353752 | 25596 29 | 398 | 339 1401.45/1401.81 c 1401s | 18 | 3088545 | 354152 | 25596 29 | 398 | 339 1403.55/1403.99 c 1403s | 18 | 3089660 | 354552 | 25596 29 | 398 | 339 1405.65/1406.03 c 1405s | 18 | 3107961 | 355552 | 25596 30 | 398 | 339 1407.75/1408.12 c 1407s | 18 | 3121307 | 356952 | 25596 30 | 398 | 339 1409.85/1410.24 c 1409s | 18 | 3135048 | 358652 | 25596 30 | 398 | 339 1412.05/1412.42 c 1412s | 18 | 3138540 | 359652 | 25596 30 | 398 | 339 1414.04/1414.43 c 1414s | 18 | 3143067 | 360852 | 25596 30 | 398 | 339 1416.14/1416.57 c 1416s | 18 | 3146833 | 361852 | 25596 30 | 398 | 339 1418.34/1418.75 c 1418s | 18 | 3149089 | 362652 | 25596 30 | 398 | 339 1420.54/1420.90 c 1420s | 18 | 3150762 | 363252 | 25596 30 | 398 | 339 1422.73/1423.19 c 1422s | 18 | 3153256 | 364052 | 25596 30 | 398 | 339 1424.93/1425.33 c 1425s | 18 | 3162659 | 365352 | 25596 30 | 398 | 339 1427.13/1427.51 c 1427s | 18 | 3172381 | 366752 | 25596 30 | 398 | 339 1429.13/1429.55 c 1429s | 18 | 3181380 | 367952 | 25596 30 | 398 | 339 1431.23/1431.62 c 1431s | 18 | 3191160 | 369352 | 25596 31 | 398 | 339 1433.33/1433.73 c 1433s | 18 | 3200494 | 370952 | 25596 31 | 398 | 339 1435.43/1435.87 c 1435s | 18 | 3213168 | 372452 | 25596 31 | 398 | 339 1437.72/1438.12 c 1437s | 18 | 3221945 | 373852 | 25596 31 | 398 | 339 1439.83/1440.23 c 1439s | 18 | 3225047 | 374652 | 25596 31 | 398 | 339 1442.02/1442.43 c 1442s | 18 | 3228794 | 375652 | 25596 31 | 398 | 339 1444.12/1444.59 c 1444s | 18 | 3230713 | 376252 | 25596 31 | 398 | 339 1446.42/1446.81 c 1446s | 18 | 3233809 | 377052 | 25596 31 | 398 | 339 1448.52/1448.92 c 1448s | 18 | 3235719 | 377652 | 25596 31 | 398 | 339 1450.72/1451.15 c 1450s | 18 | 3237071 | 378152 | 25596 31 | 398 | 339 1453.32/1453.79 c 1453s | 18 | 3238240 | 378652 | 25596 31 | 398 | 339 1455.71/1456.18 c 1455s | 18 | 3238999 | 379052 | 25596 31 | 398 | 339 1457.81/1458.28 c 1458s | 18 | 3246188 | 380052 | 25596 31 | 398 | 339 1459.91/1460.36 c 1460s | 18 | 3257668 | 381152 | 25596 32 | 398 | 339 1462.01/1462.41 c 1462s | 18 | 3268195 | 382452 | 25596 32 | 398 | 339 1464.01/1464.49 c 1464s | 18 | 3281108 | 383752 | 25596 32 | 398 | 339 1466.40/1466.80 c 1466s | 18 | 3293320 | 384852 | 25596 32 | 398 | 339 1468.50/1468.98 c 1468s | 18 | 3302438 | 385952 | 25596 32 | 398 | 339 1470.80/1471.21 c 1470s | 18 | 3310139 | 386952 | 25596 32 | 398 | 339 1472.90/1473.35 c 1473s | 18 | 3314852 | 387652 | 25596 32 | 398 | 339 1475.20/1475.62 c 1475s | 18 | 3319493 | 388352 | 25596 32 | 398 | 339 1477.29/1477.76 c 1477s | 18 | 3326999 | 389252 | 25596 32 | 398 | 339 1479.39/1479.86 c 1479s | 18 | 3340112 | 390252 | 25596 33 | 398 | 339 1481.49/1481.95 c 1481s | 18 | 3360921 | 392152 | 25596 33 | 398 | 339 1483.50/1483.97 c 1483s | 18 | 3365804 | 393252 | 25596 33 | 398 | 339 1485.70/1486.11 c 1485s | 18 | 3377677 | 394452 | 25596 33 | 398 | 339 1487.68/1488.15 c 1487s | 18 | 3390957 | 395952 | 25596 33 | 398 | 339 1489.68/1490.15 c 1489s | 18 | 3404797 | 397152 | 25596 33 | 398 | 339 1491.68/1492.16 c 1491s | 18 | 3412771 | 398352 | 25596 33 | 398 | 339 1493.88/1494.36 c 1494s | 18 | 3419070 | 399452 | 25596 33 | 398 | 339 1495.97/1496.44 c 1496s | 18 | 3421400 | 399952 | 25596 33 | 398 | 339 1498.17/1498.61 c 1498s | 18 | 3423418 | 400552 | 25596 33 | 398 | 339 1500.17/1500.63 c 1500s | 18 | 3435576 | 401652 | 25596 34 | 398 | 339 1502.18/1502.69 c 1502s | 18 | 3439184 | 402452 | 25596 34 | 398 | 339 1504.77/1505.22 c 1504s | 18 | 3441235 | 403052 | 25596 34 | 398 | 339 1506.87/1507.32 c 1507s | 18 | 3453425 | 404452 | 25596 34 | 398 | 339 1509.26/1509.78 c 1509s | 18 | 3457959 | 405352 | 25596 34 | 398 | 339 1511.36/1511.87 c 1511s | 18 | 3462649 | 406352 | 25596 34 | 398 | 339 1513.37/1513.87 c 1513s | 18 | 3467621 | 407352 | 25596 34 | 398 | 339 1515.67/1516.15 c 1515s | 18 | 3470432 | 408052 | 25596 34 | 398 | 339 1517.97/1518.48 c 1518s | 18 | 3471906 | 408452 | 25596 34 | 398 | 339 1520.17/1520.60 c 1520s | 18 | 3475091 | 408952 | 25596 34 | 398 | 339 1522.16/1522.62 c 1522s | 18 | 3475895 | 409252 | 25596 34 | 398 | 339 1524.27/1524.74 c 1524s | 18 | 3477630 | 409652 | 25596 34 | 398 | 339 1526.36/1526.83 c 1526s | 18 | 3478711 | 410052 | 25596 34 | 398 | 339 1528.66/1529.14 c 1528s | 18 | 3480322 | 410552 | 25596 34 | 398 | 339 1530.76/1531.25 c 1531s | 18 | 3481309 | 410952 | 25596 34 | 398 | 339 1533.35/1533.82 c 1533s | 18 | 3483085 | 411452 | 25596 34 | 398 | 339 1536.25/1536.71 c 1536s | 18 | 3484319 | 411852 | 25596 34 | 398 | 339 1538.45/1538.95 c 1538s | 18 | 3485168 | 412152 | 25596 34 | 398 | 339 1540.44/1540.96 c 1540s | 18 | 3486383 | 412452 | 25596 34 | 398 | 339 1542.74/1543.28 c 1543s | 18 | 3487626 | 412652 | 25596 34 | 398 | 339 1544.84/1545.34 c 1545s | 18 | 3489217 | 412952 | 25596 35 | 398 | 339 1546.84/1547.34 c 1547s | 18 | 3492097 | 413652 | 25596 35 | 398 | 339 1549.24/1549.74 c 1549s | 18 | 3493610 | 414152 | 25596 35 | 398 | 339 1551.34/1551.88 c 1551s | 18 | 3494558 | 414452 | 25596 35 | 398 | 339 1553.44/1553.97 c 1553s | 18 | 3495812 | 414852 | 25596 35 | 398 | 339 1555.44/1555.99 c 1555s | 18 | 3497442 | 415152 | 25596 35 | 398 | 339 1557.93/1558.49 c 1558s | 18 | 3499119 | 415552 | 25596 35 | 398 | 339 1560.44/1560.95 c 1560s | 18 | 3500183 | 415752 | 25596 35 | 398 | 339 1562.64/1563.20 c 1562s | 18 | 3500588 | 415952 | 25596 35 | 398 | 339 1564.73/1565.24 c 1564s | 18 | 3501045 | 416152 | 25596 35 | 398 | 339 1567.03/1567.55 c 1567s | 18 | 3502144 | 416452 | 25596 35 | 398 | 339 1569.83/1570.30 c 1570s | 18 | 3502982 | 416752 | 25596 35 | 398 | 339 1572.13/1572.68 c 1572s | 18 | 3503498 | 416952 | 25596 35 | 398 | 339 1574.33/1574.82 c 1574s | 18 | 3504587 | 417252 | 25596 35 | 398 | 339 1576.33/1576.87 c 1576s | 18 | 3510808 | 418052 | 25596 35 | 398 | 339 1578.53/1579.07 c 1578s | 18 | 3514305 | 418752 | 25596 35 | 398 | 339 1581.43/1581.98 c 1581s | 18 | 3515852 | 419152 | 25596 35 | 398 | 339 1583.82/1584.40 c 1584s | 18 | 3516258 | 419352 | 25596 35 | 398 | 339 1586.32/1586.83 c 1586s | 18 | 3518649 | 419852 | 25596 35 | 398 | 339 1588.72/1589.20 c 1588s | 18 | 3519687 | 420252 | 25596 35 | 398 | 339 1590.82/1591.39 c 1591s | 18 | 3521307 | 420752 | 25596 35 | 398 | 339 1593.01/1593.57 c 1593s | 18 | 3523081 | 421152 | 25596 35 | 398 | 339 1595.51/1596.02 c 1595s | 18 | 3523955 | 421452 | 25596 35 | 398 | 339 1597.91/1598.44 c 1598s | 18 | 3525014 | 421752 | 25596 35 | 398 | 339 1600.01/1600.59 c 1600s | 18 | 3525905 | 422152 | 25596 35 | 398 | 339 1602.41/1602.97 c 1602s | 18 | 3526769 | 422452 | 25596 35 | 398 | 339 1605.11/1605.64 c 1605s | 18 | 3527426 | 422752 | 25596 35 | 398 | 339 1607.91/1608.44 c 1608s | 18 | 3528488 | 423052 | 25596 35 | 398 | 339 1610.02/1610.52 c 1610s | 18 | 3532739 | 423652 | 25596 36 | 398 | 339 1612.12/1612.63 c 1612s | 18 | 3539040 | 425052 | 25596 36 | 398 | 339 1614.11/1614.68 c 1614s | 18 | 3543489 | 426052 | 25596 36 | 398 | 339 1616.21/1616.74 c 1616s | 18 | 3548216 | 426852 | 25596 36 | 398 | 339 1618.31/1618.81 c 1618s | 18 | 3557174 | 427952 | 25596 36 | 398 | 339 1620.61/1621.12 c 1620s | 18 | 3561808 | 428952 | 25596 36 | 398 | 339 1622.71/1623.23 c 1622s | 18 | 3563129 | 429452 | 25596 36 | 398 | 339 1625.01/1625.54 c 1625s | 18 | 3565995 | 430152 | 25596 36 | 398 | 339 1627.01/1627.57 c 1627s | 18 | 3567507 | 430652 | 25596 36 | 398 | 339 1629.21/1629.79 c 1629s | 18 | 3570638 | 431352 | 25596 36 | 398 | 339 1631.31/1631.89 c 1631s | 18 | 3572873 | 431852 | 25596 36 | 398 | 339 1633.70/1634.20 c 1633s | 18 | 3574020 | 432252 | 25596 36 | 398 | 339 1635.80/1636.32 c 1636s | 18 | 3576982 | 432852 | 25596 36 | 398 | 339 1637.80/1638.37 c 1638s | 18 | 3577875 | 433152 | 25596 36 | 398 | 339 1640.60/1641.17 c 1640s | 18 | 3578645 | 433452 | 25596 36 | 398 | 339 1643.10/1643.60 c 1643s | 18 | 3579334 | 433752 | 25596 36 | 398 | 339 1645.21/1645.77 c 1645s | 18 | 3583506 | 434352 | 25596 37 | 398 | 339 1647.31/1647.86 c 1647s | 18 | 3589844 | 435352 | 25596 37 | 398 | 339 1649.40/1650.00 c 1649s | 18 | 3595294 | 436352 | 25596 37 | 398 | 339 1651.60/1652.11 c 1651s | 18 | 3597401 | 437052 | 25596 37 | 398 | 339 1653.91/1654.48 c 1654s | 18 | 3598770 | 437552 | 25596 37 | 398 | 339 1655.91/1656.49 c 1656s | 18 | 3603246 | 438352 | 25596 37 | 398 | 339 1658.41/1658.92 c 1658s | 18 | 3605750 | 438952 | 25596 37 | 398 | 339 1660.70/1661.20 c 1660s | 18 | 3610056 | 439852 | 25596 37 | 398 | 339 1662.90/1663.48 c 1663s | 18 | 3612318 | 440452 | 25596 37 | 398 | 339 1665.01/1665.55 c 1665s | 18 | 3614190 | 440952 | 25596 37 | 398 | 339 1667.40/1667.95 c 1667s | 18 | 3615434 | 441352 | 28156 37 | 398 | 339 1669.41/1669.96 c 1669s | 18 | 3616780 | 441752 | 28156 37 | 398 | 339 1671.80/1672.38 c 1672s | 18 | 3617998 | 442152 | 28156 37 | 398 | 339 1674.00/1674.52 c 1674s | 18 | 3618564 | 442452 | 28156 37 | 398 | 339 1676.40/1676.94 c 1676s | 18 | 3619640 | 442752 | 28156 37 | 398 | 339 1678.60/1679.14 c 1678s | 18 | 3622114 | 443352 | 28156 37 | 398 | 339 1680.70/1681.22 c 1680s | 18 | 3624097 | 443852 | 28156 37 | 398 | 339 1682.70/1683.28 c 1683s | 18 | 3624778 | 444152 | 28156 37 | 398 | 339 1683.99/1684.53 c 1684s | 19 | 3626025 | 444482 | 28156 37 | 398 | 339 1685.99/1686.58 c 1686s | 19 | 3628668 | 445082 | 28156 38 | 398 | 339 1688.19/1688.74 c 1688s | 19 | 3632252 | 446082 | 28156 38 | 398 | 339 1690.39/1690.94 c 1690s | 19 | 3633499 | 446682 | 28156 38 | 398 | 339 1692.40/1692.99 c 1692s | 19 | 3635036 | 447182 | 28156 38 | 398 | 339 1694.70/1695.27 c 1695s | 19 | 3636290 | 447682 | 28156 38 | 398 | 339 1696.80/1697.31 c 1697s | 19 | 3638133 | 448282 | 28156 38 | 398 | 339 1698.89/1699.41 c 1699s | 19 | 3664952 | 449582 | 28156 38 | 398 | 339 1700.89/1701.49 c 1701s | 19 | 3681349 | 450682 | 28156 38 | 399 | 340 1702.99/1703.50 c 1703s | 19 | 3692874 | 451982 | 28156 38 | 399 | 340 1705.39/1705.95 c 1705s | 19 | 3706656 | 453182 | 28156 38 | 399 | 340 1707.80/1708.39 c 1708s | 19 | 3709126 | 453882 | 28156 38 | 399 | 340 1710.00/1710.50 c 1710s | 19 | 3721349 | 454782 | 28156 38 | 399 | 340 1712.20/1712.74 c 1712s | 19 | 3723205 | 455482 | 28156 38 | 399 | 340 1714.19/1714.75 c 1714s | 19 | 3729911 | 456282 | 28156 39 | 399 | 340 1716.29/1716.80 c 1716s | 19 | 3737075 | 457682 | 28156 39 | 399 | 340 1718.29/1718.84 c 1718s | 19 | 3759837 | 458982 | 28156 39 | 399 | 340 1720.29/1720.88 c 1720s | 19 | 3771935 | 460282 | 28156 39 | 399 | 340 1722.39/1722.94 c 1722s | 19 | 3790532 | 461982 | 28156 39 | 399 | 340 1724.59/1725.14 c 1724s | 19 | 3801979 | 463282 | 28156 39 | 399 | 340 1726.79/1727.37 c 1727s | 19 | 3807478 | 464182 | 28156 39 | 399 | 340 1728.99/1729.59 c 1729s | 19 | 3826043 | 465482 | 28156 39 | 399 | 340 1731.19/1731.70 c 1731s | 19 | 3828712 | 466082 | 28156 39 | 399 | 340 1733.19/1733.76 c 1733s | 19 | 3830376 | 466582 | 28156 39 | 399 | 340 1735.29/1735.88 c 1735s | 19 | 3831810 | 466982 | 28156 39 | 399 | 340 1737.39/1737.99 c 1737s | 19 | 3833139 | 467482 | 28156 39 | 399 | 340 1739.69/1740.29 c 1740s | 19 | 3836221 | 468082 | 28156 39 | 399 | 340 1741.89/1742.42 c 1742s | 19 | 3837748 | 468582 | 28156 39 | 399 | 340 1744.19/1744.75 c 1744s | 19 | 3839372 | 469082 | 28156 39 | 399 | 340 1746.18/1746.77 c 1746s | 19 | 3846804 | 469482 | 28156 40 | 399 | 340 1748.28/1748.80 c 1748s | 19 | 3861326 | 470782 | 28156 40 | 400 | 341 1750.38/1750.91 c 1750s | 19 | 3864892 | 471682 | 28156 40 | 400 | 341 1752.69/1753.20 c 1752s | 19 | 3867961 | 472382 | 28156 40 | 400 | 341 1754.79/1755.31 c 1755s | 19 | 3869273 | 472882 | 28156 40 | 400 | 341 1756.89/1757.47 c 1757s | 19 | 3870899 | 473382 | 28156 40 | 400 | 341 1759.19/1759.76 c 1759s | 19 | 3873243 | 473882 | 28156 40 | 400 | 341 1761.19/1761.76 c 1761s | 19 | 3891469 | 475082 | 28156 40 | 400 | 341 1763.29/1763.87 c 1763s | 19 | 3893945 | 475882 | 28156 40 | 400 | 341 1765.78/1766.32 c 1766s | 19 | 3895734 | 476482 | 28156 40 | 400 | 341 1767.78/1768.40 c 1768s | 19 | 3914940 | 477582 | 28156 40 | 400 | 341 1769.98/1770.52 c 1770s | 19 | 3932929 | 478782 | 28156 41 | 400 | 341 1772.08/1772.68 c 1772s | 19 | 3938583 | 480182 | 28156 41 | 400 | 341 1774.18/1774.79 c 1774s | 19 | 3942806 | 481282 | 28156 41 | 400 | 341 1776.48/1777.01 c 1776s | 19 | 3945868 | 482082 | 28156 41 | 400 | 341 1778.78/1779.34 c 1779s | 19 | 3949558 | 482982 | 28156 41 | 400 | 341 1780.78/1781.35 c 1781s | 19 | 3951238 | 483582 | 28156 41 | 400 | 341 1782.98/1783.56 c 1783s | 19 | 3952865 | 484182 | 28156 41 | 400 | 341 1784.98/1785.56 c 1785s | 19 | 3955052 | 484882 | 28156 41 | 400 | 341 1787.18/1787.79 c 1787s | 19 | 3957458 | 485382 | 28156 41 | 400 | 341 1789.47/1790.01 c 1789s | 19 | 3958568 | 485882 | 28156 41 | 400 | 341 1791.57/1792.19 c 1791s | 19 | 3959454 | 486282 | 28156 41 | 400 | 341 1793.97/1794.58 c 1794s | 19 | 3972341 | 487482 | 28156 42 | 400 | 341 1796.07/1796.68 c 1796s | 19 | 4002221 | 489182 | 28156 42 | 400 | 341 1798.17/1798.72 c 1798s | 19 | 4023638 | 490682 | 28156 42 | 400 | 341
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-4078921-1465283680/watcher-4078921-1465283680 -o /tmp/evaluation-result-4078921-1465283680/solver-4078921-1465283680 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078921-1465283680.opb pid=13238 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.30 2.30 2.21 3/179 13241 /proc/meminfo: memFree=29203068/32872528 swapFree=15272/1656604 [pid=13241] ppid=13238 vsize=781756 CPUtime=0 cores=1,3,5,7 /proc/13241/stat : 13241 (toysat) R 13238 13241 9894 0 -1 4202496 2925 0 0 0 0 0 0 0 20 0 4 0 110301314 800518144 2775 33554432000 4194304 16246674 140734238276192 140734238275616 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13241/statm: 195951 2785 441 2943 0 192845 0 [pid=13241/tid=13242] ppid=13238 vsize=799164 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110301314 818343936 2844 33554432000 4194304 16246674 140734238276192 139795987672304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13241/tid=13243] ppid=13238 vsize=803260 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110301314 822538240 2861 33554432000 4194304 16246674 140734238276192 139795977182448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13241/tid=13244] ppid=13238 vsize=807356 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110301314 826732544 2877 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100179 s] /proc/loadavg: 2.30 2.30 2.21 3/179 13241 /proc/meminfo: memFree=29203068/32872528 swapFree=15272/1656604 [pid=13241] ppid=13238 vsize=1301060 CPUtime=0.08 cores=1,3,5,7 /proc/13241/stat : 13241 (toysat) R 13238 13241 9894 0 -1 4202496 28746 0 0 0 5 3 0 0 20 0 4 0 110301314 1332285440 28535 33554432000 4194304 16246674 140734238276192 140734238275504 7371468 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13241/statm: 325265 28553 802 2943 0 322159 0 [pid=13241/tid=13242] ppid=13238 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110301314 1332285440 28565 33554432000 4194304 16246674 140734238276192 139795987672304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13241/tid=13243] ppid=13238 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110301314 1332285440 28576 33554432000 4194304 16246674 140734238276192 139795977182448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13241/tid=13244] ppid=13238 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110301314 1332285440 28588 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1301060 [startup+0.200549 s] /proc/loadavg: 2.30 2.30 2.21 3/179 13241 /proc/meminfo: memFree=29203068/32872528 swapFree=15272/1656604 [pid=13241] ppid=13238 vsize=1302084 CPUtime=0.18 cores=1,3,5,7 /proc/13241/stat : 13241 (toysat) R 13238 13241 9894 0 -1 4202496 48205 0 0 0 13 5 0 0 20 0 4 0 110301314 1333334016 47993 33554432000 4194304 16246674 140734238276192 140734238275504 13930245 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13241/statm: 325521 47993 834 2943 0 322415 0 [pid=13241/tid=13242] ppid=13238 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110301314 1333334016 47993 33554432000 4194304 16246674 140734238276192 139795987672304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13241/tid=13243] ppid=13238 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110301314 1333334016 47993 33554432000 4194304 16246674 140734238276192 139795977182448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13241/tid=13244] ppid=13238 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110301314 1333334016 47993 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1302084 [startup+0.300507 s] /proc/loadavg: 2.30 2.30 2.21 3/179 13241 /proc/meminfo: memFree=29203068/32872528 swapFree=15272/1656604 [pid=13241] ppid=13238 vsize=1302084 CPUtime=0.29 cores=1,3,5,7 /proc/13241/stat : 13241 (toysat) R 13238 13241 9894 0 -1 4202496 58998 0 0 0 22 7 0 0 20 0 4 0 110301314 1333334016 58787 33554432000 4194304 16246674 140734238276192 140734238275504 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13241/statm: 325521 58794 877 2943 0 322415 0 [pid=13241/tid=13242] ppid=13238 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110301314 1333334016 58800 33554432000 4194304 16246674 140734238276192 139795987672304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13241/tid=13243] ppid=13238 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110301314 1333334016 58805 33554432000 4194304 16246674 140734238276192 139795977182448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13241/tid=13244] ppid=13238 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110301314 1333334016 58811 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1302084 [startup+0.700372 s] /proc/loadavg: 2.30 2.30 2.21 3/179 13241 /proc/meminfo: memFree=29203068/32872528 swapFree=15272/1656604 [pid=13241] ppid=13238 vsize=1302084 CPUtime=0.68 cores=1,3,5,7 /proc/13241/stat : 13241 (toysat) R 13238 13241 9894 0 -1 4202496 142942 0 0 0 48 20 0 0 20 0 4 0 110301314 1333334016 142730 33554432000 4194304 16246674 140734238276192 140734238259192 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13241/statm: 325521 142734 877 2943 0 322415 0 [pid=13241/tid=13242] ppid=13238 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110301314 1333334016 142737 33554432000 4194304 16246674 140734238276192 139795987672304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13241/tid=13243] ppid=13238 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110301314 1333334016 142738 33554432000 4194304 16246674 140734238276192 139795977182448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13241/tid=13244] ppid=13238 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110301314 1333334016 142741 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1302084 [startup+1.50039 s] /proc/loadavg: 2.30 2.30 2.21 3/183 13245 /proc/meminfo: memFree=28285096/32872528 swapFree=15272/1656604 [pid=13241] ppid=13238 vsize=1311300 CPUtime=1.49 cores=1,3,5,7 /proc/13241/stat : 13241 (toysat) R 13238 13241 9894 0 -1 4202496 268872 0 0 0 113 36 0 0 20 0 4 0 110301314 1342771200 268660 33554432000 4194304 16246674 140734238276192 140734238275504 12483303 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13241/statm: 327825 268660 883 2943 0 324719 0 [pid=13241/tid=13242] ppid=13238 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110301314 1342771200 268660 33554432000 4194304 16246674 140734238276192 139795987672304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13241/tid=13243] ppid=13238 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110301314 1342771200 268660 33554432000 4194304 16246674 140734238276192 139795977182448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13241/tid=13244] ppid=13238 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110301314 1342771200 268660 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1311300 [startup+3.10039 s] /proc/loadavg: 2.30 2.30 2.21 3/183 13245 /proc/meminfo: memFree=28128608/32872528 swapFree=15272/1656604 [pid=13241] ppid=13238 vsize=1311300 CPUtime=3.09 cores=1,3,5,7 /proc/13241/stat : 13241 (toysat) R 13238 13241 9894 0 -1 4202496 269008 0 0 0 273 36 0 0 20 0 4 0 110301314 1342771200 268796 33554432000 4194304 16246674 140734238276192 140734238258048 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13241/statm: 327825 268796 883 2943 0 324719 0 [pid=13241/tid=13242] ppid=13238 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110301314 1342771200 268796 33554432000 4194304 16246674 140734238276192 139795987672304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13241/tid=13243] ppid=13238 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110301314 1342771200 268796 33554432000 4194304 16246674 140734238276192 139795977182448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13241/tid=13244] ppid=13238 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110301314 1342771200 268796 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1311300 [startup+6.30039 s] /proc/loadavg: 2.35 2.31 2.22 4/183 13245 /proc/meminfo: memFree=28128172/32872528 swapFree=15272/1656604 [pid=13241] ppid=13238 vsize=1311300 CPUtime=6.29 cores=1,3,5,7 /proc/13241/stat : 13241 (toysat) R 13238 13241 9894 0 -1 4202496 269008 0 0 0 593 36 0 0 20 0 4 0 110301314 1342771200 268796 33554432000 4194304 16246674 140734238276192 140734238258112 13950222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13241/statm: 327825 268796 883 2943 0 324719 0 [pid=13241/tid=13242] ppid=13238 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110301314 1342771200 268796 33554432000 4194304 16246674 140734238276192 139795987672304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13241/tid=13243] ppid=13238 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110301314 1342771200 268796 33554432000 4194304 16246674 140734238276192 139795977182448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13241/tid=13244] ppid=13238 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110301314 1342771200 268796 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1311300 [startup+12.7004 s] /proc/loadavg: 2.40 2.32 2.22 3/183 13245 /proc/meminfo: memFree=28128212/32872528 swapFree=15272/1656604 [pid=13241] ppid=13238 vsize=1311300 CPUtime=12.69 cores=1,3,5,7 /proc/13241/stat : 13241 (toysat) R 13238 13241 9894 0 -1 4202496 269011 0 0 0 1233 36 0 0 20 0 4 0 110301314 1342771200 268799 33554432000 4194304 16246674 140734238276192 140734238258112 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13241/statm: 327825 268799 886 2943 0 324719 0 [pid=13241/tid=13242] ppid=13238 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110301314 1342771200 268799 33554432000 4194304 16246674 140734238276192 139795987672304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13241/tid=13243] ppid=13238 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110301314 1342771200 268799 33554432000 4194304 16246674 140734238276192 139795977182448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13241/tid=13244] ppid=13238 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110301314 1342771200 268799 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1311300 [startup+25.5005 s] /proc/loadavg: 2.39 2.32 2.22 3/183 13245 /proc/meminfo: memFree=28128848/32872528 swapFree=15272/1656604 [pid=13241] ppid=13238 vsize=1311300 CPUtime=25.48 cores=1,3,5,7 /proc/13241/stat : 13241 (toysat) R 13238 13241 9894 0 -1 4202496 269012 0 0 0 2512 36 0 0 20 0 4 0 110301314 1342771200 268800 33554432000 4194304 16246674 140734238276192 140734238258112 12483624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13241/statm: 327825 268800 887 2943 0 324719 0 [pid=13241/tid=13242] ppid=13238 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110301314 1342771200 268800 33554432000 4194304 16246674 140734238276192 139795987672304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13241/tid=13243] ppid=13238 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110301314 1342771200 268800 33554432000 4194304 16246674 140734238276192 139795977182448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13241/tid=13244] ppid=13238 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110301314 1342771200 268800 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1311300 [startup+51.1005 s] /proc/loadavg: 2.34 2.31 2.22 4/183 13245 /proc/meminfo: memFree=28129168/32872528 swapFree=15272/1656604 [pid=13241] ppid=13238 vsize=1311300 CPUtime=51.08 cores=1,3,5,7 /proc/13241/stat : 13241 (toysat) R 13238 13241 9894 0 -1 4202496 269012 0 0 0 5072 36 0 0 20 0 4 0 110301314 1342771200 268800 33554432000 4194304 16246674 140734238276192 140734238275368 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13241/statm: 327825 268800 887 2943 0 324719 0 [pid=13241/tid=13242] ppid=13238 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110301314 1342771200 268800 33554432000 4194304 16246674 140734238276192 139795987672304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13241/tid=13243] ppid=13238 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110301314 1342771200 268800 33554432000 4194304 16246674 140734238276192 139795977182448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13241/tid=13244] ppid=13238 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110301314 1342771200 268800 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1311300 [startup+102.301 s] /proc/loadavg: 2.38 2.32 2.23 3/183 13246 /proc/meminfo: memFree=28128844/32872528 swapFree=15272/1656604 [pid=13241] ppid=13238 vsize=1311300 CPUtime=102.28 cores=1,3,5,7 /proc/13241/stat : 13241 (toysat) R 13238 13241 9894 0 -1 4202496 269012 0 0 0 10191 37 0 0 20 0 4 0 110301314 1342771200 268800 33554432000 4194304 16246674 140734238276192 140734238258112 5823512 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13241/statm: 327825 268800 887 2943 0 324719 0 [pid=13241/tid=13242] ppid=13238 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110301314 1342771200 268800 33554432000 4194304 16246674 140734238276192 139795987672304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13241/tid=13243] ppid=13238 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110301314 1342771200 268800 33554432000 4194304 16246674 140734238276192 139795977182448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13241/tid=13244] ppid=13238 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110301314 1342771200 268800 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1311300 ################ # More data... # ################ /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 1316420 [startup+1302.3 s] /proc/loadavg: 2.29 2.23 2.23 3/183 13324 /proc/meminfo: memFree=28122344/32872528 swapFree=15272/1656604 [pid=13241] ppid=13238 vsize=1316420 CPUtime=1302 cores=1,3,5,7 /proc/13241/stat : 13241 (toysat) R 13238 13241 9894 0 -1 4202496 270445 0 0 0 130132 68 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 140734238258112 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13241/statm: 329105 270336 887 2943 0 325999 0 [pid=13241/tid=13242] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795987672304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13241/tid=13243] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795977182448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13241/tid=13244] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 1316420 [startup+1362.3 s] /proc/loadavg: 2.27 2.23 2.22 4/183 13326 /proc/meminfo: memFree=28122336/32872528 swapFree=15272/1656604 [pid=13241] ppid=13238 vsize=1316420 CPUtime=1361.97 cores=1,3,5,7 /proc/13241/stat : 13241 (toysat) R 13238 13241 9894 0 -1 4202496 270469 0 0 0 136127 70 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 140734238258112 5717462 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13241/statm: 329105 270336 887 2943 0 325999 0 [pid=13241/tid=13242] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795987672304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13241/tid=13243] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795977182448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13241/tid=13244] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1316420 [startup+1422.3 s] /proc/loadavg: 2.23 2.22 2.22 3/183 13327 /proc/meminfo: memFree=28122200/32872528 swapFree=15272/1656604 [pid=13241] ppid=13238 vsize=1316420 CPUtime=1421.94 cores=1,3,5,7 /proc/13241/stat : 13241 (toysat) R 13238 13241 9894 0 -1 4202496 270500 0 0 0 142123 71 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 140734238275368 5523300 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13241/statm: 329105 270336 887 2943 0 325999 0 [pid=13241/tid=13242] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795987672304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13241/tid=13243] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795977182448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13241/tid=13244] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1316420 [startup+1482.3 s] /proc/loadavg: 2.22 2.22 2.22 3/182 13328 /proc/meminfo: memFree=28122740/32872528 swapFree=15272/1656604 [pid=13241] ppid=13238 vsize=1316420 CPUtime=1481.89 cores=1,3,5,7 /proc/13241/stat : 13241 (toysat) R 13238 13241 9894 0 -1 4202496 270547 0 0 0 148117 72 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 140734238258112 5674844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13241/statm: 329105 270336 887 2943 0 325999 0 [pid=13241/tid=13242] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795987672304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13241/tid=13243] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795977182448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13241/tid=13244] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1316420 [startup+1542.31 s] /proc/loadavg: 2.31 2.25 2.23 3/184 13333 /proc/meminfo: memFree=28121256/32872528 swapFree=15272/1656604 [pid=13241] ppid=13238 vsize=1316420 CPUtime=1541.85 cores=1,3,5,7 /proc/13241/stat : 13241 (toysat) R 13238 13241 9894 0 -1 4202496 270594 0 0 0 154112 73 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 140734238275368 5546868 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13241/statm: 329105 270336 887 2943 0 325999 0 [pid=13241/tid=13242] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795987672304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13241/tid=13243] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795977182448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13241/tid=13244] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1316420 [startup+1602.3 s] /proc/loadavg: 2.33 2.27 2.23 3/183 13334 /proc/meminfo: memFree=28121424/32872528 swapFree=15272/1656604 [pid=13241] ppid=13238 vsize=1316420 CPUtime=1601.81 cores=1,3,5,7 /proc/13241/stat : 13241 (toysat) R 13238 13241 9894 0 -1 4202496 270637 0 0 0 160106 75 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 140734238275368 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13241/statm: 329105 270336 887 2943 0 325999 0 [pid=13241/tid=13242] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795987672304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13241/tid=13243] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795977182448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13241/tid=13244] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1316420 [startup+1662.3 s] /proc/loadavg: 2.22 2.25 2.22 3/183 13336 /proc/meminfo: memFree=28121448/32872528 swapFree=15272/1656604 [pid=13241] ppid=13238 vsize=1316420 CPUtime=1661.8 cores=1,3,5,7 /proc/13241/stat : 13241 (toysat) R 13238 13241 9894 0 -1 4202496 270637 0 0 0 166103 77 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 140734238275368 5545796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13241/statm: 329105 270336 887 2943 0 325999 0 [pid=13241/tid=13242] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795987672304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13241/tid=13243] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795977182448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13241/tid=13244] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1316420 [startup+1722.3 s] /proc/loadavg: 2.29 2.26 2.23 4/183 13337 /proc/meminfo: memFree=28120612/32872528 swapFree=15272/1656604 [pid=13241] ppid=13238 vsize=1316420 CPUtime=1721.79 cores=1,3,5,7 /proc/13241/stat : 13241 (toysat) R 13238 13241 9894 0 -1 4202496 270637 0 0 0 172101 78 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 140734238259192 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13241/statm: 329105 270336 887 2943 0 325999 0 [pid=13241/tid=13242] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795987672304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13241/tid=13243] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795977182448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13241/tid=13244] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1316420 [startup+1782.3 s] /proc/loadavg: 2.32 2.27 2.23 3/183 13338 /proc/meminfo: memFree=28120520/32872528 swapFree=15272/1656604 [pid=13241] ppid=13238 vsize=1316420 CPUtime=1781.78 cores=1,3,5,7 /proc/13241/stat : 13241 (toysat) R 13238 13241 9894 0 -1 4202496 270637 0 0 0 178099 79 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 140734238275368 5722908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13241/statm: 329105 270336 887 2943 0 325999 0 [pid=13241/tid=13242] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795987672304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13241/tid=13243] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795977182448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13241/tid=13244] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1316420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.23 2.25 2.22 3/183 13339 /proc/meminfo: memFree=28120228/32872528 swapFree=15272/1656604 [pid=13241] ppid=13238 vsize=1316420 CPUtime=1800.07 cores=1,3,5,7 /proc/13241/stat : 13241 (toysat) R 13238 13241 9894 0 -1 4202496 270637 0 0 0 179928 79 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 140734238275368 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13241/statm: 329105 270336 887 2943 0 325999 0 [pid=13241/tid=13242] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13242/stat : 13242 (toysat) S 13238 13241 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795987672304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13241/tid=13243] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13243/stat : 13243 (toysat) S 13238 13241 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795977182448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13241/tid=13244] ppid=13238 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13241/task/13244/stat : 13244 (toysat) S 13238 13241 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110301314 1348014080 270336 33554432000 4194304 16246674 140734238276192 139795966708912 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1316420 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 13241 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.09 CPU user time (s): 1799.29 CPU system time (s): 0.799878 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (KiB): 1316420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.29 system time used= 0.799878 maximum resident set size= 1081344 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270637 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= 360 involuntary context switches= 1944 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.47532 second user time and 7.05393 second system time The end
Begin job on node136 at 2016-06-07 09:14:40 IDJOB=4078921 IDBENCH=90133 IDSOLVER=2542 FILE ID=node136/4078921-1465283680 RUNJOBID= node136-1465261284-9911 PBS_JOBID= 19843291 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K100.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078921-1465283680/watcher-4078921-1465283680 -o /tmp/evaluation-result-4078921-1465283680/solver-4078921-1465283680 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078921-1465283680.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 96708928b3148fdbe0ae701534d6c3d7 RANDOM SEED=1085544701 node136.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.959 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.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.959 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.959 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.959 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.959 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.959 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.59 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.959 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.959 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: 29203612 kB Buffers: 50328 kB Cached: 142084 kB SwapCached: 768 kB Active: 1157324 kB Inactive: 120880 kB Active(anon): 1083964 kB Inactive(anon): 3540 kB Active(file): 73360 kB Inactive(file): 117340 kB Unevictable: 1656604 kB Mlocked: 15272 kB SwapTotal: 67108856 kB SwapFree: 67099384 kB Dirty: 16752 kB Writeback: 0 kB AnonPages: 2740828 kB Mapped: 10796 kB Shmem: 0 kB Slab: 597868 kB SReclaimable: 42012 kB SUnreclaim: 555856 kB KernelStack: 1488 kB PageTables: 9716 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2883408 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2721792 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= 71704 MiB End job on node136 at 2016-06-07 09:44:41