| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-grow7.opb |
| MD5SUM | 8d33b9e58f24eb64e3fc155c85c275f1 |
| 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 | 0 |
| Optimality of the best value was proved | NO |
| Number of variables | 7994 |
| Total number of constraints | 420 |
| 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 | 420 |
| Minimum length of a constraint | 22 |
| Maximum length of a constraint | 491 |
| Number of terms in the objective function | 623 |
| Biggest coefficient in the objective function | 28673 |
| Number of bits for the biggest coefficient in the objective function | 15 |
| Sum of the numbers in the objective function | 524874 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 256781 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 524874 |
| 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:59:32+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-4101249-1466222371.opb"] 0.00/0.01 c use --random-gen="1171842561 812020643 3154858307 3715294158 2505072191 2431372122 3210989232 2811033134 2242487553 67047605 408331479 1262811926 2020212598 2017593482 2218450311 2826632857 1018767740 613084348 1992314162 1504517134 3893587961 669422246 1142808184 92864968 1056249537 3831943357 2063716044 697756894 1346192472 2158950151 2759005890 3191730546 2663468291 3453878148 2642736757 1367106394 4143834959 1164177812 4197519987 758375143 4045743636 2383953182 3494899855 2379882277 723462101 918880961 3704664535 3366953045 1747118877 2852677279 1159218208 1953617905 3242327531 1211474426 4052749375 1788314852 2596925961 2017195469 2165991446 3905731203 651786326 1718662146 138630102 40873941 673504505 1348533257 1445367304 59243789 226441022 380379685 1822692820 2244641036 765423377 521716914 37528441 3409845054 681958913 524989954 1232648544 3656728589 2939503866 1710268423 892477267 2597692870 3056951423 1940068776 1311822591 3337637356 259988749 15583701 1737511225 812568827 487310602 3650912934 3303536979 301104764 2009858709 2817322182 3243311287 130982888 235701079 1977357029 553976378 2785899189 1143277251 736017547 1035402206 926606459 3092788408 3959671575 4292323220 1846521907 3621736007 2016092263 2297073123 3844672686 162384990 1549655659 3081175957 2178900863 1601320189 3372708509 1569337746 775049281 1777727369 1122777109 3507072423 3094450533 2441724456 3314901421 1569840474 1516636946 4252395485 3357966055 2493301148 4250510482 290684862 2671095790 336984432 4032970174 1800122302 2749521098 1835089635 1505155742 3588137392 2277238319 3790970363 3897158429 159676589 1655460479 3848367126 3243720664 1518610770 1201035257 84806382 2852886371 1521834312 3323016348 1467216488 3936013854 4058893691 3125846362 1439252080 2675097355 3285277282 300615119 867976038 216750022 1718927481 3699356289 2643928320 2967488525 1384655019 39102313 2334256461 3515944563 2821903009 1247321930 2874331077 1811014881 2948954177 1682230410 3290014701 2847179814 3234532760 3035533439 3983353719 3090912106 2177500556 4025958006 2026731257 1486673804 2559534193 581358203 1386924443 3955945052 1265522192 2678939062 1371494648 565884486 658784084 3180995086 3854762582 231748564 86876455 2646838091 2717263659 398540152 2432610575 3263946569 2112784736 1883359949 1599636837 2257796763 3458990459 1733305277 2774066648 1859694061 2360502425 2065510776 3077094432 185489088 983864819 43761257 1870826582 3499380967 2705378146 1662682437 4085800638 125449315 729349244 1407056866 1157931723 1366296625 1621302211 1163312186 933998592 2781831730 1636413545 2971776607 232804621 2194480476 787240629 1732144739 118794526 2541862440 2258769582 3868421940 3221934929 1468966721 271409200 1543600344 2941464134 2607242091 2087552225 2738324306 255 362436" option to reproduce the execution 0.09/0.12 c #vars 7994 0.09/0.12 c #constraints 420 12.19/12.24 c BCD2: Hardening is enabled. 12.19/12.24 c BCD2: BiasedSearch is enabled. 12.19/12.24 c Solving starts ... 12.19/12.24 c ============================[ Search Statistics ]============================ 12.19/12.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 12.19/12.24 c | | | | Limit GC | Var | Constra 12.19/12.24 c ============================================================================= 12.19/12.24 c 0.0s | 0 | 0 | 0 | 2851 0 | 0 | 0 12.29/12.31 c 0.1s | 1 | 1627 | 100 | 2851 0 | 1 | 1 12.48/12.50 c 0.3s | 2 | 2025 | 250 | 3137 0 | 1 | 1 13.08/13.17 c 0.9s | 3 | 3627 | 475 | 3451 0 | 1 | 1 13.78/13.83 c 1.6s | 4 | 5938 | 813 | 3797 0 | 4 | 4 14.28/14.31 c 2.1s | 5 | 10928 | 1320 | 4177 0 | 12 | 12 15.59/15.66 c 3.4s | 6 | 12364 | 2081 | 5055 0 | 13 | 13 17.28/17.30 c 5.1s | 7 | 13678 | 3223 | 5561 0 | 13 | 13 18.89/18.97 c 6.7s | 8 | 17808 | 4936 | 6118 0 | 14 | 14 20.88/20.92 c 8.7s | 9 | 20467 | 7506 | 6730 1 | 14 | 14 22.88/22.97 c 10.7s | 9 | 23250 | 10206 | 6730 2 | 14 | 14 23.78/23.82 c 11.6s | 10 | 24408 | 11361 | 7404 2 | 14 | 14 25.78/25.89 c 13.6s | 10 | 26695 | 13561 | 7404 2 | 14 | 14 27.88/27.97 c 15.7s | 10 | 28729 | 15261 | 7404 3 | 14 | 14 29.98/30.08 c 17.8s | 10 | 30338 | 16861 | 7404 3 | 14 | 14 30.38/30.47 c 18.2s | 11 | 30624 | 17144 | 8145 3 | 14 | 14 32.48/32.50 c 20.3s | 11 | 32529 | 18544 | 8145 3 | 14 | 14 34.48/34.53 c 22.3s | 11 | 33951 | 19944 | 8145 4 | 14 | 14 36.49/36.56 c 24.3s | 11 | 35261 | 21244 | 8145 4 | 14 | 14 38.59/38.68 c 26.4s | 11 | 36562 | 22544 | 8145 4 | 14 | 14 40.68/40.80 c 28.6s | 11 | 37870 | 23844 | 8145 4 | 14 | 14 42.88/42.94 c 30.7s | 11 | 39079 | 25044 | 8145 5 | 14 | 14 44.28/44.30 c 32.1s | 12 | 39852 | 25819 | 8960 5 | 14 | 14 46.29/46.37 c 34.1s | 12 | 45738 | 27219 | 8960 5 | 15 | 15 48.38/48.41 c 36.2s | 12 | 47195 | 28319 | 8960 5 | 15 | 15 50.48/50.54 c 38.3s | 12 | 48823 | 29619 | 8960 6 | 15 | 15 52.58/52.63 c 40.4s | 12 | 50195 | 30719 | 8960 6 | 15 | 15 54.78/54.83 c 42.6s | 12 | 51528 | 31819 | 8960 6 | 15 | 15 56.88/56.99 c 44.8s | 12 | 52740 | 32819 | 8960 6 | 15 | 15 59.08/59.17 c 46.9s | 12 | 54037 | 33819 | 8960 6 | 15 | 15 61.28/61.33 c 49.1s | 12 | 55228 | 34819 | 8960 7 | 15 | 15 63.38/63.48 c 51.2s | 12 | 56735 | 35919 | 8960 7 | 15 | 15 65.58/65.63 c 53.4s | 12 | 58197 | 37119 | 8960 7 | 15 | 15 67.78/67.89 c 55.7s | 12 | 59419 | 38119 | 8960 7 | 15 | 15 69.58/69.64 c 57.4s | 13 | 60241 | 38832 | 9856 7 | 15 | 15 71.69/71.78 c 59.5s | 13 | 62225 | 40032 | 9856 7 | 15 | 15 73.78/73.82 c 61.6s | 13 | 63913 | 41232 | 9856 8 | 15 | 15 75.88/75.91 c 63.7s | 13 | 66477 | 42632 | 9856 8 | 15 | 15 78.08/78.10 c 65.9s | 13 | 67500 | 43632 | 9856 8 | 15 | 15 80.07/80.19 c 68.0s | 13 | 68680 | 44732 | 9856 8 | 15 | 15 82.27/82.30 c 70.1s | 13 | 69762 | 45732 | 9856 8 | 15 | 15 84.37/84.40 c 72.2s | 13 | 74425 | 46432 | 9856 9 | 16 | 16 86.37/86.46 c 74.2s | 13 | 75133 | 47132 | 9856 9 | 16 | 16 88.47/88.54 c 76.3s | 13 | 75835 | 47832 | 9856 9 | 16 | 16 90.57/90.67 c 78.4s | 13 | 76536 | 48532 | 9856 9 | 16 | 16 92.77/92.82 c 80.6s | 13 | 77241 | 49232 | 9856 9 | 16 | 16 94.78/94.87 c 82.6s | 13 | 80633 | 50532 | 9856 9 | 16 | 16 96.88/96.99 c 84.7s | 13 | 82146 | 51832 | 9856 10 | 16 | 16 98.87/98.99 c 86.8s | 13 | 83599 | 53132 | 9856 10 | 16 | 16 101.06/101.14 c 88.9s | 13 | 85253 | 54532 | 9856 10 | 16 | 16 103.16/103.26 c 91.0s | 13 | 86716 | 55832 | 9856 10 | 16 | 16 105.26/105.34 c 93.1s | 13 | 87915 | 56932 | 9856 11 | 16 | 16 107.36/107.44 c 95.2s | 13 | 89241 | 58132 | 10842 11 | 16 | 16 107.87/107.91 c 95.7s | 14 | 89488 | 58352 | 10842 11 | 16 | 16 109.86/109.91 c 97.7s | 14 | 91015 | 59652 | 10842 11 | 16 | 16 111.96/112.04 c 99.8s | 14 | 92663 | 61152 | 10842 11 | 16 | 16 114.16/114.20 c 101s | 14 | 94175 | 62552 | 10842 12 | 16 | 16 116.16/116.25 c 104s | 14 | 95903 | 64152 | 10842 12 | 16 | 16 118.26/118.35 c 106s | 14 | 97536 | 65652 | 10842 12 | 16 | 16 120.36/120.42 c 108s | 14 | 99134 | 67052 | 10842 12 | 16 | 16 122.46/122.50 c 110s | 14 | 101075 | 68852 | 10842 13 | 16 | 16 124.46/124.51 c 112s | 14 | 103619 | 71152 | 10842 13 | 16 | 16 126.46/126.59 c 114s | 14 | 105883 | 73252 | 10842 13 | 16 | 16 128.55/128.62 c 116s | 14 | 107903 | 75152 | 10842 14 | 16 | 16 130.55/130.69 c 118s | 14 | 110078 | 77152 | 10842 14 | 16 | 16 132.75/132.80 c 120s | 14 | 111879 | 78852 | 10842 14 | 16 | 16 134.75/134.85 c 122s | 14 | 113809 | 80652 | 10842 15 | 16 | 16 136.75/136.88 c 124s | 14 | 115790 | 82452 | 10842 15 | 16 | 16 138.85/138.93 c 126s | 14 | 117794 | 84252 | 10842 15 | 16 | 16 140.86/140.97 c 128s | 14 | 119647 | 85952 | 10842 16 | 16 | 16 142.75/142.87 c 130s | 15 | 121540 | 87632 | 11927 16 | 16 | 16 144.95/145.01 c 132s | 15 | 125782 | 89032 | 11927 16 | 17 | 17 146.95/147.04 c 134s | 15 | 127235 | 90432 | 11927 16 | 17 | 17 149.14/149.25 c 137s | 15 | 128719 | 91832 | 11927 17 | 17 | 17 151.24/151.32 c 139s | 15 | 130174 | 93232 | 11927 17 | 17 | 17 153.24/153.39 c 141s | 15 | 133219 | 94732 | 11927 17 | 17 | 17 155.45/155.56 c 143s | 15 | 140472 | 96832 | 11927 17 | 18 | 18 157.45/157.57 c 145s | 15 | 142941 | 97832 | 11927 17 | 18 | 18 159.65/159.77 c 147s | 15 | 145719 | 99032 | 11927 18 | 18 | 18 161.64/161.80 c 149s | 15 | 147900 | 100532 | 11927 18 | 18 | 18 163.74/163.84 c 151s | 15 | 148799 | 101432 | 11927 18 | 18 | 18 165.84/165.93 c 153s | 15 | 149710 | 102332 | 11927 18 | 18 | 18 167.94/168.06 c 155s | 15 | 150608 | 103232 | 11927 18 | 18 | 18 170.14/170.24 c 158s | 15 | 151515 | 104132 | 11927 18 | 18 | 18 172.34/172.46 c 160s | 15 | 152422 | 105032 | 11927 18 | 18 | 18 174.44/174.57 c 162s | 15 | 153222 | 105832 | 11927 19 | 18 | 18 176.74/176.80 c 164s | 15 | 154125 | 106732 | 11927 19 | 18 | 18 178.94/179.04 c 166s | 15 | 155032 | 107632 | 11927 19 | 18 | 18 181.04/181.10 c 168s | 15 | 155840 | 108432 | 11927 19 | 18 | 18 183.14/183.23 c 170s | 15 | 156644 | 109232 | 11927 19 | 18 | 18 185.34/185.40 c 173s | 15 | 157449 | 110032 | 11927 19 | 18 | 18 187.43/187.54 c 175s | 15 | 158151 | 110732 | 11927 19 | 18 | 18 189.63/189.70 c 177s | 15 | 158952 | 111532 | 11927 19 | 18 | 18 191.83/191.92 c 179s | 15 | 159659 | 112232 | 11927 20 | 18 | 18 193.93/194.06 c 181s | 15 | 160457 | 113032 | 11927 20 | 18 | 18 196.13/196.21 c 183s | 15 | 161722 | 114132 | 11927 20 | 18 | 18 198.13/198.23 c 185s | 15 | 163037 | 115432 | 11927 20 | 18 | 18 200.12/200.25 c 188s | 15 | 164278 | 116632 | 11927 20 | 18 | 18 202.12/202.26 c 190s | 15 | 165689 | 118032 | 11927 20 | 18 | 18 204.22/204.34 c 192s | 15 | 166893 | 119232 | 11927 21 | 18 | 18 206.32/206.42 c 194s | 15 | 168212 | 120532 | 11927 21 | 18 | 18 208.42/208.51 c 196s | 15 | 169516 | 121832 | 11927 21 | 18 | 18 210.52/210.67 c 198s | 15 | 170929 | 123232 | 11927 21 | 18 | 18 212.62/212.79 c 200s | 15 | 172348 | 124632 | 11927 21 | 18 | 18 214.82/214.95 c 202s | 15 | 173561 | 125832 | 11927 22 | 18 | 18 216.92/217.06 c 204s | 15 | 174772 | 127032 | 11927 22 | 18 | 18 219.02/219.16 c 206s | 15 | 175891 | 128132 | 11927 22 | 18 | 18 221.22/221.36 c 209s | 15 | 177112 | 129332 | 11927 22 | 18 | 18 223.32/223.43 c 211s | 15 | 178216 | 130432 | 11927 22 | 18 | 18 225.31/225.43 c 213s | 15 | 179332 | 131532 | 13120 22 | 18 | 18 225.31/225.48 c 213s | 16 | 179356 | 131552 | 13120 22 | 18 | 18 227.41/227.52 c 215s | 16 | 189888 | 134052 | 13120 23 | 22 | 22 229.41/229.58 c 217s | 16 | 194582 | 137352 | 13120 23 | 22 | 22 231.51/231.62 c 219s | 16 | 198232 | 140052 | 13120 24 | 22 | 22 233.51/233.67 c 221s | 16 | 201845 | 142652 | 13120 24 | 22 | 22 235.61/235.76 c 223s | 16 | 204873 | 145052 | 13120 24 | 22 | 22 237.72/237.83 c 225s | 16 | 207959 | 147452 | 13120 25 | 22 | 22 239.81/239.95 c 227s | 16 | 211379 | 149952 | 13120 25 | 22 | 22 241.91/242.02 c 229s | 16 | 214260 | 152152 | 13120 26 | 22 | 22 243.91/244.02 c 231s | 16 | 217824 | 154752 | 13120 26 | 22 | 22 246.01/246.11 c 233s | 16 | 221254 | 157252 | 13120 26 | 22 | 22 248.00/248.13 c 235s | 16 | 224057 | 159452 | 13120 27 | 22 | 22 250.50/250.64 c 238s | 16 | 227184 | 161852 | 13120 27 | 22 | 22 252.50/252.65 c 240s | 16 | 229899 | 163952 | 13120 27 | 22 | 22 254.60/254.74 c 242s | 16 | 232707 | 166052 | 13120 28 | 22 | 22 256.70/256.80 c 244s | 16 | 235497 | 168052 | 13120 28 | 22 | 22 258.69/258.86 c 246s | 16 | 237556 | 169752 | 13120 28 | 22 | 22 260.80/260.93 c 248s | 16 | 239177 | 171152 | 13120 28 | 22 | 22 262.79/262.96 c 250s | 16 | 240951 | 172652 | 13120 29 | 22 | 22 264.79/264.98 c 252s | 16 | 242946 | 174452 | 13120 29 | 22 | 22 266.89/267.03 c 254s | 16 | 245844 | 176752 | 13120 29 | 22 | 22 268.99/269.11 c 256s | 16 | 248845 | 179152 | 13120 30 | 22 | 22 270.98/271.16 c 258s | 16 | 251835 | 181552 | 13120 30 | 22 | 22 273.08/273.23 c 260s | 16 | 254576 | 183752 | 13120 30 | 22 | 22 275.18/275.36 c 263s | 16 | 257012 | 185652 | 13120 31 | 22 | 22 277.29/277.43 c 265s | 16 | 260123 | 188152 | 13120 31 | 22 | 22 279.39/279.51 c 267s | 16 | 262724 | 190252 | 13120 31 | 22 | 22 281.38/281.58 c 269s | 16 | 266518 | 191952 | 13120 32 | 22 | 22 283.38/283.58 c 271s | 16 | 269278 | 193452 | 13120 32 | 22 | 22 285.48/285.60 c 273s | 16 | 271167 | 194952 | 13120 32 | 22 | 22 287.48/287.60 c 275s | 16 | 273840 | 197052 | 14433 32 | 22 | 22 287.77/287.96 c 275s | 17 | 274273 | 197432 | 14433 32 | 22 | 22 289.77/289.97 c 277s | 17 | 277389 | 198932 | 14433 32 | 23 | 23 291.97/292.12 c 279s | 17 | 279723 | 200432 | 14433 32 | 23 | 23 294.07/294.22 c 281s | 17 | 282492 | 201732 | 14433 33 | 23 | 23 296.07/296.28 c 284s | 17 | 286041 | 203032 | 14433 33 | 23 | 23 298.18/298.31 c 286s | 17 | 289151 | 204332 | 14433 33 | 23 | 23 300.28/300.49 c 288s | 17 | 292900 | 205632 | 14433 33 | 23 | 23 302.37/302.59 c 290s | 17 | 296008 | 206932 | 14433 33 | 23 | 23 304.68/304.84 c 292s | 17 | 299594 | 208132 | 14433 34 | 23 | 23 306.77/307.00 c 294s | 17 | 301494 | 209432 | 14433 34 | 23 | 23 308.87/309.03 c 296s | 17 | 304032 | 210732 | 14433 34 | 23 | 23 310.96/311.18 c 298s | 17 | 306318 | 212032 | 14433 34 | 23 | 23 313.06/313.25 c 301s | 17 | 308054 | 213132 | 14433 34 | 23 | 23 315.16/315.30 c 303s | 17 | 309515 | 214232 | 14433 34 | 23 | 23 317.26/317.44 c 305s | 17 | 311534 | 215432 | 14433 34 | 23 | 23 319.46/319.62 c 307s | 17 | 313172 | 216532 | 14433 35 | 23 | 23 321.56/321.73 c 309s | 17 | 314705 | 217632 | 14433 35 | 23 | 23 323.66/323.83 c 311s | 17 | 316036 | 218932 | 14433 35 | 23 | 23 325.76/325.93 c 313s | 17 | 317361 | 220232 | 14433 35 | 23 | 23 327.87/328.06 c 315s | 17 | 318681 | 221532 | 14433 35 | 23 | 23 329.96/330.19 c 317s | 17 | 320251 | 222932 | 14433 35 | 23 | 23 332.16/332.35 c 320s | 17 | 321558 | 224032 | 14433 36 | 23 | 23 334.16/334.36 c 322s | 17 | 322566 | 225032 | 14433 36 | 23 | 23 336.16/336.36 c 324s | 17 | 323912 | 226032 | 14433 36 | 23 | 23 338.35/338.57 c 326s | 17 | 325160 | 227032 | 14433 36 | 23 | 23 340.55/340.76 c 328s | 17 | 326322 | 228132 | 14433 36 | 23 | 23 342.65/342.85 c 330s | 17 | 327221 | 229032 | 14433 36 | 23 | 23 344.75/344.99 c 332s | 17 | 328345 | 230132 | 14433 36 | 23 | 23 346.85/347.04 c 334s | 17 | 329246 | 231032 | 14433 36 | 23 | 23 348.95/349.19 c 336s | 17 | 330053 | 231832 | 14433 37 | 23 | 23 351.15/351.32 c 339s | 17 | 331066 | 232832 | 14433 37 | 23 | 23 353.16/353.33 c 341s | 17 | 331963 | 233732 | 14433 37 | 23 | 23 355.27/355.46 c 343s | 17 | 332932 | 234632 | 14433 37 | 23 | 23 357.36/357.60 c 345s | 17 | 333835 | 235532 | 14433 37 | 23 | 23 359.45/359.63 c 347s | 17 | 334632 | 236332 | 14433 37 | 23 | 23 361.65/361.82 c 349s | 17 | 335590 | 237232 | 14433 37 | 23 | 23 363.75/363.91 c 351s | 17 | 336380 | 238032 | 14433 37 | 23 | 23 365.85/366.06 c 353s | 17 | 337297 | 238932 | 14433 37 | 23 | 23 367.95/368.14 c 355s | 17 | 338097 | 239732 | 14433 38 | 23 | 23 370.15/370.31 c 358s | 17 | 338924 | 240532 | 14433 38 | 23 | 23 372.15/372.37 c 360s | 17 | 339737 | 241332 | 14433 38 | 23 | 23 374.45/374.61 c 362s | 17 | 340633 | 242232 | 14433 38 | 23 | 23 376.55/376.75 c 364s | 17 | 341448 | 243032 | 14433 38 | 23 | 23 378.54/378.79 c 366s | 17 | 342245 | 243832 | 14433 38 | 23 | 23 380.74/380.91 c 368s | 17 | 343054 | 244632 | 14433 38 | 23 | 23 382.85/383.01 c 370s | 17 | 343863 | 245432 | 14433 38 | 23 | 23 384.95/385.16 c 372s | 17 | 344663 | 246232 | 14433 38 | 23 | 23 386.94/387.17 c 374s | 17 | 345370 | 246932 | 14433 39 | 23 | 23 389.04/389.26 c 377s | 17 | 346190 | 247732 | 14433 39 | 23 | 23 391.14/391.32 c 379s | 17 | 347119 | 248632 | 14433 39 | 23 | 23 393.34/393.53 c 381s | 17 | 348135 | 249632 | 14433 39 | 23 | 23 395.54/395.73 c 383s | 17 | 349165 | 250632 | 14433 39 | 23 | 23 397.64/397.89 c 385s | 17 | 350164 | 251632 | 14433 39 | 23 | 23 399.83/400.00 c 387s | 17 | 351074 | 252532 | 14433 39 | 23 | 23 402.03/402.21 c 389s | 17 | 352074 | 253532 | 14433 39 | 23 | 23 404.43/404.68 c 392s | 17 | 353309 | 254232 | 14433 40 | 23 | 23 406.53/406.77 c 394s | 17 | 357386 | 255832 | 14433 40 | 23 | 23 408.73/408.95 c 396s | 17 | 358672 | 256832 | 14433 40 | 23 | 23 410.73/410.97 c 398s | 17 | 359585 | 257632 | 14433 40 | 23 | 23 412.83/413.05 c 400s | 17 | 360604 | 258532 | 14433 40 | 23 | 23 414.93/415.11 c 402s | 17 | 361539 | 259332 | 14433 40 | 23 | 23 416.94/417.19 c 404s | 17 | 362459 | 260132 | 14433 40 | 23 | 23 419.13/419.39 c 407s | 17 | 363459 | 260932 | 14433 40 | 23 | 23 421.23/421.40 c 409s | 17 | 364318 | 261632 | 14433 40 | 23 | 23 423.32/423.59 c 411s | 17 | 365302 | 262432 | 14433 41 | 23 | 23 425.52/425.79 c 413s | 17 | 366485 | 263432 | 14433 41 | 23 | 23 427.62/427.80 c 415s | 17 | 367538 | 264332 | 14433 41 | 23 | 23 429.72/429.96 c 417s | 17 | 368713 | 265232 | 14433 41 | 23 | 23 431.72/431.99 c 419s | 17 | 369913 | 266232 | 14433 41 | 23 | 23 433.82/434.02 c 421s | 17 | 370856 | 267032 | 14433 41 | 23 | 23 435.82/436.02 c 423s | 17 | 371770 | 267832 | 14433 41 | 23 | 23 437.91/438.10 c 425s | 17 | 372630 | 268632 | 14433 41 | 23 | 23 439.92/440.19 c 427s | 17 | 373751 | 269632 | 14433 42 | 23 | 23 442.01/442.29 c 430s | 17 | 374893 | 270632 | 14433 42 | 23 | 23 444.11/444.36 c 432s | 17 | 375884 | 271532 | 14433 42 | 23 | 23 446.31/446.52 c 434s | 17 | 376833 | 272432 | 14433 42 | 23 | 23 448.51/448.75 c 436s | 17 | 377828 | 273332 | 14433 42 | 23 | 23 450.61/450.80 c 438s | 17 | 378890 | 274132 | 14433 42 | 23 | 23 452.71/452.92 c 440s | 17 | 379924 | 274932 | 14433 42 | 23 | 23 454.71/454.92 c 442s | 17 | 381052 | 275732 | 14433 42 | 23 | 23 456.71/456.95 c 444s | 17 | 382131 | 276532 | 14433 42 | 23 | 23 458.80/459.01 c 446s | 17 | 383053 | 277332 | 14433 43 | 23 | 23 460.81/461.07 c 448s | 17 | 384387 | 278432 | 14433 43 | 23 | 23 462.90/463.11 c 450s | 17 | 385885 | 279332 | 14433 43 | 23 | 23 465.00/465.24 c 452s | 17 | 387480 | 280632 | 14433 43 | 23 | 23 467.10/467.32 c 455s | 17 | 388847 | 281832 | 14433 43 | 23 | 23 469.20/469.46 c 457s | 17 | 390041 | 282932 | 14433 43 | 23 | 23 471.30/471.52 c 459s | 17 | 391309 | 284032 | 14433 43 | 23 | 23 473.50/473.73 c 461s | 17 | 392469 | 285032 | 14433 44 | 23 | 23 475.60/475.81 c 463s | 17 | 393877 | 286232 | 14433 44 | 23 | 23 477.60/477.88 c 465s | 17 | 395283 | 287432 | 14433 44 | 23 | 23 479.80/480.04 c 467s | 17 | 397075 | 288732 | 14433 44 | 23 | 23 481.90/482.17 c 469s | 17 | 398600 | 289732 | 14433 44 | 23 | 23 484.00/484.28 c 472s | 17 | 400732 | 291032 | 14433 44 | 23 | 23 486.10/486.40 c 474s | 17 | 403055 | 292132 | 14433 45 | 23 | 23 488.30/488.58 c 476s | 17 | 405190 | 293432 | 14433 45 | 23 | 23 490.39/490.60 c 478s | 17 | 407164 | 294532 | 15877 45 | 23 | 23 492.49/492.72 c 480s | 17 | 409441 | 295732 | 15877 45 | 23 | 23 493.39/493.66 c 481s | 18 | 410342 | 296252 | 15877 45 | 23 | 23 495.59/495.80 c 483s | 18 | 411581 | 297152 | 15877 45 | 23 | 23 497.59/497.89 c 485s | 18 | 412672 | 298252 | 15877 45 | 23 | 23 499.69/499.91 c 487s | 18 | 415602 | 300152 | 15877 45 | 23 | 23 501.69/501.92 c 489s | 18 | 418572 | 302552 | 15877 46 | 23 | 23 503.69/503.99 c 491s | 18 | 421471 | 305152 | 15877 46 | 23 | 23 505.69/505.99 c 493s | 18 | 424298 | 307552 | 15877 46 | 23 | 23 507.88/508.10 c 495s | 18 | 427098 | 309852 | 15877 47 | 23 | 23 509.88/510.19 c 497s | 18 | 429954 | 312152 | 15877 47 | 23 | 23 511.98/512.21 c 499s | 18 | 432387 | 314152 | 15877 47 | 23 | 23 513.98/514.29 c 502s | 18 | 434640 | 316152 | 15877 47 | 23 | 23 516.08/516.33 c 504s | 18 | 436972 | 317952 | 15877 47 | 23 | 23 518.09/518.34 c 506s | 18 | 438933 | 319552 | 15877 48 | 23 | 23 520.08/520.35 c 508s | 18 | 441378 | 321652 | 15877 48 | 23 | 23 522.08/522.35 c 510s | 18 | 443684 | 323652 | 15877 48 | 23 | 23 524.08/524.36 c 512s | 18 | 445812 | 325652 | 15877 48 | 23 | 23 526.18/526.40 c 514s | 18 | 447971 | 327552 | 15877 49 | 23 | 23 528.18/528.44 c 516s | 18 | 450063 | 329452 | 15877 49 | 23 | 23 530.28/530.52 c 518s | 18 | 452225 | 331252 | 15877 49 | 23 | 23 532.28/532.56 c 520s | 18 | 454405 | 333152 | 15877 49 | 23 | 23 534.38/534.60 c 522s | 18 | 456489 | 334952 | 15877 49 | 23 | 23 536.37/536.60 c 524s | 18 | 458181 | 336352 | 15877 50 | 23 | 23 538.37/538.64 c 526s | 18 | 460841 | 338652 | 15877 50 | 23 | 23 540.47/540.71 c 528s | 18 | 463215 | 340852 | 15877 50 | 23 | 23 542.47/542.73 c 530s | 18 | 465427 | 342652 | 15877 50 | 23 | 23 544.57/544.82 c 532s | 18 | 467642 | 344452 | 15877 51 | 23 | 23 546.57/546.87 c 534s | 18 | 469611 | 346052 | 15877 51 | 23 | 23 548.66/548.99 c 536s | 18 | 473432 | 348152 | 15877 51 | 23 | 23 550.86/551.13 c 538s | 18 | 475878 | 349552 | 15877 51 | 23 | 23 552.86/553.19 c 540s | 18 | 478041 | 350652 | 15877 51 | 23 | 23 554.96/555.28 c 543s | 18 | 479671 | 351652 | 15877 51 | 23 | 23 557.26/557.53 c 545s | 18 | 481270 | 352552 | 15877 52 | 23 | 23 559.26/559.55 c 547s | 18 | 482309 | 353252 | 15877 52 | 23 | 23 561.56/561.87 c 549s | 18 | 483765 | 354152 | 15877 52 | 23 | 23 563.86/564.15 c 551s | 18 | 485304 | 354952 | 15877 52 | 23 | 23 565.96/566.21 c 553s | 18 | 486848 | 355752 | 15877 52 | 23 | 23 568.05/568.30 c 556s | 18 | 488488 | 356952 | 15877 52 | 23 | 23 570.05/570.34 c 558s | 18 | 490045 | 358152 | 15877 52 | 23 | 23 572.15/572.49 c 560s | 18 | 491440 | 359252 | 15877 52 | 23 | 23 574.25/574.58 c 562s | 18 | 492748 | 360352 | 15877 53 | 23 | 23 576.36/576.61 c 564s | 18 | 494242 | 361552 | 15877 53 | 23 | 23 578.46/578.80 c 566s | 18 | 495682 | 362752 | 15877 53 | 23 | 23 580.55/580.81 c 568s | 18 | 497027 | 363952 | 15877 53 | 23 | 23 582.65/582.97 c 570s | 18 | 498339 | 365152 | 15877 53 | 23 | 23 584.75/585.05 c 572s | 18 | 499483 | 366152 | 15877 53 | 23 | 23 586.95/587.20 c 574s | 18 | 500762 | 367252 | 15877 53 | 23 | 23 588.95/589.27 c 577s | 18 | 501907 | 368252 | 15877 53 | 23 | 23 590.96/591.30 c 579s | 18 | 503075 | 369252 | 15877 54 | 23 | 23 593.15/593.42 c 581s | 18 | 504405 | 370452 | 15877 54 | 23 | 23 595.25/595.56 c 583s | 18 | 505850 | 371652 | 15877 54 | 23 | 23 597.45/597.78 c 585s | 18 | 506793 | 372452 | 15877 54 | 23 | 23 599.55/599.85 c 587s | 18 | 508113 | 373352 | 15877 54 | 23 | 23 601.66/601.99 c 589s | 18 | 509313 | 374052 | 15877 54 | 23 | 23 603.86/604.17 c 591s | 18 | 510398 | 374852 | 15877 54 | 23 | 23 606.15/606.44 c 594s | 18 | 511605 | 375652 | 15877 54 | 23 | 23 608.15/608.45 c 596s | 18 | 512447 | 376252 | 15877 54 | 23 | 23 610.15/610.47 c 598s | 18 | 513270 | 376952 | 15877 55 | 23 | 23 612.35/612.67 c 600s | 18 | 514322 | 377852 | 15877 55 | 23 | 23 614.45/614.74 c 602s | 18 | 515449 | 378652 | 15877 55 | 23 | 23 616.55/616.88 c 604s | 18 | 516646 | 379452 | 15877 55 | 23 | 23 618.74/619.09 c 606s | 18 | 517730 | 380252 | 15877 55 | 23 | 23 620.94/621.21 c 608s | 18 | 518707 | 381052 | 15877 55 | 23 | 23 622.94/623.22 c 610s | 18 | 519757 | 381852 | 15877 55 | 23 | 23 625.14/625.46 c 613s | 18 | 521035 | 382752 | 15877 55 | 23 | 23 627.24/627.53 c 615s | 18 | 521898 | 383452 | 15877 55 | 23 | 23 629.34/629.62 c 617s | 18 | 522736 | 384152 | 15877 55 | 23 | 23 631.35/631.69 c 619s | 18 | 523590 | 384852 | 15877 55 | 23 | 23 633.45/633.79 c 621s | 18 | 524453 | 385552 | 15877 56 | 23 | 23 635.75/636.03 c 623s | 18 | 525679 | 386352 | 15877 56 | 23 | 23 637.94/638.24 c 625s | 18 | 527173 | 387252 | 15877 56 | 23 | 23 640.04/640.32 c 628s | 18 | 528390 | 388052 | 15877 56 | 23 | 23 642.03/642.36 c 630s | 18 | 529248 | 388652 | 15877 56 | 23 | 23 644.13/644.41 c 632s | 18 | 530220 | 389252 | 15877 56 | 23 | 23 646.33/646.63 c 634s | 18 | 531168 | 389952 | 15877 56 | 23 | 23 648.63/648.94 c 636s | 18 | 532155 | 390652 | 15877 56 | 23 | 23 650.63/650.94 c 638s | 18 | 533277 | 391252 | 15877 56 | 23 | 23 652.73/653.09 c 640s | 18 | 534264 | 391852 | 15877 56 | 23 | 23 655.13/655.49 c 643s | 18 | 535217 | 392552 | 15877 56 | 23 | 23 657.33/657.62 c 645s | 18 | 536212 | 393152 | 15877 56 | 23 | 23 659.63/659.94 c 647s | 18 | 537281 | 393752 | 15877 57 | 23 | 23 661.73/662.08 c 649s | 18 | 538633 | 394852 | 15877 57 | 23 | 23 663.83/664.16 c 651s | 18 | 539965 | 395752 | 15877 57 | 23 | 23 665.93/666.20 c 653s | 18 | 541209 | 396652 | 15877 57 | 23 | 23 668.13/668.41 c 656s | 18 | 542459 | 397652 | 15877 57 | 23 | 23 670.23/670.50 c 658s | 18 | 543553 | 398552 | 15877 57 | 23 | 23 672.23/672.57 c 660s | 18 | 544483 | 399252 | 15877 57 | 23 | 23 674.33/674.61 c 662s | 18 | 545402 | 399852 | 15877 57 | 23 | 23 676.53/676.84 c 664s | 18 | 546610 | 400752 | 15877 57 | 23 | 23 678.72/679.04 c 666s | 18 | 547842 | 401552 | 15877 57 | 23 | 23 680.83/681.16 c 668s | 18 | 548898 | 402352 | 15877 58 | 23 | 23 682.93/683.28 c 671s | 18 | 550273 | 403252 | 15877 58 | 23 | 23 685.02/685.31 c 673s | 18 | 551545 | 404052 | 15877 58 | 23 | 23 687.22/687.55 c 675s | 18 | 552960 | 405052 | 15877 58 | 23 | 23 689.22/689.58 c 677s | 18 | 554159 | 405852 | 15877 58 | 23 | 23 691.42/691.73 c 679s | 18 | 555483 | 406652 | 15877 58 | 23 | 23 693.42/693.77 c 681s | 18 | 556526 | 407452 | 15877 58 | 23 | 23 695.62/695.97 c 683s | 18 | 557593 | 408352 | 15877 58 | 23 | 23 697.72/698.02 c 685s | 18 | 558610 | 409152 | 15877 58 | 23 | 23 699.91/700.26 c 688s | 18 | 559949 | 409952 | 15877 58 | 23 | 23 702.01/702.35 c 690s | 18 | 560998 | 410652 | 15877 59 | 23 | 23 704.01/704.38 c 692s | 18 | 561843 | 411252 | 15877 59 | 23 | 23 706.31/706.60 c 694s | 18 | 562802 | 411952 | 15877 59 | 23 | 23 708.32/708.61 c 696s | 18 | 564093 | 412752 | 15877 59 | 23 | 23 710.31/710.68 c 698s | 18 | 565252 | 413552 | 15877 59 | 23 | 23 712.51/712.86 c 700s | 18 | 566439 | 414352 | 15877 59 | 23 | 23 714.61/714.90 c 702s | 18 | 567481 | 415152 | 15877 59 | 23 | 23 716.81/717.12 c 704s | 18 | 568742 | 415852 | 15877 59 | 23 | 23 718.91/719.27 c 707s | 18 | 569858 | 416652 | 15877 59 | 23 | 23 721.11/721.41 c 709s | 18 | 571132 | 417552 | 15877 59 | 23 | 23 723.41/723.75 c 711s | 18 | 572442 | 418452 | 15877 60 | 23 | 23 725.51/725.87 c 713s | 18 | 573578 | 419252 | 15877 60 | 23 | 23 727.61/727.97 c 715s | 18 | 574813 | 420152 | 15877 60 | 23 | 23 729.71/730.03 c 717s | 18 | 575818 | 420852 | 15877 60 | 23 | 23 731.71/732.06 c 719s | 18 | 577174 | 421652 | 15877 60 | 23 | 23 734.01/734.32 c 722s | 18 | 578609 | 422552 | 15877 60 | 23 | 23 736.01/736.37 c 724s | 18 | 579711 | 423352 | 15877 60 | 23 | 23 738.10/738.47 c 726s | 18 | 580877 | 424152 | 15877 60 | 23 | 23 740.11/740.49 c 728s | 18 | 581941 | 424952 | 15877 60 | 23 | 23 742.20/742.50 c 730s | 18 | 583195 | 425652 | 15877 60 | 23 | 23 744.20/744.51 c 732s | 18 | 584347 | 426352 | 15877 60 | 23 | 23 746.20/746.54 c 734s | 18 | 585320 | 427052 | 15877 61 | 23 | 23 748.30/748.67 c 736s | 18 | 586114 | 427652 | 15877 61 | 23 | 23 750.60/750.91 c 738s | 18 | 587268 | 428552 | 15877 61 | 23 | 23 752.60/752.94 c 740s | 18 | 588356 | 429352 | 15877 61 | 23 | 23 754.80/755.16 c 742s | 18 | 590830 | 430152 | 15877 61 | 23 | 23 756.90/757.26 c 745s | 18 | 592338 | 431152 | 15877 61 | 23 | 23 759.00/759.36 c 747s | 18 | 593348 | 432152 | 15877 61 | 23 | 23 761.11/761.46 c 749s | 18 | 594397 | 433152 | 15877 61 | 23 | 23 763.21/763.50 c 751s | 18 | 595669 | 434352 | 15877 61 | 23 | 23 765.51/765.82 c 753s | 18 | 596941 | 435552 | 15877 62 | 23 | 23 767.61/768.00 c 755s | 18 | 598081 | 436652 | 15877 62 | 23 | 23 769.81/770.18 c 757s | 18 | 599378 | 437852 | 15877 62 | 23 | 23 772.01/772.34 c 760s | 18 | 600537 | 438952 | 15877 62 | 23 | 23 774.10/774.44 c 762s | 18 | 601730 | 440052 | 15877 62 | 23 | 23 776.20/776.57 c 764s | 18 | 602924 | 441152 | 15877 62 | 23 | 23 778.30/778.68 c 766s | 18 | 604173 | 442252 | 17465 62 | 23 | 23 780.40/780.74 c 768s | 18 | 605102 | 443152 | 17465 62 | 23 | 23 782.50/782.85 c 770s | 18 | 606184 | 444152 | 17465 62 | 23 | 23 783.20/783.56 c 771s | 19 | 606533 | 444482 | 17465 62 | 23 | 23 785.30/785.63 c 773s | 19 | 612758 | 445182 | 17465 63 | 23 | 23 787.50/787.84 c 775s | 19 | 614856 | 446682 | 17465 63 | 23 | 23 789.50/789.88 c 777s | 19 | 616486 | 448082 | 17465 63 | 23 | 23 791.60/791.90 c 779s | 19 | 618391 | 449782 | 17465 63 | 23 | 23 793.60/793.96 c 781s | 19 | 620291 | 451482 | 17465 63 | 23 | 23 795.60/795.96 c 783s | 19 | 621636 | 452582 | 17465 63 | 23 | 23 797.69/798.08 c 785s | 19 | 623088 | 453582 | 17465 63 | 23 | 23 799.79/800.18 c 787s | 19 | 623970 | 454482 | 17465 63 | 23 | 23 802.09/802.42 c 790s | 19 | 624892 | 455382 | 17465 63 | 23 | 23 804.19/804.58 c 792s | 19 | 625945 | 456282 | 17465 63 | 23 | 23 806.39/806.71 c 794s | 19 | 626641 | 456982 | 17465 64 | 23 | 23 808.40/808.73 c 796s | 19 | 627442 | 457782 | 17465 64 | 23 | 23 810.60/810.92 c 798s | 19 | 628475 | 458782 | 17465 64 | 23 | 23 812.80/813.17 c 800s | 19 | 629380 | 459682 | 17465 64 | 23 | 23 815.00/815.34 c 803s | 19 | 630179 | 460482 | 17465 64 | 23 | 23 817.29/817.60 c 805s | 19 | 630991 | 461282 | 17465 64 | 23 | 23 819.30/819.61 c 807s | 19 | 631670 | 461982 | 17465 64 | 23 | 23 821.39/821.76 c 809s | 19 | 632393 | 462682 | 17465 64 | 23 | 23 823.59/823.91 c 811s | 19 | 633074 | 463382 | 17465 64 | 23 | 23 826.49/826.83 c 814s | 19 | 635603 | 464082 | 17465 65 | 23 | 23 828.49/828.85 c 816s | 19 | 636210 | 464682 | 17465 65 | 23 | 23 830.79/831.15 c 818s | 19 | 636918 | 465382 | 17465 65 | 23 | 23 832.89/833.21 c 820s | 19 | 637522 | 465982 | 17465 65 | 23 | 23 834.89/835.26 c 823s | 19 | 638119 | 466582 | 17465 65 | 23 | 23 836.90/837.30 c 825s | 19 | 638725 | 467182 | 17465 65 | 23 | 23 839.10/839.50 c 827s | 19 | 639328 | 467782 | 17465 65 | 23 | 23 841.30/841.65 c 829s | 19 | 639931 | 468382 | 17465 65 | 23 | 23 843.49/843.83 c 831s | 19 | 640583 | 468982 | 17465 65 | 23 | 23 845.59/846.00 c 833s | 19 | 641197 | 469582 | 17465 65 | 23 | 23 847.79/848.18 c 835s | 19 | 641802 | 470182 | 17465 65 | 23 | 23 850.09/850.46 c 838s | 19 | 642403 | 470782 | 17465 65 | 23 | 23 852.39/852.74 c 840s | 19 | 643019 | 471382 | 17465 65 | 23 | 23 854.69/855.09 c 842s | 19 | 643622 | 471982 | 17465 65 | 23 | 23 857.09/857.43 c 845s | 19 | 644232 | 472582 | 17465 65 | 23 | 23 859.49/859.81 c 847s | 19 | 644831 | 473182 | 17465 65 | 23 | 23 861.49/861.87 c 849s | 19 | 645329 | 473682 | 17465 65 | 23 | 23 864.28/864.61 c 852s | 19 | 645938 | 474282 | 17465 66 | 23 | 23 866.38/866.72 c 854s | 19 | 646438 | 474782 | 17465 66 | 23 | 23 868.48/868.88 c 856s | 19 | 649671 | 475382 | 17465 66 | 24 | 24 870.58/870.99 c 858s | 19 | 653691 | 476882 | 17465 66 | 24 | 24 872.68/873.06 c 860s | 19 | 655193 | 478382 | 17465 66 | 24 | 24 874.68/875.08 c 862s | 19 | 656598 | 479782 | 17465 66 | 24 | 24 876.88/877.24 c 864s | 19 | 658000 | 481182 | 17465 66 | 24 | 24 879.59/879.94 c 867s | 19 | 664600 | 482282 | 17465 67 | 24 | 24 881.69/882.03 c 869s | 19 | 667634 | 483282 | 17465 67 | 24 | 24 883.99/884.32 c 872s | 19 | 668143 | 483782 | 17465 67 | 24 | 24 886.09/886.46 c 874s | 19 | 668761 | 484382 | 17465 67 | 24 | 24 888.39/888.77 c 876s | 19 | 669367 | 484982 | 17465 67 | 24 | 24 890.49/890.85 c 878s | 19 | 670028 | 485582 | 17465 67 | 24 | 24 892.69/893.06 c 880s | 19 | 671180 | 486482 | 17465 67 | 24 | 24 894.79/895.16 c 882s | 19 | 672048 | 487282 | 17465 67 | 24 | 24 896.89/897.20 c 884s | 19 | 672888 | 488082 | 17465 67 | 24 | 24 898.99/899.39 c 887s | 19 | 673826 | 488982 | 17465 67 | 24 | 24 901.09/901.45 c 889s | 19 | 674666 | 489782 | 17465 67 | 24 | 24 903.09/903.46 c 891s | 19 | 675475 | 490582 | 17465 67 | 24 | 24 905.29/905.64 c 893s | 19 | 676307 | 491382 | 17465 67 | 24 | 24 907.79/908.15 c 895s | 19 | 677216 | 492282 | 17465 68 | 24 | 24 909.78/910.16 c 897s | 19 | 677934 | 492982 | 17465 68 | 24 | 24 912.08/912.40 c 900s | 19 | 678758 | 493782 | 17465 68 | 24 | 24 914.18/914.56 c 902s | 19 | 679569 | 494582 | 17465 68 | 24 | 24 916.28/916.60 c 904s | 19 | 680275 | 495282 | 17465 68 | 24 | 24 918.39/918.76 c 906s | 19 | 680895 | 495882 | 17465 68 | 24 | 24 920.59/920.94 c 908s | 19 | 681724 | 496682 | 17465 68 | 24 | 24 922.79/923.13 c 910s | 19 | 682543 | 497482 | 17465 68 | 24 | 24 924.99/925.32 c 913s | 19 | 683358 | 498282 | 17465 68 | 24 | 24 927.28/927.66 c 915s | 19 | 684059 | 498982 | 17465 68 | 24 | 24 929.39/929.76 c 917s | 19 | 684785 | 499682 | 17465 68 | 24 | 24 931.49/931.86 c 919s | 19 | 685403 | 500282 | 17465 68 | 24 | 24 933.58/933.97 c 921s | 19 | 686110 | 500982 | 17465 68 | 24 | 24 935.78/936.16 c 923s | 19 | 686726 | 501582 | 17465 69 | 24 | 24 937.78/938.17 c 925s | 19 | 687369 | 502182 | 17465 69 | 24 | 24 941.48/941.88 c 929s | 19 | 688278 | 502982 | 17465 69 | 24 | 24 943.58/943.97 c 931s | 19 | 688786 | 503482 | 17465 69 | 24 | 24 945.67/946.06 c 933s | 19 | 689631 | 504282 | 17465 69 | 24 | 24 947.77/948.14 c 935s | 19 | 690542 | 505182 | 17465 69 | 24 | 24 949.97/950.34 c 938s | 19 | 691482 | 506082 | 17465 69 | 24 | 24 952.17/952.53 c 940s | 19 | 692319 | 506882 | 17465 69 | 24 | 24 954.17/954.58 c 942s | 19 | 693243 | 507782 | 17465 69 | 24 | 24 956.27/956.68 c 944s | 19 | 694181 | 508682 | 17465 69 | 24 | 24 958.47/958.85 c 946s | 19 | 695100 | 509582 | 17465 69 | 24 | 24 960.47/960.86 c 948s | 19 | 695930 | 510382 | 17465 69 | 24 | 24 962.57/962.94 c 950s | 19 | 696545 | 510982 | 17465 70 | 24 | 24 964.58/964.98 c 952s | 19 | 697052 | 511482 | 17465 70 | 24 | 24 966.68/967.06 c 954s | 19 | 698086 | 512482 | 17465 70 | 24 | 24 968.77/969.12 c 956s | 19 | 699107 | 513482 | 17465 70 | 24 | 24 970.87/971.26 c 959s | 19 | 700029 | 514382 | 17465 70 | 24 | 24 972.87/973.27 c 961s | 19 | 700935 | 515282 | 17465 70 | 24 | 24 974.97/975.38 c 963s | 19 | 701465 | 515782 | 17465 70 | 24 | 24 977.27/977.63 c 965s | 19 | 701871 | 516182 | 17465 70 | 24 | 24 979.47/979.81 c 967s | 19 | 702395 | 516682 | 17465 70 | 24 | 24 981.57/982.00 c 969s | 19 | 703420 | 517682 | 17465 70 | 24 | 24 983.77/984.16 c 971s | 19 | 704440 | 518682 | 17465 70 | 24 | 24 985.87/986.28 c 974s | 19 | 705167 | 519382 | 17465 70 | 24 | 24 988.07/988.50 c 976s | 19 | 705674 | 519882 | 17465 70 | 24 | 24 992.47/992.82 c 980s | 19 | 706189 | 520382 | 17465 71 | 24 | 24 994.77/995.11 c 982s | 19 | 707298 | 521482 | 17465 71 | 24 | 24 996.77/997.13 c 984s | 19 | 708132 | 522282 | 17465 71 | 24 | 24 998.86/999.27 c 987s | 19 | 709282 | 523282 | 17465 71 | 24 | 24 1001.06/1001.46 c 989s | 19 | 710411 | 524282 | 17465 71 | 24 | 24 1003.16/1003.50 c 991s | 19 | 711362 | 525182 | 17465 71 | 24 | 24 1005.17/1005.57 c 993s | 19 | 712402 | 526182 | 17465 71 | 24 | 24 1007.37/1007.71 c 995s | 19 | 713449 | 527182 | 17465 71 | 24 | 24 1009.36/1009.72 c 997s | 19 | 714368 | 528082 | 17465 71 | 24 | 24 1011.46/1011.81 c 999s | 19 | 715293 | 528982 | 17465 71 | 24 | 24 1013.56/1013.96 c 1001s | 19 | 716122 | 529782 | 17465 72 | 24 | 24 1015.76/1016.15 c 1003s | 19 | 717176 | 530782 | 17465 72 | 24 | 24 1018.97/1019.36 c 1007s | 19 | 717794 | 531382 | 17465 72 | 24 | 24 1021.06/1021.50 c 1009s | 19 | 718571 | 532082 | 17465 72 | 24 | 24 1023.26/1023.67 c 1011s | 19 | 719285 | 532782 | 17465 72 | 24 | 24 1025.36/1025.76 c 1013s | 19 | 720155 | 533582 | 17465 72 | 24 | 24 1027.66/1028.00 c 1015s | 19 | 720970 | 534382 | 17465 72 | 24 | 24 1029.66/1030.01 c 1017s | 19 | 721793 | 535182 | 17465 72 | 24 | 24 1031.67/1032.07 c 1019s | 19 | 722519 | 535882 | 17465 72 | 24 | 24 1033.87/1034.25 c 1022s | 19 | 723473 | 536782 | 17465 72 | 24 | 24 1035.97/1036.33 c 1024s | 19 | 724184 | 537482 | 17465 72 | 24 | 24 1038.17/1038.53 c 1026s | 19 | 725005 | 538282 | 17465 72 | 24 | 24 1040.36/1040.72 c 1028s | 19 | 725739 | 538982 | 17465 73 | 24 | 24 1044.46/1044.84 c 1032s | 19 | 726058 | 539282 | 17465 73 | 24 | 24 1046.56/1046.98 c 1034s | 19 | 726999 | 540182 | 17465 73 | 24 | 24 1048.56/1048.99 c 1036s | 19 | 727963 | 541082 | 17465 73 | 24 | 24 1050.76/1051.15 c 1038s | 19 | 729000 | 542082 | 17465 73 | 24 | 24 1052.86/1053.23 c 1040s | 19 | 729822 | 542882 | 17465 73 | 24 | 24 1054.96/1055.30 c 1043s | 19 | 730742 | 543782 | 17465 73 | 24 | 24 1056.97/1057.39 c 1045s | 19 | 731659 | 544682 | 17465 73 | 24 | 24 1059.17/1059.57 c 1047s | 19 | 732397 | 545382 | 17465 73 | 24 | 24 1061.16/1061.60 c 1049s | 19 | 733231 | 546182 | 17465 73 | 24 | 24 1063.36/1063.79 c 1051s | 19 | 734254 | 547182 | 17465 73 | 24 | 24 1065.56/1065.95 c 1053s | 19 | 735189 | 548082 | 17465 73 | 24 | 24 1071.86/1072.29 c 1060s | 19 | 735513 | 548382 | 17465 74 | 24 | 24 1074.06/1074.48 c 1062s | 19 | 736550 | 549382 | 17465 74 | 24 | 24 1076.16/1076.57 c 1064s | 19 | 737668 | 550482 | 17465 74 | 24 | 24 1078.26/1078.64 c 1066s | 19 | 738689 | 551482 | 17465 74 | 24 | 24 1080.36/1080.74 c 1068s | 19 | 739709 | 552482 | 17465 74 | 24 | 24 1082.46/1082.89 c 1070s | 19 | 740632 | 553382 | 17465 74 | 24 | 24 1084.56/1084.93 c 1072s | 19 | 741354 | 554082 | 17465 74 | 24 | 24 1086.67/1087.04 c 1074s | 19 | 742176 | 554882 | 17465 74 | 24 | 24 1088.66/1089.06 c 1076s | 19 | 743001 | 555682 | 17465 74 | 24 | 24 1090.76/1091.17 c 1078s | 19 | 743824 | 556482 | 17465 74 | 24 | 24 1092.96/1093.34 c 1081s | 19 | 744550 | 557182 | 17465 74 | 24 | 24 1095.65/1096.09 c 1083s | 19 | 744959 | 557582 | 17465 75 | 24 | 24 1097.95/1098.31 c 1086s | 19 | 745991 | 558582 | 17465 75 | 24 | 24 1100.05/1100.40 c 1088s | 19 | 747113 | 559682 | 17465 75 | 24 | 24 1102.15/1102.59 c 1090s | 19 | 748230 | 560782 | 17465 75 | 24 | 24 1104.35/1104.70 c 1092s | 19 | 749170 | 561682 | 17465 75 | 24 | 24 1106.55/1106.90 c 1094s | 19 | 749879 | 562382 | 17465 75 | 24 | 24 1108.66/1109.04 c 1096s | 19 | 750726 | 563182 | 17465 75 | 24 | 24 1110.76/1111.19 c 1098s | 19 | 751751 | 564182 | 17465 75 | 24 | 24 1112.85/1113.29 c 1101s | 19 | 752605 | 564982 | 17465 75 | 24 | 24 1115.05/1115.44 c 1103s | 19 | 753316 | 565682 | 17465 75 | 24 | 24 1117.25/1117.70 c 1105s | 19 | 754235 | 566582 | 17465 75 | 24 | 24 1119.45/1119.85 c 1107s | 19 | 754835 | 567182 | 17465 76 | 24 | 24 1121.65/1122.00 c 1109s | 19 | 755841 | 568182 | 17465 76 | 24 | 24 1123.75/1124.15 c 1111s | 19 | 756907 | 569182 | 17465 76 | 24 | 24 1125.95/1126.33 c 1114s | 19 | 757809 | 570082 | 17465 76 | 24 | 24 1128.15/1128.55 c 1116s | 19 | 758742 | 570982 | 17465 76 | 24 | 24 1133.96/1134.33 c 1122s | 19 | 759262 | 571482 | 17465 76 | 24 | 24 1136.16/1136.54 c 1124s | 19 | 760013 | 572182 | 17465 76 | 24 | 24 1138.36/1138.74 c 1126s | 19 | 760947 | 573082 | 17465 76 | 24 | 24 1140.65/1141.01 c 1128s | 19 | 761904 | 573982 | 17465 76 | 24 | 24 1142.85/1143.26 c 1131s | 19 | 762845 | 574882 | 17465 76 | 24 | 24 1145.15/1145.54 c 1133s | 19 | 763878 | 575882 | 17465 76 | 24 | 24 1147.25/1147.66 c 1135s | 19 | 764521 | 576482 | 17465 77 | 24 | 24 1149.45/1149.82 c 1137s | 19 | 765678 | 577582 | 17465 77 | 24 | 24 1151.56/1151.96 c 1139s | 19 | 766904 | 578782 | 17465 77 | 24 | 24 1153.55/1153.98 c 1141s | 19 | 767935 | 579782 | 17465 77 | 24 | 24 1155.75/1156.12 c 1143s | 19 | 768877 | 580682 | 17465 77 | 24 | 24 1157.95/1158.39 c 1146s | 19 | 769801 | 581582 | 17465 77 | 24 | 24 1160.25/1160.60 c 1148s | 19 | 770834 | 582582 | 17465 77 | 24 | 24 1162.35/1162.77 c 1150s | 19 | 771764 | 583482 | 17465 77 | 24 | 24 1164.55/1164.97 c 1152s | 19 | 772594 | 584282 | 17465 77 | 24 | 24 1166.85/1167.22 c 1154s | 19 | 773406 | 585082 | 17465 77 | 24 | 24 1169.85/1170.22 c 1157s | 19 | 774142 | 585782 | 17465 78 | 24 | 24 1171.94/1172.36 c 1160s | 19 | 775362 | 586982 | 17465 78 | 24 | 24 1174.04/1174.42 c 1162s | 19 | 776091 | 587682 | 17465 78 | 24 | 24 1176.04/1176.46 c 1164s | 19 | 777107 | 588682 | 17465 78 | 24 | 24 1178.14/1178.55 c 1166s | 19 | 778073 | 589582 | 17465 78 | 24 | 24 1180.24/1180.65 c 1168s | 19 | 779080 | 590582 | 17465 78 | 24 | 24 1182.44/1182.83 c 1170s | 19 | 779992 | 591482 | 17465 78 | 24 | 24 1184.45/1184.85 c 1172s | 19 | 780534 | 591982 | 17465 78 | 24 | 24 1186.65/1187.07 c 1174s | 19 | 781217 | 592582 | 17465 78 | 24 | 24 1188.74/1189.11 c 1176s | 19 | 781746 | 593082 | 17465 78 | 24 | 24 1190.94/1191.31 c 1179s | 19 | 782390 | 593682 | 17465 78 | 24 | 24 1193.04/1193.42 c 1181s | 19 | 783016 | 594282 | 17465 78 | 24 | 24 1195.14/1195.54 c 1183s | 19 | 783538 | 594782 | 17465 79 | 24 | 24 1200.03/1200.47 c 1188s | 19 | 783948 | 595182 | 17465 79 | 24 | 24 1202.14/1202.52 c 1190s | 19 | 784725 | 595882 | 17465 79 | 24 | 24 1204.24/1204.65 c 1192s | 19 | 785469 | 596582 | 17465 79 | 24 | 24 1206.33/1206.71 c 1194s | 19 | 786297 | 597382 | 17465 79 | 24 | 24 1208.53/1208.97 c 1196s | 19 | 787243 | 598282 | 17465 79 | 24 | 24 1210.73/1211.14 c 1198s | 19 | 788055 | 599082 | 17465 79 | 24 | 24 1212.83/1213.28 c 1201s | 19 | 788801 | 599782 | 17465 79 | 24 | 24 1214.93/1215.34 c 1203s | 19 | 789538 | 600482 | 17465 79 | 24 | 24 1217.13/1217.53 c 1205s | 19 | 790375 | 601282 | 17465 79 | 24 | 24 1219.13/1219.57 c 1207s | 19 | 791111 | 601982 | 17465 79 | 24 | 24 1221.33/1221.73 c 1209s | 19 | 791930 | 602782 | 17465 79 | 24 | 24 1223.53/1223.94 c 1211s | 19 | 792846 | 603682 | 17465 79 | 24 | 24 1232.13/1232.55 c 1220s | 19 | 793468 | 604282 | 17465 80 | 24 | 24 1234.23/1234.60 c 1222s | 19 | 794304 | 605082 | 17465 80 | 24 | 24 1236.43/1236.80 c 1224s | 19 | 795164 | 605882 | 17465 80 | 24 | 24 1238.44/1238.89 c 1226s | 19 | 796110 | 606782 | 17465 80 | 24 | 24 1240.54/1240.92 c 1228s | 19 | 797037 | 607682 | 17465 80 | 24 | 24 1242.84/1243.21 c 1230s | 19 | 797856 | 608482 | 17465 80 | 24 | 24 1245.04/1245.41 c 1233s | 19 | 798670 | 609282 | 17465 80 | 24 | 24 1247.13/1247.59 c 1235s | 19 | 799370 | 609982 | 17465 80 | 24 | 24 1249.23/1249.60 c 1237s | 19 | 800238 | 610782 | 17465 80 | 24 | 24 1251.33/1251.73 c 1239s | 19 | 801189 | 611682 | 17465 80 | 24 | 24 1253.53/1253.96 c 1241s | 19 | 802150 | 612582 | 17465 80 | 24 | 24 1255.63/1256.04 c 1243s | 19 | 802767 | 613182 | 17465 80 | 24 | 24 1257.72/1258.16 c 1245s | 19 | 803382 | 613782 | 17465 81 | 24 | 24 1259.92/1260.34 c 1248s | 19 | 804089 | 614482 | 17465 81 | 24 | 24 1261.92/1262.36 c 1250s | 19 | 804928 | 615282 | 17465 81 | 24 | 24 1264.63/1265.08 c 1252s | 19 | 805266 | 615582 | 17465 81 | 24 | 24 1266.83/1267.20 c 1254s | 19 | 806119 | 616382 | 17465 81 | 24 | 24 1268.93/1269.32 c 1257s | 19 | 807087 | 617282 | 17465 81 | 24 | 24 1271.23/1271.65 c 1259s | 19 | 807828 | 617982 | 17465 81 | 24 | 24 1273.23/1273.66 c 1261s | 19 | 808645 | 618782 | 17465 81 | 24 | 24 1275.43/1275.89 c 1263s | 19 | 809472 | 619582 | 17465 81 | 24 | 24 1277.63/1278.09 c 1265s | 19 | 810411 | 620482 | 17465 81 | 24 | 24 1279.73/1280.14 c 1267s | 19 | 811322 | 621382 | 17465 81 | 24 | 24 1281.73/1282.19 c 1269s | 19 | 812144 | 622182 | 17465 81 | 24 | 24 1283.93/1284.31 c 1272s | 19 | 812851 | 622882 | 17465 82 | 24 | 24 1287.02/1287.45 c 1275s | 19 | 813262 | 623282 | 17465 82 | 24 | 24 1289.22/1289.67 c 1277s | 19 | 814069 | 624082 | 17465 82 | 24 | 24 1291.32/1291.71 c 1279s | 19 | 814983 | 624982 | 17465 82 | 24 | 24 1293.43/1293.82 c 1281s | 19 | 815949 | 625882 | 17465 82 | 24 | 24 1295.53/1295.94 c 1283s | 19 | 816876 | 626782 | 17465 82 | 24 | 24 1297.62/1298.09 c 1285s | 19 | 817857 | 627682 | 17465 82 | 24 | 24 1299.82/1300.27 c 1288s | 19 | 818683 | 628482 | 17465 82 | 24 | 24 1302.13/1302.53 c 1290s | 19 | 819606 | 629382 | 17465 82 | 24 | 24 1304.33/1304.73 c 1292s | 19 | 820546 | 630282 | 17465 82 | 24 | 24 1306.42/1306.89 c 1294s | 19 | 821258 | 630982 | 17465 82 | 24 | 24 1308.52/1308.91 c 1296s | 19 | 821963 | 631682 | 17465 82 | 24 | 24 1311.92/1312.37 c 1300s | 19 | 822566 | 632282 | 17465 83 | 24 | 24 1314.12/1314.60 c 1302s | 19 | 823402 | 633082 | 17465 83 | 24 | 24 1316.43/1316.81 c 1304s | 19 | 824366 | 633982 | 17465 83 | 24 | 24 1318.42/1318.89 c 1306s | 19 | 825218 | 634782 | 17465 83 | 24 | 24 1320.62/1321.08 c 1308s | 19 | 825944 | 635482 | 17465 83 | 24 | 24 1322.82/1323.25 c 1311s | 19 | 826867 | 636382 | 17465 83 | 24 | 24 1324.92/1325.34 c 1313s | 19 | 827699 | 637182 | 17465 83 | 24 | 24 1327.12/1327.58 c 1315s | 19 | 828615 | 638082 | 17465 83 | 24 | 24 1329.32/1329.72 c 1317s | 19 | 829437 | 638882 | 17465 83 | 24 | 24 1331.52/1331.93 c 1319s | 19 | 830360 | 639782 | 17465 83 | 24 | 24 1333.72/1334.15 c 1321s | 19 | 831183 | 640582 | 17465 83 | 24 | 24 1336.33/1336.77 c 1324s | 19 | 832091 | 641482 | 17465 84 | 24 | 24 1338.42/1338.90 c 1326s | 19 | 832930 | 642282 | 17465 84 | 24 | 24 1340.62/1341.08 c 1328s | 19 | 833649 | 642982 | 17465 84 | 24 | 24 1342.82/1343.22 c 1330s | 19 | 834547 | 643882 | 17465 84 | 24 | 24 1344.91/1345.32 c 1333s | 19 | 835560 | 644882 | 17465 84 | 24 | 24 1347.11/1347.57 c 1335s | 19 | 836368 | 645682 | 17465 84 | 24 | 24 1349.31/1349.72 c 1337s | 19 | 837185 | 646482 | 17465 84 | 24 | 24 1351.41/1351.83 c 1339s | 19 | 837991 | 647282 | 17465 84 | 24 | 24 1353.41/1353.86 c 1341s | 19 | 838798 | 648082 | 17465 84 | 24 | 24 1355.61/1356.04 c 1343s | 19 | 839626 | 648882 | 17465 84 | 24 | 24 1357.81/1358.20 c 1345s | 19 | 840473 | 649682 | 17465 84 | 24 | 24 1359.81/1360.25 c 1348s | 19 | 841202 | 650382 | 17465 84 | 24 | 24 1362.01/1362.46 c 1350s | 19 | 841938 | 651082 | 17465 85 | 24 | 24 1364.11/1364.52 c 1352s | 19 | 842892 | 651982 | 17465 85 | 24 | 24 1366.31/1366.77 c 1354s | 19 | 843958 | 652982 | 17465 85 | 24 | 24 1368.61/1369.01 c 1356s | 19 | 844954 | 653882 | 17465 85 | 24 | 24 1370.81/1371.27 c 1359s | 19 | 846039 | 654782 | 17465 85 | 24 | 24 1372.81/1373.27 c 1361s | 19 | 846808 | 655482 | 17465 85 | 24 | 24 1375.01/1375.48 c 1363s | 19 | 847647 | 656282 | 17465 85 | 24 | 24 1377.91/1378.37 c 1366s | 19 | 848169 | 656782 | 17465 85 | 24 | 24 1379.91/1380.39 c 1368s | 19 | 848950 | 657482 | 17465 85 | 24 | 24 1382.21/1382.61 c 1370s | 19 | 849811 | 658282 | 17465 85 | 24 | 24 1384.41/1384.86 c 1372s | 19 | 850658 | 659082 | 17465 85 | 24 | 24 1386.51/1386.94 c 1374s | 19 | 851403 | 659782 | 17465 85 | 24 | 24 1388.80/1389.23 c 1376s | 19 | 851832 | 660182 | 17465 86 | 24 | 24 1390.90/1391.36 c 1379s | 19 | 852694 | 660982 | 17465 86 | 24 | 24 1393.00/1393.42 c 1381s | 19 | 853446 | 661682 | 17465 86 | 24 | 24 1395.20/1395.64 c 1383s | 19 | 854256 | 662482 | 19212 86 | 24 | 24 1397.30/1397.72 c 1385s | 19 | 855180 | 663382 | 19212 86 | 24 | 24 1399.30/1399.74 c 1387s | 19 | 856117 | 664282 | 19212 86 | 24 | 24 1401.30/1401.76 c 1389s | 19 | 857050 | 665182 | 19212 86 | 24 | 24 1403.50/1403.92 c 1391s | 19 | 858078 | 666182 | 19212 86 | 24 | 24 1405.20/1405.64 c 1393s | 20 | 858742 | 666827 | 19212 86 | 24 | 24 1407.30/1407.77 c 1395s | 20 | 860335 | 667827 | 19212 86 | 24 | 24 1409.40/1409.80 c 1397s | 20 | 861720 | 669027 | 19212 86 | 24 | 24 1411.50/1411.94 c 1399s | 20 | 863305 | 670327 | 19212 86 | 24 | 24 1413.60/1414.01 c 1401s | 20 | 864570 | 671327 | 19212 87 | 24 | 24 1415.60/1416.04 c 1403s | 20 | 866325 | 672527 | 19212 87 | 24 | 24 1417.71/1418.15 c 1405s | 20 | 867860 | 673727 | 19212 87 | 24 | 24 1419.81/1420.28 c 1408s | 20 | 869439 | 675027 | 19212 87 | 24 | 24 1421.90/1422.40 c 1410s | 20 | 871948 | 676627 | 19212 87 | 24 | 24 1424.00/1424.43 c 1412s | 20 | 874650 | 678627 | 19212 87 | 24 | 24 1426.00/1426.48 c 1414s | 20 | 878560 | 680427 | 19212 87 | 24 | 24 1428.10/1428.59 c 1416s | 20 | 880140 | 681427 | 19212 88 | 24 | 24 1430.20/1430.63 c 1418s | 20 | 881146 | 682427 | 19212 88 | 24 | 24 1432.30/1432.73 c 1420s | 20 | 882156 | 683427 | 19212 88 | 24 | 24 1434.50/1434.91 c 1422s | 20 | 883159 | 684427 | 19212 88 | 24 | 24 1436.50/1436.92 c 1424s | 20 | 884156 | 685427 | 19212 88 | 24 | 24 1438.60/1439.01 c 1426s | 20 | 885068 | 686327 | 19212 88 | 24 | 24 1440.70/1441.15 c 1428s | 20 | 886078 | 687327 | 19212 88 | 24 | 24 1442.70/1443.17 c 1430s | 20 | 886978 | 688227 | 19212 88 | 24 | 24 1444.90/1445.31 c 1433s | 20 | 887909 | 689127 | 19212 88 | 24 | 24 1447.00/1447.47 c 1435s | 20 | 888803 | 690027 | 19212 88 | 24 | 24 1449.10/1449.56 c 1437s | 20 | 889715 | 690927 | 19212 88 | 24 | 24 1451.30/1451.75 c 1439s | 20 | 890531 | 691727 | 19212 89 | 24 | 24 1453.50/1453.92 c 1441s | 20 | 891437 | 692627 | 19212 89 | 24 | 24 1455.60/1456.08 c 1443s | 20 | 892337 | 693527 | 19212 89 | 24 | 24 1457.70/1458.19 c 1445s | 20 | 893146 | 694327 | 19212 89 | 24 | 24 1460.00/1460.47 c 1448s | 20 | 893982 | 695127 | 19212 89 | 24 | 24 1462.30/1462.71 c 1450s | 20 | 894885 | 696027 | 19212 89 | 24 | 24 1464.30/1464.73 c 1452s | 20 | 895606 | 696727 | 19212 89 | 24 | 24 1466.50/1466.91 c 1454s | 20 | 896508 | 697627 | 19212 89 | 24 | 24 1468.70/1469.19 c 1456s | 20 | 897324 | 698427 | 19212 89 | 24 | 24 1470.90/1471.36 c 1459s | 20 | 898131 | 699227 | 19212 89 | 24 | 24 1473.00/1473.47 c 1461s | 20 | 898948 | 700027 | 19212 89 | 24 | 24 1475.10/1475.58 c 1463s | 20 | 899756 | 700827 | 19212 89 | 24 | 24 1477.40/1477.84 c 1465s | 20 | 900453 | 701527 | 19212 90 | 24 | 24 1479.40/1479.88 c 1467s | 20 | 901157 | 702227 | 19212 90 | 24 | 24 1481.60/1482.02 c 1469s | 20 | 901966 | 703027 | 19212 90 | 24 | 24 1483.80/1484.21 c 1471s | 20 | 902883 | 703927 | 19212 90 | 24 | 24 1485.90/1486.37 c 1474s | 20 | 903683 | 704727 | 19212 90 | 24 | 24 1488.00/1488.45 c 1476s | 20 | 904389 | 705427 | 19212 90 | 24 | 24 1490.30/1490.72 c 1478s | 20 | 905217 | 706227 | 19212 90 | 24 | 24 1492.30/1492.80 c 1480s | 20 | 905932 | 706927 | 19212 90 | 24 | 24 1494.39/1494.81 c 1482s | 20 | 906239 | 707227 | 19212 90 | 24 | 24 1496.49/1496.93 c 1484s | 20 | 906942 | 707927 | 19212 90 | 24 | 24 1498.59/1499.03 c 1486s | 20 | 907641 | 708627 | 19212 90 | 24 | 24 1500.59/1501.05 c 1488s | 20 | 908339 | 709327 | 19212 90 | 24 | 24 1502.79/1503.26 c 1491s | 20 | 909242 | 710227 | 19212 90 | 24 | 24 1505.09/1505.56 c 1493s | 20 | 909862 | 710827 | 19212 90 | 24 | 24 1507.59/1508.08 c 1495s | 20 | 910509 | 711327 | 19212 90 | 24 | 24 1509.89/1510.31 c 1498s | 20 | 910913 | 711727 | 19212 91 | 24 | 24 1512.09/1512.54 c 1500s | 20 | 911972 | 712327 | 19212 91 | 24 | 24 1514.19/1514.64 c 1502s | 20 | 913307 | 713027 | 19212 91 | 24 | 24 1516.19/1516.66 c 1504s | 20 | 918629 | 715427 | 19212 91 | 24 | 24 1518.29/1518.73 c 1506s | 20 | 921998 | 716927 | 19212 91 | 24 | 24 1520.29/1520.76 c 1508s | 20 | 925450 | 718827 | 19212 91 | 24 | 24 1522.49/1522.99 c 1510s | 20 | 928242 | 720227 | 19212 91 | 24 | 24 1524.69/1525.13 c 1512s | 20 | 929194 | 720927 | 19212 91 | 24 | 24 1526.69/1527.14 c 1514s | 20 | 930362 | 721627 | 19212 92 | 24 | 24 1528.79/1529.20 c 1516s | 20 | 932653 | 723227 | 19212 92 | 24 | 24 1530.79/1531.24 c 1519s | 20 | 935078 | 724727 | 19212 92 | 24 | 24 1532.79/1533.28 c 1521s | 20 | 937449 | 726227 | 19212 92 | 24 | 24 1534.89/1535.35 c 1523s | 20 | 939603 | 727627 | 19212 92 | 24 | 24 1536.99/1537.48 c 1525s | 20 | 941442 | 728927 | 19212 92 | 24 | 24 1539.09/1539.57 c 1527s | 20 | 943189 | 730227 | 19212 92 | 24 | 24 1541.18/1541.68 c 1529s | 20 | 945069 | 731727 | 19212 92 | 24 | 24 1543.28/1543.78 c 1531s | 20 | 947101 | 733227 | 19212 93 | 24 | 24 1545.38/1545.83 c 1533s | 20 | 949424 | 734827 | 19212 93 | 24 | 24 1547.49/1547.92 c 1535s | 20 | 952059 | 736327 | 19212 93 | 24 | 24 1549.48/1549.98 c 1537s | 20 | 954804 | 737927 | 19212 93 | 24 | 24 1551.58/1552.06 c 1539s | 20 | 957141 | 739327 | 19212 93 | 24 | 24 1553.68/1554.16 c 1541s | 20 | 959102 | 740927 | 19212 93 | 24 | 24 1555.68/1556.19 c 1543s | 20 | 960845 | 742227 | 19212 94 | 24 | 24 1557.78/1558.20 c 1545s | 20 | 962663 | 743627 | 19212 94 | 24 | 24 1559.78/1560.22 c 1547s | 20 | 964769 | 745227 | 19212 94 | 24 | 24 1561.88/1562.34 c 1550s | 20 | 967036 | 746827 | 19212 94 | 24 | 24 1564.08/1564.50 c 1552s | 20 | 969121 | 748227 | 19212 94 | 24 | 24 1566.09/1566.54 c 1554s | 20 | 971218 | 749627 | 19212 94 | 24 | 24 1568.18/1568.64 c 1556s | 20 | 973388 | 751227 | 19212 94 | 24 | 24 1570.28/1570.75 c 1558s | 20 | 975417 | 752727 | 19212 95 | 24 | 24 1572.28/1572.76 c 1560s | 20 | 977717 | 754427 | 19212 95 | 24 | 24 1575.68/1576.19 c 1563s | 20 | 979747 | 755827 | 19212 95 | 24 | 24 1577.78/1578.22 c 1565s | 20 | 981914 | 757327 | 19212 95 | 24 | 24 1579.78/1580.28 c 1568s | 20 | 984194 | 758927 | 19212 95 | 24 | 24 1581.88/1582.38 c 1570s | 20 | 986514 | 760527 | 19212 95 | 24 | 24 1583.98/1584.46 c 1572s | 20 | 988760 | 761927 | 19212 95 | 24 | 24 1586.07/1586.58 c 1574s | 20 | 989637 | 762627 | 19212 96 | 24 | 24 1588.18/1588.64 c 1576s | 20 | 991417 | 764027 | 19212 96 | 24 | 24 1590.28/1590.76 c 1578s | 20 | 993344 | 765527 | 19212 96 | 24 | 24 1592.37/1592.88 c 1580s | 20 | 995176 | 767027 | 19212 96 | 24 | 24 1594.47/1594.99 c 1582s | 20 | 997073 | 768527 | 19212 96 | 24 | 24 1596.57/1597.04 c 1584s | 20 | 998971 | 769927 | 19212 96 | 24 | 24 1598.68/1599.19 c 1586s | 20 | 1000873 | 771327 | 19212 96 | 24 | 24 1600.68/1601.19 c 1588s | 20 | 1002479 | 772627 | 19212 97 | 24 | 24 1602.78/1603.25 c 1591s | 20 | 1004666 | 774227 | 19212 97 | 24 | 24 1604.78/1605.29 c 1593s | 20 | 1006831 | 776027 | 19212 97 | 24 | 24 1606.88/1607.38 c 1595s | 20 | 1008503 | 777327 | 19212 97 | 24 | 24 1608.98/1609.50 c 1597s | 20 | 1010731 | 778927 | 19212 97 | 24 | 24 1611.08/1611.58 c 1599s | 20 | 1013123 | 780627 | 19212 97 | 24 | 24 1613.18/1613.68 c 1601s | 20 | 1015116 | 782327 | 19212 97 | 24 | 24 1615.18/1615.69 c 1603s | 20 | 1017230 | 783827 | 19212 98 | 24 | 24 1617.28/1617.76 c 1605s | 20 | 1019284 | 785327 | 19212 98 | 24 | 24 1619.38/1619.88 c 1607s | 20 | 1021663 | 786727 | 19212 98 | 24 | 24 1621.47/1621.92 c 1609s | 20 | 1023878 | 788127 | 19212 98 | 24 | 24 1623.57/1624.03 c 1611s | 20 | 1025785 | 789627 | 19212 98 | 24 | 24 1625.58/1626.07 c 1613s | 20 | 1027476 | 791027 | 19212 98 | 24 | 24 1627.57/1628.07 c 1615s | 20 | 1029706 | 792427 | 19212 98 | 24 | 24 1629.67/1630.18 c 1617s | 20 | 1031330 | 793427 | 19212 99 | 24 | 24 1631.78/1632.28 c 1620s | 20 | 1032421 | 794127 | 19212 99 | 24 | 24 1633.97/1634.42 c 1622s | 20 | 1034767 | 795627 | 19212 99 | 24 | 24 1635.97/1636.47 c 1624s | 20 | 1036416 | 797027 | 19212 99 | 24 | 24 1637.97/1638.49 c 1626s | 20 | 1038124 | 798427 | 19212 99 | 24 | 24 1640.07/1640.53 c 1628s | 20 | 1039797 | 799827 | 19212 99 | 24 | 24 1642.17/1642.68 c 1630s | 20 | 1041336 | 800927 | 19212 99 | 24 | 24 1644.18/1644.68 c 1632s | 20 | 1043338 | 802327 | 19212 99 | 24 | 24 1646.27/1646.78 c 1634s | 20 | 1045227 | 803827 | 19212 100 | 24 | 24 1648.37/1648.80 c 1636s | 20 | 1047334 | 805327 | 19212 100 | 24 | 24 1650.37/1650.84 c 1638s | 20 | 1049579 | 806927 | 19212 100 | 24 | 24 1652.37/1652.87 c 1640s | 20 | 1051849 | 808427 | 19212 100 | 24 | 24 1654.47/1654.99 c 1642s | 20 | 1053690 | 809927 | 19212 100 | 24 | 24 1656.57/1657.00 c 1644s | 20 | 1055252 | 811227 | 19212 100 | 24 | 24 1658.67/1659.15 c 1646s | 20 | 1057416 | 812927 | 19212 101 | 24 | 24 1660.78/1661.25 c 1649s | 20 | 1059745 | 814527 | 19212 101 | 24 | 24 1662.77/1663.27 c 1651s | 20 | 1061881 | 816127 | 19212 101 | 24 | 24 1664.87/1665.31 c 1653s | 20 | 1063527 | 817227 | 19212 101 | 24 | 24 1666.97/1667.44 c 1655s | 20 | 1065687 | 818627 | 19212 101 | 24 | 24 1669.07/1669.54 c 1657s | 20 | 1067697 | 819927 | 19212 101 | 24 | 24 1671.07/1671.54 c 1659s | 20 | 1068875 | 821027 | 19212 101 | 24 | 24 1673.17/1673.66 c 1661s | 20 | 1070489 | 822227 | 19212 101 | 24 | 24 1675.37/1675.81 c 1663s | 20 | 1072366 | 823427 | 19212 102 | 24 | 24 1678.47/1678.90 c 1666s | 20 | 1074363 | 824827 | 19212 102 | 24 | 24 1680.47/1680.92 c 1668s | 20 | 1076267 | 826427 | 19212 102 | 24 | 24 1682.57/1683.02 c 1670s | 20 | 1078396 | 827927 | 19212 102 | 24 | 24 1684.76/1685.27 c 1673s | 20 | 1079186 | 828527 | 19212 102 | 24 | 24 1686.76/1687.28 c 1675s | 20 | 1080933 | 829727 | 19212 102 | 24 | 24 1688.86/1689.38 c 1677s | 20 | 1082515 | 831027 | 19212 102 | 24 | 24 1690.96/1691.43 c 1679s | 20 | 1084331 | 832327 | 19212 102 | 24 | 24 1693.06/1693.51 c 1681s | 20 | 1085814 | 833527 | 19212 103 | 24 | 24 1695.16/1695.64 c 1683s | 20 | 1087688 | 834927 | 19212 103 | 24 | 24 1697.26/1697.74 c 1685s | 20 | 1090488 | 836627 | 19212 103 | 24 | 24 1699.26/1699.78 c 1687s | 20 | 1092558 | 838027 | 19212 103 | 24 | 24 1701.36/1701.82 c 1689s | 20 | 1095213 | 839527 | 19212 103 | 24 | 24 1703.36/1703.86 c 1691s | 20 | 1097716 | 840927 | 19212 103 | 24 | 24 1705.46/1705.92 c 1693s | 20 | 1100413 | 842327 | 19212 103 | 24 | 24 1707.46/1707.94 c 1695s | 20 | 1102451 | 843727 | 19212 104 | 24 | 24 1709.46/1709.95 c 1697s | 20 | 1104085 | 845027 | 19212 104 | 24 | 24 1711.56/1712.05 c 1699s | 20 | 1106173 | 846827 | 19212 104 | 24 | 24 1713.66/1714.16 c 1701s | 20 | 1108208 | 848627 | 19212 104 | 24 | 24 1715.86/1716.30 c 1704s | 20 | 1110036 | 850227 | 19212 104 | 24 | 24 1717.86/1718.36 c 1706s | 20 | 1111816 | 851727 | 19212 104 | 24 | 24 1719.95/1720.40 c 1708s | 20 | 1113547 | 853227 | 19212 104 | 24 | 24 1721.95/1722.45 c 1710s | 20 | 1115262 | 854727 | 19212 105 | 24 | 24 1724.06/1724.54 c 1712s | 20 | 1116864 | 856027 | 19212 105 | 24 | 24 1726.16/1726.66 c 1714s | 20 | 1118555 | 857527 | 19212 105 | 24 | 24 1728.16/1728.67 c 1716s | 20 | 1120072 | 858927 | 19212 105 | 24 | 24 1730.26/1730.74 c 1718s | 20 | 1121629 | 860227 | 19212 105 | 24 | 24 1732.27/1732.79 c 1720s | 20 | 1123040 | 861527 | 19212 105 | 24 | 24 1734.37/1734.90 c 1722s | 20 | 1124201 | 862527 | 19212 105 | 24 | 24 1736.46/1736.92 c 1724s | 20 | 1125881 | 863627 | 19212 106 | 24 | 24 1738.46/1738.97 c 1726s | 20 | 1127854 | 864827 | 19212 106 | 24 | 24 1740.66/1741.12 c 1728s | 20 | 1130198 | 866427 | 19212 106 | 24 | 24 1742.66/1743.15 c 1730s | 20 | 1132034 | 867927 | 19212 106 | 24 | 24 1744.76/1745.29 c 1733s | 20 | 1133986 | 869527 | 19212 106 | 24 | 24 1746.96/1747.41 c 1735s | 20 | 1135650 | 871027 | 19212 106 | 24 | 24 1748.96/1749.43 c 1737s | 20 | 1137313 | 872427 | 19212 106 | 24 | 24 1751.05/1751.53 c 1739s | 20 | 1138881 | 873727 | 19212 107 | 24 | 24 1753.16/1753.64 c 1741s | 20 | 1140828 | 875427 | 19212 107 | 24 | 24 1755.15/1755.67 c 1743s | 20 | 1142685 | 877027 | 19212 107 | 24 | 24 1757.25/1757.74 c 1745s | 20 | 1144513 | 878627 | 19212 107 | 24 | 24 1759.25/1759.79 c 1747s | 20 | 1146279 | 880027 | 19212 107 | 24 | 24 1761.45/1761.93 c 1749s | 20 | 1148131 | 881627 | 19212 107 | 24 | 24 1763.55/1764.01 c 1751s | 20 | 1149845 | 883027 | 19212 107 | 24 | 24 1765.75/1766.24 c 1753s | 20 | 1151368 | 884227 | 19212 108 | 24 | 24 1767.85/1768.30 c 1756s | 20 | 1153314 | 885727 | 19212 108 | 24 | 24 1771.05/1771.52 c 1759s | 20 | 1154683 | 886927 | 19212 108 | 24 | 24 1773.05/1773.59 c 1761s | 20 | 1156552 | 888527 | 19212 108 | 24 | 24 1775.15/1775.61 c 1763s | 20 | 1157815 | 889727 | 19212 108 | 24 | 24 1777.25/1777.72 c 1765s | 20 | 1159289 | 891127 | 19212 108 | 24 | 24 1779.25/1779.77 c 1767s | 20 | 1160838 | 892527 | 19212 108 | 24 | 24 1783.45/1783.92 c 1771s | 20 | 1162467 | 893927 | 19212 109 | 24 | 24 1785.45/1785.96 c 1773s | 20 | 1163979 | 895227 | 19212 109 | 24 | 24 1787.55/1788.03 c 1775s | 20 | 1165614 | 896727 | 19212 109 | 24 | 24 1789.65/1790.15 c 1777s | 20 | 1167287 | 898227 | 19212 109 | 24 | 24 1791.66/1792.15 c 1779s | 20 | 1168973 | 899727 | 19212 109 | 24 | 24 1793.76/1794.24 c 1781s | 20 | 1170529 | 901127 | 19212 109 | 24 | 24 1795.85/1796.30 c 1784s | 20 | 1172243 | 902527 | 19212 109 | 24 | 24 1797.85/1798.39 c 1786s | 20 | 1173646 | 903827 | 19212 109 | 24 | 24 1799.95/1800.45 c 1788s | 20 | 1174423 | 904527 | 19212 110 | 24 | 24
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-4101249-1466222371/watcher-4101249-1466222371 -o /tmp/evaluation-result-4101249-1466222371/solver-4101249-1466222371 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23293 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101249-1466222371.opb pid=25926 running on 4 cores: 1,3,5,7 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: 1.92 1.99 1.99 3/178 25929 /proc/meminfo: memFree=30579248/32872528 swapFree=7780/7780 [pid=25929] ppid=25926 vsize=701884 CPUtime=0 cores=1,3,5,7 /proc/25929/stat : 25929 (toysat) R 25926 25929 23276 0 -1 4202496 2612 0 0 0 0 0 0 0 20 0 4 0 24281977 718729216 2972 33554432000 4194304 16246674 140735979036944 140735979036368 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25929/statm: 175983 2983 441 2943 0 172877 0 [pid=25929/tid=25930] ppid=25926 vsize=718268 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25930/stat : 25930 (toysat) S 25926 25929 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281977 735506432 3040 33554432000 4194304 16246674 140735979036944 140460181925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25929/tid=25931] ppid=25926 vsize=723388 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25931/stat : 25931 (toysat) S 25926 25929 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281977 740749312 3058 33554432000 4194304 16246674 140735979036944 140460171435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25929/tid=25932] ppid=25926 vsize=727484 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24281977 744943616 3074 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100173 s] /proc/loadavg: 1.92 1.99 1.99 3/178 25929 /proc/meminfo: memFree=30579248/32872528 swapFree=7780/7780 [pid=25929] ppid=25926 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/25929/stat : 25929 (toysat) R 25926 25929 23276 0 -1 4202496 27609 0 0 0 6 3 0 0 20 0 4 0 24281977 1333334016 27908 33554432000 4194304 16246674 140735979036944 140735979036256 7378241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25929/statm: 325521 27923 800 2943 0 322415 0 [pid=25929/tid=25930] ppid=25926 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25930/stat : 25930 (toysat) S 25926 25929 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281977 1333334016 27935 33554432000 4194304 16246674 140735979036944 140460181925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25929/tid=25931] ppid=25926 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25931/stat : 25931 (toysat) S 25926 25929 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281977 1333334016 27945 33554432000 4194304 16246674 140735979036944 140460171435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25929/tid=25932] ppid=25926 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281977 1333334016 27958 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200532 s] /proc/loadavg: 1.92 1.99 1.99 3/178 25929 /proc/meminfo: memFree=30579248/32872528 swapFree=7780/7780 [pid=25929] ppid=25926 vsize=1302084 CPUtime=0.19 cores=1,3,5,7 /proc/25929/stat : 25929 (toysat) R 25926 25929 23276 0 -1 4202496 47157 0 0 0 13 6 0 0 20 0 4 0 24281977 1333334016 47455 33554432000 4194304 16246674 140735979036944 140735979036256 12449399 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25929/statm: 325521 47470 820 2943 0 322415 0 [pid=25929/tid=25930] ppid=25926 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25930/stat : 25930 (toysat) S 25926 25929 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281977 1333334016 47480 33554432000 4194304 16246674 140735979036944 140460181925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25929/tid=25931] ppid=25926 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25931/stat : 25931 (toysat) S 25926 25929 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281977 1333334016 47488 33554432000 4194304 16246674 140735979036944 140460171435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25929/tid=25932] ppid=25926 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281977 1333334016 47497 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1302084 [startup+0.300493 s] /proc/loadavg: 1.92 1.99 1.99 3/178 25929 /proc/meminfo: memFree=30579248/32872528 swapFree=7780/7780 [pid=25929] ppid=25926 vsize=1302084 CPUtime=0.29 cores=1,3,5,7 /proc/25929/stat : 25929 (toysat) R 25926 25929 23276 0 -1 4202496 71113 0 0 0 21 8 0 0 20 0 4 0 24281977 1333334016 71412 33554432000 4194304 16246674 140735979036944 140735979036256 12654533 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25929/statm: 325521 71427 831 2943 0 322415 0 [pid=25929/tid=25930] ppid=25926 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25930/stat : 25930 (toysat) S 25926 25929 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281977 1333334016 71436 33554432000 4194304 16246674 140735979036944 140460181925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25929/tid=25931] ppid=25926 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25931/stat : 25931 (toysat) S 25926 25929 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281977 1333334016 71446 33554432000 4194304 16246674 140735979036944 140460171435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25929/tid=25932] ppid=25926 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281977 1333334016 71455 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1302084 [startup+0.70041 s] /proc/loadavg: 1.92 1.99 1.99 3/178 25929 /proc/meminfo: memFree=30579248/32872528 swapFree=7780/7780 [pid=25929] ppid=25926 vsize=1302084 CPUtime=0.69 cores=1,3,5,7 /proc/25929/stat : 25929 (toysat) R 25926 25929 23276 0 -1 4202496 170476 0 0 0 48 21 0 0 20 0 4 0 24281977 1333334016 170775 33554432000 4194304 16246674 140735979036944 140735979036256 12371341 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25929/statm: 325521 170787 831 2943 0 322415 0 [pid=25929/tid=25930] ppid=25926 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25930/stat : 25930 (toysat) S 25926 25929 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281977 1333334016 170794 33554432000 4194304 16246674 140735979036944 140460181925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25929/tid=25931] ppid=25926 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25931/stat : 25931 (toysat) S 25926 25929 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281977 1333334016 170802 33554432000 4194304 16246674 140735979036944 140460171435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25929/tid=25932] ppid=25926 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281977 1333334016 170809 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1302084 [startup+1.50043 s] /proc/loadavg: 1.92 1.99 1.99 3/183 25934 /proc/meminfo: memFree=29509768/32872528 swapFree=7780/7780 [pid=25929] ppid=25926 vsize=1323588 CPUtime=1.49 cores=1,3,5,7 /proc/25929/stat : 25929 (toysat) R 25926 25929 23276 0 -1 4202496 271857 0 0 0 114 35 0 0 20 0 4 0 24281977 1355354112 272155 33554432000 4194304 16246674 140735979036944 140735979036256 12652841 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25929/statm: 330897 272155 832 2943 0 327791 0 [pid=25929/tid=25930] ppid=25926 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25930/stat : 25930 (toysat) S 25926 25929 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281977 1355354112 272155 33554432000 4194304 16246674 140735979036944 140460181925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25929/tid=25931] ppid=25926 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25931/stat : 25931 (toysat) S 25926 25929 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281977 1355354112 272155 33554432000 4194304 16246674 140735979036944 140460171435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25929/tid=25932] ppid=25926 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281977 1355354112 272155 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1323588 [startup+3.10042 s] /proc/loadavg: 1.92 1.99 1.99 3/183 25934 /proc/meminfo: memFree=29490284/32872528 swapFree=7780/7780 [pid=25929] ppid=25926 vsize=1323588 CPUtime=3.09 cores=1,3,5,7 /proc/25929/stat : 25929 (toysat) R 25926 25929 23276 0 -1 4202496 272022 0 0 0 274 35 0 0 20 0 4 0 24281977 1355354112 272320 33554432000 4194304 16246674 140735979036944 140735979018816 13949825 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25929/statm: 330897 272320 832 2943 0 327791 0 [pid=25929/tid=25930] ppid=25926 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25930/stat : 25930 (toysat) S 25926 25929 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281977 1355354112 272320 33554432000 4194304 16246674 140735979036944 140460181925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25929/tid=25931] ppid=25926 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25931/stat : 25931 (toysat) S 25926 25929 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281977 1355354112 272320 33554432000 4194304 16246674 140735979036944 140460171435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25929/tid=25932] ppid=25926 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281977 1355354112 272320 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1323588 [startup+6.30041 s] /proc/loadavg: 1.93 1.99 1.99 3/183 25934 /proc/meminfo: memFree=29488040/32872528 swapFree=7780/7780 [pid=25929] ppid=25926 vsize=1326660 CPUtime=6.29 cores=1,3,5,7 /proc/25929/stat : 25929 (toysat) R 25926 25929 23276 0 -1 4202496 272791 0 0 0 594 35 0 0 20 0 4 0 24281977 1358499840 273089 33554432000 4194304 16246674 140735979036944 140735979018816 12684256 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25929/statm: 331665 273089 832 2943 0 328559 0 [pid=25929/tid=25930] ppid=25926 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25930/stat : 25930 (toysat) S 25926 25929 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281977 1358499840 273089 33554432000 4194304 16246674 140735979036944 140460181925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25929/tid=25931] ppid=25926 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25931/stat : 25931 (toysat) S 25926 25929 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281977 1358499840 273089 33554432000 4194304 16246674 140735979036944 140460171435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25929/tid=25932] ppid=25926 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281977 1358499840 273089 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1326660 [startup+12.7004 s] /proc/loadavg: 1.93 1.99 1.99 3/183 25934 /proc/meminfo: memFree=29486688/32872528 swapFree=7780/7780 [pid=25929] ppid=25926 vsize=1326660 CPUtime=12.68 cores=1,3,5,7 /proc/25929/stat : 25929 (toysat) R 25926 25929 23276 0 -1 4202496 272853 0 0 0 1233 35 0 0 20 0 4 0 24281977 1358499840 273151 33554432000 4194304 16246674 140735979036944 140735979018816 5712555 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25929/statm: 331665 273151 888 2943 0 328559 0 [pid=25929/tid=25930] ppid=25926 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25930/stat : 25930 (toysat) S 25926 25929 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281977 1358499840 273151 33554432000 4194304 16246674 140735979036944 140460181925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25929/tid=25931] ppid=25926 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25931/stat : 25931 (toysat) S 25926 25929 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281977 1358499840 273151 33554432000 4194304 16246674 140735979036944 140460171435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25929/tid=25932] ppid=25926 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281977 1358499840 273151 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1326660 [startup+25.5074 s] /proc/loadavg: 1.95 1.99 1.99 3/183 25983 /proc/meminfo: memFree=29671604/32872528 swapFree=7780/7780 [pid=25929] ppid=25926 vsize=1326660 CPUtime=25.49 cores=1,3,5,7 /proc/25929/stat : 25929 (toysat) R 25926 25929 23276 0 -1 4202496 272862 0 0 0 2514 35 0 0 20 0 4 0 24281977 1358499840 273160 33554432000 4194304 16246674 140735979036944 140735979018816 12415676 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25929/statm: 331665 273160 897 2943 0 328559 0 [pid=25929/tid=25930] ppid=25926 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25930/stat : 25930 (toysat) S 25926 25929 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281977 1358499840 273160 33554432000 4194304 16246674 140735979036944 140460181925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25929/tid=25931] ppid=25926 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25931/stat : 25931 (toysat) S 25926 25929 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281977 1358499840 273160 33554432000 4194304 16246674 140735979036944 140460171435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25929/tid=25932] ppid=25926 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281977 1358499840 273160 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1326660 [startup+51.1004 s] /proc/loadavg: 1.96 1.99 1.99 3/184 25986 /proc/meminfo: memFree=29389312/32872528 swapFree=7780/7780 [pid=25929] ppid=25926 vsize=1326660 CPUtime=51.08 cores=1,3,5,7 /proc/25929/stat : 25929 (toysat) R 25926 25929 23276 0 -1 4202496 272866 0 0 0 5072 36 0 0 20 0 4 0 24281977 1358499840 273162 33554432000 4194304 16246674 140735979036944 140735979018816 12483406 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25929/statm: 331665 273162 899 2943 0 328559 0 [pid=25929/tid=25930] ppid=25926 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25930/stat : 25930 (toysat) S 25926 25929 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281977 1358499840 273162 33554432000 4194304 16246674 140735979036944 140460181925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25929/tid=25931] ppid=25926 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25931/stat : 25931 (toysat) S 25926 25929 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281977 1358499840 273162 33554432000 4194304 16246674 140735979036944 140460171435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25929/tid=25932] ppid=25926 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281977 1358499840 273162 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1326660 [startup+102.3 s] /proc/loadavg: 2.04 2.00 2.00 3/184 26009 /proc/meminfo: memFree=29388572/32872528 swapFree=7780/7780 [pid=25929] ppid=25926 vsize=1326660 CPUtime=102.26 cores=1,3,5,7 /proc/25929/stat : 25929 (toysat) R 25926 25929 23276 0 -1 4202496 272884 0 0 0 10190 36 0 0 20 0 4 0 24281977 1358499840 273162 33554432000 4194304 16246674 140735979036944 140735979018816 12483212 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25929/statm: 331665 273162 899 2943 0 328559 0 [pid=25929/tid=25930] ppid=25926 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25930/stat : 25930 (toysat) S 25926 25929 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281977 1358499840 273162 33554432000 4194304 16246674 140735979036944 140460181925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25929/tid=25931] ppid=25926 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25931/stat : 25931 (toysat) S 25926 25929 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281977 1358499840 273162 33554432000 4194304 16246674 140735979036944 140460171435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25929/tid=25932] ppid=25926 vsize=1326660 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281977 1358499840 273162 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1326660 ################ # More data... # ################ /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 1406532 [startup+1302.3 s] /proc/loadavg: 2.02 2.04 2.00 3/183 26039 /proc/meminfo: memFree=28635964/32872528 swapFree=7780/7780 [pid=25929] ppid=25926 vsize=1406532 CPUtime=1301.92 cores=1,3,5,7 /proc/25929/stat : 25929 (toysat) R 25926 25929 23276 0 -1 4202496 293158 0 0 0 130143 49 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140735979018816 5545844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25929/statm: 351633 293130 899 2943 0 348527 0 [pid=25929/tid=25930] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25930/stat : 25930 (toysat) S 25926 25929 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460181925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25929/tid=25931] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25931/stat : 25931 (toysat) S 25926 25929 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460171435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25929/tid=25932] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1406532 [startup+1362.3 s] /proc/loadavg: 2.00 2.03 2.00 3/183 26040 /proc/meminfo: memFree=28635996/32872528 swapFree=7780/7780 [pid=25929] ppid=25926 vsize=1406532 CPUtime=1361.91 cores=1,3,5,7 /proc/25929/stat : 25929 (toysat) R 25926 25929 23276 0 -1 4202496 293158 0 0 0 136141 50 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140735979018816 5711916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25929/statm: 351633 293130 899 2943 0 348527 0 [pid=25929/tid=25930] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25930/stat : 25930 (toysat) S 25926 25929 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460181925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25929/tid=25931] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25931/stat : 25931 (toysat) S 25926 25929 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460171435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25929/tid=25932] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1406532 [startup+1422.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 26041 /proc/meminfo: memFree=28635868/32872528 swapFree=7780/7780 [pid=25929] ppid=25926 vsize=1406532 CPUtime=1421.9 cores=1,3,5,7 /proc/25929/stat : 25929 (toysat) R 25926 25929 23276 0 -1 4202496 293158 0 0 0 142140 50 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140735979018816 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25929/statm: 351633 293130 899 2943 0 348527 0 [pid=25929/tid=25930] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25930/stat : 25930 (toysat) S 25926 25929 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460181925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25929/tid=25931] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25931/stat : 25931 (toysat) S 25926 25929 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460171435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25929/tid=25932] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1406532 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 26042 /proc/meminfo: memFree=28635596/32872528 swapFree=7780/7780 [pid=25929] ppid=25926 vsize=1406532 CPUtime=1481.9 cores=1,3,5,7 /proc/25929/stat : 25929 (toysat) R 25926 25929 23276 0 -1 4202496 293158 0 0 0 148139 51 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140735979018816 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25929/statm: 351633 293130 899 2943 0 348527 0 [pid=25929/tid=25930] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25930/stat : 25930 (toysat) S 25926 25929 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460181925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25929/tid=25931] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25931/stat : 25931 (toysat) S 25926 25929 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460171435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25929/tid=25932] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1406532 [startup+1542.3 s] /proc/loadavg: 2.03 2.03 2.00 3/183 26044 /proc/meminfo: memFree=28356740/32872528 swapFree=7780/7780 [pid=25929] ppid=25926 vsize=1406532 CPUtime=1541.89 cores=1,3,5,7 /proc/25929/stat : 25929 (toysat) R 25926 25929 23276 0 -1 4202496 293158 0 0 0 154138 51 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140735979018816 5722952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25929/statm: 351633 293130 899 2943 0 348527 0 [pid=25929/tid=25930] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25930/stat : 25930 (toysat) S 25926 25929 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460181925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25929/tid=25931] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25931/stat : 25931 (toysat) S 25926 25929 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460171435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25929/tid=25932] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1406532 [startup+1602.3 s] /proc/loadavg: 2.11 2.05 2.01 3/183 26045 /proc/meminfo: memFree=28356768/32872528 swapFree=7780/7780 [pid=25929] ppid=25926 vsize=1406532 CPUtime=1601.88 cores=1,3,5,7 /proc/25929/stat : 25929 (toysat) R 25926 25929 23276 0 -1 4202496 293158 0 0 0 160136 52 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140735979018816 13781188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25929/statm: 351633 293130 899 2943 0 348527 0 [pid=25929/tid=25930] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25930/stat : 25930 (toysat) S 25926 25929 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460181925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25929/tid=25931] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25931/stat : 25931 (toysat) S 25926 25929 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460171435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25929/tid=25932] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1406532 [startup+1662.31 s] /proc/loadavg: 2.04 2.04 2.00 3/183 26046 /proc/meminfo: memFree=28356556/32872528 swapFree=7780/7780 [pid=25929] ppid=25926 vsize=1406532 CPUtime=1661.88 cores=1,3,5,7 /proc/25929/stat : 25929 (toysat) R 25926 25929 23276 0 -1 4202496 293158 0 0 0 166135 53 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140735979018816 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25929/statm: 351633 293130 899 2943 0 348527 0 [pid=25929/tid=25930] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25930/stat : 25930 (toysat) S 25926 25929 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460181925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25929/tid=25931] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25931/stat : 25931 (toysat) S 25926 25929 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460171435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25929/tid=25932] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1406532 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 2.00 3/183 26047 /proc/meminfo: memFree=28356332/32872528 swapFree=7780/7780 [pid=25929] ppid=25926 vsize=1406532 CPUtime=1721.85 cores=1,3,5,7 /proc/25929/stat : 25929 (toysat) R 25926 25929 23276 0 -1 4202496 293158 0 0 0 172132 53 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140735979019944 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25929/statm: 351633 293130 899 2943 0 348527 0 [pid=25929/tid=25930] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25930/stat : 25930 (toysat) S 25926 25929 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460181925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25929/tid=25931] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25931/stat : 25931 (toysat) S 25926 25929 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460171435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25929/tid=25932] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1406532 [startup+1782.3 s] /proc/loadavg: 2.07 2.04 2.00 3/183 26048 /proc/meminfo: memFree=28356236/32872528 swapFree=7780/7780 [pid=25929] ppid=25926 vsize=1406532 CPUtime=1781.84 cores=1,3,5,7 /proc/25929/stat : 25929 (toysat) R 25926 25929 23276 0 -1 4202496 293158 0 0 0 178130 54 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140735979036120 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25929/statm: 351633 293130 899 2943 0 348527 0 [pid=25929/tid=25930] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25930/stat : 25930 (toysat) S 25926 25929 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460181925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25929/tid=25931] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25931/stat : 25931 (toysat) S 25926 25929 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460171435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25929/tid=25932] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1406532 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.05 2.03 2.00 3/183 26048 /proc/meminfo: memFree=28356084/32872528 swapFree=7780/7780 [pid=25929] ppid=25926 vsize=1406532 CPUtime=1800.05 cores=1,3,5,7 /proc/25929/stat : 25929 (toysat) R 25926 25929 23276 0 -1 4202496 293158 0 0 0 179950 55 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140735979018816 5599933 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/25929/statm: 351633 293130 899 2943 0 348527 0 [pid=25929/tid=25930] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25930/stat : 25930 (toysat) S 25926 25929 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460181925104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=25929/tid=25931] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25931/stat : 25931 (toysat) S 25926 25929 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460171435248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=25929/tid=25932] ppid=25926 vsize=1406532 CPUtime=0 cores=1,3,5,7 /proc/25929/task/25932/stat : 25932 (toysat) S 25926 25929 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281977 1440288768 293130 33554432000 4194304 16246674 140735979036944 140460160961712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1406532 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 25929 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1799.51 CPU system time (s): 0.552915 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (KiB): 1406532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.552915 maximum resident set size= 1172520 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 293158 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= 340 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.42133 second user time and 7.36188 second system time The end
Begin job on node151 at 2016-06-18 05:59:32 IDJOB=4101249 IDBENCH=1719 IDSOLVER=2542 FILE ID=node151/4101249-1466222371 RUNJOBID= node151-1466206051-23293 PBS_JOBID= 19918135 Free space on /tmp= 71728 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-grow7.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101249-1466222371/watcher-4101249-1466222371 -o /tmp/evaluation-result-4101249-1466222371/solver-4101249-1466222371 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23293 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101249-1466222371.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8d33b9e58f24eb64e3fc155c85c275f1 RANDOM SEED=1623322733 node151.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 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 : 5334.20 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 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 : 2667.103 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 : 2667.103 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 : 2667.103 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30579620 kB Buffers: 101264 kB Cached: 252196 kB SwapCached: 1996 kB Active: 1298072 kB Inactive: 250308 kB Active(anon): 1195740 kB Inactive(anon): 1788 kB Active(file): 102332 kB Inactive(file): 248520 kB Unevictable: 7780 kB Mlocked: 7780 kB SwapTotal: 67108856 kB SwapFree: 67099228 kB Dirty: 16884 kB Writeback: 0 kB AnonPages: 1204384 kB Mapped: 11912 kB Shmem: 0 kB Slab: 604076 kB SReclaimable: 47428 kB SUnreclaim: 556648 kB KernelStack: 1480 kB PageTables: 6588 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1343460 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71700 MiB End job on node151 at 2016-06-18 06:29:32