| Name | mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p2756.opb |
| MD5SUM | cc9b9a1bf5f3e0998bc97d2eed5cbbd9 |
| Bench Category | optimization, small integers (OPTSMALLINT) |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3709 |
| Optimality of the best value was proved | NO |
| Number of terms in the objective function | 2166 |
| Biggest coefficient in the objective function | 11000 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 321831 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 11000 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 321831 |
| Number of bits of the biggest sum of numbers | 19 |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 1236.81 |
| Number of variables | 2756 |
| Total number of constraints | 3511 |
| Number of constraints which are clauses | 132 |
| Number of constraints which are cardinality constraints (but not clauses) | 2976 |
| Number of constraints which are nor clauses,nor cardinality constraints | 403 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 546 |
LAUNCH ON wulflinc30 THE 2005-09-18 11:21:16 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=534 boxname=wulflinc30 idbench=534 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: cc9b9a1bf5f3e0998bc97d2eed5cbbd9 /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-p2756.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-p2756.opb IDLAUNCH: 534 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 933708 kB Buffers: 36632 kB Cached: 34252 kB SwapCached: 788 kB Active: 52928 kB Inactive: 20604 kB HighTotal: 131008 kB HighFree: 95984 kB LowTotal: 903652 kB LowFree: 837724 kB SwapTotal: 2097892 kB SwapFree: 2096636 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5732 kB Slab: 21896 kB Committed_AS: 64136 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-18 11:41:25 (client local time) WITH STATUS 10 IN 1195.12 SECONDS stats: 534 0 1195.12 10
c INFO: OSL Context initialized. c Initial problem consists of 2756 variables and 749 constraints. c preprocess terminated. Elapsed time: 1.735 c After prepocess the problem consists of 2731 variables and 736 constraints. c Initial Lower Bound: 0 c NEW SOLUTION FOUND: 74085 @ 82.778 @ #Dec. 19231 c NEW SOLUTION FOUND: 74083 @ 82.812 @ #Dec. 19239 c NEW SOLUTION FOUND: 74080 @ 82.856 @ #Dec. 19249 c NEW SOLUTION FOUND: 74079 @ 82.914 @ #Dec. 19261 c NEW SOLUTION FOUND: 74078 @ 82.984 @ #Dec. 19276 c NEW SOLUTION FOUND: 74076 @ 83.067 @ #Dec. 19291 c NEW SOLUTION FOUND: 74074 @ 83.202 @ #Dec. 19320 c NEW SOLUTION FOUND: 74015 @ 83.355 @ #Dec. 19369 c NEW SOLUTION FOUND: 74014 @ 83.514 @ #Dec. 19418 c NEW SOLUTION FOUND: 74011 @ 83.662 @ #Dec. 19466 c NEW SOLUTION FOUND: 73992 @ 83.827 @ #Dec. 19522 c NEW SOLUTION FOUND: 73989 @ 83.982 @ #Dec. 19577 c NEW SOLUTION FOUND: 73987 @ 84.194 @ #Dec. 19643 c NEW SOLUTION FOUND: 73984 @ 84.357 @ #Dec. 19706 c NEW SOLUTION FOUND: 69439 @ 91.846 @ #Dec. 22159 c NEW SOLUTION FOUND: 69436 @ 91.993 @ #Dec. 22222 c NEW SOLUTION FOUND: 69341 @ 92.24 @ #Dec. 22305 c NEW SOLUTION FOUND: 69336 @ 92.626 @ #Dec. 22430 c NEW SOLUTION FOUND: 69314 @ 92.829 @ #Dec. 22503 c NEW SOLUTION FOUND: 69311 @ 93.149 @ #Dec. 22610 c NEW SOLUTION FOUND: 69297 @ 93.408 @ #Dec. 22700 c NEW SOLUTION FOUND: 69275 @ 93.637 @ #Dec. 22781 c NEW SOLUTION FOUND: 69238 @ 93.893 @ #Dec. 22869 c NEW SOLUTION FOUND: 69216 @ 94.12 @ #Dec. 22950 c NEW SOLUTION FOUND: 69213 @ 94.541 @ #Dec. 23075 c NEW SOLUTION FOUND: 69206 @ 95.098 @ #Dec. 23248 c NEW SOLUTION FOUND: 69150 @ 95.363 @ #Dec. 23340 c NEW SOLUTION FOUND: 69147 @ 95.627 @ #Dec. 23431 c NEW SOLUTION FOUND: 69146 @ 95.899 @ #Dec. 23523 c NEW SOLUTION FOUND: 69143 @ 96.164 @ #Dec. 23614 c Restart #1 #Var: 2719 #Dec: 23898 LB: 0 @ 98.074 c NEW SOLUTION FOUND: 62258 @ 143.12 @ #Dec. 34275 c NEW SOLUTION FOUND: 62241 @ 143.28 @ #Dec. 34336 c NEW SOLUTION FOUND: 62217 @ 143.5 @ #Dec. 34427 c NEW SOLUTION FOUND: 62200 @ 143.65 @ #Dec. 34488 c NEW SOLUTION FOUND: 62168 @ 144.19 @ #Dec. 34724 c NEW SOLUTION FOUND: 62162 @ 144.53 @ #Dec. 34874 c NEW SOLUTION FOUND: 62141 @ 144.91 @ #Dec. 35040 c NEW SOLUTION FOUND: 62124 @ 145.16 @ #Dec. 35149 c NEW SOLUTION FOUND: 62123 @ 145.42 @ #Dec. 35259 c NEW SOLUTION FOUND: 62121 @ 145.69 @ #Dec. 35381 c NEW SOLUTION FOUND: 62119 @ 145.96 @ #Dec. 35510 c NEW SOLUTION FOUND: 62118 @ 146.21 @ #Dec. 35620 c NEW SOLUTION FOUND: 62095 @ 147.21 @ #Dec. 35973 c NEW SOLUTION FOUND: 62094 @ 147.47 @ #Dec. 36092 c NEW SOLUTION FOUND: 62088 @ 147.74 @ #Dec. 36213 c NEW SOLUTION FOUND: 62067 @ 148.02 @ #Dec. 36337 c NEW SOLUTION FOUND: 62050 @ 148.28 @ #Dec. 36453 c NEW SOLUTION FOUND: 62049 @ 148.54 @ #Dec. 36570 c NEW SOLUTION FOUND: 62048 @ 148.81 @ #Dec. 36695 c NEW SOLUTION FOUND: 62047 @ 149.06 @ #Dec. 36812 c NEW SOLUTION FOUND: 62044 @ 149.36 @ #Dec. 36951 c NEW SOLUTION FOUND: 62043 @ 149.66 @ #Dec. 37086 c NEW SOLUTION FOUND: 62042 @ 149.93 @ #Dec. 37203 c NEW SOLUTION FOUND: 62040 @ 150.22 @ #Dec. 37334 c NEW SOLUTION FOUND: 61701 @ 151.1 @ #Dec. 37684 c NEW SOLUTION FOUND: 61654 @ 151.37 @ #Dec. 37803 c NEW SOLUTION FOUND: 61649 @ 151.63 @ #Dec. 37928 c NEW SOLUTION FOUND: 61648 @ 151.9 @ #Dec. 38046 c NEW SOLUTION FOUND: 61626 @ 152.18 @ #Dec. 38169 c NEW SOLUTION FOUND: 61609 @ 152.44 @ #Dec. 38284 c NEW SOLUTION FOUND: 61607 @ 152.72 @ #Dec. 38413 c NEW SOLUTION FOUND: 61604 @ 153.01 @ #Dec. 38542 c NEW SOLUTION FOUND: 61601 @ 153.35 @ #Dec. 38693 c NEW SOLUTION FOUND: 61600 @ 153.61 @ #Dec. 38811 c NEW SOLUTION FOUND: 61598 @ 154.01 @ #Dec. 38991 c NEW SOLUTION FOUND: 61597 @ 154.27 @ #Dec. 39109 c NEW SOLUTION FOUND: 61595 @ 154.54 @ #Dec. 39232 c NEW SOLUTION FOUND: 61594 @ 155.96 @ #Dec. 39831 c NEW SOLUTION FOUND: 61593 @ 156.94 @ #Dec. 40244 c NEW SOLUTION FOUND: 61592 @ 157.31 @ #Dec. 40413 c NEW SOLUTION FOUND: 61591 @ 157.6 @ #Dec. 40544 c NEW SOLUTION FOUND: 61589 @ 157.9 @ #Dec. 40686 c NEW SOLUTION FOUND: 61588 @ 159.31 @ #Dec. 41316 c NEW SOLUTION FOUND: 61474 @ 160.19 @ #Dec. 41859 c NEW SOLUTION FOUND: 61037 @ 160.45 @ #Dec. 41975 c NEW SOLUTION FOUND: 61025 @ 160.72 @ #Dec. 42094 c NEW SOLUTION FOUND: 61008 @ 160.99 @ #Dec. 42212 c NEW SOLUTION FOUND: 60997 @ 161.26 @ #Dec. 42338 c NEW SOLUTION FOUND: 60968 @ 161.52 @ #Dec. 42459 c NEW SOLUTION FOUND: 60967 @ 161.8 @ #Dec. 42583 c NEW SOLUTION FOUND: 60961 @ 162.07 @ #Dec. 42709 c NEW SOLUTION FOUND: 60951 @ 162.38 @ #Dec. 42840 c NEW SOLUTION FOUND: 60949 @ 162.73 @ #Dec. 42992 c NEW SOLUTION FOUND: 60948 @ 163.08 @ #Dec. 43147 c NEW SOLUTION FOUND: 60947 @ 163.38 @ #Dec. 43277 c NEW SOLUTION FOUND: 60945 @ 163.72 @ #Dec. 43424 c NEW SOLUTION FOUND: 60944 @ 164.07 @ #Dec. 43573 c NEW SOLUTION FOUND: 60943 @ 164.38 @ #Dec. 43702 c NEW SOLUTION FOUND: 60942 @ 164.7 @ #Dec. 43848 c NEW SOLUTION FOUND: 60941 @ 164.98 @ #Dec. 43973 c NEW SOLUTION FOUND: 60940 @ 165.71 @ #Dec. 44256 c NEW SOLUTION FOUND: 60938 @ 166 @ #Dec. 44385 c NEW SOLUTION FOUND: 60937 @ 166.79 @ #Dec. 44737 c NEW SOLUTION FOUND: 60936 @ 167.14 @ #Dec. 44886 c NEW SOLUTION FOUND: 60933 @ 167.7 @ #Dec. 45172 c NEW SOLUTION FOUND: 60714 @ 168.11 @ #Dec. 45380 c NEW SOLUTION FOUND: 60702 @ 168.39 @ #Dec. 45508 c NEW SOLUTION FOUND: 60697 @ 168.68 @ #Dec. 45640 c NEW SOLUTION FOUND: 60687 @ 168.95 @ #Dec. 45766 c NEW SOLUTION FOUND: 60685 @ 169.23 @ #Dec. 45891 c NEW SOLUTION FOUND: 60683 @ 169.54 @ #Dec. 46039 c NEW SOLUTION FOUND: 60681 @ 169.82 @ #Dec. 46165 c NEW SOLUTION FOUND: 60679 @ 170.12 @ #Dec. 46312 c NEW SOLUTION FOUND: 60677 @ 170.4 @ #Dec. 46438 c NEW SOLUTION FOUND: 60668 @ 170.71 @ #Dec. 46583 c NEW SOLUTION FOUND: 60658 @ 170.99 @ #Dec. 46709 c NEW SOLUTION FOUND: 60656 @ 171.27 @ #Dec. 46834 c NEW SOLUTION FOUND: 60651 @ 171.56 @ #Dec. 46967 c NEW SOLUTION FOUND: 60639 @ 171.83 @ #Dec. 47094 c NEW SOLUTION FOUND: 60635 @ 172.13 @ #Dec. 47242 c NEW SOLUTION FOUND: 60631 @ 172.45 @ #Dec. 47391 c NEW SOLUTION FOUND: 60630 @ 172.83 @ #Dec. 47588 c NEW SOLUTION FOUND: 60628 @ 173.22 @ #Dec. 47792 c NEW SOLUTION FOUND: 60627 @ 173.56 @ #Dec. 47964 c NEW SOLUTION FOUND: 60626 @ 174.13 @ #Dec. 48256 c NEW SOLUTION FOUND: 60625 @ 174.49 @ #Dec. 48438 c NEW SOLUTION FOUND: 60623 @ 175.17 @ #Dec. 48722 c NEW SOLUTION FOUND: 60622 @ 175.6 @ #Dec. 48902 c NEW SOLUTION FOUND: 60621 @ 176.94 @ #Dec. 49571 c NEW SOLUTION FOUND: 60620 @ 177.39 @ #Dec. 49783 c NEW SOLUTION FOUND: 60619 @ 178.63 @ #Dec. 50418 c NEW SOLUTION FOUND: 60617 @ 179.39 @ #Dec. 50814 c NEW SOLUTION FOUND: 60616 @ 179.69 @ #Dec. 50964 c NEW SOLUTION FOUND: 60613 @ 184.64 @ #Dec. 51875 c NEW SOLUTION FOUND: 60373 @ 185.26 @ #Dec. 52063 c NEW SOLUTION FOUND: 60365 @ 185.66 @ #Dec. 52217 c NEW SOLUTION FOUND: 60329 @ 186.11 @ #Dec. 52382 c NEW SOLUTION FOUND: 60327 @ 186.45 @ #Dec. 52525 c NEW SOLUTION FOUND: 60323 @ 186.79 @ #Dec. 52671 c NEW SOLUTION FOUND: 60319 @ 187.19 @ #Dec. 52825 c NEW SOLUTION FOUND: 60318 @ 187.68 @ #Dec. 52992 c NEW SOLUTION FOUND: 60315 @ 188.13 @ #Dec. 53157 c NEW SOLUTION FOUND: 60313 @ 188.49 @ #Dec. 53305 c NEW SOLUTION FOUND: 60311 @ 188.83 @ #Dec. 53450 c NEW SOLUTION FOUND: 60309 @ 189.18 @ #Dec. 53599 c NEW SOLUTION FOUND: 60307 @ 189.53 @ #Dec. 53744 c NEW SOLUTION FOUND: 60306 @ 190.14 @ #Dec. 53976 c NEW SOLUTION FOUND: 60304 @ 190.47 @ #Dec. 54120 c NEW SOLUTION FOUND: 60302 @ 191.17 @ #Dec. 54455 c NEW SOLUTION FOUND: 60301 @ 191.52 @ #Dec. 54615 c NEW SOLUTION FOUND: 60298 @ 191.92 @ #Dec. 54798 c NEW SOLUTION FOUND: 60297 @ 192.83 @ #Dec. 55224 c NEW SOLUTION FOUND: 60296 @ 193.22 @ #Dec. 55401 c NEW SOLUTION FOUND: 60294 @ 194.05 @ #Dec. 55764 c NEW SOLUTION FOUND: 60293 @ 194.42 @ #Dec. 55930 c NEW SOLUTION FOUND: 60281 @ 194.8 @ #Dec. 56086 c NEW SOLUTION FOUND: 60096 @ 195.13 @ #Dec. 56232 c NEW SOLUTION FOUND: 60094 @ 195.48 @ #Dec. 56394 c NEW SOLUTION FOUND: 60092 @ 195.81 @ #Dec. 56542 c NEW SOLUTION FOUND: 60088 @ 196.15 @ #Dec. 56696 c NEW SOLUTION FOUND: 60051 @ 196.5 @ #Dec. 56852 c NEW SOLUTION FOUND: 60049 @ 196.83 @ #Dec. 57004 c NEW SOLUTION FOUND: 60047 @ 197.16 @ #Dec. 57159 c NEW SOLUTION FOUND: 60045 @ 197.49 @ #Dec. 57309 c NEW SOLUTION FOUND: 60041 @ 197.83 @ #Dec. 57460 c NEW SOLUTION FOUND: 60040 @ 198.27 @ #Dec. 57670 c NEW SOLUTION FOUND: 60038 @ 198.6 @ #Dec. 57822 c NEW SOLUTION FOUND: 60036 @ 199.03 @ #Dec. 58023 c NEW SOLUTION FOUND: 60034 @ 199.36 @ #Dec. 58173 c NEW SOLUTION FOUND: 60030 @ 199.7 @ #Dec. 58324 c NEW SOLUTION FOUND: 60028 @ 200.23 @ #Dec. 58595 c NEW SOLUTION FOUND: 60024 @ 200.57 @ #Dec. 58746 c NEW SOLUTION FOUND: 60022 @ 201.18 @ #Dec. 59053 c NEW SOLUTION FOUND: 60021 @ 201.53 @ #Dec. 59216 c NEW SOLUTION FOUND: 60020 @ 202.38 @ #Dec. 59583 c NEW SOLUTION FOUND: 60019 @ 202.74 @ #Dec. 59747 c NEW SOLUTION FOUND: 60016 @ 203.59 @ #Dec. 60103 c NEW SOLUTION FOUND: 48987 @ 204 @ #Dec. 60286 c NEW SOLUTION FOUND: 48975 @ 204.32 @ #Dec. 60437 c NEW SOLUTION FOUND: 48973 @ 204.66 @ #Dec. 60592 c NEW SOLUTION FOUND: 48971 @ 204.99 @ #Dec. 60745 c NEW SOLUTION FOUND: 48969 @ 205.34 @ #Dec. 60900 c NEW SOLUTION FOUND: 48967 @ 205.66 @ #Dec. 61051 c NEW SOLUTION FOUND: 48929 @ 206 @ #Dec. 61206 c NEW SOLUTION FOUND: 48921 @ 206.34 @ #Dec. 61367 c NEW SOLUTION FOUND: 48920 @ 206.75 @ #Dec. 61554 c NEW SOLUTION FOUND: 48919 @ 207.12 @ #Dec. 61726 c NEW SOLUTION FOUND: 48917 @ 207.45 @ #Dec. 61877 c NEW SOLUTION FOUND: 48910 @ 207.89 @ #Dec. 62088 c NEW SOLUTION FOUND: 48909 @ 208.3 @ #Dec. 62275 c NEW SOLUTION FOUND: 48907 @ 208.69 @ #Dec. 62453 c NEW SOLUTION FOUND: 48906 @ 209.07 @ #Dec. 62637 c NEW SOLUTION FOUND: 48904 @ 209.65 @ #Dec. 62921 c NEW SOLUTION FOUND: 48903 @ 210.05 @ #Dec. 63109 c NEW SOLUTION FOUND: 48900 @ 210.42 @ #Dec. 63279 c NEW SOLUTION FOUND: 48897 @ 211.78 @ #Dec. 63909 c NEW SOLUTION FOUND: 48827 @ 212.68 @ #Dec. 64320 c NEW SOLUTION FOUND: 48793 @ 213.06 @ #Dec. 64486 c NEW SOLUTION FOUND: 48781 @ 213.48 @ #Dec. 64660 c NEW SOLUTION FOUND: 48775 @ 213.93 @ #Dec. 64850 c NEW SOLUTION FOUND: 48773 @ 214.34 @ #Dec. 65025 c NEW SOLUTION FOUND: 48769 @ 214.92 @ #Dec. 65233 c NEW SOLUTION FOUND: 48765 @ 215.44 @ #Dec. 65434 c NEW SOLUTION FOUND: 48763 @ 215.91 @ #Dec. 65617 c NEW SOLUTION FOUND: 48761 @ 216.34 @ #Dec. 65794 c NEW SOLUTION FOUND: 48760 @ 217.52 @ #Dec. 66102 c NEW SOLUTION FOUND: 48759 @ 218.63 @ #Dec. 66399 c NEW SOLUTION FOUND: 48757 @ 219.07 @ #Dec. 66573 c NEW SOLUTION FOUND: 48752 @ 220.55 @ #Dec. 66992 c NEW SOLUTION FOUND: 48750 @ 220.99 @ #Dec. 67172 c NEW SOLUTION FOUND: 48749 @ 221.65 @ #Dec. 67403 c NEW SOLUTION FOUND: 48744 @ 223.12 @ #Dec. 67851 c NEW SOLUTION FOUND: 48743 @ 223.78 @ #Dec. 68080 c NEW SOLUTION FOUND: 48741 @ 225.49 @ #Dec. 68631 c NEW SOLUTION FOUND: 48740 @ 225.89 @ #Dec. 68799 c Restart #2 #Var: 2719 #Dec: 69451 LB: 0 @ 228.23 c NEW SOLUTION FOUND: 28020 @ 237.02 @ #Dec. 72128 c NEW SOLUTION FOUND: 28010 @ 237.3 @ #Dec. 72266 c NEW SOLUTION FOUND: 27999 @ 237.73 @ #Dec. 72488 c NEW SOLUTION FOUND: 27958 @ 238.03 @ #Dec. 72637 c NEW SOLUTION FOUND: 27826 @ 238.32 @ #Dec. 72784 c NEW SOLUTION FOUND: 27681 @ 238.81 @ #Dec. 72989 c NEW SOLUTION FOUND: 27638 @ 239.24 @ #Dec. 73176 c NEW SOLUTION FOUND: 27580 @ 239.67 @ #Dec. 73354 c NEW SOLUTION FOUND: 27543 @ 240.13 @ #Dec. 73550 c NEW SOLUTION FOUND: 27491 @ 240.59 @ #Dec. 73748 c NEW SOLUTION FOUND: 27421 @ 241.12 @ #Dec. 73957 c NEW SOLUTION FOUND: 27363 @ 241.58 @ #Dec. 74152 c NEW SOLUTION FOUND: 27311 @ 242.12 @ #Dec. 74388 c NEW SOLUTION FOUND: 27271 @ 246.89 @ #Dec. 75869 c NEW SOLUTION FOUND: 27232 @ 247.71 @ #Dec. 76124 c NEW SOLUTION FOUND: 27229 @ 248.34 @ #Dec. 76339 c NEW SOLUTION FOUND: 27228 @ 248.72 @ #Dec. 76506 c NEW SOLUTION FOUND: 27064 @ 249.11 @ #Dec. 76674 c NEW SOLUTION FOUND: 27041 @ 250.51 @ #Dec. 77264 c NEW SOLUTION FOUND: 27040 @ 253.62 @ #Dec. 78267 c NEW SOLUTION FOUND: 27021 @ 256.82 @ #Dec. 79286 c NEW SOLUTION FOUND: 27004 @ 257.82 @ #Dec. 79544 c NEW SOLUTION FOUND: 26993 @ 258.91 @ #Dec. 79890 c NEW SOLUTION FOUND: 26976 @ 262.48 @ #Dec. 80796 c NEW SOLUTION FOUND: 26943 @ 264.27 @ #Dec. 81259 c NEW SOLUTION FOUND: 26940 @ 265.11 @ #Dec. 81518 c Restart #3 #Var: 2719 #Dec: 82996 LB: 0 @ 275.05 c Restart #4 #Var: 2719 #Dec: 90598 LB: 0 @ 303.74 c NEW SOLUTION FOUND: 19016 @ 340.07 @ #Dec. 100592 c NEW SOLUTION FOUND: 19007 @ 340.29 @ #Dec. 100733 c NEW SOLUTION FOUND: 18980 @ 340.52 @ #Dec. 100878 c NEW SOLUTION FOUND: 18957 @ 340.82 @ #Dec. 101040 c NEW SOLUTION FOUND: 18836 @ 341.06 @ #Dec. 101186 c NEW SOLUTION FOUND: 18832 @ 341.29 @ #Dec. 101334 c NEW SOLUTION FOUND: 18828 @ 341.53 @ #Dec. 101483 c NEW SOLUTION FOUND: 18825 @ 341.77 @ #Dec. 101633 c NEW SOLUTION FOUND: 18824 @ 342.01 @ #Dec. 101784 c NEW SOLUTION FOUND: 18823 @ 342.26 @ #Dec. 101935 c NEW SOLUTION FOUND: 18819 @ 342.5 @ #Dec. 102088 c NEW SOLUTION FOUND: 18815 @ 342.75 @ #Dec. 102242 c NEW SOLUTION FOUND: 18785 @ 343 @ #Dec. 102398 c NEW SOLUTION FOUND: 18676 @ 343.26 @ #Dec. 102557 c NEW SOLUTION FOUND: 18675 @ 343.5 @ #Dec. 102712 c NEW SOLUTION FOUND: 18621 @ 343.75 @ #Dec. 102871 c NEW SOLUTION FOUND: 18620 @ 344 @ #Dec. 103027 c NEW SOLUTION FOUND: 18609 @ 344.25 @ #Dec. 103189 c NEW SOLUTION FOUND: 18410 @ 344.52 @ #Dec. 103352 c NEW SOLUTION FOUND: 18409 @ 344.79 @ #Dec. 103509 c NEW SOLUTION FOUND: 18354 @ 345.06 @ #Dec. 103671 c NEW SOLUTION FOUND: 17855 @ 345.34 @ #Dec. 103832 c NEW SOLUTION FOUND: 17831 @ 345.61 @ #Dec. 103992 c NEW SOLUTION FOUND: 17830 @ 345.87 @ #Dec. 104147 c NEW SOLUTION FOUND: 17801 @ 346.13 @ #Dec. 104307 c NEW SOLUTION FOUND: 17800 @ 346.38 @ #Dec. 104466 c NEW SOLUTION FOUND: 17790 @ 346.7 @ #Dec. 104643 c NEW SOLUTION FOUND: 17788 @ 347.07 @ #Dec. 104832 c NEW SOLUTION FOUND: 17782 @ 347.44 @ #Dec. 105025 c NEW SOLUTION FOUND: 17781 @ 347.75 @ #Dec. 105196 c NEW SOLUTION FOUND: 17776 @ 348.09 @ #Dec. 105383 c NEW SOLUTION FOUND: 17775 @ 348.4 @ #Dec. 105554 c NEW SOLUTION FOUND: 17770 @ 348.75 @ #Dec. 105739 c NEW SOLUTION FOUND: 17641 @ 349.1 @ #Dec. 105925 c NEW SOLUTION FOUND: 17622 @ 349.37 @ #Dec. 106081 c NEW SOLUTION FOUND: 17616 @ 349.67 @ #Dec. 106241 c NEW SOLUTION FOUND: 17597 @ 349.96 @ #Dec. 106400 c NEW SOLUTION FOUND: 17596 @ 350.31 @ #Dec. 106573 c NEW SOLUTION FOUND: 17585 @ 350.64 @ #Dec. 106747 c NEW SOLUTION FOUND: 17566 @ 350.95 @ #Dec. 106914 c NEW SOLUTION FOUND: 17558 @ 351.4 @ #Dec. 107134 c NEW SOLUTION FOUND: 17552 @ 351.85 @ #Dec. 107351 c NEW SOLUTION FOUND: 17540 @ 352.39 @ #Dec. 107585 c NEW SOLUTION FOUND: 17539 @ 352.76 @ #Dec. 107769 c NEW SOLUTION FOUND: 17538 @ 353.27 @ #Dec. 108030 c NEW SOLUTION FOUND: 17536 @ 353.76 @ #Dec. 108283 c NEW SOLUTION FOUND: 17535 @ 354.13 @ #Dec. 108478 c NEW SOLUTION FOUND: 17521 @ 354.6 @ #Dec. 108720 c NEW SOLUTION FOUND: 17508 @ 355.08 @ #Dec. 109001 c NEW SOLUTION FOUND: 17507 @ 355.48 @ #Dec. 109219 c NEW SOLUTION FOUND: 17504 @ 356.01 @ #Dec. 109506 c NEW SOLUTION FOUND: 17503 @ 356.7 @ #Dec. 109827 c NEW SOLUTION FOUND: 17502 @ 357.2 @ #Dec. 110086 c NEW SOLUTION FOUND: 17501 @ 357.76 @ #Dec. 110368 c NEW SOLUTION FOUND: 17492 @ 358.3 @ #Dec. 110631 c NEW SOLUTION FOUND: 17491 @ 359.06 @ #Dec. 111051 c NEW SOLUTION FOUND: 17490 @ 359.68 @ #Dec. 111384 c NEW SOLUTION FOUND: 17484 @ 360.18 @ #Dec. 111647 c NEW SOLUTION FOUND: 17483 @ 360.7 @ #Dec. 111931 c NEW SOLUTION FOUND: 17479 @ 361.26 @ #Dec. 112214 c NEW SOLUTION FOUND: 17478 @ 363.06 @ #Dec. 112820 c NEW SOLUTION FOUND: 17448 @ 370.44 @ #Dec. 115879 c NEW SOLUTION FOUND: 17370 @ 370.81 @ #Dec. 116078 c NEW SOLUTION FOUND: 17291 @ 371.49 @ #Dec. 116352 c NEW SOLUTION FOUND: 12631 @ 379.18 @ #Dec. 118553 c NEW SOLUTION FOUND: 12616 @ 379.4 @ #Dec. 118712 c NEW SOLUTION FOUND: 12596 @ 379.64 @ #Dec. 118874 c NEW SOLUTION FOUND: 12560 @ 379.88 @ #Dec. 119038 c NEW SOLUTION FOUND: 12550 @ 380.14 @ #Dec. 119211 c NEW SOLUTION FOUND: 12539 @ 380.42 @ #Dec. 119392 c NEW SOLUTION FOUND: 12524 @ 380.91 @ #Dec. 119676 c NEW SOLUTION FOUND: 12379 @ 381.3 @ #Dec. 119902 c NEW SOLUTION FOUND: 12324 @ 381.76 @ #Dec. 120154 c NEW SOLUTION FOUND: 11960 @ 382.16 @ #Dec. 120383 c NEW SOLUTION FOUND: 11858 @ 382.56 @ #Dec. 120618 c NEW SOLUTION FOUND: 11818 @ 382.96 @ #Dec. 120852 c NEW SOLUTION FOUND: 11781 @ 383.36 @ #Dec. 121086 c NEW SOLUTION FOUND: 11635 @ 383.77 @ #Dec. 121322 c NEW SOLUTION FOUND: 11590 @ 384.19 @ #Dec. 121561 c NEW SOLUTION FOUND: 11588 @ 384.68 @ #Dec. 121817 c NEW SOLUTION FOUND: 11399 @ 385.11 @ #Dec. 122060 c NEW SOLUTION FOUND: 11265 @ 385.56 @ #Dec. 122306 c NEW SOLUTION FOUND: 11256 @ 386.01 @ #Dec. 122555 c NEW SOLUTION FOUND: 11242 @ 386.48 @ #Dec. 122805 c NEW SOLUTION FOUND: 11241 @ 387.03 @ #Dec. 123082 c NEW SOLUTION FOUND: 11240 @ 387.42 @ #Dec. 123312 c NEW SOLUTION FOUND: 11231 @ 387.84 @ #Dec. 123552 c NEW SOLUTION FOUND: 11227 @ 388.31 @ #Dec. 123812 c NEW SOLUTION FOUND: 11215 @ 388.89 @ #Dec. 124111 c NEW SOLUTION FOUND: 11207 @ 389.38 @ #Dec. 124383 c NEW SOLUTION FOUND: 11175 @ 390.4 @ #Dec. 124871 c NEW SOLUTION FOUND: 11135 @ 391.13 @ #Dec. 125250 c NEW SOLUTION FOUND: 11109 @ 391.68 @ #Dec. 125551 c NEW SOLUTION FOUND: 11103 @ 392.18 @ #Dec. 125833 c NEW SOLUTION FOUND: 11077 @ 392.69 @ #Dec. 126118 c NEW SOLUTION FOUND: 11049 @ 393.19 @ #Dec. 126404 c NEW SOLUTION FOUND: 11026 @ 393.7 @ #Dec. 126690 c NEW SOLUTION FOUND: 11008 @ 394.21 @ #Dec. 126977 c NEW SOLUTION FOUND: 10990 @ 394.73 @ #Dec. 127265 c NEW SOLUTION FOUND: 10970 @ 395.23 @ #Dec. 127554 c NEW SOLUTION FOUND: 10950 @ 395.74 @ #Dec. 127844 c NEW SOLUTION FOUND: 10936 @ 396.39 @ #Dec. 128197 c NEW SOLUTION FOUND: 10921 @ 396.91 @ #Dec. 128488 c NEW SOLUTION FOUND: 10907 @ 397.43 @ #Dec. 128781 c NEW SOLUTION FOUND: 10883 @ 398.09 @ #Dec. 129141 c NEW SOLUTION FOUND: 10867 @ 398.78 @ #Dec. 129505 c NEW SOLUTION FOUND: 10843 @ 399.8 @ #Dec. 130030 c NEW SOLUTION FOUND: 10839 @ 400.5 @ #Dec. 130404 c NEW SOLUTION FOUND: 10807 @ 401.39 @ #Dec. 130857 c NEW SOLUTION FOUND: 10797 @ 401.95 @ #Dec. 131163 c NEW SOLUTION FOUND: 10757 @ 402.5 @ #Dec. 131469 c NEW SOLUTION FOUND: 10670 @ 403.06 @ #Dec. 131776 c NEW SOLUTION FOUND: 10625 @ 403.62 @ #Dec. 132081 c NEW SOLUTION FOUND: 10615 @ 404.18 @ #Dec. 132388 c NEW SOLUTION FOUND: 10401 @ 404.75 @ #Dec. 132693 c NEW SOLUTION FOUND: 9964 @ 405.31 @ #Dec. 132999 c NEW SOLUTION FOUND: 9781 @ 405.89 @ #Dec. 133310 c NEW SOLUTION FOUND: 9681 @ 406.46 @ #Dec. 133623 c NEW SOLUTION FOUND: 9481 @ 407.04 @ #Dec. 133932 c NEW SOLUTION FOUND: 9473 @ 407.66 @ #Dec. 134251 c NEW SOLUTION FOUND: 9460 @ 408.05 @ #Dec. 134479 c NEW SOLUTION FOUND: 9447 @ 408.44 @ #Dec. 134710 c NEW SOLUTION FOUND: 9411 @ 408.88 @ #Dec. 134977 c NEW SOLUTION FOUND: 9395 @ 410.96 @ #Dec. 135987 c NEW SOLUTION FOUND: 9390 @ 411.61 @ #Dec. 136321 c NEW SOLUTION FOUND: 9322 @ 414.57 @ #Dec. 137729 c NEW SOLUTION FOUND: 9234 @ 417.56 @ #Dec. 139149 c NEW SOLUTION FOUND: 9164 @ 419.65 @ #Dec. 140151 c NEW SOLUTION FOUND: 9109 @ 420.65 @ #Dec. 140646 c NEW SOLUTION FOUND: 9057 @ 422.23 @ #Dec. 141419 c NEW SOLUTION FOUND: 9013 @ 422.94 @ #Dec. 141785 c NEW SOLUTION FOUND: 9005 @ 423.64 @ #Dec. 142150 c NEW SOLUTION FOUND: 8992 @ 424.34 @ #Dec. 142516 c NEW SOLUTION FOUND: 8969 @ 425.69 @ #Dec. 143171 c NEW SOLUTION FOUND: 8944 @ 426.41 @ #Dec. 143540 c NEW SOLUTION FOUND: 8940 @ 427.12 @ #Dec. 143908 c NEW SOLUTION FOUND: 8936 @ 427.89 @ #Dec. 144280 c NEW SOLUTION FOUND: 8911 @ 428.27 @ #Dec. 144497 c NEW SOLUTION FOUND: 8906 @ 429.03 @ #Dec. 144868 c NEW SOLUTION FOUND: 8898 @ 429.81 @ #Dec. 145237 c NEW SOLUTION FOUND: 8893 @ 430.57 @ #Dec. 145613 c NEW SOLUTION FOUND: 8872 @ 431.37 @ #Dec. 145996 c NEW SOLUTION FOUND: 8820 @ 432.66 @ #Dec. 146600 c NEW SOLUTION FOUND: 8709 @ 433.85 @ #Dec. 147173 c NEW SOLUTION FOUND: 7673 @ 434.64 @ #Dec. 147568 c Restart #5 #Var: 2719 #Dec: 151256 LB: 0 @ 447.79 c NEW SOLUTION FOUND: 7638 @ 461.82 @ #Dec. 155560 c NEW SOLUTION FOUND: 7630 @ 462.36 @ #Dec. 155840 c NEW SOLUTION FOUND: 7622 @ 463.16 @ #Dec. 156197 c NEW SOLUTION FOUND: 7609 @ 463.71 @ #Dec. 156480 c NEW SOLUTION FOUND: 7608 @ 468.93 @ #Dec. 158352 c NEW SOLUTION FOUND: 7600 @ 471.13 @ #Dec. 159375 c NEW SOLUTION FOUND: 7590 @ 471.93 @ #Dec. 159762 c NEW SOLUTION FOUND: 7572 @ 472.73 @ #Dec. 160144 c NEW SOLUTION FOUND: 7551 @ 473.75 @ #Dec. 160626 c NEW SOLUTION FOUND: 7539 @ 474.55 @ #Dec. 161001 c NEW SOLUTION FOUND: 7520 @ 476.02 @ #Dec. 161620 c NEW SOLUTION FOUND: 7518 @ 476.7 @ #Dec. 161907 c NEW SOLUTION FOUND: 7499 @ 477.63 @ #Dec. 162297 c NEW SOLUTION FOUND: 7464 @ 478.95 @ #Dec. 162839 c NEW SOLUTION FOUND: 7458 @ 480.29 @ #Dec. 163390 c NEW SOLUTION FOUND: 7428 @ 481.84 @ #Dec. 163955 c NEW SOLUTION FOUND: 7021 @ 482.97 @ #Dec. 164405 c NEW SOLUTION FOUND: 7004 @ 484.03 @ #Dec. 164824 c NEW SOLUTION FOUND: 6987 @ 485.12 @ #Dec. 165248 c NEW SOLUTION FOUND: 6900 @ 486.64 @ #Dec. 165833 c NEW SOLUTION FOUND: 6892 @ 487.73 @ #Dec. 166259 c NEW SOLUTION FOUND: 6886 @ 501.52 @ #Dec. 169631 c NEW SOLUTION FOUND: 6864 @ 501.96 @ #Dec. 169876 c NEW SOLUTION FOUND: 6852 @ 502.41 @ #Dec. 170124 c NEW SOLUTION FOUND: 6805 @ 502.85 @ #Dec. 170373 c NEW SOLUTION FOUND: 6803 @ 503.31 @ #Dec. 170625 c NEW SOLUTION FOUND: 6801 @ 503.98 @ #Dec. 170906 c NEW SOLUTION FOUND: 6788 @ 504.65 @ #Dec. 171188 c NEW SOLUTION FOUND: 6786 @ 505.32 @ #Dec. 171471 c NEW SOLUTION FOUND: 6690 @ 506.01 @ #Dec. 171755 c NEW SOLUTION FOUND: 6678 @ 506.68 @ #Dec. 172040 c NEW SOLUTION FOUND: 6671 @ 507.36 @ #Dec. 172325 c NEW SOLUTION FOUND: 6667 @ 508.03 @ #Dec. 172610 c NEW SOLUTION FOUND: 6593 @ 508.71 @ #Dec. 172896 c NEW SOLUTION FOUND: 6554 @ 509.38 @ #Dec. 173182 c NEW SOLUTION FOUND: 6511 @ 510.35 @ #Dec. 173563 c NEW SOLUTION FOUND: 6463 @ 512.46 @ #Dec. 174206 c NEW SOLUTION FOUND: 6455 @ 514.73 @ #Dec. 174871 c NEW SOLUTION FOUND: 6445 @ 515.96 @ #Dec. 175294 c NEW SOLUTION FOUND: 6431 @ 518.81 @ #Dec. 176085 c NEW SOLUTION FOUND: 6402 @ 521.03 @ #Dec. 176741 c NEW SOLUTION FOUND: 6378 @ 524.43 @ #Dec. 177660 c NEW SOLUTION FOUND: 6368 @ 527.56 @ #Dec. 178473 c NEW SOLUTION FOUND: 6354 @ 529.27 @ #Dec. 178996 c NEW SOLUTION FOUND: 6345 @ 531.96 @ #Dec. 179766 c NEW SOLUTION FOUND: 6317 @ 537.35 @ #Dec. 181177 c NEW SOLUTION FOUND: 6311 @ 539.23 @ #Dec. 181752 c NEW SOLUTION FOUND: 6299 @ 541.11 @ #Dec. 182329 c NEW SOLUTION FOUND: 6298 @ 634.57 @ #Dec. 206539 c NEW SOLUTION FOUND: 6296 @ 636.13 @ #Dec. 207161 c NEW SOLUTION FOUND: 6295 @ 636.97 @ #Dec. 207562 c NEW SOLUTION FOUND: 6291 @ 652.33 @ #Dec. 211524 c NEW SOLUTION FOUND: 6290 @ 654.59 @ #Dec. 212225 c NEW SOLUTION FOUND: 6287 @ 675.93 @ #Dec. 217429 c NEW SOLUTION FOUND: 6283 @ 677.67 @ #Dec. 217990 c NEW SOLUTION FOUND: 6279 @ 679.44 @ #Dec. 218551 c NEW SOLUTION FOUND: 6278 @ 681.57 @ #Dec. 219178 c NEW SOLUTION FOUND: 6277 @ 709.75 @ #Dec. 227146 c Restart #6 #Var: 2719 #Dec: 251535 LB: 0 @ 788.2 c Restart #7 #Var: 2719 #Dec: 257139 LB: 0 @ 827.11 c NEW SOLUTION FOUND: 6273 @ 998.58 @ #Dec. 291058 c NEW SOLUTION FOUND: 6270 @ 999.73 @ #Dec. 291374 c NEW SOLUTION FOUND: 6268 @ 1001.6 @ #Dec. 291889 c NEW SOLUTION FOUND: 6254 @ 1050.2 @ #Dec. 300794 c NEW SOLUTION FOUND: 6253 @ 1066.6 @ #Dec. 303975 c NEW SOLUTION FOUND: 6251 @ 1162.3 @ #Dec. 328629 s SATISFIABLE v -C1001_bit0 -C1002_bit0 -C1003_bit0 -C1004_bit0 -C1005_bit0 -C1006_bit0 -C1009_bit0 -C1010_bit0 -C1011_bit0 -C1014_bit0 -C1017_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 -C1022_bit0 -C1023_bit0 -C1024_bit0 -C1027_bit0 -C1029_bit0 -C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 -C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 C1039_bit0 -C1042_bit0 -C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 -C1048_bit0 -C1049_bit0 -C1050_bit0 -C1051_bit0 -C1054_bit0 -C1056_bit0 -C1057_bit0 -C1058_bit0 -C1059_bit0 -C1060_bit0 -C1061_bit0 -C1062_bit0 -C1065_bit0 -C1066_bit0 -C1067_bit0 -C1068_bit0 C1070_bit0 -C1073_bit0 -C1074_bit0 -C1075_bit0 -C1076_bit0 -C1077_bit0 -C1078_bit0 -C1079_bit0 -C1080_bit0 -C1083_bit0 -C1085_bit0 -C1086_bit0 -C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 -C1093_bit0 -C1094_bit0 -C1095_bit0 -C1098_bit0 -C1100_bit0 -C1101_bit0 -C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 -C1106_bit0 -C1107_bit0 -C1110_bit0 -C1112_bit0 -C1113_bit0 -C1114_bit0 -C1115_bit0 -C1116_bit0 -C1117_bit0 -C1119_bit0 -C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 -C1126_bit0 -C1127_bit0 -C1128_bit0 -C1129_bit0 -C1131_bit0 -C1132_bit0 -C1133_bit0 -C1134_bit0 -C1135_bit0 -C1136_bit0 -C1137_bit0 -C1139_bit0 -C1140_bit0 -C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 -C1148_bit0 -C1149_bit0 -C1150_bit0 -C1153_bit0 -C1156_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1166_bit0 -C1168_bit0 -C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 C1178_bit0 -C1181_bit0 -C1183_bit0 -C1184_bit0 -C1185_bit0 -C1186_bit0 -C1187_bit0 -C1188_bit0 -C1189_bit0 -C1190_bit0 -C1193_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 -C1198_bit0 -C1199_bit0 -C1200_bit0 -C1201_bit0 -C1204_bit0 -C1205_bit0 -C1206_bit0 -C1207_bit0 C1209_bit0 -C1212_bit0 -C1213_bit0 -C1214_bit0 -C1215_bit0 -C1216_bit0 -C1217_bit0 -C1218_bit0 -C1219_bit0 -C1222_bit0 -C1224_bit0 -C1225_bit0 -C1226_bit0 -C1227_bit0 -C1228_bit0 -C1229_bit0 -C1230_bit0 -C1231_bit0 -C1232_bit0 -C1233_bit0 -C1234_bit0 -C1237_bit0 -C1239_bit0 -C1240_bit0 -C1241_bit0 -C1242_bit0 -C1243_bit0 -C1244_bit0 -C1245_bit0 -C1246_bit0 -C1249_bit0 -C1251_bit0 -C1252_bit0 -C1253_bit0 -C1254_bit0 -C1255_bit0 -C1256_bit0 -C1258_bit0 -C1259_bit0 -C1260_bit0 -C1261_bit0 -C1262_bit0 -C1263_bit0 -C1265_bit0 -C1266_bit0 -C1267_bit0 -C1268_bit0 -C1270_bit0 -C1271_bit0 -C1272_bit0 -C1273_bit0 -C1274_bit0 -C1275_bit0 -C1276_bit0 -C1278_bit0 -C1279_bit0 -C1280_bit0 -C1281_bit0 -C1283_bit0 -C1284_bit0 -C1285_bit0 -C1286_bit0 -C1289_bit0 -C1290_bit0 -C1291_bit0 -C1292_bit0 -C1293_bit0 -C1294_bit0 -C1295_bit0 -C1296_bit0 -C1297_bit0 -C1298_bit0 -C1299_bit0 -C1300_bit0 -C1303_bit0 -C1304_bit0 -C1305_bit0 -C1306_bit0 -C1307_bit0 -C1308_bit0 -C1309_bit0 -C1310_bit0 -C1313_bit0 -C1314_bit0 -C1315_bit0 -C1316_bit0 -C1317_bit0 -C1318_bit0 -C1319_bit0 -C1320_bit0 -C1321_bit0 -C1322_bit0 -C1323_bit0 -C1326_bit0 -C1327_bit0 -C1328_bit0 -C1329_bit0 -C1330_bit0 -C1331_bit0 -C1332_bit0 -C1333_bit0 -C1335_bit0 -C1338_bit0 -C1339_bit0 -C1340_bit0 -C1341_bit0 -C1343_bit0 -C1344_bit0 -C1345_bit0 -C1347_bit0 -C1348_bit0 -C1349_bit0 -C1351_bit0 -C1352_bit0 -C1353_bit0 -C1354_bit0 -C1356_bit0 -C1357_bit0 -C1358_bit0 -C1359_bit0 -C1360_bit0 -C1361_bit0 -C1362_bit0 C1363_bit0 -C1366_bit0 -C1367_bit0 -C1368_bit0 -C1369_bit0 -C1370_bit0 -C1371_bit0 -C1372_bit0 -C1373_bit0 -C1374_bit0 -C1375_bit0 -C1376_bit0 C1377_bit0 -C1380_bit0 -C1381_bit0 -C1382_bit0 -C1383_bit0 -C1384_bit0 -C1385_bit0 -C1386_bit0 -C1387_bit0 -C1390_bit0 -C1391_bit0 -C1392_bit0 -C1393_bit0 -C1394_bit0 -C1395_bit0 -C1396_bit0 -C1397_bit0 -C1398_bit0 -C1399_bit0 -C1400_bit0 -C1403_bit0 -C1404_bit0 -C1405_bit0 -C1406_bit0 -C1407_bit0 -C1408_bit0 -C1409_bit0 -C1410_bit0 -C1411_bit0 -C1412_bit0 -C1415_bit0 -C1416_bit0 -C1417_bit0 -C1418_bit0 -C1419_bit0 -C1420_bit0 -C1421_bit0 -C1422_bit0 -C1423_bit0 -C1424_bit0 -C1425_bit0 C1426_bit0 -C1428_bit0 -C1429_bit0 -C1430_bit0 -C1431_bit0 -C1432_bit0 -C1433_bit0 -C1434_bit0 -C1435_bit0 -C1436_bit0 -C1437_bit0 -C1438_bit0 -C1439_bit0 -C1440_bit0 -C1441_bit0 -C1442_bit0 -C1443_bit0 -C1444_bit0 -C1445_bit0 -C1446_bit0 -C1447_bit0 -C1448_bit0 -C1449_bit0 -C1450_bit0 -C1451_bit0 -C1452_bit0 -C1453_bit0 -C1454_bit0 -C1456_bit0 -C1457_bit0 -C1458_bit0 -C1459_bit0 -C1460_bit0 -C1461_bit0 -C1463_bit0 -C1464_bit0 C1465_bit0 -C1466_bit0 -C1467_bit0 C1468_bit0 -C1469_bit0 -C1470_bit0 -C1471_bit0 -C1472_bit0 -C1473_bit0 -C1474_bit0 -C1475_bit0 C1476_bit0 -C1479_bit0 -C1480_bit0 -C1481_bit0 -C1482_bit0 -C1483_bit0 -C1484_bit0 -C1485_bit0 -C1486_bit0 -C1489_bit0 -C1490_bit0 -C1491_bit0 -C1492_bit0 -C1493_bit0 -C1494_bit0 -C1495_bit0 -C1496_bit0 -C1497_bit0 -C1498_bit0 -C1499_bit0 -C1500_bit0 -C1501_bit0 -C1502_bit0 -C1503_bit0 -C1506_bit0 -C1507_bit0 -C1508_bit0 -C1509_bit0 -C1510_bit0 -C1511_bit0 -C1512_bit0 -C1513_bit0 -C1514_bit0 -C1515_bit0 -C1516_bit0 -C1517_bit0 -C1519_bit0 -C1522_bit0 -C1523_bit0 -C1524_bit0 -C1525_bit0 -C1526_bit0 -C1527_bit0 -C1528_bit0 -C1529_bit0 -C1530_bit0 -C1531_bit0 -C1532_bit0 -C1533_bit0 -C1535_bit0 -C1536_bit0 -C1537_bit0 -C1538_bit0 -C1539_bit0 -C1540_bit0 -C1541_bit0 -C1542_bit0 -C1543_bit0 -C1544_bit0 -C1545_bit0 C1546_bit0 -C1549_bit0 -C1550_bit0 -C1551_bit0 -C1552_bit0 -C1553_bit0 -C1554_bit0 -C1555_bit0 -C1556_bit0 -C1559_bit0 -C1560_bit0 -C1561_bit0 -C1562_bit0 -C1563_bit0 -C1564_bit0 -C1565_bit0 -C1566_bit0 -C1567_bit0 -C1568_bit0 -C1569_bit0 -C1570_bit0 -C1571_bit0 -C1572_bit0 C1573_bit0 -C1576_bit0 -C1577_bit0 -C1578_bit0 -C1579_bit0 -C1580_bit0 -C1581_bit0 -C1582_bit0 -C1583_bit0 -C1584_bit0 -C1585_bit0 -C1586_bit0 -C1587_bit0 -C1588_bit0 -C1589_bit0 -C1592_bit0 -C1593_bit0 -C1594_bit0 -C1595_bit0 -C1596_bit0 -C1597_bit0 -C1598_bit0 -C1599_bit0 -C1600_bit0 -C1601_bit0 C1602_bit0 -C1603_bit0 -C1605_bit0 -C1606_bit0 -C1607_bit0 -C1608_bit0 -C1609_bit0 -C1610_bit0 -C1611_bit0 -C1612_bit0 -C1613_bit0 -C1614_bit0 -C1615_bit0 -C1616_bit0 -C1617_bit0 -C1618_bit0 -C1619_bit0 -C1620_bit0 -C1621_bit0 -C1622_bit0 -C1623_bit0 -C1624_bit0 -C1625_bit0 -C1626_bit0 -C1627_bit0 -C1628_bit0 -C1629_bit0 -C1630_bit0 -C1631_bit0 -C1633_bit0 -C1634_bit0 -C1635_bit0 -C1636_bit0 -C1637_bit0 -C1638_bit0 -C1639_bit0 -C1640_bit0 -C1641_bit0 -C1642_bit0 -C1643_bit0 -C1644_bit0 -C1645_bit0 -C1646_bit0 -C1647_bit0 -C1648_bit0 -C1650_bit0 -C1651_bit0 -C1652_bit0 C1653_bit0 -C1656_bit0 -C1657_bit0 -C1658_bit0 -C1659_bit0 -C1660_bit0 -C1661_bit0 -C1662_bit0 -C1663_bit0 -C1666_bit0 -C1667_bit0 -C1668_bit0 -C1669_bit0 -C1670_bit0 -C1671_bit0 -C1672_bit0 -C1673_bit0 -C1674_bit0 -C1675_bit0 -C1676_bit0 -C1677_bit0 -C1678_bit0 -C1679_bit0 -C1680_bit0 -C1683_bit0 -C1684_bit0 -C1685_bit0 -C1686_bit0 -C1687_bit0 -C1688_bit0 -C1689_bit0 -C1690_bit0 -C1691_bit0 -C1692_bit0 -C1693_bit0 -C1694_bit0 -C1696_bit0 -C1699_bit0 -C1700_bit0 -C1701_bit0 -C1702_bit0 -C1703_bit0 -C1704_bit0 -C1705_bit0 -C1706_bit0 -C1707_bit0 -C1708_bit0 -C1709_bit0 -C1710_bit0 -C1712_bit0 -C1713_bit0 -C1714_bit0 -C1715_bit0 -C1716_bit0 -C1717_bit0 -C1718_bit0 -C1719_bit0 -C1720_bit0 -C1721_bit0 -C1722_bit0 C1723_bit0 -C1726_bit0 -C1727_bit0 -C1728_bit0 -C1729_bit0 -C1730_bit0 -C1731_bit0 -C1732_bit0 -C1733_bit0 -C1736_bit0 -C1737_bit0 -C1738_bit0 -C1739_bit0 -C1740_bit0 -C1741_bit0 -C1742_bit0 -C1743_bit0 -C1744_bit0 -C1745_bit0 -C1746_bit0 -C1747_bit0 -C1748_bit0 -C1749_bit0 -C1750_bit0 -C1753_bit0 -C1754_bit0 -C1755_bit0 -C1756_bit0 -C1757_bit0 -C1758_bit0 -C1759_bit0 -C1760_bit0 -C1761_bit0 -C1762_bit0 -C1763_bit0 -C1764_bit0 -C1765_bit0 -C1766_bit0 -C1769_bit0 -C1770_bit0 -C1771_bit0 -C1772_bit0 -C1773_bit0 -C1774_bit0 -C1775_bit0 -C1776_bit0 -C1777_bit0 -C1778_bit0 -C1779_bit0 -C1780_bit0 -C1782_bit0 -C1783_bit0 -C1784_bit0 -C1785_bit0 -C1786_bit0 -C1787_bit0 -C1788_bit0 -C1789_bit0 -C1790_bit0 -C1791_bit0 -C1792_bit0 -C1793_bit0 -C1796_bit0 -C1797_bit0 -C1798_bit0 -C1799_bit0 -C1800_bit0 -C1812_bit0 -C1813_bit0 -C1814_bit0 -C1815_bit0 -C1816_bit0 -C1817_bit0 -C1818_bit0 -C1821_bit0 -C1822_bit0 -C1823_bit0 -C1824_bit0 -C1825_bit0 -C1829_bit0 -C1833_bit0 -C1837_bit0 -C1838_bit0 -C1839_bit0 -C1840_bit0 -C1841_bit0 -C1842_bit0 -C1843_bit0 -C1846_bit0 -C1847_bit0 -C1848_bit0 -C1849_bit0 -C1850_bit0 -C1851_bit0 -C1854_bit0 -C1856_bit0 -C1860_bit0 -C1864_bit0 -C1865_bit0 -C1867_bit0 -C1870_bit0 -C1871_bit0 -C1872_bit0 -C1873_bit0 -C1875_bit0 -C1876_bit0 -C1877_bit0 -C1878_bit0 -C1879_bit0 C1880_bit0 -C1882_bit0 -C1883_bit0 -C1884_bit0 -C1885_bit0 -C1886_bit0 -C1887_bit0 -C1888_bit0 -C1889_bit0 -C1890_bit0 -C1891_bit0 -C1892_bit0 C1893_bit0 -C1896_bit0 -C1897_bit0 -C1898_bit0 -C1899_bit0 -C1900_bit0 -C1904_bit0 -C1908_bit0 -C1912_bit0 -C1913_bit0 -C1914_bit0 -C1915_bit0 -C1916_bit0 -C1917_bit0 -C1918_bit0 -C1921_bit0 -C1922_bit0 -C1923_bit0 -C1924_bit0 -C1925_bit0 -C1926_bit0 -C1929_bit0 -C1933_bit0 -C1937_bit0 -C1938_bit0 -C1939_bit0 -C1940_bit0 -C1941_bit0 -C1942_bit0 C1943_bit0 -C1946_bit0 -C1947_bit0 -C1948_bit0 -C1949_bit0 -C1950_bit0 -C1951_bit0 -C1952_bit0 -C1954_bit0 -C1955_bit0 -C1956_bit0 -C1959_bit0 -C1960_bit0 -C1961_bit0 -C1962_bit0 -C1964_bit0 -C1965_bit0 -C1967_bit0 -C1970_bit0 -C1971_bit0 -C1972_bit0 -C1973_bit0 -C1974_bit0 -C1975_bit0 -C1976_bit0 -C1977_bit0 -C1978_bit0 -C1979_bit0 -C1980_bit0 -C1982_bit0 -C1983_bit0 -C1984_bit0 -C1985_bit0 -C1986_bit0 -C1987_bit0 -C1988_bit0 -C1989_bit0 -C1990_bit0 -C1991_bit0 -C1992_bit0 -C1993_bit0 -C1994_bit0 -C1995_bit0 -C1996_bit0 C1997_bit0 -C2000_bit0 -C2001_bit0 -C2002_bit0 -C2003_bit0 -C2004_bit0 -C2005_bit0 -C2008_bit0 -C2011_bit0 -C2012_bit0 -C2013_bit0 -C2014_bit0 -C2016_bit0 -C2017_bit0 -C2018_bit0 -C2019_bit0 -C2020_bit0 -C2021_bit0 -C2022_bit0 -C2023_bit0 -C2024_bit0 -C2025_bit0 C2026_bit0 -C2029_bit0 -C2030_bit0 -C2031_bit0 -C2032_bit0 -C2033_bit0 -C2034_bit0 -C2035_bit0 -C2036_bit0 -C2037_bit0 -C2038_bit0 -C2039_bit0 -C2040_bit0 -C2041_bit0 -C2042_bit0 -C2043_bit0 -C2045_bit0 -C2048_bit0 -C2049_bit0 -C2050_bit0 -C2051_bit0 -C2052_bit0 -C2053_bit0 -C2054_bit0 -C2055_bit0 -C2056_bit0 -C2057_bit0 -C2058_bit0 -C2059_bit0 -C2060_bit0 -C2061_bit0 -C2062_bit0 -C2063_bit0 -C2064_bit0 -C2065_bit0 -C2066_bit0 -C2067_bit0 -C2070_bit0 -C2071_bit0 -C2072_bit0 -C2073_bit0 -C2074_bit0 -C2075_bit0 -C2076_bit0 -C2077_bit0 -C2078_bit0 -C2079_bit0 -C2080_bit0 -C2081_bit0 -C2082_bit0 -C2083_bit0 -C2084_bit0 -C2085_bit0 -C2086_bit0 -C2087_bit0 C2088_bit0 -C2091_bit0 -C2092_bit0 -C2093_bit0 -C2094_bit0 -C2095_bit0 -C2096_bit0 -C2097_bit0 -C2098_bit0 -C2099_bit0 -C2100_bit0 -C2101_bit0 -C2102_bit0 -C2103_bit0 -C2106_bit0 -C2107_bit0 -C2108_bit0 -C2109_bit0 -C2110_bit0 -C2111_bit0 -C2112_bit0 -C2113_bit0 -C2114_bit0 -C2115_bit0 -C2116_bit0 -C2117_bit0 -C2118_bit0 -C2119_bit0 -C2120_bit0 -C2121_bit0 -C2122_bit0 -C2123_bit0 -C2124_bit0 -C2126_bit0 -C2127_bit0 -C2128_bit0 -C2129_bit0 -C2130_bit0 -C2131_bit0 -C2132_bit0 -C2133_bit0 -C2134_bit0 -C2135_bit0 -C2136_bit0 -C2137_bit0 -C2138_bit0 -C2139_bit0 -C2140_bit0 C2141_bit0 -C2144_bit0 -C2145_bit0 -C2146_bit0 -C2147_bit0 -C2148_bit0 -C2149_bit0 -C2152_bit0 -C2155_bit0 -C2156_bit0 -C2157_bit0 -C2158_bit0 -C2160_bit0 -C2161_bit0 -C2162_bit0 -C2163_bit0 -C2164_bit0 -C2165_bit0 -C2166_bit0 C2167_bit0 -C2168_bit0 -C2169_bit0 -C2170_bit0 -C2173_bit0 -C2174_bit0 -C2175_bit0 -C2176_bit0 -C2177_bit0 -C2178_bit0 -C2179_bit0 -C2180_bit0 -C2181_bit0 -C2182_bit0 -C2183_bit0 -C2184_bit0 -C2185_bit0 -C2186_bit0 -C2187_bit0 -C2189_bit0 -C2192_bit0 C2193_bit0 -C2194_bit0 -C2195_bit0 -C2196_bit0 -C2197_bit0 -C2198_bit0 -C2199_bit0 -C2200_bit0 -C2201_bit0 -C2202_bit0 -C2203_bit0 -C2204_bit0 -C2205_bit0 -C2206_bit0 -C2207_bit0 -C2208_bit0 -C2209_bit0 -C2210_bit0 -C2211_bit0 -C2214_bit0 -C2215_bit0 -C2216_bit0 -C2217_bit0 -C2218_bit0 -C2219_bit0 -C2220_bit0 -C2221_bit0 -C2222_bit0 -C2223_bit0 -C2224_bit0 -C2225_bit0 -C2226_bit0 -C2227_bit0 -C2228_bit0 -C2229_bit0 -C2230_bit0 -C2231_bit0 C2232_bit0 -C2235_bit0 -C2236_bit0 -C2237_bit0 -C2238_bit0 -C2239_bit0 -C2240_bit0 -C2241_bit0 -C2242_bit0 -C2243_bit0 -C2244_bit0 -C2245_bit0 -C2246_bit0 -C2247_bit0 -C2250_bit0 -C2251_bit0 -C2252_bit0 -C2253_bit0 -C2254_bit0 -C2255_bit0 -C2256_bit0 -C2257_bit0 -C2258_bit0 -C2259_bit0 -C2260_bit0 -C2261_bit0 -C2262_bit0 -C2263_bit0 -C2264_bit0 -C2265_bit0 -C2266_bit0 -C2267_bit0 -C2268_bit0 -C2270_bit0 -C2271_bit0 -C2272_bit0 -C2273_bit0 -C2274_bit0 -C2275_bit0 -C2276_bit0 -C2277_bit0 -C2278_bit0 -C2279_bit0 -C2280_bit0 -C2281_bit0 -C2282_bit0 -C2283_bit0 -C2284_bit0 -C2285_bit0 -C2286_bit0 -C2287_bit0 -C2288_bit0 -C2289_bit0 -C2290_bit0 -C2291_bit0 -C2292_bit0 -C2293_bit0 -C2294_bit0 -C2295_bit0 -C2296_bit0 -C2297_bit0 -C2298_bit0 -C2299_bit0 -C2300_bit0 -C2301_bit0 -C2302_bit0 -C2303_bit0 -C2304_bit0 -C2305_bit0 -C2306_bit0 -C2307_bit0 -C2308_bit0 -C2309_bit0 -C2310_bit0 -C2311_bit0 -C2312_bit0 -C2313_bit0 -C2314_bit0 -C2315_bit0 -C2316_bit0 -C2317_bit0 -C2318_bit0 -C2319_bit0 -C2320_bit0 -C2321_bit0 -C2322_bit0 -C2323_bit0 -C2324_bit0 -C2325_bit0 -C2326_bit0 -C2327_bit0 -C2328_bit0 -C2329_bit0 -C2330_bit0 -C2331_bit0 -C2332_bit0 -C2333_bit0 -C2334_bit0 -C2335_bit0 -C2336_bit0 -C2337_bit0 -C2338_bit0 -C2339_bit0 -C2340_bit0 -C2341_bit0 -C2342_bit0 -C2343_bit0 -C2344_bit0 -C2345_bit0 -C2346_bit0 -C2348_bit0 -C2349_bit0 -C2351_bit0 -C2352_bit0 -C2353_bit0 -C2354_bit0 -C2355_bit0 -C2356_bit0 -C2357_bit0 -C2358_bit0 -C2359_bit0 -C2360_bit0 -C2361_bit0 -C2362_bit0 -C2363_bit0 -C2364_bit0 -C2365_bit0 -C2366_bit0 C2367_bit0 -C2369_bit0 -C2370_bit0 -C2371_bit0 -C2372_bit0 -C2373_bit0 -C2374_bit0 -C2375_bit0 -C2376_bit0 -C2377_bit0 -C2378_bit0 -C2379_bit0 -C2380_bit0 -C2381_bit0 -C2382_bit0 -C2384_bit0 -C2386_bit0 -C2387_bit0 -C2391_bit0 -C2392_bit0 -C2393_bit0 -C2394_bit0 -C2395_bit0 -C2396_bit0 -C2397_bit0 -C2398_bit0 -C2399_bit0 -C2401_bit0 -C2402_bit0 -C2404_bit0 -C2405_bit0 -C2406_bit0 -C2407_bit0 -C2408_bit0 -C2409_bit0 -C2410_bit0 -C2411_bit0 -C2412_bit0 -C2413_bit0 -C2414_bit0 -C2415_bit0 -C2416_bit0 -C2417_bit0 -C2418_bit0 -C2419_bit0 -C2420_bit0 -C2422_bit0 -C2423_bit0 -C2424_bit0 -C2425_bit0 -C2426_bit0 -C2427_bit0 -C2428_bit0 -C2429_bit0 -C2430_bit0 -C2431_bit0 -C2432_bit0 -C2433_bit0 -C2434_bit0 -C2435_bit0 -C2436_bit0 -C2437_bit0 -C2438_bit0 -C2440_bit0 -C2441_bit0 -C2442_bit0 -C2443_bit0 -C2444_bit0 -C2445_bit0 -C2446_bit0 -C2447_bit0 -C2448_bit0 -C2449_bit0 -C2450_bit0 -C2451_bit0 -C2452_bit0 -C2453_bit0 -C2455_bit0 -C2457_bit0 -C2458_bit0 -C2459_bit0 -C2460_bit0 -C2461_bit0 -C2462_bit0 -C2463_bit0 -C2464_bit0 -C2465_bit0 -C2466_bit0 -C2467_bit0 -C2468_bit0 -C2469_bit0 -C2470_bit0 -C2471_bit0 -C2472_bit0 -C2473_bit0 -C2475_bit0 -C2476_bit0 -C2477_bit0 -C2478_bit0 -C2479_bit0 -C2480_bit0 -C2481_bit0 -C2482_bit0 -C2483_bit0 -C2484_bit0 -C2485_bit0 -C2486_bit0 -C2487_bit0 -C2488_bit0 -C2489_bit0 -C2490_bit0 -C2491_bit0 -C2493_bit0 -C2494_bit0 -C2495_bit0 -C2496_bit0 -C2497_bit0 -C2498_bit0 -C2499_bit0 -C2500_bit0 -C2501_bit0 -C2502_bit0 -C2503_bit0 -C2504_bit0 -C2505_bit0 -C2506_bit0 -C2507_bit0 -C2508_bit0 -C2509_bit0 -C2511_bit0 -C2512_bit0 -C2513_bit0 -C2514_bit0 -C2515_bit0 -C2516_bit0 -C2517_bit0 -C2518_bit0 -C2519_bit0 -C2520_bit0 -C2521_bit0 C2522_bit0 -C2524_bit0 -C2525_bit0 -C2526_bit0 -C2527_bit0 -C2528_bit0 -C2529_bit0 -C2530_bit0 -C2531_bit0 -C2532_bit0 -C2533_bit0 -C2534_bit0 -C2535_bit0 -C2536_bit0 -C2537_bit0 -C2538_bit0 -C2539_bit0 -C2540_bit0 -C2542_bit0 -C2543_bit0 -C2544_bit0 -C2545_bit0 -C2546_bit0 -C2547_bit0 -C2548_bit0 -C2549_bit0 -C2550_bit0 -C2551_bit0 -C2552_bit0 -C2553_bit0 -C2554_bit0 -C2555_bit0 -C2556_bit0 -C2557_bit0 -C2558_bit0 -C2560_bit0 -C2561_bit0 -C2562_bit0 -C2563_bit0 -C2564_bit0 -C2565_bit0 -C2566_bit0 -C2567_bit0 -C2568_bit0 -C2569_bit0 -C2570_bit0 -C2571_bit0 -C2572_bit0 -C2573_bit0 -C2574_bit0 -C2575_bit0 C2576_bit0 -C2578_bit0 -C2579_bit0 -C2580_bit0 -C2581_bit0 -C2582_bit0 -C2583_bit0 -C2584_bit0 -C2585_bit0 -C2586_bit0 -C2587_bit0 -C2588_bit0 -C2589_bit0 -C2591_bit0 -C2592_bit0 -C2593_bit0 -C2594_bit0 -C2595_bit0 -C2596_bit0 -C2597_bit0 -C2598_bit0 -C2599_bit0 -C2600_bit0 -C2601_bit0 -C2602_bit0 -C2603_bit0 -C2604_bit0 -C2605_bit0 -C2606_bit0 -C2607_bit0 -C2609_bit0 -C2610_bit0 -C2611_bit0 -C2612_bit0 -C2613_bit0 -C2614_bit0 -C2615_bit0 -C2616_bit0 -C2617_bit0 -C2618_bit0 -C2619_bit0 -C2620_bit0 -C2623_bit0 -C2624_bit0 -C2625_bit0 -C2626_bit0 -C2627_bit0 -C2628_bit0 -C2631_bit0 -C2634_bit0 -C2635_bit0 -C2636_bit0 -C2637_bit0 -C2639_bit0 -C2640_bit0 -C2641_bit0 -C2642_bit0 -C2643_bit0 C2644_bit0 -C2647_bit0 -C2648_bit0 -C2649_bit0 -C2650_bit0 -C2651_bit0 -C2652_bit0 -C2653_bit0 -C2654_bit0 -C2655_bit0 -C2656_bit0 -C2658_bit0 -C2659_bit0 -C2660_bit0 -C2663_bit0 -C2664_bit0 -C2665_bit0 -C2666_bit0 -C2667_bit0 -C2668_bit0 -C2669_bit0 -C2670_bit0 -C2671_bit0 -C2672_bit0 -C2673_bit0 -C2675_bit0 -C2678_bit0 -C2679_bit0 -C2680_bit0 -C2683_bit0 -C2684_bit0 -C2685_bit0 -C2686_bit0 -C2687_bit0 -C2688_bit0 -C2690_bit0 -C2692_bit0 -C2694_bit0 -C2695_bit0 -C2696_bit0 -C2699_bit0 -C2700_bit0 -C2701_bit0 -C2702_bit0 -C2703_bit0 -C2704_bit0 -C2705_bit0 -C2708_bit0 -C2709_bit0 -C2710_bit0 -C2711_bit0 -C2712_bit0 -C2713_bit0 -C2714_bit0 -C2716_bit0 -C2719_bit0 -C2720_bit0 -C2721_bit0 -C2722_bit0 -C2723_bit0 -C2724_bit0 -C2725_bit0 -C2726_bit0 -C2727_bit0 -C2728_bit0 C2729_bit0 -C2732_bit0 -C2733_bit0 -C2734_bit0 -C2735_bit0 -C2736_bit0 -C2737_bit0 -C2738_bit0 -C2739_bit0 -C2740_bit0 -C2741_bit0 -C2742_bit0 -C2743_bit0 -C2744_bit0 -C2745_bit0 -C2748_bit0 -C2749_bit0 -C2750_bit0 -C2751_bit0 -C2752_bit0 -C2753_bit0 -C2754_bit0 -C2755_bit0 -C2756_bit0 -C2757_bit0 -C2758_bit0 -C2760_bit0 -C2763_bit0 -C2764_bit0 -C2765_bit0 -C2766_bit0 -C2768_bit0 -C2769_bit0 -C2770_bit0 -C2771_bit0 -C2772_bit0 -C2773_bit0 -C2775_bit0 -C2776_bit0 -C2777_bit0 -C2779_bit0 -C2780_bit0 -C2781_bit0 -C2782_bit0 -C2783_bit0 -C2784_bit0 -C2785_bit0 -C2786_bit0 -C2787_bit0 -C2788_bit0 -C2789_bit0 -C2790_bit0 -C2793_bit0 -C2794_bit0 -C2795_bit0 -C2796_bit0 -C2797_bit0 -C2798_bit0 -C2799_bit0 -C2801_bit0 -C2804_bit0 -C2805_bit0 -C2806_bit0 -C2807_bit0 -C2808_bit0 -C2809_bit0 -C2810_bit0 -C2811_bit0 -C2812_bit0 -C2813_bit0 C2814_bit0 -C2817_bit0 -C2818_bit0 -C2819_bit0 -C2820_bit0 -C2821_bit0 -C2822_bit0 -C2823_bit0 -C2824_bit0 -C2825_bit0 -C2826_bit0 -C2827_bit0 -C2828_bit0 -C2829_bit0 -C2830_bit0 -C2833_bit0 -C2834_bit0 -C2835_bit0 -C2836_bit0 -C2837_bit0 -C2838_bit0 -C2839_bit0 -C2840_bit0 -C2841_bit0 -C2842_bit0 -C2843_bit0 -C2845_bit0 -C2848_bit0 -C2849_bit0 -C2850_bit0 -C2851_bit0 -C2852_bit0 -C2853_bit0 -C2854_bit0 -C2855_bit0 -C2856_bit0 -C2857_bit0 -C2858_bit0 -C2859_bit0 -C2860_bit0 -C2861_bit0 -C2862_bit0 -C2864_bit0 -C2865_bit0 -C2866_bit0 -C2867_bit0 -C2868_bit0 -C2869_bit0 -C2870_bit0 -C2871_bit0 -C2872_bit0 -C2873_bit0 -C2874_bit0 -C2875_bit0 -C2878_bit0 -C2879_bit0 -C2880_bit0 -C2881_bit0 -C2882_bit0 -C2883_bit0 -C2884_bit0 -C2885_bit0 -C2886_bit0 -C2889_bit0 -C2890_bit0 -C2891_bit0 -C2892_bit0 -C2893_bit0 -C2894_bit0 -C2895_bit0 -C2896_bit0 -C2897_bit0 -C2898_bit0 -C2899_bit0 -C2902_bit0 -C2903_bit0 -C2904_bit0 -C2905_bit0 -C2906_bit0 -C2907_bit0 -C2908_bit0 -C2909_bit0 -C2910_bit0 -C2911_bit0 -C2912_bit0 -C2913_bit0 -C2914_bit0 -C2915_bit0 -C2918_bit0 -C2919_bit0 -C2920_bit0 -C2921_bit0 -C2922_bit0 -C2923_bit0 -C2924_bit0 -C2925_bit0 -C2926_bit0 -C2927_bit0 -C2928_bit0 -C2929_bit0 -C2930_bit0 -C2933_bit0 -C2934_bit0 -C2935_bit0 -C2936_bit0 -C2937_bit0 -C2938_bit0 -C2939_bit0 -C2940_bit0 -C2941_bit0 -C2942_bit0 -C2943_bit0 -C2944_bit0 -C2945_bit0 -C2946_bit0 -C2947_bit0 -C2949_bit0 -C2950_bit0 -C2951_bit0 -C2952_bit0 -C2953_bit0 -C2954_bit0 -C2955_bit0 -C2956_bit0 -C2957_bit0 -C2958_bit0 -C2959_bit0 -C2960_bit0 -C2961_bit0 -C2962_bit0 -C2963_bit0 -C2966_bit0 -C2967_bit0 -C2968_bit0 -C2969_bit0 -C2970_bit0 -C2971_bit0 -C2972_bit0 -C2973_bit0 -C2974_bit0 -C2975_bit0 -C2976_bit0 -C2977_bit0 -C2980_bit0 -C2981_bit0 -C2982_bit0 -C2983_bit0 -C2984_bit0 -C2985_bit0 -C2986_bit0 -C2987_bit0 -C2988_bit0 -C2989_bit0 -C2990_bit0 -C2991_bit0 C2992_bit0 -C2993_bit0 -C2994_bit0 -C2995_bit0 -C2996_bit0 -C2997_bit0 -C2998_bit0 -C2999_bit0 -C3000_bit0 -C3001_bit0 -C3003_bit0 -C3004_bit0 -C3005_bit0 -C3006_bit0 -C3007_bit0 -C3008_bit0 -C3009_bit0 -C3010_bit0 -C3011_bit0 -C3012_bit0 -C3013_bit0 -C3014_bit0 -C3015_bit0 -C3016_bit0 -C3017_bit0 -C3018_bit0 -C3019_bit0 -C3020_bit0 -C3021_bit0 -C3022_bit0 -C3023_bit0 -C3024_bit0 -C3025_bit0 -C3027_bit0 -C3028_bit0 -C3029_bit0 -C3030_bit0 -C3031_bit0 -C3032_bit0 -C3033_bit0 -C3034_bit0 -C3035_bit0 -C3038_bit0 -C3040_bit0 -C3041_bit0 -C3042_bit0 -C3043_bit0 -C3045_bit0 -C3046_bit0 -C3047_bit0 -C3048_bit0 -C3049_bit0 -C3050_bit0 -C3051_bit0 -C3053_bit0 -C3054_bit0 -C3055_bit0 -C3056_bit0 -C3057_bit0 -C3058_bit0 -C3059_bit0 -C3060_bit0 -C3061_bit0 -C3062_bit0 -C3064_bit0 -C3066_bit0 -C3067_bit0 -C3068_bit0 -C3071_bit0 -C3072_bit0 -C3073_bit0 -C3074_bit0 -C3075_bit0 -C3076_bit0 -C3077_bit0 -C3078_bit0 -C3080_bit0 -C3081_bit0 -C3082_bit0 -C3083_bit0 -C3084_bit0 -C3085_bit0 -C3086_bit0 -C3087_bit0 -C3088_bit0 -C3089_bit0 -C3090_bit0 -C3091_bit0 -C3092_bit0 -C3094_bit0 -C3095_bit0 -C3096_bit0 -C3097_bit0 -C3098_bit0 -C3099_bit0 -C3100_bit0 -C3101_bit0 -C3102_bit0 -C3105_bit0 -C3107_bit0 -C3108_bit0 -C3109_bit0 -C3110_bit0 -C3112_bit0 -C3113_bit0 -C3114_bit0 -C3115_bit0 -C3116_bit0 -C3117_bit0 C3118_bit0 -C3120_bit0 -C3121_bit0 -C3122_bit0 -C3123_bit0 -C3124_bit0 -C3125_bit0 -C3126_bit0 -C3127_bit0 -C3128_bit0 -C3129_bit0 -C3131_bit0 -C3133_bit0 -C3134_bit0 -C3135_bit0 -C3138_bit0 -C3139_bit0 -C3140_bit0 -C3141_bit0 -C3142_bit0 -C3143_bit0 -C3144_bit0 -C3145_bit0 -C3147_bit0 -C3148_bit0 -C3149_bit0 -C3150_bit0 -C3151_bit0 -C3152_bit0 -C3153_bit0 -C3154_bit0 -C3155_bit0 -C3156_bit0 -C3157_bit0 -C3158_bit0 -C3159_bit0 -C3161_bit0 -C3162_bit0 -C3163_bit0 -C3164_bit0 -C3165_bit0 -C3166_bit0 -C3167_bit0 -C3168_bit0 -C3169_bit0 -C3170_bit0 -C3172_bit0 -C3174_bit0 -C3175_bit0 -C3176_bit0 -C3177_bit0 -C3178_bit0 -C3179_bit0 -C3180_bit0 -C3181_bit0 -C3182_bit0 -C3183_bit0 -C3184_bit0 C3185_bit0 -C3187_bit0 -C3188_bit0 -C3189_bit0 -C3190_bit0 -C3191_bit0 -C3192_bit0 -C3193_bit0 -C3194_bit0 -C3195_bit0 -C3196_bit0 -C3198_bit0 -C3200_bit0 -C3201_bit0 -C3202_bit0 -C3203_bit0 C3204_bit0 -C3205_bit0 -C3206_bit0 -C3207_bit0 -C3208_bit0 -C3209_bit0 -C3210_bit0 -C3211_bit0 -C3212_bit0 -C3214_bit0 -C3215_bit0 -C3216_bit0 -C3217_bit0 -C3218_bit0 -C3219_bit0 -C3220_bit0 -C3221_bit0 -C3222_bit0 -C3223_bit0 -C3224_bit0 -C3225_bit0 -C3226_bit0 -C3228_bit0 -C3229_bit0 -C3230_bit0 -C3231_bit0 -C3232_bit0 -C3233_bit0 -C3234_bit0 -C3235_bit0 -C3236_bit0 -C3237_bit0 -C3239_bit0 -C3241_bit0 -C3242_bit0 -C3243_bit0 -C3244_bit0 -C3245_bit0 -C3246_bit0 -C3247_bit0 -C3248_bit0 -C3249_bit0 -C3250_bit0 -C3251_bit0 C3252_bit0 -C3254_bit0 -C3255_bit0 -C3256_bit0 -C3257_bit0 -C3258_bit0 -C3259_bit0 -C3260_bit0 -C3261_bit0 -C3262_bit0 -C3263_bit0 -C3265_bit0 -C3267_bit0 -C3268_bit0 -C3269_bit0 -C3270_bit0 -C3271_bit0 -C3272_bit0 -C3273_bit0 -C3274_bit0 -C3275_bit0 -C3276_bit0 -C3277_bit0 -C3278_bit0 -C3279_bit0 -C3281_bit0 -C3282_bit0 -C3283_bit0 -C3284_bit0 -C3285_bit0 -C3286_bit0 -C3287_bit0 -C3288_bit0 -C3289_bit0 -C3290_bit0 -C3291_bit0 -C3292_bit0 -C3293_bit0 -C3295_bit0 -C3296_bit0 -C3297_bit0 -C3298_bit0 -C3299_bit0 -C3300_bit0 -C3301_bit0 -C3302_bit0 -C3303_bit0 -C3306_bit0 -C3308_bit0 -C3309_bit0 -C3310_bit0 -C3311_bit0 -C3313_bit0 -C3314_bit0 -C3315_bit0 -C3316_bit0 -C3317_bit0 -C3318_bit0 -C3319_bit0 -C3321_bit0 -C3322_bit0 -C3323_bit0 -C3324_bit0 -C3325_bit0 -C3326_bit0 -C3327_bit0 -C3328_bit0 -C3329_bit0 -C3330_bit0 -C3332_bit0 -C3334_bit0 -C3335_bit0 -C3336_bit0 -C3337_bit0 -C3339_bit0 -C3340_bit0 -C3341_bit0 -C3342_bit0 -C3343_bit0 -C3345_bit0 -C3346_bit0 -C3348_bit0 -C3349_bit0 -C3350_bit0 -C3351_bit0 -C3352_bit0 -C3353_bit0 -C3354_bit0 -C3355_bit0 -C3356_bit0 -C3357_bit0 -C3358_bit0 -C3359_bit0 -C3360_bit0 -C3362_bit0 -C3363_bit0 -C3364_bit0 -C3365_bit0 -C3366_bit0 -C3367_bit0 -C3368_bit0 -C3369_bit0 -C3370_bit0 -C3373_bit0 -C3375_bit0 -C3376_bit0 -C3377_bit0 -C3378_bit0 -C3380_bit0 -C3381_bit0 -C3382_bit0 -C3383_bit0 -C3384_bit0 -C3385_bit0 -C3386_bit0 -C3388_bit0 -C3389_bit0 -C3390_bit0 -C3391_bit0 -C3392_bit0 -C3393_bit0 -C3394_bit0 -C3395_bit0 -C3396_bit0 -C3397_bit0 -C3399_bit0 -C3401_bit0 -C3402_bit0 -C3403_bit0 -C3404_bit0 -C3406_bit0 -C3407_bit0 -C3408_bit0 -C3409_bit0 -C3410_bit0 -C3411_bit0 -C3412_bit0 -C3413_bit0 -C3415_bit0 -C3416_bit0 -C3417_bit0 -C3418_bit0 -C3419_bit0 -C3420_bit0 -C3421_bit0 -C3422_bit0 -C3423_bit0 -C3424_bit0 -C3425_bit0 -C3426_bit0 -C3427_bit0 -C3428_bit0 -C3429_bit0 -C3430_bit0 -C3432_bit0 -C3433_bit0 -C3434_bit0 -C3435_bit0 -C3436_bit0 -C3437_bit0 -C3438_bit0 -C3439_bit0 -C3440_bit0 -C3441_bit0 -C3442_bit0 -C3443_bit0 -C3444_bit0 -C3445_bit0 C3446_bit0 -C3448_bit0 -C3449_bit0 -C3450_bit0 -C3451_bit0 -C3452_bit0 -C3453_bit0 -C3454_bit0 -C3455_bit0 -C3456_bit0 -C3457_bit0 -C3458_bit0 -C3459_bit0 -C3460_bit0 -C3461_bit0 -C3462_bit0 -C3463_bit0 -C3464_bit0 -C3466_bit0 -C3467_bit0 -C3468_bit0 -C3469_bit0 -C3470_bit0 -C3471_bit0 -C3472_bit0 -C3473_bit0 -C3474_bit0 -C3475_bit0 -C3476_bit0 -C3477_bit0 -C3478_bit0 -C3479_bit0 -C3480_bit0 -C3481_bit0 -C3483_bit0 -C3484_bit0 -C3485_bit0 -C3486_bit0 -C3487_bit0 -C3488_bit0 -C3489_bit0 -C3490_bit0 -C3491_bit0 -C3492_bit0 -C3493_bit0 -C3494_bit0 -C3495_bit0 -C3496_bit0 -C3497_bit0 -C3499_bit0 -C3500_bit0 -C3501_bit0 -C3502_bit0 -C3503_bit0 -C3504_bit0 -C3505_bit0 -C3506_bit0 -C3507_bit0 -C3508_bit0 -C3509_bit0 -C3510_bit0 -C3511_bit0 -C3512_bit0 -C3513_bit0 -C3514_bit0 -C3515_bit0 -C3517_bit0 -C3518_bit0 -C3519_bit0 -C3520_bit0 -C3521_bit0 -C3522_bit0 -C3523_bit0 -C3524_bit0 -C3526_bit0 -C3527_bit0 -C3528_bit0 -C3529_bit0 -C3530_bit0 -C3531_bit0 C3532_bit0 -C3534_bit0 -C3535_bit0 -C3536_bit0 -C3537_bit0 -C3538_bit0 -C3539_bit0 -C3540_bit0 -C3541_bit0 -C3542_bit0 -C3544_bit0 -C3545_bit0 -C3546_bit0 -C3547_bit0 -C3548_bit0 -C3549_bit0 -C3550_bit0 -C3551_bit0 -C3552_bit0 -C3553_bit0 -C3554_bit0 -C3555_bit0 -C3556_bit0 -C3557_bit0 -C3558_bit0 -C3559_bit0 -C3560_bit0 -C3561_bit0 -C3562_bit0 -C3563_bit0 -C3564_bit0 -C3565_bit0 -C3566_bit0 -C3567_bit0 -C1007_bit0 C1008_bit0 -C3568_bit0 -C1012_bit0 -C1013_bit0 -C1015_bit0 -C1016_bit0 -C1018_bit0 -C3569_bit0 -C1025_bit0 C1026_bit0 -C1028_bit0 -C3570_bit0 -C1040_bit0 -C1041_bit0 -C1043_bit0 -C3571_bit0 -C1052_bit0 -C1053_bit0 -C1055_bit0 -C3572_bit0 -C1063_bit0 C1064_bit0 -C3573_bit0 -C1069_bit0 -C1071_bit0 C1072_bit0 C3574_bit0 -C1081_bit0 C1082_bit0 -C1084_bit0 -C3575_bit0 -C1096_bit0 -C1097_bit0 -C1099_bit0 -C3576_bit0 -C1108_bit0 -C1109_bit0 -C1111_bit0 -C3577_bit0 -C1118_bit0 -C3578_bit0 C1125_bit0 -C3579_bit0 -C1130_bit0 -C3580_bit0 -C1138_bit0 -C3581_bit0 -C1146_bit0 -C1147_bit0 -C3582_bit0 -C1151_bit0 -C1152_bit0 -C1154_bit0 -C1155_bit0 -C1157_bit0 -C3583_bit0 -C1164_bit0 C1165_bit0 -C1167_bit0 C3584_bit0 -C1179_bit0 -C1180_bit0 -C1182_bit0 -C3585_bit0 -C1191_bit0 -C1192_bit0 -C1194_bit0 -C3586_bit0 -C1202_bit0 -C1203_bit0 -C3587_bit0 -C1208_bit0 -C1210_bit0 -C1211_bit0 -C3588_bit0 -C1220_bit0 -C1221_bit0 -C1223_bit0 -C3589_bit0 -C1235_bit0 -C1236_bit0 -C1238_bit0 -C3590_bit0 -C1247_bit0 -C1248_bit0 -C1250_bit0 -C3591_bit0 -C1257_bit0 -C3592_bit0 -C1264_bit0 -C3593_bit0 C1269_bit0 -C3594_bit0 -C1277_bit0 -C3595_bit0 C1282_bit0 -C1287_bit0 -C1288_bit0 -C3596_bit0 -C1301_bit0 -C1302_bit0 -C3597_bit0 -C1311_bit0 -C1312_bit0 -C3598_bit0 -C1324_bit0 -C1325_bit0 -C3599_bit0 -C1334_bit0 -C1336_bit0 -C1337_bit0 -C1342_bit0 -C3600_bit0 C1346_bit0 -C1350_bit0 -C1355_bit0 -C3601_bit0 -C1364_bit0 -C1365_bit0 -C3602_bit0 -C1378_bit0 -C1379_bit0 -C3603_bit0 -C1388_bit0 -C1389_bit0 -C3604_bit0 -C1401_bit0 -C1402_bit0 -C3605_bit0 -C1413_bit0 -C1414_bit0 -C3606_bit0 -C1427_bit0 -C3607_bit0 -C3608_bit0 -C3609_bit0 -C1455_bit0 -C3610_bit0 -C1462_bit0 -C3611_bit0 -C1477_bit0 -C1478_bit0 -C3612_bit0 -C1487_bit0 -C1488_bit0 -C3613_bit0 -C1504_bit0 -C1505_bit0 -C3614_bit0 -C1518_bit0 -C1520_bit0 -C1521_bit0 -C3615_bit0 -C1534_bit0 -C3616_bit0 -C1547_bit0 -C1548_bit0 -C3617_bit0 -C1557_bit0 -C1558_bit0 -C3618_bit0 -C1574_bit0 C1575_bit0 -C3619_bit0 -C1590_bit0 C1591_bit0 -C3620_bit0 -C1604_bit0 -C3621_bit0 -C3622_bit0 -C3623_bit0 -C1632_bit0 -C3624_bit0 -C3625_bit0 -C1649_bit0 -C1654_bit0 -C1655_bit0 -C3626_bit0 -C1664_bit0 -C1665_bit0 -C3627_bit0 -C1681_bit0 -C1682_bit0 -C3628_bit0 -C1695_bit0 -C1697_bit0 -C1698_bit0 -C3629_bit0 -C1711_bit0 -C3630_bit0 -C1724_bit0 -C1725_bit0 -C3631_bit0 -C1734_bit0 -C1735_bit0 -C3632_bit0 -C1751_bit0 C1752_bit0 -C3633_bit0 -C1767_bit0 C1768_bit0 -C3634_bit0 -C1781_bit0 -C3635_bit0 -C1794_bit0 C1795_bit0 C3636_bit0 -C1801_bit0 -C1802_bit0 C1803_bit0 C1804_bit0 -C1805_bit0 -C1806_bit0 -C1807_bit0 -C1808_bit0 -C1809_bit0 -C1810_bit0 -C1811_bit0 -C3637_bit0 -C1819_bit0 C1820_bit0 C3638_bit0 -C1826_bit0 -C1827_bit0 C1828_bit0 -C1830_bit0 -C1831_bit0 -C1832_bit0 -C1834_bit0 -C1835_bit0 -C1836_bit0 -C3639_bit0 -C1844_bit0 -C1845_bit0 -C3640_bit0 -C1852_bit0 C1853_bit0 C1855_bit0 -C1857_bit0 -C1858_bit0 -C1859_bit0 -C1861_bit0 -C1862_bit0 -C1863_bit0 -C3641_bit0 C1866_bit0 -C1868_bit0 -C1869_bit0 C1874_bit0 -C3642_bit0 -C1881_bit0 -C3643_bit0 -C1894_bit0 C1895_bit0 C3644_bit0 -C1901_bit0 -C1902_bit0 -C1903_bit0 -C1905_bit0 -C1906_bit0 -C1907_bit0 -C1909_bit0 -C1910_bit0 -C1911_bit0 -C3645_bit0 -C1919_bit0 -C1920_bit0 -C3646_bit0 -C1927_bit0 -C1928_bit0 -C1930_bit0 -C1931_bit0 -C1932_bit0 -C1934_bit0 -C1935_bit0 -C1936_bit0 -C3647_bit0 -C1944_bit0 -C1945_bit0 -C3648_bit0 C1953_bit0 -C1957_bit0 -C1958_bit0 -C1963_bit0 -C3649_bit0 C1966_bit0 -C1968_bit0 -C1969_bit0 -C3650_bit0 -C1981_bit0 -C3651_bit0 -C1998_bit0 C1999_bit0 C3652_bit0 -C2006_bit0 -C2007_bit0 -C2009_bit0 -C2010_bit0 -C2015_bit0 -C3653_bit0 -C2027_bit0 C2028_bit0 C3654_bit0 C2044_bit0 -C2046_bit0 -C2047_bit0 -C3655_bit0 -C2068_bit0 -C2069_bit0 -C3656_bit0 -C2089_bit0 -C2090_bit0 -C3657_bit0 -C2104_bit0 -C2105_bit0 -C3658_bit0 -C2125_bit0 -C3659_bit0 -C2142_bit0 -C2143_bit0 -C3660_bit0 C2150_bit0 -C2151_bit0 -C2153_bit0 -C2154_bit0 -C2159_bit0 -C3661_bit0 -C2171_bit0 C2172_bit0 C3662_bit0 -C2188_bit0 -C2190_bit0 -C2191_bit0 -C3663_bit0 -C2212_bit0 -C2213_bit0 -C3664_bit0 -C2233_bit0 -C2234_bit0 -C3665_bit0 -C2248_bit0 C2249_bit0 -C3666_bit0 -C2269_bit0 -C3667_bit0 -C3668_bit0 -C3669_bit0 -C3670_bit0 -C3671_bit0 -C2347_bit0 -C2350_bit0 -C3672_bit0 C2368_bit0 C3673_bit0 C2383_bit0 -C2385_bit0 -C2388_bit0 -C2389_bit0 C2390_bit0 -C3674_bit0 -C2400_bit0 -C2403_bit0 -C3675_bit0 C2421_bit0 C3676_bit0 -C2439_bit0 -C3677_bit0 C2454_bit0 -C2456_bit0 -C3678_bit0 C2474_bit0 -C3679_bit0 -C2492_bit0 -C3680_bit0 C2510_bit0 C3681_bit0 -C2523_bit0 -C3682_bit0 -C2541_bit0 -C3683_bit0 -C2559_bit0 -C3684_bit0 -C2577_bit0 -C3685_bit0 -C2590_bit0 -C3686_bit0 C2608_bit0 -C3687_bit0 -C2621_bit0 -C2622_bit0 -C3688_bit0 C2629_bit0 C2630_bit0 -C2632_bit0 -C2633_bit0 -C2638_bit0 -C3689_bit0 -C2645_bit0 -C2646_bit0 -C3690_bit0 -C2657_bit0 -C2661_bit0 -C2662_bit0 -C3691_bit0 -C2674_bit0 -C2676_bit0 -C2677_bit0 -C2681_bit0 -C2682_bit0 -C3692_bit0 C2689_bit0 C2691_bit0 -C2693_bit0 -C2697_bit0 -C2698_bit0 -C3693_bit0 -C2706_bit0 -C2707_bit0 -C3694_bit0 -C2715_bit0 -C2717_bit0 -C2718_bit0 -C3695_bit0 -C2730_bit0 -C2731_bit0 -C3696_bit0 -C2746_bit0 C2747_bit0 -C3697_bit0 C2759_bit0 -C2761_bit0 -C2762_bit0 C2767_bit0 -C3698_bit0 -C2774_bit0 -C2778_bit0 -C3699_bit0 -C2791_bit0 -C2792_bit0 -C3700_bit0 -C2800_bit0 -C2802_bit0 -C2803_bit0 -C3701_bit0 -C2815_bit0 -C2816_bit0 -C3702_bit0 -C2831_bit0 -C2832_bit0 -C3703_bit0 -C2844_bit0 -C2846_bit0 -C2847_bit0 -C3704_bit0 -C2863_bit0 -C3705_bit0 -C2876_bit0 -C2877_bit0 -C3706_bit0 -C2887_bit0 -C2888_bit0 -C3707_bit0 -C2900_bit0 -C2901_bit0 -C3708_bit0 -C2916_bit0 -C2917_bit0 -C3709_bit0 -C2931_bit0 C2932_bit0 -C3710_bit0 -C2948_bit0 -C3711_bit0 -C2964_bit0 -C2965_bit0 -C3712_bit0 -C2978_bit0 -C2979_bit0 -C3713_bit0 -C3714_bit0 -C3715_bit0 -C3002_bit0 -C3716_bit0 -C3717_bit0 -C3026_bit0 -C3718_bit0 -C3036_bit0 C3037_bit0 -C3039_bit0 -C3044_bit0 -C3719_bit0 -C3052_bit0 -C3720_bit0 C3063_bit0 -C3065_bit0 -C3069_bit0 -C3070_bit0 -C3721_bit0 -C3079_bit0 -C3722_bit0 -C3093_bit0 -C3723_bit0 C3103_bit0 -C3104_bit0 -C3106_bit0 -C3111_bit0 -C3724_bit0 -C3119_bit0 -C3725_bit0 C3130_bit0 -C3132_bit0 -C3136_bit0 -C3137_bit0 -C3726_bit0 -C3146_bit0 -C3727_bit0 -C3160_bit0 -C3728_bit0 C3171_bit0 -C3173_bit0 -C3729_bit0 -C3186_bit0 -C3730_bit0 -C3197_bit0 C3199_bit0 C3731_bit0 -C3213_bit0 -C3732_bit0 -C3227_bit0 -C3733_bit0 -C3238_bit0 -C3240_bit0 -C3734_bit0 -C3253_bit0 -C3735_bit0 -C3264_bit0 -C3266_bit0 -C3736_bit0 -C3280_bit0 -C3737_bit0 -C3294_bit0 -C3738_bit0 -C3304_bit0 C3305_bit0 -C3307_bit0 -C3312_bit0 -C3739_bit0 -C3320_bit0 -C3740_bit0 C3331_bit0 -C3333_bit0 -C3338_bit0 -C3741_bit0 -C3344_bit0 -C3347_bit0 -C3742_bit0 -C3361_bit0 -C3743_bit0 C3371_bit0 -C3372_bit0 -C3374_bit0 -C3379_bit0 -C3744_bit0 -C3387_bit0 -C3745_bit0 C3398_bit0 -C3400_bit0 -C3405_bit0 -C3746_bit0 -C3414_bit0 -C3747_bit0 -C3431_bit0 -C3748_bit0 -C3447_bit0 -C3749_bit0 -C3465_bit0 -C3750_bit0 C3482_bit0 -C3751_bit0 C3498_bit0 C3752_bit0 -C3516_bit0 -C3753_bit0 -C3525_bit0 -C3754_bit0 -C3533_bit0 -C3755_bit0 -C3543_bit0 -C3756_bit0 c Cost: 6251 c Exit Code: 10 c Total time: 1195 s
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1840840541 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/7599/statm): 107 3 90 68 0 39 0 [pid=7599] vsize: 428 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libosl.so open syscall for file tls/i686/libosl.so open syscall for file tls/mmx/libosl.so open syscall for file tls/libosl.so open syscall for file i686/mmx/libosl.so open syscall for file i686/libosl.so open syscall for file mmx/libosl.so open syscall for file libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/libosl.so open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/i686/libosl.so open syscall for file /oldhome/oroussel/lib/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/libosl.so open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/libstdc++-libc6.2-2.so.3 open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/libstdc++-libc6.2-2.so.3 open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file i686/libstdc++-libc6.2-2.so.3 open syscall for file mmx/libstdc++-libc6.2-2.so.3 open syscall for file libstdc++-libc6.2-2.so.3 open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3 open syscall for file /etc/ld.so.cache open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /lib/tls/libpthread.so.0 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file tls/i686/mmx/libgcc_s.so.1 open syscall for file tls/i686/libgcc_s.so.1 open syscall for file tls/mmx/libgcc_s.so.1 open syscall for file tls/libgcc_s.so.1 open syscall for file i686/mmx/libgcc_s.so.1 open syscall for file i686/libgcc_s.so.1 open syscall for file mmx/libgcc_s.so.1 open syscall for file libgcc_s.so.1 open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1 open syscall for file /lib/libgcc_s.so.1 open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /etc/localtime open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-p2756.opb [startup+10.0039 s] Raw data (loadavg): 0.93 0.95 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 18050 0 0 0 929 51 0 0 25 0 1 0 1840840541 77094912 17961 4294967295 134512640 134736556 3221224560 3221223296 134645965 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 18822 17961 1116 68 0 18754 0 [pid=7599] vsize: 75288 Current children cumulated CPU time (s) 9.8 Current children cumulated vsize (Kb) 75288 [startup+20.0048 s] Raw data (loadavg): 0.94 0.96 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 18539 0 0 0 1914 57 0 0 25 0 1 0 1840840541 79122432 18450 4294967295 134512640 134736556 3221224560 3221223216 134649034 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 19317 18450 1116 68 0 19249 0 [pid=7599] vsize: 77268 Current children cumulated CPU time (s) 19.71 Current children cumulated vsize (Kb) 77268 [startup+30.0046 s] Raw data (loadavg): 0.95 0.96 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 18713 0 0 0 2900 61 0 0 25 0 1 0 1840840541 79798272 18624 4294967295 134512640 134736556 3221224560 3221223296 134645965 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 19482 18624 1116 68 0 19414 0 [pid=7599] vsize: 77928 Current children cumulated CPU time (s) 29.61 Current children cumulated vsize (Kb) 77928 [startup+40.0044 s] Raw data (loadavg): 0.95 0.96 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 19471 0 0 0 3883 68 0 0 25 0 1 0 1840840541 82907136 19382 4294967295 134512640 134736556 3221224560 3221223216 134649034 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 20241 19382 1116 68 0 20173 0 [pid=7599] vsize: 80964 Current children cumulated CPU time (s) 39.51 Current children cumulated vsize (Kb) 80964 [startup+50.0052 s] Raw data (loadavg): 0.96 0.96 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 22491 0 0 0 4858 81 0 0 25 0 1 0 1840840541 95260672 22402 4294967295 134512640 134736556 3221224560 3221223156 134558405 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 23257 22402 1116 68 0 23189 0 [pid=7599] vsize: 93028 Current children cumulated CPU time (s) 49.39 Current children cumulated vsize (Kb) 93028 [startup+60.006 s] Raw data (loadavg): 0.97 0.96 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 23984 0 0 0 5840 89 0 0 25 0 1 0 1840840541 101380096 23895 4294967295 134512640 134736556 3221224560 3221223168 134558171 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 24751 23895 1116 68 0 24683 0 [pid=7599] vsize: 99004 Current children cumulated CPU time (s) 59.29 Current children cumulated vsize (Kb) 99004 [startup+70.0068 s] Raw data (loadavg): 0.97 0.96 0.93 1/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 23984 0 0 0 6825 95 0 0 25 0 1 0 1840840541 101380096 23895 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 24751 23895 1116 68 0 24683 0 [pid=7599] vsize: 99004 Current children cumulated CPU time (s) 69.2 Current children cumulated vsize (Kb) 99004 [startup+80.0076 s] Raw data (loadavg): 0.98 0.96 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 24377 0 0 0 7808 100 0 0 25 0 1 0 1840840541 103006208 24288 4294967295 134512640 134736556 3221224560 3221223176 134537599 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 25148 24288 1116 68 0 25080 0 [pid=7599] vsize: 100592 Current children cumulated CPU time (s) 79.08 Current children cumulated vsize (Kb) 100592 [startup+90.0084 s] Raw data (loadavg): 0.98 0.96 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 26851 0 0 0 8781 114 0 0 25 0 1 0 1840840541 113160192 26762 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 27627 26762 1116 68 0 27559 0 [pid=7599] vsize: 110508 Current children cumulated CPU time (s) 88.95 Current children cumulated vsize (Kb) 110508 [startup+100.008 s] Raw data (loadavg): 0.98 0.96 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 27463 0 0 0 9763 121 0 0 25 0 1 0 1840840541 115568640 27374 4294967295 134512640 134736556 3221224560 3221223216 134649034 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 28215 27374 1116 68 0 28147 0 [pid=7599] vsize: 112860 Current children cumulated CPU time (s) 98.84 Current children cumulated vsize (Kb) 112860 [startup+110.009 s] Raw data (loadavg): 0.98 0.96 0.93 1/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 27463 0 0 0 10750 126 0 0 25 0 1 0 1840840541 115568640 27374 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 28215 27374 1116 68 0 28147 0 [pid=7599] vsize: 112860 Current children cumulated CPU time (s) 108.76 Current children cumulated vsize (Kb) 112860 [startup+120.01 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 27463 0 0 0 11734 132 0 0 25 0 1 0 1840840541 115568640 27374 4294967295 134512640 134736556 3221224560 3221223296 134645976 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 28215 27374 1116 68 0 28147 0 [pid=7599] vsize: 112860 Current children cumulated CPU time (s) 118.66 Current children cumulated vsize (Kb) 112860 [startup+130.01 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 27463 0 0 0 12717 138 0 0 25 0 1 0 1840840541 115568640 27374 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 28215 27374 1116 68 0 28147 0 [pid=7599] vsize: 112860 Current children cumulated CPU time (s) 128.55 Current children cumulated vsize (Kb) 112860 [startup+140.01 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 27463 0 0 0 13702 144 0 0 25 0 1 0 1840840541 115568640 27374 4294967295 134512640 134736556 3221224560 3221223224 134544505 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 28215 27374 1116 68 0 28147 0 [pid=7599] vsize: 112860 Current children cumulated CPU time (s) 138.46 Current children cumulated vsize (Kb) 112860 [startup+150.011 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 28026 0 0 0 14681 152 0 0 25 0 1 0 1840840541 117821440 27906 4294967295 134512640 134736556 3221224560 3221223100 134536340 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7599/statm): 28765 27906 1116 68 0 28697 0 [pid=7599] vsize: 115060 Current children cumulated CPU time (s) 148.33 Current children cumulated vsize (Kb) 115060 [startup+160.012 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 28030 0 0 0 15657 161 0 0 25 0 1 0 1840840541 117821440 27910 4294967295 134512640 134736556 3221224560 3221223248 134524902 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 28765 27910 1116 68 0 28697 0 [pid=7599] vsize: 115060 Current children cumulated CPU time (s) 158.18 Current children cumulated vsize (Kb) 115060 [startup+170.013 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 28100 0 0 0 16629 172 0 0 25 0 1 0 1840840541 118165504 27980 4294967295 134512640 134736556 3221224560 3221223296 134647049 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 28849 27980 1116 68 0 28781 0 [pid=7599] vsize: 115396 Current children cumulated CPU time (s) 168.01 Current children cumulated vsize (Kb) 115396 [startup+180.013 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 28172 0 0 0 17603 181 0 0 25 0 1 0 1840840541 118362112 28052 4294967295 134512640 134736556 3221224560 3221223072 134536153 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 28897 28052 1116 68 0 28829 0 [pid=7599] vsize: 115588 Current children cumulated CPU time (s) 177.84 Current children cumulated vsize (Kb) 115588 [startup+190.012 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 28189 0 0 0 18586 187 0 0 25 0 1 0 1840840541 118468608 28068 4294967295 134512640 134736556 3221224560 3221223080 1076648037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 28923 28068 1116 68 0 28855 0 [pid=7599] vsize: 115692 Current children cumulated CPU time (s) 187.73 Current children cumulated vsize (Kb) 115692 [startup+200.013 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 28352 0 0 0 19561 195 0 0 23 0 1 0 1840840541 118452224 28080 4294967295 134512640 134736556 3221224560 3221223100 134536226 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7599/statm): 28919 28080 1116 68 0 28851 0 [pid=7599] vsize: 115676 Current children cumulated CPU time (s) 197.56 Current children cumulated vsize (Kb) 115676 [startup+210.015 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 28352 0 0 0 20538 204 0 0 25 0 1 0 1840840541 118452224 28080 4294967295 134512640 134736556 3221224560 3221223136 134544700 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 28919 28080 1116 68 0 28851 0 [pid=7599] vsize: 115676 Current children cumulated CPU time (s) 207.42 Current children cumulated vsize (Kb) 115676 [startup+220.015 s] Raw data (loadavg): 0.99 0.97 0.93 1/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 28352 0 0 0 21517 212 0 0 25 0 1 0 1840840541 118452224 28080 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 28919 28080 1116 68 0 28851 0 [pid=7599] vsize: 115676 Current children cumulated CPU time (s) 217.29 Current children cumulated vsize (Kb) 115676 [startup+230.015 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 28352 0 0 0 22497 219 0 0 25 0 1 0 1840840541 118452224 28080 4294967295 134512640 134736556 3221224560 3221223184 134524698 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7599/statm): 28919 28080 1116 68 0 28851 0 [pid=7599] vsize: 115676 Current children cumulated CPU time (s) 227.16 Current children cumulated vsize (Kb) 115676 [startup+240.015 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 28352 0 0 0 23478 226 0 0 25 0 1 0 1840840541 118452224 28080 4294967295 134512640 134736556 3221224560 3221223048 1077374433 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7599/statm): 28919 28080 1116 68 0 28851 0 [pid=7599] vsize: 115676 Current children cumulated CPU time (s) 237.04 Current children cumulated vsize (Kb) 115676 [startup+250.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 28352 0 0 0 24458 233 0 0 25 0 1 0 1840840541 118452224 28080 4294967295 134512640 134736556 3221224560 3221223008 1077378571 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 28919 28080 1116 68 0 28851 0 [pid=7599] vsize: 115676 Current children cumulated CPU time (s) 246.91 Current children cumulated vsize (Kb) 115676 [startup+260.017 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 28352 0 0 0 25440 238 0 0 25 0 1 0 1840840541 118452224 28080 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 28919 28080 1116 68 0 28851 0 [pid=7599] vsize: 115676 Current children cumulated CPU time (s) 256.78 Current children cumulated vsize (Kb) 115676 [startup+270.018 s] Raw data (loadavg): 0.99 0.97 0.93 1/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 28862 0 0 0 26424 245 0 0 25 0 1 0 1840840541 120635392 28590 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 29452 28590 1116 68 0 29384 0 [pid=7599] vsize: 117808 Current children cumulated CPU time (s) 266.69 Current children cumulated vsize (Kb) 117808 [startup+280.018 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 29077 0 0 0 27414 249 0 0 25 0 1 0 1840840541 121446400 28805 4294967295 134512640 134736556 3221224560 3221222888 1077377236 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 29650 28805 1116 68 0 29582 0 [pid=7599] vsize: 118600 Current children cumulated CPU time (s) 276.63 Current children cumulated vsize (Kb) 118600 [startup+290.018 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 29077 0 0 0 28398 255 0 0 25 0 1 0 1840840541 121446400 28805 4294967295 134512640 134736556 3221224560 3221223120 134634142 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 29650 28805 1116 68 0 29582 0 [pid=7599] vsize: 118600 Current children cumulated CPU time (s) 286.53 Current children cumulated vsize (Kb) 118600 [startup+300.018 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 29077 0 0 0 29380 261 0 0 25 0 1 0 1840840541 121446400 28805 4294967295 134512640 134736556 3221224560 3221223136 134558163 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 29650 28805 1116 68 0 29582 0 [pid=7599] vsize: 118600 Current children cumulated CPU time (s) 296.41 Current children cumulated vsize (Kb) 118600 [startup+310.019 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 29077 0 0 0 30363 267 0 0 25 0 1 0 1840840541 121446400 28805 4294967295 134512640 134736556 3221224560 3221223296 134645976 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 29650 28805 1116 68 0 29582 0 [pid=7599] vsize: 118600 Current children cumulated CPU time (s) 306.3 Current children cumulated vsize (Kb) 118600 [startup+320.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 29077 0 0 0 31345 273 0 0 25 0 1 0 1840840541 121446400 28805 4294967295 134512640 134736556 3221224560 3221223272 134599556 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 29650 28805 1116 68 0 29582 0 [pid=7599] vsize: 118600 Current children cumulated CPU time (s) 316.18 Current children cumulated vsize (Kb) 118600 [startup+330.02 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 29141 0 0 0 32326 280 0 0 25 0 1 0 1840840541 121815040 28869 4294967295 134512640 134736556 3221224560 3221223216 134649499 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 29740 28869 1116 68 0 29672 0 [pid=7599] vsize: 118960 Current children cumulated CPU time (s) 326.06 Current children cumulated vsize (Kb) 118960 [startup+340.019 s] Raw data (loadavg): 0.99 0.97 0.93 1/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 29711 0 0 0 33307 287 0 0 25 0 1 0 1840840541 124108800 29439 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 30300 29439 1116 68 0 30232 0 [pid=7599] vsize: 121200 Current children cumulated CPU time (s) 335.94 Current children cumulated vsize (Kb) 121200 [startup+350.02 s] Raw data (loadavg): 0.99 0.97 0.93 1/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 31963 0 0 0 34275 302 0 0 25 0 1 0 1840840541 133300224 31691 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 32544 31691 1116 68 0 32476 0 [pid=7599] vsize: 130176 Current children cumulated CPU time (s) 345.77 Current children cumulated vsize (Kb) 130176 [startup+360.021 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 32264 0 0 0 35248 312 0 0 25 0 1 0 1840840541 134516736 31992 4294967295 134512640 134736556 3221224560 3221223036 134518432 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 32841 31992 1116 68 0 32773 0 [pid=7599] vsize: 131364 Current children cumulated CPU time (s) 355.6 Current children cumulated vsize (Kb) 131364 [startup+370.021 s] Raw data (loadavg): 0.99 0.97 0.93 1/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 32390 0 0 0 36222 322 0 0 25 0 1 0 1840840541 135057408 32118 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 32973 32118 1116 68 0 32905 0 [pid=7599] vsize: 131892 Current children cumulated CPU time (s) 365.44 Current children cumulated vsize (Kb) 131892 [startup+380.021 s] Raw data (loadavg): 1.07 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 32390 0 0 0 37201 329 0 0 25 0 1 0 1840840541 135057408 32118 4294967295 134512640 134736556 3221224560 3221223168 134536111 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 32973 32118 1116 68 0 32905 0 [pid=7599] vsize: 131892 Current children cumulated CPU time (s) 375.3 Current children cumulated vsize (Kb) 131892 [startup+390.021 s] Raw data (loadavg): 1.06 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 32390 0 0 0 38176 338 0 0 25 0 1 0 1840840541 135057408 32118 4294967295 134512640 134736556 3221224560 3221223100 134536223 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 32973 32118 1116 68 0 32905 0 [pid=7599] vsize: 131892 Current children cumulated CPU time (s) 385.14 Current children cumulated vsize (Kb) 131892 [startup+400.021 s] Raw data (loadavg): 1.05 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 32390 0 0 0 39148 347 0 0 25 0 1 0 1840840541 135057408 32118 4294967295 134512640 134736556 3221224560 3221223296 134645965 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 32973 32118 1116 68 0 32905 0 [pid=7599] vsize: 131892 Current children cumulated CPU time (s) 394.95 Current children cumulated vsize (Kb) 131892 [startup+410.022 s] Raw data (loadavg): 1.04 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 32390 0 0 0 40120 356 0 0 25 0 1 0 1840840541 135057408 32118 4294967295 134512640 134736556 3221224560 3221223052 1076533124 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 32973 32118 1116 68 0 32905 0 [pid=7599] vsize: 131892 Current children cumulated CPU time (s) 404.76 Current children cumulated vsize (Kb) 131892 [startup+420.023 s] Raw data (loadavg): 1.04 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 32390 0 0 0 41094 364 0 0 25 0 1 0 1840840541 135057408 32118 4294967295 134512640 134736556 3221224560 3221223072 1076648048 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 32973 32118 1116 68 0 32905 0 [pid=7599] vsize: 131892 Current children cumulated CPU time (s) 414.58 Current children cumulated vsize (Kb) 131892 [startup+430.023 s] Raw data (loadavg): 1.03 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 32390 0 0 0 42066 373 0 0 25 0 1 0 1840840541 135057408 32118 4294967295 134512640 134736556 3221224560 3221223048 1077374433 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 32973 32118 1116 68 0 32905 0 [pid=7599] vsize: 131892 Current children cumulated CPU time (s) 424.39 Current children cumulated vsize (Kb) 131892 [startup+440.023 s] Raw data (loadavg): 1.03 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 32390 0 0 0 43038 382 0 0 25 0 1 0 1840840541 135057408 32118 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 32973 32118 1116 68 0 32905 0 [pid=7599] vsize: 131892 Current children cumulated CPU time (s) 434.2 Current children cumulated vsize (Kb) 131892 [startup+450.023 s] Raw data (loadavg): 1.02 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 32390 0 0 0 44018 390 0 0 25 0 1 0 1840840541 135057408 32118 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 32973 32118 1116 68 0 32905 0 [pid=7599] vsize: 131892 Current children cumulated CPU time (s) 444.08 Current children cumulated vsize (Kb) 131892 [startup+460.024 s] Raw data (loadavg): 1.02 0.99 0.94 1/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 32390 0 0 0 45002 396 0 0 25 0 1 0 1840840541 135057408 32118 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 32973 32118 1116 68 0 32905 0 [pid=7599] vsize: 131892 Current children cumulated CPU time (s) 453.98 Current children cumulated vsize (Kb) 131892 [startup+470.025 s] Raw data (loadavg): 1.01 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 32699 0 0 0 45979 406 0 0 25 0 1 0 1840840541 136273920 32427 4294967295 134512640 134736556 3221224560 3221223092 134534871 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 33270 32427 1116 68 0 33202 0 [pid=7599] vsize: 133080 Current children cumulated CPU time (s) 463.85 Current children cumulated vsize (Kb) 133080 [startup+480.025 s] Raw data (loadavg): 1.01 0.99 0.94 1/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 32934 0 0 0 46955 415 0 0 25 0 1 0 1840840541 137355264 32662 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 33534 32662 1116 68 0 33466 0 [pid=7599] vsize: 134136 Current children cumulated CPU time (s) 473.7 Current children cumulated vsize (Kb) 134136 [startup+490.025 s] Raw data (loadavg): 1.01 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 33138 0 0 0 47932 422 0 0 25 0 1 0 1840840541 138166272 32866 4294967295 134512640 134736556 3221224560 3221223168 134536153 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 33732 32866 1116 68 0 33664 0 [pid=7599] vsize: 134928 Current children cumulated CPU time (s) 483.54 Current children cumulated vsize (Kb) 134928 [startup+500.026 s] Raw data (loadavg): 1.01 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 33179 0 0 0 48912 430 0 0 25 0 1 0 1840840541 138301440 32907 4294967295 134512640 134736556 3221224560 3221223176 134537599 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 33765 32907 1116 68 0 33697 0 [pid=7599] vsize: 135060 Current children cumulated CPU time (s) 493.42 Current children cumulated vsize (Kb) 135060 [startup+510.027 s] Raw data (loadavg): 1.01 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 33441 0 0 0 49894 437 0 0 25 0 1 0 1840840541 139382784 33169 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 34029 33169 1116 68 0 33961 0 [pid=7599] vsize: 136116 Current children cumulated CPU time (s) 503.31 Current children cumulated vsize (Kb) 136116 [startup+520.028 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 33515 0 0 0 50874 444 0 0 25 0 1 0 1840840541 139653120 33243 4294967295 134512640 134736556 3221224560 3221223088 134554617 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7599/statm): 34095 33243 1116 68 0 34027 0 [pid=7599] vsize: 136380 Current children cumulated CPU time (s) 513.18 Current children cumulated vsize (Kb) 136380 [startup+530.028 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 33664 0 0 0 51856 451 0 0 25 0 1 0 1840840541 140328960 33392 4294967295 134512640 134736556 3221224560 3221223000 1077374433 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 34260 33392 1116 68 0 34192 0 [pid=7599] vsize: 137040 Current children cumulated CPU time (s) 523.07 Current children cumulated vsize (Kb) 137040 [startup+540.029 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 33752 0 0 0 52842 455 0 0 25 0 1 0 1840840541 140734464 33480 4294967295 134512640 134736556 3221224560 3221223176 134537599 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 34359 33480 1116 68 0 34291 0 [pid=7599] vsize: 137436 Current children cumulated CPU time (s) 532.97 Current children cumulated vsize (Kb) 137436 [startup+550.028 s] Raw data (loadavg): 1.00 0.99 0.94 1/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 33837 0 0 0 53825 462 0 0 25 0 1 0 1840840541 141004800 33565 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 34425 33565 1116 68 0 34357 0 [pid=7599] vsize: 137700 Current children cumulated CPU time (s) 542.87 Current children cumulated vsize (Kb) 137700 [startup+560.029 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 33838 0 0 0 54812 467 0 0 25 0 1 0 1840840541 141004800 33565 4294967295 134512640 134736556 3221224560 3221223156 134558145 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 34425 33565 1116 68 0 34357 0 [pid=7599] vsize: 137700 Current children cumulated CPU time (s) 552.79 Current children cumulated vsize (Kb) 137700 [startup+570.03 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 34013 0 0 0 55796 473 0 0 25 0 1 0 1840840541 141721600 33740 4294967295 134512640 134736556 3221224560 3221223300 134560258 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 34600 33740 1116 68 0 34532 0 [pid=7599] vsize: 138400 Current children cumulated CPU time (s) 562.69 Current children cumulated vsize (Kb) 138400 [startup+580.03 s] Raw data (loadavg): 1.00 0.99 0.94 1/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 34013 0 0 0 56781 479 0 0 25 0 1 0 1840840541 141721600 33740 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 34600 33740 1116 68 0 34532 0 [pid=7599] vsize: 138400 Current children cumulated CPU time (s) 572.6 Current children cumulated vsize (Kb) 138400 [startup+590.03 s] Raw data (loadavg): 1.00 0.99 0.94 1/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 34013 0 0 0 57765 485 0 0 25 0 1 0 1840840541 141721600 33740 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 34600 33740 1116 68 0 34532 0 [pid=7599] vsize: 138400 Current children cumulated CPU time (s) 582.5 Current children cumulated vsize (Kb) 138400 [startup+600.03 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 34013 0 0 0 58748 491 0 0 25 0 1 0 1840840541 141721600 33740 4294967295 134512640 134736556 3221224560 3221223052 134536340 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 34600 33740 1116 68 0 34532 0 [pid=7599] vsize: 138400 Current children cumulated CPU time (s) 592.39 Current children cumulated vsize (Kb) 138400 [startup+610.031 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 34015 0 0 0 59731 496 0 0 25 0 1 0 1840840541 141721600 33742 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 34600 33742 1116 68 0 34532 0 [pid=7599] vsize: 138400 Current children cumulated CPU time (s) 602.27 Current children cumulated vsize (Kb) 138400 [startup+620.032 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 34015 0 0 0 60715 501 0 0 25 0 1 0 1840840541 141721600 33742 4294967295 134512640 134736556 3221224560 3221223216 134649034 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 34600 33742 1116 68 0 34532 0 [pid=7599] vsize: 138400 Current children cumulated CPU time (s) 612.16 Current children cumulated vsize (Kb) 138400 [startup+630.032 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 34015 0 0 0 61693 508 0 0 25 0 1 0 1840840541 141721600 33742 4294967295 134512640 134736556 3221224560 3221223216 134649034 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 34600 33742 1116 68 0 34532 0 [pid=7599] vsize: 138400 Current children cumulated CPU time (s) 622.01 Current children cumulated vsize (Kb) 138400 [startup+640.033 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 34015 0 0 0 62671 516 0 0 25 0 1 0 1840840541 141721600 33742 4294967295 134512640 134736556 3221224560 3221223152 134558325 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 34600 33742 1116 68 0 34532 0 [pid=7599] vsize: 138400 Current children cumulated CPU time (s) 631.87 Current children cumulated vsize (Kb) 138400 [startup+650.032 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 34260 0 0 0 63653 523 0 0 25 0 1 0 1840840541 142839808 33987 4294967295 134512640 134736556 3221224560 3221223192 134544045 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 34873 33987 1116 68 0 34805 0 [pid=7599] vsize: 139492 Current children cumulated CPU time (s) 641.76 Current children cumulated vsize (Kb) 139492 [startup+660.033 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 34260 0 0 0 64637 529 0 0 25 0 1 0 1840840541 142839808 33987 4294967295 134512640 134736556 3221224560 3221223272 134599556 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 34873 33987 1116 68 0 34805 0 [pid=7599] vsize: 139492 Current children cumulated CPU time (s) 651.66 Current children cumulated vsize (Kb) 139492 [startup+670.033 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 35269 0 0 0 65620 536 0 0 25 0 1 0 1840840541 147030016 34996 4294967295 134512640 134736556 3221224560 3221223100 134555082 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 35896 34996 1116 68 0 35828 0 [pid=7599] vsize: 143584 Current children cumulated CPU time (s) 661.56 Current children cumulated vsize (Kb) 143584 [startup+680.033 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 35269 0 0 0 66605 541 0 0 25 0 1 0 1840840541 147030016 34996 4294967295 134512640 134736556 3221224560 3221223152 134558305 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 35896 34996 1116 68 0 35828 0 [pid=7599] vsize: 143584 Current children cumulated CPU time (s) 671.46 Current children cumulated vsize (Kb) 143584 [startup+690.034 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 35602 0 0 0 67585 549 0 0 25 0 1 0 1840840541 148381696 35329 4294967295 134512640 134736556 3221224560 3221223112 1077377221 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 36226 35329 1116 68 0 36158 0 [pid=7599] vsize: 144904 Current children cumulated CPU time (s) 681.34 Current children cumulated vsize (Kb) 144904 [startup+700.033 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 35602 0 0 0 68570 555 0 0 25 0 1 0 1840840541 148381696 35329 4294967295 134512640 134736556 3221224560 3221223136 134558554 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 36226 35329 1116 68 0 36158 0 [pid=7599] vsize: 144904 Current children cumulated CPU time (s) 691.25 Current children cumulated vsize (Kb) 144904 [startup+710.034 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 35602 0 0 0 69550 562 0 0 25 0 1 0 1840840541 148381696 35329 4294967295 134512640 134736556 3221224560 3221223176 134558580 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 36226 35329 1116 68 0 36158 0 [pid=7599] vsize: 144904 Current children cumulated CPU time (s) 701.12 Current children cumulated vsize (Kb) 144904 [startup+720.035 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 35602 0 0 0 70532 568 0 0 25 0 1 0 1840840541 148381696 35329 4294967295 134512640 134736556 3221224560 3221223216 134649499 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 36226 35329 1116 68 0 36158 0 [pid=7599] vsize: 144904 Current children cumulated CPU time (s) 711 Current children cumulated vsize (Kb) 144904 [startup+730.035 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 35602 0 0 0 71516 575 0 0 25 0 1 0 1840840541 148381696 35329 4294967295 134512640 134736556 3221224560 3221223184 134535752 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 36226 35329 1116 68 0 36158 0 [pid=7599] vsize: 144904 Current children cumulated CPU time (s) 720.91 Current children cumulated vsize (Kb) 144904 [startup+740.035 s] Raw data (loadavg): 1.00 0.99 0.94 1/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 35602 0 0 0 72502 580 0 0 25 0 1 0 1840840541 148381696 35329 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 36226 35329 1116 68 0 36158 0 [pid=7599] vsize: 144904 Current children cumulated CPU time (s) 730.82 Current children cumulated vsize (Kb) 144904 [startup+750.035 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 35605 0 0 0 73479 588 0 0 25 0 1 0 1840840541 148381696 35332 4294967295 134512640 134736556 3221224560 3221223148 134560382 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 36226 35332 1116 68 0 36158 0 [pid=7599] vsize: 144904 Current children cumulated CPU time (s) 740.67 Current children cumulated vsize (Kb) 144904 [startup+760.036 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 35605 0 0 0 74455 596 0 0 25 0 1 0 1840840541 148381696 35332 4294967295 134512640 134736556 3221224560 3221223056 1076648048 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 36226 35332 1116 68 0 36158 0 [pid=7599] vsize: 144904 Current children cumulated CPU time (s) 750.51 Current children cumulated vsize (Kb) 144904 [startup+770.037 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 35605 0 0 0 75437 603 0 0 25 0 1 0 1840840541 148381696 35332 4294967295 134512640 134736556 3221224560 3221223192 134544056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 36226 35332 1116 68 0 36158 0 [pid=7599] vsize: 144904 Current children cumulated CPU time (s) 760.4 Current children cumulated vsize (Kb) 144904 [startup+780.037 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 35607 0 0 0 76418 610 0 0 25 0 1 0 1840840541 148381696 35334 4294967295 134512640 134736556 3221224560 3221223160 1077377398 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 36226 35334 1116 68 0 36158 0 [pid=7599] vsize: 144904 Current children cumulated CPU time (s) 770.28 Current children cumulated vsize (Kb) 144904 [startup+790.037 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 35607 0 0 0 77395 618 0 0 25 0 1 0 1840840541 148381696 35334 4294967295 134512640 134736556 3221224560 3221223192 134544456 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 36226 35334 1116 68 0 36158 0 [pid=7599] vsize: 144904 Current children cumulated CPU time (s) 780.13 Current children cumulated vsize (Kb) 144904 [startup+800.037 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 35607 0 0 0 78379 623 0 0 25 0 1 0 1840840541 148381696 35334 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 36226 35334 1116 68 0 36158 0 [pid=7599] vsize: 144904 Current children cumulated CPU time (s) 790.02 Current children cumulated vsize (Kb) 144904 [startup+810.038 s] Raw data (loadavg): 1.00 0.99 0.94 1/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 35607 0 0 0 79368 628 0 0 25 0 1 0 1840840541 148381696 35334 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 36226 35334 1116 68 0 36158 0 [pid=7599] vsize: 144904 Current children cumulated CPU time (s) 799.96 Current children cumulated vsize (Kb) 144904 [startup+820.038 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 35607 0 0 0 80358 630 0 0 25 0 1 0 1840840541 148381696 35334 4294967295 134512640 134736556 3221224560 3221223296 134645965 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 36226 35334 1116 68 0 36158 0 [pid=7599] vsize: 144904 Current children cumulated CPU time (s) 809.88 Current children cumulated vsize (Kb) 144904 [startup+830.038 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 35806 0 0 0 81347 635 0 0 25 0 1 0 1840840541 149200896 35533 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 36426 35533 1116 68 0 36358 0 [pid=7599] vsize: 145704 Current children cumulated CPU time (s) 819.82 Current children cumulated vsize (Kb) 145704 [startup+840.039 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 36482 0 0 0 82336 640 0 0 25 0 1 0 1840840541 152379392 36209 4294967295 134512640 134736556 3221224560 3221223296 134645965 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 37202 36209 1116 68 0 37134 0 [pid=7599] vsize: 148808 Current children cumulated CPU time (s) 829.76 Current children cumulated vsize (Kb) 148808 [startup+850.038 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 36658 0 0 0 83326 643 0 0 25 0 1 0 1840840541 153034752 36385 4294967295 134512640 134736556 3221224560 3221223112 134537599 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 37362 36385 1116 68 0 37294 0 [pid=7599] vsize: 149448 Current children cumulated CPU time (s) 839.69 Current children cumulated vsize (Kb) 149448 [startup+860.039 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 37164 0 0 0 84311 649 0 0 25 0 1 0 1840840541 155197440 36891 4294967295 134512640 134736556 3221224560 3221223196 134544036 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7599/statm): 37890 36891 1116 68 0 37822 0 [pid=7599] vsize: 151560 Current children cumulated CPU time (s) 849.6 Current children cumulated vsize (Kb) 151560 [startup+870.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 37213 0 0 0 85292 656 0 0 25 0 1 0 1840840541 155332608 36940 4294967295 134512640 134736556 3221224560 3221223296 134645965 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 37923 36940 1116 68 0 37855 0 [pid=7599] vsize: 151692 Current children cumulated CPU time (s) 859.48 Current children cumulated vsize (Kb) 151692 [startup+880.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 37271 0 0 0 86278 662 0 0 25 0 1 0 1840840541 155602944 36998 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 37989 36998 1116 68 0 37921 0 [pid=7599] vsize: 151956 Current children cumulated CPU time (s) 869.4 Current children cumulated vsize (Kb) 151956 [startup+890.041 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 37310 0 0 0 87264 667 0 0 25 0 1 0 1840840541 155738112 37037 4294967295 134512640 134736556 3221224560 3221223216 134649508 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 38022 37037 1116 68 0 37954 0 [pid=7599] vsize: 152088 Current children cumulated CPU time (s) 879.31 Current children cumulated vsize (Kb) 152088 [startup+900.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 37345 0 0 0 88252 672 0 0 25 0 1 0 1840840541 155873280 37072 4294967295 134512640 134736556 3221224560 3221223000 1077374433 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 38055 37072 1116 68 0 37987 0 [pid=7599] vsize: 152220 Current children cumulated CPU time (s) 889.24 Current children cumulated vsize (Kb) 152220 [startup+910.041 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 37384 0 0 0 89237 677 0 0 25 0 1 0 1840840541 156008448 37111 4294967295 134512640 134736556 3221224560 3221223176 134537599 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 38088 37111 1116 68 0 38020 0 [pid=7599] vsize: 152352 Current children cumulated CPU time (s) 899.14 Current children cumulated vsize (Kb) 152352 [startup+920.042 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 37516 0 0 0 90222 683 0 0 25 0 1 0 1840840541 156549120 37243 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 38220 37243 1116 68 0 38152 0 [pid=7599] vsize: 152880 Current children cumulated CPU time (s) 909.05 Current children cumulated vsize (Kb) 152880 [startup+930.042 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 37516 0 0 0 91211 686 0 0 25 0 1 0 1840840541 156549120 37243 4294967295 134512640 134736556 3221224560 3221223296 134645965 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 38220 37243 1116 68 0 38152 0 [pid=7599] vsize: 152880 Current children cumulated CPU time (s) 918.97 Current children cumulated vsize (Kb) 152880 [startup+940.043 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 38031 0 0 0 92198 691 0 0 25 0 1 0 1840840541 158818304 37758 4294967295 134512640 134736556 3221224560 3221223132 134560382 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 38774 37758 1116 68 0 38706 0 [pid=7599] vsize: 155096 Current children cumulated CPU time (s) 928.89 Current children cumulated vsize (Kb) 155096 [startup+950.042 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 38132 0 0 0 93186 697 0 0 25 0 1 0 1840840541 159465472 37859 4294967295 134512640 134736556 3221224560 3221223168 134536168 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 38932 37859 1116 68 0 38864 0 [pid=7599] vsize: 155728 Current children cumulated CPU time (s) 938.83 Current children cumulated vsize (Kb) 155728 [startup+960.043 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 38355 0 0 0 94172 701 0 0 25 0 1 0 1840840541 160276480 38082 4294967295 134512640 134736556 3221224560 3221223176 134537599 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 39130 38082 1116 68 0 39062 0 [pid=7599] vsize: 156520 Current children cumulated CPU time (s) 948.73 Current children cumulated vsize (Kb) 156520 [startup+970.043 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 38719 0 0 0 95157 708 0 0 25 0 1 0 1840840541 161767424 38446 4294967295 134512640 134736556 3221224560 3221223128 134560305 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 39494 38446 1116 68 0 39426 0 [pid=7599] vsize: 157976 Current children cumulated CPU time (s) 958.65 Current children cumulated vsize (Kb) 157976 [startup+980.044 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 39667 0 0 0 96139 715 0 0 25 0 1 0 1840840541 165687296 39394 4294967295 134512640 134736556 3221224560 3221223176 134537599 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 40451 39394 1116 68 0 40383 0 [pid=7599] vsize: 161804 Current children cumulated CPU time (s) 968.54 Current children cumulated vsize (Kb) 161804 [startup+990.045 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 39757 0 0 0 97124 720 0 0 25 0 1 0 1840840541 166092800 39483 4294967295 134512640 134736556 3221224560 3221223192 134537621 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 40550 39483 1116 68 0 40482 0 [pid=7599] vsize: 162200 Current children cumulated CPU time (s) 978.44 Current children cumulated vsize (Kb) 162200 [startup+1000.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 40467 0 0 0 98108 725 0 0 25 0 1 0 1840840541 168935424 40193 4294967295 134512640 134736556 3221224560 3221222828 1077379843 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 41244 40193 1116 68 0 41176 0 [pid=7599] vsize: 164976 Current children cumulated CPU time (s) 988.33 Current children cumulated vsize (Kb) 164976 [startup+1010.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 41956 0 0 0 99087 735 0 0 25 0 1 0 1840840541 175030272 41682 4294967295 134512640 134736556 3221224560 3221223112 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 42732 41686 1116 68 0 42664 0 [pid=7599] vsize: 170928 Current children cumulated CPU time (s) 998.22 Current children cumulated vsize (Kb) 170928 [startup+1020.05 s] Raw data (loadavg): 1.00 0.99 0.94 1/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 43675 0 0 0 100070 744 0 0 25 0 1 0 1840840541 182210560 43401 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 44485 43401 1116 68 0 44417 0 [pid=7599] vsize: 177940 Current children cumulated CPU time (s) 1008.14 Current children cumulated vsize (Kb) 177940 [startup+1030.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 43675 0 0 0 101059 748 0 0 25 0 1 0 1840840541 182210560 43401 4294967295 134512640 134736556 3221224560 3221223176 134558031 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 44485 43401 1116 68 0 44417 0 [pid=7599] vsize: 177940 Current children cumulated CPU time (s) 1018.07 Current children cumulated vsize (Kb) 177940 [startup+1040.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 43675 0 0 0 102046 753 0 0 25 0 1 0 1840840541 182210560 43401 4294967295 134512640 134736556 3221224560 3221223184 134649095 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 44485 43401 1116 68 0 44417 0 [pid=7599] vsize: 177940 Current children cumulated CPU time (s) 1027.99 Current children cumulated vsize (Kb) 177940 [startup+1050.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 43675 0 0 0 103032 758 0 0 25 0 1 0 1840840541 182210560 43401 4294967295 134512640 134736556 3221224560 3221223168 134536153 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 44485 43401 1116 68 0 44417 0 [pid=7599] vsize: 177940 Current children cumulated CPU time (s) 1037.9 Current children cumulated vsize (Kb) 177940 [startup+1060.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 43680 0 0 0 104018 763 0 0 25 0 1 0 1840840541 182210560 43406 4294967295 134512640 134736556 3221224560 3221223156 134558145 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 44485 43406 1116 68 0 44417 0 [pid=7599] vsize: 177940 Current children cumulated CPU time (s) 1047.81 Current children cumulated vsize (Kb) 177940 [startup+1070.05 s] Raw data (loadavg): 1.00 0.99 0.94 1/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 43911 0 0 0 105006 766 0 0 25 0 1 0 1840840541 183021568 43621 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 44683 43621 1116 68 0 44615 0 [pid=7599] vsize: 178732 Current children cumulated CPU time (s) 1057.72 Current children cumulated vsize (Kb) 178732 [startup+1080.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 44364 0 0 0 105990 772 0 0 25 0 1 0 1840840541 184913920 44074 4294967295 134512640 134736556 3221224560 3221223296 134646172 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 45145 44074 1116 68 0 45077 0 [pid=7599] vsize: 180580 Current children cumulated CPU time (s) 1067.62 Current children cumulated vsize (Kb) 180580 [startup+1090.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 44364 0 0 0 106977 777 0 0 25 0 1 0 1840840541 184913920 44074 4294967295 134512640 134736556 3221224560 3221223176 134537599 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 45145 44074 1116 68 0 45077 0 [pid=7599] vsize: 180580 Current children cumulated CPU time (s) 1077.54 Current children cumulated vsize (Kb) 180580 [startup+1100.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 44364 0 0 0 107958 783 0 0 25 0 1 0 1840840541 184913920 44074 4294967295 134512640 134736556 3221224560 3221223192 134544456 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 45145 44074 1116 68 0 45077 0 [pid=7599] vsize: 180580 Current children cumulated CPU time (s) 1087.41 Current children cumulated vsize (Kb) 180580 [startup+1110.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 44364 0 0 0 108943 787 0 0 25 0 1 0 1840840541 184913920 44074 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 45145 44074 1116 68 0 45077 0 [pid=7599] vsize: 180580 Current children cumulated CPU time (s) 1097.3 Current children cumulated vsize (Kb) 180580 [startup+1120.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 44364 0 0 0 109926 793 0 0 25 0 1 0 1840840541 184913920 44074 4294967295 134512640 134736556 3221224560 3221223052 134536384 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 45145 44074 1116 68 0 45077 0 [pid=7599] vsize: 180580 Current children cumulated CPU time (s) 1107.19 Current children cumulated vsize (Kb) 180580 [startup+1130.05 s] Raw data (loadavg): 1.00 0.99 0.94 1/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 44364 0 0 0 110908 800 0 0 25 0 1 0 1840840541 184913920 44074 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 45145 44074 1116 68 0 45077 0 [pid=7599] vsize: 180580 Current children cumulated CPU time (s) 1117.08 Current children cumulated vsize (Kb) 180580 [startup+1140.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 44364 0 0 0 111887 808 0 0 25 0 1 0 1840840541 184913920 44074 4294967295 134512640 134736556 3221224560 3221223228 134534848 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 45145 44074 1116 68 0 45077 0 [pid=7599] vsize: 180580 Current children cumulated CPU time (s) 1126.95 Current children cumulated vsize (Kb) 180580 [startup+1150.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 44368 0 0 0 112864 815 0 0 25 0 1 0 1840840541 184913920 44078 4294967295 134512640 134736556 3221224560 3221223216 134649020 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 45145 44078 1116 68 0 45077 0 [pid=7599] vsize: 180580 Current children cumulated CPU time (s) 1136.79 Current children cumulated vsize (Kb) 180580 [startup+1160.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 44373 0 0 0 113845 822 0 0 25 0 1 0 1840840541 184913920 44083 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 45145 44083 1116 68 0 45077 0 [pid=7599] vsize: 180580 Current children cumulated CPU time (s) 1146.67 Current children cumulated vsize (Kb) 180580 [startup+1170.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 44377 0 0 0 114828 829 0 0 25 0 1 0 1840840541 184913920 44087 4294967295 134512640 134736556 3221224560 3221223196 134558024 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7599/statm): 45145 44087 1116 68 0 45077 0 [pid=7599] vsize: 180580 Current children cumulated CPU time (s) 1156.57 Current children cumulated vsize (Kb) 180580 [startup+1180.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 44378 0 0 0 115815 833 0 0 25 0 1 0 1840840541 184373248 43956 4294967295 134512640 134736556 3221224560 3221223116 134560382 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7599/statm): 45013 43956 1116 68 0 44945 0 [pid=7599] vsize: 180052 Current children cumulated CPU time (s) 1166.48 Current children cumulated vsize (Kb) 180052 [startup+1190.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) R 7598 7599 5245 0 -1 0 44378 0 0 0 116795 840 0 0 25 0 1 0 1840840541 184373248 43956 4294967295 134512640 134736556 3221224560 3221223216 134649499 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7599/statm): 45013 43956 1116 68 0 44945 0 [pid=7599] vsize: 180052 Current children cumulated CPU time (s) 1176.35 Current children cumulated vsize (Kb) 180052 [startup+1200.05 s] Raw data (loadavg): 1.00 0.99 0.94 1/56 7599 Raw data (/proc/7599/stat): 7599 (bsolo) T 7598 7599 5245 0 -1 0 44378 0 0 0 117776 847 0 0 25 0 1 0 1840840541 184373248 43956 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7599/statm): 45013 43956 1116 68 0 44945 0 [pid=7599] vsize: 180052 Current children cumulated CPU time (s) 1186.23 Current children cumulated vsize (Kb) 180052 One traced child (pid=7599) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1209.05 CPU time (s): 1195.12 CPU user time (s): 1186.5 CPU system time (s): 8.61469 CPU usage (%): 98.8474 Max. virtual memory (cumulated for all children) (Kb): 180580
Verifier: OK 6251