| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.41 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_28.opb |
| MD5SUM | 1ca77ae56bd382d667ab95b29a70f15a |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.590909 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 8556 |
| Total number of constraints | 41957 |
| Number of constraints which are clauses | 41952 |
| Number of constraints which are cardinality constraints (but not clauses) | 5 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 92 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 28 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 120 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-17T01:28:51+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-4098122-1466119730.opb"] 0.00/0.01 c use --random-gen="2272229760 842789181 2516512297 1300451932 2791931849 2879634327 613788698 1587784236 1194744346 70100296 4040196575 1107080672 2461356122 4106994444 2554696761 1057681214 4190656070 1342474077 2762475063 3814921397 3058863970 1540348679 3322084295 3477513114 3158034312 516589635 2648328370 1159635061 102574920 4097018002 3513212092 311662498 452709785 3143774660 2485627495 4015823987 2135736044 3662916822 161941070 3883229021 3557576131 1181750006 3857622461 3749829117 828819909 1036010693 1783249108 1412530797 3610406322 1326346136 660095139 2466686801 2889716495 2154954211 4065126155 2879448214 4017556556 898059826 3590565425 1736549895 1847262814 1681049076 1548288515 1013251015 723337109 3498471939 1048248250 1171901445 1662415535 4153517981 1051393700 1947007030 4004656059 2449500567 14454366 815938893 1070586323 1034615414 2184901454 4212780861 2330384861 1476300238 3762780437 815859368 4208686351 3578945275 2528539333 999970596 1873198458 270839670 888718147 1160692171 777602512 2142408805 871465399 1379252219 1374195760 325567028 4292807581 959571289 712562002 2608047552 1266064124 3982200641 3617340577 2941469418 2357763670 3903048239 1964688269 3412947211 1963900553 497622424 543644654 698778516 1444120491 2479416475 404769249 577546367 3177903546 303268456 3240277281 2316717372 3422088233 3402159241 2807220712 405080602 3176078993 825291050 2057841551 1300526749 493675500 1748927432 2152842074 2513759078 2713510232 1028730066 4200973510 2115155886 58544927 3023590658 643951485 3928661204 992114809 3942225807 829446467 665642276 1410503370 250955445 233400883 2677957209 836644165 3838859856 151742221 1113185685 3574071777 2124917094 3148792731 3186104121 275301155 785821 1461254214 2099803172 4083123182 3202365891 3915282860 3284544307 2056175204 3468072573 3924898248 2375413259 1506396045 1397308784 2329658991 2836315794 2246494235 507311477 2524047216 2353716517 67866492 3036690981 539205719 1736550506 1130095033 4121397194 48954597 632787780 1544869135 3430534678 377243646 371717304 3759972736 3070139884 2520316920 809325736 1647860301 3105701582 731067839 801363565 3852700082 2261531037 2601884218 2620929711 345232223 3493955789 2454069771 1587700175 3999984446 2788822589 3372077394 1645123821 511460560 3342058968 242619815 3102679493 1122321183 3422935780 476888199 2773103293 1524141727 1315470463 207284456 2081450821 2306932325 1866355008 4151107873 765019619 370000895 882777436 1356829410 800106684 2540400366 1744661966 1321634447 311512648 1104393664 206991978 935241362 213354434 2047676113 3140309542 1284874607 1889697226 1129873094 2933119414 3541843383 3629454445 2995797045 3244592555 2660471343 4178309032 88696955 1045172544 1284294384 2702878070 332381809 878306430 255 362436" option to reproduce the execution 0.99/1.04 c #vars 8556 0.99/1.04 c #constraints 41957 2.89/2.97 c Solving starts ... 2.89/2.97 c ============================[ Search Statistics ]============================ 2.89/2.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.89/2.97 c | | | | Limit GC | Var | Constra 2.89/2.97 c ============================================================================= 2.89/2.97 c 0.0s | 0 | 0 | 0 | 16836 0 | 5 | 0 3.59/3.63 c 0.7s | 1 | 1276 | 100 | 16836 0 | 5 | 792 4.50/4.55 c 1.6s | 2 | 1941 | 250 | 18520 0 | 5 | 792 5.79/5.88 c 2.9s | 3 | 3647 | 475 | 20372 0 | 5 | 792 7.59/7.64 c 4.7s | 4 | 6301 | 813 | 22410 0 | 5 | 792 9.69/9.73 c 6.8s | 4 | 8015 | 1313 | 24652 0 | 5 | 792 9.69/9.76 c 6.8s | 5 | 8070 | 1320 | 24652 0 | 5 | 792 11.79/11.87 c 8.9s | 5 | 11217 | 1720 | 27118 0 | 5 | 792 13.59/13.68 c 10.7s | 6 | 13035 | 2081 | 29830 0 | 5 | 792 16.39/16.42 c 13.4s | 6 | 17806 | 2581 | 29830 0 | 5 | 792 18.79/18.81 c 15.8s | 6 | 19832 | 2981 | 29830 0 | 5 | 792 19.69/19.77 c 16.8s | 7 | 20982 | 3223 | 32813 0 | 5 | 792 21.89/21.96 c 19.0s | 7 | 23312 | 3623 | 32813 0 | 5 | 792 24.29/24.37 c 21.4s | 7 | 27330 | 4123 | 32813 0 | 5 | 792 26.59/26.63 c 23.7s | 7 | 29225 | 4723 | 32813 0 | 5 | 792 27.69/27.71 c 24.7s | 8 | 30233 | 4936 | 36095 0 | 5 | 792 29.69/29.73 c 26.8s | 8 | 32644 | 5236 | 36095 0 | 5 | 792 32.19/32.20 c 29.2s | 8 | 37837 | 5736 | 36095 0 | 5 | 792 34.19/34.24 c 31.3s | 8 | 42498 | 6136 | 36095 0 | 5 | 792 36.39/36.45 c 33.5s | 8 | 46199 | 6736 | 36095 0 | 5 | 792 38.38/38.45 c 35.5s | 8 | 50000 | 7236 | 36095 0 | 5 | 792 39.58/39.62 c 36.6s | 9 | 52673 | 7506 | 39705 0 | 5 | 792 41.58/41.64 c 38.7s | 9 | 55706 | 7806 | 39705 0 | 5 | 792 43.58/43.66 c 40.7s | 9 | 58796 | 8206 | 39705 0 | 5 | 792 45.58/45.69 c 42.7s | 9 | 62694 | 8606 | 39705 0 | 5 | 792 47.78/47.84 c 44.9s | 9 | 67562 | 9006 | 39705 0 | 5 | 792 50.08/50.11 c 47.1s | 9 | 75445 | 9506 | 39705 0 | 5 | 792 52.08/52.12 c 49.1s | 9 | 79369 | 10106 | 39705 0 | 5 | 792 54.28/54.38 c 51.4s | 9 | 86600 | 10606 | 39705 0 | 5 | 792 56.38/56.43 c 53.5s | 9 | 92681 | 11006 | 39705 0 | 5 | 792 57.98/58.02 c 55.1s | 10 | 98452 | 11361 | 43676 0 | 5 | 792 60.18/60.25 c 57.3s | 10 | 104412 | 11761 | 43676 0 | 5 | 792 62.28/62.32 c 59.4s | 10 | 108346 | 12161 | 43676 0 | 5 | 792 64.28/64.34 c 61.4s | 10 | 113167 | 12661 | 43676 0 | 5 | 792 66.68/66.70 c 63.7s | 10 | 116246 | 13261 | 43676 0 | 5 | 792 69.18/69.26 c 66.3s | 10 | 121515 | 13761 | 43676 0 | 5 | 792 71.28/71.30 c 68.3s | 10 | 125443 | 14161 | 43676 0 | 5 | 792 73.38/73.42 c 70.5s | 10 | 128029 | 14761 | 43676 0 | 5 | 792 75.48/75.53 c 72.6s | 10 | 132801 | 15261 | 43676 0 | 5 | 792 77.48/77.54 c 74.6s | 10 | 136403 | 15661 | 43676 0 | 5 | 792 79.58/79.65 c 76.7s | 10 | 140325 | 16061 | 43676 0 | 5 | 792 81.68/81.79 c 78.8s | 10 | 144127 | 16461 | 43676 0 | 5 | 792 84.08/84.16 c 81.2s | 10 | 147726 | 16961 | 43676 0 | 5 | 792 84.68/84.76 c 81.8s | 11 | 148835 | 17144 | 48044 0 | 5 | 792 86.88/86.99 c 84.0s | 11 | 153408 | 17544 | 48044 0 | 5 | 792 89.28/89.31 c 86.3s | 11 | 157269 | 18244 | 48044 0 | 5 | 792 91.68/91.71 c 88.7s | 11 | 162035 | 18744 | 48044 0 | 5 | 792 93.87/93.94 c 91.0s | 11 | 166748 | 19144 | 48044 0 | 5 | 792 96.17/96.25 c 93.3s | 11 | 170309 | 19744 | 48044 0 | 5 | 792 98.67/98.78 c 95.8s | 11 | 174126 | 20244 | 48044 0 | 5 | 792 101.07/101.11 c 98.1s | 11 | 177669 | 20644 | 48044 0 | 5 | 792 103.67/103.70 c 100s | 11 | 182961 | 21044 | 48044 0 | 5 | 792 106.17/106.28 c 103s | 11 | 187713 | 21444 | 48044 0 | 5 | 792 108.47/108.50 c 105s | 11 | 191181 | 21944 | 48044 0 | 5 | 792 110.67/110.74 c 107s | 11 | 195043 | 22444 | 48044 0 | 5 | 792 113.07/113.11 c 110s | 11 | 199255 | 22844 | 48044 0 | 5 | 792 115.58/115.64 c 112s | 11 | 210087 | 23244 | 48044 0 | 5 | 792 117.97/118.09 c 115s | 11 | 213889 | 23644 | 48044 0 | 5 | 792 120.08/120.11 c 117s | 11 | 217684 | 24244 | 48044 0 | 5 | 792 122.67/122.72 c 119s | 11 | 223603 | 24744 | 48044 0 | 5 | 792 124.77/124.84 c 121s | 11 | 228632 | 25144 | 48044 0 | 5 | 792 126.87/126.90 c 123s | 11 | 232759 | 25744 | 52849 0 | 5 | 792 127.07/127.10 c 124s | 12 | 233080 | 25819 | 52849 0 | 5 | 792 129.37/129.41 c 126s | 12 | 238202 | 26219 | 52849 0 | 5 | 792 131.47/131.57 c 128s | 12 | 241473 | 26719 | 52849 0 | 5 | 792 134.07/134.15 c 131s | 12 | 246879 | 27219 | 52849 0 | 5 | 792 136.17/136.28 c 133s | 12 | 252878 | 27619 | 52849 0 | 5 | 792 138.37/138.47 c 135s | 12 | 255958 | 28019 | 52849 0 | 5 | 792 140.67/140.77 c 137s | 12 | 259229 | 28619 | 52849 0 | 5 | 792 142.97/143.06 c 140s | 12 | 265012 | 29119 | 52849 0 | 5 | 792 145.17/145.29 c 142s | 12 | 269406 | 29519 | 52849 0 | 5 | 792 147.67/147.74 c 144s | 12 | 272277 | 29919 | 52849 0 | 5 | 792 149.87/149.92 c 146s | 12 | 275437 | 30519 | 52849 0 | 5 | 792 152.37/152.44 c 149s | 12 | 279536 | 31019 | 52849 0 | 5 | 792 154.47/154.55 c 151s | 12 | 283785 | 31419 | 52849 0 | 5 | 792 156.77/156.88 c 153s | 12 | 289307 | 31819 | 52849 0 | 5 | 792 159.26/159.35 c 156s | 12 | 293702 | 32219 | 52849 0 | 5 | 792 161.66/161.78 c 158s | 12 | 298302 | 32719 | 52849 0 | 5 | 792 163.97/164.06 c 161s | 12 | 300762 | 33319 | 52849 0 | 5 | 792 166.46/166.50 c 163s | 12 | 306540 | 33819 | 52849 0 | 5 | 792 168.66/168.79 c 165s | 12 | 311752 | 34219 | 52849 0 | 5 | 792 170.76/170.84 c 167s | 12 | 316032 | 34819 | 52849 0 | 5 | 792 173.26/173.38 c 170s | 12 | 322019 | 35319 | 52849 0 | 5 | 792 175.46/175.57 c 172s | 12 | 327595 | 35719 | 52849 0 | 5 | 792 177.66/177.70 c 174s | 12 | 332021 | 36119 | 52849 0 | 5 | 792 179.66/179.78 c 176s | 12 | 336061 | 36719 | 52849 0 | 5 | 792 182.16/182.21 c 179s | 12 | 342097 | 37219 | 52849 0 | 5 | 792 184.36/184.42 c 181s | 12 | 349864 | 37819 | 52849 0 | 5 | 792 186.56/186.67 c 183s | 12 | 353493 | 38419 | 52849 0 | 5 | 792 188.56/188.68 c 185s | 12 | 359643 | 38819 | 58134 0 | 5 | 792 188.66/188.74 c 185s | 13 | 359870 | 38832 | 58134 0 | 5 | 792 190.86/190.91 c 187s | 13 | 366182 | 39332 | 58134 0 | 5 | 792 193.06/193.11 c 190s | 13 | 370546 | 39932 | 58134 0 | 5 | 792 195.36/195.49 c 192s | 13 | 376176 | 40432 | 58134 0 | 5 | 792 197.86/197.93 c 194s | 13 | 382243 | 41132 | 58134 0 | 5 | 792 199.86/199.94 c 196s | 13 | 389248 | 41632 | 58134 0 | 5 | 792 202.06/202.12 c 199s | 13 | 394010 | 42332 | 58134 0 | 5 | 792 204.06/204.13 c 201s | 13 | 399773 | 42932 | 58134 0 | 5 | 792 206.16/206.28 c 203s | 13 | 403721 | 43432 | 58134 0 | 5 | 792 208.36/208.44 c 205s | 13 | 408303 | 44132 | 58134 0 | 5 | 792 210.56/210.69 c 207s | 13 | 412473 | 44632 | 58134 0 | 5 | 792 212.86/212.99 c 210s | 13 | 415241 | 45132 | 58134 0 | 5 | 792 215.16/215.28 c 212s | 13 | 420549 | 45832 | 58134 0 | 5 | 792 217.36/217.48 c 214s | 13 | 425595 | 46332 | 58134 0 | 5 | 792 219.66/219.71 c 216s | 13 | 429500 | 46932 | 58134 0 | 5 | 792 221.76/221.88 c 218s | 13 | 433840 | 47532 | 58134 0 | 5 | 792 224.05/224.14 c 221s | 13 | 437624 | 48032 | 58134 0 | 5 | 792 226.15/226.27 c 223s | 13 | 444600 | 48832 | 58134 0 | 5 | 792 228.25/228.38 c 225s | 13 | 449778 | 49532 | 58134 0 | 5 | 792 230.55/230.63 c 227s | 13 | 454744 | 50332 | 58134 0 | 5 | 792 232.95/233.06 c 230s | 13 | 459243 | 50932 | 58134 0 | 5 | 792 235.15/235.23 c 232s | 13 | 461912 | 51532 | 58134 0 | 5 | 792 237.25/237.30 c 234s | 13 | 464073 | 52032 | 58134 0 | 5 | 792 239.25/239.33 c 236s | 13 | 468433 | 52832 | 58134 0 | 5 | 792 241.35/241.40 c 238s | 13 | 471158 | 53432 | 58134 0 | 5 | 792 243.65/243.71 c 240s | 13 | 474512 | 54232 | 58134 0 | 5 | 792 245.75/245.84 c 242s | 13 | 476081 | 54932 | 58134 0 | 5 | 792 248.15/248.27 c 245s | 13 | 479870 | 55332 | 58134 0 | 5 | 792 250.55/250.64 c 247s | 13 | 485032 | 56032 | 58134 0 | 5 | 792 253.16/253.28 c 250s | 13 | 492306 | 56532 | 58134 0 | 5 | 792 255.75/255.80 c 252s | 13 | 499112 | 56932 | 58134 0 | 5 | 792 257.85/257.91 c 254s | 13 | 501838 | 57232 | 58134 0 | 5 | 792 259.95/260.07 c 257s | 13 | 505013 | 57632 | 58134 0 | 5 | 792 262.35/262.40 c 259s | 13 | 508397 | 58232 | 63948 0 | 5 | 792 262.75/262.87 c 259s | 14 | 509757 | 58352 | 63948 0 | 5 | 792 265.16/265.28 c 262s | 14 | 512953 | 58652 | 63948 0 | 5 | 792 267.15/267.28 c 264s | 14 | 516030 | 58952 | 63948 0 | 5 | 792 269.25/269.38 c 266s | 14 | 519802 | 59252 | 63948 0 | 5 | 792 271.35/271.41 c 268s | 14 | 523120 | 59552 | 63948 0 | 5 | 792 273.65/273.76 c 270s | 14 | 528543 | 59952 | 63948 0 | 5 | 792 275.85/275.91 c 272s | 14 | 532682 | 60552 | 63948 0 | 5 | 792 278.25/278.36 c 275s | 14 | 537765 | 61052 | 63948 0 | 5 | 792 280.55/280.68 c 277s | 14 | 546083 | 61552 | 63948 0 | 5 | 792 282.65/282.74 c 279s | 14 | 551345 | 62252 | 63948 0 | 5 | 792 284.95/285.02 c 282s | 14 | 559524 | 62752 | 63948 0 | 5 | 792 287.15/287.22 c 284s | 14 | 567696 | 63552 | 63948 0 | 5 | 792 289.15/289.25 c 286s | 14 | 572442 | 63952 | 63948 0 | 5 | 792 291.65/291.78 c 288s | 14 | 575787 | 64352 | 63948 0 | 5 | 792 293.75/293.81 c 290s | 14 | 578229 | 64752 | 63948 0 | 5 | 792 296.14/296.20 c 293s | 14 | 580640 | 65252 | 63948 0 | 5 | 792 300.95/301.00 c 298s | 14 | 584921 | 65652 | 63948 1 | 5 | 792 302.94/303.02 c 300s | 14 | 587235 | 65852 | 63948 1 | 5 | 792 305.24/305.38 c 302s | 14 | 593283 | 66352 | 63948 1 | 5 | 792 307.64/307.74 c 304s | 14 | 597406 | 66952 | 63948 1 | 5 | 792 309.74/309.85 c 306s | 14 | 601496 | 67352 | 63948 1 | 5 | 792 311.84/311.98 c 309s | 14 | 605743 | 67952 | 63948 1 | 5 | 792 314.14/314.28 c 311s | 14 | 610970 | 68452 | 63948 1 | 5 | 792 316.34/316.44 c 313s | 14 | 614470 | 68852 | 63948 1 | 5 | 792 318.74/318.80 c 315s | 14 | 619638 | 69552 | 63948 1 | 5 | 792 320.84/320.92 c 317s | 14 | 622736 | 69952 | 63948 1 | 5 | 792 323.14/323.22 c 320s | 14 | 627928 | 70352 | 63948 1 | 5 | 792 325.24/325.37 c 322s | 14 | 634576 | 70952 | 63948 1 | 5 | 792 327.74/327.81 c 324s | 14 | 640394 | 71552 | 63948 1 | 5 | 792 330.05/330.11 c 327s | 14 | 643608 | 71852 | 63948 1 | 5 | 792 332.04/332.14 c 329s | 14 | 647545 | 72252 | 63948 1 | 5 | 792 334.24/334.35 c 331s | 14 | 652841 | 72952 | 63948 1 | 5 | 792 336.75/336.83 c 333s | 14 | 657336 | 73352 | 63948 1 | 5 | 792 339.04/339.11 c 336s | 14 | 662432 | 73752 | 63948 1 | 5 | 792 341.54/341.67 c 338s | 14 | 668112 | 74252 | 63948 1 | 5 | 792 343.84/343.91 c 340s | 14 | 671488 | 74852 | 63948 1 | 5 | 792 345.94/346.01 c 343s | 14 | 675666 | 75252 | 63948 1 | 5 | 792 348.14/348.26 c 345s | 14 | 681370 | 75752 | 63948 1 | 5 | 792 350.54/350.68 c 347s | 14 | 688362 | 76552 | 63948 1 | 5 | 792 352.84/352.90 c 349s | 14 | 692584 | 76952 | 63948 1 | 5 | 792 354.94/355.00 c 352s | 14 | 696687 | 77352 | 63948 1 | 5 | 792 357.34/357.42 c 354s | 14 | 698957 | 77952 | 63948 1 | 5 | 792 359.64/359.70 c 356s | 14 | 705257 | 78452 | 63948 1 | 5 | 792 361.64/361.77 c 358s | 14 | 711063 | 79152 | 63948 1 | 5 | 792 363.74/363.82 c 360s | 14 | 715568 | 79552 | 63948 1 | 5 | 792 365.74/365.82 c 362s | 14 | 720409 | 80152 | 63948 1 | 5 | 792 368.04/368.10 c 365s | 14 | 725955 | 80752 | 63948 1 | 5 | 792 370.13/370.24 c 367s | 14 | 730989 | 81252 | 63948 1 | 5 | 792 372.33/372.43 c 369s | 14 | 735398 | 81852 | 63948 1 | 5 | 792 374.33/374.46 c 371s | 14 | 738757 | 82352 | 63948 1 | 5 | 792 376.43/376.55 c 373s | 14 | 742543 | 82852 | 63948 1 | 5 | 792 378.63/378.74 c 375s | 14 | 748025 | 83352 | 63948 1 | 5 | 792 380.93/381.09 c 378s | 14 | 753519 | 84052 | 63948 1 | 5 | 792 383.03/383.12 c 380s | 14 | 758905 | 84752 | 63948 1 | 5 | 792 385.23/385.35 c 382s | 14 | 762426 | 85352 | 63948 1 | 5 | 792 387.34/387.48 c 384s | 14 | 767133 | 85852 | 63948 1 | 5 | 792 389.44/389.56 c 386s | 14 | 772097 | 86552 | 63948 1 | 5 | 792 391.74/391.81 c 388s | 14 | 775387 | 87152 | 70343 1 | 5 | 792 393.33/393.47 c 390s | 15 | 778158 | 87632 | 70343 1 | 5 | 792 395.73/395.83 c 392s | 15 | 781432 | 87932 | 70343 1 | 5 | 792 397.83/397.99 c 395s | 15 | 786328 | 88332 | 70343 1 | 5 | 792 400.23/400.31 c 397s | 15 | 790131 | 88932 | 70343 1 | 5 | 792 402.53/402.62 c 399s | 15 | 792502 | 89332 | 70343 1 | 5 | 792 404.94/405.02 c 402s | 15 | 797961 | 89732 | 70343 1 | 5 | 792 406.93/407.02 c 404s | 15 | 800879 | 90232 | 70343 1 | 5 | 792 409.24/409.32 c 406s | 15 | 804541 | 90732 | 70343 1 | 5 | 792 411.33/411.49 c 408s | 15 | 809213 | 91132 | 70343 1 | 5 | 792 413.53/413.60 c 410s | 15 | 814865 | 91532 | 70343 1 | 5 | 792 415.63/415.76 c 412s | 15 | 819945 | 92132 | 70343 1 | 5 | 792 417.73/417.88 c 414s | 15 | 825799 | 92632 | 70343 1 | 5 | 792 419.93/420.05 c 417s | 15 | 831349 | 93032 | 70343 1 | 5 | 792 422.03/422.12 c 419s | 15 | 837672 | 93732 | 70343 1 | 5 | 792 424.23/424.35 c 421s | 15 | 843582 | 94232 | 70343 1 | 5 | 792 426.33/426.44 c 423s | 15 | 847178 | 94832 | 70343 1 | 5 | 792 428.63/428.75 c 425s | 15 | 852290 | 95332 | 70343 1 | 5 | 792 430.83/430.92 c 427s | 15 | 857337 | 95732 | 70343 1 | 5 | 792 432.93/433.02 c 430s | 15 | 860156 | 96232 | 70343 1 | 5 | 792 435.22/435.38 c 432s | 15 | 866065 | 96732 | 70343 1 | 5 | 792 437.52/437.67 c 434s | 15 | 870377 | 97432 | 70343 1 | 5 | 792 439.82/439.95 c 436s | 15 | 874485 | 97932 | 70343 1 | 5 | 792 442.12/442.28 c 439s | 15 | 878732 | 98532 | 70343 1 | 5 | 792 444.32/444.48 c 441s | 15 | 881837 | 99132 | 70343 1 | 5 | 792 446.63/446.74 c 443s | 15 | 886748 | 99632 | 70343 1 | 5 | 792 448.72/448.90 c 445s | 15 | 889490 | 100132 | 70343 1 | 5 | 792 450.82/450.98 c 448s | 15 | 893638 | 100732 | 70343 1 | 5 | 792 452.92/453.03 c 450s | 15 | 899121 | 101432 | 70343 1 | 5 | 792 455.12/455.20 c 452s | 15 | 904486 | 102032 | 70343 1 | 5 | 792 457.32/457.41 c 454s | 15 | 907842 | 102632 | 70343 1 | 5 | 792 459.32/459.43 c 456s | 15 | 911735 | 103232 | 70343 1 | 5 | 792 461.42/461.54 c 458s | 15 | 914773 | 103832 | 70343 1 | 5 | 792 463.52/463.60 c 460s | 15 | 918574 | 104532 | 70343 1 | 5 | 792 465.72/465.86 c 462s | 15 | 922079 | 105232 | 70343 1 | 5 | 792 467.92/468.02 c 465s | 15 | 925487 | 105932 | 70343 1 | 5 | 792 470.02/470.19 c 467s | 15 | 927951 | 106632 | 70343 1 | 5 | 792 472.32/472.44 c 469s | 15 | 930046 | 107332 | 70343 1 | 5 | 792 474.72/474.81 c 471s | 15 | 931639 | 107932 | 70343 2 | 5 | 792 476.82/476.95 c 473s | 15 | 935180 | 108232 | 70343 2 | 5 | 792 478.92/479.09 c 476s | 15 | 939026 | 108832 | 70343 2 | 5 | 792 484.22/484.34 c 481s | 15 | 940932 | 109032 | 70343 2 | 5 | 792 487.12/487.29 c 484s | 15 | 945180 | 109332 | 70343 2 | 5 | 792 489.52/489.62 c 486s | 15 | 950594 | 109732 | 70343 2 | 5 | 792 491.62/491.74 c 488s | 15 | 955091 | 110232 | 70343 2 | 5 | 792 493.62/493.79 c 490s | 15 | 959602 | 110732 | 70343 2 | 5 | 792 495.72/495.89 c 492s | 15 | 962012 | 111032 | 70343 2 | 5 | 792 497.82/497.93 c 494s | 15 | 967244 | 111432 | 70343 2 | 5 | 792 500.02/500.12 c 497s | 15 | 972270 | 112032 | 70343 2 | 5 | 792 502.12/502.22 c 499s | 15 | 974638 | 112532 | 70343 2 | 5 | 792 504.22/504.30 c 501s | 15 | 978437 | 112932 | 70343 2 | 5 | 792 506.42/506.58 c 503s | 15 | 982918 | 113332 | 70343 2 | 5 | 792 508.51/508.66 c 505s | 15 | 987926 | 113732 | 70343 2 | 5 | 792 510.61/510.73 c 507s | 15 | 992946 | 114432 | 70343 2 | 5 | 792 512.81/512.98 c 510s | 15 | 998134 | 114832 | 70343 2 | 5 | 792 515.41/515.57 c 512s | 15 | 1002189 | 115432 | 70343 2 | 5 | 792 517.51/517.67 c 514s | 15 | 1007320 | 115832 | 70343 2 | 5 | 792 519.71/519.87 c 516s | 15 | 1012187 | 116232 | 70343 2 | 5 | 792 521.91/522.02 c 519s | 15 | 1018110 | 116832 | 70343 2 | 5 | 792 523.91/524.09 c 521s | 15 | 1023259 | 117332 | 70343 2 | 5 | 792 526.31/526.46 c 523s | 15 | 1028620 | 117732 | 70343 2 | 5 | 792 528.31/528.46 c 525s | 15 | 1033262 | 118132 | 70343 2 | 5 | 792 530.41/530.56 c 527s | 15 | 1036852 | 118632 | 70343 2 | 5 | 792 532.52/532.65 c 529s | 15 | 1042077 | 119132 | 70343 2 | 5 | 792 534.81/534.94 c 531s | 15 | 1047100 | 119532 | 70343 2 | 5 | 792 537.01/537.19 c 534s | 15 | 1051419 | 120132 | 70343 2 | 5 | 792 539.41/539.56 c 536s | 15 | 1056708 | 120632 | 70343 2 | 5 | 792 541.81/541.94 c 538s | 15 | 1061019 | 121132 | 70343 2 | 5 | 792 544.01/544.12 c 541s | 15 | 1066147 | 121732 | 70343 2 | 5 | 792 546.11/546.20 c 543s | 15 | 1073306 | 122332 | 70343 2 | 5 | 792 548.31/548.44 c 545s | 15 | 1076999 | 122932 | 70343 2 | 5 | 792 550.41/550.54 c 547s | 15 | 1081753 | 123332 | 70343 2 | 5 | 792 552.71/552.84 c 549s | 15 | 1087811 | 124032 | 70343 2 | 5 | 792 555.21/555.31 c 552s | 15 | 1093327 | 124532 | 70343 2 | 5 | 792 557.41/557.55 c 554s | 15 | 1096707 | 125132 | 70343 2 | 5 | 792 559.71/559.88 c 556s | 15 | 1102927 | 125632 | 70343 2 | 5 | 792 561.81/561.92 c 558s | 15 | 1107114 | 126232 | 70343 2 | 5 | 792 564.11/564.27 c 561s | 15 | 1111134 | 126732 | 70343 2 | 5 | 792 566.40/566.51 c 563s | 15 | 1115015 | 127232 | 70343 2 | 5 | 792 568.60/568.71 c 565s | 15 | 1120825 | 127932 | 70343 2 | 5 | 792 570.80/570.96 c 567s | 15 | 1125730 | 128532 | 70343 2 | 5 | 792 573.00/573.18 c 570s | 15 | 1129656 | 129132 | 70343 2 | 5 | 792 575.10/575.24 c 572s | 15 | 1133647 | 129732 | 70343 2 | 5 | 792 577.30/577.42 c 574s | 15 | 1138471 | 130432 | 70343 2 | 5 | 792 579.30/579.47 c 576s | 15 | 1142194 | 131032 | 77378 2 | 5 | 792 581.30/581.41 c 578s | 16 | 1145313 | 131552 | 77378 2 | 5 | 792 583.50/583.60 c 580s | 16 | 1147172 | 132052 | 77378 2 | 5 | 792 585.70/585.86 c 582s | 16 | 1150685 | 132652 | 77378 2 | 5 | 792 587.90/588.06 c 585s | 16 | 1153863 | 133252 | 77378 2 | 5 | 792 589.90/590.08 c 587s | 16 | 1156436 | 133952 | 77378 2 | 5 | 792 592.10/592.21 c 589s | 16 | 1159445 | 134552 | 77378 2 | 5 | 792 594.30/594.44 c 591s | 16 | 1161593 | 135252 | 77378 2 | 5 | 792 596.31/596.46 c 593s | 16 | 1163102 | 135952 | 77378 2 | 5 | 792 598.60/598.78 c 595s | 16 | 1168464 | 136452 | 77378 2 | 5 | 792 600.80/600.97 c 598s | 16 | 1171710 | 136852 | 77378 2 | 5 | 792 602.91/603.01 c 600s | 16 | 1174623 | 137352 | 77378 2 | 5 | 792 604.90/605.06 c 602s | 16 | 1178859 | 137752 | 77378 2 | 5 | 792 607.50/607.66 c 604s | 16 | 1183908 | 138152 | 77378 2 | 5 | 792 609.80/609.98 c 607s | 16 | 1189000 | 138652 | 77378 2 | 5 | 792 612.10/612.28 c 609s | 16 | 1193271 | 139252 | 77378 2 | 5 | 792 614.20/614.30 c 611s | 16 | 1197233 | 139552 | 77378 2 | 5 | 792 616.30/616.45 c 613s | 16 | 1200432 | 140052 | 77378 2 | 5 | 792 618.60/618.79 c 615s | 16 | 1206450 | 140552 | 77378 2 | 5 | 792 620.80/620.97 c 617s | 16 | 1210646 | 141152 | 77378 2 | 5 | 792 622.80/622.97 c 620s | 16 | 1215930 | 141552 | 77378 2 | 5 | 792 625.00/625.13 c 622s | 16 | 1221551 | 142152 | 77378 2 | 5 | 792 627.10/627.25 c 624s | 16 | 1226756 | 142652 | 77378 2 | 5 | 792 629.30/629.49 c 626s | 16 | 1232660 | 143352 | 77378 2 | 5 | 792 631.50/631.66 c 628s | 16 | 1238882 | 143852 | 77378 2 | 5 | 792 633.99/634.10 c 631s | 16 | 1245548 | 144652 | 77378 2 | 5 | 792 635.99/636.11 c 633s | 16 | 1252684 | 145352 | 77378 2 | 5 | 792 638.39/638.51 c 635s | 16 | 1256678 | 145852 | 77378 2 | 5 | 792 640.39/640.55 c 637s | 16 | 1260439 | 146452 | 77378 2 | 5 | 792 642.50/642.62 c 639s | 16 | 1265903 | 147152 | 77378 2 | 5 | 792 644.60/644.75 c 641s | 16 | 1268889 | 147552 | 77378 2 | 5 | 792 646.69/646.84 c 643s | 16 | 1271820 | 148052 | 77378 2 | 5 | 792 648.89/649.07 c 646s | 16 | 1275656 | 148652 | 77378 2 | 5 | 792 651.09/651.25 c 648s | 16 | 1278976 | 149252 | 77378 2 | 5 | 792 653.40/653.56 c 650s | 16 | 1283064 | 149852 | 77378 2 | 5 | 792 655.49/655.70 c 652s | 16 | 1287177 | 150552 | 77378 2 | 5 | 792 657.69/657.86 c 654s | 16 | 1290389 | 151152 | 77378 2 | 5 | 792 663.49/663.69 c 660s | 16 | 1291409 | 151352 | 77378 3 | 5 | 792 665.59/665.74 c 662s | 16 | 1295674 | 152152 | 77378 3 | 5 | 792 667.69/667.83 c 664s | 16 | 1299103 | 152952 | 77378 3 | 5 | 792 669.89/670.02 c 667s | 16 | 1302886 | 154052 | 77378 3 | 5 | 792 672.09/672.29 c 669s | 16 | 1305451 | 154452 | 77378 3 | 5 | 792 674.18/674.31 c 671s | 16 | 1311102 | 155052 | 77378 3 | 5 | 792 676.38/676.52 c 673s | 16 | 1315631 | 155652 | 77378 3 | 5 | 792 678.58/678.74 c 675s | 16 | 1320401 | 156152 | 77378 3 | 5 | 792 680.58/680.76 c 677s | 16 | 1325241 | 156752 | 77378 3 | 5 | 792 682.58/682.78 c 679s | 16 | 1329829 | 157152 | 77378 3 | 5 | 792 684.78/684.98 c 682s | 16 | 1333905 | 157652 | 77378 3 | 5 | 792 687.18/687.30 c 684s | 16 | 1339865 | 158352 | 77378 3 | 5 | 792 689.28/689.40 c 686s | 16 | 1346085 | 158952 | 77378 3 | 5 | 792 691.58/691.74 c 688s | 16 | 1352719 | 159752 | 77378 3 | 5 | 792 693.78/693.90 c 690s | 16 | 1360893 | 160552 | 77378 3 | 5 | 792 695.78/695.96 c 692s | 16 | 1366674 | 161052 | 77378 3 | 5 | 792 697.88/698.04 c 695s | 16 | 1372013 | 161852 | 77378 3 | 5 | 792 699.98/700.19 c 697s | 16 | 1377011 | 162452 | 77378 3 | 5 | 792 702.08/702.20 c 699s | 16 | 1381674 | 162952 | 77378 3 | 5 | 792 704.38/704.54 c 701s | 16 | 1386635 | 163652 | 77378 3 | 5 | 792 706.38/706.58 c 703s | 16 | 1391926 | 164152 | 77378 3 | 5 | 792 708.49/708.68 c 705s | 16 | 1395681 | 164852 | 77378 3 | 5 | 792 710.59/710.78 c 707s | 16 | 1400360 | 165552 | 77378 3 | 5 | 792 712.58/712.79 c 709s | 16 | 1404118 | 166252 | 77378 3 | 5 | 792 714.88/715.09 c 712s | 16 | 1407547 | 166952 | 77378 3 | 5 | 792 717.08/717.27 c 714s | 16 | 1412816 | 167652 | 77378 3 | 5 | 792 719.27/719.46 c 716s | 16 | 1416882 | 168352 | 77378 3 | 5 | 792 721.68/721.81 c 718s | 16 | 1419706 | 169052 | 77378 3 | 5 | 792 723.88/724.07 c 721s | 16 | 1422686 | 169852 | 77378 3 | 5 | 792 725.98/726.11 c 723s | 16 | 1424780 | 170652 | 77378 3 | 5 | 792 727.97/728.15 c 725s | 16 | 1427116 | 171152 | 77378 3 | 5 | 792 730.07/730.24 c 727s | 16 | 1431217 | 171752 | 77378 3 | 5 | 792 732.17/732.39 c 729s | 16 | 1433681 | 172352 | 77378 3 | 5 | 792 734.47/734.65 c 731s | 16 | 1435610 | 173052 | 77378 3 | 5 | 792 736.67/736.88 c 733s | 16 | 1439086 | 173552 | 77378 3 | 5 | 792 738.87/739.01 c 736s | 16 | 1443415 | 173952 | 77378 3 | 5 | 792 741.07/741.28 c 738s | 16 | 1448555 | 174652 | 77378 3 | 5 | 792 743.17/743.32 c 740s | 16 | 1454649 | 175052 | 77378 3 | 5 | 792 745.47/745.65 c 742s | 16 | 1458020 | 175652 | 77378 3 | 5 | 792 747.67/747.84 c 744s | 16 | 1462793 | 176152 | 77378 3 | 5 | 792 749.77/749.93 c 746s | 16 | 1466369 | 176552 | 77378 3 | 5 | 792 752.07/752.22 c 749s | 16 | 1470008 | 177152 | 77378 3 | 5 | 792 754.37/754.51 c 751s | 16 | 1473162 | 177552 | 77378 3 | 5 | 792 756.37/756.55 c 753s | 16 | 1478296 | 178152 | 77378 3 | 5 | 792 758.57/758.71 c 755s | 16 | 1484184 | 178752 | 77378 3 | 5 | 792 760.87/761.04 c 758s | 16 | 1490130 | 179452 | 77378 3 | 5 | 792 762.87/763.07 c 760s | 16 | 1494251 | 179952 | 77378 3 | 5 | 792 764.97/765.14 c 762s | 16 | 1498002 | 180452 | 77378 3 | 5 | 792 767.07/767.23 c 764s | 16 | 1502001 | 181052 | 77378 3 | 5 | 792 769.37/769.53 c 766s | 16 | 1506581 | 181652 | 77378 3 | 5 | 792 771.77/771.90 c 768s | 16 | 1513058 | 182452 | 77378 3 | 5 | 792 773.87/774.02 c 771s | 16 | 1517388 | 183052 | 77378 3 | 5 | 792 775.87/776.08 c 773s | 16 | 1520832 | 183552 | 77378 3 | 5 | 792 778.17/778.34 c 775s | 16 | 1526698 | 184352 | 77378 3 | 5 | 792 780.27/780.44 c 777s | 16 | 1529789 | 184952 | 77378 3 | 5 | 792 782.57/782.73 c 779s | 16 | 1533980 | 185652 | 77378 3 | 5 | 792 784.87/785.02 c 782s | 16 | 1536232 | 186252 | 77378 3 | 5 | 792 787.07/787.21 c 784s | 16 | 1539708 | 186952 | 77378 3 | 5 | 792 789.07/789.22 c 786s | 16 | 1542720 | 187652 | 77378 3 | 5 | 792 791.07/791.24 c 788s | 16 | 1544746 | 188352 | 77378 3 | 5 | 792 793.47/793.64 c 790s | 16 | 1548032 | 189052 | 77378 3 | 5 | 792 795.47/795.69 c 792s | 16 | 1551520 | 189452 | 77378 3 | 5 | 792 797.67/797.82 c 794s | 16 | 1554865 | 189952 | 77378 3 | 5 | 792 799.97/800.11 c 797s | 16 | 1557518 | 190252 | 77378 4 | 5 | 792 802.27/802.49 c 799s | 16 | 1561789 | 190652 | 77378 4 | 5 | 792 804.56/804.72 c 801s | 16 | 1567603 | 191252 | 77378 4 | 5 | 792 806.66/806.81 c 803s | 16 | 1569698 | 191752 | 77378 4 | 5 | 792 809.06/809.26 c 806s | 16 | 1573675 | 192352 | 77378 4 | 5 | 792 811.06/811.28 c 808s | 16 | 1577644 | 192752 | 77378 4 | 5 | 792 813.26/813.42 c 810s | 16 | 1581418 | 193352 | 77378 4 | 5 | 792 815.26/815.44 c 812s | 16 | 1586431 | 193852 | 77378 4 | 5 | 792 817.46/817.63 c 814s | 16 | 1590474 | 194452 | 77378 4 | 5 | 792 819.47/819.66 c 816s | 16 | 1594309 | 195052 | 77378 4 | 5 | 792 821.67/821.85 c 818s | 16 | 1598257 | 195552 | 77378 4 | 5 | 792 823.76/823.94 c 820s | 16 | 1604151 | 196052 | 77378 4 | 5 | 792 825.96/826.20 c 823s | 16 | 1610823 | 196852 | 85116 4 | 5 | 792 827.86/828.04 c 825s | 17 | 1615340 | 197432 | 85116 4 | 5 | 792 830.26/830.48 c 827s | 17 | 1617668 | 197932 | 85116 4 | 5 | 792 832.46/832.61 c 829s | 17 | 1620519 | 198432 | 85116 4 | 5 | 792 834.46/834.66 c 831s | 17 | 1623927 | 198932 | 85116 4 | 5 | 792 836.56/836.76 c 833s | 17 | 1628068 | 199632 | 85116 4 | 5 | 792 838.76/838.96 c 835s | 17 | 1631111 | 200132 | 85116 4 | 5 | 792 840.96/841.10 c 838s | 17 | 1634961 | 200732 | 85116 4 | 5 | 792 843.26/843.44 c 840s | 17 | 1639052 | 201432 | 85116 4 | 5 | 792 845.56/845.77 c 842s | 17 | 1642893 | 202132 | 85116 4 | 5 | 792 847.66/847.89 c 844s | 17 | 1646543 | 202832 | 85116 4 | 5 | 792 849.75/849.97 c 847s | 17 | 1649722 | 203532 | 85116 4 | 5 | 792 851.85/852.05 c 849s | 17 | 1653538 | 204232 | 85116 4 | 5 | 792 853.95/854.12 c 851s | 17 | 1656283 | 204932 | 85116 4 | 5 | 792 856.05/856.25 c 853s | 17 | 1658609 | 205732 | 85116 4 | 5 | 792 858.25/858.49 c 855s | 17 | 1662076 | 206332 | 85116 4 | 5 | 792 860.35/860.51 c 857s | 17 | 1667490 | 206932 | 85116 4 | 5 | 792 862.46/862.69 c 859s | 17 | 1671883 | 207332 | 85116 4 | 5 | 792 864.45/864.70 c 861s | 17 | 1676956 | 207832 | 85116 4 | 5 | 792 866.95/867.13 c 864s | 17 | 1682039 | 208432 | 85116 4 | 5 | 792 869.45/869.60 c 866s | 17 | 1686991 | 209132 | 85116 4 | 5 | 792 871.65/871.83 c 868s | 17 | 1691950 | 209632 | 85116 4 | 5 | 792 874.25/874.43 c 871s | 17 | 1697029 | 210332 | 85116 4 | 5 | 792 876.25/876.49 c 873s | 17 | 1702780 | 210932 | 85116 4 | 5 | 792 878.35/878.59 c 875s | 17 | 1709110 | 211632 | 85116 4 | 5 | 792 880.55/880.77 c 877s | 17 | 1713437 | 212232 | 85116 4 | 5 | 792 882.85/883.01 c 880s | 17 | 1717365 | 212832 | 85116 4 | 5 | 792 884.85/885.04 c 882s | 17 | 1720087 | 213332 | 85116 4 | 5 | 792 886.95/887.16 c 884s | 17 | 1723143 | 213932 | 85116 4 | 5 | 792 889.14/889.30 c 886s | 17 | 1728485 | 214532 | 85116 4 | 5 | 792 891.24/891.50 c 888s | 17 | 1733276 | 215332 | 85116 4 | 5 | 792 893.44/893.62 c 890s | 17 | 1735972 | 215932 | 85116 4 | 5 | 792 895.54/895.77 c 892s | 17 | 1739444 | 216532 | 85116 4 | 5 | 792 897.55/897.80 c 894s | 17 | 1742329 | 217232 | 85116 4 | 5 | 792 899.64/899.85 c 896s | 17 | 1745425 | 217932 | 85116 4 | 5 | 792 901.84/902.07 c 899s | 17 | 1748463 | 218732 | 85116 4 | 5 | 792 904.04/904.21 c 901s | 17 | 1751631 | 219532 | 85116 4 | 5 | 792 906.14/906.32 c 903s | 17 | 1756153 | 219932 | 85116 4 | 5 | 792 908.24/908.49 c 905s | 17 | 1760573 | 220532 | 85116 4 | 5 | 792 910.34/910.56 c 907s | 17 | 1764016 | 220932 | 85116 4 | 5 | 792 912.44/912.60 c 909s | 17 | 1768943 | 221532 | 85116 4 | 5 | 792 914.44/914.64 c 911s | 17 | 1772403 | 222032 | 85116 4 | 5 | 792 916.44/916.66 c 913s | 17 | 1775589 | 222432 | 85116 4 | 5 | 792 918.44/918.69 c 915s | 17 | 1780857 | 222932 | 85116 4 | 5 | 792 920.84/921.02 c 918s | 17 | 1786904 | 223632 | 85116 4 | 5 | 792 923.13/923.37 c 920s | 17 | 1790549 | 224232 | 85116 4 | 5 | 792 925.33/925.55 c 922s | 17 | 1793960 | 224832 | 85116 4 | 5 | 792 927.43/927.63 c 924s | 17 | 1797825 | 225332 | 85116 4 | 5 | 792 929.44/929.67 c 926s | 17 | 1801673 | 225832 | 85116 4 | 5 | 792 931.64/931.84 c 928s | 17 | 1806019 | 226532 | 85116 4 | 5 | 792 933.73/933.98 c 931s | 17 | 1808204 | 227032 | 85116 4 | 5 | 792 935.83/936.06 c 933s | 17 | 1810515 | 227632 | 85116 4 | 5 | 792 937.83/938.07 c 935s | 17 | 1813202 | 228132 | 85116 4 | 5 | 792 940.13/940.39 c 937s | 17 | 1816584 | 228832 | 85116 4 | 5 | 792 942.43/942.64 c 939s | 17 | 1819950 | 229532 | 85116 4 | 5 | 792 944.73/944.91 c 941s | 17 | 1822962 | 230332 | 85116 4 | 5 | 792 946.83/947.07 c 944s | 17 | 1825206 | 231032 | 85116 4 | 5 | 792 948.93/949.14 c 946s | 17 | 1827137 | 231832 | 85116 4 | 5 | 792 950.93/951.14 c 948s | 17 | 1832697 | 232432 | 85116 4 | 5 | 792 953.42/953.67 c 950s | 17 | 1838527 | 233032 | 85116 4 | 5 | 792 955.72/955.93 c 952s | 17 | 1842539 | 233632 | 85116 4 | 5 | 792 957.72/957.95 c 954s | 17 | 1846556 | 234032 | 85116 4 | 5 | 792 960.02/960.24 c 957s | 17 | 1848799 | 234432 | 85116 4 | 5 | 792 962.32/962.54 c 959s | 17 | 1851052 | 234932 | 85116 4 | 5 | 792 964.52/964.77 c 961s | 17 | 1854602 | 235532 | 85116 4 | 5 | 792 967.02/967.23 c 964s | 17 | 1859368 | 236032 | 85116 4 | 5 | 792 969.42/969.62 c 966s | 17 | 1863353 | 236632 | 85116 4 | 5 | 792 971.62/971.86 c 968s | 17 | 1867237 | 237332 | 85116 4 | 5 | 792 973.72/973.90 c 970s | 17 | 1870251 | 237832 | 85116 4 | 5 | 792 975.82/976.08 c 973s | 17 | 1874120 | 238432 | 85116 4 | 5 | 792 978.92/979.20 c 976s | 17 | 1878161 | 239032 | 85116 5 | 5 | 792 981.32/981.55 c 978s | 17 | 1881449 | 239632 | 85116 5 | 5 | 792 983.51/983.80 c 980s | 17 | 1883962 | 240332 | 85116 5 | 5 | 792 985.62/985.81 c 982s | 17 | 1886875 | 241032 | 85116 5 | 5 | 792 987.61/987.82 c 984s | 17 | 1889543 | 241832 | 85116 5 | 5 | 792 989.92/990.12 c 987s | 17 | 1892358 | 242632 | 85116 5 | 5 | 792 992.22/992.41 c 989s | 17 | 1895163 | 243332 | 85116 5 | 5 | 792 994.42/994.62 c 991s | 17 | 1899374 | 243932 | 85116 5 | 5 | 792 996.62/996.82 c 993s | 17 | 1905438 | 244432 | 85116 5 | 5 | 792 998.72/998.94 c 995s | 17 | 1908663 | 244932 | 85116 5 | 5 | 792 1000.81/1001.04 c 998s | 17 | 1913164 | 245432 | 85116 5 | 5 | 792 1002.81/1003.06 c 1000s | 17 | 1916846 | 246032 | 85116 5 | 5 | 792 1005.11/1005.30 c 1002s | 17 | 1921717 | 246632 | 85116 5 | 5 | 792 1007.11/1007.33 c 1004s | 17 | 1926817 | 247232 | 85116 5 | 5 | 792 1009.11/1009.35 c 1006s | 17 | 1930659 | 247832 | 85116 5 | 5 | 792 1011.21/1011.44 c 1008s | 17 | 1934040 | 248432 | 85116 5 | 5 | 792 1013.50/1013.77 c 1010s | 17 | 1937174 | 249032 | 85116 5 | 5 | 792 1015.60/1015.80 c 1012s | 17 | 1939547 | 249632 | 85116 5 | 5 | 792 1017.80/1018.05 c 1015s | 17 | 1942005 | 250232 | 85116 5 | 5 | 792 1020.00/1020.28 c 1017s | 17 | 1945029 | 250932 | 85116 5 | 5 | 792 1022.10/1022.37 c 1019s | 17 | 1948085 | 251632 | 85116 5 | 5 | 792 1024.11/1024.39 c 1021s | 17 | 1950629 | 252332 | 85116 5 | 5 | 792 1026.31/1026.57 c 1023s | 17 | 1953092 | 253132 | 85116 5 | 5 | 792 1028.80/1029.02 c 1026s | 17 | 1956554 | 253932 | 85116 5 | 5 | 792 1031.10/1031.32 c 1028s | 17 | 1960947 | 254532 | 85116 5 | 5 | 792 1033.20/1033.44 c 1030s | 17 | 1964680 | 255032 | 85116 5 | 5 | 792 1035.60/1035.81 c 1032s | 17 | 1967696 | 255532 | 85116 5 | 5 | 792 1037.70/1037.98 c 1035s | 17 | 1971441 | 256132 | 85116 5 | 5 | 792 1040.00/1040.27 c 1037s | 17 | 1976981 | 256832 | 85116 5 | 5 | 792 1042.10/1042.32 c 1039s | 17 | 1981774 | 257532 | 85116 5 | 5 | 792 1044.40/1044.61 c 1041s | 17 | 1985072 | 258232 | 85116 5 | 5 | 792 1046.60/1046.80 c 1043s | 17 | 1989521 | 258932 | 85116 5 | 5 | 792 1048.70/1048.94 c 1045s | 17 | 1993450 | 259632 | 85116 5 | 5 | 792 1050.80/1051.02 c 1048s | 17 | 1996402 | 260332 | 85116 5 | 5 | 792 1052.90/1053.10 c 1050s | 17 | 1999868 | 261132 | 85116 5 | 5 | 792 1055.00/1055.22 c 1052s | 17 | 2001604 | 261932 | 85116 5 | 5 | 792 1057.20/1057.49 c 1054s | 17 | 2004891 | 262532 | 85116 5 | 5 | 792 1059.30/1059.59 c 1056s | 17 | 2008503 | 262932 | 85116 5 | 5 | 792 1061.60/1061.81 c 1058s | 17 | 2012237 | 263432 | 85116 5 | 5 | 792 1063.70/1063.95 c 1060s | 17 | 2014873 | 263932 | 85116 5 | 5 | 792 1065.99/1066.28 c 1063s | 17 | 2017458 | 264432 | 85116 5 | 5 | 792 1068.29/1068.51 c 1065s | 17 | 2021217 | 265032 | 85116 5 | 5 | 792 1070.69/1070.92 c 1067s | 17 | 2024264 | 265632 | 85116 5 | 5 | 792 1072.79/1073.09 c 1070s | 17 | 2027763 | 266232 | 85116 5 | 5 | 792 1075.09/1075.32 c 1072s | 17 | 2030588 | 266832 | 85116 5 | 5 | 792 1077.39/1077.69 c 1074s | 17 | 2034001 | 267432 | 85116 5 | 5 | 792 1079.59/1079.82 c 1076s | 17 | 2036765 | 268032 | 85116 5 | 5 | 792 1081.69/1081.90 c 1078s | 17 | 2038841 | 268632 | 85116 5 | 5 | 792 1083.89/1084.19 c 1081s | 17 | 2040993 | 269232 | 85116 5 | 5 | 792 1085.99/1086.26 c 1083s | 17 | 2042490 | 269832 | 85116 5 | 5 | 792 1088.19/1088.47 c 1085s | 17 | 2044763 | 270632 | 85116 5 | 5 | 792 1090.49/1090.70 c 1087s | 17 | 2046804 | 271432 | 85116 5 | 5 | 792 1092.59/1092.88 c 1089s | 17 | 2051217 | 272132 | 85116 5 | 5 | 792 1094.79/1095.02 c 1092s | 17 | 2055815 | 272732 | 85116 5 | 5 | 792 1096.99/1097.26 c 1094s | 17 | 2060037 | 273432 | 85116 5 | 5 | 792 1099.38/1099.64 c 1096s | 17 | 2063774 | 274032 | 85116 5 | 5 | 792 1101.78/1102.03 c 1099s | 17 | 2067560 | 274732 | 85116 5 | 5 | 792 1104.18/1104.44 c 1101s | 17 | 2070515 | 275332 | 85116 5 | 5 | 792 1106.18/1106.46 c 1103s | 17 | 2073154 | 275932 | 85116 5 | 5 | 792 1108.28/1108.58 c 1105s | 17 | 2075582 | 276532 | 85116 5 | 5 | 792 1110.48/1110.74 c 1107s | 17 | 2077785 | 277232 | 85116 5 | 5 | 792 1112.68/1112.90 c 1109s | 17 | 2079492 | 277932 | 85116 5 | 5 | 792 1114.77/1115.01 c 1112s | 17 | 2082314 | 278432 | 85116 5 | 5 | 792 1117.17/1117.44 c 1114s | 17 | 2085949 | 278932 | 85116 5 | 5 | 792 1119.27/1119.50 c 1116s | 17 | 2089414 | 279432 | 85116 5 | 5 | 792 1121.67/1121.95 c 1118s | 17 | 2092453 | 279932 | 85116 5 | 5 | 792 1124.08/1124.37 c 1121s | 17 | 2095433 | 280532 | 85116 5 | 5 | 792 1126.27/1126.60 c 1123s | 17 | 2097519 | 281032 | 85116 5 | 5 | 792 1128.47/1128.71 c 1125s | 17 | 2101394 | 281532 | 85116 5 | 5 | 792 1130.67/1130.92 c 1127s | 17 | 2104493 | 282132 | 85116 5 | 5 | 792 1132.87/1133.10 c 1130s | 17 | 2108086 | 282732 | 85116 5 | 5 | 792 1135.17/1135.41 c 1132s | 17 | 2111239 | 283332 | 85116 5 | 5 | 792 1137.16/1137.47 c 1134s | 17 | 2112904 | 283732 | 85116 6 | 5 | 792 1139.16/1139.47 c 1136s | 17 | 2116314 | 284432 | 85116 6 | 5 | 792 1141.56/1141.81 c 1138s | 17 | 2119142 | 285232 | 85116 6 | 5 | 792 1143.56/1143.81 c 1140s | 17 | 2120580 | 286032 | 85116 6 | 5 | 792 1145.86/1146.19 c 1143s | 17 | 2123505 | 286632 | 85116 6 | 5 | 792 1148.37/1148.64 c 1145s | 17 | 2128290 | 287332 | 85116 6 | 5 | 792 1150.66/1150.92 c 1147s | 17 | 2131758 | 287932 | 85116 6 | 5 | 792 1152.96/1153.20 c 1150s | 17 | 2135432 | 288632 | 85116 6 | 5 | 792 1155.06/1155.39 c 1152s | 17 | 2140335 | 289332 | 85116 6 | 5 | 792 1157.16/1157.43 c 1154s | 17 | 2144256 | 290132 | 85116 6 | 5 | 792 1159.15/1159.49 c 1156s | 17 | 2146491 | 290832 | 85116 6 | 5 | 792 1161.46/1161.72 c 1158s | 17 | 2149068 | 291732 | 85116 6 | 5 | 792 1163.55/1163.86 c 1160s | 17 | 2151039 | 292432 | 85116 6 | 5 | 792 1165.55/1165.87 c 1162s | 17 | 2153660 | 293032 | 85116 6 | 5 | 792 1167.55/1167.87 c 1164s | 17 | 2155995 | 293532 | 85116 6 | 5 | 792 1169.75/1170.06 c 1167s | 17 | 2158959 | 294132 | 85116 6 | 5 | 792 1172.25/1172.50 c 1169s | 17 | 2161202 | 294632 | 93628 6 | 5 | 792 1174.35/1174.68 c 1171s | 17 | 2163632 | 295232 | 93628 6 | 5 | 792 1176.55/1176.87 c 1173s | 17 | 2166510 | 295932 | 93628 6 | 5 | 792 1177.65/1177.90 c 1174s | 18 | 2167434 | 296252 | 93628 6 | 5 | 792 1179.65/1179.99 c 1177s | 18 | 2169576 | 296852 | 93628 6 | 5 | 792 1181.75/1182.06 c 1179s | 18 | 2171358 | 297552 | 93628 6 | 5 | 792 1183.94/1184.26 c 1181s | 18 | 2174435 | 298352 | 93628 6 | 5 | 792 1186.14/1186.42 c 1183s | 18 | 2176715 | 298852 | 93628 6 | 5 | 792 1188.14/1188.43 c 1185s | 18 | 2179346 | 299452 | 93628 6 | 5 | 792 1190.44/1190.76 c 1187s | 18 | 2182032 | 300052 | 93628 6 | 5 | 792 1192.54/1192.89 c 1189s | 18 | 2184047 | 300652 | 93628 6 | 5 | 792 1194.84/1195.11 c 1192s | 18 | 2185580 | 301352 | 93628 6 | 5 | 792 1196.94/1197.26 c 1194s | 18 | 2187978 | 302052 | 93628 6 | 5 | 792 1199.14/1199.43 c 1196s | 18 | 2191537 | 302552 | 93628 6 | 5 | 792 1201.44/1201.76 c 1198s | 18 | 2195081 | 303352 | 93628 6 | 5 | 792 1203.53/1203.86 c 1200s | 18 | 2197693 | 303852 | 93628 6 | 5 | 792 1205.63/1205.90 c 1202s | 18 | 2200345 | 304452 | 93628 6 | 5 | 792 1207.83/1208.18 c 1205s | 18 | 2203675 | 305152 | 93628 6 | 5 | 792 1210.03/1210.35 c 1207s | 18 | 2206122 | 305852 | 93628 6 | 5 | 792 1212.14/1212.41 c 1209s | 18 | 2208469 | 306552 | 93628 6 | 5 | 792 1214.13/1214.44 c 1211s | 18 | 2210172 | 307152 | 93628 6 | 5 | 792 1216.44/1216.75 c 1213s | 18 | 2213054 | 307752 | 93628 6 | 5 | 792 1218.74/1219.05 c 1216s | 18 | 2215755 | 308352 | 93628 6 | 5 | 792 1220.94/1221.29 c 1218s | 18 | 2218767 | 309052 | 93628 6 | 5 | 792 1223.04/1223.35 c 1220s | 18 | 2220704 | 309652 | 93628 6 | 5 | 792 1225.23/1225.58 c 1222s | 18 | 2222235 | 310352 | 93628 6 | 5 | 792 1227.53/1227.85 c 1224s | 18 | 2225359 | 310952 | 93628 6 | 5 | 792 1229.63/1229.98 c 1227s | 18 | 2228672 | 311552 | 93628 6 | 5 | 792 1231.72/1232.02 c 1229s | 18 | 2231172 | 312152 | 93628 6 | 5 | 792 1233.92/1234.26 c 1231s | 18 | 2233661 | 312852 | 93628 6 | 5 | 792 1235.92/1236.27 c 1233s | 18 | 2235229 | 313552 | 93628 6 | 5 | 792 1238.32/1238.62 c 1235s | 18 | 2237733 | 314152 | 93628 6 | 5 | 792 1240.32/1240.64 c 1237s | 18 | 2239632 | 314752 | 93628 6 | 5 | 792 1242.42/1242.76 c 1239s | 18 | 2241574 | 315452 | 93628 6 | 5 | 792 1244.61/1244.93 c 1241s | 18 | 2243654 | 316252 | 93628 6 | 5 | 792 1246.71/1247.09 c 1244s | 18 | 2246224 | 316852 | 93628 6 | 5 | 792 1249.11/1249.40 c 1246s | 18 | 2248152 | 317452 | 93628 6 | 5 | 792 1251.11/1251.41 c 1248s | 18 | 2249977 | 318152 | 93628 6 | 5 | 792 1253.30/1253.64 c 1250s | 18 | 2252174 | 318852 | 93628 6 | 5 | 792 1255.60/1255.92 c 1252s | 18 | 2254252 | 319452 | 93628 6 | 5 | 792 1257.60/1257.94 c 1254s | 18 | 2255692 | 320052 | 93628 6 | 5 | 792 1259.60/1259.94 c 1256s | 18 | 2257298 | 320652 | 93628 6 | 5 | 792 1261.90/1262.21 c 1259s | 18 | 2258881 | 321252 | 93628 6 | 5 | 792 1263.90/1264.27 c 1261s | 18 | 2260364 | 321852 | 93628 6 | 5 | 792 1266.01/1266.36 c 1263s | 18 | 2262322 | 322452 | 93628 6 | 5 | 792 1268.21/1268.56 c 1265s | 18 | 2263520 | 323052 | 93628 6 | 5 | 792 1270.40/1270.78 c 1267s | 18 | 2265317 | 323752 | 93628 6 | 5 | 792 1272.60/1272.94 c 1269s | 18 | 2266966 | 324452 | 93628 6 | 5 | 792 1274.80/1275.20 c 1272s | 18 | 2268286 | 325152 | 93628 6 | 5 | 792 1277.09/1277.43 c 1274s | 18 | 2269866 | 325752 | 93628 6 | 5 | 792 1279.39/1279.76 c 1276s | 18 | 2271746 | 326452 | 93628 6 | 5 | 792 1281.59/1281.97 c 1279s | 18 | 2273157 | 327152 | 93628 6 | 5 | 792 1283.68/1284.08 c 1281s | 18 | 2274690 | 327852 | 93628 6 | 5 | 792 1285.88/1286.21 c 1283s | 18 | 2275972 | 328552 | 93628 6 | 5 | 792 1287.89/1288.23 c 1285s | 18 | 2277371 | 329252 | 93628 6 | 5 | 792 1290.09/1290.46 c 1287s | 18 | 2278698 | 330052 | 93628 6 | 5 | 792 1371.17/1371.55 c 1368s | 18 | 2280262 | 330352 | 93628 6 | 5 | 792 1383.97/1384.30 c 1381s | 18 | 2281202 | 330452 | 93628 6 | 5 | 792 1386.07/1386.43 c 1383s | 18 | 2285047 | 330852 | 93628 6 | 5 | 792 1396.77/1397.16 c 1394s | 18 | 2287851 | 331152 | 93628 6 | 5 | 792 1399.57/1399.90 c 1396s | 18 | 2293162 | 331552 | 93628 6 | 5 | 792 1401.86/1402.29 c 1399s | 18 | 2297357 | 331852 | 93628 6 | 5 | 792 1404.66/1405.01 c 1402s | 18 | 2300983 | 332152 | 93628 6 | 5 | 792 1407.16/1407.56 c 1404s | 18 | 2308308 | 332452 | 93628 6 | 5 | 792 1409.76/1410.10 c 1407s | 18 | 2312007 | 332752 | 93628 6 | 5 | 792 1411.76/1412.11 c 1409s | 18 | 2315298 | 333052 | 93628 6 | 5 | 792 1413.86/1414.27 c 1411s | 18 | 2317468 | 333452 | 93628 6 | 5 | 792 1416.26/1416.65 c 1413s | 18 | 2320247 | 333852 | 93628 6 | 5 | 792 1423.67/1424.02 c 1421s | 18 | 2323282 | 334152 | 93628 7 | 5 | 792 1426.07/1426.48 c 1423s | 18 | 2324690 | 334252 | 93628 7 | 5 | 792 1428.87/1429.23 c 1426s | 18 | 2329040 | 334552 | 93628 7 | 5 | 792 1431.27/1431.65 c 1428s | 18 | 2333235 | 334852 | 93628 7 | 5 | 792 1433.67/1434.01 c 1431s | 18 | 2337928 | 335252 | 93628 7 | 5 | 792 1435.67/1436.03 c 1433s | 18 | 2341688 | 335652 | 93628 7 | 5 | 792 1437.87/1438.21 c 1435s | 18 | 2346737 | 336252 | 93628 7 | 5 | 792 1440.07/1440.43 c 1437s | 18 | 2350254 | 336552 | 93628 7 | 5 | 792 1442.27/1442.62 c 1439s | 18 | 2355183 | 337052 | 93628 7 | 5 | 792 1444.47/1444.89 c 1441s | 18 | 2359829 | 337652 | 93628 7 | 5 | 792 1446.77/1447.18 c 1444s | 18 | 2364949 | 338052 | 93628 7 | 5 | 792 1448.87/1449.22 c 1446s | 18 | 2369201 | 338352 | 93628 7 | 5 | 792 1451.17/1451.57 c 1448s | 18 | 2374243 | 338752 | 93628 7 | 5 | 792 1453.27/1453.65 c 1450s | 18 | 2378144 | 339352 | 93628 7 | 5 | 792 1455.36/1455.76 c 1452s | 18 | 2383153 | 339752 | 93628 7 | 5 | 792 1457.66/1458.06 c 1455s | 18 | 2389004 | 340152 | 93628 7 | 5 | 792 1459.66/1460.08 c 1457s | 18 | 2392797 | 340652 | 93628 7 | 5 | 792 1461.86/1462.28 c 1459s | 18 | 2396950 | 341052 | 93628 7 | 5 | 792 1464.36/1464.74 c 1461s | 18 | 2401329 | 341452 | 93628 7 | 5 | 792 1466.66/1467.05 c 1464s | 18 | 2404840 | 342052 | 93628 7 | 5 | 792 1469.16/1469.53 c 1466s | 18 | 2408269 | 342452 | 93628 7 | 5 | 792 1471.57/1472.00 c 1469s | 18 | 2413451 | 342852 | 93628 7 | 5 | 792 1473.96/1474.35 c 1471s | 18 | 2416839 | 343452 | 93628 7 | 5 | 792 1475.97/1476.35 c 1473s | 18 | 2420910 | 343852 | 93628 7 | 5 | 792 1478.06/1478.40 c 1475s | 18 | 2423505 | 344152 | 93628 7 | 5 | 792 1480.26/1480.60 c 1477s | 18 | 2426937 | 344652 | 93628 7 | 5 | 792 1482.46/1482.90 c 1479s | 18 | 2430635 | 345152 | 93628 7 | 5 | 792 1484.66/1485.06 c 1482s | 18 | 2432874 | 345552 | 93628 7 | 5 | 792 1487.36/1487.71 c 1484s | 18 | 2435973 | 346052 | 93628 7 | 5 | 792 1489.86/1490.25 c 1487s | 18 | 2439507 | 346452 | 93628 7 | 5 | 792 1492.16/1492.52 c 1489s | 18 | 2443030 | 346952 | 93628 7 | 5 | 792 1494.67/1495.10 c 1492s | 18 | 2447259 | 347552 | 93628 7 | 5 | 792 1496.87/1497.30 c 1494s | 18 | 2450113 | 347952 | 93628 7 | 5 | 792 1498.96/1499.36 c 1496s | 18 | 2453707 | 348452 | 93628 7 | 5 | 792 1501.16/1501.52 c 1498s | 18 | 2456577 | 348952 | 93628 7 | 5 | 792 1503.36/1503.80 c 1500s | 18 | 2461309 | 349452 | 93628 7 | 5 | 792 1505.46/1505.86 c 1502s | 18 | 2465569 | 350152 | 93628 7 | 5 | 792 1507.56/1507.92 c 1504s | 18 | 2468357 | 350552 | 93628 7 | 5 | 792 1509.86/1510.28 c 1507s | 18 | 2472658 | 351152 | 93628 7 | 5 | 792 1512.06/1512.44 c 1509s | 18 | 2475369 | 351652 | 93628 7 | 5 | 792 1514.15/1514.54 c 1511s | 18 | 2478613 | 352152 | 93628 7 | 5 | 792 1516.45/1516.87 c 1513s | 18 | 2481222 | 352652 | 93628 7 | 5 | 792 1518.75/1519.19 c 1516s | 18 | 2484764 | 353252 | 93628 7 | 5 | 792 1520.95/1521.35 c 1518s | 18 | 2487431 | 353852 | 93628 7 | 5 | 792 1523.26/1523.68 c 1520s | 18 | 2490727 | 354452 | 93628 7 | 5 | 792 1525.46/1525.82 c 1522s | 18 | 2493850 | 355152 | 93628 7 | 5 | 792 1527.55/1527.98 c 1525s | 18 | 2496692 | 355852 | 93628 7 | 5 | 792 1529.65/1530.07 c 1527s | 18 | 2499297 | 356552 | 93628 7 | 5 | 792 1532.25/1532.67 c 1529s | 18 | 2502192 | 357352 | 93628 7 | 5 | 792 1534.55/1534.91 c 1531s | 18 | 2504528 | 357652 | 93628 7 | 5 | 792 1536.65/1537.04 c 1534s | 18 | 2506897 | 358152 | 93628 7 | 5 | 792 1538.85/1539.27 c 1536s | 18 | 2511132 | 358552 | 93628 7 | 5 | 792 1540.96/1541.34 c 1538s | 18 | 2513845 | 358852 | 93628 7 | 5 | 792 1543.35/1543.71 c 1540s | 18 | 2516984 | 359152 | 93628 7 | 5 | 792 1545.36/1545.75 c 1542s | 18 | 2521614 | 359452 | 93628 7 | 5 | 792 1547.75/1548.15 c 1545s | 18 | 2525364 | 359752 | 93628 7 | 5 | 792 1549.95/1550.33 c 1547s | 18 | 2529629 | 360152 | 93628 7 | 5 | 792 1552.45/1552.87 c 1549s | 18 | 2536018 | 360852 | 93628 7 | 5 | 792 1555.05/1555.50 c 1552s | 18 | 2542073 | 361252 | 93628 7 | 5 | 792 1557.65/1558.03 c 1555s | 18 | 2546826 | 361652 | 93628 7 | 5 | 792 1559.75/1560.15 c 1557s | 18 | 2550515 | 362052 | 93628 7 | 5 | 792 1562.05/1562.46 c 1559s | 18 | 2552489 | 362552 | 93628 7 | 5 | 792 1564.55/1564.95 c 1561s | 18 | 2557444 | 362952 | 93628 7 | 5 | 792 1566.64/1567.09 c 1564s | 18 | 2562377 | 363252 | 93628 7 | 5 | 792 1568.94/1569.31 c 1566s | 18 | 2568613 | 363652 | 93628 7 | 5 | 792 1570.94/1571.38 c 1568s | 18 | 2572998 | 364252 | 93628 7 | 5 | 792 1573.14/1573.53 c 1570s | 18 | 2578758 | 364652 | 93628 7 | 5 | 792 1575.54/1575.99 c 1573s | 18 | 2582066 | 364952 | 93628 7 | 5 | 792 1578.04/1578.45 c 1575s | 18 | 2585827 | 365352 | 93628 7 | 5 | 792 1580.45/1580.90 c 1577s | 18 | 2589840 | 365952 | 93628 7 | 5 | 792 1583.24/1583.63 c 1580s | 18 | 2595021 | 366352 | 93628 7 | 5 | 792 1585.54/1585.90 c 1582s | 18 | 2599967 | 366752 | 93628 7 | 5 | 792 1587.84/1588.20 c 1585s | 18 | 2602790 | 367252 | 93628 7 | 5 | 792 1590.45/1590.84 c 1587s | 18 | 2608680 | 367752 | 93628 7 | 5 | 792 1592.84/1593.25 c 1590s | 18 | 2613755 | 368152 | 93628 7 | 5 | 792 1595.04/1595.46 c 1592s | 18 | 2617086 | 368652 | 93628 7 | 5 | 792 1597.84/1598.22 c 1595s | 18 | 2622827 | 369152 | 93628 7 | 5 | 792 1600.25/1600.70 c 1597s | 18 | 2626538 | 369752 | 93628 7 | 5 | 792 1602.55/1602.95 c 1599s | 18 | 2630436 | 370152 | 93628 7 | 5 | 792 1605.04/1605.48 c 1602s | 18 | 2634628 | 370552 | 93628 7 | 5 | 792 1607.44/1607.83 c 1604s | 18 | 2637657 | 371052 | 93628 7 | 5 | 792 1610.04/1610.42 c 1607s | 18 | 2641728 | 371452 | 93628 7 | 5 | 792 1612.44/1612.84 c 1609s | 18 | 2645956 | 371852 | 93628 7 | 5 | 792 1614.54/1614.93 c 1611s | 18 | 2648357 | 372252 | 93628 7 | 5 | 792 1617.24/1617.62 c 1614s | 18 | 2652979 | 372852 | 93628 7 | 5 | 792 1619.34/1619.74 c 1616s | 18 | 2656778 | 373252 | 93628 7 | 5 | 792 1621.64/1622.08 c 1619s | 18 | 2660294 | 373852 | 93628 7 | 5 | 792 1623.94/1624.34 c 1621s | 18 | 2664712 | 374252 | 93628 7 | 5 | 792 1626.44/1626.84 c 1623s | 18 | 2668705 | 374852 | 93628 7 | 5 | 792 1628.84/1629.30 c 1626s | 18 | 2672149 | 375252 | 93628 7 | 5 | 792 1631.34/1631.70 c 1628s | 18 | 2675650 | 375752 | 93628 7 | 5 | 792 1633.43/1633.80 c 1630s | 18 | 2678722 | 376252 | 93628 7 | 5 | 792 1635.73/1636.14 c 1633s | 18 | 2682184 | 376652 | 93628 7 | 5 | 792 1637.83/1638.20 c 1635s | 18 | 2685173 | 377152 | 93628 7 | 5 | 792 1640.13/1640.55 c 1637s | 18 | 2689140 | 377752 | 93628 7 | 5 | 792 1642.23/1642.64 c 1639s | 18 | 2693113 | 378352 | 93628 7 | 5 | 792 1644.34/1644.78 c 1641s | 18 | 2695916 | 378752 | 93628 7 | 5 | 792 1647.03/1647.44 c 1644s | 18 | 2698973 | 379352 | 93628 7 | 5 | 792 1649.53/1649.99 c 1647s | 18 | 2702264 | 379952 | 93628 7 | 5 | 792 1652.04/1652.49 c 1649s | 18 | 2705217 | 380552 | 93628 7 | 5 | 792 1654.33/1654.76 c 1651s | 18 | 2707677 | 381152 | 93628 7 | 5 | 792 1656.34/1656.79 c 1653s | 18 | 2709808 | 381652 | 93628 7 | 5 | 792 1658.73/1659.12 c 1656s | 18 | 2712379 | 382252 | 93628 7 | 5 | 792 1661.03/1661.43 c 1658s | 18 | 2713866 | 382852 | 93628 7 | 5 | 792 1667.93/1668.39 c 1665s | 18 | 2716878 | 383552 | 93628 8 | 5 | 792 1670.53/1670.95 c 1667s | 18 | 2719660 | 383752 | 93628 8 | 5 | 792 1672.73/1673.15 c 1670s | 18 | 2723858 | 384052 | 93628 8 | 5 | 792 1674.93/1675.32 c 1672s | 18 | 2730650 | 384552 | 93628 8 | 5 | 792 1677.13/1677.58 c 1674s | 18 | 2737006 | 385252 | 93628 8 | 5 | 792 1679.23/1679.65 c 1676s | 18 | 2741597 | 385552 | 93628 8 | 5 | 792 1681.23/1681.66 c 1678s | 18 | 2745251 | 385852 | 93628 8 | 5 | 792 1683.43/1683.88 c 1680s | 18 | 2749081 | 386452 | 93628 8 | 5 | 792 1685.52/1685.91 c 1682s | 18 | 2753404 | 386852 | 93628 8 | 5 | 792 1687.72/1688.19 c 1685s | 18 | 2759447 | 387252 | 93628 8 | 5 | 792 1690.12/1690.58 c 1687s | 18 | 2764329 | 387652 | 93628 8 | 5 | 792 1692.22/1692.68 c 1689s | 18 | 2767452 | 388152 | 93628 8 | 5 | 792 1694.72/1695.10 c 1692s | 18 | 2772650 | 388652 | 93628 8 | 5 | 792 1697.03/1697.48 c 1694s | 18 | 2778232 | 389052 | 93628 8 | 5 | 792 1699.23/1699.64 c 1696s | 18 | 2782249 | 389552 | 93628 8 | 5 | 792 1701.82/1702.21 c 1699s | 18 | 2786063 | 390052 | 93628 8 | 5 | 792 1703.82/1704.26 c 1701s | 18 | 2790120 | 390352 | 93628 8 | 5 | 792 1705.93/1706.40 c 1703s | 18 | 2795813 | 390752 | 93628 8 | 5 | 792 1708.52/1708.94 c 1705s | 18 | 2798982 | 391252 | 93628 8 | 5 | 792 1710.62/1711.05 c 1708s | 18 | 2803117 | 391652 | 93628 8 | 5 | 792 1712.92/1713.30 c 1710s | 18 | 2806852 | 392252 | 93628 8 | 5 | 792 1715.32/1715.75 c 1712s | 18 | 2809588 | 392652 | 93628 8 | 5 | 792 1717.42/1717.87 c 1714s | 18 | 2815680 | 393152 | 93628 8 | 5 | 792 1719.72/1720.18 c 1717s | 18 | 2822362 | 393852 | 93628 8 | 5 | 792 1722.22/1722.67 c 1719s | 18 | 2826761 | 394252 | 93628 8 | 5 | 792 1724.53/1724.90 c 1721s | 18 | 2830957 | 394652 | 93628 8 | 5 | 792 1726.73/1727.11 c 1724s | 18 | 2834931 | 395252 | 93628 8 | 5 | 792 1728.82/1729.30 c 1726s | 18 | 2839352 | 395852 | 93628 8 | 5 | 792 1731.02/1731.47 c 1728s | 18 | 2845419 | 396352 | 93628 8 | 5 | 792 1733.32/1733.79 c 1730s | 18 | 2848067 | 396852 | 93628 8 | 5 | 792 1735.92/1736.32 c 1733s | 18 | 2852530 | 397352 | 93628 8 | 5 | 792 1738.12/1738.53 c 1735s | 18 | 2856054 | 397952 | 93628 8 | 5 | 792 1740.22/1740.60 c 1737s | 18 | 2860588 | 398352 | 93628 8 | 5 | 792 1742.42/1742.89 c 1739s | 18 | 2864067 | 398952 | 93628 8 | 5 | 792 1744.52/1744.93 c 1741s | 18 | 2868295 | 399352 | 93628 8 | 5 | 792 1747.02/1747.44 c 1744s | 18 | 2872880 | 400052 | 93628 8 | 5 | 792 1749.02/1749.47 c 1746s | 18 | 2876988 | 400652 | 93628 8 | 5 | 792 1751.41/1751.82 c 1748s | 18 | 2881991 | 401352 | 93628 8 | 5 | 792 1753.61/1754.06 c 1751s | 18 | 2884863 | 401952 | 93628 8 | 5 | 792 1755.91/1756.39 c 1753s | 18 | 2887703 | 402552 | 93628 8 | 5 | 792 1758.11/1758.52 c 1755s | 18 | 2889488 | 403052 | 93628 8 | 5 | 792 1760.31/1760.78 c 1757s | 18 | 2891587 | 403652 | 93628 8 | 5 | 792 1762.61/1763.07 c 1760s | 18 | 2894517 | 404352 | 93628 8 | 5 | 792 1764.61/1765.07 c 1762s | 18 | 2896094 | 404952 | 93628 8 | 5 | 792 1766.91/1767.33 c 1764s | 18 | 2898332 | 405652 | 93628 8 | 5 | 792 1769.11/1769.54 c 1766s | 18 | 2900549 | 406152 | 93628 8 | 5 | 792 1771.61/1772.07 c 1769s | 18 | 2904814 | 406552 | 93628 8 | 5 | 792 1774.02/1774.42 c 1771s | 18 | 2908213 | 406852 | 93628 8 | 5 | 792 1776.41/1776.84 c 1773s | 18 | 2911465 | 407152 | 93628 8 | 5 | 792 1778.71/1779.12 c 1776s | 18 | 2913334 | 407552 | 93628 8 | 5 | 792 1781.21/1781.65 c 1778s | 18 | 2915808 | 408052 | 93628 8 | 5 | 792 1783.71/1784.11 c 1781s | 18 | 2921153 | 408452 | 93628 8 | 5 | 792 1785.71/1786.11 c 1783s | 18 | 2924123 | 408752 | 93628 8 | 5 | 792 1787.71/1788.16 c 1785s | 18 | 2927376 | 409252 | 93628 8 | 5 | 792 1790.11/1790.57 c 1787s | 18 | 2932822 | 409652 | 93628 8 | 5 | 792 1792.31/1792.76 c 1789s | 18 | 2936153 | 409952 | 93628 8 | 5 | 792 1794.41/1794.85 c 1791s | 18 | 2939902 | 410452 | 93628 8 | 5 | 792 1796.81/1797.21 c 1794s | 18 | 2944639 | 410852 | 93628 8 | 5 | 792 1798.91/1799.33 c 1796s | 18 | 2948058 | 411152 | 93628 8 | 5 | 792
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-4098122-1466119730/watcher-4098122-1466119730 -o /tmp/evaluation-result-4098122-1466119730/solver-4098122-1466119730 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466115959-20139 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098122-1466119730.opb pid=21459 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.10 2.07 2.06 3/179 21462 /proc/meminfo: memFree=30654416/32872528 swapFree=188940/188940 [pid=21462] ppid=21459 vsize=702020 CPUtime=0 cores=0,2,4,6 /proc/21462/stat : 21462 (toysat) R 21459 21462 17164 0 -1 4202496 2613 0 0 0 0 0 0 0 20 0 4 0 14023579 718868480 3485 33554432000 4194304 16246674 140735715253184 140735715252608 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21462/statm: 176017 3495 442 2943 0 172911 0 [pid=21462/tid=21463] ppid=21459 vsize=720452 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21463/stat : 21463 (toysat) S 21459 21462 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14023579 737742848 3559 33554432000 4194304 16246674 140735715253184 139792155127024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21462/tid=21464] ppid=21459 vsize=724548 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21464/stat : 21464 (toysat) S 21459 21462 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14023579 741937152 3575 33554432000 4194304 16246674 140735715253184 139792144637168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21462/tid=21465] ppid=21459 vsize=729668 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 747180032 3594 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100195 s] /proc/loadavg: 2.10 2.07 2.06 3/179 21462 /proc/meminfo: memFree=30654416/32872528 swapFree=188940/188940 [pid=21462] ppid=21459 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/21462/stat : 21462 (toysat) R 21459 21462 17164 0 -1 4202496 28966 0 0 0 5 4 0 0 20 0 4 0 14023579 1333334016 29776 33554432000 4194304 16246674 140735715253184 140735715252496 8058197 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21462/statm: 325521 29791 802 2943 0 322415 0 [pid=21462/tid=21463] ppid=21459 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21463/stat : 21463 (toysat) S 21459 21462 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14023579 1333334016 29803 33554432000 4194304 16246674 140735715253184 139792155127024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21462/tid=21464] ppid=21459 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21464/stat : 21464 (toysat) S 21459 21462 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14023579 1333334016 29814 33554432000 4194304 16246674 140735715253184 139792144637168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21462/tid=21465] ppid=21459 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 1333334016 29826 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200521 s] /proc/loadavg: 2.10 2.07 2.06 3/179 21462 /proc/meminfo: memFree=30654416/32872528 swapFree=188940/188940 [pid=21462] ppid=21459 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/21462/stat : 21462 (toysat) R 21459 21462 17164 0 -1 4202496 48513 0 0 0 13 6 0 0 20 0 4 0 14023579 1344868352 49834 33554432000 4194304 16246674 140735715253184 140735715252496 7376613 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21462/statm: 328337 49834 802 2943 0 325231 0 [pid=21462/tid=21463] ppid=21459 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21463/stat : 21463 (toysat) S 21459 21462 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14023579 1344868352 49834 33554432000 4194304 16246674 140735715253184 139792155127024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21462/tid=21464] ppid=21459 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21464/stat : 21464 (toysat) S 21459 21462 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14023579 1344868352 49834 33554432000 4194304 16246674 140735715253184 139792144637168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21462/tid=21465] ppid=21459 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 1344868352 49834 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300494 s] /proc/loadavg: 2.10 2.07 2.06 3/179 21462 /proc/meminfo: memFree=30654416/32872528 swapFree=188940/188940 [pid=21462] ppid=21459 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/21462/stat : 21462 (toysat) R 21459 21462 17164 0 -1 4202496 59504 0 0 0 22 7 0 0 20 0 4 0 14023579 1344868352 60825 33554432000 4194304 16246674 140735715253184 140735715252496 7369620 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21462/statm: 328337 60825 802 2943 0 325231 0 [pid=21462/tid=21463] ppid=21459 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21463/stat : 21463 (toysat) S 21459 21462 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14023579 1344868352 60825 33554432000 4194304 16246674 140735715253184 139792155127024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21462/tid=21464] ppid=21459 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21464/stat : 21464 (toysat) S 21459 21462 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14023579 1344868352 60825 33554432000 4194304 16246674 140735715253184 139792144637168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21462/tid=21465] ppid=21459 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 1344868352 60825 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700413 s] /proc/loadavg: 2.10 2.07 2.06 3/179 21462 /proc/meminfo: memFree=30654416/32872528 swapFree=188940/188940 [pid=21462] ppid=21459 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/21462/stat : 21462 (toysat) R 21459 21462 17164 0 -1 4202496 72864 0 0 0 60 9 0 0 20 0 4 0 14023579 1344868352 74185 33554432000 4194304 16246674 140735715253184 140735715252496 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21462/statm: 328337 74185 803 2943 0 325231 0 [pid=21462/tid=21463] ppid=21459 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21463/stat : 21463 (toysat) S 21459 21462 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14023579 1344868352 74185 33554432000 4194304 16246674 140735715253184 139792155127024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21462/tid=21464] ppid=21459 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21464/stat : 21464 (toysat) S 21459 21462 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14023579 1344868352 74185 33554432000 4194304 16246674 140735715253184 139792144637168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21462/tid=21465] ppid=21459 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 1344868352 74185 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50037 s] /proc/loadavg: 2.10 2.07 2.06 3/183 21466 /proc/meminfo: memFree=30277604/32872528 swapFree=188940/188940 [pid=21462] ppid=21459 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/21462/stat : 21462 (toysat) R 21459 21462 17164 0 -1 4202496 173812 0 0 0 126 23 0 0 20 0 4 0 14023579 1344868352 175133 33554432000 4194304 16246674 140735715253184 140735715236176 12480933 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21462/statm: 328337 175146 837 2943 0 325231 0 [pid=21462/tid=21463] ppid=21459 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21463/stat : 21463 (toysat) S 21459 21462 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14023579 1344868352 175152 33554432000 4194304 16246674 140735715253184 139792155127024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21462/tid=21464] ppid=21459 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21464/stat : 21464 (toysat) S 21459 21462 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14023579 1344868352 175159 33554432000 4194304 16246674 140735715253184 139792144637168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21462/tid=21465] ppid=21459 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 1344868352 175167 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.1004 s] /proc/loadavg: 2.09 2.06 2.06 3/183 21466 /proc/meminfo: memFree=29561504/32872528 swapFree=188940/188940 [pid=21462] ppid=21459 vsize=1325636 CPUtime=3.09 cores=0,2,4,6 /proc/21462/stat : 21462 (toysat) R 21459 21462 17164 0 -1 4202496 272067 0 0 0 271 38 0 0 20 0 4 0 14023579 1357451264 273388 33554432000 4194304 16246674 140735715253184 140735715235072 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21462/statm: 331409 273388 879 2943 0 328303 0 [pid=21462/tid=21463] ppid=21459 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21463/stat : 21463 (toysat) S 21459 21462 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14023579 1357451264 273388 33554432000 4194304 16246674 140735715253184 139792155127024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21462/tid=21464] ppid=21459 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21464/stat : 21464 (toysat) S 21459 21462 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14023579 1357451264 273388 33554432000 4194304 16246674 140735715253184 139792144637168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21462/tid=21465] ppid=21459 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 1357451264 273388 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1325636 [startup+6.3004 s] /proc/loadavg: 2.09 2.06 2.06 3/183 21466 /proc/meminfo: memFree=29560980/32872528 swapFree=188940/188940 [pid=21462] ppid=21459 vsize=1325636 CPUtime=6.29 cores=0,2,4,6 /proc/21462/stat : 21462 (toysat) R 21459 21462 17164 0 -1 4202496 272075 0 0 0 591 38 0 0 20 0 4 0 14023579 1357451264 273396 33554432000 4194304 16246674 140735715253184 140735715235072 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21462/statm: 331409 273396 882 2943 0 328303 0 [pid=21462/tid=21463] ppid=21459 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21463/stat : 21463 (toysat) S 21459 21462 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14023579 1357451264 273396 33554432000 4194304 16246674 140735715253184 139792155127024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21462/tid=21464] ppid=21459 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21464/stat : 21464 (toysat) S 21459 21462 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14023579 1357451264 273396 33554432000 4194304 16246674 140735715253184 139792144637168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21462/tid=21465] ppid=21459 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 1357451264 273396 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1325636 [startup+12.7004 s] /proc/loadavg: 2.08 2.06 2.06 3/183 21466 /proc/meminfo: memFree=29560908/32872528 swapFree=188940/188940 [pid=21462] ppid=21459 vsize=1325636 CPUtime=12.69 cores=0,2,4,6 /proc/21462/stat : 21462 (toysat) R 21459 21462 17164 0 -1 4202496 272075 0 0 0 1231 38 0 0 20 0 4 0 14023579 1357451264 273396 33554432000 4194304 16246674 140735715253184 140735715235072 5675184 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21462/statm: 331409 273396 882 2943 0 328303 0 [pid=21462/tid=21463] ppid=21459 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21463/stat : 21463 (toysat) S 21459 21462 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14023579 1357451264 273396 33554432000 4194304 16246674 140735715253184 139792155127024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21462/tid=21464] ppid=21459 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21464/stat : 21464 (toysat) S 21459 21462 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14023579 1357451264 273396 33554432000 4194304 16246674 140735715253184 139792144637168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21462/tid=21465] ppid=21459 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 1357451264 273396 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1325636 [startup+25.5074 s] /proc/loadavg: 2.13 2.07 2.06 3/183 21466 /proc/meminfo: memFree=29561744/32872528 swapFree=188940/188940 [pid=21462] ppid=21459 vsize=1325636 CPUtime=25.49 cores=0,2,4,6 /proc/21462/stat : 21462 (toysat) R 21459 21462 17164 0 -1 4202496 272075 0 0 0 2511 38 0 0 20 0 4 0 14023579 1357451264 273396 33554432000 4194304 16246674 140735715253184 140735715235072 5677720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21462/statm: 331409 273396 882 2943 0 328303 0 [pid=21462/tid=21463] ppid=21459 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21463/stat : 21463 (toysat) S 21459 21462 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14023579 1357451264 273396 33554432000 4194304 16246674 140735715253184 139792155127024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21462/tid=21464] ppid=21459 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21464/stat : 21464 (toysat) S 21459 21462 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14023579 1357451264 273396 33554432000 4194304 16246674 140735715253184 139792144637168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21462/tid=21465] ppid=21459 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 1357451264 273396 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1325636 [startup+51.1004 s] /proc/loadavg: 2.09 2.07 2.06 3/183 21466 /proc/meminfo: memFree=29558620/32872528 swapFree=188940/188940 [pid=21462] ppid=21459 vsize=1325636 CPUtime=51.08 cores=0,2,4,6 /proc/21462/stat : 21462 (toysat) R 21459 21462 17164 0 -1 4202496 272080 0 0 0 5070 38 0 0 20 0 4 0 14023579 1357451264 273401 33554432000 4194304 16246674 140735715253184 140735715235072 5823694 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21462/statm: 331409 273401 886 2943 0 328303 0 [pid=21462/tid=21463] ppid=21459 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21463/stat : 21463 (toysat) S 21459 21462 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14023579 1357451264 273401 33554432000 4194304 16246674 140735715253184 139792155127024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21462/tid=21464] ppid=21459 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21464/stat : 21464 (toysat) S 21459 21462 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14023579 1357451264 273401 33554432000 4194304 16246674 140735715253184 139792144637168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21462/tid=21465] ppid=21459 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 1357451264 273401 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1325636 [startup+102.3 s] /proc/loadavg: 2.10 2.07 2.06 3/184 21470 /proc/meminfo: memFree=29545536/32872528 swapFree=188940/188940 [pid=21462] ppid=21459 vsize=1325636 CPUtime=102.27 cores=0,2,4,6 /proc/21462/stat : 21462 (toysat) R 21459 21462 17164 0 -1 4202496 272082 0 0 0 10189 38 0 0 20 0 4 0 14023579 1357451264 273403 33554432000 4194304 16246674 140735715253184 140735715235072 5674993 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21462/statm: 331409 273403 888 2943 0 328303 0 [pid=21462/tid=21463] ppid=21459 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21463/stat : 21463 (toysat) S 21459 21462 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14023579 1357451264 273403 33554432000 4194304 16246674 140735715253184 139792155127024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21462/tid=21464] ppid=21459 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21464/stat : 21464 (toysat) S 21459 21462 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14023579 1357451264 273403 33554432000 4194304 16246674 140735715253184 139792144637168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21462/tid=21465] ppid=21459 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 1357451264 273403 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1325636 ################ # More data... # ################ /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 1448677376 295679 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1414724 [startup+1362.3 s] /proc/loadavg: 2.03 2.06 2.02 3/183 21501 /proc/meminfo: memFree=29279100/32872528 swapFree=188940/188940 [pid=21462] ppid=21459 vsize=1473092 CPUtime=1361.97 cores=0,2,4,6 /proc/21462/stat : 21462 (toysat) R 21459 21462 17164 0 -1 4202496 308970 0 0 0 136145 52 0 0 20 0 4 0 14023579 1508446208 310078 33554432000 4194304 16246674 140735715253184 140735715252280 4220480 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21462/statm: 368273 310078 889 2943 0 365167 0 [pid=21462/tid=21463] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21463/stat : 21463 (toysat) S 21459 21462 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310078 33554432000 4194304 16246674 140735715253184 139792155127024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21462/tid=21464] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21464/stat : 21464 (toysat) S 21459 21462 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310078 33554432000 4194304 16246674 140735715253184 139792144637168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21462/tid=21465] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310078 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1473092 [startup+1422.3 s] /proc/loadavg: 2.01 2.04 2.01 3/183 21502 /proc/meminfo: memFree=29279212/32872528 swapFree=188940/188940 [pid=21462] ppid=21459 vsize=1473092 CPUtime=1421.97 cores=0,2,4,6 /proc/21462/stat : 21462 (toysat) R 21459 21462 17164 0 -1 4202496 308971 0 0 0 142141 56 0 0 20 0 4 0 14023579 1508446208 310078 33554432000 4194304 16246674 140735715253184 140735715252360 4221621 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21462/statm: 368273 310078 889 2943 0 365167 0 [pid=21462/tid=21463] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21463/stat : 21463 (toysat) S 21459 21462 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310078 33554432000 4194304 16246674 140735715253184 139792155127024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21462/tid=21464] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21464/stat : 21464 (toysat) S 21459 21462 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310078 33554432000 4194304 16246674 140735715253184 139792144637168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21462/tid=21465] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310078 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 1473092 [startup+1482.3 s] /proc/loadavg: 2.00 2.03 2.01 3/183 21504 /proc/meminfo: memFree=29278756/32872528 swapFree=188940/188940 [pid=21462] ppid=21459 vsize=1473092 CPUtime=1481.96 cores=0,2,4,6 /proc/21462/stat : 21462 (toysat) R 21459 21462 17164 0 -1 4202496 309165 0 0 0 148140 56 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 140735715235072 5675682 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21462/statm: 368273 310271 889 2943 0 365167 0 [pid=21462/tid=21463] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21463/stat : 21463 (toysat) S 21459 21462 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792155127024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21462/tid=21464] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21464/stat : 21464 (toysat) S 21459 21462 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792144637168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21462/tid=21465] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 1473092 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 21505 /proc/meminfo: memFree=29278644/32872528 swapFree=188940/188940 [pid=21462] ppid=21459 vsize=1473092 CPUtime=1541.96 cores=0,2,4,6 /proc/21462/stat : 21462 (toysat) R 21459 21462 17164 0 -1 4202496 309165 0 0 0 154140 56 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 140735715235072 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21462/statm: 368273 310271 889 2943 0 365167 0 [pid=21462/tid=21463] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21463/stat : 21463 (toysat) S 21459 21462 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792155127024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21462/tid=21464] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21464/stat : 21464 (toysat) S 21459 21462 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792144637168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21462/tid=21465] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.96 Current children cumulated vsize (KiB) 1473092 [startup+1602.3 s] /proc/loadavg: 2.06 2.03 2.00 3/183 21506 /proc/meminfo: memFree=29277972/32872528 swapFree=188940/188940 [pid=21462] ppid=21459 vsize=1473092 CPUtime=1601.94 cores=0,2,4,6 /proc/21462/stat : 21462 (toysat) R 21459 21462 17164 0 -1 4202496 309165 0 0 0 160138 56 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 140735715235072 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21462/statm: 368273 310271 889 2943 0 365167 0 [pid=21462/tid=21463] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21463/stat : 21463 (toysat) S 21459 21462 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792155127024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21462/tid=21464] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21464/stat : 21464 (toysat) S 21459 21462 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792144637168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21462/tid=21465] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 1473092 [startup+1662.31 s] /proc/loadavg: 1.93 2.01 1.99 2/173 21538 /proc/meminfo: memFree=30524320/32872528 swapFree=188940/188940 [pid=21462] ppid=21459 vsize=1473092 CPUtime=1661.94 cores=0,2,4,6 /proc/21462/stat : 21462 (toysat) R 21459 21462 17164 0 -1 4202496 309165 0 0 0 166138 56 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 140735715235072 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21462/statm: 368273 310271 889 2943 0 365167 0 [pid=21462/tid=21463] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21463/stat : 21463 (toysat) S 21459 21462 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792155127024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21462/tid=21464] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21464/stat : 21464 (toysat) S 21459 21462 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792144637168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21462/tid=21465] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.94 Current children cumulated vsize (KiB) 1473092 [startup+1722.3 s] /proc/loadavg: 1.34 1.82 1.93 2/173 21539 /proc/meminfo: memFree=30524840/32872528 swapFree=188940/188940 [pid=21462] ppid=21459 vsize=1473092 CPUtime=1721.92 cores=0,2,4,6 /proc/21462/stat : 21462 (toysat) R 21459 21462 17164 0 -1 4202496 309165 0 0 0 172136 56 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 140735715235072 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21462/statm: 368273 310271 889 2943 0 365167 0 [pid=21462/tid=21463] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21463/stat : 21463 (toysat) S 21459 21462 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792155127024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21462/tid=21464] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21464/stat : 21464 (toysat) S 21459 21462 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792144637168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21462/tid=21465] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 1473092 [startup+1782.3 s] /proc/loadavg: 1.16 1.68 1.87 2/173 21541 /proc/meminfo: memFree=30525124/32872528 swapFree=188940/188940 [pid=21462] ppid=21459 vsize=1473092 CPUtime=1781.91 cores=0,2,4,6 /proc/21462/stat : 21462 (toysat) R 21459 21462 17164 0 -1 4202496 309165 0 0 0 178135 56 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 140735715235072 5663130 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21462/statm: 368273 310271 889 2943 0 365167 0 [pid=21462/tid=21463] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21463/stat : 21463 (toysat) S 21459 21462 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792155127024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21462/tid=21464] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21464/stat : 21464 (toysat) S 21459 21462 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792144637168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21462/tid=21465] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 1473092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.19 1.66 1.86 2/173 21541 /proc/meminfo: memFree=30525180/32872528 swapFree=188940/188940 [pid=21462] ppid=21459 vsize=1473092 CPUtime=1800.01 cores=0,2,4,6 /proc/21462/stat : 21462 (toysat) R 21459 21462 17164 0 -1 4202496 309165 0 0 0 179945 56 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 140735715252280 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21462/statm: 368273 310271 889 2943 0 365167 0 [pid=21462/tid=21463] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21463/stat : 21463 (toysat) S 21459 21462 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792155127024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21462/tid=21464] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21464/stat : 21464 (toysat) S 21459 21462 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792144637168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21462/tid=21465] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1473092 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 21462 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.4 s] /proc/loadavg: 1.19 1.66 1.86 2/173 21541 /proc/meminfo: memFree=30525180/32872528 swapFree=188940/188940 [pid=21462] ppid=21459 vsize=1473092 CPUtime=1800.01 cores=0,2,4,6 /proc/21462/stat : 21462 (toysat) R 21459 21462 17164 0 -1 4202496 309165 0 0 0 179945 56 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 140735715252280 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21462/statm: 368273 310271 889 2943 0 365167 0 [pid=21462/tid=21463] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21463/stat : 21463 (toysat) S 21459 21462 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792155127024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21462/tid=21464] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21464/stat : 21464 (toysat) S 21459 21462 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792144637168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21462/tid=21465] ppid=21459 vsize=1473092 CPUtime=0 cores=0,2,4,6 /proc/21462/task/21465/stat : 21465 (toysat) S 21459 21462 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14023579 1508446208 310271 33554432000 4194304 16246674 140735715253184 139792058674352 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1473092 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.02 CPU user time (s): 1799.46 CPU system time (s): 0.566913 CPU usage (%): 99.9786 Max. virtual memory (cumulated for all children) (KiB): 1473092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.46 system time used= 0.566913 maximum resident set size= 1241084 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 309165 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= 241 involuntary context switches= 1836 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.31534 second user time and 7.27189 second system time The end
Begin job on node102 at 2016-06-17 01:28:51 IDJOB=4098122 IDBENCH=107855 IDSOLVER=2542 FILE ID=node102/4098122-1466119730 RUNJOBID= node102-1466115959-20139 PBS_JOBID= 19904127 Free space on /tmp= 71704 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_28.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098122-1466119730/watcher-4098122-1466119730 -o /tmp/evaluation-result-4098122-1466119730/solver-4098122-1466119730 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466115959-20139 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098122-1466119730.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1ca77ae56bd382d667ab95b29a70f15a RANDOM SEED=1434091565 node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30655308 kB Buffers: 52948 kB Cached: 178384 kB SwapCached: 1412 kB Active: 1228672 kB Inactive: 96980 kB Active(anon): 1095516 kB Inactive(anon): 1076 kB Active(file): 133156 kB Inactive(file): 95904 kB Unevictable: 188940 kB Mlocked: 188940 kB SwapTotal: 67108856 kB SwapFree: 67099224 kB Dirty: 21936 kB Writeback: 0 kB AnonPages: 1282384 kB Mapped: 10580 kB Shmem: 0 kB Slab: 570860 kB SReclaimable: 14812 kB SUnreclaim: 556048 kB KernelStack: 1528 kB PageTables: 6704 kB NFS_Unstable: 4 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1424316 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 57344 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= 71708 MiB End job on node102 at 2016-06-17 01:58:51