| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.11 | 1800.61 |
| Name | /DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K87.opb |
| MD5SUM | 800363f05bcd3a7fdae42567bbf8c0cf |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5916 |
| Total number of constraints | 6092 |
| Number of constraints which are clauses | 6005 |
| Number of constraints which are cardinality constraints (but not clauses) | 87 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 87 |
| 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 | 88 |
| 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-07T08:44:39+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-4078938-1465281879.opb"] 0.00/0.01 c use --random-gen="111108898 1466621828 2932074803 1555818441 1729126419 519711310 4203257621 3874099081 225453104 574810416 3066621247 3981611253 523144207 1377444969 1883914802 1293137703 2907884873 3728315106 3190894895 3083837235 502031901 50817972 3752027832 3186786938 1402705201 1417807550 651150793 192033960 1444846658 4037154234 1777679922 3753668887 3238033239 827252724 1636037116 2961339807 1016998 571835665 2130368452 1832383110 1012223303 2692755444 1674828835 2743475798 188007545 1946993727 2966749522 713397308 2636256034 309084705 3971160489 3627998513 746638693 335655501 1495568045 1505741117 882471906 4284257937 4053536137 761288002 3795106163 227297256 2328135105 3379385986 2661805627 4248073120 1393090480 3475834053 1668304304 3202106214 1945834046 4288063686 3678730292 2307778499 4116840798 3771930333 2993336405 486760364 4206577349 1611688349 1089994401 1199862150 4136344436 3982973471 3893266274 3508991824 3581193730 4254484187 560966816 565065871 1524614660 1170844042 1080371729 898490886 1276533129 1225003204 3336746819 1895422527 34822245 2954006321 2087776928 3501551454 3763861796 551360609 3569437317 2228099796 3113673015 673556504 3606114072 1713587673 2857463384 803289140 867189906 2007232611 3809063070 879781229 645963935 280796944 2628515963 3730944669 1828211960 494361762 3699732275 1750328025 3838574858 3445507350 2238637699 4150785886 66006587 3671731585 18860789 2618915086 4068114141 2643197440 2547596861 3254637670 1010233327 3257432838 65519215 647409639 2378243385 2079608139 4114277842 631574048 3402732796 1776943604 3514585590 2025518909 4271184235 1888434052 996963987 3385822526 3214672800 2269378933 3659303974 2720766576 629869070 3078298623 3399116045 2136947161 1399607590 3330241035 165562004 3354714536 4010270654 1647318553 283617526 930005259 3559093183 1619560505 622610726 3126887386 4143419151 2275770132 686429834 4005337925 1767035450 3304546542 1204720805 3655215544 543069248 2123363858 2240835869 3660535248 2374153564 3650026731 1396767066 3169095869 3446954885 1108668918 364469689 1286909811 365909722 1825539128 2979312821 2531218813 4208410985 2206118479 2428884420 3887428751 2704407441 3748906151 4262755457 1105870514 2647536810 2153806250 116356627 480214144 830261979 2617218606 4095434023 2651062942 4092360090 3380976615 4046636068 3277248459 859554211 1447356334 3114591624 1845249011 448522252 1926326862 2031201691 3824192120 3456066105 3944314335 537461841 3312879252 1331927179 481974107 509037841 595632908 802021122 670813374 498585557 1671040417 2421887790 2730653828 136423092 4101351120 1129017814 4013428176 4097544191 37460451 1766137344 2167541289 2490868649 3193023367 3377846746 2285112381 4211078741 131756860 1469568558 2488296804 446156137 3372941342 255 362436" option to reproduce the execution 0.08/0.10 c #vars 5916 0.08/0.10 c #constraints 6092 0.18/0.21 c Solving starts ... 0.18/0.21 c ============================[ Search Statistics ]============================ 0.18/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.21 c | | | | Limit GC | Var | Constra 0.18/0.21 c ============================================================================= 0.18/0.22 c 0.0s | 0 | 0 | 0 | 4002 0 | 362 | 0 0.29/0.33 c 0.1s | 1 | 3079 | 100 | 4002 0 | 363 | 304 0.49/0.57 c 0.4s | 2 | 7426 | 250 | 4403 0 | 364 | 305 0.78/0.83 c 0.6s | 3 | 8972 | 475 | 4844 0 | 364 | 305 1.20/1.29 c 1.1s | 4 | 14824 | 813 | 5329 0 | 366 | 307 1.78/1.83 c 1.6s | 5 | 23236 | 1320 | 5862 0 | 369 | 310 2.48/2.54 c 2.3s | 6 | 37479 | 2081 | 7094 0 | 370 | 311 3.88/3.96 c 3.7s | 7 | 59580 | 3223 | 7804 0 | 373 | 314 5.88/5.97 c 5.8s | 8 | 87060 | 4936 | 8585 0 | 374 | 315 7.88/7.98 c 7.8s | 8 | 107341 | 6536 | 8585 0 | 374 | 315 9.68/9.76 c 9.5s | 9 | 113952 | 7506 | 9444 0 | 375 | 316 11.68/11.78 c 11.6s | 9 | 126814 | 8906 | 9444 0 | 377 | 318 13.88/13.92 c 13.7s | 9 | 132163 | 9806 | 9444 0 | 377 | 318 15.88/15.98 c 15.8s | 9 | 142070 | 10706 | 9444 1 | 378 | 319 16.78/16.83 c 16.6s | 10 | 152258 | 11361 | 10389 1 | 378 | 319 18.79/18.89 c 18.7s | 10 | 171841 | 13061 | 10389 1 | 378 | 319 20.89/20.92 c 20.7s | 10 | 188400 | 14661 | 10389 1 | 378 | 319 22.98/23.01 c 22.8s | 10 | 195893 | 16161 | 10389 1 | 378 | 319 24.29/24.32 c 24.1s | 11 | 200845 | 17144 | 11428 1 | 378 | 319 26.49/26.51 c 26.3s | 11 | 227742 | 18644 | 11428 2 | 379 | 320 28.60/28.67 c 28.5s | 11 | 247920 | 20244 | 11428 2 | 380 | 321 30.69/30.75 c 30.5s | 11 | 260015 | 21444 | 11428 2 | 380 | 321 32.89/32.97 c 32.8s | 11 | 267913 | 22644 | 11428 2 | 380 | 321 34.99/35.06 c 34.8s | 11 | 285434 | 24044 | 11428 2 | 380 | 321 36.99/37.08 c 36.9s | 11 | 300674 | 25144 | 11428 3 | 382 | 323 38.09/38.17 c 38.0s | 12 | 306261 | 25819 | 12571 3 | 382 | 323 40.18/40.24 c 40.0s | 12 | 314127 | 26919 | 12571 3 | 382 | 323 42.28/42.39 c 42.2s | 12 | 333429 | 28419 | 12571 3 | 383 | 324 44.48/44.53 c 44.3s | 12 | 350158 | 29819 | 12571 3 | 383 | 324 46.48/46.57 c 46.4s | 12 | 354884 | 30619 | 12571 3 | 383 | 324 48.58/48.62 c 48.4s | 12 | 368427 | 32319 | 12571 3 | 383 | 324 50.69/50.74 c 50.5s | 12 | 378648 | 33619 | 12571 4 | 383 | 324 52.79/52.82 c 52.6s | 12 | 389805 | 34819 | 12571 4 | 383 | 324 55.18/55.22 c 55.0s | 12 | 392537 | 35519 | 12571 4 | 383 | 324 57.38/57.43 c 57.2s | 12 | 398796 | 36719 | 12571 4 | 383 | 324 59.39/59.50 c 59.3s | 12 | 409737 | 37919 | 12571 4 | 383 | 324 60.88/60.93 c 60.7s | 13 | 422347 | 38832 | 13829 4 | 383 | 324 62.88/62.95 c 62.7s | 13 | 441205 | 39832 | 13829 5 | 385 | 326 64.89/64.99 c 64.8s | 13 | 462628 | 41232 | 13829 5 | 386 | 327 66.98/67.05 c 66.8s | 13 | 477262 | 42732 | 13829 5 | 386 | 327 69.08/69.11 c 68.9s | 13 | 497862 | 44032 | 13829 5 | 386 | 327 71.18/71.20 c 71.0s | 13 | 507142 | 45232 | 13829 5 | 386 | 327 73.18/73.26 c 73.0s | 13 | 518457 | 46532 | 13829 5 | 386 | 327 75.48/75.59 c 75.4s | 13 | 521470 | 47232 | 13829 5 | 386 | 327 78.08/78.13 c 77.9s | 13 | 522541 | 47532 | 13829 5 | 386 | 327 80.08/80.18 c 80.0s | 13 | 526768 | 48232 | 13829 5 | 386 | 327 82.18/82.24 c 82.0s | 13 | 531166 | 49032 | 13829 6 | 386 | 327 84.18/84.29 c 84.1s | 13 | 537034 | 50132 | 13829 6 | 386 | 327 86.27/86.31 c 86.1s | 13 | 540162 | 50832 | 13829 6 | 386 | 327 88.37/88.43 c 88.2s | 13 | 547451 | 52032 | 13829 6 | 386 | 327 90.47/90.51 c 90.3s | 13 | 552365 | 52932 | 13829 6 | 386 | 327 92.48/92.51 c 92.3s | 13 | 558271 | 54032 | 13829 6 | 386 | 327 94.47/94.58 c 94.4s | 13 | 570173 | 55032 | 13829 6 | 386 | 327 96.57/96.65 c 96.4s | 13 | 585073 | 56232 | 13829 7 | 386 | 327 98.77/98.80 c 98.6s | 13 | 604588 | 57732 | 13829 7 | 386 | 327 99.97/100.03 c 99.8s | 14 | 611445 | 58352 | 15212 7 | 386 | 327 101.97/102.09 c 101s | 14 | 620863 | 59652 | 15212 7 | 386 | 327 104.07/104.18 c 103s | 14 | 635055 | 61252 | 15212 7 | 386 | 327 106.17/106.25 c 106s | 14 | 649186 | 62552 | 15212 7 | 386 | 327 108.17/108.27 c 108s | 14 | 668854 | 63852 | 15212 7 | 386 | 327 110.27/110.33 c 110s | 14 | 683544 | 65052 | 15212 8 | 387 | 328 112.37/112.46 c 112s | 14 | 700222 | 66552 | 15212 8 | 387 | 328 114.57/114.65 c 114s | 14 | 703281 | 67552 | 15212 8 | 387 | 328 116.77/116.83 c 116s | 14 | 707797 | 68452 | 15212 8 | 387 | 328 118.97/119.08 c 118s | 14 | 710670 | 69252 | 15212 8 | 387 | 328 121.07/121.14 c 120s | 14 | 712870 | 69952 | 15212 8 | 387 | 328 123.37/123.42 c 123s | 14 | 714610 | 70552 | 15212 8 | 387 | 328 125.37/125.49 c 125s | 14 | 717287 | 71252 | 15212 8 | 387 | 328 127.76/127.84 c 127s | 14 | 727095 | 72352 | 15212 9 | 387 | 328 129.96/130.01 c 129s | 14 | 742317 | 73852 | 15212 9 | 387 | 328 131.97/132.04 c 131s | 14 | 761320 | 75252 | 15212 9 | 388 | 329 133.97/134.05 c 133s | 14 | 775145 | 76452 | 15212 9 | 388 | 329 135.97/136.08 c 135s | 14 | 782206 | 77452 | 15212 9 | 388 | 329 137.97/138.08 c 137s | 14 | 798401 | 78852 | 15212 9 | 388 | 329 140.07/140.16 c 139s | 14 | 815192 | 80252 | 15212 9 | 388 | 329 142.17/142.28 c 142s | 14 | 824126 | 81452 | 15212 9 | 388 | 329 144.18/144.29 c 144s | 14 | 826859 | 82252 | 15212 9 | 388 | 329 146.28/146.39 c 146s | 14 | 839501 | 83352 | 15212 10 | 388 | 329 148.37/148.46 c 148s | 14 | 859152 | 84752 | 15212 10 | 389 | 330 150.47/150.53 c 150s | 14 | 878163 | 86152 | 15212 10 | 389 | 330 152.47/152.56 c 152s | 14 | 894913 | 87552 | 16734 10 | 389 | 330 152.57/152.66 c 152s | 15 | 896065 | 87632 | 16734 10 | 389 | 330 154.67/154.74 c 154s | 15 | 911026 | 89032 | 16734 10 | 389 | 330 156.87/156.92 c 156s | 15 | 912521 | 89732 | 16734 10 | 389 | 330 159.07/159.18 c 158s | 15 | 931615 | 90832 | 16734 11 | 390 | 331 161.16/161.25 c 161s | 15 | 943771 | 92432 | 16734 11 | 391 | 332 163.26/163.30 c 163s | 15 | 951880 | 93532 | 16734 11 | 391 | 332 165.26/165.35 c 165s | 15 | 967970 | 94732 | 16734 11 | 392 | 333 167.36/167.43 c 167s | 15 | 984314 | 96232 | 16734 11 | 392 | 333 169.47/169.59 c 169s | 15 | 988511 | 97132 | 16734 11 | 392 | 333 171.67/171.73 c 171s | 15 | 1005487 | 98432 | 16734 11 | 392 | 333 173.66/173.76 c 173s | 15 | 1014319 | 99532 | 16734 11 | 392 | 333 175.76/175.81 c 175s | 15 | 1022494 | 100532 | 16734 12 | 392 | 333 177.76/177.81 c 177s | 15 | 1043186 | 101932 | 16734 12 | 392 | 333 179.76/179.82 c 179s | 15 | 1048660 | 102932 | 16734 12 | 392 | 333 181.76/181.88 c 181s | 15 | 1061890 | 104132 | 16734 12 | 392 | 333 183.86/183.92 c 183s | 15 | 1078044 | 105432 | 16734 12 | 392 | 333 185.86/185.98 c 185s | 15 | 1094977 | 106632 | 16734 12 | 392 | 333 187.86/187.98 c 187s | 15 | 1107783 | 108132 | 16734 12 | 392 | 333 190.06/190.19 c 189s | 15 | 1112833 | 109332 | 16734 12 | 392 | 333 192.26/192.36 c 192s | 15 | 1114493 | 109932 | 16734 12 | 392 | 333 194.25/194.39 c 194s | 15 | 1115816 | 110432 | 16734 12 | 392 | 333 196.55/196.66 c 196s | 15 | 1117215 | 110932 | 16734 12 | 392 | 333 198.85/198.97 c 198s | 15 | 1118310 | 111332 | 16734 12 | 392 | 333 201.26/201.34 c 201s | 15 | 1119506 | 111732 | 16734 12 | 392 | 333 203.46/203.50 c 203s | 15 | 1129897 | 112732 | 16734 13 | 392 | 333 205.46/205.55 c 205s | 15 | 1138312 | 114432 | 16734 13 | 392 | 333 207.56/207.66 c 207s | 15 | 1149376 | 115932 | 16734 13 | 392 | 333 209.66/209.71 c 209s | 15 | 1158618 | 117132 | 16734 13 | 392 | 333 211.66/211.78 c 211s | 15 | 1168122 | 118332 | 16734 13 | 392 | 333 213.76/213.86 c 213s | 15 | 1176103 | 119232 | 16734 13 | 392 | 333 215.86/215.97 c 215s | 15 | 1189790 | 120732 | 16734 14 | 392 | 333 217.96/218.02 c 217s | 15 | 1205577 | 122132 | 16734 14 | 392 | 333 220.07/220.19 c 219s | 15 | 1211361 | 123632 | 16734 14 | 392 | 333 222.17/222.24 c 222s | 15 | 1223350 | 125132 | 16734 14 | 392 | 333 224.26/224.30 c 224s | 15 | 1231843 | 126332 | 16734 14 | 392 | 333 226.36/226.42 c 226s | 15 | 1248440 | 127532 | 16734 14 | 392 | 333 228.36/228.48 c 228s | 15 | 1259013 | 128832 | 16734 15 | 392 | 333 230.46/230.58 c 230s | 15 | 1270750 | 130432 | 16734 15 | 392 | 333 231.96/232.10 c 231s | 16 | 1279942 | 131552 | 18408 15 | 392 | 333 234.06/234.19 c 233s | 16 | 1286960 | 132452 | 18408 15 | 392 | 333 236.16/236.28 c 236s | 16 | 1295122 | 133752 | 18408 15 | 392 | 333 238.45/238.58 c 238s | 16 | 1300319 | 134852 | 18408 15 | 392 | 333 240.55/240.64 c 240s | 16 | 1302010 | 135352 | 18408 15 | 392 | 333 242.95/243.01 c 242s | 16 | 1303832 | 135952 | 18408 15 | 392 | 333 245.05/245.10 c 244s | 16 | 1304968 | 136352 | 18408 15 | 392 | 333 247.56/247.64 c 247s | 16 | 1305735 | 136752 | 18408 15 | 392 | 333 250.55/250.65 c 250s | 16 | 1306511 | 137052 | 18408 15 | 392 | 333 253.06/253.12 c 252s | 16 | 1306848 | 137252 | 18408 15 | 392 | 333 256.05/256.10 c 255s | 16 | 1307481 | 137552 | 18408 15 | 392 | 333 258.45/258.54 c 258s | 16 | 1308068 | 137752 | 18408 15 | 392 | 333 260.55/260.64 c 260s | 16 | 1311269 | 138452 | 18408 15 | 392 | 333 262.65/262.70 c 262s | 16 | 1312980 | 138952 | 18408 15 | 392 | 333 264.95/265.07 c 264s | 16 | 1315390 | 139552 | 18408 15 | 392 | 333 267.14/267.30 c 267s | 16 | 1316807 | 139952 | 18408 15 | 392 | 333 269.45/269.60 c 269s | 16 | 1317752 | 140252 | 18408 15 | 392 | 333 271.84/271.94 c 271s | 16 | 1318893 | 140552 | 18408 15 | 392 | 333 273.95/274.09 c 273s | 16 | 1320648 | 140952 | 18408 15 | 392 | 333 276.74/276.81 c 276s | 16 | 1321193 | 141252 | 18408 16 | 392 | 333 279.46/279.55 c 279s | 16 | 1322222 | 141552 | 18408 16 | 392 | 333 281.75/281.84 c 281s | 16 | 1323494 | 141952 | 18408 16 | 392 | 333 283.95/284.06 c 283s | 16 | 1324319 | 142252 | 18408 16 | 392 | 333 286.65/286.74 c 286s | 16 | 1325593 | 142652 | 18408 16 | 392 | 333 289.25/289.36 c 289s | 16 | 1326701 | 143052 | 18408 16 | 392 | 333 291.25/291.37 c 291s | 16 | 1327279 | 143252 | 18408 16 | 392 | 333 293.84/293.98 c 293s | 16 | 1327605 | 143452 | 18408 16 | 392 | 333 296.24/296.31 c 296s | 16 | 1328078 | 143652 | 18408 16 | 392 | 333 298.54/298.62 c 298s | 16 | 1328687 | 143852 | 18408 16 | 392 | 333 300.94/301.03 c 300s | 16 | 1329747 | 144152 | 18408 16 | 392 | 333 303.74/303.85 c 303s | 16 | 1330974 | 144552 | 18408 16 | 392 | 333 306.24/306.32 c 306s | 16 | 1332001 | 144852 | 18408 16 | 392 | 333 309.15/309.23 c 309s | 16 | 1332801 | 145152 | 18408 16 | 392 | 333 312.24/312.31 c 312s | 16 | 1333483 | 145452 | 18408 16 | 392 | 333 314.34/314.41 c 314s | 16 | 1333850 | 145652 | 18408 16 | 392 | 333 316.64/316.79 c 316s | 16 | 1334618 | 145952 | 18408 16 | 392 | 333 319.54/319.68 c 319s | 16 | 1335559 | 146352 | 18408 16 | 392 | 333 321.64/321.72 c 321s | 16 | 1336188 | 146552 | 18408 16 | 392 | 333 323.74/323.82 c 323s | 16 | 1336574 | 146752 | 18408 16 | 392 | 333 326.34/326.41 c 326s | 16 | 1337533 | 147052 | 18408 16 | 392 | 333 328.64/328.75 c 328s | 16 | 1337916 | 147252 | 18408 16 | 392 | 333 330.94/331.08 c 330s | 16 | 1338453 | 147452 | 18408 16 | 392 | 333 333.74/333.87 c 333s | 16 | 1338812 | 147652 | 18408 16 | 392 | 333 336.94/337.09 c 336s | 16 | 1339727 | 147952 | 18408 16 | 392 | 333 339.44/339.59 c 339s | 16 | 1340116 | 148152 | 18408 16 | 392 | 333 341.94/342.03 c 341s | 16 | 1340785 | 148352 | 18408 16 | 392 | 333 344.93/345.02 c 344s | 16 | 1341286 | 148552 | 18408 16 | 392 | 333 348.13/348.20 c 347s | 16 | 1341792 | 148752 | 18408 16 | 392 | 333 351.13/351.29 c 351s | 16 | 1342262 | 148952 | 18408 16 | 392 | 333 353.63/353.73 c 353s | 16 | 1342835 | 149152 | 18408 16 | 392 | 333 356.03/356.12 c 355s | 16 | 1343208 | 149352 | 18408 16 | 392 | 333 358.73/358.84 c 358s | 16 | 1343805 | 149552 | 18408 16 | 392 | 333 361.33/361.42 c 361s | 16 | 1344317 | 149752 | 18408 16 | 392 | 333 364.14/364.24 c 364s | 16 | 1344716 | 149952 | 18408 16 | 392 | 333 366.34/366.41 c 366s | 16 | 1349858 | 150852 | 18408 16 | 392 | 333 368.34/368.50 c 368s | 16 | 1351994 | 151452 | 18408 16 | 392 | 333 370.84/370.98 c 370s | 16 | 1352946 | 151852 | 18408 16 | 392 | 333 373.34/373.41 c 373s | 16 | 1354858 | 152352 | 18408 17 | 392 | 333 375.53/375.66 c 375s | 16 | 1356173 | 152752 | 18408 17 | 392 | 333 378.13/378.26 c 378s | 16 | 1357099 | 153152 | 18408 17 | 392 | 333 380.43/380.53 c 380s | 16 | 1358263 | 153552 | 18408 17 | 392 | 333 382.93/383.06 c 382s | 16 | 1359479 | 153952 | 18408 17 | 392 | 333 385.13/385.24 c 385s | 16 | 1360137 | 154252 | 18408 17 | 392 | 333 387.52/387.62 c 387s | 16 | 1360995 | 154552 | 18408 17 | 392 | 333 390.12/390.26 c 390s | 16 | 1361589 | 154852 | 18408 17 | 392 | 333 392.52/392.66 c 392s | 16 | 1362335 | 155152 | 18408 17 | 392 | 333 394.62/394.79 c 394s | 16 | 1364139 | 155552 | 18408 17 | 392 | 333 396.92/397.06 c 396s | 16 | 1364959 | 155852 | 18408 17 | 392 | 333 399.32/399.49 c 399s | 16 | 1366337 | 156352 | 18408 17 | 392 | 333 402.42/402.53 c 402s | 16 | 1367237 | 156752 | 18408 17 | 392 | 333 404.72/404.85 c 404s | 16 | 1367597 | 156952 | 18408 17 | 392 | 333 406.81/406.92 c 406s | 16 | 1368464 | 157252 | 18408 17 | 392 | 333 409.81/409.94 c 409s | 16 | 1369400 | 157552 | 18408 17 | 392 | 333 412.01/412.11 c 411s | 16 | 1371773 | 157952 | 18408 17 | 392 | 333 414.91/415.07 c 414s | 16 | 1372518 | 158252 | 18408 17 | 392 | 333 417.11/417.23 c 417s | 16 | 1372756 | 158352 | 18408 17 | 392 | 333 419.31/419.45 c 419s | 16 | 1373933 | 158652 | 18408 17 | 392 | 333 421.90/422.08 c 421s | 16 | 1374497 | 158952 | 18408 17 | 392 | 333 424.62/424.73 c 424s | 16 | 1375752 | 159352 | 18408 17 | 392 | 333 427.71/427.87 c 427s | 16 | 1377113 | 159752 | 18408 17 | 392 | 333 430.21/430.32 c 430s | 16 | 1378655 | 160052 | 18408 17 | 392 | 333 432.71/432.86 c 432s | 16 | 1380307 | 160452 | 18408 17 | 392 | 333 435.52/435.65 c 435s | 16 | 1381012 | 160752 | 18408 17 | 392 | 333 437.82/437.91 c 437s | 16 | 1381427 | 160952 | 18408 17 | 392 | 333 439.92/440.01 c 439s | 16 | 1382425 | 161252 | 18408 17 | 392 | 333 442.61/442.75 c 442s | 16 | 1383372 | 161552 | 18408 17 | 392 | 333 445.71/445.86 c 445s | 16 | 1384966 | 161852 | 18408 17 | 392 | 333 448.51/448.62 c 448s | 16 | 1385308 | 162052 | 18408 17 | 392 | 333 451.30/451.49 c 451s | 16 | 1385746 | 162252 | 18408 17 | 392 | 333 454.31/454.48 c 454s | 16 | 1386758 | 162552 | 18408 17 | 392 | 333 456.70/456.85 c 456s | 16 | 1387857 | 162852 | 18408 18 | 392 | 333 459.00/459.20 c 458s | 16 | 1388776 | 163252 | 18408 18 | 392 | 333 461.70/461.87 c 461s | 16 | 1389782 | 163552 | 18408 18 | 392 | 333 465.21/465.34 c 465s | 16 | 1390812 | 163852 | 18408 18 | 392 | 333 467.20/467.35 c 467s | 16 | 1391638 | 164152 | 18408 18 | 392 | 333 469.20/469.39 c 469s | 16 | 1392298 | 164352 | 18408 18 | 392 | 333 472.00/472.10 c 471s | 16 | 1393695 | 164752 | 18408 18 | 392 | 333 474.20/474.38 c 474s | 16 | 1394213 | 164952 | 18408 18 | 392 | 333 477.20/477.34 c 477s | 16 | 1395174 | 165252 | 18408 18 | 392 | 333 479.60/479.76 c 479s | 16 | 1396043 | 165552 | 18408 18 | 392 | 333 482.49/482.61 c 482s | 16 | 1396397 | 165752 | 18408 18 | 392 | 333 485.39/485.57 c 485s | 16 | 1397200 | 166052 | 18408 18 | 392 | 333 488.09/488.26 c 488s | 16 | 1397828 | 166252 | 18408 18 | 392 | 333 490.89/491.05 c 490s | 16 | 1398430 | 166452 | 18408 18 | 392 | 333 492.99/493.18 c 492s | 16 | 1399311 | 166652 | 18408 18 | 392 | 333 495.99/496.17 c 495s | 16 | 1399593 | 166852 | 18408 18 | 392 | 333 498.78/498.91 c 498s | 16 | 1400442 | 167152 | 18408 18 | 392 | 333 501.59/501.80 c 501s | 16 | 1400968 | 167352 | 18408 18 | 392 | 333 504.08/504.21 c 503s | 16 | 1401719 | 167552 | 18408 18 | 392 | 333 507.29/507.46 c 507s | 16 | 1402245 | 167752 | 18408 18 | 392 | 333 509.79/509.90 c 509s | 16 | 1402499 | 167852 | 18408 18 | 392 | 333 513.59/513.72 c 513s | 16 | 1402855 | 168052 | 18408 18 | 392 | 333 515.59/515.73 c 515s | 16 | 1403427 | 168252 | 18408 18 | 392 | 333 520.08/520.20 c 519s | 16 | 1404065 | 168552 | 18408 18 | 392 | 333 523.78/523.94 c 523s | 16 | 1404386 | 168752 | 18408 18 | 392 | 333 527.78/527.93 c 527s | 16 | 1404798 | 168952 | 18408 18 | 392 | 333 530.88/531.09 c 530s | 16 | 1405163 | 169152 | 18408 18 | 392 | 333 534.08/534.26 c 534s | 16 | 1405616 | 169352 | 18408 18 | 392 | 333 538.68/538.86 c 538s | 16 | 1405962 | 169552 | 18408 18 | 392 | 333 540.88/541.05 c 540s | 16 | 1406237 | 169652 | 18408 18 | 392 | 333 543.18/543.37 c 543s | 16 | 1406412 | 169752 | 18408 18 | 392 | 333 547.07/547.27 c 547s | 16 | 1406697 | 169952 | 18408 18 | 392 | 333 550.77/550.93 c 550s | 16 | 1407215 | 170152 | 18408 18 | 392 | 333 552.97/553.19 c 552s | 16 | 1407378 | 170252 | 18408 18 | 392 | 333 555.17/555.30 c 555s | 16 | 1413363 | 171052 | 18408 18 | 392 | 333 557.37/557.51 c 557s | 16 | 1420777 | 172152 | 18408 18 | 392 | 333 559.37/559.56 c 559s | 16 | 1426267 | 172952 | 18408 18 | 392 | 333 561.57/561.76 c 561s | 16 | 1429047 | 173452 | 18408 18 | 392 | 333 563.67/563.89 c 563s | 16 | 1432459 | 174152 | 18408 18 | 392 | 333 566.07/566.20 c 565s | 16 | 1433030 | 174352 | 18408 19 | 392 | 333 568.16/568.32 c 568s | 16 | 1437377 | 175052 | 18408 19 | 392 | 333 570.16/570.35 c 570s | 16 | 1439487 | 175652 | 18408 19 | 392 | 333 572.36/572.59 c 572s | 16 | 1441704 | 176152 | 18408 19 | 392 | 333 575.46/575.66 c 575s | 16 | 1442773 | 176552 | 18408 19 | 392 | 333 577.86/578.06 c 577s | 16 | 1443668 | 176852 | 18408 19 | 392 | 333 580.06/580.20 c 579s | 16 | 1444131 | 177052 | 18408 19 | 392 | 333 582.75/582.96 c 582s | 16 | 1446000 | 177552 | 18408 19 | 392 | 333 585.06/585.23 c 585s | 16 | 1446487 | 177752 | 18408 19 | 392 | 333 587.55/587.76 c 587s | 16 | 1447453 | 178052 | 18408 19 | 392 | 333 589.95/590.11 c 589s | 16 | 1448019 | 178252 | 18408 19 | 392 | 333 592.55/592.76 c 592s | 16 | 1449263 | 178552 | 18408 19 | 392 | 333 594.85/595.09 c 594s | 16 | 1449886 | 178752 | 18408 19 | 392 | 333 596.94/597.12 c 596s | 16 | 1450326 | 178952 | 18408 19 | 392 | 333 599.64/599.88 c 599s | 16 | 1451319 | 179252 | 18408 19 | 392 | 333 603.04/603.23 c 603s | 16 | 1452248 | 179552 | 18408 19 | 392 | 333 605.14/605.37 c 605s | 16 | 1452757 | 179752 | 18408 19 | 392 | 333 608.54/608.76 c 608s | 16 | 1453824 | 180052 | 18408 19 | 392 | 333 611.95/612.16 c 611s | 16 | 1454323 | 180252 | 18408 19 | 392 | 333 615.24/615.47 c 615s | 16 | 1454848 | 180452 | 18408 19 | 392 | 333 617.54/617.79 c 617s | 16 | 1457320 | 181052 | 18408 19 | 392 | 333 619.84/620.02 c 619s | 16 | 1459240 | 181452 | 18408 19 | 392 | 333 621.84/622.09 c 621s | 16 | 1464048 | 182152 | 18408 19 | 392 | 333 623.94/624.16 c 623s | 16 | 1465985 | 182752 | 18408 19 | 392 | 333 626.33/626.50 c 626s | 16 | 1468133 | 183252 | 18408 19 | 392 | 333 628.33/628.52 c 628s | 16 | 1470470 | 183852 | 18408 19 | 392 | 333 630.53/630.72 c 630s | 16 | 1472174 | 184352 | 18408 19 | 392 | 333 632.83/633.07 c 632s | 16 | 1473260 | 184752 | 18408 19 | 392 | 333 635.43/635.60 c 635s | 16 | 1475097 | 185252 | 18408 20 | 392 | 333 637.63/637.85 c 637s | 16 | 1476932 | 185752 | 18408 20 | 392 | 333 639.93/640.17 c 639s | 16 | 1478106 | 186152 | 18408 20 | 392 | 333 642.23/642.42 c 642s | 16 | 1479220 | 186552 | 18408 20 | 392 | 333 644.43/644.70 c 644s | 16 | 1480328 | 186952 | 18408 20 | 392 | 333 646.52/646.79 c 646s | 16 | 1481560 | 187352 | 18408 20 | 392 | 333 649.42/649.61 c 649s | 16 | 1482542 | 187752 | 18408 20 | 392 | 333 651.82/652.01 c 651s | 16 | 1483725 | 188152 | 18408 20 | 392 | 333 653.82/654.03 c 653s | 16 | 1484418 | 188452 | 18408 20 | 392 | 333 656.62/656.87 c 656s | 16 | 1484981 | 188752 | 18408 20 | 392 | 333 659.21/659.46 c 659s | 16 | 1485746 | 189052 | 18408 20 | 392 | 333 661.81/662.04 c 661s | 16 | 1486655 | 189352 | 18408 20 | 392 | 333 664.11/664.33 c 664s | 16 | 1488001 | 189752 | 18408 20 | 392 | 333 666.41/666.68 c 666s | 16 | 1492076 | 190452 | 18408 20 | 392 | 333 668.71/668.90 c 668s | 16 | 1494309 | 191052 | 18408 20 | 392 | 333 671.10/671.39 c 671s | 16 | 1495813 | 191552 | 18408 20 | 392 | 333 673.50/673.73 c 673s | 16 | 1496735 | 191952 | 18408 20 | 392 | 333 675.50/675.74 c 675s | 16 | 1497901 | 192252 | 18408 20 | 392 | 333 677.51/677.76 c 677s | 16 | 1498806 | 192552 | 18408 20 | 392 | 333 679.71/679.91 c 679s | 16 | 1499251 | 192752 | 18408 20 | 392 | 333 681.91/682.15 c 681s | 16 | 1499984 | 193052 | 18408 20 | 392 | 333 684.51/684.79 c 684s | 16 | 1500734 | 193352 | 18408 20 | 392 | 333 686.80/687.00 c 686s | 16 | 1501661 | 193652 | 18408 20 | 392 | 333 688.80/689.09 c 688s | 16 | 1505186 | 194452 | 18408 20 | 392 | 333 691.00/691.26 c 691s | 16 | 1508127 | 195152 | 18408 20 | 392 | 333 693.50/693.79 c 693s | 16 | 1509868 | 195652 | 18408 20 | 392 | 333 695.80/696.07 c 695s | 16 | 1510861 | 196052 | 18408 21 | 392 | 333 698.30/698.55 c 698s | 16 | 1512051 | 196552 | 20249 21 | 392 | 333 700.60/700.84 c 700s | 16 | 1513492 | 197052 | 20249 21 | 392 | 333 703.00/703.20 c 702s | 16 | 1514227 | 197352 | 20249 21 | 392 | 333 703.30/703.55 c 703s | 17 | 1514411 | 197432 | 20249 21 | 392 | 333 705.39/705.68 c 705s | 17 | 1529166 | 198932 | 20249 21 | 392 | 333 707.49/707.75 c 707s | 17 | 1544143 | 200232 | 20249 21 | 393 | 334 709.59/709.86 c 709s | 17 | 1550195 | 201232 | 20249 21 | 393 | 334 711.79/712.03 c 711s | 17 | 1551232 | 201632 | 20249 21 | 393 | 334 714.59/714.85 c 714s | 17 | 1551789 | 201832 | 20249 21 | 393 | 334 717.09/717.38 c 717s | 17 | 1552327 | 202132 | 20249 21 | 393 | 334 719.19/719.48 c 719s | 17 | 1561966 | 202832 | 20249 21 | 394 | 335 721.28/721.58 c 721s | 17 | 1576474 | 204032 | 20249 21 | 395 | 336 723.39/723.66 c 723s | 17 | 1585506 | 205232 | 20249 21 | 395 | 336 725.49/725.78 c 725s | 17 | 1598297 | 206132 | 20249 22 | 395 | 336 727.58/727.86 c 727s | 17 | 1624455 | 207732 | 20249 22 | 395 | 336 729.68/729.93 c 729s | 17 | 1645932 | 209332 | 20249 22 | 395 | 336 731.78/732.07 c 731s | 17 | 1657716 | 210832 | 20249 22 | 395 | 336 733.98/734.23 c 734s | 17 | 1668363 | 212132 | 20249 22 | 395 | 336 735.98/736.27 c 736s | 17 | 1682996 | 213232 | 20249 22 | 395 | 336 738.08/738.40 c 738s | 17 | 1698837 | 214632 | 20249 22 | 395 | 336 740.19/740.49 c 740s | 17 | 1708482 | 215732 | 20249 22 | 395 | 336 742.48/742.75 c 742s | 17 | 1710009 | 216232 | 20249 22 | 395 | 336 744.78/745.00 c 744s | 17 | 1717826 | 217232 | 20249 22 | 395 | 336 747.08/747.31 c 747s | 17 | 1720667 | 217732 | 20249 23 | 395 | 336 749.18/749.43 c 749s | 17 | 1729680 | 218932 | 20249 23 | 395 | 336 751.19/751.45 c 751s | 17 | 1741692 | 220432 | 20249 23 | 395 | 336 753.29/753.60 c 753s | 17 | 1748969 | 221732 | 20249 23 | 395 | 336 755.38/755.62 c 755s | 17 | 1751106 | 222332 | 20249 23 | 395 | 336 757.47/757.73 c 757s | 17 | 1767670 | 223732 | 20249 23 | 395 | 336 759.47/759.76 c 759s | 17 | 1787281 | 224832 | 20249 23 | 395 | 336 761.57/761.82 c 761s | 17 | 1796922 | 226032 | 20249 23 | 395 | 336 763.67/763.98 c 763s | 17 | 1802261 | 226732 | 20249 23 | 395 | 336 765.87/766.18 c 765s | 17 | 1805245 | 227532 | 20249 23 | 395 | 336 768.17/768.42 c 768s | 17 | 1807077 | 228132 | 20249 23 | 395 | 336 770.36/770.69 c 770s | 17 | 1809449 | 228832 | 20249 23 | 395 | 336 772.66/772.90 c 772s | 17 | 1811120 | 229332 | 20249 23 | 395 | 336 774.66/774.96 c 774s | 17 | 1813510 | 229932 | 20249 24 | 395 | 336 776.76/777.03 c 776s | 17 | 1816968 | 230732 | 20249 24 | 395 | 336 779.06/779.33 c 779s | 17 | 1819054 | 231432 | 20249 24 | 395 | 336 781.36/781.67 c 781s | 17 | 1821428 | 232032 | 20249 24 | 395 | 336 783.36/783.68 c 783s | 17 | 1823454 | 232532 | 20249 24 | 395 | 336 785.56/785.85 c 785s | 17 | 1824175 | 232932 | 20249 24 | 395 | 336 788.46/788.74 c 788s | 17 | 1824932 | 233332 | 20249 24 | 395 | 336 790.55/790.89 c 790s | 17 | 1830886 | 234132 | 20249 24 | 395 | 336 792.75/793.04 c 792s | 17 | 1848429 | 235532 | 20249 24 | 395 | 336 794.75/795.08 c 794s | 17 | 1863434 | 236932 | 20249 24 | 395 | 336 796.85/797.13 c 796s | 17 | 1871871 | 238232 | 20249 24 | 395 | 336 798.95/799.23 c 799s | 17 | 1877709 | 239332 | 20249 24 | 395 | 336 801.15/801.49 c 801s | 17 | 1880248 | 240132 | 20249 24 | 395 | 336 803.25/803.51 c 803s | 17 | 1884565 | 240832 | 20249 25 | 395 | 336 805.25/805.53 c 805s | 17 | 1901326 | 242332 | 20249 25 | 395 | 336 807.25/807.57 c 807s | 17 | 1919782 | 244132 | 20249 25 | 395 | 336 809.24/809.59 c 809s | 17 | 1922369 | 244932 | 20249 25 | 395 | 336 811.54/811.85 c 811s | 17 | 1930924 | 246332 | 20249 25 | 395 | 336 813.64/813.99 c 813s | 17 | 1941504 | 247632 | 20249 25 | 395 | 336 816.05/816.31 c 816s | 17 | 1945796 | 248732 | 20249 25 | 395 | 336 818.03/818.37 c 818s | 17 | 1948808 | 249432 | 20249 25 | 395 | 336 820.13/820.43 c 820s | 17 | 1950494 | 250032 | 20249 25 | 395 | 336 822.43/822.71 c 822s | 17 | 1951773 | 250632 | 20249 25 | 395 | 336 824.54/824.81 c 824s | 17 | 1953433 | 251332 | 20249 25 | 395 | 336 826.73/827.08 c 826s | 17 | 1955196 | 252132 | 20249 25 | 395 | 336 829.14/829.42 c 829s | 17 | 1956164 | 252632 | 20249 25 | 395 | 336 831.23/831.57 c 831s | 17 | 1957928 | 253232 | 20249 26 | 395 | 336 833.33/833.66 c 833s | 17 | 1961026 | 254032 | 20249 26 | 395 | 336 835.53/835.80 c 835s | 17 | 1964937 | 255032 | 20249 26 | 395 | 336 837.73/838.06 c 837s | 17 | 1966070 | 255532 | 20249 26 | 395 | 336 839.93/840.25 c 840s | 17 | 1967511 | 256132 | 20249 26 | 395 | 336 841.93/842.26 c 842s | 17 | 1970203 | 256832 | 20249 26 | 395 | 336 844.13/844.43 c 844s | 17 | 1979828 | 257932 | 20249 26 | 395 | 336 846.13/846.44 c 846s | 17 | 1985773 | 258832 | 20249 26 | 395 | 336 848.22/848.55 c 848s | 17 | 1995315 | 259932 | 20249 26 | 395 | 336 850.52/850.80 c 850s | 17 | 1997543 | 260632 | 20249 26 | 395 | 336 852.52/852.84 c 852s | 17 | 1999404 | 261132 | 20249 26 | 395 | 336 854.53/854.85 c 854s | 17 | 2006047 | 262532 | 20249 26 | 395 | 336 856.62/856.97 c 856s | 17 | 2014361 | 263332 | 20249 27 | 395 | 336 858.72/859.05 c 858s | 17 | 2028539 | 265032 | 20249 27 | 395 | 336 860.82/861.19 c 860s | 17 | 2033134 | 265832 | 20249 27 | 395 | 336 862.92/863.21 c 863s | 17 | 2043685 | 267332 | 20249 27 | 395 | 336 865.02/865.35 c 865s | 17 | 2059064 | 269132 | 20249 27 | 395 | 336 867.11/867.47 c 867s | 17 | 2067116 | 270532 | 20249 27 | 395 | 336 869.31/869.61 c 869s | 17 | 2070313 | 271032 | 20249 27 | 395 | 336 871.51/871.83 c 871s | 17 | 2076800 | 272132 | 20249 27 | 395 | 336 873.71/874.02 c 873s | 17 | 2079745 | 272832 | 20249 27 | 395 | 336 875.71/876.04 c 875s | 17 | 2083820 | 273532 | 20249 27 | 395 | 336 878.20/878.51 c 878s | 17 | 2086352 | 274132 | 20249 27 | 395 | 336 880.30/880.67 c 880s | 17 | 2089261 | 274732 | 20249 27 | 395 | 336 882.40/882.70 c 882s | 17 | 2094015 | 275432 | 20249 28 | 395 | 336 884.40/884.72 c 884s | 17 | 2102125 | 276732 | 20249 28 | 395 | 336 886.50/886.86 c 886s | 17 | 2107382 | 277832 | 20249 28 | 395 | 336 888.60/888.99 c 888s | 17 | 2109037 | 278532 | 20249 28 | 395 | 336 890.70/891.02 c 890s | 17 | 2112794 | 279432 | 20249 28 | 395 | 336 892.90/893.21 c 892s | 17 | 2115746 | 280232 | 20249 28 | 395 | 336 894.90/895.28 c 895s | 17 | 2133528 | 281632 | 20249 28 | 395 | 336 896.99/897.39 c 897s | 17 | 2143608 | 282932 | 20249 28 | 395 | 336 899.29/899.63 c 899s | 17 | 2145745 | 283732 | 20249 28 | 395 | 336 901.29/901.65 c 901s | 17 | 2150906 | 284532 | 20249 29 | 395 | 336 903.29/903.67 c 903s | 17 | 2167149 | 286132 | 20249 29 | 395 | 336 905.39/905.73 c 905s | 17 | 2175185 | 287532 | 20249 29 | 395 | 336 907.48/907.81 c 907s | 17 | 2178266 | 288432 | 20249 29 | 395 | 336 909.58/909.98 c 909s | 17 | 2186786 | 289832 | 20249 29 | 395 | 336 911.69/912.01 c 911s | 17 | 2189391 | 290532 | 20249 29 | 395 | 336 913.80/914.14 c 913s | 17 | 2190857 | 290932 | 20249 29 | 395 | 336 916.39/916.77 c 916s | 17 | 2191471 | 291232 | 20249 29 | 395 | 336 918.59/918.92 c 918s | 17 | 2192349 | 291532 | 20249 29 | 395 | 336 920.69/921.01 c 920s | 17 | 2193390 | 291932 | 20249 29 | 395 | 336 922.79/923.11 c 922s | 17 | 2194967 | 292432 | 20249 29 | 395 | 336 924.90/925.27 c 925s | 17 | 2196701 | 292932 | 20249 29 | 395 | 336 927.29/927.67 c 927s | 17 | 2199037 | 293732 | 20249 29 | 395 | 336 929.39/929.79 c 929s | 17 | 2200053 | 294132 | 20249 29 | 395 | 336 932.08/932.41 c 932s | 17 | 2201076 | 294532 | 22274 29 | 395 | 336 934.48/934.82 c 934s | 17 | 2201851 | 294832 | 22274 29 | 395 | 336 936.78/937.18 c 936s | 17 | 2202933 | 295132 | 22274 29 | 395 | 336 938.98/939.31 c 939s | 17 | 2204785 | 295632 | 22274 29 | 395 | 336 942.28/942.62 c 942s | 17 | 2205628 | 296032 | 22274 29 | 395 | 336 943.18/943.56 c 943s | 18 | 2206343 | 296252 | 22274 29 | 395 | 336 945.18/945.58 c 945s | 18 | 2225161 | 297652 | 22274 30 | 395 | 336 947.17/947.59 c 947s | 18 | 2240663 | 299052 | 22274 30 | 395 | 336 949.27/949.62 c 949s | 18 | 2246620 | 300052 | 22274 30 | 395 | 336 951.37/951.71 c 951s | 18 | 2255849 | 300952 | 22274 30 | 395 | 336 953.57/953.90 c 953s | 18 | 2258977 | 301752 | 22274 30 | 395 | 336 955.57/955.96 c 955s | 18 | 2272872 | 302852 | 22274 30 | 395 | 336 957.66/958.09 c 957s | 18 | 2282560 | 303752 | 22274 30 | 395 | 336 959.76/960.16 c 959s | 18 | 2293150 | 304752 | 22274 30 | 395 | 336 961.96/962.33 c 962s | 18 | 2297933 | 305952 | 22274 30 | 395 | 336 964.26/964.62 c 964s | 18 | 2300471 | 306752 | 22274 31 | 395 | 336 966.26/966.63 c 966s | 18 | 2319926 | 308252 | 22274 31 | 395 | 336 968.26/968.69 c 968s | 18 | 2324267 | 309052 | 22274 31 | 395 | 336 970.55/970.99 c 970s | 18 | 2326564 | 309652 | 22274 31 | 395 | 336 972.65/973.03 c 972s | 18 | 2330549 | 310452 | 22274 31 | 395 | 336 974.65/975.05 c 974s | 18 | 2337048 | 311252 | 22274 31 | 395 | 336 976.75/977.13 c 976s | 18 | 2339133 | 311652 | 22274 31 | 395 | 336 978.85/979.27 c 979s | 18 | 2350948 | 312652 | 22274 31 | 395 | 336 981.15/981.59 c 981s | 18 | 2357124 | 313352 | 22274 31 | 395 | 336 983.25/983.60 c 983s | 18 | 2371418 | 314252 | 22274 31 | 395 | 336 985.25/985.63 c 985s | 18 | 2378228 | 314952 | 22274 31 | 395 | 336 987.24/987.64 c 987s | 18 | 2394161 | 316152 | 22274 31 | 395 | 336 989.34/989.71 c 989s | 18 | 2406204 | 317252 | 22274 32 | 395 | 336 991.54/991.92 c 991s | 18 | 2411124 | 318352 | 22274 32 | 395 | 336 993.54/993.97 c 993s | 18 | 2417616 | 319352 | 22274 32 | 395 | 336 995.64/996.06 c 995s | 18 | 2431423 | 320652 | 22274 32 | 395 | 336 998.03/998.47 c 998s | 18 | 2432864 | 321152 | 22274 32 | 395 | 336 1000.33/1000.72 c 1000s | 18 | 2436666 | 322052 | 22274 32 | 395 | 336 1002.43/1002.81 c 1002s | 18 | 2445508 | 323152 | 22274 32 | 395 | 336 1004.43/1004.89 c 1004s | 18 | 2457490 | 324552 | 22274 32 | 395 | 336 1006.63/1007.06 c 1006s | 18 | 2464901 | 325452 | 22274 32 | 395 | 336 1008.62/1009.07 c 1008s | 18 | 2470846 | 326152 | 22274 32 | 395 | 336 1010.92/1011.32 c 1011s | 18 | 2475284 | 326952 | 22274 32 | 395 | 336 1013.12/1013.55 c 1013s | 18 | 2481925 | 328052 | 22274 33 | 395 | 336 1015.22/1015.64 c 1015s | 18 | 2486351 | 329152 | 22274 33 | 395 | 336 1017.22/1017.67 c 1017s | 18 | 2499997 | 330552 | 22274 33 | 395 | 336 1019.32/1019.73 c 1019s | 18 | 2512839 | 331852 | 22274 33 | 395 | 336 1021.42/1021.83 c 1021s | 18 | 2514311 | 332352 | 22274 33 | 395 | 336 1023.72/1024.14 c 1023s | 18 | 2515351 | 332652 | 22274 33 | 395 | 336 1026.71/1027.10 c 1026s | 18 | 2516836 | 332952 | 22274 33 | 395 | 336 1028.71/1029.16 c 1028s | 18 | 2519249 | 333352 | 22274 33 | 395 | 336 1031.11/1031.53 c 1031s | 18 | 2526138 | 334452 | 22274 33 | 395 | 336 1033.72/1034.14 c 1033s | 18 | 2527053 | 334952 | 22274 33 | 395 | 336 1036.01/1036.47 c 1036s | 18 | 2527694 | 335352 | 22274 33 | 395 | 336 1038.12/1038.57 c 1038s | 18 | 2528202 | 335652 | 22274 33 | 395 | 336 1040.51/1040.90 c 1040s | 18 | 2529159 | 336052 | 22274 33 | 395 | 336 1042.62/1043.05 c 1042s | 18 | 2529758 | 336452 | 22274 33 | 395 | 336 1045.02/1045.43 c 1045s | 18 | 2532058 | 336952 | 22274 33 | 395 | 336 1047.12/1047.58 c 1047s | 18 | 2532834 | 337252 | 22274 33 | 395 | 336 1049.62/1050.04 c 1049s | 18 | 2537089 | 337852 | 22274 33 | 395 | 336 1051.62/1052.05 c 1051s | 18 | 2545920 | 338952 | 22274 34 | 395 | 336 1053.61/1054.09 c 1053s | 18 | 2553849 | 339852 | 22274 34 | 395 | 336 1056.01/1056.42 c 1056s | 18 | 2560784 | 340652 | 22274 34 | 395 | 336 1058.61/1059.03 c 1058s | 18 | 2571810 | 341752 | 22274 34 | 395 | 336 1061.71/1062.10 c 1061s | 18 | 2573890 | 342252 | 22274 34 | 395 | 336 1064.21/1064.64 c 1064s | 18 | 2582297 | 342952 | 22274 34 | 395 | 336 1066.51/1066.99 c 1066s | 18 | 2590373 | 343652 | 22274 34 | 395 | 336 1068.71/1069.10 c 1068s | 18 | 2596056 | 344252 | 22274 34 | 395 | 336 1071.41/1071.83 c 1071s | 18 | 2598793 | 344752 | 22274 34 | 395 | 336 1074.81/1075.28 c 1075s | 18 | 2600451 | 345052 | 22274 34 | 395 | 336 1077.41/1077.88 c 1077s | 18 | 2603441 | 345452 | 22274 34 | 395 | 336 1081.61/1082.07 c 1081s | 18 | 2605318 | 345952 | 22274 34 | 395 | 336 1083.71/1084.14 c 1083s | 18 | 2605593 | 346052 | 22274 34 | 395 | 336 1087.41/1087.83 c 1087s | 18 | 2606167 | 346252 | 22274 34 | 395 | 336 1089.41/1089.88 c 1089s | 18 | 2607579 | 346452 | 22274 34 | 395 | 336 1092.02/1092.41 c 1092s | 18 | 2608292 | 346652 | 22274 34 | 395 | 336 1095.01/1095.46 c 1095s | 18 | 2608887 | 346852 | 22274 34 | 395 | 336 1097.01/1097.49 c 1097s | 18 | 2610251 | 347052 | 22274 34 | 395 | 336 1099.71/1100.18 c 1099s | 18 | 2611090 | 347252 | 22274 34 | 395 | 336 1101.81/1102.29 c 1102s | 18 | 2619264 | 348052 | 22274 35 | 395 | 336 1103.91/1104.38 c 1104s | 18 | 2630449 | 349352 | 22274 35 | 395 | 336 1106.10/1106.53 c 1106s | 18 | 2635839 | 350252 | 22274 35 | 395 | 336 1108.20/1108.62 c 1108s | 18 | 2644289 | 351252 | 22274 35 | 395 | 336 1110.40/1110.83 c 1110s | 18 | 2646546 | 351852 | 22274 35 | 395 | 336 1112.60/1113.09 c 1112s | 18 | 2649218 | 352552 | 22274 35 | 395 | 336 1115.01/1115.47 c 1115s | 18 | 2651403 | 352952 | 22274 35 | 395 | 336 1117.10/1117.54 c 1117s | 18 | 2661196 | 353852 | 22274 35 | 395 | 336 1119.20/1119.70 c 1119s | 18 | 2666434 | 354752 | 22274 35 | 395 | 336 1121.50/1121.90 c 1121s | 18 | 2671474 | 355752 | 22274 35 | 395 | 336 1123.50/1123.97 c 1123s | 18 | 2676128 | 356552 | 22274 36 | 395 | 336 1125.60/1126.06 c 1125s | 18 | 2690576 | 358252 | 22274 36 | 395 | 336 1127.90/1128.36 c 1128s | 18 | 2694514 | 359152 | 22274 36 | 395 | 336 1130.51/1130.99 c 1130s | 18 | 2695930 | 359552 | 22274 36 | 395 | 336 1133.90/1134.35 c 1134s | 18 | 2696824 | 359852 | 22274 36 | 395 | 336 1136.20/1136.63 c 1136s | 18 | 2697301 | 360052 | 22274 36 | 395 | 336 1138.21/1138.66 c 1138s | 18 | 2697771 | 360252 | 22274 36 | 395 | 336 1140.80/1141.24 c 1141s | 18 | 2699299 | 360652 | 22274 36 | 395 | 336 1143.71/1144.17 c 1143s | 18 | 2700491 | 361052 | 22274 36 | 395 | 336 1146.30/1146.71 c 1146s | 18 | 2701189 | 361352 | 22274 36 | 395 | 336 1148.70/1149.18 c 1148s | 18 | 2701905 | 361652 | 22274 36 | 395 | 336 1151.30/1151.73 c 1151s | 18 | 2702709 | 361852 | 22274 36 | 395 | 336 1154.50/1154.93 c 1154s | 18 | 2703234 | 362052 | 22274 36 | 395 | 336 1156.80/1157.26 c 1157s | 18 | 2703434 | 362152 | 22274 36 | 395 | 336 1160.70/1161.14 c 1160s | 18 | 2704051 | 362352 | 22274 36 | 395 | 336 1163.20/1163.63 c 1163s | 18 | 2704368 | 362452 | 22274 36 | 395 | 336 1165.49/1165.90 c 1165s | 18 | 2704750 | 362552 | 22274 36 | 395 | 336 1168.49/1168.95 c 1168s | 18 | 2705474 | 362752 | 22274 36 | 395 | 336 1171.29/1171.79 c 1171s | 18 | 2706125 | 362952 | 22274 36 | 395 | 336 1173.79/1174.22 c 1174s | 18 | 2707074 | 363252 | 22274 36 | 395 | 336 1177.39/1177.87 c 1177s | 18 | 2708001 | 363452 | 22274 36 | 395 | 336 1180.89/1181.35 c 1181s | 18 | 2708448 | 363652 | 22274 36 | 395 | 336 1183.49/1183.98 c 1183s | 18 | 2709401 | 363952 | 22274 36 | 395 | 336 1185.69/1186.10 c 1185s | 18 | 2709834 | 364152 | 22274 36 | 395 | 336 1188.09/1188.51 c 1188s | 18 | 2710558 | 364352 | 22274 36 | 395 | 336 1191.09/1191.59 c 1191s | 18 | 2711461 | 364552 | 22274 36 | 395 | 336 1193.39/1193.87 c 1193s | 18 | 2712511 | 364752 | 22274 36 | 395 | 336 1195.79/1196.20 c 1195s | 18 | 2713278 | 364952 | 22274 36 | 395 | 336 1199.29/1199.72 c 1199s | 18 | 2713801 | 365152 | 22274 36 | 395 | 336 1201.59/1202.06 c 1201s | 18 | 2714026 | 365252 | 22274 36 | 395 | 336 1204.59/1205.04 c 1204s | 18 | 2714547 | 365452 | 22274 36 | 395 | 336 1206.99/1207.42 c 1207s | 18 | 2715207 | 365652 | 22274 36 | 395 | 336 1209.19/1209.67 c 1209s | 18 | 2715859 | 365852 | 22274 36 | 395 | 336 1211.39/1211.87 c 1211s | 18 | 2716631 | 366052 | 22274 36 | 395 | 336 1213.39/1213.89 c 1213s | 18 | 2722331 | 366552 | 22274 37 | 395 | 336 1215.59/1216.06 c 1215s | 18 | 2729322 | 367852 | 22274 37 | 395 | 336 1217.68/1218.19 c 1217s | 18 | 2739671 | 369052 | 22274 37 | 395 | 336 1219.98/1220.41 c 1220s | 18 | 2749858 | 369952 | 22274 37 | 395 | 336 1222.18/1222.65 c 1222s | 18 | 2754192 | 370652 | 22274 37 | 395 | 336 1224.18/1224.66 c 1224s | 18 | 2759545 | 371452 | 22274 37 | 395 | 336 1226.19/1226.68 c 1226s | 18 | 2760925 | 371852 | 22274 37 | 395 | 336 1228.68/1229.10 c 1228s | 18 | 2762805 | 372452 | 22274 37 | 395 | 336 1231.08/1231.57 c 1231s | 18 | 2764745 | 372952 | 22274 37 | 395 | 336 1233.58/1234.07 c 1233s | 18 | 2764973 | 373052 | 22274 37 | 395 | 336 1236.48/1236.91 c 1236s | 18 | 2765568 | 373252 | 22274 37 | 395 | 336 1240.18/1240.66 c 1240s | 18 | 2765873 | 373452 | 22274 37 | 395 | 336 1243.08/1243.53 c 1243s | 18 | 2767033 | 373752 | 22274 37 | 395 | 336 1245.38/1245.81 c 1245s | 18 | 2767179 | 373852 | 22274 37 | 395 | 336 1248.58/1249.02 c 1248s | 18 | 2767732 | 374052 | 22274 37 | 395 | 336 1251.39/1251.81 c 1251s | 18 | 2768501 | 374252 | 22274 37 | 395 | 336 1254.69/1255.11 c 1254s | 18 | 2769612 | 374552 | 22274 37 | 395 | 336 1257.18/1257.60 c 1257s | 18 | 2770271 | 374752 | 22274 37 | 395 | 336 1259.19/1259.69 c 1259s | 18 | 2770719 | 374952 | 22274 37 | 395 | 336 1261.68/1262.15 c 1261s | 18 | 2771509 | 375152 | 22274 37 | 395 | 336 1264.18/1264.64 c 1264s | 18 | 2772019 | 375352 | 22274 37 | 395 | 336 1266.48/1266.98 c 1266s | 18 | 2772472 | 375552 | 22274 37 | 395 | 336 1269.58/1270.05 c 1269s | 18 | 2772772 | 375752 | 22274 37 | 395 | 336 1271.88/1272.37 c 1272s | 18 | 2773605 | 375952 | 22274 38 | 395 | 336 1273.98/1274.49 c 1274s | 18 | 2779966 | 377052 | 22274 38 | 395 | 336 1276.48/1276.93 c 1276s | 18 | 2783859 | 377852 | 22274 38 | 395 | 336 1278.68/1279.10 c 1278s | 18 | 2785158 | 378052 | 22274 38 | 395 | 336 1280.88/1281.34 c 1281s | 18 | 2788534 | 378952 | 22274 38 | 395 | 336 1283.08/1283.59 c 1283s | 18 | 2790747 | 379352 | 22274 38 | 395 | 336 1285.58/1286.06 c 1285s | 18 | 2792180 | 379752 | 22274 38 | 395 | 336 1288.07/1288.53 c 1288s | 18 | 2793296 | 380152 | 22274 38 | 395 | 336 1290.27/1290.76 c 1290s | 18 | 2794264 | 380452 | 22274 38 | 395 | 336 1292.87/1293.31 c 1293s | 18 | 2795118 | 380852 | 22274 38 | 395 | 336 1294.87/1295.36 c 1295s | 18 | 2795557 | 381052 | 22274 38 | 395 | 336 1297.27/1297.73 c 1297s | 18 | 2797151 | 381452 | 22274 38 | 395 | 336 1299.57/1300.03 c 1299s | 18 | 2797842 | 381752 | 22274 38 | 395 | 336 1302.17/1302.65 c 1302s | 18 | 2799642 | 382152 | 22274 38 | 395 | 336 1304.28/1304.77 c 1304s | 18 | 2803030 | 383052 | 22274 38 | 395 | 336 1306.48/1306.94 c 1306s | 18 | 2804739 | 383752 | 22274 38 | 395 | 336 1308.68/1309.14 c 1308s | 18 | 2807700 | 384452 | 22274 38 | 395 | 336 1310.67/1311.16 c 1310s | 18 | 2809787 | 385052 | 22274 39 | 395 | 336 1312.67/1313.20 c 1312s | 18 | 2816362 | 386352 | 22274 39 | 395 | 336 1314.87/1315.39 c 1315s | 18 | 2820046 | 387352 | 22274 39 | 395 | 336 1316.97/1317.43 c 1317s | 18 | 2824260 | 387952 | 22274 39 | 395 | 336 1319.17/1319.70 c 1319s | 18 | 2827808 | 388752 | 22274 39 | 395 | 336 1321.97/1322.47 c 1322s | 18 | 2829615 | 389352 | 22274 39 | 395 | 336 1324.37/1324.83 c 1324s | 18 | 2831128 | 389852 | 22274 39 | 395 | 336 1326.47/1326.91 c 1326s | 18 | 2832692 | 390352 | 22274 39 | 395 | 336 1328.67/1329.18 c 1328s | 18 | 2835262 | 391052 | 22274 39 | 395 | 336 1330.77/1331.21 c 1330s | 18 | 2836279 | 391452 | 22274 39 | 395 | 336 1332.87/1333.36 c 1333s | 18 | 2837850 | 391952 | 22274 39 | 395 | 336 1335.57/1336.06 c 1335s | 18 | 2840022 | 392552 | 22274 39 | 395 | 336 1337.57/1338.08 c 1337s | 18 | 2841487 | 392952 | 22274 39 | 395 | 336 1339.97/1340.45 c 1340s | 18 | 2842861 | 393452 | 22274 39 | 395 | 336 1343.26/1343.72 c 1343s | 18 | 2843623 | 393752 | 22274 39 | 395 | 336 1345.56/1346.00 c 1345s | 18 | 2843896 | 393852 | 22274 39 | 395 | 336 1348.76/1349.29 c 1349s | 18 | 2844554 | 394052 | 22274 40 | 395 | 336 1350.86/1351.35 c 1351s | 18 | 2849848 | 395252 | 22274 40 | 395 | 336 1352.86/1353.36 c 1353s | 18 | 2850780 | 395452 | 22274 40 | 395 | 336 1356.66/1357.18 c 1356s | 18 | 2852244 | 395852 | 22274 40 | 395 | 336 1361.06/1361.56 c 1361s | 18 | 2852958 | 396052 | 22274 40 | 395 | 336 1363.16/1363.68 c 1363s | 18 | 2854608 | 396452 | 22274 40 | 395 | 336 1365.26/1365.73 c 1365s | 18 | 2854794 | 396552 | 22274 40 | 395 | 336 1367.56/1368.05 c 1367s | 18 | 2855140 | 396652 | 22274 40 | 395 | 336 1370.66/1371.19 c 1370s | 18 | 2856710 | 397052 | 22274 40 | 395 | 336 1374.26/1374.75 c 1374s | 18 | 2857091 | 397152 | 22274 40 | 395 | 336 1376.96/1377.44 c 1377s | 18 | 2857519 | 397252 | 22274 40 | 395 | 336 1379.96/1380.41 c 1380s | 18 | 2858308 | 397452 | 22274 40 | 395 | 336 1382.26/1382.71 c 1382s | 18 | 2865712 | 398352 | 22274 40 | 395 | 336 1384.46/1384.97 c 1384s | 18 | 2877313 | 399352 | 22274 40 | 395 | 336 1386.76/1387.27 c 1387s | 18 | 2888395 | 400352 | 22274 40 | 395 | 336 1389.26/1389.71 c 1389s | 18 | 2890344 | 400952 | 22274 40 | 395 | 336 1391.26/1391.75 c 1391s | 18 | 2891663 | 401452 | 22274 40 | 395 | 336 1393.36/1393.81 c 1393s | 18 | 2892152 | 401752 | 22274 40 | 395 | 336 1395.46/1395.98 c 1395s | 18 | 2892896 | 402152 | 22274 40 | 395 | 336 1397.66/1398.16 c 1397s | 18 | 2895394 | 402852 | 22274 40 | 395 | 336 1399.76/1400.23 c 1400s | 18 | 2908200 | 404052 | 22274 41 | 395 | 336 1401.95/1402.44 c 1402s | 18 | 2918153 | 405452 | 22274 41 | 395 | 336 1404.15/1404.63 c 1404s | 18 | 2934015 | 406852 | 22274 41 | 395 | 336 1406.25/1406.73 c 1406s | 18 | 2938021 | 407652 | 22274 41 | 395 | 336 1408.25/1408.76 c 1408s | 18 | 2945863 | 408552 | 22274 41 | 395 | 336 1410.45/1410.94 c 1410s | 18 | 2959505 | 409652 | 22274 41 | 395 | 336 1412.55/1413.02 c 1412s | 18 | 2966789 | 410452 | 22274 42 | 395 | 336 1414.55/1415.06 c 1414s | 18 | 2972689 | 411652 | 22274 42 | 395 | 336 1416.55/1417.08 c 1416s | 18 | 2980407 | 412552 | 22274 42 | 395 | 336 1418.75/1419.27 c 1419s | 18 | 2993177 | 413752 | 22274 42 | 395 | 336 1420.76/1421.28 c 1421s | 18 | 2995590 | 414352 | 22274 42 | 395 | 336 1423.45/1423.90 c 1423s | 18 | 2999129 | 415152 | 22274 42 | 395 | 336 1426.15/1426.65 c 1426s | 18 | 3004259 | 415752 | 22274 42 | 395 | 336 1428.25/1428.75 c 1428s | 18 | 3007976 | 416352 | 22274 42 | 395 | 336 1430.45/1430.98 c 1430s | 18 | 3009657 | 416752 | 22274 42 | 395 | 336 1432.85/1433.37 c 1433s | 18 | 3010528 | 417052 | 22274 42 | 395 | 336 1435.45/1435.96 c 1435s | 18 | 3011545 | 417352 | 22274 43 | 395 | 336 1437.45/1437.98 c 1437s | 18 | 3019350 | 418652 | 22274 43 | 395 | 336 1439.65/1440.18 c 1439s | 18 | 3022470 | 419452 | 22274 43 | 395 | 336 1441.75/1442.23 c 1442s | 18 | 3024340 | 420052 | 22274 43 | 395 | 336 1443.75/1444.24 c 1444s | 18 | 3033372 | 421152 | 22274 43 | 395 | 336 1445.75/1446.27 c 1446s | 18 | 3038331 | 422052 | 22274 43 | 395 | 336 1447.95/1448.44 c 1448s | 18 | 3049702 | 423252 | 22274 43 | 395 | 336 1450.25/1450.73 c 1450s | 18 | 3056477 | 424152 | 22274 44 | 395 | 336 1452.65/1453.12 c 1452s | 18 | 3057367 | 424652 | 22274 44 | 395 | 336 1454.74/1455.22 c 1455s | 18 | 3066593 | 425652 | 22274 44 | 395 | 336 1457.24/1457.73 c 1457s | 18 | 3071645 | 426652 | 22274 44 | 395 | 336 1459.64/1460.16 c 1459s | 18 | 3074717 | 427252 | 22274 44 | 395 | 336 1461.95/1462.40 c 1462s | 18 | 3077895 | 427752 | 22274 44 | 395 | 336 1464.15/1464.68 c 1464s | 18 | 3078610 | 428052 | 22274 44 | 395 | 336 1466.25/1466.72 c 1466s | 18 | 3084934 | 428852 | 22274 44 | 395 | 336 1468.25/1468.78 c 1468s | 18 | 3088536 | 429552 | 22274 44 | 395 | 336 1470.45/1470.98 c 1470s | 18 | 3090031 | 430052 | 22274 44 | 395 | 336 1472.56/1473.06 c 1472s | 18 | 3098169 | 430952 | 22274 45 | 395 | 336 1474.76/1475.21 c 1474s | 18 | 3100732 | 431752 | 22274 45 | 395 | 336 1476.86/1477.37 c 1477s | 18 | 3104417 | 432552 | 22274 45 | 395 | 336 1478.95/1479.46 c 1479s | 18 | 3108008 | 433552 | 22274 45 | 395 | 336 1481.15/1481.66 c 1481s | 18 | 3109299 | 434152 | 22274 45 | 395 | 336 1483.35/1483.81 c 1483s | 18 | 3111156 | 434752 | 22274 45 | 395 | 336 1485.65/1486.18 c 1485s | 18 | 3112328 | 435252 | 22274 45 | 395 | 336 1488.25/1488.77 c 1488s | 18 | 3113224 | 435652 | 22274 45 | 395 | 336 1490.84/1491.30 c 1491s | 18 | 3115202 | 436052 | 22274 45 | 395 | 336 1492.84/1493.31 c 1493s | 18 | 3116205 | 436452 | 22274 45 | 395 | 336 1494.84/1495.35 c 1495s | 18 | 3121678 | 437352 | 22274 46 | 395 | 336 1497.04/1497.59 c 1497s | 18 | 3128095 | 438352 | 22274 46 | 395 | 336 1499.24/1499.78 c 1499s | 18 | 3133757 | 439352 | 22274 46 | 395 | 336 1501.44/1501.94 c 1501s | 18 | 3141578 | 440352 | 22274 46 | 395 | 336 1503.64/1504.16 c 1503s | 18 | 3150171 | 441452 | 24502 46 | 395 | 336 1505.74/1506.28 c 1506s | 18 | 3164796 | 442552 | 24502 46 | 395 | 336 1508.04/1508.55 c 1508s | 18 | 3167335 | 443152 | 24502 46 | 395 | 336 1510.24/1510.79 c 1510s | 18 | 3168053 | 443452 | 24502 46 | 395 | 336 1512.44/1512.97 c 1512s | 18 | 3169067 | 443752 | 24502 46 | 395 | 336 1514.84/1515.39 c 1515s | 18 | 3170386 | 444252 | 24502 46 | 395 | 336 1516.84/1517.39 c 1517s | 19 | 3170814 | 444482 | 24502 46 | 395 | 336 1518.94/1519.46 c 1519s | 19 | 3182927 | 445682 | 24502 47 | 395 | 336 1521.04/1521.57 c 1521s | 19 | 3200387 | 447282 | 24502 47 | 395 | 336 1523.15/1523.61 c 1523s | 19 | 3210923 | 448382 | 24502 47 | 395 | 336 1525.14/1525.67 c 1525s | 19 | 3214461 | 449282 | 24502 47 | 395 | 336 1527.34/1527.88 c 1527s | 19 | 3216640 | 449982 | 24502 47 | 395 | 336 1529.44/1529.99 c 1529s | 19 | 3222969 | 450782 | 24502 47 | 395 | 336 1531.54/1532.03 c 1531s | 19 | 3242604 | 452182 | 24502 48 | 395 | 336 1533.54/1534.09 c 1533s | 19 | 3259478 | 453782 | 24502 48 | 395 | 336 1535.54/1536.09 c 1535s | 19 | 3264162 | 454782 | 24502 48 | 395 | 336 1537.74/1538.24 c 1538s | 19 | 3269889 | 455982 | 24502 48 | 395 | 336 1539.93/1540.44 c 1540s | 19 | 3273398 | 456882 | 24502 48 | 395 | 336 1542.03/1542.53 c 1542s | 19 | 3275770 | 457682 | 24502 48 | 395 | 336 1544.23/1544.75 c 1544s | 19 | 3278578 | 458582 | 24502 48 | 395 | 336 1546.63/1547.15 c 1546s | 19 | 3280777 | 459282 | 24502 48 | 395 | 336 1549.13/1549.63 c 1549s | 19 | 3281998 | 459782 | 24502 48 | 395 | 336 1551.33/1551.82 c 1551s | 19 | 3285159 | 460482 | 24502 48 | 395 | 336 1553.43/1553.96 c 1553s | 19 | 3287059 | 461082 | 24502 49 | 395 | 336 1555.53/1556.00 c 1555s | 19 | 3291677 | 462082 | 24502 49 | 395 | 336 1557.64/1558.14 c 1557s | 19 | 3294383 | 462782 | 24502 49 | 395 | 336 1559.63/1560.18 c 1559s | 19 | 3296008 | 463282 | 24502 49 | 395 | 336 1561.93/1562.47 c 1562s | 19 | 3297962 | 463782 | 24502 49 | 395 | 336 1564.43/1564.90 c 1564s | 19 | 3299708 | 464282 | 24502 49 | 395 | 336 1566.83/1567.37 c 1567s | 19 | 3301150 | 464782 | 24502 49 | 395 | 336 1569.13/1569.62 c 1569s | 19 | 3305466 | 465582 | 24502 49 | 395 | 336 1571.13/1571.69 c 1571s | 19 | 3309904 | 466482 | 24502 49 | 395 | 336 1573.43/1573.95 c 1573s | 19 | 3316590 | 467582 | 24502 49 | 395 | 336 1575.53/1576.01 c 1575s | 19 | 3322734 | 468482 | 24502 49 | 395 | 336 1577.73/1578.28 c 1578s | 19 | 3326753 | 469182 | 24502 49 | 395 | 336 1580.03/1580.54 c 1580s | 19 | 3329364 | 469682 | 24502 49 | 395 | 336 1582.13/1582.63 c 1582s | 19 | 3334798 | 470882 | 24502 50 | 395 | 336 1584.23/1584.74 c 1584s | 19 | 3340569 | 471982 | 24502 50 | 395 | 336 1586.43/1586.90 c 1586s | 19 | 3342675 | 472582 | 24502 50 | 395 | 336 1588.43/1588.95 c 1588s | 19 | 3345236 | 473282 | 24502 50 | 395 | 336 1590.63/1591.20 c 1590s | 19 | 3348309 | 474182 | 24502 50 | 395 | 336 1593.12/1593.61 c 1593s | 19 | 3350398 | 474782 | 24502 50 | 395 | 336 1595.32/1595.80 c 1595s | 19 | 3353258 | 475382 | 24502 50 | 395 | 336 1597.52/1598.05 c 1597s | 19 | 3357118 | 476482 | 24502 50 | 395 | 336 1599.92/1600.48 c 1600s | 19 | 3359837 | 477282 | 24502 50 | 395 | 336 1602.13/1602.61 c 1602s | 19 | 3361101 | 477682 | 24502 50 | 395 | 336 1604.13/1604.64 c 1604s | 19 | 3365826 | 478682 | 24502 51 | 395 | 336 1606.23/1606.77 c 1606s | 19 | 3371936 | 479882 | 24502 51 | 395 | 336 1608.33/1608.81 c 1608s | 19 | 3378297 | 481082 | 24502 51 | 395 | 336 1610.43/1610.98 c 1610s | 19 | 3382134 | 481982 | 24502 51 | 395 | 336 1612.73/1613.22 c 1613s | 19 | 3384421 | 482682 | 24502 51 | 395 | 336 1614.73/1615.23 c 1615s | 19 | 3385809 | 483182 | 24502 51 | 395 | 336 1617.03/1617.59 c 1617s | 19 | 3389129 | 483882 | 24502 51 | 395 | 336 1619.23/1619.73 c 1619s | 19 | 3390453 | 484282 | 24502 51 | 395 | 336 1621.23/1621.77 c 1621s | 19 | 3393431 | 485082 | 24502 51 | 395 | 336 1623.43/1623.93 c 1623s | 19 | 3398539 | 486082 | 24502 51 | 395 | 336 1625.52/1626.09 c 1625s | 19 | 3400553 | 486682 | 24502 52 | 395 | 336 1627.72/1628.26 c 1628s | 19 | 3404615 | 487582 | 24502 52 | 395 | 336 1629.73/1630.26 c 1630s | 19 | 3407075 | 488082 | 24502 52 | 395 | 336 1631.82/1632.38 c 1632s | 19 | 3410566 | 488682 | 24502 52 | 395 | 336 1633.92/1634.48 c 1634s | 19 | 3414589 | 489582 | 24502 52 | 395 | 336 1636.02/1636.55 c 1636s | 19 | 3420717 | 490582 | 24502 52 | 395 | 336 1638.12/1638.65 c 1638s | 19 | 3424771 | 491382 | 24502 52 | 395 | 336 1640.32/1640.84 c 1640s | 19 | 3427742 | 492182 | 24502 52 | 395 | 336 1642.62/1643.11 c 1642s | 19 | 3428800 | 492582 | 24502 52 | 395 | 336 1644.83/1645.31 c 1645s | 19 | 3432888 | 493382 | 24502 52 | 395 | 336 1647.02/1647.52 c 1647s | 19 | 3435195 | 493982 | 24502 52 | 395 | 336 1649.02/1649.59 c 1649s | 19 | 3438746 | 494682 | 24502 53 | 395 | 336 1651.22/1651.78 c 1651s | 19 | 3442081 | 495482 | 24502 53 | 395 | 336 1653.22/1653.78 c 1653s | 19 | 3443352 | 495882 | 24502 53 | 395 | 336 1655.52/1656.10 c 1655s | 19 | 3444189 | 496282 | 24502 53 | 395 | 336 1657.82/1658.34 c 1658s | 19 | 3445905 | 496782 | 24502 53 | 395 | 336 1660.02/1660.55 c 1660s | 19 | 3451183 | 497782 | 24502 53 | 395 | 336 1662.22/1662.77 c 1662s | 19 | 3454532 | 498582 | 24502 53 | 395 | 336 1664.32/1664.87 c 1664s | 19 | 3457782 | 499282 | 24502 53 | 395 | 336 1666.41/1666.96 c 1666s | 19 | 3459641 | 499882 | 24502 53 | 395 | 336 1668.71/1669.22 c 1669s | 19 | 3461447 | 500482 | 24502 53 | 395 | 336 1670.71/1671.25 c 1671s | 19 | 3463788 | 501082 | 24502 53 | 395 | 336 1673.02/1673.53 c 1673s | 19 | 3464873 | 501482 | 24502 53 | 395 | 336 1675.12/1675.65 c 1675s | 19 | 3469783 | 502482 | 24502 54 | 395 | 336 1677.32/1677.80 c 1677s | 19 | 3473301 | 503382 | 24502 54 | 395 | 336 1679.33/1679.83 c 1679s | 19 | 3481552 | 504582 | 24502 54 | 395 | 336 1681.43/1681.99 c 1681s | 19 | 3487126 | 505982 | 24502 54 | 395 | 336 1683.73/1684.24 c 1684s | 19 | 3489972 | 506882 | 24502 54 | 395 | 336 1685.92/1686.45 c 1686s | 19 | 3492891 | 507782 | 24502 54 | 395 | 336 1688.12/1688.61 c 1688s | 19 | 3495066 | 508482 | 24502 54 | 395 | 336 1690.22/1690.74 c 1690s | 19 | 3499037 | 509382 | 24502 55 | 395 | 336 1692.32/1692.83 c 1692s | 19 | 3502720 | 510182 | 24502 55 | 395 | 336 1694.51/1695.04 c 1694s | 19 | 3506007 | 510982 | 24502 55 | 395 | 336 1696.61/1697.13 c 1696s | 19 | 3509348 | 511882 | 24502 55 | 395 | 336 1698.81/1699.37 c 1699s | 19 | 3511774 | 512682 | 24502 55 | 395 | 336 1701.01/1701.56 c 1701s | 19 | 3515339 | 513582 | 24502 55 | 395 | 336 1703.21/1703.73 c 1703s | 19 | 3516802 | 514082 | 24502 55 | 395 | 336 1705.31/1705.87 c 1705s | 19 | 3518617 | 514682 | 24502 55 | 395 | 336 1707.41/1707.92 c 1707s | 19 | 3520628 | 515182 | 24502 56 | 395 | 336 1709.41/1709.96 c 1709s | 19 | 3525666 | 516382 | 24502 56 | 395 | 336 1711.61/1712.18 c 1711s | 19 | 3528932 | 517282 | 24502 56 | 395 | 336 1713.81/1714.39 c 1714s | 19 | 3530997 | 517982 | 24502 56 | 395 | 336 1715.91/1716.42 c 1716s | 19 | 3532238 | 518482 | 24502 56 | 395 | 336 1717.90/1718.49 c 1718s | 19 | 3536205 | 519382 | 24502 56 | 395 | 336 1720.01/1720.55 c 1720s | 19 | 3540711 | 520382 | 24502 56 | 395 | 336 1722.21/1722.72 c 1722s | 19 | 3543971 | 521182 | 24502 56 | 395 | 336 1724.20/1724.77 c 1724s | 19 | 3546470 | 521882 | 24502 56 | 395 | 336 1726.30/1726.80 c 1726s | 19 | 3549766 | 522682 | 24502 57 | 395 | 336 1728.40/1728.99 c 1728s | 19 | 3552979 | 523482 | 24502 57 | 395 | 336 1730.50/1731.00 c 1730s | 19 | 3555066 | 524082 | 24502 57 | 395 | 336 1732.70/1733.24 c 1733s | 19 | 3557391 | 524682 | 24502 57 | 395 | 336 1734.90/1735.40 c 1735s | 19 | 3560138 | 525282 | 24502 57 | 395 | 336 1737.10/1737.63 c 1737s | 19 | 3561538 | 525782 | 24502 57 | 395 | 336 1739.10/1739.64 c 1739s | 19 | 3563798 | 526382 | 24502 57 | 395 | 336 1741.21/1741.73 c 1741s | 19 | 3565880 | 526982 | 24502 57 | 395 | 336 1743.71/1744.29 c 1744s | 19 | 3568074 | 527582 | 24502 57 | 395 | 336 1745.81/1746.36 c 1746s | 19 | 3568879 | 527882 | 24502 57 | 395 | 336 1748.01/1748.51 c 1748s | 19 | 3573920 | 528682 | 24502 58 | 395 | 336 1750.01/1750.55 c 1750s | 19 | 3576696 | 529382 | 24502 58 | 395 | 336 1752.20/1752.77 c 1752s | 19 | 3583745 | 530582 | 24502 58 | 395 | 336 1754.30/1754.85 c 1754s | 19 | 3586240 | 531282 | 24502 58 | 395 | 336 1756.60/1757.13 c 1756s | 19 | 3588429 | 531882 | 24502 58 | 395 | 336 1758.70/1759.22 c 1759s | 19 | 3590160 | 532282 | 24502 58 | 395 | 336 1760.90/1761.42 c 1761s | 19 | 3592847 | 532882 | 24502 58 | 395 | 336 1762.91/1763.47 c 1763s | 19 | 3595685 | 533482 | 24502 58 | 395 | 336 1765.40/1765.95 c 1765s | 19 | 3596897 | 533982 | 24502 58 | 395 | 336 1767.80/1768.34 c 1768s | 19 | 3598384 | 534482 | 24502 59 | 395 | 336 1769.80/1770.37 c 1770s | 19 | 3603730 | 535682 | 24502 59 | 395 | 336 1772.01/1772.53 c 1772s | 19 | 3606256 | 536582 | 24502 59 | 395 | 336 1774.51/1775.00 c 1774s | 19 | 3610648 | 537382 | 24502 59 | 395 | 336 1776.51/1777.09 c 1776s | 19 | 3615335 | 538382 | 24502 59 | 395 | 336 1778.70/1779.29 c 1779s | 19 | 3620558 | 539482 | 24502 59 | 395 | 336 1781.30/1781.85 c 1781s | 19 | 3623236 | 540082 | 24502 60 | 395 | 336 1783.40/1783.93 c 1783s | 19 | 3628186 | 541282 | 24502 60 | 395 | 336 1785.70/1786.26 c 1786s | 19 | 3630223 | 541982 | 24502 60 | 395 | 336 1788.00/1788.58 c 1788s | 19 | 3631957 | 542582 | 24502 60 | 395 | 336 1790.30/1790.81 c 1790s | 19 | 3634208 | 543282 | 24502 60 | 395 | 336 1792.30/1792.83 c 1792s | 19 | 3635784 | 543782 | 24502 60 | 395 | 336 1794.40/1794.95 c 1794s | 19 | 3637605 | 544382 | 24502 60 | 395 | 336 1796.60/1797.13 c 1796s | 19 | 3638722 | 544882 | 24502 60 | 395 | 336 1798.60/1799.16 c 1798s | 19 | 3639564 | 545282 | 24502 60 | 395 | 336
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-4078938-1465281879/watcher-4078938-1465281879 -o /tmp/evaluation-result-4078938-1465281879/solver-4078938-1465281879 -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-4078938-1465281879.opb pid=13073 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.20 2.15 2.16 3/179 13076 /proc/meminfo: memFree=27838480/32872528 swapFree=15272/1656604 [pid=13076] ppid=13073 vsize=553404 CPUtime=0 cores=1,3,5,7 /proc/13076/stat : 13076 (toysat) R 13073 13076 9894 0 -1 4202496 2034 0 0 0 0 0 0 0 20 0 4 0 110121197 566685696 2396 33554432000 4194304 16246674 140736462059600 140736462059024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13076/statm: 138863 2406 441 2943 0 135757 0 [pid=13076/tid=13077] ppid=13073 vsize=570812 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13077/stat : 13077 (toysat) S 13073 13076 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110121197 584511488 2464 33554432000 4194304 16246674 140736462059600 140478874889456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13076/tid=13078] ppid=13073 vsize=574908 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13078/stat : 13078 (toysat) S 13073 13076 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110121197 588705792 2481 33554432000 4194304 16246674 140736462059600 140478864399600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13076/tid=13079] ppid=13073 vsize=579004 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 592900096 2498 33554432000 4194304 16246674 140736462059600 140478783679664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100175 s] /proc/loadavg: 2.20 2.15 2.16 3/179 13076 /proc/meminfo: memFree=27838480/32872528 swapFree=15272/1656604 [pid=13076] ppid=13073 vsize=1302084 CPUtime=0.08 cores=1,3,5,7 /proc/13076/stat : 13076 (toysat) R 13073 13076 9894 0 -1 4202496 26809 0 0 0 5 3 0 0 20 0 4 0 110121197 1333334016 27108 33554432000 4194304 16246674 140736462059600 140736462058912 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13076/statm: 325521 27123 801 2943 0 322415 0 [pid=13076/tid=13077] ppid=13073 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13077/stat : 13077 (toysat) S 13073 13076 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110121197 1333334016 27135 33554432000 4194304 16246674 140736462059600 140478874889456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13076/tid=13078] ppid=13073 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13078/stat : 13078 (toysat) S 13073 13076 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110121197 1333334016 27148 33554432000 4194304 16246674 140736462059600 140478864399600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13076/tid=13079] ppid=13073 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 1333334016 27161 33554432000 4194304 16246674 140736462059600 140478783679664 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) 1302084 [startup+0.200541 s] /proc/loadavg: 2.20 2.15 2.16 3/179 13076 /proc/meminfo: memFree=27838480/32872528 swapFree=15272/1656604 [pid=13076] ppid=13073 vsize=1302084 CPUtime=0.18 cores=1,3,5,7 /proc/13076/stat : 13076 (toysat) R 13073 13076 9894 0 -1 4202496 42507 0 0 0 13 5 0 0 20 0 4 0 110121197 1333334016 42806 33554432000 4194304 16246674 140736462059600 140736462058912 12880400 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13076/statm: 325521 42806 834 2943 0 322415 0 [pid=13076/tid=13077] ppid=13073 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13077/stat : 13077 (toysat) S 13073 13076 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110121197 1333334016 42806 33554432000 4194304 16246674 140736462059600 140478874889456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13076/tid=13078] ppid=13073 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13078/stat : 13078 (toysat) S 13073 13076 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110121197 1333334016 42806 33554432000 4194304 16246674 140736462059600 140478864399600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13076/tid=13079] ppid=13073 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 1333334016 42806 33554432000 4194304 16246674 140736462059600 140478783679664 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.300506 s] /proc/loadavg: 2.20 2.15 2.16 3/179 13076 /proc/meminfo: memFree=27838480/32872528 swapFree=15272/1656604 [pid=13076] ppid=13073 vsize=1302084 CPUtime=0.29 cores=1,3,5,7 /proc/13076/stat : 13076 (toysat) R 13073 13076 9894 0 -1 4202496 58864 0 0 0 21 8 0 0 20 0 4 0 110121197 1333334016 59163 33554432000 4194304 16246674 140736462059600 140736462058912 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13076/statm: 325521 59175 876 2943 0 322415 0 [pid=13076/tid=13077] ppid=13073 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13077/stat : 13077 (toysat) S 13073 13076 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110121197 1333334016 59185 33554432000 4194304 16246674 140736462059600 140478874889456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13076/tid=13078] ppid=13073 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13078/stat : 13078 (toysat) S 13073 13076 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110121197 1333334016 59195 33554432000 4194304 16246674 140736462059600 140478864399600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13076/tid=13079] ppid=13073 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 1333334016 59205 33554432000 4194304 16246674 140736462059600 140478783679664 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.700388 s] /proc/loadavg: 2.20 2.15 2.16 3/179 13076 /proc/meminfo: memFree=27838480/32872528 swapFree=15272/1656604 [pid=13076] ppid=13073 vsize=1302084 CPUtime=0.69 cores=1,3,5,7 /proc/13076/stat : 13076 (toysat) R 13073 13076 9894 0 -1 4202496 139326 0 0 0 51 18 0 0 20 0 4 0 110121197 1333334016 139626 33554432000 4194304 16246674 140736462059600 140736462041472 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13076/statm: 325521 139630 876 2943 0 322415 0 [pid=13076/tid=13077] ppid=13073 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13077/stat : 13077 (toysat) S 13073 13076 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110121197 1333334016 139634 33554432000 4194304 16246674 140736462059600 140478874889456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13076/tid=13078] ppid=13073 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13078/stat : 13078 (toysat) S 13073 13076 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110121197 1333334016 139638 33554432000 4194304 16246674 140736462059600 140478864399600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13076/tid=13079] ppid=13073 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 1333334016 139641 33554432000 4194304 16246674 140736462059600 140478783679664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1302084 [startup+1.50042 s] /proc/loadavg: 2.20 2.15 2.16 3/183 13080 /proc/meminfo: memFree=26898580/32872528 swapFree=15272/1656604 [pid=13076] ppid=13073 vsize=1310276 CPUtime=1.48 cores=1,3,5,7 /proc/13076/stat : 13076 (toysat) R 13073 13076 9894 0 -1 4202496 268610 0 0 0 114 34 0 0 20 0 4 0 110121197 1341722624 268909 33554432000 4194304 16246674 140736462059600 140736462041472 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13076/statm: 327569 268909 883 2943 0 324463 0 [pid=13076/tid=13077] ppid=13073 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13077/stat : 13077 (toysat) S 13073 13076 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110121197 1341722624 268909 33554432000 4194304 16246674 140736462059600 140478874889456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13076/tid=13078] ppid=13073 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13078/stat : 13078 (toysat) S 13073 13076 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110121197 1341722624 268909 33554432000 4194304 16246674 140736462059600 140478864399600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13076/tid=13079] ppid=13073 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 1341722624 268909 33554432000 4194304 16246674 140736462059600 140478783679664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1310276 [startup+3.10041 s] /proc/loadavg: 2.20 2.15 2.16 3/183 13080 /proc/meminfo: memFree=26751392/32872528 swapFree=15272/1656604 [pid=13076] ppid=13073 vsize=1310276 CPUtime=3.08 cores=1,3,5,7 /proc/13076/stat : 13076 (toysat) R 13073 13076 9894 0 -1 4202496 268752 0 0 0 274 34 0 0 20 0 4 0 110121197 1341722624 269051 33554432000 4194304 16246674 140736462059600 140736462042600 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13076/statm: 327569 269051 883 2943 0 324463 0 [pid=13076/tid=13077] ppid=13073 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13077/stat : 13077 (toysat) S 13073 13076 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110121197 1341722624 269051 33554432000 4194304 16246674 140736462059600 140478874889456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13076/tid=13078] ppid=13073 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13078/stat : 13078 (toysat) S 13073 13076 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110121197 1341722624 269051 33554432000 4194304 16246674 140736462059600 140478864399600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13076/tid=13079] ppid=13073 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 1341722624 269051 33554432000 4194304 16246674 140736462059600 140478783679664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1310276 [startup+6.30038 s] /proc/loadavg: 2.27 2.16 2.17 4/183 13080 /proc/meminfo: memFree=26750752/32872528 swapFree=15272/1656604 [pid=13076] ppid=13073 vsize=1310276 CPUtime=6.28 cores=1,3,5,7 /proc/13076/stat : 13076 (toysat) R 13073 13076 9894 0 -1 4202496 268754 0 0 0 594 34 0 0 20 0 4 0 110121197 1341722624 269053 33554432000 4194304 16246674 140736462059600 140736462041472 5673702 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13076/statm: 327569 269053 885 2943 0 324463 0 [pid=13076/tid=13077] ppid=13073 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13077/stat : 13077 (toysat) S 13073 13076 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110121197 1341722624 269053 33554432000 4194304 16246674 140736462059600 140478874889456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13076/tid=13078] ppid=13073 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13078/stat : 13078 (toysat) S 13073 13076 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110121197 1341722624 269053 33554432000 4194304 16246674 140736462059600 140478864399600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13076/tid=13079] ppid=13073 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 1341722624 269053 33554432000 4194304 16246674 140736462059600 140478783679664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1310276 [startup+12.7004 s] /proc/loadavg: 2.25 2.16 2.17 3/183 13080 /proc/meminfo: memFree=26749572/32872528 swapFree=15272/1656604 [pid=13076] ppid=13073 vsize=1310276 CPUtime=12.68 cores=1,3,5,7 /proc/13076/stat : 13076 (toysat) R 13073 13076 9894 0 -1 4202496 268754 0 0 0 1234 34 0 0 20 0 4 0 110121197 1341722624 269053 33554432000 4194304 16246674 140736462059600 140736462041472 13954531 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13076/statm: 327569 269053 885 2943 0 324463 0 [pid=13076/tid=13077] ppid=13073 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13077/stat : 13077 (toysat) S 13073 13076 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110121197 1341722624 269053 33554432000 4194304 16246674 140736462059600 140478874889456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13076/tid=13078] ppid=13073 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13078/stat : 13078 (toysat) S 13073 13076 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110121197 1341722624 269053 33554432000 4194304 16246674 140736462059600 140478864399600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13076/tid=13079] ppid=13073 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 1341722624 269053 33554432000 4194304 16246674 140736462059600 140478783679664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1310276 [startup+25.5005 s] /proc/loadavg: 2.19 2.15 2.16 3/183 13080 /proc/meminfo: memFree=26723688/32872528 swapFree=15272/1656604 [pid=13076] ppid=13073 vsize=1310276 CPUtime=25.48 cores=1,3,5,7 /proc/13076/stat : 13076 (toysat) R 13073 13076 9894 0 -1 4202496 268755 0 0 0 2514 34 0 0 20 0 4 0 110121197 1341722624 269054 33554432000 4194304 16246674 140736462059600 140736462041472 5754966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13076/statm: 327569 269054 886 2943 0 324463 0 [pid=13076/tid=13077] ppid=13073 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13077/stat : 13077 (toysat) S 13073 13076 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110121197 1341722624 269054 33554432000 4194304 16246674 140736462059600 140478874889456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13076/tid=13078] ppid=13073 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13078/stat : 13078 (toysat) S 13073 13076 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110121197 1341722624 269054 33554432000 4194304 16246674 140736462059600 140478864399600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13076/tid=13079] ppid=13073 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 1341722624 269054 33554432000 4194304 16246674 140736462059600 140478783679664 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) 1310276 [startup+51.1005 s] /proc/loadavg: 2.20 2.15 2.16 4/183 13080 /proc/meminfo: memFree=26677020/32872528 swapFree=15272/1656604 [pid=13076] ppid=13073 vsize=1310276 CPUtime=51.08 cores=1,3,5,7 /proc/13076/stat : 13076 (toysat) R 13073 13076 9894 0 -1 4202496 268755 0 0 0 5073 35 0 0 20 0 4 0 110121197 1341722624 269054 33554432000 4194304 16246674 140736462059600 140736462041472 13927423 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13076/statm: 327569 269054 886 2943 0 324463 0 [pid=13076/tid=13077] ppid=13073 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13077/stat : 13077 (toysat) S 13073 13076 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110121197 1341722624 269054 33554432000 4194304 16246674 140736462059600 140478874889456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13076/tid=13078] ppid=13073 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13078/stat : 13078 (toysat) S 13073 13076 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110121197 1341722624 269054 33554432000 4194304 16246674 140736462059600 140478864399600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13076/tid=13079] ppid=13073 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 1341722624 269054 33554432000 4194304 16246674 140736462059600 140478783679664 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) 1310276 [startup+102.301 s] /proc/loadavg: 2.28 2.17 2.17 3/182 13081 /proc/meminfo: memFree=26614132/32872528 swapFree=15272/1656604 [pid=13076] ppid=13073 vsize=1310276 CPUtime=102.28 cores=1,3,5,7 /proc/13076/stat : 13076 (toysat) R 13073 13076 9894 0 -1 4202496 268755 0 0 0 10193 35 0 0 20 0 4 0 110121197 1341722624 269054 33554432000 4194304 16246674 140736462059600 140736462041472 6861625 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13076/statm: 327569 269054 886 2943 0 324463 0 [pid=13076/tid=13077] ppid=13073 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13077/stat : 13077 (toysat) S 13073 13076 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110121197 1341722624 269054 33554432000 4194304 16246674 140736462059600 140478874889456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13076/tid=13078] ppid=13073 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13078/stat : 13078 (toysat) S 13073 13076 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110121197 1341722624 269054 33554432000 4194304 16246674 140736462059600 140478864399600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13076/tid=13079] ppid=13073 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 1341722624 269054 33554432000 4194304 16246674 140736462059600 140478783679664 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) 1310276 ################ # More data... # ################ /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270265 33554432000 4194304 16246674 140736462059600 140478783679664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1314372 [startup+1302.3 s] /proc/loadavg: 2.15 2.23 2.19 3/183 13182 /proc/meminfo: memFree=28124440/32872528 swapFree=15272/1656604 [pid=13076] ppid=13073 vsize=1314372 CPUtime=1301.87 cores=1,3,5,7 /proc/13076/stat : 13076 (toysat) R 13073 13076 9894 0 -1 4202496 270064 0 0 0 130139 48 0 0 20 0 4 0 110121197 1345916928 270265 33554432000 4194304 16246674 140736462059600 140736462041472 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13076/statm: 328593 270265 886 2943 0 325487 0 [pid=13076/tid=13077] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13077/stat : 13077 (toysat) S 13073 13076 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270265 33554432000 4194304 16246674 140736462059600 140478874889456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13076/tid=13078] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13078/stat : 13078 (toysat) S 13073 13076 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270265 33554432000 4194304 16246674 140736462059600 140478864399600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13076/tid=13079] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270265 33554432000 4194304 16246674 140736462059600 140478783679664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1314372 [startup+1362.3 s] /proc/loadavg: 2.21 2.23 2.19 3/183 13184 /proc/meminfo: memFree=28123976/32872528 swapFree=15272/1656604 [pid=13076] ppid=13073 vsize=1314372 CPUtime=1361.86 cores=1,3,5,7 /proc/13076/stat : 13076 (toysat) R 13073 13076 9894 0 -1 4202496 270064 0 0 0 136138 48 0 0 20 0 4 0 110121197 1345916928 270265 33554432000 4194304 16246674 140736462059600 140736462041472 6842957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13076/statm: 328593 270265 886 2943 0 325487 0 [pid=13076/tid=13077] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13077/stat : 13077 (toysat) S 13073 13076 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270265 33554432000 4194304 16246674 140736462059600 140478874889456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13076/tid=13078] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13078/stat : 13078 (toysat) S 13073 13076 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270265 33554432000 4194304 16246674 140736462059600 140478864399600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13076/tid=13079] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270265 33554432000 4194304 16246674 140736462059600 140478783679664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1314372 [startup+1422.3 s] /proc/loadavg: 2.17 2.22 2.18 3/183 13185 /proc/meminfo: memFree=28124376/32872528 swapFree=15272/1656604 [pid=13076] ppid=13073 vsize=1314372 CPUtime=1421.86 cores=1,3,5,7 /proc/13076/stat : 13076 (toysat) R 13073 13076 9894 0 -1 4202496 270064 0 0 0 142138 48 0 0 20 0 4 0 110121197 1345916928 270265 33554432000 4194304 16246674 140736462059600 140736462041472 5722908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13076/statm: 328593 270265 886 2943 0 325487 0 [pid=13076/tid=13077] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13077/stat : 13077 (toysat) S 13073 13076 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270265 33554432000 4194304 16246674 140736462059600 140478874889456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13076/tid=13078] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13078/stat : 13078 (toysat) S 13073 13076 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270265 33554432000 4194304 16246674 140736462059600 140478864399600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13076/tid=13079] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270265 33554432000 4194304 16246674 140736462059600 140478783679664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1314372 [startup+1482.3 s] /proc/loadavg: 2.19 2.22 2.18 3/183 13186 /proc/meminfo: memFree=28124396/32872528 swapFree=15272/1656604 [pid=13076] ppid=13073 vsize=1314372 CPUtime=1481.85 cores=1,3,5,7 /proc/13076/stat : 13076 (toysat) R 13073 13076 9894 0 -1 4202496 270064 0 0 0 148136 49 0 0 20 0 4 0 110121197 1345916928 270265 33554432000 4194304 16246674 140736462059600 140736462041472 5722849 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13076/statm: 328593 270265 886 2943 0 325487 0 [pid=13076/tid=13077] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13077/stat : 13077 (toysat) S 13073 13076 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270265 33554432000 4194304 16246674 140736462059600 140478874889456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13076/tid=13078] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13078/stat : 13078 (toysat) S 13073 13076 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270265 33554432000 4194304 16246674 140736462059600 140478864399600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13076/tid=13079] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270265 33554432000 4194304 16246674 140736462059600 140478783679664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1314372 [startup+1542.31 s] /proc/loadavg: 2.31 2.24 2.19 3/184 13190 /proc/meminfo: memFree=28123652/32872528 swapFree=15272/1656604 [pid=13076] ppid=13073 vsize=1314372 CPUtime=1541.84 cores=1,3,5,7 /proc/13076/stat : 13076 (toysat) R 13073 13076 9894 0 -1 4202496 270133 0 0 0 154135 49 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140736462041472 5722180 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13076/statm: 328593 270334 886 2943 0 325487 0 [pid=13076/tid=13077] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13077/stat : 13077 (toysat) S 13073 13076 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140478874889456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13076/tid=13078] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13078/stat : 13078 (toysat) S 13073 13076 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140478864399600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13076/tid=13079] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140478783679664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1314372 [startup+1602.3 s] /proc/loadavg: 2.50 2.30 2.21 3/183 13191 /proc/meminfo: memFree=28123560/32872528 swapFree=15272/1656604 [pid=13076] ppid=13073 vsize=1314372 CPUtime=1601.82 cores=1,3,5,7 /proc/13076/stat : 13076 (toysat) R 13073 13076 9894 0 -1 4202496 270133 0 0 0 160132 50 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140736462041472 12875570 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13076/statm: 328593 270334 886 2943 0 325487 0 [pid=13076/tid=13077] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13077/stat : 13077 (toysat) S 13073 13076 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140478874889456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13076/tid=13078] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13078/stat : 13078 (toysat) S 13073 13076 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140478864399600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13076/tid=13079] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140478783679664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1314372 [startup+1662.3 s] /proc/loadavg: 2.23 2.26 2.20 3/183 13193 /proc/meminfo: memFree=28123344/32872528 swapFree=15272/1656604 [pid=13076] ppid=13073 vsize=1314372 CPUtime=1661.82 cores=1,3,5,7 /proc/13076/stat : 13076 (toysat) R 13073 13076 9894 0 -1 4202496 270133 0 0 0 166130 52 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140736462041472 12483326 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13076/statm: 328593 270334 886 2943 0 325487 0 [pid=13076/tid=13077] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13077/stat : 13077 (toysat) S 13073 13076 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140478874889456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13076/tid=13078] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13078/stat : 13078 (toysat) S 13073 13076 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140478864399600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13076/tid=13079] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140478783679664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1314372 [startup+1722.3 s] /proc/loadavg: 2.42 2.30 2.21 3/183 13194 /proc/meminfo: memFree=28123028/32872528 swapFree=15272/1656604 [pid=13076] ppid=13073 vsize=1314372 CPUtime=1721.8 cores=1,3,5,7 /proc/13076/stat : 13076 (toysat) R 13073 13076 9894 0 -1 4202496 270133 0 0 0 172127 53 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140736462041472 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13076/statm: 328593 270334 886 2943 0 325487 0 [pid=13076/tid=13077] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13077/stat : 13077 (toysat) S 13073 13076 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140478874889456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13076/tid=13078] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13078/stat : 13078 (toysat) S 13073 13076 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140478864399600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13076/tid=13079] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140478783679664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1314372 [startup+1782.3 s] /proc/loadavg: 2.41 2.32 2.22 3/183 13195 /proc/meminfo: memFree=28123192/32872528 swapFree=15272/1656604 [pid=13076] ppid=13073 vsize=1314372 CPUtime=1781.8 cores=1,3,5,7 /proc/13076/stat : 13076 (toysat) R 13073 13076 9894 0 -1 4202496 270133 0 0 0 178125 55 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140736462041472 5546177 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13076/statm: 328593 270334 886 2943 0 325487 0 [pid=13076/tid=13077] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13077/stat : 13077 (toysat) S 13073 13076 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140478874889456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13076/tid=13078] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13078/stat : 13078 (toysat) S 13073 13076 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140478864399600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13076/tid=13079] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140478783679664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1314372 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.30 2.30 2.21 3/183 13196 /proc/meminfo: memFree=28123080/32872528 swapFree=15272/1656604 [pid=13076] ppid=13073 vsize=1314372 CPUtime=1800.09 cores=1,3,5,7 /proc/13076/stat : 13076 (toysat) R 13073 13076 9894 0 -1 4202496 270133 0 0 0 179954 55 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140736462041472 5722849 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13076/statm: 328593 270334 886 2943 0 325487 0 [pid=13076/tid=13077] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13077/stat : 13077 (toysat) S 13073 13076 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140478874889456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13076/tid=13078] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13078/stat : 13078 (toysat) S 13073 13076 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140478864399600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13076/tid=13079] ppid=13073 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13076/task/13079/stat : 13079 (toysat) S 13073 13076 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110121197 1345916928 270334 33554432000 4194304 16246674 140736462059600 140478783679664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1314372 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 13076 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.11 CPU user time (s): 1799.55 CPU system time (s): 0.558915 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 1314372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.55 system time used= 0.558915 maximum resident set size= 1081336 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270133 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= 369 involuntary context switches= 1896 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.02524 second user time and 8.01678 second system time The end
Begin job on node136 at 2016-06-07 08:44:39 IDJOB=4078938 IDBENCH=90113 IDSOLVER=2542 FILE ID=node136/4078938-1465281879 RUNJOBID= node136-1465261284-9911 PBS_JOBID= 19843291 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K87.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078938-1465281879/watcher-4078938-1465281879 -o /tmp/evaluation-result-4078938-1465281879/solver-4078938-1465281879 -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-4078938-1465281879.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 800363f05bcd3a7fdae42567bbf8c0cf RANDOM SEED=239213090 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: 27838908 kB Buffers: 47912 kB Cached: 144668 kB SwapCached: 768 kB Active: 2520104 kB Inactive: 118456 kB Active(anon): 2444676 kB Inactive(anon): 3540 kB Active(file): 75428 kB Inactive(file): 114916 kB Unevictable: 1656604 kB Mlocked: 15272 kB SwapTotal: 67108856 kB SwapFree: 67099384 kB Dirty: 16748 kB Writeback: 0 kB AnonPages: 4103824 kB Mapped: 10888 kB Shmem: 0 kB Slab: 598008 kB SReclaimable: 42056 kB SUnreclaim: 555952 kB KernelStack: 1480 kB PageTables: 12200 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4247376 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3407872 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:14:39