| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.51 |
| Name | /DEC-SMALLINT-LIN/lopes/ normalized-47.opb |
| MD5SUM | 17efc5fe25abdce41d8265867254d297 |
| 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 | 10052 |
| Total number of constraints | 226117 |
| Number of constraints which are clauses | 203168 |
| Number of constraints which are cardinality constraints (but not clauses) | 731 |
| Number of constraints which are nor clauses,nor cardinality constraints | 22218 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 231 |
| 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 | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 232 |
| Number of bits of the biggest sum of numbers | 8 |
| 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-07T07:05:31+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-4078867-1465275930.opb"] 0.00/0.01 c use --random-gen="1859422926 2371943927 3332081707 3175668699 3535413355 268864319 4272522590 3144387538 836319544 215150707 1682524878 3636376825 3882528315 2844366578 2531740131 1232674870 3608748008 2560691641 1292590424 3960280912 4035060694 1865193452 2966374349 3655102564 2062932016 2550144368 2018363340 2633865058 1298587022 3604722426 1418990388 176714691 1006135863 3295737196 3395421458 783289900 1230099351 592889883 3540756849 676051258 605803530 2436207980 1560231896 3279544644 4030280163 1320537183 3996199244 4086715592 1824671727 689681872 1832363384 1446002167 2306354041 1727422514 1669943602 1007219489 3257330305 1630996465 2005855516 1943237023 3167316422 3697233013 4045310713 1355459864 376266904 1907014038 459414721 1936319073 310599750 3804294395 1590573756 2693170683 2078127602 2725018028 2253360151 3188561542 3957849367 14250587 4173479862 2348391835 2877657008 2035500706 79044520 3465491178 1473169412 1018707397 4280962892 2335529777 1573897369 1770436424 2877358695 3068385386 118611613 1546332318 1265909314 3508707323 3737113069 193315487 1335138989 4156542844 3482076668 372425050 3567567184 2294264801 3281788242 1582838592 479875529 224575628 2538654079 263189726 1594593884 1852826050 4105146637 490245090 789737115 1824090022 585653091 1613883483 857085476 1738538595 1288896591 3746076128 3820521490 2191694579 2469144189 1213818437 1587668518 4180819666 2400984814 1498255156 2969003913 2420403693 1159146165 1545183815 1404649912 3420553414 1970063212 619694314 2552929291 548579879 3346381442 3347970954 4047115747 1417852844 1452019794 1202389097 1994145848 2185289735 2715009574 987787498 4068007587 423705830 1323415724 1473429489 3455108830 3573324455 3814879015 1890253165 1672383688 1550402963 73216534 1426248791 3802866157 4021031093 3300952361 2689392498 3834579071 4247527931 3666836016 2407161761 3537389638 2360799686 956556373 1119307908 899064339 2003789467 3582318899 2729001529 3674171723 874455918 101742785 1013359126 189952439 1173250900 2990708790 1772944930 3360445461 1116864002 3283440932 2810793245 2114399148 1565217969 2004676421 2272095322 830451911 3270701618 2070347774 211074924 1526689257 2405204194 3882375314 1813462576 2907398649 3402642512 2117072192 3575486789 2432767833 19474404 753194988 4236481079 3480032684 774274951 2783898327 2271730140 335656684 3457492881 2494585755 1814656747 1799755151 2207131836 1602463465 821660547 415507073 223473621 778002961 3955922945 4150930730 1170562469 1518949908 2044625195 2304800805 3336561214 171856216 159008745 3806625905 1788418549 3339074587 1539086150 1378864153 2796074399 2975649182 114162256 4244284284 184338968 3168035989 3542782349 6494149 1385645292 3184171292 2316596674 45860652 3110361614 3537154750 898809826 3177661967 2456097030 255 362436" option to reproduce the execution 1.79/1.82 c #vars 10052 1.79/1.82 c #constraints 226117 5.70/5.78 c Solving starts ... 5.70/5.78 c ============================[ Search Statistics ]============================ 5.70/5.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.70/5.78 c | | | | Limit GC | Var | Constra 5.70/5.78 c ============================================================================= 5.70/5.78 c 0.0s | 0 | 0 | 0 | 77785 0 | 100 | 0 5.89/5.98 c 0.2s | 1 | 153 | 100 | 77785 0 | 100 | 1056 6.99/7.06 c 1.3s | 2 | 8657 | 250 | 85564 0 | 100 | 1056 7.90/8.00 c 2.2s | 3 | 19148 | 475 | 94121 0 | 100 | 1056 9.49/9.56 c 3.8s | 4 | 36260 | 813 | 103534 0 | 101 | 1068 10.49/10.55 c 4.8s | 5 | 45699 | 1320 | 113888 0 | 101 | 1068 11.49/11.57 c 5.8s | 6 | 74795 | 2081 | 137805 0 | 101 | 1068 13.09/13.13 c 7.4s | 7 | 84240 | 3223 | 151586 0 | 102 | 1080 14.09/14.11 c 8.3s | 8 | 107981 | 4936 | 166745 0 | 102 | 1080 16.09/16.14 c 10.4s | 8 | 111276 | 7336 | 166745 0 | 102 | 1080 16.29/16.35 c 10.6s | 9 | 111470 | 7506 | 183420 0 | 102 | 1080 18.29/18.36 c 12.6s | 9 | 116613 | 10206 | 183420 0 | 102 | 1080 20.00/20.02 c 14.2s | 10 | 117902 | 11361 | 201763 0 | 102 | 1080 21.99/22.07 c 16.3s | 10 | 127874 | 13861 | 201763 0 | 103 | 1092 23.99/24.08 c 18.3s | 10 | 132549 | 15461 | 201763 0 | 104 | 1104 25.99/26.09 c 20.3s | 10 | 135567 | 16961 | 201763 0 | 104 | 1104 26.39/26.41 c 20.6s | 11 | 135930 | 17144 | 221940 0 | 104 | 1104 28.89/28.90 c 23.1s | 11 | 160517 | 18444 | 221940 0 | 105 | 1116 30.99/31.01 c 25.2s | 11 | 174595 | 20744 | 221940 0 | 105 | 1116 32.99/33.07 c 27.3s | 11 | 184400 | 23244 | 221940 0 | 105 | 1116 34.99/35.08 c 29.3s | 11 | 199674 | 24944 | 221940 0 | 105 | 1116 36.39/36.48 c 30.7s | 12 | 204053 | 25819 | 244135 0 | 105 | 1116 38.49/38.52 c 32.7s | 12 | 205472 | 26919 | 244135 0 | 105 | 1116 40.69/40.80 c 35.0s | 12 | 208768 | 28219 | 244135 0 | 105 | 1116 42.79/42.87 c 37.1s | 12 | 210380 | 29319 | 244135 0 | 105 | 1116 44.89/44.95 c 39.2s | 12 | 212348 | 30319 | 244135 0 | 105 | 1116 46.88/46.95 c 41.2s | 12 | 219626 | 31219 | 244135 0 | 105 | 1116 48.88/48.97 c 43.2s | 12 | 224940 | 32319 | 244135 0 | 105 | 1116 50.98/51.01 c 45.2s | 12 | 229633 | 33319 | 244135 0 | 105 | 1116 53.08/53.11 c 47.3s | 12 | 241561 | 34719 | 244135 0 | 105 | 1116 55.09/55.18 c 49.4s | 12 | 262286 | 36819 | 244135 0 | 105 | 1116 57.08/57.18 c 51.4s | 12 | 277554 | 38719 | 268549 0 | 105 | 1116 57.18/57.28 c 51.5s | 13 | 277704 | 38832 | 268549 0 | 105 | 1116 59.28/59.33 c 53.5s | 13 | 283097 | 39632 | 268549 0 | 105 | 1116 61.28/61.39 c 55.6s | 13 | 290868 | 40832 | 268549 0 | 105 | 1116 63.38/63.46 c 57.7s | 13 | 293946 | 41932 | 268549 0 | 105 | 1116 65.58/65.68 c 59.9s | 13 | 295046 | 42932 | 268549 0 | 105 | 1116 67.88/67.98 c 62.2s | 13 | 295829 | 43632 | 268549 0 | 105 | 1116 70.08/70.19 c 64.4s | 13 | 297056 | 44732 | 268549 0 | 105 | 1116 72.18/72.25 c 66.5s | 13 | 298146 | 45732 | 268549 0 | 105 | 1116 74.28/74.37 c 68.6s | 13 | 299344 | 46832 | 268549 0 | 105 | 1116 76.58/76.63 c 70.8s | 13 | 300233 | 47632 | 268549 0 | 105 | 1116 78.68/78.76 c 73.0s | 13 | 301017 | 48332 | 268549 0 | 105 | 1116 80.88/80.98 c 75.2s | 13 | 301756 | 48932 | 268549 0 | 105 | 1116 83.18/83.22 c 77.4s | 13 | 303270 | 49532 | 268549 0 | 105 | 1116 85.28/85.31 c 79.5s | 13 | 305560 | 50232 | 268549 0 | 105 | 1116 87.48/87.55 c 81.8s | 13 | 308221 | 50832 | 268549 0 | 105 | 1116 89.58/89.64 c 83.9s | 13 | 310656 | 51532 | 268549 0 | 105 | 1116 91.58/91.66 c 85.9s | 13 | 312603 | 52232 | 268549 0 | 105 | 1116 93.88/93.99 c 88.2s | 13 | 313698 | 52832 | 268549 0 | 105 | 1116 96.28/96.32 c 90.5s | 13 | 314764 | 53532 | 268549 0 | 105 | 1116 98.28/98.39 c 92.6s | 13 | 315715 | 54132 | 268549 0 | 105 | 1116 100.48/100.52 c 94.7s | 13 | 316766 | 54832 | 268549 0 | 105 | 1116 102.58/102.69 c 96.9s | 13 | 317799 | 55532 | 268549 0 | 105 | 1116 104.68/104.75 c 99.0s | 13 | 318801 | 56232 | 268549 0 | 105 | 1116 106.78/106.86 c 101s | 13 | 319607 | 56832 | 268549 0 | 105 | 1116 108.87/108.95 c 103s | 13 | 320280 | 57332 | 268549 0 | 105 | 1116 110.97/111.08 c 105s | 13 | 321107 | 57932 | 268549 0 | 105 | 1116 112.38/112.40 c 106s | 14 | 321744 | 58352 | 295404 0 | 105 | 1116 114.37/114.44 c 108s | 14 | 336965 | 60052 | 295404 0 | 105 | 1116 116.78/116.81 c 111s | 14 | 338176 | 60652 | 295404 0 | 107 | 1140 119.07/119.10 c 113s | 14 | 338845 | 61252 | 295404 0 | 107 | 1140 121.08/121.12 c 115s | 14 | 339603 | 61952 | 295404 0 | 107 | 1140 123.07/123.16 c 117s | 14 | 340280 | 62552 | 295404 0 | 107 | 1140 125.17/125.26 c 119s | 14 | 340952 | 63152 | 295404 0 | 107 | 1140 127.57/127.60 c 121s | 14 | 341719 | 63852 | 295404 0 | 107 | 1140 129.57/129.61 c 123s | 14 | 342369 | 64452 | 295404 0 | 107 | 1140 131.77/131.83 c 126s | 14 | 343137 | 65152 | 295404 0 | 107 | 1140 133.97/134.01 c 128s | 14 | 343799 | 65752 | 295404 0 | 107 | 1140 135.97/136.03 c 130s | 14 | 344436 | 66352 | 295404 0 | 107 | 1140 138.17/138.26 c 132s | 14 | 345210 | 67052 | 295404 0 | 107 | 1140 140.27/140.31 c 134s | 14 | 345861 | 67652 | 295404 0 | 107 | 1140 142.47/142.55 c 136s | 14 | 346676 | 68352 | 295404 0 | 107 | 1140 144.77/144.87 c 139s | 14 | 347392 | 68952 | 295404 0 | 107 | 1140 146.87/146.99 c 141s | 14 | 348053 | 69552 | 295404 0 | 107 | 1140 149.47/149.52 c 143s | 14 | 348721 | 70152 | 295404 0 | 107 | 1140 151.67/151.73 c 145s | 14 | 349254 | 70652 | 295404 0 | 107 | 1140 153.97/154.00 c 148s | 14 | 349950 | 71252 | 295404 0 | 107 | 1140 156.37/156.43 c 150s | 14 | 350494 | 71752 | 295404 0 | 107 | 1140 158.67/158.76 c 152s | 14 | 351146 | 72352 | 295404 0 | 107 | 1140 160.77/160.86 c 155s | 14 | 351812 | 72952 | 295404 0 | 107 | 1140 163.17/163.22 c 157s | 14 | 352477 | 73552 | 295404 0 | 107 | 1140 165.36/165.46 c 159s | 14 | 353129 | 74152 | 295404 0 | 107 | 1140 167.56/167.68 c 161s | 14 | 353796 | 74752 | 295404 0 | 107 | 1140 169.66/169.77 c 163s | 14 | 362048 | 75952 | 295404 0 | 107 | 1140 171.67/171.77 c 165s | 14 | 364163 | 76552 | 295404 0 | 107 | 1140 173.97/174.00 c 168s | 14 | 365267 | 77252 | 295404 0 | 107 | 1140 176.07/176.12 c 170s | 14 | 367251 | 78052 | 295404 0 | 107 | 1140 178.27/178.32 c 172s | 14 | 373296 | 79652 | 295404 0 | 107 | 1140 180.57/180.61 c 174s | 14 | 374177 | 80052 | 295404 0 | 107 | 1140 182.67/182.78 c 177s | 14 | 374645 | 80452 | 295404 0 | 107 | 1140 184.76/184.83 c 179s | 14 | 375163 | 80852 | 295404 0 | 107 | 1140 186.86/186.91 c 181s | 14 | 392233 | 82152 | 295404 0 | 107 | 1140 188.86/188.93 c 183s | 14 | 394538 | 82952 | 295404 0 | 107 | 1140 190.86/190.94 c 185s | 14 | 395022 | 83352 | 295404 0 | 107 | 1140 193.06/193.12 c 187s | 14 | 395553 | 83852 | 295404 0 | 107 | 1140 195.06/195.18 c 189s | 14 | 396100 | 84352 | 295404 0 | 107 | 1140 197.36/197.46 c 191s | 14 | 396804 | 84952 | 295404 0 | 107 | 1140 199.56/199.61 c 193s | 14 | 397560 | 85452 | 295404 0 | 107 | 1140 201.56/201.64 c 195s | 14 | 398165 | 85952 | 295404 0 | 107 | 1140 203.86/203.98 c 198s | 14 | 398758 | 86452 | 295404 0 | 107 | 1140 206.16/206.20 c 200s | 14 | 399510 | 87052 | 324945 0 | 107 | 1140 208.56/208.60 c 202s | 14 | 400175 | 87552 | 324945 0 | 107 | 1140 208.96/209.05 c 203s | 15 | 400254 | 87632 | 324945 0 | 107 | 1140 210.96/211.07 c 205s | 15 | 406820 | 88732 | 324945 0 | 107 | 1140 213.46/213.53 c 207s | 15 | 433777 | 89732 | 324945 0 | 108 | 1152 215.56/215.62 c 209s | 15 | 436537 | 90132 | 324945 0 | 109 | 1164 217.65/217.77 c 211s | 15 | 438420 | 90732 | 324945 0 | 110 | 1176 219.85/219.91 c 214s | 15 | 458941 | 92132 | 324945 0 | 110 | 1176 221.95/222.07 c 216s | 15 | 464258 | 93932 | 324945 0 | 110 | 1176 224.05/224.15 c 218s | 15 | 467030 | 95032 | 324945 0 | 110 | 1176 226.25/226.34 c 220s | 15 | 470071 | 95932 | 324945 0 | 110 | 1176 228.35/228.48 c 222s | 15 | 471908 | 96632 | 324945 0 | 110 | 1176 230.85/230.97 c 225s | 15 | 477996 | 97232 | 324945 0 | 110 | 1176 232.95/233.02 c 227s | 15 | 487524 | 98532 | 324945 0 | 110 | 1176 235.05/235.15 c 229s | 15 | 491823 | 99232 | 324945 0 | 110 | 1176 237.15/237.20 c 231s | 15 | 494521 | 99932 | 324945 0 | 110 | 1176 239.15/239.20 c 233s | 15 | 509990 | 100732 | 324945 0 | 110 | 1176 241.25/241.35 c 235s | 15 | 526394 | 101432 | 324945 0 | 110 | 1176 243.65/243.74 c 237s | 15 | 536580 | 102132 | 324945 0 | 110 | 1176 245.85/245.91 c 240s | 15 | 548890 | 102632 | 324945 0 | 110 | 1176 248.05/248.16 c 242s | 15 | 551464 | 103132 | 324945 0 | 110 | 1176 250.35/250.45 c 244s | 15 | 554179 | 103632 | 324945 0 | 110 | 1176 252.65/252.74 c 246s | 15 | 564900 | 104332 | 324945 0 | 110 | 1176 254.75/254.88 c 249s | 15 | 567213 | 105532 | 324945 0 | 110 | 1176 256.95/257.02 c 251s | 15 | 568390 | 106232 | 324945 0 | 110 | 1176 259.35/259.45 c 253s | 15 | 576803 | 106832 | 324945 0 | 110 | 1176 261.65/261.78 c 255s | 15 | 579372 | 107332 | 324945 0 | 110 | 1176 263.85/263.97 c 258s | 15 | 582280 | 107832 | 324945 0 | 110 | 1176 266.15/266.23 c 260s | 15 | 584785 | 108232 | 324945 0 | 110 | 1176 268.45/268.59 c 262s | 15 | 586731 | 108632 | 324945 0 | 110 | 1176 270.85/270.90 c 265s | 15 | 591110 | 109132 | 324945 0 | 110 | 1176 273.25/273.36 c 267s | 15 | 597419 | 109832 | 324945 0 | 110 | 1176 275.65/275.78 c 270s | 15 | 598293 | 110232 | 324945 0 | 110 | 1176 278.25/278.32 c 272s | 15 | 599586 | 110632 | 324945 0 | 110 | 1176 280.45/280.54 c 274s | 15 | 600239 | 111032 | 324945 0 | 110 | 1176 282.65/282.71 c 276s | 15 | 603334 | 111432 | 324945 0 | 110 | 1176 284.74/284.86 c 279s | 15 | 610721 | 112032 | 324945 0 | 110 | 1176 287.15/287.28 c 281s | 15 | 612083 | 112532 | 324945 0 | 110 | 1176 289.64/289.74 c 283s | 15 | 614635 | 113132 | 324945 0 | 110 | 1176 291.84/291.96 c 286s | 15 | 617155 | 113632 | 324945 0 | 110 | 1176 294.34/294.44 c 288s | 15 | 619147 | 114132 | 324945 0 | 110 | 1176 296.44/296.56 c 290s | 15 | 625759 | 114732 | 324945 0 | 110 | 1176 298.74/298.82 c 293s | 15 | 632375 | 115532 | 324945 0 | 110 | 1176 301.45/301.51 c 295s | 15 | 641004 | 116032 | 324945 0 | 110 | 1176 303.54/303.64 c 297s | 15 | 653877 | 116632 | 324945 0 | 110 | 1176 305.74/305.86 c 300s | 15 | 655373 | 117132 | 324945 0 | 110 | 1176 307.84/307.91 c 302s | 15 | 659092 | 117632 | 324945 0 | 110 | 1176 310.04/310.14 c 304s | 15 | 660650 | 118132 | 324945 0 | 110 | 1176 312.14/312.20 c 306s | 15 | 664165 | 118832 | 324945 0 | 110 | 1176 314.24/314.33 c 308s | 15 | 666357 | 119432 | 324945 0 | 110 | 1176 316.34/316.45 c 310s | 15 | 668078 | 120032 | 324945 0 | 110 | 1176 318.64/318.71 c 312s | 15 | 669125 | 120532 | 324945 0 | 110 | 1176 320.84/320.96 c 315s | 15 | 670177 | 121032 | 324945 0 | 110 | 1176 323.04/323.13 c 317s | 15 | 670826 | 121432 | 324945 0 | 110 | 1176 325.14/325.25 c 319s | 15 | 675574 | 121932 | 324945 0 | 110 | 1176 327.44/327.55 c 321s | 15 | 676563 | 122332 | 324945 0 | 110 | 1176 329.54/329.68 c 323s | 15 | 678198 | 122932 | 324945 0 | 110 | 1176 331.54/331.69 c 325s | 15 | 680094 | 123432 | 324945 0 | 110 | 1176 333.74/333.85 c 328s | 15 | 684280 | 124232 | 324945 0 | 110 | 1176 335.94/336.00 c 330s | 15 | 686577 | 124832 | 324945 0 | 110 | 1176 337.94/338.07 c 332s | 15 | 689914 | 125432 | 324945 0 | 110 | 1176 340.64/340.72 c 334s | 15 | 690848 | 125932 | 324945 0 | 110 | 1176 342.63/342.77 c 336s | 15 | 692636 | 126232 | 324945 0 | 110 | 1176 345.03/345.15 c 339s | 15 | 693721 | 126632 | 324945 0 | 110 | 1176 347.03/347.17 c 341s | 15 | 695593 | 127132 | 324945 0 | 110 | 1176 349.33/349.47 c 343s | 15 | 698741 | 127832 | 324945 0 | 110 | 1176 351.83/351.95 c 346s | 15 | 700551 | 128332 | 324945 0 | 110 | 1176 354.13/354.23 c 348s | 15 | 702750 | 128732 | 324945 0 | 110 | 1176 356.33/356.48 c 350s | 15 | 704545 | 129232 | 324945 0 | 110 | 1176 358.93/359.00 c 353s | 15 | 705754 | 129732 | 324945 0 | 110 | 1176 360.94/361.07 c 355s | 15 | 706382 | 130132 | 324945 0 | 110 | 1176 363.04/363.13 c 357s | 15 | 708215 | 130632 | 324945 0 | 110 | 1176 365.03/365.14 c 359s | 15 | 709808 | 131132 | 357440 0 | 110 | 1176 367.44/367.55 c 361s | 15 | 710813 | 131532 | 357440 0 | 110 | 1176 367.63/367.70 c 361s | 16 | 710838 | 131552 | 357440 0 | 110 | 1176 369.74/369.88 c 364s | 16 | 711818 | 131952 | 357440 0 | 110 | 1176 372.03/372.12 c 366s | 16 | 715440 | 133552 | 357440 0 | 110 | 1176 374.04/374.16 c 368s | 16 | 717310 | 134352 | 357440 0 | 110 | 1176 376.34/376.48 c 370s | 16 | 718552 | 134952 | 357440 0 | 111 | 1188 378.73/378.86 c 373s | 16 | 719089 | 135452 | 357440 0 | 111 | 1188 380.83/380.92 c 375s | 16 | 719633 | 135952 | 357440 0 | 111 | 1188 382.83/382.93 c 377s | 16 | 721871 | 136752 | 357440 0 | 111 | 1188 384.83/384.97 c 379s | 16 | 727024 | 137952 | 357440 0 | 111 | 1188 387.03/387.12 c 381s | 16 | 731226 | 139152 | 357440 0 | 111 | 1188 389.33/389.40 c 383s | 16 | 734186 | 140252 | 357440 0 | 111 | 1188 391.33/391.43 c 385s | 16 | 736372 | 141152 | 357440 0 | 111 | 1188 393.63/393.75 c 387s | 16 | 736951 | 141652 | 357440 0 | 111 | 1188 395.83/395.99 c 390s | 16 | 737479 | 142152 | 357440 0 | 111 | 1188 398.03/398.12 c 392s | 16 | 737937 | 142552 | 357440 0 | 111 | 1188 400.23/400.36 c 394s | 16 | 741363 | 143552 | 357440 0 | 111 | 1188 402.63/402.72 c 396s | 16 | 746901 | 144252 | 357440 0 | 111 | 1188 404.72/404.89 c 399s | 16 | 748114 | 144852 | 357440 0 | 111 | 1188 406.82/406.99 c 401s | 16 | 748883 | 145352 | 357440 0 | 111 | 1188 409.12/409.20 c 403s | 16 | 750484 | 146152 | 357440 0 | 111 | 1188 411.12/411.24 c 405s | 16 | 752265 | 146852 | 357440 0 | 111 | 1188 413.32/413.40 c 407s | 16 | 754187 | 147552 | 357440 0 | 111 | 1188 415.33/415.41 c 409s | 16 | 755143 | 148152 | 357440 0 | 111 | 1188 417.43/417.52 c 411s | 16 | 757370 | 148852 | 357440 0 | 111 | 1188 419.43/419.54 c 413s | 16 | 758670 | 149452 | 357440 0 | 111 | 1188 421.63/421.73 c 415s | 16 | 759673 | 150052 | 357440 0 | 111 | 1188 423.83/423.92 c 418s | 16 | 761604 | 150752 | 357440 0 | 111 | 1188 426.03/426.11 c 420s | 16 | 762759 | 151452 | 357440 0 | 111 | 1188 428.23/428.38 c 422s | 16 | 764374 | 152252 | 357440 0 | 111 | 1188 430.33/430.45 c 424s | 16 | 765592 | 152852 | 357440 0 | 111 | 1188 432.73/432.84 c 427s | 16 | 766720 | 153552 | 357440 0 | 111 | 1188 435.03/435.18 c 429s | 16 | 768416 | 154352 | 357440 0 | 111 | 1188 437.23/437.32 c 431s | 16 | 769503 | 154952 | 357440 0 | 111 | 1188 439.23/439.38 c 433s | 16 | 771117 | 155652 | 357440 0 | 111 | 1188 441.23/441.39 c 435s | 16 | 771932 | 156252 | 357440 0 | 111 | 1188 443.43/443.56 c 437s | 16 | 773865 | 156952 | 357440 0 | 111 | 1188 445.63/445.74 c 439s | 16 | 775615 | 157752 | 357440 0 | 111 | 1188 448.03/448.12 c 442s | 16 | 776977 | 158552 | 357440 0 | 111 | 1188 450.23/450.35 c 444s | 16 | 777965 | 159252 | 357440 0 | 111 | 1188 452.53/452.67 c 446s | 16 | 779380 | 159952 | 357440 0 | 111 | 1188 454.73/454.88 c 449s | 16 | 780451 | 160552 | 357440 0 | 111 | 1188 456.93/457.02 c 451s | 16 | 781684 | 161152 | 357440 0 | 111 | 1188 459.13/459.28 c 453s | 16 | 783239 | 161852 | 357440 0 | 111 | 1188 461.32/461.43 c 455s | 16 | 784218 | 162452 | 357440 0 | 111 | 1188 463.42/463.51 c 457s | 16 | 784864 | 162952 | 357440 0 | 111 | 1188 465.72/465.83 c 460s | 16 | 785771 | 163552 | 357440 0 | 111 | 1188 467.82/467.96 c 462s | 16 | 786371 | 164052 | 357440 0 | 111 | 1188 470.02/470.15 c 464s | 16 | 787214 | 164652 | 357440 0 | 111 | 1188 472.03/472.17 c 466s | 16 | 787728 | 165052 | 357440 0 | 111 | 1188 474.23/474.39 c 468s | 16 | 788374 | 165552 | 357440 0 | 111 | 1188 476.43/476.59 c 470s | 16 | 802487 | 165852 | 357440 0 | 111 | 1188 478.72/478.89 c 473s | 16 | 802834 | 166152 | 357440 0 | 111 | 1188 481.12/481.28 c 475s | 16 | 803302 | 166552 | 357440 0 | 111 | 1188 483.32/483.47 c 477s | 16 | 803738 | 166952 | 357440 0 | 111 | 1188 485.42/485.55 c 479s | 16 | 804204 | 167352 | 357440 0 | 111 | 1188 487.62/487.76 c 481s | 16 | 804675 | 167752 | 357440 0 | 111 | 1188 489.92/490.06 c 484s | 16 | 805167 | 168152 | 357440 0 | 111 | 1188 492.22/492.36 c 486s | 16 | 805691 | 168552 | 357440 0 | 111 | 1188 494.52/494.61 c 488s | 16 | 811579 | 169052 | 357440 0 | 111 | 1188 496.72/496.81 c 491s | 16 | 815580 | 169452 | 357440 0 | 111 | 1188 499.22/499.32 c 493s | 16 | 816003 | 169852 | 357440 0 | 111 | 1188 501.42/501.59 c 495s | 16 | 816449 | 170252 | 357440 0 | 111 | 1188 503.82/503.95 c 498s | 16 | 816867 | 170652 | 357440 0 | 111 | 1188 506.12/506.23 c 500s | 16 | 817307 | 171052 | 357440 0 | 111 | 1188 508.32/508.45 c 502s | 16 | 821303 | 171652 | 357440 0 | 111 | 1188 510.52/510.62 c 504s | 16 | 825339 | 172352 | 357440 0 | 111 | 1188 512.52/512.65 c 506s | 16 | 831239 | 173152 | 357440 0 | 111 | 1188 514.82/514.98 c 509s | 16 | 833464 | 173852 | 357440 0 | 111 | 1188 516.91/517.04 c 511s | 16 | 837099 | 174652 | 357440 0 | 111 | 1188 519.01/519.13 c 513s | 16 | 844500 | 175452 | 357440 0 | 111 | 1188 521.11/521.20 c 515s | 16 | 847550 | 176252 | 357440 0 | 111 | 1188 523.51/523.61 c 517s | 16 | 848649 | 176952 | 357440 0 | 111 | 1188 525.71/525.83 c 520s | 16 | 849655 | 177452 | 357440 0 | 111 | 1188 527.91/528.08 c 522s | 16 | 851346 | 178152 | 357440 0 | 111 | 1188 530.01/530.16 c 524s | 16 | 852404 | 178752 | 357440 0 | 111 | 1188 532.11/532.20 c 526s | 16 | 853610 | 179352 | 357440 0 | 111 | 1188 534.11/534.21 c 528s | 16 | 854343 | 179852 | 357440 0 | 111 | 1188 536.31/536.49 c 530s | 16 | 854951 | 180352 | 357440 0 | 111 | 1188 538.41/538.50 c 532s | 16 | 856710 | 180852 | 357440 0 | 111 | 1188 540.71/540.86 c 535s | 16 | 857680 | 181452 | 357440 0 | 111 | 1188 543.01/543.11 c 537s | 16 | 859094 | 182052 | 357440 0 | 111 | 1188 545.11/545.26 c 539s | 16 | 859955 | 182552 | 357440 0 | 111 | 1188 547.41/547.55 c 541s | 16 | 860615 | 183052 | 357440 0 | 111 | 1188 549.81/549.99 c 544s | 16 | 861260 | 183552 | 357440 0 | 111 | 1188 552.01/552.16 c 546s | 16 | 861923 | 184052 | 357440 0 | 111 | 1188 554.11/554.20 c 548s | 16 | 862452 | 184452 | 357440 0 | 111 | 1188 556.11/556.24 c 550s | 16 | 862920 | 184852 | 357440 0 | 111 | 1188 558.41/558.50 c 552s | 16 | 863700 | 185452 | 357440 0 | 111 | 1188 560.71/560.89 c 555s | 16 | 864441 | 185952 | 357440 0 | 111 | 1188 563.11/563.29 c 557s | 16 | 865145 | 186452 | 357440 0 | 111 | 1188 565.31/565.47 c 559s | 16 | 866029 | 186952 | 357440 0 | 111 | 1188 567.71/567.87 c 562s | 16 | 866726 | 187452 | 357440 0 | 111 | 1188 569.91/570.03 c 564s | 16 | 867653 | 187952 | 357440 0 | 111 | 1188 572.01/572.16 c 566s | 16 | 868133 | 188352 | 357440 0 | 111 | 1188 574.50/574.64 c 568s | 16 | 868950 | 188952 | 357440 0 | 111 | 1188 576.80/576.93 c 571s | 16 | 869585 | 189452 | 357440 0 | 111 | 1188 578.80/578.99 c 573s | 16 | 870324 | 189952 | 357440 0 | 111 | 1188 581.00/581.11 c 575s | 16 | 871373 | 190652 | 357440 0 | 111 | 1188 583.11/583.28 c 577s | 16 | 872184 | 191252 | 357440 0 | 111 | 1188 585.50/585.60 c 579s | 16 | 873617 | 191852 | 357440 0 | 111 | 1188 587.60/587.71 c 581s | 16 | 875542 | 192352 | 357440 0 | 111 | 1188 589.61/589.75 c 583s | 16 | 875999 | 192752 | 357440 0 | 111 | 1188 591.91/592.05 c 586s | 16 | 876608 | 193252 | 357440 0 | 111 | 1188 594.30/594.44 c 588s | 16 | 877347 | 193752 | 357440 0 | 111 | 1188 596.50/596.62 c 590s | 16 | 877827 | 194152 | 357440 0 | 111 | 1188 598.70/598.81 c 593s | 16 | 878278 | 194552 | 357440 0 | 111 | 1188 601.00/601.10 c 595s | 16 | 878767 | 194952 | 357440 0 | 111 | 1188 603.10/603.22 c 597s | 16 | 879313 | 195352 | 357440 0 | 111 | 1188 605.20/605.35 c 599s | 16 | 879833 | 195752 | 357440 0 | 111 | 1188 607.40/607.55 c 601s | 16 | 880408 | 196152 | 393185 0 | 111 | 1188 609.41/609.56 c 603s | 16 | 880889 | 196552 | 393185 0 | 111 | 1188 611.80/611.91 c 606s | 16 | 883105 | 197052 | 393185 0 | 111 | 1188 613.30/613.40 c 607s | 17 | 883963 | 197432 | 393185 0 | 111 | 1188 615.70/615.84 c 610s | 17 | 885453 | 197632 | 393185 0 | 111 | 1188 617.90/618.00 c 612s | 17 | 896198 | 198232 | 393185 0 | 111 | 1188 620.70/620.81 c 615s | 17 | 898261 | 199232 | 393185 0 | 111 | 1188 623.50/623.68 c 617s | 17 | 898697 | 199432 | 393185 0 | 112 | 1200 626.90/627.03 c 621s | 17 | 899599 | 199632 | 393185 0 | 114 | 1224 629.60/629.78 c 623s | 17 | 899914 | 199832 | 393185 0 | 115 | 1236 632.30/632.48 c 626s | 17 | 900284 | 200132 | 393185 0 | 115 | 1236 634.30/634.49 c 628s | 17 | 900547 | 200332 | 393185 0 | 115 | 1236 636.60/636.76 c 630s | 17 | 900815 | 200532 | 393185 0 | 115 | 1236 638.69/638.85 c 633s | 17 | 901084 | 200732 | 393185 0 | 115 | 1236 641.09/641.26 c 635s | 17 | 901987 | 201032 | 393185 0 | 115 | 1236 643.60/643.72 c 637s | 17 | 905866 | 201432 | 393185 0 | 115 | 1236 645.59/645.78 c 639s | 17 | 906456 | 201732 | 393185 0 | 115 | 1236 648.09/648.26 c 642s | 17 | 906909 | 202032 | 393185 0 | 115 | 1236 650.79/650.97 c 645s | 17 | 907335 | 202332 | 393185 0 | 115 | 1236 653.29/653.43 c 647s | 17 | 907838 | 202632 | 393185 0 | 115 | 1236 655.79/655.99 c 650s | 17 | 908637 | 203032 | 393185 0 | 115 | 1236 658.39/658.51 c 652s | 17 | 909432 | 203432 | 393185 0 | 115 | 1236 660.59/660.77 c 654s | 17 | 909895 | 203732 | 393185 0 | 115 | 1236 662.69/662.83 c 657s | 17 | 910508 | 204032 | 393185 0 | 115 | 1236 664.89/665.01 c 659s | 17 | 911710 | 204432 | 393185 0 | 115 | 1236 667.09/667.25 c 661s | 17 | 912452 | 204832 | 393185 0 | 115 | 1236 669.49/669.68 c 663s | 17 | 913622 | 205232 | 393185 0 | 115 | 1236 671.89/672.08 c 666s | 17 | 915788 | 205732 | 393185 0 | 115 | 1236 674.19/674.30 c 668s | 17 | 917237 | 206132 | 393185 0 | 115 | 1236 676.79/676.98 c 671s | 17 | 918289 | 206532 | 393185 0 | 115 | 1236 679.09/679.21 c 673s | 17 | 918730 | 206832 | 393185 0 | 115 | 1236 681.29/681.43 c 675s | 17 | 919183 | 207132 | 393185 0 | 115 | 1236 683.79/683.97 c 678s | 17 | 919837 | 207532 | 393185 0 | 115 | 1236 686.19/686.38 c 680s | 17 | 920229 | 207832 | 393185 0 | 115 | 1236 688.39/688.57 c 682s | 17 | 920562 | 208132 | 393185 0 | 115 | 1236 690.59/690.70 c 684s | 17 | 920934 | 208432 | 393185 0 | 115 | 1236 692.69/692.81 c 687s | 17 | 921260 | 208732 | 393185 0 | 115 | 1236 695.09/695.28 c 689s | 17 | 921666 | 209032 | 393185 0 | 115 | 1236 697.59/697.78 c 691s | 17 | 922102 | 209332 | 393185 0 | 115 | 1236 699.78/699.94 c 694s | 17 | 922489 | 209632 | 393185 0 | 115 | 1236 702.08/702.21 c 696s | 17 | 922970 | 210032 | 393185 0 | 115 | 1236 704.38/704.58 c 698s | 17 | 923447 | 210432 | 393185 0 | 115 | 1236 706.88/707.06 c 701s | 17 | 924066 | 210932 | 393185 0 | 115 | 1236 709.49/709.65 c 703s | 17 | 924563 | 211332 | 393185 0 | 115 | 1236 712.18/712.37 c 706s | 17 | 925020 | 211732 | 393185 0 | 115 | 1236 714.58/714.79 c 709s | 17 | 925414 | 212032 | 393185 0 | 115 | 1236 716.88/717.04 c 711s | 17 | 925820 | 212332 | 393185 0 | 115 | 1236 719.49/719.63 c 713s | 17 | 926187 | 212632 | 393185 0 | 115 | 1236 721.88/722.00 c 716s | 17 | 926520 | 212932 | 393185 0 | 115 | 1236 723.89/724.07 c 718s | 17 | 926829 | 213232 | 393185 0 | 115 | 1236 726.09/726.29 c 720s | 17 | 927443 | 213532 | 393185 0 | 115 | 1236 728.48/728.65 c 722s | 17 | 927937 | 213932 | 393185 0 | 115 | 1236 730.68/730.86 c 725s | 17 | 928266 | 214232 | 393185 0 | 115 | 1236 733.18/733.35 c 727s | 17 | 928625 | 214532 | 393185 0 | 115 | 1236 735.38/735.57 c 729s | 17 | 929140 | 214832 | 393185 0 | 115 | 1236 737.88/738.09 c 732s | 17 | 929558 | 215132 | 393185 0 | 115 | 1236 740.08/740.22 c 734s | 17 | 929897 | 215432 | 393185 0 | 115 | 1236 742.68/742.89 c 737s | 17 | 930360 | 215832 | 393185 0 | 115 | 1236 744.88/745.01 c 739s | 17 | 931015 | 216132 | 393185 0 | 115 | 1236 747.08/747.29 c 741s | 17 | 931368 | 216432 | 393185 0 | 115 | 1236 749.78/749.96 c 744s | 17 | 931693 | 216732 | 393185 0 | 115 | 1236 751.88/752.06 c 746s | 17 | 932487 | 217032 | 393185 0 | 115 | 1236 754.28/754.44 c 748s | 17 | 932847 | 217332 | 393185 0 | 115 | 1236 756.38/756.54 c 750s | 17 | 933084 | 217532 | 393185 0 | 115 | 1236 759.18/759.33 c 753s | 17 | 933448 | 217832 | 393185 0 | 115 | 1236 761.38/761.58 c 755s | 17 | 933706 | 218032 | 393185 0 | 115 | 1236 763.48/763.68 c 757s | 17 | 933940 | 218232 | 393185 0 | 115 | 1236 765.58/765.79 c 760s | 17 | 934165 | 218432 | 393185 0 | 115 | 1236 767.97/768.12 c 762s | 17 | 934379 | 218632 | 393185 0 | 115 | 1236 770.17/770.32 c 764s | 17 | 934595 | 218832 | 393185 0 | 115 | 1236 773.17/773.30 c 767s | 17 | 934950 | 219132 | 393185 0 | 115 | 1236 775.97/776.10 c 770s | 17 | 935257 | 219432 | 393185 0 | 115 | 1236 778.47/778.69 c 772s | 17 | 935590 | 219732 | 393185 0 | 115 | 1236 780.98/781.11 c 775s | 17 | 936092 | 220032 | 393185 0 | 115 | 1236 783.47/783.68 c 777s | 17 | 936411 | 220332 | 393185 0 | 115 | 1236 785.67/785.85 c 780s | 17 | 936735 | 220632 | 393185 0 | 115 | 1236 788.47/788.61 c 782s | 17 | 937156 | 221032 | 393185 0 | 115 | 1236 791.07/791.27 c 785s | 17 | 937470 | 221332 | 393185 0 | 115 | 1236 793.18/793.37 c 787s | 17 | 937791 | 221632 | 393185 0 | 115 | 1236 795.87/796.06 c 790s | 17 | 938097 | 221932 | 393185 0 | 115 | 1236 798.27/798.49 c 792s | 17 | 938412 | 222232 | 393185 0 | 115 | 1236 800.67/800.84 c 795s | 17 | 938751 | 222532 | 393185 0 | 115 | 1236 802.77/802.91 c 797s | 17 | 938973 | 222732 | 393185 0 | 115 | 1236 805.57/805.77 c 799s | 17 | 939317 | 223032 | 393185 0 | 115 | 1236 808.37/808.56 c 802s | 17 | 939631 | 223332 | 393185 0 | 115 | 1236 811.17/811.31 c 805s | 17 | 939968 | 223632 | 393185 0 | 115 | 1236 814.07/814.22 c 808s | 17 | 940289 | 223932 | 393185 0 | 115 | 1236 816.36/816.53 c 810s | 17 | 940606 | 224232 | 393185 0 | 115 | 1236 818.76/818.98 c 813s | 17 | 940928 | 224532 | 393185 0 | 115 | 1236 821.36/821.52 c 815s | 17 | 941246 | 224832 | 393185 0 | 115 | 1236 823.56/823.75 c 817s | 17 | 941625 | 225132 | 393185 0 | 115 | 1236 826.07/826.21 c 820s | 17 | 942114 | 225532 | 393185 0 | 115 | 1236 828.06/828.25 c 822s | 17 | 942439 | 225832 | 393185 0 | 115 | 1236 830.06/830.26 c 824s | 17 | 942763 | 226132 | 393185 0 | 115 | 1236 832.67/832.88 c 827s | 17 | 943092 | 226432 | 393185 0 | 115 | 1236 834.76/834.95 c 829s | 17 | 943423 | 226732 | 393185 0 | 115 | 1236 836.96/837.11 c 831s | 17 | 943737 | 227032 | 393185 0 | 115 | 1236 839.06/839.25 c 833s | 17 | 944053 | 227332 | 393185 0 | 115 | 1236 841.86/842.05 c 836s | 17 | 944479 | 227732 | 393185 0 | 115 | 1236 844.06/844.27 c 838s | 17 | 944805 | 228032 | 393185 0 | 115 | 1236 846.26/846.41 c 840s | 17 | 945122 | 228332 | 393185 0 | 115 | 1236 848.86/849.02 c 843s | 17 | 945457 | 228632 | 393185 0 | 115 | 1236 851.16/851.31 c 845s | 17 | 945792 | 228932 | 393185 0 | 115 | 1236 853.26/853.47 c 847s | 17 | 946116 | 229232 | 393185 0 | 115 | 1236 855.56/855.70 c 849s | 17 | 946443 | 229532 | 393185 0 | 115 | 1236 857.66/857.80 c 852s | 17 | 946791 | 229832 | 393185 0 | 115 | 1236 860.16/860.31 c 854s | 17 | 947113 | 230132 | 393185 0 | 115 | 1236 862.46/862.67 c 856s | 17 | 947441 | 230432 | 393185 0 | 115 | 1236 864.66/864.87 c 859s | 17 | 947760 | 230732 | 393185 0 | 115 | 1236 866.96/867.11 c 861s | 17 | 948078 | 231032 | 393185 0 | 115 | 1236 869.25/869.49 c 863s | 17 | 948398 | 231332 | 393185 0 | 115 | 1236 871.35/871.53 c 865s | 17 | 948731 | 231632 | 393185 0 | 115 | 1236 874.25/874.41 c 868s | 17 | 949042 | 231932 | 393185 0 | 115 | 1236 876.85/877.05 c 871s | 17 | 949359 | 232232 | 393185 0 | 115 | 1236 879.35/879.50 c 873s | 17 | 949667 | 232532 | 393185 0 | 115 | 1236 881.45/881.70 c 875s | 17 | 949981 | 232832 | 393185 0 | 115 | 1236 883.65/883.85 c 878s | 17 | 950198 | 233032 | 393185 0 | 115 | 1236 886.25/886.50 c 880s | 17 | 950530 | 233332 | 393185 0 | 115 | 1236 888.76/888.91 c 883s | 17 | 950859 | 233632 | 393185 0 | 115 | 1236 891.45/891.63 c 885s | 17 | 951176 | 233932 | 393185 0 | 115 | 1236 893.55/893.74 c 887s | 17 | 951391 | 234132 | 393185 0 | 115 | 1236 896.35/896.53 c 890s | 17 | 951732 | 234432 | 393185 0 | 115 | 1236 899.05/899.22 c 893s | 17 | 952059 | 234732 | 393185 0 | 115 | 1236 901.55/901.74 c 895s | 17 | 952370 | 235032 | 393185 0 | 115 | 1236 903.85/904.02 c 898s | 17 | 952590 | 235232 | 393185 0 | 115 | 1236 905.95/906.18 c 900s | 17 | 952895 | 235532 | 393185 0 | 115 | 1236 908.05/908.21 c 902s | 17 | 953237 | 235832 | 393185 0 | 115 | 1236 910.15/910.31 c 904s | 17 | 953444 | 236032 | 393185 0 | 115 | 1236 912.45/912.70 c 906s | 17 | 953770 | 236332 | 393185 0 | 115 | 1236 914.95/915.12 c 909s | 17 | 954073 | 236632 | 393185 0 | 115 | 1236 917.25/917.49 c 911s | 17 | 954400 | 236932 | 393185 0 | 115 | 1236 919.35/919.55 c 913s | 17 | 954717 | 237232 | 393185 0 | 115 | 1236 921.45/921.63 c 915s | 17 | 955039 | 237532 | 393185 0 | 115 | 1236 923.55/923.76 c 917s | 17 | 955355 | 237832 | 393185 0 | 115 | 1236 925.65/925.90 c 920s | 17 | 955676 | 238132 | 393185 0 | 115 | 1236 927.85/928.01 c 922s | 17 | 963379 | 238432 | 393185 0 | 115 | 1236 930.84/931.08 c 925s | 17 | 967630 | 239032 | 393185 0 | 115 | 1236 933.14/933.33 c 927s | 17 | 968438 | 239232 | 393185 0 | 115 | 1236 935.24/935.41 c 929s | 17 | 974221 | 240032 | 393185 0 | 115 | 1236 937.64/937.86 c 932s | 17 | 976390 | 240532 | 393185 0 | 115 | 1236 940.34/940.56 c 934s | 17 | 977214 | 240932 | 393185 0 | 115 | 1236 942.44/942.61 c 936s | 17 | 977779 | 241132 | 393185 0 | 115 | 1236 945.24/945.45 c 939s | 17 | 978522 | 241432 | 393185 0 | 115 | 1236 947.34/947.58 c 941s | 17 | 979308 | 241732 | 393185 0 | 115 | 1236 949.94/950.14 c 944s | 17 | 980067 | 242032 | 393185 0 | 115 | 1236 952.34/952.50 c 946s | 17 | 982139 | 242432 | 393185 0 | 115 | 1236 954.34/954.58 c 948s | 17 | 982516 | 242632 | 393185 0 | 115 | 1236 957.05/957.23 c 951s | 17 | 982804 | 242832 | 393185 0 | 115 | 1236 959.44/959.63 c 953s | 17 | 983071 | 243032 | 393185 0 | 115 | 1236 961.64/961.82 c 956s | 17 | 983335 | 243232 | 393185 0 | 115 | 1236 963.84/964.08 c 958s | 17 | 983553 | 243432 | 393185 0 | 115 | 1236 966.24/966.48 c 960s | 17 | 984402 | 243732 | 393185 0 | 115 | 1236 968.75/968.99 c 963s | 17 | 985049 | 244032 | 393185 0 | 115 | 1236 971.14/971.39 c 965s | 17 | 986302 | 244432 | 393185 0 | 115 | 1236 974.04/974.21 c 968s | 17 | 986753 | 244732 | 393185 0 | 115 | 1236 976.85/977.02 c 971s | 17 | 987186 | 245032 | 393185 0 | 115 | 1236 979.64/979.80 c 974s | 17 | 987450 | 245232 | 393185 0 | 115 | 1236 981.74/981.97 c 976s | 17 | 987704 | 245432 | 393185 0 | 115 | 1236 984.14/984.31 c 978s | 17 | 987952 | 245632 | 393185 0 | 115 | 1236 986.14/986.39 c 980s | 17 | 988239 | 245832 | 393185 0 | 115 | 1236 989.34/989.54 c 983s | 17 | 988704 | 246132 | 393185 0 | 115 | 1236 991.63/991.84 c 986s | 17 | 988957 | 246332 | 393185 0 | 115 | 1236 994.53/994.73 c 988s | 17 | 989168 | 246532 | 393185 0 | 115 | 1236 997.23/997.47 c 991s | 17 | 989393 | 246732 | 393185 0 | 115 | 1236 1000.33/1000.53 c 994s | 17 | 989617 | 246932 | 393185 0 | 115 | 1236 1002.63/1002.81 c 997s | 17 | 990035 | 247132 | 393185 0 | 115 | 1236 1005.44/1005.61 c 999s | 17 | 990523 | 247432 | 393185 0 | 115 | 1236 1007.43/1007.69 c 1001s | 17 | 990958 | 247632 | 393185 0 | 115 | 1236 1009.73/1009.96 c 1004s | 17 | 991304 | 247832 | 393185 0 | 115 | 1236 1012.22/1012.42 c 1006s | 17 | 991528 | 248032 | 393185 0 | 115 | 1236 1014.32/1014.59 c 1008s | 17 | 992281 | 248232 | 393185 0 | 115 | 1236 1016.72/1016.96 c 1011s | 17 | 992618 | 248432 | 393185 0 | 115 | 1236 1018.72/1018.97 c 1013s | 17 | 992823 | 248632 | 393185 0 | 115 | 1236 1021.02/1021.26 c 1015s | 17 | 1012872 | 249132 | 393185 0 | 115 | 1236 1023.22/1023.43 c 1017s | 17 | 1016034 | 249432 | 393185 0 | 115 | 1236 1025.82/1026.03 c 1020s | 17 | 1027017 | 249932 | 393185 0 | 115 | 1236 1027.82/1028.06 c 1022s | 17 | 1036932 | 250432 | 393185 0 | 115 | 1236 1030.02/1030.22 c 1024s | 17 | 1039981 | 250932 | 393185 0 | 115 | 1236 1032.62/1032.80 c 1027s | 17 | 1044273 | 251332 | 393185 0 | 115 | 1236 1034.81/1035.04 c 1029s | 17 | 1046335 | 251532 | 393185 0 | 115 | 1236 1036.81/1037.09 c 1031s | 17 | 1055565 | 252032 | 393185 0 | 115 | 1236 1039.31/1039.52 c 1033s | 17 | 1059896 | 252532 | 393185 0 | 115 | 1236 1041.41/1041.64 c 1035s | 17 | 1060142 | 252732 | 393185 0 | 115 | 1236 1043.51/1043.76 c 1037s | 17 | 1061636 | 253032 | 393185 0 | 115 | 1236 1046.21/1046.45 c 1040s | 17 | 1064084 | 253432 | 393185 0 | 115 | 1236 1049.01/1049.25 c 1043s | 17 | 1064487 | 253732 | 393185 0 | 115 | 1236 1051.51/1051.73 c 1045s | 17 | 1064856 | 254032 | 393185 0 | 115 | 1236 1053.81/1054.05 c 1048s | 17 | 1066244 | 254332 | 393185 0 | 115 | 1236 1055.91/1056.11 c 1050s | 17 | 1066618 | 254632 | 393185 0 | 115 | 1236 1057.90/1058.12 c 1052s | 17 | 1068815 | 255032 | 393185 0 | 115 | 1236 1060.00/1060.22 c 1054s | 17 | 1071166 | 255532 | 393185 0 | 115 | 1236 1062.10/1062.32 c 1056s | 17 | 1081137 | 256232 | 393185 0 | 115 | 1236 1064.60/1064.88 c 1059s | 17 | 1086278 | 256832 | 393185 0 | 115 | 1236 1066.80/1067.05 c 1061s | 17 | 1090142 | 257332 | 393185 0 | 115 | 1236 1068.90/1069.17 c 1063s | 17 | 1094871 | 257732 | 393185 0 | 115 | 1236 1071.60/1071.90 c 1066s | 17 | 1100776 | 258232 | 393185 0 | 115 | 1236 1074.19/1074.44 c 1068s | 17 | 1101301 | 258532 | 393185 0 | 115 | 1236 1076.59/1076.85 c 1071s | 17 | 1101791 | 258832 | 393185 0 | 115 | 1236 1078.89/1079.18 c 1073s | 17 | 1102438 | 259132 | 393185 0 | 115 | 1236 1081.29/1081.57 c 1075s | 17 | 1103636 | 259432 | 393185 0 | 115 | 1236 1083.59/1083.85 c 1078s | 17 | 1104219 | 259732 | 393185 0 | 115 | 1236 1086.39/1086.64 c 1080s | 17 | 1104669 | 260032 | 393185 0 | 115 | 1236 1088.69/1088.94 c 1083s | 17 | 1105049 | 260332 | 393185 0 | 115 | 1236 1090.88/1091.19 c 1085s | 17 | 1105800 | 260632 | 393185 0 | 115 | 1236 1093.08/1093.30 c 1087s | 17 | 1112426 | 261032 | 393185 0 | 115 | 1236 1095.18/1095.42 c 1089s | 17 | 1120720 | 261432 | 393185 0 | 115 | 1236 1097.48/1097.76 c 1091s | 17 | 1124238 | 261832 | 393185 0 | 115 | 1236 1100.18/1100.44 c 1094s | 17 | 1124710 | 262132 | 393185 0 | 115 | 1236 1102.48/1102.70 c 1096s | 17 | 1124996 | 262332 | 393185 0 | 115 | 1236 1104.58/1104.86 c 1099s | 17 | 1126563 | 262732 | 393185 0 | 115 | 1236 1106.88/1107.12 c 1101s | 17 | 1126944 | 263032 | 393185 0 | 115 | 1236 1109.18/1109.49 c 1103s | 17 | 1127398 | 263332 | 393185 0 | 115 | 1236 1111.98/1112.25 c 1106s | 17 | 1130359 | 263832 | 393185 0 | 115 | 1236 1114.47/1114.77 c 1108s | 17 | 1132373 | 264332 | 393185 0 | 115 | 1236 1116.57/1116.87 c 1111s | 17 | 1133698 | 264632 | 393185 0 | 115 | 1236 1118.97/1119.24 c 1113s | 17 | 1134299 | 264932 | 393185 0 | 115 | 1236 1121.07/1121.35 c 1115s | 17 | 1134674 | 265232 | 393185 0 | 115 | 1236 1123.77/1124.05 c 1118s | 17 | 1135149 | 265632 | 393185 0 | 115 | 1236 1126.47/1126.73 c 1120s | 17 | 1135531 | 265932 | 393185 0 | 115 | 1236 1129.27/1129.57 c 1123s | 17 | 1135955 | 266232 | 393185 0 | 115 | 1236 1132.26/1132.57 c 1126s | 17 | 1136274 | 266532 | 393185 0 | 115 | 1236 1135.17/1135.44 c 1129s | 17 | 1137956 | 266932 | 393185 0 | 115 | 1236 1137.16/1137.48 c 1131s | 17 | 1139490 | 267232 | 393185 0 | 115 | 1236 1139.26/1139.58 c 1133s | 17 | 1139955 | 267532 | 393185 0 | 115 | 1236 1141.66/1141.95 c 1136s | 17 | 1140574 | 267832 | 393185 0 | 115 | 1236 1144.05/1144.37 c 1138s | 17 | 1141249 | 268132 | 393185 0 | 115 | 1236 1146.75/1147.04 c 1141s | 17 | 1141763 | 268432 | 393185 0 | 115 | 1236 1148.85/1149.17 c 1143s | 17 | 1142031 | 268632 | 393185 0 | 115 | 1236 1152.05/1152.39 c 1146s | 17 | 1142369 | 268932 | 393185 0 | 115 | 1236 1154.75/1155.09 c 1149s | 17 | 1142733 | 269232 | 393185 0 | 115 | 1236 1157.05/1157.37 c 1151s | 17 | 1142952 | 269432 | 393185 0 | 115 | 1236 1159.45/1159.77 c 1153s | 17 | 1143767 | 269732 | 393185 0 | 115 | 1236 1161.94/1162.20 c 1156s | 17 | 1144237 | 270032 | 393185 0 | 115 | 1236 1163.94/1164.20 c 1158s | 17 | 1160375 | 270732 | 393185 0 | 115 | 1236 1166.14/1166.43 c 1160s | 17 | 1167990 | 271232 | 393185 0 | 115 | 1236 1168.15/1168.48 c 1162s | 17 | 1169159 | 271532 | 393185 0 | 115 | 1236 1170.35/1170.68 c 1164s | 17 | 1169536 | 271832 | 393185 0 | 115 | 1236 1173.04/1173.31 c 1167s | 17 | 1170691 | 272132 | 393185 0 | 115 | 1236 1175.04/1175.37 c 1169s | 17 | 1173397 | 272432 | 393185 0 | 115 | 1236 1177.44/1177.74 c 1171s | 17 | 1176652 | 272832 | 393185 0 | 115 | 1236 1180.25/1180.52 c 1174s | 17 | 1177618 | 273232 | 393185 0 | 115 | 1236 1182.54/1182.88 c 1177s | 17 | 1181529 | 273732 | 393185 0 | 115 | 1236 1184.73/1185.00 c 1179s | 17 | 1182699 | 274032 | 393185 0 | 115 | 1236 1186.93/1187.24 c 1181s | 17 | 1183402 | 274332 | 393185 0 | 115 | 1236 1189.53/1189.89 c 1184s | 17 | 1184365 | 274732 | 393185 0 | 115 | 1236 1191.73/1192.00 c 1186s | 17 | 1185608 | 275032 | 393185 0 | 115 | 1236 1193.83/1194.14 c 1188s | 17 | 1187237 | 275332 | 393185 0 | 115 | 1236 1196.64/1196.91 c 1191s | 17 | 1188494 | 275732 | 393185 0 | 115 | 1236 1199.43/1199.76 c 1193s | 17 | 1189233 | 276032 | 393185 0 | 115 | 1236 1201.53/1201.89 c 1196s | 17 | 1189519 | 276232 | 393185 0 | 115 | 1236 1204.43/1204.73 c 1198s | 17 | 1189914 | 276532 | 393185 0 | 115 | 1236 1207.23/1207.58 c 1201s | 17 | 1190274 | 276832 | 393185 0 | 115 | 1236 1209.63/1209.94 c 1204s | 17 | 1191948 | 277132 | 393185 0 | 115 | 1236 1211.72/1212.01 c 1206s | 17 | 1193801 | 277432 | 393185 0 | 115 | 1236 1213.82/1214.19 c 1208s | 17 | 1201693 | 278032 | 393185 0 | 115 | 1236 1216.02/1216.30 c 1210s | 17 | 1204577 | 278332 | 393185 0 | 115 | 1236 1218.12/1218.41 c 1212s | 17 | 1206664 | 278632 | 393185 0 | 115 | 1236 1220.12/1220.48 c 1214s | 17 | 1206948 | 278832 | 393185 0 | 115 | 1236 1222.72/1223.03 c 1217s | 17 | 1208235 | 279132 | 393185 0 | 115 | 1236 1225.72/1226.01 c 1220s | 17 | 1208805 | 279432 | 393185 0 | 115 | 1236 1228.32/1228.60 c 1222s | 17 | 1209470 | 279732 | 393185 0 | 115 | 1236 1230.91/1231.20 c 1225s | 17 | 1210174 | 280032 | 393185 0 | 115 | 1236 1233.41/1233.78 c 1228s | 17 | 1210808 | 280332 | 393185 0 | 115 | 1236 1235.81/1236.15 c 1230s | 17 | 1217580 | 280932 | 393185 0 | 115 | 1236 1237.91/1238.26 c 1232s | 17 | 1221237 | 281332 | 393185 0 | 115 | 1236 1240.21/1240.54 c 1234s | 17 | 1224636 | 281732 | 393185 0 | 115 | 1236 1242.21/1242.57 c 1236s | 17 | 1227559 | 282132 | 393185 0 | 115 | 1236 1244.41/1244.76 c 1238s | 17 | 1236327 | 282632 | 393185 0 | 115 | 1236 1246.91/1247.23 c 1241s | 17 | 1240191 | 283032 | 393185 0 | 115 | 1236 1249.31/1249.61 c 1243s | 17 | 1244192 | 283532 | 393185 0 | 115 | 1236 1251.31/1251.62 c 1245s | 17 | 1256543 | 284232 | 393185 0 | 115 | 1236 1253.71/1254.00 c 1248s | 17 | 1264348 | 285232 | 393185 0 | 115 | 1236 1256.11/1256.43 c 1250s | 17 | 1267437 | 285632 | 393185 0 | 115 | 1236 1258.10/1258.45 c 1252s | 17 | 1268230 | 285932 | 393185 0 | 115 | 1236 1260.30/1260.62 c 1254s | 17 | 1271446 | 286232 | 393185 0 | 115 | 1236 1262.50/1262.90 c 1257s | 17 | 1274148 | 286632 | 393185 0 | 115 | 1236 1264.80/1265.15 c 1259s | 17 | 1274763 | 286932 | 393185 0 | 115 | 1236 1267.20/1267.58 c 1261s | 17 | 1275371 | 287232 | 393185 0 | 115 | 1236 1269.40/1269.77 c 1263s | 17 | 1275815 | 287532 | 393185 0 | 115 | 1236 1271.99/1272.37 c 1266s | 17 | 1276994 | 287832 | 393185 0 | 115 | 1236 1274.19/1274.53 c 1268s | 17 | 1279600 | 288332 | 393185 0 | 115 | 1236 1276.29/1276.61 c 1270s | 17 | 1280186 | 288632 | 393185 0 | 115 | 1236 1278.29/1278.63 c 1272s | 17 | 1282790 | 288932 | 393185 0 | 115 | 1236 1280.79/1281.11 c 1275s | 17 | 1291098 | 289232 | 393185 0 | 115 | 1236 1283.29/1283.64 c 1277s | 17 | 1291419 | 289532 | 393185 0 | 115 | 1236 1285.89/1286.26 c 1280s | 17 | 1291762 | 289832 | 393185 0 | 115 | 1236 1287.90/1288.27 c 1282s | 17 | 1291970 | 290032 | 393185 0 | 115 | 1236 1290.29/1290.67 c 1284s | 17 | 1292296 | 290332 | 393185 0 | 115 | 1236 1292.69/1293.04 c 1287s | 17 | 1292622 | 290632 | 393185 0 | 115 | 1236 1295.19/1295.58 c 1289s | 17 | 1292954 | 290932 | 393185 0 | 115 | 1236 1297.48/1297.86 c 1292s | 17 | 1293277 | 291232 | 393185 0 | 115 | 1236 1299.58/1299.98 c 1294s | 17 | 1293592 | 291532 | 393185 0 | 115 | 1236 1301.78/1302.13 c 1296s | 17 | 1294524 | 291832 | 393185 0 | 115 | 1236 1304.28/1304.61 c 1298s | 17 | 1294925 | 292132 | 393185 0 | 115 | 1236 1307.08/1307.46 c 1301s | 17 | 1295293 | 292432 | 393185 0 | 115 | 1236 1309.78/1310.10 c 1304s | 17 | 1295836 | 292732 | 393185 0 | 115 | 1236 1312.08/1312.45 c 1306s | 17 | 1296208 | 293032 | 393185 0 | 115 | 1236 1314.67/1315.02 c 1309s | 17 | 1299125 | 293532 | 393185 0 | 115 | 1236 1316.77/1317.13 c 1311s | 17 | 1300658 | 293932 | 393185 0 | 115 | 1236 1319.67/1320.08 c 1314s | 17 | 1301960 | 294332 | 432504 0 | 115 | 1236 1321.87/1322.25 c 1316s | 17 | 1303880 | 294732 | 432504 0 | 115 | 1236 1323.87/1324.25 c 1318s | 17 | 1307779 | 295232 | 432504 0 | 115 | 1236 1326.77/1327.11 c 1321s | 17 | 1310752 | 295732 | 432504 0 | 115 | 1236 1328.87/1329.25 c 1323s | 17 | 1314967 | 296232 | 432504 0 | 115 | 1236 1328.97/1329.30 c 1323s | 18 | 1315101 | 296252 | 432504 0 | 115 | 1236 1331.56/1331.96 c 1326s | 18 | 1315395 | 296352 | 432504 0 | 115 | 1236 1334.07/1334.44 c 1328s | 18 | 1315607 | 296552 | 432504 0 | 115 | 1236 1337.06/1337.41 c 1331s | 18 | 1315943 | 296852 | 432504 0 | 115 | 1236 1339.46/1339.84 c 1334s | 18 | 1316254 | 297152 | 432504 0 | 115 | 1236 1341.56/1341.91 c 1336s | 18 | 1316572 | 297352 | 432504 0 | 115 | 1236 1343.75/1344.12 c 1338s | 18 | 1316789 | 297552 | 432504 0 | 115 | 1236 1345.75/1346.15 c 1340s | 18 | 1317017 | 297752 | 432504 0 | 115 | 1236 1348.25/1348.60 c 1342s | 18 | 1317234 | 297952 | 432504 0 | 115 | 1236 1350.25/1350.65 c 1344s | 18 | 1321701 | 298752 | 432504 0 | 115 | 1236 1352.86/1353.29 c 1347s | 18 | 1325202 | 299752 | 432504 0 | 115 | 1236 1354.96/1355.32 c 1349s | 18 | 1325841 | 300152 | 432504 0 | 115 | 1236 1357.75/1358.17 c 1352s | 18 | 1326519 | 300552 | 432504 0 | 115 | 1236 1360.45/1360.89 c 1355s | 18 | 1327684 | 301152 | 432504 0 | 115 | 1236 1362.85/1363.29 c 1357s | 18 | 1327966 | 301352 | 432504 0 | 115 | 1236 1365.75/1366.12 c 1360s | 18 | 1328416 | 301652 | 432504 0 | 115 | 1236 1367.85/1368.25 c 1362s | 18 | 1329230 | 301952 | 432504 0 | 115 | 1236 1370.05/1370.47 c 1364s | 18 | 1338855 | 303952 | 432504 0 | 115 | 1236 1372.24/1372.61 c 1366s | 18 | 1349406 | 305252 | 432504 0 | 115 | 1236 1374.24/1374.69 c 1368s | 18 | 1379018 | 306552 | 432504 0 | 115 | 1236 1377.24/1377.66 c 1371s | 18 | 1417280 | 307952 | 432504 0 | 115 | 1236 1379.64/1380.02 c 1374s | 18 | 1429997 | 308452 | 432504 0 | 115 | 1236 1382.04/1382.43 c 1376s | 18 | 1436025 | 308852 | 432504 0 | 115 | 1236 1384.44/1384.80 c 1379s | 18 | 1443471 | 309252 | 432504 0 | 115 | 1236 1386.54/1386.93 c 1381s | 18 | 1444896 | 309552 | 432504 0 | 115 | 1236 1388.94/1389.34 c 1383s | 18 | 1453609 | 309952 | 432504 0 | 115 | 1236 1391.63/1392.04 c 1386s | 18 | 1459281 | 310352 | 432504 0 | 115 | 1236 1394.03/1394.44 c 1388s | 18 | 1462538 | 310652 | 432504 0 | 115 | 1236 1396.33/1396.74 c 1390s | 18 | 1464146 | 310952 | 432504 0 | 115 | 1236 1398.73/1399.18 c 1393s | 18 | 1468110 | 311352 | 432504 0 | 115 | 1236 1400.83/1401.22 c 1395s | 18 | 1469921 | 311652 | 432504 0 | 115 | 1236 1403.53/1403.94 c 1398s | 18 | 1471928 | 311952 | 432504 0 | 115 | 1236 1405.64/1406.04 c 1400s | 18 | 1473734 | 312252 | 432504 0 | 115 | 1236 1408.13/1408.50 c 1402s | 18 | 1475690 | 312552 | 432504 0 | 115 | 1236 1410.93/1411.33 c 1405s | 18 | 1476487 | 312852 | 432504 0 | 115 | 1236 1413.13/1413.52 c 1407s | 18 | 1484601 | 313352 | 432504 0 | 115 | 1236 1415.73/1416.10 c 1410s | 18 | 1486397 | 313752 | 432504 0 | 115 | 1236 1417.73/1418.10 c 1412s | 18 | 1487995 | 314052 | 432504 0 | 115 | 1236 1420.03/1420.45 c 1414s | 18 | 1488878 | 314352 | 432504 0 | 115 | 1236 1422.13/1422.58 c 1416s | 18 | 1489292 | 314552 | 432504 0 | 115 | 1236 1424.82/1425.20 c 1419s | 18 | 1492923 | 314952 | 432504 0 | 115 | 1236 1427.72/1428.14 c 1422s | 18 | 1493522 | 315252 | 432504 0 | 115 | 1236 1430.42/1430.81 c 1425s | 18 | 1496596 | 315552 | 432504 0 | 115 | 1236 1432.62/1433.04 c 1427s | 18 | 1498778 | 315852 | 432504 0 | 115 | 1236 1434.72/1435.11 c 1429s | 18 | 1500185 | 316152 | 432504 0 | 115 | 1236 1436.92/1437.31 c 1431s | 18 | 1501062 | 316452 | 432504 0 | 115 | 1236 1439.52/1439.92 c 1434s | 18 | 1505753 | 316852 | 432504 0 | 115 | 1236 1441.51/1442.00 c 1436s | 18 | 1506254 | 317052 | 432504 0 | 115 | 1236 1444.91/1445.33 c 1439s | 18 | 1507214 | 317352 | 432504 0 | 115 | 1236 1447.42/1447.84 c 1442s | 18 | 1511948 | 317652 | 432504 0 | 115 | 1236 1450.01/1450.47 c 1444s | 18 | 1513131 | 317952 | 432504 0 | 115 | 1236 1452.11/1452.54 c 1446s | 18 | 1515351 | 318252 | 432504 0 | 115 | 1236 1455.01/1455.40 c 1449s | 18 | 1519412 | 318652 | 432504 0 | 115 | 1236 1457.40/1457.87 c 1452s | 18 | 1527179 | 319052 | 432504 0 | 115 | 1236 1459.70/1460.12 c 1454s | 18 | 1531394 | 319352 | 432504 0 | 115 | 1236 1462.20/1462.63 c 1456s | 18 | 1533404 | 319652 | 432504 0 | 115 | 1236 1465.01/1465.49 c 1459s | 18 | 1538781 | 320052 | 432504 0 | 115 | 1236 1467.80/1468.24 c 1462s | 18 | 1540716 | 320452 | 432504 0 | 115 | 1236 1470.30/1470.76 c 1464s | 18 | 1542391 | 320752 | 432504 0 | 115 | 1236 1473.00/1473.45 c 1467s | 18 | 1544108 | 321052 | 432504 0 | 115 | 1236 1475.50/1475.93 c 1470s | 18 | 1545293 | 321352 | 432504 0 | 115 | 1236 1477.80/1478.26 c 1472s | 18 | 1546280 | 321552 | 432504 0 | 115 | 1236 1480.59/1481.08 c 1475s | 18 | 1546940 | 321852 | 432504 0 | 115 | 1236 1482.69/1483.18 c 1477s | 18 | 1547468 | 322052 | 432504 0 | 115 | 1236 1484.89/1485.34 c 1479s | 18 | 1549452 | 322252 | 432504 0 | 115 | 1236 1487.59/1488.04 c 1482s | 18 | 1550129 | 322552 | 432504 0 | 115 | 1236 1490.09/1490.53 c 1484s | 18 | 1550729 | 322852 | 432504 0 | 115 | 1236 1492.58/1493.04 c 1487s | 18 | 1551284 | 323152 | 432504 0 | 115 | 1236 1494.69/1495.19 c 1489s | 18 | 1555644 | 323452 | 432504 0 | 115 | 1236 1496.89/1497.30 c 1491s | 18 | 1556775 | 323652 | 432504 0 | 115 | 1236 1499.88/1500.34 c 1494s | 18 | 1557735 | 323952 | 432504 0 | 115 | 1236 1501.98/1502.43 c 1496s | 18 | 1558320 | 324152 | 432504 0 | 115 | 1236 1503.98/1504.45 c 1498s | 18 | 1558665 | 324352 | 432504 0 | 115 | 1236 1506.48/1506.92 c 1501s | 18 | 1558945 | 324552 | 432504 0 | 115 | 1236 1508.78/1509.29 c 1503s | 18 | 1559179 | 324752 | 432504 0 | 115 | 1236 1511.48/1511.93 c 1506s | 18 | 1559471 | 324952 | 432504 0 | 115 | 1236 1514.28/1514.71 c 1508s | 18 | 1560553 | 325252 | 432504 0 | 115 | 1236 1516.38/1516.80 c 1511s | 18 | 1561039 | 325452 | 432504 0 | 115 | 1236 1518.89/1519.40 c 1513s | 18 | 1561874 | 325652 | 432504 0 | 115 | 1236 1522.08/1522.53 c 1516s | 18 | 1563370 | 325952 | 432504 0 | 115 | 1236 1524.28/1524.73 c 1518s | 18 | 1564224 | 326152 | 432504 0 | 115 | 1236 1526.77/1527.26 c 1521s | 18 | 1565317 | 326452 | 432504 0 | 115 | 1236 1529.07/1529.55 c 1523s | 18 | 1571557 | 326852 | 432504 0 | 115 | 1236 1531.17/1531.63 c 1525s | 18 | 1578355 | 327552 | 432504 0 | 115 | 1236 1533.27/1533.77 c 1527s | 18 | 1581130 | 328452 | 432504 0 | 115 | 1236 1535.38/1535.89 c 1530s | 18 | 1599070 | 329052 | 432504 0 | 115 | 1236 1538.07/1538.52 c 1532s | 18 | 1601044 | 329452 | 432504 0 | 115 | 1236 1540.67/1541.15 c 1535s | 18 | 1606534 | 329852 | 432504 0 | 115 | 1236 1543.27/1543.70 c 1537s | 18 | 1609478 | 330252 | 432504 0 | 115 | 1236 1545.27/1545.72 c 1539s | 18 | 1614273 | 330552 | 432504 0 | 115 | 1236 1547.87/1548.33 c 1542s | 18 | 1620823 | 330952 | 432504 0 | 115 | 1236 1550.27/1550.72 c 1544s | 18 | 1623486 | 331352 | 432504 0 | 115 | 1236 1552.56/1553.01 c 1547s | 18 | 1626767 | 331652 | 432504 0 | 115 | 1236 1554.86/1555.39 c 1549s | 18 | 1628571 | 331952 | 432504 0 | 115 | 1236 1557.37/1557.81 c 1552s | 18 | 1631625 | 332352 | 432504 0 | 115 | 1236 1559.76/1560.22 c 1554s | 18 | 1634470 | 332652 | 432504 0 | 115 | 1236 1562.56/1563.01 c 1557s | 18 | 1635626 | 332952 | 432504 0 | 115 | 1236 1564.97/1565.43 c 1559s | 18 | 1637413 | 333252 | 432504 0 | 115 | 1236 1567.76/1568.26 c 1562s | 18 | 1638560 | 333652 | 432504 0 | 115 | 1236 1570.06/1570.54 c 1564s | 18 | 1640088 | 333952 | 432504 0 | 115 | 1236 1572.46/1572.94 c 1567s | 18 | 1641507 | 334252 | 432504 0 | 115 | 1236 1574.56/1575.06 c 1569s | 18 | 1643670 | 334552 | 432504 0 | 115 | 1236 1577.36/1577.85 c 1572s | 18 | 1644717 | 334852 | 432504 0 | 115 | 1236 1580.06/1580.57 c 1574s | 18 | 1645833 | 335152 | 432504 0 | 115 | 1236 1583.26/1583.71 c 1577s | 18 | 1646186 | 335452 | 432504 0 | 115 | 1236 1585.75/1586.22 c 1580s | 18 | 1646419 | 335652 | 432504 0 | 115 | 1236 1588.06/1588.55 c 1582s | 18 | 1649345 | 335952 | 432504 0 | 115 | 1236 1590.26/1590.75 c 1584s | 18 | 1652592 | 336252 | 432504 0 | 115 | 1236 1592.25/1592.75 c 1586s | 18 | 1660831 | 336652 | 432504 0 | 115 | 1236 1594.66/1595.17 c 1589s | 18 | 1662848 | 336952 | 432504 0 | 115 | 1236 1597.15/1597.67 c 1591s | 18 | 1667565 | 337352 | 432504 0 | 115 | 1236 1599.35/1599.84 c 1594s | 18 | 1672147 | 337752 | 432504 0 | 115 | 1236 1601.55/1602.08 c 1596s | 18 | 1676651 | 338152 | 432504 0 | 115 | 1236 1604.25/1604.71 c 1598s | 18 | 1684795 | 338652 | 432504 0 | 115 | 1236 1606.54/1607.04 c 1601s | 18 | 1687580 | 338952 | 432504 0 | 115 | 1236 1609.14/1609.69 c 1603s | 18 | 1688588 | 339252 | 432504 0 | 115 | 1236 1611.44/1611.95 c 1606s | 18 | 1690089 | 339652 | 432504 0 | 115 | 1236 1613.94/1614.47 c 1608s | 18 | 1692735 | 339952 | 432504 0 | 115 | 1236 1616.54/1617.04 c 1611s | 18 | 1693897 | 340252 | 432504 0 | 115 | 1236 1618.95/1619.42 c 1613s | 18 | 1694899 | 340552 | 432504 0 | 115 | 1236 1621.84/1622.34 c 1616s | 18 | 1697988 | 340852 | 432504 0 | 115 | 1236 1624.64/1625.12 c 1619s | 18 | 1702227 | 341252 | 432504 0 | 115 | 1236 1627.14/1627.64 c 1621s | 18 | 1707940 | 341652 | 432504 0 | 115 | 1236 1629.44/1629.94 c 1624s | 18 | 1711832 | 341952 | 432504 0 | 115 | 1236 1631.64/1632.18 c 1626s | 18 | 1713711 | 342252 | 432504 0 | 115 | 1236 1634.53/1635.00 c 1629s | 18 | 1715649 | 342552 | 432504 0 | 115 | 1236 1636.93/1637.45 c 1631s | 18 | 1719982 | 342952 | 432504 0 | 115 | 1236 1639.03/1639.51 c 1633s | 18 | 1724359 | 343552 | 432504 0 | 115 | 1236 1641.13/1641.68 c 1635s | 18 | 1726663 | 344252 | 432504 0 | 115 | 1236 1643.53/1644.04 c 1638s | 18 | 1735912 | 344652 | 432504 0 | 115 | 1236 1645.53/1646.06 c 1640s | 18 | 1740722 | 345052 | 432504 0 | 115 | 1236 1647.74/1648.22 c 1642s | 18 | 1744388 | 345552 | 432504 0 | 115 | 1236 1650.14/1650.62 c 1644s | 18 | 1746583 | 345952 | 432504 0 | 115 | 1236 1652.54/1653.04 c 1647s | 18 | 1747171 | 346252 | 432504 0 | 115 | 1236 1654.84/1655.38 c 1649s | 18 | 1748211 | 346552 | 432504 0 | 115 | 1236 1657.35/1657.84 c 1652s | 18 | 1750285 | 346952 | 432504 0 | 115 | 1236 1659.34/1659.86 c 1654s | 18 | 1751711 | 347252 | 432504 0 | 115 | 1236 1661.34/1661.87 c 1656s | 18 | 1752517 | 347552 | 432504 0 | 115 | 1236 1663.84/1664.38 c 1658s | 18 | 1755532 | 347952 | 432504 0 | 115 | 1236 1666.34/1666.81 c 1661s | 18 | 1756068 | 348252 | 432504 0 | 115 | 1236 1668.54/1669.03 c 1663s | 18 | 1757418 | 348652 | 432504 0 | 115 | 1236 1670.84/1671.33 c 1665s | 18 | 1758613 | 348952 | 432504 0 | 115 | 1236 1673.43/1673.91 c 1668s | 18 | 1759506 | 349352 | 432504 0 | 115 | 1236 1675.93/1676.42 c 1670s | 18 | 1760578 | 349752 | 432504 0 | 115 | 1236 1678.03/1678.59 c 1672s | 18 | 1761585 | 350052 | 432504 0 | 115 | 1236 1680.33/1680.84 c 1675s | 18 | 1762347 | 350352 | 432504 0 | 115 | 1236 1682.43/1682.90 c 1677s | 18 | 1770755 | 351652 | 432504 0 | 115 | 1236 1684.53/1685.04 c 1679s | 18 | 1773347 | 352752 | 432504 0 | 115 | 1236 1686.93/1687.42 c 1681s | 18 | 1774885 | 353452 | 432504 0 | 115 | 1236 1689.34/1689.84 c 1684s | 18 | 1776795 | 354152 | 432504 0 | 115 | 1236 1691.33/1691.90 c 1686s | 18 | 1780219 | 355252 | 432504 0 | 115 | 1236 1693.53/1694.04 c 1688s | 18 | 1782780 | 356252 | 432504 0 | 115 | 1236 1695.73/1696.25 c 1690s | 18 | 1784277 | 356852 | 432504 0 | 115 | 1236 1698.04/1698.50 c 1692s | 18 | 1784975 | 357352 | 432504 0 | 115 | 1236 1700.43/1700.99 c 1695s | 18 | 1786196 | 358052 | 432504 0 | 115 | 1236 1702.54/1703.04 c 1697s | 18 | 1787700 | 358952 | 432504 0 | 115 | 1236 1704.53/1705.05 c 1699s | 18 | 1789564 | 359852 | 432504 0 | 115 | 1236 1706.53/1707.05 c 1701s | 18 | 1790235 | 360252 | 432504 0 | 115 | 1236 1708.83/1709.34 c 1703s | 18 | 1792085 | 361052 | 432504 0 | 115 | 1236 1711.03/1711.52 c 1705s | 18 | 1793719 | 361752 | 432504 0 | 115 | 1236 1713.33/1713.90 c 1708s | 18 | 1794591 | 362252 | 432504 0 | 115 | 1236 1715.83/1716.35 c 1710s | 18 | 1795363 | 362752 | 432504 0 | 115 | 1236 1718.13/1718.63 c 1712s | 18 | 1796701 | 363352 | 432504 0 | 115 | 1236 1720.33/1720.86 c 1715s | 18 | 1798150 | 364052 | 432504 0 | 115 | 1236 1722.73/1723.29 c 1717s | 18 | 1798911 | 364552 | 432504 0 | 115 | 1236 1724.82/1725.36 c 1719s | 18 | 1799354 | 364852 | 432504 0 | 115 | 1236 1727.12/1727.63 c 1721s | 18 | 1800862 | 365252 | 432504 0 | 115 | 1236 1729.32/1729.87 c 1724s | 18 | 1802574 | 365852 | 432504 0 | 115 | 1236 1731.62/1732.19 c 1726s | 18 | 1803671 | 366352 | 432504 0 | 115 | 1236 1734.22/1734.78 c 1728s | 18 | 1803900 | 366552 | 432504 0 | 115 | 1236 1737.02/1737.57 c 1731s | 18 | 1804478 | 366852 | 432504 0 | 115 | 1236 1739.02/1739.59 c 1733s | 18 | 1805586 | 367252 | 432504 0 | 115 | 1236 1741.62/1742.17 c 1736s | 18 | 1806756 | 367752 | 432504 0 | 115 | 1236 1744.12/1744.65 c 1738s | 18 | 1807151 | 368052 | 432504 0 | 115 | 1236 1746.62/1747.14 c 1741s | 18 | 1807826 | 368452 | 432504 0 | 115 | 1236 1748.62/1749.17 c 1743s | 18 | 1808618 | 368852 | 432504 0 | 115 | 1236 1751.12/1751.69 c 1745s | 18 | 1809733 | 369452 | 432504 0 | 115 | 1236 1753.32/1753.85 c 1748s | 18 | 1810790 | 370052 | 432504 0 | 115 | 1236 1755.92/1756.47 c 1750s | 18 | 1812329 | 370752 | 432504 0 | 115 | 1236 1758.42/1759.00 c 1753s | 18 | 1812793 | 371052 | 432504 0 | 115 | 1236 1760.82/1761.34 c 1755s | 18 | 1813627 | 371452 | 432504 0 | 115 | 1236 1763.12/1763.69 c 1757s | 18 | 1814126 | 371752 | 432504 0 | 115 | 1236 1765.22/1765.72 c 1759s | 18 | 1814391 | 371952 | 432504 0 | 115 | 1236 1767.42/1767.97 c 1762s | 18 | 1814672 | 372152 | 432504 0 | 115 | 1236 1769.72/1770.22 c 1764s | 18 | 1814921 | 372352 | 432504 0 | 115 | 1236 1771.72/1772.26 c 1766s | 18 | 1815240 | 372552 | 432504 0 | 115 | 1236 1774.11/1774.60 c 1768s | 18 | 1815719 | 372852 | 432504 0 | 115 | 1236 1776.51/1777.02 c 1771s | 18 | 1816072 | 373152 | 432504 0 | 115 | 1236 1778.71/1779.26 c 1773s | 18 | 1816920 | 373552 | 432504 0 | 115 | 1236 1780.91/1781.41 c 1775s | 18 | 1817134 | 373752 | 432504 0 | 115 | 1236 1783.11/1783.61 c 1777s | 18 | 1817387 | 373952 | 432504 0 | 115 | 1236 1785.61/1786.19 c 1780s | 18 | 1817740 | 374252 | 432504 0 | 115 | 1236 1787.91/1788.44 c 1782s | 18 | 1817964 | 374452 | 432504 0 | 115 | 1236 1790.01/1790.59 c 1784s | 18 | 1818571 | 374752 | 432504 0 | 115 | 1236 1792.81/1793.38 c 1787s | 18 | 1818919 | 375052 | 432504 0 | 115 | 1236 1795.61/1796.15 c 1790s | 18 | 1819358 | 375352 | 432504 0 | 115 | 1236 1797.81/1798.32 c 1792s | 18 | 1820653 | 375852 | 432504 0 | 115 | 1236
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-4078867-1465275930/watcher-4078867-1465275930 -o /tmp/evaluation-result-4078867-1465275930/solver-4078867-1465275930 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5739 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078867-1465275930.opb pid=9476 running on 4 cores: 0,2,4,6 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.41 2.27 2.20 4/179 9479 /proc/meminfo: memFree=15644976/32872528 swapFree=16384/1696552 [pid=9479] ppid=9476 vsize=707004 CPUtime=0 cores=0,2,4,6 /proc/9479/stat : 9479 (toysat) R 9476 9479 5723 0 -1 4202496 2634 0 0 0 0 0 0 0 20 0 4 0 109526133 723972096 2995 33554432000 4194304 16246674 140735683419360 140735683418784 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9479/statm: 177263 3003 441 2943 0 174157 0 [pid=9479/tid=9480] ppid=9476 vsize=724412 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9480/stat : 9480 (toysat) S 9476 9479 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109526133 741797888 3061 33554432000 4194304 16246674 140735683419360 140255621524720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9479/tid=9481] ppid=9476 vsize=728508 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9481/stat : 9481 (toysat) S 9476 9479 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109526133 745992192 3076 33554432000 4194304 16246674 140735683419360 140255611034864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9479/tid=9482] ppid=9476 vsize=732604 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109526133 750186496 3092 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.10018 s] /proc/loadavg: 2.41 2.27 2.20 4/179 9479 /proc/meminfo: memFree=15644976/32872528 swapFree=16384/1696552 [pid=9479] ppid=9476 vsize=1301060 CPUtime=0.09 cores=0,2,4,6 /proc/9479/stat : 9479 (toysat) R 9476 9479 5723 0 -1 4202496 25521 0 0 0 6 3 0 0 20 0 4 0 109526133 1332285440 25819 33554432000 4194304 16246674 140735683419360 140735683418672 7361726 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9479/statm: 325265 25835 801 2943 0 322159 0 [pid=9479/tid=9480] ppid=9476 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9480/stat : 9480 (toysat) S 9476 9479 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109526133 1332285440 25845 33554432000 4194304 16246674 140735683419360 140255621524720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9479/tid=9481] ppid=9476 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9481/stat : 9481 (toysat) S 9476 9479 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109526133 1332285440 25857 33554432000 4194304 16246674 140735683419360 140255611034864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9479/tid=9482] ppid=9476 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109526133 1332285440 25867 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1301060 [startup+0.20052 s] /proc/loadavg: 2.41 2.27 2.20 4/179 9479 /proc/meminfo: memFree=15644976/32872528 swapFree=16384/1696552 [pid=9479] ppid=9476 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/9479/stat : 9479 (toysat) R 9476 9479 5723 0 -1 4202496 49165 0 0 0 12 7 0 0 20 0 4 0 109526133 1344868352 49974 33554432000 4194304 16246674 140735683419360 140735683418672 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9479/statm: 328337 49980 802 2943 0 325231 0 [pid=9479/tid=9480] ppid=9476 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9480/stat : 9480 (toysat) S 9476 9479 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109526133 1344868352 49985 33554432000 4194304 16246674 140735683419360 140255621524720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9479/tid=9481] ppid=9476 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9481/stat : 9481 (toysat) S 9476 9479 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109526133 1344868352 49990 33554432000 4194304 16246674 140735683419360 140255611034864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9479/tid=9482] ppid=9476 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109526133 1344868352 49994 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300481 s] /proc/loadavg: 2.41 2.27 2.20 4/179 9479 /proc/meminfo: memFree=15644976/32872528 swapFree=16384/1696552 [pid=9479] ppid=9476 vsize=1314372 CPUtime=0.29 cores=0,2,4,6 /proc/9479/stat : 9479 (toysat) R 9476 9479 5723 0 -1 4202496 64304 0 0 0 21 8 0 0 20 0 4 0 109526133 1345916928 65113 33554432000 4194304 16246674 140735683419360 140735683418672 4206568 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9479/statm: 328593 65113 802 2943 0 325487 0 [pid=9479/tid=9480] ppid=9476 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9480/stat : 9480 (toysat) S 9476 9479 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109526133 1345916928 65113 33554432000 4194304 16246674 140735683419360 140255621524720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9479/tid=9481] ppid=9476 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9481/stat : 9481 (toysat) S 9476 9479 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109526133 1345916928 65113 33554432000 4194304 16246674 140735683419360 140255611034864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9479/tid=9482] ppid=9476 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109526133 1345916928 65113 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700418 s] /proc/loadavg: 2.41 2.27 2.20 4/179 9479 /proc/meminfo: memFree=15644976/32872528 swapFree=16384/1696552 [pid=9479] ppid=9476 vsize=1314372 CPUtime=0.69 cores=0,2,4,6 /proc/9479/stat : 9479 (toysat) R 9476 9479 5723 0 -1 4202496 69822 0 0 0 60 9 0 0 20 0 4 0 109526133 1345916928 70631 33554432000 4194304 16246674 140735683419360 140735683417216 7361321 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9479/statm: 328593 70631 802 2943 0 325487 0 [pid=9479/tid=9480] ppid=9476 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9480/stat : 9480 (toysat) S 9476 9479 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109526133 1345916928 70631 33554432000 4194304 16246674 140735683419360 140255621524720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9479/tid=9481] ppid=9476 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9481/stat : 9481 (toysat) S 9476 9479 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109526133 1345916928 70631 33554432000 4194304 16246674 140735683419360 140255611034864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9479/tid=9482] ppid=9476 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109526133 1345916928 70631 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50041 s] /proc/loadavg: 2.41 2.27 2.20 3/183 9483 /proc/meminfo: memFree=15320904/32872528 swapFree=16384/1696552 [pid=9479] ppid=9476 vsize=1314372 CPUtime=1.49 cores=0,2,4,6 /proc/9479/stat : 9479 (toysat) R 9476 9479 5723 0 -1 4202496 83578 0 0 0 138 11 0 0 20 0 4 0 109526133 1345916928 84387 33554432000 4194304 16246674 140735683419360 140735683417280 8055506 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9479/statm: 328593 84387 803 2943 0 325487 0 [pid=9479/tid=9480] ppid=9476 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9480/stat : 9480 (toysat) S 9476 9479 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109526133 1345916928 84387 33554432000 4194304 16246674 140735683419360 140255621524720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9479/tid=9481] ppid=9476 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9481/stat : 9481 (toysat) S 9476 9479 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109526133 1345916928 84387 33554432000 4194304 16246674 140735683419360 140255611034864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9479/tid=9482] ppid=9476 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109526133 1345916928 84387 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.10041 s] /proc/loadavg: 2.41 2.27 2.20 3/183 9483 /proc/meminfo: memFree=15053304/32872528 swapFree=16384/1696552 [pid=9479] ppid=9476 vsize=1349188 CPUtime=3.09 cores=0,2,4,6 /proc/9479/stat : 9479 (toysat) R 9476 9479 5723 0 -1 4202496 277746 0 0 0 266 43 0 0 20 0 4 0 109526133 1381568512 278555 33554432000 4194304 16246674 140735683419360 140735683401280 6953440 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9479/statm: 337297 278555 846 2943 0 334191 0 [pid=9479/tid=9480] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9480/stat : 9480 (toysat) S 9476 9479 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278555 33554432000 4194304 16246674 140735683419360 140255621524720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9479/tid=9481] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9481/stat : 9481 (toysat) S 9476 9479 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278555 33554432000 4194304 16246674 140735683419360 140255611034864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9479/tid=9482] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278555 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1349188 [startup+6.3004 s] /proc/loadavg: 2.37 2.27 2.20 3/183 9483 /proc/meminfo: memFree=14530656/32872528 swapFree=16384/1696552 [pid=9479] ppid=9476 vsize=1349188 CPUtime=6.29 cores=0,2,4,6 /proc/9479/stat : 9479 (toysat) R 9476 9479 5723 0 -1 4202496 277972 0 0 0 586 43 0 0 20 0 4 0 109526133 1381568512 278781 33554432000 4194304 16246674 140735683419360 140735683417152 5976037 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9479/statm: 337297 278781 890 2943 0 334191 0 [pid=9479/tid=9480] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9480/stat : 9480 (toysat) S 9476 9479 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278781 33554432000 4194304 16246674 140735683419360 140255621524720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9479/tid=9481] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9481/stat : 9481 (toysat) S 9476 9479 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278781 33554432000 4194304 16246674 140735683419360 140255611034864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9479/tid=9482] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278781 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1349188 [startup+12.7004 s] /proc/loadavg: 2.34 2.26 2.19 3/183 9483 /proc/meminfo: memFree=14531116/32872528 swapFree=16384/1696552 [pid=9479] ppid=9476 vsize=1349188 CPUtime=12.69 cores=0,2,4,6 /proc/9479/stat : 9479 (toysat) R 9476 9479 5723 0 -1 4202496 277973 0 0 0 1226 43 0 0 20 0 4 0 109526133 1381568512 278782 33554432000 4194304 16246674 140735683419360 140735683401280 5830005 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9479/statm: 337297 278782 890 2943 0 334191 0 [pid=9479/tid=9480] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9480/stat : 9480 (toysat) S 9476 9479 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278782 33554432000 4194304 16246674 140735683419360 140255621524720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9479/tid=9481] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9481/stat : 9481 (toysat) S 9476 9479 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278782 33554432000 4194304 16246674 140735683419360 140255611034864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9479/tid=9482] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278782 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1349188 [startup+25.5072 s] /proc/loadavg: 2.35 2.26 2.20 3/183 9483 /proc/meminfo: memFree=14532180/32872528 swapFree=16384/1696552 [pid=9479] ppid=9476 vsize=1349188 CPUtime=25.5 cores=0,2,4,6 /proc/9479/stat : 9479 (toysat) R 9476 9479 5723 0 -1 4202496 277973 0 0 0 2507 43 0 0 20 0 4 0 109526133 1381568512 278782 33554432000 4194304 16246674 140735683419360 140735683401280 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9479/statm: 337297 278782 890 2943 0 334191 0 [pid=9479/tid=9480] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9480/stat : 9480 (toysat) S 9476 9479 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278782 33554432000 4194304 16246674 140735683419360 140255621524720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9479/tid=9481] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9481/stat : 9481 (toysat) S 9476 9479 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278782 33554432000 4194304 16246674 140735683419360 140255611034864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9479/tid=9482] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278782 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 1349188 [startup+51.1004 s] /proc/loadavg: 2.36 2.27 2.20 3/183 9483 /proc/meminfo: memFree=14532308/32872528 swapFree=16384/1696552 [pid=9479] ppid=9476 vsize=1349188 CPUtime=51.08 cores=0,2,4,6 /proc/9479/stat : 9479 (toysat) R 9476 9479 5723 0 -1 4202496 277975 0 0 0 5065 43 0 0 20 0 4 0 109526133 1381568512 278784 33554432000 4194304 16246674 140735683419360 140735683401280 13759557 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9479/statm: 337297 278784 890 2943 0 334191 0 [pid=9479/tid=9480] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9480/stat : 9480 (toysat) S 9476 9479 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278784 33554432000 4194304 16246674 140735683419360 140255621524720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9479/tid=9481] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9481/stat : 9481 (toysat) S 9476 9479 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278784 33554432000 4194304 16246674 140735683419360 140255611034864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9479/tid=9482] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278784 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1349188 [startup+102.3 s] /proc/loadavg: 2.34 2.28 2.20 3/183 9484 /proc/meminfo: memFree=14531984/32872528 swapFree=16384/1696552 [pid=9479] ppid=9476 vsize=1349188 CPUtime=102.28 cores=0,2,4,6 /proc/9479/stat : 9479 (toysat) R 9476 9479 5723 0 -1 4202496 277979 0 0 0 10185 43 0 0 20 0 4 0 109526133 1381568512 278788 33554432000 4194304 16246674 140735683419360 140735683401280 5677376 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9479/statm: 337297 278788 893 2943 0 334191 0 [pid=9479/tid=9480] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9480/stat : 9480 (toysat) S 9476 9479 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278788 33554432000 4194304 16246674 140735683419360 140255621524720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9479/tid=9481] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9481/stat : 9481 (toysat) S 9476 9479 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278788 33554432000 4194304 16246674 140735683419360 140255611034864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9479/tid=9482] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278788 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1349188 ################ # More data... # ################ /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 1349188 [startup+1302.3 s] /proc/loadavg: 2.18 2.20 2.18 3/183 9564 /proc/meminfo: memFree=27925268/32872528 swapFree=16384/1696552 [pid=9479] ppid=9476 vsize=1349188 CPUtime=1301.98 cores=0,2,4,6 /proc/9479/stat : 9479 (toysat) R 9476 9479 5723 0 -1 4202496 278194 0 0 0 130153 45 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140735683401280 5677662 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9479/statm: 337297 278790 895 2943 0 334191 0 [pid=9479/tid=9480] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9480/stat : 9480 (toysat) S 9476 9479 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255621524720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9479/tid=9481] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9481/stat : 9481 (toysat) S 9476 9479 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255611034864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9479/tid=9482] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1349188 [startup+1362.3 s] /proc/loadavg: 2.27 2.22 2.19 3/183 9565 /proc/meminfo: memFree=27925168/32872528 swapFree=16384/1696552 [pid=9479] ppid=9476 vsize=1349188 CPUtime=1361.95 cores=0,2,4,6 /proc/9479/stat : 9479 (toysat) R 9476 9479 5723 0 -1 4202496 278239 0 0 0 136150 45 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140735683401280 5822488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9479/statm: 337297 278790 895 2943 0 334191 0 [pid=9479/tid=9480] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9480/stat : 9480 (toysat) S 9476 9479 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255621524720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9479/tid=9481] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9481/stat : 9481 (toysat) S 9476 9479 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255611034864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9479/tid=9482] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1349188 [startup+1422.3 s] /proc/loadavg: 2.34 2.24 2.19 3/183 9567 /proc/meminfo: memFree=27924940/32872528 swapFree=16384/1696552 [pid=9479] ppid=9476 vsize=1349188 CPUtime=1421.92 cores=0,2,4,6 /proc/9479/stat : 9479 (toysat) R 9476 9479 5723 0 -1 4202496 278272 0 0 0 142147 45 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140735683401280 5546019 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9479/statm: 337297 278790 895 2943 0 334191 0 [pid=9479/tid=9480] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9480/stat : 9480 (toysat) S 9476 9479 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255621524720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9479/tid=9481] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9481/stat : 9481 (toysat) S 9476 9479 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255611034864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9479/tid=9482] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1349188 [startup+1482.3 s] /proc/loadavg: 2.31 2.26 2.19 3/184 9571 /proc/meminfo: memFree=27925240/32872528 swapFree=16384/1696552 [pid=9479] ppid=9476 vsize=1349188 CPUtime=1481.89 cores=0,2,4,6 /proc/9479/stat : 9479 (toysat) R 9476 9479 5723 0 -1 4202496 278311 0 0 0 148144 45 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140735683401280 5663288 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9479/statm: 337297 278790 895 2943 0 334191 0 [pid=9479/tid=9480] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9480/stat : 9480 (toysat) S 9476 9479 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255621524720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9479/tid=9481] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9481/stat : 9481 (toysat) S 9476 9479 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255611034864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9479/tid=9482] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1349188 [startup+1542.3 s] /proc/loadavg: 2.40 2.28 2.20 3/183 9572 /proc/meminfo: memFree=27925324/32872528 swapFree=16384/1696552 [pid=9479] ppid=9476 vsize=1349188 CPUtime=1541.87 cores=0,2,4,6 /proc/9479/stat : 9479 (toysat) R 9476 9479 5723 0 -1 4202496 278336 0 0 0 154142 45 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140735683401280 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9479/statm: 337297 278790 895 2943 0 334191 0 [pid=9479/tid=9480] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9480/stat : 9480 (toysat) S 9476 9479 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255621524720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9479/tid=9481] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9481/stat : 9481 (toysat) S 9476 9479 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255611034864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9479/tid=9482] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1349188 [startup+1602.3 s] /proc/loadavg: 2.24 2.26 2.20 3/183 9573 /proc/meminfo: memFree=27924924/32872528 swapFree=16384/1696552 [pid=9479] ppid=9476 vsize=1349188 CPUtime=1601.85 cores=0,2,4,6 /proc/9479/stat : 9479 (toysat) R 9476 9479 5723 0 -1 4202496 278364 0 0 0 160140 45 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140735683401280 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9479/statm: 337297 278790 895 2943 0 334191 0 [pid=9479/tid=9480] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9480/stat : 9480 (toysat) S 9476 9479 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255621524720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9479/tid=9481] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9481/stat : 9481 (toysat) S 9476 9479 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255611034864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9479/tid=9482] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1349188 [startup+1662.31 s] /proc/loadavg: 2.19 2.24 2.19 3/183 9574 /proc/meminfo: memFree=27922944/32872528 swapFree=16384/1696552 [pid=9479] ppid=9476 vsize=1349188 CPUtime=1661.84 cores=0,2,4,6 /proc/9479/stat : 9479 (toysat) R 9476 9479 5723 0 -1 4202496 278378 0 0 0 166138 46 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140735683401280 5722531 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9479/statm: 337297 278790 895 2943 0 334191 0 [pid=9479/tid=9480] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9480/stat : 9480 (toysat) S 9476 9479 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255621524720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9479/tid=9481] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9481/stat : 9481 (toysat) S 9476 9479 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255611034864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9479/tid=9482] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1349188 [startup+1722.3 s] /proc/loadavg: 2.18 2.22 2.18 3/183 9576 /proc/meminfo: memFree=27922492/32872528 swapFree=16384/1696552 [pid=9479] ppid=9476 vsize=1349188 CPUtime=1721.83 cores=0,2,4,6 /proc/9479/stat : 9479 (toysat) R 9476 9479 5723 0 -1 4202496 278378 0 0 0 172137 46 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140735683401280 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9479/statm: 337297 278790 895 2943 0 334191 0 [pid=9479/tid=9480] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9480/stat : 9480 (toysat) S 9476 9479 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255621524720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9479/tid=9481] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9481/stat : 9481 (toysat) S 9476 9479 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255611034864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9479/tid=9482] ppid=9476 vsize=1349188 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109526133 1381568512 278790 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1349188 [startup+1782.3 s] /proc/loadavg: 2.12 2.20 2.18 3/183 9577 /proc/meminfo: memFree=27911236/32872528 swapFree=16384/1696552 [pid=9479] ppid=9476 vsize=1360452 CPUtime=1781.81 cores=0,2,4,6 /proc/9479/stat : 9479 (toysat) R 9476 9479 5723 0 -1 4202496 281194 0 0 0 178135 46 0 0 20 0 4 0 109526133 1393102848 281606 33554432000 4194304 16246674 140735683419360 140735683401280 5823709 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9479/statm: 340113 281606 895 2943 0 337007 0 [pid=9479/tid=9480] ppid=9476 vsize=1360452 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9480/stat : 9480 (toysat) S 9476 9479 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109526133 1393102848 281606 33554432000 4194304 16246674 140735683419360 140255621524720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9479/tid=9481] ppid=9476 vsize=1360452 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9481/stat : 9481 (toysat) S 9476 9479 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109526133 1393102848 281606 33554432000 4194304 16246674 140735683419360 140255611034864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9479/tid=9482] ppid=9476 vsize=1360452 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109526133 1393102848 281606 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1360452 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.09 2.18 2.17 3/183 9577 /proc/meminfo: memFree=27911824/32872528 swapFree=16384/1696552 [pid=9479] ppid=9476 vsize=1360452 CPUtime=1800.01 cores=0,2,4,6 /proc/9479/stat : 9479 (toysat) R 9476 9479 5723 0 -1 4202496 281194 0 0 0 179955 46 0 0 20 0 4 0 109526133 1393102848 281606 33554432000 4194304 16246674 140735683419360 140735683401280 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9479/statm: 340113 281606 895 2943 0 337007 0 [pid=9479/tid=9480] ppid=9476 vsize=1360452 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9480/stat : 9480 (toysat) S 9476 9479 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109526133 1393102848 281606 33554432000 4194304 16246674 140735683419360 140255621524720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9479/tid=9481] ppid=9476 vsize=1360452 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9481/stat : 9481 (toysat) S 9476 9479 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109526133 1393102848 281606 33554432000 4194304 16246674 140735683419360 140255611034864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9479/tid=9482] ppid=9476 vsize=1360452 CPUtime=0 cores=0,2,4,6 /proc/9479/task/9482/stat : 9482 (toysat) S 9476 9479 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109526133 1393102848 281606 33554432000 4194304 16246674 140735683419360 140255600561328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1360452 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 9479 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.51 CPU time (s): 1800.03 CPU user time (s): 1799.56 CPU system time (s): 0.467928 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 1360452 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.467928 maximum resident set size= 1126424 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 281194 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= 430 involuntary context switches= 1850 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.71028 second user time and 6.79997 second system time The end
Begin job on node125 at 2016-06-07 07:05:31 IDJOB=4078867 IDBENCH=89714 IDSOLVER=2542 FILE ID=node125/4078867-1465275930 RUNJOBID= node125-1465259688-5739 PBS_JOBID= 19843289 Free space on /tmp= 71420 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-47.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078867-1465275930/watcher-4078867-1465275930 -o /tmp/evaluation-result-4078867-1465275930/solver-4078867-1465275930 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5739 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078867-1465275930.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 17efc5fe25abdce41d8265867254d297 RANDOM SEED=2084951604 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 15645356 kB Buffers: 42108 kB Cached: 370084 kB SwapCached: 1724 kB Active: 14103716 kB Inactive: 644588 kB Active(anon): 13935480 kB Inactive(anon): 402800 kB Active(file): 168236 kB Inactive(file): 241788 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098580 kB Dirty: 25672 kB Writeback: 0 kB AnonPages: 16017788 kB Mapped: 10728 kB Shmem: 0 kB Slab: 617172 kB SReclaimable: 60840 kB SUnreclaim: 556332 kB KernelStack: 1464 kB PageTables: 35092 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 16175828 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2576384 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= 71692 MiB End job on node125 at 2016-06-07 07:35:31