| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_19.opb |
| MD5SUM | a0b555e3d97de088b9388687f25060b6 |
| 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 | 6972 |
| Total number of constraints | 34118 |
| Number of constraints which are clauses | 34113 |
| Number of constraints which are cardinality constraints (but not clauses) | 5 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 83 |
| 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 | 19 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 102 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-17T01:18:34+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-4098010-1466119113.opb"] 0.00/0.01 c use --random-gen="2845045771 4045036661 3089221576 789213725 1206609466 635410617 1277530173 2837007785 1164036590 532182555 3605893516 1265968162 2445261760 1027284735 2416475441 913888584 2451026572 3897468262 1987589524 3236242694 28983977 264717991 4243460609 158928128 1795895276 2639684659 2295383362 2336472738 3102210216 976102180 3708207891 767492819 649498808 1273309643 2545672662 2285489149 719818706 12949458 1806778649 184071290 2902241382 43558551 1045718734 2156163282 1611511406 865547331 3876098808 192257211 2061642459 2334109049 3764839044 2632094169 2968553997 3644548134 3255794936 4084161123 898739179 696070003 1477150088 4220610810 1476743074 631879647 23903899 605409239 4185231189 2416390685 600873964 1720180043 2885611325 3095590728 125930489 3102745871 1405488759 34079892 10969385 2812124 2637069143 1186722798 2615399416 2150117191 4173753059 3726083989 547432837 682342591 93038417 1286172028 1351066271 1611653191 1565858134 798374273 3653534800 3214754690 538836916 66448144 670269105 1680060039 2809541923 349901407 251397877 20277337 3786624152 2544739517 2972970554 4026792267 1243846862 461864532 3716697363 1254826812 1032396882 348624881 752626189 1430460718 1101462294 2117056534 617894462 267637011 1680816769 3307695162 526520235 1507212382 2730939138 1056699453 2956297260 2944912399 2256547578 3851045135 3033096061 2225529964 4136094888 4091787990 3289221840 1051708877 3884898766 3500277899 2106714540 1852406823 368081506 272954855 589986810 3023754110 1446134556 4242179355 1676245531 3418851427 1277309896 629123835 3349375084 2067985153 3205588043 3559573370 544417916 2602305462 1890697008 464066270 4155482103 3442665547 1969134265 901491078 1714326325 3274866712 2124601558 385202657 1736675170 4110265963 2370249821 1787027382 3039283906 1380978676 404683223 1270020176 1096962794 2689998293 3728346224 74035449 349006378 1690650641 3354466393 2569627260 1401241604 1569910813 3439774671 38747398 378245564 206661259 2640384858 968249755 288844054 2615730965 2862348509 2457938022 2617325926 1699855125 2214237497 4097831110 3198652294 1855808839 1655725421 2400525952 412501855 4008203676 1956122093 989054166 4142111342 1020878465 1237163113 3843201324 4193298011 818402386 134012384 2882324916 3260824562 4058934298 676514687 3925751921 2305138988 2294334994 944660084 3095288335 3987380907 185093277 3999037104 3639195357 4077306 319299978 2013992786 1611114814 1007379909 1885338364 757799168 1562000415 2645023079 1898533815 804721585 4226208457 2085317083 2395162789 779778324 3799663424 3883240709 1280911560 1256981076 280574628 2304899968 1353738507 2193805085 2836558639 3373772775 2967754457 2366332745 2445857510 228873397 1828366630 1058706230 1119831885 2835353455 4120718267 255 362436" option to reproduce the execution 0.79/0.88 c #vars 6972 0.79/0.88 c #constraints 34118 2.29/2.33 c Solving starts ... 2.29/2.33 c ============================[ Search Statistics ]============================ 2.29/2.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.29/2.33 c | | | | Limit GC | Var | Constra 2.29/2.33 c ============================================================================= 2.29/2.33 c 0.0s | 0 | 0 | 0 | 13695 0 | 5 | 0 2.99/3.00 c 0.7s | 1 | 874 | 100 | 13695 0 | 5 | 720 3.49/3.58 c 1.3s | 2 | 1898 | 250 | 15065 0 | 5 | 720 4.69/4.72 c 2.4s | 3 | 4091 | 475 | 16572 0 | 5 | 720 6.19/6.27 c 3.9s | 4 | 8307 | 813 | 18230 0 | 5 | 720 8.59/8.62 c 6.3s | 4 | 14622 | 1313 | 20053 0 | 5 | 720 8.59/8.65 c 6.3s | 5 | 14639 | 1320 | 20053 0 | 5 | 720 10.89/10.94 c 8.6s | 5 | 20509 | 1820 | 22059 0 | 5 | 720 11.89/11.97 c 9.6s | 6 | 22628 | 2081 | 24265 0 | 5 | 720 14.19/14.20 c 11.9s | 6 | 26379 | 2681 | 24265 0 | 5 | 720 16.09/16.16 c 13.8s | 7 | 30475 | 3223 | 26692 0 | 5 | 720 18.39/18.41 c 16.1s | 7 | 36557 | 3723 | 26692 0 | 5 | 720 20.38/20.42 c 18.1s | 7 | 41484 | 4423 | 26692 0 | 5 | 720 21.78/21.81 c 19.5s | 8 | 45724 | 4936 | 29362 0 | 5 | 720 23.98/24.03 c 21.7s | 8 | 51096 | 5336 | 29362 0 | 5 | 720 26.08/26.11 c 23.8s | 8 | 57984 | 5936 | 29362 0 | 5 | 720 28.38/28.46 c 26.1s | 8 | 62874 | 6336 | 29362 0 | 5 | 720 30.68/30.75 c 28.4s | 8 | 67227 | 6836 | 29362 0 | 5 | 720 32.88/32.93 c 30.6s | 9 | 69820 | 7506 | 32299 0 | 5 | 720 35.08/35.14 c 32.8s | 9 | 72843 | 8006 | 32299 0 | 5 | 720 37.28/37.35 c 35.0s | 9 | 75730 | 8706 | 32299 0 | 5 | 720 39.38/39.42 c 37.1s | 9 | 79602 | 9206 | 32299 0 | 5 | 720 41.68/41.75 c 39.4s | 9 | 86484 | 9706 | 32299 0 | 5 | 720 43.99/44.02 c 41.7s | 9 | 91028 | 10206 | 32299 0 | 5 | 720 46.08/46.20 c 43.9s | 9 | 92939 | 10806 | 32299 0 | 5 | 720 48.28/48.30 c 46.0s | 10 | 99158 | 11361 | 35529 0 | 5 | 720 50.48/50.57 c 48.2s | 10 | 102343 | 11761 | 35529 0 | 5 | 720 52.89/52.93 c 50.6s | 10 | 109082 | 12261 | 35529 0 | 5 | 720 55.08/55.18 c 52.9s | 10 | 113818 | 12761 | 35529 0 | 5 | 720 57.38/57.41 c 55.1s | 10 | 118190 | 13461 | 35529 0 | 5 | 720 59.38/59.47 c 57.1s | 10 | 123131 | 13961 | 35529 0 | 5 | 720 61.78/61.84 c 59.5s | 10 | 129157 | 14461 | 35529 0 | 5 | 720 64.18/64.29 c 62.0s | 10 | 134417 | 14961 | 35529 0 | 5 | 720 66.38/66.40 c 64.1s | 10 | 138685 | 15461 | 35529 0 | 5 | 720 68.38/68.49 c 66.2s | 10 | 141216 | 16061 | 35529 0 | 5 | 720 70.58/70.62 c 68.3s | 10 | 146515 | 16661 | 35529 0 | 5 | 720 72.68/72.77 c 70.4s | 10 | 151377 | 17061 | 39082 0 | 5 | 720 73.07/73.12 c 70.8s | 11 | 152725 | 17144 | 39082 0 | 5 | 720 75.27/75.38 c 73.1s | 11 | 161107 | 17644 | 39082 0 | 5 | 720 77.47/77.52 c 75.2s | 11 | 166996 | 18444 | 39082 0 | 5 | 720 79.87/79.93 c 77.6s | 11 | 174979 | 19044 | 39082 0 | 5 | 720 82.17/82.23 c 79.9s | 11 | 180083 | 19844 | 39082 0 | 5 | 720 84.37/84.42 c 82.1s | 11 | 185486 | 20344 | 39082 0 | 5 | 720 86.67/86.70 c 84.4s | 11 | 192857 | 20844 | 39082 0 | 5 | 720 88.77/88.87 c 86.5s | 11 | 199633 | 21444 | 39082 0 | 5 | 720 90.97/91.08 c 88.7s | 11 | 205263 | 22144 | 39082 0 | 5 | 720 93.17/93.22 c 90.9s | 11 | 212295 | 22944 | 39082 0 | 5 | 720 95.17/95.29 c 93.0s | 11 | 218094 | 23444 | 39082 0 | 5 | 720 97.37/97.48 c 95.1s | 11 | 226558 | 24044 | 39082 0 | 5 | 720 99.57/99.60 c 97.3s | 11 | 231499 | 24744 | 39082 0 | 5 | 720 101.67/101.71 c 99.4s | 11 | 235457 | 25344 | 39082 0 | 5 | 720 102.77/102.83 c 100s | 12 | 238500 | 25819 | 42991 0 | 5 | 720 104.97/105.01 c 102s | 12 | 245050 | 26319 | 42991 0 | 5 | 720 107.27/107.36 c 105s | 12 | 251006 | 26819 | 42991 0 | 5 | 720 109.37/109.50 c 107s | 12 | 256341 | 27419 | 42991 0 | 5 | 720 111.77/111.88 c 109s | 12 | 260992 | 28119 | 42991 0 | 5 | 720 113.97/114.03 c 111s | 12 | 267194 | 28619 | 42991 0 | 5 | 720 116.17/116.30 c 113s | 12 | 274481 | 29119 | 42991 0 | 5 | 720 118.27/118.35 c 116s | 12 | 280852 | 29819 | 42991 0 | 5 | 720 120.37/120.43 c 118s | 12 | 286871 | 30319 | 42991 0 | 5 | 720 122.77/122.87 c 120s | 12 | 290691 | 30819 | 42991 0 | 5 | 720 124.87/124.92 c 122s | 12 | 296106 | 31519 | 42991 0 | 5 | 720 127.27/127.30 c 124s | 12 | 304700 | 32119 | 42991 0 | 5 | 720 129.67/129.73 c 127s | 12 | 312270 | 32619 | 42991 0 | 5 | 720 131.87/131.97 c 129s | 12 | 317503 | 33319 | 42991 0 | 5 | 720 133.96/134.01 c 131s | 12 | 324187 | 33819 | 42991 0 | 5 | 720 136.06/136.12 c 133s | 12 | 329108 | 34319 | 42991 0 | 5 | 720 138.46/138.54 c 136s | 12 | 333272 | 35019 | 42991 0 | 5 | 720 140.87/140.94 c 138s | 12 | 338929 | 35519 | 42991 0 | 5 | 720 142.86/142.99 c 140s | 12 | 344127 | 36019 | 42991 0 | 5 | 720 144.86/144.99 c 142s | 12 | 349548 | 36719 | 42991 0 | 5 | 720 147.06/147.17 c 144s | 12 | 354922 | 37219 | 42991 0 | 5 | 720 149.46/149.58 c 147s | 12 | 361513 | 38019 | 42991 0 | 5 | 720 151.66/151.79 c 149s | 12 | 367619 | 38519 | 42991 0 | 5 | 720 152.97/153.03 c 150s | 13 | 371462 | 38832 | 47291 0 | 5 | 720 155.17/155.23 c 152s | 13 | 375969 | 39332 | 47291 0 | 5 | 720 157.27/157.38 c 155s | 13 | 379811 | 39732 | 47291 0 | 5 | 720 159.57/159.62 c 157s | 13 | 383881 | 40432 | 47291 0 | 5 | 720 161.77/161.89 c 159s | 13 | 389153 | 40932 | 47291 0 | 5 | 720 163.97/164.05 c 161s | 13 | 394118 | 41332 | 47291 0 | 5 | 720 166.07/166.15 c 163s | 13 | 396450 | 41932 | 47291 0 | 5 | 720 168.16/168.28 c 165s | 13 | 399698 | 42432 | 47291 0 | 5 | 720 170.47/170.56 c 168s | 13 | 405759 | 43232 | 47291 0 | 5 | 720 172.67/172.71 c 170s | 13 | 409880 | 43932 | 47291 0 | 5 | 720 174.87/174.93 c 172s | 13 | 414288 | 44532 | 47291 0 | 5 | 720 177.07/177.12 c 174s | 13 | 418164 | 45232 | 47291 0 | 5 | 720 179.06/179.15 c 176s | 13 | 422498 | 45932 | 47291 0 | 5 | 720 181.26/181.31 c 178s | 13 | 425842 | 46532 | 47291 0 | 5 | 720 183.26/183.39 c 181s | 13 | 428951 | 47232 | 47291 0 | 5 | 720 185.46/185.52 c 183s | 13 | 432771 | 47932 | 47291 0 | 5 | 720 187.56/187.63 c 185s | 13 | 435483 | 48632 | 47291 0 | 5 | 720 189.56/189.65 c 187s | 13 | 438608 | 49332 | 47291 0 | 5 | 720 191.86/191.95 c 189s | 13 | 440251 | 50032 | 47291 0 | 5 | 720 193.86/193.95 c 191s | 13 | 442400 | 50332 | 47291 1 | 5 | 720 196.16/196.29 c 193s | 13 | 445739 | 50932 | 47291 1 | 5 | 720 198.46/198.59 c 196s | 13 | 449538 | 51532 | 47291 1 | 5 | 720 200.86/200.95 c 198s | 13 | 454961 | 52032 | 47291 1 | 5 | 720 203.06/203.12 c 200s | 13 | 459450 | 52532 | 47291 1 | 5 | 720 208.36/208.41 c 206s | 13 | 465980 | 53232 | 47291 1 | 5 | 720 210.56/210.62 c 208s | 13 | 473376 | 53732 | 47291 1 | 5 | 720 212.66/212.74 c 210s | 13 | 477999 | 54432 | 47291 1 | 5 | 720 214.96/215.04 c 212s | 13 | 485621 | 54932 | 47291 1 | 5 | 720 217.46/217.50 c 215s | 13 | 490959 | 55332 | 47291 1 | 5 | 720 219.56/219.62 c 217s | 13 | 496759 | 56032 | 47291 1 | 5 | 720 221.86/221.98 c 219s | 13 | 502664 | 56532 | 47291 1 | 5 | 720 224.16/224.28 c 221s | 13 | 509867 | 57032 | 47291 1 | 5 | 720 226.16/226.28 c 223s | 13 | 514283 | 57632 | 47291 1 | 5 | 720 228.56/228.69 c 226s | 13 | 519552 | 58132 | 52021 1 | 5 | 720 229.76/229.85 c 227s | 14 | 522543 | 58352 | 52021 1 | 5 | 720 231.96/232.00 c 229s | 14 | 527290 | 58752 | 52021 1 | 5 | 720 234.16/234.21 c 231s | 14 | 532171 | 59452 | 52021 1 | 5 | 720 236.46/236.57 c 234s | 14 | 539260 | 60052 | 52021 1 | 5 | 720 238.85/238.90 c 236s | 14 | 545347 | 60552 | 52021 1 | 5 | 720 240.96/241.04 c 238s | 14 | 549276 | 61252 | 52021 1 | 5 | 720 243.35/243.41 c 241s | 14 | 554962 | 61752 | 52021 1 | 5 | 720 245.75/245.87 c 243s | 14 | 562303 | 62352 | 52021 1 | 5 | 720 248.05/248.15 c 245s | 14 | 566965 | 63052 | 52021 1 | 5 | 720 250.25/250.34 c 248s | 14 | 573301 | 63552 | 52021 1 | 5 | 720 252.45/252.52 c 250s | 14 | 579692 | 64352 | 52021 1 | 5 | 720 254.45/254.56 c 252s | 14 | 584744 | 64852 | 52021 1 | 5 | 720 256.75/256.85 c 254s | 14 | 590327 | 65552 | 52021 1 | 5 | 720 258.95/259.05 c 256s | 14 | 596335 | 66052 | 52021 1 | 5 | 720 260.95/261.06 c 258s | 14 | 602196 | 66752 | 52021 1 | 5 | 720 262.96/263.06 c 260s | 14 | 607224 | 67252 | 52021 1 | 5 | 720 265.25/265.33 c 263s | 14 | 613587 | 68052 | 52021 1 | 5 | 720 267.45/267.50 c 265s | 14 | 620723 | 68752 | 52021 1 | 5 | 720 269.56/269.61 c 267s | 14 | 625184 | 69452 | 52021 1 | 5 | 720 271.55/271.61 c 269s | 14 | 629638 | 70052 | 52021 1 | 5 | 720 273.55/273.65 c 271s | 14 | 635113 | 70752 | 52021 1 | 5 | 720 275.65/275.75 c 273s | 14 | 639040 | 71452 | 52021 1 | 5 | 720 277.75/277.83 c 275s | 14 | 643700 | 72052 | 52021 1 | 5 | 720 279.85/279.90 c 277s | 14 | 648553 | 72852 | 52021 1 | 5 | 720 281.85/281.99 c 279s | 14 | 653284 | 73652 | 52021 1 | 5 | 720 283.95/284.02 c 281s | 14 | 657010 | 74352 | 52021 1 | 5 | 720 286.05/286.19 c 283s | 14 | 660310 | 75152 | 52021 1 | 5 | 720 288.15/288.25 c 285s | 14 | 663147 | 75952 | 52021 1 | 5 | 720 290.35/290.49 c 288s | 14 | 666379 | 76852 | 52021 1 | 5 | 720 292.45/292.58 c 290s | 14 | 668416 | 77752 | 52021 1 | 5 | 720 295.24/295.33 c 292s | 14 | 672160 | 78352 | 52021 2 | 5 | 720 297.24/297.36 c 295s | 14 | 678596 | 78952 | 52021 2 | 5 | 720 299.74/299.80 c 297s | 14 | 685728 | 79652 | 52021 2 | 5 | 720 302.04/302.11 c 299s | 14 | 692754 | 80452 | 52021 2 | 5 | 720 304.14/304.28 c 301s | 14 | 699148 | 80952 | 52021 2 | 5 | 720 306.24/306.35 c 304s | 14 | 704205 | 81352 | 52021 2 | 5 | 720 308.34/308.40 c 306s | 14 | 708797 | 81952 | 52021 2 | 5 | 720 310.44/310.58 c 308s | 14 | 713629 | 82552 | 52021 2 | 5 | 720 312.94/313.00 c 310s | 14 | 719232 | 83052 | 52021 2 | 5 | 720 314.94/315.03 c 312s | 14 | 726716 | 83652 | 52021 2 | 5 | 720 317.04/317.10 c 314s | 14 | 733978 | 84452 | 52021 2 | 5 | 720 319.44/319.57 c 317s | 14 | 739335 | 84952 | 52021 2 | 5 | 720 321.64/321.74 c 319s | 14 | 746068 | 85552 | 52021 2 | 5 | 720 323.64/323.74 c 321s | 14 | 750252 | 86152 | 52021 2 | 5 | 720 325.84/325.98 c 323s | 14 | 756289 | 86752 | 52021 2 | 5 | 720 328.14/328.24 c 325s | 14 | 762625 | 87352 | 57224 2 | 5 | 720 328.85/328.96 c 326s | 15 | 764007 | 87632 | 57224 2 | 5 | 720 331.04/331.12 c 328s | 15 | 769763 | 88132 | 57224 2 | 5 | 720 333.24/333.37 c 331s | 15 | 775996 | 88932 | 57224 2 | 5 | 720 335.44/335.55 c 333s | 15 | 781549 | 89632 | 57224 2 | 5 | 720 337.74/337.86 c 335s | 15 | 788229 | 90232 | 57224 2 | 5 | 720 339.84/340.00 c 337s | 15 | 793364 | 90932 | 57224 2 | 5 | 720 341.94/342.10 c 339s | 15 | 798132 | 91632 | 57224 2 | 5 | 720 344.24/344.35 c 342s | 15 | 803297 | 92232 | 57224 2 | 5 | 720 346.44/346.51 c 344s | 15 | 809376 | 92932 | 57224 2 | 5 | 720 348.54/348.61 c 346s | 15 | 815644 | 93732 | 57224 2 | 5 | 720 350.53/350.66 c 348s | 15 | 822837 | 94632 | 57224 2 | 5 | 720 352.53/352.67 c 350s | 15 | 829101 | 95432 | 57224 2 | 5 | 720 354.83/354.93 c 352s | 15 | 835602 | 96332 | 57224 2 | 5 | 720 357.03/357.13 c 354s | 15 | 841220 | 97132 | 57224 2 | 5 | 720 359.03/359.14 c 356s | 15 | 844895 | 97832 | 57224 2 | 5 | 720 361.13/361.24 c 358s | 15 | 850795 | 98732 | 57224 2 | 5 | 720 363.33/363.44 c 361s | 15 | 854717 | 99632 | 57224 2 | 5 | 720 365.43/365.58 c 363s | 15 | 859372 | 100632 | 57224 2 | 5 | 720 367.53/367.61 c 365s | 15 | 862249 | 101632 | 57224 2 | 5 | 720 369.93/370.02 c 367s | 15 | 867798 | 102232 | 57224 2 | 5 | 720 372.23/372.30 c 369s | 15 | 872565 | 102732 | 57224 2 | 5 | 720 374.33/374.42 c 372s | 15 | 875532 | 103332 | 57224 2 | 5 | 720 376.43/376.56 c 374s | 15 | 879965 | 103732 | 57224 2 | 5 | 720 378.44/378.57 c 376s | 15 | 884893 | 104132 | 57224 2 | 5 | 720 380.73/380.82 c 378s | 15 | 889523 | 104832 | 57224 2 | 5 | 720 383.13/383.21 c 380s | 15 | 896489 | 105332 | 57224 2 | 5 | 720 385.23/385.30 c 382s | 15 | 903104 | 106032 | 57224 2 | 5 | 720 387.53/387.67 c 385s | 15 | 910068 | 106632 | 57224 2 | 5 | 720 389.63/389.73 c 387s | 15 | 914177 | 107032 | 57224 2 | 5 | 720 391.73/391.88 c 389s | 15 | 919186 | 107632 | 57224 2 | 5 | 720 394.03/394.15 c 391s | 15 | 925276 | 108232 | 57224 2 | 5 | 720 396.43/396.50 c 394s | 15 | 930732 | 108732 | 57224 2 | 5 | 720 398.83/398.92 c 396s | 15 | 935253 | 109432 | 57224 2 | 5 | 720 401.13/401.29 c 398s | 15 | 944628 | 110332 | 57224 2 | 5 | 720 403.23/403.33 c 401s | 15 | 949553 | 110732 | 57224 3 | 5 | 720 405.33/405.44 c 403s | 15 | 953974 | 111432 | 57224 3 | 5 | 720 407.53/407.65 c 405s | 15 | 961342 | 112032 | 57224 3 | 5 | 720 409.53/409.69 c 407s | 15 | 964844 | 112632 | 57224 3 | 5 | 720 411.63/411.76 c 409s | 15 | 971088 | 113432 | 57224 3 | 5 | 720 413.73/413.88 c 411s | 15 | 978126 | 114032 | 57224 3 | 5 | 720 415.92/416.01 c 413s | 15 | 985686 | 115032 | 57224 3 | 5 | 720 418.22/418.37 c 416s | 15 | 992649 | 115832 | 57224 3 | 5 | 720 420.42/420.58 c 418s | 15 | 998167 | 116632 | 57224 3 | 5 | 720 422.62/422.73 c 420s | 15 | 1003616 | 117432 | 57224 3 | 5 | 720 424.82/424.94 c 422s | 15 | 1009532 | 118232 | 57224 3 | 5 | 720 427.02/427.11 c 424s | 15 | 1014924 | 119032 | 57224 3 | 5 | 720 429.12/429.23 c 426s | 15 | 1018311 | 119732 | 57224 3 | 5 | 720 431.23/431.38 c 429s | 15 | 1023086 | 120632 | 57224 3 | 5 | 720 433.52/433.61 c 431s | 15 | 1029777 | 121732 | 57224 3 | 5 | 720 435.63/435.75 c 433s | 15 | 1034168 | 122732 | 57224 3 | 5 | 720 437.73/437.85 c 435s | 15 | 1038287 | 123832 | 57224 3 | 5 | 720 439.82/439.94 c 437s | 15 | 1042295 | 124732 | 57224 3 | 5 | 720 442.02/442.13 c 439s | 15 | 1045990 | 125132 | 57224 3 | 5 | 720 444.22/444.35 c 442s | 15 | 1050162 | 125732 | 57224 3 | 5 | 720 446.42/446.52 c 444s | 15 | 1055669 | 126232 | 57224 3 | 5 | 720 448.52/448.63 c 446s | 15 | 1063168 | 127032 | 57224 3 | 5 | 720 450.52/450.68 c 448s | 15 | 1068894 | 127532 | 57224 3 | 5 | 720 452.62/452.78 c 450s | 15 | 1071882 | 128132 | 57224 3 | 5 | 720 454.82/454.94 c 452s | 15 | 1077414 | 128632 | 57224 3 | 5 | 720 456.82/456.94 c 454s | 15 | 1081786 | 129332 | 57224 3 | 5 | 720 458.92/459.00 c 456s | 15 | 1087909 | 129832 | 57224 3 | 5 | 720 461.02/461.19 c 458s | 15 | 1092867 | 130432 | 57224 3 | 5 | 720 463.12/463.25 c 460s | 15 | 1097999 | 131032 | 62947 3 | 5 | 720 465.12/465.26 c 462s | 15 | 1102082 | 131532 | 62947 3 | 5 | 720 465.22/465.33 c 462s | 16 | 1102119 | 131552 | 62947 3 | 5 | 720 467.42/467.57 c 465s | 16 | 1105513 | 132052 | 62947 3 | 5 | 720 469.62/469.72 c 467s | 16 | 1112529 | 132552 | 62947 3 | 5 | 720 471.92/472.06 c 469s | 16 | 1118970 | 133052 | 62947 3 | 5 | 720 474.02/474.11 c 471s | 16 | 1123422 | 133752 | 62947 3 | 5 | 720 476.22/476.33 c 474s | 16 | 1130227 | 134352 | 62947 3 | 5 | 720 478.32/478.42 c 476s | 16 | 1136005 | 135052 | 62947 3 | 5 | 720 480.42/480.56 c 478s | 16 | 1141394 | 135652 | 62947 3 | 5 | 720 482.51/482.69 c 480s | 16 | 1145531 | 136152 | 62947 3 | 5 | 720 484.81/484.93 c 482s | 16 | 1149505 | 136852 | 62947 3 | 5 | 720 487.11/487.24 c 484s | 16 | 1152868 | 137452 | 62947 3 | 5 | 720 489.11/489.28 c 486s | 16 | 1160147 | 138152 | 62947 3 | 5 | 720 491.41/491.59 c 489s | 16 | 1166450 | 138852 | 62947 3 | 5 | 720 493.51/493.62 c 491s | 16 | 1171133 | 139452 | 62947 3 | 5 | 720 495.71/495.85 c 493s | 16 | 1176519 | 140152 | 62947 3 | 5 | 720 498.11/498.20 c 495s | 16 | 1179971 | 141052 | 62947 3 | 5 | 720 500.11/500.27 c 497s | 16 | 1182515 | 141852 | 62947 3 | 5 | 720 502.31/502.49 c 500s | 16 | 1185265 | 142752 | 62947 3 | 5 | 720 504.61/504.70 c 502s | 16 | 1189264 | 143552 | 62947 3 | 5 | 720 506.71/506.89 c 504s | 16 | 1192575 | 144152 | 62947 3 | 5 | 720 509.01/509.14 c 506s | 16 | 1196803 | 144852 | 62947 3 | 5 | 720 511.11/511.29 c 508s | 16 | 1201124 | 145452 | 62947 3 | 5 | 720 513.21/513.39 c 511s | 16 | 1204819 | 145952 | 62947 4 | 5 | 720 515.71/515.80 c 513s | 16 | 1212427 | 146452 | 62947 4 | 5 | 720 517.71/517.89 c 515s | 16 | 1219281 | 147152 | 62947 4 | 5 | 720 520.01/520.16 c 517s | 16 | 1225270 | 147752 | 62947 4 | 5 | 720 522.01/522.17 c 519s | 16 | 1228658 | 148152 | 62947 4 | 5 | 720 524.51/524.70 c 522s | 16 | 1234454 | 148952 | 62947 4 | 5 | 720 526.71/526.87 c 524s | 16 | 1240851 | 149452 | 62947 4 | 5 | 720 529.11/529.21 c 526s | 16 | 1246710 | 150252 | 62947 4 | 5 | 720 531.11/531.29 c 528s | 16 | 1250876 | 150752 | 62947 4 | 5 | 720 533.30/533.46 c 531s | 16 | 1255278 | 151452 | 62947 4 | 5 | 720 535.50/535.67 c 533s | 16 | 1261153 | 151952 | 62947 4 | 5 | 720 537.60/537.77 c 535s | 16 | 1267192 | 152552 | 62947 4 | 5 | 720 539.90/540.01 c 537s | 16 | 1273074 | 153352 | 62947 4 | 5 | 720 542.31/542.41 c 540s | 16 | 1279306 | 153952 | 62947 4 | 5 | 720 544.30/544.41 c 542s | 16 | 1284779 | 154652 | 62947 4 | 5 | 720 546.50/546.67 c 544s | 16 | 1290566 | 155252 | 62947 4 | 5 | 720 548.70/548.89 c 546s | 16 | 1294828 | 155952 | 62947 4 | 5 | 720 550.80/550.97 c 548s | 16 | 1300125 | 156652 | 62947 4 | 5 | 720 552.91/553.09 c 550s | 16 | 1305105 | 157352 | 62947 4 | 5 | 720 555.01/555.14 c 552s | 16 | 1311618 | 158252 | 62947 4 | 5 | 720 557.31/557.43 c 555s | 16 | 1315636 | 158952 | 62947 4 | 5 | 720 559.31/559.44 c 557s | 16 | 1319764 | 159652 | 62947 4 | 5 | 720 561.51/561.65 c 559s | 16 | 1323771 | 160452 | 62947 4 | 5 | 720 563.61/563.77 c 561s | 16 | 1328340 | 161352 | 62947 4 | 5 | 720 565.81/565.94 c 563s | 16 | 1332585 | 162252 | 62947 4 | 5 | 720 567.81/567.97 c 565s | 16 | 1335968 | 163252 | 62947 4 | 5 | 720 570.01/570.13 c 567s | 16 | 1340198 | 164152 | 62947 4 | 5 | 720 572.31/572.41 c 570s | 16 | 1346328 | 164952 | 62947 4 | 5 | 720 574.31/574.47 c 572s | 16 | 1352972 | 165452 | 62947 4 | 5 | 720 576.51/576.63 c 574s | 16 | 1361454 | 166352 | 62947 4 | 5 | 720 578.81/578.96 c 576s | 16 | 1366597 | 167052 | 62947 4 | 5 | 720 580.90/581.06 c 578s | 16 | 1373479 | 167752 | 62947 4 | 5 | 720 583.01/583.20 c 580s | 16 | 1378979 | 168352 | 62947 4 | 5 | 720 585.30/585.41 c 583s | 16 | 1384442 | 169052 | 62947 4 | 5 | 720 587.31/587.49 c 585s | 16 | 1389128 | 169752 | 62947 4 | 5 | 720 589.40/589.50 c 587s | 16 | 1396253 | 170552 | 62947 4 | 5 | 720 591.60/591.77 c 589s | 16 | 1401103 | 171252 | 62947 4 | 5 | 720 593.80/593.95 c 591s | 16 | 1407741 | 172052 | 62947 4 | 5 | 720 595.80/595.96 c 593s | 16 | 1411684 | 172752 | 62947 4 | 5 | 720 597.90/598.09 c 595s | 16 | 1416782 | 173552 | 62947 4 | 5 | 720 600.00/600.10 c 597s | 16 | 1420799 | 174352 | 62947 4 | 5 | 720 602.20/602.30 c 599s | 16 | 1424209 | 175152 | 62947 4 | 5 | 720 604.20/604.36 c 602s | 16 | 1426649 | 176152 | 62947 4 | 5 | 720 606.30/606.49 c 604s | 16 | 1430004 | 176952 | 62947 4 | 5 | 720 608.40/608.53 c 606s | 16 | 1434435 | 177552 | 62947 4 | 5 | 720 610.51/610.61 c 608s | 16 | 1438802 | 178152 | 62947 4 | 5 | 720 612.80/612.97 c 610s | 16 | 1442555 | 178552 | 62947 5 | 5 | 720 614.91/615.05 c 612s | 16 | 1448152 | 179252 | 62947 5 | 5 | 720 617.30/617.40 c 615s | 16 | 1455690 | 179852 | 62947 5 | 5 | 720 619.30/619.47 c 617s | 16 | 1460366 | 180552 | 62947 5 | 5 | 720 621.60/621.78 c 619s | 16 | 1466159 | 181052 | 62947 5 | 5 | 720 623.80/623.95 c 621s | 16 | 1471289 | 181752 | 62947 5 | 5 | 720 625.80/625.99 c 623s | 16 | 1477479 | 182352 | 62947 5 | 5 | 720 628.10/628.26 c 625s | 16 | 1483892 | 183152 | 62947 5 | 5 | 720 630.30/630.48 c 628s | 16 | 1487802 | 183852 | 62947 5 | 5 | 720 632.50/632.63 c 630s | 16 | 1493856 | 184452 | 62947 5 | 5 | 720 634.70/634.81 c 632s | 16 | 1498255 | 185152 | 62947 5 | 5 | 720 636.70/636.87 c 634s | 16 | 1502832 | 185852 | 62947 5 | 5 | 720 638.89/639.07 c 636s | 16 | 1507565 | 186552 | 62947 5 | 5 | 720 640.99/641.17 c 638s | 16 | 1513541 | 187352 | 62947 5 | 5 | 720 643.19/643.39 c 641s | 16 | 1518252 | 188052 | 62947 5 | 5 | 720 645.29/645.48 c 643s | 16 | 1522616 | 188752 | 62947 5 | 5 | 720 647.39/647.59 c 645s | 16 | 1528652 | 189752 | 62947 5 | 5 | 720 649.49/649.63 c 647s | 16 | 1533798 | 190552 | 62947 5 | 5 | 720 651.69/651.81 c 649s | 16 | 1538903 | 191552 | 62947 5 | 5 | 720 653.69/653.86 c 651s | 16 | 1543625 | 192452 | 62947 5 | 5 | 720 655.79/655.90 c 653s | 16 | 1549739 | 193552 | 62947 5 | 5 | 720 657.80/657.99 c 655s | 16 | 1552650 | 194552 | 62947 5 | 5 | 720 660.09/660.27 c 657s | 16 | 1557445 | 195552 | 62947 5 | 5 | 720 662.20/662.37 c 660s | 16 | 1563562 | 196352 | 69242 5 | 5 | 720 664.49/664.61 c 662s | 16 | 1570637 | 196952 | 69242 5 | 5 | 720 665.89/666.09 c 663s | 17 | 1574135 | 197432 | 69242 5 | 5 | 720 668.09/668.20 c 665s | 17 | 1582452 | 198032 | 69242 5 | 5 | 720 670.39/670.51 c 668s | 17 | 1591222 | 199132 | 69242 5 | 5 | 720 672.49/672.66 c 670s | 17 | 1598847 | 199732 | 69242 5 | 5 | 720 674.79/674.97 c 672s | 17 | 1603532 | 200432 | 69242 5 | 5 | 720 676.89/677.05 c 674s | 17 | 1608093 | 201132 | 69242 5 | 5 | 720 679.29/679.47 c 677s | 17 | 1614282 | 201932 | 69242 5 | 5 | 720 681.69/681.83 c 679s | 17 | 1618615 | 202632 | 69242 5 | 5 | 720 683.69/683.89 c 681s | 17 | 1623638 | 203432 | 69242 5 | 5 | 720 685.89/686.02 c 683s | 17 | 1628690 | 204232 | 69242 5 | 5 | 720 688.19/688.34 c 686s | 17 | 1632889 | 204932 | 69242 5 | 5 | 720 690.39/690.53 c 688s | 17 | 1637906 | 205832 | 69242 5 | 5 | 720 692.39/692.57 c 690s | 17 | 1640976 | 206532 | 69242 5 | 5 | 720 694.39/694.57 c 692s | 17 | 1644452 | 207332 | 69242 5 | 5 | 720 696.59/696.71 c 694s | 17 | 1648282 | 208232 | 69242 5 | 5 | 720 698.68/698.80 c 696s | 17 | 1651603 | 209332 | 69242 5 | 5 | 720 700.69/700.81 c 698s | 17 | 1660217 | 209932 | 69242 5 | 5 | 720 702.68/702.82 c 700s | 17 | 1665677 | 210632 | 69242 5 | 5 | 720 704.68/704.85 c 702s | 17 | 1671224 | 211332 | 69242 5 | 5 | 720 707.08/707.29 c 704s | 17 | 1676376 | 211832 | 69242 5 | 5 | 720 709.18/709.38 c 707s | 17 | 1680579 | 212432 | 69242 5 | 5 | 720 711.38/711.56 c 709s | 17 | 1683819 | 213132 | 69242 5 | 5 | 720 713.89/714.04 c 711s | 17 | 1688918 | 213732 | 69242 5 | 5 | 720 715.99/716.18 c 713s | 17 | 1693625 | 214432 | 69242 5 | 5 | 720 718.08/718.27 c 715s | 17 | 1698654 | 215032 | 69242 5 | 5 | 720 720.18/720.31 c 717s | 17 | 1703478 | 215632 | 69242 5 | 5 | 720 722.48/722.63 c 720s | 17 | 1707538 | 216332 | 69242 5 | 5 | 720 724.68/724.88 c 722s | 17 | 1711323 | 217032 | 69242 5 | 5 | 720 726.78/726.93 c 724s | 17 | 1714381 | 217632 | 69242 5 | 5 | 720 729.19/729.36 c 727s | 17 | 1717414 | 218132 | 69242 6 | 5 | 720 731.39/731.51 c 729s | 17 | 1721175 | 218932 | 69242 6 | 5 | 720 733.59/733.71 c 731s | 17 | 1724622 | 219732 | 69242 6 | 5 | 720 735.68/735.81 c 733s | 17 | 1727874 | 220532 | 69242 6 | 5 | 720 737.68/737.88 c 735s | 17 | 1730618 | 221332 | 69242 6 | 5 | 720 739.78/739.93 c 737s | 17 | 1732397 | 222132 | 69242 6 | 5 | 720 742.08/742.27 c 739s | 17 | 1735756 | 222832 | 69242 6 | 5 | 720 744.18/744.30 c 741s | 17 | 1738572 | 223432 | 69242 6 | 5 | 720 746.18/746.33 c 744s | 17 | 1743716 | 223932 | 69242 6 | 5 | 720 748.18/748.38 c 746s | 17 | 1748541 | 224532 | 69242 6 | 5 | 720 750.27/750.47 c 748s | 17 | 1752962 | 225132 | 69242 6 | 5 | 720 752.47/752.68 c 750s | 17 | 1756991 | 225832 | 69242 6 | 5 | 720 754.58/754.74 c 752s | 17 | 1762617 | 226532 | 69242 6 | 5 | 720 756.68/756.89 c 754s | 17 | 1768812 | 227132 | 69242 6 | 5 | 720 758.77/758.98 c 756s | 17 | 1773630 | 227832 | 69242 6 | 5 | 720 760.77/760.99 c 758s | 17 | 1777007 | 228432 | 69242 6 | 5 | 720 763.17/763.32 c 760s | 17 | 1781413 | 229032 | 69242 6 | 5 | 720 765.17/765.36 c 763s | 17 | 1784731 | 229632 | 69242 6 | 5 | 720 767.27/767.45 c 765s | 17 | 1788752 | 230332 | 69242 6 | 5 | 720 769.37/769.51 c 767s | 17 | 1792529 | 231032 | 69242 6 | 5 | 720 771.57/771.72 c 769s | 17 | 1796775 | 231832 | 69242 6 | 5 | 720 773.87/774.00 c 771s | 17 | 1800843 | 232732 | 69242 6 | 5 | 720 775.87/776.09 c 773s | 17 | 1804328 | 233532 | 69242 6 | 5 | 720 777.97/778.13 c 775s | 17 | 1807256 | 234432 | 69242 6 | 5 | 720 780.07/780.26 c 777s | 17 | 1809905 | 235332 | 69242 6 | 5 | 720 782.27/782.48 c 780s | 17 | 1815226 | 235932 | 69242 6 | 5 | 720 784.57/784.78 c 782s | 17 | 1820548 | 236632 | 69242 6 | 5 | 720 786.86/787.02 c 784s | 17 | 1825352 | 237332 | 69242 6 | 5 | 720 788.96/789.15 c 786s | 17 | 1830099 | 238032 | 69242 6 | 5 | 720 791.26/791.42 c 789s | 17 | 1835488 | 238632 | 69242 6 | 5 | 720 793.26/793.44 c 791s | 17 | 1840017 | 239232 | 69242 6 | 5 | 720 795.46/795.60 c 793s | 17 | 1845688 | 239932 | 69242 6 | 5 | 720 797.75/797.92 c 795s | 17 | 1851475 | 240832 | 69242 6 | 5 | 720 799.95/800.20 c 797s | 17 | 1856137 | 241632 | 69242 6 | 5 | 720 802.15/802.34 c 800s | 17 | 1859707 | 242332 | 69242 6 | 5 | 720 804.25/804.42 c 802s | 17 | 1864225 | 243232 | 69242 6 | 5 | 720 806.26/806.44 c 804s | 17 | 1866660 | 244032 | 69242 6 | 5 | 720 808.55/808.79 c 806s | 17 | 1869877 | 245032 | 69242 6 | 5 | 720 810.85/811.02 c 808s | 17 | 1873653 | 245732 | 69242 6 | 5 | 720 812.86/813.03 c 810s | 17 | 1877396 | 246232 | 69242 6 | 5 | 720 815.15/815.39 c 813s | 17 | 1881172 | 246832 | 69242 6 | 5 | 720 817.34/817.53 c 815s | 17 | 1886292 | 247532 | 69242 6 | 5 | 720 819.45/819.61 c 817s | 17 | 1889779 | 248232 | 69242 6 | 5 | 720 821.74/821.98 c 819s | 17 | 1893231 | 248832 | 69242 6 | 5 | 720 823.85/824.03 c 821s | 17 | 1896578 | 249332 | 69242 6 | 5 | 720 826.05/826.23 c 823s | 17 | 1899950 | 250032 | 69242 6 | 5 | 720 828.15/828.31 c 825s | 17 | 1902534 | 250632 | 69242 6 | 5 | 720 830.45/830.69 c 828s | 17 | 1906080 | 251332 | 69242 6 | 5 | 720 832.75/832.95 c 830s | 17 | 1910615 | 252132 | 69242 6 | 5 | 720 834.95/835.13 c 832s | 17 | 1913736 | 252832 | 69242 6 | 5 | 720 837.25/837.40 c 835s | 17 | 1917263 | 253632 | 69242 6 | 5 | 720 839.35/839.58 c 837s | 17 | 1920195 | 254632 | 69242 6 | 5 | 720 841.55/841.80 c 839s | 17 | 1923148 | 255232 | 69242 7 | 5 | 720 843.65/843.88 c 841s | 17 | 1929343 | 255932 | 69242 7 | 5 | 720 845.75/845.97 c 843s | 17 | 1934751 | 256532 | 69242 7 | 5 | 720 847.84/848.06 c 845s | 17 | 1939715 | 257332 | 69242 7 | 5 | 720 849.94/850.18 c 847s | 17 | 1943618 | 258032 | 69242 7 | 5 | 720 852.34/852.55 c 850s | 17 | 1949082 | 258832 | 69242 7 | 5 | 720 854.54/854.71 c 852s | 17 | 1952418 | 259532 | 69242 7 | 5 | 720 856.63/856.87 c 854s | 17 | 1956494 | 260232 | 69242 7 | 5 | 720 858.73/858.96 c 856s | 17 | 1961686 | 261232 | 69242 7 | 5 | 720 860.93/861.12 c 858s | 17 | 1966234 | 262232 | 69242 7 | 5 | 720 863.23/863.46 c 861s | 17 | 1969625 | 263232 | 69242 7 | 5 | 720 865.64/865.89 c 863s | 17 | 1974079 | 263932 | 69242 7 | 5 | 720 867.73/868.00 c 865s | 17 | 1977967 | 264632 | 69242 7 | 5 | 720 869.93/870.18 c 867s | 17 | 1982545 | 265332 | 69242 7 | 5 | 720 872.02/872.21 c 869s | 17 | 1986200 | 266032 | 69242 7 | 5 | 720 874.02/874.22 c 871s | 17 | 1990299 | 266732 | 69242 7 | 5 | 720 876.22/876.45 c 874s | 17 | 1995577 | 267632 | 69242 7 | 5 | 720 878.32/878.54 c 876s | 17 | 2000127 | 268632 | 69242 7 | 5 | 720 880.42/880.67 c 878s | 17 | 2003290 | 269632 | 69242 7 | 5 | 720 882.62/882.80 c 880s | 17 | 2006429 | 270432 | 69242 7 | 5 | 720 884.92/885.13 c 882s | 17 | 2010710 | 271132 | 69242 7 | 5 | 720 887.11/887.32 c 884s | 17 | 2014338 | 271832 | 69242 7 | 5 | 720 889.31/889.57 c 887s | 17 | 2019228 | 272532 | 69242 7 | 5 | 720 891.51/891.77 c 889s | 17 | 2023333 | 273432 | 69242 7 | 5 | 720 893.71/893.99 c 891s | 17 | 2026287 | 274232 | 69242 7 | 5 | 720 895.81/896.00 c 893s | 17 | 2027813 | 274932 | 69242 7 | 5 | 720 897.91/898.14 c 895s | 17 | 2030752 | 275732 | 69242 7 | 5 | 720 900.11/900.33 c 898s | 17 | 2033942 | 276432 | 69242 7 | 5 | 720 902.21/902.40 c 900s | 17 | 2036920 | 276932 | 69242 7 | 5 | 720 904.41/904.60 c 902s | 17 | 2040631 | 277532 | 69242 7 | 5 | 720 906.61/906.84 c 904s | 17 | 2045070 | 278232 | 69242 7 | 5 | 720 908.80/909.05 c 906s | 17 | 2049531 | 279032 | 69242 7 | 5 | 720 911.00/911.21 c 908s | 17 | 2053650 | 279732 | 69242 7 | 5 | 720 913.30/913.51 c 911s | 17 | 2057584 | 280532 | 69242 7 | 5 | 720 915.40/915.69 c 913s | 17 | 2060818 | 281332 | 69242 7 | 5 | 720 917.70/917.90 c 915s | 17 | 2063633 | 282232 | 69242 7 | 5 | 720 919.80/920.01 c 917s | 17 | 2066767 | 283032 | 69242 7 | 5 | 720 921.80/922.08 c 919s | 17 | 2071679 | 283732 | 69242 7 | 5 | 720 924.10/924.33 c 922s | 17 | 2075206 | 284432 | 69242 7 | 5 | 720 926.10/926.33 c 924s | 17 | 2077292 | 285032 | 69242 7 | 5 | 720 928.20/928.42 c 926s | 17 | 2080149 | 285732 | 69242 7 | 5 | 720 930.29/930.57 c 928s | 17 | 2082669 | 286632 | 69242 7 | 5 | 720 932.29/932.59 c 930s | 17 | 2084712 | 287332 | 69242 7 | 5 | 720 934.49/934.77 c 932s | 17 | 2087869 | 288032 | 69242 7 | 5 | 720 936.59/936.84 c 934s | 17 | 2091270 | 288632 | 69242 7 | 5 | 720 938.69/938.95 c 936s | 17 | 2094575 | 289232 | 69242 7 | 5 | 720 940.69/940.99 c 938s | 17 | 2097434 | 289932 | 69242 7 | 5 | 720 942.78/943.06 c 940s | 17 | 2100185 | 290632 | 69242 7 | 5 | 720 944.79/945.08 c 942s | 17 | 2102009 | 291332 | 69242 7 | 5 | 720 947.08/947.32 c 944s | 17 | 2103605 | 292032 | 69242 8 | 5 | 720 949.19/949.44 c 947s | 17 | 2107162 | 292732 | 69242 8 | 5 | 720 951.18/951.46 c 949s | 17 | 2110876 | 293632 | 69242 8 | 5 | 720 953.49/953.75 c 951s | 17 | 2113777 | 294632 | 76167 8 | 5 | 720 955.48/955.79 c 953s | 17 | 2117569 | 295332 | 76167 8 | 5 | 720 957.57/957.86 c 955s | 17 | 2121453 | 296132 | 76167 8 | 5 | 720 957.67/957.99 c 955s | 18 | 2122170 | 296252 | 76167 8 | 5 | 720 959.77/960.00 c 957s | 18 | 2125024 | 296952 | 76167 8 | 5 | 720 961.77/962.08 c 959s | 18 | 2128520 | 297952 | 76167 8 | 5 | 720 963.87/964.17 c 961s | 18 | 2131800 | 298852 | 76167 8 | 5 | 720 965.97/966.21 c 963s | 18 | 2135072 | 299652 | 76167 8 | 5 | 720 967.97/968.29 c 965s | 18 | 2140133 | 300652 | 76167 8 | 5 | 720 970.07/970.38 c 968s | 18 | 2143146 | 301652 | 76167 8 | 5 | 720 972.07/972.39 c 970s | 18 | 2146002 | 302552 | 76167 8 | 5 | 720 974.27/974.52 c 972s | 18 | 2148837 | 303352 | 76167 8 | 5 | 720 976.47/976.71 c 974s | 18 | 2150703 | 304252 | 76167 8 | 5 | 720 978.56/978.87 c 976s | 18 | 2152980 | 305052 | 76167 8 | 5 | 720 980.86/981.17 c 978s | 18 | 2155392 | 305952 | 76167 8 | 5 | 720 982.86/983.17 c 980s | 18 | 2157786 | 306752 | 76167 8 | 5 | 720 985.06/985.39 c 983s | 18 | 2159929 | 307652 | 76167 8 | 5 | 720 987.16/987.40 c 985s | 18 | 2162203 | 308452 | 76167 8 | 5 | 720 989.36/989.60 c 987s | 18 | 2164564 | 309352 | 76167 8 | 5 | 720 991.56/991.83 c 989s | 18 | 2166440 | 310152 | 76167 8 | 5 | 720 993.76/994.07 c 991s | 18 | 2168118 | 311052 | 76167 8 | 5 | 720 995.86/996.19 c 993s | 18 | 2169738 | 311852 | 76167 8 | 5 | 720 997.95/998.24 c 995s | 18 | 2170997 | 312652 | 76167 8 | 5 | 720 999.95/1000.29 c 997s | 18 | 2172727 | 313552 | 76167 8 | 5 | 720 1076.65/1076.96 c 1074s | 18 | 2174921 | 314152 | 76167 8 | 5 | 720 1096.23/1096.56 c 1094s | 18 | 2176218 | 314252 | 76167 8 | 5 | 720 1098.23/1098.58 c 1096s | 18 | 2180779 | 314652 | 76167 8 | 5 | 720 1100.63/1100.97 c 1098s | 18 | 2186028 | 315352 | 76167 8 | 5 | 720 1102.63/1102.99 c 1100s | 18 | 2189618 | 315752 | 76167 8 | 5 | 720 1104.93/1105.25 c 1102s | 18 | 2194828 | 316152 | 76167 8 | 5 | 720 1107.13/1107.44 c 1105s | 18 | 2199910 | 316552 | 76167 8 | 5 | 720 1109.23/1109.57 c 1107s | 18 | 2204030 | 317152 | 76167 8 | 5 | 720 1111.73/1112.00 c 1109s | 18 | 2209031 | 317652 | 76167 8 | 5 | 720 1113.83/1114.19 c 1111s | 18 | 2214360 | 318052 | 76167 8 | 5 | 720 1116.34/1116.64 c 1114s | 18 | 2222575 | 318552 | 76167 8 | 5 | 720 1118.63/1118.96 c 1116s | 18 | 2226314 | 319252 | 76167 8 | 5 | 720 1121.14/1121.43 c 1119s | 18 | 2231242 | 319752 | 76167 8 | 5 | 720 1123.24/1123.51 c 1121s | 18 | 2236707 | 320152 | 76167 8 | 5 | 720 1125.63/1125.97 c 1123s | 18 | 2243324 | 320952 | 76167 8 | 5 | 720 1127.83/1128.11 c 1125s | 18 | 2248003 | 321352 | 76167 8 | 5 | 720 1130.03/1130.33 c 1128s | 18 | 2253144 | 321752 | 76167 8 | 5 | 720 1132.33/1132.63 c 1130s | 18 | 2256538 | 322452 | 76167 8 | 5 | 720 1134.43/1134.76 c 1132s | 18 | 2263121 | 323052 | 76167 8 | 5 | 720 1136.43/1136.78 c 1134s | 18 | 2268449 | 323452 | 76167 8 | 5 | 720 1138.82/1139.11 c 1136s | 18 | 2272168 | 324052 | 76167 8 | 5 | 720 1141.12/1141.47 c 1139s | 18 | 2278408 | 324552 | 76167 8 | 5 | 720 1143.32/1143.60 c 1141s | 18 | 2281558 | 325152 | 76167 8 | 5 | 720 1145.62/1145.95 c 1143s | 18 | 2286736 | 325652 | 76167 8 | 5 | 720 1147.82/1148.13 c 1145s | 18 | 2290489 | 326052 | 76167 8 | 5 | 720 1149.92/1150.24 c 1147s | 18 | 2293738 | 326652 | 76167 8 | 5 | 720 1152.42/1152.71 c 1150s | 18 | 2299720 | 327252 | 76167 8 | 5 | 720 1154.42/1154.74 c 1152s | 18 | 2304358 | 327752 | 76167 8 | 5 | 720 1156.81/1157.11 c 1154s | 18 | 2310199 | 328452 | 76167 8 | 5 | 720 1159.12/1159.43 c 1157s | 18 | 2316959 | 329052 | 76167 8 | 5 | 720 1161.32/1161.68 c 1159s | 18 | 2322092 | 329752 | 76167 8 | 5 | 720 1163.41/1163.70 c 1161s | 18 | 2325686 | 330352 | 76167 8 | 5 | 720 1165.41/1165.70 c 1163s | 18 | 2329897 | 330852 | 76167 8 | 5 | 720 1167.41/1167.80 c 1165s | 18 | 2333679 | 331552 | 76167 8 | 5 | 720 1169.51/1169.83 c 1167s | 18 | 2338333 | 332152 | 76167 8 | 5 | 720 1171.61/1171.94 c 1169s | 18 | 2342018 | 332652 | 76167 8 | 5 | 720 1173.61/1173.94 c 1171s | 18 | 2345351 | 333152 | 76167 8 | 5 | 720 1176.01/1176.31 c 1173s | 18 | 2349330 | 333752 | 76167 8 | 5 | 720 1178.50/1178.84 c 1176s | 18 | 2352674 | 334352 | 76167 9 | 5 | 720 1180.70/1181.03 c 1178s | 18 | 2354268 | 334552 | 76167 9 | 5 | 720 1182.80/1183.11 c 1180s | 18 | 2359356 | 335452 | 76167 9 | 5 | 720 1184.80/1185.13 c 1182s | 18 | 2364009 | 336252 | 76167 9 | 5 | 720 1186.90/1187.27 c 1184s | 18 | 2367599 | 337052 | 76167 9 | 5 | 720 1189.10/1189.48 c 1187s | 18 | 2372413 | 338052 | 76167 9 | 5 | 720 1191.20/1191.59 c 1189s | 18 | 2375770 | 339052 | 76167 9 | 5 | 720 1193.60/1193.90 c 1191s | 18 | 2379527 | 340252 | 76167 9 | 5 | 720 1195.80/1196.16 c 1193s | 18 | 2381169 | 340352 | 76167 9 | 5 | 720 1197.99/1198.33 c 1196s | 18 | 2386888 | 340752 | 76167 9 | 5 | 720 1200.19/1200.54 c 1198s | 18 | 2394846 | 341252 | 76167 9 | 5 | 720 1202.19/1202.55 c 1200s | 18 | 2401748 | 342052 | 76167 9 | 5 | 720 1204.49/1204.86 c 1202s | 18 | 2408442 | 342552 | 76167 9 | 5 | 720 1206.79/1207.16 c 1204s | 18 | 2414098 | 343052 | 76167 9 | 5 | 720 1208.99/1209.34 c 1207s | 18 | 2420075 | 343852 | 76167 9 | 5 | 720 1211.18/1211.59 c 1209s | 18 | 2425888 | 344352 | 76167 9 | 5 | 720 1213.28/1213.64 c 1211s | 18 | 2434401 | 344852 | 76167 9 | 5 | 720 1215.58/1215.90 c 1213s | 18 | 2441114 | 345452 | 76167 9 | 5 | 720 1217.58/1217.98 c 1215s | 18 | 2446182 | 346152 | 76167 9 | 5 | 720 1219.69/1220.04 c 1217s | 18 | 2452054 | 346652 | 76167 9 | 5 | 720 1221.89/1222.23 c 1219s | 18 | 2458529 | 347452 | 76167 9 | 5 | 720 1224.18/1224.51 c 1222s | 18 | 2463842 | 347952 | 76167 9 | 5 | 720 1226.28/1226.66 c 1224s | 18 | 2469293 | 348452 | 76167 9 | 5 | 720 1228.48/1228.82 c 1226s | 18 | 2473699 | 349152 | 76167 9 | 5 | 720 1230.68/1231.04 c 1228s | 18 | 2479438 | 349652 | 76167 9 | 5 | 720 1232.88/1233.26 c 1230s | 18 | 2484412 | 350252 | 76167 9 | 5 | 720 1234.98/1235.33 c 1233s | 18 | 2489049 | 350852 | 76167 9 | 5 | 720 1236.97/1237.38 c 1235s | 18 | 2494389 | 351352 | 76167 9 | 5 | 720 1239.16/1239.52 c 1237s | 18 | 2499543 | 352052 | 76167 9 | 5 | 720 1241.36/1241.76 c 1239s | 18 | 2503536 | 352752 | 76167 9 | 5 | 720 1243.66/1244.06 c 1241s | 18 | 2510278 | 353352 | 76167 9 | 5 | 720 1245.86/1246.23 c 1243s | 18 | 2515353 | 354052 | 76167 9 | 5 | 720 1248.16/1248.59 c 1246s | 18 | 2521052 | 354752 | 76167 9 | 5 | 720 1250.36/1250.77 c 1248s | 18 | 2526920 | 355552 | 76167 9 | 5 | 720 1252.56/1252.90 c 1250s | 18 | 2533434 | 356152 | 76167 9 | 5 | 720 1254.56/1254.92 c 1252s | 18 | 2538510 | 356852 | 76167 9 | 5 | 720 1256.55/1256.95 c 1254s | 18 | 2544753 | 357652 | 76167 9 | 5 | 720 1258.75/1259.14 c 1256s | 18 | 2551435 | 358452 | 76167 9 | 5 | 720 1260.85/1261.21 c 1258s | 18 | 2556039 | 359152 | 76167 9 | 5 | 720 1262.95/1263.34 c 1261s | 18 | 2560503 | 359752 | 76167 9 | 5 | 720 1265.15/1265.50 c 1263s | 18 | 2566163 | 360652 | 76167 9 | 5 | 720 1267.15/1267.52 c 1265s | 18 | 2572064 | 361552 | 76167 9 | 5 | 720 1269.35/1269.79 c 1267s | 18 | 2577039 | 362452 | 76167 9 | 5 | 720 1271.54/1271.90 c 1269s | 18 | 2580904 | 363352 | 76167 9 | 5 | 720 1273.64/1274.08 c 1271s | 18 | 2584330 | 364252 | 76167 9 | 5 | 720 1275.75/1276.11 c 1273s | 18 | 2587029 | 365252 | 76167 9 | 5 | 720 1278.04/1278.40 c 1276s | 18 | 2593835 | 366052 | 76167 9 | 5 | 720 1280.15/1280.56 c 1278s | 18 | 2597680 | 366652 | 76167 9 | 5 | 720 1282.44/1282.80 c 1280s | 18 | 2602742 | 367152 | 76167 9 | 5 | 720 1284.94/1285.33 c 1283s | 18 | 2608674 | 367652 | 76167 9 | 5 | 720 1287.03/1287.46 c 1285s | 18 | 2612835 | 368152 | 76167 9 | 5 | 720 1289.33/1289.72 c 1287s | 18 | 2617646 | 368852 | 76167 9 | 5 | 720 1291.73/1292.19 c 1289s | 18 | 2624386 | 369352 | 76167 9 | 5 | 720 1294.13/1294.54 c 1292s | 18 | 2629940 | 369952 | 76167 9 | 5 | 720 1296.33/1296.72 c 1294s | 18 | 2634688 | 370552 | 76167 9 | 5 | 720 1298.74/1299.14 c 1296s | 18 | 2640003 | 371052 | 76167 9 | 5 | 720 1300.73/1301.18 c 1298s | 18 | 2645181 | 371552 | 76167 9 | 5 | 720 1303.43/1303.89 c 1301s | 18 | 2650632 | 372252 | 76167 10 | 5 | 720 1305.93/1306.32 c 1303s | 18 | 2654928 | 372652 | 76167 10 | 5 | 720 1308.23/1308.67 c 1306s | 18 | 2662076 | 373552 | 76167 10 | 5 | 720 1310.23/1310.68 c 1308s | 18 | 2667982 | 374052 | 76167 10 | 5 | 720 1312.53/1312.97 c 1310s | 18 | 2672971 | 374852 | 76167 10 | 5 | 720 1314.73/1315.19 c 1312s | 18 | 2677492 | 375652 | 76167 10 | 5 | 720 1317.12/1317.51 c 1315s | 18 | 2683894 | 376252 | 76167 10 | 5 | 720 1319.32/1319.73 c 1317s | 18 | 2687392 | 376952 | 76167 10 | 5 | 720 1321.42/1321.87 c 1319s | 18 | 2694108 | 377752 | 76167 10 | 5 | 720 1323.52/1323.98 c 1321s | 18 | 2699958 | 378352 | 76167 10 | 5 | 720 1325.92/1326.32 c 1323s | 18 | 2707565 | 379252 | 76167 10 | 5 | 720 1328.22/1328.64 c 1326s | 18 | 2713352 | 380052 | 76167 10 | 5 | 720 1330.22/1330.65 c 1328s | 18 | 2717395 | 380752 | 76167 10 | 5 | 720 1332.42/1332.83 c 1330s | 18 | 2722861 | 381552 | 76167 10 | 5 | 720 1334.62/1335.05 c 1332s | 18 | 2726672 | 382252 | 76167 10 | 5 | 720 1336.81/1337.25 c 1334s | 18 | 2731343 | 383152 | 76167 10 | 5 | 720 1338.91/1339.36 c 1337s | 18 | 2734932 | 383952 | 76167 10 | 5 | 720 1340.91/1341.37 c 1339s | 18 | 2739307 | 384752 | 76167 10 | 5 | 720 1343.11/1343.52 c 1341s | 18 | 2742357 | 385652 | 76167 10 | 5 | 720 1345.21/1345.64 c 1343s | 18 | 2745415 | 386552 | 76167 10 | 5 | 720 1347.21/1347.70 c 1345s | 18 | 2747943 | 387352 | 76167 10 | 5 | 720 1349.50/1349.96 c 1347s | 18 | 2752110 | 387752 | 76167 10 | 5 | 720 1351.70/1352.12 c 1349s | 18 | 2757497 | 388252 | 76167 10 | 5 | 720 1353.71/1354.15 c 1351s | 18 | 2760741 | 388852 | 76167 10 | 5 | 720 1356.01/1356.49 c 1354s | 18 | 2768324 | 389352 | 76167 10 | 5 | 720 1358.30/1358.76 c 1356s | 18 | 2774684 | 389852 | 76167 10 | 5 | 720 1360.31/1360.78 c 1358s | 18 | 2779580 | 390552 | 76167 10 | 5 | 720 1362.40/1362.80 c 1360s | 18 | 2784201 | 391052 | 76167 10 | 5 | 720 1364.40/1364.86 c 1362s | 18 | 2789546 | 391552 | 76167 10 | 5 | 720 1366.50/1366.94 c 1364s | 18 | 2793531 | 392252 | 76167 10 | 5 | 720 1368.79/1369.29 c 1366s | 18 | 2798361 | 392752 | 76167 10 | 5 | 720 1371.09/1371.54 c 1369s | 18 | 2802637 | 393252 | 76167 10 | 5 | 720 1373.19/1373.64 c 1371s | 18 | 2808650 | 393952 | 76167 10 | 5 | 720 1375.19/1375.69 c 1373s | 18 | 2814696 | 394452 | 76167 10 | 5 | 720 1377.49/1377.92 c 1375s | 18 | 2821599 | 395252 | 76167 10 | 5 | 720 1379.79/1380.25 c 1377s | 18 | 2827273 | 395752 | 76167 10 | 5 | 720 1382.09/1382.52 c 1380s | 18 | 2832430 | 396552 | 76167 10 | 5 | 720 1384.29/1384.70 c 1382s | 18 | 2838497 | 397152 | 76167 10 | 5 | 720 1386.29/1386.71 c 1384s | 18 | 2843179 | 397852 | 76167 10 | 5 | 720 1388.28/1388.71 c 1386s | 18 | 2849312 | 398352 | 76167 10 | 5 | 720 1390.28/1390.75 c 1388s | 18 | 2854702 | 398852 | 76167 10 | 5 | 720 1392.68/1393.11 c 1390s | 18 | 2858424 | 399552 | 76167 10 | 5 | 720 1394.88/1395.35 c 1393s | 18 | 2861868 | 400252 | 76167 10 | 5 | 720 1397.07/1397.55 c 1395s | 18 | 2867057 | 400752 | 76167 10 | 5 | 720 1399.27/1399.70 c 1397s | 18 | 2872586 | 401552 | 76167 10 | 5 | 720 1401.37/1401.87 c 1399s | 18 | 2878643 | 402252 | 76167 10 | 5 | 720 1403.77/1404.23 c 1401s | 18 | 2884409 | 402952 | 76167 10 | 5 | 720 1406.07/1406.52 c 1404s | 18 | 2889194 | 403752 | 76167 10 | 5 | 720 1408.07/1408.56 c 1406s | 18 | 2894008 | 404452 | 76167 10 | 5 | 720 1410.27/1410.71 c 1408s | 18 | 2897970 | 405152 | 76167 10 | 5 | 720 1412.37/1412.87 c 1410s | 18 | 2902684 | 405752 | 76167 10 | 5 | 720 1414.37/1414.88 c 1412s | 18 | 2907644 | 406552 | 76167 10 | 5 | 720 1416.67/1417.18 c 1414s | 18 | 2910367 | 407252 | 76167 10 | 5 | 720 1418.87/1419.37 c 1417s | 18 | 2915344 | 408052 | 76167 10 | 5 | 720 1420.97/1421.40 c 1419s | 18 | 2920779 | 408952 | 76167 10 | 5 | 720 1422.97/1423.43 c 1421s | 18 | 2924397 | 409752 | 76167 10 | 5 | 720 1425.17/1425.64 c 1423s | 18 | 2928589 | 410752 | 76167 10 | 5 | 720 1427.26/1427.71 c 1425s | 18 | 2930774 | 411752 | 76167 10 | 5 | 720 1429.67/1430.12 c 1427s | 18 | 2932696 | 412052 | 76167 11 | 5 | 720 1431.66/1432.17 c 1429s | 18 | 2937442 | 412552 | 76167 11 | 5 | 720 1433.86/1434.36 c 1432s | 18 | 2943679 | 413352 | 76167 11 | 5 | 720 1436.16/1436.67 c 1434s | 18 | 2950002 | 413852 | 76167 11 | 5 | 720 1438.36/1438.87 c 1436s | 18 | 2955490 | 414352 | 76167 11 | 5 | 720 1440.46/1440.99 c 1438s | 18 | 2960153 | 415052 | 76167 11 | 5 | 720 1442.66/1443.13 c 1440s | 18 | 2965887 | 415652 | 76167 11 | 5 | 720 1444.97/1445.46 c 1443s | 18 | 2972038 | 416452 | 76167 11 | 5 | 720 1447.06/1447.52 c 1445s | 18 | 2978446 | 416952 | 76167 11 | 5 | 720 1449.26/1449.75 c 1447s | 18 | 2983078 | 417652 | 76167 11 | 5 | 720 1451.67/1452.15 c 1449s | 18 | 2988411 | 418252 | 76167 11 | 5 | 720 1453.87/1454.35 c 1452s | 18 | 2994277 | 419052 | 76167 11 | 5 | 720 1456.07/1456.58 c 1454s | 18 | 2999124 | 419652 | 76167 11 | 5 | 720 1458.36/1458.86 c 1456s | 18 | 3003997 | 420352 | 76167 11 | 5 | 720 1460.47/1460.92 c 1458s | 18 | 3010095 | 420852 | 76167 11 | 5 | 720 1462.57/1463.01 c 1460s | 18 | 3013159 | 421552 | 76167 11 | 5 | 720 1464.56/1465.02 c 1462s | 18 | 3018418 | 422352 | 76167 11 | 5 | 720 1466.56/1467.03 c 1464s | 18 | 3022216 | 422952 | 76167 11 | 5 | 720 1468.66/1469.17 c 1466s | 18 | 3026589 | 423552 | 76167 11 | 5 | 720 1470.86/1471.35 c 1469s | 18 | 3030863 | 424252 | 76167 11 | 5 | 720 1473.26/1473.73 c 1471s | 18 | 3037496 | 425152 | 76167 11 | 5 | 720 1475.26/1475.74 c 1473s | 18 | 3041829 | 425852 | 76167 11 | 5 | 720 1477.46/1477.90 c 1475s | 18 | 3045866 | 426552 | 76167 11 | 5 | 720 1479.56/1480.04 c 1477s | 18 | 3052478 | 427452 | 76167 11 | 5 | 720 1481.66/1482.12 c 1479s | 18 | 3057875 | 428252 | 76167 11 | 5 | 720 1483.76/1484.21 c 1481s | 18 | 3062205 | 429152 | 76167 11 | 5 | 720 1485.86/1486.36 c 1484s | 18 | 3065057 | 429952 | 76167 11 | 5 | 720 1487.96/1488.45 c 1486s | 18 | 3067460 | 430752 | 76167 11 | 5 | 720 1490.16/1490.64 c 1488s | 18 | 3070520 | 431752 | 76167 11 | 5 | 720 1492.15/1492.66 c 1490s | 18 | 3073944 | 432452 | 76167 11 | 5 | 720 1494.46/1494.96 c 1492s | 18 | 3077374 | 433052 | 76167 11 | 5 | 720 1496.66/1497.11 c 1494s | 18 | 3081367 | 433552 | 76167 11 | 5 | 720 1498.75/1499.24 c 1496s | 18 | 3085284 | 433952 | 76167 11 | 5 | 720 1501.16/1501.64 c 1499s | 18 | 3088579 | 434652 | 76167 11 | 5 | 720 1503.15/1503.69 c 1501s | 18 | 3093959 | 435152 | 76167 11 | 5 | 720 1505.56/1506.09 c 1503s | 18 | 3099262 | 435952 | 76167 11 | 5 | 720 1507.76/1508.29 c 1505s | 18 | 3103785 | 436452 | 76167 11 | 5 | 720 1510.05/1510.58 c 1508s | 18 | 3109255 | 437152 | 76167 11 | 5 | 720 1512.45/1512.94 c 1510s | 18 | 3115164 | 437852 | 76167 11 | 5 | 720 1514.65/1515.20 c 1512s | 18 | 3120907 | 438452 | 76167 11 | 5 | 720 1516.85/1517.33 c 1514s | 18 | 3124883 | 439152 | 76167 11 | 5 | 720 1518.95/1519.45 c 1517s | 18 | 3129061 | 439852 | 76167 11 | 5 | 720 1521.05/1521.50 c 1519s | 18 | 3132791 | 440352 | 76167 11 | 5 | 720 1523.25/1523.77 c 1521s | 18 | 3136543 | 441052 | 76167 11 | 5 | 720 1525.55/1526.04 c 1523s | 18 | 3141071 | 441752 | 83784 11 | 5 | 720 1527.85/1528.37 c 1526s | 18 | 3145411 | 442452 | 83784 11 | 5 | 720 1529.95/1530.43 c 1528s | 18 | 3148789 | 443052 | 83784 11 | 5 | 720 1532.05/1532.51 c 1530s | 18 | 3151171 | 443652 | 83784 11 | 5 | 720 1534.15/1534.65 c 1532s | 18 | 3154536 | 444352 | 83784 11 | 5 | 720 1534.44/1534.98 c 1532s | 19 | 3155088 | 444482 | 83784 11 | 5 | 720 1536.64/1537.17 c 1534s | 19 | 3157724 | 444982 | 83784 11 | 5 | 720 1538.94/1539.40 c 1537s | 19 | 3160132 | 445582 | 83784 11 | 5 | 720 1540.94/1541.45 c 1539s | 19 | 3164720 | 446082 | 83784 11 | 5 | 720 1542.95/1543.48 c 1541s | 19 | 3167688 | 446582 | 83784 11 | 5 | 720 1545.05/1545.58 c 1543s | 19 | 3170571 | 447282 | 83784 11 | 5 | 720 1547.25/1547.79 c 1545s | 19 | 3173899 | 448082 | 83784 11 | 5 | 720 1549.45/1549.96 c 1547s | 19 | 3175664 | 448782 | 83784 11 | 5 | 720 1551.65/1552.12 c 1549s | 19 | 3177526 | 449582 | 83784 11 | 5 | 720 1571.34/1571.80 c 1569s | 19 | 3181906 | 450282 | 83784 11 | 5 | 720 1603.34/1603.85 c 1601s | 19 | 3184016 | 450482 | 83784 11 | 5 | 720 1605.43/1605.99 c 1603s | 19 | 3189046 | 450882 | 83784 11 | 5 | 720 1607.53/1608.09 c 1605s | 19 | 3191895 | 451482 | 83784 11 | 5 | 720 1609.83/1610.40 c 1608s | 19 | 3196478 | 451982 | 83784 11 | 5 | 720 1611.93/1612.41 c 1610s | 19 | 3201871 | 452382 | 83784 11 | 5 | 720 1614.23/1614.79 c 1612s | 19 | 3207828 | 452782 | 83784 11 | 5 | 720 1616.33/1616.83 c 1614s | 19 | 3213088 | 453182 | 83784 11 | 5 | 720 1618.53/1619.08 c 1616s | 19 | 3217447 | 453782 | 83784 11 | 5 | 720 1620.73/1621.24 c 1618s | 19 | 3222724 | 454282 | 83784 11 | 5 | 720 1623.03/1623.58 c 1621s | 19 | 3229139 | 454682 | 83784 11 | 5 | 720 1625.63/1626.17 c 1623s | 19 | 3232684 | 455082 | 83784 11 | 5 | 720 1627.83/1628.39 c 1626s | 19 | 3236279 | 455482 | 83784 11 | 5 | 720 1630.03/1630.56 c 1628s | 19 | 3239298 | 456082 | 83784 11 | 5 | 720 1632.12/1632.66 c 1630s | 19 | 3244891 | 456582 | 83784 11 | 5 | 720 1634.62/1635.14 c 1632s | 19 | 3250868 | 457082 | 83784 11 | 5 | 720 1636.72/1637.27 c 1634s | 19 | 3254229 | 457682 | 83784 11 | 5 | 720 1639.12/1639.60 c 1637s | 19 | 3259039 | 458182 | 83784 11 | 5 | 720 1642.52/1643.02 c 1640s | 19 | 3259953 | 458282 | 83784 12 | 5 | 720 1645.33/1645.83 c 1643s | 19 | 3261108 | 458382 | 83784 12 | 5 | 720 1647.73/1648.24 c 1645s | 19 | 3265461 | 458782 | 83784 12 | 5 | 720 1649.93/1650.45 c 1648s | 19 | 3272221 | 459282 | 83784 12 | 5 | 720 1652.03/1652.50 c 1650s | 19 | 3276594 | 459982 | 83784 12 | 5 | 720 1654.33/1654.84 c 1652s | 19 | 3281664 | 460582 | 83784 12 | 5 | 720 1656.63/1657.12 c 1654s | 19 | 3285916 | 461082 | 83784 12 | 5 | 720 1658.82/1659.32 c 1656s | 19 | 3289486 | 461782 | 83784 12 | 5 | 720 1661.02/1661.51 c 1659s | 19 | 3293945 | 462282 | 83784 12 | 5 | 720 1663.12/1663.64 c 1661s | 19 | 3300086 | 462782 | 83784 12 | 5 | 720 1665.42/1665.93 c 1663s | 19 | 3304402 | 463582 | 83784 12 | 5 | 720 1667.82/1668.39 c 1666s | 19 | 3309912 | 464182 | 83784 12 | 5 | 720 1670.12/1670.60 c 1668s | 19 | 3314738 | 464682 | 83784 12 | 5 | 720 1672.32/1672.80 c 1670s | 19 | 3318453 | 465382 | 83784 12 | 5 | 720 1674.42/1674.94 c 1672s | 19 | 3323581 | 465882 | 83784 12 | 5 | 720 1676.62/1677.10 c 1674s | 19 | 3327833 | 466582 | 83784 12 | 5 | 720 1679.02/1679.53 c 1677s | 19 | 3331916 | 467182 | 83784 12 | 5 | 720 1681.02/1681.54 c 1679s | 19 | 3336542 | 467682 | 83784 12 | 5 | 720 1683.42/1683.90 c 1681s | 19 | 3340421 | 468382 | 83784 12 | 5 | 720 1685.72/1686.24 c 1683s | 19 | 3343578 | 469082 | 83784 12 | 5 | 720 1687.72/1688.24 c 1685s | 19 | 3347921 | 469582 | 83784 12 | 5 | 720 1689.82/1690.32 c 1687s | 19 | 3350336 | 470282 | 83784 12 | 5 | 720 1691.82/1692.36 c 1690s | 19 | 3353776 | 470882 | 83784 12 | 5 | 720 1693.92/1694.48 c 1692s | 19 | 3358193 | 471382 | 83784 12 | 5 | 720 1695.92/1696.49 c 1694s | 19 | 3361565 | 471982 | 83784 12 | 5 | 720 1698.22/1698.76 c 1696s | 19 | 3365936 | 472582 | 83784 12 | 5 | 720 1700.42/1700.97 c 1698s | 19 | 3371385 | 473282 | 83784 12 | 5 | 720 1702.72/1703.27 c 1700s | 19 | 3374664 | 473982 | 83784 12 | 5 | 720 1704.92/1705.49 c 1703s | 19 | 3378243 | 474682 | 83784 12 | 5 | 720 1707.22/1707.76 c 1705s | 19 | 3382154 | 475382 | 83784 12 | 5 | 720 1709.32/1709.82 c 1707s | 19 | 3385925 | 476082 | 83784 12 | 5 | 720 1711.52/1712.02 c 1709s | 19 | 3390011 | 476782 | 83784 12 | 5 | 720 1713.62/1714.13 c 1711s | 19 | 3394306 | 477582 | 83784 12 | 5 | 720 1715.82/1716.30 c 1713s | 19 | 3397348 | 478382 | 83784 12 | 5 | 720 1717.92/1718.43 c 1716s | 19 | 3400653 | 479182 | 83784 12 | 5 | 720 1719.92/1720.49 c 1718s | 19 | 3403004 | 479982 | 83784 12 | 5 | 720 1722.12/1722.63 c 1720s | 19 | 3405251 | 480882 | 83784 12 | 5 | 720 1725.01/1725.50 c 1723s | 19 | 3408563 | 481782 | 83784 12 | 5 | 720 1727.11/1727.62 c 1725s | 19 | 3414439 | 482182 | 83784 12 | 5 | 720 1729.11/1729.68 c 1727s | 19 | 3420135 | 482582 | 83784 12 | 5 | 720 1731.41/1731.95 c 1729s | 19 | 3425470 | 483082 | 83784 12 | 5 | 720 1733.71/1734.28 c 1731s | 19 | 3429564 | 483782 | 83784 12 | 5 | 720 1736.11/1736.65 c 1734s | 19 | 3436343 | 484282 | 83784 12 | 5 | 720 1738.31/1738.80 c 1736s | 19 | 3440205 | 484682 | 83784 12 | 5 | 720 1740.51/1741.04 c 1738s | 19 | 3445540 | 485282 | 83784 12 | 5 | 720 1742.51/1743.06 c 1740s | 19 | 3450804 | 485982 | 83784 12 | 5 | 720 1745.01/1745.51 c 1743s | 19 | 3456461 | 486482 | 83784 12 | 5 | 720 1747.01/1747.56 c 1745s | 19 | 3460596 | 486882 | 83784 12 | 5 | 720 1749.11/1749.61 c 1747s | 19 | 3465287 | 487482 | 83784 12 | 5 | 720 1751.41/1751.98 c 1749s | 19 | 3468628 | 488082 | 83784 12 | 5 | 720 1753.61/1754.10 c 1751s | 19 | 3473182 | 488482 | 83784 12 | 5 | 720 1756.01/1756.59 c 1754s | 19 | 3478133 | 488982 | 83784 12 | 5 | 720 1758.31/1758.82 c 1756s | 19 | 3481860 | 489682 | 83784 12 | 5 | 720 1760.72/1761.24 c 1758s | 19 | 3487461 | 490182 | 83784 12 | 5 | 720 1762.82/1763.31 c 1760s | 19 | 3491817 | 490782 | 83784 12 | 5 | 720 1765.12/1765.62 c 1763s | 19 | 3496639 | 491382 | 83784 12 | 5 | 720 1767.11/1767.65 c 1765s | 19 | 3500201 | 491782 | 83784 12 | 5 | 720 1769.11/1769.66 c 1767s | 19 | 3504434 | 492182 | 83784 12 | 5 | 720 1771.21/1771.77 c 1769s | 19 | 3508029 | 492782 | 83784 12 | 5 | 720 1773.71/1774.26 c 1771s | 19 | 3512962 | 493382 | 83784 12 | 5 | 720 1775.81/1776.31 c 1773s | 19 | 3517849 | 493782 | 83784 12 | 5 | 720 1778.11/1778.65 c 1776s | 19 | 3522577 | 494282 | 83784 12 | 5 | 720 1780.21/1780.78 c 1778s | 19 | 3526104 | 494982 | 83784 12 | 5 | 720 1782.61/1783.13 c 1780s | 19 | 3531060 | 495482 | 83784 12 | 5 | 720 1784.91/1785.41 c 1783s | 19 | 3535247 | 496182 | 83784 12 | 5 | 720 1787.11/1787.62 c 1785s | 19 | 3539649 | 496682 | 83784 12 | 5 | 720 1789.11/1789.64 c 1787s | 19 | 3544239 | 497382 | 83784 12 | 5 | 720 1791.51/1792.05 c 1789s | 19 | 3549933 | 497882 | 83784 12 | 5 | 720 1793.61/1794.20 c 1791s | 19 | 3555574 | 498382 | 83784 12 | 5 | 720 1795.91/1796.44 c 1794s | 19 | 3559807 | 499082 | 83784 12 | 5 | 720 1797.90/1798.50 c 1796s | 19 | 3562212 | 499582 | 83784 12 | 5 | 720
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-4098010-1466119113/watcher-4098010-1466119113 -o /tmp/evaluation-result-4098010-1466119113/solver-4098010-1466119113 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466119113-21353 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098010-1466119113.opb pid=21382 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: 1.08 1.08 1.41 3/179 21385 /proc/meminfo: memFree=31123876/32872528 swapFree=681192/736380 [pid=21385] ppid=21382 vsize=819780 CPUtime=0 cores=1,3,5,7 /proc/21385/stat : 21385 (toysat) R 21382 21385 17793 0 -1 4202496 3075 0 0 0 0 0 0 0 20 0 4 0 13960594 839454720 3436 33554432000 4194304 16246674 140737418903568 140737418902992 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21385/statm: 205457 3446 442 2943 0 202351 0 [pid=21385/tid=21386] ppid=21382 vsize=837188 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21386/stat : 21386 (toysat) S 21382 21385 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960595 857280512 3506 33554432000 4194304 16246674 140737418903568 140651269172464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=21385/tid=21387] ppid=21382 vsize=841284 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21387/stat : 21387 (toysat) S 21382 21385 17793 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13960595 861474816 3522 33554432000 4194304 16246674 140737418903568 140651186334960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=21385/tid=21388] ppid=21382 vsize=847428 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13960595 867766272 3543 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100168 s] /proc/loadavg: 1.08 1.08 1.41 3/179 21385 /proc/meminfo: memFree=31123876/32872528 swapFree=681192/736380 [pid=21385] ppid=21382 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/21385/stat : 21385 (toysat) R 21382 21385 17793 0 -1 4202496 27017 0 0 0 5 4 0 0 20 0 4 0 13960594 1333334016 27316 33554432000 4194304 16246674 140737418903568 140737418902880 7889302 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21385/statm: 325521 27332 801 2943 0 322415 0 [pid=21385/tid=21386] ppid=21382 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21386/stat : 21386 (toysat) S 21382 21385 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960595 1333334016 27343 33554432000 4194304 16246674 140737418903568 140651269172464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=21385/tid=21387] ppid=21382 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21387/stat : 21387 (toysat) S 21382 21385 17793 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13960595 1333334016 27355 33554432000 4194304 16246674 140737418903568 140651186334960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=21385/tid=21388] ppid=21382 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960595 1333334016 27366 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200537 s] /proc/loadavg: 1.08 1.08 1.41 3/179 21385 /proc/meminfo: memFree=31123876/32872528 swapFree=681192/736380 [pid=21385] ppid=21382 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/21385/stat : 21385 (toysat) R 21382 21385 17793 0 -1 4202496 45427 0 0 0 12 7 0 0 20 0 4 0 13960594 1344868352 46236 33554432000 4194304 16246674 140737418903568 140737418902880 13784952 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21385/statm: 328337 46236 802 2943 0 325231 0 [pid=21385/tid=21386] ppid=21382 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21386/stat : 21386 (toysat) S 21382 21385 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960595 1344868352 46236 33554432000 4194304 16246674 140737418903568 140651269172464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=21385/tid=21387] ppid=21382 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21387/stat : 21387 (toysat) S 21382 21385 17793 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13960595 1344868352 46236 33554432000 4194304 16246674 140737418903568 140651186334960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=21385/tid=21388] ppid=21382 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960595 1344868352 46236 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300514 s] /proc/loadavg: 1.08 1.08 1.41 3/179 21385 /proc/meminfo: memFree=31123876/32872528 swapFree=681192/736380 [pid=21385] ppid=21382 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/21385/stat : 21385 (toysat) R 21382 21385 17793 0 -1 4202496 59652 0 0 0 20 9 0 0 20 0 4 0 13960594 1344868352 60461 33554432000 4194304 16246674 140737418903568 140737418902880 7854464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21385/statm: 328337 60461 802 2943 0 325231 0 [pid=21385/tid=21386] ppid=21382 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21386/stat : 21386 (toysat) S 21382 21385 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960595 1344868352 60461 33554432000 4194304 16246674 140737418903568 140651269172464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=21385/tid=21387] ppid=21382 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21387/stat : 21387 (toysat) S 21382 21385 17793 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13960595 1344868352 60461 33554432000 4194304 16246674 140737418903568 140651186334960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=21385/tid=21388] ppid=21382 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960595 1344868352 60461 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700423 s] /proc/loadavg: 1.08 1.08 1.41 3/179 21385 /proc/meminfo: memFree=31123876/32872528 swapFree=681192/736380 [pid=21385] ppid=21382 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/21385/stat : 21385 (toysat) R 21382 21385 17793 0 -1 4202496 69929 0 0 0 59 10 0 0 20 0 4 0 13960594 1344868352 70738 33554432000 4194304 16246674 140737418903568 140737418902880 4221138 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21385/statm: 328337 70738 803 2943 0 325231 0 [pid=21385/tid=21386] ppid=21382 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21386/stat : 21386 (toysat) S 21382 21385 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960595 1344868352 70738 33554432000 4194304 16246674 140737418903568 140651269172464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=21385/tid=21387] ppid=21382 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21387/stat : 21387 (toysat) S 21382 21385 17793 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13960595 1344868352 70738 33554432000 4194304 16246674 140737418903568 140651186334960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=21385/tid=21388] ppid=21382 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960595 1344868352 70738 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50042 s] /proc/loadavg: 1.08 1.08 1.41 4/183 21389 /proc/meminfo: memFree=29899308/32872528 swapFree=681192/736380 [pid=21385] ppid=21382 vsize=1313348 CPUtime=1.49 cores=1,3,5,7 /proc/21385/stat : 21385 (toysat) R 21382 21385 17793 0 -1 4202496 209687 0 0 0 121 28 0 0 20 0 4 0 13960594 1344868352 210497 33554432000 4194304 16246674 140737418903568 140737418886560 12478333 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21385/statm: 328337 210510 837 2943 0 325231 0 [pid=21385/tid=21386] ppid=21382 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21386/stat : 21386 (toysat) S 21382 21385 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960595 1344868352 210517 33554432000 4194304 16246674 140737418903568 140651269172464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=21385/tid=21387] ppid=21382 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21387/stat : 21387 (toysat) S 21382 21385 17793 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13960595 1344868352 210523 33554432000 4194304 16246674 140737418903568 140651186334960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=21385/tid=21388] ppid=21382 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960595 1344868352 210532 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10041 s] /proc/loadavg: 1.15 1.10 1.41 3/183 21389 /proc/meminfo: memFree=28996696/32872528 swapFree=681192/736380 [pid=21385] ppid=21382 vsize=1324612 CPUtime=3.09 cores=1,3,5,7 /proc/21385/stat : 21385 (toysat) R 21382 21385 17793 0 -1 4202496 271659 0 0 0 273 36 0 0 20 0 4 0 13960594 1356402688 272468 33554432000 4194304 16246674 140737418903568 140737418901312 5672056 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21385/statm: 331153 272468 884 2943 0 328047 0 [pid=21385/tid=21386] ppid=21382 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21386/stat : 21386 (toysat) S 21382 21385 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960595 1356402688 272468 33554432000 4194304 16246674 140737418903568 140651269172464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=21385/tid=21387] ppid=21382 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21387/stat : 21387 (toysat) S 21382 21385 17793 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13960595 1356402688 272468 33554432000 4194304 16246674 140737418903568 140651186334960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=21385/tid=21388] ppid=21382 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960595 1356402688 272468 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1324612 [startup+6.30043 s] /proc/loadavg: 1.15 1.10 1.41 3/183 21389 /proc/meminfo: memFree=28994064/32872528 swapFree=681192/736380 [pid=21385] ppid=21382 vsize=1324612 CPUtime=6.29 cores=1,3,5,7 /proc/21385/stat : 21385 (toysat) R 21382 21385 17793 0 -1 4202496 271828 0 0 0 593 36 0 0 20 0 4 0 13960594 1356402688 272637 33554432000 4194304 16246674 140737418903568 140737418885440 5532143 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21385/statm: 331153 272637 887 2943 0 328047 0 [pid=21385/tid=21386] ppid=21382 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21386/stat : 21386 (toysat) S 21382 21385 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960595 1356402688 272637 33554432000 4194304 16246674 140737418903568 140651269172464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=21385/tid=21387] ppid=21382 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21387/stat : 21387 (toysat) S 21382 21385 17793 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13960595 1356402688 272637 33554432000 4194304 16246674 140737418903568 140651186334960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=21385/tid=21388] ppid=21382 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960595 1356402688 272637 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1324612 [startup+12.7004 s] /proc/loadavg: 1.28 1.13 1.41 3/183 21389 /proc/meminfo: memFree=28994196/32872528 swapFree=681192/736380 [pid=21385] ppid=21382 vsize=1324612 CPUtime=12.69 cores=1,3,5,7 /proc/21385/stat : 21385 (toysat) R 21382 21385 17793 0 -1 4202496 271828 0 0 0 1233 36 0 0 20 0 4 0 13960594 1356402688 272637 33554432000 4194304 16246674 140737418903568 140737418885440 6022086 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21385/statm: 331153 272637 887 2943 0 328047 0 [pid=21385/tid=21386] ppid=21382 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21386/stat : 21386 (toysat) S 21382 21385 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960595 1356402688 272637 33554432000 4194304 16246674 140737418903568 140651269172464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=21385/tid=21387] ppid=21382 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21387/stat : 21387 (toysat) S 21382 21385 17793 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13960595 1356402688 272637 33554432000 4194304 16246674 140737418903568 140651186334960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=21385/tid=21388] ppid=21382 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960595 1356402688 272637 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1324612 [startup+25.5005 s] /proc/loadavg: 1.39 1.15 1.42 4/183 21389 /proc/meminfo: memFree=28980624/32872528 swapFree=681192/736380 [pid=21385] ppid=21382 vsize=1324612 CPUtime=25.48 cores=1,3,5,7 /proc/21385/stat : 21385 (toysat) R 21382 21385 17793 0 -1 4202496 271829 0 0 0 2512 36 0 0 20 0 4 0 13960594 1356402688 272638 33554432000 4194304 16246674 140737418903568 140737418885440 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21385/statm: 331153 272638 887 2943 0 328047 0 [pid=21385/tid=21386] ppid=21382 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21386/stat : 21386 (toysat) S 21382 21385 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960595 1356402688 272638 33554432000 4194304 16246674 140737418903568 140651269172464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=21385/tid=21387] ppid=21382 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21387/stat : 21387 (toysat) S 21382 21385 17793 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13960595 1356402688 272638 33554432000 4194304 16246674 140737418903568 140651186334960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=21385/tid=21388] ppid=21382 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960595 1356402688 272638 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1324612 [startup+51.1005 s] /proc/loadavg: 1.60 1.22 1.44 3/183 21389 /proc/meminfo: memFree=28971456/32872528 swapFree=681192/736380 [pid=21385] ppid=21382 vsize=1324612 CPUtime=51.08 cores=1,3,5,7 /proc/21385/stat : 21385 (toysat) R 21382 21385 17793 0 -1 4202496 271829 0 0 0 5072 36 0 0 20 0 4 0 13960594 1356402688 272638 33554432000 4194304 16246674 140737418903568 140737418885440 5677720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21385/statm: 331153 272638 887 2943 0 328047 0 [pid=21385/tid=21386] ppid=21382 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21386/stat : 21386 (toysat) S 21382 21385 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960595 1356402688 272638 33554432000 4194304 16246674 140737418903568 140651269172464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=21385/tid=21387] ppid=21382 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21387/stat : 21387 (toysat) S 21382 21385 17793 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13960595 1356402688 272638 33554432000 4194304 16246674 140737418903568 140651186334960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=21385/tid=21388] ppid=21382 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960595 1356402688 272638 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1324612 [startup+102.301 s] /proc/loadavg: 1.84 1.35 1.47 3/184 21394 /proc/meminfo: memFree=28970524/32872528 swapFree=681192/736380 [pid=21385] ppid=21382 vsize=1324612 CPUtime=102.28 cores=1,3,5,7 /proc/21385/stat : 21385 (toysat) R 21382 21385 17793 0 -1 4202496 271831 0 0 0 10192 36 0 0 20 0 4 0 13960594 1356402688 272640 33554432000 4194304 16246674 140737418903568 140737418885440 5522909 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21385/statm: 331153 272640 888 2943 0 328047 0 [pid=21385/tid=21386] ppid=21382 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21386/stat : 21386 (toysat) S 21382 21385 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960595 1356402688 272640 33554432000 4194304 16246674 140737418903568 140651269172464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=21385/tid=21387] ppid=21382 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21387/stat : 21387 (toysat) S 21382 21385 17793 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13960595 1356402688 272640 33554432000 4194304 16246674 140737418903568 140651186334960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=21385/tid=21388] ppid=21382 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960595 1356402688 272640 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1324612 ################ # More data... # ################ /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960595 1433997312 291841 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1400388 [startup+1362.3 s] /proc/loadavg: 2.19 2.16 1.95 4/183 21425 /proc/meminfo: memFree=28841916/32872528 swapFree=681192/736380 [pid=21385] ppid=21382 vsize=1400388 CPUtime=1361.9 cores=1,3,5,7 /proc/21385/stat : 21385 (toysat) R 21382 21385 17793 0 -1 4202496 291101 0 0 0 136134 56 0 0 20 0 4 0 13960594 1433997312 291841 33554432000 4194304 16246674 140737418903568 140737418885440 5523464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21385/statm: 350097 291841 889 2943 0 346991 0 [pid=21385/tid=21386] ppid=21382 vsize=1400388 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21386/stat : 21386 (toysat) S 21382 21385 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960595 1433997312 291841 33554432000 4194304 16246674 140737418903568 140651269172464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=21385/tid=21387] ppid=21382 vsize=1400388 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21387/stat : 21387 (toysat) S 21382 21385 17793 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13960595 1433997312 291841 33554432000 4194304 16246674 140737418903568 140651186334960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=21385/tid=21388] ppid=21382 vsize=1400388 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960595 1433997312 291841 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1400388 [startup+1422.3 s] /proc/loadavg: 2.12 2.14 1.96 3/183 21426 /proc/meminfo: memFree=28841784/32872528 swapFree=681192/736380 [pid=21385] ppid=21382 vsize=1400388 CPUtime=1421.87 cores=1,3,5,7 /proc/21385/stat : 21385 (toysat) R 21382 21385 17793 0 -1 4202496 291138 0 0 0 142131 56 0 0 20 0 4 0 13960594 1433997312 291841 33554432000 4194304 16246674 140737418903568 140737418885440 6837238 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21385/statm: 350097 291841 889 2943 0 346991 0 [pid=21385/tid=21386] ppid=21382 vsize=1400388 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21386/stat : 21386 (toysat) S 21382 21385 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960595 1433997312 291841 33554432000 4194304 16246674 140737418903568 140651269172464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=21385/tid=21387] ppid=21382 vsize=1400388 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21387/stat : 21387 (toysat) S 21382 21385 17793 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13960595 1433997312 291841 33554432000 4194304 16246674 140737418903568 140651186334960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=21385/tid=21388] ppid=21382 vsize=1400388 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960595 1433997312 291841 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1400388 [startup+1482.3 s] /proc/loadavg: 2.09 2.13 1.96 3/183 21427 /proc/meminfo: memFree=28807916/32872528 swapFree=681192/736380 [pid=21385] ppid=21382 vsize=1434180 CPUtime=1481.86 cores=1,3,5,7 /proc/21385/stat : 21385 (toysat) R 21382 21385 17793 0 -1 4202496 299604 0 0 0 148128 58 0 0 20 0 4 0 13960594 1468600320 300289 33554432000 4194304 16246674 140737418903568 140737418885440 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21385/statm: 358545 300289 889 2943 0 355439 0 [pid=21385/tid=21386] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21386/stat : 21386 (toysat) S 21382 21385 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651269172464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=21385/tid=21387] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21387/stat : 21387 (toysat) S 21382 21385 17793 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651186334960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=21385/tid=21388] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1434180 [startup+1542.31 s] /proc/loadavg: 2.14 2.13 1.97 3/183 21428 /proc/meminfo: memFree=28807956/32872528 swapFree=681192/736380 [pid=21385] ppid=21382 vsize=1434180 CPUtime=1541.85 cores=1,3,5,7 /proc/21385/stat : 21385 (toysat) R 21382 21385 17793 0 -1 4202496 299606 0 0 0 154127 58 0 0 20 0 4 0 13960594 1468600320 300289 33554432000 4194304 16246674 140737418903568 140737418885440 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21385/statm: 358545 300289 889 2943 0 355439 0 [pid=21385/tid=21386] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21386/stat : 21386 (toysat) S 21382 21385 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651269172464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=21385/tid=21387] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21387/stat : 21387 (toysat) S 21382 21385 17793 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651186334960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=21385/tid=21388] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1434180 [startup+1602.3 s] /proc/loadavg: 2.25 2.17 2.00 3/183 21430 /proc/meminfo: memFree=28808068/32872528 swapFree=681192/736380 [pid=21385] ppid=21382 vsize=1434180 CPUtime=1601.83 cores=1,3,5,7 /proc/21385/stat : 21385 (toysat) R 21382 21385 17793 0 -1 4202496 299606 0 0 0 160122 61 0 0 20 0 4 0 13960594 1468600320 300289 33554432000 4194304 16246674 140737418903568 140737418902664 13874759 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21385/statm: 358545 300289 889 2943 0 355439 0 [pid=21385/tid=21386] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21386/stat : 21386 (toysat) S 21382 21385 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651269172464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=21385/tid=21387] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21387/stat : 21387 (toysat) S 21382 21385 17793 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651186334960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=21385/tid=21388] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1434180 [startup+1662.3 s] /proc/loadavg: 2.20 2.17 2.00 4/183 21431 /proc/meminfo: memFree=28808488/32872528 swapFree=681192/736380 [pid=21385] ppid=21382 vsize=1434180 CPUtime=1661.82 cores=1,3,5,7 /proc/21385/stat : 21385 (toysat) R 21382 21385 17793 0 -1 4202496 299606 0 0 0 166120 62 0 0 20 0 4 0 13960594 1468600320 300289 33554432000 4194304 16246674 140737418903568 140737418885440 5661428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21385/statm: 358545 300289 889 2943 0 355439 0 [pid=21385/tid=21386] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21386/stat : 21386 (toysat) S 21382 21385 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651269172464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=21385/tid=21387] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21387/stat : 21387 (toysat) S 21382 21385 17793 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651186334960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=21385/tid=21388] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1434180 [startup+1722.3 s] /proc/loadavg: 2.28 2.19 2.02 3/183 21432 /proc/meminfo: memFree=28808468/32872528 swapFree=681192/736380 [pid=21385] ppid=21382 vsize=1434180 CPUtime=1721.82 cores=1,3,5,7 /proc/21385/stat : 21385 (toysat) R 21382 21385 17793 0 -1 4202496 299606 0 0 0 172120 62 0 0 20 0 4 0 13960594 1468600320 300289 33554432000 4194304 16246674 140737418903568 140737418885440 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21385/statm: 358545 300289 889 2943 0 355439 0 [pid=21385/tid=21386] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21386/stat : 21386 (toysat) S 21382 21385 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651269172464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=21385/tid=21387] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21387/stat : 21387 (toysat) S 21382 21385 17793 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651186334960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=21385/tid=21388] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1434180 [startup+1782.3 s] /proc/loadavg: 2.16 2.17 2.02 3/183 21433 /proc/meminfo: memFree=28807952/32872528 swapFree=681192/736380 [pid=21385] ppid=21382 vsize=1434180 CPUtime=1781.81 cores=1,3,5,7 /proc/21385/stat : 21385 (toysat) R 21382 21385 17793 0 -1 4202496 299606 0 0 0 178119 62 0 0 20 0 4 0 13960594 1468600320 300289 33554432000 4194304 16246674 140737418903568 140737418885440 5829931 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21385/statm: 358545 300289 889 2943 0 355439 0 [pid=21385/tid=21386] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21386/stat : 21386 (toysat) S 21382 21385 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651269172464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=21385/tid=21387] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21387/stat : 21387 (toysat) S 21382 21385 17793 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651186334960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=21385/tid=21388] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1434180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.19 2.18 2.02 3/183 21433 /proc/meminfo: memFree=28807952/32872528 swapFree=681192/736380 [pid=21385] ppid=21382 vsize=1434180 CPUtime=1800 cores=1,3,5,7 /proc/21385/stat : 21385 (toysat) R 21382 21385 17793 0 -1 4202496 299606 0 0 0 179938 62 0 0 20 0 4 0 13960594 1468600320 300289 33554432000 4194304 16246674 140737418903568 140737418885440 5829313 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21385/statm: 358545 300289 889 2943 0 355439 0 [pid=21385/tid=21386] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21386/stat : 21386 (toysat) S 21382 21385 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651269172464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=21385/tid=21387] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21387/stat : 21387 (toysat) S 21382 21385 17793 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651186334960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=21385/tid=21388] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1434180 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 21385 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.19 2.18 2.02 3/183 21433 /proc/meminfo: memFree=28807952/32872528 swapFree=681192/736380 [pid=21385] ppid=21382 vsize=1434180 CPUtime=1800 cores=1,3,5,7 /proc/21385/stat : 21385 (toysat) R 21382 21385 17793 0 -1 4202496 299606 0 0 0 179938 62 0 0 20 0 4 0 13960594 1468600320 300289 33554432000 4194304 16246674 140737418903568 140737418885440 5829313 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21385/statm: 358545 300289 889 2943 0 355439 0 [pid=21385/tid=21386] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21386/stat : 21386 (toysat) S 21382 21385 17793 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651269172464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=21385/tid=21387] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21387/stat : 21387 (toysat) S 21382 21385 17793 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651186334960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=21385/tid=21388] ppid=21382 vsize=1434180 CPUtime=0 cores=1,3,5,7 /proc/21385/task/21388/stat : 21388 (toysat) S 21382 21385 17793 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13960595 1468600320 300289 33554432000 4194304 16246674 140737418903568 140651175861424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1434180 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.39 CPU system time (s): 0.622905 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 1434180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.39 system time used= 0.622905 maximum resident set size= 1201156 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 299606 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= 401 involuntary context switches= 1840 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.6243 second user time and 6.87795 second system time The end
Begin job on node112 at 2016-06-17 01:18:34 IDJOB=4098010 IDBENCH=107839 IDSOLVER=2542 FILE ID=node112/4098010-1466119113 RUNJOBID= node112-1466119113-21353 PBS_JOBID= 19904069 Free space on /tmp= 71692 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_19.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098010-1466119113/watcher-4098010-1466119113 -o /tmp/evaluation-result-4098010-1466119113/solver-4098010-1466119113 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466119113-21353 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098010-1466119113.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a0b555e3d97de088b9388687f25060b6 RANDOM SEED=663202263 node112.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.734 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.46 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.734 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.734 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 : 5321.48 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.734 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.734 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.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 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.734 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31150312 kB Buffers: 70004 kB Cached: 190636 kB SwapCached: 696 kB Active: 173728 kB Inactive: 106040 kB Active(anon): 21120 kB Inactive(anon): 740 kB Active(file): 152608 kB Inactive(file): 105300 kB Unevictable: 736380 kB Mlocked: 681192 kB SwapTotal: 67108856 kB SwapFree: 67098028 kB Dirty: 38064 kB Writeback: 0 kB AnonPages: 753648 kB Mapped: 8612 kB Shmem: 0 kB Slab: 572360 kB SReclaimable: 16260 kB SUnreclaim: 556100 kB KernelStack: 1400 kB PageTables: 7100 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1743052 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 55296 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71676 MiB End job on node112 at 2016-06-17 01:48:34