| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.61 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/nossum/ normalized-sha1-size112-round23-1.opb |
| MD5SUM | eb4d42496bf658b7317f257e580ff894 |
| 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 | 4288 |
| Total number of constraints | 9488 |
| Number of constraints which are clauses | 8192 |
| Number of constraints which are cardinality constraints (but not clauses) | 400 |
| Number of constraints which are nor clauses,nor cardinality constraints | 896 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 10 |
| 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 | 4 |
| Number of bits of the biggest number in a constraint | 3 |
| Biggest sum of numbers in a constraint | 14 |
| Number of bits of the biggest sum of numbers | 4 |
| 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-26T14:20:20+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-4115901-1466943620.opb"] 0.00/0.01 c use --random-gen="818446844 2400829337 928173602 3506995802 15929881 4284230465 2316808373 1533298656 3124758365 3761975005 2321006262 1038074193 1939476985 1846930664 3694754836 2856153162 3725585447 1015360969 1851910470 1375494045 2927610610 3807230830 2834561174 3688299267 29063269 1298459435 129890210 664565748 2437514693 2996936746 3437895761 3621999983 535934701 3496355831 1684854339 4063218191 3298746906 1667348396 1972140616 1649984848 1925383134 2414508216 2830283502 232797540 235574205 606029344 3103377766 1806914346 944366468 3459626563 524888433 2748892914 2040762523 2727501032 1315482827 2583680167 2618726573 427282516 3428609058 2758929281 498212998 3620850443 2341762624 2520003691 2047054056 573322179 4150688448 3019276538 568406635 3310705463 1977844388 2223465880 813173605 3967420632 859253729 711010412 4020606867 452439330 2307074694 2720044017 853420498 535360094 3070053661 4219376097 1301773106 419691718 2535495098 2755736658 4146928880 888814651 1750702449 2047908682 2525745859 1055617295 719907030 254585104 49855899 781132814 1001679726 1171688066 200366021 2637370804 1951788357 2671915687 2905260463 3491292073 136130154 359384154 3239962750 3865504823 61097075 3831660943 3795180247 2357672613 4196163849 3990412646 2113603167 3176418619 3514579689 1776111715 840610888 3183770158 2039415496 580199443 1865641798 3819157182 714603129 3176338901 776405214 1791619981 360459712 1194785984 2940533212 251003469 222017293 1668121827 4134082036 2506022334 2727491037 1118280386 2174733893 2274975381 305622044 336151046 2948058995 2156144695 2140128709 2089128415 3998107211 584041500 1596044254 1393397187 2271171972 2333026465 236631055 3888530135 1966594437 3959684838 907279033 4154222303 2586993085 1775298334 2832076085 62538575 792028427 601091839 2229467022 3865780989 2722630159 427103050 2042132912 3824378454 1764805903 3865557352 2386357315 4147239277 2474788908 4116861661 544219173 2994600889 2027849834 4097650471 4285143341 1064257222 136512924 2317921052 2246014170 3367488474 535932523 2355285200 111575276 2681477726 3322669714 4068626864 163815737 4112833135 3646689785 47908387 3444297665 791155648 1196861623 2245515933 754123176 2816257692 3919797677 2860652652 3983714111 1377264807 1978087364 980359401 1606632253 2615267277 1229028675 3059288969 218732198 1547199515 1275801998 387282147 947226091 3044463610 1761780002 4226544790 1572301655 1248140989 3505562393 1433457580 547295084 2013129586 3908479144 272127170 4220214558 2351876611 1568347935 3466556358 3462643669 650579417 3682010217 2806333894 973815899 2709184516 3382794613 628211855 1908486513 691336332 2652134683 2448454372 1329711990 2662609617 407733417 696920345 988176967 967866219 982379565 3504730390 1298631879 1480067329 255 362436" option to reproduce the execution 0.09/0.12 c #vars 4288 0.09/0.12 c #constraints 9488 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 4565 0 | 662 | 0 0.29/0.34 c 0.1s | 1 | 625 | 100 | 4565 0 | 662 | 432 0.39/0.43 c 0.2s | 2 | 1728 | 250 | 5022 0 | 662 | 432 0.59/0.60 c 0.3s | 3 | 4094 | 475 | 5525 0 | 663 | 432 0.69/0.86 c 0.6s | 4 | 5715 | 813 | 6078 0 | 663 | 432 1.40/1.42 c 1.1s | 5 | 7794 | 1320 | 6686 0 | 663 | 432 1.99/2.02 c 1.7s | 6 | 11684 | 2081 | 8091 0 | 663 | 432 2.99/3.07 c 2.8s | 7 | 14735 | 3223 | 8901 0 | 663 | 432 3.99/4.07 c 3.8s | 8 | 22714 | 4936 | 9792 0 | 663 | 432 6.09/6.14 c 5.9s | 8 | 26252 | 6836 | 9792 0 | 663 | 432 6.90/6.99 c 6.7s | 9 | 27075 | 7506 | 10772 0 | 663 | 432 8.99/9.06 c 8.8s | 9 | 31557 | 9106 | 10772 0 | 663 | 432 11.09/11.15 c 10.9s | 9 | 33001 | 10406 | 10772 0 | 663 | 432 13.08/13.10 c 12.8s | 10 | 34028 | 11361 | 11850 0 | 663 | 432 15.08/15.12 c 14.8s | 10 | 45991 | 14061 | 11850 1 | 663 | 432 17.18/17.21 c 16.9s | 10 | 49784 | 16161 | 11850 1 | 663 | 432 17.98/18.09 c 17.8s | 11 | 54547 | 17144 | 13036 1 | 664 | 432 19.99/20.10 c 19.8s | 11 | 62285 | 19544 | 13036 1 | 664 | 432 22.19/22.23 c 22.0s | 11 | 64059 | 20944 | 13036 1 | 664 | 432 24.28/24.37 c 24.1s | 11 | 65454 | 22144 | 13036 1 | 664 | 432 26.38/26.41 c 26.1s | 11 | 66646 | 23144 | 13036 1 | 664 | 432 28.38/28.49 c 28.2s | 11 | 67885 | 24144 | 13036 2 | 664 | 432 30.38/30.49 c 30.2s | 11 | 70668 | 25744 | 14340 2 | 664 | 432 30.58/30.60 c 30.3s | 12 | 70755 | 25819 | 14340 2 | 664 | 432 32.58/32.64 c 32.4s | 12 | 74750 | 27519 | 14340 2 | 664 | 432 34.68/34.73 c 34.5s | 12 | 76270 | 28919 | 14340 2 | 664 | 432 36.68/36.79 c 36.5s | 12 | 77704 | 30219 | 14340 2 | 664 | 432 38.79/38.82 c 38.5s | 12 | 79201 | 31519 | 14340 2 | 664 | 432 40.78/40.82 c 40.5s | 12 | 83246 | 33019 | 14340 3 | 664 | 432 42.88/42.99 c 42.7s | 12 | 84743 | 34419 | 14340 3 | 664 | 432 44.98/45.06 c 44.8s | 12 | 85910 | 35519 | 14340 3 | 664 | 432 47.08/47.12 c 46.8s | 12 | 86977 | 36519 | 14340 3 | 664 | 432 49.08/49.18 c 48.9s | 12 | 88150 | 37619 | 14340 3 | 664 | 432 51.18/51.23 c 51.0s | 12 | 89379 | 38719 | 15775 3 | 664 | 432 51.38/51.47 c 51.2s | 13 | 89490 | 38832 | 15775 3 | 664 | 432 53.48/53.59 c 53.3s | 13 | 98083 | 40832 | 15775 3 | 664 | 432 55.58/55.66 c 55.4s | 13 | 99447 | 41932 | 15775 3 | 664 | 432 57.68/57.78 c 57.5s | 13 | 101274 | 43132 | 15775 4 | 664 | 432 59.89/59.92 c 59.6s | 13 | 103337 | 44732 | 15775 4 | 664 | 432 61.89/61.94 c 61.7s | 13 | 104798 | 45932 | 15775 4 | 664 | 432 63.99/64.02 c 63.7s | 13 | 106375 | 47032 | 15775 4 | 664 | 432 66.08/66.16 c 65.9s | 13 | 109585 | 48632 | 15775 4 | 664 | 432 68.08/68.17 c 67.9s | 13 | 111386 | 49832 | 15775 4 | 664 | 432 70.28/70.34 c 70.1s | 13 | 112906 | 51032 | 15775 4 | 664 | 432 72.38/72.40 c 72.1s | 13 | 114122 | 52032 | 15775 4 | 664 | 432 74.58/74.65 c 74.4s | 13 | 115054 | 52832 | 15775 5 | 664 | 432 76.58/76.67 c 76.4s | 13 | 115821 | 53532 | 15775 5 | 664 | 432 78.78/78.89 c 78.6s | 13 | 116709 | 54332 | 15775 5 | 664 | 432 80.88/80.92 c 80.6s | 13 | 117633 | 55132 | 15775 5 | 664 | 432 82.98/83.08 c 82.8s | 13 | 118392 | 55832 | 15775 5 | 664 | 432 85.18/85.28 c 85.0s | 13 | 119303 | 56632 | 15775 5 | 664 | 432 87.28/87.38 c 87.1s | 13 | 120235 | 57432 | 15775 5 | 664 | 432 89.58/89.60 c 89.3s | 13 | 121134 | 58232 | 17353 5 | 664 | 432 89.88/89.93 c 89.7s | 14 | 121271 | 58352 | 17353 5 | 664 | 432 91.98/92.04 c 91.8s | 14 | 124129 | 59852 | 17353 5 | 664 | 432 94.08/94.10 c 93.8s | 14 | 126004 | 61452 | 17353 5 | 664 | 432 96.08/96.13 c 95.9s | 14 | 133232 | 63352 | 17353 6 | 664 | 432 98.27/98.32 c 98.0s | 14 | 134943 | 64652 | 17353 6 | 664 | 432 100.28/100.37 c 100s | 14 | 136498 | 65752 | 17353 6 | 664 | 432 102.37/102.45 c 102s | 14 | 137603 | 66652 | 17353 6 | 664 | 432 104.57/104.64 c 104s | 14 | 138622 | 67552 | 17353 6 | 664 | 432 106.57/106.65 c 106s | 14 | 139535 | 68352 | 17353 6 | 664 | 432 108.77/108.84 c 108s | 14 | 140611 | 69252 | 17353 6 | 664 | 432 110.87/110.96 c 110s | 14 | 141592 | 70052 | 17353 6 | 664 | 432 113.07/113.10 c 112s | 14 | 142418 | 70752 | 17353 6 | 664 | 432 115.27/115.35 c 115s | 14 | 143158 | 71452 | 17353 6 | 664 | 432 117.37/117.42 c 117s | 14 | 145487 | 72752 | 17353 6 | 664 | 432 119.57/119.62 c 119s | 14 | 146862 | 73752 | 17353 7 | 664 | 432 121.67/121.76 c 121s | 14 | 148611 | 74952 | 17353 7 | 664 | 432 123.77/123.80 c 123s | 14 | 152592 | 76452 | 17353 7 | 664 | 432 125.87/125.91 c 125s | 14 | 157465 | 78252 | 17353 7 | 664 | 432 127.97/128.03 c 127s | 14 | 159387 | 79752 | 17353 7 | 664 | 432 130.27/130.33 c 130s | 14 | 160277 | 80552 | 17353 7 | 664 | 432 132.28/132.36 c 132s | 14 | 161488 | 81552 | 17353 7 | 664 | 432 134.27/134.38 c 134s | 14 | 162632 | 82552 | 17353 7 | 664 | 432 136.47/136.57 c 136s | 14 | 163579 | 83352 | 17353 8 | 664 | 432 138.67/138.74 c 138s | 14 | 164754 | 84352 | 17353 8 | 664 | 432 140.77/140.88 c 140s | 14 | 165788 | 85252 | 17353 8 | 664 | 432 142.87/142.92 c 142s | 14 | 166742 | 86052 | 17353 8 | 664 | 432 144.87/144.97 c 144s | 14 | 167662 | 86852 | 17353 8 | 664 | 432 146.86/146.98 c 146s | 15 | 168549 | 87632 | 19089 8 | 664 | 432 149.06/149.11 c 148s | 15 | 174931 | 89132 | 19089 8 | 664 | 432 151.06/151.16 c 150s | 15 | 179448 | 91432 | 19089 8 | 664 | 432 153.17/153.24 c 152s | 15 | 181198 | 92832 | 19089 8 | 664 | 432 155.16/155.29 c 155s | 15 | 182728 | 94032 | 19089 8 | 664 | 432 157.26/157.38 c 157s | 15 | 184400 | 95332 | 19089 9 | 664 | 432 159.46/159.56 c 159s | 15 | 185936 | 96632 | 19089 9 | 664 | 432 161.56/161.66 c 161s | 15 | 187240 | 97732 | 19089 9 | 664 | 432 163.56/163.69 c 163s | 15 | 188634 | 98832 | 19089 9 | 664 | 432 165.76/165.86 c 165s | 15 | 190010 | 99932 | 19089 9 | 664 | 432 167.96/168.08 c 167s | 15 | 191164 | 100932 | 19089 9 | 664 | 432 169.96/170.10 c 169s | 15 | 192250 | 101832 | 19089 9 | 664 | 432 172.16/172.25 c 171s | 15 | 193507 | 102832 | 19089 9 | 664 | 432 174.26/174.36 c 174s | 15 | 194836 | 103932 | 19089 9 | 664 | 432 176.36/176.42 c 176s | 15 | 201211 | 105732 | 19089 10 | 664 | 432 178.47/178.52 c 178s | 15 | 212424 | 107932 | 19089 10 | 664 | 432 180.76/180.88 c 180s | 15 | 214496 | 109332 | 19089 10 | 664 | 432 182.77/182.90 c 182s | 15 | 217853 | 110932 | 19089 10 | 664 | 432 184.97/185.01 c 184s | 15 | 220350 | 112432 | 19089 10 | 664 | 432 187.17/187.21 c 186s | 15 | 222273 | 113832 | 19089 10 | 664 | 432 189.27/189.38 c 189s | 15 | 223873 | 115032 | 19089 10 | 664 | 432 191.37/191.46 c 191s | 15 | 224947 | 115932 | 19089 10 | 664 | 432 193.57/193.64 c 193s | 15 | 225749 | 116632 | 19089 11 | 664 | 432 195.56/195.69 c 195s | 15 | 227271 | 117632 | 19089 11 | 664 | 432 197.56/197.69 c 197s | 15 | 228464 | 118532 | 19089 11 | 664 | 432 199.96/200.00 c 199s | 15 | 229610 | 119432 | 19089 11 | 664 | 432 202.06/202.10 c 201s | 15 | 230483 | 120132 | 19089 11 | 664 | 432 204.26/204.30 c 204s | 15 | 231502 | 120932 | 19089 11 | 664 | 432 206.46/206.52 c 206s | 15 | 232333 | 121632 | 19089 11 | 664 | 432 208.66/208.79 c 208s | 15 | 233136 | 122332 | 19089 11 | 664 | 432 210.76/210.80 c 210s | 15 | 233848 | 122932 | 19089 11 | 664 | 432 212.86/212.92 c 212s | 15 | 234696 | 123632 | 19089 11 | 664 | 432 214.86/214.98 c 214s | 15 | 235389 | 124232 | 19089 11 | 664 | 432 216.97/217.05 c 216s | 15 | 236269 | 124932 | 19089 11 | 664 | 432 218.96/219.09 c 218s | 15 | 237048 | 125532 | 19089 11 | 664 | 432 221.27/221.40 c 221s | 15 | 237748 | 126132 | 19089 11 | 664 | 432 223.57/223.63 c 223s | 15 | 238448 | 126732 | 19089 11 | 664 | 432 225.77/225.82 c 225s | 15 | 239184 | 127332 | 19089 11 | 664 | 432 227.86/227.94 c 227s | 15 | 239745 | 127832 | 19089 12 | 664 | 432 229.96/230.07 c 229s | 15 | 240774 | 128632 | 19089 12 | 664 | 432 232.37/232.44 c 232s | 15 | 241695 | 129432 | 19089 12 | 664 | 432 234.57/234.65 c 234s | 15 | 242711 | 130232 | 19089 12 | 664 | 432 236.66/236.80 c 236s | 15 | 243528 | 130932 | 20998 12 | 664 | 432 238.65/238.76 c 238s | 16 | 244239 | 131552 | 20998 12 | 664 | 432 240.75/240.82 c 240s | 16 | 248359 | 133352 | 20998 12 | 664 | 432 242.85/242.98 c 242s | 16 | 251945 | 134852 | 20998 12 | 664 | 432 244.95/245.01 c 244s | 16 | 254994 | 136552 | 20998 12 | 664 | 432 247.05/247.17 c 246s | 16 | 257045 | 137952 | 20998 12 | 664 | 432 249.25/249.30 c 249s | 16 | 258701 | 139152 | 20998 12 | 664 | 432 251.25/251.34 c 251s | 16 | 259936 | 140152 | 20998 12 | 664 | 432 253.35/253.42 c 253s | 16 | 260631 | 140752 | 20998 13 | 664 | 432 255.36/255.47 c 255s | 16 | 261983 | 141752 | 20998 13 | 664 | 432 257.45/257.53 c 257s | 16 | 263155 | 142652 | 20998 13 | 664 | 432 259.45/259.56 c 259s | 16 | 264199 | 143452 | 20998 13 | 664 | 432 261.75/261.84 c 261s | 16 | 265307 | 144352 | 20998 13 | 664 | 432 263.95/264.04 c 263s | 16 | 266075 | 145052 | 20998 13 | 664 | 432 266.15/266.27 c 265s | 16 | 266970 | 145852 | 20998 13 | 664 | 432 268.25/268.34 c 268s | 16 | 267829 | 146552 | 20998 13 | 664 | 432 270.35/270.48 c 270s | 16 | 268805 | 147352 | 20998 13 | 664 | 432 272.65/272.77 c 272s | 16 | 269483 | 147952 | 20998 13 | 664 | 432 274.95/275.01 c 274s | 16 | 270210 | 148552 | 20998 13 | 664 | 432 277.15/277.20 c 276s | 16 | 270927 | 149152 | 20998 13 | 664 | 432 279.35/279.49 c 279s | 16 | 271978 | 149952 | 20998 13 | 664 | 432 281.64/281.79 c 281s | 16 | 272620 | 150552 | 20998 13 | 664 | 432 283.95/284.02 c 283s | 16 | 273305 | 151152 | 20998 13 | 664 | 432 286.25/286.33 c 286s | 16 | 274131 | 151852 | 20998 13 | 664 | 432 288.54/288.70 c 288s | 16 | 274977 | 152552 | 20998 13 | 664 | 432 290.65/290.77 c 290s | 16 | 275549 | 153052 | 20998 14 | 664 | 432 292.94/293.03 c 292s | 16 | 276347 | 153752 | 20998 14 | 664 | 432 295.05/295.16 c 294s | 16 | 277412 | 154552 | 20998 14 | 664 | 432 297.15/297.28 c 297s | 16 | 278780 | 155552 | 20998 14 | 664 | 432 299.45/299.55 c 299s | 16 | 279737 | 156352 | 20998 14 | 664 | 432 301.55/301.68 c 301s | 16 | 281174 | 157352 | 20998 14 | 664 | 432 303.76/303.82 c 303s | 16 | 282180 | 158152 | 20998 14 | 664 | 432 305.95/306.06 c 305s | 16 | 283114 | 158952 | 20998 14 | 664 | 432 308.15/308.26 c 307s | 16 | 284120 | 159752 | 20998 14 | 664 | 432 310.25/310.30 c 310s | 16 | 284989 | 160452 | 20998 14 | 664 | 432 312.25/312.39 c 312s | 16 | 285871 | 161152 | 20998 14 | 664 | 432 314.35/314.47 c 314s | 16 | 286734 | 161852 | 20998 14 | 664 | 432 316.45/316.58 c 316s | 16 | 287587 | 162552 | 20998 14 | 664 | 432 318.75/318.80 c 318s | 16 | 288398 | 163252 | 20998 14 | 664 | 432 320.75/320.84 c 320s | 16 | 289251 | 163952 | 20998 14 | 664 | 432 323.14/323.23 c 322s | 16 | 290103 | 164652 | 20998 14 | 664 | 432 325.44/325.50 c 325s | 16 | 290686 | 165152 | 20998 15 | 664 | 432 327.44/327.57 c 327s | 16 | 291673 | 165952 | 20998 15 | 664 | 432 329.64/329.76 c 329s | 16 | 292591 | 166752 | 20998 15 | 664 | 432 331.74/331.81 c 331s | 16 | 293249 | 167352 | 20998 15 | 664 | 432 333.94/334.08 c 333s | 16 | 294041 | 168052 | 20998 15 | 664 | 432 336.14/336.28 c 336s | 16 | 294891 | 168752 | 20998 15 | 664 | 432 338.24/338.36 c 338s | 16 | 295558 | 169352 | 20998 15 | 664 | 432 340.54/340.61 c 340s | 16 | 296402 | 170052 | 20998 15 | 664 | 432 342.54/342.69 c 342s | 16 | 297366 | 170852 | 20998 15 | 664 | 432 344.94/345.02 c 344s | 16 | 298178 | 171552 | 20998 15 | 664 | 432 347.14/347.26 c 346s | 16 | 298854 | 172152 | 20998 15 | 664 | 432 349.24/349.37 c 349s | 16 | 299542 | 172752 | 20998 15 | 664 | 432 351.54/351.60 c 351s | 16 | 300375 | 173452 | 20998 15 | 664 | 432 353.54/353.64 c 353s | 16 | 301069 | 174052 | 20998 15 | 664 | 432 355.55/355.66 c 355s | 16 | 301737 | 174652 | 20998 15 | 664 | 432 357.65/357.79 c 357s | 16 | 302448 | 175252 | 20998 15 | 664 | 432 359.85/360.00 c 359s | 16 | 303111 | 175852 | 20998 15 | 664 | 432 362.15/362.29 c 362s | 16 | 303964 | 176552 | 20998 15 | 664 | 432 364.24/364.31 c 364s | 16 | 304679 | 177152 | 20998 15 | 664 | 432 366.24/366.36 c 366s | 16 | 305267 | 177652 | 20998 16 | 664 | 432 368.34/368.48 c 368s | 16 | 306205 | 178452 | 20998 16 | 664 | 432 370.43/370.54 c 370s | 16 | 307184 | 179252 | 20998 16 | 664 | 432 372.63/372.80 c 372s | 16 | 308094 | 180052 | 20998 16 | 664 | 432 374.93/375.01 c 374s | 16 | 308765 | 180652 | 20998 16 | 664 | 432 376.93/377.02 c 376s | 16 | 309439 | 181252 | 20998 16 | 664 | 432 379.13/379.28 c 378s | 16 | 310240 | 181952 | 20998 16 | 664 | 432 381.43/381.57 c 381s | 16 | 311013 | 182652 | 20998 16 | 664 | 432 383.63/383.75 c 383s | 16 | 311717 | 183252 | 20998 16 | 664 | 432 385.83/385.90 c 385s | 16 | 312375 | 183852 | 20998 16 | 664 | 432 388.03/388.10 c 387s | 16 | 313066 | 184452 | 20998 16 | 664 | 432 390.13/390.20 c 389s | 16 | 313743 | 185052 | 20998 16 | 664 | 432 392.33/392.48 c 392s | 16 | 314586 | 185752 | 20998 16 | 664 | 432 394.53/394.68 c 394s | 16 | 315261 | 186352 | 20998 16 | 664 | 432 396.83/396.95 c 396s | 16 | 315946 | 186952 | 20998 16 | 664 | 432 399.13/399.22 c 398s | 16 | 316682 | 187552 | 20998 16 | 664 | 432 401.53/401.61 c 401s | 16 | 317355 | 188152 | 20998 16 | 664 | 432 403.63/403.75 c 403s | 16 | 317912 | 188652 | 20998 16 | 664 | 432 405.73/405.80 c 405s | 16 | 318467 | 189152 | 20998 16 | 664 | 432 407.93/408.03 c 407s | 16 | 319059 | 189652 | 20998 17 | 664 | 432 409.93/410.08 c 409s | 16 | 319887 | 190352 | 20998 17 | 664 | 432 412.23/412.34 c 412s | 16 | 320673 | 191052 | 20998 17 | 664 | 432 414.43/414.50 c 414s | 16 | 321468 | 191752 | 20998 17 | 664 | 432 416.52/416.62 c 416s | 16 | 322310 | 192452 | 20998 17 | 664 | 432 418.72/418.80 c 418s | 16 | 323016 | 193052 | 20998 17 | 664 | 432 420.72/420.82 c 420s | 16 | 323710 | 193652 | 20998 17 | 664 | 432 422.82/422.95 c 422s | 16 | 324525 | 194352 | 20998 17 | 664 | 432 425.02/425.11 c 424s | 16 | 325361 | 195052 | 20998 17 | 664 | 432 427.22/427.37 c 427s | 16 | 326127 | 195752 | 20998 17 | 664 | 432 429.42/429.50 c 429s | 16 | 326793 | 196352 | 23098 17 | 664 | 432 431.43/431.57 c 431s | 16 | 327448 | 196952 | 23098 17 | 664 | 432 433.32/433.48 c 433s | 17 | 328001 | 197432 | 23098 17 | 664 | 432 435.42/435.52 c 435s | 17 | 334925 | 199132 | 23098 17 | 664 | 432 437.52/437.64 c 437s | 17 | 337475 | 200732 | 23098 17 | 664 | 432 439.52/439.69 c 439s | 17 | 338970 | 201932 | 23098 17 | 664 | 432 441.72/441.89 c 441s | 17 | 340259 | 203032 | 23098 17 | 664 | 432 443.92/444.02 c 443s | 17 | 341066 | 203732 | 23098 18 | 664 | 432 446.03/446.15 c 445s | 17 | 342113 | 204632 | 23098 18 | 664 | 432 448.12/448.21 c 447s | 17 | 343005 | 205432 | 23098 18 | 664 | 432 450.22/450.39 c 450s | 17 | 343916 | 206232 | 23098 18 | 664 | 432 452.52/452.63 c 452s | 17 | 344968 | 207132 | 23098 18 | 664 | 432 454.62/454.77 c 454s | 17 | 345851 | 207932 | 23098 18 | 664 | 432 456.73/456.84 c 456s | 17 | 346800 | 208732 | 23098 18 | 664 | 432 458.93/459.01 c 458s | 17 | 347792 | 209532 | 23098 18 | 664 | 432 461.22/461.30 c 461s | 17 | 348709 | 210332 | 23098 18 | 664 | 432 463.23/463.31 c 463s | 17 | 349347 | 210932 | 23098 18 | 664 | 432 465.32/465.49 c 465s | 17 | 350125 | 211632 | 23098 18 | 664 | 432 467.82/467.90 c 467s | 17 | 350883 | 212332 | 23098 18 | 664 | 432 469.83/469.98 c 469s | 17 | 351537 | 212932 | 23098 18 | 664 | 432 471.92/472.06 c 471s | 17 | 352241 | 213532 | 23098 18 | 664 | 432 474.23/474.32 c 474s | 17 | 352887 | 214132 | 23098 18 | 664 | 432 476.53/476.64 c 476s | 17 | 353685 | 214832 | 23098 18 | 664 | 432 478.73/478.85 c 478s | 17 | 354338 | 215432 | 23098 18 | 664 | 432 480.93/481.07 c 480s | 17 | 355060 | 216032 | 23098 18 | 664 | 432 483.62/483.73 c 483s | 17 | 355867 | 216732 | 23098 19 | 664 | 432 485.62/485.73 c 485s | 17 | 356525 | 217332 | 23098 19 | 664 | 432 487.61/487.75 c 487s | 17 | 357198 | 217932 | 23098 19 | 664 | 432 489.91/490.05 c 489s | 17 | 357940 | 218632 | 23098 19 | 664 | 432 492.11/492.26 c 491s | 17 | 359110 | 219432 | 23098 19 | 664 | 432 494.31/494.48 c 494s | 17 | 360414 | 220432 | 23098 19 | 664 | 432 496.51/496.63 c 496s | 17 | 361455 | 221232 | 23098 19 | 664 | 432 498.81/498.91 c 498s | 17 | 362544 | 222032 | 23098 19 | 664 | 432 501.01/501.17 c 500s | 17 | 363466 | 222832 | 23098 19 | 664 | 432 503.21/503.31 c 503s | 17 | 364266 | 223532 | 23098 19 | 664 | 432 505.21/505.38 c 505s | 17 | 364953 | 224132 | 23098 19 | 664 | 432 507.51/507.67 c 507s | 17 | 365777 | 224832 | 23098 19 | 664 | 432 509.71/509.85 c 509s | 17 | 366578 | 225532 | 23098 19 | 664 | 432 511.91/512.03 c 511s | 17 | 367384 | 226232 | 23098 19 | 664 | 432 513.92/514.07 c 513s | 17 | 368052 | 226832 | 23098 19 | 664 | 432 516.12/516.24 c 515s | 17 | 368719 | 227432 | 23098 19 | 664 | 432 518.61/518.73 c 518s | 17 | 369387 | 228032 | 23098 19 | 664 | 432 520.81/520.93 c 520s | 17 | 370057 | 228632 | 23098 19 | 664 | 432 523.01/523.12 c 522s | 17 | 370798 | 229232 | 23098 19 | 664 | 432 525.21/525.35 c 525s | 17 | 371457 | 229832 | 23098 19 | 664 | 432 527.31/527.42 c 527s | 17 | 372022 | 230332 | 23098 20 | 664 | 432 529.32/529.44 c 529s | 17 | 372692 | 230932 | 23098 20 | 664 | 432 531.61/531.74 c 531s | 17 | 373345 | 231532 | 23098 20 | 664 | 432 533.71/533.87 c 533s | 17 | 373994 | 232132 | 23098 20 | 664 | 432 536.00/536.12 c 535s | 17 | 374767 | 232832 | 23098 20 | 664 | 432 538.11/538.21 c 537s | 17 | 375415 | 233432 | 23098 20 | 664 | 432 540.21/540.40 c 540s | 17 | 376060 | 234032 | 23098 20 | 664 | 432 542.41/542.54 c 542s | 17 | 376603 | 234532 | 23098 20 | 664 | 432 544.40/544.57 c 544s | 17 | 377142 | 235032 | 23098 20 | 664 | 432 546.50/546.65 c 546s | 17 | 377670 | 235532 | 23098 20 | 664 | 432 548.90/549.07 c 548s | 17 | 378331 | 236132 | 23098 20 | 664 | 432 551.00/551.16 c 550s | 17 | 378879 | 236632 | 23098 20 | 664 | 432 553.10/553.29 c 553s | 17 | 379419 | 237132 | 23098 20 | 664 | 432 555.20/555.36 c 555s | 17 | 379998 | 237632 | 23098 20 | 664 | 432 557.40/557.55 c 557s | 17 | 380512 | 238132 | 23098 20 | 664 | 432 559.60/559.75 c 559s | 17 | 381058 | 238632 | 23098 20 | 664 | 432 561.61/561.76 c 561s | 17 | 381474 | 239032 | 23098 20 | 664 | 432 563.71/563.88 c 563s | 17 | 382011 | 239532 | 23098 20 | 664 | 432 565.91/566.03 c 565s | 17 | 382558 | 240032 | 23098 20 | 664 | 432 567.91/568.05 c 567s | 17 | 383101 | 240532 | 23098 20 | 664 | 432 570.21/570.31 c 570s | 17 | 383753 | 241132 | 23098 20 | 664 | 432 572.31/572.49 c 572s | 17 | 384300 | 241632 | 23098 20 | 664 | 432 574.71/574.84 c 574s | 17 | 384849 | 242132 | 23098 20 | 664 | 432 576.91/577.03 c 576s | 17 | 385397 | 242632 | 23098 20 | 664 | 432 579.21/579.34 c 579s | 17 | 385845 | 243032 | 23098 21 | 664 | 432 581.41/581.50 c 581s | 17 | 386642 | 243732 | 23098 21 | 664 | 432 583.41/583.52 c 583s | 17 | 387271 | 244332 | 23098 21 | 664 | 432 585.61/585.79 c 585s | 17 | 387931 | 244932 | 23098 21 | 664 | 432 588.00/588.11 c 587s | 17 | 388579 | 245532 | 23098 21 | 664 | 432 590.00/590.11 c 589s | 17 | 389113 | 246032 | 23098 21 | 664 | 432 592.30/592.42 c 592s | 17 | 389766 | 246632 | 23098 21 | 664 | 432 594.40/594.51 c 594s | 17 | 390295 | 247132 | 23098 21 | 664 | 432 596.50/596.68 c 596s | 17 | 390843 | 247632 | 23098 21 | 664 | 432 598.61/598.77 c 598s | 17 | 391514 | 248232 | 23098 21 | 664 | 432 600.71/600.90 c 600s | 17 | 392056 | 248732 | 23098 21 | 664 | 432 603.10/603.21 c 602s | 17 | 392589 | 249232 | 23098 21 | 664 | 432 605.11/605.30 c 605s | 17 | 393114 | 249732 | 23098 21 | 664 | 432 607.41/607.51 c 607s | 17 | 393648 | 250232 | 23098 21 | 664 | 432 609.61/609.75 c 609s | 17 | 394194 | 250732 | 23098 21 | 664 | 432 611.90/612.07 c 611s | 17 | 394718 | 251232 | 23098 21 | 664 | 432 613.90/614.10 c 613s | 17 | 395177 | 251632 | 23098 21 | 664 | 432 616.00/616.14 c 615s | 17 | 395771 | 252132 | 23098 21 | 664 | 432 618.20/618.31 c 618s | 17 | 396311 | 252632 | 23098 21 | 664 | 432 620.29/620.43 c 620s | 17 | 396871 | 253132 | 23098 21 | 664 | 432 622.39/622.51 c 622s | 17 | 397425 | 253632 | 23098 21 | 664 | 432 624.49/624.60 c 624s | 17 | 397984 | 254132 | 23098 21 | 664 | 432 626.49/626.63 c 626s | 17 | 398406 | 254532 | 23098 21 | 664 | 432 628.69/628.87 c 628s | 17 | 398963 | 255032 | 23098 21 | 664 | 432 631.09/631.29 c 631s | 17 | 399513 | 255532 | 23098 21 | 664 | 432 633.29/633.44 c 633s | 17 | 399940 | 255932 | 23098 21 | 664 | 432 635.69/635.81 c 635s | 17 | 400375 | 256332 | 23098 22 | 664 | 432 637.69/637.86 c 637s | 17 | 400919 | 256832 | 23098 22 | 664 | 432 639.89/640.06 c 639s | 17 | 401444 | 257332 | 23098 22 | 664 | 432 642.09/642.25 c 641s | 17 | 401977 | 257832 | 23098 22 | 664 | 432 644.29/644.44 c 644s | 17 | 402499 | 258332 | 23098 22 | 664 | 432 646.69/646.82 c 646s | 17 | 403159 | 258932 | 23098 22 | 664 | 432 648.99/649.20 c 648s | 17 | 403800 | 259532 | 23098 22 | 664 | 432 651.19/651.32 c 651s | 17 | 404350 | 260032 | 23098 22 | 664 | 432 653.39/653.58 c 653s | 17 | 405007 | 260632 | 23098 22 | 664 | 432 655.69/655.86 c 655s | 17 | 405651 | 261232 | 23098 22 | 664 | 432 658.09/658.26 c 657s | 17 | 406310 | 261832 | 23098 22 | 664 | 432 660.49/660.62 c 660s | 17 | 407002 | 262432 | 23098 22 | 664 | 432 662.49/662.68 c 662s | 17 | 407534 | 262932 | 23098 22 | 664 | 432 664.89/665.06 c 664s | 17 | 408166 | 263532 | 23098 22 | 664 | 432 666.99/667.14 c 666s | 17 | 408697 | 264032 | 23098 22 | 664 | 432 669.29/669.41 c 669s | 17 | 409244 | 264532 | 23098 22 | 664 | 432 671.39/671.56 c 671s | 17 | 409771 | 265032 | 23098 22 | 664 | 432 673.59/673.76 c 673s | 17 | 410309 | 265532 | 23098 22 | 664 | 432 675.60/675.80 c 675s | 17 | 410864 | 266032 | 23098 22 | 664 | 432 677.58/677.80 c 677s | 17 | 411308 | 266432 | 23098 22 | 664 | 432 679.68/679.87 c 679s | 17 | 411737 | 266832 | 23098 22 | 664 | 432 681.78/681.90 c 681s | 17 | 412055 | 267132 | 23098 22 | 664 | 432 684.18/684.30 c 684s | 17 | 412493 | 267532 | 23098 22 | 664 | 432 686.28/686.46 c 686s | 17 | 412932 | 267932 | 23098 22 | 664 | 432 688.79/688.99 c 688s | 17 | 413466 | 268432 | 23098 22 | 664 | 432 691.28/691.45 c 691s | 17 | 414000 | 268932 | 23098 22 | 664 | 432 693.28/693.49 c 693s | 17 | 414307 | 269232 | 23098 23 | 664 | 432 695.39/695.57 c 695s | 17 | 415751 | 270132 | 23098 23 | 664 | 432 697.67/697.84 c 697s | 17 | 417031 | 271132 | 23098 23 | 664 | 432 699.97/700.18 c 699s | 17 | 418022 | 271932 | 23098 23 | 664 | 432 702.27/702.45 c 702s | 17 | 418805 | 272632 | 23098 23 | 664 | 432 704.37/704.59 c 704s | 17 | 419648 | 273332 | 23098 23 | 664 | 432 706.57/706.79 c 706s | 17 | 420511 | 274032 | 23098 23 | 664 | 432 708.87/709.09 c 708s | 17 | 421197 | 274632 | 23098 23 | 664 | 432 711.07/711.23 c 710s | 17 | 421935 | 275232 | 23098 23 | 664 | 432 713.37/713.56 c 713s | 17 | 422896 | 276032 | 23098 23 | 664 | 432 715.67/715.86 c 715s | 17 | 423705 | 276732 | 23098 23 | 664 | 432 717.66/717.87 c 717s | 17 | 424453 | 277332 | 23098 23 | 664 | 432 719.76/719.92 c 719s | 17 | 425159 | 277932 | 23098 23 | 664 | 432 721.86/722.06 c 721s | 17 | 425827 | 278532 | 23098 23 | 664 | 432 723.87/724.07 c 723s | 17 | 426390 | 279032 | 23098 23 | 664 | 432 726.17/726.33 c 726s | 17 | 427507 | 279732 | 23098 23 | 664 | 432 728.16/728.34 c 728s | 17 | 428340 | 280332 | 23098 23 | 664 | 432 730.47/730.68 c 730s | 17 | 428991 | 280932 | 23098 23 | 664 | 432 732.77/732.91 c 732s | 17 | 429712 | 281532 | 23098 23 | 664 | 432 734.97/735.11 c 734s | 17 | 430630 | 282132 | 23098 24 | 664 | 432 736.96/737.16 c 736s | 17 | 431642 | 282932 | 23098 24 | 664 | 432 739.16/739.34 c 739s | 17 | 432581 | 283732 | 23098 24 | 664 | 432 741.46/741.65 c 741s | 17 | 433524 | 284532 | 23098 24 | 664 | 432 743.56/743.77 c 743s | 17 | 434310 | 285232 | 23098 24 | 664 | 432 745.75/745.93 c 745s | 17 | 435127 | 285932 | 23098 24 | 664 | 432 747.85/748.07 c 747s | 17 | 435820 | 286532 | 23098 24 | 664 | 432 750.15/750.31 c 750s | 17 | 436505 | 287132 | 23098 24 | 664 | 432 752.35/752.57 c 752s | 17 | 437310 | 287832 | 23098 24 | 664 | 432 754.45/754.61 c 754s | 17 | 438301 | 288632 | 23098 24 | 664 | 432 756.65/756.88 c 756s | 17 | 439251 | 289332 | 23098 24 | 664 | 432 758.95/759.14 c 758s | 17 | 439968 | 289932 | 23098 24 | 664 | 432 760.95/761.17 c 760s | 17 | 440698 | 290532 | 23098 24 | 664 | 432 763.25/763.40 c 763s | 17 | 441377 | 291132 | 23098 24 | 664 | 432 765.45/765.62 c 765s | 17 | 442060 | 291732 | 23098 24 | 664 | 432 767.55/767.78 c 767s | 17 | 443201 | 292532 | 23098 24 | 664 | 432 769.65/769.84 c 769s | 17 | 444077 | 293232 | 23098 24 | 664 | 432 771.85/772.08 c 771s | 17 | 444904 | 293932 | 23098 24 | 664 | 432 773.95/774.15 c 773s | 17 | 445593 | 294532 | 25408 24 | 664 | 432 776.15/776.37 c 776s | 17 | 446334 | 295132 | 25408 24 | 664 | 432 778.45/778.65 c 778s | 17 | 447104 | 295732 | 25408 24 | 664 | 432 780.55/780.79 c 780s | 17 | 447677 | 296232 | 25408 24 | 664 | 432 780.65/780.86 c 780s | 18 | 447699 | 296252 | 25408 24 | 664 | 432 782.75/782.92 c 782s | 18 | 452796 | 297552 | 25408 25 | 664 | 432 784.84/785.01 c 784s | 18 | 454656 | 299052 | 25408 25 | 664 | 432 786.94/787.13 c 786s | 18 | 455989 | 300152 | 25408 25 | 664 | 432 789.04/789.24 c 788s | 18 | 463605 | 302052 | 25408 25 | 664 | 432 791.05/791.28 c 791s | 18 | 467718 | 303852 | 25408 25 | 664 | 432 793.04/793.30 c 793s | 18 | 470889 | 305452 | 25408 25 | 664 | 432 795.14/795.38 c 795s | 18 | 472506 | 306852 | 25408 25 | 664 | 432 797.25/797.44 c 797s | 18 | 474054 | 308152 | 25408 25 | 664 | 432 799.35/799.50 c 799s | 18 | 475667 | 309452 | 25408 25 | 664 | 432 801.35/801.51 c 801s | 18 | 476901 | 310452 | 25408 25 | 664 | 432 803.64/803.87 c 803s | 18 | 477844 | 311252 | 25408 26 | 664 | 432 805.84/806.02 c 805s | 18 | 479237 | 312352 | 25408 26 | 664 | 432 807.94/808.16 c 807s | 18 | 480592 | 313452 | 25408 26 | 664 | 432 810.04/810.21 c 809s | 18 | 481799 | 314452 | 25408 26 | 664 | 432 812.24/812.41 c 812s | 18 | 482979 | 315452 | 25408 26 | 664 | 432 814.34/814.56 c 814s | 18 | 484396 | 316452 | 25408 26 | 664 | 432 816.43/816.69 c 816s | 18 | 485717 | 317452 | 25408 26 | 664 | 432 818.73/818.92 c 818s | 18 | 486835 | 318352 | 25408 26 | 664 | 432 820.93/821.18 c 820s | 18 | 488464 | 319452 | 25408 26 | 664 | 432 823.23/823.44 c 823s | 18 | 489549 | 320352 | 25408 26 | 664 | 432 825.33/825.57 c 825s | 18 | 490892 | 321252 | 25408 26 | 664 | 432 827.53/827.72 c 827s | 18 | 492084 | 322152 | 25408 26 | 664 | 432 829.63/829.80 c 829s | 18 | 493259 | 323052 | 25408 26 | 664 | 432 831.83/832.04 c 831s | 18 | 494450 | 323952 | 25408 26 | 664 | 432 833.94/834.12 c 833s | 18 | 495401 | 324652 | 25408 26 | 664 | 432 835.93/836.14 c 835s | 18 | 496151 | 325252 | 25408 26 | 664 | 432 837.93/838.16 c 837s | 18 | 496905 | 325852 | 25408 27 | 664 | 432 840.13/840.36 c 840s | 18 | 497793 | 326652 | 25408 27 | 664 | 432 842.33/842.57 c 842s | 18 | 498648 | 327352 | 25408 27 | 664 | 432 844.73/844.90 c 844s | 18 | 499764 | 328152 | 25408 27 | 664 | 432 846.73/846.96 c 846s | 18 | 500553 | 328752 | 25408 27 | 664 | 432 848.83/849.06 c 848s | 18 | 501269 | 329352 | 25408 27 | 664 | 432 851.03/851.27 c 850s | 18 | 501947 | 329952 | 25408 27 | 664 | 432 853.33/853.55 c 853s | 18 | 502787 | 330652 | 25408 27 | 664 | 432 855.43/855.62 c 855s | 18 | 503637 | 331352 | 25408 27 | 664 | 432 857.62/857.83 c 857s | 18 | 504738 | 332152 | 25408 27 | 664 | 432 859.82/860.02 c 859s | 18 | 505626 | 332852 | 25408 27 | 664 | 432 861.92/862.20 c 861s | 18 | 506538 | 333552 | 25408 27 | 664 | 432 864.32/864.54 c 864s | 18 | 507396 | 334252 | 25408 27 | 664 | 432 866.52/866.72 c 866s | 18 | 508136 | 334852 | 25408 27 | 664 | 432 868.62/868.87 c 868s | 18 | 508844 | 335452 | 25408 27 | 664 | 432 870.92/871.18 c 870s | 18 | 509721 | 336152 | 25408 27 | 664 | 432 873.22/873.40 c 873s | 18 | 510420 | 336752 | 25408 27 | 664 | 432 875.22/875.48 c 875s | 18 | 511184 | 337352 | 25408 27 | 664 | 432 877.52/877.74 c 877s | 18 | 511948 | 337952 | 25408 27 | 664 | 432 879.62/879.85 c 879s | 18 | 512591 | 338452 | 25408 27 | 664 | 432 881.82/882.03 c 881s | 18 | 513268 | 339052 | 25408 27 | 664 | 432 884.02/884.20 c 883s | 18 | 513978 | 339552 | 25408 27 | 664 | 432 886.11/886.39 c 886s | 18 | 514544 | 340052 | 25408 28 | 664 | 432 888.41/888.62 c 888s | 18 | 515614 | 340852 | 25408 28 | 664 | 432 890.51/890.71 c 890s | 18 | 516488 | 341552 | 25408 28 | 664 | 432 892.51/892.75 c 892s | 18 | 517314 | 342252 | 25408 28 | 664 | 432 894.81/895.01 c 894s | 18 | 518139 | 342952 | 25408 28 | 664 | 432 897.01/897.25 c 896s | 18 | 518794 | 343552 | 25408 28 | 664 | 432 899.01/899.28 c 899s | 18 | 519356 | 344052 | 25408 28 | 664 | 432 901.41/901.62 c 901s | 18 | 520024 | 344652 | 25408 28 | 664 | 432 903.61/903.81 c 903s | 18 | 520900 | 345352 | 25408 28 | 664 | 432 905.71/905.98 c 905s | 18 | 521641 | 345952 | 25408 28 | 664 | 432 907.81/908.03 c 907s | 18 | 522366 | 346552 | 25408 28 | 664 | 432 910.11/910.31 c 910s | 18 | 523268 | 347252 | 25408 28 | 664 | 432 912.21/912.44 c 912s | 18 | 524058 | 347852 | 25408 28 | 664 | 432 914.61/914.83 c 914s | 18 | 524955 | 348552 | 25408 28 | 664 | 432 916.80/917.07 c 916s | 18 | 525649 | 349152 | 25408 28 | 664 | 432 919.00/919.20 c 918s | 18 | 526248 | 349652 | 25408 28 | 664 | 432 921.20/921.48 c 921s | 18 | 526852 | 350152 | 25408 28 | 664 | 432 923.50/923.71 c 923s | 18 | 527595 | 350752 | 25408 28 | 664 | 432 925.70/925.96 c 925s | 18 | 528577 | 351452 | 25408 28 | 664 | 432 928.00/928.23 c 927s | 18 | 529152 | 351952 | 25408 28 | 664 | 432 930.10/930.35 c 930s | 18 | 529733 | 352452 | 25408 28 | 664 | 432 932.20/932.45 c 932s | 18 | 530338 | 352952 | 25408 28 | 664 | 432 934.40/934.63 c 934s | 18 | 530929 | 353452 | 25408 28 | 664 | 432 936.49/936.74 c 936s | 18 | 531421 | 353852 | 25408 29 | 664 | 432 938.49/938.79 c 938s | 18 | 532171 | 354452 | 25408 29 | 664 | 432 940.79/941.07 c 940s | 18 | 533274 | 355252 | 25408 29 | 664 | 432 942.89/943.14 c 942s | 18 | 534188 | 355952 | 25408 29 | 664 | 432 944.90/945.19 c 944s | 18 | 535016 | 356652 | 25408 29 | 664 | 432 946.99/947.30 c 947s | 18 | 535900 | 357352 | 25408 29 | 664 | 432 949.19/949.49 c 949s | 18 | 536793 | 358052 | 25408 29 | 664 | 432 951.39/951.61 c 951s | 18 | 537537 | 358652 | 25408 29 | 664 | 432 953.49/953.70 c 953s | 18 | 538222 | 359252 | 25408 29 | 664 | 432 955.59/955.81 c 955s | 18 | 539031 | 359952 | 25408 29 | 664 | 432 957.59/957.82 c 957s | 18 | 539712 | 360552 | 25408 29 | 664 | 432 959.89/960.17 c 959s | 18 | 540575 | 361252 | 25408 29 | 664 | 432 962.19/962.41 c 962s | 18 | 541283 | 361852 | 25408 29 | 664 | 432 964.19/964.47 c 964s | 18 | 542053 | 362452 | 25408 29 | 664 | 432 966.39/966.68 c 966s | 18 | 542751 | 363052 | 25408 29 | 664 | 432 968.59/968.87 c 968s | 18 | 543560 | 363752 | 25408 29 | 664 | 432 970.79/971.00 c 970s | 18 | 544244 | 364352 | 25408 29 | 664 | 432 972.89/973.19 c 972s | 18 | 544973 | 364952 | 25408 29 | 664 | 432 975.09/975.39 c 975s | 18 | 545562 | 365452 | 25408 29 | 664 | 432 977.19/977.42 c 977s | 18 | 545999 | 365852 | 25408 29 | 664 | 432 979.29/979.58 c 979s | 18 | 546575 | 366352 | 25408 29 | 664 | 432 981.38/981.67 c 981s | 18 | 547153 | 366852 | 25408 29 | 664 | 432 983.58/983.88 c 983s | 18 | 547772 | 367352 | 25408 29 | 664 | 432 985.98/986.21 c 985s | 18 | 548368 | 367852 | 25408 29 | 664 | 432 988.08/988.33 c 988s | 18 | 549027 | 368352 | 25408 30 | 664 | 432 990.09/990.38 c 990s | 18 | 549882 | 369052 | 25408 30 | 664 | 432 992.19/992.43 c 992s | 18 | 550897 | 369852 | 25408 30 | 664 | 432 994.28/994.52 c 994s | 18 | 551599 | 370452 | 25408 30 | 664 | 432 996.47/996.70 c 996s | 18 | 552516 | 371152 | 25408 30 | 664 | 432 998.67/998.93 c 998s | 18 | 553485 | 371952 | 25408 30 | 664 | 432 1000.87/1001.18 c 1000s | 18 | 554415 | 372652 | 25408 30 | 664 | 432 1003.28/1003.52 c 1003s | 18 | 555254 | 373352 | 25408 30 | 664 | 432 1005.27/1005.60 c 1005s | 18 | 555832 | 373852 | 25408 30 | 664 | 432 1007.36/1007.65 c 1007s | 18 | 556409 | 374352 | 25408 30 | 664 | 432 1009.56/1009.81 c 1009s | 18 | 557153 | 374952 | 25408 30 | 664 | 432 1011.56/1011.85 c 1011s | 18 | 557905 | 375552 | 25408 30 | 664 | 432 1013.76/1014.02 c 1013s | 18 | 558701 | 376152 | 25408 30 | 664 | 432 1016.06/1016.33 c 1016s | 18 | 559435 | 376752 | 25408 30 | 664 | 432 1018.36/1018.64 c 1018s | 18 | 560171 | 377352 | 25408 30 | 664 | 432 1020.76/1021.07 c 1020s | 18 | 560928 | 377952 | 25408 30 | 664 | 432 1022.96/1023.25 c 1022s | 18 | 561631 | 378552 | 25408 30 | 664 | 432 1025.06/1025.32 c 1025s | 18 | 562249 | 379052 | 25408 30 | 664 | 432 1027.05/1027.37 c 1027s | 18 | 562859 | 379552 | 25408 30 | 664 | 432 1029.45/1029.72 c 1029s | 18 | 563562 | 380152 | 25408 30 | 664 | 432 1031.45/1031.78 c 1031s | 18 | 564174 | 380652 | 25408 30 | 664 | 432 1033.65/1033.97 c 1033s | 18 | 564803 | 381152 | 25408 30 | 664 | 432 1035.85/1036.18 c 1035s | 18 | 565389 | 381652 | 25408 30 | 664 | 432 1038.45/1038.77 c 1038s | 18 | 566147 | 382252 | 25408 31 | 664 | 432 1040.55/1040.90 c 1040s | 18 | 567120 | 383052 | 25408 31 | 664 | 432 1042.75/1043.04 c 1042s | 18 | 568097 | 383852 | 25408 31 | 664 | 432 1044.95/1045.26 c 1044s | 18 | 568920 | 384552 | 25408 31 | 664 | 432 1047.04/1047.36 c 1047s | 18 | 569801 | 385252 | 25408 31 | 664 | 432 1049.14/1049.46 c 1049s | 18 | 570697 | 385952 | 25408 31 | 664 | 432 1051.33/1051.62 c 1051s | 18 | 571567 | 386652 | 25408 31 | 664 | 432 1053.63/1053.94 c 1053s | 18 | 572429 | 387352 | 25408 31 | 664 | 432 1055.63/1055.98 c 1055s | 18 | 573155 | 387952 | 25408 31 | 664 | 432 1058.03/1058.31 c 1058s | 18 | 573821 | 388552 | 25408 31 | 664 | 432 1060.23/1060.56 c 1060s | 18 | 574517 | 389152 | 25408 31 | 664 | 432 1062.33/1062.68 c 1062s | 18 | 575103 | 389652 | 25408 31 | 664 | 432 1064.43/1064.75 c 1064s | 18 | 575682 | 390152 | 25408 31 | 664 | 432 1066.52/1066.89 c 1066s | 18 | 576236 | 390652 | 25408 31 | 664 | 432 1068.62/1068.96 c 1068s | 18 | 577050 | 391252 | 25408 31 | 664 | 432 1070.92/1071.26 c 1070s | 18 | 577966 | 391952 | 25408 31 | 664 | 432 1073.02/1073.37 c 1073s | 18 | 578794 | 392552 | 25408 31 | 664 | 432 1075.22/1075.50 c 1075s | 18 | 579342 | 393052 | 25408 31 | 664 | 432 1077.32/1077.61 c 1077s | 18 | 579934 | 393552 | 25408 31 | 664 | 432 1079.32/1079.64 c 1079s | 18 | 580767 | 394152 | 25408 31 | 664 | 432 1081.43/1081.75 c 1081s | 18 | 581541 | 394752 | 25408 31 | 664 | 432 1083.53/1083.86 c 1083s | 18 | 582284 | 395352 | 25408 31 | 664 | 432 1085.82/1086.12 c 1085s | 18 | 583045 | 395952 | 25408 31 | 664 | 432 1088.22/1088.58 c 1088s | 18 | 583638 | 396452 | 25408 32 | 664 | 432 1090.32/1090.67 c 1090s | 18 | 584557 | 397152 | 25408 32 | 664 | 432 1092.52/1092.83 c 1092s | 18 | 585528 | 397952 | 25408 32 | 664 | 432 1094.72/1095.02 c 1094s | 18 | 586482 | 398652 | 25408 32 | 664 | 432 1096.81/1097.12 c 1096s | 18 | 587298 | 399352 | 25408 32 | 664 | 432 1098.82/1099.15 c 1098s | 18 | 587986 | 399952 | 25408 32 | 664 | 432 1100.91/1101.28 c 1101s | 18 | 588719 | 400552 | 25408 32 | 664 | 432 1103.22/1103.60 c 1103s | 18 | 589553 | 401252 | 25408 32 | 664 | 432 1105.52/1105.85 c 1105s | 18 | 590365 | 401852 | 25408 32 | 664 | 432 1107.71/1108.08 c 1107s | 18 | 591123 | 402452 | 25408 32 | 664 | 432 1109.91/1110.25 c 1109s | 18 | 591841 | 403052 | 25408 32 | 664 | 432 1112.20/1112.56 c 1112s | 18 | 592779 | 403752 | 25408 32 | 664 | 432 1114.40/1114.79 c 1114s | 18 | 593609 | 404352 | 25408 32 | 664 | 432 1116.60/1116.99 c 1116s | 18 | 594343 | 404952 | 25408 32 | 664 | 432 1118.90/1119.24 c 1118s | 18 | 595142 | 405552 | 25408 32 | 664 | 432 1121.00/1121.36 c 1121s | 18 | 595907 | 406152 | 25408 32 | 664 | 432 1123.30/1123.64 c 1123s | 18 | 596618 | 406752 | 25408 32 | 664 | 432 1125.30/1125.67 c 1125s | 18 | 597060 | 407152 | 25408 32 | 664 | 432 1127.50/1127.82 c 1127s | 18 | 597683 | 407652 | 25408 32 | 664 | 432 1129.59/1129.96 c 1129s | 18 | 598276 | 408152 | 25408 32 | 664 | 432 1131.90/1132.28 c 1132s | 18 | 599015 | 408752 | 25408 32 | 664 | 432 1134.09/1134.48 c 1134s | 18 | 599608 | 409252 | 25408 32 | 664 | 432 1136.29/1136.65 c 1136s | 18 | 600186 | 409752 | 25408 32 | 664 | 432 1138.58/1138.92 c 1138s | 18 | 600767 | 410252 | 25408 32 | 664 | 432 1140.69/1141.01 c 1140s | 18 | 601262 | 410652 | 25408 33 | 664 | 432 1142.89/1143.25 c 1142s | 18 | 601968 | 411252 | 25408 33 | 664 | 432 1144.98/1145.34 c 1145s | 18 | 602659 | 411852 | 25408 33 | 664 | 432 1147.29/1147.66 c 1147s | 18 | 603483 | 412552 | 25408 33 | 664 | 432 1149.49/1149.85 c 1149s | 18 | 604268 | 413252 | 25408 33 | 664 | 432 1151.48/1151.89 c 1151s | 18 | 604872 | 413752 | 25408 33 | 664 | 432 1153.68/1154.01 c 1153s | 18 | 605435 | 414252 | 25408 33 | 664 | 432 1155.88/1156.26 c 1155s | 18 | 606171 | 414852 | 25408 33 | 664 | 432 1157.97/1158.35 c 1158s | 18 | 606735 | 415352 | 25408 33 | 664 | 432 1160.27/1160.63 c 1160s | 18 | 607433 | 415952 | 25408 33 | 664 | 432 1162.27/1162.69 c 1162s | 18 | 608025 | 416452 | 25408 33 | 664 | 432 1164.47/1164.84 c 1164s | 18 | 608608 | 416952 | 25408 33 | 664 | 432 1166.46/1166.86 c 1166s | 18 | 609180 | 417452 | 25408 33 | 664 | 432 1168.46/1168.88 c 1168s | 18 | 609889 | 418052 | 25408 33 | 664 | 432 1170.76/1171.14 c 1170s | 18 | 610735 | 418752 | 25408 33 | 664 | 432 1172.96/1173.34 c 1173s | 18 | 611612 | 419452 | 25408 33 | 664 | 432 1175.26/1175.61 c 1175s | 18 | 612702 | 420252 | 25408 33 | 664 | 432 1177.46/1177.87 c 1177s | 18 | 613655 | 420952 | 25408 33 | 664 | 432 1179.85/1180.20 c 1179s | 18 | 614398 | 421552 | 25408 33 | 664 | 432 1181.95/1182.30 c 1182s | 18 | 615098 | 422152 | 25408 33 | 664 | 432 1184.05/1184.41 c 1184s | 18 | 615861 | 422752 | 25408 33 | 664 | 432 1186.15/1186.53 c 1186s | 18 | 616605 | 423352 | 25408 33 | 664 | 432 1188.55/1188.90 c 1188s | 18 | 617319 | 423952 | 25408 33 | 664 | 432 1190.65/1191.03 c 1190s | 18 | 617907 | 424452 | 25408 33 | 664 | 432 1192.75/1193.13 c 1192s | 18 | 618390 | 424852 | 25408 34 | 664 | 432 1194.85/1195.20 c 1194s | 18 | 619134 | 425452 | 25408 34 | 664 | 432 1197.04/1197.45 c 1197s | 18 | 619978 | 426152 | 25408 34 | 664 | 432 1199.14/1199.50 c 1199s | 18 | 620660 | 426752 | 25408 34 | 664 | 432 1201.24/1201.60 c 1201s | 18 | 621360 | 427352 | 25408 34 | 664 | 432 1203.25/1203.67 c 1203s | 18 | 622116 | 427952 | 25408 34 | 664 | 432 1205.55/1205.97 c 1205s | 18 | 622915 | 428652 | 25408 34 | 664 | 432 1207.74/1208.13 c 1207s | 18 | 623665 | 429252 | 25408 34 | 664 | 432 1209.73/1210.14 c 1209s | 18 | 624363 | 429752 | 25408 34 | 664 | 432 1211.73/1212.16 c 1211s | 18 | 625104 | 430352 | 25408 34 | 664 | 432 1214.03/1214.43 c 1214s | 18 | 625969 | 431052 | 25408 34 | 664 | 432 1216.43/1216.83 c 1216s | 18 | 626642 | 431652 | 25408 34 | 664 | 432 1218.73/1219.19 c 1218s | 18 | 627339 | 432252 | 25408 34 | 664 | 432 1220.93/1221.32 c 1221s | 18 | 628049 | 432852 | 25408 34 | 664 | 432 1223.22/1223.61 c 1223s | 18 | 628774 | 433452 | 25408 34 | 664 | 432 1225.42/1225.80 c 1225s | 18 | 629451 | 434052 | 25408 34 | 664 | 432 1227.61/1228.02 c 1227s | 18 | 630169 | 434652 | 25408 34 | 664 | 432 1229.62/1230.08 c 1229s | 18 | 630752 | 435152 | 25408 34 | 664 | 432 1232.01/1232.40 c 1232s | 18 | 631421 | 435652 | 25408 34 | 664 | 432 1234.12/1234.56 c 1234s | 18 | 632193 | 436252 | 25408 34 | 664 | 432 1236.21/1236.69 c 1236s | 18 | 632926 | 436852 | 25408 34 | 664 | 432 1238.31/1238.70 c 1238s | 18 | 633506 | 437352 | 25408 34 | 664 | 432 1240.51/1240.90 c 1240s | 18 | 634080 | 437852 | 25408 34 | 664 | 432 1242.71/1243.18 c 1242s | 18 | 634819 | 438452 | 25408 34 | 664 | 432 1245.20/1245.64 c 1245s | 18 | 635435 | 438952 | 25408 35 | 664 | 432 1247.40/1247.88 c 1247s | 18 | 636080 | 439552 | 25408 35 | 664 | 432 1249.60/1250.01 c 1249s | 18 | 636758 | 440152 | 25408 35 | 664 | 432 1251.60/1252.09 c 1251s | 18 | 637464 | 440752 | 25408 35 | 664 | 432 1253.80/1254.21 c 1253s | 18 | 638200 | 441352 | 27949 35 | 664 | 432 1255.90/1256.40 c 1256s | 18 | 638765 | 441852 | 27949 35 | 664 | 432 1258.09/1258.52 c 1258s | 18 | 639817 | 442652 | 27949 35 | 664 | 432 1260.09/1260.56 c 1260s | 18 | 640737 | 443352 | 27949 35 | 664 | 432 1262.39/1262.86 c 1262s | 18 | 641600 | 444052 | 27949 35 | 664 | 432 1263.59/1264.09 c 1263s | 19 | 642144 | 444482 | 27949 35 | 664 | 432 1265.69/1266.19 c 1265s | 19 | 651149 | 446782 | 27949 35 | 664 | 432 1267.78/1268.27 c 1267s | 19 | 655165 | 448782 | 27949 35 | 664 | 432 1269.88/1270.35 c 1270s | 19 | 657879 | 450282 | 27949 35 | 664 | 432 1272.09/1272.58 c 1272s | 19 | 659775 | 451582 | 27949 35 | 664 | 432 1274.29/1274.73 c 1274s | 19 | 660995 | 452582 | 27949 35 | 664 | 432 1276.28/1276.76 c 1276s | 19 | 662179 | 453482 | 27949 35 | 664 | 432 1278.38/1278.84 c 1278s | 19 | 663257 | 454382 | 27949 35 | 664 | 432 1280.58/1281.08 c 1280s | 19 | 664340 | 455282 | 27949 35 | 664 | 432 1282.78/1283.28 c 1283s | 19 | 665203 | 455982 | 27949 36 | 664 | 432 1284.98/1285.47 c 1285s | 19 | 665789 | 456482 | 27949 36 | 664 | 432 1287.28/1287.70 c 1287s | 19 | 667062 | 457482 | 27949 36 | 664 | 432 1289.28/1289.79 c 1289s | 19 | 668037 | 458282 | 27949 36 | 664 | 432 1291.37/1291.83 c 1291s | 19 | 668869 | 458982 | 27949 36 | 664 | 432 1293.57/1294.03 c 1293s | 19 | 669709 | 459682 | 27949 36 | 664 | 432 1295.58/1296.05 c 1295s | 19 | 670745 | 460482 | 27949 36 | 664 | 432 1297.67/1298.13 c 1297s | 19 | 671618 | 461182 | 27949 36 | 664 | 432 1299.67/1300.15 c 1299s | 19 | 672479 | 461882 | 27949 36 | 664 | 432 1301.97/1302.46 c 1302s | 19 | 673284 | 462582 | 27949 36 | 664 | 432 1304.17/1304.67 c 1304s | 19 | 673955 | 463182 | 27949 36 | 664 | 432 1306.26/1306.77 c 1306s | 19 | 674649 | 463782 | 27949 36 | 664 | 432 1308.36/1308.85 c 1308s | 19 | 675339 | 464382 | 27949 36 | 664 | 432 1310.46/1310.96 c 1310s | 19 | 676056 | 464982 | 27949 36 | 664 | 432 1312.76/1313.26 c 1312s | 19 | 676890 | 465682 | 27949 36 | 664 | 432 1314.86/1315.39 c 1315s | 19 | 677583 | 466282 | 27949 36 | 664 | 432 1317.25/1317.72 c 1317s | 19 | 678244 | 466882 | 27949 36 | 664 | 432 1319.45/1319.91 c 1319s | 19 | 678952 | 467482 | 27949 36 | 664 | 432 1321.45/1321.99 c 1321s | 19 | 679625 | 468082 | 27949 36 | 664 | 432 1323.65/1324.15 c 1323s | 19 | 680306 | 468682 | 27949 36 | 664 | 432 1325.65/1326.17 c 1325s | 19 | 680838 | 469182 | 27949 36 | 664 | 432 1328.05/1328.52 c 1328s | 19 | 681527 | 469782 | 27949 36 | 664 | 432 1330.05/1330.54 c 1330s | 19 | 682091 | 470282 | 27949 36 | 664 | 432 1332.45/1332.98 c 1332s | 19 | 682775 | 470882 | 27949 36 | 664 | 432 1334.65/1335.13 c 1334s | 19 | 683242 | 471282 | 27949 37 | 664 | 432 1336.85/1337.33 c 1337s | 19 | 684076 | 471982 | 27949 37 | 664 | 432 1338.85/1339.35 c 1339s | 19 | 684644 | 472482 | 27949 37 | 664 | 432 1340.95/1341.45 c 1341s | 19 | 686654 | 473482 | 27949 37 | 664 | 432 1343.14/1343.63 c 1343s | 19 | 688740 | 474682 | 27949 37 | 664 | 432 1345.15/1345.68 c 1345s | 19 | 689849 | 475582 | 27949 37 | 664 | 432 1347.25/1347.71 c 1347s | 19 | 690792 | 476382 | 27949 37 | 664 | 432 1349.34/1349.80 c 1349s | 19 | 691886 | 477282 | 27949 37 | 664 | 432 1351.54/1352.00 c 1351s | 19 | 693001 | 478182 | 27949 37 | 664 | 432 1353.54/1354.03 c 1353s | 19 | 693815 | 478882 | 27949 37 | 664 | 432 1355.54/1356.08 c 1355s | 19 | 694613 | 479582 | 27949 37 | 664 | 432 1357.74/1358.25 c 1357s | 19 | 695402 | 480282 | 27949 37 | 664 | 432 1359.94/1360.40 c 1360s | 19 | 696096 | 480882 | 27949 37 | 664 | 432 1362.14/1362.62 c 1362s | 19 | 696900 | 481582 | 27949 37 | 664 | 432 1364.44/1364.90 c 1364s | 19 | 697660 | 482282 | 27949 37 | 664 | 432 1366.44/1366.98 c 1366s | 19 | 698453 | 482982 | 27949 37 | 664 | 432 1368.54/1369.02 c 1368s | 19 | 699115 | 483582 | 27949 37 | 664 | 432 1370.74/1371.22 c 1370s | 19 | 699773 | 484182 | 27949 37 | 664 | 432 1372.84/1373.35 c 1373s | 19 | 700431 | 484782 | 27949 37 | 664 | 432 1375.04/1375.59 c 1375s | 19 | 701088 | 485382 | 27949 37 | 664 | 432 1377.14/1377.64 c 1377s | 19 | 701620 | 485882 | 27949 37 | 664 | 432 1379.25/1379.77 c 1379s | 19 | 702150 | 486382 | 27949 37 | 664 | 432 1381.45/1381.92 c 1381s | 19 | 702818 | 486982 | 27949 37 | 664 | 432 1383.74/1384.26 c 1383s | 19 | 703502 | 487582 | 27949 38 | 664 | 432 1386.04/1386.59 c 1386s | 19 | 704394 | 488382 | 27949 38 | 664 | 432 1388.14/1388.61 c 1388s | 19 | 705305 | 489082 | 27949 38 | 664 | 432 1390.34/1390.82 c 1390s | 19 | 706546 | 489982 | 27949 38 | 664 | 432 1392.34/1392.89 c 1392s | 19 | 707638 | 490782 | 27949 38 | 664 | 432 1394.65/1395.13 c 1394s | 19 | 708696 | 491582 | 27949 38 | 664 | 432 1396.74/1397.27 c 1396s | 19 | 709431 | 492182 | 27949 38 | 664 | 432 1398.94/1399.45 c 1399s | 19 | 710287 | 492882 | 27949 38 | 664 | 432 1401.15/1401.66 c 1401s | 19 | 711001 | 493482 | 27949 38 | 664 | 432 1403.45/1403.91 c 1403s | 19 | 712022 | 494182 | 27949 38 | 664 | 432 1405.44/1405.99 c 1405s | 19 | 713424 | 495082 | 27949 38 | 664 | 432 1407.75/1408.21 c 1407s | 19 | 714383 | 495882 | 27949 38 | 664 | 432 1409.84/1410.40 c 1410s | 19 | 715220 | 496582 | 27949 38 | 664 | 432 1411.94/1412.41 c 1412s | 19 | 715926 | 497182 | 27949 38 | 664 | 432 1414.14/1414.66 c 1414s | 19 | 716750 | 497882 | 27949 38 | 664 | 432 1416.34/1416.88 c 1416s | 19 | 717596 | 498582 | 27949 38 | 664 | 432 1418.64/1419.18 c 1418s | 19 | 718410 | 499282 | 27949 38 | 664 | 432 1420.64/1421.19 c 1420s | 19 | 719171 | 499882 | 27949 38 | 664 | 432 1422.84/1423.34 c 1423s | 19 | 720415 | 500482 | 27949 38 | 664 | 432 1424.94/1425.41 c 1425s | 19 | 721280 | 501182 | 27949 38 | 664 | 432 1427.14/1427.64 c 1427s | 19 | 722438 | 502082 | 27949 38 | 664 | 432 1429.44/1429.94 c 1429s | 19 | 723029 | 502582 | 27949 39 | 664 | 432 1431.64/1432.16 c 1431s | 19 | 724107 | 503482 | 27949 39 | 664 | 432 1433.73/1434.25 c 1433s | 19 | 725073 | 504282 | 27949 39 | 664 | 432 1435.83/1436.35 c 1436s | 19 | 726040 | 505082 | 27949 39 | 664 | 432 1438.03/1438.52 c 1438s | 19 | 726968 | 505882 | 27949 39 | 664 | 432 1440.13/1440.61 c 1440s | 19 | 727889 | 506682 | 27949 39 | 664 | 432 1442.33/1442.81 c 1442s | 19 | 728805 | 507482 | 27949 39 | 664 | 432 1444.43/1444.95 c 1444s | 19 | 729656 | 508182 | 27949 39 | 664 | 432 1446.53/1447.05 c 1446s | 19 | 730644 | 508982 | 27949 39 | 664 | 432 1448.73/1449.25 c 1448s | 19 | 731629 | 509782 | 27949 39 | 664 | 432 1450.83/1451.33 c 1451s | 19 | 732423 | 510482 | 27949 39 | 664 | 432 1452.94/1453.45 c 1453s | 19 | 733354 | 511282 | 27949 39 | 664 | 432 1455.23/1455.75 c 1455s | 19 | 734138 | 511982 | 27949 39 | 664 | 432 1457.53/1458.03 c 1457s | 19 | 735084 | 512782 | 27949 39 | 664 | 432 1459.73/1460.29 c 1460s | 19 | 735919 | 513482 | 27949 39 | 664 | 432 1461.83/1462.31 c 1462s | 19 | 736583 | 514082 | 27949 39 | 664 | 432 1463.94/1464.47 c 1464s | 19 | 737420 | 514782 | 27949 39 | 664 | 432 1466.03/1466.52 c 1466s | 19 | 738076 | 515382 | 27949 39 | 664 | 432 1468.13/1468.68 c 1468s | 19 | 738751 | 515982 | 27949 39 | 664 | 432 1470.33/1470.87 c 1470s | 19 | 739423 | 516582 | 27949 39 | 664 | 432 1472.43/1472.90 c 1472s | 19 | 740137 | 517182 | 27949 39 | 664 | 432 1474.63/1475.13 c 1474s | 19 | 740942 | 517882 | 27949 39 | 664 | 432 1476.93/1477.40 c 1477s | 19 | 741489 | 518382 | 27949 40 | 664 | 432 1479.03/1479.54 c 1479s | 19 | 742419 | 519182 | 27949 40 | 664 | 432 1481.23/1481.79 c 1481s | 19 | 743334 | 519982 | 27949 40 | 664 | 432 1483.33/1483.80 c 1483s | 19 | 743993 | 520582 | 27949 40 | 664 | 432 1485.33/1485.87 c 1485s | 19 | 744643 | 521182 | 27949 40 | 664 | 432 1487.53/1488.05 c 1487s | 19 | 745752 | 521982 | 27949 40 | 664 | 432 1489.63/1490.16 c 1489s | 19 | 746761 | 522782 | 27949 40 | 664 | 432 1491.73/1492.22 c 1491s | 19 | 747671 | 523482 | 27949 40 | 664 | 432 1493.92/1494.46 c 1494s | 19 | 748503 | 524182 | 27949 40 | 664 | 432 1496.22/1496.79 c 1496s | 19 | 749346 | 524882 | 27949 40 | 664 | 432 1498.32/1498.84 c 1498s | 19 | 750057 | 525482 | 27949 40 | 664 | 432 1500.62/1501.18 c 1500s | 19 | 750901 | 526182 | 27949 40 | 664 | 432 1502.92/1503.43 c 1503s | 19 | 751784 | 526882 | 27949 40 | 664 | 432 1505.12/1505.69 c 1505s | 19 | 752603 | 527582 | 27949 40 | 664 | 432 1507.42/1507.90 c 1507s | 19 | 753301 | 528182 | 27949 40 | 664 | 432 1509.42/1509.97 c 1509s | 19 | 753850 | 528682 | 27949 40 | 664 | 432 1511.52/1512.05 c 1511s | 19 | 754563 | 529282 | 27949 40 | 664 | 432 1513.52/1514.08 c 1513s | 19 | 755301 | 529882 | 27949 40 | 664 | 432 1515.72/1516.25 c 1515s | 19 | 755849 | 530382 | 27949 40 | 664 | 432 1517.73/1518.25 c 1517s | 19 | 756581 | 530982 | 27949 40 | 664 | 432 1520.12/1520.62 c 1520s | 19 | 757421 | 531682 | 27949 40 | 664 | 432 1522.32/1522.88 c 1522s | 19 | 758135 | 532282 | 27949 40 | 664 | 432 1524.62/1525.14 c 1524s | 19 | 758815 | 532882 | 27949 40 | 664 | 432 1526.92/1527.47 c 1527s | 19 | 759515 | 533482 | 27949 40 | 664 | 432 1529.22/1529.76 c 1529s | 19 | 760089 | 533982 | 27949 41 | 664 | 432 1531.52/1532.06 c 1531s | 19 | 760978 | 534782 | 27949 41 | 664 | 432 1533.82/1534.39 c 1534s | 19 | 761748 | 535482 | 27949 41 | 664 | 432 1536.02/1536.59 c 1536s | 19 | 762427 | 536082 | 27949 41 | 664 | 432 1538.12/1538.66 c 1538s | 19 | 763091 | 536682 | 27949 41 | 664 | 432 1540.32/1540.89 c 1540s | 19 | 763781 | 537282 | 27949 41 | 664 | 432 1542.72/1543.27 c 1542s | 19 | 764546 | 537982 | 27949 41 | 664 | 432 1544.82/1545.37 c 1545s | 19 | 765117 | 538482 | 27949 41 | 664 | 432 1547.01/1547.58 c 1547s | 19 | 765805 | 539082 | 27949 41 | 664 | 432 1549.31/1549.82 c 1549s | 19 | 766491 | 539682 | 27949 41 | 664 | 432 1551.41/1551.90 c 1551s | 19 | 767152 | 540282 | 27949 41 | 664 | 432 1553.61/1554.19 c 1553s | 19 | 767813 | 540882 | 27949 41 | 664 | 432 1555.81/1556.31 c 1556s | 19 | 768377 | 541382 | 27949 41 | 664 | 432 1558.01/1558.59 c 1558s | 19 | 769030 | 541982 | 27949 41 | 664 | 432 1560.11/1560.63 c 1560s | 19 | 769664 | 542482 | 27949 41 | 664 | 432 1562.21/1562.74 c 1562s | 19 | 770281 | 542982 | 27949 41 | 664 | 432 1564.51/1565.04 c 1564s | 19 | 770864 | 543482 | 27949 41 | 664 | 432 1566.61/1567.15 c 1566s | 19 | 771477 | 543982 | 27949 41 | 664 | 432 1568.91/1569.41 c 1569s | 19 | 772188 | 544582 | 27949 41 | 664 | 432 1571.21/1571.73 c 1571s | 19 | 772850 | 545182 | 27949 41 | 664 | 432 1573.21/1573.79 c 1573s | 19 | 773577 | 545782 | 27949 41 | 664 | 432 1575.51/1576.03 c 1575s | 19 | 774396 | 546482 | 27949 41 | 664 | 432 1577.71/1578.20 c 1577s | 19 | 775087 | 547082 | 27949 41 | 664 | 432 1579.71/1580.24 c 1579s | 19 | 775795 | 547682 | 27949 41 | 664 | 432 1581.81/1582.31 c 1582s | 19 | 776502 | 548282 | 27949 41 | 664 | 432 1584.11/1584.69 c 1584s | 19 | 777187 | 548882 | 27949 41 | 664 | 432 1586.21/1586.75 c 1586s | 19 | 777630 | 549282 | 27949 42 | 664 | 432 1588.31/1588.84 c 1588s | 19 | 778426 | 549982 | 27949 42 | 664 | 432 1590.31/1590.86 c 1590s | 19 | 779219 | 550682 | 27949 42 | 664 | 432 1592.41/1592.90 c 1592s | 19 | 779999 | 551382 | 27949 42 | 664 | 432 1594.61/1595.15 c 1594s | 19 | 780788 | 552082 | 27949 42 | 664 | 432 1596.81/1597.35 c 1597s | 19 | 781550 | 552782 | 27949 42 | 664 | 432 1598.81/1599.38 c 1599s | 19 | 782217 | 553382 | 27949 42 | 664 | 432 1601.11/1601.61 c 1601s | 19 | 782998 | 554082 | 27949 42 | 664 | 432 1603.21/1603.76 c 1603s | 19 | 783806 | 554782 | 27949 42 | 664 | 432 1605.41/1605.91 c 1605s | 19 | 784609 | 555482 | 27949 42 | 664 | 432 1607.40/1607.98 c 1607s | 19 | 785266 | 556082 | 27949 42 | 664 | 432 1609.50/1610.05 c 1609s | 19 | 785948 | 556682 | 27949 42 | 664 | 432 1611.70/1612.27 c 1611s | 19 | 786610 | 557282 | 27949 42 | 664 | 432 1613.90/1614.40 c 1614s | 19 | 787288 | 557882 | 27949 42 | 664 | 432 1616.00/1616.55 c 1616s | 19 | 787955 | 558482 | 27949 42 | 664 | 432 1618.20/1618.74 c 1618s | 19 | 788614 | 559082 | 27949 42 | 664 | 432 1620.50/1621.06 c 1620s | 19 | 789296 | 559682 | 27949 42 | 664 | 432 1622.90/1623.41 c 1623s | 19 | 789964 | 560282 | 27949 42 | 664 | 432 1625.00/1625.55 c 1625s | 19 | 790515 | 560782 | 27949 42 | 664 | 432 1627.20/1627.74 c 1627s | 19 | 791050 | 561282 | 27949 42 | 664 | 432 1629.50/1630.07 c 1629s | 19 | 791705 | 561882 | 27949 42 | 664 | 432 1631.70/1632.22 c 1631s | 19 | 792348 | 562482 | 27949 42 | 664 | 432 1634.10/1634.65 c 1634s | 19 | 793006 | 563082 | 27949 42 | 664 | 432 1636.51/1637.10 c 1636s | 19 | 793680 | 563682 | 27949 42 | 664 | 432 1638.90/1639.44 c 1639s | 19 | 794252 | 564182 | 27949 42 | 664 | 432 1640.91/1641.49 c 1641s | 19 | 794879 | 564682 | 27949 42 | 664 | 432 1643.11/1643.63 c 1643s | 19 | 795442 | 565182 | 27949 43 | 664 | 432 1645.10/1645.66 c 1645s | 19 | 796173 | 565782 | 27949 43 | 664 | 432 1647.30/1647.80 c 1647s | 19 | 797499 | 566582 | 27949 43 | 664 | 432 1649.50/1650.02 c 1649s | 19 | 798567 | 567382 | 27949 43 | 664 | 432 1651.60/1652.15 c 1651s | 19 | 799234 | 567982 | 27949 43 | 664 | 432 1653.90/1654.42 c 1654s | 19 | 799808 | 568482 | 27949 43 | 664 | 432 1656.10/1656.61 c 1656s | 19 | 800526 | 569082 | 27949 43 | 664 | 432 1658.10/1658.62 c 1658s | 19 | 801144 | 569582 | 27949 43 | 664 | 432 1660.49/1661.02 c 1660s | 19 | 801822 | 570182 | 27949 43 | 664 | 432 1662.59/1663.12 c 1662s | 19 | 802283 | 570582 | 27949 43 | 664 | 432 1664.99/1665.53 c 1665s | 19 | 802986 | 571182 | 27949 43 | 664 | 432 1667.31/1667.85 c 1667s | 19 | 803560 | 571682 | 27949 43 | 664 | 432 1669.40/1669.92 c 1669s | 19 | 804133 | 572182 | 27949 43 | 664 | 432 1671.50/1672.08 c 1671s | 19 | 804713 | 572682 | 27949 43 | 664 | 432 1673.70/1674.22 c 1673s | 19 | 806342 | 573582 | 27949 43 | 664 | 432 1675.80/1676.39 c 1676s | 19 | 807028 | 574182 | 27949 43 | 664 | 432 1678.00/1678.52 c 1678s | 19 | 807684 | 574682 | 27949 43 | 664 | 432 1680.20/1680.70 c 1680s | 19 | 808298 | 575182 | 27949 43 | 664 | 432 1682.20/1682.76 c 1682s | 19 | 808845 | 575682 | 27949 43 | 664 | 432 1684.69/1685.22 c 1684s | 19 | 809311 | 576082 | 27949 43 | 664 | 432 1686.89/1687.41 c 1687s | 19 | 809958 | 576582 | 27949 43 | 664 | 432 1689.19/1689.73 c 1689s | 19 | 810405 | 576982 | 27949 43 | 664 | 432 1691.19/1691.79 c 1691s | 19 | 810736 | 577282 | 27949 43 | 664 | 432 1693.39/1693.98 c 1693s | 19 | 811181 | 577682 | 27949 43 | 664 | 432 1695.79/1696.39 c 1696s | 19 | 811773 | 578182 | 27949 43 | 664 | 432 1697.99/1698.51 c 1698s | 19 | 812326 | 578682 | 27949 43 | 664 | 432 1700.19/1700.76 c 1700s | 19 | 813394 | 579382 | 27949 43 | 664 | 432 1702.39/1702.97 c 1702s | 19 | 814269 | 580082 | 27949 43 | 664 | 432 1704.39/1704.99 c 1704s | 19 | 814911 | 580582 | 27949 44 | 664 | 432 1706.69/1707.20 c 1706s | 19 | 815869 | 581382 | 27949 44 | 664 | 432 1708.69/1709.27 c 1708s | 19 | 816701 | 582082 | 27949 44 | 664 | 432 1710.89/1711.44 c 1711s | 19 | 817593 | 582882 | 27949 44 | 664 | 432 1713.09/1713.61 c 1713s | 19 | 818412 | 583582 | 27949 44 | 664 | 432 1715.29/1715.82 c 1715s | 19 | 819211 | 584282 | 27949 44 | 664 | 432 1717.49/1718.03 c 1717s | 19 | 819870 | 584882 | 27949 44 | 664 | 432 1719.59/1720.16 c 1719s | 19 | 820527 | 585482 | 27949 44 | 664 | 432 1721.89/1722.43 c 1722s | 19 | 821315 | 586182 | 27949 44 | 664 | 432 1724.18/1724.74 c 1724s | 19 | 822103 | 586882 | 27949 44 | 664 | 432 1726.28/1726.89 c 1726s | 19 | 822750 | 587482 | 27949 44 | 664 | 432 1728.48/1729.03 c 1728s | 19 | 823422 | 588082 | 27949 44 | 664 | 432 1730.78/1731.33 c 1731s | 19 | 824089 | 588682 | 27949 44 | 664 | 432 1732.98/1733.55 c 1733s | 19 | 824750 | 589282 | 27949 44 | 664 | 432 1735.18/1735.75 c 1735s | 19 | 825522 | 589882 | 27949 44 | 664 | 432 1737.38/1737.96 c 1737s | 19 | 826395 | 590582 | 27949 44 | 664 | 432 1739.48/1740.02 c 1739s | 19 | 827111 | 591182 | 27949 44 | 664 | 432 1741.48/1742.04 c 1741s | 19 | 827817 | 591782 | 27949 44 | 664 | 432 1743.68/1744.23 c 1743s | 19 | 828651 | 592482 | 27949 44 | 664 | 432 1745.68/1746.26 c 1745s | 19 | 829397 | 593082 | 27949 44 | 664 | 432 1747.98/1748.59 c 1748s | 19 | 830083 | 593682 | 27949 44 | 664 | 432 1750.38/1750.94 c 1750s | 19 | 830782 | 594282 | 27949 44 | 664 | 432 1752.58/1753.13 c 1752s | 19 | 831455 | 594882 | 27949 44 | 664 | 432 1754.78/1755.34 c 1755s | 19 | 832441 | 595582 | 27949 44 | 664 | 432 1756.88/1757.49 c 1757s | 19 | 833272 | 596182 | 27949 45 | 664 | 432 1758.98/1759.52 c 1759s | 19 | 834245 | 596982 | 27949 45 | 664 | 432 1761.08/1761.68 c 1761s | 19 | 835295 | 597882 | 27949 45 | 664 | 432 1763.28/1763.89 c 1763s | 19 | 836470 | 598782 | 27949 45 | 664 | 432 1765.48/1766.00 c 1765s | 19 | 837408 | 599582 | 27949 45 | 664 | 432 1767.68/1768.24 c 1767s | 19 | 838307 | 600382 | 27949 45 | 664 | 432 1769.69/1770.26 c 1769s | 19 | 839161 | 601082 | 27949 45 | 664 | 432 1771.89/1772.43 c 1772s | 19 | 839997 | 601782 | 27949 45 | 664 | 432 1774.10/1774.66 c 1774s | 19 | 840937 | 602582 | 27949 45 | 664 | 432 1776.19/1776.71 c 1776s | 19 | 841781 | 603282 | 27949 45 | 664 | 432 1778.39/1778.97 c 1778s | 19 | 842598 | 603982 | 27949 45 | 664 | 432 1780.69/1781.26 c 1780s | 19 | 843430 | 604682 | 27949 45 | 664 | 432 1783.08/1783.60 c 1783s | 19 | 844272 | 605382 | 27949 45 | 664 | 432 1785.18/1785.72 c 1785s | 19 | 844984 | 605982 | 27949 45 | 664 | 432 1787.38/1787.97 c 1787s | 19 | 845775 | 606682 | 27949 45 | 664 | 432 1789.49/1790.03 c 1789s | 19 | 846320 | 607182 | 27949 45 | 664 | 432 1791.59/1792.17 c 1791s | 19 | 846982 | 607782 | 27949 45 | 664 | 432 1793.98/1794.50 c 1794s | 19 | 847651 | 608382 | 27949 45 | 664 | 432 1795.99/1796.52 c 1796s | 19 | 848219 | 608882 | 27949 45 | 664 | 432 1798.08/1798.65 c 1798s | 19 | 848776 | 609382 | 27949 45 | 664 | 432
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-4115901-1466943620/watcher-4115901-1466943620 -o /tmp/evaluation-result-4115901-1466943620/solver-4115901-1466943620 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466939688-32511 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4115901-1466943620.opb pid=491 running on 8 cores: 0-3,8-11 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.21 2.11 2.07 3/262 494 /proc/meminfo: memFree=30886588/32872528 swapFree=7556/7556 [pid=494] ppid=491 vsize=768444 CPUtime=0 cores=0-3,8-11 /proc/494/stat : 494 (toysat) R 491 494 32495 0 -1 4202496 2875 0 0 0 0 0 0 0 20 0 4 0 27400216 786886656 2724 33554432000 4194304 16246674 140737405484000 140737405483424 13880264 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/494/statm: 192879 2737 441 2943 0 189773 0 [pid=494/tid=495] ppid=491 vsize=1149372 CPUtime=0 cores=0-3,8-11 /proc/494/task/495/stat : 495 (toysat) S 491 494 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27400216 1176956928 4212 33554432000 4194304 16246674 140737405484000 140428794899696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=494/tid=496] ppid=491 vsize=1154492 CPUtime=0 cores=0-3,8-11 /proc/494/task/496/stat : 496 (toysat) S 491 494 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27400216 1182199808 4231 33554432000 4194304 16246674 140737405484000 140428784409840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=494/tid=497] ppid=491 vsize=1158588 CPUtime=0 cores=0-3,8-11 /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27400216 1186394112 4250 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 [startup+0.100108 s] /proc/loadavg: 2.21 2.11 2.07 3/262 494 /proc/meminfo: memFree=30886588/32872528 swapFree=7556/7556 [pid=494] ppid=491 vsize=1220164 CPUtime=0.09 cores=0-3,8-11 /proc/494/stat : 494 (toysat) R 491 494 32495 0 -1 4202496 28471 0 0 0 5 4 0 0 20 0 4 0 27400216 1249447936 28258 33554432000 4194304 16246674 140737405484000 140737405483312 4220897 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/494/statm: 305041 28258 801 2943 0 301935 0 [pid=494/tid=495] ppid=491 vsize=1220164 CPUtime=0 cores=0-3,8-11 /proc/494/task/495/stat : 495 (toysat) S 491 494 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27400216 1249447936 28258 33554432000 4194304 16246674 140737405484000 140428794899696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=494/tid=496] ppid=491 vsize=1220164 CPUtime=0 cores=0-3,8-11 /proc/494/task/496/stat : 496 (toysat) S 491 494 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27400216 1249447936 28258 33554432000 4194304 16246674 140737405484000 140428784409840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=494/tid=497] ppid=491 vsize=1220164 CPUtime=0 cores=0-3,8-11 /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27400216 1249447936 28258 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200443 s] /proc/loadavg: 2.21 2.11 2.07 3/262 494 /proc/meminfo: memFree=30886588/32872528 swapFree=7556/7556 [pid=494] ppid=491 vsize=1301060 CPUtime=0.19 cores=0-3,8-11 /proc/494/stat : 494 (toysat) R 491 494 32495 0 -1 4202496 48676 0 0 0 12 7 0 0 20 0 4 0 27400216 1332285440 48463 33554432000 4194304 16246674 140737405484000 140737405483312 6156186 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/494/statm: 325265 48463 842 2943 0 322159 0 [pid=494/tid=495] ppid=491 vsize=1301060 CPUtime=0 cores=0-3,8-11 /proc/494/task/495/stat : 495 (toysat) S 491 494 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27400216 1332285440 48463 33554432000 4194304 16246674 140737405484000 140428794899696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=494/tid=496] ppid=491 vsize=1301060 CPUtime=0 cores=0-3,8-11 /proc/494/task/496/stat : 496 (toysat) S 491 494 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27400216 1332285440 48463 33554432000 4194304 16246674 140737405484000 140428784409840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=494/tid=497] ppid=491 vsize=1301060 CPUtime=0 cores=0-3,8-11 /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27400216 1332285440 48463 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1301060 [startup+0.300399 s] /proc/loadavg: 2.21 2.11 2.07 3/262 494 /proc/meminfo: memFree=30886588/32872528 swapFree=7556/7556 [pid=494] ppid=491 vsize=1301060 CPUtime=0.29 cores=0-3,8-11 /proc/494/stat : 494 (toysat) R 491 494 32495 0 -1 4202496 54456 0 0 0 21 8 0 0 20 0 4 0 27400216 1332285440 54243 33554432000 4194304 16246674 140737405484000 140737405483312 5675357 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/494/statm: 325265 54248 882 2943 0 322159 0 [pid=494/tid=495] ppid=491 vsize=1301060 CPUtime=0 cores=0-3,8-11 /proc/494/task/495/stat : 495 (toysat) S 491 494 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27400216 1332285440 54251 33554432000 4194304 16246674 140737405484000 140428794899696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=494/tid=496] ppid=491 vsize=1301060 CPUtime=0 cores=0-3,8-11 /proc/494/task/496/stat : 496 (toysat) S 491 494 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27400216 1332285440 54255 33554432000 4194304 16246674 140737405484000 140428784409840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=494/tid=497] ppid=491 vsize=1301060 CPUtime=0 cores=0-3,8-11 /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27400216 1332285440 54259 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1301060 [startup+0.70039 s] /proc/loadavg: 2.21 2.11 2.07 3/262 494 /proc/meminfo: memFree=30886588/32872528 swapFree=7556/7556 [pid=494] ppid=491 vsize=1301060 CPUtime=0.69 cores=0-3,8-11 /proc/494/stat : 494 (toysat) R 491 494 32495 0 -1 4202496 106471 0 0 0 54 15 0 0 20 0 4 0 27400216 1332285440 106258 33554432000 4194304 16246674 140737405484000 140737405465920 5546181 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/494/statm: 325265 106268 882 2943 0 322159 0 [pid=494/tid=495] ppid=491 vsize=1301060 CPUtime=0 cores=0-3,8-11 /proc/494/task/495/stat : 495 (toysat) S 491 494 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27400216 1332285440 106272 33554432000 4194304 16246674 140737405484000 140428794899696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=494/tid=496] ppid=491 vsize=1301060 CPUtime=0 cores=0-3,8-11 /proc/494/task/496/stat : 496 (toysat) S 491 494 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27400216 1332285440 106275 33554432000 4194304 16246674 140737405484000 140428784409840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=494/tid=497] ppid=491 vsize=1301060 CPUtime=0 cores=0-3,8-11 /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27400216 1332285440 106279 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1301060 [startup+1.5005 s] /proc/loadavg: 2.21 2.11 2.07 3/266 500 /proc/meminfo: memFree=30118316/32872528 swapFree=7556/7556 [pid=494] ppid=491 vsize=1302084 CPUtime=1.49 cores=0-3,8-11 /proc/494/stat : 494 (toysat) R 491 494 32495 0 -1 4202496 222572 0 0 0 118 31 0 0 20 0 4 0 27400216 1333334016 222360 33554432000 4194304 16246674 140737405484000 140737405465920 13954518 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/494/statm: 325521 222365 882 2943 0 322415 0 [pid=494/tid=495] ppid=491 vsize=1302084 CPUtime=0 cores=0-3,8-11 /proc/494/task/495/stat : 495 (toysat) S 491 494 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27400216 1333334016 222371 33554432000 4194304 16246674 140737405484000 140428794899696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=494/tid=496] ppid=491 vsize=1302084 CPUtime=0 cores=0-3,8-11 /proc/494/task/496/stat : 496 (toysat) S 491 494 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27400216 1333334016 222374 33554432000 4194304 16246674 140737405484000 140428784409840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=494/tid=497] ppid=491 vsize=1302084 CPUtime=0 cores=0-3,8-11 /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27400216 1333334016 222377 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1302084 [startup+3.10037 s] /proc/loadavg: 2.21 2.11 2.07 3/266 500 /proc/meminfo: memFree=29843120/32872528 swapFree=7556/7556 [pid=494] ppid=491 vsize=1313348 CPUtime=3.09 cores=0-3,8-11 /proc/494/stat : 494 (toysat) R 491 494 32495 0 -1 4202496 261379 0 0 0 274 35 0 0 20 0 4 0 27400216 1344868352 261166 33554432000 4194304 16246674 140737405484000 140737405465920 13950218 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/494/statm: 328337 261166 888 2943 0 325231 0 [pid=494/tid=495] ppid=491 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/494/task/495/stat : 495 (toysat) S 491 494 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27400216 1344868352 261166 33554432000 4194304 16246674 140737405484000 140428794899696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=494/tid=496] ppid=491 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/494/task/496/stat : 496 (toysat) S 491 494 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27400216 1344868352 261166 33554432000 4194304 16246674 140737405484000 140428784409840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=494/tid=497] ppid=491 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27400216 1344868352 261166 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1313348 [startup+6.30039 s] /proc/loadavg: 2.19 2.11 2.07 3/266 500 /proc/meminfo: memFree=29810508/32872528 swapFree=7556/7556 [pid=494] ppid=491 vsize=1313348 CPUtime=6.29 cores=0-3,8-11 /proc/494/stat : 494 (toysat) R 491 494 32495 0 -1 4202496 269525 0 0 0 593 36 0 0 20 0 4 0 27400216 1344868352 269312 33554432000 4194304 16246674 140737405484000 140737405465920 12415827 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/494/statm: 328337 269312 888 2943 0 325231 0 [pid=494/tid=495] ppid=491 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/494/task/495/stat : 495 (toysat) S 491 494 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27400216 1344868352 269312 33554432000 4194304 16246674 140737405484000 140428794899696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=494/tid=496] ppid=491 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/494/task/496/stat : 496 (toysat) S 491 494 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27400216 1344868352 269312 33554432000 4194304 16246674 140737405484000 140428784409840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=494/tid=497] ppid=491 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27400216 1344868352 269312 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1313348 [startup+12.7004 s] /proc/loadavg: 2.18 2.11 2.07 3/266 500 /proc/meminfo: memFree=29809936/32872528 swapFree=7556/7556 [pid=494] ppid=491 vsize=1313348 CPUtime=12.68 cores=0-3,8-11 /proc/494/stat : 494 (toysat) R 491 494 32495 0 -1 4202496 269527 0 0 0 1232 36 0 0 20 0 4 0 27400216 1344868352 269314 33554432000 4194304 16246674 140737405484000 140737405465920 5598720 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/494/statm: 328337 269314 890 2943 0 325231 0 [pid=494/tid=495] ppid=491 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/494/task/495/stat : 495 (toysat) S 491 494 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27400216 1344868352 269314 33554432000 4194304 16246674 140737405484000 140428794899696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=494/tid=496] ppid=491 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/494/task/496/stat : 496 (toysat) S 491 494 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27400216 1344868352 269314 33554432000 4194304 16246674 140737405484000 140428784409840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=494/tid=497] ppid=491 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27400216 1344868352 269314 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1313348 [startup+25.5004 s] /proc/loadavg: 2.20 2.12 2.08 3/266 500 /proc/meminfo: memFree=29810604/32872528 swapFree=7556/7556 [pid=494] ppid=491 vsize=1313348 CPUtime=25.49 cores=0-3,8-11 /proc/494/stat : 494 (toysat) R 491 494 32495 0 -1 4202496 269528 0 0 0 2513 36 0 0 20 0 4 0 27400216 1344868352 269315 33554432000 4194304 16246674 140737405484000 140737405465920 13752941 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/494/statm: 328337 269315 891 2943 0 325231 0 [pid=494/tid=495] ppid=491 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/494/task/495/stat : 495 (toysat) S 491 494 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27400216 1344868352 269315 33554432000 4194304 16246674 140737405484000 140428794899696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=494/tid=496] ppid=491 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/494/task/496/stat : 496 (toysat) S 491 494 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27400216 1344868352 269315 33554432000 4194304 16246674 140737405484000 140428784409840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=494/tid=497] ppid=491 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27400216 1344868352 269315 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1313348 [startup+51.1004 s] /proc/loadavg: 2.26 2.14 2.08 3/265 500 /proc/meminfo: memFree=29810656/32872528 swapFree=7556/7556 [pid=494] ppid=491 vsize=1313348 CPUtime=51.08 cores=0-3,8-11 /proc/494/stat : 494 (toysat) R 491 494 32495 0 -1 4202496 269529 0 0 0 5072 36 0 0 20 0 4 0 27400216 1344868352 269316 33554432000 4194304 16246674 140737405484000 140737405465920 12415827 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/494/statm: 328337 269316 892 2943 0 325231 0 [pid=494/tid=495] ppid=491 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/494/task/495/stat : 495 (toysat) S 491 494 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27400216 1344868352 269316 33554432000 4194304 16246674 140737405484000 140428794899696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=494/tid=496] ppid=491 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/494/task/496/stat : 496 (toysat) S 491 494 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27400216 1344868352 269316 33554432000 4194304 16246674 140737405484000 140428784409840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=494/tid=497] ppid=491 vsize=1313348 CPUtime=0 cores=0-3,8-11 /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27400216 1344868352 269316 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1313348 [startup+102.3 s] /proc/loadavg: 2.16 2.13 2.08 3/265 501 /proc/meminfo: memFree=29799504/32872528 swapFree=7556/7556 [pid=494] ppid=491 vsize=1323588 CPUtime=102.27 cores=0-3,8-11 /proc/494/stat : 494 (toysat) R 491 494 32495 0 -1 4202496 272038 0 0 0 10190 37 0 0 20 0 4 0 27400216 1355354112 271825 33554432000 4194304 16246674 140737405484000 140737405483176 12415665 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/494/statm: 330897 271825 892 2943 0 327791 0 [pid=494/tid=495] ppid=491 vsize=1323588 CPUtime=0 cores=0-3,8-11 /proc/494/task/495/stat : 495 (toysat) S 491 494 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27400216 1355354112 271825 33554432000 4194304 16246674 140737405484000 140428794899696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=494/tid=496] ppid=491 vsize=1323588 CPUtime=0 cores=0-3,8-11 /proc/494/task/496/stat : 496 (toysat) S 491 494 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27400216 1355354112 271825 33554432000 4194304 16246674 140737405484000 140428784409840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=494/tid=497] ppid=491 vsize=1323588 CPUtime=0 cores=0-3,8-11 /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27400216 1355354112 271825 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1323588 ################ # More data... # ################ /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1333828 [startup+1302.3 s] /proc/loadavg: 2.10 2.09 2.09 3/266 533 /proc/meminfo: memFree=29771360/32872528 swapFree=7556/7556 [pid=494] ppid=491 vsize=1333828 CPUtime=1301.87 cores=0-3,8-11 /proc/494/stat : 494 (toysat) R 491 494 32495 0 -1 4202496 274996 0 0 0 130140 47 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140737405465920 13774516 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/494/statm: 333457 274692 892 2943 0 330351 0 [pid=494/tid=495] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/495/stat : 495 (toysat) S 491 494 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428794899696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=494/tid=496] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/496/stat : 496 (toysat) S 491 494 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428784409840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=494/tid=497] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1333828 [startup+1362.3 s] /proc/loadavg: 2.08 2.09 2.09 3/265 534 /proc/meminfo: memFree=29770060/32872528 swapFree=7556/7556 [pid=494] ppid=491 vsize=1333828 CPUtime=1361.84 cores=0-3,8-11 /proc/494/stat : 494 (toysat) R 491 494 32495 0 -1 4202496 275014 0 0 0 136137 47 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140737405465920 5677277 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/494/statm: 333457 274692 892 2943 0 330351 0 [pid=494/tid=495] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/495/stat : 495 (toysat) S 491 494 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428794899696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=494/tid=496] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/496/stat : 496 (toysat) S 491 494 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428784409840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=494/tid=497] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1333828 [startup+1422.3 s] /proc/loadavg: 2.16 2.10 2.09 3/265 535 /proc/meminfo: memFree=29771000/32872528 swapFree=7556/7556 [pid=494] ppid=491 vsize=1333828 CPUtime=1421.84 cores=0-3,8-11 /proc/494/stat : 494 (toysat) R 491 494 32495 0 -1 4202496 275014 0 0 0 142136 48 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140737405465920 5712608 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/494/statm: 333457 274692 892 2943 0 330351 0 [pid=494/tid=495] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/495/stat : 495 (toysat) S 491 494 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428794899696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=494/tid=496] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/496/stat : 496 (toysat) S 491 494 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428784409840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=494/tid=497] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1333828 [startup+1482.3 s] /proc/loadavg: 2.06 2.08 2.08 3/264 585 /proc/meminfo: memFree=29795136/32872528 swapFree=7556/7556 [pid=494] ppid=491 vsize=1333828 CPUtime=1481.83 cores=0-3,8-11 /proc/494/stat : 494 (toysat) R 491 494 32495 0 -1 4202496 275014 0 0 0 148134 49 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140737405465920 5822484 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/494/statm: 333457 274692 892 2943 0 330351 0 [pid=494/tid=495] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/495/stat : 495 (toysat) S 491 494 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428794899696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=494/tid=496] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/496/stat : 496 (toysat) S 491 494 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428784409840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=494/tid=497] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1333828 [startup+1542.3 s] /proc/loadavg: 2.09 2.08 2.08 3/265 588 /proc/meminfo: memFree=29796160/32872528 swapFree=7556/7556 [pid=494] ppid=491 vsize=1333828 CPUtime=1541.82 cores=0-3,8-11 /proc/494/stat : 494 (toysat) R 491 494 32495 0 -1 4202496 275014 0 0 0 154133 49 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140737405465920 5823230 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/494/statm: 333457 274692 892 2943 0 330351 0 [pid=494/tid=495] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/495/stat : 495 (toysat) S 491 494 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428794899696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=494/tid=496] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/496/stat : 496 (toysat) S 491 494 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428784409840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=494/tid=497] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1333828 [startup+1602.3 s] /proc/loadavg: 2.03 2.06 2.08 3/265 589 /proc/meminfo: memFree=29788872/32872528 swapFree=7556/7556 [pid=494] ppid=491 vsize=1333828 CPUtime=1601.81 cores=0-3,8-11 /proc/494/stat : 494 (toysat) R 491 494 32495 0 -1 4202496 275014 0 0 0 160132 49 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140737405465920 5823619 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/494/statm: 333457 274692 892 2943 0 330351 0 [pid=494/tid=495] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/495/stat : 495 (toysat) S 491 494 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428794899696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=494/tid=496] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/496/stat : 496 (toysat) S 491 494 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428784409840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=494/tid=497] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1333828 [startup+1662.3 s] /proc/loadavg: 2.01 2.05 2.07 3/265 590 /proc/meminfo: memFree=29783380/32872528 swapFree=7556/7556 [pid=494] ppid=491 vsize=1333828 CPUtime=1661.8 cores=0-3,8-11 /proc/494/stat : 494 (toysat) R 491 494 32495 0 -1 4202496 275014 0 0 0 166131 49 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140737405465920 5822604 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/494/statm: 333457 274692 892 2943 0 330351 0 [pid=494/tid=495] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/495/stat : 495 (toysat) S 491 494 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428794899696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=494/tid=496] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/496/stat : 496 (toysat) S 491 494 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428784409840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=494/tid=497] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1333828 [startup+1722.3 s] /proc/loadavg: 2.06 2.05 2.07 3/265 591 /proc/meminfo: memFree=29783080/32872528 swapFree=7556/7556 [pid=494] ppid=491 vsize=1333828 CPUtime=1721.79 cores=0-3,8-11 /proc/494/stat : 494 (toysat) R 491 494 32495 0 -1 4202496 275014 0 0 0 172129 50 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140737405465920 5822484 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/494/statm: 333457 274692 892 2943 0 330351 0 [pid=494/tid=495] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/495/stat : 495 (toysat) S 491 494 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428794899696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=494/tid=496] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/496/stat : 496 (toysat) S 491 494 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428784409840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=494/tid=497] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1333828 [startup+1782.31 s] /proc/loadavg: 2.07 2.06 2.07 3/266 595 /proc/meminfo: memFree=29777316/32872528 swapFree=7556/7556 [pid=494] ppid=491 vsize=1333828 CPUtime=1781.79 cores=0-3,8-11 /proc/494/stat : 494 (toysat) R 491 494 32495 0 -1 4202496 275014 0 0 0 178128 51 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140737405465920 5677720 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/494/statm: 333457 274692 892 2943 0 330351 0 [pid=494/tid=495] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/495/stat : 495 (toysat) S 491 494 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428794899696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=494/tid=496] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/496/stat : 496 (toysat) S 491 494 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428784409840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=494/tid=497] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1333828 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.05 2.05 2.07 3/266 596 /proc/meminfo: memFree=29778144/32872528 swapFree=7556/7556 [pid=494] ppid=491 vsize=1333828 CPUtime=1800.08 cores=0-3,8-11 /proc/494/stat : 494 (toysat) R 491 494 32495 0 -1 4202496 275014 0 0 0 179957 51 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140737405465920 12466644 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0 /proc/494/statm: 333457 274692 892 2943 0 330351 0 [pid=494/tid=495] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/495/stat : 495 (toysat) S 491 494 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428794899696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0 [pid=494/tid=496] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/496/stat : 496 (toysat) S 491 494 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428784409840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0 [pid=494/tid=497] ppid=491 vsize=1333828 CPUtime=0 cores=0-3,8-11 /proc/494/task/497/stat : 497 (toysat) S 491 494 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27400216 1365839872 274692 33554432000 4194304 16246674 140737405484000 140428773936304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1333828 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 494 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.09 CPU user time (s): 1799.58 CPU system time (s): 0.512922 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (KiB): 1333828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.512922 maximum resident set size= 1098768 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 275014 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= 380 involuntary context switches= 1951 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.81596 second user time and 9.71652 second system time The end
Begin job on node132 at 2016-06-26 14:20:20 IDJOB=4115901 IDBENCH=109403 IDSOLVER=2542 FILE ID=node132/4115901-1466943620 RUNJOBID= node132-1466939688-32511 PBS_JOBID= 19976333 Free space on /tmp= 71512 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4115901-1466943620/watcher-4115901-1466943620 -o /tmp/evaluation-result-4115901-1466943620/solver-4115901-1466943620 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466939688-32511 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4115901-1466943620.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= eb4d42496bf658b7317f257e580ff894 RANDOM SEED=850924303 node132.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 : 2667.034 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.06 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 : 2667.034 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.51 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 : 2667.034 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.034 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.034 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 1 siblings : 8 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 : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 1 siblings : 8 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 : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 1 siblings : 8 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30886620 kB Buffers: 8988 kB Cached: 171468 kB SwapCached: 1788 kB Active: 1149820 kB Inactive: 122172 kB Active(anon): 1092384 kB Inactive(anon): 1700 kB Active(file): 57436 kB Inactive(file): 120472 kB Unevictable: 7556 kB Mlocked: 7556 kB SwapTotal: 67108856 kB SwapFree: 67098632 kB Dirty: 17048 kB Writeback: 0 kB AnonPages: 1098364 kB Mapped: 10724 kB Shmem: 0 kB Slab: 569352 kB SReclaimable: 9808 kB SUnreclaim: 559544 kB KernelStack: 2216 kB PageTables: 6544 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1241372 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 38912 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= 71496 MiB End job on node132 at 2016-06-26 14:50:21