| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | /OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat25_6_3_1_ic.opb |
| MD5SUM | 567c356ea9e6d819b9fda6e569f673c9 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big 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 | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 15725 |
| Total number of constraints | 31332 |
| Number of constraints which are clauses | 14450 |
| Number of constraints which are cardinality constraints (but not clauses) | 7 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16875 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 300 |
| Number of terms in the objective function | 1825 |
| Biggest coefficient in the objective function | 92345408 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 9107465937 |
| Number of bits of the sum of numbers in the objective function | 34 |
| Biggest number in a constraint | 92345408 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 9107465937 |
| Number of bits of the biggest sum of numbers | 34 |
| 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-08T06:05:22+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-4079328-1465358721.opb"] 0.00/0.01 c use --random-gen="3200906319 1479286090 3001697670 232486474 126351706 1445657925 3566351794 1712043625 1187806665 1013442445 3850347125 33700011 4273314465 2498967061 1485420644 4222147135 1580651204 2529105868 915704616 2115254457 1652249799 3931704973 3349871983 433639830 338055733 166751314 889646729 3468715428 2650987702 3645691473 779806637 129186108 2589016637 386095087 595998434 2545452560 1815717332 3493886055 1751043907 3115070277 296175617 1377974430 947498432 1727141736 651928727 264334036 916049356 2758642690 4069281195 667858884 2528052902 3977238574 1628220951 3531621079 1619454060 1196495123 1339937328 2911412342 1987971096 1202131059 4362573 2340468691 661700652 3252593082 1929304185 3770958641 1116176142 818385153 3198215024 2699984632 182528246 2528076254 3257942383 2621128354 1757463161 3528230970 1749173008 3909884421 1514513016 2477415576 2871555086 922692992 2240386622 1389497902 1572581895 2941425146 67355301 2593564964 731101874 1215651167 3855425091 3796385825 4143446211 2322269103 4287110167 3930366443 526955272 727547346 3232737910 2562769206 1876087664 2614106006 2195755028 1865637326 3421433314 1069431490 1218859469 3041644436 306547070 659049070 2795423836 1466809051 594126453 1894420657 164343828 1644449576 2801500551 2067410077 3618479846 3417660099 940588131 3935376679 2193723557 4154876762 3693883253 25656797 3577299841 310689160 622883437 3060902186 169574613 2187408045 1533170020 1234796557 1984438970 1845518609 4224950527 4166774747 1837018393 1168252449 2283981218 954921685 882471231 2606467635 3656598891 3835822957 3419797994 764439701 630431093 1482362750 115474109 3319598813 1065352469 2365910665 1510811199 174650570 2110607862 1629295751 2023964356 1289636620 3828353669 2645913294 116095440 254745781 3261241405 854754806 290921034 4222649057 1697403472 1318209550 4028234853 712414694 3639978765 4069188388 3488626872 3907402957 4016602163 1982524745 717155278 4189250201 3443563111 1851824452 1549744357 3233959542 3576390480 3936288522 1807455190 3008137687 815294545 2994536571 270509667 2123054136 879281378 1786804054 556294312 3924229088 3585872909 2500381069 947941970 3189955357 2471607331 2841984525 942956387 2443465517 1057216445 267706721 3235681630 528170159 1758540469 1927736239 3514564290 1952158214 4189212254 4279538887 3913060502 959142281 204432714 2158574259 2179095841 1562727109 1354633274 978030989 554120496 3744182060 4282261448 2378719508 3691833000 1123834646 2751743865 60475176 2558577307 1515742701 2746282823 544725907 574577744 4257579542 2030553163 3917859745 968208955 2096380876 2255921133 3464174854 2953949503 1258562566 2953230311 4131519182 3102030191 3894838562 3607853553 4022638231 130073009 1635946247 2754472933 3257982952 4015717569 1783063994 255 362436" option to reproduce the execution 0.19/0.29 c #vars 15725 0.19/0.29 c #constraints 31332 0.79/0.82 c BCD2: Hardening is enabled. 0.79/0.82 c BCD2: BiasedSearch is enabled. 0.79/0.82 c Solving starts ... 0.79/0.82 c ============================[ Search Statistics ]============================ 0.79/0.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.82 c | | | | Limit GC | Var | Constra 0.79/0.82 c ============================================================================= 0.79/0.82 c 0.0s | 0 | 0 | 0 | 16286 0 | 75 | 0 1.79/1.85 c 1.0s | 1 | 129 | 100 | 16286 0 | 75 | 0 3.09/3.11 c 2.3s | 2 | 436 | 250 | 17915 0 | 75 | 0 4.50/4.52 c 3.7s | 3 | 796 | 475 | 19707 0 | 75 | 0 6.60/6.69 c 5.9s | 4 | 1310 | 813 | 21678 0 | 75 | 0 7.99/8.03 c 7.2s | 5 | 1904 | 1320 | 23846 0 | 75 | 0 10.09/10.16 c 9.3s | 5 | 3245 | 1720 | 26231 0 | 75 | 0 11.59/11.63 c 10.8s | 6 | 3858 | 2081 | 28855 0 | 75 | 0 13.89/13.98 c 13.2s | 6 | 4804 | 2581 | 28855 0 | 75 | 0 16.29/16.31 c 15.5s | 6 | 5521 | 3181 | 28855 0 | 75 | 0 16.39/16.44 c 15.6s | 7 | 5559 | 3223 | 31741 0 | 75 | 0 18.59/18.67 c 17.9s | 7 | 6232 | 3623 | 31741 0 | 75 | 0 21.00/21.04 c 20.2s | 7 | 6882 | 4123 | 31741 0 | 75 | 0 23.39/23.44 c 22.6s | 7 | 7605 | 4623 | 31741 0 | 75 | 0 24.89/24.96 c 24.1s | 8 | 8098 | 4936 | 34916 0 | 75 | 0 26.99/27.06 c 26.2s | 8 | 9217 | 5436 | 34916 0 | 75 | 0 29.29/29.35 c 28.5s | 8 | 9887 | 6036 | 34916 0 | 75 | 0 31.49/31.53 c 30.7s | 8 | 10522 | 6636 | 34916 0 | 75 | 0 33.68/33.76 c 32.9s | 8 | 11162 | 7236 | 34916 0 | 75 | 0 34.78/34.86 c 34.0s | 9 | 11445 | 7506 | 38408 0 | 75 | 0 37.08/37.18 c 36.4s | 9 | 12503 | 8006 | 38408 0 | 75 | 0 39.48/39.54 c 38.7s | 9 | 13212 | 8506 | 38408 0 | 75 | 0 41.58/41.67 c 40.8s | 9 | 13825 | 9006 | 38408 0 | 75 | 0 43.99/44.04 c 43.2s | 9 | 14346 | 9506 | 38408 0 | 75 | 0 46.19/46.21 c 45.4s | 9 | 15158 | 9906 | 38408 0 | 75 | 0 48.18/48.27 c 47.5s | 9 | 15613 | 10306 | 38408 0 | 75 | 0 50.59/50.62 c 49.8s | 9 | 16200 | 10706 | 38408 0 | 75 | 0 52.68/52.76 c 51.9s | 9 | 16757 | 11106 | 38408 0 | 75 | 0 54.08/54.13 c 53.3s | 10 | 17383 | 11361 | 42249 0 | 75 | 0 56.58/56.69 c 55.9s | 10 | 18079 | 11861 | 42249 0 | 75 | 0 58.98/59.01 c 58.2s | 10 | 18919 | 12261 | 42249 0 | 75 | 0 60.97/61.04 c 60.2s | 10 | 19405 | 12661 | 42249 0 | 75 | 0 63.27/63.31 c 62.5s | 10 | 20149 | 13161 | 42249 0 | 75 | 0 65.27/65.38 c 64.6s | 10 | 20686 | 13561 | 42249 0 | 75 | 0 67.67/67.75 c 66.9s | 10 | 21299 | 14061 | 42249 0 | 75 | 0 70.07/70.16 c 69.3s | 10 | 22105 | 14561 | 42249 0 | 75 | 0 72.47/72.53 c 71.7s | 10 | 22726 | 15161 | 42249 0 | 75 | 0 74.78/74.91 c 74.1s | 10 | 23714 | 15561 | 42249 0 | 75 | 0 77.27/77.30 c 76.5s | 10 | 24250 | 15961 | 42249 0 | 75 | 0 79.37/79.43 c 78.6s | 10 | 25013 | 16361 | 42249 0 | 75 | 0 81.48/81.57 c 80.8s | 10 | 25694 | 16761 | 42249 0 | 75 | 0 83.47/83.60 c 82.8s | 10 | 26248 | 17061 | 46474 0 | 75 | 0 83.97/84.09 c 83.3s | 11 | 26333 | 17144 | 46474 0 | 75 | 0 86.57/86.62 c 85.8s | 11 | 26789 | 17444 | 46474 0 | 75 | 0 88.77/88.83 c 88.0s | 11 | 27337 | 17844 | 46474 0 | 75 | 0 91.17/91.23 c 90.4s | 11 | 28038 | 18244 | 46474 0 | 75 | 0 93.66/93.76 c 92.9s | 11 | 28706 | 18744 | 46474 0 | 75 | 0 96.06/96.19 c 95.4s | 11 | 29108 | 19144 | 46474 0 | 75 | 0 98.56/98.66 c 97.8s | 11 | 29512 | 19544 | 46474 0 | 75 | 0 100.66/100.76 c 99.9s | 11 | 29928 | 19944 | 46474 0 | 75 | 0 102.76/102.83 c 102s | 11 | 30271 | 20244 | 46474 0 | 75 | 0 105.26/105.39 c 104s | 11 | 30829 | 20744 | 46474 0 | 75 | 0 107.56/107.67 c 106s | 11 | 31324 | 21144 | 46474 0 | 75 | 0 109.66/109.71 c 108s | 11 | 31761 | 21544 | 46474 0 | 75 | 0 111.96/112.04 c 111s | 11 | 32271 | 22044 | 46474 0 | 75 | 0 114.16/114.22 c 113s | 11 | 32690 | 22444 | 46474 0 | 75 | 0 116.46/116.60 c 115s | 11 | 33298 | 22944 | 46474 0 | 75 | 0 118.77/118.85 c 118s | 11 | 33818 | 23444 | 46474 0 | 75 | 0 120.97/121.01 c 120s | 11 | 34270 | 23844 | 46474 0 | 75 | 0 123.35/123.45 c 122s | 11 | 35116 | 24444 | 46474 0 | 75 | 0 125.36/125.47 c 124s | 11 | 35554 | 24844 | 46474 0 | 75 | 0 127.66/127.71 c 126s | 11 | 36327 | 25244 | 46474 0 | 75 | 0 129.76/129.81 c 128s | 11 | 36849 | 25744 | 51122 0 | 75 | 0 130.15/130.29 c 129s | 12 | 37370 | 25819 | 51122 0 | 75 | 0 132.45/132.53 c 131s | 12 | 38325 | 26219 | 51122 0 | 75 | 0 134.55/134.63 c 133s | 12 | 38966 | 26719 | 51122 0 | 75 | 0 136.75/136.87 c 136s | 12 | 39628 | 27319 | 51122 0 | 75 | 0 139.05/139.13 c 138s | 12 | 40177 | 27719 | 51122 0 | 75 | 0 141.15/141.20 c 140s | 12 | 40852 | 28119 | 51122 0 | 75 | 0 143.35/143.42 c 142s | 12 | 41984 | 28619 | 51122 0 | 75 | 0 145.55/145.66 c 144s | 12 | 42445 | 29019 | 51122 0 | 75 | 0 147.85/147.96 c 147s | 12 | 43221 | 29419 | 51122 0 | 75 | 0 150.15/150.24 c 149s | 12 | 44143 | 29819 | 51122 0 | 75 | 0 152.15/152.27 c 151s | 12 | 44652 | 30219 | 51122 0 | 75 | 0 154.85/154.92 c 154s | 12 | 45123 | 30619 | 51122 0 | 75 | 0 156.85/156.95 c 156s | 12 | 45564 | 31019 | 51122 0 | 75 | 0 158.95/159.06 c 158s | 12 | 46114 | 31519 | 51122 0 | 75 | 0 161.05/161.11 c 160s | 12 | 46626 | 31919 | 51122 0 | 75 | 0 163.15/163.24 c 162s | 12 | 47351 | 32319 | 51122 0 | 75 | 0 165.44/165.53 c 164s | 12 | 47991 | 32719 | 51122 0 | 75 | 0 167.54/167.65 c 166s | 12 | 48562 | 33119 | 51122 0 | 75 | 0 169.84/169.99 c 169s | 12 | 49104 | 33619 | 51122 0 | 75 | 0 172.04/172.19 c 171s | 12 | 49995 | 34019 | 51122 0 | 75 | 0 174.54/174.64 c 173s | 12 | 50675 | 34419 | 51122 0 | 75 | 0 176.84/176.97 c 176s | 12 | 51205 | 34919 | 51122 0 | 75 | 0 179.44/179.51 c 178s | 12 | 51996 | 35319 | 51122 0 | 75 | 0 181.84/181.91 c 181s | 12 | 52605 | 35719 | 51122 0 | 75 | 0 184.24/184.31 c 183s | 12 | 53930 | 36119 | 51122 0 | 75 | 0 186.24/186.35 c 185s | 12 | 54387 | 36519 | 51122 0 | 75 | 0 188.24/188.36 c 187s | 12 | 54845 | 36919 | 51122 0 | 75 | 0 190.54/190.67 c 189s | 12 | 55404 | 37419 | 51122 0 | 75 | 0 192.84/192.91 c 192s | 12 | 55966 | 37919 | 51122 0 | 75 | 0 194.83/194.95 c 194s | 12 | 56524 | 38419 | 51122 0 | 75 | 0 196.84/196.99 c 196s | 13 | 57217 | 38832 | 56235 0 | 75 | 0 199.23/199.33 c 198s | 13 | 57677 | 39132 | 56235 0 | 75 | 0 201.63/201.76 c 200s | 13 | 58291 | 39532 | 56235 0 | 75 | 0 203.83/203.90 c 203s | 13 | 58682 | 39832 | 56235 0 | 75 | 0 206.63/206.76 c 205s | 13 | 59531 | 40232 | 56235 0 | 75 | 0 209.33/209.45 c 208s | 13 | 59958 | 40632 | 56235 0 | 75 | 0 211.53/211.60 c 210s | 13 | 60350 | 40932 | 56235 0 | 75 | 0 214.12/214.24 c 213s | 13 | 61433 | 41332 | 56235 0 | 75 | 0 216.52/216.64 c 215s | 13 | 61886 | 41732 | 56235 0 | 75 | 0 218.72/218.83 c 218s | 13 | 62306 | 42132 | 56235 0 | 75 | 0 221.03/221.16 c 220s | 13 | 62747 | 42532 | 56235 0 | 75 | 0 223.23/223.34 c 222s | 13 | 63310 | 42932 | 56235 0 | 75 | 0 225.71/225.87 c 225s | 13 | 64219 | 43232 | 56235 0 | 75 | 0 227.81/227.92 c 227s | 13 | 65023 | 43532 | 56235 0 | 75 | 0 230.31/230.43 c 229s | 13 | 65990 | 43932 | 56235 0 | 75 | 0 232.81/232.92 c 232s | 13 | 66722 | 44332 | 56235 0 | 75 | 0 235.51/235.60 c 234s | 13 | 68207 | 44732 | 56235 0 | 75 | 0 237.81/237.94 c 237s | 13 | 68602 | 45032 | 56235 0 | 75 | 0 240.61/240.79 c 239s | 13 | 69898 | 45432 | 56235 0 | 75 | 0 243.02/243.16 c 242s | 13 | 70469 | 45932 | 56235 0 | 75 | 0 245.10/245.20 c 244s | 13 | 71007 | 46432 | 56235 0 | 75 | 0 247.10/247.26 c 246s | 13 | 71538 | 46832 | 56235 0 | 75 | 0 249.50/249.68 c 248s | 13 | 72033 | 47232 | 56235 0 | 75 | 0 251.60/251.71 c 250s | 13 | 72505 | 47532 | 56235 0 | 75 | 0 253.80/253.98 c 253s | 13 | 73005 | 47932 | 56235 0 | 75 | 0 256.10/256.30 c 255s | 13 | 73617 | 48332 | 56235 0 | 75 | 0 258.41/258.51 c 257s | 13 | 74085 | 48732 | 56235 0 | 75 | 0 260.80/260.91 c 260s | 13 | 74635 | 49132 | 56235 0 | 75 | 0 263.40/263.54 c 262s | 13 | 75212 | 49532 | 56235 0 | 75 | 0 265.59/265.72 c 264s | 13 | 75653 | 49832 | 56235 0 | 75 | 0 267.89/268.09 c 267s | 13 | 76008 | 50132 | 56235 0 | 75 | 0 270.09/270.28 c 269s | 13 | 76668 | 50532 | 56235 0 | 75 | 0 272.19/272.38 c 271s | 13 | 77372 | 50832 | 56235 0 | 75 | 0 274.59/274.73 c 273s | 13 | 77740 | 51132 | 56235 0 | 75 | 0 276.79/276.95 c 276s | 13 | 78163 | 51432 | 56235 0 | 75 | 0 278.79/278.97 c 278s | 13 | 78676 | 51732 | 56235 0 | 75 | 0 281.09/281.26 c 280s | 13 | 79175 | 52132 | 56235 0 | 75 | 0 283.70/283.84 c 283s | 13 | 79714 | 52632 | 56235 0 | 75 | 0 285.69/285.88 c 285s | 13 | 80130 | 53032 | 56235 0 | 75 | 0 287.99/288.13 c 287s | 13 | 80594 | 53432 | 56235 0 | 75 | 0 290.29/290.50 c 289s | 13 | 81119 | 53832 | 56235 0 | 75 | 0 292.78/292.99 c 292s | 13 | 81641 | 54332 | 56235 0 | 75 | 0 295.38/295.51 c 294s | 13 | 82176 | 54832 | 56235 0 | 75 | 0 297.88/298.10 c 297s | 13 | 82752 | 55232 | 56235 0 | 75 | 0 299.98/300.12 c 299s | 13 | 83122 | 55532 | 56235 0 | 75 | 0 302.49/302.64 c 301s | 13 | 83588 | 55932 | 56235 0 | 75 | 0 304.48/304.69 c 303s | 13 | 84003 | 56332 | 56235 0 | 75 | 0 306.98/307.12 c 306s | 13 | 84757 | 56732 | 56235 0 | 75 | 0 309.28/309.49 c 308s | 13 | 85213 | 57132 | 56235 0 | 75 | 0 311.38/311.50 c 310s | 13 | 85710 | 57432 | 56235 0 | 75 | 0 313.87/314.05 c 313s | 13 | 86031 | 57732 | 56235 0 | 75 | 0 316.27/316.49 c 315s | 13 | 86595 | 58032 | 61859 0 | 75 | 0 318.37/318.56 c 317s | 14 | 87056 | 58352 | 61859 0 | 75 | 0 320.87/321.02 c 320s | 14 | 87472 | 58552 | 61859 0 | 75 | 0 323.17/323.35 c 322s | 14 | 87873 | 58852 | 61859 0 | 75 | 0 325.77/325.96 c 325s | 14 | 88229 | 59152 | 61859 0 | 75 | 0 328.27/328.41 c 327s | 14 | 88644 | 59452 | 61859 0 | 75 | 0 330.37/330.58 c 329s | 14 | 89138 | 59752 | 61859 0 | 75 | 0 333.07/333.29 c 332s | 14 | 89511 | 60052 | 61859 0 | 75 | 0 335.37/335.57 c 334s | 14 | 89817 | 60352 | 61859 0 | 75 | 0 337.67/337.87 c 337s | 14 | 90127 | 60652 | 61859 0 | 75 | 0 340.26/340.46 c 339s | 14 | 90556 | 61052 | 61859 0 | 75 | 0 342.96/343.12 c 342s | 14 | 90969 | 61452 | 61859 0 | 75 | 0 345.56/345.74 c 344s | 14 | 91455 | 61852 | 61859 0 | 75 | 0 347.76/347.90 c 347s | 14 | 91921 | 62152 | 61859 0 | 75 | 0 350.26/350.46 c 349s | 14 | 92333 | 62552 | 61859 0 | 75 | 0 353.07/353.26 c 352s | 14 | 92766 | 62952 | 61859 0 | 75 | 0 355.26/355.41 c 354s | 14 | 93117 | 63252 | 61859 0 | 75 | 0 357.75/357.92 c 357s | 14 | 93481 | 63552 | 61859 0 | 75 | 0 360.05/360.25 c 359s | 14 | 93800 | 63852 | 61859 0 | 75 | 0 362.15/362.35 c 361s | 14 | 94191 | 64152 | 61859 0 | 75 | 0 364.25/364.46 c 363s | 14 | 94506 | 64452 | 61859 0 | 75 | 0 366.35/366.56 c 365s | 14 | 94815 | 64752 | 61859 0 | 75 | 0 368.46/368.67 c 367s | 14 | 95122 | 65052 | 61859 0 | 75 | 0 370.75/371.00 c 370s | 14 | 95435 | 65352 | 61859 0 | 75 | 0 373.54/373.75 c 372s | 14 | 96188 | 65752 | 61859 0 | 75 | 0 375.64/375.87 c 375s | 14 | 96534 | 66052 | 61859 0 | 75 | 0 377.64/377.88 c 377s | 14 | 96845 | 66352 | 61859 0 | 75 | 0 380.45/380.63 c 379s | 14 | 97196 | 66652 | 61859 0 | 75 | 0 382.94/383.16 c 382s | 14 | 97560 | 66952 | 61859 0 | 75 | 0 385.84/386.00 c 385s | 14 | 97929 | 67252 | 61859 0 | 75 | 0 388.34/388.52 c 387s | 14 | 98247 | 67552 | 61859 0 | 75 | 0 391.04/391.24 c 390s | 14 | 98662 | 67852 | 61859 0 | 75 | 0 393.24/393.44 c 392s | 14 | 98969 | 68152 | 61859 0 | 75 | 0 395.34/395.52 c 394s | 14 | 99480 | 68452 | 61859 0 | 75 | 0 397.44/397.61 c 396s | 14 | 99797 | 68752 | 61859 0 | 75 | 0 399.54/399.73 c 398s | 14 | 100107 | 69052 | 61859 0 | 75 | 0 402.03/402.23 c 401s | 14 | 100522 | 69452 | 61859 0 | 75 | 0 404.23/404.47 c 403s | 14 | 100840 | 69752 | 61859 0 | 75 | 0 406.53/406.72 c 405s | 14 | 101142 | 70052 | 61859 0 | 75 | 0 408.53/408.79 c 407s | 14 | 101456 | 70352 | 61859 0 | 75 | 0 410.63/410.86 c 410s | 14 | 101773 | 70652 | 61859 0 | 75 | 0 413.13/413.37 c 412s | 14 | 102182 | 71052 | 61859 0 | 75 | 0 415.53/415.78 c 414s | 14 | 102615 | 71452 | 61859 0 | 75 | 0 417.53/417.78 c 416s | 14 | 102927 | 71752 | 61859 0 | 75 | 0 419.93/420.12 c 419s | 14 | 103489 | 72252 | 61859 0 | 75 | 0 422.03/422.27 c 421s | 14 | 103900 | 72652 | 61859 0 | 75 | 0 424.32/424.56 c 423s | 14 | 104221 | 72952 | 61859 0 | 75 | 0 426.82/427.04 c 426s | 14 | 104526 | 73252 | 61859 0 | 75 | 0 430.43/430.62 c 429s | 14 | 104868 | 73552 | 61859 1 | 75 | 0 432.92/433.18 c 432s | 14 | 105206 | 73852 | 61859 1 | 75 | 0 435.22/435.47 c 434s | 14 | 105570 | 74152 | 61859 1 | 75 | 0 437.52/437.78 c 436s | 14 | 106010 | 74552 | 61859 1 | 75 | 0 440.62/440.81 c 439s | 14 | 106619 | 74952 | 61859 1 | 75 | 0 442.62/442.84 c 442s | 14 | 106972 | 75252 | 61859 1 | 75 | 0 444.61/444.87 c 444s | 14 | 107415 | 75652 | 61859 1 | 75 | 0 446.81/447.01 c 446s | 14 | 107852 | 76052 | 61859 1 | 75 | 0 449.31/449.52 c 448s | 14 | 108412 | 76552 | 61859 1 | 75 | 0 451.51/451.76 c 450s | 14 | 108843 | 76952 | 61859 1 | 75 | 0 453.90/454.16 c 453s | 14 | 109354 | 77452 | 61859 1 | 75 | 0 456.60/456.82 c 455s | 14 | 109886 | 77952 | 61859 1 | 75 | 0 459.10/459.35 c 458s | 14 | 110297 | 78352 | 61859 1 | 75 | 0 461.60/461.83 c 461s | 14 | 110817 | 78852 | 61859 1 | 75 | 0 463.60/463.86 c 463s | 14 | 111243 | 79252 | 61859 1 | 75 | 0 466.21/466.41 c 465s | 14 | 111751 | 79752 | 61859 1 | 75 | 0 468.51/468.76 c 467s | 14 | 112230 | 80152 | 61859 1 | 75 | 0 470.80/471.09 c 470s | 14 | 112798 | 80552 | 61859 1 | 75 | 0 473.30/473.54 c 472s | 14 | 113230 | 80952 | 61859 1 | 75 | 0 475.39/475.69 c 474s | 14 | 113646 | 81352 | 61859 1 | 75 | 0 477.89/478.15 c 477s | 14 | 114066 | 81752 | 61859 1 | 75 | 0 481.49/481.72 c 480s | 14 | 114526 | 82152 | 61859 1 | 75 | 0 483.90/484.13 c 483s | 14 | 114833 | 82452 | 61859 1 | 75 | 0 486.10/486.34 c 485s | 14 | 115162 | 82752 | 61859 1 | 75 | 0 488.09/488.41 c 487s | 14 | 115469 | 83052 | 61859 1 | 75 | 0 490.50/490.78 c 489s | 14 | 115815 | 83352 | 61859 1 | 75 | 0 492.60/492.84 c 492s | 14 | 116141 | 83652 | 61859 1 | 75 | 0 494.98/495.25 c 494s | 14 | 116607 | 84052 | 61859 1 | 75 | 0 497.78/498.00 c 497s | 14 | 117084 | 84452 | 61859 1 | 75 | 0 499.88/500.13 c 499s | 14 | 117499 | 84752 | 61859 1 | 75 | 0 501.98/502.25 c 501s | 14 | 117914 | 85152 | 61859 1 | 75 | 0 504.58/504.86 c 504s | 14 | 118340 | 85552 | 61859 1 | 75 | 0 507.08/507.31 c 506s | 14 | 118745 | 85952 | 61859 1 | 75 | 0 509.58/509.85 c 509s | 14 | 119159 | 86352 | 61859 1 | 75 | 0 511.78/512.07 c 511s | 14 | 119461 | 86652 | 61859 1 | 75 | 0 514.18/514.40 c 513s | 14 | 120063 | 86952 | 61859 1 | 75 | 0 516.38/516.63 c 515s | 14 | 120820 | 87252 | 68045 1 | 75 | 0 518.18/518.40 c 517s | 15 | 121270 | 87632 | 68045 1 | 75 | 0 520.19/520.47 c 519s | 15 | 121654 | 87932 | 68045 1 | 75 | 0 522.48/522.71 c 521s | 15 | 122177 | 88432 | 68045 1 | 75 | 0 524.58/524.87 c 524s | 15 | 122708 | 88932 | 68045 1 | 75 | 0 526.87/527.17 c 526s | 15 | 123215 | 89432 | 68045 1 | 75 | 0 529.17/529.47 c 528s | 15 | 123741 | 89932 | 68045 1 | 75 | 0 531.37/531.62 c 530s | 15 | 124255 | 90432 | 68045 1 | 75 | 0 533.38/533.67 c 532s | 15 | 124776 | 90932 | 68045 1 | 75 | 0 535.57/535.88 c 535s | 15 | 125308 | 91432 | 68045 1 | 75 | 0 537.86/538.13 c 537s | 15 | 125844 | 91932 | 68045 1 | 75 | 0 540.06/540.31 c 539s | 15 | 126274 | 92332 | 68045 1 | 75 | 0 542.17/542.43 c 541s | 15 | 126697 | 92732 | 68045 1 | 75 | 0 544.56/544.85 c 544s | 15 | 127208 | 93232 | 68045 1 | 75 | 0 546.76/547.00 c 546s | 15 | 127730 | 93732 | 68045 1 | 75 | 0 548.86/549.15 c 548s | 15 | 128256 | 94232 | 68045 1 | 75 | 0 551.16/551.44 c 550s | 15 | 128777 | 94732 | 68045 1 | 75 | 0 553.45/553.78 c 552s | 15 | 129297 | 95232 | 68045 1 | 75 | 0 555.95/556.26 c 555s | 15 | 129826 | 95732 | 68045 1 | 75 | 0 558.35/558.68 c 557s | 15 | 130358 | 96232 | 68045 1 | 75 | 0 560.65/560.93 c 560s | 15 | 130900 | 96732 | 68045 1 | 75 | 0 563.06/563.38 c 562s | 15 | 131439 | 97232 | 68045 1 | 75 | 0 565.54/565.83 c 565s | 15 | 131973 | 97732 | 68045 1 | 75 | 0 568.04/568.35 c 567s | 15 | 132522 | 98232 | 68045 1 | 75 | 0 570.44/570.72 c 569s | 15 | 133042 | 98732 | 68045 1 | 75 | 0 572.85/573.13 c 572s | 15 | 133567 | 99232 | 68045 1 | 75 | 0 574.94/575.29 c 574s | 15 | 133992 | 99632 | 68045 1 | 75 | 0 577.25/577.59 c 576s | 15 | 134519 | 100132 | 68045 1 | 75 | 0 579.45/579.80 c 578s | 15 | 134939 | 100532 | 68045 1 | 75 | 0 581.84/582.18 c 581s | 15 | 135351 | 100932 | 68045 1 | 75 | 0 583.94/584.26 c 583s | 15 | 135772 | 101332 | 68045 1 | 75 | 0 586.14/586.42 c 585s | 15 | 136182 | 101732 | 68045 1 | 75 | 0 588.34/588.63 c 587s | 15 | 136595 | 102132 | 68045 1 | 75 | 0 590.54/590.81 c 589s | 15 | 137006 | 102532 | 68045 1 | 75 | 0 592.74/593.06 c 592s | 15 | 137428 | 102932 | 68045 1 | 75 | 0 595.03/595.35 c 594s | 15 | 137846 | 103332 | 68045 1 | 75 | 0 597.33/597.68 c 596s | 15 | 138266 | 103732 | 68045 1 | 75 | 0 599.43/599.71 c 598s | 15 | 138688 | 104132 | 68045 1 | 75 | 0 601.73/602.03 c 601s | 15 | 139096 | 104532 | 68045 1 | 75 | 0 603.92/604.27 c 603s | 15 | 139514 | 104932 | 68045 1 | 75 | 0 606.42/606.71 c 605s | 15 | 139945 | 105332 | 68045 1 | 75 | 0 608.52/608.86 c 608s | 15 | 140355 | 105732 | 68045 1 | 75 | 0 610.82/611.15 c 610s | 15 | 140758 | 106132 | 68045 1 | 75 | 0 613.02/613.36 c 612s | 15 | 141170 | 106532 | 68045 1 | 75 | 0 615.22/615.53 c 614s | 15 | 141589 | 106932 | 68045 1 | 75 | 0 617.51/617.84 c 617s | 15 | 141993 | 107332 | 68045 1 | 75 | 0 619.71/620.09 c 619s | 15 | 142406 | 107732 | 68045 1 | 75 | 0 622.01/622.36 c 621s | 15 | 142814 | 108132 | 68045 1 | 75 | 0 624.31/624.62 c 623s | 15 | 143218 | 108532 | 68045 1 | 75 | 0 626.61/626.96 c 626s | 15 | 143631 | 108932 | 68045 1 | 75 | 0 628.92/629.26 c 628s | 15 | 144042 | 109332 | 68045 1 | 75 | 0 631.41/631.75 c 630s | 15 | 144457 | 109732 | 68045 1 | 75 | 0 633.60/633.99 c 633s | 15 | 144868 | 110132 | 68045 1 | 75 | 0 636.00/636.30 c 635s | 15 | 145271 | 110532 | 68045 1 | 75 | 0 638.20/638.53 c 637s | 15 | 145703 | 110932 | 68045 1 | 75 | 0 640.40/640.77 c 639s | 15 | 146126 | 111332 | 68045 1 | 75 | 0 642.80/643.15 c 642s | 15 | 146542 | 111732 | 68045 1 | 75 | 0 645.19/645.59 c 644s | 15 | 147002 | 112132 | 68045 1 | 75 | 0 647.60/647.97 c 647s | 15 | 147421 | 112532 | 68045 1 | 75 | 0 650.09/650.42 c 649s | 15 | 147841 | 112932 | 68045 1 | 75 | 0 652.59/652.93 c 652s | 15 | 148253 | 113332 | 68045 1 | 75 | 0 655.19/655.55 c 654s | 15 | 148678 | 113732 | 68045 1 | 75 | 0 657.69/658.05 c 657s | 15 | 149096 | 114132 | 68045 1 | 75 | 0 660.29/660.64 c 659s | 15 | 149516 | 114532 | 68045 1 | 75 | 0 662.69/663.06 c 662s | 15 | 149939 | 114932 | 68045 1 | 75 | 0 664.88/665.22 c 664s | 15 | 150352 | 115332 | 68045 1 | 75 | 0 667.28/667.70 c 666s | 15 | 150768 | 115732 | 68045 1 | 75 | 0 669.78/670.13 c 669s | 15 | 151192 | 116132 | 68045 1 | 75 | 0 672.08/672.46 c 671s | 15 | 151603 | 116532 | 68045 1 | 75 | 0 674.58/674.96 c 674s | 15 | 152016 | 116932 | 68045 1 | 75 | 0 677.18/677.51 c 676s | 15 | 152427 | 117332 | 68045 1 | 75 | 0 679.38/679.70 c 678s | 15 | 152837 | 117732 | 68045 1 | 75 | 0 681.48/681.86 c 681s | 15 | 153241 | 118132 | 68045 1 | 75 | 0 685.17/685.51 c 684s | 15 | 153646 | 118532 | 68045 2 | 75 | 0 687.18/687.57 c 686s | 15 | 154053 | 118932 | 68045 2 | 75 | 0 689.27/689.65 c 688s | 15 | 154469 | 119332 | 68045 2 | 75 | 0 691.27/691.69 c 690s | 15 | 154877 | 119732 | 68045 2 | 75 | 0 693.78/694.20 c 693s | 15 | 155401 | 120232 | 68045 2 | 75 | 0 695.87/696.28 c 695s | 15 | 155810 | 120632 | 68045 2 | 75 | 0 697.97/698.39 c 697s | 15 | 156212 | 121032 | 68045 2 | 75 | 0 700.17/700.51 c 699s | 15 | 156626 | 121432 | 68045 2 | 75 | 0 702.68/703.03 c 702s | 15 | 157130 | 121932 | 68045 2 | 75 | 0 704.97/705.32 c 704s | 15 | 157540 | 122332 | 68045 2 | 75 | 0 707.17/707.56 c 706s | 15 | 157944 | 122732 | 68045 2 | 75 | 0 709.37/709.71 c 708s | 15 | 158351 | 123132 | 68045 2 | 75 | 0 711.77/712.18 c 711s | 15 | 158871 | 123632 | 68045 2 | 75 | 0 713.97/714.31 c 713s | 15 | 159278 | 124032 | 68045 2 | 75 | 0 716.07/716.42 c 715s | 15 | 159694 | 124432 | 68045 2 | 75 | 0 718.16/718.59 c 717s | 15 | 160101 | 124832 | 68045 2 | 75 | 0 720.36/720.79 c 719s | 15 | 160514 | 125232 | 68045 2 | 75 | 0 722.86/723.27 c 722s | 15 | 160840 | 125532 | 68045 2 | 75 | 0 725.26/725.60 c 724s | 15 | 161255 | 125932 | 68045 2 | 75 | 0 727.26/727.62 c 726s | 15 | 161671 | 126332 | 68045 2 | 75 | 0 729.26/729.66 c 728s | 15 | 162092 | 126732 | 68045 2 | 75 | 0 731.27/731.69 c 730s | 15 | 162499 | 127132 | 68045 2 | 75 | 0 733.47/733.85 c 733s | 15 | 162917 | 127532 | 68045 2 | 75 | 0 735.67/736.04 c 735s | 15 | 163329 | 127932 | 68045 2 | 75 | 0 738.06/738.45 c 737s | 15 | 163744 | 128332 | 68045 2 | 75 | 0 740.26/740.62 c 739s | 15 | 164162 | 128732 | 68045 2 | 75 | 0 742.76/743.18 c 742s | 15 | 164690 | 129232 | 68045 2 | 75 | 0 744.96/745.36 c 744s | 15 | 165108 | 129632 | 68045 2 | 75 | 0 747.26/747.63 c 746s | 15 | 165529 | 130032 | 68045 2 | 75 | 0 749.56/749.90 c 749s | 15 | 165942 | 130432 | 68045 2 | 75 | 0 752.07/752.41 c 751s | 15 | 166366 | 130832 | 74850 2 | 75 | 0 754.17/754.53 c 753s | 15 | 166682 | 131132 | 74850 2 | 75 | 0 756.77/757.11 c 756s | 15 | 167095 | 131532 | 74850 2 | 75 | 0 756.87/757.25 c 756s | 16 | 167116 | 131552 | 74850 2 | 75 | 0 759.96/760.36 c 759s | 16 | 168547 | 131652 | 74850 2 | 75 | 0 762.46/762.89 c 762s | 16 | 169157 | 132052 | 74850 2 | 75 | 0 764.76/765.16 c 764s | 16 | 169697 | 132452 | 74850 2 | 75 | 0 767.26/767.68 c 766s | 16 | 170199 | 132952 | 74850 2 | 75 | 0 769.96/770.37 c 769s | 16 | 170614 | 133352 | 74850 2 | 75 | 0 772.46/772.88 c 772s | 16 | 171025 | 133752 | 74850 2 | 75 | 0 774.96/775.34 c 774s | 16 | 171555 | 134152 | 74850 2 | 75 | 0 777.26/777.69 c 776s | 16 | 172198 | 134552 | 74850 2 | 75 | 0 779.76/780.19 c 779s | 16 | 173040 | 134952 | 74850 2 | 75 | 0 781.96/782.35 c 781s | 16 | 173459 | 135352 | 74850 2 | 75 | 0 784.25/784.65 c 783s | 16 | 174038 | 135752 | 74850 2 | 75 | 0 786.35/786.78 c 785s | 16 | 174503 | 136152 | 74850 2 | 75 | 0 788.46/788.87 c 788s | 16 | 175093 | 136552 | 74850 2 | 75 | 0 790.56/790.96 c 790s | 16 | 175519 | 136952 | 74850 2 | 75 | 0 792.65/793.07 c 792s | 16 | 176325 | 137452 | 74850 2 | 75 | 0 794.85/795.29 c 794s | 16 | 176843 | 137952 | 74850 2 | 75 | 0 796.95/797.31 c 796s | 16 | 177276 | 138352 | 74850 2 | 75 | 0 798.95/799.33 c 798s | 16 | 177678 | 138752 | 74850 2 | 75 | 0 801.35/801.70 c 800s | 16 | 178215 | 139252 | 74850 2 | 75 | 0 803.76/804.11 c 803s | 16 | 178730 | 139752 | 74850 2 | 75 | 0 805.75/806.19 c 805s | 16 | 179241 | 140252 | 74850 2 | 75 | 0 807.95/808.34 c 807s | 16 | 179765 | 140752 | 74850 2 | 75 | 0 810.25/810.61 c 809s | 16 | 180276 | 141252 | 74850 2 | 75 | 0 812.45/812.81 c 811s | 16 | 180720 | 141652 | 74850 2 | 75 | 0 814.45/814.82 c 814s | 16 | 181230 | 142052 | 74850 2 | 75 | 0 816.55/816.96 c 816s | 16 | 181653 | 142452 | 74850 2 | 75 | 0 818.55/818.98 c 818s | 16 | 182056 | 142852 | 74850 2 | 75 | 0 820.65/821.05 c 820s | 16 | 182473 | 143252 | 74850 2 | 75 | 0 822.75/823.17 c 822s | 16 | 182899 | 143652 | 74850 2 | 75 | 0 824.95/825.34 c 824s | 16 | 183304 | 144052 | 74850 2 | 75 | 0 826.96/827.36 c 826s | 16 | 183719 | 144452 | 74850 2 | 75 | 0 829.06/829.48 c 828s | 16 | 184130 | 144852 | 74850 2 | 75 | 0 831.65/832.01 c 831s | 16 | 184646 | 145352 | 74850 2 | 75 | 0 834.05/834.43 c 833s | 16 | 185064 | 145752 | 74850 2 | 75 | 0 836.05/836.44 c 835s | 16 | 185485 | 146152 | 74850 2 | 75 | 0 838.45/838.86 c 838s | 16 | 186022 | 146652 | 74850 2 | 75 | 0 840.65/841.07 c 840s | 16 | 186432 | 147052 | 74850 2 | 75 | 0 843.04/843.47 c 842s | 16 | 186950 | 147552 | 74850 2 | 75 | 0 845.04/845.49 c 844s | 16 | 187406 | 147952 | 74850 2 | 75 | 0 847.44/847.86 c 847s | 16 | 187972 | 148352 | 74850 2 | 75 | 0 850.24/850.60 c 849s | 16 | 189300 | 148752 | 74850 2 | 75 | 0 852.64/853.02 c 852s | 16 | 189885 | 149152 | 74850 2 | 75 | 0 854.94/855.40 c 854s | 16 | 190754 | 149552 | 74850 2 | 75 | 0 857.44/857.86 c 857s | 16 | 191312 | 150052 | 74850 2 | 75 | 0 859.54/859.92 c 859s | 16 | 191730 | 150452 | 74850 2 | 75 | 0 861.74/862.16 c 861s | 16 | 192266 | 150952 | 74850 2 | 75 | 0 863.74/864.17 c 863s | 16 | 192687 | 151352 | 74850 2 | 75 | 0 865.84/866.21 c 865s | 16 | 193103 | 151752 | 74850 2 | 75 | 0 868.14/868.55 c 867s | 16 | 193628 | 152252 | 74850 2 | 75 | 0 870.14/870.58 c 869s | 16 | 193933 | 152552 | 74850 2 | 75 | 0 872.74/873.13 c 872s | 16 | 194369 | 152952 | 74850 2 | 75 | 0 875.14/875.59 c 874s | 16 | 194924 | 153452 | 74850 2 | 75 | 0 877.45/877.88 c 877s | 16 | 195465 | 153952 | 74850 2 | 75 | 0 879.54/879.94 c 879s | 16 | 195885 | 154352 | 74850 2 | 75 | 0 881.85/882.23 c 881s | 16 | 196323 | 154752 | 74850 2 | 75 | 0 883.84/884.27 c 883s | 16 | 196746 | 155152 | 74850 2 | 75 | 0 886.14/886.56 c 885s | 16 | 197172 | 155552 | 74850 2 | 75 | 0 888.34/888.75 c 887s | 16 | 197607 | 155952 | 74850 2 | 75 | 0 890.75/891.13 c 890s | 16 | 198146 | 156452 | 74850 2 | 75 | 0 892.74/893.15 c 892s | 16 | 198553 | 156852 | 74850 2 | 75 | 0 894.84/895.20 c 894s | 16 | 198974 | 157252 | 74850 2 | 75 | 0 896.94/897.38 c 896s | 16 | 199397 | 157652 | 74850 2 | 75 | 0 899.34/899.73 c 898s | 16 | 199910 | 158152 | 74850 2 | 75 | 0 901.54/901.92 c 901s | 16 | 200318 | 158552 | 74850 2 | 75 | 0 903.63/904.08 c 903s | 16 | 200736 | 158952 | 74850 2 | 75 | 0 905.83/906.24 c 905s | 16 | 201143 | 159352 | 74850 2 | 75 | 0 912.24/912.65 c 911s | 16 | 201489 | 159452 | 74850 3 | 75 | 0 914.64/915.02 c 914s | 16 | 201896 | 159852 | 74850 3 | 75 | 0 916.94/917.39 c 916s | 16 | 202793 | 160252 | 74850 3 | 75 | 0 919.25/919.69 c 918s | 16 | 203250 | 160652 | 74850 3 | 75 | 0 921.55/921.99 c 921s | 16 | 203741 | 161052 | 74850 3 | 75 | 0 923.65/924.09 c 923s | 16 | 204411 | 161452 | 74850 3 | 75 | 0 925.73/926.11 c 925s | 16 | 204639 | 161552 | 74850 3 | 75 | 0 927.93/928.36 c 927s | 16 | 205186 | 161952 | 74850 3 | 75 | 0 929.93/930.38 c 929s | 16 | 205702 | 162352 | 74850 3 | 75 | 0 932.33/932.70 c 931s | 16 | 206309 | 162852 | 74850 3 | 75 | 0 934.64/935.07 c 934s | 16 | 206961 | 163352 | 74850 3 | 75 | 0 936.63/937.09 c 936s | 16 | 207467 | 163852 | 74850 3 | 75 | 0 939.04/939.46 c 938s | 16 | 208195 | 164352 | 74850 3 | 75 | 0 941.24/941.61 c 940s | 16 | 208723 | 164752 | 74850 3 | 75 | 0 943.23/943.67 c 942s | 16 | 209761 | 165152 | 74850 3 | 75 | 0 945.33/945.72 c 944s | 16 | 210272 | 165652 | 74850 3 | 75 | 0 947.63/948.01 c 947s | 16 | 210827 | 166152 | 74850 3 | 75 | 0 950.14/950.59 c 949s | 16 | 211306 | 166552 | 74850 3 | 75 | 0 952.24/952.65 c 951s | 16 | 211842 | 166952 | 74850 3 | 75 | 0 954.33/954.71 c 953s | 16 | 212349 | 167352 | 74850 3 | 75 | 0 956.43/956.85 c 956s | 16 | 212758 | 167752 | 74850 3 | 75 | 0 958.43/958.89 c 958s | 16 | 213304 | 168052 | 74850 3 | 75 | 0 960.83/961.26 c 960s | 16 | 213921 | 168452 | 74850 3 | 75 | 0 962.93/963.33 c 962s | 16 | 214278 | 168752 | 74850 3 | 75 | 0 965.13/965.59 c 964s | 16 | 214923 | 169152 | 74850 3 | 75 | 0 967.52/967.96 c 967s | 16 | 215327 | 169552 | 74850 3 | 75 | 0 969.52/969.96 c 969s | 16 | 216121 | 169852 | 74850 3 | 75 | 0 972.03/972.44 c 971s | 16 | 216721 | 170252 | 74850 3 | 75 | 0 974.12/974.52 c 973s | 16 | 217159 | 170652 | 74850 3 | 75 | 0 976.43/976.81 c 975s | 16 | 217616 | 171052 | 74850 3 | 75 | 0 978.82/979.22 c 978s | 16 | 218029 | 171452 | 74850 3 | 75 | 0 981.12/981.53 c 980s | 16 | 218576 | 171852 | 74850 3 | 75 | 0 983.22/983.63 c 982s | 16 | 218989 | 172252 | 74850 3 | 75 | 0 985.33/985.77 c 984s | 16 | 219394 | 172652 | 74850 3 | 75 | 0 987.62/988.03 c 987s | 16 | 219701 | 172952 | 74850 3 | 75 | 0 989.92/990.38 c 989s | 16 | 220119 | 173352 | 74850 3 | 75 | 0 992.02/992.49 c 991s | 16 | 220525 | 173752 | 74850 3 | 75 | 0 994.22/994.60 c 993s | 16 | 220935 | 174152 | 74850 3 | 75 | 0 996.52/996.94 c 996s | 16 | 221349 | 174552 | 74850 3 | 75 | 0 998.62/999.06 c 998s | 16 | 221758 | 174952 | 74850 3 | 75 | 0 1000.82/1001.24 c 1000s | 16 | 222256 | 175352 | 74850 3 | 75 | 0 1003.02/1003.45 c 1002s | 16 | 222690 | 175752 | 74850 3 | 75 | 0 1005.03/1005.50 c 1004s | 16 | 223145 | 176052 | 74850 3 | 75 | 0 1007.72/1008.10 c 1007s | 16 | 223977 | 176452 | 74850 3 | 75 | 0 1010.22/1010.62 c 1009s | 16 | 225476 | 176852 | 74850 3 | 75 | 0 1012.22/1012.68 c 1011s | 16 | 225993 | 177152 | 74850 3 | 75 | 0 1014.72/1015.18 c 1014s | 16 | 226655 | 177552 | 74850 3 | 75 | 0 1017.42/1017.82 c 1016s | 16 | 227400 | 177952 | 74850 3 | 75 | 0 1019.92/1020.32 c 1019s | 16 | 228036 | 178352 | 74850 3 | 75 | 0 1021.92/1022.33 c 1021s | 16 | 228346 | 178652 | 74850 3 | 75 | 0 1023.92/1024.33 c 1023s | 16 | 228982 | 178952 | 74850 3 | 75 | 0 1026.42/1026.87 c 1026s | 16 | 230015 | 179252 | 74850 3 | 75 | 0 1028.62/1029.05 c 1028s | 16 | 230630 | 179552 | 74850 3 | 75 | 0 1030.62/1031.09 c 1030s | 16 | 230930 | 179852 | 74850 3 | 75 | 0 1032.72/1033.13 c 1032s | 16 | 231239 | 180152 | 74850 3 | 75 | 0 1035.12/1035.50 c 1034s | 16 | 231684 | 180452 | 74850 3 | 75 | 0 1037.72/1038.13 c 1037s | 16 | 232309 | 180852 | 74850 3 | 75 | 0 1040.02/1040.47 c 1039s | 16 | 232726 | 181252 | 74850 3 | 75 | 0 1042.62/1043.03 c 1042s | 16 | 233164 | 181652 | 74850 3 | 75 | 0 1044.73/1045.12 c 1044s | 16 | 233474 | 181952 | 74850 3 | 75 | 0 1047.32/1047.74 c 1046s | 16 | 234505 | 182252 | 74850 3 | 75 | 0 1049.82/1050.22 c 1049s | 16 | 235086 | 182552 | 74850 3 | 75 | 0 1052.33/1052.73 c 1051s | 16 | 235491 | 182852 | 74850 3 | 75 | 0 1054.63/1055.09 c 1054s | 16 | 236033 | 183152 | 74850 3 | 75 | 0 1057.22/1057.63 c 1056s | 16 | 236742 | 183452 | 74850 3 | 75 | 0 1059.92/1060.35 c 1059s | 16 | 237147 | 183752 | 74850 3 | 75 | 0 1062.12/1062.54 c 1061s | 16 | 237459 | 184052 | 74850 3 | 75 | 0 1064.82/1065.23 c 1064s | 16 | 237940 | 184452 | 74850 3 | 75 | 0 1067.73/1068.14 c 1067s | 16 | 238966 | 184752 | 74850 3 | 75 | 0 1070.32/1070.74 c 1069s | 16 | 239369 | 185052 | 74850 3 | 75 | 0 1072.62/1073.05 c 1072s | 16 | 239707 | 185352 | 74850 3 | 75 | 0 1075.22/1075.66 c 1074s | 16 | 240187 | 185652 | 74850 3 | 75 | 0 1077.73/1078.18 c 1077s | 16 | 240871 | 185952 | 74850 3 | 75 | 0 1080.22/1080.61 c 1079s | 16 | 241210 | 186252 | 74850 3 | 75 | 0 1082.62/1083.05 c 1082s | 16 | 241587 | 186552 | 74850 3 | 75 | 0 1085.22/1085.62 c 1084s | 16 | 242865 | 186852 | 74850 3 | 75 | 0 1087.91/1088.31 c 1087s | 16 | 243297 | 187152 | 74850 3 | 75 | 0 1090.82/1091.22 c 1090s | 16 | 243580 | 187352 | 74850 3 | 75 | 0 1093.12/1093.51 c 1092s | 16 | 243805 | 187552 | 74850 3 | 75 | 0 1095.32/1095.73 c 1094s | 16 | 244202 | 187752 | 74850 3 | 75 | 0 1097.31/1097.75 c 1096s | 16 | 244760 | 187952 | 74850 3 | 75 | 0 1100.01/1100.41 c 1099s | 16 | 245502 | 188252 | 74850 3 | 75 | 0 1102.31/1102.72 c 1101s | 16 | 246056 | 188452 | 74850 3 | 75 | 0 1104.41/1104.83 c 1104s | 16 | 246368 | 188752 | 74850 3 | 75 | 0 1107.32/1107.77 c 1106s | 16 | 247071 | 189052 | 74850 3 | 75 | 0 1110.62/1111.04 c 1110s | 16 | 247468 | 189352 | 74850 3 | 75 | 0 1113.61/1114.02 c 1113s | 16 | 248902 | 189652 | 74850 3 | 75 | 0 1115.71/1116.18 c 1115s | 16 | 249168 | 189852 | 74850 3 | 75 | 0 1118.42/1118.89 c 1118s | 16 | 249613 | 190152 | 74850 3 | 75 | 0 1120.71/1121.17 c 1120s | 16 | 250034 | 190452 | 74850 3 | 75 | 0 1123.71/1124.10 c 1123s | 16 | 250460 | 190852 | 74850 3 | 75 | 0 1125.53/1126.34 c 1125s | 16 | 250773 | 191052 | 74850 3 | 75 | 0 1126.41/1129.34 c 1128s | 16 | 251264 | 191352 | 74850 3 | 75 | 0 1126.41/1131.52 c 1130s | 16 | 251552 | 191552 | 74850 3 | 75 | 0 1126.41/1134.32 c 1133s | 16 | 251869 | 191852 | 74850 3 | 75 | 0 1126.41/1136.56 c 1135s | 16 | 252964 | 192052 | 74850 3 | 75 | 0 1126.41/1139.46 c 1138s | 16 | 253303 | 192352 | 74850 3 | 75 | 0 1126.41/1141.47 c 1140s | 16 | 253521 | 192552 | 74850 3 | 75 | 0 1126.41/1143.62 c 1142s | 16 | 253941 | 192752 | 74850 3 | 75 | 0 1126.41/1146.48 c 1145s | 16 | 254248 | 193052 | 74850 3 | 75 | 0 1148.65/1149.53 c 1148s | 16 | 255397 | 193352 | 74850 3 | 75 | 0 1151.11/1151.81 c 1150s | 16 | 255616 | 193552 | 74850 3 | 75 | 0 1151.11/1154.43 c 1153s | 16 | 256009 | 193852 | 74850 3 | 75 | 0 1151.11/1156.91 c 1156s | 16 | 256418 | 194152 | 74850 3 | 75 | 0 1151.11/1159.28 c 1158s | 16 | 256722 | 194352 | 74850 3 | 75 | 0 1151.11/1161.44 c 1160s | 16 | 256982 | 194552 | 74850 3 | 75 | 0 1151.11/1163.45 c 1162s | 16 | 257266 | 194752 | 74850 3 | 75 | 0 1151.11/1166.33 c 1165s | 16 | 257578 | 195052 | 74850 3 | 75 | 0 1151.11/1168.48 c 1167s | 16 | 258524 | 195252 | 74850 3 | 75 | 0 1151.11/1170.50 c 1169s | 16 | 258747 | 195452 | 74850 3 | 75 | 0 1151.11/1172.60 c 1171s | 16 | 259052 | 195752 | 74850 3 | 75 | 0 1151.11/1174.80 c 1173s | 16 | 259355 | 196052 | 74850 3 | 75 | 0 1151.11/1177.66 c 1176s | 16 | 259971 | 196352 | 82335 3 | 75 | 0 1179.98/1180.61 c 1179s | 16 | 260393 | 196652 | 82335 3 | 75 | 0 1181.58/1182.68 c 1181s | 16 | 260953 | 196852 | 82335 3 | 75 | 0 1181.58/1185.35 c 1184s | 16 | 261362 | 197152 | 82335 3 | 75 | 0 1181.58/1188.10 c 1187s | 17 | 261690 | 197432 | 82335 3 | 75 | 0 1181.58/1190.92 c 1190s | 17 | 262007 | 197632 | 82335 3 | 75 | 0 1181.58/1193.53 c 1192s | 17 | 262387 | 197932 | 82335 3 | 75 | 0 1181.58/1196.20 c 1195s | 17 | 262735 | 198232 | 82335 3 | 75 | 0 1181.58/1198.61 c 1197s | 17 | 263148 | 198632 | 82335 3 | 75 | 0 1181.58/1200.84 c 1200s | 17 | 263561 | 199032 | 82335 3 | 75 | 0 1181.58/1203.70 c 1202s | 17 | 264029 | 199432 | 82335 3 | 75 | 0 1181.58/1205.86 c 1205s | 17 | 264404 | 199632 | 82335 3 | 75 | 0 1181.58/1208.63 c 1207s | 17 | 264918 | 199932 | 82335 3 | 75 | 0 1210.12/1211.02 c 1210s | 17 | 265221 | 200232 | 82335 3 | 75 | 0 1210.12/1213.21 c 1212s | 17 | 265548 | 200532 | 82335 3 | 75 | 0 1210.12/1216.20 c 1215s | 17 | 266127 | 200832 | 82335 3 | 75 | 0 1218.48/1218.94 c 1218s | 17 | 266425 | 201132 | 82335 3 | 75 | 0 1220.61/1221.11 c 1220s | 17 | 266730 | 201432 | 82335 3 | 75 | 0 1222.56/1223.35 c 1222s | 17 | 267046 | 201732 | 82335 3 | 75 | 0 1222.56/1225.48 c 1224s | 17 | 267533 | 202032 | 82335 3 | 75 | 0 1227.02/1227.59 c 1226s | 17 | 267851 | 202332 | 82335 3 | 75 | 0 1229.23/1229.87 c 1229s | 17 | 268171 | 202632 | 82335 3 | 75 | 0 1229.23/1232.21 c 1231s | 17 | 268492 | 202932 | 82335 3 | 75 | 0 1229.23/1234.24 c 1233s | 17 | 268790 | 203232 | 82335 3 | 75 | 0 1236.27/1236.85 c 1236s | 17 | 269195 | 203632 | 82335 3 | 75 | 0 1236.79/1239.56 c 1238s | 17 | 270096 | 203932 | 82335 3 | 75 | 0 1241.15/1241.76 c 1240s | 17 | 270433 | 204232 | 82335 3 | 75 | 0 1241.81/1243.89 c 1243s | 17 | 270859 | 204532 | 82335 3 | 75 | 0 1245.52/1246.41 c 1245s | 17 | 271270 | 204932 | 82335 3 | 75 | 0 1248.51/1249.64 c 1248s | 17 | 271825 | 205032 | 82335 4 | 75 | 0 1248.51/1251.87 c 1251s | 17 | 272184 | 205332 | 82335 4 | 75 | 0 1248.51/1253.97 c 1253s | 17 | 272585 | 205632 | 82335 4 | 75 | 0 1248.51/1256.07 c 1255s | 17 | 272921 | 205932 | 82335 4 | 75 | 0 1248.51/1258.55 c 1257s | 17 | 273274 | 206232 | 82335 4 | 75 | 0 1260.32/1261.19 c 1260s | 17 | 273851 | 206632 | 82335 4 | 75 | 0 1260.32/1263.60 c 1262s | 17 | 274299 | 206932 | 82335 4 | 75 | 0 1263.60/1266.26 c 1265s | 17 | 275707 | 207332 | 82335 4 | 75 | 0 1263.60/1268.74 c 1267s | 17 | 276276 | 207732 | 82335 4 | 75 | 0 1263.60/1271.12 c 1270s | 17 | 276818 | 208032 | 82335 4 | 75 | 0 1272.46/1273.53 c 1272s | 17 | 277164 | 208332 | 82335 4 | 75 | 0 1274.30/1275.67 c 1274s | 17 | 277499 | 208632 | 82335 4 | 75 | 0 1274.30/1277.89 c 1277s | 17 | 277920 | 209032 | 82335 4 | 75 | 0 1274.30/1279.95 c 1279s | 17 | 278344 | 209432 | 82335 4 | 75 | 0 1274.30/1282.07 c 1281s | 17 | 278748 | 209832 | 82335 4 | 75 | 0 1274.30/1284.47 c 1283s | 17 | 279158 | 210232 | 82335 4 | 75 | 0 1274.30/1287.09 c 1286s | 17 | 279596 | 210632 | 82335 4 | 75 | 0 1274.30/1289.27 c 1288s | 17 | 280081 | 211032 | 82335 4 | 75 | 0 1274.30/1291.59 c 1290s | 17 | 280526 | 211432 | 82335 4 | 75 | 0 1274.30/1294.07 c 1293s | 17 | 280945 | 211732 | 82335 4 | 75 | 0 1274.30/1296.66 c 1295s | 17 | 281284 | 212032 | 82335 4 | 75 | 0 1274.30/1298.72 c 1297s | 17 | 281745 | 212332 | 82335 4 | 75 | 0 1299.79/1301.29 c 1300s | 17 | 282195 | 212732 | 82335 4 | 75 | 0 1302.69/1303.51 c 1302s | 17 | 282614 | 213132 | 82335 4 | 75 | 0 1302.69/1305.57 c 1304s | 17 | 282923 | 213432 | 82335 4 | 75 | 0 1306.76/1308.01 c 1307s | 17 | 283290 | 213732 | 82335 4 | 75 | 0 1310.18/1310.95 c 1310s | 17 | 283649 | 214032 | 82335 4 | 75 | 0 1310.18/1313.22 c 1312s | 17 | 283967 | 214332 | 82335 4 | 75 | 0 1312.82/1315.70 c 1314s | 17 | 284291 | 214632 | 82335 4 | 75 | 0 1315.92/1318.18 c 1317s | 17 | 284770 | 214932 | 82335 4 | 75 | 0 1315.92/1320.52 c 1319s | 17 | 285138 | 215232 | 82335 4 | 75 | 0 1320.11/1322.63 c 1321s | 17 | 285895 | 215432 | 82335 4 | 75 | 0 1322.83/1325.45 c 1324s | 17 | 286529 | 215732 | 82335 4 | 75 | 0 1327.32/1327.81 c 1326s | 17 | 286917 | 216032 | 82335 4 | 75 | 0 1327.32/1330.11 c 1329s | 17 | 287493 | 216332 | 82335 4 | 75 | 0 1331.98/1332.68 c 1331s | 17 | 287976 | 216732 | 82335 4 | 75 | 0 1331.98/1335.04 c 1334s | 17 | 288381 | 217132 | 82335 4 | 75 | 0 1336.30/1337.26 c 1336s | 17 | 288929 | 217432 | 82335 4 | 75 | 0 1336.30/1339.42 c 1338s | 17 | 289403 | 217732 | 82335 4 | 75 | 0 1336.30/1341.84 c 1341s | 17 | 289845 | 218132 | 82335 4 | 75 | 0 1336.30/1344.00 c 1343s | 17 | 290255 | 218532 | 82335 4 | 75 | 0 1336.30/1346.22 c 1345s | 17 | 290664 | 218932 | 82335 4 | 75 | 0 1336.30/1348.48 c 1347s | 17 | 291083 | 219332 | 82335 4 | 75 | 0 1336.30/1350.62 c 1349s | 17 | 291494 | 219732 | 82335 4 | 75 | 0 1336.30/1352.85 c 1352s | 17 | 291953 | 220132 | 82335 4 | 75 | 0 1353.37/1355.29 c 1354s | 17 | 292297 | 220432 | 82335 4 | 75 | 0 1356.89/1357.66 c 1356s | 17 | 292798 | 220732 | 82335 4 | 75 | 0 1356.89/1359.96 c 1359s | 17 | 293229 | 221032 | 82335 4 | 75 | 0 1356.89/1362.33 c 1361s | 17 | 293649 | 221432 | 82335 4 | 75 | 0 1363.50/1364.37 c 1363s | 17 | 294069 | 221832 | 82335 4 | 75 | 0 1363.50/1366.47 c 1365s | 17 | 294483 | 222232 | 82335 4 | 75 | 0 1363.50/1368.72 c 1367s | 17 | 295027 | 222532 | 82335 4 | 75 | 0 1370.08/1371.12 c 1370s | 17 | 295678 | 222832 | 82335 4 | 75 | 0 1370.93/1373.53 c 1372s | 17 | 296252 | 223132 | 82335 4 | 75 | 0 1370.93/1376.13 c 1375s | 17 | 296914 | 223432 | 82335 4 | 75 | 0 1370.93/1378.75 c 1377s | 17 | 297542 | 223832 | 82335 4 | 75 | 0 1380.63/1381.62 c 1380s | 17 | 298218 | 224132 | 82335 4 | 75 | 0 1380.63/1383.69 c 1382s | 17 | 298580 | 224332 | 82335 4 | 75 | 0 1385.31/1386.52 c 1385s | 17 | 298977 | 224632 | 82335 4 | 75 | 0 1386.43/1388.87 c 1388s | 17 | 299365 | 224932 | 82335 4 | 75 | 0 1386.43/1391.56 c 1390s | 17 | 300051 | 225232 | 82335 4 | 75 | 0 1391.70/1393.96 c 1393s | 17 | 300629 | 225532 | 82335 4 | 75 | 0 1391.70/1396.69 c 1395s | 17 | 301065 | 225932 | 82335 4 | 75 | 0 1391.70/1399.28 c 1398s | 17 | 301615 | 226232 | 82335 4 | 75 | 0 1391.70/1401.95 c 1401s | 17 | 302251 | 226532 | 82335 4 | 75 | 0 1391.70/1404.03 c 1403s | 17 | 302448 | 226732 | 82335 4 | 75 | 0 1391.70/1406.87 c 1406s | 17 | 302848 | 227032 | 82335 4 | 75 | 0 1407.24/1409.11 c 1408s | 17 | 303127 | 227232 | 82335 4 | 75 | 0 1408.70/1411.78 c 1410s | 17 | 303816 | 227532 | 82335 4 | 75 | 0 1408.70/1413.98 c 1413s | 17 | 304133 | 227832 | 82335 4 | 75 | 0 1408.70/1416.04 c 1415s | 17 | 304468 | 228132 | 82335 4 | 75 | 0 1408.70/1418.21 c 1417s | 17 | 305217 | 228432 | 82335 4 | 75 | 0 1408.70/1420.53 c 1419s | 17 | 305885 | 228732 | 82335 4 | 75 | 0 1422.63/1423.08 c 1422s | 17 | 306399 | 229032 | 82335 4 | 75 | 0 1422.63/1425.72 c 1424s | 17 | 306814 | 229432 | 82335 4 | 75 | 0 1427.56/1428.09 c 1427s | 17 | 307289 | 229732 | 82335 4 | 75 | 0 1429.86/1430.30 c 1429s | 17 | 307879 | 230032 | 82335 4 | 75 | 0 1432.06/1432.50 c 1431s | 17 | 308222 | 230332 | 82335 4 | 75 | 0 1434.26/1434.73 c 1433s | 17 | 308608 | 230632 | 82335 4 | 75 | 0 1437.37/1437.86 c 1437s | 17 | 309020 | 230932 | 82335 4 | 75 | 0 1439.66/1440.14 c 1439s | 17 | 309409 | 231232 | 82335 4 | 75 | 0 1441.86/1442.34 c 1441s | 17 | 309768 | 231532 | 82335 4 | 75 | 0 1444.46/1444.99 c 1444s | 17 | 310329 | 231832 | 82335 4 | 75 | 0 1446.86/1447.30 c 1446s | 17 | 310657 | 232132 | 82335 4 | 75 | 0 1449.47/1449.99 c 1449s | 17 | 311037 | 232432 | 82335 4 | 75 | 0 1451.76/1452.26 c 1451s | 17 | 311366 | 232732 | 82335 4 | 75 | 0 1453.96/1454.43 c 1453s | 17 | 311739 | 233032 | 82335 4 | 75 | 0 1456.36/1456.85 c 1456s | 17 | 312078 | 233332 | 82335 4 | 75 | 0 1458.46/1458.93 c 1458s | 17 | 312317 | 233532 | 82335 4 | 75 | 0 1460.86/1461.32 c 1460s | 17 | 312760 | 233832 | 82335 4 | 75 | 0 1462.86/1463.34 c 1462s | 17 | 313066 | 234132 | 82335 4 | 75 | 0 1465.06/1465.54 c 1464s | 17 | 313377 | 234432 | 82335 4 | 75 | 0 1467.86/1468.34 c 1467s | 17 | 313751 | 234732 | 82335 4 | 75 | 0 1470.37/1470.88 c 1470s | 17 | 314104 | 235032 | 82335 4 | 75 | 0 1472.76/1473.20 c 1472s | 17 | 314429 | 235332 | 82335 4 | 75 | 0 1474.76/1475.29 c 1474s | 17 | 314640 | 235532 | 82335 4 | 75 | 0 1477.55/1478.01 c 1477s | 17 | 314966 | 235832 | 82335 4 | 75 | 0 1479.75/1480.23 c 1479s | 17 | 315273 | 236032 | 82335 4 | 75 | 0 1481.75/1482.29 c 1481s | 17 | 315631 | 236232 | 82335 4 | 75 | 0 1483.85/1484.33 c 1483s | 17 | 315940 | 236432 | 82335 4 | 75 | 0 1485.85/1486.36 c 1485s | 17 | 316160 | 236632 | 82335 4 | 75 | 0 1488.55/1489.03 c 1488s | 17 | 316614 | 236932 | 82335 4 | 75 | 0 1491.26/1491.75 c 1490s | 17 | 316979 | 237232 | 82335 4 | 75 | 0 1493.55/1494.04 c 1493s | 17 | 317303 | 237532 | 82335 4 | 75 | 0 1496.05/1496.53 c 1495s | 17 | 317998 | 237832 | 82335 4 | 75 | 0 1498.55/1499.07 c 1498s | 17 | 318331 | 238132 | 82335 4 | 75 | 0 1500.55/1501.09 c 1500s | 17 | 318913 | 238332 | 82335 4 | 75 | 0 1503.36/1503.83 c 1503s | 17 | 319457 | 238632 | 82335 4 | 75 | 0 1505.35/1505.89 c 1505s | 17 | 319763 | 238932 | 82335 4 | 75 | 0 1508.15/1508.66 c 1507s | 17 | 320241 | 239232 | 82335 4 | 75 | 0 1510.96/1511.50 c 1510s | 17 | 320579 | 239532 | 82335 4 | 75 | 0 1513.75/1514.20 c 1513s | 17 | 320974 | 239832 | 82335 4 | 75 | 0 1516.15/1516.67 c 1515s | 17 | 321336 | 240132 | 82335 4 | 75 | 0 1519.05/1519.50 c 1518s | 17 | 321681 | 240432 | 82335 4 | 75 | 0 1521.65/1522.13 c 1521s | 17 | 321997 | 240732 | 82335 4 | 75 | 0 1524.16/1524.69 c 1523s | 17 | 322341 | 241032 | 82335 4 | 75 | 0 1526.84/1527.35 c 1526s | 17 | 322647 | 241232 | 82335 4 | 75 | 0 1529.54/1530.00 c 1529s | 17 | 323072 | 241532 | 82335 4 | 75 | 0 1532.04/1532.57 c 1531s | 17 | 323383 | 241832 | 82335 4 | 75 | 0 1534.44/1534.97 c 1534s | 17 | 323688 | 242132 | 82335 4 | 75 | 0 1537.35/1537.85 c 1537s | 17 | 324122 | 242432 | 82335 4 | 75 | 0 1539.44/1539.98 c 1539s | 17 | 324350 | 242632 | 82335 4 | 75 | 0 1541.94/1542.48 c 1541s | 17 | 324653 | 242932 | 82335 4 | 75 | 0 1544.14/1544.64 c 1543s | 17 | 324960 | 243232 | 82335 4 | 75 | 0 1546.34/1546.82 c 1545s | 17 | 325275 | 243532 | 82335 4 | 75 | 0 1548.45/1548.95 c 1548s | 17 | 325579 | 243832 | 82335 4 | 75 | 0 1550.55/1551.08 c 1550s | 17 | 326058 | 244032 | 82335 4 | 75 | 0 1553.34/1553.80 c 1552s | 17 | 326334 | 244232 | 82335 4 | 75 | 0 1555.74/1556.26 c 1555s | 17 | 326590 | 244432 | 82335 4 | 75 | 0 1558.14/1558.61 c 1557s | 17 | 326823 | 244632 | 82335 4 | 75 | 0 1560.34/1560.82 c 1559s | 17 | 327038 | 244832 | 82335 4 | 75 | 0 1563.24/1563.79 c 1562s | 17 | 327401 | 245132 | 82335 4 | 75 | 0 1566.14/1566.65 c 1565s | 17 | 327679 | 245332 | 82335 4 | 75 | 0 1568.64/1569.16 c 1568s | 17 | 327913 | 245532 | 82335 4 | 75 | 0 1570.84/1571.39 c 1570s | 17 | 328149 | 245732 | 82335 4 | 75 | 0 1572.94/1573.42 c 1572s | 17 | 328356 | 245932 | 82335 4 | 75 | 0 1575.04/1575.51 c 1574s | 17 | 328781 | 246132 | 82335 4 | 75 | 0 1577.54/1578.04 c 1577s | 17 | 328984 | 246332 | 82335 4 | 75 | 0 1579.64/1580.15 c 1579s | 17 | 329236 | 246532 | 82335 4 | 75 | 0 1582.14/1582.60 c 1581s | 17 | 329490 | 246732 | 82335 4 | 75 | 0 1584.65/1585.20 c 1584s | 17 | 329795 | 246932 | 82335 4 | 75 | 0 1586.84/1587.37 c 1586s | 17 | 330217 | 247132 | 82335 4 | 75 | 0 1589.83/1590.38 c 1589s | 17 | 330809 | 247432 | 82335 4 | 75 | 0 1593.13/1593.62 c 1592s | 17 | 331152 | 247732 | 82335 4 | 75 | 0 1595.23/1595.72 c 1594s | 17 | 331388 | 247932 | 82335 4 | 75 | 0 1597.43/1597.92 c 1597s | 17 | 331675 | 248132 | 82335 4 | 75 | 0 1599.93/1600.46 c 1599s | 17 | 332079 | 248432 | 82335 4 | 75 | 0 1602.24/1602.75 c 1601s | 17 | 332316 | 248632 | 82335 4 | 75 | 0 1605.13/1605.62 c 1604s | 17 | 332876 | 248932 | 82335 4 | 75 | 0 1608.43/1608.96 c 1608s | 17 | 333279 | 249232 | 82335 4 | 75 | 0 1611.04/1611.55 c 1610s | 17 | 333490 | 249432 | 82335 4 | 75 | 0 1613.24/1613.79 c 1612s | 17 | 333995 | 249632 | 82335 4 | 75 | 0 1616.33/1616.84 c 1616s | 17 | 334602 | 249932 | 82335 4 | 75 | 0 1618.43/1618.97 c 1618s | 17 | 335064 | 250132 | 82335 4 | 75 | 0 1625.03/1625.54 c 1624s | 17 | 335540 | 250332 | 82335 5 | 75 | 0 1627.43/1627.96 c 1627s | 17 | 336424 | 250632 | 82335 5 | 75 | 0 1630.03/1630.50 c 1629s | 17 | 337077 | 250932 | 82335 5 | 75 | 0 1632.13/1632.66 c 1631s | 17 | 337441 | 251232 | 82335 5 | 75 | 0 1634.53/1635.03 c 1634s | 17 | 337775 | 251532 | 82335 5 | 75 | 0 1637.03/1637.56 c 1636s | 17 | 338408 | 251832 | 82335 5 | 75 | 0 1639.13/1639.60 c 1638s | 17 | 338819 | 252132 | 82335 5 | 75 | 0 1642.13/1642.69 c 1641s | 17 | 339402 | 252532 | 82335 5 | 75 | 0 1644.53/1645.06 c 1644s | 17 | 339836 | 252832 | 82335 5 | 75 | 0 1647.23/1647.78 c 1646s | 17 | 340600 | 253132 | 82335 5 | 75 | 0 1649.93/1650.46 c 1649s | 17 | 341065 | 253432 | 82335 5 | 75 | 0 1652.53/1653.03 c 1652s | 17 | 341523 | 253732 | 82335 5 | 75 | 0 1654.73/1655.22 c 1654s | 17 | 342157 | 254032 | 82335 5 | 75 | 0 1657.43/1657.92 c 1657s | 17 | 342633 | 254432 | 82335 5 | 75 | 0 1659.82/1660.33 c 1659s | 17 | 343186 | 254732 | 82335 5 | 75 | 0 1661.92/1662.44 c 1661s | 17 | 343493 | 255032 | 82335 5 | 75 | 0 1664.22/1664.71 c 1663s | 17 | 343810 | 255332 | 82335 5 | 75 | 0 1666.52/1667.00 c 1666s | 17 | 344222 | 255732 | 82335 5 | 75 | 0 1668.92/1669.40 c 1668s | 17 | 344607 | 256032 | 82335 5 | 75 | 0 1671.12/1671.68 c 1670s | 17 | 345000 | 256332 | 82335 5 | 75 | 0 1673.32/1673.84 c 1673s | 17 | 345370 | 256632 | 82335 5 | 75 | 0 1675.72/1676.23 c 1675s | 17 | 345862 | 257032 | 82335 5 | 75 | 0 1678.62/1679.16 c 1678s | 17 | 346813 | 257332 | 82335 5 | 75 | 0 1681.32/1681.83 c 1681s | 17 | 347380 | 257632 | 82335 5 | 75 | 0 1683.82/1684.37 c 1683s | 17 | 347817 | 257932 | 82335 5 | 75 | 0 1686.22/1686.72 c 1685s | 17 | 348457 | 258232 | 82335 5 | 75 | 0 1688.52/1689.10 c 1688s | 17 | 348777 | 258532 | 82335 5 | 75 | 0 1691.43/1691.92 c 1691s | 17 | 349176 | 258832 | 82335 5 | 75 | 0 1693.92/1694.44 c 1693s | 17 | 349488 | 259132 | 82335 5 | 75 | 0 1696.02/1696.53 c 1695s | 17 | 349801 | 259432 | 82335 5 | 75 | 0 1698.72/1699.20 c 1698s | 17 | 350208 | 259832 | 82335 5 | 75 | 0 1701.02/1701.58 c 1700s | 17 | 350615 | 260232 | 82335 5 | 75 | 0 1703.92/1704.44 c 1703s | 17 | 351029 | 260632 | 82335 5 | 75 | 0 1706.83/1707.33 c 1706s | 17 | 351435 | 260932 | 82335 5 | 75 | 0 1708.93/1709.43 c 1708s | 17 | 351674 | 261132 | 82335 5 | 75 | 0 1711.62/1712.16 c 1711s | 17 | 351984 | 261432 | 82335 5 | 75 | 0 1713.72/1714.20 c 1713s | 17 | 352246 | 261632 | 82335 5 | 75 | 0 1716.42/1716.91 c 1716s | 17 | 352907 | 261932 | 82335 5 | 75 | 0 1719.11/1719.64 c 1718s | 17 | 353339 | 262332 | 82335 5 | 75 | 0 1721.31/1721.87 c 1721s | 17 | 353671 | 262632 | 82335 5 | 75 | 0 1723.32/1723.89 c 1723s | 17 | 353979 | 262932 | 82335 5 | 75 | 0 1726.21/1726.77 c 1725s | 17 | 354499 | 263332 | 82335 5 | 75 | 0 1728.82/1729.33 c 1728s | 17 | 354912 | 263732 | 82335 5 | 75 | 0 1731.21/1731.71 c 1730s | 17 | 355447 | 264032 | 82335 5 | 75 | 0 1733.41/1733.98 c 1733s | 17 | 355808 | 264332 | 82335 5 | 75 | 0 1735.51/1736.02 c 1735s | 17 | 356182 | 264632 | 82335 5 | 75 | 0 1737.52/1738.05 c 1737s | 17 | 356493 | 264932 | 82335 5 | 75 | 0 1739.72/1740.24 c 1739s | 17 | 356857 | 265232 | 82335 5 | 75 | 0 1741.92/1742.46 c 1741s | 17 | 357123 | 265432 | 82335 5 | 75 | 0 1744.51/1745.03 c 1744s | 17 | 357451 | 265732 | 82335 5 | 75 | 0 1746.71/1747.27 c 1746s | 17 | 357771 | 266032 | 82335 5 | 75 | 0 1748.91/1749.47 c 1748s | 17 | 358092 | 266332 | 82335 5 | 75 | 0 1751.61/1752.12 c 1751s | 17 | 358452 | 266632 | 82335 5 | 75 | 0 1753.81/1754.34 c 1753s | 17 | 358827 | 266932 | 82335 5 | 75 | 0 1756.11/1756.64 c 1755s | 17 | 359205 | 267232 | 82335 5 | 75 | 0 1758.31/1758.90 c 1758s | 17 | 359694 | 267532 | 82335 5 | 75 | 0 1761.11/1761.65 c 1760s | 17 | 360205 | 267932 | 82335 5 | 75 | 0 1765.51/1766.01 c 1765s | 17 | 360330 | 268032 | 82335 5 | 75 | 0 1767.91/1768.45 c 1767s | 17 | 360747 | 268432 | 82335 5 | 75 | 0 1770.11/1770.67 c 1769s | 17 | 361278 | 268932 | 82335 5 | 75 | 0 1772.72/1773.24 c 1772s | 17 | 361886 | 269332 | 82335 5 | 75 | 0 1775.11/1775.65 c 1774s | 17 | 362386 | 269632 | 82335 5 | 75 | 0 1777.61/1778.10 c 1777s | 17 | 363043 | 270032 | 82335 5 | 75 | 0 1779.71/1780.27 c 1779s | 17 | 363472 | 270332 | 82335 5 | 75 | 0 1781.81/1782.39 c 1781s | 17 | 363817 | 270632 | 82335 5 | 75 | 0 1784.20/1784.71 c 1783s | 17 | 364226 | 270932 | 82335 5 | 75 | 0 1786.90/1787.46 c 1786s | 17 | 364677 | 271232 | 82335 5 | 75 | 0 1789.40/1789.90 c 1789s | 17 | 365120 | 271532 | 82335 5 | 75 | 0 1791.60/1792.16 c 1791s | 17 | 365572 | 271832 | 82335 5 | 75 | 0 1793.80/1794.36 c 1793s | 17 | 365826 | 272032 | 82335 5 | 75 | 0 1796.10/1796.65 c 1795s | 17 | 366346 | 272332 | 82335 5 | 75 | 0 1798.60/1799.14 c 1798s | 17 | 366703 | 272632 | 82335 5 | 75 | 0
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-4079328-1465358721/watcher-4079328-1465358721 -o /tmp/evaluation-result-4079328-1465358721/solver-4079328-1465358721 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465358721-25297 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079328-1465358721.opb pid=25312 running on 8 cores: 4-7,12-15 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.00 2.00 2.34 3/254 25315 /proc/meminfo: memFree=31031788/32872528 swapFree=9196/9196 [pid=25315] ppid=25312 vsize=1135036 CPUtime=0 cores=4-7,12-15 /proc/25315/stat : 25315 (toysat) R 25312 25315 20050 0 -1 4202496 4308 0 0 0 0 0 0 0 20 0 4 0 117714178 1162276864 4668 33554432000 4194304 16246674 140735028313952 140735028313376 13880264 0 2 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/25315/statm: 284527 4677 441 2943 0 281421 0 [pid=25315/tid=25316] ppid=25312 vsize=1157564 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25316/stat : 25316 (toysat) S 25312 25315 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 117714178 1185345536 4755 33554432000 4194304 16246674 140735028313952 140386181819632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0 [pid=25315/tid=25317] ppid=25312 vsize=1162684 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25317/stat : 25317 (toysat) S 25312 25315 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714178 1190588416 4772 33554432000 4194304 16246674 140735028313952 140386171329776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0 [pid=25315/tid=25318] ppid=25312 vsize=1166780 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 117714178 1194782720 4791 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0 [startup+0.100193 s] /proc/loadavg: 2.00 2.00 2.34 3/254 25315 /proc/meminfo: memFree=31031788/32872528 swapFree=9196/9196 [pid=25315] ppid=25312 vsize=1302084 CPUtime=0.09 cores=4-7,12-15 /proc/25315/stat : 25315 (toysat) R 25312 25315 20050 0 -1 4202496 29164 0 0 0 5 4 0 0 20 0 4 0 117714178 1333334016 29463 33554432000 4194304 16246674 140735028313952 140735028313264 7371468 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/25315/statm: 325521 29476 801 2943 0 322415 0 [pid=25315/tid=25316] ppid=25312 vsize=1302084 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25316/stat : 25316 (toysat) S 25312 25315 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 117714178 1333334016 29490 33554432000 4194304 16246674 140735028313952 140386181819632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0 [pid=25315/tid=25317] ppid=25312 vsize=1302084 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25317/stat : 25317 (toysat) S 25312 25315 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714178 1333334016 29501 33554432000 4194304 16246674 140735028313952 140386171329776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0 [pid=25315/tid=25318] ppid=25312 vsize=1302084 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 117714178 1333334016 29513 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200536 s] /proc/loadavg: 2.00 2.00 2.34 3/254 25315 /proc/meminfo: memFree=31031788/32872528 swapFree=9196/9196 [pid=25315] ppid=25312 vsize=1314372 CPUtime=0.19 cores=4-7,12-15 /proc/25315/stat : 25315 (toysat) R 25312 25315 20050 0 -1 4202496 46394 0 0 0 12 7 0 0 20 0 4 0 117714178 1345916928 47203 33554432000 4194304 16246674 140735028313952 140735028313264 8058211 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/25315/statm: 328593 47203 801 2943 0 325487 0 [pid=25315/tid=25316] ppid=25312 vsize=1314372 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25316/stat : 25316 (toysat) S 25312 25315 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 117714178 1345916928 47203 33554432000 4194304 16246674 140735028313952 140386181819632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0 [pid=25315/tid=25317] ppid=25312 vsize=1314372 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25317/stat : 25317 (toysat) S 25312 25315 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714178 1345916928 47203 33554432000 4194304 16246674 140735028313952 140386171329776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0 [pid=25315/tid=25318] ppid=25312 vsize=1314372 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 117714178 1345916928 47203 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1314372 [startup+0.300463 s] /proc/loadavg: 2.00 2.00 2.34 3/254 25315 /proc/meminfo: memFree=31031788/32872528 swapFree=9196/9196 [pid=25315] ppid=25312 vsize=1314372 CPUtime=0.29 cores=4-7,12-15 /proc/25315/stat : 25315 (toysat) R 25312 25315 20050 0 -1 4202496 58011 0 0 0 21 8 0 0 20 0 4 0 117714178 1345916928 58820 33554432000 4194304 16246674 140735028313952 140735028313264 4220897 0 2 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/25315/statm: 328593 58820 812 2943 0 325487 0 [pid=25315/tid=25316] ppid=25312 vsize=1314372 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25316/stat : 25316 (toysat) S 25312 25315 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 117714178 1345916928 58820 33554432000 4194304 16246674 140735028313952 140386181819632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0 [pid=25315/tid=25317] ppid=25312 vsize=1314372 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25317/stat : 25317 (toysat) S 25312 25315 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714178 1345916928 58820 33554432000 4194304 16246674 140735028313952 140386171329776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0 [pid=25315/tid=25318] ppid=25312 vsize=1314372 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 117714178 1345916928 58820 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700432 s] /proc/loadavg: 2.00 2.00 2.34 3/254 25315 /proc/meminfo: memFree=31031788/32872528 swapFree=9196/9196 [pid=25315] ppid=25312 vsize=1314372 CPUtime=0.69 cores=4-7,12-15 /proc/25315/stat : 25315 (toysat) R 25312 25315 20050 0 -1 4202496 96757 0 0 0 56 13 0 0 20 0 4 0 117714178 1345916928 97567 33554432000 4194304 16246674 140735028313952 140735028313264 12478070 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/25315/statm: 328593 97576 842 2943 0 325487 0 [pid=25315/tid=25316] ppid=25312 vsize=1314372 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25316/stat : 25316 (toysat) S 25312 25315 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 117714178 1345916928 97582 33554432000 4194304 16246674 140735028313952 140386181819632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0 [pid=25315/tid=25317] ppid=25312 vsize=1314372 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25317/stat : 25317 (toysat) S 25312 25315 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714178 1345916928 97588 33554432000 4194304 16246674 140735028313952 140386171329776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0 [pid=25315/tid=25318] ppid=25312 vsize=1314372 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 117714178 1345916928 97593 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 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.00 2.00 2.34 3/265 25333 /proc/meminfo: memFree=30173132/32872528 swapFree=9196/9196 [pid=25315] ppid=25312 vsize=1314372 CPUtime=1.49 cores=4-7,12-15 /proc/25315/stat : 25315 (toysat) R 25312 25315 20050 0 -1 4202496 160442 0 0 0 127 22 0 0 20 0 4 0 117714178 1345916928 161251 33554432000 4194304 16246674 140735028313952 140735028295872 5828874 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/25315/statm: 328593 161255 885 2943 0 325487 0 [pid=25315/tid=25316] ppid=25312 vsize=1314372 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25316/stat : 25316 (toysat) S 25312 25315 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 117714178 1345916928 161257 33554432000 4194304 16246674 140735028313952 140386181819632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0 [pid=25315/tid=25317] ppid=25312 vsize=1314372 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25317/stat : 25317 (toysat) S 25312 25315 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714178 1345916928 161259 33554432000 4194304 16246674 140735028313952 140386171329776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0 [pid=25315/tid=25318] ppid=25312 vsize=1314372 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 117714178 1345916928 161261 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 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.00 2.00 2.34 3/265 25333 /proc/meminfo: memFree=29735592/32872528 swapFree=9196/9196 [pid=25315] ppid=25312 vsize=1314372 CPUtime=3.09 cores=4-7,12-15 /proc/25315/stat : 25315 (toysat) R 25312 25315 20050 0 -1 4202496 255400 0 0 0 273 36 0 0 20 0 4 0 117714178 1345916928 256209 33554432000 4194304 16246674 140735028313952 140735028295872 5828874 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/25315/statm: 328593 256212 885 2943 0 325487 0 [pid=25315/tid=25316] ppid=25312 vsize=1314372 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25316/stat : 25316 (toysat) S 25312 25315 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 117714178 1345916928 256213 33554432000 4194304 16246674 140735028313952 140386181819632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0 [pid=25315/tid=25317] ppid=25312 vsize=1314372 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25317/stat : 25317 (toysat) S 25312 25315 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714178 1345916928 256215 33554432000 4194304 16246674 140735028313952 140386171329776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0 [pid=25315/tid=25318] ppid=25312 vsize=1314372 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 117714178 1345916928 256216 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1314372 [startup+6.30042 s] /proc/loadavg: 2.08 2.02 2.34 3/265 25333 /proc/meminfo: memFree=28801756/32872528 swapFree=9196/9196 [pid=25315] ppid=25312 vsize=1322564 CPUtime=6.29 cores=4-7,12-15 /proc/25315/stat : 25315 (toysat) R 25312 25315 20050 0 -1 4202496 271316 0 0 0 591 38 0 0 20 0 4 0 117714178 1354305536 272125 33554432000 4194304 16246674 140735028313952 140735028295872 12995176 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/25315/statm: 330641 272125 888 2943 0 327535 0 [pid=25315/tid=25316] ppid=25312 vsize=1322564 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25316/stat : 25316 (toysat) S 25312 25315 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 117714178 1354305536 272125 33554432000 4194304 16246674 140735028313952 140386181819632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0 [pid=25315/tid=25317] ppid=25312 vsize=1322564 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25317/stat : 25317 (toysat) S 25312 25315 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714178 1354305536 272125 33554432000 4194304 16246674 140735028313952 140386171329776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0 [pid=25315/tid=25318] ppid=25312 vsize=1322564 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 117714178 1354305536 272125 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1322564 [startup+12.7004 s] /proc/loadavg: 2.07 2.02 2.34 3/265 25333 /proc/meminfo: memFree=28801136/32872528 swapFree=9196/9196 [pid=25315] ppid=25312 vsize=1322564 CPUtime=12.69 cores=4-7,12-15 /proc/25315/stat : 25315 (toysat) R 25312 25315 20050 0 -1 4202496 271320 0 0 0 1231 38 0 0 20 0 4 0 117714178 1354305536 272129 33554432000 4194304 16246674 140735028313952 140735028295872 12415740 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/25315/statm: 330641 272129 891 2943 0 327535 0 [pid=25315/tid=25316] ppid=25312 vsize=1322564 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25316/stat : 25316 (toysat) S 25312 25315 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 117714178 1354305536 272129 33554432000 4194304 16246674 140735028313952 140386181819632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0 [pid=25315/tid=25317] ppid=25312 vsize=1322564 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25317/stat : 25317 (toysat) S 25312 25315 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714178 1354305536 272129 33554432000 4194304 16246674 140735028313952 140386171329776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0 [pid=25315/tid=25318] ppid=25312 vsize=1322564 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 117714178 1354305536 272129 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1322564 [startup+25.5005 s] /proc/loadavg: 2.06 2.02 2.33 3/265 25333 /proc/meminfo: memFree=28801672/32872528 swapFree=9196/9196 [pid=25315] ppid=25312 vsize=1322564 CPUtime=25.49 cores=4-7,12-15 /proc/25315/stat : 25315 (toysat) R 25312 25315 20050 0 -1 4202496 271321 0 0 0 2511 38 0 0 20 0 4 0 117714178 1354305536 272129 33554432000 4194304 16246674 140735028313952 140735028295872 5822604 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/25315/statm: 330641 272129 891 2943 0 327535 0 [pid=25315/tid=25316] ppid=25312 vsize=1322564 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25316/stat : 25316 (toysat) S 25312 25315 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 117714178 1354305536 272129 33554432000 4194304 16246674 140735028313952 140386181819632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0 [pid=25315/tid=25317] ppid=25312 vsize=1322564 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25317/stat : 25317 (toysat) S 25312 25315 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714178 1354305536 272129 33554432000 4194304 16246674 140735028313952 140386171329776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0 [pid=25315/tid=25318] ppid=25312 vsize=1322564 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 117714178 1354305536 272129 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1322564 [startup+51.1005 s] /proc/loadavg: 2.04 2.02 2.32 3/265 25333 /proc/meminfo: memFree=28801840/32872528 swapFree=9196/9196 [pid=25315] ppid=25312 vsize=1322564 CPUtime=51.08 cores=4-7,12-15 /proc/25315/stat : 25315 (toysat) R 25312 25315 20050 0 -1 4202496 271328 0 0 0 5070 38 0 0 20 0 4 0 117714178 1354305536 272131 33554432000 4194304 16246674 140735028313952 140735028295872 5827749 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/25315/statm: 330641 272131 893 2943 0 327535 0 [pid=25315/tid=25316] ppid=25312 vsize=1322564 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25316/stat : 25316 (toysat) S 25312 25315 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 117714178 1354305536 272131 33554432000 4194304 16246674 140735028313952 140386181819632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0 [pid=25315/tid=25317] ppid=25312 vsize=1322564 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25317/stat : 25317 (toysat) S 25312 25315 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714178 1354305536 272131 33554432000 4194304 16246674 140735028313952 140386171329776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0 [pid=25315/tid=25318] ppid=25312 vsize=1322564 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 117714178 1354305536 272131 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1322564 [startup+102.301 s] /proc/loadavg: 2.01 2.01 2.30 3/265 25335 /proc/meminfo: memFree=28800600/32872528 swapFree=9196/9196 [pid=25315] ppid=25312 vsize=1322564 CPUtime=102.27 cores=4-7,12-15 /proc/25315/stat : 25315 (toysat) R 25312 25315 20050 0 -1 4202496 271345 0 0 0 10189 38 0 0 20 0 4 0 117714178 1354305536 272132 33554432000 4194304 16246674 140735028313952 140735028295872 5822428 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/25315/statm: 330641 272132 894 2943 0 327535 0 [pid=25315/tid=25316] ppid=25312 vsize=1322564 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25316/stat : 25316 (toysat) S 25312 25315 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 117714178 1354305536 272132 33554432000 4194304 16246674 140735028313952 140386181819632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0 [pid=25315/tid=25317] ppid=25312 vsize=1322564 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25317/stat : 25317 (toysat) S 25312 25315 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714178 1354305536 272132 33554432000 4194304 16246674 140735028313952 140386171329776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0 [pid=25315/tid=25318] ppid=25312 vsize=1322564 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 117714178 1354305536 272132 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1322564 ################ # More data... # ################ /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 1302.5 Current children cumulated vsize (KiB) 1377860 [startup+1363.16 s] /proc/loadavg: 2.17 2.10 2.10 3/264 25364 /proc/meminfo: memFree=28621568/32872528 swapFree=9196/9196 [pid=25315] ppid=25312 vsize=1377860 CPUtime=1362.74 cores=4-7,12-15 /proc/25315/stat : 25315 (toysat) R 25312 25315 20050 0 -1 4202496 285503 0 0 0 136229 45 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140735028295872 5822428 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/25315/statm: 344465 285960 898 2943 0 341359 0 [pid=25315/tid=25316] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25316/stat : 25316 (toysat) S 25312 25315 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386181819632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0 [pid=25315/tid=25317] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25317/stat : 25317 (toysat) S 25312 25315 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386171329776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0 [pid=25315/tid=25318] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 1362.74 Current children cumulated vsize (KiB) 1377860 [startup+1423.06 s] /proc/loadavg: 2.04 2.07 2.09 3/264 25365 /proc/meminfo: memFree=28621804/32872528 swapFree=9196/9196 [pid=25315] ppid=25312 vsize=1377860 CPUtime=1422.63 cores=4-7,12-15 /proc/25315/stat : 25315 (toysat) R 25312 25315 20050 0 -1 4202496 285503 0 0 0 142218 45 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140735028295872 5822428 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/25315/statm: 344465 285960 898 2943 0 341359 0 [pid=25315/tid=25316] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25316/stat : 25316 (toysat) S 25312 25315 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386181819632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0 [pid=25315/tid=25317] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25317/stat : 25317 (toysat) S 25312 25315 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386171329776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0 [pid=25315/tid=25318] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 1422.63 Current children cumulated vsize (KiB) 1377860 [startup+1482.3 s] /proc/loadavg: 2.01 2.05 2.08 3/266 25370 /proc/meminfo: memFree=28621272/32872528 swapFree=9196/9196 [pid=25315] ppid=25312 vsize=1377860 CPUtime=1481.85 cores=4-7,12-15 /proc/25315/stat : 25315 (toysat) R 25312 25315 20050 0 -1 4202496 285503 0 0 0 148140 45 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140735028295872 12415827 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/25315/statm: 344465 285960 898 2943 0 341359 0 [pid=25315/tid=25316] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25316/stat : 25316 (toysat) S 25312 25315 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386181819632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0 [pid=25315/tid=25317] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25317/stat : 25317 (toysat) S 25312 25315 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386171329776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0 [pid=25315/tid=25318] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1377860 [startup+1542.31 s] /proc/loadavg: 2.03 2.05 2.08 3/265 25371 /proc/meminfo: memFree=28323664/32872528 swapFree=9196/9196 [pid=25315] ppid=25312 vsize=1377860 CPUtime=1541.85 cores=4-7,12-15 /proc/25315/stat : 25315 (toysat) R 25312 25315 20050 0 -1 4202496 285503 0 0 0 154140 45 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140735028295872 5677884 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/25315/statm: 344465 285960 898 2943 0 341359 0 [pid=25315/tid=25316] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25316/stat : 25316 (toysat) S 25312 25315 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386181819632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0 [pid=25315/tid=25317] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25317/stat : 25317 (toysat) S 25312 25315 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386171329776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0 [pid=25315/tid=25318] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1377860 [startup+1602.3 s] /proc/loadavg: 2.06 2.06 2.08 3/265 25372 /proc/meminfo: memFree=28220280/32872528 swapFree=9196/9196 [pid=25315] ppid=25312 vsize=1377860 CPUtime=1601.83 cores=4-7,12-15 /proc/25315/stat : 25315 (toysat) R 25312 25315 20050 0 -1 4202496 285503 0 0 0 160138 45 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140735028295872 5523325 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/25315/statm: 344465 285960 898 2943 0 341359 0 [pid=25315/tid=25316] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25316/stat : 25316 (toysat) S 25312 25315 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386181819632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0 [pid=25315/tid=25317] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25317/stat : 25317 (toysat) S 25312 25315 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386171329776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0 [pid=25315/tid=25318] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1377860 [startup+1662.3 s] /proc/loadavg: 2.27 2.12 2.10 3/265 25373 /proc/meminfo: memFree=28220200/32872528 swapFree=9196/9196 [pid=25315] ppid=25312 vsize=1377860 CPUtime=1661.82 cores=4-7,12-15 /proc/25315/stat : 25315 (toysat) R 25312 25315 20050 0 -1 4202496 285503 0 0 0 166136 46 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140735028295872 5822938 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/25315/statm: 344465 285960 898 2943 0 341359 0 [pid=25315/tid=25316] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25316/stat : 25316 (toysat) S 25312 25315 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386181819632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0 [pid=25315/tid=25317] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25317/stat : 25317 (toysat) S 25312 25315 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386171329776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0 [pid=25315/tid=25318] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1377860 [startup+1722.3 s] /proc/loadavg: 2.20 2.12 2.10 3/265 25374 /proc/meminfo: memFree=28193576/32872528 swapFree=9196/9196 [pid=25315] ppid=25312 vsize=1377860 CPUtime=1721.81 cores=4-7,12-15 /proc/25315/stat : 25315 (toysat) R 25312 25315 20050 0 -1 4202496 285503 0 0 0 172135 46 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140735028295872 13774516 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/25315/statm: 344465 285960 898 2943 0 341359 0 [pid=25315/tid=25316] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25316/stat : 25316 (toysat) S 25312 25315 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386181819632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0 [pid=25315/tid=25317] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25317/stat : 25317 (toysat) S 25312 25315 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386171329776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0 [pid=25315/tid=25318] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1377860 [startup+1782.3 s] /proc/loadavg: 2.30 2.16 2.11 3/265 25376 /proc/meminfo: memFree=28153440/32872528 swapFree=9196/9196 [pid=25315] ppid=25312 vsize=1377860 CPUtime=1781.81 cores=4-7,12-15 /proc/25315/stat : 25315 (toysat) R 25312 25315 20050 0 -1 4202496 285503 0 0 0 178134 47 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140735028295872 5825644 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/25315/statm: 344465 285960 898 2943 0 341359 0 [pid=25315/tid=25316] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25316/stat : 25316 (toysat) S 25312 25315 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386181819632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0 [pid=25315/tid=25317] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25317/stat : 25317 (toysat) S 25312 25315 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386171329776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0 [pid=25315/tid=25318] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1377860 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.22 2.15 2.10 3/265 25377 /proc/meminfo: memFree=28152908/32872528 swapFree=9196/9196 [pid=25315] ppid=25312 vsize=1377860 CPUtime=1800 cores=4-7,12-15 /proc/25315/stat : 25315 (toysat) R 25312 25315 20050 0 -1 4202496 285503 0 0 0 179953 47 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140735028295872 12415831 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/25315/statm: 344465 285960 898 2943 0 341359 0 [pid=25315/tid=25316] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25316/stat : 25316 (toysat) S 25312 25315 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386181819632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0 [pid=25315/tid=25317] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25317/stat : 25317 (toysat) S 25312 25315 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386171329776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0 [pid=25315/tid=25318] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1377860 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 25315 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.22 2.15 2.10 3/265 25377 /proc/meminfo: memFree=28152908/32872528 swapFree=9196/9196 [pid=25315] ppid=25312 vsize=1377860 CPUtime=1800 cores=4-7,12-15 /proc/25315/stat : 25315 (toysat) R 25312 25315 20050 0 -1 4202496 285503 0 0 0 179953 47 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140735028295872 12415831 0 0 0 34082818 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/25315/statm: 344465 285960 898 2943 0 341359 0 [pid=25315/tid=25316] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25316/stat : 25316 (toysat) S 25312 25315 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386181819632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 14 0 0 0 0 0 [pid=25315/tid=25317] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25317/stat : 25317 (toysat) S 25312 25315 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386171329776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 12 0 0 0 0 0 [pid=25315/tid=25318] ppid=25312 vsize=1377860 CPUtime=0 cores=4-7,12-15 /proc/25315/task/25318/stat : 25318 (toysat) S 25312 25315 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 117714178 1410928640 285960 33554432000 4194304 16246674 140735028313952 140386160856240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1377860 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.54 CPU system time (s): 0.475927 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 1377860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.54 system time used= 0.475927 maximum resident set size= 1143840 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 285503 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= 366 involuntary context switches= 1834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.07308 second user time and 8.34273 second system time The end
Begin job on node132 at 2016-06-08 06:05:22 IDJOB=4079328 IDBENCH=92787 IDSOLVER=2542 FILE ID=node132/4079328-1465358721 RUNJOBID= node132-1465358721-25297 PBS_JOBID= 19853401 Free space on /tmp= 71748 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_1_ic.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079328-1465358721/watcher-4079328-1465358721 -o /tmp/evaluation-result-4079328-1465358721/solver-4079328-1465358721 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465358721-25297 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079328-1465358721.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 567c356ea9e6d819b9fda6e569f673c9 RANDOM SEED=1599913016 node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.41 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31033300 kB Buffers: 183356 kB Cached: 877052 kB SwapCached: 3220 kB Active: 388660 kB Inactive: 679688 kB Active(anon): 7160 kB Inactive(anon): 3312 kB Active(file): 381500 kB Inactive(file): 676376 kB Unevictable: 9196 kB Mlocked: 9196 kB SwapTotal: 67108856 kB SwapFree: 67094612 kB Dirty: 22100 kB Writeback: 0 kB AnonPages: 15044 kB Mapped: 7140 kB Shmem: 0 kB Slab: 625288 kB SReclaimable: 65116 kB SUnreclaim: 560172 kB KernelStack: 2104 kB PageTables: 3880 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 110608 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node132 at 2016-06-08 06:35:22