Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.61 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo |
MD5SUM | 5648463b311d39ee56e08f95de13a148 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MSAT |
Best cost obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 5100 |
Total number of constraints | 202 |
Number of soft constraints | 71 |
Number of constraints which are clauses | 102 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 50 |
Maximum length of a constraint | 51 |
Top cost | 3850 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 3849 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 52 |
Number of bits of the biggest sum of numbers | 6 |
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-16T13:44:11+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","--wbo","--search=bcd2","HOME/instance-4093327-1466077451.wbo"] 0.00/0.01 c use --random-gen="140074788 3498453838 1962229995 3697725023 3058687858 3698119189 2399455359 3576978896 2784610403 740777711 413518098 1568054698 2961227081 1725945773 1289906326 2728471163 3018961979 3627066351 2201523309 3063944026 2527511368 1978406565 1863066483 1163294481 1021251125 1953842618 157153163 2762087948 2266742392 4034317926 4056547236 2806529098 2795190859 1719635942 1458198541 1863735134 2426295725 133498722 3266052534 1096352935 3185182655 3738500395 1819235458 3129037058 2587621712 245170043 1634741214 118361385 3676720684 656231079 3057316674 1688055840 1185868178 1235156027 1950176119 751597437 3135799383 3366262687 3359045965 2523355868 293292765 3313216228 3781887762 1338276407 4179796455 1336343462 2387804449 3406652837 4170940691 2189306144 4073115360 3302308266 435039279 2455818258 1147850928 4011477247 2971237572 190819850 1207795694 3900585154 4049732858 1593756666 2515611244 1420293192 3282097906 2941891526 2422553626 91498710 800965595 3952473110 1348229841 1185680879 3042940621 1697464877 2246158666 259744015 4160559580 2637821922 193407033 128008228 2326706205 2883761740 1572022048 3956172315 3001676776 850292808 4168823162 2724450447 2935269434 1768361523 2661017254 3498177383 3014795466 3740135931 3443016658 4232087592 2774163347 2947984461 1292427733 3511946253 1331745474 1226164393 1279568753 3323581238 1040202490 2576584683 2331915655 2552561362 137460586 4240515235 3235469459 482615997 18736683 3299776672 354505052 3676356797 3136962229 1077783843 1620686685 442640695 276078686 584571541 3458728600 2988890613 2227299101 3077982457 930039790 4129265194 929070502 4288041531 1661405610 1475987179 3803720300 4123975055 265426954 1402140759 1396402336 1548564533 1075136714 2604710983 3051855582 2441804867 3095111280 4290905141 2016536021 164538902 1001362247 3488543064 2529215183 1128912160 1197654854 59493969 1720646661 4283276443 3184082567 2060230959 4114233076 2254315293 3234760133 1353599602 3135668896 2274237209 1885313810 1014362185 290673867 1529224694 3429823997 3119680235 1168401797 4011717677 3046712446 3904371424 1887785935 1140149774 63615732 953073264 3767550134 2814525522 4218681713 293493710 3536361565 1820111949 3389635728 3732911097 1236720099 3959445 1510346893 1256382887 2101173823 914047535 3049253146 3250364886 987115357 3448994923 997016562 3257056516 3430958246 4206664333 788733124 2347601074 403523065 187646370 3057951268 571196777 3123165432 3970872578 195844473 1627472014 237507307 3310018380 1359441235 218328399 3737411844 726715024 1657041150 3142338833 916376256 3545918843 2537317376 3827743310 3266411602 358796555 4139356753 2973012718 3388120724 1080524398 856442844 96986893 2064556322 3309127026 370775748 4179176562 904975174 3406314155 1123439393 3646216754 255 362436" option to reproduce the execution 0.18/0.24 c #vars 5100 0.18/0.24 c #constraints 202 0.18/0.39 c BCD2: Hardening is enabled. 0.18/0.39 c BCD2: BiasedSearch is enabled. 0.18/0.39 c Solving starts ... 0.18/0.39 c ============================[ Search Statistics ]============================ 0.18/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.39 c | | | | Limit GC | Var | Constra 0.18/0.39 c ============================================================================= 0.18/0.39 c 0.0s | 0 | 0 | 0 | 1791 0 | 0 | 0 0.18/0.39 c 0.1s | 1 | 238 | 100 | 1791 0 | 0 | 0 0.18/0.39 c 0.1s | 1 | 2676 | 101 | 1971 0 | 0 | 0 0.18/0.39 c #cpu_time = 0.075s 0.18/0.39 c #wall_clock_time = 0.075s 0.18/0.39 c #decision = 2676 0.18/0.39 c #random_decision = 5 0.18/0.39 c #conflict = 101 0.18/0.39 c #restart = 1 0.18/0.39 o 2228 0.18/0.39 c BCD2: updating upper bound: 3849 -> 2227 0.18/0.39 c BCD2: 0 <= obj <= 2227 0.18/0.39 c BCD2: #cores=0, #unrelaxed=71, #relaxed=0, #hardened=0 0.18/0.39 c BCD2: #sat=1 #unsat=1 bias=1/2 0.18/0.39 c Solving starts ... 0.18/0.39 c ============================[ Search Statistics ]============================ 0.18/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.39 c | | | | Limit GC | Var | Constra 0.18/0.39 c ============================================================================= 0.18/0.39 c 0.0s | 0 | 0 | 0 | 1971 0 | 0 | 0 0.18/0.39 c 0.0s | 1 | 577 | 100 | 1971 0 | 0 | 0 0.49/0.55 c 0.2s | 2 | 1924 | 250 | 2169 0 | 0 | 0 0.79/0.87 c 0.5s | 3 | 4198 | 475 | 2386 0 | 0 | 0 1.18/1.26 c 0.9s | 4 | 7430 | 813 | 2625 0 | 0 | 0 1.89/1.91 c 1.6s | 5 | 9617 | 1320 | 2888 0 | 0 | 0 2.69/2.78 c 2.4s | 6 | 11855 | 2081 | 3177 0 | 0 | 0 4.19/4.22 c 3.9s | 7 | 14480 | 3223 | 3495 0 | 0 | 0 6.19/6.28 c 5.9s | 7 | 17422 | 4623 | 3495 0 | 0 | 0 6.80/6.88 c 6.5s | 8 | 17751 | 4936 | 3845 0 | 0 | 0 8.89/8.98 c 8.6s | 8 | 20874 | 6536 | 3845 1 | 0 | 0 10.49/10.56 c 10.2s | 9 | 22047 | 7506 | 4230 1 | 0 | 0 12.59/12.66 c 12.3s | 9 | 25678 | 8606 | 4230 2 | 0 | 0 14.79/14.80 c 14.5s | 9 | 26960 | 9706 | 4230 2 | 0 | 0 16.79/16.81 c 16.5s | 9 | 27864 | 10506 | 4230 2 | 0 | 0 18.78/18.82 c 18.5s | 9 | 28624 | 11206 | 4653 2 | 0 | 0 19.18/19.26 c 18.9s | 10 | 28805 | 11361 | 4653 2 | 0 | 0 21.28/21.38 c 21.0s | 10 | 31894 | 12461 | 4653 3 | 0 | 0 23.39/23.43 c 23.1s | 10 | 32979 | 13361 | 4653 3 | 0 | 0 25.38/25.46 c 25.1s | 10 | 33900 | 14161 | 4653 3 | 0 | 0 27.38/27.48 c 27.1s | 10 | 34837 | 14961 | 4653 3 | 0 | 0 29.58/29.67 c 29.3s | 10 | 35760 | 15761 | 4653 4 | 0 | 0 31.78/31.89 c 31.5s | 10 | 36669 | 16561 | 4653 4 | 0 | 0 33.68/33.74 c 33.4s | 11 | 37334 | 17144 | 5119 4 | 0 | 0 35.78/35.81 c 35.5s | 11 | 41485 | 18244 | 5119 5 | 0 | 0 37.78/37.89 c 37.5s | 11 | 45889 | 20044 | 5119 5 | 0 | 0 39.98/40.08 c 39.7s | 11 | 47254 | 21144 | 5119 5 | 0 | 0 42.18/42.25 c 41.9s | 11 | 48324 | 22044 | 5119 5 | 0 | 0 44.19/44.27 c 43.9s | 11 | 49127 | 22744 | 5119 5 | 0 | 0 46.39/46.43 c 46.1s | 11 | 49926 | 23444 | 5119 5 | 0 | 0 48.78/48.80 c 48.4s | 11 | 50736 | 24144 | 5119 5 | 0 | 0 50.98/51.04 c 50.7s | 11 | 51401 | 24744 | 5119 6 | 0 | 0 53.18/53.20 c 52.9s | 11 | 52105 | 25344 | 5119 6 | 0 | 0 54.88/54.98 c 54.6s | 12 | 52676 | 25819 | 5631 6 | 0 | 0 56.88/57.00 c 56.6s | 12 | 57010 | 26719 | 5631 7 | 0 | 0 58.98/59.06 c 58.7s | 12 | 58490 | 28019 | 5631 7 | 0 | 0 61.08/61.15 c 60.8s | 12 | 59790 | 29119 | 5631 7 | 0 | 0 63.18/63.28 c 62.9s | 12 | 60907 | 30119 | 5631 7 | 0 | 0 65.38/65.42 c 65.1s | 12 | 61799 | 30919 | 5631 8 | 0 | 0 67.58/67.64 c 67.3s | 12 | 62855 | 31819 | 5631 8 | 0 | 0 69.68/69.72 c 69.4s | 12 | 63749 | 32619 | 5631 8 | 0 | 0 71.87/71.96 c 71.6s | 12 | 64661 | 33419 | 5631 8 | 0 | 0 74.17/74.20 c 73.9s | 12 | 65531 | 34219 | 5631 8 | 0 | 0 76.37/76.48 c 76.1s | 12 | 66301 | 34919 | 5631 8 | 0 | 0 78.47/78.54 c 78.2s | 12 | 67183 | 35619 | 5631 9 | 0 | 0 80.67/80.77 c 80.4s | 12 | 68142 | 36419 | 5631 9 | 0 | 0 82.87/82.90 c 82.6s | 12 | 68957 | 37119 | 5631 9 | 0 | 0 85.07/85.10 c 84.7s | 12 | 69766 | 37819 | 5631 9 | 0 | 0 87.27/87.33 c 87.0s | 12 | 70566 | 38519 | 6195 9 | 0 | 0 88.28/88.37 c 88.0s | 13 | 70916 | 38832 | 6195 9 | 0 | 0 90.38/90.41 c 90.1s | 13 | 73697 | 40032 | 6195 10 | 0 | 0 92.47/92.55 c 92.2s | 13 | 75288 | 41432 | 6195 10 | 0 | 0 94.57/94.63 c 94.3s | 13 | 76545 | 42532 | 6195 10 | 0 | 0 96.67/96.74 c 96.4s | 13 | 77642 | 43532 | 6195 10 | 0 | 0 98.67/98.76 c 98.4s | 13 | 78512 | 44332 | 6195 11 | 0 | 0 100.67/100.78 c 100s | 13 | 79535 | 45232 | 6195 11 | 0 | 0 102.77/102.89 c 102s | 13 | 80540 | 46132 | 6195 11 | 0 | 0 104.87/104.93 c 104s | 13 | 81407 | 46932 | 6195 11 | 0 | 0 106.98/107.03 c 106s | 13 | 82315 | 47732 | 6195 11 | 0 | 0 108.97/109.08 c 108s | 13 | 83351 | 48632 | 6195 12 | 0 | 0 111.17/111.22 c 110s | 13 | 84256 | 49432 | 6195 12 | 0 | 0 113.36/113.46 c 113s | 13 | 85146 | 50232 | 6195 12 | 0 | 0 115.46/115.58 c 115s | 13 | 86061 | 51032 | 6195 12 | 0 | 0 117.66/117.70 c 117s | 13 | 86849 | 51732 | 6195 12 | 0 | 0 119.87/119.98 c 119s | 13 | 87618 | 52432 | 6195 13 | 0 | 0 121.97/122.07 c 121s | 13 | 88405 | 53132 | 6195 13 | 0 | 0 123.97/124.08 c 123s | 13 | 89424 | 54032 | 6195 13 | 0 | 0 126.07/126.18 c 125s | 13 | 90303 | 54832 | 6195 13 | 0 | 0 128.07/128.18 c 127s | 13 | 91199 | 55632 | 6195 13 | 0 | 0 130.27/130.33 c 129s | 13 | 92052 | 56432 | 6195 13 | 0 | 0 132.27/132.34 c 131s | 13 | 92733 | 57032 | 6195 14 | 0 | 0 134.26/134.36 c 134s | 13 | 93706 | 57932 | 6815 14 | 0 | 0 135.36/135.41 c 135s | 14 | 94146 | 58352 | 6815 14 | 0 | 0 137.36/137.47 c 137s | 14 | 98327 | 59952 | 6815 14 | 0 | 0 139.56/139.60 c 139s | 14 | 99925 | 61352 | 6815 14 | 0 | 0 141.66/141.74 c 141s | 14 | 101165 | 62452 | 6815 15 | 0 | 0 143.67/143.75 c 143s | 14 | 102262 | 63452 | 6815 15 | 0 | 0 145.77/145.84 c 145s | 14 | 103394 | 64452 | 6815 15 | 0 | 0 147.87/147.94 c 147s | 14 | 104504 | 65452 | 6815 15 | 0 | 0 150.07/150.15 c 149s | 14 | 105616 | 66452 | 6815 15 | 0 | 0 152.17/152.25 c 151s | 14 | 106623 | 67352 | 6815 16 | 0 | 0 154.17/154.29 c 153s | 14 | 107764 | 68352 | 6815 16 | 0 | 0 156.37/156.44 c 156s | 14 | 108990 | 69452 | 6815 16 | 0 | 0 158.46/158.51 c 158s | 14 | 110096 | 70452 | 6815 16 | 0 | 0 160.56/160.68 c 160s | 14 | 111111 | 71352 | 6815 16 | 0 | 0 162.66/162.72 c 162s | 14 | 112049 | 72152 | 6815 17 | 0 | 0 164.66/164.76 c 164s | 14 | 113394 | 73252 | 6815 17 | 0 | 0 166.76/166.84 c 166s | 14 | 114576 | 74252 | 6815 17 | 0 | 0 168.86/168.99 c 168s | 14 | 115829 | 75352 | 6815 17 | 0 | 0 170.96/171.09 c 170s | 14 | 116855 | 76252 | 6815 17 | 0 | 0 173.46/173.51 c 173s | 14 | 117766 | 77052 | 6815 18 | 0 | 0 175.56/175.67 c 175s | 14 | 118926 | 78052 | 6815 18 | 0 | 0 177.76/177.80 c 177s | 14 | 119980 | 78952 | 6815 18 | 0 | 0 179.76/179.82 c 179s | 14 | 121025 | 79852 | 6815 18 | 0 | 0 181.76/181.87 c 181s | 14 | 121917 | 80652 | 6815 18 | 0 | 0 183.86/183.94 c 183s | 14 | 122818 | 81452 | 6815 18 | 0 | 0 186.06/186.12 c 185s | 14 | 123828 | 82352 | 6815 19 | 0 | 0 188.16/188.29 c 187s | 14 | 124824 | 83252 | 6815 19 | 0 | 0 190.46/190.51 c 190s | 14 | 126103 | 84352 | 6815 19 | 0 | 0 192.66/192.74 c 192s | 14 | 127135 | 85252 | 6815 19 | 0 | 0 194.65/194.74 c 194s | 14 | 128019 | 86052 | 6815 19 | 0 | 0 196.65/196.75 c 196s | 14 | 128778 | 86752 | 6815 19 | 0 | 0 198.96/199.01 c 198s | 14 | 129564 | 87452 | 7497 20 | 0 | 0 199.66/199.74 c 199s | 15 | 129760 | 87632 | 7497 20 | 0 | 0 201.76/201.86 c 201s | 15 | 133979 | 89432 | 7497 20 | 0 | 0 203.86/203.96 c 203s | 15 | 135686 | 90932 | 7497 20 | 0 | 0 206.06/206.11 c 205s | 15 | 137183 | 92232 | 7497 20 | 0 | 0 208.06/208.20 c 207s | 15 | 138265 | 93232 | 7497 20 | 0 | 0 210.36/210.40 c 210s | 15 | 139374 | 94232 | 7497 20 | 0 | 0 212.46/212.58 c 212s | 15 | 140458 | 95132 | 7497 21 | 0 | 0 214.55/214.66 c 214s | 15 | 141607 | 96132 | 7497 21 | 0 | 0 216.65/216.79 c 216s | 15 | 142708 | 97032 | 7497 21 | 0 | 0 218.75/218.85 c 218s | 15 | 143495 | 97732 | 7497 21 | 0 | 0 220.85/220.96 c 220s | 15 | 144408 | 98532 | 7497 21 | 0 | 0 222.95/223.02 c 222s | 15 | 145312 | 99332 | 7497 21 | 0 | 0 225.05/225.10 c 224s | 15 | 146178 | 100132 | 7497 21 | 0 | 0 227.05/227.11 c 226s | 15 | 146868 | 100732 | 7497 22 | 0 | 0 229.15/229.25 c 228s | 15 | 147773 | 101532 | 7497 22 | 0 | 0 231.35/231.44 c 231s | 15 | 148889 | 102532 | 7497 22 | 0 | 0 233.55/233.60 c 233s | 15 | 149907 | 103432 | 7497 22 | 0 | 0 235.66/235.77 c 235s | 15 | 150798 | 104232 | 7497 22 | 0 | 0 237.65/237.79 c 237s | 15 | 151687 | 105032 | 7497 22 | 0 | 0 239.95/240.04 c 239s | 15 | 152560 | 105832 | 7497 22 | 0 | 0 242.05/242.13 c 241s | 15 | 153353 | 106532 | 7497 22 | 0 | 0 244.25/244.37 c 244s | 15 | 154154 | 107232 | 7497 23 | 0 | 0 246.35/246.44 c 246s | 15 | 155256 | 108232 | 7497 23 | 0 | 0 248.55/248.65 c 248s | 15 | 156372 | 109232 | 7497 23 | 0 | 0 250.55/250.65 c 250s | 15 | 157279 | 110032 | 7497 23 | 0 | 0 252.65/252.74 c 252s | 15 | 158298 | 110932 | 7497 23 | 0 | 0 254.84/254.93 c 254s | 15 | 159346 | 111832 | 7497 23 | 0 | 0 256.84/256.94 c 256s | 15 | 160254 | 112632 | 7497 23 | 0 | 0 259.04/259.11 c 258s | 15 | 161047 | 113332 | 7497 24 | 0 | 0 261.14/261.26 c 260s | 15 | 162252 | 114432 | 7497 24 | 0 | 0 263.34/263.45 c 263s | 15 | 163519 | 115532 | 7497 24 | 0 | 0 265.55/265.60 c 265s | 15 | 164530 | 116432 | 7497 24 | 0 | 0 267.56/267.66 c 267s | 15 | 165445 | 117232 | 7497 24 | 0 | 0 269.65/269.71 c 269s | 15 | 166374 | 118032 | 7497 24 | 0 | 0 271.64/271.80 c 271s | 15 | 167161 | 118732 | 7497 24 | 0 | 0 273.74/273.83 c 273s | 15 | 167706 | 119232 | 7497 25 | 0 | 0 275.94/276.02 c 275s | 15 | 168719 | 120132 | 7497 25 | 0 | 0 278.04/278.18 c 277s | 15 | 169996 | 121232 | 7497 25 | 0 | 0 280.24/280.38 c 280s | 15 | 171018 | 122132 | 7497 25 | 0 | 0 282.34/282.44 c 282s | 15 | 171906 | 122932 | 7497 25 | 0 | 0 284.44/284.51 c 284s | 15 | 172806 | 123732 | 7497 25 | 0 | 0 286.64/286.74 c 286s | 15 | 173706 | 124532 | 7497 25 | 0 | 0 288.94/289.09 c 288s | 15 | 174489 | 125232 | 7497 26 | 0 | 0 291.24/291.34 c 290s | 15 | 175119 | 125832 | 7497 26 | 0 | 0 293.25/293.38 c 293s | 15 | 176142 | 126732 | 7497 26 | 0 | 0 295.34/295.47 c 295s | 15 | 177036 | 127532 | 7497 26 | 0 | 0 297.64/297.78 c 297s | 15 | 177910 | 128332 | 7497 26 | 0 | 0 299.74/299.84 c 299s | 15 | 178797 | 129132 | 7497 26 | 0 | 0 301.74/301.88 c 301s | 15 | 179622 | 129932 | 7497 26 | 0 | 0 304.04/304.10 c 303s | 15 | 180497 | 130732 | 8247 26 | 0 | 0 306.05/306.11 c 305s | 15 | 181245 | 131432 | 8247 26 | 0 | 0 306.34/306.47 c 306s | 16 | 181388 | 131552 | 8247 26 | 0 | 0 308.34/308.48 c 308s | 16 | 184046 | 132252 | 8247 27 | 0 | 0 310.44/310.57 c 310s | 16 | 185310 | 133352 | 8247 27 | 0 | 0 312.64/312.74 c 312s | 16 | 186558 | 134452 | 8247 27 | 0 | 0 314.84/314.99 c 314s | 16 | 187690 | 135452 | 8247 27 | 0 | 0 316.94/317.03 c 316s | 16 | 188469 | 136152 | 8247 27 | 0 | 0 319.14/319.25 c 318s | 16 | 189398 | 136952 | 8247 27 | 0 | 0 321.23/321.34 c 320s | 16 | 190262 | 137752 | 8247 27 | 0 | 0 323.23/323.36 c 323s | 16 | 190950 | 138352 | 8247 28 | 0 | 0 325.33/325.43 c 325s | 16 | 191729 | 139052 | 8247 28 | 0 | 0 327.43/327.58 c 327s | 16 | 192511 | 139752 | 8247 28 | 0 | 0 329.84/329.91 c 329s | 16 | 193313 | 140452 | 8247 28 | 0 | 0 332.04/332.14 c 331s | 16 | 193973 | 141052 | 8247 28 | 0 | 0 334.34/334.43 c 334s | 16 | 194628 | 141652 | 8247 28 | 0 | 0 336.54/336.63 c 336s | 16 | 195304 | 142252 | 8247 28 | 0 | 0 338.74/338.80 c 338s | 16 | 195981 | 142852 | 8247 28 | 0 | 0 340.94/341.06 c 340s | 16 | 196673 | 143452 | 8247 28 | 0 | 0 343.34/343.43 c 343s | 16 | 197350 | 144052 | 8247 28 | 0 | 0 345.43/345.56 c 345s | 16 | 197808 | 144452 | 8247 29 | 0 | 0 347.63/347.71 c 347s | 16 | 198606 | 145152 | 8247 29 | 0 | 0 349.73/349.80 c 349s | 16 | 199264 | 145752 | 8247 29 | 0 | 0 351.73/351.80 c 351s | 16 | 199828 | 146252 | 8247 29 | 0 | 0 353.73/353.89 c 353s | 16 | 200517 | 146852 | 8247 29 | 0 | 0 355.93/356.03 c 355s | 16 | 201237 | 147452 | 8247 29 | 0 | 0 358.23/358.36 c 358s | 16 | 201896 | 148052 | 8247 29 | 0 | 0 360.63/360.77 c 360s | 16 | 202557 | 148652 | 8247 29 | 0 | 0 362.73/362.85 c 362s | 16 | 203145 | 149152 | 8247 29 | 0 | 0 364.83/364.90 c 364s | 16 | 203938 | 149852 | 8247 29 | 0 | 0 367.13/367.21 c 366s | 16 | 204723 | 150552 | 8247 29 | 0 | 0 369.63/369.80 c 369s | 16 | 205415 | 151152 | 8247 30 | 0 | 0 371.73/371.87 c 371s | 16 | 206210 | 151852 | 8247 30 | 0 | 0 374.02/374.13 c 373s | 16 | 207065 | 152552 | 8247 30 | 0 | 0 376.34/376.46 c 376s | 16 | 207867 | 153252 | 8247 30 | 0 | 0 378.43/378.59 c 378s | 16 | 208533 | 153852 | 8247 30 | 0 | 0 380.83/380.91 c 380s | 16 | 209319 | 154552 | 8247 30 | 0 | 0 382.93/383.01 c 382s | 16 | 210002 | 155152 | 8247 30 | 0 | 0 385.13/385.21 c 384s | 16 | 210691 | 155752 | 8247 30 | 0 | 0 387.22/387.37 c 387s | 16 | 211380 | 156352 | 8247 30 | 0 | 0 389.53/389.70 c 389s | 16 | 212050 | 156952 | 8247 30 | 0 | 0 391.84/391.94 c 391s | 16 | 212576 | 157452 | 8247 31 | 0 | 0 393.93/394.03 c 393s | 16 | 213140 | 157952 | 8247 31 | 0 | 0 396.23/396.33 c 395s | 16 | 213923 | 158652 | 8247 31 | 0 | 0 398.33/398.44 c 398s | 16 | 214592 | 159252 | 8247 31 | 0 | 0 400.63/400.78 c 400s | 16 | 215396 | 159952 | 8247 31 | 0 | 0 402.83/402.98 c 402s | 16 | 216067 | 160552 | 8247 31 | 0 | 0 405.03/405.16 c 404s | 16 | 216868 | 161252 | 8247 31 | 0 | 0 407.32/407.43 c 407s | 16 | 217677 | 161952 | 8247 31 | 0 | 0 409.42/409.54 c 409s | 16 | 218373 | 162552 | 8247 31 | 0 | 0 411.42/411.60 c 411s | 16 | 219030 | 163152 | 8247 31 | 0 | 0 413.62/413.78 c 413s | 16 | 219599 | 163652 | 8247 32 | 0 | 0 415.93/416.10 c 415s | 16 | 220415 | 164352 | 8247 32 | 0 | 0 418.13/418.27 c 417s | 16 | 221079 | 164952 | 8247 32 | 0 | 0 420.42/420.53 c 420s | 16 | 221713 | 165552 | 8247 32 | 0 | 0 422.42/422.58 c 422s | 16 | 222177 | 165952 | 8247 32 | 0 | 0 424.52/424.68 c 424s | 16 | 222995 | 166652 | 8247 32 | 0 | 0 426.62/426.70 c 426s | 16 | 223655 | 167252 | 8247 32 | 0 | 0 428.82/428.98 c 428s | 16 | 224453 | 167952 | 8247 32 | 0 | 0 431.02/431.19 c 430s | 16 | 225124 | 168552 | 8247 32 | 0 | 0 433.22/433.39 c 433s | 16 | 225806 | 169152 | 8247 32 | 0 | 0 435.92/436.03 c 435s | 16 | 226489 | 169752 | 8247 33 | 0 | 0 438.02/438.10 c 437s | 16 | 227161 | 170352 | 8247 33 | 0 | 0 440.02/440.16 c 439s | 16 | 227844 | 170952 | 8247 33 | 0 | 0 442.12/442.28 c 441s | 16 | 228500 | 171552 | 8247 33 | 0 | 0 444.22/444.32 c 443s | 16 | 229183 | 172152 | 8247 33 | 0 | 0 446.52/446.62 c 446s | 16 | 229969 | 172852 | 8247 33 | 0 | 0 448.72/448.83 c 448s | 16 | 230638 | 173452 | 8247 33 | 0 | 0 450.81/450.97 c 450s | 16 | 231338 | 174052 | 8247 33 | 0 | 0 453.01/453.16 c 452s | 16 | 231996 | 174652 | 8247 33 | 0 | 0 455.31/455.48 c 455s | 16 | 232644 | 175252 | 8247 33 | 0 | 0 457.61/457.75 c 457s | 16 | 233341 | 175852 | 8247 33 | 0 | 0 459.92/460.03 c 459s | 16 | 233899 | 176352 | 8247 34 | 0 | 0 462.01/462.15 c 461s | 16 | 234449 | 176852 | 8247 34 | 0 | 0 464.01/464.17 c 463s | 16 | 235101 | 177452 | 8247 34 | 0 | 0 466.32/466.49 c 466s | 16 | 235753 | 178052 | 8247 34 | 0 | 0 468.52/468.61 c 468s | 16 | 236429 | 178652 | 8247 34 | 0 | 0 470.72/470.85 c 470s | 16 | 237180 | 179352 | 8247 34 | 0 | 0 473.02/473.11 c 472s | 16 | 237856 | 179952 | 8247 34 | 0 | 0 475.32/475.45 c 475s | 16 | 238678 | 180652 | 8247 34 | 0 | 0 477.41/477.53 c 477s | 16 | 239358 | 181252 | 8247 34 | 0 | 0 479.72/479.83 c 479s | 16 | 240024 | 181852 | 8247 34 | 0 | 0 482.32/482.49 c 482s | 16 | 240677 | 182452 | 8247 35 | 0 | 0 484.62/484.79 c 484s | 16 | 241343 | 183052 | 8247 35 | 0 | 0 486.91/487.05 c 486s | 16 | 242153 | 183752 | 8247 35 | 0 | 0 489.01/489.16 c 488s | 16 | 242808 | 184352 | 8247 35 | 0 | 0 491.21/491.38 c 491s | 16 | 243394 | 184852 | 8247 35 | 0 | 0 493.51/493.66 c 493s | 16 | 244053 | 185452 | 8247 35 | 0 | 0 495.81/495.91 c 495s | 16 | 244751 | 186052 | 8247 35 | 0 | 0 498.01/498.11 c 497s | 16 | 245408 | 186652 | 8247 35 | 0 | 0 500.10/500.27 c 499s | 16 | 246069 | 187252 | 8247 35 | 0 | 0 502.21/502.32 c 501s | 16 | 246728 | 187852 | 8247 35 | 0 | 0 504.51/504.67 c 504s | 16 | 247383 | 188452 | 8247 35 | 0 | 0 506.81/506.94 c 506s | 16 | 247912 | 188952 | 8247 36 | 0 | 0 508.91/509.02 c 508s | 16 | 248459 | 189452 | 8247 36 | 0 | 0 510.91/511.06 c 510s | 16 | 249141 | 190052 | 8247 36 | 0 | 0 513.01/513.18 c 512s | 16 | 250043 | 190852 | 8247 36 | 0 | 0 515.21/515.30 c 514s | 16 | 250824 | 191552 | 8247 36 | 0 | 0 517.31/517.49 c 517s | 16 | 251607 | 192252 | 8247 36 | 0 | 0 519.51/519.67 c 519s | 16 | 252397 | 192952 | 8247 36 | 0 | 0 521.51/521.69 c 521s | 16 | 253056 | 193552 | 8247 36 | 0 | 0 523.60/523.75 c 523s | 16 | 253607 | 194052 | 8247 36 | 0 | 0 525.80/525.90 c 525s | 16 | 254306 | 194652 | 8247 36 | 0 | 0 527.90/528.08 c 527s | 16 | 254858 | 195152 | 8247 37 | 0 | 0 530.10/530.25 c 529s | 16 | 255645 | 195852 | 8247 37 | 0 | 0 532.11/532.26 c 531s | 16 | 256439 | 196552 | 9072 37 | 0 | 0 534.30/534.43 c 534s | 16 | 257173 | 197252 | 9072 37 | 0 | 0 534.81/534.98 c 534s | 17 | 257362 | 197432 | 9072 37 | 0 | 0 536.91/537.08 c 536s | 17 | 261325 | 199232 | 9072 37 | 0 | 0 538.90/539.08 c 538s | 17 | 262952 | 200732 | 9072 37 | 0 | 0 541.00/541.19 c 540s | 17 | 264372 | 202032 | 9072 37 | 0 | 0 543.20/543.32 c 542s | 17 | 265494 | 203032 | 9072 38 | 0 | 0 545.20/545.35 c 545s | 17 | 266925 | 204332 | 9072 38 | 0 | 0 547.30/547.48 c 547s | 17 | 268059 | 205332 | 9072 38 | 0 | 0 549.60/549.72 c 549s | 17 | 269086 | 206232 | 9072 38 | 0 | 0 551.80/551.92 c 551s | 17 | 270123 | 207132 | 9072 38 | 0 | 0 553.80/553.93 c 553s | 17 | 271145 | 208032 | 9072 38 | 0 | 0 556.00/556.15 c 555s | 17 | 272174 | 208932 | 9072 38 | 0 | 0 558.40/558.58 c 558s | 17 | 272987 | 209632 | 9072 39 | 0 | 0 560.50/560.64 c 560s | 17 | 274048 | 210632 | 9072 39 | 0 | 0 562.59/562.77 c 562s | 17 | 275046 | 211532 | 9072 39 | 0 | 0 564.89/565.01 c 564s | 17 | 276182 | 212532 | 9072 39 | 0 | 0 567.19/567.31 c 566s | 17 | 277075 | 213332 | 9072 39 | 0 | 0 569.30/569.40 c 569s | 17 | 277844 | 214032 | 9072 39 | 0 | 0 571.40/571.53 c 571s | 17 | 278722 | 214832 | 9072 39 | 0 | 0 573.40/573.56 c 573s | 17 | 279482 | 215532 | 9072 39 | 0 | 0 575.70/575.86 c 575s | 17 | 280355 | 216332 | 9072 39 | 0 | 0 577.90/578.03 c 577s | 17 | 281128 | 217032 | 9072 40 | 0 | 0 580.00/580.14 c 579s | 17 | 282077 | 217932 | 9072 40 | 0 | 0 582.11/582.25 c 581s | 17 | 283277 | 218932 | 9072 40 | 0 | 0 584.21/584.40 c 584s | 17 | 284393 | 219932 | 9072 40 | 0 | 0 586.30/586.49 c 586s | 17 | 285520 | 220932 | 9072 40 | 0 | 0 588.50/588.63 c 588s | 17 | 286620 | 221932 | 9072 40 | 0 | 0 590.70/590.81 c 590s | 17 | 287632 | 222832 | 9072 40 | 0 | 0 593.29/593.46 c 593s | 17 | 288415 | 223532 | 9072 41 | 0 | 0 595.39/595.57 c 595s | 17 | 289396 | 224432 | 9072 41 | 0 | 0 597.40/597.59 c 597s | 17 | 290260 | 225232 | 9072 41 | 0 | 0 599.60/599.80 c 599s | 17 | 291288 | 226132 | 9072 41 | 0 | 0 601.69/601.85 c 601s | 17 | 292275 | 227032 | 9072 41 | 0 | 0 603.89/604.00 c 603s | 17 | 293276 | 227932 | 9072 41 | 0 | 0 605.89/606.05 c 605s | 17 | 294143 | 228732 | 9072 41 | 0 | 0 608.09/608.28 c 607s | 17 | 295032 | 229532 | 9072 41 | 0 | 0 610.39/610.51 c 610s | 17 | 295910 | 230332 | 9072 41 | 0 | 0 612.39/612.57 c 612s | 17 | 296686 | 231032 | 9072 42 | 0 | 0 614.49/614.62 c 614s | 17 | 297798 | 232032 | 9072 42 | 0 | 0 616.69/616.82 c 616s | 17 | 298894 | 233032 | 9072 42 | 0 | 0 618.69/618.86 c 618s | 17 | 299978 | 234032 | 9072 42 | 0 | 0 620.79/620.91 c 620s | 17 | 300845 | 234832 | 9072 42 | 0 | 0 622.89/623.02 c 622s | 17 | 301732 | 235632 | 9072 42 | 0 | 0 624.90/625.06 c 624s | 17 | 302586 | 236432 | 9072 42 | 0 | 0 627.20/627.36 c 627s | 17 | 303448 | 237232 | 9072 42 | 0 | 0 629.89/630.02 c 629s | 17 | 304193 | 237932 | 9072 43 | 0 | 0 632.09/632.21 c 631s | 17 | 305463 | 239032 | 9072 43 | 0 | 0 634.09/634.22 c 633s | 17 | 306592 | 240032 | 9072 43 | 0 | 0 636.19/636.37 c 636s | 17 | 307743 | 241032 | 9072 43 | 0 | 0 638.19/638.39 c 638s | 17 | 308752 | 241932 | 9072 43 | 0 | 0 640.29/640.49 c 640s | 17 | 309611 | 242732 | 9072 43 | 0 | 0 642.39/642.58 c 642s | 17 | 310512 | 243532 | 9072 43 | 0 | 0 644.49/644.66 c 644s | 17 | 311279 | 244232 | 9072 44 | 0 | 0 646.68/646.85 c 646s | 17 | 312598 | 245432 | 9072 44 | 0 | 0 648.78/648.96 c 648s | 17 | 313849 | 246532 | 9072 44 | 0 | 0 650.88/651.05 c 650s | 17 | 314875 | 247432 | 9072 44 | 0 | 0 652.98/653.11 c 652s | 17 | 315868 | 248332 | 9072 44 | 0 | 0 655.09/655.22 c 654s | 17 | 316855 | 249232 | 9072 44 | 0 | 0 657.39/657.50 c 657s | 17 | 317829 | 250132 | 9072 44 | 0 | 0 659.49/659.60 c 659s | 17 | 318830 | 251032 | 9072 44 | 0 | 0 661.49/661.68 c 661s | 17 | 319620 | 251732 | 9072 45 | 0 | 0 663.69/663.88 c 663s | 17 | 320709 | 252732 | 9072 45 | 0 | 0 665.79/665.91 c 665s | 17 | 321744 | 253632 | 9072 45 | 0 | 0 667.99/668.11 c 667s | 17 | 322991 | 254732 | 9072 45 | 0 | 0 670.09/670.24 c 669s | 17 | 324158 | 255732 | 9072 45 | 0 | 0 672.09/672.24 c 671s | 17 | 325161 | 256632 | 9072 45 | 0 | 0 674.28/674.44 c 674s | 17 | 326310 | 257632 | 9072 45 | 0 | 0 676.38/676.52 c 676s | 17 | 327114 | 258332 | 9072 46 | 0 | 0 678.38/678.57 c 678s | 17 | 328232 | 259332 | 9072 46 | 0 | 0 680.48/680.60 c 680s | 17 | 329159 | 260132 | 9072 46 | 0 | 0 682.48/682.64 c 682s | 17 | 330088 | 260932 | 9072 46 | 0 | 0 684.48/684.65 c 684s | 17 | 331004 | 261732 | 9072 46 | 0 | 0 686.59/686.73 c 686s | 17 | 331919 | 262532 | 9072 46 | 0 | 0 688.69/688.87 c 688s | 17 | 332828 | 263332 | 9072 46 | 0 | 0 690.78/690.90 c 690s | 17 | 333613 | 264032 | 9072 46 | 0 | 0 692.98/693.20 c 692s | 17 | 334503 | 264832 | 9072 46 | 0 | 0 695.08/695.21 c 694s | 17 | 335166 | 265432 | 9072 47 | 0 | 0 697.08/697.24 c 696s | 17 | 335951 | 266132 | 9072 47 | 0 | 0 699.08/699.26 c 698s | 17 | 336939 | 267032 | 9072 47 | 0 | 0 701.08/701.29 c 700s | 17 | 337977 | 267932 | 9072 47 | 0 | 0 703.17/703.38 c 703s | 17 | 338861 | 268732 | 9072 47 | 0 | 0 705.37/705.57 c 705s | 17 | 339859 | 269632 | 9072 47 | 0 | 0 707.67/707.81 c 707s | 17 | 340847 | 270532 | 9072 47 | 0 | 0 709.69/709.84 c 709s | 17 | 341634 | 271232 | 9072 47 | 0 | 0 711.68/711.88 c 711s | 17 | 342351 | 271832 | 9072 48 | 0 | 0 713.68/713.88 c 713s | 17 | 343488 | 272832 | 9072 48 | 0 | 0 715.78/715.97 c 715s | 17 | 344503 | 273732 | 9072 48 | 0 | 0 717.88/718.08 c 717s | 17 | 345386 | 274532 | 9072 48 | 0 | 0 719.98/720.15 c 719s | 17 | 346388 | 275432 | 9072 48 | 0 | 0 722.17/722.30 c 721s | 17 | 347398 | 276332 | 9072 48 | 0 | 0 724.37/724.56 c 724s | 17 | 348425 | 277232 | 9072 48 | 0 | 0 726.57/726.71 c 726s | 17 | 349324 | 278032 | 9072 48 | 0 | 0 729.07/729.26 c 728s | 17 | 350232 | 278832 | 9072 49 | 0 | 0 731.07/731.30 c 730s | 17 | 351554 | 280032 | 9072 49 | 0 | 0 733.17/733.39 c 733s | 17 | 352677 | 281032 | 9072 49 | 0 | 0 735.27/735.41 c 735s | 17 | 353552 | 281832 | 9072 49 | 0 | 0 737.27/737.48 c 737s | 17 | 354535 | 282732 | 9072 49 | 0 | 0 739.57/739.71 c 739s | 17 | 355576 | 283632 | 9072 49 | 0 | 0 741.57/741.76 c 741s | 17 | 356454 | 284432 | 9072 49 | 0 | 0 743.57/743.78 c 743s | 17 | 357302 | 285232 | 9072 49 | 0 | 0 745.88/746.01 c 745s | 17 | 358078 | 285932 | 9072 50 | 0 | 0 747.97/748.19 c 747s | 17 | 358960 | 286732 | 9072 50 | 0 | 0 750.17/750.30 c 749s | 17 | 359924 | 287632 | 9072 50 | 0 | 0 752.37/752.51 c 752s | 17 | 360888 | 288532 | 9072 50 | 0 | 0 754.37/754.59 c 754s | 17 | 361663 | 289232 | 9072 50 | 0 | 0 756.47/756.68 c 756s | 17 | 362412 | 289932 | 9072 50 | 0 | 0 758.56/758.71 c 758s | 17 | 363290 | 290732 | 9072 50 | 0 | 0 760.66/760.85 c 760s | 17 | 364202 | 291532 | 9072 50 | 0 | 0 762.86/763.02 c 762s | 17 | 365352 | 292532 | 9072 50 | 0 | 0 764.96/765.15 c 764s | 17 | 366382 | 293432 | 9072 51 | 0 | 0 767.06/767.20 c 766s | 17 | 367524 | 294432 | 9980 51 | 0 | 0 769.07/769.23 c 768s | 17 | 368528 | 295332 | 9980 51 | 0 | 0 771.06/771.29 c 770s | 17 | 369408 | 296132 | 9980 51 | 0 | 0 771.36/771.52 c 771s | 18 | 369537 | 296252 | 9980 51 | 0 | 0 773.47/773.65 c 773s | 18 | 372063 | 297052 | 9980 52 | 0 | 0 775.57/775.72 c 775s | 18 | 373180 | 297952 | 9980 52 | 0 | 0 777.66/777.87 c 777s | 18 | 374103 | 298752 | 9980 52 | 0 | 0 779.85/780.09 c 779s | 18 | 375000 | 299552 | 9980 52 | 0 | 0 781.95/782.12 c 781s | 18 | 375819 | 300252 | 9980 52 | 0 | 0 783.95/784.13 c 783s | 18 | 376609 | 300952 | 9980 52 | 0 | 0 786.16/786.30 c 785s | 18 | 377377 | 301652 | 9980 52 | 0 | 0 788.26/788.47 c 788s | 18 | 378154 | 302352 | 9980 52 | 0 | 0 790.55/790.78 c 790s | 18 | 378837 | 302952 | 9980 52 | 0 | 0 792.85/793.09 c 792s | 18 | 379396 | 303452 | 9980 52 | 0 | 0 795.25/795.48 c 795s | 18 | 380057 | 304052 | 9980 52 | 0 | 0 797.74/797.91 c 797s | 18 | 380716 | 304652 | 9980 52 | 0 | 0 800.05/800.21 c 799s | 18 | 381415 | 305252 | 9980 52 | 0 | 0 802.24/802.47 c 802s | 18 | 381988 | 305752 | 9980 53 | 0 | 0 804.44/804.67 c 804s | 18 | 382697 | 306352 | 9980 53 | 0 | 0 806.54/806.70 c 806s | 18 | 383351 | 306952 | 9980 53 | 0 | 0 808.73/808.91 c 808s | 18 | 383998 | 307552 | 9980 53 | 0 | 0 810.75/810.99 c 810s | 18 | 384552 | 308052 | 9980 53 | 0 | 0 813.04/813.26 c 812s | 18 | 385247 | 308652 | 9980 53 | 0 | 0 815.14/815.30 c 814s | 18 | 385806 | 309152 | 9980 53 | 0 | 0 817.44/817.66 c 817s | 18 | 386474 | 309752 | 9980 53 | 0 | 0 820.03/820.21 c 819s | 18 | 387059 | 310252 | 9980 53 | 0 | 0 822.03/822.24 c 821s | 18 | 387488 | 310652 | 9980 53 | 0 | 0 824.53/824.78 c 824s | 18 | 388043 | 311152 | 9980 53 | 0 | 0 826.83/827.02 c 826s | 18 | 388488 | 311552 | 9980 53 | 0 | 0 829.02/829.27 c 828s | 18 | 388931 | 311952 | 9980 53 | 0 | 0 831.43/831.65 c 831s | 18 | 389374 | 312352 | 9980 53 | 0 | 0 834.33/834.54 c 834s | 18 | 389826 | 312752 | 9980 54 | 0 | 0 836.82/837.05 c 836s | 18 | 390377 | 313252 | 9980 54 | 0 | 0 838.82/839.08 c 838s | 18 | 390919 | 313652 | 9980 54 | 0 | 0 841.02/841.25 c 840s | 18 | 391450 | 314052 | 9980 54 | 0 | 0 843.12/843.36 c 843s | 18 | 391906 | 314452 | 9980 54 | 0 | 0 845.31/845.52 c 845s | 18 | 392335 | 314852 | 9980 54 | 0 | 0 847.52/847.78 c 847s | 18 | 392890 | 315352 | 9980 54 | 0 | 0 850.02/850.24 c 849s | 18 | 393478 | 315852 | 9980 54 | 0 | 0 852.22/852.45 c 852s | 18 | 394138 | 316452 | 9980 54 | 0 | 0 854.41/854.64 c 854s | 18 | 394801 | 317052 | 9980 54 | 0 | 0 856.71/856.90 c 856s | 18 | 395376 | 317552 | 9980 54 | 0 | 0 858.70/858.92 c 858s | 18 | 395921 | 318052 | 9980 54 | 0 | 0 861.11/861.32 c 860s | 18 | 396592 | 318652 | 9980 54 | 0 | 0 863.11/863.39 c 863s | 18 | 397156 | 319152 | 9980 54 | 0 | 0 865.41/865.69 c 865s | 18 | 397830 | 319752 | 9980 54 | 0 | 0 867.71/867.98 c 867s | 18 | 398385 | 320252 | 9980 55 | 0 | 0 870.00/870.22 c 869s | 18 | 398936 | 320752 | 9980 55 | 0 | 0 872.00/872.29 c 871s | 18 | 399393 | 321152 | 9980 55 | 0 | 0 874.50/874.71 c 874s | 18 | 400092 | 321752 | 9980 55 | 0 | 0 876.70/876.98 c 876s | 18 | 400659 | 322252 | 9980 55 | 0 | 0 879.01/879.23 c 878s | 18 | 401210 | 322752 | 9980 55 | 0 | 0 881.40/881.69 c 881s | 18 | 401767 | 323252 | 9980 55 | 0 | 0 883.60/883.87 c 883s | 18 | 402331 | 323752 | 9980 55 | 0 | 0 885.79/886.03 c 885s | 18 | 402895 | 324252 | 9980 55 | 0 | 0 887.89/888.14 c 887s | 18 | 403452 | 324752 | 9980 55 | 0 | 0 890.00/890.26 c 889s | 18 | 404017 | 325252 | 9980 55 | 0 | 0 892.39/892.63 c 892s | 18 | 404587 | 325752 | 9980 55 | 0 | 0 894.89/895.10 c 894s | 18 | 405132 | 326252 | 9980 55 | 0 | 0 897.39/897.62 c 897s | 18 | 405698 | 326752 | 9980 55 | 0 | 0 900.29/900.54 c 900s | 18 | 406141 | 327152 | 9980 56 | 0 | 0 902.58/902.85 c 902s | 18 | 406689 | 327652 | 9980 56 | 0 | 0 904.68/904.91 c 904s | 18 | 407243 | 328152 | 9980 56 | 0 | 0 906.98/907.24 c 906s | 18 | 407805 | 328652 | 9980 56 | 0 | 0 908.98/909.29 c 908s | 18 | 408386 | 329152 | 9980 56 | 0 | 0 911.28/911.54 c 911s | 18 | 408936 | 329652 | 9980 56 | 0 | 0 913.48/913.77 c 913s | 18 | 409514 | 330152 | 9980 56 | 0 | 0 915.78/916.06 c 915s | 18 | 410077 | 330652 | 9980 56 | 0 | 0 918.17/918.44 c 918s | 18 | 410628 | 331152 | 9980 56 | 0 | 0 920.47/920.76 c 920s | 18 | 411203 | 331652 | 9980 56 | 0 | 0 922.98/923.23 c 922s | 18 | 411746 | 332152 | 9980 56 | 0 | 0 925.28/925.53 c 925s | 18 | 412310 | 332652 | 9980 56 | 0 | 0 927.68/927.98 c 927s | 18 | 412887 | 333152 | 9980 56 | 0 | 0 929.77/930.01 c 929s | 18 | 413362 | 333552 | 9980 56 | 0 | 0 931.77/932.07 c 931s | 18 | 413804 | 333952 | 9980 56 | 0 | 0 934.87/935.14 c 934s | 18 | 414257 | 334352 | 9980 57 | 0 | 0 937.06/937.39 c 937s | 18 | 414918 | 334952 | 9980 57 | 0 | 0 939.16/939.44 c 939s | 18 | 415463 | 335452 | 9980 57 | 0 | 0 941.37/941.63 c 941s | 18 | 416155 | 336052 | 9980 57 | 0 | 0 943.66/943.91 c 943s | 18 | 416818 | 336652 | 9980 57 | 0 | 0 945.76/946.02 c 945s | 18 | 417484 | 337252 | 9980 57 | 0 | 0 947.76/948.06 c 947s | 18 | 418039 | 337752 | 9980 57 | 0 | 0 950.16/950.43 c 950s | 18 | 418590 | 338252 | 9980 57 | 0 | 0 952.26/952.58 c 952s | 18 | 419141 | 338752 | 9980 57 | 0 | 0 954.55/954.81 c 954s | 18 | 419678 | 339252 | 9980 57 | 0 | 0 956.96/957.27 c 956s | 18 | 420228 | 339752 | 9980 57 | 0 | 0 959.05/959.39 c 959s | 18 | 420672 | 340152 | 9980 57 | 0 | 0 961.65/961.90 c 961s | 18 | 421219 | 340652 | 9980 57 | 0 | 0 964.05/964.38 c 964s | 18 | 421748 | 341152 | 9980 57 | 0 | 0 966.75/967.08 c 966s | 18 | 422196 | 341552 | 9980 58 | 0 | 0 968.85/969.18 c 968s | 18 | 422653 | 341952 | 9980 58 | 0 | 0 971.15/971.45 c 971s | 18 | 423201 | 342452 | 9980 58 | 0 | 0 973.45/973.79 c 973s | 18 | 423763 | 342952 | 9980 58 | 0 | 0 976.04/976.32 c 975s | 18 | 424234 | 343352 | 9980 58 | 0 | 0 978.04/978.36 c 978s | 18 | 424937 | 343952 | 9980 58 | 0 | 0 980.45/980.75 c 980s | 18 | 425595 | 344552 | 9980 58 | 0 | 0 982.84/983.11 c 982s | 18 | 426220 | 345152 | 9980 58 | 0 | 0 984.94/985.23 c 984s | 18 | 426899 | 345752 | 9980 58 | 0 | 0 987.24/987.57 c 987s | 18 | 427549 | 346352 | 9980 58 | 0 | 0 989.64/989.90 c 989s | 18 | 428207 | 346952 | 9980 58 | 0 | 0 992.04/992.34 c 991s | 18 | 428860 | 347552 | 9980 58 | 0 | 0 994.14/994.45 c 994s | 18 | 429438 | 348052 | 9980 58 | 0 | 0 996.54/996.82 c 996s | 18 | 430125 | 348652 | 9980 58 | 0 | 0 998.74/999.07 c 998s | 18 | 430562 | 349052 | 9980 59 | 0 | 0 1000.83/1001.17 c 1000s | 18 | 431230 | 349652 | 9980 59 | 0 | 0 1003.03/1003.33 c 1002s | 18 | 431904 | 350252 | 9980 59 | 0 | 0 1005.13/1005.41 c 1005s | 18 | 432553 | 350852 | 9980 59 | 0 | 0 1007.42/1007.75 c 1007s | 18 | 433243 | 351452 | 9980 59 | 0 | 0 1009.84/1010.13 c 1009s | 18 | 433881 | 352052 | 9980 59 | 0 | 0 1011.94/1012.23 c 1011s | 18 | 434446 | 352552 | 9980 59 | 0 | 0 1013.93/1014.24 c 1013s | 18 | 435014 | 353052 | 9980 59 | 0 | 0 1016.03/1016.33 c 1015s | 18 | 435573 | 353552 | 9980 59 | 0 | 0 1018.12/1018.40 c 1018s | 18 | 436132 | 354052 | 9980 59 | 0 | 0 1020.32/1020.64 c 1020s | 18 | 436702 | 354552 | 9980 59 | 0 | 0 1022.42/1022.77 c 1022s | 18 | 437267 | 355052 | 9980 59 | 0 | 0 1024.72/1025.01 c 1024s | 18 | 437834 | 355552 | 9980 59 | 0 | 0 1027.82/1028.11 c 1027s | 18 | 438408 | 356052 | 9980 60 | 0 | 0 1029.92/1030.23 c 1029s | 18 | 438938 | 356552 | 9980 60 | 0 | 0 1032.22/1032.54 c 1032s | 18 | 439501 | 357052 | 9980 60 | 0 | 0 1034.21/1034.57 c 1034s | 18 | 439940 | 357452 | 9980 60 | 0 | 0 1036.51/1036.87 c 1036s | 18 | 440406 | 357852 | 9980 60 | 0 | 0 1038.61/1038.99 c 1038s | 18 | 440937 | 358352 | 9980 60 | 0 | 0 1040.71/1041.09 c 1040s | 18 | 441490 | 358852 | 9980 60 | 0 | 0 1042.81/1043.16 c 1042s | 18 | 442036 | 359352 | 9980 60 | 0 | 0 1045.02/1045.34 c 1044s | 18 | 442592 | 359852 | 9980 60 | 0 | 0 1047.41/1047.76 c 1047s | 18 | 443177 | 360352 | 9980 60 | 0 | 0 1049.41/1049.78 c 1049s | 18 | 443644 | 360752 | 9980 60 | 0 | 0 1051.90/1052.25 c 1051s | 18 | 444199 | 361252 | 9980 60 | 0 | 0 1054.10/1054.48 c 1054s | 18 | 444646 | 361652 | 9980 60 | 0 | 0 1056.30/1056.60 c 1056s | 18 | 445090 | 362052 | 9980 60 | 0 | 0 1058.59/1058.92 c 1058s | 18 | 445516 | 362452 | 9980 60 | 0 | 0 1060.70/1061.08 c 1060s | 18 | 445966 | 362852 | 9980 60 | 0 | 0 1064.00/1064.34 c 1063s | 18 | 446392 | 363252 | 9980 61 | 0 | 0 1066.10/1066.41 c 1066s | 18 | 446833 | 363652 | 9980 61 | 0 | 0 1068.40/1068.74 c 1068s | 18 | 447373 | 364152 | 9980 61 | 0 | 0 1070.79/1071.15 c 1070s | 18 | 447951 | 364652 | 9980 61 | 0 | 0 1073.19/1073.53 c 1073s | 18 | 448518 | 365152 | 9980 61 | 0 | 0 1075.49/1075.88 c 1075s | 18 | 449101 | 365652 | 9980 61 | 0 | 0 1077.90/1078.29 c 1077s | 18 | 449666 | 366152 | 9980 61 | 0 | 0 1080.10/1080.47 c 1080s | 18 | 450097 | 366552 | 9980 61 | 0 | 0 1082.59/1082.92 c 1082s | 18 | 450689 | 367052 | 9980 61 | 0 | 0 1084.99/1085.35 c 1085s | 18 | 451252 | 367552 | 9980 61 | 0 | 0 1086.99/1087.39 c 1087s | 18 | 451693 | 367952 | 9980 61 | 0 | 0 1089.18/1089.56 c 1089s | 18 | 452138 | 368352 | 9980 61 | 0 | 0 1091.28/1091.67 c 1091s | 18 | 452576 | 368752 | 9980 61 | 0 | 0 1093.48/1093.85 c 1093s | 18 | 453036 | 369152 | 9980 61 | 0 | 0 1096.08/1096.49 c 1096s | 18 | 453477 | 369552 | 9980 61 | 0 | 0 1098.18/1098.56 c 1098s | 18 | 453795 | 369852 | 9980 61 | 0 | 0 1100.18/1100.58 c 1100s | 18 | 454114 | 370152 | 9980 61 | 0 | 0 1102.97/1103.30 c 1102s | 18 | 454446 | 370452 | 9980 62 | 0 | 0 1104.98/1105.37 c 1105s | 18 | 454777 | 370752 | 9980 62 | 0 | 0 1107.38/1107.72 c 1107s | 18 | 455334 | 371252 | 9980 62 | 0 | 0 1109.67/1110.04 c 1109s | 18 | 455870 | 371752 | 9980 62 | 0 | 0 1111.77/1112.14 c 1111s | 18 | 456311 | 372152 | 9980 62 | 0 | 0 1113.97/1114.32 c 1113s | 18 | 456871 | 372652 | 9980 62 | 0 | 0 1115.97/1116.37 c 1116s | 18 | 457440 | 373152 | 9980 62 | 0 | 0 1118.27/1118.65 c 1118s | 18 | 457994 | 373652 | 9980 62 | 0 | 0 1120.67/1121.04 c 1120s | 18 | 458540 | 374152 | 9980 62 | 0 | 0 1122.97/1123.37 c 1123s | 18 | 459092 | 374652 | 9980 62 | 0 | 0 1125.46/1125.89 c 1125s | 18 | 459659 | 375152 | 9980 62 | 0 | 0 1127.56/1127.91 c 1127s | 18 | 460133 | 375552 | 9980 62 | 0 | 0 1129.85/1130.20 c 1129s | 18 | 460598 | 375952 | 9980 62 | 0 | 0 1132.16/1132.53 c 1132s | 18 | 461035 | 376352 | 9980 62 | 0 | 0 1134.46/1134.82 c 1134s | 18 | 461480 | 376752 | 9980 62 | 0 | 0 1136.76/1137.13 c 1136s | 18 | 461925 | 377152 | 9980 62 | 0 | 0 1139.05/1139.45 c 1139s | 18 | 462371 | 377552 | 9980 62 | 0 | 0 1141.45/1141.85 c 1141s | 18 | 462702 | 377852 | 9980 63 | 0 | 0 1143.55/1143.93 c 1143s | 18 | 463145 | 378252 | 9980 63 | 0 | 0 1145.55/1145.99 c 1145s | 18 | 463592 | 378652 | 9980 63 | 0 | 0 1147.75/1148.17 c 1147s | 18 | 464165 | 379152 | 9980 63 | 0 | 0 1150.25/1150.60 c 1150s | 18 | 464844 | 379752 | 9980 63 | 0 | 0 1152.55/1152.94 c 1152s | 18 | 465415 | 380252 | 9980 63 | 0 | 0 1154.95/1155.36 c 1155s | 18 | 465991 | 380752 | 9980 63 | 0 | 0 1157.45/1157.85 c 1157s | 18 | 466539 | 381252 | 9980 63 | 0 | 0 1159.54/1159.99 c 1159s | 18 | 466977 | 381652 | 9980 63 | 0 | 0 1161.64/1162.01 c 1161s | 18 | 467433 | 382052 | 9980 63 | 0 | 0 1163.75/1164.12 c 1163s | 18 | 467900 | 382452 | 9980 63 | 0 | 0 1165.84/1166.22 c 1165s | 18 | 468349 | 382852 | 9980 63 | 0 | 0 1167.94/1168.37 c 1168s | 18 | 468797 | 383252 | 9980 63 | 0 | 0 1170.34/1170.72 c 1170s | 18 | 469237 | 383652 | 9980 63 | 0 | 0 1172.44/1172.85 c 1172s | 18 | 469703 | 384052 | 9980 63 | 0 | 0 1175.33/1175.72 c 1175s | 18 | 470631 | 384852 | 9980 64 | 0 | 0 1177.53/1177.91 c 1177s | 18 | 471552 | 385652 | 9980 64 | 0 | 0 1179.63/1180.09 c 1179s | 18 | 472330 | 386352 | 9980 64 | 0 | 0 1181.72/1182.17 c 1181s | 18 | 473127 | 387052 | 9980 64 | 0 | 0 1183.92/1184.33 c 1183s | 18 | 473900 | 387752 | 9980 64 | 0 | 0 1186.12/1186.55 c 1186s | 18 | 474669 | 388452 | 9980 64 | 0 | 0 1188.42/1188.83 c 1188s | 18 | 475260 | 388952 | 9980 64 | 0 | 0 1190.52/1190.95 c 1190s | 18 | 475960 | 389552 | 9980 64 | 0 | 0 1192.72/1193.13 c 1192s | 18 | 476632 | 390152 | 9980 64 | 0 | 0 1194.92/1195.32 c 1194s | 18 | 477303 | 390752 | 9980 64 | 0 | 0 1197.12/1197.57 c 1197s | 18 | 477995 | 391352 | 9980 64 | 0 | 0 1199.41/1199.82 c 1199s | 18 | 478681 | 391952 | 9980 64 | 0 | 0 1201.51/1201.94 c 1201s | 18 | 479117 | 392352 | 9980 65 | 0 | 0 1203.81/1204.27 c 1203s | 18 | 479866 | 393052 | 9980 65 | 0 | 0 1205.91/1206.35 c 1206s | 18 | 480515 | 393652 | 9980 65 | 0 | 0 1208.11/1208.59 c 1208s | 18 | 481164 | 394252 | 9980 65 | 0 | 0 1210.40/1210.86 c 1210s | 18 | 481811 | 394852 | 9980 65 | 0 | 0 1212.51/1212.90 c 1212s | 18 | 482345 | 395352 | 9980 65 | 0 | 0 1214.81/1215.23 c 1214s | 18 | 483006 | 395952 | 9980 65 | 0 | 0 1217.11/1217.51 c 1217s | 18 | 483662 | 396552 | 9980 65 | 0 | 0 1219.10/1219.54 c 1219s | 18 | 484235 | 397052 | 9980 65 | 0 | 0 1221.30/1221.75 c 1221s | 18 | 484880 | 397652 | 9980 65 | 0 | 0 1223.61/1224.01 c 1223s | 18 | 485539 | 398252 | 9980 65 | 0 | 0 1225.80/1226.22 c 1225s | 18 | 486201 | 398852 | 9980 65 | 0 | 0 1228.00/1228.48 c 1228s | 18 | 486739 | 399352 | 9980 66 | 0 | 0 1230.60/1231.09 c 1230s | 18 | 487163 | 399752 | 9980 66 | 0 | 0 1233.00/1233.46 c 1233s | 18 | 487797 | 400352 | 9980 66 | 0 | 0 1235.40/1235.80 c 1235s | 18 | 488468 | 400952 | 9980 66 | 0 | 0 1237.50/1237.92 c 1237s | 18 | 489102 | 401552 | 9980 66 | 0 | 0 1239.60/1240.05 c 1239s | 18 | 489733 | 402152 | 9980 66 | 0 | 0 1241.99/1242.44 c 1242s | 18 | 490270 | 402652 | 9980 66 | 0 | 0 1244.19/1244.69 c 1244s | 18 | 490794 | 403152 | 9980 66 | 0 | 0 1246.39/1246.87 c 1246s | 18 | 491321 | 403652 | 9980 66 | 0 | 0 1248.58/1249.00 c 1248s | 18 | 491847 | 404152 | 9980 66 | 0 | 0 1250.78/1251.22 c 1250s | 18 | 492397 | 404652 | 9980 66 | 0 | 0 1252.88/1253.38 c 1253s | 18 | 492936 | 405152 | 9980 66 | 0 | 0 1255.00/1255.40 c 1255s | 18 | 493461 | 405652 | 9980 66 | 0 | 0 1256.99/1257.41 c 1257s | 18 | 493943 | 406052 | 9980 66 | 0 | 0 1259.68/1260.15 c 1259s | 18 | 494504 | 406552 | 9980 67 | 0 | 0 1261.98/1262.43 c 1262s | 18 | 495196 | 407152 | 9980 67 | 0 | 0 1264.18/1264.61 c 1264s | 18 | 495865 | 407752 | 9980 67 | 0 | 0 1266.48/1266.92 c 1266s | 18 | 496519 | 408352 | 9980 67 | 0 | 0 1268.47/1268.93 c 1268s | 18 | 497073 | 408852 | 9980 67 | 0 | 0 1270.47/1270.96 c 1270s | 18 | 497625 | 409352 | 9980 67 | 0 | 0 1272.87/1273.35 c 1273s | 18 | 498293 | 409952 | 9980 67 | 0 | 0 1275.18/1275.67 c 1275s | 18 | 498904 | 410452 | 9980 67 | 0 | 0 1277.27/1277.77 c 1277s | 18 | 499481 | 410952 | 9980 67 | 0 | 0 1279.57/1280.07 c 1279s | 18 | 500055 | 411452 | 9980 67 | 0 | 0 1281.87/1282.36 c 1282s | 18 | 500621 | 411952 | 9980 67 | 0 | 0 1284.26/1284.73 c 1284s | 18 | 501191 | 412452 | 9980 67 | 0 | 0 1286.67/1287.16 c 1286s | 18 | 501737 | 412952 | 9980 67 | 0 | 0 1288.97/1289.49 c 1289s | 18 | 502280 | 413452 | 9980 67 | 0 | 0 1291.46/1291.98 c 1291s | 18 | 502717 | 413852 | 9980 68 | 0 | 0 1293.86/1294.32 c 1293s | 18 | 503185 | 414252 | 9980 68 | 0 | 0 1296.16/1296.65 c 1296s | 18 | 503888 | 414852 | 9980 68 | 0 | 0 1298.46/1298.90 c 1298s | 18 | 504482 | 415352 | 9980 68 | 0 | 0 1300.46/1300.97 c 1300s | 18 | 505036 | 415852 | 9980 68 | 0 | 0 1302.66/1303.14 c 1302s | 18 | 505608 | 416352 | 9980 68 | 0 | 0 1304.96/1305.42 c 1305s | 18 | 506280 | 416952 | 9980 68 | 0 | 0 1306.96/1307.44 c 1307s | 18 | 506840 | 417452 | 9980 68 | 0 | 0 1309.16/1309.62 c 1309s | 18 | 507428 | 417952 | 9980 68 | 0 | 0 1311.36/1311.82 c 1311s | 18 | 507998 | 418452 | 9980 68 | 0 | 0 1313.76/1314.27 c 1313s | 18 | 508557 | 418952 | 9980 68 | 0 | 0 1315.85/1316.30 c 1315s | 18 | 508991 | 419352 | 9980 68 | 0 | 0 1317.86/1318.36 c 1318s | 18 | 509458 | 419752 | 9980 68 | 0 | 0 1320.15/1320.60 c 1320s | 18 | 510016 | 420252 | 9980 68 | 0 | 0 1322.35/1322.87 c 1322s | 18 | 510614 | 420752 | 9980 68 | 0 | 0 1324.75/1325.25 c 1324s | 18 | 510951 | 421052 | 9980 69 | 0 | 0 1327.15/1327.61 c 1327s | 18 | 511602 | 421652 | 9980 69 | 0 | 0 1329.24/1329.72 c 1329s | 18 | 512153 | 422152 | 9980 69 | 0 | 0 1331.44/1331.96 c 1331s | 18 | 512731 | 422652 | 9980 69 | 0 | 0 1333.55/1334.09 c 1333s | 18 | 513297 | 423152 | 9980 69 | 0 | 0 1335.85/1336.31 c 1335s | 18 | 513854 | 423652 | 9980 69 | 0 | 0 1338.24/1338.77 c 1338s | 18 | 514532 | 424252 | 9980 69 | 0 | 0 1340.75/1341.26 c 1340s | 18 | 515096 | 424752 | 9980 69 | 0 | 0 1342.94/1343.47 c 1343s | 18 | 515621 | 425252 | 9980 69 | 0 | 0 1345.23/1345.70 c 1345s | 18 | 516171 | 425752 | 9980 69 | 0 | 0 1347.54/1348.06 c 1347s | 18 | 516736 | 426252 | 9980 69 | 0 | 0 1349.94/1350.46 c 1350s | 18 | 517390 | 426852 | 9980 69 | 0 | 0 1352.23/1352.73 c 1352s | 18 | 517936 | 427352 | 9980 69 | 0 | 0 1354.53/1355.08 c 1354s | 18 | 518503 | 427852 | 9980 69 | 0 | 0 1357.33/1357.89 c 1357s | 18 | 518933 | 428252 | 9980 70 | 0 | 0 1359.73/1360.29 c 1359s | 18 | 519483 | 428752 | 9980 70 | 0 | 0 1361.94/1362.44 c 1362s | 18 | 519938 | 429152 | 9980 70 | 0 | 0 1364.23/1364.72 c 1364s | 18 | 520500 | 429652 | 9980 70 | 0 | 0 1366.33/1366.89 c 1366s | 18 | 521085 | 430152 | 9980 70 | 0 | 0 1368.53/1369.01 c 1368s | 18 | 521633 | 430652 | 9980 70 | 0 | 0 1370.62/1371.16 c 1370s | 18 | 522202 | 431152 | 9980 70 | 0 | 0 1373.02/1373.56 c 1373s | 18 | 522759 | 431652 | 9980 70 | 0 | 0 1375.03/1375.59 c 1375s | 18 | 523429 | 432252 | 9980 70 | 0 | 0 1377.33/1377.90 c 1377s | 18 | 524109 | 432852 | 9980 70 | 0 | 0 1379.73/1380.21 c 1379s | 18 | 524668 | 433352 | 9980 70 | 0 | 0 1381.72/1382.22 c 1381s | 18 | 525251 | 433852 | 9980 70 | 0 | 0 1383.73/1384.25 c 1383s | 18 | 525808 | 434352 | 9980 70 | 0 | 0 1386.03/1386.52 c 1386s | 18 | 526387 | 434852 | 9980 70 | 0 | 0 1388.32/1388.88 c 1388s | 18 | 526944 | 435352 | 9980 70 | 0 | 0 1390.82/1391.31 c 1390s | 18 | 527264 | 435652 | 9980 71 | 0 | 0 1393.53/1394.02 c 1393s | 18 | 527838 | 436152 | 9980 71 | 0 | 0 1395.92/1396.43 c 1396s | 18 | 528502 | 436752 | 9980 71 | 0 | 0 1397.93/1398.49 c 1398s | 18 | 529044 | 437252 | 9980 71 | 0 | 0 1400.13/1400.68 c 1400s | 18 | 529584 | 437752 | 9980 71 | 0 | 0 1402.42/1402.98 c 1402s | 18 | 530136 | 438252 | 9980 71 | 0 | 0 1404.72/1405.22 c 1404s | 18 | 530673 | 438752 | 9980 71 | 0 | 0 1406.82/1407.37 c 1407s | 18 | 531343 | 439352 | 9980 71 | 0 | 0 1408.83/1409.38 c 1409s | 18 | 531925 | 439852 | 9980 71 | 0 | 0 1410.82/1411.39 c 1411s | 18 | 532383 | 440252 | 9980 71 | 0 | 0 1413.02/1413.59 c 1413s | 18 | 532936 | 440752 | 9980 71 | 0 | 0 1415.32/1415.85 c 1415s | 18 | 533491 | 441252 | 10978 71 | 0 | 0 1417.72/1418.26 c 1417s | 18 | 534045 | 441752 | 10978 71 | 0 | 0 1420.02/1420.54 c 1420s | 18 | 534603 | 442252 | 10978 71 | 0 | 0 1422.22/1422.71 c 1422s | 18 | 535040 | 442652 | 10978 71 | 0 | 0 1424.33/1424.82 c 1424s | 18 | 535475 | 443052 | 10978 71 | 0 | 0 1426.42/1426.97 c 1426s | 18 | 535911 | 443452 | 10978 71 | 0 | 0 1428.62/1429.19 c 1428s | 18 | 536234 | 443752 | 10978 72 | 0 | 0 1430.83/1431.39 c 1431s | 18 | 536660 | 444152 | 10978 72 | 0 | 0 1432.52/1433.06 c 1432s | 19 | 537020 | 444482 | 10978 72 | 0 | 0 1434.72/1435.20 c 1434s | 19 | 538383 | 445082 | 10978 72 | 0 | 0 1436.72/1437.26 c 1436s | 19 | 539183 | 445782 | 10978 72 | 0 | 0 1438.72/1439.26 c 1438s | 19 | 540044 | 446582 | 10978 72 | 0 | 0 1440.72/1441.30 c 1440s | 19 | 540924 | 447382 | 10978 72 | 0 | 0 1442.81/1443.38 c 1443s | 19 | 541598 | 447982 | 10978 73 | 0 | 0 1444.92/1445.44 c 1445s | 19 | 542586 | 448882 | 10978 73 | 0 | 0 1447.02/1447.58 c 1447s | 19 | 543710 | 449882 | 10978 73 | 0 | 0 1449.12/1449.61 c 1449s | 19 | 544623 | 450682 | 10978 73 | 0 | 0 1451.22/1451.79 c 1451s | 19 | 545405 | 451382 | 10978 73 | 0 | 0 1453.31/1453.87 c 1453s | 19 | 546159 | 452082 | 10978 73 | 0 | 0 1455.61/1456.18 c 1455s | 19 | 547028 | 452882 | 10978 73 | 0 | 0 1458.42/1458.91 c 1458s | 19 | 547785 | 453582 | 10978 74 | 0 | 0 1460.62/1461.11 c 1460s | 19 | 548433 | 454182 | 10978 74 | 0 | 0 1462.72/1463.26 c 1462s | 19 | 549661 | 455282 | 10978 74 | 0 | 0 1464.81/1465.38 c 1465s | 19 | 551017 | 456482 | 10978 74 | 0 | 0 1466.91/1467.46 c 1467s | 19 | 551995 | 457382 | 10978 74 | 0 | 0 1469.11/1469.62 c 1469s | 19 | 553104 | 458382 | 10978 74 | 0 | 0 1471.21/1471.71 c 1471s | 19 | 553958 | 459182 | 10978 74 | 0 | 0 1473.21/1473.74 c 1473s | 19 | 554739 | 459882 | 10978 75 | 0 | 0 1475.21/1475.77 c 1475s | 19 | 556083 | 461082 | 10978 75 | 0 | 0 1477.31/1477.89 c 1477s | 19 | 558433 | 462182 | 10978 75 | 0 | 0 1479.41/1479.90 c 1479s | 19 | 560514 | 463982 | 10978 75 | 0 | 0 1481.41/1481.91 c 1481s | 19 | 562259 | 465482 | 10978 75 | 0 | 0 1483.51/1484.03 c 1483s | 19 | 563877 | 466882 | 10978 75 | 0 | 0 1485.61/1486.17 c 1485s | 19 | 565277 | 468082 | 10978 75 | 0 | 0 1488.01/1488.58 c 1488s | 19 | 566674 | 469282 | 10978 76 | 0 | 0 1490.21/1490.76 c 1490s | 19 | 568012 | 470482 | 10978 76 | 0 | 0 1492.30/1492.87 c 1492s | 19 | 569125 | 471482 | 10978 76 | 0 | 0 1494.40/1494.98 c 1494s | 19 | 570121 | 472382 | 10978 76 | 0 | 0 1496.60/1497.14 c 1496s | 19 | 571257 | 473382 | 10978 76 | 0 | 0 1498.81/1499.33 c 1498s | 19 | 572270 | 474282 | 10978 76 | 0 | 0 1500.81/1501.33 c 1500s | 19 | 573169 | 475082 | 10978 76 | 0 | 0 1502.91/1503.48 c 1503s | 19 | 574050 | 475882 | 10978 76 | 0 | 0 1505.01/1505.54 c 1505s | 19 | 574925 | 476682 | 10978 76 | 0 | 0 1507.50/1508.04 c 1507s | 19 | 575459 | 477182 | 10978 77 | 0 | 0 1509.70/1510.23 c 1509s | 19 | 576414 | 478082 | 10978 77 | 0 | 0 1511.70/1512.28 c 1511s | 19 | 577285 | 478882 | 10978 77 | 0 | 0 1513.80/1514.35 c 1514s | 19 | 578149 | 479682 | 10978 77 | 0 | 0 1516.00/1516.55 c 1516s | 19 | 579004 | 480482 | 10978 77 | 0 | 0 1518.20/1518.79 c 1518s | 19 | 579880 | 481282 | 10978 77 | 0 | 0 1520.40/1520.92 c 1520s | 19 | 580767 | 482082 | 10978 77 | 0 | 0 1522.50/1523.02 c 1522s | 19 | 581552 | 482782 | 10978 77 | 0 | 0 1524.50/1525.03 c 1524s | 19 | 582292 | 483482 | 10978 77 | 0 | 0 1526.61/1527.17 c 1526s | 19 | 583057 | 484182 | 10978 77 | 0 | 0 1528.91/1529.43 c 1529s | 19 | 583850 | 484882 | 10978 77 | 0 | 0 1531.11/1531.62 c 1531s | 19 | 584305 | 485282 | 10978 78 | 0 | 0 1533.21/1533.78 c 1533s | 19 | 585254 | 486182 | 10978 78 | 0 | 0 1535.31/1535.83 c 1535s | 19 | 586096 | 486982 | 10978 78 | 0 | 0 1537.40/1537.95 c 1537s | 19 | 586966 | 487782 | 10978 78 | 0 | 0 1539.60/1540.18 c 1539s | 19 | 587737 | 488482 | 10978 78 | 0 | 0 1541.70/1542.28 c 1541s | 19 | 588361 | 489082 | 10978 78 | 0 | 0 1543.80/1544.30 c 1543s | 19 | 589137 | 489782 | 10978 78 | 0 | 0 1545.90/1546.42 c 1546s | 19 | 589899 | 490482 | 10978 78 | 0 | 0 1547.90/1548.47 c 1548s | 19 | 590750 | 491182 | 10978 78 | 0 | 0 1550.00/1550.53 c 1550s | 19 | 591663 | 491982 | 10978 78 | 0 | 0 1552.30/1552.83 c 1552s | 19 | 592549 | 492782 | 10978 79 | 0 | 0 1554.60/1555.10 c 1554s | 19 | 593091 | 493282 | 10978 79 | 0 | 0 1556.70/1557.29 c 1556s | 19 | 594199 | 494282 | 10978 79 | 0 | 0 1558.80/1559.33 c 1558s | 19 | 595109 | 495082 | 10978 79 | 0 | 0 1561.00/1561.54 c 1561s | 19 | 596005 | 495882 | 10978 79 | 0 | 0 1563.30/1563.83 c 1563s | 19 | 596883 | 496682 | 10978 79 | 0 | 0 1565.30/1565.84 c 1565s | 19 | 597544 | 497282 | 10978 79 | 0 | 0 1567.40/1567.98 c 1567s | 19 | 598193 | 497882 | 10978 79 | 0 | 0 1569.70/1570.27 c 1569s | 19 | 598958 | 498582 | 10978 79 | 0 | 0 1571.70/1572.27 c 1571s | 19 | 599851 | 499382 | 10978 79 | 0 | 0 1573.80/1574.40 c 1574s | 19 | 600624 | 500082 | 10978 79 | 0 | 0 1575.90/1576.49 c 1576s | 19 | 601165 | 500582 | 10978 80 | 0 | 0 1578.21/1578.71 c 1578s | 19 | 602144 | 501482 | 10978 80 | 0 | 0 1580.40/1580.94 c 1580s | 19 | 602738 | 501982 | 10978 80 | 0 | 0 1582.50/1583.00 c 1582s | 19 | 603640 | 502782 | 10978 80 | 0 | 0 1584.60/1585.19 c 1584s | 19 | 604563 | 503582 | 10978 80 | 0 | 0 1586.80/1587.32 c 1586s | 19 | 605315 | 504282 | 10978 80 | 0 | 0 1588.90/1589.49 c 1589s | 19 | 606100 | 504982 | 10978 80 | 0 | 0 1591.20/1591.73 c 1591s | 19 | 606970 | 505782 | 10978 80 | 0 | 0 1593.29/1593.82 c 1593s | 19 | 607722 | 506482 | 10978 80 | 0 | 0 1595.29/1595.84 c 1595s | 19 | 608386 | 507082 | 10978 80 | 0 | 0 1597.39/1597.99 c 1597s | 19 | 609399 | 507882 | 10978 80 | 0 | 0 1599.49/1600.09 c 1599s | 19 | 610103 | 508482 | 10978 81 | 0 | 0 1601.69/1602.23 c 1601s | 19 | 611352 | 509582 | 10978 81 | 0 | 0 1603.79/1604.35 c 1603s | 19 | 612352 | 510482 | 10978 81 | 0 | 0 1605.79/1606.39 c 1606s | 19 | 613356 | 511382 | 10978 81 | 0 | 0 1607.89/1608.45 c 1608s | 19 | 614251 | 512182 | 10978 81 | 0 | 0 1609.99/1610.52 c 1610s | 19 | 615190 | 512982 | 10978 81 | 0 | 0 1612.09/1612.69 c 1612s | 19 | 616096 | 513782 | 10978 81 | 0 | 0 1614.19/1614.77 c 1614s | 19 | 617020 | 514582 | 10978 81 | 0 | 0 1616.49/1617.05 c 1616s | 19 | 617892 | 515382 | 10978 81 | 0 | 0 1618.59/1619.16 c 1618s | 19 | 618580 | 515982 | 10978 81 | 0 | 0 1620.79/1621.34 c 1620s | 19 | 619117 | 516482 | 10978 82 | 0 | 0 1622.99/1623.51 c 1623s | 19 | 620006 | 517282 | 10978 82 | 0 | 0 1625.09/1625.66 c 1625s | 19 | 620999 | 518182 | 10978 82 | 0 | 0 1627.19/1627.71 c 1627s | 19 | 621902 | 518982 | 10978 82 | 0 | 0 1629.18/1629.75 c 1629s | 19 | 622668 | 519682 | 10978 82 | 0 | 0 1631.18/1631.76 c 1631s | 19 | 623333 | 520282 | 10978 82 | 0 | 0 1633.30/1633.84 c 1633s | 19 | 623990 | 520882 | 10978 82 | 0 | 0 1635.59/1636.10 c 1635s | 19 | 624765 | 521582 | 10978 82 | 0 | 0 1637.79/1638.38 c 1638s | 19 | 625546 | 522282 | 10978 82 | 0 | 0 1640.09/1640.61 c 1640s | 19 | 626305 | 522982 | 10978 82 | 0 | 0 1642.38/1642.97 c 1642s | 19 | 627051 | 523682 | 10978 82 | 0 | 0 1644.48/1645.09 c 1644s | 19 | 627396 | 523982 | 10978 83 | 0 | 0 1646.68/1647.23 c 1646s | 19 | 628018 | 524382 | 10978 83 | 0 | 0 1648.88/1649.40 c 1649s | 19 | 629167 | 525382 | 10978 83 | 0 | 0 1650.89/1651.44 c 1651s | 19 | 630206 | 526282 | 10978 83 | 0 | 0 1653.09/1653.67 c 1653s | 19 | 631190 | 527182 | 10978 83 | 0 | 0 1655.19/1655.78 c 1655s | 19 | 632263 | 528082 | 10978 83 | 0 | 0 1657.39/1657.92 c 1657s | 19 | 633161 | 528882 | 10978 83 | 0 | 0 1659.59/1660.17 c 1659s | 19 | 633933 | 529582 | 10978 83 | 0 | 0 1661.68/1662.22 c 1661s | 19 | 634586 | 530182 | 10978 83 | 0 | 0 1663.78/1664.34 c 1663s | 19 | 635512 | 530982 | 10978 83 | 0 | 0 1666.08/1666.61 c 1666s | 19 | 636291 | 531682 | 10978 84 | 0 | 0 1668.28/1668.80 c 1668s | 19 | 637314 | 532582 | 10978 84 | 0 | 0 1670.28/1670.86 c 1670s | 19 | 638404 | 533482 | 10978 84 | 0 | 0 1672.38/1672.92 c 1672s | 19 | 639335 | 534282 | 10978 84 | 0 | 0 1674.48/1675.06 c 1674s | 19 | 640248 | 535082 | 10978 84 | 0 | 0 1676.68/1677.26 c 1676s | 19 | 641227 | 535882 | 10978 84 | 0 | 0 1678.88/1679.41 c 1679s | 19 | 642145 | 536682 | 10978 84 | 0 | 0 1680.88/1681.42 c 1681s | 19 | 642974 | 537382 | 10978 84 | 0 | 0 1683.08/1683.62 c 1683s | 19 | 643770 | 538082 | 10978 84 | 0 | 0 1685.18/1685.70 c 1685s | 19 | 644439 | 538682 | 10978 84 | 0 | 0 1687.19/1687.70 c 1687s | 19 | 644987 | 539182 | 10978 84 | 0 | 0 1689.48/1690.05 c 1689s | 19 | 645438 | 539582 | 10978 85 | 0 | 0 1691.87/1692.42 c 1692s | 19 | 646352 | 540382 | 10978 85 | 0 | 0 1693.87/1694.48 c 1694s | 19 | 647012 | 540982 | 10978 85 | 0 | 0 1695.88/1696.50 c 1696s | 19 | 648204 | 541882 | 10978 85 | 0 | 0 1698.08/1698.62 c 1698s | 19 | 649150 | 542682 | 10978 85 | 0 | 0 1700.07/1700.65 c 1700s | 19 | 650139 | 543482 | 10978 85 | 0 | 0 1702.27/1702.81 c 1702s | 19 | 650946 | 544182 | 10978 85 | 0 | 0 1704.47/1705.01 c 1704s | 19 | 651782 | 544882 | 10978 85 | 0 | 0 1706.58/1707.17 c 1706s | 19 | 652596 | 545582 | 10978 85 | 0 | 0 1708.88/1709.41 c 1709s | 19 | 653403 | 546282 | 10978 85 | 0 | 0 1711.08/1711.63 c 1711s | 19 | 654204 | 546982 | 10978 85 | 0 | 0 1713.08/1713.67 c 1713s | 19 | 654652 | 547382 | 10978 86 | 0 | 0 1715.28/1715.83 c 1715s | 19 | 655350 | 547982 | 10978 86 | 0 | 0 1717.28/1717.85 c 1717s | 19 | 656289 | 548782 | 10978 86 | 0 | 0 1719.67/1720.22 c 1719s | 19 | 657322 | 549582 | 10978 86 | 0 | 0 1721.77/1722.32 c 1721s | 19 | 658090 | 550182 | 10978 86 | 0 | 0 1724.07/1724.65 c 1724s | 19 | 658958 | 550882 | 10978 86 | 0 | 0 1726.17/1726.72 c 1726s | 19 | 659646 | 551482 | 10978 86 | 0 | 0 1728.37/1728.96 c 1728s | 19 | 660479 | 552082 | 10978 86 | 0 | 0 1730.68/1731.22 c 1730s | 19 | 661506 | 552882 | 10978 86 | 0 | 0 1732.87/1733.41 c 1733s | 19 | 662305 | 553582 | 10978 86 | 0 | 0 1734.97/1735.51 c 1735s | 19 | 663107 | 554282 | 10978 86 | 0 | 0 1737.17/1737.78 c 1737s | 19 | 663951 | 554982 | 10978 86 | 0 | 0 1739.17/1739.80 c 1739s | 19 | 664414 | 555382 | 10978 87 | 0 | 0 1741.37/1741.97 c 1741s | 19 | 665431 | 556282 | 10978 87 | 0 | 0 1743.47/1744.01 c 1743s | 19 | 666342 | 557082 | 10978 87 | 0 | 0 1745.57/1746.16 c 1745s | 19 | 667278 | 557882 | 10978 87 | 0 | 0 1747.58/1748.19 c 1747s | 19 | 668165 | 558682 | 10978 87 | 0 | 0 1749.97/1750.52 c 1750s | 19 | 669055 | 559482 | 10978 87 | 0 | 0 1752.17/1752.74 c 1752s | 19 | 670046 | 560382 | 10978 87 | 0 | 0 1754.37/1754.97 c 1754s | 19 | 670926 | 561182 | 10978 87 | 0 | 0 1756.67/1757.26 c 1756s | 19 | 671835 | 561982 | 10978 87 | 0 | 0 1758.77/1759.39 c 1759s | 19 | 672629 | 562682 | 10978 87 | 0 | 0 1761.17/1761.73 c 1761s | 19 | 673192 | 563182 | 10978 88 | 0 | 0 1763.17/1763.79 c 1763s | 19 | 674069 | 563982 | 10978 88 | 0 | 0 1765.27/1765.87 c 1765s | 19 | 674960 | 564782 | 10978 88 | 0 | 0 1767.37/1768.00 c 1767s | 19 | 675759 | 565482 | 10978 88 | 0 | 0 1769.76/1770.31 c 1769s | 19 | 676508 | 566182 | 10978 88 | 0 | 0 1771.77/1772.40 c 1772s | 19 | 677238 | 566782 | 10978 88 | 0 | 0 1773.97/1774.51 c 1774s | 19 | 678099 | 567482 | 10978 88 | 0 | 0 1775.97/1776.57 c 1776s | 19 | 678753 | 568082 | 10978 88 | 0 | 0 1777.97/1778.59 c 1778s | 19 | 679484 | 568682 | 10978 88 | 0 | 0 1780.07/1780.67 c 1780s | 19 | 680195 | 569282 | 10978 88 | 0 | 0 1782.37/1782.95 c 1782s | 19 | 680943 | 569882 | 10978 88 | 0 | 0 1784.67/1785.28 c 1784s | 19 | 681661 | 570482 | 10978 88 | 0 | 0 1786.86/1787.44 c 1787s | 19 | 682004 | 570782 | 10978 89 | 0 | 0 1788.96/1789.55 c 1789s | 19 | 682794 | 571482 | 10978 89 | 0 | 0 1791.16/1791.79 c 1791s | 19 | 683709 | 572282 | 10978 89 | 0 | 0 1793.26/1793.88 c 1793s | 19 | 684548 | 572982 | 10978 89 | 0 | 0 1795.47/1796.01 c 1795s | 19 | 685345 | 573682 | 10978 89 | 0 | 0 1797.77/1798.31 c 1797s | 19 | 686183 | 574382 | 10978 89 | 0 | 0 1799.76/1800.32 c 1799s | 19 | 686920 | 574982 | 10978 89 | 0 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093327-1466077451/watcher-4093327-1466077451 -o /tmp/evaluation-result-4093327-1466077451/solver-4093327-1466077451 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16983 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093327-1466077451.wbo pid=17696 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.20 2.21 2.13 3/179 17699 /proc/meminfo: memFree=29389300/32872528 swapFree=1402008/1579836 [pid=17699] ppid=17696 vsize=701884 CPUtime=0 cores=0,2,4,6 /proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 2615 0 0 0 0 0 0 0 20 0 4 0 9790841 718729216 2465 33554432000 4194304 16246674 140735610535952 140735610535376 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17699/statm: 176239 2475 441 2943 0 173133 0 [pid=17699/tid=17700] ppid=17696 vsize=720316 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 737603584 2536 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17699/tid=17701] ppid=17696 vsize=724412 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 741797888 2553 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17699/tid=17702] ppid=17696 vsize=728508 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9790841 745992192 2569 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 2.20 2.21 2.13 3/179 17699 /proc/meminfo: memFree=29389300/32872528 swapFree=1402008/1579836 [pid=17699] ppid=17696 vsize=1218116 CPUtime=0.08 cores=0,2,4,6 /proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 27259 0 0 0 5 3 0 0 20 0 4 0 9790841 1247350784 27103 33554432000 4194304 16246674 140735610535952 140735610535376 12459048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17699/statm: 304529 27111 605 2943 0 301423 0 [pid=17699/tid=17700] ppid=17696 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1247350784 27117 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17699/tid=17701] ppid=17696 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1247350784 27124 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17699/tid=17702] ppid=17696 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9790841 1247350784 27130 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.20051 s] /proc/loadavg: 2.20 2.21 2.13 3/179 17699 /proc/meminfo: memFree=29389300/32872528 swapFree=1402008/1579836 [pid=17699] ppid=17696 vsize=1218116 CPUtime=0.18 cores=0,2,4,6 /proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 48314 0 0 0 11 7 0 0 20 0 4 0 9790841 1247350784 48157 33554432000 4194304 16246674 140735610535952 140735610535376 12459121 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17699/statm: 304529 48166 605 2943 0 301423 0 [pid=17699/tid=17700] ppid=17696 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1247350784 48172 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17699/tid=17701] ppid=17696 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1247350784 48179 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17699/tid=17702] ppid=17696 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9790841 1247350784 48186 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.505886 s] /proc/loadavg: 2.20 2.21 2.13 3/179 17699 /proc/meminfo: memFree=29389300/32872528 swapFree=1402008/1579836 [pid=17699] ppid=17696 vsize=1306180 CPUtime=0.49 cores=0,2,4,6 /proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 93346 0 0 0 36 13 0 0 20 0 4 0 9790841 1337528320 93160 33554432000 4194304 16246674 140735610535952 140735610535264 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17699/statm: 326545 93160 868 2943 0 323439 0 [pid=17699/tid=17700] ppid=17696 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1337528320 93160 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17699/tid=17701] ppid=17696 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1337528320 93160 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17699/tid=17702] ppid=17696 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1337528320 93160 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 1306180 [startup+0.700409 s] /proc/loadavg: 2.20 2.21 2.13 3/179 17699 /proc/meminfo: memFree=29389300/32872528 swapFree=1402008/1579836 [pid=17699] ppid=17696 vsize=1307204 CPUtime=0.69 cores=0,2,4,6 /proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 95378 0 0 0 55 14 0 0 20 0 4 0 9790841 1338576896 95192 33554432000 4194304 16246674 140735610535952 140735610535264 13191806 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/17699/statm: 326801 95192 868 2943 0 323695 0 [pid=17699/tid=17700] ppid=17696 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1338576896 95192 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17699/tid=17701] ppid=17696 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1338576896 95192 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17699/tid=17702] ppid=17696 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1338576896 95192 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1307204 [startup+1.50045 s] /proc/loadavg: 2.18 2.21 2.13 3/183 17703 /proc/meminfo: memFree=28982276/32872528 swapFree=1402008/1579836 [pid=17699] ppid=17696 vsize=1307204 CPUtime=1.48 cores=0,2,4,6 /proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 124541 0 0 0 131 17 0 0 20 0 4 0 9790841 1338576896 124355 33554432000 4194304 16246674 140735610535952 140735610517824 5724032 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17699/statm: 326801 124371 868 2943 0 323695 0 [pid=17699/tid=17700] ppid=17696 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1338576896 124382 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17699/tid=17701] ppid=17696 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1338576896 124391 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17699/tid=17702] ppid=17696 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1338576896 124402 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1307204 [startup+3.10036 s] /proc/loadavg: 2.18 2.21 2.13 3/183 17703 /proc/meminfo: memFree=28318884/32872528 swapFree=1402008/1579836 [pid=17699] ppid=17696 vsize=1307204 CPUtime=3.09 cores=0,2,4,6 /proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 267783 0 0 0 273 36 0 0 20 0 4 0 9790841 1338576896 267597 33554432000 4194304 16246674 140735610535952 140735610517824 5721633 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17699/statm: 326801 267597 868 2943 0 323695 0 [pid=17699/tid=17700] ppid=17696 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1338576896 267597 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17699/tid=17701] ppid=17696 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1338576896 267597 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17699/tid=17702] ppid=17696 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1338576896 267597 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30036 s] /proc/loadavg: 2.18 2.21 2.13 3/183 17703 /proc/meminfo: memFree=28318596/32872528 swapFree=1402008/1579836 [pid=17699] ppid=17696 vsize=1308228 CPUtime=6.29 cores=0,2,4,6 /proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 267941 0 0 0 593 36 0 0 20 0 4 0 9790841 1339625472 267755 33554432000 4194304 16246674 140735610535952 140735610517824 5712622 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17699/statm: 327057 267755 869 2943 0 323951 0 [pid=17699/tid=17700] ppid=17696 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1339625472 267755 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17699/tid=17701] ppid=17696 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1339625472 267755 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17699/tid=17702] ppid=17696 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1339625472 267755 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.24 2.22 2.13 4/183 17703 /proc/meminfo: memFree=28316916/32872528 swapFree=1402008/1579836 [pid=17699] ppid=17696 vsize=1309252 CPUtime=12.69 cores=0,2,4,6 /proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 268274 0 0 0 1233 36 0 0 20 0 4 0 9790841 1340674048 268088 33554432000 4194304 16246674 140735610535952 140735610535128 5712608 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17699/statm: 327313 268088 875 2943 0 324207 0 [pid=17699/tid=17700] ppid=17696 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1340674048 268088 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17699/tid=17701] ppid=17696 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1340674048 268088 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17699/tid=17702] ppid=17696 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1340674048 268088 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1309252 [startup+25.5003 s] /proc/loadavg: 2.20 2.21 2.13 4/183 17703 /proc/meminfo: memFree=28316432/32872528 swapFree=1402008/1579836 [pid=17699] ppid=17696 vsize=1310276 CPUtime=25.49 cores=0,2,4,6 /proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 268496 0 0 0 2513 36 0 0 20 0 4 0 9790841 1341722624 268310 33554432000 4194304 16246674 140735610535952 140735610535128 5822428 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17699/statm: 327569 268310 876 2943 0 324463 0 [pid=17699/tid=17700] ppid=17696 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1341722624 268310 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17699/tid=17701] ppid=17696 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1341722624 268310 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17699/tid=17702] ppid=17696 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1341722624 268310 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1310276 [startup+51.1003 s] /proc/loadavg: 2.26 2.22 2.14 3/183 17703 /proc/meminfo: memFree=28305056/32872528 swapFree=1402008/1579836 [pid=17699] ppid=17696 vsize=1318468 CPUtime=51.08 cores=0,2,4,6 /proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 270742 0 0 0 5069 39 0 0 20 0 4 0 9790841 1350111232 270556 33554432000 4194304 16246674 140735610535952 140735610535128 5721633 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17699/statm: 329617 270556 876 2943 0 326511 0 [pid=17699/tid=17700] ppid=17696 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1350111232 270556 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17699/tid=17701] ppid=17696 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1350111232 270556 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17699/tid=17702] ppid=17696 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1350111232 270556 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1318468 [startup+102.3 s] /proc/loadavg: 2.24 2.23 2.14 3/183 17704 /proc/meminfo: memFree=28303600/32872528 swapFree=1402008/1579836 [pid=17699] ppid=17696 vsize=1318468 CPUtime=102.27 cores=0,2,4,6 /proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 270742 0 0 0 10188 39 0 0 20 0 4 0 9790841 1350111232 270556 33554432000 4194304 16246674 140735610535952 140735610517824 5672188 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17699/statm: 329617 270556 876 2943 0 326511 0 [pid=17699/tid=17700] ppid=17696 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1350111232 270556 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17699/tid=17701] ppid=17696 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1350111232 270556 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17699/tid=17702] ppid=17696 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1350111232 270556 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1318468 ################ # More data... # ################ /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 1335876 [startup+1302.3 s] /proc/loadavg: 2.25 2.32 2.25 3/183 17757 /proc/meminfo: memFree=28274860/32872528 swapFree=1402008/1579836 [pid=17699] ppid=17696 vsize=1335876 CPUtime=1301.86 cores=0,2,4,6 /proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 275479 0 0 0 130087 99 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 140735610535128 5712608 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17699/statm: 333969 275165 877 2943 0 330863 0 [pid=17699/tid=17700] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17699/tid=17701] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17699/tid=17702] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1335876 [startup+1362.3 s] /proc/loadavg: 2.35 2.33 2.26 3/183 17758 /proc/meminfo: memFree=28274392/32872528 swapFree=1402008/1579836 [pid=17699] ppid=17696 vsize=1335876 CPUtime=1361.84 cores=0,2,4,6 /proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 275512 0 0 0 136079 105 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 140735610535128 6023713 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17699/statm: 333969 275165 877 2943 0 330863 0 [pid=17699/tid=17700] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17699/tid=17701] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17699/tid=17702] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1335876 [startup+1422.3 s] /proc/loadavg: 2.22 2.30 2.26 4/183 17759 /proc/meminfo: memFree=28274776/32872528 swapFree=1402008/1579836 [pid=17699] ppid=17696 vsize=1335876 CPUtime=1421.82 cores=0,2,4,6 /proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 275523 0 0 0 142072 110 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 140735610535128 5672188 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17699/statm: 333969 275165 877 2943 0 330863 0 [pid=17699/tid=17700] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17699/tid=17701] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17699/tid=17702] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1335876 [startup+1482.3 s] /proc/loadavg: 2.31 2.32 2.26 3/183 17760 /proc/meminfo: memFree=28274800/32872528 swapFree=1402008/1579836 [pid=17699] ppid=17696 vsize=1335876 CPUtime=1481.81 cores=0,2,4,6 /proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 275523 0 0 0 148068 113 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 140735610517824 13950199 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17699/statm: 333969 275165 877 2943 0 330863 0 [pid=17699/tid=17700] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17699/tid=17701] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17699/tid=17702] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 1335876 [startup+1542.3 s] /proc/loadavg: 2.33 2.32 2.27 4/183 17762 /proc/meminfo: memFree=28274928/32872528 swapFree=1402008/1579836 [pid=17699] ppid=17696 vsize=1335876 CPUtime=1541.8 cores=0,2,4,6 /proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 275523 0 0 0 154065 115 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 140735610518944 5823919 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17699/statm: 333969 275165 877 2943 0 330863 0 [pid=17699/tid=17700] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17699/tid=17701] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17699/tid=17702] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1335876 [startup+1602.3 s] /proc/loadavg: 2.36 2.32 2.27 4/184 17766 /proc/meminfo: memFree=28274648/32872528 swapFree=1402008/1579836 [pid=17699] ppid=17696 vsize=1335876 CPUtime=1601.79 cores=0,2,4,6 /proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 275523 0 0 0 160062 117 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 140735610535048 6011738 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17699/statm: 333969 275165 877 2943 0 330863 0 [pid=17699/tid=17700] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17699/tid=17701] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17699/tid=17702] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1335876 [startup+1662.3 s] /proc/loadavg: 2.30 2.30 2.27 3/183 17767 /proc/meminfo: memFree=28274540/32872528 swapFree=1402008/1579836 [pid=17699] ppid=17696 vsize=1335876 CPUtime=1661.79 cores=0,2,4,6 /proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 275523 0 0 0 166059 120 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 140735610535128 5546116 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17699/statm: 333969 275165 877 2943 0 330863 0 [pid=17699/tid=17700] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17699/tid=17701] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17699/tid=17702] ppid=17696 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1367937024 275165 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1335876 [startup+1722.3 s] /proc/loadavg: 2.22 2.28 2.26 3/183 17768 /proc/meminfo: memFree=28273424/32872528 swapFree=1402008/1579836 [pid=17699] ppid=17696 vsize=1336900 CPUtime=1721.77 cores=0,2,4,6 /proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 275779 0 0 0 172055 122 0 0 20 0 4 0 9790841 1368985600 275421 33554432000 4194304 16246674 140735610535952 140735610535128 13950230 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17699/statm: 334225 275421 877 2943 0 331119 0 [pid=17699/tid=17700] ppid=17696 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1368985600 275421 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17699/tid=17701] ppid=17696 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1368985600 275421 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17699/tid=17702] ppid=17696 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1368985600 275421 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 1336900 [startup+1782.31 s] /proc/loadavg: 2.25 2.27 2.26 4/183 17769 /proc/meminfo: memFree=28270956/32872528 swapFree=1402008/1579836 [pid=17699] ppid=17696 vsize=1339972 CPUtime=1781.77 cores=0,2,4,6 /proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 276354 0 0 0 178052 125 0 0 20 0 4 0 9790841 1372131328 275996 33554432000 4194304 16246674 140735610535952 140735610535128 5522977 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17699/statm: 334993 275996 877 2943 0 331887 0 [pid=17699/tid=17700] ppid=17696 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1372131328 275996 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17699/tid=17701] ppid=17696 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1372131328 275996 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17699/tid=17702] ppid=17696 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1372131328 275996 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1339972 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.26 2.27 2.26 3/183 17818 /proc/meminfo: memFree=28275428/32872528 swapFree=1402008/1579836 [pid=17699] ppid=17696 vsize=1339972 CPUtime=1800.06 cores=0,2,4,6 /proc/17699/stat : 17699 (toysat) R 17696 17699 13870 0 -1 4202496 276547 0 0 0 179879 127 0 0 20 0 4 0 9790841 1372131328 276189 33554432000 4194304 16246674 140735610535952 140735610517824 5721677 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/17699/statm: 334993 276189 877 2943 0 331887 0 [pid=17699/tid=17700] ppid=17696 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17700/stat : 17700 (toysat) S 17696 17699 13870 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 9790841 1372131328 276189 33554432000 4194304 16246674 140735610535952 139638554471664 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=17699/tid=17701] ppid=17696 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17701/stat : 17701 (toysat) S 17696 17699 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9790841 1372131328 276189 33554432000 4194304 16246674 140735610535952 139638543981808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=17699/tid=17702] ppid=17696 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/17699/task/17702/stat : 17702 (toysat) S 17696 17699 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9790841 1372131328 276189 33554432000 4194304 16246674 140735610535952 139638533508272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1339972 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 17699 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.61 CPU time (s): 1800.08 CPU user time (s): 1798.8 CPU system time (s): 1.27381 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 1339972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.8 system time used= 1.27381 maximum resident set size= 1104756 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 276547 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= 446 involuntary context switches= 2518 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.6333 second user time and 6.88495 second system time The end
Begin job on node139 at 2016-06-16 13:44:11 IDJOB=4093327 IDBENCH=78664 IDSOLVER=2553 FILE ID=node139/4093327-1466077451 RUNJOBID= node139-1466075487-16983 PBS_JOBID= 19904001 Free space on /tmp= 71612 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093327-1466077451/watcher-4093327-1466077451 -o /tmp/evaluation-result-4093327-1466077451/solver-4093327-1466077451 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16983 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093327-1466077451.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5648463b311d39ee56e08f95de13a148 RANDOM SEED=1612814537 node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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: 29389564 kB Buffers: 21212 kB Cached: 105448 kB SwapCached: 960 kB Active: 1150108 kB Inactive: 51612 kB Active(anon): 1076048 kB Inactive(anon): 1240 kB Active(file): 74060 kB Inactive(file): 50372 kB Unevictable: 1579836 kB Mlocked: 1402008 kB SwapTotal: 67108856 kB SwapFree: 67100120 kB Dirty: 33244 kB Writeback: 0 kB AnonPages: 2653872 kB Mapped: 10672 kB Shmem: 0 kB Slab: 567648 kB SReclaimable: 11656 kB SUnreclaim: 555992 kB KernelStack: 1480 kB PageTables: 9376 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2797972 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 180224 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= 71596 MiB End job on node139 at 2016-06-16 14:14:12