| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.01 | 1800.41 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran4x64.opb |
| MD5SUM | 094943d5c572e297ea40a22e131cb082 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.064989 |
| Has Objective Function | YES |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 7936 |
| Total number of constraints | 324 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 324 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 1920 |
| Number of terms in the objective function | 7936 |
| Biggest coefficient in the objective function | 1873 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 530542 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262144 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 530542 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-18T02:29:15+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-4099993-1466209755.opb"] 0.00/0.01 c use --random-gen="607147885 711346495 2332543155 3535332483 2647374577 1111113030 1822696127 3568029779 191347158 2990270732 324373314 990565240 460313149 1247396577 4182740361 1587976781 2997457449 1680000768 974042329 472773931 2513497352 1813921717 2062484093 3381530133 127690215 787966834 2369664682 884209127 274542956 851135628 3785487687 3275875480 578800376 3860541071 1880067417 1549791341 357834840 4203351235 1060590512 174698068 4246531574 2729382276 575007867 3182925368 615828864 3820392440 1888893940 435274461 2470312471 3620075672 250765736 1320577983 208409135 3058133227 2967149776 3670367574 2248192372 3294262007 2289094524 1383206944 571888906 2108767711 1574052584 4084152575 136681700 4106096228 1048319378 2435735605 1732757313 1206391804 3756806375 192231141 2165063903 3064744595 976778404 2263408371 577101310 2879417157 1334070780 1769906170 1739163834 4002482750 2772354784 1466953854 2567437345 3651993814 2594708119 824170192 1938198045 2228509222 2064721376 4150402229 3705763110 3152090010 1066777189 1839549793 205183222 3570877092 2733876303 1514708360 3053421223 1082902356 511667239 1365603908 3704416879 484197274 2129171430 817383676 1128627162 784541399 647855732 1546015727 896365127 114506370 2136244864 2699333210 3624826891 1890899431 2386391221 4244562313 4201104492 1462225238 915476508 2403566868 1993516620 711723693 756481500 1114562229 3959690501 3807396015 3786003056 4002001685 2861343775 1842973321 3271606308 3173029236 73588697 2521673802 3916733546 4291615429 1318883712 3640846911 3466028743 2830594501 4262291284 1347838575 4171317210 1281340463 1276237525 1674086561 2399869137 2327251488 3391201445 476632143 1521819355 2996620160 4279059234 1934660705 181445976 4092439955 3090861083 4050663855 3990504128 2895833947 3850637989 3465171304 110686872 1319065348 1194891123 2756868038 981446214 3582731718 1051031598 3700784672 3428691069 2796055307 2046011634 747222010 619164024 2215346368 4257926302 1862200009 1569258285 2302583572 4120450910 3409198716 3429951844 203722805 398397313 3419276546 99452004 689700866 750668629 789372496 3758855033 3652377396 1970496611 3819637580 1488315928 1789938463 1122518274 269790309 763477 3031431998 3887858865 2068331004 7298628 2001711259 1409019934 3868273323 1715719011 3333373917 1134265470 1121712316 3039549445 1297400737 1123485459 2898260200 3938450347 3795653871 1688785711 53481713 532212051 2004460290 1272669044 2309557617 721579289 3765779865 2004601594 938840946 1549743933 2109436650 203974204 4088896613 4053431214 3853366339 3438122984 1040304958 890361137 3655189693 3871488022 2476898078 1970626915 3549880600 2720201737 1880290454 1609248593 1455901035 4176783847 3935708980 3792526528 241147012 1052053350 2339477176 2119578992 1795077445 255 362436" option to reproduce the execution 0.00/0.07 c #vars 7936 0.00/0.07 c #constraints 324 0.09/0.18 c BCD2: Hardening is enabled. 0.09/0.18 c BCD2: BiasedSearch is enabled. 0.09/0.18 c Solving starts ... 0.09/0.18 c ============================[ Search Statistics ]============================ 0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.18 c | | | | Limit GC | Var | Constra 0.09/0.18 c ============================================================================= 0.09/0.18 c 0.0s | 0 | 0 | 0 | 2776 0 | 4160 | 0 0.48/0.51 c 0.3s | 1 | 572 | 100 | 2776 0 | 4160 | 0 0.79/0.81 c 0.6s | 2 | 2218 | 250 | 3054 0 | 4160 | 0 1.39/1.40 c 1.2s | 3 | 3728 | 475 | 3360 0 | 4160 | 0 2.20/2.21 c 2.0s | 4 | 4840 | 813 | 3697 0 | 4160 | 0 3.78/3.81 c 3.6s | 5 | 6587 | 1320 | 4067 0 | 4160 | 0 6.19/6.20 c 6.0s | 5 | 9198 | 1920 | 4474 0 | 4160 | 0 6.89/6.97 c 6.8s | 6 | 9738 | 2081 | 4922 0 | 4160 | 0 8.90/8.97 c 8.8s | 6 | 11657 | 2681 | 4922 0 | 4160 | 0 10.68/10.70 c 10.5s | 7 | 13030 | 3223 | 5415 0 | 4160 | 0 12.78/12.84 c 12.7s | 7 | 15239 | 4023 | 5415 0 | 4160 | 0 15.28/15.36 c 15.2s | 7 | 17568 | 4823 | 5415 0 | 4160 | 0 15.58/15.68 c 15.5s | 8 | 18210 | 4936 | 5957 0 | 4160 | 0 17.78/17.81 c 17.6s | 8 | 24699 | 5936 | 5957 0 | 4160 | 0 19.89/19.99 c 19.8s | 8 | 28114 | 7036 | 5957 0 | 4160 | 0 20.99/21.06 c 20.9s | 9 | 29968 | 7506 | 6553 0 | 4160 | 0 23.19/23.26 c 23.1s | 9 | 33472 | 8106 | 6553 0 | 4160 | 0 25.29/25.38 c 25.2s | 9 | 35645 | 8706 | 6553 0 | 4160 | 0 27.78/27.88 c 27.7s | 9 | 37335 | 9106 | 6553 0 | 4160 | 0 30.68/30.77 c 30.6s | 9 | 39543 | 9606 | 6553 0 | 4160 | 0 33.18/33.26 c 33.1s | 9 | 40163 | 9906 | 6553 0 | 4160 | 0 35.48/35.50 c 35.3s | 9 | 41114 | 10106 | 6553 0 | 4160 | 0 37.88/37.98 c 37.8s | 9 | 41556 | 10306 | 6553 0 | 4160 | 0 39.98/40.05 c 39.9s | 9 | 42583 | 10606 | 6553 0 | 4160 | 0 42.08/42.14 c 42.0s | 9 | 45808 | 11106 | 6553 1 | 4160 | 0 43.08/43.11 c 42.9s | 10 | 47449 | 11361 | 7209 1 | 4160 | 0 45.08/45.16 c 45.0s | 10 | 52929 | 12161 | 7209 1 | 4160 | 0 47.28/47.35 c 47.2s | 10 | 57800 | 12861 | 7209 1 | 4160 | 0 49.48/49.59 c 49.4s | 10 | 61762 | 13561 | 7209 1 | 4160 | 0 51.97/52.00 c 51.8s | 10 | 64174 | 14061 | 7209 1 | 4160 | 0 54.27/54.32 c 54.1s | 10 | 66588 | 14561 | 7209 1 | 4160 | 0 56.47/56.50 c 56.3s | 10 | 68565 | 14861 | 7209 1 | 4160 | 0 58.57/58.68 c 58.5s | 10 | 71427 | 15361 | 7209 1 | 4160 | 0 60.77/60.85 c 60.7s | 10 | 73738 | 15861 | 7209 1 | 4160 | 0 62.87/62.96 c 62.8s | 10 | 75808 | 16261 | 7209 1 | 4160 | 0 64.98/65.06 c 64.9s | 10 | 78003 | 16861 | 7209 1 | 4160 | 0 65.57/65.69 c 65.5s | 11 | 78713 | 17144 | 7930 1 | 4160 | 0 68.28/68.37 c 68.2s | 11 | 80404 | 17544 | 7930 1 | 4160 | 0 70.48/70.51 c 70.3s | 11 | 82673 | 18144 | 7930 2 | 4160 | 0 72.68/72.75 c 72.6s | 11 | 86697 | 18944 | 7930 2 | 4160 | 0 74.88/74.91 c 74.7s | 11 | 90020 | 19644 | 7930 2 | 4160 | 0 76.98/77.03 c 76.9s | 11 | 92648 | 20244 | 7930 2 | 4160 | 0 79.28/79.33 c 79.2s | 11 | 96460 | 21044 | 7930 2 | 4160 | 0 81.48/81.56 c 81.4s | 11 | 99661 | 21844 | 7930 2 | 4160 | 0 83.68/83.73 c 83.6s | 11 | 102340 | 22544 | 7930 2 | 4160 | 0 85.67/85.76 c 85.6s | 11 | 106650 | 23244 | 7930 2 | 4160 | 0 87.77/87.84 c 87.7s | 11 | 109716 | 23944 | 7930 2 | 4160 | 0 89.76/89.85 c 89.7s | 11 | 112478 | 24644 | 7930 2 | 4160 | 0 92.37/92.44 c 92.3s | 11 | 113520 | 25044 | 7930 3 | 4160 | 0 94.57/94.69 c 94.5s | 11 | 115829 | 25744 | 8723 3 | 4160 | 0 94.86/94.93 c 94.7s | 12 | 115919 | 25819 | 8723 3 | 4160 | 0 96.96/97.04 c 96.9s | 12 | 118777 | 26319 | 8723 3 | 4160 | 0 99.26/99.37 c 99.2s | 12 | 121809 | 26819 | 8723 3 | 4160 | 0 101.56/101.65 c 101s | 12 | 125051 | 27419 | 8723 3 | 4160 | 0 103.66/103.71 c 103s | 12 | 128480 | 28019 | 8723 3 | 4160 | 0 106.06/106.10 c 105s | 12 | 131171 | 28619 | 8723 3 | 4160 | 0 108.16/108.28 c 108s | 12 | 134881 | 29219 | 8723 3 | 4160 | 0 110.45/110.56 c 110s | 12 | 137769 | 29919 | 8723 3 | 4160 | 0 112.65/112.76 c 112s | 12 | 140324 | 30519 | 8723 3 | 4160 | 0 114.75/114.85 c 114s | 12 | 142377 | 31019 | 8723 3 | 4160 | 0 117.05/117.18 c 117s | 12 | 144726 | 31519 | 8723 3 | 4160 | 0 119.65/119.79 c 119s | 12 | 146447 | 32019 | 8723 3 | 4160 | 0 122.25/122.33 c 122s | 12 | 148882 | 32519 | 8723 4 | 4160 | 0 124.55/124.63 c 124s | 12 | 150774 | 33019 | 8723 4 | 4160 | 0 126.56/126.69 c 126s | 12 | 153370 | 33519 | 8723 4 | 4160 | 0 128.55/128.69 c 128s | 12 | 154933 | 33919 | 8723 4 | 4160 | 0 130.75/130.81 c 130s | 12 | 156442 | 34319 | 8723 4 | 4160 | 0 132.85/132.91 c 132s | 12 | 158141 | 34719 | 8723 4 | 4160 | 0 135.15/135.26 c 135s | 12 | 159912 | 35219 | 8723 4 | 4160 | 0 137.15/137.27 c 137s | 12 | 160984 | 35619 | 8723 4 | 4160 | 0 139.54/139.67 c 139s | 12 | 163334 | 36219 | 8723 4 | 4160 | 0 141.74/141.80 c 141s | 12 | 165126 | 36719 | 8723 4 | 4160 | 0 143.94/144.00 c 143s | 12 | 167345 | 37219 | 8723 4 | 4160 | 0 146.04/146.18 c 146s | 12 | 168618 | 37619 | 8723 4 | 4160 | 0 148.45/148.55 c 148s | 12 | 169800 | 38019 | 8723 4 | 4160 | 0 150.74/150.86 c 150s | 12 | 171105 | 38419 | 8723 4 | 4160 | 0 152.74/152.86 c 152s | 13 | 172323 | 38832 | 9596 4 | 4160 | 0 154.84/154.99 c 154s | 13 | 174864 | 39832 | 9596 5 | 4160 | 0 156.94/157.07 c 156s | 13 | 178427 | 40632 | 9596 5 | 4160 | 0 159.04/159.16 c 158s | 13 | 180181 | 41432 | 9596 5 | 4160 | 0 161.14/161.26 c 161s | 13 | 181546 | 41932 | 9596 5 | 4160 | 0 163.44/163.53 c 163s | 13 | 183034 | 42532 | 9596 5 | 4160 | 0 165.54/165.65 c 165s | 13 | 184488 | 43132 | 9596 5 | 4160 | 0 167.74/167.80 c 167s | 13 | 185756 | 43732 | 9596 5 | 4160 | 0 169.74/169.89 c 169s | 13 | 186885 | 44332 | 9596 5 | 4160 | 0 171.94/172.07 c 171s | 13 | 187637 | 44732 | 9596 5 | 4160 | 0 174.44/174.55 c 174s | 13 | 188298 | 45132 | 9596 5 | 4160 | 0 176.74/176.89 c 176s | 13 | 188917 | 45532 | 9596 5 | 4160 | 0 179.14/179.22 c 179s | 13 | 190032 | 46132 | 9596 5 | 4160 | 0 181.55/181.63 c 181s | 13 | 191576 | 46632 | 9596 5 | 4160 | 0 183.84/183.97 c 183s | 13 | 192523 | 47132 | 9596 5 | 4160 | 0 185.95/186.04 c 185s | 13 | 193210 | 47532 | 9596 5 | 4160 | 0 188.74/188.86 c 188s | 13 | 193499 | 47732 | 9596 5 | 4160 | 0 191.34/191.49 c 191s | 13 | 193898 | 48032 | 9596 6 | 4160 | 0 194.04/194.17 c 193s | 13 | 194313 | 48332 | 9596 6 | 4160 | 0 196.44/196.50 c 196s | 13 | 194730 | 48632 | 9596 6 | 4160 | 0 198.84/198.92 c 198s | 13 | 195121 | 48932 | 9596 6 | 4160 | 0 201.44/201.54 c 201s | 13 | 195559 | 49232 | 9596 6 | 4160 | 0 203.83/203.90 c 203s | 13 | 196195 | 49632 | 9596 6 | 4160 | 0 206.03/206.13 c 205s | 13 | 196929 | 50132 | 9596 6 | 4160 | 0 208.43/208.59 c 208s | 13 | 197426 | 50532 | 9596 6 | 4160 | 0 210.73/210.88 c 210s | 13 | 197989 | 50932 | 9596 6 | 4160 | 0 213.13/213.24 c 213s | 13 | 198545 | 51332 | 9596 6 | 4160 | 0 215.33/215.47 c 215s | 13 | 200622 | 52032 | 9596 6 | 4160 | 0 217.43/217.59 c 217s | 13 | 201392 | 52532 | 9596 6 | 4160 | 0 219.63/219.74 c 219s | 13 | 202526 | 53132 | 9596 6 | 4160 | 0 221.73/221.83 c 221s | 13 | 203499 | 53632 | 9596 6 | 4160 | 0 224.03/224.11 c 223s | 13 | 204380 | 54132 | 9596 6 | 4160 | 0 226.02/226.18 c 226s | 13 | 205213 | 54632 | 9596 6 | 4160 | 0 228.42/228.50 c 228s | 13 | 206315 | 55232 | 9596 6 | 4160 | 0 230.42/230.60 c 230s | 13 | 207158 | 55732 | 9596 7 | 4160 | 0 232.52/232.61 c 232s | 13 | 207787 | 56232 | 9596 7 | 4160 | 0 234.72/234.86 c 234s | 13 | 208544 | 56832 | 9596 7 | 4160 | 0 236.92/237.09 c 236s | 13 | 209154 | 57332 | 9596 7 | 4160 | 0 239.02/239.19 c 239s | 13 | 209660 | 57732 | 9596 7 | 4160 | 0 241.42/241.52 c 241s | 13 | 210126 | 58132 | 10556 7 | 4160 | 0 242.42/242.59 c 242s | 14 | 210449 | 58352 | 10556 7 | 4160 | 0 244.52/244.63 c 244s | 14 | 214330 | 59452 | 10556 7 | 4160 | 0 246.62/246.70 c 246s | 14 | 217297 | 60252 | 10556 7 | 4160 | 0 248.62/248.73 c 248s | 14 | 221447 | 61352 | 10556 7 | 4160 | 0 250.61/250.80 c 250s | 14 | 224600 | 62452 | 10556 7 | 4160 | 0 252.81/252.97 c 252s | 14 | 226873 | 63152 | 10556 8 | 4160 | 0 254.81/254.98 c 254s | 14 | 228764 | 63852 | 10556 8 | 4160 | 0 257.11/257.29 c 257s | 14 | 232641 | 64752 | 10556 8 | 4160 | 0 259.21/259.30 c 259s | 14 | 236112 | 65452 | 10556 8 | 4160 | 0 261.21/261.34 c 261s | 14 | 240177 | 66252 | 10556 8 | 4160 | 0 263.41/263.51 c 263s | 14 | 244049 | 67052 | 10556 8 | 4160 | 0 265.51/265.69 c 265s | 14 | 248022 | 67752 | 10556 8 | 4160 | 0 267.71/267.88 c 267s | 14 | 250919 | 68452 | 10556 8 | 4160 | 0 269.81/269.93 c 269s | 14 | 254094 | 69152 | 10556 8 | 4160 | 0 271.91/272.00 c 271s | 14 | 257972 | 69852 | 10556 8 | 4160 | 0 273.91/274.05 c 273s | 14 | 261128 | 70752 | 10556 9 | 4160 | 0 276.21/276.31 c 276s | 14 | 265160 | 71452 | 10556 9 | 4160 | 0 278.31/278.45 c 278s | 14 | 267900 | 72152 | 10556 9 | 4160 | 0 280.41/280.51 c 280s | 14 | 270519 | 72752 | 10556 9 | 4160 | 0 282.61/282.72 c 282s | 14 | 272596 | 73252 | 10556 9 | 4160 | 0 284.70/284.84 c 284s | 14 | 274287 | 73752 | 10556 9 | 4160 | 0 287.01/287.11 c 286s | 14 | 275912 | 74352 | 10556 9 | 4160 | 0 289.10/289.20 c 289s | 14 | 279059 | 75052 | 10556 9 | 4160 | 0 291.30/291.42 c 291s | 14 | 281267 | 75852 | 10556 9 | 4160 | 0 293.50/293.63 c 293s | 14 | 283274 | 76552 | 10556 9 | 4160 | 0 295.60/295.72 c 295s | 14 | 285217 | 77252 | 10556 9 | 4160 | 0 297.70/297.84 c 297s | 14 | 286867 | 78152 | 10556 10 | 4160 | 0 299.70/299.85 c 299s | 14 | 288728 | 78952 | 10556 10 | 4160 | 0 301.80/301.91 c 301s | 14 | 290620 | 79552 | 10556 10 | 4160 | 0 303.80/303.95 c 303s | 14 | 292567 | 80152 | 10556 10 | 4160 | 0 305.80/305.98 c 305s | 14 | 294503 | 80752 | 10556 10 | 4160 | 0 308.00/308.12 c 307s | 14 | 297154 | 81452 | 10556 10 | 4160 | 0 310.00/310.17 c 309s | 14 | 301399 | 82652 | 10556 10 | 4160 | 0 312.20/312.30 c 312s | 14 | 306925 | 83852 | 10556 10 | 4160 | 0 314.20/314.35 c 314s | 14 | 313174 | 85152 | 10556 10 | 4160 | 0 316.39/316.58 c 316s | 14 | 318747 | 86652 | 10556 11 | 4160 | 0 318.09/318.25 c 318s | 15 | 322526 | 87632 | 11612 11 | 4160 | 0 320.19/320.36 c 320s | 15 | 325090 | 88232 | 11612 11 | 4160 | 0 322.39/322.57 c 322s | 15 | 327771 | 88832 | 11612 11 | 4160 | 0 324.40/324.60 c 324s | 15 | 329359 | 89532 | 11612 11 | 4160 | 0 326.60/326.78 c 326s | 15 | 332748 | 90232 | 11612 11 | 4160 | 0 329.09/329.29 c 329s | 15 | 335353 | 90932 | 11612 11 | 4160 | 0 331.49/331.60 c 331s | 15 | 336596 | 91432 | 11612 11 | 4160 | 0 333.79/333.97 c 333s | 15 | 338501 | 91932 | 11612 11 | 4160 | 0 335.99/336.12 c 335s | 15 | 339963 | 92332 | 11612 11 | 4160 | 0 337.99/338.17 c 337s | 15 | 341754 | 92732 | 11612 11 | 4160 | 0 340.19/340.37 c 340s | 15 | 343509 | 93232 | 11612 11 | 4160 | 0 342.59/342.77 c 342s | 15 | 344964 | 93632 | 11612 11 | 4160 | 0 344.89/345.00 c 344s | 15 | 346812 | 94132 | 11612 11 | 4160 | 0 347.39/347.53 c 347s | 15 | 348161 | 94632 | 11612 11 | 4160 | 0 349.48/349.65 c 349s | 15 | 349277 | 94932 | 11612 12 | 4160 | 0 351.58/351.71 c 351s | 15 | 350313 | 95432 | 11612 12 | 4160 | 0 353.78/353.93 c 353s | 15 | 351549 | 95832 | 11612 12 | 4160 | 0 355.88/356.03 c 355s | 15 | 352605 | 96232 | 11612 12 | 4160 | 0 358.28/358.42 c 358s | 15 | 353259 | 96632 | 11612 12 | 4160 | 0 360.38/360.51 c 360s | 15 | 354297 | 97032 | 11612 12 | 4160 | 0 362.99/363.19 c 363s | 15 | 355429 | 97432 | 11612 12 | 4160 | 0 365.08/365.27 c 365s | 15 | 356282 | 97732 | 11612 12 | 4160 | 0 367.48/367.69 c 367s | 15 | 357538 | 98132 | 11612 12 | 4160 | 0 369.77/369.90 c 369s | 15 | 360266 | 98832 | 11612 12 | 4160 | 0 371.97/372.13 c 371s | 15 | 362027 | 99532 | 11612 12 | 4160 | 0 374.17/374.37 c 374s | 15 | 364916 | 100132 | 11612 12 | 4160 | 0 376.37/376.56 c 376s | 15 | 367678 | 100732 | 11612 12 | 4160 | 0 378.57/378.70 c 378s | 15 | 370149 | 101332 | 11612 12 | 4160 | 0 380.87/381.01 c 380s | 15 | 372165 | 101932 | 11612 12 | 4160 | 0 383.07/383.22 c 383s | 15 | 373824 | 102332 | 11612 12 | 4160 | 0 385.07/385.28 c 385s | 15 | 375947 | 102832 | 11612 12 | 4160 | 0 387.47/387.60 c 387s | 15 | 378207 | 103432 | 11612 13 | 4160 | 0 389.47/389.64 c 389s | 15 | 380111 | 103932 | 11612 13 | 4160 | 0 391.67/391.86 c 391s | 15 | 381352 | 104332 | 11612 13 | 4160 | 0 393.97/394.13 c 393s | 15 | 382821 | 104732 | 11612 13 | 4160 | 0 396.06/396.20 c 396s | 15 | 383445 | 105132 | 11612 13 | 4160 | 0 398.07/398.22 c 398s | 15 | 385167 | 105532 | 11612 13 | 4160 | 0 400.56/400.72 c 400s | 15 | 386532 | 105932 | 11612 13 | 4160 | 0 402.66/402.83 c 402s | 15 | 388371 | 106332 | 11612 13 | 4160 | 0 404.86/405.00 c 404s | 15 | 389767 | 106732 | 11612 13 | 4160 | 0 406.87/407.08 c 406s | 15 | 391692 | 107132 | 11612 13 | 4160 | 0 409.07/409.29 c 409s | 15 | 393585 | 107532 | 11612 13 | 4160 | 0 411.56/411.74 c 411s | 15 | 395292 | 107832 | 11612 13 | 4160 | 0 413.76/413.93 c 413s | 15 | 396693 | 108232 | 11612 13 | 4160 | 0 415.96/416.15 c 415s | 15 | 397631 | 108532 | 11612 13 | 4160 | 0 418.46/418.64 c 418s | 15 | 400113 | 109032 | 11612 13 | 4160 | 0 421.17/421.38 c 421s | 15 | 401448 | 109432 | 11612 13 | 4160 | 0 423.66/423.85 c 423s | 15 | 402437 | 109732 | 11612 13 | 4160 | 0 426.36/426.50 c 426s | 15 | 403120 | 110032 | 11612 13 | 4160 | 0 428.76/429.00 c 428s | 15 | 404049 | 110332 | 11612 13 | 4160 | 0 431.36/431.50 c 431s | 15 | 405161 | 110632 | 11612 13 | 4160 | 0 433.56/433.74 c 433s | 15 | 406519 | 110932 | 11612 13 | 4160 | 0 435.56/435.77 c 435s | 15 | 407562 | 111232 | 11612 13 | 4160 | 0 437.76/437.97 c 437s | 15 | 408522 | 111532 | 11612 13 | 4160 | 0 439.86/440.02 c 439s | 15 | 408858 | 111732 | 11612 14 | 4160 | 0 442.45/442.66 c 442s | 15 | 409686 | 112032 | 11612 14 | 4160 | 0 444.85/445.07 c 444s | 15 | 410622 | 112332 | 11612 14 | 4160 | 0 447.66/447.87 c 447s | 15 | 411259 | 112632 | 11612 14 | 4160 | 0 450.35/450.53 c 450s | 15 | 411960 | 112932 | 11612 14 | 4160 | 0 452.35/452.53 c 452s | 15 | 412583 | 113132 | 11612 14 | 4160 | 0 454.95/455.15 c 454s | 15 | 413453 | 113432 | 11612 14 | 4160 | 0 457.35/457.58 c 457s | 15 | 414414 | 113732 | 11612 14 | 4160 | 0 460.15/460.38 c 460s | 15 | 415188 | 114032 | 11612 14 | 4160 | 0 462.55/462.75 c 462s | 15 | 416126 | 114332 | 11612 14 | 4160 | 0 464.55/464.78 c 464s | 15 | 416561 | 114532 | 11612 14 | 4160 | 0 467.45/467.61 c 467s | 15 | 417215 | 114832 | 11612 14 | 4160 | 0 470.15/470.32 c 470s | 15 | 417859 | 115132 | 11612 14 | 4160 | 0 472.55/472.79 c 472s | 15 | 420385 | 115532 | 11612 14 | 4160 | 0 474.84/475.00 c 474s | 15 | 421317 | 115832 | 11612 14 | 4160 | 0 477.54/477.71 c 477s | 15 | 422461 | 116232 | 11612 14 | 4160 | 0 479.84/480.06 c 479s | 15 | 423212 | 116532 | 11612 14 | 4160 | 0 482.14/482.36 c 482s | 15 | 424787 | 116932 | 11612 14 | 4160 | 0 484.44/484.61 c 484s | 15 | 426590 | 117332 | 11612 14 | 4160 | 0 486.64/486.85 c 486s | 15 | 427372 | 117632 | 11612 14 | 4160 | 0 488.84/489.07 c 488s | 15 | 429258 | 118432 | 11612 14 | 4160 | 0 491.03/491.21 c 491s | 15 | 430923 | 119232 | 11612 14 | 4160 | 0 493.13/493.32 c 493s | 15 | 432353 | 120032 | 11612 14 | 4160 | 0 495.13/495.39 c 495s | 15 | 433866 | 120832 | 11612 14 | 4160 | 0 497.53/497.78 c 497s | 15 | 435728 | 121632 | 11612 14 | 4160 | 0 499.63/499.87 c 499s | 15 | 437250 | 122232 | 11612 15 | 4160 | 0 501.73/501.99 c 501s | 15 | 439701 | 122832 | 11612 15 | 4160 | 0 504.13/504.34 c 504s | 15 | 441527 | 123432 | 11612 15 | 4160 | 0 506.43/506.62 c 506s | 15 | 443144 | 123932 | 11612 15 | 4160 | 0 508.73/508.94 c 508s | 15 | 445541 | 124532 | 11612 15 | 4160 | 0 511.22/511.40 c 511s | 15 | 447639 | 125132 | 11612 15 | 4160 | 0 513.42/513.70 c 513s | 15 | 448902 | 125632 | 11612 15 | 4160 | 0 515.73/515.96 c 515s | 15 | 450708 | 126232 | 11612 15 | 4160 | 0 518.12/518.30 c 518s | 15 | 452689 | 126932 | 11612 15 | 4160 | 0 520.22/520.44 c 520s | 15 | 454738 | 127532 | 11612 15 | 4160 | 0 522.62/522.87 c 522s | 15 | 456838 | 128232 | 11612 15 | 4160 | 0 524.82/525.03 c 524s | 15 | 457547 | 128732 | 11612 15 | 4160 | 0 526.82/527.07 c 526s | 15 | 458141 | 129232 | 11612 15 | 4160 | 0 528.92/529.18 c 529s | 15 | 458754 | 129732 | 11612 15 | 4160 | 0 531.22/531.40 c 531s | 15 | 459436 | 130232 | 11612 15 | 4160 | 0 533.21/533.49 c 533s | 15 | 462858 | 130832 | 12774 16 | 4160 | 0 535.51/535.71 c 535s | 15 | 464685 | 131432 | 12774 16 | 4160 | 0 535.91/536.16 c 535s | 16 | 464985 | 131552 | 12774 16 | 4160 | 0 538.11/538.30 c 538s | 16 | 469163 | 132352 | 12774 16 | 4160 | 0 540.10/540.38 c 540s | 16 | 471843 | 133052 | 12774 16 | 4160 | 0 542.80/543.09 c 542s | 16 | 472701 | 133352 | 12774 16 | 4160 | 0 545.20/545.48 c 545s | 16 | 474521 | 133852 | 12774 16 | 4160 | 0 547.30/547.53 c 547s | 16 | 476976 | 134352 | 12774 16 | 4160 | 0 549.70/549.98 c 549s | 16 | 480181 | 134952 | 12774 16 | 4160 | 0 552.20/552.44 c 552s | 16 | 482753 | 135452 | 12774 16 | 4160 | 0 554.50/554.79 c 554s | 16 | 484407 | 136052 | 12774 16 | 4160 | 0 557.40/557.62 c 557s | 16 | 485710 | 136352 | 12774 16 | 4160 | 0 559.60/559.87 c 559s | 16 | 486238 | 136552 | 12774 16 | 4160 | 0 561.90/562.11 c 561s | 16 | 488077 | 137152 | 12774 16 | 4160 | 0 564.20/564.47 c 564s | 16 | 490853 | 137652 | 12774 16 | 4160 | 0 566.30/566.53 c 566s | 16 | 492225 | 138052 | 12774 16 | 4160 | 0 569.60/569.90 c 569s | 16 | 492438 | 138252 | 12774 16 | 4160 | 0 572.39/572.67 c 572s | 16 | 492858 | 138452 | 12774 16 | 4160 | 0 574.89/575.13 c 574s | 16 | 493986 | 138852 | 12774 16 | 4160 | 0 577.09/577.34 c 577s | 16 | 494839 | 139152 | 12774 16 | 4160 | 0 579.38/579.69 c 579s | 16 | 496069 | 139552 | 12774 17 | 4160 | 0 581.58/581.82 c 581s | 16 | 498120 | 139952 | 12774 17 | 4160 | 0 583.78/584.04 c 583s | 16 | 499798 | 140252 | 12774 17 | 4160 | 0 586.19/586.46 c 586s | 16 | 501350 | 140652 | 12774 17 | 4160 | 0 588.48/588.75 c 588s | 16 | 502110 | 140852 | 12774 17 | 4160 | 0 590.88/591.13 c 590s | 16 | 503472 | 141352 | 12774 17 | 4160 | 0 593.08/593.36 c 593s | 16 | 504539 | 141752 | 12774 17 | 4160 | 0 595.18/595.45 c 595s | 16 | 505601 | 142052 | 12774 17 | 4160 | 0 598.29/598.53 c 598s | 16 | 506307 | 142352 | 12774 17 | 4160 | 0 600.28/600.57 c 600s | 16 | 506772 | 142552 | 12774 17 | 4160 | 0 602.48/602.80 c 602s | 16 | 508254 | 142952 | 12774 17 | 4160 | 0 605.08/605.39 c 605s | 16 | 509251 | 143252 | 12774 17 | 4160 | 0 608.88/609.17 c 608s | 16 | 509820 | 143452 | 12774 17 | 4160 | 0 612.18/612.47 c 612s | 16 | 510606 | 143652 | 12774 17 | 4160 | 0 614.48/614.77 c 614s | 16 | 511178 | 143852 | 12774 17 | 4160 | 0 617.48/617.76 c 617s | 16 | 511710 | 144052 | 12774 17 | 4160 | 0 621.68/621.92 c 621s | 16 | 512290 | 144252 | 12774 17 | 4160 | 0 624.48/624.78 c 624s | 16 | 512577 | 144352 | 12774 17 | 4160 | 0 626.97/627.25 c 627s | 16 | 513283 | 144552 | 12774 17 | 4160 | 0 629.67/629.91 c 629s | 16 | 513824 | 144752 | 12774 17 | 4160 | 0 633.17/633.42 c 633s | 16 | 514487 | 144952 | 12774 17 | 4160 | 0 635.87/636.15 c 635s | 16 | 514702 | 145052 | 12774 17 | 4160 | 0 638.17/638.41 c 638s | 16 | 514956 | 145152 | 12774 17 | 4160 | 0 642.07/642.36 c 642s | 16 | 515369 | 145352 | 12774 17 | 4160 | 0 645.07/645.36 c 645s | 16 | 515794 | 145552 | 12774 17 | 4160 | 0 649.98/650.21 c 650s | 16 | 516163 | 145752 | 12774 17 | 4160 | 0 652.08/652.38 c 652s | 16 | 516397 | 145852 | 12774 17 | 4160 | 0 656.07/656.34 c 656s | 16 | 516931 | 146052 | 12774 17 | 4160 | 0 660.07/660.34 c 660s | 16 | 517151 | 146152 | 12774 17 | 4160 | 0 663.67/663.97 c 663s | 16 | 517928 | 146352 | 12774 17 | 4160 | 0 667.87/668.10 c 667s | 16 | 518374 | 146552 | 12774 17 | 4160 | 0 670.47/670.72 c 670s | 16 | 518605 | 146652 | 12774 17 | 4160 | 0 673.47/673.75 c 673s | 16 | 518812 | 146752 | 12774 17 | 4160 | 0 676.57/676.86 c 676s | 16 | 518996 | 146852 | 12774 17 | 4160 | 0 679.17/679.49 c 679s | 16 | 519501 | 147052 | 12774 17 | 4160 | 0 683.37/683.60 c 683s | 16 | 520595 | 147352 | 12774 17 | 4160 | 0 685.76/686.01 c 685s | 16 | 521664 | 147552 | 12774 17 | 4160 | 0 688.06/688.35 c 688s | 16 | 522240 | 147752 | 12774 17 | 4160 | 0 690.57/690.88 c 690s | 16 | 523546 | 148052 | 12774 17 | 4160 | 0 693.26/693.57 c 693s | 16 | 523744 | 148152 | 12774 17 | 4160 | 0 695.86/696.12 c 695s | 16 | 523903 | 148252 | 12774 17 | 4160 | 0 698.76/699.03 c 698s | 16 | 524434 | 148452 | 12774 18 | 4160 | 0 701.16/701.45 c 701s | 16 | 526713 | 148952 | 12774 18 | 4160 | 0 704.26/704.57 c 704s | 16 | 527277 | 149152 | 12774 18 | 4160 | 0 707.07/707.39 c 707s | 16 | 528278 | 149452 | 12774 18 | 4160 | 0 709.46/709.74 c 709s | 16 | 528858 | 149652 | 12774 18 | 4160 | 0 712.67/712.94 c 712s | 16 | 529686 | 149952 | 12774 18 | 4160 | 0 714.66/714.98 c 714s | 16 | 529821 | 150052 | 12774 18 | 4160 | 0 716.97/717.23 c 717s | 16 | 531137 | 150352 | 12774 18 | 4160 | 0 719.06/719.36 c 719s | 16 | 533672 | 150852 | 12774 18 | 4160 | 0 721.16/721.49 c 721s | 16 | 536394 | 151652 | 12774 18 | 4160 | 0 723.36/723.66 c 723s | 16 | 540082 | 152552 | 12774 18 | 4160 | 0 725.36/725.67 c 725s | 16 | 545000 | 153452 | 12774 18 | 4160 | 0 727.46/727.71 c 727s | 16 | 548342 | 154152 | 12774 18 | 4160 | 0 729.56/729.80 c 729s | 16 | 551609 | 154952 | 12774 18 | 4160 | 0 731.66/731.95 c 731s | 16 | 556057 | 155752 | 12774 18 | 4160 | 0 734.16/734.40 c 734s | 16 | 559288 | 156452 | 12774 18 | 4160 | 0 736.66/736.93 c 736s | 16 | 562194 | 157052 | 12774 18 | 4160 | 0 738.96/739.28 c 739s | 16 | 564443 | 157552 | 12774 19 | 4160 | 0 741.06/741.33 c 741s | 16 | 566442 | 158152 | 12774 19 | 4160 | 0 743.06/743.39 c 743s | 16 | 567730 | 158652 | 12774 19 | 4160 | 0 745.45/745.77 c 745s | 16 | 568624 | 159152 | 12774 19 | 4160 | 0 747.76/748.09 c 747s | 16 | 569830 | 159652 | 12774 19 | 4160 | 0 750.35/750.64 c 750s | 16 | 570682 | 160152 | 12774 19 | 4160 | 0 752.55/752.86 c 752s | 16 | 572134 | 160652 | 12774 19 | 4160 | 0 754.95/755.21 c 755s | 16 | 573564 | 161052 | 12774 19 | 4160 | 0 757.45/757.72 c 757s | 16 | 575018 | 161452 | 12774 19 | 4160 | 0 759.96/760.25 c 760s | 16 | 575893 | 161752 | 12774 19 | 4160 | 0 761.95/762.28 c 762s | 16 | 576477 | 161952 | 12774 19 | 4160 | 0 764.55/764.84 c 764s | 16 | 577366 | 162252 | 12774 19 | 4160 | 0 766.95/767.27 c 767s | 16 | 580772 | 162952 | 12774 19 | 4160 | 0 769.55/769.82 c 769s | 16 | 582806 | 163552 | 12774 19 | 4160 | 0 771.96/772.23 c 772s | 16 | 585212 | 164052 | 12774 19 | 4160 | 0 774.26/774.54 c 774s | 16 | 587038 | 164552 | 12774 19 | 4160 | 0 776.75/777.01 c 776s | 16 | 588629 | 165052 | 12774 19 | 4160 | 0 778.85/779.10 c 778s | 16 | 589816 | 165452 | 12774 19 | 4160 | 0 780.95/781.20 c 781s | 16 | 591512 | 165952 | 12774 19 | 4160 | 0 783.45/783.73 c 783s | 16 | 593068 | 166452 | 12774 20 | 4160 | 0 785.85/786.13 c 785s | 16 | 594740 | 166952 | 12774 20 | 4160 | 0 787.86/788.14 c 787s | 16 | 596348 | 167452 | 12774 20 | 4160 | 0 790.05/790.35 c 790s | 16 | 600135 | 168352 | 12774 20 | 4160 | 0 792.15/792.43 c 792s | 16 | 602249 | 169052 | 12774 20 | 4160 | 0 794.35/794.65 c 794s | 16 | 604620 | 169752 | 12774 20 | 4160 | 0 796.65/796.97 c 796s | 16 | 606536 | 170452 | 12774 20 | 4160 | 0 799.15/799.41 c 799s | 16 | 608973 | 171152 | 12774 20 | 4160 | 0 801.15/801.42 c 801s | 16 | 611033 | 171752 | 12774 20 | 4160 | 0 803.15/803.47 c 803s | 16 | 613639 | 172352 | 12774 20 | 4160 | 0 805.35/805.64 c 805s | 16 | 616207 | 172952 | 12774 20 | 4160 | 0 807.55/807.81 c 807s | 16 | 618864 | 173652 | 12774 20 | 4160 | 0 809.75/810.02 c 809s | 16 | 620426 | 174252 | 12774 20 | 4160 | 0 812.15/812.41 c 812s | 16 | 622675 | 174752 | 12774 21 | 4160 | 0 814.25/814.58 c 814s | 16 | 624574 | 175252 | 12774 21 | 4160 | 0 816.75/817.00 c 816s | 16 | 625659 | 175652 | 12774 21 | 4160 | 0 818.95/819.24 c 819s | 16 | 627052 | 176052 | 12774 21 | 4160 | 0 820.95/821.26 c 821s | 16 | 628902 | 176552 | 12774 21 | 4160 | 0 822.95/823.26 c 823s | 16 | 630530 | 177052 | 12774 21 | 4160 | 0 825.25/825.53 c 825s | 16 | 632995 | 177652 | 12774 21 | 4160 | 0 827.25/827.59 c 827s | 16 | 635643 | 178252 | 12774 21 | 4160 | 0 829.65/829.97 c 829s | 16 | 637391 | 178752 | 12774 21 | 4160 | 0 831.85/832.17 c 831s | 16 | 639919 | 179352 | 12774 21 | 4160 | 0 834.05/834.35 c 834s | 16 | 642483 | 179952 | 12774 21 | 4160 | 0 836.15/836.43 c 836s | 16 | 644655 | 180452 | 12774 21 | 4160 | 0 838.35/838.60 c 838s | 16 | 647356 | 181152 | 12774 21 | 4160 | 0 840.45/840.77 c 840s | 16 | 649693 | 181852 | 12774 21 | 4160 | 0 842.65/842.90 c 842s | 16 | 653169 | 182552 | 12774 21 | 4160 | 0 844.74/845.00 c 844s | 16 | 655284 | 183052 | 12774 21 | 4160 | 0 846.94/847.22 c 847s | 16 | 657449 | 183652 | 12774 22 | 4160 | 0 849.14/849.48 c 849s | 16 | 659288 | 184252 | 12774 22 | 4160 | 0 851.44/851.76 c 851s | 16 | 661425 | 184752 | 12774 22 | 4160 | 0 853.64/853.93 c 853s | 16 | 664171 | 185552 | 12774 22 | 4160 | 0 856.04/856.31 c 856s | 16 | 666932 | 186252 | 12774 22 | 4160 | 0 858.24/858.57 c 858s | 16 | 668946 | 186752 | 12774 22 | 4160 | 0 860.34/860.65 c 860s | 16 | 672041 | 187552 | 12774 22 | 4160 | 0 862.64/862.98 c 862s | 16 | 674891 | 188352 | 12774 22 | 4160 | 0 864.74/865.08 c 864s | 16 | 676826 | 188952 | 12774 22 | 4160 | 0 866.84/867.11 c 866s | 16 | 678800 | 189652 | 12774 22 | 4160 | 0 868.94/869.27 c 869s | 16 | 681084 | 190252 | 12774 22 | 4160 | 0 870.95/871.30 c 871s | 16 | 684277 | 190852 | 12774 22 | 4160 | 0 873.15/873.50 c 873s | 16 | 687435 | 191652 | 12774 23 | 4160 | 0 875.24/875.51 c 875s | 16 | 689911 | 192452 | 12774 23 | 4160 | 0 877.34/877.63 c 877s | 16 | 692286 | 193152 | 12774 23 | 4160 | 0 879.54/879.82 c 879s | 16 | 694932 | 194052 | 12774 23 | 4160 | 0 881.64/881.90 c 881s | 16 | 698343 | 194952 | 12774 23 | 4160 | 0 883.64/883.97 c 883s | 16 | 701060 | 195652 | 12774 23 | 4160 | 0 885.74/886.06 c 885s | 16 | 702437 | 196252 | 14052 23 | 4160 | 0 887.84/888.18 c 887s | 16 | 704253 | 196952 | 14052 23 | 4160 | 0 889.64/890.00 c 889s | 17 | 705574 | 197432 | 14052 23 | 4160 | 0 892.24/892.50 c 892s | 17 | 707386 | 198132 | 14052 23 | 4160 | 0 894.64/894.91 c 894s | 17 | 708266 | 198532 | 14052 23 | 4160 | 0 896.74/897.05 c 896s | 17 | 709923 | 199032 | 14052 23 | 4160 | 0 898.84/899.14 c 898s | 17 | 712900 | 199732 | 14052 23 | 4160 | 0 900.94/901.21 c 901s | 17 | 714786 | 200232 | 14052 23 | 4160 | 0 903.13/903.48 c 903s | 17 | 717308 | 200932 | 14052 23 | 4160 | 0 905.24/905.52 c 905s | 17 | 718479 | 201432 | 14052 24 | 4160 | 0 907.24/907.53 c 907s | 17 | 721535 | 202232 | 14052 24 | 4160 | 0 909.23/909.56 c 909s | 17 | 723275 | 202732 | 14052 24 | 4160 | 0 911.43/911.72 c 911s | 17 | 725601 | 203232 | 14052 24 | 4160 | 0 913.63/913.92 c 913s | 17 | 727311 | 203832 | 14052 24 | 4160 | 0 915.93/916.20 c 916s | 17 | 729264 | 204532 | 14052 24 | 4160 | 0 918.03/918.39 c 918s | 17 | 732157 | 205332 | 14052 24 | 4160 | 0 920.23/920.57 c 920s | 17 | 733879 | 206032 | 14052 24 | 4160 | 0 922.33/922.65 c 922s | 17 | 736196 | 206732 | 14052 24 | 4160 | 0 924.43/924.71 c 924s | 17 | 738473 | 207532 | 14052 24 | 4160 | 0 926.53/926.87 c 926s | 17 | 741769 | 208432 | 14052 24 | 4160 | 0 928.63/928.96 c 928s | 17 | 744636 | 209332 | 14052 24 | 4160 | 0 930.73/931.10 c 930s | 17 | 746545 | 210032 | 14052 24 | 4160 | 0 932.93/933.20 c 933s | 17 | 748130 | 210732 | 14052 25 | 4160 | 0 934.93/935.27 c 935s | 17 | 750337 | 211532 | 14052 25 | 4160 | 0 937.03/937.33 c 937s | 17 | 752823 | 212332 | 14052 25 | 4160 | 0 939.13/939.44 c 939s | 17 | 755496 | 213232 | 14052 25 | 4160 | 0 941.23/941.50 c 941s | 17 | 757312 | 214032 | 14052 25 | 4160 | 0 943.43/943.74 c 943s | 17 | 759855 | 215132 | 14052 25 | 4160 | 0 945.63/945.91 c 945s | 17 | 762086 | 216032 | 14052 25 | 4160 | 0 947.82/948.17 c 947s | 17 | 763482 | 216732 | 14052 25 | 4160 | 0 950.13/950.43 c 950s | 17 | 765737 | 217532 | 14052 25 | 4160 | 0 952.12/952.45 c 952s | 17 | 767073 | 218132 | 14052 25 | 4160 | 0 954.42/954.76 c 954s | 17 | 768325 | 218732 | 14052 25 | 4160 | 0 956.52/956.84 c 956s | 17 | 769453 | 219332 | 14052 25 | 4160 | 0 958.62/958.92 c 958s | 17 | 770359 | 219832 | 14052 25 | 4160 | 0 960.82/961.10 c 960s | 17 | 771398 | 220332 | 14052 25 | 4160 | 0 962.82/963.18 c 963s | 17 | 772601 | 220832 | 14052 26 | 4160 | 0 965.12/965.46 c 965s | 17 | 774146 | 221532 | 14052 26 | 4160 | 0 967.52/967.80 c 967s | 17 | 776838 | 222332 | 14052 26 | 4160 | 0 969.52/969.85 c 969s | 17 | 779649 | 223132 | 14052 26 | 4160 | 0 971.62/971.99 c 971s | 17 | 782400 | 223632 | 14052 26 | 4160 | 0 974.12/974.44 c 974s | 17 | 784574 | 224132 | 14052 26 | 4160 | 0 976.32/976.68 c 976s | 17 | 785962 | 224532 | 14052 26 | 4160 | 0 978.83/979.17 c 978s | 17 | 786794 | 224932 | 14052 26 | 4160 | 0 980.93/981.30 c 981s | 17 | 791231 | 225632 | 14052 26 | 4160 | 0 983.13/983.44 c 983s | 17 | 796023 | 226432 | 14052 26 | 4160 | 0 985.62/985.95 c 985s | 17 | 798431 | 226932 | 14052 26 | 4160 | 0 987.63/987.96 c 987s | 17 | 800667 | 227432 | 14052 26 | 4160 | 0 990.12/990.41 c 990s | 17 | 803590 | 227932 | 14052 26 | 4160 | 0 992.12/992.50 c 992s | 17 | 805735 | 228332 | 14052 26 | 4160 | 0 994.72/995.00 c 994s | 17 | 808324 | 228832 | 14052 26 | 4160 | 0 996.72/997.02 c 996s | 17 | 809998 | 229232 | 14052 26 | 4160 | 0 999.12/999.44 c 999s | 17 | 811499 | 229732 | 14052 26 | 4160 | 0 1001.62/1001.93 c 1001s | 17 | 812890 | 230232 | 14052 27 | 4160 | 0 1004.12/1004.46 c 1004s | 17 | 814200 | 230732 | 14052 27 | 4160 | 0 1006.62/1006.94 c 1006s | 17 | 816560 | 231232 | 14052 27 | 4160 | 0 1008.72/1009.06 c 1008s | 17 | 820703 | 232132 | 14052 27 | 4160 | 0 1011.52/1011.89 c 1011s | 17 | 823714 | 232932 | 14052 27 | 4160 | 0 1013.62/1013.99 c 1013s | 17 | 824728 | 233232 | 14052 27 | 4160 | 0 1015.82/1016.16 c 1015s | 17 | 826151 | 233632 | 14052 27 | 4160 | 0 1018.01/1018.38 c 1018s | 17 | 828154 | 234132 | 14052 27 | 4160 | 0 1020.31/1020.69 c 1020s | 17 | 829623 | 234532 | 14052 27 | 4160 | 0 1022.51/1022.82 c 1022s | 17 | 831138 | 235032 | 14052 27 | 4160 | 0 1024.92/1025.27 c 1025s | 17 | 832607 | 235532 | 14052 27 | 4160 | 0 1027.31/1027.67 c 1027s | 17 | 834231 | 236032 | 14052 27 | 4160 | 0 1029.32/1029.67 c 1029s | 17 | 834954 | 236432 | 14052 27 | 4160 | 0 1031.52/1031.89 c 1031s | 17 | 836379 | 236832 | 14052 27 | 4160 | 0 1034.01/1034.30 c 1034s | 17 | 838644 | 237332 | 14052 27 | 4160 | 0 1036.02/1036.37 c 1036s | 17 | 841389 | 238132 | 14052 27 | 4160 | 0 1038.12/1038.41 c 1038s | 17 | 843892 | 238832 | 14052 27 | 4160 | 0 1040.21/1040.55 c 1040s | 17 | 847288 | 239532 | 14052 28 | 4160 | 0 1042.21/1042.58 c 1042s | 17 | 849855 | 239932 | 14052 28 | 4160 | 0 1044.31/1044.68 c 1044s | 17 | 851670 | 240432 | 14052 28 | 4160 | 0 1046.61/1046.96 c 1046s | 17 | 855360 | 241332 | 14052 28 | 4160 | 0 1048.61/1048.99 c 1048s | 17 | 858980 | 242132 | 14052 28 | 4160 | 0 1051.01/1051.35 c 1051s | 17 | 861294 | 242732 | 14052 28 | 4160 | 0 1053.11/1053.41 c 1053s | 17 | 863077 | 243332 | 14052 28 | 4160 | 0 1055.41/1055.70 c 1055s | 17 | 865517 | 243932 | 14052 28 | 4160 | 0 1057.51/1057.80 c 1057s | 17 | 867387 | 244332 | 14052 28 | 4160 | 0 1059.81/1060.12 c 1059s | 17 | 868786 | 244932 | 14052 28 | 4160 | 0 1062.01/1062.31 c 1062s | 17 | 870249 | 245532 | 14052 28 | 4160 | 0 1064.01/1064.34 c 1064s | 17 | 871492 | 246032 | 14052 28 | 4160 | 0 1066.21/1066.53 c 1066s | 17 | 872909 | 246532 | 14052 28 | 4160 | 0 1068.51/1068.81 c 1068s | 17 | 874467 | 247032 | 14052 28 | 4160 | 0 1070.51/1070.87 c 1070s | 17 | 875950 | 247532 | 14052 28 | 4160 | 0 1072.61/1072.91 c 1072s | 17 | 878004 | 248132 | 14052 29 | 4160 | 0 1074.61/1074.93 c 1074s | 17 | 881330 | 248932 | 14052 29 | 4160 | 0 1076.71/1077.06 c 1076s | 17 | 884339 | 249732 | 14052 29 | 4160 | 0 1078.81/1079.10 c 1078s | 17 | 886433 | 250432 | 14052 29 | 4160 | 0 1080.90/1081.28 c 1081s | 17 | 888554 | 251132 | 14052 29 | 4160 | 0 1083.40/1083.73 c 1083s | 17 | 890940 | 251932 | 14052 29 | 4160 | 0 1085.51/1085.82 c 1085s | 17 | 893629 | 252532 | 14052 29 | 4160 | 0 1087.80/1088.17 c 1087s | 17 | 895401 | 253132 | 14052 29 | 4160 | 0 1090.20/1090.53 c 1090s | 17 | 896941 | 253732 | 14052 29 | 4160 | 0 1092.40/1092.74 c 1092s | 17 | 897924 | 254232 | 14052 29 | 4160 | 0 1094.40/1094.74 c 1094s | 17 | 899053 | 254732 | 14052 29 | 4160 | 0 1096.60/1096.92 c 1096s | 17 | 901423 | 255432 | 14052 29 | 4160 | 0 1098.80/1099.14 c 1098s | 17 | 902776 | 255932 | 14052 29 | 4160 | 0 1101.20/1101.58 c 1101s | 17 | 904291 | 256532 | 14052 29 | 4160 | 0 1103.50/1103.82 c 1103s | 17 | 905441 | 257032 | 14052 29 | 4160 | 0 1105.70/1106.05 c 1105s | 17 | 906536 | 257532 | 14052 29 | 4160 | 0 1107.80/1108.13 c 1107s | 17 | 907798 | 258032 | 14052 29 | 4160 | 0 1109.90/1110.24 c 1110s | 17 | 909584 | 258632 | 14052 30 | 4160 | 0 1111.91/1112.29 c 1112s | 17 | 911275 | 259232 | 14052 30 | 4160 | 0 1114.00/1114.34 c 1114s | 17 | 913273 | 260032 | 14052 30 | 4160 | 0 1116.10/1116.49 c 1116s | 17 | 916350 | 260732 | 14052 30 | 4160 | 0 1118.20/1118.57 c 1118s | 17 | 918401 | 261432 | 14052 30 | 4160 | 0 1120.30/1120.64 c 1120s | 17 | 921561 | 262332 | 14052 30 | 4160 | 0 1122.50/1122.85 c 1122s | 17 | 924709 | 263332 | 14052 30 | 4160 | 0 1124.50/1124.87 c 1124s | 17 | 927462 | 264332 | 14052 30 | 4160 | 0 1126.60/1126.93 c 1126s | 17 | 929865 | 265232 | 14052 30 | 4160 | 0 1128.70/1129.08 c 1128s | 17 | 931780 | 266132 | 14052 30 | 4160 | 0 1130.90/1131.28 c 1131s | 17 | 933877 | 266832 | 14052 31 | 4160 | 0 1133.09/1133.43 c 1133s | 17 | 937704 | 267832 | 14052 31 | 4160 | 0 1135.09/1135.47 c 1135s | 17 | 940136 | 268632 | 14052 31 | 4160 | 0 1137.39/1137.76 c 1137s | 17 | 941852 | 269332 | 14052 31 | 4160 | 0 1139.79/1140.10 c 1139s | 17 | 942961 | 269832 | 14052 31 | 4160 | 0 1141.89/1142.25 c 1142s | 17 | 943947 | 270332 | 14052 31 | 4160 | 0 1144.19/1144.50 c 1144s | 17 | 945293 | 270932 | 14052 31 | 4160 | 0 1146.39/1146.79 c 1146s | 17 | 946664 | 271332 | 14052 31 | 4160 | 0 1148.49/1148.88 c 1148s | 17 | 949012 | 271832 | 14052 31 | 4160 | 0 1151.50/1151.89 c 1151s | 17 | 950813 | 272232 | 14052 31 | 4160 | 0 1153.90/1154.29 c 1154s | 17 | 952724 | 272732 | 14052 31 | 4160 | 0 1156.10/1156.44 c 1156s | 17 | 954273 | 273132 | 14052 31 | 4160 | 0 1158.40/1158.78 c 1158s | 17 | 955743 | 273532 | 14052 31 | 4160 | 0 1160.90/1161.28 c 1161s | 17 | 956734 | 273932 | 14052 31 | 4160 | 0 1163.00/1163.34 c 1163s | 17 | 957162 | 274132 | 14052 31 | 4160 | 0 1165.60/1165.91 c 1165s | 17 | 958259 | 274532 | 14052 31 | 4160 | 0 1168.60/1168.95 c 1168s | 17 | 958858 | 274832 | 14052 31 | 4160 | 0 1170.90/1171.20 c 1171s | 17 | 959675 | 275132 | 14052 31 | 4160 | 0 1173.20/1173.51 c 1173s | 17 | 960727 | 275532 | 14052 31 | 4160 | 0 1175.90/1176.21 c 1176s | 17 | 961850 | 275932 | 14052 31 | 4160 | 0 1178.20/1178.50 c 1178s | 17 | 962867 | 276332 | 14052 31 | 4160 | 0 1180.50/1180.84 c 1180s | 17 | 964311 | 276732 | 14052 31 | 4160 | 0 1182.50/1182.87 c 1182s | 17 | 965780 | 277232 | 14052 32 | 4160 | 0 1184.90/1185.28 c 1185s | 17 | 967065 | 277732 | 14052 32 | 4160 | 0 1187.10/1187.43 c 1187s | 17 | 968588 | 278232 | 14052 32 | 4160 | 0 1189.40/1189.77 c 1189s | 17 | 969698 | 278732 | 14052 32 | 4160 | 0 1191.59/1191.90 c 1191s | 17 | 970457 | 279132 | 14052 32 | 4160 | 0 1193.59/1193.99 c 1193s | 17 | 971352 | 279532 | 14052 32 | 4160 | 0 1195.79/1196.12 c 1195s | 17 | 972223 | 279932 | 14052 32 | 4160 | 0 1197.89/1198.26 c 1198s | 17 | 974561 | 280532 | 14052 32 | 4160 | 0 1200.09/1200.42 c 1200s | 17 | 979664 | 281432 | 14052 32 | 4160 | 0 1202.39/1202.75 c 1202s | 17 | 982840 | 282232 | 14052 32 | 4160 | 0 1204.79/1205.16 c 1204s | 17 | 985481 | 283132 | 14052 32 | 4160 | 0 1207.09/1207.48 c 1207s | 17 | 987282 | 283732 | 14052 32 | 4160 | 0 1209.29/1209.64 c 1209s | 17 | 990374 | 284532 | 14052 32 | 4160 | 0 1211.39/1211.76 c 1211s | 17 | 993510 | 285332 | 14052 32 | 4160 | 0 1213.49/1213.85 c 1213s | 17 | 995579 | 285932 | 14052 33 | 4160 | 0 1215.59/1215.91 c 1215s | 17 | 998191 | 286532 | 14052 33 | 4160 | 0 1217.79/1218.17 c 1217s | 17 | 1000818 | 287232 | 14052 33 | 4160 | 0 1219.89/1220.27 c 1220s | 17 | 1004821 | 288132 | 14052 33 | 4160 | 0 1221.99/1222.36 c 1222s | 17 | 1006870 | 289032 | 14052 33 | 4160 | 0 1224.10/1224.41 c 1224s | 17 | 1008917 | 289832 | 14052 33 | 4160 | 0 1226.20/1226.58 c 1226s | 17 | 1011059 | 290732 | 14052 33 | 4160 | 0 1228.69/1229.02 c 1228s | 17 | 1014216 | 291432 | 14052 33 | 4160 | 0 1230.79/1231.19 c 1231s | 17 | 1017865 | 292232 | 14052 33 | 4160 | 0 1233.09/1233.46 c 1233s | 17 | 1019609 | 292732 | 14052 33 | 4160 | 0 1235.39/1235.71 c 1235s | 17 | 1022168 | 293432 | 14052 33 | 4160 | 0 1237.79/1238.16 c 1237s | 17 | 1023796 | 293932 | 14052 33 | 4160 | 0 1240.29/1240.63 c 1240s | 17 | 1025532 | 294332 | 15458 33 | 4160 | 0 1242.39/1242.79 c 1242s | 17 | 1027631 | 295032 | 15458 33 | 4160 | 0 1244.59/1244.96 c 1244s | 17 | 1029697 | 295632 | 15458 33 | 4160 | 0 1246.69/1247.00 c 1246s | 17 | 1030986 | 296132 | 15458 33 | 4160 | 0 1247.09/1247.42 c 1247s | 18 | 1031216 | 296252 | 15458 33 | 4160 | 0 1249.29/1249.63 c 1249s | 18 | 1035268 | 296952 | 15458 34 | 4160 | 0 1251.38/1251.73 c 1251s | 18 | 1037367 | 297752 | 15458 34 | 4160 | 0 1253.48/1253.83 c 1253s | 18 | 1039059 | 298452 | 15458 34 | 4160 | 0 1255.78/1256.12 c 1255s | 18 | 1040730 | 299252 | 15458 34 | 4160 | 0 1258.09/1258.41 c 1258s | 18 | 1044088 | 300052 | 15458 34 | 4160 | 0 1260.18/1260.54 c 1260s | 18 | 1045706 | 300752 | 15458 34 | 4160 | 0 1262.18/1262.56 c 1262s | 18 | 1047948 | 301652 | 15458 34 | 4160 | 0 1264.28/1264.61 c 1264s | 18 | 1050425 | 302652 | 15458 34 | 4160 | 0 1266.28/1266.68 c 1266s | 18 | 1052490 | 303552 | 15458 34 | 4160 | 0 1268.48/1268.80 c 1268s | 18 | 1054515 | 304552 | 15458 34 | 4160 | 0 1270.48/1270.88 c 1270s | 18 | 1056366 | 305552 | 15458 34 | 4160 | 0 1272.58/1272.98 c 1272s | 18 | 1058641 | 306452 | 15458 34 | 4160 | 0 1274.88/1275.22 c 1275s | 18 | 1060974 | 307352 | 15458 34 | 4160 | 0 1276.88/1277.24 c 1277s | 18 | 1062589 | 308152 | 15458 34 | 4160 | 0 1278.88/1279.29 c 1279s | 18 | 1064324 | 308952 | 15458 35 | 4160 | 0 1280.98/1281.32 c 1281s | 18 | 1066211 | 309652 | 15458 35 | 4160 | 0 1283.18/1283.58 c 1283s | 18 | 1067892 | 310452 | 15458 35 | 4160 | 0 1285.28/1285.61 c 1285s | 18 | 1070091 | 311252 | 15458 35 | 4160 | 0 1287.48/1287.80 c 1287s | 18 | 1072124 | 312052 | 15458 35 | 4160 | 0 1289.58/1289.96 c 1289s | 18 | 1074093 | 312752 | 15458 35 | 4160 | 0 1291.58/1291.96 c 1291s | 18 | 1077665 | 313152 | 15458 35 | 4160 | 0 1293.87/1294.20 c 1294s | 18 | 1078580 | 313652 | 15458 35 | 4160 | 0 1296.47/1296.84 c 1296s | 18 | 1080942 | 314052 | 15458 35 | 4160 | 0 1298.88/1299.26 c 1299s | 18 | 1084080 | 314552 | 15458 35 | 4160 | 0 1301.17/1301.54 c 1301s | 18 | 1087031 | 315052 | 15458 35 | 4160 | 0 1303.18/1303.58 c 1303s | 18 | 1090711 | 315852 | 15458 35 | 4160 | 0 1305.67/1306.07 c 1305s | 18 | 1092385 | 316552 | 15458 35 | 4160 | 0 1307.97/1308.30 c 1308s | 18 | 1095034 | 317252 | 15458 35 | 4160 | 0 1309.97/1310.38 c 1310s | 18 | 1097380 | 317752 | 15458 36 | 4160 | 0 1312.27/1312.60 c 1312s | 18 | 1099280 | 318352 | 15458 36 | 4160 | 0 1314.37/1314.71 c 1314s | 18 | 1100365 | 318952 | 15458 36 | 4160 | 0 1316.67/1317.02 c 1316s | 18 | 1101900 | 319652 | 15458 36 | 4160 | 0 1318.87/1319.25 c 1319s | 18 | 1103468 | 320352 | 15458 36 | 4160 | 0 1321.17/1321.53 c 1321s | 18 | 1104971 | 321052 | 15458 36 | 4160 | 0 1323.37/1323.79 c 1323s | 18 | 1106754 | 321652 | 15458 36 | 4160 | 0 1325.47/1325.83 c 1325s | 18 | 1107586 | 321952 | 15458 36 | 4160 | 0 1327.67/1328.00 c 1327s | 18 | 1109587 | 322552 | 15458 36 | 4160 | 0 1329.77/1330.18 c 1330s | 18 | 1111055 | 323152 | 15458 36 | 4160 | 0 1331.87/1332.20 c 1332s | 18 | 1112723 | 323552 | 15458 36 | 4160 | 0 1334.27/1334.68 c 1334s | 18 | 1115403 | 324052 | 15458 36 | 4160 | 0 1336.67/1337.04 c 1336s | 18 | 1117164 | 324652 | 15458 36 | 4160 | 0 1339.07/1339.43 c 1339s | 18 | 1118386 | 325152 | 15458 36 | 4160 | 0 1341.37/1341.70 c 1341s | 18 | 1120061 | 325552 | 15458 36 | 4160 | 0 1343.47/1343.89 c 1343s | 18 | 1122858 | 325952 | 15458 36 | 4160 | 0 1345.77/1346.18 c 1346s | 18 | 1125866 | 326452 | 15458 36 | 4160 | 0 1348.07/1348.45 c 1348s | 18 | 1130477 | 327052 | 15458 36 | 4160 | 0 1350.36/1350.75 c 1350s | 18 | 1133234 | 327552 | 15458 37 | 4160 | 0 1352.46/1352.87 c 1352s | 18 | 1135729 | 328152 | 15458 37 | 4160 | 0 1354.56/1354.96 c 1354s | 18 | 1137092 | 328752 | 15458 37 | 4160 | 0 1356.66/1357.08 c 1356s | 18 | 1137968 | 329252 | 15458 37 | 4160 | 0 1358.76/1359.12 c 1358s | 18 | 1138917 | 329752 | 15458 37 | 4160 | 0 1360.96/1361.34 c 1361s | 18 | 1140630 | 330252 | 15458 37 | 4160 | 0 1363.46/1363.81 c 1363s | 18 | 1143209 | 330752 | 15458 37 | 4160 | 0 1365.46/1365.83 c 1365s | 18 | 1145271 | 331352 | 15458 37 | 4160 | 0 1367.66/1368.03 c 1367s | 18 | 1146383 | 331752 | 15458 37 | 4160 | 0 1369.76/1370.18 c 1370s | 18 | 1148616 | 332452 | 15458 37 | 4160 | 0 1371.96/1372.32 c 1372s | 18 | 1150559 | 333252 | 15458 37 | 4160 | 0 1374.06/1374.44 c 1374s | 18 | 1151934 | 333852 | 15458 37 | 4160 | 0 1376.16/1376.54 c 1376s | 18 | 1153665 | 334452 | 15458 37 | 4160 | 0 1378.86/1379.20 c 1379s | 18 | 1155289 | 334952 | 15458 37 | 4160 | 0 1381.16/1381.57 c 1381s | 18 | 1156693 | 335352 | 15458 37 | 4160 | 0 1383.36/1383.72 c 1383s | 18 | 1157838 | 335752 | 15458 37 | 4160 | 0 1385.46/1385.89 c 1385s | 18 | 1159574 | 336252 | 15458 37 | 4160 | 0 1387.76/1388.10 c 1387s | 18 | 1161049 | 336652 | 15458 37 | 4160 | 0 1390.56/1390.90 c 1390s | 18 | 1162617 | 337152 | 15458 37 | 4160 | 0 1392.96/1393.32 c 1393s | 18 | 1163412 | 337452 | 15458 37 | 4160 | 0 1395.06/1395.43 c 1395s | 18 | 1166229 | 337852 | 15458 37 | 4160 | 0 1397.96/1398.31 c 1398s | 18 | 1167662 | 338252 | 15458 37 | 4160 | 0 1400.36/1400.75 c 1400s | 18 | 1169354 | 338552 | 15458 38 | 4160 | 0 1402.36/1402.77 c 1402s | 18 | 1172208 | 338952 | 15458 38 | 4160 | 0 1404.56/1404.96 c 1404s | 18 | 1174129 | 339452 | 15458 38 | 4160 | 0 1406.85/1407.20 c 1407s | 18 | 1176008 | 339852 | 15458 38 | 4160 | 0 1408.86/1409.27 c 1409s | 18 | 1178652 | 340352 | 15458 38 | 4160 | 0 1411.35/1411.72 c 1411s | 18 | 1181061 | 340852 | 15458 38 | 4160 | 0 1413.56/1413.93 c 1413s | 18 | 1182970 | 341252 | 15458 38 | 4160 | 0 1415.86/1416.28 c 1416s | 18 | 1185504 | 341752 | 15458 38 | 4160 | 0 1417.96/1418.37 c 1418s | 18 | 1186795 | 342152 | 15458 38 | 4160 | 0 1420.76/1421.15 c 1420s | 18 | 1188097 | 342552 | 15458 38 | 4160 | 0 1422.96/1423.38 c 1423s | 18 | 1192266 | 342952 | 15458 38 | 4160 | 0 1425.16/1425.53 c 1425s | 18 | 1193400 | 343252 | 15458 38 | 4160 | 0 1427.76/1428.12 c 1427s | 18 | 1194412 | 343552 | 15458 38 | 4160 | 0 1430.36/1430.76 c 1430s | 18 | 1195281 | 343852 | 15458 38 | 4160 | 0 1432.56/1432.91 c 1432s | 18 | 1195928 | 344152 | 15458 38 | 4160 | 0 1435.06/1435.48 c 1435s | 18 | 1197154 | 344552 | 15458 38 | 4160 | 0 1437.46/1437.89 c 1437s | 18 | 1199755 | 344952 | 15458 38 | 4160 | 0 1439.76/1440.15 c 1439s | 18 | 1200923 | 345352 | 15458 38 | 4160 | 0 1442.06/1442.45 c 1442s | 18 | 1202246 | 345752 | 15458 38 | 4160 | 0 1444.36/1444.78 c 1444s | 18 | 1205106 | 346252 | 15458 38 | 4160 | 0 1446.56/1446.94 c 1446s | 18 | 1206023 | 346652 | 15458 38 | 4160 | 0 1448.95/1449.39 c 1449s | 18 | 1207513 | 347152 | 15458 38 | 4160 | 0 1451.45/1451.84 c 1451s | 18 | 1209585 | 347552 | 15458 38 | 4160 | 0 1453.75/1454.14 c 1453s | 18 | 1210885 | 347952 | 15458 38 | 4160 | 0 1456.45/1456.89 c 1456s | 18 | 1211497 | 348152 | 15458 38 | 4160 | 0 1458.85/1459.28 c 1459s | 18 | 1212841 | 348452 | 15458 38 | 4160 | 0 1461.15/1461.59 c 1461s | 18 | 1214201 | 348752 | 15458 39 | 4160 | 0 1463.45/1463.84 c 1463s | 18 | 1216305 | 349252 | 15458 39 | 4160 | 0 1465.85/1466.22 c 1466s | 18 | 1218508 | 349752 | 15458 39 | 4160 | 0 1468.16/1468.51 c 1468s | 18 | 1221847 | 350252 | 15458 39 | 4160 | 0 1470.15/1470.55 c 1470s | 18 | 1223469 | 350752 | 15458 39 | 4160 | 0 1472.15/1472.57 c 1472s | 18 | 1226732 | 351352 | 15458 39 | 4160 | 0 1474.86/1475.23 c 1475s | 18 | 1228331 | 351952 | 15458 39 | 4160 | 0 1477.15/1477.50 c 1477s | 18 | 1230915 | 352452 | 15458 39 | 4160 | 0 1479.45/1479.82 c 1479s | 18 | 1232167 | 352952 | 15458 39 | 4160 | 0 1481.55/1481.95 c 1481s | 18 | 1233998 | 353452 | 15458 39 | 4160 | 0 1483.85/1484.22 c 1484s | 18 | 1237359 | 354052 | 15458 39 | 4160 | 0 1486.15/1486.54 c 1486s | 18 | 1238005 | 354352 | 15458 39 | 4160 | 0 1488.15/1488.57 c 1488s | 18 | 1239093 | 354652 | 15458 39 | 4160 | 0 1490.45/1490.80 c 1490s | 18 | 1240566 | 355052 | 15458 39 | 4160 | 0 1492.85/1493.24 c 1493s | 18 | 1241878 | 355452 | 15458 39 | 4160 | 0 1495.15/1495.50 c 1495s | 18 | 1243487 | 355852 | 15458 39 | 4160 | 0 1497.65/1498.00 c 1497s | 18 | 1244281 | 356152 | 15458 39 | 4160 | 0 1499.95/1500.35 c 1500s | 18 | 1245121 | 356452 | 15458 39 | 4160 | 0 1502.45/1502.86 c 1502s | 18 | 1245990 | 356752 | 15458 39 | 4160 | 0 1504.75/1505.15 c 1504s | 18 | 1246962 | 357052 | 15458 39 | 4160 | 0 1507.15/1507.58 c 1507s | 18 | 1248014 | 357452 | 15458 39 | 4160 | 0 1509.45/1509.85 c 1509s | 18 | 1249979 | 357752 | 15458 39 | 4160 | 0 1511.85/1512.24 c 1512s | 18 | 1251123 | 358152 | 15458 39 | 4160 | 0 1513.94/1514.37 c 1514s | 18 | 1251974 | 358452 | 15458 39 | 4160 | 0 1516.34/1516.71 c 1516s | 18 | 1253215 | 358752 | 15458 40 | 4160 | 0 1518.44/1518.85 c 1518s | 18 | 1255441 | 359352 | 15458 40 | 4160 | 0 1520.64/1521.08 c 1520s | 18 | 1258813 | 360052 | 15458 40 | 4160 | 0 1523.04/1523.45 c 1523s | 18 | 1261438 | 360752 | 15458 40 | 4160 | 0 1525.04/1525.45 c 1525s | 18 | 1262487 | 361152 | 15458 40 | 4160 | 0 1527.24/1527.62 c 1527s | 18 | 1264298 | 361652 | 15458 40 | 4160 | 0 1529.64/1530.09 c 1529s | 18 | 1267528 | 362152 | 15458 40 | 4160 | 0 1531.74/1532.10 c 1531s | 18 | 1268985 | 362452 | 15458 40 | 4160 | 0 1533.84/1534.23 c 1534s | 18 | 1272238 | 362952 | 15458 40 | 4160 | 0 1535.84/1536.24 c 1536s | 18 | 1274558 | 363352 | 15458 40 | 4160 | 0 1538.04/1538.40 c 1538s | 18 | 1278151 | 363952 | 15458 40 | 4160 | 0 1540.14/1540.50 c 1540s | 18 | 1281276 | 364552 | 15458 40 | 4160 | 0 1542.24/1542.65 c 1542s | 18 | 1282953 | 364952 | 15458 40 | 4160 | 0 1544.24/1544.68 c 1544s | 18 | 1284839 | 365452 | 15458 40 | 4160 | 0 1546.64/1547.00 c 1546s | 18 | 1287706 | 366052 | 15458 40 | 4160 | 0 1549.14/1549.56 c 1549s | 18 | 1291340 | 366652 | 15458 40 | 4160 | 0 1551.54/1551.91 c 1551s | 18 | 1293096 | 367052 | 15458 40 | 4160 | 0 1553.74/1554.18 c 1554s | 18 | 1295543 | 367552 | 15458 40 | 4160 | 0 1555.84/1556.20 c 1556s | 18 | 1296810 | 367852 | 15458 40 | 4160 | 0 1558.44/1558.87 c 1558s | 18 | 1298655 | 368252 | 15458 41 | 4160 | 0 1560.64/1561.01 c 1560s | 18 | 1301282 | 368852 | 15458 41 | 4160 | 0 1562.94/1563.33 c 1563s | 18 | 1302950 | 369252 | 15458 41 | 4160 | 0 1565.14/1565.56 c 1565s | 18 | 1305378 | 369752 | 15458 41 | 4160 | 0 1567.24/1567.64 c 1567s | 18 | 1308989 | 370552 | 15458 41 | 4160 | 0 1569.44/1569.82 c 1569s | 18 | 1311298 | 371252 | 15458 41 | 4160 | 0 1572.04/1572.43 c 1572s | 18 | 1312624 | 371652 | 15458 41 | 4160 | 0 1574.33/1574.79 c 1574s | 18 | 1315193 | 372152 | 15458 41 | 4160 | 0 1576.43/1576.82 c 1576s | 18 | 1316569 | 372552 | 15458 41 | 4160 | 0 1578.63/1579.02 c 1578s | 18 | 1318554 | 372952 | 15458 41 | 4160 | 0 1580.63/1581.06 c 1580s | 18 | 1319743 | 373352 | 15458 41 | 4160 | 0 1582.73/1583.13 c 1582s | 18 | 1320968 | 373752 | 15458 41 | 4160 | 0 1585.23/1585.62 c 1585s | 18 | 1323114 | 374252 | 15458 41 | 4160 | 0 1587.23/1587.66 c 1587s | 18 | 1324504 | 374652 | 15458 41 | 4160 | 0 1589.33/1589.74 c 1589s | 18 | 1326484 | 375152 | 15458 41 | 4160 | 0 1591.83/1592.28 c 1592s | 18 | 1327255 | 375552 | 15458 41 | 4160 | 0 1594.13/1594.54 c 1594s | 18 | 1328971 | 376052 | 15458 41 | 4160 | 0 1596.23/1596.68 c 1596s | 18 | 1330246 | 376552 | 15458 41 | 4160 | 0 1598.33/1598.77 c 1598s | 18 | 1330893 | 376852 | 15458 41 | 4160 | 0 1600.53/1600.97 c 1600s | 18 | 1332286 | 377252 | 15458 41 | 4160 | 0 1603.13/1603.56 c 1603s | 18 | 1333472 | 377652 | 15458 41 | 4160 | 0 1605.13/1605.59 c 1605s | 18 | 1334964 | 378052 | 15458 41 | 4160 | 0 1607.63/1608.06 c 1607s | 18 | 1336436 | 378452 | 15458 41 | 4160 | 0 1609.83/1610.27 c 1610s | 18 | 1338252 | 378852 | 15458 41 | 4160 | 0 1612.24/1612.68 c 1612s | 18 | 1340014 | 379352 | 15458 42 | 4160 | 0 1614.33/1614.76 c 1614s | 18 | 1341360 | 379752 | 15458 42 | 4160 | 0 1616.53/1616.98 c 1616s | 18 | 1343189 | 380152 | 15458 42 | 4160 | 0 1618.83/1619.30 c 1619s | 18 | 1346453 | 380752 | 15458 42 | 4160 | 0 1621.03/1621.41 c 1621s | 18 | 1349387 | 381252 | 15458 42 | 4160 | 0 1623.33/1623.75 c 1623s | 18 | 1351099 | 381752 | 15458 42 | 4160 | 0 1625.33/1625.76 c 1625s | 18 | 1352562 | 382252 | 15458 42 | 4160 | 0 1627.43/1627.85 c 1627s | 18 | 1355426 | 382752 | 15458 42 | 4160 | 0 1629.63/1630.03 c 1629s | 18 | 1360215 | 383752 | 15458 42 | 4160 | 0 1631.93/1632.33 c 1632s | 18 | 1362663 | 384452 | 15458 42 | 4160 | 0 1634.13/1634.60 c 1634s | 18 | 1365892 | 385252 | 15458 42 | 4160 | 0 1636.33/1636.77 c 1636s | 18 | 1368537 | 385952 | 15458 42 | 4160 | 0 1638.42/1638.81 c 1638s | 18 | 1370180 | 386452 | 15458 42 | 4160 | 0 1640.52/1640.96 c 1640s | 18 | 1373275 | 387052 | 15458 42 | 4160 | 0 1642.52/1642.98 c 1642s | 18 | 1375951 | 387752 | 15458 42 | 4160 | 0 1645.12/1645.51 c 1645s | 18 | 1380005 | 388452 | 15458 42 | 4160 | 0 1647.12/1647.56 c 1647s | 18 | 1382239 | 388952 | 15458 43 | 4160 | 0 1649.92/1650.32 c 1650s | 18 | 1383978 | 389452 | 15458 43 | 4160 | 0 1652.12/1652.50 c 1652s | 18 | 1385232 | 389852 | 15458 43 | 4160 | 0 1654.82/1655.29 c 1655s | 18 | 1386843 | 390352 | 15458 43 | 4160 | 0 1656.92/1657.30 c 1657s | 18 | 1388778 | 390752 | 15458 43 | 4160 | 0 1658.92/1659.33 c 1659s | 18 | 1392649 | 391752 | 15458 43 | 4160 | 0 1660.92/1661.38 c 1661s | 18 | 1395328 | 392552 | 15458 43 | 4160 | 0 1663.22/1663.61 c 1663s | 18 | 1398075 | 393052 | 15458 43 | 4160 | 0 1665.22/1665.63 c 1665s | 18 | 1400201 | 393552 | 15458 43 | 4160 | 0 1667.52/1667.94 c 1667s | 18 | 1403016 | 394152 | 15458 43 | 4160 | 0 1669.72/1670.10 c 1669s | 18 | 1406268 | 394952 | 15458 43 | 4160 | 0 1671.82/1672.24 c 1672s | 18 | 1408155 | 395352 | 15458 43 | 4160 | 0 1674.02/1674.45 c 1674s | 18 | 1410462 | 395952 | 15458 43 | 4160 | 0 1676.42/1676.84 c 1676s | 18 | 1411020 | 396152 | 15458 43 | 4160 | 0 1678.52/1678.92 c 1678s | 18 | 1412608 | 396752 | 15458 43 | 4160 | 0 1680.92/1681.31 c 1681s | 18 | 1414331 | 397152 | 15458 43 | 4160 | 0 1683.12/1683.57 c 1683s | 18 | 1415455 | 397552 | 15458 43 | 4160 | 0 1685.52/1685.92 c 1685s | 18 | 1416667 | 397952 | 15458 43 | 4160 | 0 1687.62/1688.06 c 1687s | 18 | 1418107 | 398452 | 15458 43 | 4160 | 0 1689.72/1690.14 c 1689s | 18 | 1419108 | 398852 | 15458 43 | 4160 | 0 1691.81/1692.27 c 1692s | 18 | 1424383 | 399852 | 15458 44 | 4160 | 0 1693.91/1694.37 c 1694s | 18 | 1427967 | 400752 | 15458 44 | 4160 | 0 1696.11/1696.50 c 1696s | 18 | 1430218 | 401452 | 15458 44 | 4160 | 0 1698.21/1698.69 c 1698s | 18 | 1434368 | 402252 | 15458 44 | 4160 | 0 1700.71/1701.14 c 1700s | 18 | 1436714 | 403052 | 15458 44 | 4160 | 0 1702.81/1703.23 c 1703s | 18 | 1438625 | 403652 | 15458 44 | 4160 | 0 1704.91/1705.35 c 1705s | 18 | 1440732 | 404152 | 15458 44 | 4160 | 0 1707.11/1707.51 c 1707s | 18 | 1443799 | 404952 | 15458 44 | 4160 | 0 1709.21/1709.61 c 1709s | 18 | 1446307 | 405652 | 15458 44 | 4160 | 0 1711.32/1711.77 c 1711s | 18 | 1449040 | 406652 | 15458 44 | 4160 | 0 1713.42/1713.88 c 1713s | 18 | 1451047 | 407552 | 15458 44 | 4160 | 0 1715.51/1715.95 c 1715s | 18 | 1453401 | 408252 | 15458 44 | 4160 | 0 1718.11/1718.53 c 1718s | 18 | 1455073 | 408652 | 15458 44 | 4160 | 0 1720.21/1720.68 c 1720s | 18 | 1456258 | 409052 | 15458 45 | 4160 | 0 1722.61/1723.04 c 1722s | 18 | 1458614 | 409852 | 15458 45 | 4160 | 0 1724.71/1725.14 c 1724s | 18 | 1460519 | 410552 | 15458 45 | 4160 | 0 1727.11/1727.60 c 1727s | 18 | 1462394 | 411252 | 15458 45 | 4160 | 0 1729.51/1729.90 c 1729s | 18 | 1463712 | 411652 | 15458 45 | 4160 | 0 1731.61/1732.05 c 1731s | 18 | 1464689 | 412052 | 15458 45 | 4160 | 0 1733.71/1734.17 c 1733s | 18 | 1466387 | 412552 | 15458 45 | 4160 | 0 1736.51/1736.96 c 1736s | 18 | 1468367 | 413052 | 15458 45 | 4160 | 0 1739.01/1739.45 c 1739s | 18 | 1469048 | 413352 | 15458 45 | 4160 | 0 1741.01/1741.49 c 1741s | 18 | 1470016 | 413752 | 15458 45 | 4160 | 0 1743.11/1743.51 c 1743s | 18 | 1472257 | 414252 | 15458 45 | 4160 | 0 1746.31/1746.72 c 1746s | 18 | 1473453 | 414652 | 15458 45 | 4160 | 0 1748.61/1749.01 c 1748s | 18 | 1474983 | 414952 | 15458 45 | 4160 | 0 1750.81/1751.23 c 1751s | 18 | 1477293 | 415552 | 15458 45 | 4160 | 0 1753.01/1753.46 c 1753s | 18 | 1481142 | 416252 | 15458 45 | 4160 | 0 1755.21/1755.69 c 1755s | 18 | 1483661 | 416952 | 15458 45 | 4160 | 0 1757.30/1757.78 c 1757s | 18 | 1485777 | 417652 | 15458 45 | 4160 | 0 1759.50/1759.99 c 1759s | 18 | 1487235 | 418252 | 15458 45 | 4160 | 0 1761.91/1762.33 c 1762s | 18 | 1488562 | 418852 | 15458 45 | 4160 | 0 1764.11/1764.54 c 1764s | 18 | 1490528 | 419452 | 15458 46 | 4160 | 0 1766.40/1766.88 c 1766s | 18 | 1491234 | 419852 | 15458 46 | 4160 | 0 1768.51/1768.98 c 1768s | 18 | 1494107 | 420752 | 15458 46 | 4160 | 0 1770.61/1771.09 c 1770s | 18 | 1496135 | 421552 | 15458 46 | 4160 | 0 1772.70/1773.19 c 1773s | 18 | 1497900 | 422252 | 15458 46 | 4160 | 0 1774.90/1775.40 c 1775s | 18 | 1500726 | 423052 | 15458 46 | 4160 | 0 1777.00/1777.50 c 1777s | 18 | 1502166 | 423652 | 15458 46 | 4160 | 0 1779.20/1779.63 c 1779s | 18 | 1503241 | 424252 | 15458 46 | 4160 | 0 1781.40/1781.86 c 1781s | 18 | 1505852 | 425252 | 15458 46 | 4160 | 0 1783.60/1784.02 c 1783s | 18 | 1509091 | 426152 | 15458 46 | 4160 | 0 1785.80/1786.21 c 1786s | 18 | 1512127 | 426952 | 15458 46 | 4160 | 0 1787.80/1788.26 c 1788s | 18 | 1514444 | 427752 | 15458 46 | 4160 | 0 1789.90/1790.37 c 1790s | 18 | 1515956 | 428452 | 15458 46 | 4160 | 0 1792.20/1792.63 c 1792s | 18 | 1517449 | 429052 | 15458 46 | 4160 | 0 1794.20/1794.65 c 1794s | 18 | 1518592 | 429552 | 15458 46 | 4160 | 0 1796.40/1796.81 c 1796s | 18 | 1519835 | 430152 | 15458 47 | 4160 | 0 1798.60/1799.08 c 1798s | 18 | 1520796 | 430652 | 15458 47 | 4160 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4099993-1466209755/watcher-4099993-1466209755 -o /tmp/evaluation-result-4099993-1466209755/solver-4099993-1466209755 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099993-1466209755.opb pid=15905 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.04 2.11 2.09 2/179 15908 /proc/meminfo: memFree=28613876/32872528 swapFree=1191052/1305516 [pid=15908] ppid=15905 vsize=660924 CPUtime=0 cores=0,2,4,6 /proc/15908/stat : 15908 (toysat) R 15905 15908 14522 0 -1 4202496 2454 0 0 0 0 0 0 0 20 0 4 0 23022089 676786176 3327 33554432000 4194304 16246674 140735406336032 140735406335456 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15908/statm: 165999 3335 441 2943 0 162893 0 [pid=15908/tid=15909] ppid=15905 vsize=678332 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15909/stat : 15909 (toysat) S 15905 15908 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23022089 694611968 3394 33554432000 4194304 16246674 140735406336032 140048575999216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15908/tid=15910] ppid=15905 vsize=682428 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15910/stat : 15910 (toysat) S 15905 15908 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23022089 698806272 3411 33554432000 4194304 16246674 140735406336032 140048565509360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15908/tid=15911] ppid=15905 vsize=686524 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23022089 703000576 3427 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100167 s] /proc/loadavg: 2.04 2.11 2.09 2/179 15908 /proc/meminfo: memFree=28613876/32872528 swapFree=1191052/1305516 [pid=15908] ppid=15905 vsize=1299012 CPUtime=0.09 cores=0,2,4,6 /proc/15908/stat : 15908 (toysat) R 15905 15908 14522 0 -1 4202496 24377 0 0 0 6 3 0 0 20 0 4 0 23022089 1330188288 25188 33554432000 4194304 16246674 140735406336032 140735406335344 5831697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15908/statm: 324753 25195 833 2943 0 321647 0 [pid=15908/tid=15909] ppid=15905 vsize=1299012 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15909/stat : 15909 (toysat) S 15905 15908 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23022089 1330188288 25201 33554432000 4194304 16246674 140735406336032 140048575999216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15908/tid=15910] ppid=15905 vsize=1299012 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15910/stat : 15910 (toysat) S 15905 15908 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23022089 1330188288 25207 33554432000 4194304 16246674 140735406336032 140048565509360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15908/tid=15911] ppid=15905 vsize=1299012 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23022089 1330188288 25212 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1299012 [startup+0.200502 s] /proc/loadavg: 2.04 2.11 2.09 2/179 15908 /proc/meminfo: memFree=28613876/32872528 swapFree=1191052/1305516 [pid=15908] ppid=15905 vsize=1307204 CPUtime=0.19 cores=0,2,4,6 /proc/15908/stat : 15908 (toysat) R 15905 15908 14522 0 -1 4202496 36116 0 0 0 14 5 0 0 20 0 4 0 23022089 1338576896 36926 33554432000 4194304 16246674 140735406336032 140735406335344 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15908/statm: 326801 36927 886 2943 0 323695 0 [pid=15908/tid=15909] ppid=15905 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15909/stat : 15909 (toysat) S 15905 15908 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23022089 1338576896 36927 33554432000 4194304 16246674 140735406336032 140048575999216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15908/tid=15910] ppid=15905 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15910/stat : 15910 (toysat) S 15905 15908 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23022089 1338576896 36927 33554432000 4194304 16246674 140735406336032 140048565509360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15908/tid=15911] ppid=15905 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23022089 1338576896 36927 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1307204 [startup+0.300466 s] /proc/loadavg: 2.04 2.11 2.09 2/179 15908 /proc/meminfo: memFree=28613876/32872528 swapFree=1191052/1305516 [pid=15908] ppid=15905 vsize=1307204 CPUtime=0.29 cores=0,2,4,6 /proc/15908/stat : 15908 (toysat) R 15905 15908 14522 0 -1 4202496 39585 0 0 0 23 6 0 0 20 0 4 0 23022089 1338576896 40395 33554432000 4194304 16246674 140735406336032 140735406335344 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15908/statm: 326801 40396 886 2943 0 323695 0 [pid=15908/tid=15909] ppid=15905 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15909/stat : 15909 (toysat) S 15905 15908 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23022089 1338576896 40396 33554432000 4194304 16246674 140735406336032 140048575999216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15908/tid=15910] ppid=15905 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15910/stat : 15910 (toysat) S 15905 15908 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23022089 1338576896 40398 33554432000 4194304 16246674 140735406336032 140048565509360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15908/tid=15911] ppid=15905 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23022089 1338576896 40398 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1307204 [startup+0.700406 s] /proc/loadavg: 2.04 2.11 2.09 2/179 15908 /proc/meminfo: memFree=28613876/32872528 swapFree=1191052/1305516 [pid=15908] ppid=15905 vsize=1311300 CPUtime=0.68 cores=0,2,4,6 /proc/15908/stat : 15908 (toysat) R 15905 15908 14522 0 -1 4202496 43438 0 0 0 62 6 0 0 20 0 4 0 23022089 1342771200 44248 33554432000 4194304 16246674 140735406336032 140735406335344 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15908/statm: 327825 44248 889 2943 0 324719 0 [pid=15908/tid=15909] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15909/stat : 15909 (toysat) S 15905 15908 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 44248 33554432000 4194304 16246674 140735406336032 140048575999216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15908/tid=15910] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15910/stat : 15910 (toysat) S 15905 15908 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 44248 33554432000 4194304 16246674 140735406336032 140048565509360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15908/tid=15911] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 44248 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1311300 [startup+1.5004 s] /proc/loadavg: 2.04 2.11 2.09 3/183 15912 /proc/meminfo: memFree=28392964/32872528 swapFree=1191052/1305516 [pid=15908] ppid=15905 vsize=1311300 CPUtime=1.49 cores=0,2,4,6 /proc/15908/stat : 15908 (toysat) R 15905 15908 14522 0 -1 4202496 77771 0 0 0 138 11 0 0 20 0 4 0 23022089 1342771200 78581 33554432000 4194304 16246674 140735406336032 140735406317952 5711624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15908/statm: 327825 78581 889 2943 0 324719 0 [pid=15908/tid=15909] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15909/stat : 15909 (toysat) S 15905 15908 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 78581 33554432000 4194304 16246674 140735406336032 140048575999216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15908/tid=15910] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15910/stat : 15910 (toysat) S 15905 15908 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 78581 33554432000 4194304 16246674 140735406336032 140048565509360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15908/tid=15911] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 78581 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1311300 [startup+3.10039 s] /proc/loadavg: 2.04 2.11 2.09 3/183 15912 /proc/meminfo: memFree=28300204/32872528 swapFree=1191052/1305516 [pid=15908] ppid=15905 vsize=1311300 CPUtime=3.09 cores=0,2,4,6 /proc/15908/stat : 15908 (toysat) R 15905 15908 14522 0 -1 4202496 116430 0 0 0 292 17 0 0 20 0 4 0 23022089 1342771200 117240 33554432000 4194304 16246674 140735406336032 140735406317952 5602147 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15908/statm: 327825 117247 889 2943 0 324719 0 [pid=15908/tid=15909] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15909/stat : 15909 (toysat) S 15905 15908 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 117250 33554432000 4194304 16246674 140735406336032 140048575999216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15908/tid=15910] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15910/stat : 15910 (toysat) S 15905 15908 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 117255 33554432000 4194304 16246674 140735406336032 140048565509360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15908/tid=15911] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 117259 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1311300 [startup+6.3004 s] /proc/loadavg: 2.03 2.11 2.09 3/183 15912 /proc/meminfo: memFree=27982888/32872528 swapFree=1191052/1305516 [pid=15908] ppid=15905 vsize=1311300 CPUtime=6.29 cores=0,2,4,6 /proc/15908/stat : 15908 (toysat) R 15905 15908 14522 0 -1 4202496 157115 0 0 0 606 23 0 0 20 0 4 0 23022089 1342771200 157925 33554432000 4194304 16246674 140735406336032 140735406317952 5711716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15908/statm: 327825 157925 889 2943 0 324719 0 [pid=15908/tid=15909] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15909/stat : 15909 (toysat) S 15905 15908 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 157925 33554432000 4194304 16246674 140735406336032 140048575999216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15908/tid=15910] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15910/stat : 15910 (toysat) S 15905 15908 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 157925 33554432000 4194304 16246674 140735406336032 140048565509360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15908/tid=15911] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 157925 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1311300 [startup+12.7003 s] /proc/loadavg: 2.03 2.10 2.09 4/183 15961 /proc/meminfo: memFree=28937776/32872528 swapFree=1191052/1305516 [pid=15908] ppid=15905 vsize=1311300 CPUtime=12.68 cores=0,2,4,6 /proc/15908/stat : 15908 (toysat) R 15905 15908 14522 0 -1 4202496 268837 0 0 0 1230 38 0 0 20 0 4 0 23022089 1342771200 269647 33554432000 4194304 16246674 140735406336032 140735406317952 5546243 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15908/statm: 327825 269647 893 2943 0 324719 0 [pid=15908/tid=15909] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15909/stat : 15909 (toysat) S 15905 15908 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 269647 33554432000 4194304 16246674 140735406336032 140048575999216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15908/tid=15910] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15910/stat : 15910 (toysat) S 15905 15908 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 269647 33554432000 4194304 16246674 140735406336032 140048565509360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15908/tid=15911] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 269647 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1311300 [startup+25.5005 s] /proc/loadavg: 2.02 2.10 2.09 3/183 15961 /proc/meminfo: memFree=28906936/32872528 swapFree=1191052/1305516 [pid=15908] ppid=15905 vsize=1311300 CPUtime=25.48 cores=0,2,4,6 /proc/15908/stat : 15908 (toysat) R 15905 15908 14522 0 -1 4202496 269015 0 0 0 2510 38 0 0 20 0 4 0 23022089 1342771200 269825 33554432000 4194304 16246674 140735406336032 140735406317952 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15908/statm: 327825 269825 893 2943 0 324719 0 [pid=15908/tid=15909] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15909/stat : 15909 (toysat) S 15905 15908 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 269825 33554432000 4194304 16246674 140735406336032 140048575999216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15908/tid=15910] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15910/stat : 15910 (toysat) S 15905 15908 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 269825 33554432000 4194304 16246674 140735406336032 140048565509360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15908/tid=15911] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 269825 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1311300 [startup+51.1005 s] /proc/loadavg: 2.01 2.09 2.08 3/184 15964 /proc/meminfo: memFree=28906556/32872528 swapFree=1191052/1305516 [pid=15908] ppid=15905 vsize=1311300 CPUtime=51.08 cores=0,2,4,6 /proc/15908/stat : 15908 (toysat) R 15905 15908 14522 0 -1 4202496 269026 0 0 0 5070 38 0 0 20 0 4 0 23022089 1342771200 269831 33554432000 4194304 16246674 140735406336032 140735406317952 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15908/statm: 327825 269831 899 2943 0 324719 0 [pid=15908/tid=15909] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15909/stat : 15909 (toysat) S 15905 15908 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 269831 33554432000 4194304 16246674 140735406336032 140048575999216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15908/tid=15910] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15910/stat : 15910 (toysat) S 15905 15908 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 269831 33554432000 4194304 16246674 140735406336032 140048565509360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15908/tid=15911] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 269831 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1311300 [startup+102.3 s] /proc/loadavg: 2.00 2.07 2.08 4/184 15965 /proc/meminfo: memFree=28907088/32872528 swapFree=1191052/1305516 [pid=15908] ppid=15905 vsize=1311300 CPUtime=102.27 cores=0,2,4,6 /proc/15908/stat : 15908 (toysat) R 15905 15908 14522 0 -1 4202496 269033 0 0 0 10189 38 0 0 20 0 4 0 23022089 1342771200 269832 33554432000 4194304 16246674 140735406336032 140735406317952 12415665 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15908/statm: 327825 269832 900 2943 0 324719 0 [pid=15908/tid=15909] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15909/stat : 15909 (toysat) S 15905 15908 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 269832 33554432000 4194304 16246674 140735406336032 140048575999216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15908/tid=15910] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15910/stat : 15910 (toysat) S 15905 15908 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 269832 33554432000 4194304 16246674 140735406336032 140048565509360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15908/tid=15911] ppid=15905 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23022089 1342771200 269832 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1311300 ################ # More data... # ################ /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23022089 1375277056 277768 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 1343044 [startup+1302.3 s] /proc/loadavg: 2.11 2.20 2.17 3/184 15995 /proc/meminfo: memFree=28430888/32872528 swapFree=1191052/1305516 [pid=15908] ppid=15905 vsize=1343044 CPUtime=1301.97 cores=0,2,4,6 /proc/15908/stat : 15908 (toysat) R 15905 15908 14522 0 -1 4202496 277137 0 0 0 130155 42 0 0 20 0 4 0 23022089 1375277056 277768 33554432000 4194304 16246674 140735406336032 140735406317952 5600400 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15908/statm: 335761 277768 900 2943 0 332655 0 [pid=15908/tid=15909] ppid=15905 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15909/stat : 15909 (toysat) S 15905 15908 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23022089 1375277056 277768 33554432000 4194304 16246674 140735406336032 140048575999216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15908/tid=15910] ppid=15905 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15910/stat : 15910 (toysat) S 15905 15908 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23022089 1375277056 277768 33554432000 4194304 16246674 140735406336032 140048565509360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15908/tid=15911] ppid=15905 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23022089 1375277056 277768 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1343044 [startup+1362.3 s] /proc/loadavg: 2.17 2.20 2.18 3/183 15996 /proc/meminfo: memFree=28427828/32872528 swapFree=1191052/1305516 [pid=15908] ppid=15905 vsize=1346116 CPUtime=1361.96 cores=0,2,4,6 /proc/15908/stat : 15908 (toysat) R 15905 15908 14522 0 -1 4202496 277905 0 0 0 136154 42 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140735406317952 5711784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15908/statm: 336529 278536 900 2943 0 333423 0 [pid=15908/tid=15909] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15909/stat : 15909 (toysat) S 15905 15908 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048575999216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15908/tid=15910] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15910/stat : 15910 (toysat) S 15905 15908 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048565509360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15908/tid=15911] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1346116 [startup+1422.3 s] /proc/loadavg: 2.24 2.22 2.18 3/183 15998 /proc/meminfo: memFree=28427900/32872528 swapFree=1191052/1305516 [pid=15908] ppid=15905 vsize=1346116 CPUtime=1421.97 cores=0,2,4,6 /proc/15908/stat : 15908 (toysat) R 15905 15908 14522 0 -1 4202496 277905 0 0 0 142154 43 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140735406317952 5712600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15908/statm: 336529 278536 900 2943 0 333423 0 [pid=15908/tid=15909] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15909/stat : 15909 (toysat) S 15905 15908 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048575999216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15908/tid=15910] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15910/stat : 15910 (toysat) S 15905 15908 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048565509360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15908/tid=15911] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 1346116 [startup+1482.3 s] /proc/loadavg: 2.27 2.23 2.18 3/183 15999 /proc/meminfo: memFree=28428064/32872528 swapFree=1191052/1305516 [pid=15908] ppid=15905 vsize=1346116 CPUtime=1481.95 cores=0,2,4,6 /proc/15908/stat : 15908 (toysat) R 15905 15908 14522 0 -1 4202496 277905 0 0 0 148152 43 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140735406317952 5822788 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15908/statm: 336529 278536 900 2943 0 333423 0 [pid=15908/tid=15909] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15909/stat : 15909 (toysat) S 15905 15908 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048575999216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15908/tid=15910] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15910/stat : 15910 (toysat) S 15905 15908 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048565509360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15908/tid=15911] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 1346116 [startup+1542.31 s] /proc/loadavg: 2.14 2.20 2.18 3/183 16000 /proc/meminfo: memFree=28427928/32872528 swapFree=1191052/1305516 [pid=15908] ppid=15905 vsize=1346116 CPUtime=1541.95 cores=0,2,4,6 /proc/15908/stat : 15908 (toysat) R 15905 15908 14522 0 -1 4202496 277905 0 0 0 154152 43 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140735406317952 5711697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15908/statm: 336529 278536 900 2943 0 333423 0 [pid=15908/tid=15909] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15909/stat : 15909 (toysat) S 15905 15908 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048575999216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15908/tid=15910] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15910/stat : 15910 (toysat) S 15905 15908 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048565509360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15908/tid=15911] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 1346116 [startup+1602.3 s] /proc/loadavg: 2.27 2.23 2.19 3/183 16001 /proc/meminfo: memFree=28428308/32872528 swapFree=1191052/1305516 [pid=15908] ppid=15905 vsize=1346116 CPUtime=1601.93 cores=0,2,4,6 /proc/15908/stat : 15908 (toysat) R 15905 15908 14522 0 -1 4202496 277905 0 0 0 160150 43 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140735406317952 13780660 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15908/statm: 336529 278536 900 2943 0 333423 0 [pid=15908/tid=15909] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15909/stat : 15909 (toysat) S 15905 15908 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048575999216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15908/tid=15910] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15910/stat : 15910 (toysat) S 15905 15908 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048565509360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15908/tid=15911] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 1346116 [startup+1662.3 s] /proc/loadavg: 2.15 2.20 2.18 3/183 16002 /proc/meminfo: memFree=28428748/32872528 swapFree=1191052/1305516 [pid=15908] ppid=15905 vsize=1346116 CPUtime=1661.92 cores=0,2,4,6 /proc/15908/stat : 15908 (toysat) R 15905 15908 14522 0 -1 4202496 277905 0 0 0 166149 43 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140735406317952 5711984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15908/statm: 336529 278536 900 2943 0 333423 0 [pid=15908/tid=15909] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15909/stat : 15909 (toysat) S 15905 15908 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048575999216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15908/tid=15910] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15910/stat : 15910 (toysat) S 15905 15908 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048565509360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15908/tid=15911] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1346116 [startup+1722.3 s] /proc/loadavg: 2.10 2.18 2.17 3/183 16004 /proc/meminfo: memFree=28428368/32872528 swapFree=1191052/1305516 [pid=15908] ppid=15905 vsize=1346116 CPUtime=1721.91 cores=0,2,4,6 /proc/15908/stat : 15908 (toysat) R 15905 15908 14522 0 -1 4202496 277905 0 0 0 172148 43 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140735406317952 5712555 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15908/statm: 336529 278536 900 2943 0 333423 0 [pid=15908/tid=15909] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15909/stat : 15909 (toysat) S 15905 15908 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048575999216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15908/tid=15910] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15910/stat : 15910 (toysat) S 15905 15908 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048565509360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15908/tid=15911] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 1346116 [startup+1782.3 s] /proc/loadavg: 2.23 2.20 2.18 4/183 16005 /proc/meminfo: memFree=28427884/32872528 swapFree=1191052/1305516 [pid=15908] ppid=15905 vsize=1346116 CPUtime=1781.9 cores=0,2,4,6 /proc/15908/stat : 15908 (toysat) R 15905 15908 14522 0 -1 4202496 277905 0 0 0 178147 43 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140735406317952 13781168 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15908/statm: 336529 278536 900 2943 0 333423 0 [pid=15908/tid=15909] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15909/stat : 15909 (toysat) S 15905 15908 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048575999216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15908/tid=15910] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15910/stat : 15910 (toysat) S 15905 15908 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048565509360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15908/tid=15911] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 1346116 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.25 2.21 2.18 3/183 16005 /proc/meminfo: memFree=28428260/32872528 swapFree=1191052/1305516 [pid=15908] ppid=15905 vsize=1346116 CPUtime=1800 cores=0,2,4,6 /proc/15908/stat : 15908 (toysat) R 15905 15908 14522 0 -1 4202496 277905 0 0 0 179957 43 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140735406317952 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15908/statm: 336529 278536 900 2943 0 333423 0 [pid=15908/tid=15909] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15909/stat : 15909 (toysat) S 15905 15908 14522 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048575999216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15908/tid=15910] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15910/stat : 15910 (toysat) S 15905 15908 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048565509360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15908/tid=15911] ppid=15905 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/15908/task/15911/stat : 15911 (toysat) S 15905 15908 14522 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23022089 1378422784 278536 33554432000 4194304 16246674 140735406336032 140048481643696 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1346116 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 15908 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.01 CPU user time (s): 1799.58 CPU system time (s): 0.435933 CPU usage (%): 99.978 Max. virtual memory (cumulated for all children) (KiB): 1346116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.435933 maximum resident set size= 1114144 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277905 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= 194 involuntary context switches= 1847 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.9732 second user time and 12.1961 second system time The end
Begin job on node127 at 2016-06-18 02:29:15 IDJOB=4099993 IDBENCH=1560 IDSOLVER=2542 FILE ID=node127/4099993-1466209755 RUNJOBID= node127-1466206072-14538 PBS_JOBID= 19918150 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran4x64.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099993-1466209755/watcher-4099993-1466209755 -o /tmp/evaluation-result-4099993-1466209755/solver-4099993-1466209755 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099993-1466209755.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 094943d5c572e297ea40a22e131cb082 RANDOM SEED=757330341 node127.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.769 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.53 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.769 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.769 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.769 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.56 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.769 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.769 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.769 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28614248 kB Buffers: 46504 kB Cached: 118200 kB SwapCached: 520 kB Active: 2166868 kB Inactive: 76740 kB Active(anon): 2080232 kB Inactive(anon): 816 kB Active(file): 86636 kB Inactive(file): 75924 kB Unevictable: 1305516 kB Mlocked: 1191052 kB SwapTotal: 67108856 kB SwapFree: 67100220 kB Dirty: 16808 kB Writeback: 0 kB AnonPages: 3383644 kB Mapped: 10872 kB Shmem: 0 kB Slab: 572692 kB SReclaimable: 16640 kB SUnreclaim: 556052 kB KernelStack: 1496 kB PageTables: 10852 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3528008 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 129024 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= 71700 MiB End job on node127 at 2016-06-18 02:59:15