| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-cycle.opb |
| MD5SUM | 761eaefb829e7d3bf060fd5b86600997 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -2 |
| Optimality of the best value was proved | NO |
| Number of variables | 84737 |
| Total number of constraints | 1802 |
| 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 | 1802 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 1470 |
| Number of terms in the objective function | 9240 |
| Biggest coefficient in the objective function | 16197 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 531823 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 531823 |
| 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-18T05:29:25+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-4101057-1466220565.opb"] 0.00/0.01 c use --random-gen="1237115357 523441366 808380158 1782131601 3047968383 1810218843 2403997114 946257566 3305183683 3125714749 4162713454 2865621490 3304316994 3905645345 4114754578 3635141702 2778102114 225234880 2091378884 1870039911 1329899092 1955268016 4139201584 3224134092 2242359664 4183426797 3481858787 2858921875 3738453680 1050449116 3429234960 872031204 1131615958 1449518803 1831822262 2252117902 1009716800 2590996489 2441727368 1524832297 3042162127 1486345019 434073827 2280432879 2626575763 2890003949 616402731 3162564127 1434609588 2660589575 1508521410 951025077 2818272897 712964355 3574300110 456436442 2677374124 3390840774 2383335338 1365145104 2485130496 225065236 1845445617 3761385407 1312593020 1962050536 1019393745 2685822032 4156595461 1827376408 3996939932 1359583069 1324905704 1737943901 3616394538 3384308067 499630621 3519060013 3538197403 628774971 2064800745 3018251552 3974117547 1514738668 2077467468 616668757 4065818087 3043396178 2778043960 2398071227 3615790491 279296017 708345574 1314580067 57203053 293263570 1686807677 3292104910 3014298932 2127187566 1585969960 1363774674 1849894195 3719856818 3256153660 1891719144 394174993 3388282142 2859521824 1385977068 2691004629 3578958053 2217378031 4103148690 3333227890 4161626053 2658779258 2711130796 1925808087 2776179650 4192619099 1719174994 2962705462 2040482839 2089672275 3144743659 471115835 3565601187 3543934132 2969489059 2919109064 3262470109 2724062896 824871716 1577661239 2892477487 3775884378 2398193679 280893281 3766918117 1632244452 3304741080 401476328 3331798278 2518462221 3036374505 3755148357 4059966106 2380813066 2540539416 502688015 3576383177 3797289650 1511231241 504214118 2558012688 1177947503 3615666044 2415793113 143108182 1664644215 4004880589 2255225139 4095238203 1045354432 2272770941 3798747273 3650181159 4101119604 3080868172 2972334326 3535033371 608163554 3143423860 591168862 2777153379 2732550433 62068312 3875736365 4221980079 1121657136 239535923 675223346 1212791458 1119748864 210704281 252466000 3489415475 2981278072 3461494565 1676535806 3500851643 1357809291 83178045 2987325459 44334268 1147857986 2386979324 1579073701 1603870696 1717570497 287153313 779140243 3127188691 378847877 4003120695 1402528450 2861002898 522921785 1017648467 352103192 699159078 2939812447 1089115508 409056963 3787656510 1949926706 700790928 3119059778 4066898463 3941434020 178327543 4160214798 832556523 123665179 3745168615 2013359335 3773112422 1128306147 2184262949 2434445492 981876944 316009993 603203905 1363105084 2669183741 4119127561 1460949758 2423714267 1651560859 4134047955 135219062 2735397658 3313492046 4102709345 2029925319 2235392712 3965254393 2475447107 317881034 769109856 4135572235 644211605 4134887351 257724025 3177649562 255 362436" option to reproduce the execution 0.79/0.85 c #vars 84737 0.79/0.85 c #constraints 1802 4.40/4.47 c BCD2: Hardening is enabled. 4.40/4.47 c BCD2: BiasedSearch is enabled. 4.40/4.47 c Solving starts ... 4.40/4.47 c ============================[ Search Statistics ]============================ 4.40/4.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.40/4.47 c | | | | Limit GC | Var | Constra 4.40/4.47 c ============================================================================= 4.40/4.49 c 0.0s | 0 | 0 | 0 | 29204 0 | 39780 | 0 5.09/5.14 c 0.6s | 1 | 1026 | 100 | 29204 0 | 39839 | 347 5.19/5.27 c 0.8s | 2 | 1208 | 250 | 32125 0 | 39842 | 347 5.69/5.73 c 1.2s | 3 | 1792 | 475 | 35338 0 | 39850 | 347 5.79/5.83 c 1.3s | 4 | 2155 | 813 | 38872 0 | 39850 | 347 7.89/7.95 c 3.5s | 4 | 4185 | 1313 | 42760 0 | 39912 | 347 7.89/7.98 c 3.5s | 5 | 4192 | 1320 | 42760 0 | 39912 | 347 8.90/8.94 c 4.5s | 6 | 5610 | 2081 | 51741 0 | 40112 | 348 9.90/9.94 c 5.4s | 7 | 7009 | 3223 | 56916 0 | 40129 | 348 11.89/11.98 c 7.5s | 7 | 9085 | 4523 | 56916 0 | 40129 | 348 12.29/12.36 c 7.9s | 8 | 9511 | 4936 | 62608 0 | 40129 | 348 14.40/14.41 c 9.9s | 8 | 12196 | 6936 | 62608 0 | 40129 | 348 14.89/14.95 c 10.5s | 9 | 12967 | 7506 | 68869 0 | 40129 | 348 16.99/17.02 c 12.5s | 9 | 16237 | 10306 | 68869 0 | 40129 | 348 17.70/17.71 c 13.2s | 10 | 17994 | 11361 | 75756 0 | 40129 | 348 19.69/19.76 c 15.3s | 10 | 22339 | 13961 | 75756 0 | 40129 | 348 21.69/21.80 c 17.3s | 10 | 26189 | 16461 | 75756 0 | 40129 | 348 22.29/22.30 c 17.8s | 11 | 27844 | 17144 | 83332 0 | 40129 | 348 24.29/24.31 c 19.8s | 11 | 31426 | 18944 | 83332 0 | 40129 | 348 26.29/26.40 c 21.9s | 11 | 34231 | 20944 | 83332 0 | 40129 | 348 28.39/28.41 c 23.9s | 11 | 36658 | 22644 | 83332 0 | 40129 | 348 30.49/30.52 c 26.0s | 11 | 39851 | 24644 | 83332 0 | 40129 | 348 31.69/31.79 c 27.3s | 12 | 41941 | 25819 | 91666 0 | 40129 | 348 33.78/33.88 c 29.4s | 12 | 45378 | 27619 | 91666 0 | 40129 | 348 35.98/36.01 c 31.5s | 12 | 48213 | 29219 | 91666 0 | 40159 | 348 37.98/38.02 c 33.5s | 12 | 50977 | 30919 | 91666 0 | 40159 | 348 39.98/40.09 c 35.6s | 12 | 52924 | 32319 | 91666 0 | 40159 | 348 42.08/42.12 c 37.6s | 12 | 55827 | 34119 | 91666 0 | 40159 | 348 44.18/44.25 c 39.8s | 12 | 58501 | 36019 | 91666 0 | 40159 | 348 46.19/46.27 c 41.8s | 12 | 62108 | 37519 | 91666 0 | 40159 | 348 48.28/48.34 c 43.8s | 12 | 64529 | 38819 | 100833 0 | 40159 | 348 48.28/48.36 c 43.9s | 13 | 64604 | 38832 | 100833 0 | 40159 | 348 50.38/50.43 c 45.9s | 13 | 67873 | 40332 | 100833 0 | 40159 | 348 52.38/52.43 c 47.9s | 13 | 71627 | 41832 | 100833 0 | 40159 | 348 54.48/54.51 c 50.0s | 13 | 75329 | 43232 | 100833 0 | 40159 | 348 56.48/56.58 c 52.1s | 13 | 79173 | 44932 | 100833 0 | 40159 | 348 58.68/58.74 c 54.2s | 13 | 82912 | 46532 | 100833 0 | 40159 | 348 60.78/60.82 c 56.3s | 13 | 86706 | 48032 | 100833 0 | 40159 | 348 62.79/62.90 c 58.4s | 13 | 90251 | 49432 | 100833 0 | 40159 | 348 64.89/64.96 c 60.5s | 13 | 94082 | 50932 | 100833 0 | 40159 | 348 66.98/67.05 c 62.6s | 13 | 97373 | 52432 | 100833 0 | 40163 | 348 69.08/69.12 c 64.6s | 13 | 101018 | 53632 | 100833 0 | 40164 | 348 71.18/71.25 c 66.8s | 13 | 104770 | 55032 | 100833 0 | 40164 | 348 73.28/73.30 c 68.8s | 13 | 108593 | 56332 | 100833 0 | 40164 | 348 75.28/75.39 c 70.9s | 13 | 111725 | 57732 | 100833 0 | 40164 | 348 76.18/76.26 c 71.8s | 14 | 113337 | 58352 | 110917 0 | 40164 | 348 78.28/78.35 c 73.9s | 14 | 116233 | 59552 | 110917 0 | 40164 | 348 80.38/80.45 c 76.0s | 14 | 119838 | 61152 | 110917 0 | 40164 | 348 82.48/82.54 c 78.0s | 14 | 122866 | 62452 | 110917 0 | 40164 | 348 84.48/84.55 c 80.1s | 14 | 126122 | 63652 | 110917 0 | 40164 | 348 86.47/86.59 c 82.1s | 14 | 129468 | 64952 | 110917 0 | 40164 | 348 88.67/88.73 c 84.2s | 14 | 132892 | 66252 | 110917 0 | 40164 | 348 90.77/90.81 c 86.3s | 14 | 136415 | 67452 | 110917 0 | 40164 | 348 92.77/92.83 c 88.3s | 14 | 139947 | 68752 | 110917 0 | 40164 | 348 94.87/94.97 c 90.5s | 14 | 143443 | 70252 | 110917 0 | 40164 | 348 97.07/97.12 c 92.6s | 14 | 147049 | 71552 | 110917 0 | 40164 | 348 99.17/99.25 c 94.8s | 14 | 150591 | 72852 | 110917 0 | 40164 | 348 101.28/101.35 c 96.9s | 14 | 153066 | 74152 | 110917 0 | 40164 | 348 103.27/103.35 c 98.9s | 14 | 156227 | 75352 | 110917 0 | 40164 | 348 105.27/105.38 c 100s | 14 | 158685 | 76552 | 110917 0 | 40164 | 348 107.37/107.47 c 102s | 14 | 160992 | 77452 | 110917 0 | 40174 | 348 109.37/109.48 c 104s | 14 | 163300 | 78452 | 110917 0 | 40174 | 348 111.47/111.57 c 107s | 14 | 166485 | 79752 | 110917 0 | 40174 | 348 113.57/113.64 c 109s | 14 | 169587 | 80852 | 110917 0 | 40174 | 348 115.58/115.65 c 111s | 14 | 172225 | 81952 | 110917 0 | 40174 | 348 117.68/117.72 c 113s | 14 | 174666 | 83052 | 110917 0 | 40174 | 348 119.77/119.86 c 115s | 14 | 177160 | 84252 | 110917 0 | 40174 | 348 121.87/121.93 c 117s | 14 | 179954 | 85452 | 110917 0 | 40174 | 348 123.97/124.01 c 119s | 14 | 182623 | 86552 | 110917 0 | 40174 | 348 125.97/126.05 c 121s | 14 | 185423 | 87552 | 122009 0 | 40174 | 348 126.07/126.19 c 121s | 15 | 185649 | 87632 | 122009 0 | 40174 | 348 128.17/128.24 c 123s | 15 | 188074 | 88532 | 122009 0 | 40174 | 348 130.27/130.32 c 125s | 15 | 190674 | 89932 | 122009 0 | 40174 | 348 132.27/132.35 c 127s | 15 | 193943 | 91132 | 122009 0 | 40174 | 348 134.37/134.45 c 129s | 15 | 196542 | 92132 | 122009 0 | 40174 | 348 136.37/136.49 c 131s | 15 | 199870 | 93232 | 122009 0 | 40174 | 348 138.57/138.68 c 134s | 15 | 202820 | 94332 | 122009 0 | 40174 | 348 140.77/140.88 c 136s | 15 | 205863 | 95432 | 122009 0 | 40174 | 348 143.07/143.11 c 138s | 15 | 209009 | 96532 | 122009 0 | 40174 | 348 145.07/145.20 c 140s | 15 | 211750 | 97532 | 122009 0 | 40174 | 348 147.16/147.23 c 142s | 15 | 214176 | 98432 | 122009 0 | 40174 | 348 149.26/149.36 c 144s | 15 | 217365 | 99432 | 122009 0 | 40174 | 348 151.46/151.51 c 147s | 15 | 220492 | 100532 | 122009 0 | 40174 | 348 153.46/153.52 c 149s | 15 | 223448 | 101632 | 122009 0 | 40174 | 348 155.66/155.73 c 151s | 15 | 226196 | 102732 | 122009 0 | 40174 | 348 157.76/157.86 c 153s | 15 | 229086 | 103732 | 122009 0 | 40174 | 348 159.76/159.90 c 155s | 15 | 231858 | 104732 | 122009 0 | 40174 | 348 161.86/161.91 c 157s | 15 | 234819 | 105732 | 122009 0 | 40174 | 348 163.97/164.03 c 159s | 15 | 237574 | 106832 | 122009 0 | 40174 | 348 166.07/166.15 c 161s | 15 | 240716 | 108132 | 122009 0 | 40174 | 348 168.16/168.30 c 163s | 15 | 243652 | 109532 | 122009 0 | 40174 | 348 170.26/170.35 c 165s | 15 | 245569 | 110632 | 122009 0 | 40174 | 348 172.36/172.43 c 167s | 15 | 248396 | 111632 | 122009 0 | 40174 | 348 174.46/174.52 c 170s | 15 | 251115 | 112632 | 122009 0 | 40174 | 348 176.56/176.65 c 172s | 15 | 253640 | 113532 | 122009 0 | 40174 | 348 178.56/178.68 c 174s | 15 | 256205 | 114432 | 122009 0 | 40174 | 348 180.66/180.78 c 176s | 15 | 258512 | 115232 | 122009 0 | 40174 | 348 183.26/183.37 c 178s | 15 | 260678 | 116032 | 122009 0 | 40175 | 348 185.46/185.53 c 181s | 15 | 263884 | 116932 | 122009 0 | 40175 | 348 187.46/187.59 c 183s | 15 | 266327 | 117632 | 122009 0 | 40178 | 348 189.66/189.76 c 185s | 15 | 269247 | 118732 | 122009 0 | 40178 | 348 191.96/192.01 c 187s | 15 | 271556 | 119632 | 122009 0 | 40178 | 348 194.16/194.22 c 189s | 15 | 273916 | 120532 | 122009 0 | 40178 | 348 196.36/196.44 c 191s | 15 | 276693 | 121332 | 122009 0 | 40178 | 348 198.46/198.57 c 194s | 15 | 278935 | 122232 | 122009 0 | 40178 | 348 200.56/200.68 c 196s | 15 | 281489 | 123032 | 122009 0 | 40178 | 348 202.76/202.80 c 198s | 15 | 284228 | 123932 | 122009 0 | 40178 | 348 204.96/205.04 c 200s | 15 | 287057 | 124832 | 122009 0 | 40178 | 348 206.96/207.09 c 202s | 15 | 289601 | 125632 | 122009 0 | 40178 | 348 209.26/209.33 c 204s | 15 | 292399 | 126532 | 122009 0 | 40178 | 348 211.35/211.40 c 206s | 15 | 294891 | 127532 | 122009 0 | 40178 | 348 213.46/213.58 c 209s | 15 | 297233 | 128332 | 122009 0 | 40178 | 348 215.56/215.60 c 211s | 15 | 299432 | 129232 | 122009 0 | 40178 | 348 217.55/217.68 c 213s | 15 | 301462 | 130332 | 122009 0 | 40178 | 348 219.15/219.26 c 214s | 16 | 303111 | 131552 | 134210 0 | 40178 | 348 221.35/221.41 c 216s | 16 | 304598 | 132552 | 134210 0 | 40178 | 348 223.45/223.54 c 219s | 16 | 306551 | 133452 | 134210 0 | 40178 | 348 225.56/225.63 c 221s | 16 | 308634 | 134252 | 134210 0 | 40178 | 348 227.55/227.63 c 223s | 16 | 310709 | 135452 | 134210 0 | 40178 | 348 229.75/229.83 c 225s | 16 | 312492 | 136452 | 134210 0 | 40178 | 348 231.75/231.84 c 227s | 16 | 314421 | 137652 | 134210 0 | 40178 | 348 233.75/233.88 c 229s | 16 | 316973 | 139552 | 134210 0 | 40178 | 348 235.75/235.88 c 231s | 16 | 318513 | 140552 | 134210 0 | 40178 | 348 237.95/238.00 c 233s | 16 | 320690 | 141752 | 134210 0 | 40178 | 348 240.05/240.16 c 235s | 16 | 321964 | 142552 | 134210 0 | 40178 | 348 242.15/242.28 c 237s | 16 | 323890 | 143752 | 134210 0 | 40178 | 348 244.15/244.30 c 239s | 16 | 325599 | 144752 | 134210 0 | 40178 | 348 246.35/246.41 c 241s | 16 | 327354 | 145852 | 134210 0 | 40178 | 348 248.35/248.47 c 243s | 16 | 329088 | 146952 | 134210 0 | 40178 | 348 250.45/250.59 c 246s | 16 | 331064 | 148052 | 134210 0 | 40178 | 348 252.55/252.65 c 248s | 16 | 332458 | 148852 | 134210 0 | 40178 | 348 254.66/254.79 c 250s | 16 | 334415 | 149952 | 134210 0 | 40178 | 348 256.86/256.94 c 252s | 16 | 336276 | 150952 | 134210 0 | 40178 | 348 258.85/258.96 c 254s | 16 | 337993 | 151952 | 134210 0 | 40178 | 348 260.85/260.99 c 256s | 16 | 339436 | 152952 | 134210 0 | 40178 | 348 263.05/263.15 c 258s | 16 | 341262 | 153952 | 134210 0 | 40178 | 348 265.16/265.21 c 260s | 16 | 343217 | 154952 | 134210 0 | 40178 | 348 267.15/267.22 c 262s | 16 | 344584 | 155852 | 134210 0 | 40178 | 348 269.35/269.41 c 264s | 16 | 346497 | 156952 | 134210 0 | 40178 | 348 271.35/271.44 c 266s | 16 | 348222 | 157952 | 134210 0 | 40178 | 348 273.45/273.50 c 269s | 16 | 349878 | 158952 | 134210 0 | 40178 | 348 275.45/275.58 c 271s | 16 | 351387 | 159852 | 134210 0 | 40178 | 348 277.65/277.70 c 273s | 16 | 353142 | 160852 | 134210 0 | 40178 | 348 279.65/279.76 c 275s | 16 | 355036 | 161852 | 134210 0 | 40178 | 348 281.75/281.82 c 277s | 16 | 356800 | 162852 | 134210 0 | 40178 | 348 283.86/283.99 c 279s | 16 | 358196 | 163652 | 134210 0 | 40183 | 348 286.06/286.13 c 281s | 16 | 359985 | 164552 | 134210 0 | 40183 | 348 288.16/288.29 c 283s | 16 | 361740 | 165552 | 134210 0 | 40183 | 348 290.36/290.42 c 285s | 16 | 363070 | 166252 | 134210 0 | 40183 | 348 292.56/292.65 c 288s | 16 | 364510 | 166952 | 134210 0 | 40183 | 348 294.65/294.74 c 290s | 16 | 365842 | 167652 | 134210 0 | 40183 | 348 296.75/296.84 c 292s | 16 | 367138 | 168352 | 134210 0 | 40183 | 348 298.85/298.92 c 294s | 16 | 368429 | 169152 | 134210 0 | 40183 | 348 301.05/301.18 c 296s | 16 | 370338 | 169952 | 134210 0 | 40183 | 348 303.15/303.21 c 298s | 16 | 372113 | 170852 | 134210 0 | 40183 | 348 305.15/305.28 c 300s | 16 | 373681 | 171752 | 134210 0 | 40183 | 348 307.35/307.46 c 302s | 16 | 375264 | 172652 | 134210 0 | 40183 | 348 309.55/309.60 c 305s | 16 | 377030 | 173652 | 134210 0 | 40183 | 348 311.65/311.71 c 307s | 16 | 378709 | 174552 | 134210 0 | 40183 | 348 313.94/314.08 c 309s | 16 | 379499 | 174952 | 134210 1 | 40183 | 348 316.14/316.26 c 311s | 16 | 381412 | 175952 | 134210 1 | 40183 | 348 318.24/318.37 c 313s | 16 | 383307 | 176952 | 134210 1 | 40183 | 348 320.34/320.47 c 315s | 16 | 385367 | 178052 | 134210 1 | 40183 | 348 323.24/323.34 c 318s | 16 | 386436 | 178752 | 134210 1 | 40183 | 348 325.34/325.46 c 320s | 16 | 387526 | 179552 | 134210 1 | 40183 | 348 327.44/327.51 c 323s | 16 | 388928 | 180652 | 134210 1 | 40183 | 348 329.43/329.57 c 325s | 16 | 391052 | 182052 | 134210 1 | 40183 | 348 331.53/331.64 c 327s | 16 | 393278 | 183752 | 134210 1 | 40183 | 348 344.34/344.40 c 339s | 16 | 394999 | 184952 | 134210 1 | 40183 | 348 346.33/346.45 c 341s | 16 | 396963 | 185852 | 134210 1 | 40183 | 348 348.43/348.59 c 344s | 16 | 399080 | 187052 | 134210 1 | 40183 | 348 350.63/350.73 c 346s | 16 | 400874 | 188052 | 134210 1 | 40183 | 348 352.73/352.81 c 348s | 16 | 402632 | 189152 | 134210 1 | 40183 | 348 354.83/354.99 c 350s | 16 | 404056 | 190152 | 134210 1 | 40183 | 348 357.13/357.20 c 352s | 16 | 405112 | 190952 | 134210 1 | 40183 | 348 359.23/359.37 c 354s | 16 | 406158 | 191652 | 134210 1 | 40183 | 348 361.43/361.57 c 357s | 16 | 407117 | 192352 | 134210 1 | 40183 | 348 363.63/363.74 c 359s | 16 | 408340 | 193352 | 134210 1 | 40183 | 348 365.73/365.85 c 361s | 16 | 409468 | 194052 | 134210 1 | 40183 | 348 368.93/369.04 c 364s | 16 | 410063 | 194452 | 134210 1 | 40183 | 348 370.93/371.06 c 366s | 16 | 411784 | 195452 | 134210 1 | 40183 | 348 373.13/373.21 c 368s | 16 | 413793 | 196552 | 147631 1 | 40183 | 348 375.14/375.20 c 370s | 17 | 415232 | 197432 | 147631 1 | 40183 | 348 384.43/384.50 c 380s | 17 | 415508 | 197532 | 147631 1 | 40183 | 348 386.53/386.60 c 382s | 17 | 416881 | 198332 | 147631 1 | 40183 | 348 388.63/388.77 c 384s | 17 | 418427 | 198932 | 147631 1 | 40183 | 348 390.83/390.92 c 386s | 17 | 420473 | 199732 | 147631 1 | 40183 | 348 393.03/393.14 c 388s | 17 | 422514 | 200632 | 147631 1 | 40183 | 348 395.23/395.34 c 390s | 17 | 424546 | 201432 | 147631 1 | 40183 | 348 397.33/397.41 c 392s | 17 | 426284 | 202132 | 147631 1 | 40183 | 348 399.43/399.58 c 395s | 17 | 428109 | 202832 | 147631 1 | 40183 | 348 401.54/401.65 c 397s | 17 | 429898 | 203532 | 147631 1 | 40183 | 348 403.83/403.98 c 399s | 17 | 431717 | 204332 | 147631 1 | 40183 | 348 406.03/406.11 c 401s | 17 | 433462 | 205232 | 147631 1 | 40183 | 348 408.04/408.16 c 403s | 17 | 435533 | 206032 | 147631 1 | 40183 | 348 410.03/410.17 c 405s | 17 | 437596 | 207532 | 147631 1 | 40183 | 348 412.03/412.17 c 407s | 17 | 441739 | 211632 | 147631 1 | 40183 | 348 414.03/414.19 c 409s | 17 | 445053 | 214932 | 147631 1 | 40183 | 348 416.13/416.21 c 411s | 17 | 447933 | 217732 | 147631 1 | 40183 | 348 418.13/418.24 c 413s | 17 | 450287 | 220032 | 147631 1 | 40183 | 348 420.13/420.24 c 415s | 17 | 452407 | 222132 | 147631 1 | 40183 | 348 422.22/422.34 c 417s | 17 | 454677 | 224232 | 147631 1 | 40183 | 348 426.02/426.12 c 421s | 17 | 456381 | 224932 | 147631 1 | 40223 | 348 428.02/428.17 c 423s | 17 | 462928 | 231032 | 147631 1 | 40223 | 348 430.03/430.19 c 425s | 17 | 467125 | 234832 | 147631 1 | 40223 | 348 432.02/432.19 c 427s | 17 | 471058 | 238332 | 147631 1 | 40223 | 348 434.12/434.21 c 429s | 17 | 473279 | 240232 | 147631 1 | 40231 | 348 436.12/436.27 c 431s | 17 | 477018 | 243332 | 147631 1 | 40231 | 348 438.22/438.32 c 433s | 17 | 480088 | 245632 | 147631 1 | 40241 | 348 440.22/440.34 c 435s | 17 | 485541 | 248832 | 147631 1 | 40241 | 348 442.72/442.84 c 438s | 17 | 490160 | 251432 | 147631 1 | 40242 | 348 444.82/444.93 c 440s | 17 | 493659 | 253432 | 147631 1 | 40242 | 348 446.82/446.96 c 442s | 17 | 497668 | 255432 | 147631 1 | 40242 | 348 448.92/449.07 c 444s | 17 | 501715 | 257532 | 147631 1 | 40242 | 348 451.92/452.09 c 447s | 17 | 504278 | 258732 | 147631 1 | 40261 | 348 454.02/454.13 c 449s | 17 | 508358 | 261632 | 147631 1 | 40261 | 348 456.02/456.17 c 451s | 17 | 512014 | 264232 | 147631 1 | 40261 | 348 458.12/458.22 c 453s | 17 | 515484 | 266932 | 147631 1 | 40261 | 348 461.02/461.12 c 456s | 17 | 519036 | 269432 | 147631 1 | 40264 | 348 463.03/463.19 c 458s | 17 | 522333 | 272332 | 147631 1 | 40264 | 348 465.12/465.20 c 460s | 17 | 524853 | 274532 | 147631 1 | 40264 | 348 467.12/467.25 c 462s | 17 | 529332 | 278032 | 147631 1 | 40264 | 348 469.12/469.25 c 464s | 17 | 532243 | 280832 | 147631 1 | 40264 | 348 471.22/471.30 c 466s | 17 | 535567 | 283732 | 147631 1 | 40264 | 348 473.22/473.37 c 468s | 17 | 538702 | 286232 | 147631 1 | 40264 | 348 475.32/475.48 c 470s | 17 | 541208 | 288332 | 147631 1 | 40264 | 348 477.32/477.48 c 472s | 17 | 543639 | 290432 | 147631 1 | 40264 | 348 479.32/479.48 c 474s | 17 | 546316 | 292532 | 147631 1 | 40264 | 348 481.42/481.51 c 477s | 17 | 548270 | 294332 | 162395 1 | 40264 | 348 483.52/483.64 c 479s | 17 | 549995 | 296032 | 162395 1 | 40264 | 348 483.82/483.96 c 479s | 18 | 550210 | 296252 | 162395 1 | 40264 | 348 485.82/485.96 c 481s | 18 | 552293 | 298152 | 162395 1 | 40264 | 348 487.91/488.01 c 483s | 18 | 556374 | 302052 | 162395 1 | 40264 | 348 489.91/490.06 c 485s | 18 | 559564 | 304952 | 162395 1 | 40264 | 348 491.91/492.08 c 487s | 18 | 562354 | 307452 | 162395 1 | 40264 | 348 494.01/494.10 c 489s | 18 | 567009 | 309352 | 162395 1 | 40264 | 348 496.02/496.14 c 491s | 18 | 571423 | 311352 | 162395 1 | 40264 | 348 498.22/498.32 c 493s | 18 | 574527 | 312852 | 162395 1 | 40264 | 348 500.42/500.52 c 496s | 18 | 575818 | 313952 | 162395 1 | 40264 | 348 502.41/502.58 c 498s | 18 | 578972 | 315652 | 162395 1 | 40264 | 348 504.51/504.67 c 500s | 18 | 580755 | 317252 | 162395 1 | 40264 | 348 506.71/506.82 c 502s | 18 | 582039 | 318452 | 162395 1 | 40264 | 348 508.71/508.89 c 504s | 18 | 587738 | 320252 | 162395 1 | 40264 | 348 510.81/510.98 c 506s | 18 | 590433 | 320852 | 162395 2 | 40264 | 348 512.91/513.01 c 508s | 18 | 593584 | 322152 | 162395 2 | 40264 | 348 514.91/515.07 c 510s | 18 | 595870 | 323252 | 162395 2 | 40264 | 348 517.02/517.18 c 512s | 18 | 598328 | 324452 | 162395 2 | 40264 | 348 519.12/519.26 c 514s | 18 | 599970 | 325552 | 162395 2 | 40264 | 348 521.42/521.56 c 517s | 18 | 600819 | 326152 | 162395 2 | 40264 | 348 523.41/523.59 c 519s | 18 | 604050 | 327652 | 162395 2 | 40264 | 348 525.72/525.82 c 521s | 18 | 605239 | 328752 | 162395 2 | 40264 | 348 527.81/527.92 c 523s | 18 | 607451 | 330152 | 162395 2 | 40264 | 348 529.81/529.92 c 525s | 18 | 609275 | 331852 | 162395 2 | 40264 | 348 531.91/532.05 c 527s | 18 | 610745 | 333052 | 162395 2 | 40264 | 348 534.11/534.20 c 529s | 18 | 612348 | 334652 | 162395 2 | 40264 | 348 536.11/536.21 c 531s | 18 | 613447 | 335652 | 162395 2 | 40264 | 348 538.21/538.32 c 533s | 18 | 615672 | 337052 | 162395 2 | 40264 | 348 540.51/540.63 c 536s | 18 | 617110 | 338152 | 162395 2 | 40264 | 348 542.61/542.75 c 538s | 18 | 618066 | 338852 | 162395 2 | 40264 | 348 544.61/544.79 c 540s | 18 | 619533 | 340052 | 162395 2 | 40264 | 348 546.90/547.08 c 542s | 18 | 620756 | 340852 | 162395 2 | 40264 | 348 549.00/549.13 c 544s | 18 | 623187 | 341852 | 162395 2 | 40264 | 348 551.11/551.23 c 546s | 18 | 625617 | 342952 | 162395 2 | 40264 | 348 553.10/553.27 c 548s | 18 | 626879 | 343652 | 162395 2 | 40264 | 348 555.80/555.93 c 551s | 18 | 628480 | 344552 | 162395 2 | 40264 | 348 557.80/557.96 c 553s | 18 | 629748 | 345352 | 162395 2 | 40264 | 348 559.91/560.00 c 555s | 18 | 630642 | 345952 | 162395 2 | 40264 | 348 561.90/562.04 c 557s | 18 | 632403 | 347152 | 162395 2 | 40264 | 348 564.50/564.66 c 560s | 18 | 633757 | 348452 | 162395 2 | 40264 | 348 566.70/566.81 c 562s | 18 | 635761 | 349452 | 162395 2 | 40264 | 348 568.71/568.85 c 564s | 18 | 636819 | 350152 | 162395 2 | 40264 | 348 570.91/571.09 c 566s | 18 | 637583 | 350752 | 162395 2 | 40264 | 348 573.11/573.25 c 568s | 18 | 638213 | 351252 | 162395 2 | 40264 | 348 575.40/575.55 c 571s | 18 | 638908 | 351852 | 162395 2 | 40264 | 348 577.90/578.03 c 573s | 18 | 639429 | 352352 | 162395 2 | 40264 | 348 580.40/580.51 c 576s | 18 | 639849 | 352752 | 162395 2 | 40264 | 348 582.60/582.77 c 578s | 18 | 640503 | 353252 | 162395 2 | 40264 | 348 584.80/585.00 c 580s | 18 | 641720 | 354252 | 162395 2 | 40264 | 348 586.90/587.09 c 582s | 18 | 643139 | 355452 | 162395 2 | 40264 | 348 589.10/589.23 c 584s | 18 | 644566 | 356652 | 162395 2 | 40264 | 348 591.20/591.35 c 586s | 18 | 646038 | 357852 | 162395 2 | 40264 | 348 593.30/593.46 c 588s | 18 | 646543 | 358352 | 162395 2 | 40264 | 348 595.30/595.49 c 590s | 18 | 647657 | 359452 | 162395 2 | 40264 | 348 597.40/597.52 c 593s | 18 | 648749 | 360552 | 162395 2 | 40264 | 348 599.50/599.65 c 595s | 18 | 649656 | 361452 | 162395 2 | 40264 | 348 601.60/601.78 c 597s | 18 | 650454 | 362252 | 162395 2 | 40264 | 348 603.69/603.81 c 599s | 18 | 651620 | 363252 | 162395 2 | 40264 | 348 605.69/605.85 c 601s | 18 | 653569 | 364652 | 162395 2 | 40264 | 348 607.69/607.88 c 603s | 18 | 655025 | 365752 | 162395 2 | 40264 | 348 609.79/609.94 c 605s | 18 | 656598 | 367052 | 162395 2 | 40264 | 348 611.89/612.06 c 607s | 18 | 657872 | 368052 | 162395 2 | 40264 | 348 614.09/614.21 c 609s | 18 | 659184 | 369152 | 162395 2 | 40264 | 348 616.19/616.34 c 611s | 18 | 660268 | 370052 | 162395 2 | 40264 | 348 618.48/618.65 c 614s | 18 | 661672 | 371352 | 162395 2 | 40264 | 348 620.58/620.74 c 616s | 18 | 662477 | 372052 | 162395 2 | 40264 | 348 622.68/622.87 c 618s | 18 | 663098 | 372552 | 162395 2 | 40264 | 348 624.79/624.92 c 620s | 18 | 664449 | 373752 | 162395 2 | 40264 | 348 626.99/627.16 c 622s | 18 | 665400 | 374452 | 162395 2 | 40264 | 348 629.18/629.34 c 624s | 18 | 666280 | 375152 | 162395 2 | 40264 | 348 631.18/631.36 c 626s | 18 | 667164 | 375852 | 162395 2 | 40264 | 348 633.38/633.58 c 629s | 18 | 667795 | 376352 | 162395 2 | 40264 | 348 635.48/635.65 c 631s | 18 | 669057 | 377552 | 162395 2 | 40264 | 348 637.77/637.95 c 633s | 18 | 670203 | 378352 | 162395 2 | 40264 | 348 639.77/639.97 c 635s | 18 | 671375 | 379152 | 162395 2 | 40264 | 348 641.97/642.13 c 637s | 18 | 672051 | 379652 | 162395 2 | 40264 | 348 644.07/644.23 c 639s | 18 | 673392 | 380452 | 162395 2 | 40264 | 348 646.08/646.30 c 641s | 18 | 674448 | 381252 | 162395 2 | 40264 | 348 648.28/648.47 c 643s | 18 | 675596 | 382152 | 162395 2 | 40264 | 348 650.48/650.68 c 646s | 18 | 676455 | 382852 | 162395 2 | 40264 | 348 652.68/652.86 c 648s | 18 | 677477 | 383652 | 162395 2 | 40264 | 348 655.08/655.20 c 650s | 18 | 678373 | 384352 | 162395 2 | 40264 | 348 657.28/657.47 c 652s | 18 | 679416 | 385152 | 162395 2 | 40264 | 348 659.48/659.68 c 655s | 18 | 681033 | 386052 | 162395 2 | 40264 | 348 661.78/661.96 c 657s | 18 | 682058 | 386852 | 162395 2 | 40264 | 348 663.78/663.96 c 659s | 18 | 683004 | 387652 | 162395 2 | 40264 | 348 665.88/666.09 c 661s | 18 | 683747 | 388252 | 162395 2 | 40264 | 348 668.17/668.33 c 663s | 18 | 684886 | 388952 | 162395 2 | 40264 | 348 670.27/670.44 c 665s | 18 | 685953 | 389852 | 162395 2 | 40264 | 348 673.47/673.67 c 669s | 18 | 686527 | 390352 | 162395 2 | 40264 | 348 676.67/676.83 c 672s | 18 | 686728 | 390552 | 162395 2 | 40264 | 348 678.77/678.91 c 674s | 18 | 687397 | 391152 | 162395 2 | 40264 | 348 680.77/680.91 c 676s | 18 | 688206 | 391952 | 162395 2 | 40264 | 348 682.97/683.17 c 678s | 18 | 689176 | 392652 | 162395 2 | 40264 | 348 685.17/685.37 c 680s | 18 | 690193 | 393652 | 162395 2 | 40264 | 348 687.47/687.62 c 683s | 18 | 691361 | 394652 | 162395 2 | 40264 | 348 689.67/689.88 c 685s | 18 | 691974 | 395252 | 162395 2 | 40264 | 348 691.77/691.93 c 687s | 18 | 692861 | 396152 | 162395 2 | 40264 | 348 694.07/694.29 c 689s | 18 | 693567 | 396852 | 162395 2 | 40264 | 348 696.27/696.40 c 691s | 18 | 694671 | 397952 | 162395 2 | 40264 | 348 698.26/698.43 c 693s | 18 | 695783 | 399052 | 162395 2 | 40264 | 348 700.26/700.49 c 695s | 18 | 696885 | 400152 | 162395 2 | 40264 | 348 702.36/702.55 c 698s | 18 | 698340 | 401452 | 162395 2 | 40264 | 348 704.35/704.56 c 700s | 18 | 699480 | 402452 | 162395 2 | 40264 | 348 706.55/706.71 c 702s | 18 | 700479 | 403352 | 162395 2 | 40264 | 348 708.55/708.79 c 704s | 18 | 701711 | 404552 | 162395 2 | 40264 | 348 711.15/711.37 c 706s | 18 | 702668 | 405452 | 162395 2 | 40264 | 348 713.35/713.52 c 709s | 18 | 703200 | 405952 | 162395 2 | 40264 | 348 715.35/715.57 c 711s | 18 | 703974 | 406652 | 162395 2 | 40264 | 348 717.45/717.65 c 713s | 18 | 704882 | 407452 | 162395 2 | 40264 | 348 719.54/719.75 c 715s | 18 | 705821 | 408252 | 162395 2 | 40264 | 348 722.14/722.39 c 717s | 18 | 706458 | 408752 | 162395 2 | 40264 | 348 724.44/724.60 c 720s | 18 | 707110 | 409252 | 162395 2 | 40264 | 348 726.44/726.64 c 722s | 18 | 707777 | 409752 | 162395 2 | 40264 | 348 728.54/728.73 c 724s | 18 | 708591 | 410352 | 162395 2 | 40264 | 348 730.54/730.76 c 726s | 18 | 709317 | 410952 | 162395 2 | 40264 | 348 732.94/733.17 c 728s | 18 | 710051 | 411552 | 162395 2 | 40264 | 348 734.94/735.19 c 730s | 18 | 710577 | 411952 | 162395 2 | 40264 | 348 738.54/738.74 c 734s | 18 | 711053 | 412352 | 162395 2 | 40264 | 348 740.84/741.04 c 736s | 18 | 712009 | 413052 | 162395 2 | 40264 | 348 742.94/743.13 c 738s | 18 | 712726 | 413652 | 162395 2 | 40264 | 348 745.23/745.47 c 740s | 18 | 713342 | 414252 | 162395 2 | 40264 | 348 747.53/747.76 c 743s | 18 | 713843 | 414752 | 162395 2 | 40264 | 348 749.73/749.92 c 745s | 18 | 714445 | 415152 | 162395 2 | 40264 | 348 753.03/753.26 c 748s | 18 | 715063 | 415552 | 162395 2 | 40264 | 348 755.33/755.53 c 751s | 18 | 715913 | 416052 | 162395 2 | 40264 | 348 757.43/757.62 c 753s | 18 | 716886 | 416752 | 162395 2 | 40264 | 348 759.43/759.63 c 755s | 18 | 717384 | 417252 | 162395 2 | 40264 | 348 761.83/762.00 c 757s | 18 | 717889 | 417752 | 162395 2 | 40264 | 348 764.33/764.54 c 760s | 18 | 718443 | 418252 | 162395 2 | 40264 | 348 766.43/766.61 c 762s | 18 | 718984 | 418652 | 162395 2 | 40264 | 348 768.73/768.91 c 764s | 18 | 719690 | 419152 | 162395 2 | 40264 | 348 770.82/771.02 c 766s | 18 | 720430 | 419852 | 162395 2 | 40264 | 348 773.13/773.34 c 768s | 18 | 721131 | 420552 | 162395 2 | 40264 | 348 775.62/775.81 c 771s | 18 | 721375 | 420752 | 162395 2 | 40264 | 348 779.42/779.64 c 775s | 18 | 721563 | 420952 | 162395 2 | 40264 | 348 782.42/782.66 c 778s | 18 | 721771 | 421152 | 162395 2 | 40264 | 348 786.12/786.33 c 781s | 18 | 721967 | 421352 | 162395 2 | 40264 | 348 790.51/790.75 c 786s | 18 | 722632 | 421952 | 162395 3 | 40264 | 348 792.71/792.93 c 788s | 18 | 723303 | 422552 | 162395 3 | 40264 | 348 794.81/795.09 c 790s | 18 | 724233 | 423452 | 162395 3 | 40264 | 348 799.52/799.72 c 795s | 18 | 724938 | 424152 | 162395 3 | 40264 | 348 801.82/802.06 c 797s | 18 | 725640 | 424852 | 162395 3 | 40264 | 348 803.92/804.14 c 799s | 18 | 726843 | 426052 | 162395 3 | 40264 | 348 805.91/806.18 c 801s | 18 | 727858 | 427052 | 162395 3 | 40264 | 348 808.01/808.23 c 803s | 18 | 728757 | 427952 | 162395 3 | 40264 | 348 810.21/810.47 c 805s | 18 | 729480 | 428652 | 162395 3 | 40264 | 348 812.51/812.72 c 808s | 18 | 730600 | 429752 | 162395 3 | 40264 | 348 814.61/814.82 c 810s | 18 | 731433 | 430552 | 162395 3 | 40264 | 348 816.61/816.85 c 812s | 18 | 732438 | 431552 | 162395 3 | 40264 | 348 818.70/818.92 c 814s | 18 | 733452 | 432552 | 162395 3 | 40264 | 348 820.80/821.00 c 816s | 18 | 734357 | 433452 | 162395 3 | 40264 | 348 822.90/823.13 c 818s | 18 | 735260 | 434352 | 162395 3 | 40264 | 348 824.91/825.19 c 820s | 18 | 736172 | 435252 | 162395 3 | 40264 | 348 826.90/827.19 c 822s | 18 | 736973 | 436052 | 162395 3 | 40264 | 348 829.10/829.30 c 824s | 18 | 737862 | 436952 | 162395 3 | 40264 | 348 831.10/831.39 c 826s | 18 | 739165 | 438252 | 162395 3 | 40264 | 348 833.20/833.47 c 828s | 18 | 741192 | 439652 | 162395 3 | 40264 | 348 837.60/837.81 c 833s | 18 | 742431 | 440452 | 162395 3 | 40272 | 348 839.80/840.09 c 835s | 18 | 743112 | 440952 | 162395 3 | 40272 | 348 841.90/842.14 c 837s | 18 | 743604 | 441352 | 178635 3 | 40272 | 348 843.99/844.26 c 839s | 18 | 744308 | 441852 | 178635 3 | 40272 | 348 845.99/846.27 c 841s | 18 | 744934 | 442352 | 178635 3 | 40272 | 348 848.09/848.39 c 843s | 18 | 745834 | 443052 | 178635 3 | 40272 | 348 850.39/850.60 c 846s | 18 | 746893 | 443752 | 178635 3 | 40272 | 348 852.40/852.65 c 848s | 18 | 747448 | 444152 | 178635 3 | 40272 | 348 853.59/853.87 c 849s | 19 | 747952 | 444482 | 178635 3 | 40272 | 348 855.89/856.15 c 851s | 19 | 748792 | 444982 | 178635 3 | 40272 | 348 857.99/858.23 c 853s | 19 | 749343 | 445482 | 178635 3 | 40272 | 348 860.10/860.31 c 855s | 19 | 750370 | 446182 | 178635 3 | 40272 | 348 872.39/872.61 c 868s | 19 | 750727 | 446382 | 178635 3 | 40272 | 348 874.59/874.80 c 870s | 19 | 751445 | 446982 | 178635 3 | 40272 | 348 876.60/876.86 c 872s | 19 | 752485 | 447682 | 178635 3 | 40272 | 348 878.70/878.95 c 874s | 19 | 753784 | 448782 | 178635 3 | 40272 | 348 880.79/881.01 c 876s | 19 | 754840 | 449482 | 178635 3 | 40272 | 348 882.89/883.19 c 878s | 19 | 756226 | 450782 | 178635 3 | 40272 | 348 885.19/885.45 c 880s | 19 | 757077 | 451482 | 178635 3 | 40272 | 348 887.29/887.59 c 883s | 19 | 758218 | 452382 | 178635 3 | 40272 | 348 889.39/889.60 c 885s | 19 | 759108 | 453282 | 178635 3 | 40272 | 348 891.59/891.80 c 887s | 19 | 760009 | 453982 | 178635 3 | 40272 | 348 893.89/894.11 c 889s | 19 | 760777 | 454482 | 178635 3 | 40272 | 348 896.19/896.49 c 891s | 19 | 761866 | 455082 | 178635 3 | 40272 | 348 898.28/898.58 c 894s | 19 | 762553 | 455582 | 178635 3 | 40272 | 348 900.58/900.81 c 896s | 19 | 763638 | 456482 | 178635 3 | 40272 | 348 902.78/903.05 c 898s | 19 | 764584 | 457182 | 178635 3 | 40272 | 348 905.28/905.52 c 901s | 19 | 765011 | 457582 | 178635 3 | 40272 | 348 907.48/907.76 c 903s | 19 | 765640 | 458182 | 178635 3 | 40272 | 348 910.38/910.62 c 906s | 19 | 766130 | 458582 | 178635 3 | 40272 | 348 912.48/912.72 c 908s | 19 | 766537 | 458982 | 178635 3 | 40272 | 348 914.58/914.89 c 910s | 19 | 767760 | 460182 | 178635 3 | 40272 | 348 916.78/917.07 c 912s | 19 | 768601 | 460982 | 178635 3 | 40272 | 348 918.78/919.08 c 914s | 19 | 769348 | 461682 | 178635 3 | 40272 | 348 921.18/921.44 c 916s | 19 | 770017 | 462282 | 178635 3 | 40272 | 348 923.48/923.79 c 919s | 19 | 770656 | 462882 | 178635 3 | 40272 | 348 925.88/926.16 c 921s | 19 | 771278 | 463482 | 178635 3 | 40272 | 348 928.38/928.63 c 924s | 19 | 771724 | 463882 | 178635 3 | 40272 | 348 930.68/930.93 c 926s | 19 | 772234 | 464382 | 178635 3 | 40272 | 348 932.78/933.05 c 928s | 19 | 772728 | 464882 | 178635 3 | 40272 | 348 934.88/935.17 c 930s | 19 | 773738 | 465882 | 178635 3 | 40272 | 348 937.17/937.47 c 932s | 19 | 774647 | 466782 | 178635 3 | 40272 | 348 939.37/939.64 c 935s | 19 | 775349 | 467482 | 178635 3 | 40272 | 348 941.38/941.67 c 937s | 19 | 775843 | 467982 | 178635 3 | 40272 | 348 943.47/943.76 c 939s | 19 | 776464 | 468582 | 178635 3 | 40272 | 348 945.47/945.79 c 941s | 19 | 777087 | 469182 | 178635 3 | 40272 | 348 947.67/947.91 c 943s | 19 | 777800 | 469782 | 178635 3 | 40272 | 348 949.67/949.98 c 945s | 19 | 778426 | 470382 | 178635 3 | 40272 | 348 951.87/952.11 c 947s | 19 | 779110 | 470982 | 178635 3 | 40272 | 348 954.27/954.50 c 950s | 19 | 779848 | 471482 | 178635 3 | 40272 | 348 956.27/956.50 c 952s | 19 | 780351 | 471982 | 178635 3 | 40272 | 348 958.27/958.53 c 954s | 19 | 781147 | 472682 | 178635 3 | 40272 | 348 960.27/960.53 c 956s | 19 | 781954 | 473482 | 178635 3 | 40272 | 348 962.56/962.80 c 958s | 19 | 782693 | 474082 | 178635 3 | 40272 | 348 964.57/964.82 c 960s | 19 | 783408 | 474682 | 178635 3 | 40272 | 348 966.67/966.96 c 962s | 19 | 784323 | 475582 | 178635 3 | 40272 | 348 968.76/969.01 c 964s | 19 | 784955 | 476182 | 178635 3 | 40272 | 348 970.96/971.29 c 966s | 19 | 785681 | 476782 | 178635 3 | 40272 | 348 973.16/973.46 c 968s | 19 | 786594 | 477682 | 178635 3 | 40272 | 348 975.47/975.78 c 971s | 19 | 787242 | 478282 | 178635 3 | 40272 | 348 977.66/977.98 c 973s | 19 | 787779 | 478682 | 178635 3 | 40272 | 348 979.76/980.06 c 975s | 19 | 788670 | 479482 | 178635 3 | 40272 | 348 981.96/982.24 c 977s | 19 | 789292 | 480082 | 178635 3 | 40272 | 348 984.56/984.86 c 980s | 19 | 789727 | 480382 | 178635 3 | 40272 | 348 986.66/986.98 c 982s | 19 | 790484 | 481082 | 178635 3 | 40272 | 348 988.76/989.09 c 984s | 19 | 791282 | 481882 | 178635 3 | 40272 | 348 991.05/991.30 c 986s | 19 | 792197 | 482782 | 178635 3 | 40272 | 348 993.16/993.49 c 988s | 19 | 792989 | 483582 | 178635 3 | 40272 | 348 995.65/995.94 c 991s | 19 | 793691 | 484282 | 178635 3 | 40272 | 348 997.75/998.04 c 993s | 19 | 794590 | 485182 | 178635 3 | 40272 | 348 999.95/1000.23 c 995s | 19 | 795487 | 486082 | 178635 3 | 40272 | 348 1002.15/1002.41 c 997s | 19 | 796289 | 486882 | 178635 3 | 40272 | 348 1004.16/1004.45 c 999s | 19 | 796996 | 487582 | 178635 3 | 40272 | 348 1006.36/1006.67 c 1002s | 19 | 797992 | 488582 | 178635 3 | 40272 | 348 1008.35/1008.67 c 1004s | 19 | 798996 | 489582 | 178635 3 | 40272 | 348 1010.55/1010.87 c 1006s | 19 | 799754 | 490282 | 178635 3 | 40272 | 348 1012.65/1012.99 c 1008s | 19 | 800480 | 490882 | 178635 3 | 40272 | 348 1014.75/1015.08 c 1010s | 19 | 801270 | 491682 | 178635 3 | 40272 | 348 1016.95/1017.21 c 1012s | 19 | 802241 | 492182 | 178635 3 | 40272 | 348 1019.04/1019.32 c 1014s | 19 | 803107 | 492982 | 178635 3 | 40272 | 348 1021.24/1021.50 c 1017s | 19 | 803967 | 493682 | 178635 3 | 40272 | 348 1023.24/1023.57 c 1019s | 19 | 805134 | 494682 | 178635 3 | 40272 | 348 1025.34/1025.65 c 1021s | 19 | 806320 | 495682 | 178635 3 | 40272 | 348 1027.34/1027.67 c 1023s | 19 | 807379 | 496582 | 178635 3 | 40272 | 348 1029.54/1029.84 c 1025s | 19 | 808161 | 497282 | 178635 3 | 40272 | 348 1031.54/1031.86 c 1027s | 19 | 808854 | 497882 | 178635 3 | 40272 | 348 1033.74/1034.04 c 1029s | 19 | 809855 | 498682 | 178635 3 | 40272 | 348 1035.74/1036.08 c 1031s | 19 | 810459 | 499282 | 178635 3 | 40272 | 348 1038.03/1038.34 c 1033s | 19 | 810951 | 499782 | 178635 3 | 40272 | 348 1040.34/1040.68 c 1036s | 19 | 811459 | 500282 | 178635 3 | 40272 | 348 1042.64/1042.91 c 1038s | 19 | 812408 | 501082 | 178635 3 | 40272 | 348 1044.93/1045.25 c 1040s | 19 | 813410 | 501682 | 178635 3 | 40272 | 348 1047.33/1047.61 c 1043s | 19 | 814299 | 502282 | 178635 3 | 40272 | 348 1049.63/1049.94 c 1045s | 19 | 815141 | 502982 | 178635 3 | 40272 | 348 1051.93/1052.20 c 1047s | 19 | 815774 | 503582 | 178635 3 | 40272 | 348 1053.93/1054.21 c 1049s | 19 | 816805 | 504182 | 178635 3 | 40272 | 348 1056.13/1056.44 c 1051s | 19 | 817970 | 504782 | 178635 3 | 40272 | 348 1058.33/1058.66 c 1054s | 19 | 819078 | 505582 | 178635 3 | 40272 | 348 1060.63/1060.96 c 1056s | 19 | 820160 | 506382 | 178635 3 | 40272 | 348 1062.73/1063.09 c 1058s | 19 | 820842 | 506882 | 178635 3 | 40272 | 348 1065.33/1065.67 c 1061s | 19 | 821432 | 507382 | 178635 3 | 40272 | 348 1067.52/1067.88 c 1063s | 19 | 822688 | 507982 | 178635 3 | 40272 | 348 1069.82/1070.16 c 1065s | 19 | 824153 | 508582 | 178635 3 | 40272 | 348 1071.82/1072.18 c 1067s | 19 | 824672 | 508982 | 178635 3 | 40272 | 348 1073.92/1074.29 c 1069s | 19 | 825322 | 509582 | 178635 3 | 40272 | 348 1076.22/1076.50 c 1072s | 19 | 826214 | 510282 | 178635 3 | 40272 | 348 1078.22/1078.52 c 1074s | 19 | 826707 | 510782 | 178635 3 | 40272 | 348 1080.42/1080.76 c 1076s | 19 | 827436 | 511482 | 178635 3 | 40272 | 348 1082.62/1082.94 c 1078s | 19 | 827929 | 511982 | 178635 3 | 40272 | 348 1084.82/1085.13 c 1080s | 19 | 828441 | 512482 | 178635 3 | 40272 | 348 1087.02/1087.31 c 1082s | 19 | 829206 | 512882 | 178635 3 | 40272 | 348 1089.01/1089.38 c 1084s | 19 | 829748 | 513382 | 178635 3 | 40272 | 348 1091.11/1091.41 c 1086s | 19 | 830237 | 513882 | 178635 3 | 40272 | 348 1093.51/1093.88 c 1089s | 19 | 830750 | 514382 | 178635 3 | 40272 | 348 1095.82/1096.14 c 1091s | 19 | 831045 | 514682 | 178635 3 | 40272 | 348 1098.22/1098.54 c 1094s | 19 | 831443 | 515082 | 178635 3 | 40272 | 348 1100.31/1100.68 c 1096s | 19 | 831837 | 515482 | 178635 3 | 40272 | 348 1102.41/1102.72 c 1098s | 19 | 832550 | 516182 | 178635 3 | 40272 | 348 1104.51/1104.83 c 1100s | 19 | 833050 | 516682 | 178635 3 | 40272 | 348 1107.11/1107.42 c 1102s | 19 | 833676 | 517082 | 178635 3 | 40272 | 348 1109.62/1110.00 c 1105s | 19 | 834316 | 517482 | 178635 3 | 40272 | 348 1112.11/1112.45 c 1107s | 19 | 834917 | 517882 | 178635 3 | 40272 | 348 1114.91/1115.22 c 1110s | 19 | 835591 | 518282 | 178635 3 | 40272 | 348 1117.21/1117.56 c 1113s | 19 | 835984 | 518682 | 178635 3 | 40272 | 348 1119.62/1119.98 c 1115s | 19 | 836396 | 519082 | 178635 3 | 40272 | 348 1121.72/1122.08 c 1117s | 19 | 836806 | 519482 | 178635 3 | 40272 | 348 1123.71/1124.08 c 1119s | 19 | 837379 | 519982 | 178635 3 | 40272 | 348 1126.21/1126.58 c 1122s | 19 | 838009 | 520482 | 178635 3 | 40272 | 348 1128.31/1128.66 c 1124s | 19 | 838496 | 520882 | 178635 3 | 40272 | 348 1130.81/1131.15 c 1126s | 19 | 838973 | 521282 | 178635 3 | 40272 | 348 1133.00/1133.38 c 1128s | 19 | 839609 | 521682 | 178635 3 | 40272 | 348 1135.20/1135.54 c 1131s | 19 | 840228 | 522082 | 178635 3 | 40272 | 348 1137.40/1137.72 c 1133s | 19 | 840848 | 522482 | 178635 3 | 40272 | 348 1139.90/1140.21 c 1135s | 19 | 841434 | 522882 | 178635 3 | 40272 | 348 1142.00/1142.34 c 1137s | 19 | 841962 | 523282 | 178635 3 | 40272 | 348 1144.40/1144.79 c 1140s | 19 | 842706 | 523782 | 178635 3 | 40272 | 348 1146.50/1146.82 c 1142s | 19 | 843267 | 524182 | 178635 3 | 40272 | 348 1148.50/1148.85 c 1144s | 19 | 843961 | 524682 | 178635 3 | 40272 | 348 1151.10/1151.45 c 1146s | 19 | 844712 | 525382 | 178635 3 | 40272 | 348 1153.30/1153.67 c 1149s | 19 | 845356 | 525682 | 178635 3 | 40272 | 348 1156.70/1157.06 c 1152s | 19 | 846020 | 526182 | 178635 3 | 40272 | 348 1180.99/1181.40 c 1176s | 19 | 846956 | 526482 | 178635 3 | 40273 | 348 1183.09/1183.43 c 1178s | 19 | 848548 | 527982 | 178635 3 | 40273 | 348 1185.19/1185.52 c 1181s | 19 | 853708 | 530982 | 178635 3 | 40273 | 348 1187.19/1187.58 c 1183s | 19 | 855874 | 532882 | 178635 3 | 40273 | 348 1189.39/1189.71 c 1185s | 19 | 857760 | 534582 | 178635 3 | 40273 | 348 1191.39/1191.74 c 1187s | 19 | 859439 | 536082 | 178635 3 | 40273 | 348 1193.49/1193.87 c 1189s | 19 | 861018 | 537582 | 178635 3 | 40273 | 348 1195.59/1195.98 c 1191s | 19 | 862561 | 538982 | 178635 3 | 40273 | 348 1197.69/1198.07 c 1193s | 19 | 863917 | 540282 | 178635 3 | 40273 | 348 1199.79/1200.13 c 1195s | 19 | 865266 | 541482 | 178635 3 | 40273 | 348 1201.79/1202.19 c 1197s | 19 | 866541 | 542682 | 178635 3 | 40273 | 348 1203.89/1204.21 c 1199s | 19 | 867726 | 543782 | 178635 3 | 40273 | 348 1205.99/1206.31 c 1201s | 19 | 868924 | 544882 | 178635 3 | 40273 | 348 1208.08/1208.42 c 1203s | 19 | 870062 | 545882 | 178635 3 | 40273 | 348 1210.08/1210.49 c 1206s | 19 | 871067 | 546882 | 178635 3 | 40273 | 348 1212.18/1212.54 c 1208s | 19 | 872062 | 547782 | 178635 3 | 40273 | 348 1214.19/1214.59 c 1210s | 19 | 873025 | 548682 | 178635 3 | 40273 | 348 1216.48/1216.81 c 1212s | 19 | 873948 | 549582 | 178635 3 | 40273 | 348 1218.49/1218.87 c 1214s | 19 | 874801 | 550382 | 178635 3 | 40273 | 348 1220.69/1221.02 c 1216s | 19 | 875848 | 551282 | 178635 3 | 40273 | 348 1222.78/1223.20 c 1218s | 19 | 876810 | 552182 | 178635 3 | 40273 | 348 1225.28/1225.65 c 1221s | 19 | 877430 | 552782 | 178635 4 | 40273 | 348 1227.39/1227.73 c 1223s | 19 | 878325 | 553582 | 178635 4 | 40273 | 348 1229.48/1229.81 c 1225s | 19 | 879224 | 554382 | 178635 4 | 40273 | 348 1231.68/1232.03 c 1227s | 19 | 880032 | 555182 | 178635 4 | 40273 | 348 1233.68/1234.07 c 1229s | 19 | 880812 | 555882 | 178635 4 | 40273 | 348 1235.78/1236.12 c 1231s | 19 | 881583 | 556582 | 178635 4 | 40273 | 348 1237.77/1238.16 c 1233s | 19 | 882332 | 557282 | 178635 4 | 40273 | 348 1239.77/1240.19 c 1235s | 19 | 883102 | 557982 | 178635 4 | 40273 | 348 1241.97/1242.30 c 1237s | 19 | 883851 | 558682 | 178635 4 | 40273 | 348 1244.07/1244.49 c 1239s | 19 | 884550 | 559382 | 178635 4 | 40273 | 348 1246.17/1246.59 c 1242s | 19 | 885207 | 559982 | 178635 4 | 40273 | 348 1248.37/1248.75 c 1244s | 19 | 885894 | 560582 | 178635 4 | 40273 | 348 1250.47/1250.83 c 1246s | 19 | 886463 | 561182 | 178635 4 | 40273 | 348 1252.77/1253.11 c 1248s | 19 | 887051 | 561682 | 178635 4 | 40273 | 348 1254.87/1255.21 c 1250s | 19 | 887673 | 562282 | 178635 4 | 40273 | 348 1256.97/1257.40 c 1252s | 19 | 888336 | 562882 | 178635 4 | 40273 | 348 1259.17/1259.53 c 1255s | 19 | 888958 | 563482 | 178635 4 | 40273 | 348 1261.26/1261.68 c 1257s | 19 | 889520 | 564082 | 178635 4 | 40273 | 348 1263.57/1263.92 c 1259s | 19 | 890166 | 564682 | 178635 4 | 40273 | 348 1265.56/1265.95 c 1261s | 19 | 890701 | 565182 | 178635 4 | 40273 | 348 1267.76/1268.13 c 1263s | 19 | 891178 | 565682 | 178635 4 | 40273 | 348 1270.56/1270.94 c 1266s | 19 | 891878 | 566282 | 178635 4 | 40273 | 348 1272.66/1273.04 c 1268s | 19 | 892437 | 566782 | 178635 4 | 40273 | 348 1274.67/1275.06 c 1270s | 19 | 893000 | 567282 | 178635 4 | 40273 | 348 1276.76/1277.16 c 1272s | 19 | 893509 | 567782 | 178635 4 | 40273 | 348 1278.96/1279.36 c 1274s | 19 | 894130 | 568282 | 178635 4 | 40273 | 348 1281.16/1281.51 c 1277s | 19 | 894672 | 568782 | 178635 4 | 40273 | 348 1283.26/1283.68 c 1279s | 19 | 895236 | 569282 | 178635 4 | 40273 | 348 1285.56/1285.91 c 1281s | 19 | 895771 | 569782 | 178635 4 | 40273 | 348 1287.66/1288.09 c 1283s | 19 | 896337 | 570282 | 178635 4 | 40273 | 348 1290.06/1290.48 c 1285s | 19 | 896844 | 570782 | 178635 4 | 40273 | 348 1292.46/1292.87 c 1288s | 19 | 897426 | 571282 | 178635 4 | 40273 | 348 1294.76/1295.11 c 1290s | 19 | 898010 | 571782 | 178635 4 | 40273 | 348 1297.15/1297.52 c 1293s | 19 | 898534 | 572282 | 178635 4 | 40273 | 348 1299.15/1299.53 c 1295s | 19 | 898997 | 572682 | 178635 4 | 40273 | 348 1301.55/1301.94 c 1297s | 19 | 899550 | 573182 | 178635 4 | 40273 | 348 1303.65/1304.04 c 1299s | 19 | 900003 | 573582 | 178635 4 | 40273 | 348 1305.75/1306.17 c 1301s | 19 | 900400 | 573982 | 178635 4 | 40273 | 348 1308.05/1308.42 c 1303s | 19 | 900824 | 574382 | 178635 4 | 40273 | 348 1310.15/1310.51 c 1306s | 19 | 901334 | 574782 | 178635 4 | 40273 | 348 1312.25/1312.61 c 1308s | 19 | 901749 | 575182 | 178635 4 | 40273 | 348 1314.35/1314.72 c 1310s | 19 | 902149 | 575582 | 178635 4 | 40273 | 348 1316.55/1316.90 c 1312s | 19 | 902522 | 575982 | 178635 4 | 40273 | 348 1318.66/1319.07 c 1314s | 19 | 902973 | 576382 | 178635 4 | 40273 | 348 1320.76/1321.14 c 1316s | 19 | 903433 | 576782 | 178635 4 | 40273 | 348 1322.85/1323.29 c 1318s | 19 | 903885 | 577182 | 178635 4 | 40273 | 348 1324.95/1325.38 c 1320s | 19 | 904353 | 577582 | 178635 4 | 40273 | 348 1327.05/1327.41 c 1322s | 19 | 904839 | 577982 | 178635 4 | 40273 | 348 1329.25/1329.62 c 1325s | 19 | 905247 | 578382 | 178635 4 | 40273 | 348 1331.45/1331.88 c 1327s | 19 | 905743 | 578782 | 178635 4 | 40273 | 348 1333.75/1334.15 c 1329s | 19 | 906205 | 579182 | 178635 4 | 40273 | 348 1336.05/1336.41 c 1331s | 19 | 906655 | 579582 | 178635 4 | 40273 | 348 1338.35/1338.71 c 1334s | 19 | 907093 | 579982 | 178635 4 | 40273 | 348 1340.55/1340.95 c 1336s | 19 | 907555 | 580382 | 178635 4 | 40273 | 348 1342.75/1343.17 c 1338s | 19 | 908008 | 580782 | 178635 4 | 40273 | 348 1344.95/1345.35 c 1340s | 19 | 908517 | 581182 | 178635 4 | 40273 | 348 1347.15/1347.59 c 1343s | 19 | 909000 | 581582 | 178635 4 | 40273 | 348 1349.35/1349.74 c 1345s | 19 | 909409 | 581982 | 178635 4 | 40273 | 348 1351.65/1352.04 c 1347s | 19 | 909845 | 582382 | 178635 4 | 40273 | 348 1354.04/1354.47 c 1349s | 19 | 910231 | 582782 | 178635 4 | 40273 | 348 1356.44/1356.85 c 1352s | 19 | 910512 | 582982 | 178635 4 | 40273 | 348 1358.54/1358.96 c 1354s | 19 | 910957 | 583382 | 178635 4 | 40273 | 348 1360.74/1361.11 c 1356s | 19 | 911343 | 583782 | 178635 4 | 40273 | 348 1362.84/1363.28 c 1358s | 19 | 911840 | 584182 | 178635 4 | 40273 | 348 1365.24/1365.60 c 1361s | 19 | 912214 | 584582 | 178635 4 | 40273 | 348 1367.64/1368.08 c 1363s | 19 | 912682 | 584982 | 178635 4 | 40273 | 348 1370.35/1370.78 c 1366s | 19 | 913068 | 585382 | 178635 4 | 40273 | 348 1373.04/1373.40 c 1368s | 19 | 913557 | 585782 | 178635 4 | 40273 | 348 1375.44/1375.82 c 1371s | 19 | 914021 | 586182 | 178635 4 | 40273 | 348 1377.84/1378.24 c 1373s | 19 | 914480 | 586582 | 178635 4 | 40273 | 348 1380.25/1380.61 c 1376s | 19 | 914933 | 586982 | 178635 4 | 40273 | 348 1382.74/1383.10 c 1378s | 19 | 915312 | 587382 | 178635 4 | 40273 | 348 1385.24/1385.64 c 1381s | 19 | 915765 | 587782 | 178635 4 | 40273 | 348 1387.64/1388.01 c 1383s | 19 | 916215 | 588182 | 178635 4 | 40273 | 348 1390.04/1390.47 c 1385s | 19 | 916640 | 588582 | 178635 4 | 40273 | 348 1392.54/1392.97 c 1388s | 19 | 917092 | 588982 | 178635 4 | 40273 | 348 1395.23/1395.62 c 1391s | 19 | 917555 | 589382 | 178635 4 | 40273 | 348 1397.33/1397.71 c 1393s | 19 | 917859 | 589682 | 178635 4 | 40273 | 348 1399.43/1399.80 c 1395s | 19 | 918172 | 589982 | 178635 4 | 40273 | 348 1401.43/1401.86 c 1397s | 19 | 918529 | 590282 | 178635 4 | 40273 | 348 1403.53/1403.90 c 1399s | 19 | 918878 | 590582 | 178635 4 | 40273 | 348 1405.54/1405.97 c 1401s | 19 | 919186 | 590882 | 178635 4 | 40273 | 348 1407.74/1408.11 c 1403s | 19 | 919549 | 591182 | 178635 4 | 40273 | 348 1409.84/1410.27 c 1405s | 19 | 919858 | 591482 | 178635 4 | 40273 | 348 1412.04/1412.48 c 1407s | 19 | 920210 | 591782 | 178635 4 | 40273 | 348 1414.13/1414.55 c 1410s | 19 | 920517 | 592082 | 178635 4 | 40273 | 348 1416.23/1416.65 c 1412s | 19 | 920828 | 592382 | 178635 4 | 40273 | 348 1418.23/1418.69 c 1414s | 19 | 921065 | 592682 | 178635 4 | 40273 | 348 1420.43/1420.82 c 1416s | 19 | 921437 | 592982 | 178635 4 | 40273 | 348 1422.53/1422.95 c 1418s | 19 | 921755 | 593282 | 178635 4 | 40273 | 348 1424.73/1425.15 c 1420s | 19 | 922104 | 593582 | 178635 4 | 40273 | 348 1426.93/1427.36 c 1422s | 19 | 922470 | 593882 | 178635 4 | 40273 | 348 1429.33/1429.70 c 1425s | 19 | 922768 | 594182 | 178635 4 | 40273 | 348 1431.63/1432.09 c 1427s | 19 | 923099 | 594482 | 178635 4 | 40273 | 348 1433.93/1434.34 c 1429s | 19 | 923372 | 594782 | 178635 4 | 40273 | 348 1436.13/1436.53 c 1432s | 19 | 923726 | 595082 | 178635 4 | 40273 | 348 1438.33/1438.75 c 1434s | 19 | 924090 | 595382 | 178635 4 | 40273 | 348 1441.03/1441.42 c 1436s | 19 | 924459 | 595682 | 178635 4 | 40273 | 348 1443.53/1443.95 c 1439s | 19 | 924771 | 595982 | 178635 4 | 40273 | 348 1445.93/1446.32 c 1441s | 19 | 925050 | 596282 | 178635 4 | 40273 | 348 1448.23/1448.69 c 1444s | 19 | 925372 | 596582 | 178635 4 | 40273 | 348 1450.63/1451.02 c 1446s | 19 | 925698 | 596882 | 178635 4 | 40273 | 348 1452.94/1453.39 c 1448s | 19 | 926023 | 597182 | 178635 4 | 40273 | 348 1455.23/1455.63 c 1451s | 19 | 926357 | 597482 | 178635 4 | 40273 | 348 1457.53/1457.98 c 1453s | 19 | 926668 | 597782 | 178635 4 | 40273 | 348 1459.93/1460.35 c 1455s | 19 | 926979 | 598082 | 178635 4 | 40273 | 348 1462.43/1462.87 c 1458s | 19 | 927327 | 598382 | 178635 4 | 40273 | 348 1465.03/1465.40 c 1460s | 19 | 927679 | 598682 | 178635 4 | 40273 | 348 1467.43/1467.80 c 1463s | 19 | 927986 | 598982 | 178635 4 | 40273 | 348 1469.83/1470.28 c 1465s | 19 | 928236 | 599282 | 178635 4 | 40273 | 348 1472.33/1472.79 c 1468s | 19 | 928561 | 599582 | 178635 4 | 40273 | 348 1474.93/1475.31 c 1470s | 19 | 928886 | 599882 | 178635 4 | 40273 | 348 1477.33/1477.73 c 1473s | 19 | 929221 | 600182 | 178635 4 | 40273 | 348 1479.73/1480.18 c 1475s | 19 | 929531 | 600482 | 178635 4 | 40273 | 348 1482.23/1482.66 c 1478s | 19 | 929843 | 600782 | 178635 4 | 40273 | 348 1484.83/1485.23 c 1480s | 19 | 930173 | 601082 | 178635 4 | 40273 | 348 1487.33/1487.71 c 1483s | 19 | 930482 | 601382 | 178635 4 | 40273 | 348 1489.83/1490.20 c 1485s | 19 | 930793 | 601682 | 178635 4 | 40273 | 348 1492.23/1492.61 c 1488s | 19 | 931104 | 601982 | 178635 4 | 40273 | 348 1494.73/1495.11 c 1490s | 19 | 931416 | 602282 | 178635 4 | 40273 | 348 1497.53/1497.92 c 1493s | 19 | 931752 | 602582 | 178635 4 | 40273 | 348 1500.04/1500.42 c 1495s | 19 | 932065 | 602882 | 178635 4 | 40273 | 348 1502.43/1502.80 c 1498s | 19 | 932424 | 603182 | 178635 4 | 40273 | 348 1504.83/1505.26 c 1500s | 19 | 932778 | 603482 | 178635 4 | 40273 | 348 1507.33/1507.74 c 1503s | 19 | 933131 | 603782 | 178635 4 | 40273 | 348 1509.83/1510.21 c 1505s | 19 | 933464 | 604082 | 178635 4 | 40273 | 348 1512.13/1512.57 c 1508s | 19 | 933753 | 604382 | 178635 4 | 40273 | 348 1514.43/1514.83 c 1510s | 19 | 934103 | 604682 | 178635 4 | 40273 | 348 1516.72/1517.11 c 1512s | 19 | 934478 | 604982 | 178635 4 | 40273 | 348 1519.02/1519.47 c 1514s | 19 | 934809 | 605282 | 178635 4 | 40273 | 348 1521.52/1521.92 c 1517s | 19 | 935117 | 605582 | 178635 4 | 40273 | 348 1523.72/1524.11 c 1519s | 19 | 935467 | 605882 | 178635 4 | 40273 | 348 1526.02/1526.40 c 1521s | 19 | 935775 | 606182 | 178635 4 | 40273 | 348 1528.22/1528.68 c 1524s | 19 | 936139 | 606482 | 178635 4 | 40273 | 348 1530.72/1531.14 c 1526s | 19 | 936449 | 606782 | 178635 4 | 40273 | 348 1533.42/1533.85 c 1529s | 19 | 936814 | 607082 | 178635 4 | 40273 | 348 1536.12/1536.50 c 1532s | 19 | 937168 | 607382 | 178635 4 | 40273 | 348 1538.72/1539.14 c 1534s | 19 | 937443 | 607682 | 178635 4 | 40273 | 348 1541.22/1541.68 c 1537s | 19 | 937780 | 607982 | 178635 4 | 40273 | 348 1543.92/1544.32 c 1539s | 19 | 938138 | 608282 | 178635 4 | 40273 | 348 1546.52/1546.98 c 1542s | 19 | 938512 | 608582 | 178635 4 | 40273 | 348 1549.12/1549.55 c 1545s | 19 | 938819 | 608882 | 178635 4 | 40273 | 348 1551.73/1552.15 c 1547s | 19 | 939182 | 609182 | 178635 4 | 40273 | 348 1554.32/1554.70 c 1550s | 19 | 939492 | 609482 | 178635 4 | 40273 | 348 1556.82/1557.29 c 1552s | 19 | 939749 | 609782 | 178635 4 | 40273 | 348 1559.43/1559.82 c 1555s | 19 | 940100 | 610082 | 178635 4 | 40273 | 348 1562.02/1562.47 c 1557s | 19 | 940433 | 610382 | 178635 4 | 40273 | 348 1564.62/1565.09 c 1560s | 19 | 940783 | 610682 | 178635 4 | 40273 | 348 1567.22/1567.68 c 1563s | 19 | 941108 | 610982 | 178635 4 | 40273 | 348 1569.92/1570.32 c 1565s | 19 | 941434 | 611282 | 178635 4 | 40273 | 348 1572.62/1573.07 c 1568s | 19 | 941767 | 611582 | 178635 4 | 40273 | 348 1575.41/1575.83 c 1571s | 19 | 942078 | 611882 | 178635 4 | 40273 | 348 1578.22/1578.63 c 1574s | 19 | 942389 | 612182 | 178635 4 | 40273 | 348 1581.11/1581.52 c 1577s | 19 | 942647 | 612482 | 178635 4 | 40273 | 348 1583.72/1584.10 c 1579s | 19 | 942998 | 612782 | 178635 4 | 40273 | 348 1586.31/1586.80 c 1582s | 19 | 943356 | 613082 | 178635 4 | 40273 | 348 1589.12/1589.50 c 1585s | 19 | 943720 | 613382 | 178635 4 | 40273 | 348 1591.11/1591.55 c 1587s | 19 | 943896 | 613582 | 178635 4 | 40273 | 348 1593.71/1594.15 c 1589s | 19 | 944221 | 613882 | 178635 4 | 40273 | 348 1596.31/1596.74 c 1592s | 19 | 944584 | 614182 | 178635 4 | 40273 | 348 1599.02/1599.50 c 1595s | 19 | 944935 | 614482 | 178635 4 | 40273 | 348 1601.81/1602.24 c 1597s | 19 | 945243 | 614782 | 178635 4 | 40273 | 348 1604.62/1605.03 c 1600s | 19 | 945554 | 615082 | 178635 4 | 40273 | 348 1606.61/1607.08 c 1602s | 19 | 945764 | 615282 | 178635 4 | 40273 | 348 1609.51/1609.92 c 1605s | 19 | 946139 | 615582 | 178635 4 | 40273 | 348 1611.51/1611.99 c 1607s | 19 | 946372 | 615782 | 178635 4 | 40273 | 348 1613.71/1614.11 c 1609s | 19 | 946550 | 615982 | 178635 4 | 40273 | 348 1616.72/1617.11 c 1612s | 19 | 946883 | 616282 | 178635 4 | 40273 | 348 1619.71/1620.15 c 1615s | 19 | 947195 | 616582 | 178635 4 | 40273 | 348 1621.81/1622.29 c 1617s | 19 | 947475 | 616782 | 178635 4 | 40273 | 348 1623.91/1624.35 c 1619s | 19 | 947636 | 616982 | 178635 4 | 40273 | 348 1627.11/1627.50 c 1623s | 19 | 947945 | 617282 | 178635 4 | 40273 | 348 1629.11/1629.52 c 1625s | 19 | 948184 | 617482 | 178635 4 | 40273 | 348 1631.41/1631.80 c 1627s | 19 | 948405 | 617682 | 178635 4 | 40273 | 348 1633.41/1633.84 c 1629s | 19 | 948586 | 617882 | 178635 4 | 40273 | 348 1635.61/1636.05 c 1631s | 19 | 948833 | 618082 | 178635 4 | 40273 | 348 1637.61/1638.06 c 1633s | 19 | 949037 | 618282 | 178635 4 | 40273 | 348 1639.60/1640.09 c 1635s | 19 | 949272 | 618482 | 178635 4 | 40273 | 348 1641.80/1642.24 c 1637s | 19 | 949450 | 618682 | 178635 4 | 40273 | 348 1644.70/1645.11 c 1640s | 19 | 949784 | 618982 | 178635 4 | 40273 | 348 1647.60/1648.04 c 1643s | 19 | 950095 | 619282 | 178635 4 | 40273 | 348 1649.61/1650.04 c 1645s | 19 | 950374 | 619482 | 178635 4 | 40273 | 348 1651.70/1652.11 c 1647s | 19 | 950534 | 619682 | 178635 4 | 40273 | 348 1654.80/1655.25 c 1650s | 19 | 950843 | 619982 | 178635 4 | 40273 | 348 1656.90/1657.31 c 1652s | 19 | 951082 | 620182 | 178635 4 | 40273 | 348 1659.20/1659.64 c 1655s | 19 | 951303 | 620382 | 178635 4 | 40273 | 348 1661.40/1661.84 c 1657s | 19 | 951481 | 620582 | 178635 4 | 40273 | 348 1663.60/1664.01 c 1659s | 19 | 951742 | 620782 | 178635 4 | 40273 | 348 1666.00/1666.43 c 1661s | 19 | 951904 | 620982 | 178635 4 | 40273 | 348 1668.00/1668.47 c 1663s | 19 | 952126 | 621182 | 178635 4 | 40273 | 348 1670.40/1670.82 c 1666s | 19 | 952364 | 621382 | 178635 4 | 40273 | 348 1672.81/1673.26 c 1668s | 19 | 952512 | 621582 | 178635 4 | 40273 | 348 1675.01/1675.44 c 1670s | 19 | 952751 | 621782 | 178635 4 | 40273 | 348 1677.50/1677.90 c 1673s | 19 | 952973 | 621982 | 178635 4 | 40273 | 348 1679.70/1680.19 c 1675s | 19 | 953158 | 622182 | 178635 4 | 40273 | 348 1682.30/1682.70 c 1678s | 19 | 953435 | 622382 | 178635 4 | 40273 | 348 1684.40/1684.88 c 1680s | 19 | 953613 | 622582 | 178635 4 | 40273 | 348 1686.70/1687.12 c 1682s | 19 | 953860 | 622782 | 178635 4 | 40273 | 348 1689.00/1689.42 c 1684s | 19 | 954064 | 622982 | 178635 4 | 40273 | 348 1691.10/1691.57 c 1687s | 19 | 954297 | 623182 | 178635 4 | 40273 | 348 1693.70/1694.11 c 1689s | 19 | 954503 | 623382 | 178635 4 | 40273 | 348 1696.79/1697.30 c 1692s | 19 | 954854 | 623682 | 178635 4 | 40273 | 348 1699.10/1699.56 c 1695s | 19 | 955114 | 623882 | 178635 4 | 40273 | 348 1701.69/1702.14 c 1697s | 19 | 955288 | 624082 | 178635 4 | 40273 | 348 1703.69/1704.18 c 1699s | 19 | 955537 | 624282 | 178635 4 | 40273 | 348 1706.19/1706.64 c 1702s | 19 | 955772 | 624482 | 178635 4 | 40273 | 348 1708.39/1708.83 c 1704s | 19 | 955934 | 624682 | 178635 4 | 40273 | 348 1710.69/1711.15 c 1706s | 19 | 956190 | 624882 | 178635 4 | 40273 | 348 1712.99/1713.49 c 1709s | 19 | 956366 | 625082 | 178635 4 | 40273 | 348 1715.19/1715.67 c 1711s | 19 | 956641 | 625282 | 178635 4 | 40273 | 348 1717.69/1718.18 c 1713s | 19 | 956874 | 625482 | 178635 4 | 40273 | 348 1719.79/1720.25 c 1715s | 19 | 957051 | 625682 | 178635 4 | 40273 | 348 1722.30/1722.76 c 1718s | 19 | 957311 | 625882 | 178635 4 | 40273 | 348 1724.69/1725.13 c 1720s | 19 | 957458 | 626082 | 178635 4 | 40273 | 348 1726.99/1727.41 c 1722s | 19 | 957695 | 626282 | 178635 4 | 40273 | 348 1729.59/1730.02 c 1725s | 19 | 957897 | 626482 | 178635 4 | 40273 | 348 1731.59/1732.09 c 1727s | 19 | 958134 | 626682 | 178635 4 | 40273 | 348 1734.09/1734.57 c 1730s | 19 | 958371 | 626882 | 178635 4 | 40273 | 348 1736.60/1737.03 c 1732s | 19 | 958518 | 627082 | 178635 4 | 40273 | 348 1738.89/1739.34 c 1734s | 19 | 958755 | 627282 | 178635 4 | 40273 | 348 1741.39/1741.89 c 1737s | 19 | 958977 | 627482 | 178635 4 | 40273 | 348 1743.79/1744.20 c 1739s | 19 | 959189 | 627682 | 178635 4 | 40273 | 348 1746.19/1746.69 c 1742s | 19 | 959464 | 627882 | 178635 4 | 40273 | 348 1748.49/1749.00 c 1744s | 19 | 959637 | 628082 | 178635 4 | 40273 | 348 1750.99/1751.40 c 1746s | 19 | 959873 | 628282 | 178635 4 | 40273 | 348 1753.49/1753.93 c 1749s | 19 | 960076 | 628482 | 178635 4 | 40273 | 348 1755.69/1756.17 c 1751s | 19 | 960309 | 628682 | 178635 4 | 40273 | 348 1758.28/1758.71 c 1754s | 19 | 960546 | 628882 | 178635 4 | 40273 | 348 1760.48/1760.96 c 1756s | 19 | 960694 | 629082 | 178635 4 | 40273 | 348 1762.78/1763.27 c 1758s | 19 | 960970 | 629282 | 178635 4 | 40273 | 348 1765.38/1765.81 c 1761s | 19 | 961131 | 629482 | 178635 4 | 40273 | 348 1767.58/1768.09 c 1763s | 19 | 961369 | 629682 | 178635 4 | 40273 | 348 1770.28/1770.79 c 1766s | 19 | 961607 | 629882 | 178635 4 | 40273 | 348 1772.98/1773.40 c 1768s | 19 | 961755 | 630082 | 178635 4 | 40273 | 348 1775.48/1775.98 c 1771s | 19 | 962006 | 630282 | 178635 4 | 40273 | 348 1778.48/1778.91 c 1774s | 19 | 962191 | 630482 | 178635 4 | 40273 | 348 1780.88/1781.32 c 1776s | 19 | 962413 | 630682 | 178635 4 | 40273 | 348 1783.48/1783.99 c 1779s | 19 | 962650 | 630882 | 178635 4 | 40273 | 348 1786.28/1786.76 c 1782s | 19 | 962814 | 631082 | 178635 4 | 40273 | 348 1788.78/1789.23 c 1784s | 19 | 963035 | 631282 | 178635 4 | 40273 | 348 1791.68/1792.14 c 1787s | 19 | 963273 | 631482 | 178635 4 | 40273 | 348 1794.48/1794.97 c 1790s | 19 | 963422 | 631682 | 178635 4 | 40273 | 348 1797.18/1797.67 c 1793s | 19 | 963678 | 631882 | 178635 4 | 40273 | 348
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-4101057-1466220565/watcher-4101057-1466220565 -o /tmp/evaluation-result-4101057-1466220565/solver-4101057-1466220565 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15196 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101057-1466220565.opb pid=17638 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.31 2.24 2.19 3/179 17641 /proc/meminfo: memFree=27824032/32872528 swapFree=1431120/1543540 [pid=17641] ppid=17638 vsize=677308 CPUtime=0 cores=0,2,4,6 /proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 2517 0 0 0 0 0 0 0 20 0 4 0 24105251 693563392 2877 33554432000 4194304 16246674 140735409716048 140735409715472 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17641/statm: 169839 2886 441 2943 0 166733 0 [pid=17641/tid=17642] ppid=17638 vsize=695740 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 712437760 2948 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17641/tid=17643] ppid=17638 vsize=699836 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 716632064 2967 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17641/tid=17644] ppid=17638 vsize=703932 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24105252 720826368 2982 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100171 s] /proc/loadavg: 2.31 2.24 2.19 3/179 17641 /proc/meminfo: memFree=27824032/32872528 swapFree=1431120/1543540 [pid=17641] ppid=17638 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 27565 0 0 0 5 4 0 0 20 0 4 0 24105251 1333334016 27864 33554432000 4194304 16246674 140735409716048 140735409715360 7889646 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17641/statm: 325521 27879 800 2943 0 322415 0 [pid=17641/tid=17642] ppid=17638 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1333334016 27889 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17641/tid=17643] ppid=17638 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1333334016 27901 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17641/tid=17644] ppid=17638 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1333334016 27911 33554432000 4194304 16246674 140735409716048 139883622419632 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) 1302084 [startup+0.200519 s] /proc/loadavg: 2.31 2.24 2.19 3/179 17641 /proc/meminfo: memFree=27824032/32872528 swapFree=1431120/1543540 [pid=17641] ppid=17638 vsize=1312324 CPUtime=0.19 cores=0,2,4,6 /proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 45455 0 0 0 13 6 0 0 20 0 4 0 24105251 1343819776 46264 33554432000 4194304 16246674 140735409716048 140735409699040 12752370 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17641/statm: 328081 46264 801 2943 0 324975 0 [pid=17641/tid=17642] ppid=17638 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1343819776 46264 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17641/tid=17643] ppid=17638 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1343819776 46264 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17641/tid=17644] ppid=17638 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1343819776 46264 33554432000 4194304 16246674 140735409716048 139883622419632 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) 1312324 [startup+0.30048 s] /proc/loadavg: 2.31 2.24 2.19 3/179 17641 /proc/meminfo: memFree=27824032/32872528 swapFree=1431120/1543540 [pid=17641] ppid=17638 vsize=1312324 CPUtime=0.29 cores=0,2,4,6 /proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 55668 0 0 0 22 7 0 0 20 0 4 0 24105251 1343819776 56477 33554432000 4194304 16246674 140735409716048 140735409699040 4207600 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17641/statm: 328081 56477 801 2943 0 324975 0 [pid=17641/tid=17642] ppid=17638 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1343819776 56477 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17641/tid=17643] ppid=17638 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1343819776 56477 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17641/tid=17644] ppid=17638 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1343819776 56477 33554432000 4194304 16246674 140735409716048 139883622419632 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) 1312324 [startup+0.700374 s] /proc/loadavg: 2.31 2.24 2.19 3/179 17641 /proc/meminfo: memFree=27824032/32872528 swapFree=1431120/1543540 [pid=17641] ppid=17638 vsize=1312324 CPUtime=0.69 cores=0,2,4,6 /proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 62035 0 0 0 61 8 0 0 20 0 4 0 24105251 1343819776 62844 33554432000 4194304 16246674 140735409716048 140735409699040 8055408 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17641/statm: 328081 62844 802 2943 0 324975 0 [pid=17641/tid=17642] ppid=17638 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1343819776 62844 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17641/tid=17643] ppid=17638 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1343819776 62844 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17641/tid=17644] ppid=17638 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1343819776 62844 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1312324 [startup+1.50039 s] /proc/loadavg: 2.37 2.25 2.20 3/183 17645 /proc/meminfo: memFree=27492056/32872528 swapFree=1431120/1543540 [pid=17641] ppid=17638 vsize=1346116 CPUtime=1.49 cores=0,2,4,6 /proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 181930 0 0 0 125 24 0 0 20 0 4 0 24105251 1378422784 182740 33554432000 4194304 16246674 140735409716048 140735409697920 12429797 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17641/statm: 336529 182745 833 2943 0 333423 0 [pid=17641/tid=17642] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 182748 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17641/tid=17643] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 182752 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17641/tid=17644] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 182756 33554432000 4194304 16246674 140735409716048 139883622419632 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) 1346116 [startup+3.1004 s] /proc/loadavg: 2.37 2.25 2.20 3/183 17645 /proc/meminfo: memFree=26712360/32872528 swapFree=1431120/1543540 [pid=17641] ppid=17638 vsize=1346116 CPUtime=3.09 cores=0,2,4,6 /proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 277153 0 0 0 273 36 0 0 20 0 4 0 24105251 1378422784 277962 33554432000 4194304 16246674 140735409716048 140735409697920 13769556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17641/statm: 336529 277962 837 2943 0 333423 0 [pid=17641/tid=17642] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 277962 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17641/tid=17643] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 277962 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17641/tid=17644] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 277962 33554432000 4194304 16246674 140735409716048 139883622419632 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) 1346116 [startup+6.30039 s] /proc/loadavg: 2.37 2.25 2.20 3/183 17645 /proc/meminfo: memFree=26712608/32872528 swapFree=1431120/1543540 [pid=17641] ppid=17638 vsize=1346116 CPUtime=6.29 cores=0,2,4,6 /proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 277207 0 0 0 593 36 0 0 20 0 4 0 24105251 1378422784 278016 33554432000 4194304 16246674 140735409716048 140735409697920 5600856 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17641/statm: 336529 278016 891 2943 0 333423 0 [pid=17641/tid=17642] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278016 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17641/tid=17643] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278016 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17641/tid=17644] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278016 33554432000 4194304 16246674 140735409716048 139883622419632 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) 1346116 [startup+12.7004 s] /proc/loadavg: 2.39 2.26 2.20 3/183 17645 /proc/meminfo: memFree=26711892/32872528 swapFree=1431120/1543540 [pid=17641] ppid=17638 vsize=1346116 CPUtime=12.69 cores=0,2,4,6 /proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 277215 0 0 0 1233 36 0 0 20 0 4 0 24105251 1378422784 278024 33554432000 4194304 16246674 140735409716048 140735409697920 5711980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17641/statm: 336529 278024 899 2943 0 333423 0 [pid=17641/tid=17642] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17641/tid=17643] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17641/tid=17644] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1346116 [startup+25.5005 s] /proc/loadavg: 2.33 2.25 2.20 4/183 17645 /proc/meminfo: memFree=26712252/32872528 swapFree=1431120/1543540 [pid=17641] ppid=17638 vsize=1346116 CPUtime=25.49 cores=0,2,4,6 /proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 277215 0 0 0 2513 36 0 0 20 0 4 0 24105251 1378422784 278024 33554432000 4194304 16246674 140735409716048 140735409697920 5600380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17641/statm: 336529 278024 899 2943 0 333423 0 [pid=17641/tid=17642] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17641/tid=17643] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17641/tid=17644] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1346116 [startup+51.1005 s] /proc/loadavg: 2.27 2.25 2.19 3/184 17648 /proc/meminfo: memFree=26712660/32872528 swapFree=1431120/1543540 [pid=17641] ppid=17638 vsize=1346116 CPUtime=51.08 cores=0,2,4,6 /proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 277215 0 0 0 5072 36 0 0 20 0 4 0 24105251 1378422784 278024 33554432000 4194304 16246674 140735409716048 140735409699048 13760120 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17641/statm: 336529 278024 899 2943 0 333423 0 [pid=17641/tid=17642] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17641/tid=17643] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17641/tid=17644] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883622419632 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) 1346116 [startup+102.3 s] /proc/loadavg: 2.21 2.23 2.19 3/183 17649 /proc/meminfo: memFree=26712116/32872528 swapFree=1431120/1543540 [pid=17641] ppid=17638 vsize=1346116 CPUtime=102.28 cores=0,2,4,6 /proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 277215 0 0 0 10192 36 0 0 20 0 4 0 24105251 1378422784 278024 33554432000 4194304 16246674 140735409716048 140735409697920 13759557 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17641/statm: 336529 278024 899 2943 0 333423 0 [pid=17641/tid=17642] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17641/tid=17643] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17641/tid=17644] ppid=17638 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1378422784 278024 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1346116 ################ # More data... # ################ /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1779268 [startup+1362.3 s] /proc/loadavg: 2.22 2.24 2.19 3/183 17729 /proc/meminfo: memFree=27693292/32872528 swapFree=1431120/1543540 [pid=17641] ppid=17638 vsize=1779268 CPUtime=1361.94 cores=0,2,4,6 /proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 385771 0 0 0 136135 59 0 0 20 0 4 0 24105251 1821970432 386318 33554432000 4194304 16246674 140735409716048 140735409697920 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17641/statm: 444817 386318 902 2943 0 441711 0 [pid=17641/tid=17642] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17641/tid=17643] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17641/tid=17644] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1779268 [startup+1422.3 s] /proc/loadavg: 2.16 2.22 2.18 3/183 17731 /proc/meminfo: memFree=27693460/32872528 swapFree=1431120/1543540 [pid=17641] ppid=17638 vsize=1779268 CPUtime=1421.94 cores=0,2,4,6 /proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 385771 0 0 0 142135 59 0 0 20 0 4 0 24105251 1821970432 386318 33554432000 4194304 16246674 140735409716048 140735409697920 5673240 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17641/statm: 444817 386318 902 2943 0 441711 0 [pid=17641/tid=17642] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17641/tid=17643] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17641/tid=17644] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1779268 [startup+1482.3 s] /proc/loadavg: 2.15 2.21 2.18 3/183 17732 /proc/meminfo: memFree=27693236/32872528 swapFree=1431120/1543540 [pid=17641] ppid=17638 vsize=1779268 CPUtime=1481.93 cores=0,2,4,6 /proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 385771 0 0 0 148133 60 0 0 20 0 4 0 24105251 1821970432 386318 33554432000 4194304 16246674 140735409716048 140735409697920 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17641/statm: 444817 386318 902 2943 0 441711 0 [pid=17641/tid=17642] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17641/tid=17643] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17641/tid=17644] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1779268 [startup+1542.31 s] /proc/loadavg: 2.15 2.20 2.18 3/183 17733 /proc/meminfo: memFree=27693392/32872528 swapFree=1431120/1543540 [pid=17641] ppid=17638 vsize=1779268 CPUtime=1541.93 cores=0,2,4,6 /proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 385771 0 0 0 154133 60 0 0 20 0 4 0 24105251 1821970432 386318 33554432000 4194304 16246674 140735409716048 140735409697920 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17641/statm: 444817 386318 902 2943 0 441711 0 [pid=17641/tid=17642] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17641/tid=17643] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17641/tid=17644] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 1779268 [startup+1602.3 s] /proc/loadavg: 2.13 2.19 2.17 3/183 17734 /proc/meminfo: memFree=27693288/32872528 swapFree=1431120/1543540 [pid=17641] ppid=17638 vsize=1779268 CPUtime=1601.91 cores=0,2,4,6 /proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 385771 0 0 0 160131 60 0 0 20 0 4 0 24105251 1821970432 386318 33554432000 4194304 16246674 140735409716048 140735409697920 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17641/statm: 444817 386318 902 2943 0 441711 0 [pid=17641/tid=17642] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17641/tid=17643] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17641/tid=17644] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 1779268 [startup+1662.3 s] /proc/loadavg: 2.28 2.22 2.19 3/183 17735 /proc/meminfo: memFree=27693016/32872528 swapFree=1431120/1543540 [pid=17641] ppid=17638 vsize=1779268 CPUtime=1661.9 cores=0,2,4,6 /proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 385771 0 0 0 166130 60 0 0 20 0 4 0 24105251 1821970432 386318 33554432000 4194304 16246674 140735409716048 140735409697920 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17641/statm: 444817 386318 902 2943 0 441711 0 [pid=17641/tid=17642] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17641/tid=17643] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17641/tid=17644] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 1779268 [startup+1722.3 s] /proc/loadavg: 2.20 2.21 2.18 3/183 17737 /proc/meminfo: memFree=27692980/32872528 swapFree=1431120/1543540 [pid=17641] ppid=17638 vsize=1779268 CPUtime=1721.89 cores=0,2,4,6 /proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 385771 0 0 0 172129 60 0 0 20 0 4 0 24105251 1821970432 386318 33554432000 4194304 16246674 140735409716048 140735409697920 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17641/statm: 444817 386318 902 2943 0 441711 0 [pid=17641/tid=17642] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17641/tid=17643] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17641/tid=17644] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 1779268 [startup+1782.3 s] /proc/loadavg: 2.23 2.22 2.18 3/183 17738 /proc/meminfo: memFree=27692664/32872528 swapFree=1431120/1543540 [pid=17641] ppid=17638 vsize=1779268 CPUtime=1781.88 cores=0,2,4,6 /proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 385771 0 0 0 178128 60 0 0 20 0 4 0 24105251 1821970432 386318 33554432000 4194304 16246674 140735409716048 140735409697920 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17641/statm: 444817 386318 902 2943 0 441711 0 [pid=17641/tid=17642] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17641/tid=17643] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17641/tid=17644] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 1779268 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.25 2.22 2.18 4/183 17738 /proc/meminfo: memFree=27692384/32872528 swapFree=1431120/1543540 [pid=17641] ppid=17638 vsize=1779268 CPUtime=1800.08 cores=0,2,4,6 /proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 385771 0 0 0 179948 60 0 0 20 0 4 0 24105251 1821970432 386318 33554432000 4194304 16246674 140735409716048 140735409697920 5673657 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17641/statm: 444817 386318 902 2943 0 441711 0 [pid=17641/tid=17642] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17641/tid=17643] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17641/tid=17644] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1779268 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 17641 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.25 2.22 2.18 4/183 17738 /proc/meminfo: memFree=27692384/32872528 swapFree=1431120/1543540 [pid=17641] ppid=17638 vsize=1779268 CPUtime=1800.08 cores=0,2,4,6 /proc/17641/stat : 17641 (toysat) R 17638 17641 15180 0 -1 4202496 385771 0 0 0 179948 60 0 0 20 0 4 0 24105251 1821970432 386318 33554432000 4194304 16246674 140735409716048 140735409697920 5673657 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17641/statm: 444817 386318 902 2943 0 441711 0 [pid=17641/tid=17642] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17642/stat : 17642 (toysat) S 17638 17641 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883643383024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17641/tid=17643] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17643/stat : 17643 (toysat) S 17638 17641 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883632893168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17641/tid=17644] ppid=17638 vsize=1779268 CPUtime=0 cores=0,2,4,6 /proc/17641/task/17644/stat : 17644 (toysat) S 17638 17641 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24105252 1821970432 386318 33554432000 4194304 16246674 140735409716048 139883622419632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1779268 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.09 CPU user time (s): 1799.49 CPU system time (s): 0.605907 CPU usage (%): 99.9768 Max. virtual memory (cumulated for all children) (KiB): 1779268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.49 system time used= 0.605907 maximum resident set size= 1545272 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 385771 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= 421 involuntary context switches= 1958 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.77327 second user time and 6.73797 second system time The end
Begin job on node116 at 2016-06-18 05:29:25 IDJOB=4101057 IDBENCH=1695 IDSOLVER=2542 FILE ID=node116/4101057-1466220565 RUNJOBID= node116-1466206094-15196 PBS_JOBID= 19918160 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-cycle.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101057-1466220565/watcher-4101057-1466220565 -o /tmp/evaluation-result-4101057-1466220565/solver-4101057-1466220565 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15196 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101057-1466220565.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 761eaefb829e7d3bf060fd5b86600997 RANDOM SEED=440952263 node116.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.781 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.56 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.781 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.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 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.781 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.54 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.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27824560 kB Buffers: 112140 kB Cached: 149048 kB SwapCached: 2160 kB Active: 2618896 kB Inactive: 143396 kB Active(anon): 2501508 kB Inactive(anon): 1544 kB Active(file): 117388 kB Inactive(file): 141852 kB Unevictable: 1543540 kB Mlocked: 1431120 kB SwapTotal: 67108856 kB SwapFree: 67099604 kB Dirty: 21368 kB Writeback: 0 kB AnonPages: 4041116 kB Mapped: 10864 kB Shmem: 0 kB Slab: 604116 kB SReclaimable: 48316 kB SUnreclaim: 555800 kB KernelStack: 1528 kB PageTables: 11896 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4183496 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1269760 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= 71688 MiB End job on node116 at 2016-06-18 05:59:26