Name | mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-afiro.opb |
MD5SUM | 27c455853db0a1f70b6ba60ff91cb013 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -4120833 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 150 |
Biggest coefficient in the objective function | 134217728000 |
Number of bits for the biggest coefficient in the objective function | 37 |
Sum of the numbers in the objective function | 316753837785 |
Number of bits of the sum of numbers in the objective function | 39 |
Biggest number in a constraint | 1304059445248 |
Number of bits of the biggest number in a constraint | 41 |
Biggest sum of numbers in a constraint | 20964809094075 |
Number of bits of the biggest sum of numbers | 45 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1195.14 |
Number of variables | 960 |
Total number of constraints | 27 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 27 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 270 |
LAUNCH ON wulflinc1 THE 2005-09-19 22:03:37 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=786 boxname=wulflinc1 idbench=786 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: 27c455853db0a1f70b6ba60ff91cb013 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-afiro.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-afiro.opb IDLAUNCH: 786 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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 : 2 cpu MHz : 451.053 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 : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 901952 kB Buffers: 22628 kB Cached: 80640 kB SwapCached: 1180 kB Active: 33696 kB Inactive: 72104 kB HighTotal: 131008 kB HighFree: 47656 kB LowTotal: 903652 kB LowFree: 854296 kB SwapTotal: 2097136 kB SwapFree: 2095264 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5744 kB Slab: 21084 kB Committed_AS: 92628 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-19 22:23:49 (client local time) WITH STATUS 10 IN 1195.14 SECONDS stats: 786 0 1195.14 10
c INFO: OSL Context initialized. c BIG Int formula... c Initial problem consists of 960 variables and 35 constraints. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 0.23 c After prepocess the problem consists of 589 variables and 35 constraints. c Initial Lower Bound: -16515027 c Restart #1 #Var: 589 #Dec: 950 LB: -16515027 @ 0.732 c Restart #2 #Var: 589 #Dec: 2498 LB: -16515027 @ 1.772 c Restart #3 #Var: 589 #Dec: 4835 LB: -16515027 @ 3.135 c Restart #4 #Var: 589 #Dec: 7318 LB: -16515027 @ 4.954 c Restart #5 #Var: 589 #Dec: 11001 LB: -16515027 @ 7.412 c Restart #6 #Var: 589 #Dec: 15456 LB: -16515027 @ 9.391 c Restart #7 #Var: 589 #Dec: 21674 LB: -16515027 @ 11.286 c Restart #8 #Var: 589 #Dec: 26494 LB: -16515027 @ 13.018 c Restart #9 #Var: 589 #Dec: 28390 LB: -16515027 @ 14.766 c Restart #10 #Var: 589 #Dec: 30490 LB: -16515027 @ 16.68 c Restart #11 #Var: 589 #Dec: 32727 LB: -16515027 @ 18.547 c Restart #12 #Var: 589 #Dec: 35146 LB: -16515027 @ 20.589 c Restart #13 #Var: 589 #Dec: 38131 LB: -16515027 @ 23.557 c Restart #14 #Var: 589 #Dec: 41030 LB: -16515027 @ 26.515 c Restart #15 #Var: 589 #Dec: 44166 LB: -16515027 @ 29.843 c Restart #16 #Var: 589 #Dec: 47552 LB: -16515027 @ 33.52 c Restart #17 #Var: 589 #Dec: 51260 LB: -16515027 @ 37.313 c Restart #18 #Var: 589 #Dec: 55712 LB: -16515027 @ 41.494 c Restart #19 #Var: 589 #Dec: 60722 LB: -16515027 @ 44.755 c Restart #20 #Var: 589 #Dec: 67288 LB: -16515027 @ 47.083 c Restart #21 #Var: 588 #Dec: 71507 LB: -16515027 @ 49.485 c Restart #22 #Var: 588 #Dec: 75924 LB: -16515027 @ 52.393 c Restart #23 #Var: 588 #Dec: 80542 LB: -16515027 @ 55.046 c Restart #24 #Var: 588 #Dec: 86176 LB: -16515027 @ 59.091 c Restart #25 #Var: 588 #Dec: 91288 LB: -16515027 @ 63.289 c Restart #26 #Var: 588 #Dec: 96499 LB: -16515027 @ 100.27 c Restart #27 #Var: 588 #Dec: 102331 LB: -16515027 @ 105.68 c Restart #28 #Var: 588 #Dec: 108200 LB: -16515027 @ 112.52 c Restart #29 #Var: 588 #Dec: 114742 LB: -16515027 @ 118.34 c Restart #30 #Var: 588 #Dec: 121237 LB: -16515027 @ 125.73 c NEW SOLUTION FOUND: -209949 @ 134.9 @ #Dec. 126240 c NEW SOLUTION FOUND: -210949 @ 135.1 @ #Dec. 126542 c NEW SOLUTION FOUND: -211450 @ 135.51 @ #Dec. 126938 c NEW SOLUTION FOUND: -211465 @ 135.52 @ #Dec. 127000 c NEW SOLUTION FOUND: -211534 @ 135.69 @ #Dec. 127262 c NEW SOLUTION FOUND: -211549 @ 135.7 @ #Dec. 127300 c NEW SOLUTION FOUND: -216177 @ 136.62 @ #Dec. 128155 c NEW SOLUTION FOUND: -216201 @ 137.08 @ #Dec. 128747 c NEW SOLUTION FOUND: -216701 @ 137.11 @ #Dec. 128803 c NEW SOLUTION FOUND: -217632 @ 137.28 @ #Dec. 129086 c NEW SOLUTION FOUND: -217647 @ 137.28 @ #Dec. 129135 c NEW SOLUTION FOUND: -217662 @ 137.29 @ #Dec. 129160 c NEW SOLUTION FOUND: -217677 @ 137.3 @ #Dec. 129190 c NEW SOLUTION FOUND: -217701 @ 137.57 @ #Dec. 129539 c NEW SOLUTION FOUND: -223737 @ 137.72 @ #Dec. 129798 c NEW SOLUTION FOUND: -223836 @ 138 @ #Dec. 130387 c NEW SOLUTION FOUND: -223851 @ 138.01 @ #Dec. 130435 c NEW SOLUTION FOUND: -223866 @ 138.02 @ #Dec. 130472 c NEW SOLUTION FOUND: -223881 @ 138.02 @ #Dec. 130488 c NEW SOLUTION FOUND: -223896 @ 138.03 @ #Dec. 130505 c NEW SOLUTION FOUND: -223911 @ 138.03 @ #Dec. 130516 c NEW SOLUTION FOUND: -223926 @ 138.04 @ #Dec. 130534 c NEW SOLUTION FOUND: -223941 @ 138.04 @ #Dec. 130538 c NEW SOLUTION FOUND: -223986 @ 138.04 @ #Dec. 130568 c NEW SOLUTION FOUND: -224001 @ 138.05 @ #Dec. 130590 c NEW SOLUTION FOUND: -224016 @ 138.05 @ #Dec. 130612 c NEW SOLUTION FOUND: -224031 @ 138.06 @ #Dec. 130633 c NEW SOLUTION FOUND: -224043 @ 138.08 @ #Dec. 130698 c NEW SOLUTION FOUND: -224136 @ 138.19 @ #Dec. 130832 c NEW SOLUTION FOUND: -224151 @ 138.2 @ #Dec. 130865 c NEW SOLUTION FOUND: -224163 @ 138.21 @ #Dec. 130893 c NEW SOLUTION FOUND: -224178 @ 138.71 @ #Dec. 131594 c NEW SOLUTION FOUND: -224190 @ 140.27 @ #Dec. 133154 c Restart #31 #Var: 588 #Dec: 141226 LB: -16515027 @ 148.46 c Restart #32 #Var: 588 #Dec: 148372 LB: -16515027 @ 157.94 c Restart #33 #Var: 588 #Dec: 155614 LB: -16515027 @ 165.28 c NEW SOLUTION FOUND: -3002697 @ 171.44 @ #Dec. 163323 c NEW SOLUTION FOUND: -3002717 @ 171.45 @ #Dec. 163337 c NEW SOLUTION FOUND: -3002727 @ 171.48 @ #Dec. 163400 c NEW SOLUTION FOUND: -3002743 @ 171.48 @ #Dec. 163407 c NEW SOLUTION FOUND: -3002747 @ 171.49 @ #Dec. 163424 c NEW SOLUTION FOUND: -3002763 @ 171.49 @ #Dec. 163430 c NEW SOLUTION FOUND: -3002773 @ 171.49 @ #Dec. 163443 c NEW SOLUTION FOUND: -3002813 @ 171.49 @ #Dec. 163458 c NEW SOLUTION FOUND: -3002877 @ 171.64 @ #Dec. 163496 c NEW SOLUTION FOUND: -3002893 @ 171.64 @ #Dec. 163507 c NEW SOLUTION FOUND: -3002925 @ 171.65 @ #Dec. 163527 c NEW SOLUTION FOUND: -3002957 @ 171.66 @ #Dec. 163535 c NEW SOLUTION FOUND: -3002989 @ 171.66 @ #Dec. 163537 c NEW SOLUTION FOUND: -3003021 @ 171.66 @ #Dec. 163542 c NEW SOLUTION FOUND: -3003053 @ 171.66 @ #Dec. 163542 c NEW SOLUTION FOUND: -3003085 @ 171.67 @ #Dec. 163557 c NEW SOLUTION FOUND: -3003117 @ 171.67 @ #Dec. 163560 c NEW SOLUTION FOUND: -3003133 @ 171.67 @ #Dec. 163578 c NEW SOLUTION FOUND: -3003373 @ 171.68 @ #Dec. 163595 c NEW SOLUTION FOUND: -3003629 @ 171.68 @ #Dec. 163601 c NEW SOLUTION FOUND: -3003661 @ 171.69 @ #Dec. 163610 c NEW SOLUTION FOUND: -3003693 @ 171.69 @ #Dec. 163613 c NEW SOLUTION FOUND: -3003757 @ 171.69 @ #Dec. 163623 c NEW SOLUTION FOUND: -3003773 @ 171.7 @ #Dec. 163642 c NEW SOLUTION FOUND: -3003837 @ 171.71 @ #Dec. 163664 c NEW SOLUTION FOUND: -3003869 @ 171.71 @ #Dec. 163673 c NEW SOLUTION FOUND: -3003901 @ 171.71 @ #Dec. 163676 c NEW SOLUTION FOUND: -3003933 @ 171.71 @ #Dec. 163680 c NEW SOLUTION FOUND: -3003965 @ 171.71 @ #Dec. 163683 c NEW SOLUTION FOUND: -3004061 @ 171.72 @ #Dec. 163699 c NEW SOLUTION FOUND: -3004093 @ 171.72 @ #Dec. 163707 c NEW SOLUTION FOUND: -3004925 @ 171.74 @ #Dec. 163734 c NEW SOLUTION FOUND: -3004957 @ 171.74 @ #Dec. 163737 c NEW SOLUTION FOUND: -3004973 @ 171.74 @ #Dec. 163741 c NEW SOLUTION FOUND: -3005037 @ 171.74 @ #Dec. 163744 c NEW SOLUTION FOUND: -3005213 @ 171.74 @ #Dec. 163750 c NEW SOLUTION FOUND: -3005229 @ 171.75 @ #Dec. 163763 c NEW SOLUTION FOUND: -3005293 @ 171.75 @ #Dec. 163768 c NEW SOLUTION FOUND: -3005313 @ 171.76 @ #Dec. 163777 c NEW SOLUTION FOUND: -3005323 @ 171.76 @ #Dec. 163780 c NEW SOLUTION FOUND: -3006749 @ 171.93 @ #Dec. 163805 c NEW SOLUTION FOUND: -3006829 @ 171.93 @ #Dec. 163813 c NEW SOLUTION FOUND: -3006849 @ 171.93 @ #Dec. 163819 c NEW SOLUTION FOUND: -3006859 @ 171.93 @ #Dec. 163823 c NEW SOLUTION FOUND: -3007389 @ 171.94 @ #Dec. 163833 c NEW SOLUTION FOUND: -3007645 @ 171.94 @ #Dec. 163837 c NEW SOLUTION FOUND: -3007725 @ 171.94 @ #Dec. 163845 c NEW SOLUTION FOUND: -3007741 @ 171.94 @ #Dec. 163850 c NEW SOLUTION FOUND: -3007853 @ 171.94 @ #Dec. 163856 c NEW SOLUTION FOUND: -3007873 @ 171.95 @ #Dec. 163863 c NEW SOLUTION FOUND: -3007883 @ 171.95 @ #Dec. 163866 c NEW SOLUTION FOUND: -3007915 @ 171.96 @ #Dec. 163873 c NEW SOLUTION FOUND: -3007923 @ 172.07 @ #Dec. 163894 c NEW SOLUTION FOUND: -3008131 @ 173.34 @ #Dec. 164562 c NEW SOLUTION FOUND: -3008451 @ 173.36 @ #Dec. 164598 c NEW SOLUTION FOUND: -3008771 @ 173.37 @ #Dec. 164614 c NEW SOLUTION FOUND: -3008911 @ 173.37 @ #Dec. 164622 c NEW SOLUTION FOUND: -3009411 @ 173.38 @ #Dec. 164629 c NEW SOLUTION FOUND: -3009621 @ 173.39 @ #Dec. 164653 c NEW SOLUTION FOUND: -3011267 @ 173.4 @ #Dec. 164682 c NEW SOLUTION FOUND: -3011605 @ 173.41 @ #Dec. 164689 c NEW SOLUTION FOUND: -3011855 @ 173.53 @ #Dec. 164800 c NEW SOLUTION FOUND: -3079901 @ 173.92 @ #Dec. 165122 c NEW SOLUTION FOUND: -3079917 @ 173.92 @ #Dec. 165127 c NEW SOLUTION FOUND: -3080157 @ 173.93 @ #Dec. 165137 c NEW SOLUTION FOUND: -3080165 @ 173.93 @ #Dec. 165139 c NEW SOLUTION FOUND: -3080193 @ 173.94 @ #Dec. 165145 c NEW SOLUTION FOUND: -3080203 @ 173.94 @ #Dec. 165146 c NEW SOLUTION FOUND: -3080211 @ 173.94 @ #Dec. 165150 c NEW SOLUTION FOUND: -3082557 @ 174.5 @ #Dec. 165650 c NEW SOLUTION FOUND: -3082567 @ 174.51 @ #Dec. 165655 c NEW SOLUTION FOUND: -3083933 @ 174.57 @ #Dec. 165731 c NEW SOLUTION FOUND: -3084143 @ 174.57 @ #Dec. 165738 c NEW SOLUTION FOUND: -3186893 @ 175.56 @ #Dec. 166532 c NEW SOLUTION FOUND: -3186947 @ 175.56 @ #Dec. 166537 c NEW SOLUTION FOUND: -3188029 @ 175.64 @ #Dec. 166641 c NEW SOLUTION FOUND: -3188329 @ 175.64 @ #Dec. 166651 c NEW SOLUTION FOUND: -3188339 @ 175.64 @ #Dec. 166660 c NEW SOLUTION FOUND: -3188497 @ 175.67 @ #Dec. 166718 c NEW SOLUTION FOUND: -3188515 @ 175.67 @ #Dec. 166724 c NEW SOLUTION FOUND: -3190863 @ 175.78 @ #Dec. 166852 c NEW SOLUTION FOUND: -3190871 @ 175.87 @ #Dec. 166922 c NEW SOLUTION FOUND: -3192053 @ 175.93 @ #Dec. 167000 c NEW SOLUTION FOUND: -3192375 @ 175.94 @ #Dec. 167013 c NEW SOLUTION FOUND: -3193405 @ 176.06 @ #Dec. 167147 c NEW SOLUTION FOUND: -3193865 @ 176.07 @ #Dec. 167159 c NEW SOLUTION FOUND: -3193875 @ 176.07 @ #Dec. 167168 c NEW SOLUTION FOUND: -3194685 @ 176.13 @ #Dec. 167304 c NEW SOLUTION FOUND: -3194865 @ 176.13 @ #Dec. 167313 c NEW SOLUTION FOUND: -3194875 @ 176.13 @ #Dec. 167319 c NEW SOLUTION FOUND: -3199805 @ 176.71 @ #Dec. 167959 c NEW SOLUTION FOUND: -3200445 @ 176.72 @ #Dec. 167974 c NEW SOLUTION FOUND: -3203645 @ 176.76 @ #Dec. 168027 c NEW SOLUTION FOUND: -3203875 @ 176.76 @ #Dec. 168038 c NEW SOLUTION FOUND: -3204875 @ 176.84 @ #Dec. 168113 c NEW SOLUTION FOUND: -3205375 @ 176.92 @ #Dec. 168194 c NEW SOLUTION FOUND: -3205889 @ 177.11 @ #Dec. 168363 c NEW SOLUTION FOUND: -3205899 @ 177.11 @ #Dec. 168370 c NEW SOLUTION FOUND: -3206339 @ 177.13 @ #Dec. 168407 c NEW SOLUTION FOUND: -3206399 @ 177.38 @ #Dec. 168602 c NEW SOLUTION FOUND: -3206839 @ 177.44 @ #Dec. 168658 c NEW SOLUTION FOUND: -3627709 @ 178.19 @ #Dec. 168853 c NEW SOLUTION FOUND: -3628989 @ 178.32 @ #Dec. 168941 c NEW SOLUTION FOUND: -3629633 @ 178.41 @ #Dec. 168978 c NEW SOLUTION FOUND: -3629643 @ 178.42 @ #Dec. 169000 c NEW SOLUTION FOUND: -3630013 @ 178.71 @ #Dec. 169277 c NEW SOLUTION FOUND: -3630269 @ 178.92 @ #Dec. 169346 c NEW SOLUTION FOUND: -3631293 @ 178.92 @ #Dec. 169359 c NEW SOLUTION FOUND: -3692855 @ 179.31 @ #Dec. 169465 c NEW SOLUTION FOUND: -3693879 @ 179.31 @ #Dec. 169472 c NEW SOLUTION FOUND: -3709239 @ 179.31 @ #Dec. 169489 c NEW SOLUTION FOUND: -3710263 @ 179.32 @ #Dec. 169496 c NEW SOLUTION FOUND: -3710653 @ 179.55 @ #Dec. 169635 c NEW SOLUTION FOUND: -3711533 @ 179.83 @ #Dec. 169722 c NEW SOLUTION FOUND: -3711563 @ 179.84 @ #Dec. 169733 c NEW SOLUTION FOUND: -3713093 @ 180.03 @ #Dec. 169821 c NEW SOLUTION FOUND: -3713193 @ 180.3 @ #Dec. 169940 c NEW SOLUTION FOUND: -3713203 @ 180.33 @ #Dec. 169959 c NEW SOLUTION FOUND: -3713313 @ 180.89 @ #Dec. 170298 c NEW SOLUTION FOUND: -3713373 @ 180.99 @ #Dec. 170364 c NEW SOLUTION FOUND: -3713533 @ 181.01 @ #Dec. 170394 c NEW SOLUTION FOUND: -3713613 @ 181.06 @ #Dec. 170437 c NEW SOLUTION FOUND: -3713633 @ 181.07 @ #Dec. 170453 c NEW SOLUTION FOUND: -3713693 @ 181.13 @ #Dec. 170500 c NEW SOLUTION FOUND: -3713743 @ 181.13 @ #Dec. 170516 c NEW SOLUTION FOUND: -3714653 @ 181.6 @ #Dec. 170778 c NEW SOLUTION FOUND: -3714973 @ 181.6 @ #Dec. 170795 c NEW SOLUTION FOUND: -3715293 @ 181.61 @ #Dec. 170812 c NEW SOLUTION FOUND: -3715523 @ 181.61 @ #Dec. 170828 c NEW SOLUTION FOUND: -3715583 @ 181.84 @ #Dec. 170983 c NEW SOLUTION FOUND: -3715613 @ 181.85 @ #Dec. 171001 c NEW SOLUTION FOUND: -3715773 @ 181.86 @ #Dec. 171017 c NEW SOLUTION FOUND: -3715933 @ 181.87 @ #Dec. 171038 c NEW SOLUTION FOUND: -3716253 @ 181.87 @ #Dec. 171055 c NEW SOLUTION FOUND: -3716413 @ 181.88 @ #Dec. 171072 c NEW SOLUTION FOUND: -3716573 @ 181.89 @ #Dec. 171092 c NEW SOLUTION FOUND: -3716863 @ 181.89 @ #Dec. 171106 c NEW SOLUTION FOUND: -3716973 @ 181.9 @ #Dec. 171127 c NEW SOLUTION FOUND: -3717053 @ 181.91 @ #Dec. 171145 c NEW SOLUTION FOUND: -3717293 @ 181.99 @ #Dec. 171192 c NEW SOLUTION FOUND: -3717373 @ 181.99 @ #Dec. 171207 c NEW SOLUTION FOUND: -3717593 @ 182 @ #Dec. 171226 c NEW SOLUTION FOUND: -3717653 @ 182.15 @ #Dec. 171304 c NEW SOLUTION FOUND: -3717693 @ 182.16 @ #Dec. 171321 c NEW SOLUTION FOUND: -3717813 @ 182.19 @ #Dec. 171353 c NEW SOLUTION FOUND: -3717923 @ 182.22 @ #Dec. 171387 c NEW SOLUTION FOUND: -3718033 @ 182.42 @ #Dec. 171513 c NEW SOLUTION FOUND: -3718143 @ 182.47 @ #Dec. 171549 c NEW SOLUTION FOUND: -3718363 @ 182.51 @ #Dec. 171579 c NEW SOLUTION FOUND: -3718473 @ 182.58 @ #Dec. 171645 c NEW SOLUTION FOUND: -3718583 @ 182.62 @ #Dec. 171683 c NEW SOLUTION FOUND: -3718623 @ 182.68 @ #Dec. 171732 c NEW SOLUTION FOUND: -3718653 @ 182.68 @ #Dec. 171746 c NEW SOLUTION FOUND: -3718683 @ 182.71 @ #Dec. 171784 c NEW SOLUTION FOUND: -3718903 @ 182.78 @ #Dec. 171825 c NEW SOLUTION FOUND: -3718943 @ 182.87 @ #Dec. 171911 c NEW SOLUTION FOUND: -3718973 @ 182.87 @ #Dec. 171926 c NEW SOLUTION FOUND: -3719013 @ 182.94 @ #Dec. 171995 c NEW SOLUTION FOUND: -3719053 @ 182.94 @ #Dec. 172009 c NEW SOLUTION FOUND: -3719103 @ 182.94 @ #Dec. 172023 c NEW SOLUTION FOUND: -3719123 @ 182.95 @ #Dec. 172035 c NEW SOLUTION FOUND: -3719213 @ 182.98 @ #Dec. 172068 c NEW SOLUTION FOUND: -3719233 @ 182.99 @ #Dec. 172082 c NEW SOLUTION FOUND: -3719473 @ 183.17 @ #Dec. 172172 c NEW SOLUTION FOUND: -3719493 @ 183.17 @ #Dec. 172184 c NEW SOLUTION FOUND: -3719533 @ 183.18 @ #Dec. 172197 c NEW SOLUTION FOUND: -3719563 @ 183.25 @ #Dec. 172240 c NEW SOLUTION FOUND: -3719673 @ 183.68 @ #Dec. 172331 c NEW SOLUTION FOUND: -3719933 @ 183.81 @ #Dec. 172437 c NEW SOLUTION FOUND: -3720013 @ 183.81 @ #Dec. 172453 c NEW SOLUTION FOUND: -3720043 @ 183.82 @ #Dec. 172465 c NEW SOLUTION FOUND: -3720173 @ 183.83 @ #Dec. 172484 c NEW SOLUTION FOUND: -3720253 @ 183.84 @ #Dec. 172500 c NEW SOLUTION FOUND: -3720433 @ 183.87 @ #Dec. 172539 c NEW SOLUTION FOUND: -3720573 @ 183.88 @ #Dec. 172561 c NEW SOLUTION FOUND: -3720653 @ 183.89 @ #Dec. 172579 c NEW SOLUTION FOUND: -3720973 @ 183.94 @ #Dec. 172614 c NEW SOLUTION FOUND: -3721213 @ 184.04 @ #Dec. 172676 c NEW SOLUTION FOUND: -3721413 @ 184.05 @ #Dec. 172691 c NEW SOLUTION FOUND: -3721533 @ 184.2 @ #Dec. 172768 c NEW SOLUTION FOUND: -3721563 @ 184.21 @ #Dec. 172784 c NEW SOLUTION FOUND: -3722063 @ 184.23 @ #Dec. 172798 c NEW SOLUTION FOUND: -3722493 @ 184.4 @ #Dec. 172865 c NEW SOLUTION FOUND: -3722613 @ 184.41 @ #Dec. 172880 c NEW SOLUTION FOUND: -3722753 @ 184.47 @ #Dec. 172911 c NEW SOLUTION FOUND: -3722763 @ 184.47 @ #Dec. 172922 c NEW SOLUTION FOUND: -3722813 @ 184.5 @ #Dec. 172944 c NEW SOLUTION FOUND: -3722893 @ 184.51 @ #Dec. 172965 c NEW SOLUTION FOUND: -3722973 @ 184.51 @ #Dec. 172980 c NEW SOLUTION FOUND: -3723133 @ 184.51 @ #Dec. 172995 c NEW SOLUTION FOUND: -3723313 @ 184.52 @ #Dec. 173011 c NEW SOLUTION FOUND: -3723373 @ 184.54 @ #Dec. 173029 c NEW SOLUTION FOUND: -3723453 @ 184.54 @ #Dec. 173043 c NEW SOLUTION FOUND: -3723613 @ 184.58 @ #Dec. 173066 c NEW SOLUTION FOUND: -3723693 @ 184.59 @ #Dec. 173081 c NEW SOLUTION FOUND: -3723773 @ 184.59 @ #Dec. 173095 c NEW SOLUTION FOUND: -3723813 @ 184.59 @ #Dec. 173113 c NEW SOLUTION FOUND: -3723933 @ 184.65 @ #Dec. 173143 c NEW SOLUTION FOUND: -3724093 @ 184.66 @ #Dec. 173158 c NEW SOLUTION FOUND: -3724243 @ 184.7 @ #Dec. 173185 c NEW SOLUTION FOUND: -3730717 @ 185.13 @ #Dec. 173330 c NEW SOLUTION FOUND: -3734813 @ 185.13 @ #Dec. 173339 c NEW SOLUTION FOUND: -3735837 @ 185.14 @ #Dec. 173346 c NEW SOLUTION FOUND: -3736317 @ 185.14 @ #Dec. 173351 c NEW SOLUTION FOUND: -3736337 @ 185.14 @ #Dec. 173363 c NEW SOLUTION FOUND: -3736593 @ 185.15 @ #Dec. 173368 c NEW SOLUTION FOUND: -3736817 @ 185.15 @ #Dec. 173372 c NEW SOLUTION FOUND: -3736847 @ 185.23 @ #Dec. 173473 c NEW SOLUTION FOUND: -3736903 @ 185.23 @ #Dec. 173475 c NEW SOLUTION FOUND: -3737347 @ 185.24 @ #Dec. 173490 c NEW SOLUTION FOUND: -3737403 @ 185.24 @ #Dec. 173492 c NEW SOLUTION FOUND: -3737605 @ 185.25 @ #Dec. 173515 c NEW SOLUTION FOUND: -3737907 @ 185.31 @ #Dec. 173572 c NEW SOLUTION FOUND: -3738183 @ 185.34 @ #Dec. 173601 c NEW SOLUTION FOUND: -3738201 @ 185.35 @ #Dec. 173618 c NEW SOLUTION FOUND: -3738289 @ 185.4 @ #Dec. 173690 c NEW SOLUTION FOUND: -3738353 @ 185.4 @ #Dec. 173693 c NEW SOLUTION FOUND: -3738433 @ 185.4 @ #Dec. 173699 c NEW SOLUTION FOUND: -3738451 @ 185.41 @ #Dec. 173722 c NEW SOLUTION FOUND: -3744459 @ 185.56 @ #Dec. 173848 c NEW SOLUTION FOUND: -3744523 @ 185.56 @ #Dec. 173851 c NEW SOLUTION FOUND: -3744539 @ 185.56 @ #Dec. 173854 c NEW SOLUTION FOUND: -3744549 @ 185.57 @ #Dec. 173857 c NEW SOLUTION FOUND: -3744557 @ 185.57 @ #Dec. 173857 c NEW SOLUTION FOUND: -3745039 @ 185.58 @ #Dec. 173872 c NEW SOLUTION FOUND: -3745057 @ 185.59 @ #Dec. 173879 c NEW SOLUTION FOUND: -3745289 @ 185.63 @ #Dec. 173914 c NEW SOLUTION FOUND: -3745299 @ 185.63 @ #Dec. 173921 c NEW SOLUTION FOUND: -3745307 @ 185.63 @ #Dec. 173921 c NEW SOLUTION FOUND: -3750387 @ 185.92 @ #Dec. 174016 c NEW SOLUTION FOUND: -3750887 @ 185.92 @ #Dec. 174027 c NEW SOLUTION FOUND: -3751137 @ 185.98 @ #Dec. 174060 c NEW SOLUTION FOUND: -3751229 @ 186.02 @ #Dec. 174084 c NEW SOLUTION FOUND: -3751467 @ 186.07 @ #Dec. 174122 c NEW SOLUTION FOUND: -3753039 @ 188.89 @ #Dec. 174630 c NEW SOLUTION FOUND: -3753539 @ 188.96 @ #Dec. 174695 c NEW SOLUTION FOUND: -3753729 @ 189.09 @ #Dec. 174820 c NEW SOLUTION FOUND: -3753789 @ 189.22 @ #Dec. 174950 c NEW SOLUTION FOUND: -3756945 @ 189.36 @ #Dec. 175111 c NEW SOLUTION FOUND: -3756965 @ 189.36 @ #Dec. 175119 c NEW SOLUTION FOUND: -3757445 @ 189.36 @ #Dec. 175127 c NEW SOLUTION FOUND: -3757465 @ 189.36 @ #Dec. 175134 c NEW SOLUTION FOUND: -3758143 @ 189.38 @ #Dec. 175153 c NEW SOLUTION FOUND: -3758893 @ 189.39 @ #Dec. 175165 c NEW SOLUTION FOUND: -3758975 @ 189.4 @ #Dec. 175185 c NEW SOLUTION FOUND: -3759003 @ 189.4 @ #Dec. 175187 c NEW SOLUTION FOUND: -3759027 @ 189.49 @ #Dec. 175229 c NEW SOLUTION FOUND: -3759277 @ 189.5 @ #Dec. 175244 c NEW SOLUTION FOUND: -3759699 @ 190.97 @ #Dec. 175390 c NEW SOLUTION FOUND: -3759701 @ 207.35 @ #Dec. 176966 c NEW SOLUTION FOUND: -3759834 @ 210.66 @ #Dec. 177197 c NEW SOLUTION FOUND: -3759849 @ 210.66 @ #Dec. 177197 c NEW SOLUTION FOUND: -3759864 @ 210.66 @ #Dec. 177198 c NEW SOLUTION FOUND: -3759879 @ 210.67 @ #Dec. 177198 c NEW SOLUTION FOUND: -3759909 @ 210.67 @ #Dec. 177200 c NEW SOLUTION FOUND: -3759939 @ 210.67 @ #Dec. 177201 c NEW SOLUTION FOUND: -3760084 @ 214.16 @ #Dec. 177655 c NEW SOLUTION FOUND: -3760099 @ 214.16 @ #Dec. 177657 c NEW SOLUTION FOUND: -3760114 @ 214.16 @ #Dec. 177661 c NEW SOLUTION FOUND: -3760129 @ 214.16 @ #Dec. 177664 c NEW SOLUTION FOUND: -3760130 @ 214.23 @ #Dec. 177679 c NEW SOLUTION FOUND: -3760145 @ 214.24 @ #Dec. 177688 c NEW SOLUTION FOUND: -3760257 @ 214.31 @ #Dec. 177700 c NEW SOLUTION FOUND: -3760679 @ 214.64 @ #Dec. 177716 c NEW SOLUTION FOUND: -3760917 @ 215.86 @ #Dec. 177843 c NEW SOLUTION FOUND: -3761155 @ 217.48 @ #Dec. 177963 c NEW SOLUTION FOUND: -3761209 @ 219.23 @ #Dec. 178148 c NEW SOLUTION FOUND: -3761391 @ 219.9 @ #Dec. 178177 c NEW SOLUTION FOUND: -3761526 @ 220.22 @ #Dec. 178201 c NEW SOLUTION FOUND: -3761541 @ 220.22 @ #Dec. 178201 c NEW SOLUTION FOUND: -3761556 @ 220.22 @ #Dec. 178202 c NEW SOLUTION FOUND: -3761571 @ 220.22 @ #Dec. 178202 c NEW SOLUTION FOUND: -3761586 @ 220.23 @ #Dec. 178204 c NEW SOLUTION FOUND: -3761601 @ 220.23 @ #Dec. 178204 c NEW SOLUTION FOUND: -3761631 @ 220.23 @ #Dec. 178205 c NEW SOLUTION FOUND: -3761764 @ 223.57 @ #Dec. 178463 c NEW SOLUTION FOUND: -3761779 @ 223.57 @ #Dec. 178463 c NEW SOLUTION FOUND: -3761794 @ 223.57 @ #Dec. 178464 c NEW SOLUTION FOUND: -3761809 @ 223.57 @ #Dec. 178464 c NEW SOLUTION FOUND: -3761824 @ 223.57 @ #Dec. 178466 c NEW SOLUTION FOUND: -3761839 @ 223.58 @ #Dec. 178466 c NEW SOLUTION FOUND: -3761869 @ 223.58 @ #Dec. 178467 c NEW SOLUTION FOUND: -3762047 @ 225.9 @ #Dec. 178603 c NEW SOLUTION FOUND: -3762107 @ 225.9 @ #Dec. 178605 c NEW SOLUTION FOUND: -3762161 @ 228.95 @ #Dec. 178781 c NEW SOLUTION FOUND: -3762283 @ 229.01 @ #Dec. 178799 c NEW SOLUTION FOUND: -3762313 @ 229.02 @ #Dec. 178801 c NEW SOLUTION FOUND: -3762343 @ 229.02 @ #Dec. 178802 c NEW SOLUTION FOUND: -3762493 @ 229.07 @ #Dec. 178820 c NEW SOLUTION FOUND: -3762523 @ 229.07 @ #Dec. 178821 c NEW SOLUTION FOUND: -3762553 @ 229.07 @ #Dec. 178823 c NEW SOLUTION FOUND: -3762583 @ 229.07 @ #Dec. 178824 c NEW SOLUTION FOUND: -3762607 @ 230.21 @ #Dec. 178943 c NEW SOLUTION FOUND: -3762637 @ 230.22 @ #Dec. 178947 c NEW SOLUTION FOUND: -3763059 @ 230.34 @ #Dec. 178961 c NEW SOLUTION FOUND: -3764741 @ 240.39 @ #Dec. 179905 c NEW SOLUTION FOUND: -3764961 @ 240.68 @ #Dec. 179970 c NEW SOLUTION FOUND: -3765035 @ 240.81 @ #Dec. 180002 c NEW SOLUTION FOUND: -3765111 @ 240.97 @ #Dec. 180091 c NEW SOLUTION FOUND: -3765121 @ 240.97 @ #Dec. 180099 c NEW SOLUTION FOUND: -3765401 @ 241.11 @ #Dec. 180145 c NEW SOLUTION FOUND: -3765467 @ 241.12 @ #Dec. 180165 c NEW SOLUTION FOUND: -3765539 @ 241.18 @ #Dec. 180182 c NEW SOLUTION FOUND: -3766043 @ 241.34 @ #Dec. 180228 c NEW SOLUTION FOUND: -3767261 @ 241.49 @ #Dec. 180263 c NEW SOLUTION FOUND: -3767401 @ 241.54 @ #Dec. 180296 c NEW SOLUTION FOUND: -3767451 @ 241.61 @ #Dec. 180335 c NEW SOLUTION FOUND: -3768075 @ 241.7 @ #Dec. 180371 c NEW SOLUTION FOUND: -3768155 @ 241.72 @ #Dec. 180388 c NEW SOLUTION FOUND: -3768555 @ 241.76 @ #Dec. 180405 c NEW SOLUTION FOUND: -3768931 @ 241.85 @ #Dec. 180436 c NEW SOLUTION FOUND: -3768967 @ 241.86 @ #Dec. 180445 c NEW SOLUTION FOUND: -3768977 @ 241.86 @ #Dec. 180446 c NEW SOLUTION FOUND: -3769059 @ 241.88 @ #Dec. 180459 c NEW SOLUTION FOUND: -3770779 @ 241.97 @ #Dec. 180505 c NEW SOLUTION FOUND: -3771035 @ 242.01 @ #Dec. 180529 c NEW SOLUTION FOUND: -3771067 @ 242.06 @ #Dec. 180547 c NEW SOLUTION FOUND: -3772939 @ 242.27 @ #Dec. 180600 c NEW SOLUTION FOUND: -3772959 @ 242.29 @ #Dec. 180612 c NEW SOLUTION FOUND: -3772969 @ 242.29 @ #Dec. 180619 c NEW SOLUTION FOUND: -3773963 @ 242.32 @ #Dec. 180635 c NEW SOLUTION FOUND: -3773993 @ 242.32 @ #Dec. 180641 c NEW SOLUTION FOUND: -3774513 @ 242.33 @ #Dec. 180641 c NEW SOLUTION FOUND: -3774591 @ 242.95 @ #Dec. 180782 c NEW SOLUTION FOUND: -3774607 @ 243.05 @ #Dec. 180829 c NEW SOLUTION FOUND: -3774622 @ 243.07 @ #Dec. 180855 c NEW SOLUTION FOUND: -3774637 @ 243.13 @ #Dec. 180869 c NEW SOLUTION FOUND: -3774687 @ 243.17 @ #Dec. 180892 c NEW SOLUTION FOUND: -3774702 @ 243.2 @ #Dec. 180904 c NEW SOLUTION FOUND: -3774717 @ 243.22 @ #Dec. 180912 c NEW SOLUTION FOUND: -3774799 @ 243.24 @ #Dec. 180922 c NEW SOLUTION FOUND: -3774814 @ 243.26 @ #Dec. 180933 c NEW SOLUTION FOUND: -3774829 @ 243.27 @ #Dec. 180943 c NEW SOLUTION FOUND: -3775013 @ 243.48 @ #Dec. 181008 c NEW SOLUTION FOUND: -3775221 @ 243.56 @ #Dec. 181027 c NEW SOLUTION FOUND: -3775236 @ 243.56 @ #Dec. 181028 c NEW SOLUTION FOUND: -3775251 @ 243.56 @ #Dec. 181028 c NEW SOLUTION FOUND: -3775652 @ 244.68 @ #Dec. 181196 c NEW SOLUTION FOUND: -3775667 @ 244.68 @ #Dec. 181196 c NEW SOLUTION FOUND: -3775682 @ 244.7 @ #Dec. 181200 c NEW SOLUTION FOUND: -3775697 @ 244.7 @ #Dec. 181200 c NEW SOLUTION FOUND: -3775712 @ 244.7 @ #Dec. 181201 c NEW SOLUTION FOUND: -3775727 @ 244.7 @ #Dec. 181201 c NEW SOLUTION FOUND: -3775875 @ 246.59 @ #Dec. 181580 c NEW SOLUTION FOUND: -3775890 @ 246.59 @ #Dec. 181581 c NEW SOLUTION FOUND: -3775905 @ 246.59 @ #Dec. 181581 c NEW SOLUTION FOUND: -3775920 @ 246.61 @ #Dec. 181587 c NEW SOLUTION FOUND: -3775935 @ 246.61 @ #Dec. 181587 c NEW SOLUTION FOUND: -3775965 @ 246.61 @ #Dec. 181588 c NEW SOLUTION FOUND: -3776113 @ 246.83 @ #Dec. 181643 c NEW SOLUTION FOUND: -3776143 @ 246.83 @ #Dec. 181644 c NEW SOLUTION FOUND: -3776173 @ 246.85 @ #Dec. 181649 c NEW SOLUTION FOUND: -3776203 @ 246.85 @ #Dec. 181650 c NEW SOLUTION FOUND: -3776209 @ 247.91 @ #Dec. 181864 c NEW SOLUTION FOUND: -3776257 @ 247.93 @ #Dec. 181871 c NEW SOLUTION FOUND: -3776559 @ 248.02 @ #Dec. 181882 c NEW SOLUTION FOUND: -3776619 @ 248.05 @ #Dec. 181898 c NEW SOLUTION FOUND: -3776679 @ 248.07 @ #Dec. 181903 c NEW SOLUTION FOUND: -3776857 @ 248.76 @ #Dec. 182063 c NEW SOLUTION FOUND: -3776917 @ 248.77 @ #Dec. 182066 c NEW SOLUTION FOUND: -3777155 @ 249.4 @ #Dec. 182181 c NEW SOLUTION FOUND: -3777163 @ 251.59 @ #Dec. 182572 c NEW SOLUTION FOUND: -3777164 @ 251.59 @ #Dec. 182575 c NEW SOLUTION FOUND: -3777179 @ 251.59 @ #Dec. 182577 c NEW SOLUTION FOUND: -3777209 @ 251.63 @ #Dec. 182591 c NEW SOLUTION FOUND: -3777391 @ 251.73 @ #Dec. 182600 c NEW SOLUTION FOUND: -3777556 @ 251.77 @ #Dec. 182619 c NEW SOLUTION FOUND: -3777571 @ 251.77 @ #Dec. 182620 c NEW SOLUTION FOUND: -3777631 @ 251.77 @ #Dec. 182623 c NEW SOLUTION FOUND: -3777867 @ 252.51 @ #Dec. 182754 c NEW SOLUTION FOUND: -3778107 @ 252.55 @ #Dec. 182774 c NEW SOLUTION FOUND: -3778141 @ 255.31 @ #Dec. 183152 c NEW SOLUTION FOUND: -3778173 @ 255.32 @ #Dec. 183158 c NEW SOLUTION FOUND: -3778189 @ 255.33 @ #Dec. 183162 c NEW SOLUTION FOUND: -3778219 @ 255.34 @ #Dec. 183172 c NEW SOLUTION FOUND: -3778263 @ 255.37 @ #Dec. 183190 c NEW SOLUTION FOUND: -3778279 @ 255.38 @ #Dec. 183200 c NEW SOLUTION FOUND: -3778287 @ 255.43 @ #Dec. 183217 c NEW SOLUTION FOUND: -3778351 @ 255.48 @ #Dec. 183232 c NEW SOLUTION FOUND: -3778383 @ 255.52 @ #Dec. 183245 c NEW SOLUTION FOUND: -3778399 @ 255.53 @ #Dec. 183253 c NEW SOLUTION FOUND: -3778821 @ 255.6 @ #Dec. 183269 c NEW SOLUTION FOUND: -3779059 @ 256.18 @ #Dec. 183402 c NEW SOLUTION FOUND: -3779221 @ 258.81 @ #Dec. 183879 c NEW SOLUTION FOUND: -3779236 @ 258.81 @ #Dec. 183880 c NEW SOLUTION FOUND: -3779251 @ 258.81 @ #Dec. 183880 c NEW SOLUTION FOUND: -3779979 @ 260.12 @ #Dec. 184156 c NEW SOLUTION FOUND: -3779999 @ 260.12 @ #Dec. 184162 c NEW SOLUTION FOUND: -3780009 @ 260.12 @ #Dec. 184167 c NEW SOLUTION FOUND: -3780024 @ 260.13 @ #Dec. 184177 c NEW SOLUTION FOUND: -3780029 @ 260.14 @ #Dec. 184184 c NEW SOLUTION FOUND: -3780039 @ 260.14 @ #Dec. 184190 c NEW SOLUTION FOUND: -3780529 @ 260.15 @ #Dec. 184192 c NEW SOLUTION FOUND: -3780544 @ 260.15 @ #Dec. 184193 c NEW SOLUTION FOUND: -3780559 @ 260.15 @ #Dec. 184193 c NEW SOLUTION FOUND: -3780574 @ 260.17 @ #Dec. 184210 c NEW SOLUTION FOUND: -3780589 @ 260.17 @ #Dec. 184210 c NEW SOLUTION FOUND: -3780604 @ 260.17 @ #Dec. 184211 c NEW SOLUTION FOUND: -3780619 @ 260.17 @ #Dec. 184211 c NEW SOLUTION FOUND: -3780679 @ 260.19 @ #Dec. 184230 c NEW SOLUTION FOUND: -3780857 @ 260.81 @ #Dec. 184371 c NEW SOLUTION FOUND: -3780917 @ 260.82 @ #Dec. 184375 c NEW SOLUTION FOUND: -3781095 @ 261.34 @ #Dec. 184485 c NEW SOLUTION FOUND: -3781155 @ 261.35 @ #Dec. 184489 c NEW SOLUTION FOUND: -3781193 @ 262.04 @ #Dec. 184676 c NEW SOLUTION FOUND: -3781209 @ 262.06 @ #Dec. 184686 c NEW SOLUTION FOUND: -3781391 @ 262.22 @ #Dec. 184697 c NEW SOLUTION FOUND: -3781631 @ 262.24 @ #Dec. 184712 c NEW SOLUTION FOUND: -3781869 @ 262.76 @ #Dec. 184822 c NEW SOLUTION FOUND: -3782107 @ 263.28 @ #Dec. 184923 c NEW SOLUTION FOUND: -3782129 @ 264.49 @ #Dec. 185148 c NEW SOLUTION FOUND: -3782143 @ 264.5 @ #Dec. 185160 c NEW SOLUTION FOUND: -3782159 @ 264.52 @ #Dec. 185169 c NEW SOLUTION FOUND: -3782167 @ 264.55 @ #Dec. 185188 c NEW SOLUTION FOUND: -3782231 @ 264.56 @ #Dec. 185198 c NEW SOLUTION FOUND: -3782263 @ 264.57 @ #Dec. 185207 c NEW SOLUTION FOUND: -3782279 @ 264.57 @ #Dec. 185213 c NEW SOLUTION FOUND: -3782287 @ 264.6 @ #Dec. 185228 c NEW SOLUTION FOUND: -3782399 @ 264.62 @ #Dec. 185240 c NEW SOLUTION FOUND: -3782821 @ 264.7 @ #Dec. 185262 c NEW SOLUTION FOUND: -3783059 @ 265.26 @ #Dec. 185368 c NEW SOLUTION FOUND: -3783145 @ 267.36 @ #Dec. 185752 c NEW SOLUTION FOUND: -3783175 @ 267.42 @ #Dec. 185776 c NEW SOLUTION FOUND: -3783265 @ 267.43 @ #Dec. 185793 c NEW SOLUTION FOUND: -3783285 @ 267.43 @ #Dec. 185803 c NEW SOLUTION FOUND: -3783295 @ 267.44 @ #Dec. 185812 c NEW SOLUTION FOUND: -3783385 @ 267.45 @ #Dec. 185828 c NEW SOLUTION FOUND: -3783415 @ 267.47 @ #Dec. 185848 c NEW SOLUTION FOUND: -3783623 @ 267.62 @ #Dec. 185903 c NEW SOLUTION FOUND: -3783653 @ 267.64 @ #Dec. 185924 c NEW SOLUTION FOUND: -3783671 @ 267.76 @ #Dec. 185963 c NEW SOLUTION FOUND: -3783751 @ 267.8 @ #Dec. 185982 c NEW SOLUTION FOUND: -3783781 @ 267.84 @ #Dec. 186008 c NEW SOLUTION FOUND: -3783861 @ 267.87 @ #Dec. 186034 c NEW SOLUTION FOUND: -3783881 @ 267.87 @ #Dec. 186050 c NEW SOLUTION FOUND: -3783891 @ 267.88 @ #Dec. 186065 c NEW SOLUTION FOUND: -3783907 @ 268.02 @ #Dec. 186110 c NEW SOLUTION FOUND: -3784097 @ 268.06 @ #Dec. 186136 c NEW SOLUTION FOUND: -3784337 @ 268.12 @ #Dec. 186158 c NEW SOLUTION FOUND: -3784367 @ 268.14 @ #Dec. 186177 c NEW SOLUTION FOUND: -3784575 @ 268.28 @ #Dec. 186215 c NEW SOLUTION FOUND: -3784595 @ 268.3 @ #Dec. 186235 c NEW SOLUTION FOUND: -3784605 @ 268.31 @ #Dec. 186248 c NEW SOLUTION FOUND: -3784813 @ 268.44 @ #Dec. 186281 c NEW SOLUTION FOUND: -3784843 @ 268.46 @ #Dec. 186300 c NEW SOLUTION FOUND: -3784859 @ 283.56 @ #Dec. 187681 c NEW SOLUTION FOUND: -3784923 @ 283.61 @ #Dec. 187716 c NEW SOLUTION FOUND: -3784951 @ 283.62 @ #Dec. 187731 c NEW SOLUTION FOUND: -3784969 @ 283.63 @ #Dec. 187734 c NEW SOLUTION FOUND: -3785003 @ 283.87 @ #Dec. 187822 c NEW SOLUTION FOUND: -3785051 @ 283.94 @ #Dec. 187852 c NEW SOLUTION FOUND: -3788891 @ 284.1 @ #Dec. 187984 c NEW SOLUTION FOUND: -3788947 @ 284.1 @ #Dec. 187990 c NEW SOLUTION FOUND: -3788985 @ 284.19 @ #Dec. 188050 c NEW SOLUTION FOUND: -3788993 @ 284.19 @ #Dec. 188050 c NEW SOLUTION FOUND: -3789067 @ 284.2 @ #Dec. 188058 c NEW SOLUTION FOUND: -3789979 @ 284.42 @ #Dec. 188252 c NEW SOLUTION FOUND: -3790059 @ 284.42 @ #Dec. 188263 c NEW SOLUTION FOUND: -3790955 @ 284.43 @ #Dec. 188275 c NEW SOLUTION FOUND: -3791083 @ 284.43 @ #Dec. 188286 c NEW SOLUTION FOUND: -3791111 @ 284.52 @ #Dec. 188308 c NEW SOLUTION FOUND: -3791129 @ 284.53 @ #Dec. 188309 c NEW SOLUTION FOUND: -3791303 @ 284.66 @ #Dec. 188429 c NEW SOLUTION FOUND: -3792513 @ 284.73 @ #Dec. 188463 c NEW SOLUTION FOUND: -3792783 @ 287.18 @ #Dec. 188856 c NEW SOLUTION FOUND: -3792813 @ 287.18 @ #Dec. 188861 c NEW SOLUTION FOUND: -3792849 @ 287.2 @ #Dec. 188874 c NEW SOLUTION FOUND: -3792969 @ 287.68 @ #Dec. 188982 c NEW SOLUTION FOUND: -3794505 @ 287.69 @ #Dec. 188994 c NEW SOLUTION FOUND: -3794513 @ 287.69 @ #Dec. 188995 c NEW SOLUTION FOUND: -3794829 @ 287.99 @ #Dec. 189075 c NEW SOLUTION FOUND: -3794903 @ 288.08 @ #Dec. 189130 c NEW SOLUTION FOUND: -3795013 @ 288.19 @ #Dec. 189157 c NEW SOLUTION FOUND: -3795251 @ 288.24 @ #Dec. 189191 c NEW SOLUTION FOUND: -3795257 @ 289.21 @ #Dec. 189400 c NEW SOLUTION FOUND: -3795305 @ 289.21 @ #Dec. 189404 c NEW SOLUTION FOUND: -3795319 @ 289.55 @ #Dec. 189469 c NEW SOLUTION FOUND: -3795379 @ 289.55 @ #Dec. 189471 c NEW SOLUTION FOUND: -3795667 @ 289.62 @ #Dec. 189499 c NEW SOLUTION FOUND: -3795727 @ 289.63 @ #Dec. 189501 c NEW SOLUTION FOUND: -3795751 @ 290.93 @ #Dec. 189860 c NEW SOLUTION FOUND: -3795781 @ 290.93 @ #Dec. 189862 c NEW SOLUTION FOUND: -3795875 @ 291.22 @ #Dec. 189895 c NEW SOLUTION FOUND: -3795905 @ 291.22 @ #Dec. 189896 c NEW SOLUTION FOUND: -3795965 @ 291.22 @ #Dec. 189898 c NEW SOLUTION FOUND: -3796143 @ 291.39 @ #Dec. 189930 c NEW SOLUTION FOUND: -3796203 @ 291.39 @ #Dec. 189932 c NEW SOLUTION FOUND: -3796209 @ 291.98 @ #Dec. 190093 c NEW SOLUTION FOUND: -3796241 @ 292 @ #Dec. 190104 c NEW SOLUTION FOUND: -3796257 @ 292.02 @ #Dec. 190111 c NEW SOLUTION FOUND: -3796513 @ 292.19 @ #Dec. 190136 c NEW SOLUTION FOUND: -3796633 @ 292.23 @ #Dec. 190170 c NEW SOLUTION FOUND: -3796679 @ 292.28 @ #Dec. 190200 c NEW SOLUTION FOUND: -3796797 @ 292.85 @ #Dec. 190306 c NEW SOLUTION FOUND: -3796917 @ 292.86 @ #Dec. 190310 c NEW SOLUTION FOUND: -3796943 @ 293.48 @ #Dec. 190459 c NEW SOLUTION FOUND: -3796989 @ 293.49 @ #Dec. 190472 c NEW SOLUTION FOUND: -3797109 @ 293.5 @ #Dec. 190500 c NEW SOLUTION FOUND: -3797155 @ 293.55 @ #Dec. 190525 c NEW SOLUTION FOUND: -3797209 @ 295.31 @ #Dec. 190881 c NEW SOLUTION FOUND: -3797391 @ 295.46 @ #Dec. 190910 c NEW SOLUTION FOUND: -3797631 @ 295.47 @ #Dec. 190918 c NEW SOLUTION FOUND: -3797664 @ 296.15 @ #Dec. 191093 c NEW SOLUTION FOUND: -3797679 @ 296.15 @ #Dec. 191093 c NEW SOLUTION FOUND: -3797709 @ 296.15 @ #Dec. 191095 c NEW SOLUTION FOUND: -3797769 @ 296.15 @ #Dec. 191098 c NEW SOLUTION FOUND: -3797777 @ 296.15 @ #Dec. 191105 c NEW SOLUTION FOUND: -3797823 @ 296.16 @ #Dec. 191119 c NEW SOLUTION FOUND: -3797869 @ 296.19 @ #Dec. 191156 c NEW SOLUTION FOUND: -3798107 @ 296.54 @ #Dec. 191242 c NEW SOLUTION FOUND: -3798119 @ 300.45 @ #Dec. 191630 c NEW SOLUTION FOUND: -3798149 @ 300.45 @ #Dec. 191637 c NEW SOLUTION FOUND: -3798179 @ 300.45 @ #Dec. 191649 c NEW SOLUTION FOUND: -3798209 @ 300.45 @ #Dec. 191656 c NEW SOLUTION FOUND: -3798239 @ 300.45 @ #Dec. 191667 c NEW SOLUTION FOUND: -3798269 @ 300.46 @ #Dec. 191677 c NEW SOLUTION FOUND: -3798283 @ 300.5 @ #Dec. 191694 c NEW SOLUTION FOUND: -3798295 @ 300.5 @ #Dec. 191701 c NEW SOLUTION FOUND: -3798343 @ 300.5 @ #Dec. 191705 c NEW SOLUTION FOUND: -3798415 @ 300.51 @ #Dec. 191713 c NEW SOLUTION FOUND: -3798447 @ 300.51 @ #Dec. 191718 c NEW SOLUTION FOUND: -3798463 @ 300.51 @ #Dec. 191722 c NEW SOLUTION FOUND: -3798509 @ 300.54 @ #Dec. 191740 c NEW SOLUTION FOUND: -3798637 @ 300.57 @ #Dec. 191757 c NEW SOLUTION FOUND: -3799059 @ 300.75 @ #Dec. 191800 c NEW SOLUTION FOUND: -3800043 @ 304.64 @ #Dec. 192439 c NEW SOLUTION FOUND: -3800245 @ 304.68 @ #Dec. 192449 c NEW SOLUTION FOUND: -3800263 @ 304.68 @ #Dec. 192453 c NEW SOLUTION FOUND: -3800281 @ 304.68 @ #Dec. 192456 c NEW SOLUTION FOUND: -3800283 @ 304.74 @ #Dec. 192481 c NEW SOLUTION FOUND: -3800419 @ 304.76 @ #Dec. 192490 c NEW SOLUTION FOUND: -3800547 @ 304.81 @ #Dec. 192511 c NEW SOLUTION FOUND: -3800749 @ 304.84 @ #Dec. 192530 c NEW SOLUTION FOUND: -3802043 @ 305.03 @ #Dec. 192593 c NEW SOLUTION FOUND: -3802493 @ 305.09 @ #Dec. 192613 c NEW SOLUTION FOUND: -3802749 @ 305.11 @ #Dec. 192622 c NEW SOLUTION FOUND: -3802831 @ 305.28 @ #Dec. 192673 c NEW SOLUTION FOUND: -3802841 @ 305.29 @ #Dec. 192678 c NEW SOLUTION FOUND: -3803051 @ 305.38 @ #Dec. 192709 c NEW SOLUTION FOUND: -3804773 @ 305.46 @ #Dec. 192753 c NEW SOLUTION FOUND: -3805067 @ 305.6 @ #Dec. 192802 c NEW SOLUTION FOUND: -3805967 @ 305.66 @ #Dec. 192839 c NEW SOLUTION FOUND: -3805983 @ 305.68 @ #Dec. 192844 c NEW SOLUTION FOUND: -3806001 @ 305.69 @ #Dec. 192850 c NEW SOLUTION FOUND: -3806075 @ 305.77 @ #Dec. 192876 c NEW SOLUTION FOUND: -3808075 @ 305.82 @ #Dec. 192891 c NEW SOLUTION FOUND: -3808091 @ 305.84 @ #Dec. 192896 c NEW SOLUTION FOUND: -3808467 @ 305.92 @ #Dec. 192925 c NEW SOLUTION FOUND: -3808513 @ 305.94 @ #Dec. 192942 c NEW SOLUTION FOUND: -3808699 @ 306.24 @ #Dec. 193057 c NEW SOLUTION FOUND: -3808939 @ 306.3 @ #Dec. 193077 c NEW SOLUTION FOUND: -3808969 @ 306.32 @ #Dec. 193089 c NEW SOLUTION FOUND: -3809083 @ 306.39 @ #Dec. 193114 c NEW SOLUTION FOUND: -3810075 @ 306.45 @ #Dec. 193129 c NEW SOLUTION FOUND: -3810091 @ 306.47 @ #Dec. 193134 c NEW SOLUTION FOUND: -3810467 @ 306.51 @ #Dec. 193148 c NEW SOLUTION FOUND: -3810513 @ 306.53 @ #Dec. 193163 c NEW SOLUTION FOUND: -3810783 @ 307.52 @ #Dec. 193342 c NEW SOLUTION FOUND: -3810798 @ 307.52 @ #Dec. 193344 c NEW SOLUTION FOUND: -3810813 @ 307.52 @ #Dec. 193345 c NEW SOLUTION FOUND: -3810814 @ 307.52 @ #Dec. 193354 c NEW SOLUTION FOUND: -3810829 @ 307.52 @ #Dec. 193355 c NEW SOLUTION FOUND: -3811251 @ 307.61 @ #Dec. 193367 c NEW SOLUTION FOUND: -3811257 @ 308.99 @ #Dec. 193642 c NEW SOLUTION FOUND: -3811305 @ 309.01 @ #Dec. 193652 c NEW SOLUTION FOUND: -3811667 @ 309.07 @ #Dec. 193659 c NEW SOLUTION FOUND: -3811727 @ 309.07 @ #Dec. 193661 c NEW SOLUTION FOUND: -3812143 @ 309.92 @ #Dec. 193801 c NEW SOLUTION FOUND: -3812203 @ 309.92 @ #Dec. 193803 c NEW SOLUTION FOUND: -3812257 @ 310.73 @ #Dec. 193974 c NEW SOLUTION FOUND: -3812559 @ 310.81 @ #Dec. 193988 c NEW SOLUTION FOUND: -3812619 @ 310.86 @ #Dec. 194002 c NEW SOLUTION FOUND: -3812679 @ 310.86 @ #Dec. 194004 c NEW SOLUTION FOUND: -3812685 @ 312.15 @ #Dec. 194284 c NEW SOLUTION FOUND: -3812717 @ 312.17 @ #Dec. 194293 c NEW SOLUTION FOUND: -3812733 @ 312.19 @ #Dec. 194299 c NEW SOLUTION FOUND: -3813095 @ 312.25 @ #Dec. 194310 c NEW SOLUTION FOUND: -3813155 @ 312.25 @ #Dec. 194313 c NEW SOLUTION FOUND: -3813391 @ 312.81 @ #Dec. 194429 c NEW SOLUTION FOUND: -3813406 @ 312.83 @ #Dec. 194440 c NEW SOLUTION FOUND: -3813421 @ 312.83 @ #Dec. 194440 c NEW SOLUTION FOUND: -3813451 @ 312.83 @ #Dec. 194441 c NEW SOLUTION FOUND: -3813511 @ 312.83 @ #Dec. 194443 c NEW SOLUTION FOUND: -3813631 @ 312.86 @ #Dec. 194451 c NEW SOLUTION FOUND: -3813779 @ 314.17 @ #Dec. 194671 c NEW SOLUTION FOUND: -3813809 @ 314.17 @ #Dec. 194672 c NEW SOLUTION FOUND: -3813839 @ 314.17 @ #Dec. 194675 c NEW SOLUTION FOUND: -3813869 @ 314.17 @ #Dec. 194677 c NEW SOLUTION FOUND: -3814107 @ 314.81 @ #Dec. 194801 c NEW SOLUTION FOUND: -3814161 @ 315.58 @ #Dec. 194935 c NEW SOLUTION FOUND: -3814583 @ 315.68 @ #Dec. 194956 c NEW SOLUTION FOUND: -3814821 @ 316.06 @ #Dec. 195038 c NEW SOLUTION FOUND: -3815059 @ 316.47 @ #Dec. 195122 c NEW SOLUTION FOUND: -3815213 @ 317.21 @ #Dec. 195303 c NEW SOLUTION FOUND: -3815323 @ 317.34 @ #Dec. 195359 c NEW SOLUTION FOUND: -3815343 @ 317.43 @ #Dec. 195462 c NEW SOLUTION FOUND: -3815353 @ 317.48 @ #Dec. 195517 c NEW SOLUTION FOUND: -3815403 @ 317.51 @ #Dec. 195534 c NEW SOLUTION FOUND: -3816493 @ 317.58 @ #Dec. 195559 c NEW SOLUTION FOUND: -3816603 @ 317.71 @ #Dec. 195605 c NEW SOLUTION FOUND: -3816633 @ 317.76 @ #Dec. 195630 c NEW SOLUTION FOUND: -3816683 @ 317.8 @ #Dec. 195648 c NEW SOLUTION FOUND: -3817243 @ 317.95 @ #Dec. 195682 c NEW SOLUTION FOUND: -3817263 @ 318 @ #Dec. 195704 c NEW SOLUTION FOUND: -3817273 @ 318.02 @ #Dec. 195719 c NEW SOLUTION FOUND: -3817323 @ 318.05 @ #Dec. 195737 c NEW SOLUTION FOUND: -3817773 @ 318.1 @ #Dec. 195759 c NEW SOLUTION FOUND: -3817883 @ 318.17 @ #Dec. 195794 c NEW SOLUTION FOUND: -3817913 @ 318.22 @ #Dec. 195818 c NEW SOLUTION FOUND: -3817963 @ 318.25 @ #Dec. 195837 c NEW SOLUTION FOUND: -3818523 @ 318.3 @ #Dec. 195865 c NEW SOLUTION FOUND: -3818543 @ 318.35 @ #Dec. 195887 c NEW SOLUTION FOUND: -3818553 @ 318.37 @ #Dec. 195902 c NEW SOLUTION FOUND: -3818603 @ 318.4 @ #Dec. 195921 c NEW SOLUTION FOUND: -3819053 @ 318.45 @ #Dec. 195943 c NEW SOLUTION FOUND: -3819193 @ 318.54 @ #Dec. 195981 c NEW SOLUTION FOUND: -3819243 @ 318.58 @ #Dec. 196007 c NEW SOLUTION FOUND: -3819443 @ 320.92 @ #Dec. 197039 c NEW SOLUTION FOUND: -3819483 @ 320.92 @ #Dec. 197047 c NEW SOLUTION FOUND: -3819493 @ 320.93 @ #Dec. 197062 c NEW SOLUTION FOUND: -3820123 @ 320.95 @ #Dec. 197083 c NEW SOLUTION FOUND: -3820133 @ 320.97 @ #Dec. 197098 c NEW SOLUTION FOUND: -3820763 @ 321 @ #Dec. 197123 c NEW SOLUTION FOUND: -3820773 @ 321.01 @ #Dec. 197138 c NEW SOLUTION FOUND: -3821083 @ 321.03 @ #Dec. 197158 c NEW SOLUTION FOUND: -3821163 @ 321.05 @ #Dec. 197178 c NEW SOLUTION FOUND: -3821403 @ 321.18 @ #Dec. 197217 c NEW SOLUTION FOUND: -3821413 @ 321.2 @ #Dec. 197233 c NEW SOLUTION FOUND: -3821723 @ 321.34 @ #Dec. 197271 c NEW SOLUTION FOUND: -3821803 @ 321.47 @ #Dec. 197309 c NEW SOLUTION FOUND: -3822506 @ 321.92 @ #Dec. 197411 c NEW SOLUTION FOUND: -3822516 @ 321.93 @ #Dec. 197420 c NEW SOLUTION FOUND: -3822521 @ 321.93 @ #Dec. 197430 c NEW SOLUTION FOUND: -3822531 @ 321.94 @ #Dec. 197441 c NEW SOLUTION FOUND: -3822541 @ 321.94 @ #Dec. 197451 c NEW SOLUTION FOUND: -3822546 @ 321.95 @ #Dec. 197469 c NEW SOLUTION FOUND: -3822551 @ 321.95 @ #Dec. 197479 c NEW SOLUTION FOUND: -3822571 @ 321.96 @ #Dec. 197489 c NEW SOLUTION FOUND: -3822601 @ 321.96 @ #Dec. 197501 c NEW SOLUTION FOUND: -3822631 @ 321.97 @ #Dec. 197520 c NEW SOLUTION FOUND: -3822641 @ 321.98 @ #Dec. 197537 c NEW SOLUTION FOUND: -3822661 @ 321.99 @ #Dec. 197552 c NEW SOLUTION FOUND: -3822741 @ 322 @ #Dec. 197568 c NEW SOLUTION FOUND: -3822771 @ 322.01 @ #Dec. 197581 c NEW SOLUTION FOUND: -3822923 @ 322.65 @ #Dec. 197692 c NEW SOLUTION FOUND: -3823243 @ 322.72 @ #Dec. 197773 c NEW SOLUTION FOUND: -3823431 @ 322.97 @ #Dec. 197845 c NEW SOLUTION FOUND: -3823481 @ 323.09 @ #Dec. 197888 c NEW SOLUTION FOUND: -3824173 @ 323.3 @ #Dec. 197975 c NEW SOLUTION FOUND: -3824203 @ 323.33 @ #Dec. 198002 c NEW SOLUTION FOUND: -3824523 @ 323.35 @ #Dec. 198022 c NEW SOLUTION FOUND: -3824753 @ 323.64 @ #Dec. 198119 c NEW SOLUTION FOUND: -3824763 @ 323.7 @ #Dec. 198145 c NEW SOLUTION FOUND: -3824803 @ 323.73 @ #Dec. 198164 c NEW SOLUTION FOUND: -3825393 @ 323.83 @ #Dec. 198206 c NEW SOLUTION FOUND: -3825483 @ 323.87 @ #Dec. 198231 c NEW SOLUTION FOUND: -3825803 @ 323.94 @ #Dec. 198266 c NEW SOLUTION FOUND: -3825991 @ 324.18 @ #Dec. 198315 c NEW SOLUTION FOUND: -3826041 @ 324.41 @ #Dec. 198459 c NEW SOLUTION FOUND: -3826123 @ 324.64 @ #Dec. 198549 c NEW SOLUTION FOUND: -3826243 @ 324.65 @ #Dec. 198573 c NEW SOLUTION FOUND: -3826261 @ 324.81 @ #Dec. 198625 c NEW SOLUTION FOUND: -3826481 @ 324.83 @ #Dec. 198645 c NEW SOLUTION FOUND: -3826893 @ 324.95 @ #Dec. 198690 c NEW SOLUTION FOUND: -3827001 @ 324.98 @ #Dec. 198718 c NEW SOLUTION FOUND: -3827131 @ 324.99 @ #Dec. 198736 c NEW SOLUTION FOUND: -3827241 @ 325.05 @ #Dec. 198763 c NEW SOLUTION FOUND: -3827763 @ 325.16 @ #Dec. 198799 c NEW SOLUTION FOUND: -3827773 @ 325.17 @ #Dec. 198813 c NEW SOLUTION FOUND: -3827951 @ 325.4 @ #Dec. 198845 c NEW SOLUTION FOUND: -3828011 @ 325.4 @ #Dec. 198857 c NEW SOLUTION FOUND: -3828553 @ 325.48 @ #Dec. 198882 c NEW SOLUTION FOUND: -3828773 @ 325.53 @ #Dec. 198901 c NEW SOLUTION FOUND: -3828781 @ 325.64 @ #Dec. 198927 c NEW SOLUTION FOUND: -3828791 @ 325.65 @ #Dec. 198941 c NEW SOLUTION FOUND: -3828951 @ 325.69 @ #Dec. 198959 c NEW SOLUTION FOUND: -3829011 @ 325.69 @ #Dec. 198973 c NEW SOLUTION FOUND: -3829801 @ 325.94 @ #Dec. 199025 c NEW SOLUTION FOUND: -3829851 @ 325.95 @ #Dec. 199040 c NEW SOLUTION FOUND: -3829861 @ 325.96 @ #Dec. 199054 c NEW SOLUTION FOUND: -3829921 @ 325.97 @ #Dec. 199070 c NEW SOLUTION FOUND: -3829971 @ 325.98 @ #Dec. 199085 c NEW SOLUTION FOUND: -3829981 @ 325.99 @ #Dec. 199099 c NEW SOLUTION FOUND: -3830021 @ 326.03 @ #Dec. 199117 c NEW SOLUTION FOUND: -3830081 @ 326.04 @ #Dec. 199131 c NEW SOLUTION FOUND: -3830141 @ 326.05 @ #Dec. 199147 c NEW SOLUTION FOUND: -3830201 @ 326.06 @ #Dec. 199161 c NEW SOLUTION FOUND: -3830219 @ 326.1 @ #Dec. 199183 c NEW SOLUTION FOUND: -3830319 @ 326.13 @ #Dec. 199203 c NEW SOLUTION FOUND: -3830439 @ 326.14 @ #Dec. 199219 c NEW SOLUTION FOUND: -3834599 @ 326.62 @ #Dec. 199321 c NEW SOLUTION FOUND: -3834719 @ 326.63 @ #Dec. 199337 c NEW SOLUTION FOUND: -3834809 @ 326.68 @ #Dec. 199363 c NEW SOLUTION FOUND: -3834819 @ 326.69 @ #Dec. 199378 c NEW SOLUTION FOUND: -3834939 @ 326.7 @ #Dec. 199394 c NEW SOLUTION FOUND: -3836331 @ 327.33 @ #Dec. 199563 c NEW SOLUTION FOUND: -3836341 @ 327.35 @ #Dec. 199580 c NEW SOLUTION FOUND: -3836461 @ 327.36 @ #Dec. 199598 c NEW SOLUTION FOUND: -3836569 @ 327.42 @ #Dec. 199633 c NEW SOLUTION FOUND: -3836579 @ 327.43 @ #Dec. 199650 c NEW SOLUTION FOUND: -3836699 @ 327.44 @ #Dec. 199668 c NEW SOLUTION FOUND: -3836803 @ 327.58 @ #Dec. 199759 c NEW SOLUTION FOUND: -3836883 @ 327.62 @ #Dec. 199793 c NEW SOLUTION FOUND: -3841429 @ 327.71 @ #Dec. 199844 c NEW SOLUTION FOUND: -3841549 @ 327.74 @ #Dec. 199871 c NEW SOLUTION FOUND: -3842011 @ 327.85 @ #Dec. 199919 c NEW SOLUTION FOUND: -3842021 @ 327.86 @ #Dec. 199936 c NEW SOLUTION FOUND: -3842141 @ 327.88 @ #Dec. 199954 c NEW SOLUTION FOUND: -3842249 @ 327.92 @ #Dec. 199981 c NEW SOLUTION FOUND: -3842259 @ 327.93 @ #Dec. 199998 c NEW SOLUTION FOUND: -3842379 @ 327.95 @ #Dec. 200016 c NEW SOLUTION FOUND: -3842431 @ 328.1 @ #Dec. 200097 c NEW SOLUTION FOUND: -3842441 @ 328.14 @ #Dec. 200125 c NEW SOLUTION FOUND: -3842561 @ 328.15 @ #Dec. 200142 c NEW SOLUTION FOUND: -3842591 @ 328.23 @ #Dec. 200184 c NEW SOLUTION FOUND: -3842669 @ 328.3 @ #Dec. 200226 c NEW SOLUTION FOUND: -3842799 @ 328.36 @ #Dec. 200259 c NEW SOLUTION FOUND: -3842829 @ 328.46 @ #Dec. 200311 c NEW SOLUTION FOUND: -3842875 @ 329.49 @ #Dec. 200403 c NEW SOLUTION FOUND: -3843115 @ 329.53 @ #Dec. 200431 c NEW SOLUTION FOUND: -3843353 @ 329.59 @ #Dec. 200468 c NEW SOLUTION FOUND: -3843591 @ 329.65 @ #Dec. 200503 c NEW SOLUTION FOUND: -3843829 @ 329.73 @ #Dec. 200546 c NEW SOLUTION FOUND: -3844067 @ 329.81 @ #Dec. 200588 c NEW SOLUTION FOUND: -3844303 @ 329.89 @ #Dec. 200631 c NEW SOLUTION FOUND: -3844543 @ 329.92 @ #Dec. 200652 c NEW SOLUTION FOUND: -3844733 @ 330.5 @ #Dec. 200786 c NEW SOLUTION FOUND: -3844843 @ 333.88 @ #Dec. 202070 c NEW SOLUTION FOUND: -3847355 @ 333.93 @ #Dec. 202097 c NEW SOLUTION FOUND: -3847859 @ 334 @ #Dec. 202130 c NEW SOLUTION FOUND: -3848757 @ 334.08 @ #Dec. 202177 c NEW SOLUTION FOUND: -3850757 @ 334.32 @ #Dec. 202321 c NEW SOLUTION FOUND: -3850793 @ 334.56 @ #Dec. 202447 c NEW SOLUTION FOUND: -3850857 @ 334.58 @ #Dec. 202456 c NEW SOLUTION FOUND: -3851257 @ 334.61 @ #Dec. 202469 c NEW SOLUTION FOUND: -3851449 @ 334.66 @ #Dec. 202493 c NEW SOLUTION FOUND: -3851464 @ 334.68 @ #Dec. 202500 c NEW SOLUTION FOUND: -3851479 @ 334.69 @ #Dec. 202506 c NEW SOLUTION FOUND: -3851495 @ 334.72 @ #Dec. 202517 c NEW SOLUTION FOUND: -3856619 @ 335.02 @ #Dec. 202704 c NEW SOLUTION FOUND: -3856875 @ 335.09 @ #Dec. 202733 c NEW SOLUTION FOUND: -3856907 @ 335.15 @ #Dec. 202756 c NEW SOLUTION FOUND: -3858619 @ 335.24 @ #Dec. 202793 c NEW SOLUTION FOUND: -3858907 @ 335.31 @ #Dec. 202817 c NEW SOLUTION FOUND: -3859119 @ 335.4 @ #Dec. 202852 c NEW SOLUTION FOUND: -3859407 @ 335.45 @ #Dec. 202870 c NEW SOLUTION FOUND: -3859613 @ 335.59 @ #Dec. 202918 c NEW SOLUTION FOUND: -3859645 @ 335.66 @ #Dec. 202941 c NEW SOLUTION FOUND: -3859773 @ 335.89 @ #Dec. 202993 c NEW SOLUTION FOUND: -3859833 @ 335.92 @ #Dec. 203010 c NEW SOLUTION FOUND: -3860061 @ 335.97 @ #Dec. 203029 c NEW SOLUTION FOUND: -3860121 @ 335.99 @ #Dec. 203037 c NEW SOLUTION FOUND: -3860267 @ 336.43 @ #Dec. 203128 c NEW SOLUTION FOUND: -3860327 @ 336.45 @ #Dec. 203139 c NEW SOLUTION FOUND: -3860359 @ 336.5 @ #Dec. 203159 c NEW SOLUTION FOUND: -3860537 @ 336.66 @ #Dec. 203203 c NEW SOLUTION FOUND: -3860597 @ 336.68 @ #Dec. 203211 c NEW SOLUTION FOUND: -3861497 @ 336.96 @ #Dec. 203251 c NEW SOLUTION FOUND: -3861617 @ 336.99 @ #Dec. 203270 c NEW SOLUTION FOUND: -3861737 @ 337.02 @ #Dec. 203288 c NEW SOLUTION FOUND: -3861785 @ 337.1 @ #Dec. 203311 c NEW SOLUTION FOUND: -3861905 @ 337.12 @ #Dec. 203321 c NEW SOLUTION FOUND: -3862025 @ 337.13 @ #Dec. 203330 c NEW SOLUTION FOUND: -3862111 @ 337.59 @ #Dec. 203421 c NEW SOLUTION FOUND: -3862231 @ 337.61 @ #Dec. 203432 c NEW SOLUTION FOUND: -3862263 @ 337.67 @ #Dec. 203468 c NEW SOLUTION FOUND: -3862349 @ 337.8 @ #Dec. 203516 c NEW SOLUTION FOUND: -3862469 @ 337.83 @ #Dec. 203529 c NEW SOLUTION FOUND: -3862501 @ 337.93 @ #Dec. 203564 c NEW SOLUTION FOUND: -3862739 @ 338.78 @ #Dec. 203690 c NEW SOLUTION FOUND: -3862945 @ 338.94 @ #Dec. 203736 c NEW SOLUTION FOUND: -3862977 @ 339.03 @ #Dec. 203761 c NEW SOLUTION FOUND: -3863215 @ 339.28 @ #Dec. 203802 c NEW SOLUTION FOUND: -3863453 @ 339.42 @ #Dec. 203840 c NEW SOLUTION FOUND: -3863543 @ 341.02 @ #Dec. 204097 c NEW SOLUTION FOUND: -3863623 @ 341.06 @ #Dec. 204117 c NEW SOLUTION FOUND: -3863643 @ 341.07 @ #Dec. 204135 c NEW SOLUTION FOUND: -3863653 @ 341.07 @ #Dec. 204152 c NEW SOLUTION FOUND: -3863781 @ 341.21 @ #Dec. 204187 c NEW SOLUTION FOUND: -3863861 @ 341.24 @ #Dec. 204206 c NEW SOLUTION FOUND: -3863891 @ 341.25 @ #Dec. 204223 c NEW SOLUTION FOUND: -3864097 @ 341.58 @ #Dec. 204287 c NEW SOLUTION FOUND: -3864257 @ 341.67 @ #Dec. 204315 c NEW SOLUTION FOUND: -3864337 @ 341.69 @ #Dec. 204335 c NEW SOLUTION FOUND: -3864357 @ 341.7 @ #Dec. 204353 c NEW SOLUTION FOUND: -3864367 @ 341.71 @ #Dec. 204370 c NEW SOLUTION FOUND: -3864495 @ 342.15 @ #Dec. 204488 c NEW SOLUTION FOUND: -3864605 @ 342.17 @ #Dec. 204507 c NEW SOLUTION FOUND: -3864733 @ 342.3 @ #Dec. 204542 c NEW SOLUTION FOUND: -3864813 @ 342.33 @ #Dec. 204562 c NEW SOLUTION FOUND: -3864833 @ 342.34 @ #Dec. 204580 c NEW SOLUTION FOUND: -3864843 @ 342.35 @ #Dec. 204597 c NEW SOLUTION FOUND: -3865463 @ 342.74 @ #Dec. 204666 c NEW SOLUTION FOUND: -3865683 @ 342.8 @ #Dec. 204691 c NEW SOLUTION FOUND: -3865939 @ 342.82 @ #Dec. 204708 c NEW SOLUTION FOUND: -3866947 @ 342.86 @ #Dec. 204727 c NEW SOLUTION FOUND: -3868955 @ 342.92 @ #Dec. 204755 c NEW SOLUTION FOUND: -3870715 @ 342.97 @ #Dec. 204771 c NEW SOLUTION FOUND: -3870779 @ 343.01 @ #Dec. 204783 c NEW SOLUTION FOUND: -3870963 @ 343.12 @ #Dec. 204809 c NEW SOLUTION FOUND: -3870995 @ 343.16 @ #Dec. 204833 c NEW SOLUTION FOUND: -3871265 @ 343.19 @ #Dec. 204846 c NEW SOLUTION FOUND: -3871467 @ 343.24 @ #Dec. 204869 c NEW SOLUTION FOUND: -3871971 @ 343.28 @ #Dec. 204887 c NEW SOLUTION FOUND: -3871981 @ 343.3 @ #Dec. 204895 c NEW SOLUTION FOUND: -3871989 @ 343.3 @ #Dec. 204897 c NEW SOLUTION FOUND: -3872133 @ 343.42 @ #Dec. 204918 c NEW SOLUTION FOUND: -3872193 @ 343.42 @ #Dec. 204920 c NEW SOLUTION FOUND: -3873693 @ 343.49 @ #Dec. 204942 c NEW SOLUTION FOUND: -3873753 @ 343.51 @ #Dec. 204953 c NEW SOLUTION FOUND: -3873793 @ 343.55 @ #Dec. 204974 c NEW SOLUTION FOUND: -3873913 @ 343.6 @ #Dec. 204997 c NEW SOLUTION FOUND: -3874201 @ 343.63 @ #Dec. 205014 c NEW SOLUTION FOUND: -3875227 @ 343.68 @ #Dec. 205024 c NEW SOLUTION FOUND: -3882707 @ 343.86 @ #Dec. 205082 c NEW SOLUTION FOUND: -3884755 @ 343.91 @ #Dec. 205101 c NEW SOLUTION FOUND: -3885043 @ 343.95 @ #Dec. 205115 c NEW SOLUTION FOUND: -3887059 @ 344.04 @ #Dec. 205147 c NEW SOLUTION FOUND: -3887459 @ 344.08 @ #Dec. 205164 c NEW SOLUTION FOUND: -3887683 @ 344.09 @ #Dec. 205172 c NEW SOLUTION FOUND: -3887701 @ 344.1 @ #Dec. 205181 c NEW SOLUTION FOUND: -3887933 @ 344.17 @ #Dec. 205219 c NEW SOLUTION FOUND: -3887993 @ 344.2 @ #Dec. 205238 c NEW SOLUTION FOUND: -3888221 @ 344.25 @ #Dec. 205252 c NEW SOLUTION FOUND: -3888281 @ 344.25 @ #Dec. 205257 c NEW SOLUTION FOUND: -3889213 @ 344.34 @ #Dec. 205288 c NEW SOLUTION FOUND: -3889273 @ 344.39 @ #Dec. 205310 c NEW SOLUTION FOUND: -3890237 @ 344.44 @ #Dec. 205330 c NEW SOLUTION FOUND: -3890297 @ 344.49 @ #Dec. 205350 c NEW SOLUTION FOUND: -3890637 @ 344.53 @ #Dec. 205364 c NEW SOLUTION FOUND: -3890697 @ 344.53 @ #Dec. 205374 c NEW SOLUTION FOUND: -3890707 @ 344.54 @ #Dec. 205383 c NEW SOLUTION FOUND: -3890939 @ 344.54 @ #Dec. 205390 c NEW SOLUTION FOUND: -3891489 @ 345.16 @ #Dec. 205479 c NEW SOLUTION FOUND: -3892321 @ 345.75 @ #Dec. 205547 c NEW SOLUTION FOUND: -3892381 @ 345.76 @ #Dec. 205555 c NEW SOLUTION FOUND: -3892441 @ 345.76 @ #Dec. 205557 c NEW SOLUTION FOUND: -3892559 @ 346 @ #Dec. 205593 c NEW SOLUTION FOUND: -3892619 @ 346.02 @ #Dec. 205599 c NEW SOLUTION FOUND: -3892679 @ 346.02 @ #Dec. 205601 c NEW SOLUTION FOUND: -3892737 @ 346.53 @ #Dec. 205672 c NEW SOLUTION FOUND: -3892797 @ 346.53 @ #Dec. 205674 c NEW SOLUTION FOUND: -3892857 @ 346.53 @ #Dec. 205677 c NEW SOLUTION FOUND: -3892917 @ 346.53 @ #Dec. 205679 c NEW SOLUTION FOUND: -3892975 @ 346.67 @ #Dec. 205701 c NEW SOLUTION FOUND: -3893035 @ 346.68 @ #Dec. 205703 c NEW SOLUTION FOUND: -3893095 @ 346.68 @ #Dec. 205706 c NEW SOLUTION FOUND: -3893155 @ 346.68 @ #Dec. 205708 c NEW SOLUTION FOUND: -3893209 @ 347.28 @ #Dec. 205843 c NEW SOLUTION FOUND: -3893391 @ 347.34 @ #Dec. 205849 c NEW SOLUTION FOUND: -3893451 @ 347.37 @ #Dec. 205856 c NEW SOLUTION FOUND: -3893511 @ 347.37 @ #Dec. 205858 c NEW SOLUTION FOUND: -3893571 @ 347.37 @ #Dec. 205861 c NEW SOLUTION FOUND: -3893631 @ 347.37 @ #Dec. 205863 c NEW SOLUTION FOUND: -3893644 @ 347.83 @ #Dec. 205943 c NEW SOLUTION FOUND: -3893659 @ 347.83 @ #Dec. 205943 c NEW SOLUTION FOUND: -3893689 @ 347.84 @ #Dec. 205944 c NEW SOLUTION FOUND: -3893749 @ 347.84 @ #Dec. 205946 c NEW SOLUTION FOUND: -3893809 @ 347.84 @ #Dec. 205949 c NEW SOLUTION FOUND: -3893869 @ 347.84 @ #Dec. 205951 c NEW SOLUTION FOUND: -3893927 @ 348.04 @ #Dec. 205982 c NEW SOLUTION FOUND: -3893987 @ 348.04 @ #Dec. 205984 c NEW SOLUTION FOUND: -3894047 @ 348.05 @ #Dec. 205987 c NEW SOLUTION FOUND: -3894107 @ 348.05 @ #Dec. 205989 c NEW SOLUTION FOUND: -3894161 @ 348.32 @ #Dec. 206061 c NEW SOLUTION FOUND: -3894343 @ 348.38 @ #Dec. 206070 c NEW SOLUTION FOUND: -3894463 @ 348.4 @ #Dec. 206075 c NEW SOLUTION FOUND: -3894583 @ 348.4 @ #Dec. 206078 c NEW SOLUTION FOUND: -3894637 @ 348.6 @ #Dec. 206120 c NEW SOLUTION FOUND: -3894699 @ 348.65 @ #Dec. 206130 c NEW SOLUTION FOUND: -3894819 @ 348.66 @ #Dec. 206133 c NEW SOLUTION FOUND: -3894939 @ 348.69 @ #Dec. 206138 c NEW SOLUTION FOUND: -3895059 @ 348.69 @ #Dec. 206141 c NEW SOLUTION FOUND: -3895177 @ 350.61 @ #Dec. 206453 c NEW SOLUTION FOUND: -3895297 @ 350.61 @ #Dec. 206456 c NEW SOLUTION FOUND: -3895415 @ 351.5 @ #Dec. 206583 c NEW SOLUTION FOUND: -3895535 @ 351.5 @ #Dec. 206586 c NEW SOLUTION FOUND: -3895653 @ 351.99 @ #Dec. 206666 c NEW SOLUTION FOUND: -3895773 @ 351.99 @ #Dec. 206669 c NEW SOLUTION FOUND: -3896011 @ 352.51 @ #Dec. 206767 c NEW SOLUTION FOUND: -3896153 @ 353.01 @ #Dec. 206890 c NEW SOLUTION FOUND: -3896249 @ 353.12 @ #Dec. 206963 c NEW SOLUTION FOUND: -3896513 @ 359.42 @ #Dec. 208831 c NEW SOLUTION FOUND: -3896977 @ 365.99 @ #Dec. 211156 c NEW SOLUTION FOUND: -3897967 @ 366.03 @ #Dec. 211197 c NEW SOLUTION FOUND: -3897977 @ 366.04 @ #Dec. 211207 c NEW SOLUTION FOUND: -3901091 @ 371.19 @ #Dec. 212839 c NEW SOLUTION FOUND: -3901571 @ 371.22 @ #Dec. 212863 c NEW SOLUTION FOUND: -3901681 @ 371.26 @ #Dec. 212891 c NEW SOLUTION FOUND: -3902631 @ 371.3 @ #Dec. 212918 c NEW SOLUTION FOUND: -3902641 @ 371.33 @ #Dec. 212938 c NEW SOLUTION FOUND: -3903769 @ 371.41 @ #Dec. 212975 c NEW SOLUTION FOUND: -3903879 @ 371.44 @ #Dec. 212995 c NEW SOLUTION FOUND: -3903929 @ 371.64 @ #Dec. 213094 c NEW SOLUTION FOUND: -3916675 @ 371.83 @ #Dec. 213213 c NEW SOLUTION FOUND: -3916755 @ 371.87 @ #Dec. 213241 c NEW SOLUTION FOUND: -3916775 @ 371.95 @ #Dec. 213292 c NEW SOLUTION FOUND: -3916785 @ 371.98 @ #Dec. 213315 c NEW SOLUTION FOUND: -3917075 @ 372.03 @ #Dec. 213348 c NEW SOLUTION FOUND: -3920313 @ 372.1 @ #Dec. 213395 c NEW SOLUTION FOUND: -3921611 @ 372.32 @ #Dec. 213482 c NEW SOLUTION FOUND: -3921849 @ 372.38 @ #Dec. 213516 c NEW SOLUTION FOUND: -3922021 @ 372.49 @ #Dec. 213568 c NEW SOLUTION FOUND: -3922259 @ 372.53 @ #Dec. 213592 c NEW SOLUTION FOUND: -3922409 @ 372.67 @ #Dec. 213646 c NEW SOLUTION FOUND: -3922489 @ 372.7 @ #Dec. 213673 c NEW SOLUTION FOUND: -3922521 @ 372.8 @ #Dec. 213730 c NEW SOLUTION FOUND: -3922749 @ 372.85 @ #Dec. 213760 c NEW SOLUTION FOUND: -3922759 @ 372.88 @ #Dec. 213783 c NEW SOLUTION FOUND: -3923259 @ 373 @ #Dec. 213847 c NEW SOLUTION FOUND: -3923769 @ 373.23 @ #Dec. 213966 c NEW SOLUTION FOUND: -3924555 @ 373.37 @ #Dec. 214038 c NEW SOLUTION FOUND: -3924793 @ 373.42 @ #Dec. 214068 c NEW SOLUTION FOUND: -3925091 @ 373.52 @ #Dec. 214128 c NEW SOLUTION FOUND: -3926329 @ 373.58 @ #Dec. 214166 c NEW SOLUTION FOUND: -3926467 @ 374.81 @ #Dec. 214291 c NEW SOLUTION FOUND: -3927467 @ 374.87 @ #Dec. 214328 c NEW SOLUTION FOUND: -3927491 @ 375.02 @ #Dec. 214395 c NEW SOLUTION FOUND: -3927515 @ 375.14 @ #Dec. 214455 c NEW SOLUTION FOUND: -3927539 @ 375.23 @ #Dec. 214505 c NEW SOLUTION FOUND: -3934123 @ 375.36 @ #Dec. 214564 c NEW SOLUTION FOUND: -3935659 @ 375.47 @ #Dec. 214621 c NEW SOLUTION FOUND: -3935683 @ 375.69 @ #Dec. 214700 c NEW SOLUTION FOUND: -3935707 @ 375.84 @ #Dec. 214773 c NEW SOLUTION FOUND: -3935731 @ 376.06 @ #Dec. 214853 c NEW SOLUTION FOUND: -3935755 @ 376.19 @ #Dec. 214918 c NEW SOLUTION FOUND: -3935779 @ 376.34 @ #Dec. 214984 c NEW SOLUTION FOUND: -3935803 @ 376.45 @ #Dec. 215040 c NEW SOLUTION FOUND: -3935827 @ 376.57 @ #Dec. 215097 c NEW SOLUTION FOUND: -3935851 @ 377.05 @ #Dec. 215167 c NEW SOLUTION FOUND: -3935875 @ 377.14 @ #Dec. 215217 c NEW SOLUTION FOUND: -3935947 @ 377.24 @ #Dec. 215268 c NEW SOLUTION FOUND: -3935971 @ 377.33 @ #Dec. 215318 c NEW SOLUTION FOUND: -3936246 @ 379.94 @ #Dec. 215959 c NEW SOLUTION FOUND: -3938821 @ 380.19 @ #Dec. 216104 c NEW SOLUTION FOUND: -3938971 @ 380.22 @ #Dec. 216126 c NEW SOLUTION FOUND: -3938986 @ 380.23 @ #Dec. 216142 c NEW SOLUTION FOUND: -3939241 @ 380.36 @ #Dec. 216302 c NEW SOLUTION FOUND: -3939265 @ 380.94 @ #Dec. 216470 c NEW SOLUTION FOUND: -3939289 @ 380.97 @ #Dec. 216516 c NEW SOLUTION FOUND: -3939315 @ 381.44 @ #Dec. 216693 c NEW SOLUTION FOUND: -3939375 @ 381.51 @ #Dec. 216732 c NEW SOLUTION FOUND: -3939385 @ 381.54 @ #Dec. 216766 c NEW SOLUTION FOUND: -3940765 @ 382.38 @ #Dec. 217407 c NEW SOLUTION FOUND: -3940775 @ 382.4 @ #Dec. 217430 c NEW SOLUTION FOUND: -3942685 @ 382.43 @ #Dec. 217455 c NEW SOLUTION FOUND: -3942695 @ 382.45 @ #Dec. 217481 c NEW SOLUTION FOUND: -3942903 @ 382.48 @ #Dec. 217518 c NEW SOLUTION FOUND: -3943141 @ 382.49 @ #Dec. 217539 c NEW SOLUTION FOUND: -3943161 @ 382.51 @ #Dec. 217566 c NEW SOLUTION FOUND: -3943171 @ 382.53 @ #Dec. 217597 c NEW SOLUTION FOUND: -3943497 @ 382.76 @ #Dec. 217705 c NEW SOLUTION FOUND: -3943973 @ 382.84 @ #Dec. 217754 c NEW SOLUTION FOUND: -3944113 @ 382.92 @ #Dec. 217815 c NEW SOLUTION FOUND: -3944123 @ 382.94 @ #Dec. 217838 c NEW SOLUTION FOUND: -3944449 @ 383.05 @ #Dec. 217900 c NEW SOLUTION FOUND: -3944687 @ 383.1 @ #Dec. 217936 c NEW SOLUTION FOUND: -3944925 @ 383.13 @ #Dec. 217965 c NEW SOLUTION FOUND: -3945065 @ 383.27 @ #Dec. 218016 c NEW SOLUTION FOUND: -3945075 @ 383.29 @ #Dec. 218044 c NEW SOLUTION FOUND: -3945089 @ 384.72 @ #Dec. 218384 c NEW SOLUTION FOUND: -3945565 @ 384.94 @ #Dec. 218513 c NEW SOLUTION FOUND: -3945725 @ 385.24 @ #Dec. 218597 c NEW SOLUTION FOUND: -3945740 @ 385.25 @ #Dec. 218610 c NEW SOLUTION FOUND: -3945765 @ 385.35 @ #Dec. 218675 c NEW SOLUTION FOUND: -3945885 @ 385.36 @ #Dec. 218694 c NEW SOLUTION FOUND: -3945945 @ 385.49 @ #Dec. 218744 c NEW SOLUTION FOUND: -3945955 @ 385.5 @ #Dec. 218766 c NEW SOLUTION FOUND: -3945979 @ 385.87 @ #Dec. 218860 c NEW SOLUTION FOUND: -3946939 @ 385.89 @ #Dec. 218883 c NEW SOLUTION FOUND: -3948859 @ 385.91 @ #Dec. 218909 c NEW SOLUTION FOUND: -3948959 @ 385.94 @ #Dec. 218945 c NEW SOLUTION FOUND: -3948969 @ 385.96 @ #Dec. 218973 c NEW SOLUTION FOUND: -3950395 @ 386.19 @ #Dec. 219033 c NEW SOLUTION FOUND: -3950495 @ 386.22 @ #Dec. 219065 c NEW SOLUTION FOUND: -3950505 @ 386.24 @ #Dec. 219093 c NEW SOLUTION FOUND: -3950675 @ 386.56 @ #Dec. 219205 c NEW SOLUTION FOUND: -3950935 @ 386.68 @ #Dec. 219292 c NEW SOLUTION FOUND: -3950945 @ 386.69 @ #Dec. 219316 c NEW SOLUTION FOUND: -3950995 @ 386.81 @ #Dec. 219356 c NEW SOLUTION FOUND: -3951315 @ 387.11 @ #Dec. 219418 c NEW SOLUTION FOUND: -3951385 @ 387.19 @ #Dec. 219461 c NEW SOLUTION FOUND: -3951507 @ 387.62 @ #Dec. 219598 c NEW SOLUTION FOUND: -3951577 @ 387.71 @ #Dec. 219652 c NEW SOLUTION FOUND: -3951651 @ 388.88 @ #Dec. 219938 c NEW SOLUTION FOUND: -3951721 @ 388.95 @ #Dec. 219974 c NEW SOLUTION FOUND: -3951905 @ 391.66 @ #Dec. 220377 c NEW SOLUTION FOUND: -3951955 @ 391.78 @ #Dec. 220429 c NEW SOLUTION FOUND: -3951989 @ 392.6 @ #Dec. 220558 c NEW SOLUTION FOUND: -3952099 @ 392.64 @ #Dec. 220590 c NEW SOLUTION FOUND: -3952106 @ 393.54 @ #Dec. 220738 c NEW SOLUTION FOUND: -3952115 @ 393.58 @ #Dec. 220766 c NEW SOLUTION FOUND: -3952130 @ 393.61 @ #Dec. 220785 c NEW SOLUTION FOUND: -3952275 @ 393.68 @ #Dec. 220832 c NEW SOLUTION FOUND: -3952335 @ 393.76 @ #Dec. 220868 c NEW SOLUTION FOUND: -3952345 @ 393.79 @ #Dec. 220896 c NEW SOLUTION FOUND: -3952371 @ 394.41 @ #Dec. 221039 c NEW SOLUTION FOUND: -3952419 @ 394.49 @ #Dec. 221083 c NEW SOLUTION FOUND: -3952479 @ 394.61 @ #Dec. 221144 c NEW SOLUTION FOUND: -3952489 @ 394.63 @ #Dec. 221173 c NEW SOLUTION FOUND: -3953955 @ 396.93 @ #Dec. 221990 c NEW SOLUTION FOUND: -3954003 @ 397.02 @ #Dec. 222055 c NEW SOLUTION FOUND: -3954051 @ 397.02 @ #Dec. 222068 c NEW SOLUTION FOUND: -3954069 @ 397.2 @ #Dec. 222165 c NEW SOLUTION FOUND: -3954253 @ 397.2 @ #Dec. 222182 c NEW SOLUTION FOUND: -3954453 @ 404.59 @ #Dec. 223504 c NEW SOLUTION FOUND: -3954691 @ 409.48 @ #Dec. 224025 c NEW SOLUTION FOUND: -3954827 @ 412.19 @ #Dec. 224657 c NEW SOLUTION FOUND: -3954837 @ 412.2 @ #Dec. 224682 c NEW SOLUTION FOUND: -3955021 @ 412.22 @ #Dec. 224703 c NEW SOLUTION FOUND: -3955027 @ 412.38 @ #Dec. 224778 c NEW SOLUTION FOUND: -3955315 @ 412.46 @ #Dec. 224824 c NEW SOLUTION FOUND: -3955459 @ 413.9 @ #Dec. 225030 c NEW SOLUTION FOUND: -3955565 @ 415.35 @ #Dec. 225291 c NEW SOLUTION FOUND: -3955585 @ 415.54 @ #Dec. 225339 c NEW SOLUTION FOUND: -3955685 @ 415.7 @ #Dec. 225390 c NEW SOLUTION FOUND: -3955695 @ 415.7 @ #Dec. 225401 c NEW SOLUTION FOUND: -3955823 @ 415.95 @ #Dec. 225494 c NEW SOLUTION FOUND: -3955887 @ 416.06 @ #Dec. 225530 c NEW SOLUTION FOUND: -3955923 @ 416.07 @ #Dec. 225542 c NEW SOLUTION FOUND: -3955933 @ 416.07 @ #Dec. 225552 c NEW SOLUTION FOUND: -3956029 @ 416.3 @ #Dec. 225652 c NEW SOLUTION FOUND: -3956089 @ 416.4 @ #Dec. 225702 c NEW SOLUTION FOUND: -3956099 @ 416.41 @ #Dec. 225716 c NEW SOLUTION FOUND: -3956125 @ 416.55 @ #Dec. 225763 c NEW SOLUTION FOUND: -3956161 @ 416.56 @ #Dec. 225773 c NEW SOLUTION FOUND: -3956171 @ 416.56 @ #Dec. 225781 c NEW SOLUTION FOUND: -3956993 @ 418.42 @ #Dec. 226055 c NEW SOLUTION FOUND: -3957469 @ 418.86 @ #Dec. 226116 c NEW SOLUTION FOUND: -3957527 @ 419.44 @ #Dec. 226218 c NEW SOLUTION FOUND: -3957553 @ 419.62 @ #Dec. 226265 c NEW SOLUTION FOUND: -3957599 @ 419.63 @ #Dec. 226275 c NEW SOLUTION FOUND: -3957933 @ 419.78 @ #Dec. 226310 c NEW SOLUTION FOUND: -3957993 @ 419.9 @ #Dec. 226357 c NEW SOLUTION FOUND: -3958003 @ 419.91 @ #Dec. 226371 c NEW SOLUTION FOUND: -3958065 @ 420.06 @ #Dec. 226411 c NEW SOLUTION FOUND: -3958075 @ 420.06 @ #Dec. 226420 c NEW SOLUTION FOUND: -3958409 @ 422.51 @ #Dec. 226857 c NEW SOLUTION FOUND: -3958449 @ 422.62 @ #Dec. 226899 c NEW SOLUTION FOUND: -3958479 @ 422.62 @ #Dec. 226913 c NEW SOLUTION FOUND: -3958541 @ 422.76 @ #Dec. 226953 c NEW SOLUTION FOUND: -3958551 @ 422.76 @ #Dec. 226962 c NEW SOLUTION FOUND: -3958647 @ 423.1 @ #Dec. 227078 c NEW SOLUTION FOUND: -3958687 @ 423.2 @ #Dec. 227119 c NEW SOLUTION FOUND: -3958717 @ 423.2 @ #Dec. 227133 c NEW SOLUTION FOUND: -3958779 @ 423.34 @ #Dec. 227178 c NEW SOLUTION FOUND: -3958789 @ 423.34 @ #Dec. 227189 c NEW SOLUTION FOUND: -3958885 @ 423.54 @ #Dec. 227246 c NEW SOLUTION FOUND: -3958925 @ 423.64 @ #Dec. 227286 c NEW SOLUTION FOUND: -3958955 @ 423.64 @ #Dec. 227300 c NEW SOLUTION FOUND: -3959017 @ 423.77 @ #Dec. 227338 c NEW SOLUTION FOUND: -3959027 @ 423.77 @ #Dec. 227347 c NEW SOLUTION FOUND: -3959357 @ 425.16 @ #Dec. 227517 c NEW SOLUTION FOUND: -3959373 @ 425.2 @ #Dec. 227534 c NEW SOLUTION FOUND: -3959401 @ 425.66 @ #Dec. 227649 c NEW SOLUTION FOUND: -3959431 @ 425.66 @ #Dec. 227663 c NEW SOLUTION FOUND: -3959493 @ 425.79 @ #Dec. 227701 c NEW SOLUTION FOUND: -3959503 @ 425.8 @ #Dec. 227710 c NEW SOLUTION FOUND: -3959837 @ 426.1 @ #Dec. 227771 c NEW SOLUTION FOUND: -3959877 @ 426.2 @ #Dec. 227810 c NEW SOLUTION FOUND: -3959907 @ 426.21 @ #Dec. 227824 c NEW SOLUTION FOUND: -3959969 @ 426.38 @ #Dec. 227865 c NEW SOLUTION FOUND: -3959979 @ 426.38 @ #Dec. 227874 c NEW SOLUTION FOUND: -3961161 @ 427.72 @ #Dec. 228102 c NEW SOLUTION FOUND: -3961191 @ 427.73 @ #Dec. 228120 c NEW SOLUTION FOUND: -3961361 @ 427.87 @ #Dec. 228221 c NEW SOLUTION FOUND: -3961681 @ 427.99 @ #Dec. 228264 c NEW SOLUTION FOUND: -3961837 @ 428.3 @ #Dec. 228384 c NEW SOLUTION FOUND: -3962157 @ 428.57 @ #Dec. 228491 c NEW SOLUTION FOUND: -3962162 @ 429.5 @ #Dec. 228690 c NEW SOLUTION FOUND: -3962277 @ 429.53 @ #Dec. 228722 c NEW SOLUTION FOUND: -3962307 @ 429.54 @ #Dec. 228735 c NEW SOLUTION FOUND: -3962322 @ 429.54 @ #Dec. 228746 c NEW SOLUTION FOUND: -3962332 @ 429.56 @ #Dec. 228772 c NEW SOLUTION FOUND: -3962437 @ 429.67 @ #Dec. 228810 c NEW SOLUTION FOUND: -3962477 @ 429.71 @ #Dec. 228834 c NEW SOLUTION FOUND: -3962547 @ 429.72 @ #Dec. 228852 c NEW SOLUTION FOUND: -3963209 @ 430.28 @ #Dec. 228942 c NEW SOLUTION FOUND: -3963239 @ 430.29 @ #Dec. 228960 c NEW SOLUTION FOUND: -3963785 @ 430.31 @ #Dec. 228979 c NEW SOLUTION FOUND: -3963839 @ 430.31 @ #Dec. 228993 c NEW SOLUTION FOUND: -3964501 @ 430.76 @ #Dec. 229079 c NEW SOLUTION FOUND: -3964509 @ 430.76 @ #Dec. 229089 c NEW SOLUTION FOUND: -3964527 @ 430.76 @ #Dec. 229101 c NEW SOLUTION FOUND: -3964561 @ 431 @ #Dec. 229154 c NEW SOLUTION FOUND: -3964609 @ 431 @ #Dec. 229169 c NEW SOLUTION FOUND: -3964831 @ 431.67 @ #Dec. 229269 c NEW SOLUTION FOUND: -3964847 @ 431.67 @ #Dec. 229285 c NEW SOLUTION FOUND: -3965069 @ 432.17 @ #Dec. 229355 c NEW SOLUTION FOUND: -3965085 @ 432.17 @ #Dec. 229371 c NEW SOLUTION FOUND: -3965375 @ 432.44 @ #Dec. 229409 c NEW SOLUTION FOUND: -3965525 @ 432.44 @ #Dec. 229414 c NEW SOLUTION FOUND: -3965540 @ 432.44 @ #Dec. 229416 c NEW SOLUTION FOUND: -3965549 @ 432.62 @ #Dec. 229512 c NEW SOLUTION FOUND: -3965619 @ 432.62 @ #Dec. 229527 c NEW SOLUTION FOUND: -3965691 @ 432.72 @ #Dec. 229553 c NEW SOLUTION FOUND: -3965985 @ 434.49 @ #Dec. 229781 c NEW SOLUTION FOUND: -3966025 @ 434.51 @ #Dec. 229800 c NEW SOLUTION FOUND: -3966065 @ 434.57 @ #Dec. 229827 c NEW SOLUTION FOUND: -3966095 @ 434.57 @ #Dec. 229842 c NEW SOLUTION FOUND: -3966157 @ 434.7 @ #Dec. 229899 c NEW SOLUTION FOUND: -3966167 @ 434.71 @ #Dec. 229908 c NEW SOLUTION FOUND: -3966223 @ 435.18 @ #Dec. 229980 c NEW SOLUTION FOUND: -3966263 @ 435.19 @ #Dec. 229997 c NEW SOLUTION FOUND: -3966333 @ 435.29 @ #Dec. 230043 c NEW SOLUTION FOUND: -3966359 @ 435.41 @ #Dec. 230096 c NEW SOLUTION FOUND: -3966405 @ 435.42 @ #Dec. 230107 c NEW SOLUTION FOUND: -3966501 @ 435.82 @ #Dec. 230184 c NEW SOLUTION FOUND: -3966561 @ 435.93 @ #Dec. 230231 c NEW SOLUTION FOUND: -3966571 @ 435.93 @ #Dec. 230245 c NEW SOLUTION FOUND: -3966633 @ 436.05 @ #Dec. 230286 c NEW SOLUTION FOUND: -3966643 @ 436.05 @ #Dec. 230295 c NEW SOLUTION FOUND: -3966977 @ 437.2 @ #Dec. 230526 c NEW SOLUTION FOUND: -3967017 @ 437.3 @ #Dec. 230571 c NEW SOLUTION FOUND: -3967047 @ 437.3 @ #Dec. 230585 c NEW SOLUTION FOUND: -3967109 @ 437.42 @ #Dec. 230622 c NEW SOLUTION FOUND: -3967119 @ 437.43 @ #Dec. 230631 c NEW SOLUTION FOUND: -3967215 @ 437.77 @ #Dec. 230698 c NEW SOLUTION FOUND: -3967255 @ 437.87 @ #Dec. 230740 c NEW SOLUTION FOUND: -3967285 @ 437.87 @ #Dec. 230754 c NEW SOLUTION FOUND: -3967347 @ 438.08 @ #Dec. 230804 c NEW SOLUTION FOUND: -3967357 @ 438.09 @ #Dec. 230815 c NEW SOLUTION FOUND: -3967453 @ 438.48 @ #Dec. 230884 c NEW SOLUTION FOUND: -3967493 @ 438.58 @ #Dec. 230923 c NEW SOLUTION FOUND: -3967523 @ 438.58 @ #Dec. 230937 c NEW SOLUTION FOUND: -3967585 @ 438.77 @ #Dec. 230978 c NEW SOLUTION FOUND: -3967595 @ 438.78 @ #Dec. 230987 c NEW SOLUTION FOUND: -3967647 @ 439.59 @ #Dec. 231156 c NEW SOLUTION FOUND: -3968369 @ 439.86 @ #Dec. 231205 c NEW SOLUTION FOUND: -3968417 @ 439.89 @ #Dec. 231221 c NEW SOLUTION FOUND: -3968881 @ 440.1 @ #Dec. 231280 c NEW SOLUTION FOUND: -3968921 @ 440.19 @ #Dec. 231321 c NEW SOLUTION FOUND: -3968941 @ 440.19 @ #Dec. 231335 c NEW SOLUTION FOUND: -3968951 @ 440.2 @ #Dec. 231348 c NEW SOLUTION FOUND: -3968977 @ 440.39 @ #Dec. 231395 c NEW SOLUTION FOUND: -3969023 @ 440.4 @ #Dec. 231405 c NEW SOLUTION FOUND: -3969119 @ 440.82 @ #Dec. 231498 c NEW SOLUTION FOUND: -3969179 @ 440.92 @ #Dec. 231538 c NEW SOLUTION FOUND: -3969189 @ 440.92 @ #Dec. 231554 c NEW SOLUTION FOUND: -3969261 @ 441.13 @ #Dec. 231609 c NEW SOLUTION FOUND: -3969357 @ 441.53 @ #Dec. 231704 c NEW SOLUTION FOUND: -3969397 @ 441.63 @ #Dec. 231745 c NEW SOLUTION FOUND: -3969427 @ 441.63 @ #Dec. 231759 c NEW SOLUTION FOUND: -3969445 @ 441.83 @ #Dec. 231808 c NEW SOLUTION FOUND: -3969453 @ 441.83 @ #Dec. 231816 c NEW SOLUTION FOUND: -3969499 @ 441.84 @ #Dec. 231825 c NEW SOLUTION FOUND: -3969833 @ 442.85 @ #Dec. 232013 c NEW SOLUTION FOUND: -3969893 @ 442.94 @ #Dec. 232053 c NEW SOLUTION FOUND: -3969903 @ 442.95 @ #Dec. 232067 c NEW SOLUTION FOUND: -3969965 @ 443.15 @ #Dec. 232113 c NEW SOLUTION FOUND: -3969975 @ 443.15 @ #Dec. 232122 c NEW SOLUTION FOUND: -3970071 @ 443.69 @ #Dec. 232225 c NEW SOLUTION FOUND: -3970141 @ 443.81 @ #Dec. 232278 c NEW SOLUTION FOUND: -3970143 @ 444.02 @ #Dec. 232338 c NEW SOLUTION FOUND: -3970159 @ 444.02 @ #Dec. 232346 c NEW SOLUTION FOUND: -3970167 @ 444.03 @ #Dec. 232353 c NEW SOLUTION FOUND: -3970213 @ 444.03 @ #Dec. 232363 c NEW SOLUTION FOUND: -3970309 @ 444.56 @ #Dec. 232461 c NEW SOLUTION FOUND: -3970369 @ 444.7 @ #Dec. 232517 c NEW SOLUTION FOUND: -3970379 @ 444.7 @ #Dec. 232531 c NEW SOLUTION FOUND: -3970441 @ 444.91 @ #Dec. 232577 c NEW SOLUTION FOUND: -3970451 @ 444.91 @ #Dec. 232586 c NEW SOLUTION FOUND: -3970785 @ 446.59 @ #Dec. 232860 c NEW SOLUTION FOUND: -3970845 @ 446.8 @ #Dec. 232928 c NEW SOLUTION FOUND: -3970855 @ 446.81 @ #Dec. 232942 c NEW SOLUTION FOUND: -3970917 @ 447.01 @ #Dec. 233001 c NEW SOLUTION FOUND: -3970927 @ 447.01 @ #Dec. 233010 c NEW SOLUTION FOUND: -3970959 @ 447.45 @ #Dec. 233085 c NEW SOLUTION FOUND: -3971023 @ 447.47 @ #Dec. 233102 c NEW SOLUTION FOUND: -3971083 @ 447.62 @ #Dec. 233165 c NEW SOLUTION FOUND: -3971093 @ 447.62 @ #Dec. 233179 c NEW SOLUTION FOUND: -3971155 @ 447.79 @ #Dec. 233240 c NEW SOLUTION FOUND: -3971165 @ 447.8 @ #Dec. 233250 c NEW SOLUTION FOUND: -3971261 @ 448.17 @ #Dec. 233327 c NEW SOLUTION FOUND: -3971321 @ 448.32 @ #Dec. 233384 c NEW SOLUTION FOUND: -3971331 @ 448.32 @ #Dec. 233398 c NEW SOLUTION FOUND: -3971393 @ 448.48 @ #Dec. 233439 c NEW SOLUTION FOUND: -3971403 @ 448.48 @ #Dec. 233448 c NEW SOLUTION FOUND: -3971437 @ 450.34 @ #Dec. 233796 c NEW SOLUTION FOUND: -3971455 @ 450.35 @ #Dec. 233812 c NEW SOLUTION FOUND: -3971765 @ 450.57 @ #Dec. 233845 c NEW SOLUTION FOUND: -3971795 @ 450.57 @ #Dec. 233849 c NEW SOLUTION FOUND: -3971810 @ 450.57 @ #Dec. 233851 c NEW SOLUTION FOUND: -3971813 @ 450.6 @ #Dec. 233872 c NEW SOLUTION FOUND: -3971828 @ 450.6 @ #Dec. 233875 c NEW SOLUTION FOUND: -3971892 @ 450.65 @ #Dec. 233897 c NEW SOLUTION FOUND: -3972051 @ 450.71 @ #Dec. 233930 c NEW SOLUTION FOUND: -3972225 @ 450.84 @ #Dec. 233964 c NEW SOLUTION FOUND: -3972515 @ 451.15 @ #Dec. 234011 c NEW SOLUTION FOUND: -3972680 @ 451.15 @ #Dec. 234015 c NEW SOLUTION FOUND: -3972721 @ 451.2 @ #Dec. 234039 c NEW SOLUTION FOUND: -3972821 @ 451.28 @ #Dec. 234066 c NEW SOLUTION FOUND: -3972831 @ 451.36 @ #Dec. 234091 c NEW SOLUTION FOUND: -3972991 @ 451.89 @ #Dec. 234200 c NEW SOLUTION FOUND: -3973141 @ 451.89 @ #Dec. 234205 c NEW SOLUTION FOUND: -3973156 @ 451.89 @ #Dec. 234207 c NEW SOLUTION FOUND: -3973197 @ 451.94 @ #Dec. 234231 c NEW SOLUTION FOUND: -3973297 @ 452 @ #Dec. 234256 c NEW SOLUTION FOUND: -3973307 @ 452 @ #Dec. 234267 c NEW SOLUTION FOUND: -3973415 @ 453.32 @ #Dec. 234545 c NEW SOLUTION FOUND: -3973461 @ 453.61 @ #Dec. 234596 c NEW SOLUTION FOUND: -3973541 @ 453.64 @ #Dec. 234614 c NEW SOLUTION FOUND: -3973653 @ 453.73 @ #Dec. 234639 c NEW SOLUTION FOUND: -3973673 @ 454.01 @ #Dec. 234698 c NEW SOLUTION FOUND: -3973773 @ 454.03 @ #Dec. 234712 c NEW SOLUTION FOUND: -3973783 @ 454.03 @ #Dec. 234724 c NEW SOLUTION FOUND: -3973943 @ 454.38 @ #Dec. 234838 c NEW SOLUTION FOUND: -3974063 @ 454.38 @ #Dec. 234844 c NEW SOLUTION FOUND: -3974108 @ 454.38 @ #Dec. 234847 c NEW SOLUTION FOUND: -3974149 @ 454.42 @ #Dec. 234866 c NEW SOLUTION FOUND: -3974249 @ 454.46 @ #Dec. 234889 c NEW SOLUTION FOUND: -3974259 @ 454.47 @ #Dec. 234900 c NEW SOLUTION FOUND: -3974303 @ 456.18 @ #Dec. 235236 c NEW SOLUTION FOUND: -3974431 @ 456.32 @ #Dec. 235278 c NEW SOLUTION FOUND: -3974523 @ 456.55 @ #Dec. 235336 c NEW SOLUTION FOUND: -3974605 @ 456.57 @ #Dec. 235352 c NEW SOLUTION FOUND: -3974625 @ 456.91 @ #Dec. 235407 c NEW SOLUTION FOUND: -3974735 @ 456.95 @ #Dec. 235438 c NEW SOLUTION FOUND: -3974777 @ 457.6 @ #Dec. 235583 c NEW SOLUTION FOUND: -3974807 @ 457.6 @ #Dec. 235587 c NEW SOLUTION FOUND: -3974822 @ 457.61 @ #Dec. 235589 c NEW SOLUTION FOUND: -3974863 @ 457.65 @ #Dec. 235608 c NEW SOLUTION FOUND: -3974973 @ 457.7 @ #Dec. 235639 c NEW SOLUTION FOUND: -3975015 @ 458.34 @ #Dec. 235782 c NEW SOLUTION FOUND: -3975060 @ 458.35 @ #Dec. 235785 c NEW SOLUTION FOUND: -3975101 @ 458.39 @ #Dec. 235805 c NEW SOLUTION FOUND: -3975211 @ 458.49 @ #Dec. 235863 c NEW SOLUTION FOUND: -3975295 @ 462.57 @ #Dec. 236695 c NEW SOLUTION FOUND: -3975375 @ 462.83 @ #Dec. 236765 c NEW SOLUTION FOUND: -3975435 @ 463.09 @ #Dec. 236822 c NEW SOLUTION FOUND: -3975485 @ 463.1 @ #Dec. 236838 c NEW SOLUTION FOUND: -3975567 @ 464.43 @ #Dec. 237098 c NEW SOLUTION FOUND: -3975627 @ 464.58 @ #Dec. 237174 c NEW SOLUTION FOUND: -3975637 @ 464.6 @ #Dec. 237193 c NEW SOLUTION FOUND: -3975805 @ 464.87 @ #Dec. 237263 c NEW SOLUTION FOUND: -3975865 @ 465.05 @ #Dec. 237337 c NEW SOLUTION FOUND: -3975875 @ 465.06 @ #Dec. 237356 c NEW SOLUTION FOUND: -3976737 @ 467.22 @ #Dec. 237969 c NEW SOLUTION FOUND: -3976827 @ 467.22 @ #Dec. 237983 c NEW SOLUTION FOUND: -3976842 @ 467.22 @ #Dec. 237993 c NEW SOLUTION FOUND: -3976929 @ 467.33 @ #Dec. 238020 c NEW SOLUTION FOUND: -3976989 @ 467.33 @ #Dec. 238033 c NEW SOLUTION FOUND: -3977019 @ 467.33 @ #Dec. 238042 c NEW SOLUTION FOUND: -3977034 @ 467.34 @ #Dec. 238049 c NEW SOLUTION FOUND: -3977208 @ 467.46 @ #Dec. 238105 c NEW SOLUTION FOUND: -3978217 @ 467.47 @ #Dec. 238116 c NEW SOLUTION FOUND: -3978232 @ 467.47 @ #Dec. 238122 c NEW SOLUTION FOUND: -3978368 @ 467.48 @ #Dec. 238134 c NEW SOLUTION FOUND: -3978377 @ 467.64 @ #Dec. 238192 c NEW SOLUTION FOUND: -3978409 @ 467.7 @ #Dec. 238227 c NEW SOLUTION FOUND: -3978437 @ 467.77 @ #Dec. 238253 c NEW SOLUTION FOUND: -3978447 @ 467.79 @ #Dec. 238276 c NEW SOLUTION FOUND: -3978519 @ 467.8 @ #Dec. 238289 c NEW SOLUTION FOUND: -3978627 @ 468.26 @ #Dec. 238436 c NEW SOLUTION FOUND: -3978659 @ 468.29 @ #Dec. 238457 c NEW SOLUTION FOUND: -3978697 @ 468.32 @ #Dec. 238481 c NEW SOLUTION FOUND: -3978769 @ 468.33 @ #Dec. 238494 c NEW SOLUTION FOUND: -3978781 @ 468.92 @ #Dec. 238674 c NEW SOLUTION FOUND: -3978909 @ 471.11 @ #Dec. 239100 c NEW SOLUTION FOUND: -3978947 @ 471.48 @ #Dec. 239190 c NEW SOLUTION FOUND: -3979019 @ 471.49 @ #Dec. 239199 c NEW SOLUTION FOUND: -3979063 @ 477.1 @ #Dec. 240112 c NEW SOLUTION FOUND: -3979365 @ 477.19 @ #Dec. 240145 c NEW SOLUTION FOUND: -3979603 @ 477.4 @ #Dec. 240200 c NEW SOLUTION FOUND: -3979623 @ 478.59 @ #Dec. 240386 c NEW SOLUTION FOUND: -3979861 @ 478.75 @ #Dec. 240469 c NEW SOLUTION FOUND: -3979889 @ 479.6 @ #Dec. 240728 c NEW SOLUTION FOUND: -3979899 @ 479.6 @ #Dec. 240742 c NEW SOLUTION FOUND: -3979961 @ 479.65 @ #Dec. 240755 c NEW SOLUTION FOUND: -3979971 @ 479.67 @ #Dec. 240766 c NEW SOLUTION FOUND: -3980067 @ 479.81 @ #Dec. 240819 c NEW SOLUTION FOUND: -3980099 @ 480.06 @ #Dec. 240916 c NEW SOLUTION FOUND: -3980127 @ 480.38 @ #Dec. 241049 c NEW SOLUTION FOUND: -3980137 @ 480.39 @ #Dec. 241066 c NEW SOLUTION FOUND: -3980199 @ 480.55 @ #Dec. 241128 c NEW SOLUTION FOUND: -3980209 @ 480.57 @ #Dec. 241143 c NEW SOLUTION FOUND: -3980225 @ 528.49 @ #Dec. 248373 c NEW SOLUTION FOUND: -3980337 @ 534.24 @ #Dec. 251271 c NEW SOLUTION FOUND: -3980493 @ 534.53 @ #Dec. 251416 c NEW SOLUTION FOUND: -3980511 @ 534.6 @ #Dec. 251461 c NEW SOLUTION FOUND: -3980797 @ 534.67 @ #Dec. 251492 c NEW SOLUTION FOUND: -3980813 @ 534.74 @ #Dec. 251511 c NEW SOLUTION FOUND: -3981499 @ 536.05 @ #Dec. 252774 c NEW SOLUTION FOUND: -3981515 @ 536.12 @ #Dec. 252794 c NEW SOLUTION FOUND: -3981573 @ 536.49 @ #Dec. 252863 c NEW SOLUTION FOUND: -3981593 @ 536.51 @ #Dec. 252882 c NEW SOLUTION FOUND: -3981603 @ 536.52 @ #Dec. 252895 c NEW SOLUTION FOUND: -3981667 @ 536.56 @ #Dec. 252916 c NEW SOLUTION FOUND: -3981683 @ 536.57 @ #Dec. 252928 c NEW SOLUTION FOUND: -3981749 @ 536.73 @ #Dec. 252963 c NEW SOLUTION FOUND: -3981765 @ 536.77 @ #Dec. 252981 c NEW SOLUTION FOUND: -3981811 @ 537.18 @ #Dec. 253217 c NEW SOLUTION FOUND: -3981891 @ 537.22 @ #Dec. 253237 c NEW SOLUTION FOUND: -3981987 @ 537.26 @ #Dec. 253266 c NEW SOLUTION FOUND: -3982003 @ 537.32 @ #Dec. 253305 c NEW SOLUTION FOUND: -3982009 @ 544.8 @ #Dec. 256881 c NEW SOLUTION FOUND: -3982109 @ 544.83 @ #Dec. 256893 c NEW SOLUTION FOUND: -3982419 @ 544.85 @ #Dec. 256913 c NEW SOLUTION FOUND: -3982459 @ 544.88 @ #Dec. 256928 c NEW SOLUTION FOUND: -3982489 @ 544.88 @ #Dec. 256941 c NEW SOLUTION FOUND: -3982551 @ 544.95 @ #Dec. 256972 c NEW SOLUTION FOUND: -3982553 @ 544.95 @ #Dec. 256990 c NEW SOLUTION FOUND: -3982561 @ 544.96 @ #Dec. 256999 c NEW SOLUTION FOUND: -3982563 @ 546.78 @ #Dec. 257282 c NEW SOLUTION FOUND: -3982609 @ 546.79 @ #Dec. 257303 c NEW SOLUTION FOUND: -3982693 @ 553.89 @ #Dec. 258838 c NEW SOLUTION FOUND: -3982803 @ 553.93 @ #Dec. 258862 c NEW SOLUTION FOUND: -3982835 @ 554.09 @ #Dec. 258947 c NEW SOLUTION FOUND: -3982873 @ 554.18 @ #Dec. 259019 c NEW SOLUTION FOUND: -3982899 @ 554.19 @ #Dec. 259045 c NEW SOLUTION FOUND: -3982945 @ 554.2 @ #Dec. 259067 c NEW SOLUTION FOUND: -3982959 @ 554.45 @ #Dec. 259209 c NEW SOLUTION FOUND: -3982969 @ 554.46 @ #Dec. 259249 c NEW SOLUTION FOUND: -3982995 @ 554.46 @ #Dec. 259274 c NEW SOLUTION FOUND: -3983031 @ 554.47 @ #Dec. 259299 c NEW SOLUTION FOUND: -3983041 @ 554.48 @ #Dec. 259319 c NEW SOLUTION FOUND: -3983075 @ 555.8 @ #Dec. 259679 c NEW SOLUTION FOUND: -3983185 @ 555.85 @ #Dec. 259718 c NEW SOLUTION FOUND: -4001015 @ 595.62 @ #Dec. 264350 c NEW SOLUTION FOUND: -4001079 @ 595.64 @ #Dec. 264398 c NEW SOLUTION FOUND: -4005274 @ 596.12 @ #Dec. 265102 c NEW SOLUTION FOUND: -4005284 @ 596.14 @ #Dec. 265118 c NEW SOLUTION FOUND: -4005314 @ 596.16 @ #Dec. 265137 c NEW SOLUTION FOUND: -4009127 @ 596.24 @ #Dec. 265222 c NEW SOLUTION FOUND: -4009154 @ 596.26 @ #Dec. 265244 c NEW SOLUTION FOUND: -4009257 @ 596.28 @ #Dec. 265265 c NEW SOLUTION FOUND: -4009287 @ 596.29 @ #Dec. 265279 c NEW SOLUTION FOUND: -4009314 @ 596.32 @ #Dec. 265316 c NEW SOLUTION FOUND: -4011287 @ 596.78 @ #Dec. 266248 c NEW SOLUTION FOUND: -4011314 @ 596.91 @ #Dec. 266431 c NEW SOLUTION FOUND: -4023279 @ 600.88 @ #Dec. 269177 c NEW SOLUTION FOUND: -4023339 @ 600.9 @ #Dec. 269198 c NEW SOLUTION FOUND: -4023469 @ 600.93 @ #Dec. 269216 c NEW SOLUTION FOUND: -4031531 @ 600.96 @ #Dec. 269242 c NEW SOLUTION FOUND: -4031661 @ 601.03 @ #Dec. 269270 c NEW SOLUTION FOUND: -4031691 @ 601.1 @ #Dec. 269300 c NEW SOLUTION FOUND: -4035181 @ 601.16 @ #Dec. 269329 c NEW SOLUTION FOUND: -4035191 @ 601.18 @ #Dec. 269346 c NEW SOLUTION FOUND: -4035561 @ 601.22 @ #Dec. 269371 c NEW SOLUTION FOUND: -4035691 @ 601.26 @ #Dec. 269393 c NEW SOLUTION FOUND: -4035715 @ 601.47 @ #Dec. 269479 c NEW SOLUTION FOUND: -4035855 @ 601.85 @ #Dec. 269637 c NEW SOLUTION FOUND: -4036355 @ 601.87 @ #Dec. 269656 c NEW SOLUTION FOUND: -4036435 @ 601.9 @ #Dec. 269680 c NEW SOLUTION FOUND: -4037075 @ 601.92 @ #Dec. 269703 c NEW SOLUTION FOUND: -4037205 @ 601.95 @ #Dec. 269729 c NEW SOLUTION FOUND: -4037315 @ 602.01 @ #Dec. 269765 c NEW SOLUTION FOUND: -4037345 @ 602.04 @ #Dec. 269787 c NEW SOLUTION FOUND: -4037445 @ 602.09 @ #Dec. 269815 c NEW SOLUTION FOUND: -4037475 @ 602.14 @ #Dec. 269841 c NEW SOLUTION FOUND: -4037507 @ 602.39 @ #Dec. 269968 c NEW SOLUTION FOUND: -4037537 @ 602.43 @ #Dec. 269990 c NEW SOLUTION FOUND: -4037637 @ 602.46 @ #Dec. 270013 c NEW SOLUTION FOUND: -4037667 @ 602.5 @ #Dec. 270034 c NEW SOLUTION FOUND: -4037685 @ 603.89 @ #Dec. 270508 c NEW SOLUTION FOUND: -4037715 @ 603.93 @ #Dec. 270529 c NEW SOLUTION FOUND: -4037739 @ 604.44 @ #Dec. 270782 c NEW SOLUTION FOUND: -4037760 @ 607.95 @ #Dec. 272626 c NEW SOLUTION FOUND: -4037771 @ 608.05 @ #Dec. 272702 c NEW SOLUTION FOUND: -4037781 @ 608.06 @ #Dec. 272715 c NEW SOLUTION FOUND: -4037798 @ 608.6 @ #Dec. 273073 c NEW SOLUTION FOUND: -4037808 @ 608.69 @ #Dec. 273166 c NEW SOLUTION FOUND: -4037835 @ 609.65 @ #Dec. 273618 c NEW SOLUTION FOUND: -4037840 @ 609.68 @ #Dec. 273640 c NEW SOLUTION FOUND: -4037850 @ 609.69 @ #Dec. 273655 c NEW SOLUTION FOUND: -4037894 @ 617.38 @ #Dec. 276210 c NEW SOLUTION FOUND: -4037904 @ 617.38 @ #Dec. 276216 c NEW SOLUTION FOUND: -4037921 @ 618.45 @ #Dec. 276570 c NEW SOLUTION FOUND: -4037931 @ 618.45 @ #Dec. 276583 c NEW SOLUTION FOUND: -4037936 @ 618.49 @ #Dec. 276622 c NEW SOLUTION FOUND: -4037946 @ 618.5 @ #Dec. 276639 c NEW SOLUTION FOUND: -4038000 @ 628.4 @ #Dec. 279827 c NEW SOLUTION FOUND: -4038069 @ 629 @ #Dec. 280297 c NEW SOLUTION FOUND: -4038111 @ 638.36 @ #Dec. 282178 c NEW SOLUTION FOUND: -4038138 @ 641.2 @ #Dec. 282908 c NEW SOLUTION FOUND: -4038180 @ 642.25 @ #Dec. 283952 c NEW SOLUTION FOUND: -4038207 @ 651.33 @ #Dec. 287264 c NEW SOLUTION FOUND: -4038222 @ 651.36 @ #Dec. 287274 c NEW SOLUTION FOUND: -4038224 @ 651.44 @ #Dec. 287359 c NEW SOLUTION FOUND: -4038234 @ 651.46 @ #Dec. 287378 c NEW SOLUTION FOUND: -4038251 @ 657.11 @ #Dec. 294830 c NEW SOLUTION FOUND: -4038261 @ 657.12 @ #Dec. 294846 c NEW SOLUTION FOUND: -4038266 @ 657.36 @ #Dec. 295929 c NEW SOLUTION FOUND: -4038276 @ 657.49 @ #Dec. 296962 c NEW SOLUTION FOUND: -4038324 @ 661.8 @ #Dec. 302978 c NEW SOLUTION FOUND: -4038330 @ 662.3 @ #Dec. 303840 c NEW SOLUTION FOUND: -4038362 @ 665.31 @ #Dec. 305052 c NEW SOLUTION FOUND: -4038372 @ 665.33 @ #Dec. 305104 c NEW SOLUTION FOUND: -4038399 @ 665.88 @ #Dec. 305404 c NEW SOLUTION FOUND: -4038441 @ 667.12 @ #Dec. 306519 c NEW SOLUTION FOUND: -4038468 @ 668.38 @ #Dec. 307558 c NEW SOLUTION FOUND: -4038483 @ 669.79 @ #Dec. 308292 c NEW SOLUTION FOUND: -4038495 @ 669.84 @ #Dec. 308358 c NEW SOLUTION FOUND: -4038537 @ 677.18 @ #Dec. 310808 c NEW SOLUTION FOUND: -4038591 @ 679.53 @ #Dec. 311516 c NEW SOLUTION FOUND: -4038660 @ 700.27 @ #Dec. 318395 c NEW SOLUTION FOUND: -4038702 @ 704.73 @ #Dec. 326799 c NEW SOLUTION FOUND: -4038706 @ 706.1 @ #Dec. 328579 c NEW SOLUTION FOUND: -4038756 @ 706.1 @ #Dec. 328594 c NEW SOLUTION FOUND: -4038771 @ 708.13 @ #Dec. 332547 c NEW SOLUTION FOUND: -4038788 @ 708.16 @ #Dec. 332574 c NEW SOLUTION FOUND: -4038798 @ 708.18 @ #Dec. 332592 c NEW SOLUTION FOUND: -4038867 @ 727.43 @ #Dec. 344051 c NEW SOLUTION FOUND: -4038885 @ 728.19 @ #Dec. 344588 c NEW SOLUTION FOUND: -4038889 @ 728.23 @ #Dec. 344623 c NEW SOLUTION FOUND: -4038897 @ 728.25 @ #Dec. 344644 c NEW SOLUTION FOUND: -4038911 @ 728.4 @ #Dec. 344782 c NEW SOLUTION FOUND: -4038921 @ 728.45 @ #Dec. 344840 c NEW SOLUTION FOUND: -4038945 @ 732.39 @ #Dec. 346547 c NEW SOLUTION FOUND: -4038953 @ 732.46 @ #Dec. 346879 c NEW SOLUTION FOUND: -4038963 @ 732.7 @ #Dec. 347585 c NEW SOLUTION FOUND: -4039005 @ 734.2 @ #Dec. 349943 c NEW SOLUTION FOUND: -4039040 @ 736.51 @ #Dec. 350826 c NEW SOLUTION FOUND: -4039155 @ 736.59 @ #Dec. 350891 c NEW SOLUTION FOUND: -4039170 @ 736.62 @ #Dec. 350908 c Restart #34 #Var: 588 #Dec: 358829 LB: -16515027 @ 746.22 c Restart #35 #Var: 588 #Dec: 375839 LB: -16515027 @ 800.72 c Restart #36 #Var: 588 #Dec: 383113 LB: -16515027 @ 806.45 c Restart #37 #Var: 588 #Dec: 402348 LB: -16515027 @ 882.52 c CHANGE to MIS mode... UB: -4039170 MIS: -16515027 LPR: -2147483648 (0) Diff: 0.0076904 c Restart #0 #Var: 588 #Dec: 411775 LB: -16515027 @ 974.96 c Restart #1 #Var: 588 #Dec: 412032 LB: -16515027 @ 975.73 c Restart #2 #Var: 588 #Dec: 412483 LB: -16515027 @ 977.75 c Restart #3 #Var: 588 #Dec: 414086 LB: -16515027 @ 979.25 c Restart #4 #Var: 588 #Dec: 418457 LB: -16515027 @ 986.64 c Restart #5 #Var: 588 #Dec: 421174 LB: -16515027 @ 994.03 c Restart #6 #Var: 587 #Dec: 424146 LB: -16515027 @ 1003.6 c Restart #7 #Var: 587 #Dec: 427718 LB: -16515027 @ 1018.8 c Restart #8 #Var: 587 #Dec: 430067 LB: -16515027 @ 1047.8 c NEW SOLUTION FOUND: -4098418 @ 1060.8 @ #Dec. 433869 c NEW SOLUTION FOUND: -4098546 @ 1060.8 @ #Dec. 433872 c NEW SOLUTION FOUND: -4098610 @ 1060.8 @ #Dec. 433877 c NEW SOLUTION FOUND: -4098626 @ 1060.8 @ #Dec. 433880 c NEW SOLUTION FOUND: -4098634 @ 1060.8 @ #Dec. 433881 c NEW SOLUTION FOUND: -4098650 @ 1060.8 @ #Dec. 433885 c NEW SOLUTION FOUND: -4098666 @ 1060.8 @ #Dec. 433888 c NEW SOLUTION FOUND: -4098714 @ 1060.8 @ #Dec. 433895 c NEW SOLUTION FOUND: -4098774 @ 1060.8 @ #Dec. 433898 c NEW SOLUTION FOUND: -4098794 @ 1060.8 @ #Dec. 433900 c NEW SOLUTION FOUND: -4098902 @ 1060.8 @ #Dec. 433906 c NEW SOLUTION FOUND: -4098922 @ 1060.8 @ #Dec. 433911 c NEW SOLUTION FOUND: -4098962 @ 1060.8 @ #Dec. 433919 c NEW SOLUTION FOUND: -4098972 @ 1060.8 @ #Dec. 433928 c NEW SOLUTION FOUND: -4099032 @ 1060.9 @ #Dec. 433940 c NEW SOLUTION FOUND: -4099884 @ 1061 @ #Dec. 433993 c NEW SOLUTION FOUND: -4100012 @ 1061 @ #Dec. 434014 c NEW SOLUTION FOUND: -4100032 @ 1061 @ #Dec. 434043 c NEW SOLUTION FOUND: -4100988 @ 1061.5 @ #Dec. 434257 c NEW SOLUTION FOUND: -4102012 @ 1061.6 @ #Dec. 434277 c NEW SOLUTION FOUND: -4102502 @ 1061.6 @ #Dec. 434299 c NEW SOLUTION FOUND: -4102972 @ 1061.6 @ #Dec. 434336 c NEW SOLUTION FOUND: -4102992 @ 1061.6 @ #Dec. 434351 c NEW SOLUTION FOUND: -4103002 @ 1061.6 @ #Dec. 434363 c NEW SOLUTION FOUND: -4103932 @ 1061.7 @ #Dec. 434385 c NEW SOLUTION FOUND: -4104012 @ 1061.7 @ #Dec. 434404 c NEW SOLUTION FOUND: -4104032 @ 1061.7 @ #Dec. 434418 c NEW SOLUTION FOUND: -4105212 @ 1061.8 @ #Dec. 434449 c NEW SOLUTION FOUND: -4105532 @ 1061.8 @ #Dec. 434468 c NEW SOLUTION FOUND: -4105992 @ 1062 @ #Dec. 434663 c NEW SOLUTION FOUND: -4106002 @ 1062 @ #Dec. 434676 c NEW SOLUTION FOUND: -4107032 @ 1062.1 @ #Dec. 434694 c NEW SOLUTION FOUND: -4107132 @ 1062.2 @ #Dec. 434799 c NEW SOLUTION FOUND: -4107772 @ 1062.3 @ #Dec. 434844 c NEW SOLUTION FOUND: -4108012 @ 1062.3 @ #Dec. 434876 c NEW SOLUTION FOUND: -4108032 @ 1062.3 @ #Dec. 434889 c NEW SOLUTION FOUND: -4108123 @ 1065.5 @ #Dec. 435621 c NEW SOLUTION FOUND: -4108143 @ 1065.6 @ #Dec. 435658 c NEW SOLUTION FOUND: -4108185 @ 1067.6 @ #Dec. 436076 c NEW SOLUTION FOUND: -4108193 @ 1067.7 @ #Dec. 436124 c NEW SOLUTION FOUND: -4108293 @ 1067.7 @ #Dec. 436147 c NEW SOLUTION FOUND: -4108308 @ 1067.8 @ #Dec. 436184 c NEW SOLUTION FOUND: -4108335 @ 1068 @ #Dec. 436285 c NEW SOLUTION FOUND: -4108489 @ 1069 @ #Dec. 436668 c NEW SOLUTION FOUND: -4108739 @ 1069.1 @ #Dec. 436701 c NEW SOLUTION FOUND: -4109713 @ 1070.4 @ #Dec. 437220 c NEW SOLUTION FOUND: -4109963 @ 1070.4 @ #Dec. 437239 c NEW SOLUTION FOUND: -4110271 @ 1071 @ #Dec. 437526 c NEW SOLUTION FOUND: -4110298 @ 1071.1 @ #Dec. 437635 c NEW SOLUTION FOUND: -4110340 @ 1071.7 @ #Dec. 438032 c NEW SOLUTION FOUND: -4110367 @ 1073.5 @ #Dec. 439975 c NEW SOLUTION FOUND: -4110394 @ 1073.9 @ #Dec. 440185 c NEW SOLUTION FOUND: -4110396 @ 1075.4 @ #Dec. 441032 c NEW SOLUTION FOUND: -4110424 @ 1075.5 @ #Dec. 441070 c NEW SOLUTION FOUND: -4110436 @ 1075.6 @ #Dec. 441110 c NEW SOLUTION FOUND: -4110463 @ 1075.8 @ #Dec. 441255 c NEW SOLUTION FOUND: -4110478 @ 1095.4 @ #Dec. 443566 c NEW SOLUTION FOUND: -4110492 @ 1096.2 @ #Dec. 443736 c NEW SOLUTION FOUND: -4110532 @ 1096.3 @ #Dec. 443772 c NEW SOLUTION FOUND: -4110589 @ 1097.2 @ #Dec. 443959 c NEW SOLUTION FOUND: -4110601 @ 1097.2 @ #Dec. 443992 c NEW SOLUTION FOUND: -4110623 @ 1117.3 @ #Dec. 446919 c NEW SOLUTION FOUND: -4110635 @ 1117.3 @ #Dec. 447022 c NEW SOLUTION FOUND: -4110836 @ 1118.1 @ #Dec. 447493 c NEW SOLUTION FOUND: -4110916 @ 1118.2 @ #Dec. 447519 c NEW SOLUTION FOUND: -4111006 @ 1118.2 @ #Dec. 447552 c NEW SOLUTION FOUND: -4111018 @ 1118.6 @ #Dec. 447684 c NEW SOLUTION FOUND: -4111045 @ 1119.1 @ #Dec. 447872 c NEW SOLUTION FOUND: -4111317 @ 1126.3 @ #Dec. 449381 c NEW SOLUTION FOUND: -4111349 @ 1126.4 @ #Dec. 449411 c NEW SOLUTION FOUND: -4111373 @ 1126.4 @ #Dec. 449475 c NEW SOLUTION FOUND: -4111795 @ 1126.6 @ #Dec. 449609 c NEW SOLUTION FOUND: -4113295 @ 1126.6 @ #Dec. 449615 c NEW SOLUTION FOUND: -4113343 @ 1126.6 @ #Dec. 449645 c NEW SOLUTION FOUND: -4113359 @ 1126.7 @ #Dec. 449701 c NEW SOLUTION FOUND: -4113419 @ 1126.7 @ #Dec. 449778 c NEW SOLUTION FOUND: -4113451 @ 1126.8 @ #Dec. 449866 c NEW SOLUTION FOUND: -4113459 @ 1126.8 @ #Dec. 449880 c NEW SOLUTION FOUND: -4113505 @ 1126.9 @ #Dec. 449947 c NEW SOLUTION FOUND: -4113545 @ 1127 @ #Dec. 449999 c NEW SOLUTION FOUND: -4113553 @ 1127.4 @ #Dec. 450190 c NEW SOLUTION FOUND: -4113571 @ 1128.3 @ #Dec. 450790 c NEW SOLUTION FOUND: -4113579 @ 1128.8 @ #Dec. 451003 c NEW SOLUTION FOUND: -4113608 @ 1129.8 @ #Dec. 451495 c NEW SOLUTION FOUND: -4113623 @ 1129.8 @ #Dec. 451524 c NEW SOLUTION FOUND: -4113635 @ 1129.9 @ #Dec. 451551 c NEW SOLUTION FOUND: -4114153 @ 1130.1 @ #Dec. 451613 c NEW SOLUTION FOUND: -4114403 @ 1130.1 @ #Dec. 451620 c NEW SOLUTION FOUND: -4114491 @ 1130.1 @ #Dec. 451642 c NEW SOLUTION FOUND: -4114764 @ 1131.2 @ #Dec. 452215 c NEW SOLUTION FOUND: -4114796 @ 1131.2 @ #Dec. 452250 c NEW SOLUTION FOUND: -4114836 @ 1132 @ #Dec. 453096 c NEW SOLUTION FOUND: -4114868 @ 1132 @ #Dec. 453116 c NEW SOLUTION FOUND: -4114904 @ 1132.3 @ #Dec. 453470 c NEW SOLUTION FOUND: -4114922 @ 1132.4 @ #Dec. 453494 c NEW SOLUTION FOUND: -4114938 @ 1136.3 @ #Dec. 454848 c NEW SOLUTION FOUND: -4114946 @ 1136.4 @ #Dec. 454872 c NEW SOLUTION FOUND: -4115074 @ 1136.4 @ #Dec. 454894 c NEW SOLUTION FOUND: -4115132 @ 1136.9 @ #Dec. 455370 c NEW SOLUTION FOUND: -4115266 @ 1137.2 @ #Dec. 455692 c NEW SOLUTION FOUND: -4115276 @ 1137.2 @ #Dec. 455704 c NEW SOLUTION FOUND: -4115319 @ 1137.6 @ #Dec. 456229 c NEW SOLUTION FOUND: -4115329 @ 1137.7 @ #Dec. 456249 c NEW SOLUTION FOUND: -4115335 @ 1137.8 @ #Dec. 456382 c NEW SOLUTION FOUND: -4115345 @ 1137.8 @ #Dec. 456412 c NEW SOLUTION FOUND: -4115527 @ 1142.9 @ #Dec. 458325 c NEW SOLUTION FOUND: -4115537 @ 1143 @ #Dec. 458356 c NEW SOLUTION FOUND: -4115540 @ 1143.6 @ #Dec. 459032 c NEW SOLUTION FOUND: -4115548 @ 1144.4 @ #Dec. 459438 c NEW SOLUTION FOUND: -4115554 @ 1145.3 @ #Dec. 460416 c NEW SOLUTION FOUND: -4115564 @ 1145.4 @ #Dec. 460685 c NEW SOLUTION FOUND: -4116313 @ 1157.3 @ #Dec. 463775 c NEW SOLUTION FOUND: -4116325 @ 1157.5 @ #Dec. 463941 c NEW SOLUTION FOUND: -4116421 @ 1160.6 @ #Dec. 465941 c NEW SOLUTION FOUND: -4116467 @ 1167.2 @ #Dec. 467284 c NEW SOLUTION FOUND: -4116811 @ 1167.9 @ #Dec. 468583 c NEW SOLUTION FOUND: -4116823 @ 1168 @ #Dec. 468857 c NEW SOLUTION FOUND: -4116835 @ 1168.2 @ #Dec. 469064 c NEW SOLUTION FOUND: -4116847 @ 1168.3 @ #Dec. 469269 c NEW SOLUTION FOUND: -4117057 @ 1169.8 @ #Dec. 471081 c NEW SOLUTION FOUND: -4117067 @ 1169.8 @ #Dec. 471086 c NEW SOLUTION FOUND: -4117083 @ 1169.8 @ #Dec. 471097 c NEW SOLUTION FOUND: -4117091 @ 1169.8 @ #Dec. 471106 c NEW SOLUTION FOUND: -4117219 @ 1169.9 @ #Dec. 471121 c NEW SOLUTION FOUND: -4117223 @ 1170 @ #Dec. 471175 c NEW SOLUTION FOUND: -4117235 @ 1170.3 @ #Dec. 471552 c NEW SOLUTION FOUND: -4117247 @ 1170.3 @ #Dec. 471564 c NEW SOLUTION FOUND: -4117555 @ 1172.1 @ #Dec. 473287 c NEW SOLUTION FOUND: -4117805 @ 1172.1 @ #Dec. 473291 c NEW SOLUTION FOUND: -4117820 @ 1172.1 @ #Dec. 473306 c NEW SOLUTION FOUND: -4117835 @ 1172.1 @ #Dec. 473320 c NEW SOLUTION FOUND: -4117847 @ 1172.1 @ #Dec. 473334 c NEW SOLUTION FOUND: -4117996 @ 1172.7 @ #Dec. 473726 c NEW SOLUTION FOUND: -4118011 @ 1172.8 @ #Dec. 473767 c NEW SOLUTION FOUND: -4118038 @ 1172.8 @ #Dec. 473869 c NEW SOLUTION FOUND: -4118118 @ 1172.9 @ #Dec. 473963 c NEW SOLUTION FOUND: -4118347 @ 1173.2 @ #Dec. 474143 c NEW SOLUTION FOUND: -4118743 @ 1173.4 @ #Dec. 474321 c NEW SOLUTION FOUND: -4118807 @ 1173.4 @ #Dec. 474334 c NEW SOLUTION FOUND: -4118823 @ 1173.5 @ #Dec. 474367 c NEW SOLUTION FOUND: -4119260 @ 1173.7 @ #Dec. 474564 c NEW SOLUTION FOUND: -4119270 @ 1173.7 @ #Dec. 474578 c NEW SOLUTION FOUND: -4119286 @ 1173.8 @ #Dec. 474602 c NEW SOLUTION FOUND: -4119515 @ 1174.8 @ #Dec. 475177 c NEW SOLUTION FOUND: -4119542 @ 1174.9 @ #Dec. 475291 c NEW SOLUTION FOUND: -4119687 @ 1175.6 @ #Dec. 476139 c NEW SOLUTION FOUND: -4119937 @ 1175.6 @ #Dec. 476195 c NEW SOLUTION FOUND: -4119953 @ 1176 @ #Dec. 476553 c NEW SOLUTION FOUND: -4119965 @ 1176.1 @ #Dec. 476740 c NEW SOLUTION FOUND: -4119991 @ 1177 @ #Dec. 477273 c NEW SOLUTION FOUND: -4120011 @ 1177.3 @ #Dec. 477610 c NEW SOLUTION FOUND: -4120019 @ 1177.6 @ #Dec. 478192 c NEW SOLUTION FOUND: -4120033 @ 1180.2 @ #Dec. 479136 c NEW SOLUTION FOUND: -4120061 @ 1180.3 @ #Dec. 479174 c NEW SOLUTION FOUND: -4120115 @ 1181.9 @ #Dec. 479775 c NEW SOLUTION FOUND: -4120130 @ 1182 @ #Dec. 479806 c NEW SOLUTION FOUND: -4120408 @ 1182.9 @ #Dec. 480213 c NEW SOLUTION FOUND: -4120442 @ 1184.1 @ #Dec. 481132 c NEW SOLUTION FOUND: -4120450 @ 1184.1 @ #Dec. 481206 c NEW SOLUTION FOUND: -4120492 @ 1185 @ #Dec. 481860 c NEW SOLUTION FOUND: -4120509 @ 1185.7 @ #Dec. 482374 c NEW SOLUTION FOUND: -4120573 @ 1185.8 @ #Dec. 482500 c NEW SOLUTION FOUND: -4120587 @ 1186.5 @ #Dec. 482913 c NEW SOLUTION FOUND: -4120603 @ 1186.6 @ #Dec. 483014 c NEW SOLUTION FOUND: -4120611 @ 1186.7 @ #Dec. 483097 c NEW SOLUTION FOUND: -4120651 @ 1187.2 @ #Dec. 483689 c NEW SOLUTION FOUND: -4120675 @ 1187.6 @ #Dec. 484185 c NEW SOLUTION FOUND: -4120825 @ 1194.9 @ #Dec. 487584 c NEW SOLUTION FOUND: -4120833 @ 1195 @ #Dec. 487628 s SATISFIABLE v -X02_bit_10 X02_bit_9 X02_bit_8 X02_bit_7 X02_bit_6 -X02_bit_5 X02_bit_4 -X02_bit_3 -X02_bit_2 -X02_bit_1 -X02_bit0 -X02_bit1 X02_bit2 -X02_bit3 X02_bit4 X02_bit5 -X02_bit6 -X02_bit7 -X02_bit8 -X02_bit9 -X02_bit10 -X02_bit11 -X02_bit12 -X02_bit13 -X02_bit14 -X02_bit15 -X02_bit16 -X02_bit17 -X02_bit18 -X02_bit19 X14_bit_10 X14_bit_9 -X14_bit_8 -X14_bit_7 X14_bit_6 -X14_bit_5 X14_bit_4 X14_bit_3 -X14_bit_2 -X14_bit_1 X14_bit0 -X14_bit1 X14_bit2 -X14_bit3 -X14_bit4 X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X14_bit13 -X14_bit14 -X14_bit15 -X14_bit16 -X14_bit17 -X14_bit18 -X14_bit19 X23_bit_10 X23_bit_9 X23_bit_8 X23_bit_7 X23_bit_6 X23_bit_5 X23_bit_4 X23_bit_3 X23_bit_2 X23_bit_1 X23_bit0 X23_bit1 X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X23_bit13 -X23_bit14 -X23_bit15 -X23_bit16 -X23_bit17 -X23_bit18 -X23_bit19 X36_bit_10 -X36_bit_9 -X36_bit_8 -X36_bit_7 X36_bit_6 -X36_bit_5 -X36_bit_4 X36_bit_3 -X36_bit_2 -X36_bit_1 X36_bit0 -X36_bit1 -X36_bit2 -X36_bit3 -X36_bit4 X36_bit5 X36_bit6 -X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X36_bit13 -X36_bit14 -X36_bit15 -X36_bit16 -X36_bit17 -X36_bit18 -X36_bit19 -X39_bit_10 -X39_bit_9 -X39_bit_8 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X39_bit13 -X39_bit14 -X39_bit15 -X39_bit16 -X39_bit17 -X39_bit18 -X39_bit19 -X01_bit_10 -X01_bit_9 X01_bit_8 X01_bit_7 -X01_bit_6 X01_bit_5 X01_bit_4 X01_bit_3 X01_bit_2 X01_bit_1 X01_bit0 X01_bit1 X01_bit2 X01_bit3 -X01_bit4 -X01_bit5 X01_bit6 -X01_bit7 -X01_bit8 -X01_bit9 -X01_bit10 -X01_bit11 -X01_bit12 -X01_bit13 -X01_bit14 -X01_bit15 -X01_bit16 -X01_bit17 -X01_bit18 -X01_bit19 -X03_bit_10 X03_bit_9 X03_bit_8 X03_bit_7 -X03_bit_6 -X03_bit_5 -X03_bit_4 X03_bit_3 X03_bit_2 X03_bit_1 X03_bit0 X03_bit1 -X03_bit2 X03_bit3 X03_bit4 -X03_bit5 -X03_bit6 -X03_bit7 -X03_bit8 -X03_bit9 -X03_bit10 -X03_bit11 -X03_bit12 -X03_bit13 -X03_bit14 -X03_bit15 -X03_bit16 -X03_bit17 -X03_bit18 -X03_bit19 -X04_bit_10 X04_bit_9 X04_bit_8 X04_bit_7 X04_bit_6 -X04_bit_5 -X04_bit_4 -X04_bit_3 X04_bit_2 X04_bit_1 -X04_bit0 -X04_bit1 X04_bit2 -X04_bit3 X04_bit4 -X04_bit5 X04_bit6 -X04_bit7 -X04_bit8 -X04_bit9 -X04_bit10 -X04_bit11 -X04_bit12 -X04_bit13 -X04_bit14 -X04_bit15 -X04_bit16 -X04_bit17 -X04_bit18 -X04_bit19 X06_bit_10 X06_bit_9 -X06_bit_8 X06_bit_7 X06_bit_6 -X06_bit_5 -X06_bit_4 -X06_bit_3 X06_bit_2 -X06_bit_1 X06_bit0 -X06_bit1 -X06_bit2 -X06_bit3 -X06_bit4 -X06_bit5 X06_bit6 -X06_bit7 -X06_bit8 -X06_bit9 -X06_bit10 -X06_bit11 -X06_bit12 -X06_bit13 -X06_bit14 -X06_bit15 -X06_bit16 -X06_bit17 -X06_bit18 -X06_bit19 X07_bit_10 -X07_bit_9 -X07_bit_8 -X07_bit_7 -X07_bit_6 -X07_bit_5 -X07_bit_4 -X07_bit_3 -X07_bit_2 -X07_bit_1 -X07_bit0 -X07_bit1 -X07_bit2 -X07_bit3 -X07_bit4 X07_bit5 -X07_bit6 -X07_bit7 -X07_bit8 -X07_bit9 -X07_bit10 -X07_bit11 -X07_bit12 -X07_bit13 -X07_bit14 -X07_bit15 -X07_bit16 -X07_bit17 -X07_bit18 -X07_bit19 X08_bit_10 X08_bit_9 X08_bit_8 -X08_bit_7 -X08_bit_6 -X08_bit_5 -X08_bit_4 -X08_bit_3 -X08_bit_2 -X08_bit_1 -X08_bit0 -X08_bit1 -X08_bit2 X08_bit3 -X08_bit4 -X08_bit5 -X08_bit6 -X08_bit7 -X08_bit8 -X08_bit9 -X08_bit10 -X08_bit11 -X08_bit12 -X08_bit13 -X08_bit14 -X08_bit15 -X08_bit16 -X08_bit17 -X08_bit18 -X08_bit19 -X09_bit_10 X09_bit_9 -X09_bit_8 -X09_bit_7 -X09_bit_6 X09_bit_5 -X09_bit_4 -X09_bit_3 -X09_bit_2 -X09_bit_1 -X09_bit0 -X09_bit1 -X09_bit2 -X09_bit3 -X09_bit4 -X09_bit5 -X09_bit6 -X09_bit7 -X09_bit8 -X09_bit9 -X09_bit10 -X09_bit11 -X09_bit12 -X09_bit13 -X09_bit14 -X09_bit15 -X09_bit16 -X09_bit17 -X09_bit18 -X09_bit19 -X15_bit_10 X15_bit_9 -X15_bit_8 -X15_bit_7 X15_bit_6 X15_bit_5 X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 -X15_bit1 X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X15_bit13 -X15_bit14 -X15_bit15 -X15_bit16 -X15_bit17 -X15_bit18 -X15_bit19 X16_bit_10 -X16_bit_9 -X16_bit_8 -X16_bit_7 X16_bit_6 -X16_bit_5 X16_bit_4 -X16_bit_3 X16_bit_2 X16_bit_1 -X16_bit0 X16_bit1 X16_bit2 X16_bit3 -X16_bit4 X16_bit5 X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X16_bit13 -X16_bit14 -X16_bit15 -X16_bit16 -X16_bit17 -X16_bit18 -X16_bit19 -X22_bit_10 -X22_bit_9 -X22_bit_8 -X22_bit_7 X22_bit_6 X22_bit_5 X22_bit_4 -X22_bit_3 X22_bit_2 X22_bit_1 X22_bit0 X22_bit1 X22_bit2 X22_bit3 X22_bit4 X22_bit5 X22_bit6 X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X22_bit13 -X22_bit14 -X22_bit15 -X22_bit16 -X22_bit17 -X22_bit18 -X22_bit19 X24_bit_10 -X24_bit_9 -X24_bit_8 -X24_bit_7 X24_bit_6 -X24_bit_5 -X24_bit_4 X24_bit_3 -X24_bit_2 -X24_bit_1 -X24_bit0 -X24_bit1 -X24_bit2 X24_bit3 X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X24_bit13 -X24_bit14 -X24_bit15 -X24_bit16 -X24_bit17 -X24_bit18 -X24_bit19 -X25_bit_10 -X25_bit_9 -X25_bit_8 -X25_bit_7 -X25_bit_6 X25_bit_5 X25_bit_4 X25_bit_3 -X25_bit_2 X25_bit_1 X25_bit0 X25_bit1 X25_bit2 X25_bit3 X25_bit4 -X25_bit5 X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X25_bit13 -X25_bit14 -X25_bit15 -X25_bit16 -X25_bit17 -X25_bit18 -X25_bit19 -X26_bit_10 -X26_bit_9 X26_bit_8 -X26_bit_7 X26_bit_6 -X26_bit_5 -X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 -X26_bit0 X26_bit1 X26_bit2 X26_bit3 -X26_bit4 X26_bit5 X26_bit6 -X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X26_bit13 -X26_bit14 -X26_bit15 -X26_bit16 -X26_bit17 -X26_bit18 -X26_bit19 -X28_bit_10 -X28_bit_9 X28_bit_8 -X28_bit_7 X28_bit_6 X28_bit_5 X28_bit_4 X28_bit_3 -X28_bit_2 X28_bit_1 X28_bit0 -X28_bit1 -X28_bit2 -X28_bit3 X28_bit4 -X28_bit5 X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X28_bit13 -X28_bit14 -X28_bit15 -X28_bit16 -X28_bit17 -X28_bit18 -X28_bit19 -X29_bit_10 -X29_bit_9 -X29_bit_8 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 -X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X29_bit13 -X29_bit14 -X29_bit15 -X29_bit16 -X29_bit17 -X29_bit18 -X29_bit19 -X30_bit_10 -X30_bit_9 -X30_bit_8 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X30_bit13 -X30_bit14 -X30_bit15 -X30_bit16 -X30_bit17 -X30_bit18 -X30_bit19 -X31_bit_10 -X31_bit_9 -X31_bit_8 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X31_bit13 -X31_bit14 -X31_bit15 -X31_bit16 -X31_bit17 -X31_bit18 -X31_bit19 X38_bit_10 X38_bit_9 X38_bit_8 -X38_bit_7 X38_bit_6 -X38_bit_5 -X38_bit_4 X38_bit_3 -X38_bit_2 -X38_bit_1 X38_bit0 X38_bit1 -X38_bit2 -X38_bit3 -X38_bit4 X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X38_bit13 -X38_bit14 -X38_bit15 -X38_bit16 -X38_bit17 -X38_bit18 -X38_bit19 X37_bit_10 -X37_bit_9 X37_bit_8 X37_bit_7 X37_bit_6 -X37_bit_5 -X37_bit_4 X37_bit_3 X37_bit_2 -X37_bit_1 X37_bit0 X37_bit1 -X37_bit2 X37_bit3 X37_bit4 X37_bit5 -X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X37_bit13 -X37_bit14 -X37_bit15 -X37_bit16 -X37_bit17 -X37_bit18 -X37_bit19 -X10_bit_10 -X10_bit_9 -X10_bit_8 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X10_bit13 -X10_bit14 -X10_bit15 -X10_bit16 -X10_bit17 -X10_bit18 -X10_bit19 X11_bit_10 -X11_bit_9 -X11_bit_8 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 -X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X11_bit13 -X11_bit14 -X11_bit15 -X11_bit16 -X11_bit17 -X11_bit18 -X11_bit19 -X12_bit_10 -X12_bit_9 -X12_bit_8 X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X12_bit13 -X12_bit14 -X12_bit15 -X12_bit16 -X12_bit17 -X12_bit18 -X12_bit19 -X13_bit_10 X13_bit_9 -X13_bit_8 -X13_bit_7 -X13_bit_6 X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X13_bit13 -X13_bit14 -X13_bit15 -X13_bit16 -X13_bit17 -X13_bit18 -X13_bit19 -X32_bit_10 -X32_bit_9 -X32_bit_8 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X32_bit13 -X32_bit14 -X32_bit15 -X32_bit16 -X32_bit17 -X32_bit18 -X32_bit19 -X33_bit_10 -X33_bit_9 -X33_bit_8 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 -X33_bit0 -X33_bit1 -X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X33_bit13 -X33_bit14 -X33_bit15 -X33_bit16 -X33_bit17 -X33_bit18 -X33_bit19 -X34_bit_10 -X34_bit_9 -X34_bit_8 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 -X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X34_bit13 -X34_bit14 -X34_bit15 -X34_bit16 -X34_bit17 -X34_bit18 -X34_bit19 -X35_bit_10 -X35_bit_9 -X35_bit_8 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 -X35_bit_1 -X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X35_bit13 -X35_bit14 -X35_bit15 -X35_bit16 -X35_bit17 -X35_bit18 -X35_bit19 c Cost: -4120833 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/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 1738265563 438272 3 4294967295 134512640 134736556 3221221728 3221221728 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/13394/statm): 107 3 90 68 0 39 0 [pid=13394] vsize: 428 open syscall for file /etc/ld.so.preload open syscall for file /usr/local/intel-8.0-20031016/lib/tls/i686/mmx/libosl.so open syscall for file /usr/local/intel-8.0-20031016/lib/tls/i686/libosl.so open syscall for file /usr/local/intel-8.0-20031016/lib/tls/mmx/libosl.so open syscall for file /usr/local/intel-8.0-20031016/lib/tls/libosl.so open syscall for file /usr/local/intel-8.0-20031016/lib/i686/mmx/libosl.so open syscall for file /usr/local/intel-8.0-20031016/lib/i686/libosl.so open syscall for file /usr/local/intel-8.0-20031016/lib/mmx/libosl.so open syscall for file /usr/local/intel-8.0-20031016/lib/libosl.so open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/tls/i686/mmx/libosl.so open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/tls/i686/libosl.so open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/tls/mmx/libosl.so open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/tls/libosl.so open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/i686/mmx/libosl.so open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/i686/libosl.so open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/mmx/libosl.so open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/libosl.so open syscall for file /usr/local/globus-2.4.3/lib/tls/i686/mmx/libosl.so open syscall for file /usr/local/globus-2.4.3/lib/tls/i686/libosl.so open syscall for file /usr/local/globus-2.4.3/lib/tls/mmx/libosl.so open syscall for file /usr/local/globus-2.4.3/lib/tls/libosl.so open syscall for file /usr/local/globus-2.4.3/lib/i686/mmx/libosl.so open syscall for file /usr/local/globus-2.4.3/lib/i686/libosl.so open syscall for file /usr/local/globus-2.4.3/lib/mmx/libosl.so open syscall for file /usr/local/globus-2.4.3/lib/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 /usr/local/intel-8.0-20031016/lib/libstdc++-libc6.2-2.so.3 open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/libstdc++-libc6.2-2.so.3 open syscall for file /usr/local/globus-2.4.3/lib/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 /usr/local/intel-8.0-20031016/lib/libm.so.6 open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/libm.so.6 open syscall for file /usr/local/globus-2.4.3/lib/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 /usr/local/intel-8.0-20031016/lib/libpthread.so.0 open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/libpthread.so.0 open syscall for file /usr/local/globus-2.4.3/lib/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 /usr/local/intel-8.0-20031016/lib/libc.so.6 open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/libc.so.6 open syscall for file /usr/local/globus-2.4.3/lib/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 /usr/local/intel-8.0-20031016/lib/libgcc_s.so.1 open syscall for file /usr/local/pgi-5.1.3/linux86/5.1/lib/libgcc_s.so.1 open syscall for file /usr/local/globus-2.4.3/lib/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/wulflinc1/normalized-mps-v2-20-10-afiro.opb [startup+10.0025 s] Raw data (loadavg): 0.93 0.97 0.99 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 1290 0 0 0 921 26 0 0 25 0 1 0 1738265563 8327168 1202 4294967295 134512640 134736556 3221221728 3221220504 134560344 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 2033 1202 1116 68 0 1965 0 [pid=13394] vsize: 8132 Current children cumulated CPU time (s) 9.47 Current children cumulated vsize (Kb) 8132 [startup+20.0023 s] Raw data (loadavg): 0.94 0.97 0.99 1/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 1596 0 0 0 1842 54 0 0 25 0 1 0 1738265563 9662464 1508 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/13394/statm): 2359 1508 1116 68 0 2291 0 [pid=13394] vsize: 9436 Current children cumulated CPU time (s) 18.96 Current children cumulated vsize (Kb) 9436 [startup+30.0031 s] Raw data (loadavg): 0.95 0.97 0.99 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 1785 0 0 0 2796 69 0 0 25 0 1 0 1738265563 10338304 1697 4294967295 134512640 134736556 3221221728 3221220304 134550704 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 2524 1697 1116 68 0 2456 0 [pid=13394] vsize: 10096 Current children cumulated CPU time (s) 28.65 Current children cumulated vsize (Kb) 10096 [startup+40.0029 s] Raw data (loadavg): 0.95 0.97 0.99 1/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 1849 0 0 0 3752 85 0 0 25 0 1 0 1738265563 10604544 1761 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/13394/statm): 2589 1761 1116 68 0 2521 0 [pid=13394] vsize: 10356 Current children cumulated CPU time (s) 38.37 Current children cumulated vsize (Kb) 10356 [startup+50.0037 s] Raw data (loadavg): 1.04 0.99 0.99 1/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 6009 0 0 0 4668 120 0 0 25 0 1 0 1738265563 27746304 5921 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/13394/statm): 6774 5921 1116 68 0 6706 0 [pid=13394] vsize: 27096 Current children cumulated CPU time (s) 47.88 Current children cumulated vsize (Kb) 27096 [startup+60.0035 s] Raw data (loadavg): 1.03 0.99 0.99 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 12701 0 0 0 5576 161 0 0 25 0 1 0 1738265563 55259136 12609 4294967295 134512640 134736556 3221221728 3221220336 134634145 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 13491 12609 1116 68 0 13423 0 [pid=13394] vsize: 53964 Current children cumulated CPU time (s) 57.37 Current children cumulated vsize (Kb) 53964 [startup+70.0033 s] Raw data (loadavg): 1.03 0.99 0.99 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 18972 0 0 0 6520 189 0 0 25 0 1 0 1738265563 80941056 18878 4294967295 134512640 134736556 3221221728 3221220340 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 19761 18878 1116 68 0 19693 0 [pid=13394] vsize: 79044 Current children cumulated CPU time (s) 67.09 Current children cumulated vsize (Kb) 79044 [startup+80.0041 s] Raw data (loadavg): 1.02 0.99 0.99 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 19274 0 0 0 7515 192 0 0 25 0 1 0 1738265563 82186240 19178 4294967295 134512640 134736556 3221221728 3221220356 134553382 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 20065 19178 1116 68 0 19997 0 [pid=13394] vsize: 80260 Current children cumulated CPU time (s) 77.07 Current children cumulated vsize (Kb) 80260 [startup+90.0039 s] Raw data (loadavg): 1.02 0.99 0.99 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 19760 0 0 0 8507 196 0 0 25 0 1 0 1738265563 84213760 19664 4294967295 134512640 134736556 3221221728 3221220336 134537415 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 20560 19664 1116 68 0 20492 0 [pid=13394] vsize: 82240 Current children cumulated CPU time (s) 87.03 Current children cumulated vsize (Kb) 82240 [startup+100.005 s] Raw data (loadavg): 1.02 0.99 0.99 1/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 20760 0 0 0 9492 203 0 0 25 0 1 0 1738265563 88281088 20664 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/13394/statm): 21553 20664 1116 68 0 21485 0 [pid=13394] vsize: 86212 Current children cumulated CPU time (s) 96.95 Current children cumulated vsize (Kb) 86212 [startup+110.005 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 21822 0 0 0 10451 218 0 0 25 0 1 0 1738265563 92651520 21723 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/13394/statm): 22620 21723 1116 68 0 22552 0 [pid=13394] vsize: 90480 Current children cumulated CPU time (s) 106.69 Current children cumulated vsize (Kb) 90480 [startup+120.005 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 22151 0 0 0 11408 236 0 0 25 0 1 0 1738265563 93978624 22052 4294967295 134512640 134736556 3221221728 3221220464 134605570 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 22944 22052 1116 68 0 22876 0 [pid=13394] vsize: 91776 Current children cumulated CPU time (s) 116.44 Current children cumulated vsize (Kb) 91776 [startup+130.006 s] Raw data (loadavg): 1.08 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 25367 0 0 0 12353 260 0 0 25 0 1 0 1738265563 107233280 25268 4294967295 134512640 134736556 3221221728 3221220272 134551043 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 26180 25268 1116 68 0 26112 0 [pid=13394] vsize: 104720 Current children cumulated CPU time (s) 126.13 Current children cumulated vsize (Kb) 104720 [startup+140.006 s] Raw data (loadavg): 1.07 1.00 1.00 1/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 26667 0 0 0 13318 274 0 0 25 0 1 0 1738265563 112492544 26568 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/13394/statm): 27464 26568 1116 68 0 27396 0 [pid=13394] vsize: 109856 Current children cumulated CPU time (s) 135.92 Current children cumulated vsize (Kb) 109856 [startup+150.007 s] Raw data (loadavg): 1.06 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 26994 0 0 0 14270 292 0 0 25 0 1 0 1738265563 113831936 26891 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 27791 26891 1116 68 0 27723 0 [pid=13394] vsize: 111164 Current children cumulated CPU time (s) 145.62 Current children cumulated vsize (Kb) 111164 [startup+160.007 s] Raw data (loadavg): 1.05 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 27033 0 0 0 15233 305 0 0 25 0 1 0 1738265563 113958912 26930 4294967295 134512640 134736556 3221221728 3221220304 134550726 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 27822 26930 1116 68 0 27754 0 [pid=13394] vsize: 111288 Current children cumulated CPU time (s) 155.38 Current children cumulated vsize (Kb) 111288 [startup+170.007 s] Raw data (loadavg): 1.04 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 27232 0 0 0 16187 321 0 0 25 0 1 0 1738265563 114774016 27129 4294967295 134512640 134736556 3221221728 3221220304 134550726 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 28021 27129 1116 68 0 27953 0 [pid=13394] vsize: 112084 Current children cumulated CPU time (s) 165.08 Current children cumulated vsize (Kb) 112084 [startup+180.008 s] Raw data (loadavg): 1.03 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 28769 0 0 0 17134 343 0 0 25 0 1 0 1738265563 121106432 28666 4294967295 134512640 134736556 3221221728 3221220416 134536470 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 29567 28666 1116 68 0 29499 0 [pid=13394] vsize: 118268 Current children cumulated CPU time (s) 174.77 Current children cumulated vsize (Kb) 118268 [startup+190.008 s] Raw data (loadavg): 1.03 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 30620 0 0 0 18093 361 0 0 25 0 1 0 1738265563 128671744 30517 4294967295 134512640 134736556 3221221728 3221220152 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 31414 30517 1116 68 0 31346 0 [pid=13394] vsize: 125656 Current children cumulated CPU time (s) 184.54 Current children cumulated vsize (Kb) 125656 [startup+200.009 s] Raw data (loadavg): 1.02 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 31548 0 0 0 19074 371 0 0 25 0 1 0 1738265563 132460544 31445 4294967295 134512640 134736556 3221221728 3221220220 134536708 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 32339 31445 1116 68 0 32271 0 [pid=13394] vsize: 129356 Current children cumulated CPU time (s) 194.45 Current children cumulated vsize (Kb) 129356 [startup+210.008 s] Raw data (loadavg): 1.02 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 31759 0 0 0 20070 372 0 0 25 0 1 0 1738265563 133406720 31656 4294967295 134512640 134736556 3221221728 3221220276 134551038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 32570 31656 1116 68 0 32502 0 [pid=13394] vsize: 130280 Current children cumulated CPU time (s) 204.42 Current children cumulated vsize (Kb) 130280 [startup+220.008 s] Raw data (loadavg): 1.02 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 32130 0 0 0 21065 375 0 0 25 0 1 0 1738265563 134893568 32027 4294967295 134512640 134736556 3221221728 3221220320 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 32933 32027 1116 68 0 32865 0 [pid=13394] vsize: 131732 Current children cumulated CPU time (s) 214.4 Current children cumulated vsize (Kb) 131732 [startup+230.009 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 32518 0 0 0 22058 378 0 0 25 0 1 0 1738265563 136515584 32415 4294967295 134512640 134736556 3221221728 3221220256 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 33329 32415 1116 68 0 33261 0 [pid=13394] vsize: 133316 Current children cumulated CPU time (s) 224.36 Current children cumulated vsize (Kb) 133316 [startup+240.009 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 32904 0 0 0 23051 381 0 0 25 0 1 0 1738265563 138002432 32801 4294967295 134512640 134736556 3221221728 3221220236 134537537 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 33692 32801 1116 68 0 33624 0 [pid=13394] vsize: 134768 Current children cumulated CPU time (s) 234.32 Current children cumulated vsize (Kb) 134768 [startup+250.009 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 33452 0 0 0 24040 388 0 0 25 0 1 0 1738265563 140300288 33349 4294967295 134512640 134736556 3221221728 3221220388 134609065 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 34253 33349 1116 68 0 34185 0 [pid=13394] vsize: 137012 Current children cumulated CPU time (s) 244.28 Current children cumulated vsize (Kb) 137012 [startup+260.009 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 34417 0 0 0 25026 394 0 0 25 0 1 0 1738265563 144211968 34314 4294967295 134512640 134736556 3221221728 3221220416 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 35208 34314 1116 68 0 35140 0 [pid=13394] vsize: 140832 Current children cumulated CPU time (s) 254.2 Current children cumulated vsize (Kb) 140832 [startup+270.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 35422 0 0 0 26007 403 0 0 25 0 1 0 1738265563 148402176 35319 4294967295 134512640 134736556 3221221728 3221220400 134528799 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 36231 35319 1116 68 0 36163 0 [pid=13394] vsize: 144924 Current children cumulated CPU time (s) 264.1 Current children cumulated vsize (Kb) 144924 [startup+280.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 36073 0 0 0 26995 408 0 0 25 0 1 0 1738265563 151097344 35970 4294967295 134512640 134736556 3221221728 3221220352 134524547 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 36889 35970 1116 68 0 36821 0 [pid=13394] vsize: 147556 Current children cumulated CPU time (s) 274.03 Current children cumulated vsize (Kb) 147556 [startup+290.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 36391 0 0 0 27989 411 0 0 25 0 1 0 1738265563 152313856 36288 4294967295 134512640 134736556 3221221728 3221220308 134551038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 37186 36288 1116 68 0 37118 0 [pid=13394] vsize: 148744 Current children cumulated CPU time (s) 284 Current children cumulated vsize (Kb) 148744 [startup+300.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 37457 0 0 0 28969 421 0 0 25 0 1 0 1738265563 156774400 37354 4294967295 134512640 134736556 3221221728 3221220416 134536462 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 38275 37354 1116 68 0 38207 0 [pid=13394] vsize: 153100 Current children cumulated CPU time (s) 293.9 Current children cumulated vsize (Kb) 153100 [startup+310.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 38157 0 0 0 29958 425 0 0 25 0 1 0 1738265563 159600640 38054 4294967295 134512640 134736556 3221221728 3221220240 134543187 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 38965 38054 1116 68 0 38897 0 [pid=13394] vsize: 155860 Current children cumulated CPU time (s) 303.83 Current children cumulated vsize (Kb) 155860 [startup+320.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 39253 0 0 0 30938 434 0 0 25 0 1 0 1738265563 164065280 39150 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/13394/statm): 40055 39150 1116 68 0 39987 0 [pid=13394] vsize: 160220 Current children cumulated CPU time (s) 313.72 Current children cumulated vsize (Kb) 160220 [startup+330.012 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 39937 0 0 0 31917 443 0 0 25 0 1 0 1738265563 166903808 39834 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/13394/statm): 40748 39834 1116 68 0 40680 0 [pid=13394] vsize: 162992 Current children cumulated CPU time (s) 323.6 Current children cumulated vsize (Kb) 162992 [startup+340.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 40544 0 0 0 32895 450 0 0 25 0 1 0 1738265563 169328640 40441 4294967295 134512640 134736556 3221221728 3221220376 134554050 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 41340 40441 1116 68 0 41272 0 [pid=13394] vsize: 165360 Current children cumulated CPU time (s) 333.45 Current children cumulated vsize (Kb) 165360 [startup+350.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 41142 0 0 0 33877 458 0 0 25 0 1 0 1738265563 171757568 41039 4294967295 134512640 134736556 3221221728 3221220304 134537427 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 41933 41039 1116 68 0 41865 0 [pid=13394] vsize: 167732 Current children cumulated CPU time (s) 343.35 Current children cumulated vsize (Kb) 167732 [startup+360.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 41990 0 0 0 34862 464 0 0 25 0 1 0 1738265563 175255552 41887 4294967295 134512640 134736556 3221221728 3221220352 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 42787 41887 1116 68 0 42719 0 [pid=13394] vsize: 171148 Current children cumulated CPU time (s) 353.26 Current children cumulated vsize (Kb) 171148 [startup+370.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 42270 0 0 0 35842 471 0 0 25 0 1 0 1738265563 176472064 42167 4294967295 134512640 134736556 3221221728 3221220196 134536046 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 43084 42167 1116 68 0 43016 0 [pid=13394] vsize: 172336 Current children cumulated CPU time (s) 363.13 Current children cumulated vsize (Kb) 172336 [startup+380.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 42521 0 0 0 36824 478 0 0 25 0 1 0 1738265563 177418240 42418 4294967295 134512640 134736556 3221221728 3221220368 134524403 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 43315 42418 1116 68 0 43247 0 [pid=13394] vsize: 173260 Current children cumulated CPU time (s) 373.02 Current children cumulated vsize (Kb) 173260 [startup+390.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 43028 0 0 0 37804 487 0 0 25 0 1 0 1738265563 179580928 42925 4294967295 134512640 134736556 3221221728 3221220252 134536220 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 43843 42925 1116 68 0 43775 0 [pid=13394] vsize: 175372 Current children cumulated CPU time (s) 382.91 Current children cumulated vsize (Kb) 175372 [startup+400.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 43569 0 0 0 38785 494 0 0 25 0 1 0 1738265563 181747712 43466 4294967295 134512640 134736556 3221221728 3221220384 134529222 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 44372 43466 1116 68 0 44304 0 [pid=13394] vsize: 177488 Current children cumulated CPU time (s) 392.79 Current children cumulated vsize (Kb) 177488 [startup+410.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 43960 0 0 0 39771 501 0 0 25 0 1 0 1738265563 183369728 43857 4294967295 134512640 134736556 3221221728 3221220272 134551043 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 44768 43857 1116 68 0 44700 0 [pid=13394] vsize: 179072 Current children cumulated CPU time (s) 402.72 Current children cumulated vsize (Kb) 179072 [startup+420.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 44214 0 0 0 40761 505 0 0 25 0 1 0 1738265563 184451072 44111 4294967295 134512640 134736556 3221221728 3221220304 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 45032 44111 1116 68 0 44964 0 [pid=13394] vsize: 180128 Current children cumulated CPU time (s) 412.66 Current children cumulated vsize (Kb) 180128 [startup+430.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 44967 0 0 0 41749 511 0 0 25 0 1 0 1738265563 187559936 44864 4294967295 134512640 134736556 3221221728 3221220376 134537635 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 45791 44864 1116 68 0 45723 0 [pid=13394] vsize: 183164 Current children cumulated CPU time (s) 422.6 Current children cumulated vsize (Kb) 183164 [startup+440.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 45647 0 0 0 42730 518 0 0 25 0 1 0 1738265563 190394368 45544 4294967295 134512640 134736556 3221221728 3221220408 134605889 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/13394/statm): 46483 45544 1116 68 0 46415 0 [pid=13394] vsize: 185932 Current children cumulated CPU time (s) 432.48 Current children cumulated vsize (Kb) 185932 [startup+450.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 46450 0 0 0 43712 526 0 0 25 0 1 0 1738265563 193634304 46347 4294967295 134512640 134736556 3221221728 3221220336 134524350 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 47274 46347 1116 68 0 47206 0 [pid=13394] vsize: 189096 Current children cumulated CPU time (s) 442.38 Current children cumulated vsize (Kb) 189096 [startup+460.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 47291 0 0 0 44694 534 0 0 25 0 1 0 1738265563 197148672 47188 4294967295 134512640 134736556 3221221728 3221220464 134529155 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 48132 47188 1116 68 0 48064 0 [pid=13394] vsize: 192528 Current children cumulated CPU time (s) 452.28 Current children cumulated vsize (Kb) 192528 [startup+470.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 48071 0 0 0 45679 540 0 0 25 0 1 0 1738265563 200257536 47968 4294967295 134512640 134736556 3221221728 3221220304 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 48891 47968 1116 68 0 48823 0 [pid=13394] vsize: 195564 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (Kb) 195564 [startup+480.018 s] Raw data (loadavg): 1.07 1.02 1.00 1/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 48754 0 0 0 46664 548 0 0 25 0 1 0 1738265563 203091968 48651 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/13394/statm): 49583 48651 1116 68 0 49515 0 [pid=13394] vsize: 198332 Current children cumulated CPU time (s) 472.12 Current children cumulated vsize (Kb) 198332 [startup+490.017 s] Raw data (loadavg): 1.06 1.02 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 49370 0 0 0 47648 555 0 0 25 0 1 0 1738265563 205660160 49267 4294967295 134512640 134736556 3221221728 3221220352 134524547 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 50210 49267 1116 68 0 50142 0 [pid=13394] vsize: 200840 Current children cumulated CPU time (s) 482.03 Current children cumulated vsize (Kb) 200840 [startup+500.018 s] Raw data (loadavg): 1.05 1.01 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 49664 0 0 0 48637 561 0 0 25 0 1 0 1738265563 206868480 49561 4294967295 134512640 134736556 3221221728 3221220348 134554110 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 50505 49561 1116 68 0 50437 0 [pid=13394] vsize: 202020 Current children cumulated CPU time (s) 491.98 Current children cumulated vsize (Kb) 202020 [startup+510.018 s] Raw data (loadavg): 1.04 1.01 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 50125 0 0 0 49625 566 0 0 25 0 1 0 1738265563 208629760 50022 4294967295 134512640 134736556 3221221728 3221220400 134529182 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 50935 50022 1116 68 0 50867 0 [pid=13394] vsize: 203740 Current children cumulated CPU time (s) 501.91 Current children cumulated vsize (Kb) 203740 [startup+520.018 s] Raw data (loadavg): 1.04 1.01 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 50415 0 0 0 50615 570 0 0 25 0 1 0 1738265563 209948672 50312 4294967295 134512640 134736556 3221221728 3221220252 134536346 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 51257 50312 1116 68 0 51189 0 [pid=13394] vsize: 205028 Current children cumulated CPU time (s) 511.85 Current children cumulated vsize (Kb) 205028 [startup+530.019 s] Raw data (loadavg): 1.10 1.03 1.01 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 50636 0 0 0 51606 574 0 0 25 0 1 0 1738265563 210759680 50533 4294967295 134512640 134736556 3221221728 3221220316 134550916 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 51455 50533 1116 68 0 51387 0 [pid=13394] vsize: 205820 Current children cumulated CPU time (s) 521.8 Current children cumulated vsize (Kb) 205820 [startup+540.018 s] Raw data (loadavg): 1.09 1.03 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 50954 0 0 0 52594 579 0 0 25 0 1 0 1738265563 212111360 50851 4294967295 134512640 134736556 3221221728 3221220272 134551043 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 51785 50851 1116 68 0 51717 0 [pid=13394] vsize: 207140 Current children cumulated CPU time (s) 531.73 Current children cumulated vsize (Kb) 207140 [startup+550.019 s] Raw data (loadavg): 1.07 1.03 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 51669 0 0 0 53559 592 0 0 25 0 1 0 1738265563 215060480 51566 4294967295 134512640 134736556 3221221728 3221220420 134528665 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 52505 51566 1116 68 0 52437 0 [pid=13394] vsize: 210020 Current children cumulated CPU time (s) 541.51 Current children cumulated vsize (Kb) 210020 [startup+560.019 s] Raw data (loadavg): 1.06 1.02 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 51965 0 0 0 54546 599 0 0 25 0 1 0 1738265563 216276992 51862 4294967295 134512640 134736556 3221221728 3221220360 134553009 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/13394/statm): 52802 51862 1116 68 0 52734 0 [pid=13394] vsize: 211208 Current children cumulated CPU time (s) 551.45 Current children cumulated vsize (Kb) 211208 [startup+570.019 s] Raw data (loadavg): 1.05 1.02 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 52351 0 0 0 55530 606 0 0 25 0 1 0 1738265563 217899008 52248 4294967295 134512640 134736556 3221221728 3221220384 134524765 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 53198 52248 1116 68 0 53130 0 [pid=13394] vsize: 212792 Current children cumulated CPU time (s) 561.36 Current children cumulated vsize (Kb) 212792 [startup+580.019 s] Raw data (loadavg): 1.04 1.02 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 52370 0 0 0 56528 606 0 0 25 0 1 0 1738265563 217899008 52267 4294967295 134512640 134736556 3221221728 3221220340 134524344 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 53198 52267 1116 68 0 53130 0 [pid=13394] vsize: 212792 Current children cumulated CPU time (s) 571.34 Current children cumulated vsize (Kb) 212792 [startup+590.02 s] Raw data (loadavg): 1.04 1.02 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 52515 0 0 0 57523 609 0 0 25 0 1 0 1738265563 218447872 52412 4294967295 134512640 134736556 3221221728 3221220332 134554060 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 53332 52412 1116 68 0 53264 0 [pid=13394] vsize: 213328 Current children cumulated CPU time (s) 581.32 Current children cumulated vsize (Kb) 213328 [startup+600.021 s] Raw data (loadavg): 1.03 1.02 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 52602 0 0 0 58516 612 0 0 25 0 1 0 1738265563 218861568 52499 4294967295 134512640 134736556 3221221728 3221220464 134529265 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 53433 52499 1116 68 0 53365 0 [pid=13394] vsize: 213732 Current children cumulated CPU time (s) 591.28 Current children cumulated vsize (Kb) 213732 [startup+610.022 s] Raw data (loadavg): 1.02 1.02 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 52754 0 0 0 59489 622 0 0 25 0 1 0 1738265563 219537408 52651 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/13394/statm): 53598 52651 1116 68 0 53530 0 [pid=13394] vsize: 214392 Current children cumulated CPU time (s) 601.11 Current children cumulated vsize (Kb) 214392 [startup+620.022 s] Raw data (loadavg): 1.02 1.02 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 53139 0 0 0 60464 630 0 0 25 0 1 0 1738265563 221020160 53036 4294967295 134512640 134736556 3221221728 3221220428 134554059 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/13394/statm): 53960 53036 1116 68 0 53892 0 [pid=13394] vsize: 215840 Current children cumulated CPU time (s) 610.94 Current children cumulated vsize (Kb) 215840 [startup+630.022 s] Raw data (loadavg): 1.02 1.02 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 53378 0 0 0 61445 638 0 0 25 0 1 0 1738265563 222056448 53275 4294967295 134512640 134736556 3221221728 3221220352 134537450 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 54213 53275 1116 68 0 54145 0 [pid=13394] vsize: 216852 Current children cumulated CPU time (s) 620.83 Current children cumulated vsize (Kb) 216852 [startup+640.023 s] Raw data (loadavg): 1.01 1.02 1.00 1/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 53472 0 0 0 62429 644 0 0 25 0 1 0 1738265563 222457856 53369 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/13394/statm): 54311 53369 1116 68 0 54243 0 [pid=13394] vsize: 217244 Current children cumulated CPU time (s) 630.73 Current children cumulated vsize (Kb) 217244 [startup+650.024 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 53571 0 0 0 63419 648 0 0 25 0 1 0 1738265563 222863360 53468 4294967295 134512640 134736556 3221221728 3221220464 134605552 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 54410 53468 1116 68 0 54342 0 [pid=13394] vsize: 217640 Current children cumulated CPU time (s) 640.67 Current children cumulated vsize (Kb) 217640 [startup+660.025 s] Raw data (loadavg): 1.09 1.03 1.01 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 53773 0 0 0 64400 654 0 0 25 0 1 0 1738265563 223674368 53670 4294967295 134512640 134736556 3221221728 3221220192 134536168 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 54608 53670 1116 68 0 54540 0 [pid=13394] vsize: 218432 Current children cumulated CPU time (s) 650.54 Current children cumulated vsize (Kb) 218432 [startup+670.024 s] Raw data (loadavg): 1.07 1.03 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 53887 0 0 0 65339 674 0 0 25 0 1 0 1738265563 224079872 53784 4294967295 134512640 134736556 3221221728 3221220320 134551076 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 54707 53784 1116 68 0 54639 0 [pid=13394] vsize: 218828 Current children cumulated CPU time (s) 660.13 Current children cumulated vsize (Kb) 218828 [startup+680.025 s] Raw data (loadavg): 1.14 1.04 1.01 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 54097 0 0 0 66306 686 0 0 25 0 1 0 1738265563 224972800 53994 4294967295 134512640 134736556 3221221728 3221220404 134529176 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 54925 53994 1116 68 0 54857 0 [pid=13394] vsize: 219700 Current children cumulated CPU time (s) 669.92 Current children cumulated vsize (Kb) 219700 [startup+690.025 s] Raw data (loadavg): 1.11 1.04 1.01 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 54187 0 0 0 67291 692 0 0 25 0 1 0 1738265563 225341440 54084 4294967295 134512640 134736556 3221221728 3221220440 134553056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 55015 54084 1116 68 0 54947 0 [pid=13394] vsize: 220060 Current children cumulated CPU time (s) 679.83 Current children cumulated vsize (Kb) 220060 [startup+700.026 s] Raw data (loadavg): 1.10 1.04 1.01 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 54193 0 0 0 68284 694 0 0 25 0 1 0 1738265563 225341440 54090 4294967295 134512640 134736556 3221221728 3221220444 134554060 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 55015 54090 1116 68 0 54947 0 [pid=13394] vsize: 220060 Current children cumulated CPU time (s) 689.78 Current children cumulated vsize (Kb) 220060 [startup+710.027 s] Raw data (loadavg): 1.08 1.04 1.01 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 54244 0 0 0 69260 704 0 0 25 0 1 0 1738265563 225566720 54141 4294967295 134512640 134736556 3221221728 3221220304 134550871 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 55070 54141 1116 68 0 55002 0 [pid=13394] vsize: 220280 Current children cumulated CPU time (s) 699.64 Current children cumulated vsize (Kb) 220280 [startup+720.026 s] Raw data (loadavg): 1.07 1.04 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 54438 0 0 0 70190 727 0 0 25 0 1 0 1738265563 226316288 54335 4294967295 134512640 134736556 3221221728 3221220356 134553382 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 55253 54335 1116 68 0 55185 0 [pid=13394] vsize: 221012 Current children cumulated CPU time (s) 709.17 Current children cumulated vsize (Kb) 221012 [startup+730.027 s] Raw data (loadavg): 1.06 1.03 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 54626 0 0 0 71160 740 0 0 25 0 1 0 1738265563 227119104 54523 4294967295 134512640 134736556 3221221728 3221220336 134524345 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 55449 54523 1116 68 0 55381 0 [pid=13394] vsize: 221796 Current children cumulated CPU time (s) 719 Current children cumulated vsize (Kb) 221796 [startup+740.028 s] Raw data (loadavg): 1.05 1.03 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 54752 0 0 0 72133 750 0 0 25 0 1 0 1738265563 227635200 54649 4294967295 134512640 134736556 3221221728 3221220272 134551043 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 55575 54649 1116 68 0 55507 0 [pid=13394] vsize: 222300 Current children cumulated CPU time (s) 728.83 Current children cumulated vsize (Kb) 222300 [startup+750.029 s] Raw data (loadavg): 1.04 1.03 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 54943 0 0 0 73103 761 0 0 25 0 1 0 1738265563 228438016 54840 4294967295 134512640 134736556 3221221728 3221220416 134524403 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 55771 54840 1116 68 0 55703 0 [pid=13394] vsize: 223084 Current children cumulated CPU time (s) 738.64 Current children cumulated vsize (Kb) 223084 [startup+760.029 s] Raw data (loadavg): 1.03 1.03 1.00 1/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 55086 0 0 0 74065 775 0 0 25 0 1 0 1738265563 228978688 54983 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/13394/statm): 55903 54983 1116 68 0 55835 0 [pid=13394] vsize: 223612 Current children cumulated CPU time (s) 748.4 Current children cumulated vsize (Kb) 223612 [startup+770.028 s] Raw data (loadavg): 1.03 1.03 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 55542 0 0 0 75046 783 0 0 25 0 1 0 1738265563 231010304 55438 4294967295 134512640 134736556 3221221728 3221220332 134537537 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 56399 55438 1116 68 0 56331 0 [pid=13394] vsize: 225596 Current children cumulated CPU time (s) 758.29 Current children cumulated vsize (Kb) 225596 [startup+780.029 s] Raw data (loadavg): 1.02 1.03 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 55608 0 0 0 76043 784 0 0 25 0 1 0 1738265563 231280640 55504 4294967295 134512640 134736556 3221221728 3221220352 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 56465 55504 1116 68 0 56397 0 [pid=13394] vsize: 225860 Current children cumulated CPU time (s) 768.27 Current children cumulated vsize (Kb) 225860 [startup+790.029 s] Raw data (loadavg): 1.02 1.03 1.00 1/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 56355 0 0 0 77015 797 0 0 25 0 1 0 1738265563 234254336 56251 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/13394/statm): 57191 56251 1116 68 0 57123 0 [pid=13394] vsize: 228764 Current children cumulated CPU time (s) 778.12 Current children cumulated vsize (Kb) 228764 [startup+800.03 s] Raw data (loadavg): 1.02 1.02 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 56532 0 0 0 77995 804 0 0 23 0 1 0 1738265563 235065344 56428 4294967295 134512640 134736556 3221221728 3221220288 134550935 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 57389 56428 1116 68 0 57321 0 [pid=13394] vsize: 229556 Current children cumulated CPU time (s) 787.99 Current children cumulated vsize (Kb) 229556 [startup+810.031 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 56570 0 0 0 78989 806 0 0 25 0 1 0 1738265563 235200512 56466 4294967295 134512640 134736556 3221221728 3221220416 134524335 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 57422 56466 1116 68 0 57354 0 [pid=13394] vsize: 229688 Current children cumulated CPU time (s) 797.95 Current children cumulated vsize (Kb) 229688 [startup+820.03 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 56690 0 0 0 79945 821 0 0 25 0 1 0 1738265563 235597824 56586 4294967295 134512640 134736556 3221221728 3221220344 134523849 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 57519 56586 1116 68 0 57451 0 [pid=13394] vsize: 230076 Current children cumulated CPU time (s) 807.66 Current children cumulated vsize (Kb) 230076 [startup+830.031 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 56998 0 0 0 80931 826 0 0 25 0 1 0 1738265563 236941312 56894 4294967295 134512640 134736556 3221221728 3221220352 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 57847 56894 1116 68 0 57779 0 [pid=13394] vsize: 231388 Current children cumulated CPU time (s) 817.57 Current children cumulated vsize (Kb) 231388 [startup+840.032 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 57056 0 0 0 81918 831 0 0 25 0 1 0 1738265563 237211648 56952 4294967295 134512640 134736556 3221221728 3221220304 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 57913 56952 1116 68 0 57845 0 [pid=13394] vsize: 231652 Current children cumulated CPU time (s) 827.49 Current children cumulated vsize (Kb) 231652 [startup+850.033 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 57809 0 0 0 82890 842 0 0 25 0 1 0 1738265563 240193536 57705 4294967295 134512640 134736556 3221221728 3221220272 134551043 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 58641 57705 1116 68 0 58573 0 [pid=13394] vsize: 234564 Current children cumulated CPU time (s) 837.32 Current children cumulated vsize (Kb) 234564 [startup+860.033 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 57925 0 0 0 83882 845 0 0 25 0 1 0 1738265563 240734208 57821 4294967295 134512640 134736556 3221221728 3221220336 134537370 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 58773 57821 1116 68 0 58705 0 [pid=13394] vsize: 235092 Current children cumulated CPU time (s) 847.27 Current children cumulated vsize (Kb) 235092 [startup+870.032 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 57960 0 0 0 84875 848 0 0 25 0 1 0 1738265563 240869376 57856 4294967295 134512640 134736556 3221221728 3221220272 134551043 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 58806 57856 1116 68 0 58738 0 [pid=13394] vsize: 235224 Current children cumulated CPU time (s) 857.23 Current children cumulated vsize (Kb) 235224 [startup+880.033 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 58353 0 0 0 85861 854 0 0 25 0 1 0 1738265563 242491392 58249 4294967295 134512640 134736556 3221221728 3221220464 134605570 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 59202 58249 1116 68 0 59134 0 [pid=13394] vsize: 236808 Current children cumulated CPU time (s) 867.15 Current children cumulated vsize (Kb) 236808 [startup+890.034 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 58401 0 0 0 86854 856 0 0 25 0 1 0 1738265563 242626560 58297 4294967295 134512640 134736556 3221221728 3221220416 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 59235 58297 1116 68 0 59167 0 [pid=13394] vsize: 236940 Current children cumulated CPU time (s) 877.1 Current children cumulated vsize (Kb) 236940 [startup+900.035 s] Raw data (loadavg): 1.00 1.02 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 58851 0 0 0 87840 862 0 0 25 0 1 0 1738265563 244518912 58747 4294967295 134512640 134736556 3221221728 3221220444 134553983 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 59697 58747 1116 68 0 59629 0 [pid=13394] vsize: 238788 Current children cumulated CPU time (s) 887.02 Current children cumulated vsize (Kb) 238788 [startup+910.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 58895 0 0 0 88834 864 0 0 25 0 1 0 1738265563 244654080 58791 4294967295 134512640 134736556 3221221728 3221220352 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 59730 58791 1116 68 0 59662 0 [pid=13394] vsize: 238920 Current children cumulated CPU time (s) 896.98 Current children cumulated vsize (Kb) 238920 [startup+920.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 58917 0 0 0 89829 866 0 0 25 0 1 0 1738265563 244789248 58813 4294967295 134512640 134736556 3221221728 3221220404 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 59763 58813 1116 68 0 59695 0 [pid=13394] vsize: 239052 Current children cumulated CPU time (s) 906.95 Current children cumulated vsize (Kb) 239052 [startup+930.036 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 59032 0 0 0 90821 869 0 0 25 0 1 0 1738265563 245190656 58928 4294967295 134512640 134736556 3221221728 3221220376 134554078 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 59861 58928 1116 68 0 59793 0 [pid=13394] vsize: 239444 Current children cumulated CPU time (s) 916.9 Current children cumulated vsize (Kb) 239444 [startup+940.036 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 59061 0 0 0 91816 871 0 0 25 0 1 0 1738265563 245325824 58957 4294967295 134512640 134736556 3221221728 3221220316 134550916 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 59894 58957 1116 68 0 59826 0 [pid=13394] vsize: 239576 Current children cumulated CPU time (s) 926.87 Current children cumulated vsize (Kb) 239576 [startup+950.037 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 59064 0 0 0 92813 871 0 0 25 0 1 0 1738265563 245325824 58960 4294967295 134512640 134736556 3221221728 3221220336 134537370 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 59894 58960 1116 68 0 59826 0 [pid=13394] vsize: 239576 Current children cumulated CPU time (s) 936.84 Current children cumulated vsize (Kb) 239576 [startup+960.037 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 59084 0 0 0 93809 873 0 0 25 0 1 0 1738265563 245460992 58980 4294967295 134512640 134736556 3221221728 3221220396 134544624 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 59927 58980 1116 68 0 59859 0 [pid=13394] vsize: 239708 Current children cumulated CPU time (s) 946.82 Current children cumulated vsize (Kb) 239708 [startup+970.037 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 59132 0 0 0 94800 876 0 0 25 0 1 0 1738265563 245723136 59028 4294967295 134512640 134736556 3221221728 3221220404 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 59991 59028 1116 68 0 59923 0 [pid=13394] vsize: 239964 Current children cumulated CPU time (s) 956.76 Current children cumulated vsize (Kb) 239964 [startup+980.038 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 59161 0 0 0 95794 879 0 0 25 0 1 0 1738265563 245723136 59057 4294967295 134512640 134736556 3221221728 3221220332 134554110 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 59991 59057 1116 68 0 59923 0 [pid=13394] vsize: 239964 Current children cumulated CPU time (s) 966.73 Current children cumulated vsize (Kb) 239964 [startup+990.038 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 59709 0 0 0 96785 883 0 0 25 0 1 0 1738265563 248033280 59605 4294967295 134512640 134736556 3221221728 3221220464 134605558 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 60555 59605 1116 68 0 60487 0 [pid=13394] vsize: 242220 Current children cumulated CPU time (s) 976.68 Current children cumulated vsize (Kb) 242220 [startup+1000.04 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 60020 0 0 0 97752 897 0 0 25 0 1 0 1738265563 249376768 59915 4294967295 134512640 134736556 3221221728 3221220288 134544644 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 60883 59915 1116 68 0 60815 0 [pid=13394] vsize: 243532 Current children cumulated CPU time (s) 986.49 Current children cumulated vsize (Kb) 243532 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 60054 0 0 0 98730 905 0 0 25 0 1 0 1738265563 249511936 59949 4294967295 134512640 134736556 3221221728 3221220452 134529176 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 60916 59949 1116 68 0 60848 0 [pid=13394] vsize: 243664 Current children cumulated CPU time (s) 996.35 Current children cumulated vsize (Kb) 243664 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 60106 0 0 0 99721 908 0 0 25 0 1 0 1738265563 249643008 60001 4294967295 134512640 134736556 3221221728 3221220464 134529363 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/13394/statm): 60948 60001 1116 68 0 60880 0 [pid=13394] vsize: 243792 Current children cumulated CPU time (s) 1006.29 Current children cumulated vsize (Kb) 243792 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 60114 0 0 0 100711 911 0 0 25 0 1 0 1738265563 249643008 60009 4294967295 134512640 134736556 3221221728 3221220352 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 60948 60009 1116 68 0 60880 0 [pid=13394] vsize: 243792 Current children cumulated CPU time (s) 1016.22 Current children cumulated vsize (Kb) 243792 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 60173 0 0 0 101699 916 0 0 25 0 1 0 1738265563 249909248 60068 4294967295 134512640 134736556 3221221728 3221220452 134529471 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 61013 60068 1116 68 0 60945 0 [pid=13394] vsize: 244052 Current children cumulated CPU time (s) 1026.15 Current children cumulated vsize (Kb) 244052 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 60265 0 0 0 102693 918 0 0 25 0 1 0 1738265563 250314752 60160 4294967295 134512640 134736556 3221221728 3221220464 134529265 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 61112 60160 1116 68 0 61044 0 [pid=13394] vsize: 244448 Current children cumulated CPU time (s) 1036.11 Current children cumulated vsize (Kb) 244448 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 60322 0 0 0 103689 920 0 0 25 0 1 0 1738265563 250568704 60217 4294967295 134512640 134736556 3221221728 3221220352 134524547 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 61174 60217 1116 68 0 61106 0 [pid=13394] vsize: 244696 Current children cumulated CPU time (s) 1046.09 Current children cumulated vsize (Kb) 244696 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 60597 0 0 0 104671 928 0 0 25 0 1 0 1738265563 251629568 60492 4294967295 134512640 134736556 3221221728 3221220444 134553972 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 61433 60492 1116 68 0 61365 0 [pid=13394] vsize: 245732 Current children cumulated CPU time (s) 1055.99 Current children cumulated vsize (Kb) 245732 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 60963 0 0 0 105656 935 0 0 25 0 1 0 1738265563 253124608 60858 4294967295 134512640 134736556 3221221728 3221220440 134560217 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 61798 60858 1116 68 0 61730 0 [pid=13394] vsize: 247192 Current children cumulated CPU time (s) 1065.91 Current children cumulated vsize (Kb) 247192 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 61328 0 0 0 106627 944 0 0 25 0 1 0 1738265563 254726144 61223 4294967295 134512640 134736556 3221221728 3221220276 134551038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 62189 61223 1116 68 0 62121 0 [pid=13394] vsize: 248756 Current children cumulated CPU time (s) 1075.71 Current children cumulated vsize (Kb) 248756 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 61554 0 0 0 107616 949 0 0 25 0 1 0 1738265563 255672320 61449 4294967295 134512640 134736556 3221221728 3221220036 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/13394/statm): 62420 61449 1116 68 0 62352 0 [pid=13394] vsize: 249680 Current children cumulated CPU time (s) 1085.65 Current children cumulated vsize (Kb) 249680 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 61598 0 0 0 108612 950 0 0 25 0 1 0 1738265563 255803392 61493 4294967295 134512640 134736556 3221221728 3221220404 134529202 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 62452 61493 1116 68 0 62384 0 [pid=13394] vsize: 249808 Current children cumulated CPU time (s) 1095.62 Current children cumulated vsize (Kb) 249808 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 61772 0 0 0 109608 952 0 0 25 0 1 0 1738265563 256479232 61667 4294967295 134512640 134736556 3221221728 3221220252 134536687 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 62617 61667 1116 68 0 62549 0 [pid=13394] vsize: 250468 Current children cumulated CPU time (s) 1105.6 Current children cumulated vsize (Kb) 250468 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 61970 0 0 0 110601 955 0 0 25 0 1 0 1738265563 257290240 61865 4294967295 134512640 134736556 3221221728 3221220352 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 62815 61865 1116 68 0 62747 0 [pid=13394] vsize: 251260 Current children cumulated CPU time (s) 1115.56 Current children cumulated vsize (Kb) 251260 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 62394 0 0 0 111584 963 0 0 25 0 1 0 1738265563 259039232 62289 4294967295 134512640 134736556 3221221728 3221220400 134528681 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 63242 62289 1116 68 0 63174 0 [pid=13394] vsize: 252968 Current children cumulated CPU time (s) 1125.47 Current children cumulated vsize (Kb) 252968 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) T 13393 13394 10120 0 -1 0 62957 0 0 0 112553 973 0 0 25 0 1 0 1738265563 261332992 62852 4294967295 134512640 134736556 3221221728 3221220620 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/13394/statm): 63802 62852 1116 68 0 63734 0 [pid=13394] vsize: 255208 Current children cumulated CPU time (s) 1135.26 Current children cumulated vsize (Kb) 255208 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 63428 0 0 0 113523 985 0 0 25 0 1 0 1738265563 263348224 63320 4294967295 134512640 134736556 3221221728 3221220300 1076999581 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 64294 63320 1116 68 0 64226 0 [pid=13394] vsize: 257176 Current children cumulated CPU time (s) 1145.08 Current children cumulated vsize (Kb) 257176 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 63532 0 0 0 114510 989 0 0 25 0 1 0 1738265563 263753728 63424 4294967295 134512640 134736556 3221221728 3221220352 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 64393 63424 1116 68 0 64325 0 [pid=13394] vsize: 257572 Current children cumulated CPU time (s) 1154.99 Current children cumulated vsize (Kb) 257572 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 63776 0 0 0 115490 997 0 0 25 0 1 0 1738265563 264687616 63668 4294967295 134512640 134736556 3221221728 3221220352 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 64621 63668 1116 68 0 64553 0 [pid=13394] vsize: 258484 Current children cumulated CPU time (s) 1164.87 Current children cumulated vsize (Kb) 258484 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 64449 0 0 0 116449 1013 0 0 25 0 1 0 1738265563 267509760 64341 4294967295 134512640 134736556 3221221728 3221220448 134609059 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 65310 64341 1116 68 0 65242 0 [pid=13394] vsize: 261240 Current children cumulated CPU time (s) 1174.62 Current children cumulated vsize (Kb) 261240 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 65065 0 0 0 117417 1026 0 0 25 0 1 0 1738265563 270065664 64956 4294967295 134512640 134736556 3221221728 3221220396 134694485 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 65934 64956 1116 68 0 65866 0 [pid=13394] vsize: 263736 Current children cumulated CPU time (s) 1184.43 Current children cumulated vsize (Kb) 263736 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 13394 Raw data (/proc/13394/stat): 13394 (bsolo) R 13393 13394 10120 0 -1 0 65609 0 0 0 118388 1036 0 0 25 0 1 0 1738265563 272220160 65500 4294967295 134512640 134736556 3221221728 3221220352 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/13394/statm): 66460 65500 1116 68 0 66392 0 [pid=13394] vsize: 265840 Current children cumulated CPU time (s) 1194.24 Current children cumulated vsize (Kb) 265840 One traced child (pid=13394) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1210.96 CPU time (s): 1195.14 CPU user time (s): 1184.64 CPU system time (s): 10.5044 CPU usage (%): 98.6933 Max. virtual memory (cumulated for all children) (Kb): 265840
Verifier: OK -4120833