Name | mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-afiro.opb |
MD5SUM | 6cb229ab1cf181ca11759652604cb193 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -4121005 |
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 wulflinc11 THE 2005-09-18 10:23:52 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=405 boxname=wulflinc11 idbench=405 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: 6cb229ab1cf181ca11759652604cb193 /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-afiro.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-afiro.opb IDLAUNCH: 405 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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.028 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: 949700 kB Buffers: 33788 kB Cached: 23988 kB SwapCached: 772 kB Active: 53288 kB Inactive: 7140 kB HighTotal: 131008 kB HighFree: 105588 kB LowTotal: 903652 kB LowFree: 844112 kB SwapTotal: 2097136 kB SwapFree: 2095816 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5716 kB Slab: 18924 kB Committed_AS: 64132 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-18 10:44:03 (client local time) WITH STATUS 10 IN 1195.14 SECONDS stats: 405 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.239 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.741 c Restart #2 #Var: 589 #Dec: 2498 LB: -16515027 @ 1.777 c Restart #3 #Var: 589 #Dec: 4835 LB: -16515027 @ 3.126 c Restart #4 #Var: 589 #Dec: 7318 LB: -16515027 @ 4.946 c Restart #5 #Var: 589 #Dec: 11001 LB: -16515027 @ 7.375 c Restart #6 #Var: 589 #Dec: 15456 LB: -16515027 @ 9.348 c Restart #7 #Var: 589 #Dec: 21674 LB: -16515027 @ 11.21 c Restart #8 #Var: 589 #Dec: 26494 LB: -16515027 @ 12.938 c Restart #9 #Var: 589 #Dec: 28390 LB: -16515027 @ 14.665 c Restart #10 #Var: 589 #Dec: 30490 LB: -16515027 @ 16.553 c Restart #11 #Var: 589 #Dec: 32727 LB: -16515027 @ 18.429 c Restart #12 #Var: 589 #Dec: 35146 LB: -16515027 @ 20.458 c Restart #13 #Var: 589 #Dec: 38131 LB: -16515027 @ 23.41 c Restart #14 #Var: 589 #Dec: 41030 LB: -16515027 @ 26.389 c Restart #15 #Var: 589 #Dec: 44166 LB: -16515027 @ 29.703 c Restart #16 #Var: 589 #Dec: 47552 LB: -16515027 @ 33.378 c Restart #17 #Var: 589 #Dec: 51260 LB: -16515027 @ 37.135 c Restart #18 #Var: 589 #Dec: 55712 LB: -16515027 @ 41.282 c Restart #19 #Var: 589 #Dec: 60722 LB: -16515027 @ 44.453 c Restart #20 #Var: 589 #Dec: 67288 LB: -16515027 @ 46.768 c Restart #21 #Var: 588 #Dec: 71507 LB: -16515027 @ 49.163 c Restart #22 #Var: 588 #Dec: 75924 LB: -16515027 @ 52.022 c Restart #23 #Var: 588 #Dec: 80542 LB: -16515027 @ 54.659 c Restart #24 #Var: 588 #Dec: 86176 LB: -16515027 @ 58.636 c Restart #25 #Var: 588 #Dec: 91288 LB: -16515027 @ 62.863 c Restart #26 #Var: 588 #Dec: 96499 LB: -16515027 @ 100.1 c Restart #27 #Var: 588 #Dec: 102331 LB: -16515027 @ 105.48 c Restart #28 #Var: 588 #Dec: 108200 LB: -16515027 @ 112.28 c Restart #29 #Var: 588 #Dec: 114742 LB: -16515027 @ 118.03 c Restart #30 #Var: 588 #Dec: 121237 LB: -16515027 @ 125.36 c NEW SOLUTION FOUND: -209949 @ 134.5 @ #Dec. 126240 c NEW SOLUTION FOUND: -210949 @ 134.71 @ #Dec. 126542 c NEW SOLUTION FOUND: -211450 @ 135.11 @ #Dec. 126938 c NEW SOLUTION FOUND: -211465 @ 135.12 @ #Dec. 127000 c NEW SOLUTION FOUND: -211534 @ 135.3 @ #Dec. 127262 c NEW SOLUTION FOUND: -211549 @ 135.3 @ #Dec. 127300 c NEW SOLUTION FOUND: -216177 @ 136.23 @ #Dec. 128155 c NEW SOLUTION FOUND: -216201 @ 136.69 @ #Dec. 128747 c NEW SOLUTION FOUND: -216701 @ 136.72 @ #Dec. 128803 c NEW SOLUTION FOUND: -217632 @ 136.88 @ #Dec. 129086 c NEW SOLUTION FOUND: -217647 @ 136.89 @ #Dec. 129135 c NEW SOLUTION FOUND: -217662 @ 136.9 @ #Dec. 129160 c NEW SOLUTION FOUND: -217677 @ 136.9 @ #Dec. 129190 c NEW SOLUTION FOUND: -217701 @ 137.17 @ #Dec. 129539 c NEW SOLUTION FOUND: -223737 @ 137.3 @ #Dec. 129798 c NEW SOLUTION FOUND: -223836 @ 137.58 @ #Dec. 130387 c NEW SOLUTION FOUND: -223851 @ 137.58 @ #Dec. 130435 c NEW SOLUTION FOUND: -223866 @ 137.59 @ #Dec. 130472 c NEW SOLUTION FOUND: -223881 @ 137.6 @ #Dec. 130488 c NEW SOLUTION FOUND: -223896 @ 137.6 @ #Dec. 130505 c NEW SOLUTION FOUND: -223911 @ 137.61 @ #Dec. 130516 c NEW SOLUTION FOUND: -223926 @ 137.61 @ #Dec. 130534 c NEW SOLUTION FOUND: -223941 @ 137.62 @ #Dec. 130538 c NEW SOLUTION FOUND: -223986 @ 137.62 @ #Dec. 130568 c NEW SOLUTION FOUND: -224001 @ 137.63 @ #Dec. 130590 c NEW SOLUTION FOUND: -224016 @ 137.63 @ #Dec. 130612 c NEW SOLUTION FOUND: -224031 @ 137.63 @ #Dec. 130633 c NEW SOLUTION FOUND: -224043 @ 137.65 @ #Dec. 130698 c NEW SOLUTION FOUND: -224136 @ 137.76 @ #Dec. 130832 c NEW SOLUTION FOUND: -224151 @ 137.77 @ #Dec. 130865 c NEW SOLUTION FOUND: -224163 @ 137.77 @ #Dec. 130893 c NEW SOLUTION FOUND: -224178 @ 138.26 @ #Dec. 131594 c NEW SOLUTION FOUND: -224190 @ 139.81 @ #Dec. 133154 c Restart #31 #Var: 588 #Dec: 141226 LB: -16515027 @ 147.94 c Restart #32 #Var: 588 #Dec: 148372 LB: -16515027 @ 157.29 c Restart #33 #Var: 588 #Dec: 155614 LB: -16515027 @ 164.55 c NEW SOLUTION FOUND: -3002697 @ 170.62 @ #Dec. 163323 c NEW SOLUTION FOUND: -3002717 @ 170.63 @ #Dec. 163337 c NEW SOLUTION FOUND: -3002727 @ 170.66 @ #Dec. 163400 c NEW SOLUTION FOUND: -3002743 @ 170.66 @ #Dec. 163407 c NEW SOLUTION FOUND: -3002747 @ 170.67 @ #Dec. 163424 c NEW SOLUTION FOUND: -3002763 @ 170.67 @ #Dec. 163430 c NEW SOLUTION FOUND: -3002773 @ 170.67 @ #Dec. 163443 c NEW SOLUTION FOUND: -3002813 @ 170.68 @ #Dec. 163458 c NEW SOLUTION FOUND: -3002877 @ 170.82 @ #Dec. 163496 c NEW SOLUTION FOUND: -3002893 @ 170.82 @ #Dec. 163507 c NEW SOLUTION FOUND: -3002925 @ 170.84 @ #Dec. 163527 c NEW SOLUTION FOUND: -3002957 @ 170.84 @ #Dec. 163535 c NEW SOLUTION FOUND: -3002989 @ 170.84 @ #Dec. 163537 c NEW SOLUTION FOUND: -3003021 @ 170.84 @ #Dec. 163542 c NEW SOLUTION FOUND: -3003053 @ 170.84 @ #Dec. 163542 c NEW SOLUTION FOUND: -3003085 @ 170.85 @ #Dec. 163557 c NEW SOLUTION FOUND: -3003117 @ 170.85 @ #Dec. 163560 c NEW SOLUTION FOUND: -3003133 @ 170.86 @ #Dec. 163578 c NEW SOLUTION FOUND: -3003373 @ 170.87 @ #Dec. 163595 c NEW SOLUTION FOUND: -3003629 @ 170.87 @ #Dec. 163601 c NEW SOLUTION FOUND: -3003661 @ 170.87 @ #Dec. 163610 c NEW SOLUTION FOUND: -3003693 @ 170.87 @ #Dec. 163613 c NEW SOLUTION FOUND: -3003757 @ 170.88 @ #Dec. 163623 c NEW SOLUTION FOUND: -3003773 @ 170.88 @ #Dec. 163642 c NEW SOLUTION FOUND: -3003837 @ 170.89 @ #Dec. 163664 c NEW SOLUTION FOUND: -3003869 @ 170.9 @ #Dec. 163673 c NEW SOLUTION FOUND: -3003901 @ 170.9 @ #Dec. 163676 c NEW SOLUTION FOUND: -3003933 @ 170.9 @ #Dec. 163680 c NEW SOLUTION FOUND: -3003965 @ 170.9 @ #Dec. 163683 c NEW SOLUTION FOUND: -3004061 @ 170.9 @ #Dec. 163699 c NEW SOLUTION FOUND: -3004093 @ 170.91 @ #Dec. 163707 c NEW SOLUTION FOUND: -3004925 @ 170.92 @ #Dec. 163734 c NEW SOLUTION FOUND: -3004957 @ 170.92 @ #Dec. 163737 c NEW SOLUTION FOUND: -3004973 @ 170.92 @ #Dec. 163741 c NEW SOLUTION FOUND: -3005037 @ 170.93 @ #Dec. 163744 c NEW SOLUTION FOUND: -3005213 @ 170.93 @ #Dec. 163750 c NEW SOLUTION FOUND: -3005229 @ 170.94 @ #Dec. 163763 c NEW SOLUTION FOUND: -3005293 @ 170.94 @ #Dec. 163768 c NEW SOLUTION FOUND: -3005313 @ 170.94 @ #Dec. 163777 c NEW SOLUTION FOUND: -3005323 @ 170.94 @ #Dec. 163780 c NEW SOLUTION FOUND: -3006749 @ 171.11 @ #Dec. 163805 c NEW SOLUTION FOUND: -3006829 @ 171.11 @ #Dec. 163813 c NEW SOLUTION FOUND: -3006849 @ 171.12 @ #Dec. 163819 c NEW SOLUTION FOUND: -3006859 @ 171.12 @ #Dec. 163823 c NEW SOLUTION FOUND: -3007389 @ 171.12 @ #Dec. 163833 c NEW SOLUTION FOUND: -3007645 @ 171.12 @ #Dec. 163837 c NEW SOLUTION FOUND: -3007725 @ 171.13 @ #Dec. 163845 c NEW SOLUTION FOUND: -3007741 @ 171.13 @ #Dec. 163850 c NEW SOLUTION FOUND: -3007853 @ 171.13 @ #Dec. 163856 c NEW SOLUTION FOUND: -3007873 @ 171.13 @ #Dec. 163863 c NEW SOLUTION FOUND: -3007883 @ 171.13 @ #Dec. 163866 c NEW SOLUTION FOUND: -3007915 @ 171.15 @ #Dec. 163873 c NEW SOLUTION FOUND: -3007923 @ 171.26 @ #Dec. 163894 c NEW SOLUTION FOUND: -3008131 @ 172.53 @ #Dec. 164562 c NEW SOLUTION FOUND: -3008451 @ 172.54 @ #Dec. 164598 c NEW SOLUTION FOUND: -3008771 @ 172.55 @ #Dec. 164614 c NEW SOLUTION FOUND: -3008911 @ 172.55 @ #Dec. 164622 c NEW SOLUTION FOUND: -3009411 @ 172.56 @ #Dec. 164629 c NEW SOLUTION FOUND: -3009621 @ 172.57 @ #Dec. 164653 c NEW SOLUTION FOUND: -3011267 @ 172.58 @ #Dec. 164682 c NEW SOLUTION FOUND: -3011605 @ 172.59 @ #Dec. 164689 c NEW SOLUTION FOUND: -3011855 @ 172.72 @ #Dec. 164800 c NEW SOLUTION FOUND: -3079901 @ 173.09 @ #Dec. 165122 c NEW SOLUTION FOUND: -3079917 @ 173.1 @ #Dec. 165127 c NEW SOLUTION FOUND: -3080157 @ 173.1 @ #Dec. 165137 c NEW SOLUTION FOUND: -3080165 @ 173.11 @ #Dec. 165139 c NEW SOLUTION FOUND: -3080193 @ 173.11 @ #Dec. 165145 c NEW SOLUTION FOUND: -3080203 @ 173.11 @ #Dec. 165146 c NEW SOLUTION FOUND: -3080211 @ 173.11 @ #Dec. 165150 c NEW SOLUTION FOUND: -3082557 @ 173.67 @ #Dec. 165650 c NEW SOLUTION FOUND: -3082567 @ 173.68 @ #Dec. 165655 c NEW SOLUTION FOUND: -3083933 @ 173.74 @ #Dec. 165731 c NEW SOLUTION FOUND: -3084143 @ 173.74 @ #Dec. 165738 c NEW SOLUTION FOUND: -3186893 @ 174.71 @ #Dec. 166532 c NEW SOLUTION FOUND: -3186947 @ 174.71 @ #Dec. 166537 c NEW SOLUTION FOUND: -3188029 @ 174.79 @ #Dec. 166641 c NEW SOLUTION FOUND: -3188329 @ 174.79 @ #Dec. 166651 c NEW SOLUTION FOUND: -3188339 @ 174.8 @ #Dec. 166660 c NEW SOLUTION FOUND: -3188497 @ 174.82 @ #Dec. 166718 c NEW SOLUTION FOUND: -3188515 @ 174.82 @ #Dec. 166724 c NEW SOLUTION FOUND: -3190863 @ 174.94 @ #Dec. 166852 c NEW SOLUTION FOUND: -3190871 @ 175.02 @ #Dec. 166922 c NEW SOLUTION FOUND: -3192053 @ 175.08 @ #Dec. 167000 c NEW SOLUTION FOUND: -3192375 @ 175.09 @ #Dec. 167013 c NEW SOLUTION FOUND: -3193405 @ 175.22 @ #Dec. 167147 c NEW SOLUTION FOUND: -3193865 @ 175.22 @ #Dec. 167159 c NEW SOLUTION FOUND: -3193875 @ 175.22 @ #Dec. 167168 c NEW SOLUTION FOUND: -3194685 @ 175.28 @ #Dec. 167304 c NEW SOLUTION FOUND: -3194865 @ 175.28 @ #Dec. 167313 c NEW SOLUTION FOUND: -3194875 @ 175.29 @ #Dec. 167319 c NEW SOLUTION FOUND: -3199805 @ 175.85 @ #Dec. 167959 c NEW SOLUTION FOUND: -3200445 @ 175.86 @ #Dec. 167974 c NEW SOLUTION FOUND: -3203645 @ 175.9 @ #Dec. 168027 c NEW SOLUTION FOUND: -3203875 @ 175.91 @ #Dec. 168038 c NEW SOLUTION FOUND: -3204875 @ 175.98 @ #Dec. 168113 c NEW SOLUTION FOUND: -3205375 @ 176.06 @ #Dec. 168194 c NEW SOLUTION FOUND: -3205889 @ 176.25 @ #Dec. 168363 c NEW SOLUTION FOUND: -3205899 @ 176.25 @ #Dec. 168370 c NEW SOLUTION FOUND: -3206339 @ 176.28 @ #Dec. 168407 c NEW SOLUTION FOUND: -3206399 @ 176.52 @ #Dec. 168602 c NEW SOLUTION FOUND: -3206839 @ 176.59 @ #Dec. 168658 c NEW SOLUTION FOUND: -3627709 @ 177.35 @ #Dec. 168853 c NEW SOLUTION FOUND: -3628989 @ 177.47 @ #Dec. 168941 c NEW SOLUTION FOUND: -3629633 @ 177.56 @ #Dec. 168978 c NEW SOLUTION FOUND: -3629643 @ 177.58 @ #Dec. 169000 c NEW SOLUTION FOUND: -3630013 @ 177.85 @ #Dec. 169277 c NEW SOLUTION FOUND: -3630269 @ 178.07 @ #Dec. 169346 c NEW SOLUTION FOUND: -3631293 @ 178.07 @ #Dec. 169359 c NEW SOLUTION FOUND: -3692855 @ 178.45 @ #Dec. 169465 c NEW SOLUTION FOUND: -3693879 @ 178.45 @ #Dec. 169472 c NEW SOLUTION FOUND: -3709239 @ 178.46 @ #Dec. 169489 c NEW SOLUTION FOUND: -3710263 @ 178.46 @ #Dec. 169496 c NEW SOLUTION FOUND: -3710653 @ 178.69 @ #Dec. 169635 c NEW SOLUTION FOUND: -3711533 @ 178.97 @ #Dec. 169722 c NEW SOLUTION FOUND: -3711563 @ 178.98 @ #Dec. 169733 c NEW SOLUTION FOUND: -3713093 @ 179.17 @ #Dec. 169821 c NEW SOLUTION FOUND: -3713193 @ 179.44 @ #Dec. 169940 c NEW SOLUTION FOUND: -3713203 @ 179.47 @ #Dec. 169959 c NEW SOLUTION FOUND: -3713313 @ 180.02 @ #Dec. 170298 c NEW SOLUTION FOUND: -3713373 @ 180.12 @ #Dec. 170364 c NEW SOLUTION FOUND: -3713533 @ 180.14 @ #Dec. 170394 c NEW SOLUTION FOUND: -3713613 @ 180.19 @ #Dec. 170437 c NEW SOLUTION FOUND: -3713633 @ 180.19 @ #Dec. 170453 c NEW SOLUTION FOUND: -3713693 @ 180.25 @ #Dec. 170500 c NEW SOLUTION FOUND: -3713743 @ 180.26 @ #Dec. 170516 c NEW SOLUTION FOUND: -3714653 @ 180.72 @ #Dec. 170778 c NEW SOLUTION FOUND: -3714973 @ 180.73 @ #Dec. 170795 c NEW SOLUTION FOUND: -3715293 @ 180.73 @ #Dec. 170812 c NEW SOLUTION FOUND: -3715523 @ 180.74 @ #Dec. 170828 c NEW SOLUTION FOUND: -3715583 @ 180.97 @ #Dec. 170983 c NEW SOLUTION FOUND: -3715613 @ 180.98 @ #Dec. 171001 c NEW SOLUTION FOUND: -3715773 @ 180.98 @ #Dec. 171017 c NEW SOLUTION FOUND: -3715933 @ 180.99 @ #Dec. 171038 c NEW SOLUTION FOUND: -3716253 @ 181 @ #Dec. 171055 c NEW SOLUTION FOUND: -3716413 @ 181 @ #Dec. 171072 c NEW SOLUTION FOUND: -3716573 @ 181.01 @ #Dec. 171092 c NEW SOLUTION FOUND: -3716863 @ 181.02 @ #Dec. 171106 c NEW SOLUTION FOUND: -3716973 @ 181.03 @ #Dec. 171127 c NEW SOLUTION FOUND: -3717053 @ 181.04 @ #Dec. 171145 c NEW SOLUTION FOUND: -3717293 @ 181.11 @ #Dec. 171192 c NEW SOLUTION FOUND: -3717373 @ 181.12 @ #Dec. 171207 c NEW SOLUTION FOUND: -3717593 @ 181.12 @ #Dec. 171226 c NEW SOLUTION FOUND: -3717653 @ 181.28 @ #Dec. 171304 c NEW SOLUTION FOUND: -3717693 @ 181.28 @ #Dec. 171321 c NEW SOLUTION FOUND: -3717813 @ 181.32 @ #Dec. 171353 c NEW SOLUTION FOUND: -3717923 @ 181.34 @ #Dec. 171387 c NEW SOLUTION FOUND: -3718033 @ 181.55 @ #Dec. 171513 c NEW SOLUTION FOUND: -3718143 @ 181.59 @ #Dec. 171549 c NEW SOLUTION FOUND: -3718363 @ 181.63 @ #Dec. 171579 c NEW SOLUTION FOUND: -3718473 @ 181.7 @ #Dec. 171645 c NEW SOLUTION FOUND: -3718583 @ 181.74 @ #Dec. 171683 c NEW SOLUTION FOUND: -3718623 @ 181.8 @ #Dec. 171732 c NEW SOLUTION FOUND: -3718653 @ 181.8 @ #Dec. 171746 c NEW SOLUTION FOUND: -3718683 @ 181.82 @ #Dec. 171784 c NEW SOLUTION FOUND: -3718903 @ 181.9 @ #Dec. 171825 c NEW SOLUTION FOUND: -3718943 @ 181.99 @ #Dec. 171911 c NEW SOLUTION FOUND: -3718973 @ 181.99 @ #Dec. 171926 c NEW SOLUTION FOUND: -3719013 @ 182.05 @ #Dec. 171995 c NEW SOLUTION FOUND: -3719053 @ 182.06 @ #Dec. 172009 c NEW SOLUTION FOUND: -3719103 @ 182.06 @ #Dec. 172023 c NEW SOLUTION FOUND: -3719123 @ 182.06 @ #Dec. 172035 c NEW SOLUTION FOUND: -3719213 @ 182.1 @ #Dec. 172068 c NEW SOLUTION FOUND: -3719233 @ 182.1 @ #Dec. 172082 c NEW SOLUTION FOUND: -3719473 @ 182.29 @ #Dec. 172172 c NEW SOLUTION FOUND: -3719493 @ 182.29 @ #Dec. 172184 c NEW SOLUTION FOUND: -3719533 @ 182.3 @ #Dec. 172197 c NEW SOLUTION FOUND: -3719563 @ 182.37 @ #Dec. 172240 c NEW SOLUTION FOUND: -3719673 @ 182.8 @ #Dec. 172331 c NEW SOLUTION FOUND: -3719933 @ 182.93 @ #Dec. 172437 c NEW SOLUTION FOUND: -3720013 @ 182.94 @ #Dec. 172453 c NEW SOLUTION FOUND: -3720043 @ 182.94 @ #Dec. 172465 c NEW SOLUTION FOUND: -3720173 @ 182.96 @ #Dec. 172484 c NEW SOLUTION FOUND: -3720253 @ 182.96 @ #Dec. 172500 c NEW SOLUTION FOUND: -3720433 @ 183 @ #Dec. 172539 c NEW SOLUTION FOUND: -3720573 @ 183.01 @ #Dec. 172561 c NEW SOLUTION FOUND: -3720653 @ 183.01 @ #Dec. 172579 c NEW SOLUTION FOUND: -3720973 @ 183.07 @ #Dec. 172614 c NEW SOLUTION FOUND: -3721213 @ 183.18 @ #Dec. 172676 c NEW SOLUTION FOUND: -3721413 @ 183.18 @ #Dec. 172691 c NEW SOLUTION FOUND: -3721533 @ 183.33 @ #Dec. 172768 c NEW SOLUTION FOUND: -3721563 @ 183.34 @ #Dec. 172784 c NEW SOLUTION FOUND: -3722063 @ 183.36 @ #Dec. 172798 c NEW SOLUTION FOUND: -3722493 @ 183.53 @ #Dec. 172865 c NEW SOLUTION FOUND: -3722613 @ 183.54 @ #Dec. 172880 c NEW SOLUTION FOUND: -3722753 @ 183.61 @ #Dec. 172911 c NEW SOLUTION FOUND: -3722763 @ 183.61 @ #Dec. 172922 c NEW SOLUTION FOUND: -3722813 @ 183.63 @ #Dec. 172944 c NEW SOLUTION FOUND: -3722893 @ 183.64 @ #Dec. 172965 c NEW SOLUTION FOUND: -3722973 @ 183.65 @ #Dec. 172980 c NEW SOLUTION FOUND: -3723133 @ 183.65 @ #Dec. 172995 c NEW SOLUTION FOUND: -3723313 @ 183.66 @ #Dec. 173011 c NEW SOLUTION FOUND: -3723373 @ 183.68 @ #Dec. 173029 c NEW SOLUTION FOUND: -3723453 @ 183.68 @ #Dec. 173043 c NEW SOLUTION FOUND: -3723613 @ 183.72 @ #Dec. 173066 c NEW SOLUTION FOUND: -3723693 @ 183.73 @ #Dec. 173081 c NEW SOLUTION FOUND: -3723773 @ 183.73 @ #Dec. 173095 c NEW SOLUTION FOUND: -3723813 @ 183.74 @ #Dec. 173113 c NEW SOLUTION FOUND: -3723933 @ 183.79 @ #Dec. 173143 c NEW SOLUTION FOUND: -3724093 @ 183.8 @ #Dec. 173158 c NEW SOLUTION FOUND: -3724243 @ 183.84 @ #Dec. 173185 c NEW SOLUTION FOUND: -3730717 @ 184.28 @ #Dec. 173330 c NEW SOLUTION FOUND: -3734813 @ 184.28 @ #Dec. 173339 c NEW SOLUTION FOUND: -3735837 @ 184.28 @ #Dec. 173346 c NEW SOLUTION FOUND: -3736317 @ 184.29 @ #Dec. 173351 c NEW SOLUTION FOUND: -3736337 @ 184.29 @ #Dec. 173363 c NEW SOLUTION FOUND: -3736593 @ 184.3 @ #Dec. 173368 c NEW SOLUTION FOUND: -3736817 @ 184.3 @ #Dec. 173372 c NEW SOLUTION FOUND: -3736847 @ 184.37 @ #Dec. 173473 c NEW SOLUTION FOUND: -3736903 @ 184.38 @ #Dec. 173475 c NEW SOLUTION FOUND: -3737347 @ 184.38 @ #Dec. 173490 c NEW SOLUTION FOUND: -3737403 @ 184.38 @ #Dec. 173492 c NEW SOLUTION FOUND: -3737605 @ 184.4 @ #Dec. 173515 c NEW SOLUTION FOUND: -3737907 @ 184.46 @ #Dec. 173572 c NEW SOLUTION FOUND: -3738183 @ 184.49 @ #Dec. 173601 c NEW SOLUTION FOUND: -3738201 @ 184.5 @ #Dec. 173618 c NEW SOLUTION FOUND: -3738289 @ 184.55 @ #Dec. 173690 c NEW SOLUTION FOUND: -3738353 @ 184.55 @ #Dec. 173693 c NEW SOLUTION FOUND: -3738433 @ 184.55 @ #Dec. 173699 c NEW SOLUTION FOUND: -3738451 @ 184.56 @ #Dec. 173722 c NEW SOLUTION FOUND: -3744459 @ 184.71 @ #Dec. 173848 c NEW SOLUTION FOUND: -3744523 @ 184.71 @ #Dec. 173851 c NEW SOLUTION FOUND: -3744539 @ 184.71 @ #Dec. 173854 c NEW SOLUTION FOUND: -3744549 @ 184.72 @ #Dec. 173857 c NEW SOLUTION FOUND: -3744557 @ 184.72 @ #Dec. 173857 c NEW SOLUTION FOUND: -3745039 @ 184.73 @ #Dec. 173872 c NEW SOLUTION FOUND: -3745057 @ 184.74 @ #Dec. 173879 c NEW SOLUTION FOUND: -3745289 @ 184.78 @ #Dec. 173914 c NEW SOLUTION FOUND: -3745299 @ 184.78 @ #Dec. 173921 c NEW SOLUTION FOUND: -3745307 @ 184.78 @ #Dec. 173921 c NEW SOLUTION FOUND: -3750387 @ 185.06 @ #Dec. 174016 c NEW SOLUTION FOUND: -3750887 @ 185.06 @ #Dec. 174027 c NEW SOLUTION FOUND: -3751137 @ 185.12 @ #Dec. 174060 c NEW SOLUTION FOUND: -3751229 @ 185.16 @ #Dec. 174084 c NEW SOLUTION FOUND: -3751467 @ 185.21 @ #Dec. 174122 c NEW SOLUTION FOUND: -3753039 @ 188.01 @ #Dec. 174630 c NEW SOLUTION FOUND: -3753539 @ 188.09 @ #Dec. 174695 c NEW SOLUTION FOUND: -3753729 @ 188.22 @ #Dec. 174820 c NEW SOLUTION FOUND: -3753789 @ 188.35 @ #Dec. 174950 c NEW SOLUTION FOUND: -3756945 @ 188.48 @ #Dec. 175111 c NEW SOLUTION FOUND: -3756965 @ 188.49 @ #Dec. 175119 c NEW SOLUTION FOUND: -3757445 @ 188.49 @ #Dec. 175127 c NEW SOLUTION FOUND: -3757465 @ 188.49 @ #Dec. 175134 c NEW SOLUTION FOUND: -3758143 @ 188.51 @ #Dec. 175153 c NEW SOLUTION FOUND: -3758893 @ 188.51 @ #Dec. 175165 c NEW SOLUTION FOUND: -3758975 @ 188.53 @ #Dec. 175185 c NEW SOLUTION FOUND: -3759003 @ 188.53 @ #Dec. 175187 c NEW SOLUTION FOUND: -3759027 @ 188.61 @ #Dec. 175229 c NEW SOLUTION FOUND: -3759277 @ 188.63 @ #Dec. 175244 c NEW SOLUTION FOUND: -3759699 @ 190.11 @ #Dec. 175390 c NEW SOLUTION FOUND: -3759701 @ 206.5 @ #Dec. 176966 c NEW SOLUTION FOUND: -3759834 @ 209.81 @ #Dec. 177197 c NEW SOLUTION FOUND: -3759849 @ 209.81 @ #Dec. 177197 c NEW SOLUTION FOUND: -3759864 @ 209.81 @ #Dec. 177198 c NEW SOLUTION FOUND: -3759879 @ 209.81 @ #Dec. 177198 c NEW SOLUTION FOUND: -3759909 @ 209.82 @ #Dec. 177200 c NEW SOLUTION FOUND: -3759939 @ 209.82 @ #Dec. 177201 c NEW SOLUTION FOUND: -3760084 @ 213.32 @ #Dec. 177655 c NEW SOLUTION FOUND: -3760099 @ 213.32 @ #Dec. 177657 c NEW SOLUTION FOUND: -3760114 @ 213.32 @ #Dec. 177661 c NEW SOLUTION FOUND: -3760129 @ 213.32 @ #Dec. 177664 c NEW SOLUTION FOUND: -3760130 @ 213.39 @ #Dec. 177679 c NEW SOLUTION FOUND: -3760145 @ 213.4 @ #Dec. 177688 c NEW SOLUTION FOUND: -3760257 @ 213.46 @ #Dec. 177700 c NEW SOLUTION FOUND: -3760679 @ 213.8 @ #Dec. 177716 c NEW SOLUTION FOUND: -3760917 @ 215.02 @ #Dec. 177843 c NEW SOLUTION FOUND: -3761155 @ 216.65 @ #Dec. 177963 c NEW SOLUTION FOUND: -3761209 @ 218.41 @ #Dec. 178148 c NEW SOLUTION FOUND: -3761391 @ 219.09 @ #Dec. 178177 c NEW SOLUTION FOUND: -3761526 @ 219.41 @ #Dec. 178201 c NEW SOLUTION FOUND: -3761541 @ 219.41 @ #Dec. 178201 c NEW SOLUTION FOUND: -3761556 @ 219.41 @ #Dec. 178202 c NEW SOLUTION FOUND: -3761571 @ 219.41 @ #Dec. 178202 c NEW SOLUTION FOUND: -3761586 @ 219.41 @ #Dec. 178204 c NEW SOLUTION FOUND: -3761601 @ 219.42 @ #Dec. 178204 c NEW SOLUTION FOUND: -3761631 @ 219.42 @ #Dec. 178205 c NEW SOLUTION FOUND: -3761764 @ 222.79 @ #Dec. 178463 c NEW SOLUTION FOUND: -3761779 @ 222.79 @ #Dec. 178463 c NEW SOLUTION FOUND: -3761794 @ 222.79 @ #Dec. 178464 c NEW SOLUTION FOUND: -3761809 @ 222.79 @ #Dec. 178464 c NEW SOLUTION FOUND: -3761824 @ 222.8 @ #Dec. 178466 c NEW SOLUTION FOUND: -3761839 @ 222.8 @ #Dec. 178466 c NEW SOLUTION FOUND: -3761869 @ 222.8 @ #Dec. 178467 c NEW SOLUTION FOUND: -3762047 @ 225.13 @ #Dec. 178603 c NEW SOLUTION FOUND: -3762107 @ 225.13 @ #Dec. 178605 c NEW SOLUTION FOUND: -3762161 @ 228.18 @ #Dec. 178781 c NEW SOLUTION FOUND: -3762283 @ 228.25 @ #Dec. 178799 c NEW SOLUTION FOUND: -3762313 @ 228.26 @ #Dec. 178801 c NEW SOLUTION FOUND: -3762343 @ 228.26 @ #Dec. 178802 c NEW SOLUTION FOUND: -3762493 @ 228.3 @ #Dec. 178820 c NEW SOLUTION FOUND: -3762523 @ 228.3 @ #Dec. 178821 c NEW SOLUTION FOUND: -3762553 @ 228.31 @ #Dec. 178823 c NEW SOLUTION FOUND: -3762583 @ 228.31 @ #Dec. 178824 c NEW SOLUTION FOUND: -3762607 @ 229.45 @ #Dec. 178943 c NEW SOLUTION FOUND: -3762637 @ 229.46 @ #Dec. 178947 c NEW SOLUTION FOUND: -3763059 @ 229.58 @ #Dec. 178961 c NEW SOLUTION FOUND: -3764741 @ 239.65 @ #Dec. 179905 c NEW SOLUTION FOUND: -3764961 @ 239.94 @ #Dec. 179970 c NEW SOLUTION FOUND: -3765035 @ 240.06 @ #Dec. 180002 c NEW SOLUTION FOUND: -3765111 @ 240.22 @ #Dec. 180091 c NEW SOLUTION FOUND: -3765121 @ 240.22 @ #Dec. 180099 c NEW SOLUTION FOUND: -3765401 @ 240.37 @ #Dec. 180145 c NEW SOLUTION FOUND: -3765467 @ 240.38 @ #Dec. 180165 c NEW SOLUTION FOUND: -3765539 @ 240.43 @ #Dec. 180182 c NEW SOLUTION FOUND: -3766043 @ 240.59 @ #Dec. 180228 c NEW SOLUTION FOUND: -3767261 @ 240.74 @ #Dec. 180263 c NEW SOLUTION FOUND: -3767401 @ 240.79 @ #Dec. 180296 c NEW SOLUTION FOUND: -3767451 @ 240.86 @ #Dec. 180335 c NEW SOLUTION FOUND: -3768075 @ 240.95 @ #Dec. 180371 c NEW SOLUTION FOUND: -3768155 @ 240.97 @ #Dec. 180388 c NEW SOLUTION FOUND: -3768555 @ 241.01 @ #Dec. 180405 c NEW SOLUTION FOUND: -3768931 @ 241.1 @ #Dec. 180436 c NEW SOLUTION FOUND: -3768967 @ 241.11 @ #Dec. 180445 c NEW SOLUTION FOUND: -3768977 @ 241.11 @ #Dec. 180446 c NEW SOLUTION FOUND: -3769059 @ 241.12 @ #Dec. 180459 c NEW SOLUTION FOUND: -3770779 @ 241.21 @ #Dec. 180505 c NEW SOLUTION FOUND: -3771035 @ 241.26 @ #Dec. 180529 c NEW SOLUTION FOUND: -3771067 @ 241.31 @ #Dec. 180547 c NEW SOLUTION FOUND: -3772939 @ 241.52 @ #Dec. 180600 c NEW SOLUTION FOUND: -3772959 @ 241.54 @ #Dec. 180612 c NEW SOLUTION FOUND: -3772969 @ 241.54 @ #Dec. 180619 c NEW SOLUTION FOUND: -3773963 @ 241.56 @ #Dec. 180635 c NEW SOLUTION FOUND: -3773993 @ 241.57 @ #Dec. 180641 c NEW SOLUTION FOUND: -3774513 @ 241.58 @ #Dec. 180641 c NEW SOLUTION FOUND: -3774591 @ 242.19 @ #Dec. 180782 c NEW SOLUTION FOUND: -3774607 @ 242.29 @ #Dec. 180829 c NEW SOLUTION FOUND: -3774622 @ 242.31 @ #Dec. 180855 c NEW SOLUTION FOUND: -3774637 @ 242.36 @ #Dec. 180869 c NEW SOLUTION FOUND: -3774687 @ 242.4 @ #Dec. 180892 c NEW SOLUTION FOUND: -3774702 @ 242.44 @ #Dec. 180904 c NEW SOLUTION FOUND: -3774717 @ 242.45 @ #Dec. 180912 c NEW SOLUTION FOUND: -3774799 @ 242.47 @ #Dec. 180922 c NEW SOLUTION FOUND: -3774814 @ 242.49 @ #Dec. 180933 c NEW SOLUTION FOUND: -3774829 @ 242.5 @ #Dec. 180943 c NEW SOLUTION FOUND: -3775013 @ 242.71 @ #Dec. 181008 c NEW SOLUTION FOUND: -3775221 @ 242.79 @ #Dec. 181027 c NEW SOLUTION FOUND: -3775236 @ 242.79 @ #Dec. 181028 c NEW SOLUTION FOUND: -3775251 @ 242.79 @ #Dec. 181028 c NEW SOLUTION FOUND: -3775652 @ 243.91 @ #Dec. 181196 c NEW SOLUTION FOUND: -3775667 @ 243.91 @ #Dec. 181196 c NEW SOLUTION FOUND: -3775682 @ 243.93 @ #Dec. 181200 c NEW SOLUTION FOUND: -3775697 @ 243.94 @ #Dec. 181200 c NEW SOLUTION FOUND: -3775712 @ 243.94 @ #Dec. 181201 c NEW SOLUTION FOUND: -3775727 @ 243.94 @ #Dec. 181201 c NEW SOLUTION FOUND: -3775875 @ 245.81 @ #Dec. 181580 c NEW SOLUTION FOUND: -3775890 @ 245.81 @ #Dec. 181581 c NEW SOLUTION FOUND: -3775905 @ 245.81 @ #Dec. 181581 c NEW SOLUTION FOUND: -3775920 @ 245.84 @ #Dec. 181587 c NEW SOLUTION FOUND: -3775935 @ 245.84 @ #Dec. 181587 c NEW SOLUTION FOUND: -3775965 @ 245.84 @ #Dec. 181588 c NEW SOLUTION FOUND: -3776113 @ 246.06 @ #Dec. 181643 c NEW SOLUTION FOUND: -3776143 @ 246.06 @ #Dec. 181644 c NEW SOLUTION FOUND: -3776173 @ 246.08 @ #Dec. 181649 c NEW SOLUTION FOUND: -3776203 @ 246.09 @ #Dec. 181650 c NEW SOLUTION FOUND: -3776209 @ 247.15 @ #Dec. 181864 c NEW SOLUTION FOUND: -3776257 @ 247.17 @ #Dec. 181871 c NEW SOLUTION FOUND: -3776559 @ 247.27 @ #Dec. 181882 c NEW SOLUTION FOUND: -3776619 @ 247.3 @ #Dec. 181898 c NEW SOLUTION FOUND: -3776679 @ 247.32 @ #Dec. 181903 c NEW SOLUTION FOUND: -3776857 @ 248.02 @ #Dec. 182063 c NEW SOLUTION FOUND: -3776917 @ 248.03 @ #Dec. 182066 c NEW SOLUTION FOUND: -3777155 @ 248.67 @ #Dec. 182181 c NEW SOLUTION FOUND: -3777163 @ 250.87 @ #Dec. 182572 c NEW SOLUTION FOUND: -3777164 @ 250.87 @ #Dec. 182575 c NEW SOLUTION FOUND: -3777179 @ 250.87 @ #Dec. 182577 c NEW SOLUTION FOUND: -3777209 @ 250.91 @ #Dec. 182591 c NEW SOLUTION FOUND: -3777391 @ 251.01 @ #Dec. 182600 c NEW SOLUTION FOUND: -3777556 @ 251.05 @ #Dec. 182619 c NEW SOLUTION FOUND: -3777571 @ 251.05 @ #Dec. 182620 c NEW SOLUTION FOUND: -3777631 @ 251.05 @ #Dec. 182623 c NEW SOLUTION FOUND: -3777867 @ 251.79 @ #Dec. 182754 c NEW SOLUTION FOUND: -3778107 @ 251.83 @ #Dec. 182774 c NEW SOLUTION FOUND: -3778141 @ 254.59 @ #Dec. 183152 c NEW SOLUTION FOUND: -3778173 @ 254.6 @ #Dec. 183158 c NEW SOLUTION FOUND: -3778189 @ 254.61 @ #Dec. 183162 c NEW SOLUTION FOUND: -3778219 @ 254.62 @ #Dec. 183172 c NEW SOLUTION FOUND: -3778263 @ 254.65 @ #Dec. 183190 c NEW SOLUTION FOUND: -3778279 @ 254.66 @ #Dec. 183200 c NEW SOLUTION FOUND: -3778287 @ 254.71 @ #Dec. 183217 c NEW SOLUTION FOUND: -3778351 @ 254.76 @ #Dec. 183232 c NEW SOLUTION FOUND: -3778383 @ 254.8 @ #Dec. 183245 c NEW SOLUTION FOUND: -3778399 @ 254.81 @ #Dec. 183253 c NEW SOLUTION FOUND: -3778821 @ 254.88 @ #Dec. 183269 c NEW SOLUTION FOUND: -3779059 @ 255.45 @ #Dec. 183402 c NEW SOLUTION FOUND: -3779221 @ 258.09 @ #Dec. 183879 c NEW SOLUTION FOUND: -3779236 @ 258.09 @ #Dec. 183880 c NEW SOLUTION FOUND: -3779251 @ 258.09 @ #Dec. 183880 c NEW SOLUTION FOUND: -3779979 @ 259.39 @ #Dec. 184156 c NEW SOLUTION FOUND: -3779999 @ 259.39 @ #Dec. 184162 c NEW SOLUTION FOUND: -3780009 @ 259.4 @ #Dec. 184167 c NEW SOLUTION FOUND: -3780024 @ 259.4 @ #Dec. 184177 c NEW SOLUTION FOUND: -3780029 @ 259.41 @ #Dec. 184184 c NEW SOLUTION FOUND: -3780039 @ 259.41 @ #Dec. 184190 c NEW SOLUTION FOUND: -3780529 @ 259.42 @ #Dec. 184192 c NEW SOLUTION FOUND: -3780544 @ 259.42 @ #Dec. 184193 c NEW SOLUTION FOUND: -3780559 @ 259.42 @ #Dec. 184193 c NEW SOLUTION FOUND: -3780574 @ 259.44 @ #Dec. 184210 c NEW SOLUTION FOUND: -3780589 @ 259.44 @ #Dec. 184210 c NEW SOLUTION FOUND: -3780604 @ 259.44 @ #Dec. 184211 c NEW SOLUTION FOUND: -3780619 @ 259.44 @ #Dec. 184211 c NEW SOLUTION FOUND: -3780679 @ 259.46 @ #Dec. 184230 c NEW SOLUTION FOUND: -3780857 @ 260.08 @ #Dec. 184371 c NEW SOLUTION FOUND: -3780917 @ 260.09 @ #Dec. 184375 c NEW SOLUTION FOUND: -3781095 @ 260.61 @ #Dec. 184485 c NEW SOLUTION FOUND: -3781155 @ 260.62 @ #Dec. 184489 c NEW SOLUTION FOUND: -3781193 @ 261.3 @ #Dec. 184676 c NEW SOLUTION FOUND: -3781209 @ 261.32 @ #Dec. 184686 c NEW SOLUTION FOUND: -3781391 @ 261.48 @ #Dec. 184697 c NEW SOLUTION FOUND: -3781631 @ 261.5 @ #Dec. 184712 c NEW SOLUTION FOUND: -3781869 @ 262.02 @ #Dec. 184822 c NEW SOLUTION FOUND: -3782107 @ 262.55 @ #Dec. 184923 c NEW SOLUTION FOUND: -3782129 @ 263.76 @ #Dec. 185148 c NEW SOLUTION FOUND: -3782143 @ 263.77 @ #Dec. 185160 c NEW SOLUTION FOUND: -3782159 @ 263.79 @ #Dec. 185169 c NEW SOLUTION FOUND: -3782167 @ 263.82 @ #Dec. 185188 c NEW SOLUTION FOUND: -3782231 @ 263.83 @ #Dec. 185198 c NEW SOLUTION FOUND: -3782263 @ 263.84 @ #Dec. 185207 c NEW SOLUTION FOUND: -3782279 @ 263.85 @ #Dec. 185213 c NEW SOLUTION FOUND: -3782287 @ 263.87 @ #Dec. 185228 c NEW SOLUTION FOUND: -3782399 @ 263.89 @ #Dec. 185240 c NEW SOLUTION FOUND: -3782821 @ 263.98 @ #Dec. 185262 c NEW SOLUTION FOUND: -3783059 @ 264.54 @ #Dec. 185368 c NEW SOLUTION FOUND: -3783145 @ 266.66 @ #Dec. 185752 c NEW SOLUTION FOUND: -3783175 @ 266.71 @ #Dec. 185776 c NEW SOLUTION FOUND: -3783265 @ 266.72 @ #Dec. 185793 c NEW SOLUTION FOUND: -3783285 @ 266.73 @ #Dec. 185803 c NEW SOLUTION FOUND: -3783295 @ 266.73 @ #Dec. 185812 c NEW SOLUTION FOUND: -3783385 @ 266.74 @ #Dec. 185828 c NEW SOLUTION FOUND: -3783415 @ 266.76 @ #Dec. 185848 c NEW SOLUTION FOUND: -3783623 @ 266.91 @ #Dec. 185903 c NEW SOLUTION FOUND: -3783653 @ 266.94 @ #Dec. 185924 c NEW SOLUTION FOUND: -3783671 @ 267.06 @ #Dec. 185963 c NEW SOLUTION FOUND: -3783751 @ 267.1 @ #Dec. 185982 c NEW SOLUTION FOUND: -3783781 @ 267.14 @ #Dec. 186008 c NEW SOLUTION FOUND: -3783861 @ 267.16 @ #Dec. 186034 c NEW SOLUTION FOUND: -3783881 @ 267.17 @ #Dec. 186050 c NEW SOLUTION FOUND: -3783891 @ 267.18 @ #Dec. 186065 c NEW SOLUTION FOUND: -3783907 @ 267.32 @ #Dec. 186110 c NEW SOLUTION FOUND: -3784097 @ 267.35 @ #Dec. 186136 c NEW SOLUTION FOUND: -3784337 @ 267.41 @ #Dec. 186158 c NEW SOLUTION FOUND: -3784367 @ 267.43 @ #Dec. 186177 c NEW SOLUTION FOUND: -3784575 @ 267.58 @ #Dec. 186215 c NEW SOLUTION FOUND: -3784595 @ 267.6 @ #Dec. 186235 c NEW SOLUTION FOUND: -3784605 @ 267.6 @ #Dec. 186248 c NEW SOLUTION FOUND: -3784813 @ 267.74 @ #Dec. 186281 c NEW SOLUTION FOUND: -3784843 @ 267.76 @ #Dec. 186300 c NEW SOLUTION FOUND: -3784859 @ 282.87 @ #Dec. 187681 c NEW SOLUTION FOUND: -3784923 @ 282.92 @ #Dec. 187716 c NEW SOLUTION FOUND: -3784951 @ 282.93 @ #Dec. 187731 c NEW SOLUTION FOUND: -3784969 @ 282.94 @ #Dec. 187734 c NEW SOLUTION FOUND: -3785003 @ 283.17 @ #Dec. 187822 c NEW SOLUTION FOUND: -3785051 @ 283.25 @ #Dec. 187852 c NEW SOLUTION FOUND: -3788891 @ 283.4 @ #Dec. 187984 c NEW SOLUTION FOUND: -3788947 @ 283.4 @ #Dec. 187990 c NEW SOLUTION FOUND: -3788985 @ 283.49 @ #Dec. 188050 c NEW SOLUTION FOUND: -3788993 @ 283.5 @ #Dec. 188050 c NEW SOLUTION FOUND: -3789067 @ 283.5 @ #Dec. 188058 c NEW SOLUTION FOUND: -3789979 @ 283.72 @ #Dec. 188252 c NEW SOLUTION FOUND: -3790059 @ 283.73 @ #Dec. 188263 c NEW SOLUTION FOUND: -3790955 @ 283.74 @ #Dec. 188275 c NEW SOLUTION FOUND: -3791083 @ 283.74 @ #Dec. 188286 c NEW SOLUTION FOUND: -3791111 @ 283.83 @ #Dec. 188308 c NEW SOLUTION FOUND: -3791129 @ 283.83 @ #Dec. 188309 c NEW SOLUTION FOUND: -3791303 @ 283.97 @ #Dec. 188429 c NEW SOLUTION FOUND: -3792513 @ 284.04 @ #Dec. 188463 c NEW SOLUTION FOUND: -3792783 @ 286.47 @ #Dec. 188856 c NEW SOLUTION FOUND: -3792813 @ 286.47 @ #Dec. 188861 c NEW SOLUTION FOUND: -3792849 @ 286.49 @ #Dec. 188874 c NEW SOLUTION FOUND: -3792969 @ 286.96 @ #Dec. 188982 c NEW SOLUTION FOUND: -3794505 @ 286.97 @ #Dec. 188994 c NEW SOLUTION FOUND: -3794513 @ 286.98 @ #Dec. 188995 c NEW SOLUTION FOUND: -3794829 @ 287.27 @ #Dec. 189075 c NEW SOLUTION FOUND: -3794903 @ 287.36 @ #Dec. 189130 c NEW SOLUTION FOUND: -3795013 @ 287.47 @ #Dec. 189157 c NEW SOLUTION FOUND: -3795251 @ 287.52 @ #Dec. 189191 c NEW SOLUTION FOUND: -3795257 @ 288.49 @ #Dec. 189400 c NEW SOLUTION FOUND: -3795305 @ 288.49 @ #Dec. 189404 c NEW SOLUTION FOUND: -3795319 @ 288.82 @ #Dec. 189469 c NEW SOLUTION FOUND: -3795379 @ 288.82 @ #Dec. 189471 c NEW SOLUTION FOUND: -3795667 @ 288.9 @ #Dec. 189499 c NEW SOLUTION FOUND: -3795727 @ 288.9 @ #Dec. 189501 c NEW SOLUTION FOUND: -3795751 @ 290.19 @ #Dec. 189860 c NEW SOLUTION FOUND: -3795781 @ 290.19 @ #Dec. 189862 c NEW SOLUTION FOUND: -3795875 @ 290.48 @ #Dec. 189895 c NEW SOLUTION FOUND: -3795905 @ 290.48 @ #Dec. 189896 c NEW SOLUTION FOUND: -3795965 @ 290.48 @ #Dec. 189898 c NEW SOLUTION FOUND: -3796143 @ 290.65 @ #Dec. 189930 c NEW SOLUTION FOUND: -3796203 @ 290.65 @ #Dec. 189932 c NEW SOLUTION FOUND: -3796209 @ 291.23 @ #Dec. 190093 c NEW SOLUTION FOUND: -3796241 @ 291.26 @ #Dec. 190104 c NEW SOLUTION FOUND: -3796257 @ 291.27 @ #Dec. 190111 c NEW SOLUTION FOUND: -3796513 @ 291.44 @ #Dec. 190136 c NEW SOLUTION FOUND: -3796633 @ 291.48 @ #Dec. 190170 c NEW SOLUTION FOUND: -3796679 @ 291.52 @ #Dec. 190200 c NEW SOLUTION FOUND: -3796797 @ 292.09 @ #Dec. 190306 c NEW SOLUTION FOUND: -3796917 @ 292.1 @ #Dec. 190310 c NEW SOLUTION FOUND: -3796943 @ 292.71 @ #Dec. 190459 c NEW SOLUTION FOUND: -3796989 @ 292.72 @ #Dec. 190472 c NEW SOLUTION FOUND: -3797109 @ 292.74 @ #Dec. 190500 c NEW SOLUTION FOUND: -3797155 @ 292.78 @ #Dec. 190525 c NEW SOLUTION FOUND: -3797209 @ 294.55 @ #Dec. 190881 c NEW SOLUTION FOUND: -3797391 @ 294.7 @ #Dec. 190910 c NEW SOLUTION FOUND: -3797631 @ 294.7 @ #Dec. 190918 c NEW SOLUTION FOUND: -3797664 @ 295.38 @ #Dec. 191093 c NEW SOLUTION FOUND: -3797679 @ 295.38 @ #Dec. 191093 c NEW SOLUTION FOUND: -3797709 @ 295.38 @ #Dec. 191095 c NEW SOLUTION FOUND: -3797769 @ 295.38 @ #Dec. 191098 c NEW SOLUTION FOUND: -3797777 @ 295.38 @ #Dec. 191105 c NEW SOLUTION FOUND: -3797823 @ 295.39 @ #Dec. 191119 c NEW SOLUTION FOUND: -3797869 @ 295.42 @ #Dec. 191156 c NEW SOLUTION FOUND: -3798107 @ 295.77 @ #Dec. 191242 c NEW SOLUTION FOUND: -3798119 @ 299.67 @ #Dec. 191630 c NEW SOLUTION FOUND: -3798149 @ 299.67 @ #Dec. 191637 c NEW SOLUTION FOUND: -3798179 @ 299.67 @ #Dec. 191649 c NEW SOLUTION FOUND: -3798209 @ 299.68 @ #Dec. 191656 c NEW SOLUTION FOUND: -3798239 @ 299.68 @ #Dec. 191667 c NEW SOLUTION FOUND: -3798269 @ 299.68 @ #Dec. 191677 c NEW SOLUTION FOUND: -3798283 @ 299.72 @ #Dec. 191694 c NEW SOLUTION FOUND: -3798295 @ 299.73 @ #Dec. 191701 c NEW SOLUTION FOUND: -3798343 @ 299.73 @ #Dec. 191705 c NEW SOLUTION FOUND: -3798415 @ 299.73 @ #Dec. 191713 c NEW SOLUTION FOUND: -3798447 @ 299.73 @ #Dec. 191718 c NEW SOLUTION FOUND: -3798463 @ 299.73 @ #Dec. 191722 c NEW SOLUTION FOUND: -3798509 @ 299.77 @ #Dec. 191740 c NEW SOLUTION FOUND: -3798637 @ 299.79 @ #Dec. 191757 c NEW SOLUTION FOUND: -3799059 @ 299.97 @ #Dec. 191800 c NEW SOLUTION FOUND: -3800043 @ 303.85 @ #Dec. 192439 c NEW SOLUTION FOUND: -3800245 @ 303.88 @ #Dec. 192449 c NEW SOLUTION FOUND: -3800263 @ 303.89 @ #Dec. 192453 c NEW SOLUTION FOUND: -3800281 @ 303.89 @ #Dec. 192456 c NEW SOLUTION FOUND: -3800283 @ 303.94 @ #Dec. 192481 c NEW SOLUTION FOUND: -3800419 @ 303.96 @ #Dec. 192490 c NEW SOLUTION FOUND: -3800547 @ 304.01 @ #Dec. 192511 c NEW SOLUTION FOUND: -3800749 @ 304.05 @ #Dec. 192530 c NEW SOLUTION FOUND: -3802043 @ 304.23 @ #Dec. 192593 c NEW SOLUTION FOUND: -3802493 @ 304.29 @ #Dec. 192613 c NEW SOLUTION FOUND: -3802749 @ 304.31 @ #Dec. 192622 c NEW SOLUTION FOUND: -3802831 @ 304.48 @ #Dec. 192673 c NEW SOLUTION FOUND: -3802841 @ 304.49 @ #Dec. 192678 c NEW SOLUTION FOUND: -3803051 @ 304.58 @ #Dec. 192709 c NEW SOLUTION FOUND: -3804773 @ 304.67 @ #Dec. 192753 c NEW SOLUTION FOUND: -3805067 @ 304.8 @ #Dec. 192802 c NEW SOLUTION FOUND: -3805967 @ 304.86 @ #Dec. 192839 c NEW SOLUTION FOUND: -3805983 @ 304.87 @ #Dec. 192844 c NEW SOLUTION FOUND: -3806001 @ 304.89 @ #Dec. 192850 c NEW SOLUTION FOUND: -3806075 @ 304.97 @ #Dec. 192876 c NEW SOLUTION FOUND: -3808075 @ 305.02 @ #Dec. 192891 c NEW SOLUTION FOUND: -3808091 @ 305.04 @ #Dec. 192896 c NEW SOLUTION FOUND: -3808467 @ 305.12 @ #Dec. 192925 c NEW SOLUTION FOUND: -3808513 @ 305.14 @ #Dec. 192942 c NEW SOLUTION FOUND: -3808699 @ 305.44 @ #Dec. 193057 c NEW SOLUTION FOUND: -3808939 @ 305.49 @ #Dec. 193077 c NEW SOLUTION FOUND: -3808969 @ 305.51 @ #Dec. 193089 c NEW SOLUTION FOUND: -3809083 @ 305.58 @ #Dec. 193114 c NEW SOLUTION FOUND: -3810075 @ 305.64 @ #Dec. 193129 c NEW SOLUTION FOUND: -3810091 @ 305.66 @ #Dec. 193134 c NEW SOLUTION FOUND: -3810467 @ 305.71 @ #Dec. 193148 c NEW SOLUTION FOUND: -3810513 @ 305.73 @ #Dec. 193163 c NEW SOLUTION FOUND: -3810783 @ 306.7 @ #Dec. 193342 c NEW SOLUTION FOUND: -3810798 @ 306.7 @ #Dec. 193344 c NEW SOLUTION FOUND: -3810813 @ 306.71 @ #Dec. 193345 c NEW SOLUTION FOUND: -3810814 @ 306.71 @ #Dec. 193354 c NEW SOLUTION FOUND: -3810829 @ 306.71 @ #Dec. 193355 c NEW SOLUTION FOUND: -3811251 @ 306.79 @ #Dec. 193367 c NEW SOLUTION FOUND: -3811257 @ 308.18 @ #Dec. 193642 c NEW SOLUTION FOUND: -3811305 @ 308.2 @ #Dec. 193652 c NEW SOLUTION FOUND: -3811667 @ 308.25 @ #Dec. 193659 c NEW SOLUTION FOUND: -3811727 @ 308.26 @ #Dec. 193661 c NEW SOLUTION FOUND: -3812143 @ 309.11 @ #Dec. 193801 c NEW SOLUTION FOUND: -3812203 @ 309.11 @ #Dec. 193803 c NEW SOLUTION FOUND: -3812257 @ 309.93 @ #Dec. 193974 c NEW SOLUTION FOUND: -3812559 @ 310.01 @ #Dec. 193988 c NEW SOLUTION FOUND: -3812619 @ 310.06 @ #Dec. 194002 c NEW SOLUTION FOUND: -3812679 @ 310.06 @ #Dec. 194004 c NEW SOLUTION FOUND: -3812685 @ 311.37 @ #Dec. 194284 c NEW SOLUTION FOUND: -3812717 @ 311.39 @ #Dec. 194293 c NEW SOLUTION FOUND: -3812733 @ 311.4 @ #Dec. 194299 c NEW SOLUTION FOUND: -3813095 @ 311.46 @ #Dec. 194310 c NEW SOLUTION FOUND: -3813155 @ 311.46 @ #Dec. 194313 c NEW SOLUTION FOUND: -3813391 @ 312.03 @ #Dec. 194429 c NEW SOLUTION FOUND: -3813406 @ 312.05 @ #Dec. 194440 c NEW SOLUTION FOUND: -3813421 @ 312.05 @ #Dec. 194440 c NEW SOLUTION FOUND: -3813451 @ 312.05 @ #Dec. 194441 c NEW SOLUTION FOUND: -3813511 @ 312.05 @ #Dec. 194443 c NEW SOLUTION FOUND: -3813631 @ 312.08 @ #Dec. 194451 c NEW SOLUTION FOUND: -3813779 @ 313.38 @ #Dec. 194671 c NEW SOLUTION FOUND: -3813809 @ 313.38 @ #Dec. 194672 c NEW SOLUTION FOUND: -3813839 @ 313.38 @ #Dec. 194675 c NEW SOLUTION FOUND: -3813869 @ 313.38 @ #Dec. 194677 c NEW SOLUTION FOUND: -3814107 @ 314.02 @ #Dec. 194801 c NEW SOLUTION FOUND: -3814161 @ 314.79 @ #Dec. 194935 c NEW SOLUTION FOUND: -3814583 @ 314.89 @ #Dec. 194956 c NEW SOLUTION FOUND: -3814821 @ 315.27 @ #Dec. 195038 c NEW SOLUTION FOUND: -3815059 @ 315.68 @ #Dec. 195122 c NEW SOLUTION FOUND: -3815213 @ 316.41 @ #Dec. 195303 c NEW SOLUTION FOUND: -3815323 @ 316.55 @ #Dec. 195359 c NEW SOLUTION FOUND: -3815343 @ 316.63 @ #Dec. 195462 c NEW SOLUTION FOUND: -3815353 @ 316.68 @ #Dec. 195517 c NEW SOLUTION FOUND: -3815403 @ 316.71 @ #Dec. 195534 c NEW SOLUTION FOUND: -3816493 @ 316.79 @ #Dec. 195559 c NEW SOLUTION FOUND: -3816603 @ 316.91 @ #Dec. 195605 c NEW SOLUTION FOUND: -3816633 @ 316.96 @ #Dec. 195630 c NEW SOLUTION FOUND: -3816683 @ 316.99 @ #Dec. 195648 c NEW SOLUTION FOUND: -3817243 @ 317.15 @ #Dec. 195682 c NEW SOLUTION FOUND: -3817263 @ 317.19 @ #Dec. 195704 c NEW SOLUTION FOUND: -3817273 @ 317.21 @ #Dec. 195719 c NEW SOLUTION FOUND: -3817323 @ 317.24 @ #Dec. 195737 c NEW SOLUTION FOUND: -3817773 @ 317.29 @ #Dec. 195759 c NEW SOLUTION FOUND: -3817883 @ 317.36 @ #Dec. 195794 c NEW SOLUTION FOUND: -3817913 @ 317.41 @ #Dec. 195818 c NEW SOLUTION FOUND: -3817963 @ 317.44 @ #Dec. 195837 c NEW SOLUTION FOUND: -3818523 @ 317.49 @ #Dec. 195865 c NEW SOLUTION FOUND: -3818543 @ 317.54 @ #Dec. 195887 c NEW SOLUTION FOUND: -3818553 @ 317.56 @ #Dec. 195902 c NEW SOLUTION FOUND: -3818603 @ 317.59 @ #Dec. 195921 c NEW SOLUTION FOUND: -3819053 @ 317.63 @ #Dec. 195943 c NEW SOLUTION FOUND: -3819193 @ 317.72 @ #Dec. 195981 c NEW SOLUTION FOUND: -3819243 @ 317.77 @ #Dec. 196007 c NEW SOLUTION FOUND: -3819443 @ 320.1 @ #Dec. 197039 c NEW SOLUTION FOUND: -3819483 @ 320.1 @ #Dec. 197047 c NEW SOLUTION FOUND: -3819493 @ 320.11 @ #Dec. 197062 c NEW SOLUTION FOUND: -3820123 @ 320.14 @ #Dec. 197083 c NEW SOLUTION FOUND: -3820133 @ 320.15 @ #Dec. 197098 c NEW SOLUTION FOUND: -3820763 @ 320.18 @ #Dec. 197123 c NEW SOLUTION FOUND: -3820773 @ 320.2 @ #Dec. 197138 c NEW SOLUTION FOUND: -3821083 @ 320.21 @ #Dec. 197158 c NEW SOLUTION FOUND: -3821163 @ 320.23 @ #Dec. 197178 c NEW SOLUTION FOUND: -3821403 @ 320.36 @ #Dec. 197217 c NEW SOLUTION FOUND: -3821413 @ 320.38 @ #Dec. 197233 c NEW SOLUTION FOUND: -3821723 @ 320.52 @ #Dec. 197271 c NEW SOLUTION FOUND: -3821803 @ 320.65 @ #Dec. 197309 c NEW SOLUTION FOUND: -3822506 @ 321.1 @ #Dec. 197411 c NEW SOLUTION FOUND: -3822516 @ 321.11 @ #Dec. 197420 c NEW SOLUTION FOUND: -3822521 @ 321.11 @ #Dec. 197430 c NEW SOLUTION FOUND: -3822531 @ 321.12 @ #Dec. 197441 c NEW SOLUTION FOUND: -3822541 @ 321.12 @ #Dec. 197451 c NEW SOLUTION FOUND: -3822546 @ 321.12 @ #Dec. 197469 c NEW SOLUTION FOUND: -3822551 @ 321.13 @ #Dec. 197479 c NEW SOLUTION FOUND: -3822571 @ 321.13 @ #Dec. 197489 c NEW SOLUTION FOUND: -3822601 @ 321.14 @ #Dec. 197501 c NEW SOLUTION FOUND: -3822631 @ 321.15 @ #Dec. 197520 c NEW SOLUTION FOUND: -3822641 @ 321.15 @ #Dec. 197537 c NEW SOLUTION FOUND: -3822661 @ 321.16 @ #Dec. 197552 c NEW SOLUTION FOUND: -3822741 @ 321.18 @ #Dec. 197568 c NEW SOLUTION FOUND: -3822771 @ 321.18 @ #Dec. 197581 c NEW SOLUTION FOUND: -3822923 @ 321.82 @ #Dec. 197692 c NEW SOLUTION FOUND: -3823243 @ 321.89 @ #Dec. 197773 c NEW SOLUTION FOUND: -3823431 @ 322.13 @ #Dec. 197845 c NEW SOLUTION FOUND: -3823481 @ 322.25 @ #Dec. 197888 c NEW SOLUTION FOUND: -3824173 @ 322.46 @ #Dec. 197975 c NEW SOLUTION FOUND: -3824203 @ 322.5 @ #Dec. 198002 c NEW SOLUTION FOUND: -3824523 @ 322.51 @ #Dec. 198022 c NEW SOLUTION FOUND: -3824753 @ 322.8 @ #Dec. 198119 c NEW SOLUTION FOUND: -3824763 @ 322.86 @ #Dec. 198145 c NEW SOLUTION FOUND: -3824803 @ 322.88 @ #Dec. 198164 c NEW SOLUTION FOUND: -3825393 @ 322.99 @ #Dec. 198206 c NEW SOLUTION FOUND: -3825483 @ 323.02 @ #Dec. 198231 c NEW SOLUTION FOUND: -3825803 @ 323.1 @ #Dec. 198266 c NEW SOLUTION FOUND: -3825991 @ 323.33 @ #Dec. 198315 c NEW SOLUTION FOUND: -3826041 @ 323.56 @ #Dec. 198459 c NEW SOLUTION FOUND: -3826123 @ 323.79 @ #Dec. 198549 c NEW SOLUTION FOUND: -3826243 @ 323.81 @ #Dec. 198573 c NEW SOLUTION FOUND: -3826261 @ 323.97 @ #Dec. 198625 c NEW SOLUTION FOUND: -3826481 @ 323.98 @ #Dec. 198645 c NEW SOLUTION FOUND: -3826893 @ 324.11 @ #Dec. 198690 c NEW SOLUTION FOUND: -3827001 @ 324.14 @ #Dec. 198718 c NEW SOLUTION FOUND: -3827131 @ 324.15 @ #Dec. 198736 c NEW SOLUTION FOUND: -3827241 @ 324.2 @ #Dec. 198763 c NEW SOLUTION FOUND: -3827763 @ 324.31 @ #Dec. 198799 c NEW SOLUTION FOUND: -3827773 @ 324.32 @ #Dec. 198813 c NEW SOLUTION FOUND: -3827951 @ 324.54 @ #Dec. 198845 c NEW SOLUTION FOUND: -3828011 @ 324.55 @ #Dec. 198857 c NEW SOLUTION FOUND: -3828553 @ 324.62 @ #Dec. 198882 c NEW SOLUTION FOUND: -3828773 @ 324.67 @ #Dec. 198901 c NEW SOLUTION FOUND: -3828781 @ 324.79 @ #Dec. 198927 c NEW SOLUTION FOUND: -3828791 @ 324.79 @ #Dec. 198941 c NEW SOLUTION FOUND: -3828951 @ 324.82 @ #Dec. 198959 c NEW SOLUTION FOUND: -3829011 @ 324.83 @ #Dec. 198973 c NEW SOLUTION FOUND: -3829801 @ 325.08 @ #Dec. 199025 c NEW SOLUTION FOUND: -3829851 @ 325.09 @ #Dec. 199040 c NEW SOLUTION FOUND: -3829861 @ 325.1 @ #Dec. 199054 c NEW SOLUTION FOUND: -3829921 @ 325.11 @ #Dec. 199070 c NEW SOLUTION FOUND: -3829971 @ 325.12 @ #Dec. 199085 c NEW SOLUTION FOUND: -3829981 @ 325.12 @ #Dec. 199099 c NEW SOLUTION FOUND: -3830021 @ 325.17 @ #Dec. 199117 c NEW SOLUTION FOUND: -3830081 @ 325.18 @ #Dec. 199131 c NEW SOLUTION FOUND: -3830141 @ 325.19 @ #Dec. 199147 c NEW SOLUTION FOUND: -3830201 @ 325.19 @ #Dec. 199161 c NEW SOLUTION FOUND: -3830219 @ 325.23 @ #Dec. 199183 c NEW SOLUTION FOUND: -3830319 @ 325.27 @ #Dec. 199203 c NEW SOLUTION FOUND: -3830439 @ 325.28 @ #Dec. 199219 c NEW SOLUTION FOUND: -3834599 @ 325.76 @ #Dec. 199321 c NEW SOLUTION FOUND: -3834719 @ 325.77 @ #Dec. 199337 c NEW SOLUTION FOUND: -3834809 @ 325.82 @ #Dec. 199363 c NEW SOLUTION FOUND: -3834819 @ 325.83 @ #Dec. 199378 c NEW SOLUTION FOUND: -3834939 @ 325.83 @ #Dec. 199394 c NEW SOLUTION FOUND: -3836331 @ 326.46 @ #Dec. 199563 c NEW SOLUTION FOUND: -3836341 @ 326.48 @ #Dec. 199580 c NEW SOLUTION FOUND: -3836461 @ 326.49 @ #Dec. 199598 c NEW SOLUTION FOUND: -3836569 @ 326.54 @ #Dec. 199633 c NEW SOLUTION FOUND: -3836579 @ 326.56 @ #Dec. 199650 c NEW SOLUTION FOUND: -3836699 @ 326.57 @ #Dec. 199668 c NEW SOLUTION FOUND: -3836803 @ 326.71 @ #Dec. 199759 c NEW SOLUTION FOUND: -3836883 @ 326.75 @ #Dec. 199793 c NEW SOLUTION FOUND: -3841429 @ 326.84 @ #Dec. 199844 c NEW SOLUTION FOUND: -3841549 @ 326.87 @ #Dec. 199871 c NEW SOLUTION FOUND: -3842011 @ 326.98 @ #Dec. 199919 c NEW SOLUTION FOUND: -3842021 @ 326.99 @ #Dec. 199936 c NEW SOLUTION FOUND: -3842141 @ 327 @ #Dec. 199954 c NEW SOLUTION FOUND: -3842249 @ 327.05 @ #Dec. 199981 c NEW SOLUTION FOUND: -3842259 @ 327.06 @ #Dec. 199998 c NEW SOLUTION FOUND: -3842379 @ 327.07 @ #Dec. 200016 c NEW SOLUTION FOUND: -3842431 @ 327.23 @ #Dec. 200097 c NEW SOLUTION FOUND: -3842441 @ 327.27 @ #Dec. 200125 c NEW SOLUTION FOUND: -3842561 @ 327.28 @ #Dec. 200142 c NEW SOLUTION FOUND: -3842591 @ 327.36 @ #Dec. 200184 c NEW SOLUTION FOUND: -3842669 @ 327.43 @ #Dec. 200226 c NEW SOLUTION FOUND: -3842799 @ 327.49 @ #Dec. 200259 c NEW SOLUTION FOUND: -3842829 @ 327.59 @ #Dec. 200311 c NEW SOLUTION FOUND: -3842875 @ 328.61 @ #Dec. 200403 c NEW SOLUTION FOUND: -3843115 @ 328.66 @ #Dec. 200431 c NEW SOLUTION FOUND: -3843353 @ 328.72 @ #Dec. 200468 c NEW SOLUTION FOUND: -3843591 @ 328.78 @ #Dec. 200503 c NEW SOLUTION FOUND: -3843829 @ 328.86 @ #Dec. 200546 c NEW SOLUTION FOUND: -3844067 @ 328.93 @ #Dec. 200588 c NEW SOLUTION FOUND: -3844303 @ 329.02 @ #Dec. 200631 c NEW SOLUTION FOUND: -3844543 @ 329.05 @ #Dec. 200652 c NEW SOLUTION FOUND: -3844733 @ 329.63 @ #Dec. 200786 c NEW SOLUTION FOUND: -3844843 @ 333 @ #Dec. 202070 c NEW SOLUTION FOUND: -3847355 @ 333.05 @ #Dec. 202097 c NEW SOLUTION FOUND: -3847859 @ 333.12 @ #Dec. 202130 c NEW SOLUTION FOUND: -3848757 @ 333.2 @ #Dec. 202177 c NEW SOLUTION FOUND: -3850757 @ 333.44 @ #Dec. 202321 c NEW SOLUTION FOUND: -3850793 @ 333.67 @ #Dec. 202447 c NEW SOLUTION FOUND: -3850857 @ 333.69 @ #Dec. 202456 c NEW SOLUTION FOUND: -3851257 @ 333.72 @ #Dec. 202469 c NEW SOLUTION FOUND: -3851449 @ 333.77 @ #Dec. 202493 c NEW SOLUTION FOUND: -3851464 @ 333.79 @ #Dec. 202500 c NEW SOLUTION FOUND: -3851479 @ 333.8 @ #Dec. 202506 c NEW SOLUTION FOUND: -3851495 @ 333.83 @ #Dec. 202517 c NEW SOLUTION FOUND: -3856619 @ 334.13 @ #Dec. 202704 c NEW SOLUTION FOUND: -3856875 @ 334.2 @ #Dec. 202733 c NEW SOLUTION FOUND: -3856907 @ 334.26 @ #Dec. 202756 c NEW SOLUTION FOUND: -3858619 @ 334.35 @ #Dec. 202793 c NEW SOLUTION FOUND: -3858907 @ 334.42 @ #Dec. 202817 c NEW SOLUTION FOUND: -3859119 @ 334.51 @ #Dec. 202852 c NEW SOLUTION FOUND: -3859407 @ 334.56 @ #Dec. 202870 c NEW SOLUTION FOUND: -3859613 @ 334.69 @ #Dec. 202918 c NEW SOLUTION FOUND: -3859645 @ 334.77 @ #Dec. 202941 c NEW SOLUTION FOUND: -3859773 @ 335 @ #Dec. 202993 c NEW SOLUTION FOUND: -3859833 @ 335.03 @ #Dec. 203010 c NEW SOLUTION FOUND: -3860061 @ 335.08 @ #Dec. 203029 c NEW SOLUTION FOUND: -3860121 @ 335.1 @ #Dec. 203037 c NEW SOLUTION FOUND: -3860267 @ 335.54 @ #Dec. 203128 c NEW SOLUTION FOUND: -3860327 @ 335.56 @ #Dec. 203139 c NEW SOLUTION FOUND: -3860359 @ 335.62 @ #Dec. 203159 c NEW SOLUTION FOUND: -3860537 @ 335.77 @ #Dec. 203203 c NEW SOLUTION FOUND: -3860597 @ 335.8 @ #Dec. 203211 c NEW SOLUTION FOUND: -3861497 @ 336.07 @ #Dec. 203251 c NEW SOLUTION FOUND: -3861617 @ 336.1 @ #Dec. 203270 c NEW SOLUTION FOUND: -3861737 @ 336.13 @ #Dec. 203288 c NEW SOLUTION FOUND: -3861785 @ 336.21 @ #Dec. 203311 c NEW SOLUTION FOUND: -3861905 @ 336.23 @ #Dec. 203321 c NEW SOLUTION FOUND: -3862025 @ 336.25 @ #Dec. 203330 c NEW SOLUTION FOUND: -3862111 @ 336.7 @ #Dec. 203421 c NEW SOLUTION FOUND: -3862231 @ 336.72 @ #Dec. 203432 c NEW SOLUTION FOUND: -3862263 @ 336.78 @ #Dec. 203468 c NEW SOLUTION FOUND: -3862349 @ 336.91 @ #Dec. 203516 c NEW SOLUTION FOUND: -3862469 @ 336.93 @ #Dec. 203529 c NEW SOLUTION FOUND: -3862501 @ 337.03 @ #Dec. 203564 c NEW SOLUTION FOUND: -3862739 @ 337.88 @ #Dec. 203690 c NEW SOLUTION FOUND: -3862945 @ 338.05 @ #Dec. 203736 c NEW SOLUTION FOUND: -3862977 @ 338.14 @ #Dec. 203761 c NEW SOLUTION FOUND: -3863215 @ 338.38 @ #Dec. 203802 c NEW SOLUTION FOUND: -3863453 @ 338.53 @ #Dec. 203840 c NEW SOLUTION FOUND: -3863543 @ 340.12 @ #Dec. 204097 c NEW SOLUTION FOUND: -3863623 @ 340.15 @ #Dec. 204117 c NEW SOLUTION FOUND: -3863643 @ 340.16 @ #Dec. 204135 c NEW SOLUTION FOUND: -3863653 @ 340.17 @ #Dec. 204152 c NEW SOLUTION FOUND: -3863781 @ 340.31 @ #Dec. 204187 c NEW SOLUTION FOUND: -3863861 @ 340.33 @ #Dec. 204206 c NEW SOLUTION FOUND: -3863891 @ 340.34 @ #Dec. 204223 c NEW SOLUTION FOUND: -3864097 @ 340.68 @ #Dec. 204287 c NEW SOLUTION FOUND: -3864257 @ 340.76 @ #Dec. 204315 c NEW SOLUTION FOUND: -3864337 @ 340.79 @ #Dec. 204335 c NEW SOLUTION FOUND: -3864357 @ 340.8 @ #Dec. 204353 c NEW SOLUTION FOUND: -3864367 @ 340.81 @ #Dec. 204370 c NEW SOLUTION FOUND: -3864495 @ 341.24 @ #Dec. 204488 c NEW SOLUTION FOUND: -3864605 @ 341.26 @ #Dec. 204507 c NEW SOLUTION FOUND: -3864733 @ 341.39 @ #Dec. 204542 c NEW SOLUTION FOUND: -3864813 @ 341.42 @ #Dec. 204562 c NEW SOLUTION FOUND: -3864833 @ 341.43 @ #Dec. 204580 c NEW SOLUTION FOUND: -3864843 @ 341.44 @ #Dec. 204597 c NEW SOLUTION FOUND: -3865463 @ 341.83 @ #Dec. 204666 c NEW SOLUTION FOUND: -3865683 @ 341.88 @ #Dec. 204691 c NEW SOLUTION FOUND: -3865939 @ 341.91 @ #Dec. 204708 c NEW SOLUTION FOUND: -3866947 @ 341.94 @ #Dec. 204727 c NEW SOLUTION FOUND: -3868955 @ 342.01 @ #Dec. 204755 c NEW SOLUTION FOUND: -3870715 @ 342.06 @ #Dec. 204771 c NEW SOLUTION FOUND: -3870779 @ 342.1 @ #Dec. 204783 c NEW SOLUTION FOUND: -3870963 @ 342.2 @ #Dec. 204809 c NEW SOLUTION FOUND: -3870995 @ 342.25 @ #Dec. 204833 c NEW SOLUTION FOUND: -3871265 @ 342.27 @ #Dec. 204846 c NEW SOLUTION FOUND: -3871467 @ 342.32 @ #Dec. 204869 c NEW SOLUTION FOUND: -3871971 @ 342.36 @ #Dec. 204887 c NEW SOLUTION FOUND: -3871981 @ 342.38 @ #Dec. 204895 c NEW SOLUTION FOUND: -3871989 @ 342.38 @ #Dec. 204897 c NEW SOLUTION FOUND: -3872133 @ 342.5 @ #Dec. 204918 c NEW SOLUTION FOUND: -3872193 @ 342.5 @ #Dec. 204920 c NEW SOLUTION FOUND: -3873693 @ 342.58 @ #Dec. 204942 c NEW SOLUTION FOUND: -3873753 @ 342.59 @ #Dec. 204953 c NEW SOLUTION FOUND: -3873793 @ 342.63 @ #Dec. 204974 c NEW SOLUTION FOUND: -3873913 @ 342.67 @ #Dec. 204997 c NEW SOLUTION FOUND: -3874201 @ 342.71 @ #Dec. 205014 c NEW SOLUTION FOUND: -3875227 @ 342.76 @ #Dec. 205024 c NEW SOLUTION FOUND: -3882707 @ 342.94 @ #Dec. 205082 c NEW SOLUTION FOUND: -3884755 @ 342.99 @ #Dec. 205101 c NEW SOLUTION FOUND: -3885043 @ 343.03 @ #Dec. 205115 c NEW SOLUTION FOUND: -3887059 @ 343.12 @ #Dec. 205147 c NEW SOLUTION FOUND: -3887459 @ 343.16 @ #Dec. 205164 c NEW SOLUTION FOUND: -3887683 @ 343.17 @ #Dec. 205172 c NEW SOLUTION FOUND: -3887701 @ 343.17 @ #Dec. 205181 c NEW SOLUTION FOUND: -3887933 @ 343.25 @ #Dec. 205219 c NEW SOLUTION FOUND: -3887993 @ 343.28 @ #Dec. 205238 c NEW SOLUTION FOUND: -3888221 @ 343.33 @ #Dec. 205252 c NEW SOLUTION FOUND: -3888281 @ 343.33 @ #Dec. 205257 c NEW SOLUTION FOUND: -3889213 @ 343.42 @ #Dec. 205288 c NEW SOLUTION FOUND: -3889273 @ 343.47 @ #Dec. 205310 c NEW SOLUTION FOUND: -3890237 @ 343.52 @ #Dec. 205330 c NEW SOLUTION FOUND: -3890297 @ 343.57 @ #Dec. 205350 c NEW SOLUTION FOUND: -3890637 @ 343.61 @ #Dec. 205364 c NEW SOLUTION FOUND: -3890697 @ 343.61 @ #Dec. 205374 c NEW SOLUTION FOUND: -3890707 @ 343.61 @ #Dec. 205383 c NEW SOLUTION FOUND: -3890939 @ 343.62 @ #Dec. 205390 c NEW SOLUTION FOUND: -3891489 @ 344.23 @ #Dec. 205479 c NEW SOLUTION FOUND: -3892321 @ 344.81 @ #Dec. 205547 c NEW SOLUTION FOUND: -3892381 @ 344.83 @ #Dec. 205555 c NEW SOLUTION FOUND: -3892441 @ 344.83 @ #Dec. 205557 c NEW SOLUTION FOUND: -3892559 @ 345.06 @ #Dec. 205593 c NEW SOLUTION FOUND: -3892619 @ 345.09 @ #Dec. 205599 c NEW SOLUTION FOUND: -3892679 @ 345.09 @ #Dec. 205601 c NEW SOLUTION FOUND: -3892737 @ 345.59 @ #Dec. 205672 c NEW SOLUTION FOUND: -3892797 @ 345.59 @ #Dec. 205674 c NEW SOLUTION FOUND: -3892857 @ 345.59 @ #Dec. 205677 c NEW SOLUTION FOUND: -3892917 @ 345.59 @ #Dec. 205679 c NEW SOLUTION FOUND: -3892975 @ 345.73 @ #Dec. 205701 c NEW SOLUTION FOUND: -3893035 @ 345.73 @ #Dec. 205703 c NEW SOLUTION FOUND: -3893095 @ 345.74 @ #Dec. 205706 c NEW SOLUTION FOUND: -3893155 @ 345.74 @ #Dec. 205708 c NEW SOLUTION FOUND: -3893209 @ 346.33 @ #Dec. 205843 c NEW SOLUTION FOUND: -3893391 @ 346.39 @ #Dec. 205849 c NEW SOLUTION FOUND: -3893451 @ 346.42 @ #Dec. 205856 c NEW SOLUTION FOUND: -3893511 @ 346.42 @ #Dec. 205858 c NEW SOLUTION FOUND: -3893571 @ 346.43 @ #Dec. 205861 c NEW SOLUTION FOUND: -3893631 @ 346.43 @ #Dec. 205863 c NEW SOLUTION FOUND: -3893644 @ 346.88 @ #Dec. 205943 c NEW SOLUTION FOUND: -3893659 @ 346.88 @ #Dec. 205943 c NEW SOLUTION FOUND: -3893689 @ 346.88 @ #Dec. 205944 c NEW SOLUTION FOUND: -3893749 @ 346.88 @ #Dec. 205946 c NEW SOLUTION FOUND: -3893809 @ 346.89 @ #Dec. 205949 c NEW SOLUTION FOUND: -3893869 @ 346.89 @ #Dec. 205951 c NEW SOLUTION FOUND: -3893927 @ 347.09 @ #Dec. 205982 c NEW SOLUTION FOUND: -3893987 @ 347.09 @ #Dec. 205984 c NEW SOLUTION FOUND: -3894047 @ 347.09 @ #Dec. 205987 c NEW SOLUTION FOUND: -3894107 @ 347.09 @ #Dec. 205989 c NEW SOLUTION FOUND: -3894161 @ 347.36 @ #Dec. 206061 c NEW SOLUTION FOUND: -3894343 @ 347.42 @ #Dec. 206070 c NEW SOLUTION FOUND: -3894463 @ 347.44 @ #Dec. 206075 c NEW SOLUTION FOUND: -3894583 @ 347.44 @ #Dec. 206078 c NEW SOLUTION FOUND: -3894637 @ 347.64 @ #Dec. 206120 c NEW SOLUTION FOUND: -3894699 @ 347.69 @ #Dec. 206130 c NEW SOLUTION FOUND: -3894819 @ 347.69 @ #Dec. 206133 c NEW SOLUTION FOUND: -3894939 @ 347.73 @ #Dec. 206138 c NEW SOLUTION FOUND: -3895059 @ 347.73 @ #Dec. 206141 c NEW SOLUTION FOUND: -3895177 @ 349.64 @ #Dec. 206453 c NEW SOLUTION FOUND: -3895297 @ 349.64 @ #Dec. 206456 c NEW SOLUTION FOUND: -3895415 @ 350.52 @ #Dec. 206583 c NEW SOLUTION FOUND: -3895535 @ 350.52 @ #Dec. 206586 c NEW SOLUTION FOUND: -3895653 @ 351.01 @ #Dec. 206666 c NEW SOLUTION FOUND: -3895773 @ 351.01 @ #Dec. 206669 c NEW SOLUTION FOUND: -3896011 @ 351.53 @ #Dec. 206767 c NEW SOLUTION FOUND: -3896153 @ 352.02 @ #Dec. 206890 c NEW SOLUTION FOUND: -3896249 @ 352.14 @ #Dec. 206963 c NEW SOLUTION FOUND: -3896513 @ 358.39 @ #Dec. 208831 c NEW SOLUTION FOUND: -3896977 @ 364.93 @ #Dec. 211156 c NEW SOLUTION FOUND: -3897967 @ 364.97 @ #Dec. 211197 c NEW SOLUTION FOUND: -3897977 @ 364.98 @ #Dec. 211207 c NEW SOLUTION FOUND: -3901091 @ 370.1 @ #Dec. 212839 c NEW SOLUTION FOUND: -3901571 @ 370.13 @ #Dec. 212863 c NEW SOLUTION FOUND: -3901681 @ 370.17 @ #Dec. 212891 c NEW SOLUTION FOUND: -3902631 @ 370.22 @ #Dec. 212918 c NEW SOLUTION FOUND: -3902641 @ 370.25 @ #Dec. 212938 c NEW SOLUTION FOUND: -3903769 @ 370.33 @ #Dec. 212975 c NEW SOLUTION FOUND: -3903879 @ 370.35 @ #Dec. 212995 c NEW SOLUTION FOUND: -3903929 @ 370.54 @ #Dec. 213094 c NEW SOLUTION FOUND: -3916675 @ 370.74 @ #Dec. 213213 c NEW SOLUTION FOUND: -3916755 @ 370.77 @ #Dec. 213241 c NEW SOLUTION FOUND: -3916775 @ 370.85 @ #Dec. 213292 c NEW SOLUTION FOUND: -3916785 @ 370.88 @ #Dec. 213315 c NEW SOLUTION FOUND: -3917075 @ 370.93 @ #Dec. 213348 c NEW SOLUTION FOUND: -3920313 @ 371 @ #Dec. 213395 c NEW SOLUTION FOUND: -3921611 @ 371.22 @ #Dec. 213482 c NEW SOLUTION FOUND: -3921849 @ 371.28 @ #Dec. 213516 c NEW SOLUTION FOUND: -3922021 @ 371.39 @ #Dec. 213568 c NEW SOLUTION FOUND: -3922259 @ 371.44 @ #Dec. 213592 c NEW SOLUTION FOUND: -3922409 @ 371.57 @ #Dec. 213646 c NEW SOLUTION FOUND: -3922489 @ 371.6 @ #Dec. 213673 c NEW SOLUTION FOUND: -3922521 @ 371.7 @ #Dec. 213730 c NEW SOLUTION FOUND: -3922749 @ 371.75 @ #Dec. 213760 c NEW SOLUTION FOUND: -3922759 @ 371.79 @ #Dec. 213783 c NEW SOLUTION FOUND: -3923259 @ 371.9 @ #Dec. 213847 c NEW SOLUTION FOUND: -3923769 @ 372.12 @ #Dec. 213966 c NEW SOLUTION FOUND: -3924555 @ 372.27 @ #Dec. 214038 c NEW SOLUTION FOUND: -3924793 @ 372.31 @ #Dec. 214068 c NEW SOLUTION FOUND: -3925091 @ 372.42 @ #Dec. 214128 c NEW SOLUTION FOUND: -3926329 @ 372.48 @ #Dec. 214166 c NEW SOLUTION FOUND: -3926467 @ 373.71 @ #Dec. 214291 c NEW SOLUTION FOUND: -3927467 @ 373.77 @ #Dec. 214328 c NEW SOLUTION FOUND: -3927491 @ 373.92 @ #Dec. 214395 c NEW SOLUTION FOUND: -3927515 @ 374.04 @ #Dec. 214455 c NEW SOLUTION FOUND: -3927539 @ 374.14 @ #Dec. 214505 c NEW SOLUTION FOUND: -3934123 @ 374.26 @ #Dec. 214564 c NEW SOLUTION FOUND: -3935659 @ 374.38 @ #Dec. 214621 c NEW SOLUTION FOUND: -3935683 @ 374.6 @ #Dec. 214700 c NEW SOLUTION FOUND: -3935707 @ 374.75 @ #Dec. 214773 c NEW SOLUTION FOUND: -3935731 @ 374.97 @ #Dec. 214853 c NEW SOLUTION FOUND: -3935755 @ 375.1 @ #Dec. 214918 c NEW SOLUTION FOUND: -3935779 @ 375.25 @ #Dec. 214984 c NEW SOLUTION FOUND: -3935803 @ 375.36 @ #Dec. 215040 c NEW SOLUTION FOUND: -3935827 @ 375.48 @ #Dec. 215097 c NEW SOLUTION FOUND: -3935851 @ 375.95 @ #Dec. 215167 c NEW SOLUTION FOUND: -3935875 @ 376.05 @ #Dec. 215217 c NEW SOLUTION FOUND: -3935947 @ 376.14 @ #Dec. 215268 c NEW SOLUTION FOUND: -3935971 @ 376.24 @ #Dec. 215318 c NEW SOLUTION FOUND: -3936246 @ 378.82 @ #Dec. 215959 c NEW SOLUTION FOUND: -3938821 @ 379.07 @ #Dec. 216104 c NEW SOLUTION FOUND: -3938971 @ 379.09 @ #Dec. 216126 c NEW SOLUTION FOUND: -3938986 @ 379.11 @ #Dec. 216142 c NEW SOLUTION FOUND: -3939241 @ 379.23 @ #Dec. 216302 c NEW SOLUTION FOUND: -3939265 @ 379.8 @ #Dec. 216470 c NEW SOLUTION FOUND: -3939289 @ 379.84 @ #Dec. 216516 c NEW SOLUTION FOUND: -3939315 @ 380.3 @ #Dec. 216693 c NEW SOLUTION FOUND: -3939375 @ 380.37 @ #Dec. 216732 c NEW SOLUTION FOUND: -3939385 @ 380.4 @ #Dec. 216766 c NEW SOLUTION FOUND: -3940765 @ 381.23 @ #Dec. 217407 c NEW SOLUTION FOUND: -3940775 @ 381.25 @ #Dec. 217430 c NEW SOLUTION FOUND: -3942685 @ 381.27 @ #Dec. 217455 c NEW SOLUTION FOUND: -3942695 @ 381.29 @ #Dec. 217481 c NEW SOLUTION FOUND: -3942903 @ 381.32 @ #Dec. 217518 c NEW SOLUTION FOUND: -3943141 @ 381.33 @ #Dec. 217539 c NEW SOLUTION FOUND: -3943161 @ 381.35 @ #Dec. 217566 c NEW SOLUTION FOUND: -3943171 @ 381.38 @ #Dec. 217597 c NEW SOLUTION FOUND: -3943497 @ 381.61 @ #Dec. 217705 c NEW SOLUTION FOUND: -3943973 @ 381.68 @ #Dec. 217754 c NEW SOLUTION FOUND: -3944113 @ 381.76 @ #Dec. 217815 c NEW SOLUTION FOUND: -3944123 @ 381.78 @ #Dec. 217838 c NEW SOLUTION FOUND: -3944449 @ 381.89 @ #Dec. 217900 c NEW SOLUTION FOUND: -3944687 @ 381.94 @ #Dec. 217936 c NEW SOLUTION FOUND: -3944925 @ 381.98 @ #Dec. 217965 c NEW SOLUTION FOUND: -3945065 @ 382.11 @ #Dec. 218016 c NEW SOLUTION FOUND: -3945075 @ 382.13 @ #Dec. 218044 c NEW SOLUTION FOUND: -3945089 @ 383.55 @ #Dec. 218384 c NEW SOLUTION FOUND: -3945565 @ 383.78 @ #Dec. 218513 c NEW SOLUTION FOUND: -3945725 @ 384.07 @ #Dec. 218597 c NEW SOLUTION FOUND: -3945740 @ 384.08 @ #Dec. 218610 c NEW SOLUTION FOUND: -3945765 @ 384.18 @ #Dec. 218675 c NEW SOLUTION FOUND: -3945885 @ 384.2 @ #Dec. 218694 c NEW SOLUTION FOUND: -3945945 @ 384.32 @ #Dec. 218744 c NEW SOLUTION FOUND: -3945955 @ 384.34 @ #Dec. 218766 c NEW SOLUTION FOUND: -3945979 @ 384.7 @ #Dec. 218860 c NEW SOLUTION FOUND: -3946939 @ 384.72 @ #Dec. 218883 c NEW SOLUTION FOUND: -3948859 @ 384.74 @ #Dec. 218909 c NEW SOLUTION FOUND: -3948959 @ 384.77 @ #Dec. 218945 c NEW SOLUTION FOUND: -3948969 @ 384.79 @ #Dec. 218973 c NEW SOLUTION FOUND: -3950395 @ 385.02 @ #Dec. 219033 c NEW SOLUTION FOUND: -3950495 @ 385.05 @ #Dec. 219065 c NEW SOLUTION FOUND: -3950505 @ 385.07 @ #Dec. 219093 c NEW SOLUTION FOUND: -3950675 @ 385.39 @ #Dec. 219205 c NEW SOLUTION FOUND: -3950935 @ 385.51 @ #Dec. 219292 c NEW SOLUTION FOUND: -3950945 @ 385.52 @ #Dec. 219316 c NEW SOLUTION FOUND: -3950995 @ 385.64 @ #Dec. 219356 c NEW SOLUTION FOUND: -3951315 @ 385.94 @ #Dec. 219418 c NEW SOLUTION FOUND: -3951385 @ 386.02 @ #Dec. 219461 c NEW SOLUTION FOUND: -3951507 @ 386.44 @ #Dec. 219598 c NEW SOLUTION FOUND: -3951577 @ 386.54 @ #Dec. 219652 c NEW SOLUTION FOUND: -3951651 @ 387.69 @ #Dec. 219938 c NEW SOLUTION FOUND: -3951721 @ 387.76 @ #Dec. 219974 c NEW SOLUTION FOUND: -3951905 @ 390.48 @ #Dec. 220377 c NEW SOLUTION FOUND: -3951955 @ 390.6 @ #Dec. 220429 c NEW SOLUTION FOUND: -3951989 @ 391.41 @ #Dec. 220558 c NEW SOLUTION FOUND: -3952099 @ 391.45 @ #Dec. 220590 c NEW SOLUTION FOUND: -3952106 @ 392.34 @ #Dec. 220738 c NEW SOLUTION FOUND: -3952115 @ 392.38 @ #Dec. 220766 c NEW SOLUTION FOUND: -3952130 @ 392.4 @ #Dec. 220785 c NEW SOLUTION FOUND: -3952275 @ 392.48 @ #Dec. 220832 c NEW SOLUTION FOUND: -3952335 @ 392.56 @ #Dec. 220868 c NEW SOLUTION FOUND: -3952345 @ 392.58 @ #Dec. 220896 c NEW SOLUTION FOUND: -3952371 @ 393.19 @ #Dec. 221039 c NEW SOLUTION FOUND: -3952419 @ 393.27 @ #Dec. 221083 c NEW SOLUTION FOUND: -3952479 @ 393.38 @ #Dec. 221144 c NEW SOLUTION FOUND: -3952489 @ 393.41 @ #Dec. 221173 c NEW SOLUTION FOUND: -3953955 @ 395.69 @ #Dec. 221990 c NEW SOLUTION FOUND: -3954003 @ 395.78 @ #Dec. 222055 c NEW SOLUTION FOUND: -3954051 @ 395.78 @ #Dec. 222068 c NEW SOLUTION FOUND: -3954069 @ 395.96 @ #Dec. 222165 c NEW SOLUTION FOUND: -3954253 @ 395.96 @ #Dec. 222182 c NEW SOLUTION FOUND: -3954453 @ 403.38 @ #Dec. 223504 c NEW SOLUTION FOUND: -3954691 @ 408.27 @ #Dec. 224025 c NEW SOLUTION FOUND: -3954827 @ 410.97 @ #Dec. 224657 c NEW SOLUTION FOUND: -3954837 @ 410.98 @ #Dec. 224682 c NEW SOLUTION FOUND: -3955021 @ 411 @ #Dec. 224703 c NEW SOLUTION FOUND: -3955027 @ 411.15 @ #Dec. 224778 c NEW SOLUTION FOUND: -3955315 @ 411.24 @ #Dec. 224824 c NEW SOLUTION FOUND: -3955459 @ 412.68 @ #Dec. 225030 c NEW SOLUTION FOUND: -3955565 @ 414.12 @ #Dec. 225291 c NEW SOLUTION FOUND: -3955585 @ 414.31 @ #Dec. 225339 c NEW SOLUTION FOUND: -3955685 @ 414.47 @ #Dec. 225390 c NEW SOLUTION FOUND: -3955695 @ 414.47 @ #Dec. 225401 c NEW SOLUTION FOUND: -3955823 @ 414.73 @ #Dec. 225494 c NEW SOLUTION FOUND: -3955887 @ 414.83 @ #Dec. 225530 c NEW SOLUTION FOUND: -3955923 @ 414.84 @ #Dec. 225542 c NEW SOLUTION FOUND: -3955933 @ 414.84 @ #Dec. 225552 c NEW SOLUTION FOUND: -3956029 @ 415.07 @ #Dec. 225652 c NEW SOLUTION FOUND: -3956089 @ 415.17 @ #Dec. 225702 c NEW SOLUTION FOUND: -3956099 @ 415.17 @ #Dec. 225716 c NEW SOLUTION FOUND: -3956125 @ 415.32 @ #Dec. 225763 c NEW SOLUTION FOUND: -3956161 @ 415.32 @ #Dec. 225773 c NEW SOLUTION FOUND: -3956171 @ 415.32 @ #Dec. 225781 c NEW SOLUTION FOUND: -3956993 @ 417.17 @ #Dec. 226055 c NEW SOLUTION FOUND: -3957469 @ 417.61 @ #Dec. 226116 c NEW SOLUTION FOUND: -3957527 @ 418.19 @ #Dec. 226218 c NEW SOLUTION FOUND: -3957553 @ 418.37 @ #Dec. 226265 c NEW SOLUTION FOUND: -3957599 @ 418.37 @ #Dec. 226275 c NEW SOLUTION FOUND: -3957933 @ 418.52 @ #Dec. 226310 c NEW SOLUTION FOUND: -3957993 @ 418.64 @ #Dec. 226357 c NEW SOLUTION FOUND: -3958003 @ 418.65 @ #Dec. 226371 c NEW SOLUTION FOUND: -3958065 @ 418.8 @ #Dec. 226411 c NEW SOLUTION FOUND: -3958075 @ 418.8 @ #Dec. 226420 c NEW SOLUTION FOUND: -3958409 @ 421.23 @ #Dec. 226857 c NEW SOLUTION FOUND: -3958449 @ 421.33 @ #Dec. 226899 c NEW SOLUTION FOUND: -3958479 @ 421.33 @ #Dec. 226913 c NEW SOLUTION FOUND: -3958541 @ 421.46 @ #Dec. 226953 c NEW SOLUTION FOUND: -3958551 @ 421.47 @ #Dec. 226962 c NEW SOLUTION FOUND: -3958647 @ 421.8 @ #Dec. 227078 c NEW SOLUTION FOUND: -3958687 @ 421.9 @ #Dec. 227119 c NEW SOLUTION FOUND: -3958717 @ 421.9 @ #Dec. 227133 c NEW SOLUTION FOUND: -3958779 @ 422.04 @ #Dec. 227178 c NEW SOLUTION FOUND: -3958789 @ 422.04 @ #Dec. 227189 c NEW SOLUTION FOUND: -3958885 @ 422.24 @ #Dec. 227246 c NEW SOLUTION FOUND: -3958925 @ 422.34 @ #Dec. 227286 c NEW SOLUTION FOUND: -3958955 @ 422.34 @ #Dec. 227300 c NEW SOLUTION FOUND: -3959017 @ 422.46 @ #Dec. 227338 c NEW SOLUTION FOUND: -3959027 @ 422.47 @ #Dec. 227347 c NEW SOLUTION FOUND: -3959357 @ 423.85 @ #Dec. 227517 c NEW SOLUTION FOUND: -3959373 @ 423.89 @ #Dec. 227534 c NEW SOLUTION FOUND: -3959401 @ 424.34 @ #Dec. 227649 c NEW SOLUTION FOUND: -3959431 @ 424.35 @ #Dec. 227663 c NEW SOLUTION FOUND: -3959493 @ 424.48 @ #Dec. 227701 c NEW SOLUTION FOUND: -3959503 @ 424.48 @ #Dec. 227710 c NEW SOLUTION FOUND: -3959837 @ 424.79 @ #Dec. 227771 c NEW SOLUTION FOUND: -3959877 @ 424.89 @ #Dec. 227810 c NEW SOLUTION FOUND: -3959907 @ 424.89 @ #Dec. 227824 c NEW SOLUTION FOUND: -3959969 @ 425.06 @ #Dec. 227865 c NEW SOLUTION FOUND: -3959979 @ 425.06 @ #Dec. 227874 c NEW SOLUTION FOUND: -3961161 @ 426.39 @ #Dec. 228102 c NEW SOLUTION FOUND: -3961191 @ 426.4 @ #Dec. 228120 c NEW SOLUTION FOUND: -3961361 @ 426.54 @ #Dec. 228221 c NEW SOLUTION FOUND: -3961681 @ 426.66 @ #Dec. 228264 c NEW SOLUTION FOUND: -3961837 @ 426.96 @ #Dec. 228384 c NEW SOLUTION FOUND: -3962157 @ 427.23 @ #Dec. 228491 c NEW SOLUTION FOUND: -3962162 @ 428.15 @ #Dec. 228690 c NEW SOLUTION FOUND: -3962277 @ 428.18 @ #Dec. 228722 c NEW SOLUTION FOUND: -3962307 @ 428.19 @ #Dec. 228735 c NEW SOLUTION FOUND: -3962322 @ 428.19 @ #Dec. 228746 c NEW SOLUTION FOUND: -3962332 @ 428.21 @ #Dec. 228772 c NEW SOLUTION FOUND: -3962437 @ 428.32 @ #Dec. 228810 c NEW SOLUTION FOUND: -3962477 @ 428.36 @ #Dec. 228834 c NEW SOLUTION FOUND: -3962547 @ 428.37 @ #Dec. 228852 c NEW SOLUTION FOUND: -3963209 @ 428.93 @ #Dec. 228942 c NEW SOLUTION FOUND: -3963239 @ 428.94 @ #Dec. 228960 c NEW SOLUTION FOUND: -3963785 @ 428.95 @ #Dec. 228979 c NEW SOLUTION FOUND: -3963839 @ 428.95 @ #Dec. 228993 c NEW SOLUTION FOUND: -3964501 @ 429.4 @ #Dec. 229079 c NEW SOLUTION FOUND: -3964509 @ 429.4 @ #Dec. 229089 c NEW SOLUTION FOUND: -3964527 @ 429.4 @ #Dec. 229101 c NEW SOLUTION FOUND: -3964561 @ 429.64 @ #Dec. 229154 c NEW SOLUTION FOUND: -3964609 @ 429.65 @ #Dec. 229169 c NEW SOLUTION FOUND: -3964831 @ 430.31 @ #Dec. 229269 c NEW SOLUTION FOUND: -3964847 @ 430.32 @ #Dec. 229285 c NEW SOLUTION FOUND: -3965069 @ 430.82 @ #Dec. 229355 c NEW SOLUTION FOUND: -3965085 @ 430.82 @ #Dec. 229371 c NEW SOLUTION FOUND: -3965375 @ 431.09 @ #Dec. 229409 c NEW SOLUTION FOUND: -3965525 @ 431.1 @ #Dec. 229414 c NEW SOLUTION FOUND: -3965540 @ 431.1 @ #Dec. 229416 c NEW SOLUTION FOUND: -3965549 @ 431.27 @ #Dec. 229512 c NEW SOLUTION FOUND: -3965619 @ 431.27 @ #Dec. 229527 c NEW SOLUTION FOUND: -3965691 @ 431.37 @ #Dec. 229553 c NEW SOLUTION FOUND: -3965985 @ 433.15 @ #Dec. 229781 c NEW SOLUTION FOUND: -3966025 @ 433.17 @ #Dec. 229800 c NEW SOLUTION FOUND: -3966065 @ 433.22 @ #Dec. 229827 c NEW SOLUTION FOUND: -3966095 @ 433.23 @ #Dec. 229842 c NEW SOLUTION FOUND: -3966157 @ 433.36 @ #Dec. 229899 c NEW SOLUTION FOUND: -3966167 @ 433.37 @ #Dec. 229908 c NEW SOLUTION FOUND: -3966223 @ 433.84 @ #Dec. 229980 c NEW SOLUTION FOUND: -3966263 @ 433.85 @ #Dec. 229997 c NEW SOLUTION FOUND: -3966333 @ 433.95 @ #Dec. 230043 c NEW SOLUTION FOUND: -3966359 @ 434.08 @ #Dec. 230096 c NEW SOLUTION FOUND: -3966405 @ 434.08 @ #Dec. 230107 c NEW SOLUTION FOUND: -3966501 @ 434.49 @ #Dec. 230184 c NEW SOLUTION FOUND: -3966561 @ 434.59 @ #Dec. 230231 c NEW SOLUTION FOUND: -3966571 @ 434.59 @ #Dec. 230245 c NEW SOLUTION FOUND: -3966633 @ 434.71 @ #Dec. 230286 c NEW SOLUTION FOUND: -3966643 @ 434.71 @ #Dec. 230295 c NEW SOLUTION FOUND: -3966977 @ 435.85 @ #Dec. 230526 c NEW SOLUTION FOUND: -3967017 @ 435.95 @ #Dec. 230571 c NEW SOLUTION FOUND: -3967047 @ 435.96 @ #Dec. 230585 c NEW SOLUTION FOUND: -3967109 @ 436.08 @ #Dec. 230622 c NEW SOLUTION FOUND: -3967119 @ 436.08 @ #Dec. 230631 c NEW SOLUTION FOUND: -3967215 @ 436.43 @ #Dec. 230698 c NEW SOLUTION FOUND: -3967255 @ 436.53 @ #Dec. 230740 c NEW SOLUTION FOUND: -3967285 @ 436.53 @ #Dec. 230754 c NEW SOLUTION FOUND: -3967347 @ 436.74 @ #Dec. 230804 c NEW SOLUTION FOUND: -3967357 @ 436.75 @ #Dec. 230815 c NEW SOLUTION FOUND: -3967453 @ 437.13 @ #Dec. 230884 c NEW SOLUTION FOUND: -3967493 @ 437.23 @ #Dec. 230923 c NEW SOLUTION FOUND: -3967523 @ 437.24 @ #Dec. 230937 c NEW SOLUTION FOUND: -3967585 @ 437.43 @ #Dec. 230978 c NEW SOLUTION FOUND: -3967595 @ 437.43 @ #Dec. 230987 c NEW SOLUTION FOUND: -3967647 @ 438.25 @ #Dec. 231156 c NEW SOLUTION FOUND: -3968369 @ 438.51 @ #Dec. 231205 c NEW SOLUTION FOUND: -3968417 @ 438.54 @ #Dec. 231221 c NEW SOLUTION FOUND: -3968881 @ 438.75 @ #Dec. 231280 c NEW SOLUTION FOUND: -3968921 @ 438.84 @ #Dec. 231321 c NEW SOLUTION FOUND: -3968941 @ 438.85 @ #Dec. 231335 c NEW SOLUTION FOUND: -3968951 @ 438.85 @ #Dec. 231348 c NEW SOLUTION FOUND: -3968977 @ 439.04 @ #Dec. 231395 c NEW SOLUTION FOUND: -3969023 @ 439.04 @ #Dec. 231405 c NEW SOLUTION FOUND: -3969119 @ 439.46 @ #Dec. 231498 c NEW SOLUTION FOUND: -3969179 @ 439.55 @ #Dec. 231538 c NEW SOLUTION FOUND: -3969189 @ 439.56 @ #Dec. 231554 c NEW SOLUTION FOUND: -3969261 @ 439.77 @ #Dec. 231609 c NEW SOLUTION FOUND: -3969357 @ 440.17 @ #Dec. 231704 c NEW SOLUTION FOUND: -3969397 @ 440.27 @ #Dec. 231745 c NEW SOLUTION FOUND: -3969427 @ 440.27 @ #Dec. 231759 c NEW SOLUTION FOUND: -3969445 @ 440.47 @ #Dec. 231808 c NEW SOLUTION FOUND: -3969453 @ 440.47 @ #Dec. 231816 c NEW SOLUTION FOUND: -3969499 @ 440.48 @ #Dec. 231825 c NEW SOLUTION FOUND: -3969833 @ 441.48 @ #Dec. 232013 c NEW SOLUTION FOUND: -3969893 @ 441.57 @ #Dec. 232053 c NEW SOLUTION FOUND: -3969903 @ 441.58 @ #Dec. 232067 c NEW SOLUTION FOUND: -3969965 @ 441.77 @ #Dec. 232113 c NEW SOLUTION FOUND: -3969975 @ 441.78 @ #Dec. 232122 c NEW SOLUTION FOUND: -3970071 @ 442.31 @ #Dec. 232225 c NEW SOLUTION FOUND: -3970141 @ 442.43 @ #Dec. 232278 c NEW SOLUTION FOUND: -3970143 @ 442.64 @ #Dec. 232338 c NEW SOLUTION FOUND: -3970159 @ 442.64 @ #Dec. 232346 c NEW SOLUTION FOUND: -3970167 @ 442.64 @ #Dec. 232353 c NEW SOLUTION FOUND: -3970213 @ 442.65 @ #Dec. 232363 c NEW SOLUTION FOUND: -3970309 @ 443.18 @ #Dec. 232461 c NEW SOLUTION FOUND: -3970369 @ 443.32 @ #Dec. 232517 c NEW SOLUTION FOUND: -3970379 @ 443.32 @ #Dec. 232531 c NEW SOLUTION FOUND: -3970441 @ 443.52 @ #Dec. 232577 c NEW SOLUTION FOUND: -3970451 @ 443.52 @ #Dec. 232586 c NEW SOLUTION FOUND: -3970785 @ 445.21 @ #Dec. 232860 c NEW SOLUTION FOUND: -3970845 @ 445.43 @ #Dec. 232928 c NEW SOLUTION FOUND: -3970855 @ 445.43 @ #Dec. 232942 c NEW SOLUTION FOUND: -3970917 @ 445.63 @ #Dec. 233001 c NEW SOLUTION FOUND: -3970927 @ 445.64 @ #Dec. 233010 c NEW SOLUTION FOUND: -3970959 @ 446.09 @ #Dec. 233085 c NEW SOLUTION FOUND: -3971023 @ 446.1 @ #Dec. 233102 c NEW SOLUTION FOUND: -3971083 @ 446.25 @ #Dec. 233165 c NEW SOLUTION FOUND: -3971093 @ 446.25 @ #Dec. 233179 c NEW SOLUTION FOUND: -3971155 @ 446.43 @ #Dec. 233240 c NEW SOLUTION FOUND: -3971165 @ 446.43 @ #Dec. 233250 c NEW SOLUTION FOUND: -3971261 @ 446.81 @ #Dec. 233327 c NEW SOLUTION FOUND: -3971321 @ 446.95 @ #Dec. 233384 c NEW SOLUTION FOUND: -3971331 @ 446.95 @ #Dec. 233398 c NEW SOLUTION FOUND: -3971393 @ 447.11 @ #Dec. 233439 c NEW SOLUTION FOUND: -3971403 @ 447.11 @ #Dec. 233448 c NEW SOLUTION FOUND: -3971437 @ 448.98 @ #Dec. 233796 c NEW SOLUTION FOUND: -3971455 @ 448.99 @ #Dec. 233812 c NEW SOLUTION FOUND: -3971765 @ 449.21 @ #Dec. 233845 c NEW SOLUTION FOUND: -3971795 @ 449.21 @ #Dec. 233849 c NEW SOLUTION FOUND: -3971810 @ 449.21 @ #Dec. 233851 c NEW SOLUTION FOUND: -3971813 @ 449.25 @ #Dec. 233872 c NEW SOLUTION FOUND: -3971828 @ 449.25 @ #Dec. 233875 c NEW SOLUTION FOUND: -3971892 @ 449.29 @ #Dec. 233897 c NEW SOLUTION FOUND: -3972051 @ 449.35 @ #Dec. 233930 c NEW SOLUTION FOUND: -3972225 @ 449.48 @ #Dec. 233964 c NEW SOLUTION FOUND: -3972515 @ 449.8 @ #Dec. 234011 c NEW SOLUTION FOUND: -3972680 @ 449.8 @ #Dec. 234015 c NEW SOLUTION FOUND: -3972721 @ 449.85 @ #Dec. 234039 c NEW SOLUTION FOUND: -3972821 @ 449.93 @ #Dec. 234066 c NEW SOLUTION FOUND: -3972831 @ 450.01 @ #Dec. 234091 c NEW SOLUTION FOUND: -3972991 @ 450.55 @ #Dec. 234200 c NEW SOLUTION FOUND: -3973141 @ 450.55 @ #Dec. 234205 c NEW SOLUTION FOUND: -3973156 @ 450.55 @ #Dec. 234207 c NEW SOLUTION FOUND: -3973197 @ 450.6 @ #Dec. 234231 c NEW SOLUTION FOUND: -3973297 @ 450.65 @ #Dec. 234256 c NEW SOLUTION FOUND: -3973307 @ 450.66 @ #Dec. 234267 c NEW SOLUTION FOUND: -3973415 @ 451.99 @ #Dec. 234545 c NEW SOLUTION FOUND: -3973461 @ 452.28 @ #Dec. 234596 c NEW SOLUTION FOUND: -3973541 @ 452.31 @ #Dec. 234614 c NEW SOLUTION FOUND: -3973653 @ 452.4 @ #Dec. 234639 c NEW SOLUTION FOUND: -3973673 @ 452.68 @ #Dec. 234698 c NEW SOLUTION FOUND: -3973773 @ 452.7 @ #Dec. 234712 c NEW SOLUTION FOUND: -3973783 @ 452.7 @ #Dec. 234724 c NEW SOLUTION FOUND: -3973943 @ 453.05 @ #Dec. 234838 c NEW SOLUTION FOUND: -3974063 @ 453.05 @ #Dec. 234844 c NEW SOLUTION FOUND: -3974108 @ 453.05 @ #Dec. 234847 c NEW SOLUTION FOUND: -3974149 @ 453.09 @ #Dec. 234866 c NEW SOLUTION FOUND: -3974249 @ 453.13 @ #Dec. 234889 c NEW SOLUTION FOUND: -3974259 @ 453.13 @ #Dec. 234900 c NEW SOLUTION FOUND: -3974303 @ 454.83 @ #Dec. 235236 c NEW SOLUTION FOUND: -3974431 @ 454.97 @ #Dec. 235278 c NEW SOLUTION FOUND: -3974523 @ 455.2 @ #Dec. 235336 c NEW SOLUTION FOUND: -3974605 @ 455.21 @ #Dec. 235352 c NEW SOLUTION FOUND: -3974625 @ 455.56 @ #Dec. 235407 c NEW SOLUTION FOUND: -3974735 @ 455.6 @ #Dec. 235438 c NEW SOLUTION FOUND: -3974777 @ 456.25 @ #Dec. 235583 c NEW SOLUTION FOUND: -3974807 @ 456.25 @ #Dec. 235587 c NEW SOLUTION FOUND: -3974822 @ 456.25 @ #Dec. 235589 c NEW SOLUTION FOUND: -3974863 @ 456.29 @ #Dec. 235608 c NEW SOLUTION FOUND: -3974973 @ 456.34 @ #Dec. 235639 c NEW SOLUTION FOUND: -3975015 @ 456.98 @ #Dec. 235782 c NEW SOLUTION FOUND: -3975060 @ 456.98 @ #Dec. 235785 c NEW SOLUTION FOUND: -3975101 @ 457.02 @ #Dec. 235805 c NEW SOLUTION FOUND: -3975211 @ 457.13 @ #Dec. 235863 c NEW SOLUTION FOUND: -3975295 @ 461.18 @ #Dec. 236695 c NEW SOLUTION FOUND: -3975375 @ 461.44 @ #Dec. 236765 c NEW SOLUTION FOUND: -3975435 @ 461.69 @ #Dec. 236822 c NEW SOLUTION FOUND: -3975485 @ 461.71 @ #Dec. 236838 c NEW SOLUTION FOUND: -3975567 @ 463.04 @ #Dec. 237098 c NEW SOLUTION FOUND: -3975627 @ 463.19 @ #Dec. 237174 c NEW SOLUTION FOUND: -3975637 @ 463.2 @ #Dec. 237193 c NEW SOLUTION FOUND: -3975805 @ 463.46 @ #Dec. 237263 c NEW SOLUTION FOUND: -3975865 @ 463.64 @ #Dec. 237337 c NEW SOLUTION FOUND: -3975875 @ 463.66 @ #Dec. 237356 c NEW SOLUTION FOUND: -3976737 @ 465.78 @ #Dec. 237969 c NEW SOLUTION FOUND: -3976827 @ 465.79 @ #Dec. 237983 c NEW SOLUTION FOUND: -3976842 @ 465.79 @ #Dec. 237993 c NEW SOLUTION FOUND: -3976929 @ 465.89 @ #Dec. 238020 c NEW SOLUTION FOUND: -3976989 @ 465.9 @ #Dec. 238033 c NEW SOLUTION FOUND: -3977019 @ 465.9 @ #Dec. 238042 c NEW SOLUTION FOUND: -3977034 @ 465.9 @ #Dec. 238049 c NEW SOLUTION FOUND: -3977208 @ 466.03 @ #Dec. 238105 c NEW SOLUTION FOUND: -3978217 @ 466.03 @ #Dec. 238116 c NEW SOLUTION FOUND: -3978232 @ 466.04 @ #Dec. 238122 c NEW SOLUTION FOUND: -3978368 @ 466.05 @ #Dec. 238134 c NEW SOLUTION FOUND: -3978377 @ 466.21 @ #Dec. 238192 c NEW SOLUTION FOUND: -3978409 @ 466.27 @ #Dec. 238227 c NEW SOLUTION FOUND: -3978437 @ 466.35 @ #Dec. 238253 c NEW SOLUTION FOUND: -3978447 @ 466.36 @ #Dec. 238276 c NEW SOLUTION FOUND: -3978519 @ 466.37 @ #Dec. 238289 c NEW SOLUTION FOUND: -3978627 @ 466.82 @ #Dec. 238436 c NEW SOLUTION FOUND: -3978659 @ 466.85 @ #Dec. 238457 c NEW SOLUTION FOUND: -3978697 @ 466.88 @ #Dec. 238481 c NEW SOLUTION FOUND: -3978769 @ 466.89 @ #Dec. 238494 c NEW SOLUTION FOUND: -3978781 @ 467.47 @ #Dec. 238674 c NEW SOLUTION FOUND: -3978909 @ 469.63 @ #Dec. 239100 c NEW SOLUTION FOUND: -3978947 @ 470 @ #Dec. 239190 c NEW SOLUTION FOUND: -3979019 @ 470.01 @ #Dec. 239199 c NEW SOLUTION FOUND: -3979063 @ 475.59 @ #Dec. 240112 c NEW SOLUTION FOUND: -3979365 @ 475.68 @ #Dec. 240145 c NEW SOLUTION FOUND: -3979603 @ 475.89 @ #Dec. 240200 c NEW SOLUTION FOUND: -3979623 @ 477.08 @ #Dec. 240386 c NEW SOLUTION FOUND: -3979861 @ 477.24 @ #Dec. 240469 c NEW SOLUTION FOUND: -3979889 @ 478.09 @ #Dec. 240728 c NEW SOLUTION FOUND: -3979899 @ 478.09 @ #Dec. 240742 c NEW SOLUTION FOUND: -3979961 @ 478.15 @ #Dec. 240755 c NEW SOLUTION FOUND: -3979971 @ 478.16 @ #Dec. 240766 c NEW SOLUTION FOUND: -3980067 @ 478.3 @ #Dec. 240819 c NEW SOLUTION FOUND: -3980099 @ 478.55 @ #Dec. 240916 c NEW SOLUTION FOUND: -3980127 @ 478.86 @ #Dec. 241049 c NEW SOLUTION FOUND: -3980137 @ 478.87 @ #Dec. 241066 c NEW SOLUTION FOUND: -3980199 @ 479.03 @ #Dec. 241128 c NEW SOLUTION FOUND: -3980209 @ 479.05 @ #Dec. 241143 c NEW SOLUTION FOUND: -3980225 @ 526.59 @ #Dec. 248373 c NEW SOLUTION FOUND: -3980337 @ 532.33 @ #Dec. 251271 c NEW SOLUTION FOUND: -3980493 @ 532.61 @ #Dec. 251416 c NEW SOLUTION FOUND: -3980511 @ 532.67 @ #Dec. 251461 c NEW SOLUTION FOUND: -3980797 @ 532.75 @ #Dec. 251492 c NEW SOLUTION FOUND: -3980813 @ 532.82 @ #Dec. 251511 c NEW SOLUTION FOUND: -3981499 @ 534.12 @ #Dec. 252774 c NEW SOLUTION FOUND: -3981515 @ 534.19 @ #Dec. 252794 c NEW SOLUTION FOUND: -3981573 @ 534.56 @ #Dec. 252863 c NEW SOLUTION FOUND: -3981593 @ 534.59 @ #Dec. 252882 c NEW SOLUTION FOUND: -3981603 @ 534.59 @ #Dec. 252895 c NEW SOLUTION FOUND: -3981667 @ 534.63 @ #Dec. 252916 c NEW SOLUTION FOUND: -3981683 @ 534.64 @ #Dec. 252928 c NEW SOLUTION FOUND: -3981749 @ 534.8 @ #Dec. 252963 c NEW SOLUTION FOUND: -3981765 @ 534.84 @ #Dec. 252981 c NEW SOLUTION FOUND: -3981811 @ 535.26 @ #Dec. 253217 c NEW SOLUTION FOUND: -3981891 @ 535.29 @ #Dec. 253237 c NEW SOLUTION FOUND: -3981987 @ 535.34 @ #Dec. 253266 c NEW SOLUTION FOUND: -3982003 @ 535.39 @ #Dec. 253305 c NEW SOLUTION FOUND: -3982009 @ 542.79 @ #Dec. 256881 c NEW SOLUTION FOUND: -3982109 @ 542.82 @ #Dec. 256893 c NEW SOLUTION FOUND: -3982419 @ 542.85 @ #Dec. 256913 c NEW SOLUTION FOUND: -3982459 @ 542.87 @ #Dec. 256928 c NEW SOLUTION FOUND: -3982489 @ 542.87 @ #Dec. 256941 c NEW SOLUTION FOUND: -3982551 @ 542.94 @ #Dec. 256972 c NEW SOLUTION FOUND: -3982553 @ 542.95 @ #Dec. 256990 c NEW SOLUTION FOUND: -3982561 @ 542.95 @ #Dec. 256999 c NEW SOLUTION FOUND: -3982563 @ 544.77 @ #Dec. 257282 c NEW SOLUTION FOUND: -3982609 @ 544.78 @ #Dec. 257303 c NEW SOLUTION FOUND: -3982693 @ 551.91 @ #Dec. 258838 c NEW SOLUTION FOUND: -3982803 @ 551.95 @ #Dec. 258862 c NEW SOLUTION FOUND: -3982835 @ 552.1 @ #Dec. 258947 c NEW SOLUTION FOUND: -3982873 @ 552.2 @ #Dec. 259019 c NEW SOLUTION FOUND: -3982899 @ 552.21 @ #Dec. 259045 c NEW SOLUTION FOUND: -3982945 @ 552.22 @ #Dec. 259067 c NEW SOLUTION FOUND: -3982959 @ 552.47 @ #Dec. 259209 c NEW SOLUTION FOUND: -3982969 @ 552.47 @ #Dec. 259249 c NEW SOLUTION FOUND: -3982995 @ 552.48 @ #Dec. 259274 c NEW SOLUTION FOUND: -3983031 @ 552.49 @ #Dec. 259299 c NEW SOLUTION FOUND: -3983041 @ 552.49 @ #Dec. 259319 c NEW SOLUTION FOUND: -3983075 @ 553.79 @ #Dec. 259679 c NEW SOLUTION FOUND: -3983185 @ 553.84 @ #Dec. 259718 c NEW SOLUTION FOUND: -4001015 @ 593.49 @ #Dec. 264350 c NEW SOLUTION FOUND: -4001079 @ 593.51 @ #Dec. 264398 c NEW SOLUTION FOUND: -4005274 @ 594 @ #Dec. 265102 c NEW SOLUTION FOUND: -4005284 @ 594.01 @ #Dec. 265118 c NEW SOLUTION FOUND: -4005314 @ 594.03 @ #Dec. 265137 c NEW SOLUTION FOUND: -4009127 @ 594.11 @ #Dec. 265222 c NEW SOLUTION FOUND: -4009154 @ 594.13 @ #Dec. 265244 c NEW SOLUTION FOUND: -4009257 @ 594.15 @ #Dec. 265265 c NEW SOLUTION FOUND: -4009287 @ 594.16 @ #Dec. 265279 c NEW SOLUTION FOUND: -4009314 @ 594.18 @ #Dec. 265316 c NEW SOLUTION FOUND: -4011287 @ 594.64 @ #Dec. 266248 c NEW SOLUTION FOUND: -4011314 @ 594.77 @ #Dec. 266431 c NEW SOLUTION FOUND: -4023279 @ 598.67 @ #Dec. 269177 c NEW SOLUTION FOUND: -4023339 @ 598.69 @ #Dec. 269198 c NEW SOLUTION FOUND: -4023469 @ 598.72 @ #Dec. 269216 c NEW SOLUTION FOUND: -4031531 @ 598.75 @ #Dec. 269242 c NEW SOLUTION FOUND: -4031661 @ 598.81 @ #Dec. 269270 c NEW SOLUTION FOUND: -4031691 @ 598.89 @ #Dec. 269300 c NEW SOLUTION FOUND: -4035181 @ 598.94 @ #Dec. 269329 c NEW SOLUTION FOUND: -4035191 @ 598.97 @ #Dec. 269346 c NEW SOLUTION FOUND: -4035561 @ 599.01 @ #Dec. 269371 c NEW SOLUTION FOUND: -4035691 @ 599.04 @ #Dec. 269393 c NEW SOLUTION FOUND: -4035715 @ 599.25 @ #Dec. 269479 c NEW SOLUTION FOUND: -4035855 @ 599.62 @ #Dec. 269637 c NEW SOLUTION FOUND: -4036355 @ 599.64 @ #Dec. 269656 c NEW SOLUTION FOUND: -4036435 @ 599.67 @ #Dec. 269680 c NEW SOLUTION FOUND: -4037075 @ 599.69 @ #Dec. 269703 c NEW SOLUTION FOUND: -4037205 @ 599.72 @ #Dec. 269729 c NEW SOLUTION FOUND: -4037315 @ 599.78 @ #Dec. 269765 c NEW SOLUTION FOUND: -4037345 @ 599.81 @ #Dec. 269787 c NEW SOLUTION FOUND: -4037445 @ 599.86 @ #Dec. 269815 c NEW SOLUTION FOUND: -4037475 @ 599.91 @ #Dec. 269841 c NEW SOLUTION FOUND: -4037507 @ 600.15 @ #Dec. 269968 c NEW SOLUTION FOUND: -4037537 @ 600.19 @ #Dec. 269990 c NEW SOLUTION FOUND: -4037637 @ 600.23 @ #Dec. 270013 c NEW SOLUTION FOUND: -4037667 @ 600.27 @ #Dec. 270034 c NEW SOLUTION FOUND: -4037685 @ 601.64 @ #Dec. 270508 c NEW SOLUTION FOUND: -4037715 @ 601.68 @ #Dec. 270529 c NEW SOLUTION FOUND: -4037739 @ 602.18 @ #Dec. 270782 c NEW SOLUTION FOUND: -4037760 @ 605.64 @ #Dec. 272626 c NEW SOLUTION FOUND: -4037771 @ 605.74 @ #Dec. 272702 c NEW SOLUTION FOUND: -4037781 @ 605.75 @ #Dec. 272715 c NEW SOLUTION FOUND: -4037798 @ 606.28 @ #Dec. 273073 c NEW SOLUTION FOUND: -4037808 @ 606.37 @ #Dec. 273166 c NEW SOLUTION FOUND: -4037835 @ 607.34 @ #Dec. 273618 c NEW SOLUTION FOUND: -4037840 @ 607.37 @ #Dec. 273640 c NEW SOLUTION FOUND: -4037850 @ 607.37 @ #Dec. 273655 c NEW SOLUTION FOUND: -4037894 @ 614.96 @ #Dec. 276210 c NEW SOLUTION FOUND: -4037904 @ 614.96 @ #Dec. 276216 c NEW SOLUTION FOUND: -4037921 @ 616.01 @ #Dec. 276570 c NEW SOLUTION FOUND: -4037931 @ 616.02 @ #Dec. 276583 c NEW SOLUTION FOUND: -4037936 @ 616.06 @ #Dec. 276622 c NEW SOLUTION FOUND: -4037946 @ 616.07 @ #Dec. 276639 c NEW SOLUTION FOUND: -4038000 @ 625.85 @ #Dec. 279827 c NEW SOLUTION FOUND: -4038069 @ 626.43 @ #Dec. 280297 c NEW SOLUTION FOUND: -4038111 @ 635.67 @ #Dec. 282178 c NEW SOLUTION FOUND: -4038138 @ 638.46 @ #Dec. 282908 c NEW SOLUTION FOUND: -4038180 @ 639.48 @ #Dec. 283952 c NEW SOLUTION FOUND: -4038207 @ 648.44 @ #Dec. 287264 c NEW SOLUTION FOUND: -4038222 @ 648.47 @ #Dec. 287274 c NEW SOLUTION FOUND: -4038224 @ 648.55 @ #Dec. 287359 c NEW SOLUTION FOUND: -4038234 @ 648.57 @ #Dec. 287378 c NEW SOLUTION FOUND: -4038251 @ 654.17 @ #Dec. 294830 c NEW SOLUTION FOUND: -4038261 @ 654.18 @ #Dec. 294846 c NEW SOLUTION FOUND: -4038266 @ 654.42 @ #Dec. 295929 c NEW SOLUTION FOUND: -4038276 @ 654.56 @ #Dec. 296962 c NEW SOLUTION FOUND: -4038324 @ 658.81 @ #Dec. 302978 c NEW SOLUTION FOUND: -4038330 @ 659.3 @ #Dec. 303840 c NEW SOLUTION FOUND: -4038362 @ 662.28 @ #Dec. 305052 c NEW SOLUTION FOUND: -4038372 @ 662.3 @ #Dec. 305104 c NEW SOLUTION FOUND: -4038399 @ 662.84 @ #Dec. 305404 c NEW SOLUTION FOUND: -4038441 @ 664.07 @ #Dec. 306519 c NEW SOLUTION FOUND: -4038468 @ 665.32 @ #Dec. 307558 c NEW SOLUTION FOUND: -4038483 @ 666.71 @ #Dec. 308292 c NEW SOLUTION FOUND: -4038495 @ 666.75 @ #Dec. 308358 c NEW SOLUTION FOUND: -4038537 @ 674 @ #Dec. 310808 c NEW SOLUTION FOUND: -4038591 @ 676.32 @ #Dec. 311516 c NEW SOLUTION FOUND: -4038660 @ 696.75 @ #Dec. 318395 c NEW SOLUTION FOUND: -4038702 @ 701.16 @ #Dec. 326799 c NEW SOLUTION FOUND: -4038706 @ 702.52 @ #Dec. 328579 c NEW SOLUTION FOUND: -4038756 @ 702.52 @ #Dec. 328594 c NEW SOLUTION FOUND: -4038771 @ 704.51 @ #Dec. 332547 c NEW SOLUTION FOUND: -4038788 @ 704.54 @ #Dec. 332574 c NEW SOLUTION FOUND: -4038798 @ 704.56 @ #Dec. 332592 c NEW SOLUTION FOUND: -4038867 @ 723.54 @ #Dec. 344051 c NEW SOLUTION FOUND: -4038885 @ 724.3 @ #Dec. 344588 c NEW SOLUTION FOUND: -4038889 @ 724.34 @ #Dec. 344623 c NEW SOLUTION FOUND: -4038897 @ 724.35 @ #Dec. 344644 c NEW SOLUTION FOUND: -4038911 @ 724.5 @ #Dec. 344782 c NEW SOLUTION FOUND: -4038921 @ 724.55 @ #Dec. 344840 c NEW SOLUTION FOUND: -4038945 @ 728.45 @ #Dec. 346547 c NEW SOLUTION FOUND: -4038953 @ 728.52 @ #Dec. 346879 c NEW SOLUTION FOUND: -4038963 @ 728.76 @ #Dec. 347585 c NEW SOLUTION FOUND: -4039005 @ 730.24 @ #Dec. 349943 c NEW SOLUTION FOUND: -4039040 @ 732.52 @ #Dec. 350826 c NEW SOLUTION FOUND: -4039155 @ 732.6 @ #Dec. 350891 c NEW SOLUTION FOUND: -4039170 @ 732.62 @ #Dec. 350908 c Restart #34 #Var: 588 #Dec: 358829 LB: -16515027 @ 742.14 c Restart #35 #Var: 588 #Dec: 375839 LB: -16515027 @ 796.37 c Restart #36 #Var: 588 #Dec: 383113 LB: -16515027 @ 802.03 c Restart #37 #Var: 588 #Dec: 402348 LB: -16515027 @ 877.53 c CHANGE to MIS mode... UB: -4039170 MIS: -16515027 LPR: -2147483648 (0) Diff: 0.0076904 c Restart #0 #Var: 588 #Dec: 411775 LB: -16515027 @ 968.79 c Restart #1 #Var: 588 #Dec: 412032 LB: -16515027 @ 969.55 c Restart #2 #Var: 588 #Dec: 412483 LB: -16515027 @ 971.53 c Restart #3 #Var: 588 #Dec: 414086 LB: -16515027 @ 973.03 c Restart #4 #Var: 588 #Dec: 418457 LB: -16515027 @ 980.32 c Restart #5 #Var: 588 #Dec: 421174 LB: -16515027 @ 987.62 c Restart #6 #Var: 587 #Dec: 424146 LB: -16515027 @ 997.01 c Restart #7 #Var: 587 #Dec: 427718 LB: -16515027 @ 1012.1 c Restart #8 #Var: 587 #Dec: 430067 LB: -16515027 @ 1040.8 c NEW SOLUTION FOUND: -4098418 @ 1053.8 @ #Dec. 433869 c NEW SOLUTION FOUND: -4098546 @ 1053.8 @ #Dec. 433872 c NEW SOLUTION FOUND: -4098610 @ 1053.8 @ #Dec. 433877 c NEW SOLUTION FOUND: -4098626 @ 1053.8 @ #Dec. 433880 c NEW SOLUTION FOUND: -4098634 @ 1053.8 @ #Dec. 433881 c NEW SOLUTION FOUND: -4098650 @ 1053.8 @ #Dec. 433885 c NEW SOLUTION FOUND: -4098666 @ 1053.8 @ #Dec. 433888 c NEW SOLUTION FOUND: -4098714 @ 1053.8 @ #Dec. 433895 c NEW SOLUTION FOUND: -4098774 @ 1053.8 @ #Dec. 433898 c NEW SOLUTION FOUND: -4098794 @ 1053.8 @ #Dec. 433900 c NEW SOLUTION FOUND: -4098902 @ 1053.8 @ #Dec. 433906 c NEW SOLUTION FOUND: -4098922 @ 1053.8 @ #Dec. 433911 c NEW SOLUTION FOUND: -4098962 @ 1053.8 @ #Dec. 433919 c NEW SOLUTION FOUND: -4098972 @ 1053.8 @ #Dec. 433928 c NEW SOLUTION FOUND: -4099032 @ 1053.8 @ #Dec. 433940 c NEW SOLUTION FOUND: -4099884 @ 1053.9 @ #Dec. 433993 c NEW SOLUTION FOUND: -4100012 @ 1054 @ #Dec. 434014 c NEW SOLUTION FOUND: -4100032 @ 1054 @ #Dec. 434043 c NEW SOLUTION FOUND: -4100988 @ 1054.5 @ #Dec. 434257 c NEW SOLUTION FOUND: -4102012 @ 1054.5 @ #Dec. 434277 c NEW SOLUTION FOUND: -4102502 @ 1054.6 @ #Dec. 434299 c NEW SOLUTION FOUND: -4102972 @ 1054.6 @ #Dec. 434336 c NEW SOLUTION FOUND: -4102992 @ 1054.6 @ #Dec. 434351 c NEW SOLUTION FOUND: -4103002 @ 1054.6 @ #Dec. 434363 c NEW SOLUTION FOUND: -4103932 @ 1054.6 @ #Dec. 434385 c NEW SOLUTION FOUND: -4104012 @ 1054.6 @ #Dec. 434404 c NEW SOLUTION FOUND: -4104032 @ 1054.6 @ #Dec. 434418 c NEW SOLUTION FOUND: -4105212 @ 1054.7 @ #Dec. 434449 c NEW SOLUTION FOUND: -4105532 @ 1054.7 @ #Dec. 434468 c NEW SOLUTION FOUND: -4105992 @ 1055 @ #Dec. 434663 c NEW SOLUTION FOUND: -4106002 @ 1055 @ #Dec. 434676 c NEW SOLUTION FOUND: -4107032 @ 1055 @ #Dec. 434694 c NEW SOLUTION FOUND: -4107132 @ 1055.2 @ #Dec. 434799 c NEW SOLUTION FOUND: -4107772 @ 1055.2 @ #Dec. 434844 c NEW SOLUTION FOUND: -4108012 @ 1055.3 @ #Dec. 434876 c NEW SOLUTION FOUND: -4108032 @ 1055.3 @ #Dec. 434889 c NEW SOLUTION FOUND: -4108123 @ 1058.5 @ #Dec. 435621 c NEW SOLUTION FOUND: -4108143 @ 1058.5 @ #Dec. 435658 c NEW SOLUTION FOUND: -4108185 @ 1060.5 @ #Dec. 436076 c NEW SOLUTION FOUND: -4108193 @ 1060.6 @ #Dec. 436124 c NEW SOLUTION FOUND: -4108293 @ 1060.7 @ #Dec. 436147 c NEW SOLUTION FOUND: -4108308 @ 1060.8 @ #Dec. 436184 c NEW SOLUTION FOUND: -4108335 @ 1060.9 @ #Dec. 436285 c NEW SOLUTION FOUND: -4108489 @ 1062 @ #Dec. 436668 c NEW SOLUTION FOUND: -4108739 @ 1062 @ #Dec. 436701 c NEW SOLUTION FOUND: -4109713 @ 1063.3 @ #Dec. 437220 c NEW SOLUTION FOUND: -4109963 @ 1063.4 @ #Dec. 437239 c NEW SOLUTION FOUND: -4110271 @ 1063.9 @ #Dec. 437526 c NEW SOLUTION FOUND: -4110298 @ 1064.1 @ #Dec. 437635 c NEW SOLUTION FOUND: -4110340 @ 1064.6 @ #Dec. 438032 c NEW SOLUTION FOUND: -4110367 @ 1066.5 @ #Dec. 439975 c NEW SOLUTION FOUND: -4110394 @ 1066.8 @ #Dec. 440185 c NEW SOLUTION FOUND: -4110396 @ 1068.3 @ #Dec. 441032 c NEW SOLUTION FOUND: -4110424 @ 1068.4 @ #Dec. 441070 c NEW SOLUTION FOUND: -4110436 @ 1068.4 @ #Dec. 441110 c NEW SOLUTION FOUND: -4110463 @ 1068.7 @ #Dec. 441255 c NEW SOLUTION FOUND: -4110478 @ 1088.3 @ #Dec. 443566 c NEW SOLUTION FOUND: -4110492 @ 1089.1 @ #Dec. 443736 c NEW SOLUTION FOUND: -4110532 @ 1089.1 @ #Dec. 443772 c NEW SOLUTION FOUND: -4110589 @ 1090 @ #Dec. 443959 c NEW SOLUTION FOUND: -4110601 @ 1090.1 @ #Dec. 443992 c NEW SOLUTION FOUND: -4110623 @ 1110 @ #Dec. 446919 c NEW SOLUTION FOUND: -4110635 @ 1110.1 @ #Dec. 447022 c NEW SOLUTION FOUND: -4110836 @ 1110.9 @ #Dec. 447493 c NEW SOLUTION FOUND: -4110916 @ 1110.9 @ #Dec. 447519 c NEW SOLUTION FOUND: -4111006 @ 1110.9 @ #Dec. 447552 c NEW SOLUTION FOUND: -4111018 @ 1111.3 @ #Dec. 447684 c NEW SOLUTION FOUND: -4111045 @ 1111.8 @ #Dec. 447872 c NEW SOLUTION FOUND: -4111317 @ 1119 @ #Dec. 449381 c NEW SOLUTION FOUND: -4111349 @ 1119 @ #Dec. 449411 c NEW SOLUTION FOUND: -4111373 @ 1119.1 @ #Dec. 449475 c NEW SOLUTION FOUND: -4111795 @ 1119.2 @ #Dec. 449609 c NEW SOLUTION FOUND: -4113295 @ 1119.2 @ #Dec. 449615 c NEW SOLUTION FOUND: -4113343 @ 1119.3 @ #Dec. 449645 c NEW SOLUTION FOUND: -4113359 @ 1119.3 @ #Dec. 449701 c NEW SOLUTION FOUND: -4113419 @ 1119.4 @ #Dec. 449778 c NEW SOLUTION FOUND: -4113451 @ 1119.5 @ #Dec. 449866 c NEW SOLUTION FOUND: -4113459 @ 1119.5 @ #Dec. 449880 c NEW SOLUTION FOUND: -4113505 @ 1119.5 @ #Dec. 449947 c NEW SOLUTION FOUND: -4113545 @ 1119.7 @ #Dec. 449999 c NEW SOLUTION FOUND: -4113553 @ 1120 @ #Dec. 450190 c NEW SOLUTION FOUND: -4113571 @ 1120.9 @ #Dec. 450790 c NEW SOLUTION FOUND: -4113579 @ 1121.4 @ #Dec. 451003 c NEW SOLUTION FOUND: -4113608 @ 1122.4 @ #Dec. 451495 c NEW SOLUTION FOUND: -4113623 @ 1122.4 @ #Dec. 451524 c NEW SOLUTION FOUND: -4113635 @ 1122.5 @ #Dec. 451551 c NEW SOLUTION FOUND: -4114153 @ 1122.7 @ #Dec. 451613 c NEW SOLUTION FOUND: -4114403 @ 1122.7 @ #Dec. 451620 c NEW SOLUTION FOUND: -4114491 @ 1122.7 @ #Dec. 451642 c NEW SOLUTION FOUND: -4114764 @ 1123.8 @ #Dec. 452215 c NEW SOLUTION FOUND: -4114796 @ 1123.9 @ #Dec. 452250 c NEW SOLUTION FOUND: -4114836 @ 1124.6 @ #Dec. 453096 c NEW SOLUTION FOUND: -4114868 @ 1124.6 @ #Dec. 453116 c NEW SOLUTION FOUND: -4114904 @ 1124.9 @ #Dec. 453470 c NEW SOLUTION FOUND: -4114922 @ 1125 @ #Dec. 453494 c NEW SOLUTION FOUND: -4114938 @ 1128.9 @ #Dec. 454848 c NEW SOLUTION FOUND: -4114946 @ 1128.9 @ #Dec. 454872 c NEW SOLUTION FOUND: -4115074 @ 1129 @ #Dec. 454894 c NEW SOLUTION FOUND: -4115132 @ 1129.4 @ #Dec. 455370 c NEW SOLUTION FOUND: -4115266 @ 1129.8 @ #Dec. 455692 c NEW SOLUTION FOUND: -4115276 @ 1129.8 @ #Dec. 455704 c NEW SOLUTION FOUND: -4115319 @ 1130.2 @ #Dec. 456229 c NEW SOLUTION FOUND: -4115329 @ 1130.2 @ #Dec. 456249 c NEW SOLUTION FOUND: -4115335 @ 1130.3 @ #Dec. 456382 c NEW SOLUTION FOUND: -4115345 @ 1130.3 @ #Dec. 456412 c NEW SOLUTION FOUND: -4115527 @ 1135.4 @ #Dec. 458325 c NEW SOLUTION FOUND: -4115537 @ 1135.5 @ #Dec. 458356 c NEW SOLUTION FOUND: -4115540 @ 1136.1 @ #Dec. 459032 c NEW SOLUTION FOUND: -4115548 @ 1136.9 @ #Dec. 459438 c NEW SOLUTION FOUND: -4115554 @ 1137.8 @ #Dec. 460416 c NEW SOLUTION FOUND: -4115564 @ 1137.9 @ #Dec. 460685 c NEW SOLUTION FOUND: -4116313 @ 1149.8 @ #Dec. 463775 c NEW SOLUTION FOUND: -4116325 @ 1149.9 @ #Dec. 463941 c NEW SOLUTION FOUND: -4116421 @ 1153.1 @ #Dec. 465941 c NEW SOLUTION FOUND: -4116467 @ 1159.6 @ #Dec. 467284 c NEW SOLUTION FOUND: -4116811 @ 1160.3 @ #Dec. 468583 c NEW SOLUTION FOUND: -4116823 @ 1160.4 @ #Dec. 468857 c NEW SOLUTION FOUND: -4116835 @ 1160.6 @ #Dec. 469064 c NEW SOLUTION FOUND: -4116847 @ 1160.7 @ #Dec. 469269 c NEW SOLUTION FOUND: -4117057 @ 1162.2 @ #Dec. 471081 c NEW SOLUTION FOUND: -4117067 @ 1162.2 @ #Dec. 471086 c NEW SOLUTION FOUND: -4117083 @ 1162.2 @ #Dec. 471097 c NEW SOLUTION FOUND: -4117091 @ 1162.2 @ #Dec. 471106 c NEW SOLUTION FOUND: -4117219 @ 1162.2 @ #Dec. 471121 c NEW SOLUTION FOUND: -4117223 @ 1162.4 @ #Dec. 471175 c NEW SOLUTION FOUND: -4117235 @ 1162.6 @ #Dec. 471552 c NEW SOLUTION FOUND: -4117247 @ 1162.7 @ #Dec. 471564 c NEW SOLUTION FOUND: -4117555 @ 1164.4 @ #Dec. 473287 c NEW SOLUTION FOUND: -4117805 @ 1164.4 @ #Dec. 473291 c NEW SOLUTION FOUND: -4117820 @ 1164.4 @ #Dec. 473306 c NEW SOLUTION FOUND: -4117835 @ 1164.5 @ #Dec. 473320 c NEW SOLUTION FOUND: -4117847 @ 1164.5 @ #Dec. 473334 c NEW SOLUTION FOUND: -4117996 @ 1165.1 @ #Dec. 473726 c NEW SOLUTION FOUND: -4118011 @ 1165.1 @ #Dec. 473767 c NEW SOLUTION FOUND: -4118038 @ 1165.2 @ #Dec. 473869 c NEW SOLUTION FOUND: -4118118 @ 1165.2 @ #Dec. 473963 c NEW SOLUTION FOUND: -4118347 @ 1165.5 @ #Dec. 474143 c NEW SOLUTION FOUND: -4118743 @ 1165.7 @ #Dec. 474321 c NEW SOLUTION FOUND: -4118807 @ 1165.7 @ #Dec. 474334 c NEW SOLUTION FOUND: -4118823 @ 1165.8 @ #Dec. 474367 c NEW SOLUTION FOUND: -4119260 @ 1166 @ #Dec. 474564 c NEW SOLUTION FOUND: -4119270 @ 1166.1 @ #Dec. 474578 c NEW SOLUTION FOUND: -4119286 @ 1166.1 @ #Dec. 474602 c NEW SOLUTION FOUND: -4119515 @ 1167.1 @ #Dec. 475177 c NEW SOLUTION FOUND: -4119542 @ 1167.2 @ #Dec. 475291 c NEW SOLUTION FOUND: -4119687 @ 1167.9 @ #Dec. 476139 c NEW SOLUTION FOUND: -4119937 @ 1167.9 @ #Dec. 476195 c NEW SOLUTION FOUND: -4119953 @ 1168.2 @ #Dec. 476553 c NEW SOLUTION FOUND: -4119965 @ 1168.4 @ #Dec. 476740 c NEW SOLUTION FOUND: -4119991 @ 1169.3 @ #Dec. 477273 c NEW SOLUTION FOUND: -4120011 @ 1169.6 @ #Dec. 477610 c NEW SOLUTION FOUND: -4120019 @ 1169.9 @ #Dec. 478192 c NEW SOLUTION FOUND: -4120033 @ 1172.4 @ #Dec. 479136 c NEW SOLUTION FOUND: -4120061 @ 1172.5 @ #Dec. 479174 c NEW SOLUTION FOUND: -4120115 @ 1174.1 @ #Dec. 479775 c NEW SOLUTION FOUND: -4120130 @ 1174.2 @ #Dec. 479806 c NEW SOLUTION FOUND: -4120408 @ 1175.1 @ #Dec. 480213 c NEW SOLUTION FOUND: -4120442 @ 1176.3 @ #Dec. 481132 c NEW SOLUTION FOUND: -4120450 @ 1176.3 @ #Dec. 481206 c NEW SOLUTION FOUND: -4120492 @ 1177.2 @ #Dec. 481860 c NEW SOLUTION FOUND: -4120509 @ 1177.9 @ #Dec. 482374 c NEW SOLUTION FOUND: -4120573 @ 1178 @ #Dec. 482500 c NEW SOLUTION FOUND: -4120587 @ 1178.7 @ #Dec. 482913 c NEW SOLUTION FOUND: -4120603 @ 1178.8 @ #Dec. 483014 c NEW SOLUTION FOUND: -4120611 @ 1178.8 @ #Dec. 483097 c NEW SOLUTION FOUND: -4120651 @ 1179.4 @ #Dec. 483689 c NEW SOLUTION FOUND: -4120675 @ 1179.8 @ #Dec. 484185 c NEW SOLUTION FOUND: -4120825 @ 1187.1 @ #Dec. 487584 c NEW SOLUTION FOUND: -4120833 @ 1187.2 @ #Dec. 487628 c NEW SOLUTION FOUND: -4120849 @ 1187.2 @ #Dec. 487648 c NEW SOLUTION FOUND: -4120867 @ 1189.5 @ #Dec. 490753 c NEW SOLUTION FOUND: -4120945 @ 1189.6 @ #Dec. 490913 c NEW SOLUTION FOUND: -4120978 @ 1189.7 @ #Dec. 490999 c NEW SOLUTION FOUND: -4120987 @ 1189.8 @ #Dec. 491087 c NEW SOLUTION FOUND: -4121005 @ 1189.9 @ #Dec. 491275 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: -4121005 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/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1782277441 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11249/statm): 107 3 90 68 0 39 0 [pid=11249] vsize: 428 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libosl.so open syscall for file tls/i686/libosl.so open syscall for file tls/mmx/libosl.so open syscall for file tls/libosl.so open syscall for file i686/mmx/libosl.so open syscall for file i686/libosl.so open syscall for file mmx/libosl.so open syscall for file libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/libosl.so open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/i686/libosl.so open syscall for file /oldhome/oroussel/lib/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/libosl.so open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/libstdc++-libc6.2-2.so.3 open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/libstdc++-libc6.2-2.so.3 open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file i686/libstdc++-libc6.2-2.so.3 open syscall for file mmx/libstdc++-libc6.2-2.so.3 open syscall for file libstdc++-libc6.2-2.so.3 open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3 open syscall for file /etc/ld.so.cache open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /lib/tls/libpthread.so.0 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file tls/i686/mmx/libgcc_s.so.1 open syscall for file tls/i686/libgcc_s.so.1 open syscall for file tls/mmx/libgcc_s.so.1 open syscall for file tls/libgcc_s.so.1 open syscall for file i686/mmx/libgcc_s.so.1 open syscall for file i686/libgcc_s.so.1 open syscall for file mmx/libgcc_s.so.1 open syscall for file libgcc_s.so.1 open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1 open syscall for file /lib/libgcc_s.so.1 open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /etc/localtime open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-afiro.opb [startup+10.0029 s] Raw data (loadavg): 0.93 0.95 0.91 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 1290 0 0 0 922 24 0 0 24 0 1 0 1782277441 8323072 1201 4294967295 134512640 134736556 3221224560 3221223160 134544505 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 2032 1201 1116 68 0 1964 0 [pid=11249] vsize: 8128 Current children cumulated CPU time (s) 9.46 Current children cumulated vsize (Kb) 8128 [startup+20.0037 s] Raw data (loadavg): 0.94 0.96 0.91 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 1597 0 0 0 1849 50 0 0 25 0 1 0 1782277441 9658368 1508 4294967295 134512640 134736556 3221224560 3221223096 1077377362 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 2358 1508 1116 68 0 2290 0 [pid=11249] vsize: 9432 Current children cumulated CPU time (s) 18.99 Current children cumulated vsize (Kb) 9432 [startup+30.0045 s] Raw data (loadavg): 0.95 0.96 0.91 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 1785 0 0 0 2802 67 0 0 25 0 1 0 1782277441 10334208 1696 4294967295 134512640 134736556 3221224560 3221223276 134560236 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 2523 1696 1116 68 0 2455 0 [pid=11249] vsize: 10092 Current children cumulated CPU time (s) 28.69 Current children cumulated vsize (Kb) 10092 [startup+40.0053 s] Raw data (loadavg): 0.95 0.96 0.91 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 1849 0 0 0 3757 83 0 0 20 0 1 0 1782277441 10600448 1760 4294967295 134512640 134736556 3221224560 3221223100 134553495 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11249/statm): 2588 1760 1116 68 0 2520 0 [pid=11249] vsize: 10352 Current children cumulated CPU time (s) 38.4 Current children cumulated vsize (Kb) 10352 [startup+50.0061 s] Raw data (loadavg): 0.96 0.96 0.91 1/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 6327 0 0 0 4668 120 0 0 25 0 1 0 1782277441 28958720 6238 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/11249/statm): 7070 6238 1116 68 0 7002 0 [pid=11249] vsize: 28280 Current children cumulated CPU time (s) 47.88 Current children cumulated vsize (Kb) 28280 [startup+60.0058 s] Raw data (loadavg): 0.97 0.96 0.91 1/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 12814 0 0 0 5577 160 0 0 25 0 1 0 1782277441 55660544 12721 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/11249/statm): 13589 12721 1116 68 0 13521 0 [pid=11249] vsize: 54356 Current children cumulated CPU time (s) 57.37 Current children cumulated vsize (Kb) 54356 [startup+70.0066 s] Raw data (loadavg): 0.97 0.96 0.91 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 18983 0 0 0 6519 191 0 0 25 0 1 0 1782277441 80936960 18888 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 19760 18888 1116 68 0 19692 0 [pid=11249] vsize: 79040 Current children cumulated CPU time (s) 67.1 Current children cumulated vsize (Kb) 79040 [startup+80.0084 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 19285 0 0 0 7513 194 0 0 25 0 1 0 1782277441 82182144 19188 4294967295 134512640 134736556 3221224560 3221223256 134554000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11249/statm): 20064 19188 1116 68 0 19996 0 [pid=11249] vsize: 80256 Current children cumulated CPU time (s) 77.07 Current children cumulated vsize (Kb) 80256 [startup+90.0092 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 19776 0 0 0 8504 200 0 0 25 0 1 0 1782277441 84209664 19679 4294967295 134512640 134736556 3221224560 3221223208 134554078 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11249/statm): 20559 19679 1116 68 0 20491 0 [pid=11249] vsize: 82236 Current children cumulated CPU time (s) 87.04 Current children cumulated vsize (Kb) 82236 [startup+100.009 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 20790 0 0 0 9490 206 0 0 25 0 1 0 1782277441 88412160 20693 4294967295 134512640 134736556 3221224560 3221223024 134536165 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11249/statm): 21585 20693 1116 68 0 21517 0 [pid=11249] vsize: 86340 Current children cumulated CPU time (s) 96.96 Current children cumulated vsize (Kb) 86340 [startup+110.01 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 21824 0 0 0 10446 225 0 0 25 0 1 0 1782277441 92647424 21724 4294967295 134512640 134736556 3221224560 3221223168 134634142 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 22619 21724 1116 68 0 22551 0 [pid=11249] vsize: 90476 Current children cumulated CPU time (s) 106.71 Current children cumulated vsize (Kb) 90476 [startup+120.011 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 22179 0 0 0 11399 242 0 0 25 0 1 0 1782277441 94109696 22079 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/11249/statm): 22976 22079 1116 68 0 22908 0 [pid=11249] vsize: 91904 Current children cumulated CPU time (s) 116.41 Current children cumulated vsize (Kb) 91904 [startup+130.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 25401 0 0 0 12342 269 0 0 25 0 1 0 1782277441 107364352 25301 4294967295 134512640 134736556 3221224560 3221223116 134537537 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 26212 25301 1116 68 0 26144 0 [pid=11249] vsize: 104848 Current children cumulated CPU time (s) 126.11 Current children cumulated vsize (Kb) 104848 [startup+140.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 26668 0 0 0 13313 282 0 0 25 0 1 0 1782277441 112488448 26568 4294967295 134512640 134736556 3221224560 3221223140 134716328 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11249/statm): 27463 26568 1116 68 0 27395 0 [pid=11249] vsize: 109852 Current children cumulated CPU time (s) 135.95 Current children cumulated vsize (Kb) 109852 [startup+150.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 26997 0 0 0 14262 300 0 0 22 0 1 0 1782277441 113827840 26893 4294967295 134512640 134736556 3221224560 3221223272 134694468 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11249/statm): 27790 26893 1116 68 0 27722 0 [pid=11249] vsize: 111160 Current children cumulated CPU time (s) 145.62 Current children cumulated vsize (Kb) 111160 [startup+160.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 27033 0 0 0 15227 314 0 0 25 0 1 0 1782277441 113954816 26929 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/11249/statm): 27821 26929 1116 68 0 27753 0 [pid=11249] vsize: 111284 Current children cumulated CPU time (s) 155.41 Current children cumulated vsize (Kb) 111284 [startup+170.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 27272 0 0 0 16178 332 0 0 25 0 1 0 1782277441 114905088 27168 4294967295 134512640 134736556 3221224560 3221223296 134529265 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 28053 27168 1116 68 0 27985 0 [pid=11249] vsize: 112212 Current children cumulated CPU time (s) 165.1 Current children cumulated vsize (Kb) 112212 [startup+180.014 s] Raw data (loadavg): 1.07 0.99 0.92 1/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 28901 0 0 0 17123 355 0 0 25 0 1 0 1782277441 121643008 28797 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/11249/statm): 29698 28797 1116 68 0 29630 0 [pid=11249] vsize: 118792 Current children cumulated CPU time (s) 174.78 Current children cumulated vsize (Kb) 118792 [startup+190.015 s] Raw data (loadavg): 1.06 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 30884 0 0 0 18079 375 0 0 25 0 1 0 1782277441 129748992 30780 4294967295 134512640 134736556 3221224560 3221223152 134553321 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11249/statm): 31677 30780 1116 68 0 31609 0 [pid=11249] vsize: 126708 Current children cumulated CPU time (s) 184.54 Current children cumulated vsize (Kb) 126708 [startup+200.016 s] Raw data (loadavg): 1.05 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 31564 0 0 0 19063 381 0 0 25 0 1 0 1782277441 132591616 31460 4294967295 134512640 134736556 3221224560 3221223236 134529176 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 32371 31460 1116 68 0 32303 0 [pid=11249] vsize: 129484 Current children cumulated CPU time (s) 194.44 Current children cumulated vsize (Kb) 129484 [startup+210.017 s] Raw data (loadavg): 1.04 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 31774 0 0 0 20058 383 0 0 25 0 1 0 1782277441 133402624 31670 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 32569 31670 1116 68 0 32501 0 [pid=11249] vsize: 130276 Current children cumulated CPU time (s) 204.41 Current children cumulated vsize (Kb) 130276 [startup+220.016 s] Raw data (loadavg): 1.04 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 32159 0 0 0 21052 387 0 0 25 0 1 0 1782277441 135024640 32055 4294967295 134512640 134736556 3221224560 3221223084 134536676 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 32965 32055 1116 68 0 32897 0 [pid=11249] vsize: 131860 Current children cumulated CPU time (s) 214.39 Current children cumulated vsize (Kb) 131860 [startup+230.017 s] Raw data (loadavg): 1.03 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 32546 0 0 0 22048 389 0 0 25 0 1 0 1782277441 136511488 32442 4294967295 134512640 134736556 3221224560 3221223232 134528802 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 33328 32442 1116 68 0 33260 0 [pid=11249] vsize: 133312 Current children cumulated CPU time (s) 224.37 Current children cumulated vsize (Kb) 133312 [startup+240.018 s] Raw data (loadavg): 1.02 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 32922 0 0 0 23041 393 0 0 25 0 1 0 1782277441 138133504 32818 4294967295 134512640 134736556 3221224560 3221223120 134550935 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 33724 32818 1116 68 0 33656 0 [pid=11249] vsize: 134896 Current children cumulated CPU time (s) 234.34 Current children cumulated vsize (Kb) 134896 [startup+250.019 s] Raw data (loadavg): 1.02 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 33536 0 0 0 24030 398 0 0 25 0 1 0 1782277441 140701696 33432 4294967295 134512640 134736556 3221224560 3221223104 134553321 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 34351 33432 1116 68 0 34283 0 [pid=11249] vsize: 137404 Current children cumulated CPU time (s) 244.28 Current children cumulated vsize (Kb) 137404 [startup+260.02 s] Raw data (loadavg): 1.02 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 34450 0 0 0 25016 404 0 0 25 0 1 0 1782277441 144343040 34346 4294967295 134512640 134736556 3221224560 3221223084 134536623 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 35240 34346 1116 68 0 35172 0 [pid=11249] vsize: 140960 Current children cumulated CPU time (s) 254.2 Current children cumulated vsize (Kb) 140960 [startup+270.019 s] Raw data (loadavg): 1.01 0.99 0.92 1/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 35519 0 0 0 26000 412 0 0 25 0 1 0 1782277441 148803584 35415 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/11249/statm): 36329 35415 1116 68 0 36261 0 [pid=11249] vsize: 145316 Current children cumulated CPU time (s) 264.12 Current children cumulated vsize (Kb) 145316 [startup+280.02 s] Raw data (loadavg): 1.01 0.99 0.92 1/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 36093 0 0 0 26988 416 0 0 25 0 1 0 1782277441 151093248 35989 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/11249/statm): 36888 35989 1116 68 0 36820 0 [pid=11249] vsize: 147552 Current children cumulated CPU time (s) 274.04 Current children cumulated vsize (Kb) 147552 [startup+290.021 s] Raw data (loadavg): 1.01 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 36522 0 0 0 27978 420 0 0 25 0 1 0 1782277441 152850432 36418 4294967295 134512640 134736556 3221224560 3221223048 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 37317 36418 1116 68 0 37249 0 [pid=11249] vsize: 149268 Current children cumulated CPU time (s) 283.98 Current children cumulated vsize (Kb) 149268 [startup+300.021 s] Raw data (loadavg): 1.01 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 37510 0 0 0 28960 429 0 0 25 0 1 0 1782277441 156905472 37406 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 38307 37406 1116 68 0 38239 0 [pid=11249] vsize: 153228 Current children cumulated CPU time (s) 293.89 Current children cumulated vsize (Kb) 153228 [startup+310.022 s] Raw data (loadavg): 1.01 0.99 0.92 1/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 38231 0 0 0 29950 434 0 0 25 0 1 0 1782277441 159866880 38127 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/11249/statm): 39030 38127 1116 68 0 38962 0 [pid=11249] vsize: 156120 Current children cumulated CPU time (s) 303.84 Current children cumulated vsize (Kb) 156120 [startup+320.022 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 39364 0 0 0 30932 444 0 0 25 0 1 0 1782277441 164466688 39260 4294967295 134512640 134736556 3221224560 3221223188 134529471 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 40153 39260 1116 68 0 40085 0 [pid=11249] vsize: 160612 Current children cumulated CPU time (s) 313.76 Current children cumulated vsize (Kb) 160612 [startup+330.023 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 39997 0 0 0 31910 453 0 0 25 0 1 0 1782277441 167170048 39893 4294967295 134512640 134736556 3221224560 3221223120 134551150 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 40813 39893 1116 68 0 40745 0 [pid=11249] vsize: 163252 Current children cumulated CPU time (s) 323.63 Current children cumulated vsize (Kb) 163252 [startup+340.024 s] Raw data (loadavg): 1.00 0.99 0.92 1/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 40672 0 0 0 32889 463 0 0 25 0 1 0 1782277441 169865216 40568 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/11249/statm): 41471 40568 1116 68 0 41403 0 [pid=11249] vsize: 165884 Current children cumulated CPU time (s) 333.52 Current children cumulated vsize (Kb) 165884 [startup+350.025 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 41244 0 0 0 33872 471 0 0 25 0 1 0 1782277441 172294144 41140 4294967295 134512640 134736556 3221224560 3221223200 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 42064 41140 1116 68 0 41996 0 [pid=11249] vsize: 168256 Current children cumulated CPU time (s) 343.43 Current children cumulated vsize (Kb) 168256 [startup+360.026 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 42073 0 0 0 34858 478 0 0 25 0 1 0 1782277441 175656960 41969 4294967295 134512640 134736556 3221224560 3221223120 134550935 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 42885 41969 1116 68 0 42817 0 [pid=11249] vsize: 171540 Current children cumulated CPU time (s) 353.36 Current children cumulated vsize (Kb) 171540 [startup+370.025 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 42330 0 0 0 35839 485 0 0 25 0 1 0 1782277441 176738304 42226 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 43149 42226 1116 68 0 43081 0 [pid=11249] vsize: 172596 Current children cumulated CPU time (s) 363.24 Current children cumulated vsize (Kb) 172596 [startup+380.026 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 42557 0 0 0 36821 492 0 0 25 0 1 0 1782277441 177684480 42453 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 43380 42453 1116 68 0 43312 0 [pid=11249] vsize: 173520 Current children cumulated CPU time (s) 373.13 Current children cumulated vsize (Kb) 173520 [startup+390.027 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 43110 0 0 0 37798 501 0 0 25 0 1 0 1782277441 179847168 43006 4294967295 134512640 134736556 3221224560 3221223160 134554109 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 43908 43006 1116 68 0 43840 0 [pid=11249] vsize: 175632 Current children cumulated CPU time (s) 382.99 Current children cumulated vsize (Kb) 175632 [startup+400.027 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 43641 0 0 0 38783 508 0 0 25 0 1 0 1782277441 182013952 43537 4294967295 134512640 134736556 3221224560 3221223140 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 44437 43537 1116 68 0 44369 0 [pid=11249] vsize: 177748 Current children cumulated CPU time (s) 392.91 Current children cumulated vsize (Kb) 177748 [startup+410.028 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 43984 0 0 0 39767 513 0 0 25 0 1 0 1782277441 183500800 43880 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 44800 43880 1116 68 0 44732 0 [pid=11249] vsize: 179200 Current children cumulated CPU time (s) 402.8 Current children cumulated vsize (Kb) 179200 [startup+420.028 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 44281 0 0 0 40758 517 0 0 25 0 1 0 1782277441 184717312 44177 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 45097 44177 1116 68 0 45029 0 [pid=11249] vsize: 180388 Current children cumulated CPU time (s) 412.75 Current children cumulated vsize (Kb) 180388 [startup+430.029 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 45121 0 0 0 41743 523 0 0 25 0 1 0 1782277441 188231680 45017 4294967295 134512640 134736556 3221224560 3221223284 134529202 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 45955 45017 1116 68 0 45887 0 [pid=11249] vsize: 183820 Current children cumulated CPU time (s) 422.66 Current children cumulated vsize (Kb) 183820 [startup+440.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 45741 0 0 0 42728 529 0 0 25 0 1 0 1782277441 190660608 45637 4294967295 134512640 134736556 3221224560 3221223236 134529176 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 46548 45637 1116 68 0 46480 0 [pid=11249] vsize: 186192 Current children cumulated CPU time (s) 432.57 Current children cumulated vsize (Kb) 186192 [startup+450.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 46572 0 0 0 43711 538 0 0 25 0 1 0 1782277441 194170880 46468 4294967295 134512640 134736556 3221224560 3221223248 134529232 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 47405 46468 1116 68 0 47337 0 [pid=11249] vsize: 189620 Current children cumulated CPU time (s) 442.49 Current children cumulated vsize (Kb) 189620 [startup+460.031 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 47389 0 0 0 44696 545 0 0 25 0 1 0 1782277441 197414912 47285 4294967295 134512640 134736556 3221224560 3221223200 134524403 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11249/statm): 48197 47285 1116 68 0 48129 0 [pid=11249] vsize: 192788 Current children cumulated CPU time (s) 452.41 Current children cumulated vsize (Kb) 192788 [startup+470.031 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 48149 0 0 0 45680 552 0 0 25 0 1 0 1782277441 200654848 48045 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 48988 48045 1116 68 0 48920 0 [pid=11249] vsize: 195952 Current children cumulated CPU time (s) 462.32 Current children cumulated vsize (Kb) 195952 [startup+480.032 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 48780 0 0 0 46663 559 0 0 25 0 1 0 1782277441 203223040 48676 4294967295 134512640 134736556 3221224560 3221223284 134529176 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 49615 48676 1116 68 0 49547 0 [pid=11249] vsize: 198460 Current children cumulated CPU time (s) 472.22 Current children cumulated vsize (Kb) 198460 [startup+490.033 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 49392 0 0 0 47651 564 0 0 25 0 1 0 1782277441 205656064 49288 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 50209 49288 1116 68 0 50141 0 [pid=11249] vsize: 200836 Current children cumulated CPU time (s) 482.15 Current children cumulated vsize (Kb) 200836 [startup+500.033 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 49716 0 0 0 48640 569 0 0 25 0 1 0 1782277441 206999552 49612 4294967295 134512640 134736556 3221224560 3221223060 134551038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 50537 49612 1116 68 0 50469 0 [pid=11249] vsize: 202148 Current children cumulated CPU time (s) 492.09 Current children cumulated vsize (Kb) 202148 [startup+510.033 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 50253 0 0 0 49628 575 0 0 25 0 1 0 1782277441 209162240 50149 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 51065 50149 1116 68 0 50997 0 [pid=11249] vsize: 204260 Current children cumulated CPU time (s) 502.03 Current children cumulated vsize (Kb) 204260 [startup+520.033 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 50448 0 0 0 50619 578 0 0 25 0 1 0 1782277441 210079744 50344 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 51289 50344 1116 68 0 51221 0 [pid=11249] vsize: 205156 Current children cumulated CPU time (s) 511.97 Current children cumulated vsize (Kb) 205156 [startup+530.034 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 50660 0 0 0 51613 580 0 0 25 0 1 0 1782277441 210890752 50556 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 51487 50556 1116 68 0 51419 0 [pid=11249] vsize: 205948 Current children cumulated CPU time (s) 521.93 Current children cumulated vsize (Kb) 205948 [startup+540.035 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 51036 0 0 0 52597 587 0 0 25 0 1 0 1782277441 212377600 50932 4294967295 134512640 134736556 3221224560 3221223276 134560240 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 51850 50932 1116 68 0 51782 0 [pid=11249] vsize: 207400 Current children cumulated CPU time (s) 531.84 Current children cumulated vsize (Kb) 207400 [startup+550.035 s] Raw data (loadavg): 1.07 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 51685 0 0 0 53569 598 0 0 25 0 1 0 1782277441 215056384 51581 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 52504 51581 1116 68 0 52436 0 [pid=11249] vsize: 210016 Current children cumulated CPU time (s) 541.67 Current children cumulated vsize (Kb) 210016 [startup+560.035 s] Raw data (loadavg): 1.06 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 52053 0 0 0 54556 603 0 0 25 0 1 0 1782277441 216543232 51949 4294967295 134512640 134736556 3221224560 3221223452 134551043 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 52867 51949 1116 68 0 52799 0 [pid=11249] vsize: 211468 Current children cumulated CPU time (s) 551.59 Current children cumulated vsize (Kb) 211468 [startup+570.035 s] Raw data (loadavg): 1.05 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 52351 0 0 0 55546 607 0 0 25 0 1 0 1782277441 217894912 52247 4294967295 134512640 134736556 3221224560 3221223136 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 53197 52247 1116 68 0 53129 0 [pid=11249] vsize: 212788 Current children cumulated CPU time (s) 561.53 Current children cumulated vsize (Kb) 212788 [startup+580.036 s] Raw data (loadavg): 1.04 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 52382 0 0 0 56544 607 0 0 25 0 1 0 1782277441 217894912 52278 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 53197 52278 1116 68 0 53129 0 [pid=11249] vsize: 212788 Current children cumulated CPU time (s) 571.51 Current children cumulated vsize (Kb) 212788 [startup+590.037 s] Raw data (loadavg): 1.04 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 52541 0 0 0 57537 610 0 0 25 0 1 0 1782277441 218578944 52437 4294967295 134512640 134736556 3221224560 3221223148 134550916 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 53364 52437 1116 68 0 53296 0 [pid=11249] vsize: 213456 Current children cumulated CPU time (s) 581.47 Current children cumulated vsize (Kb) 213456 [startup+600.038 s] Raw data (loadavg): 1.03 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 52613 0 0 0 58531 612 0 0 25 0 1 0 1782277441 218857472 52509 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 53432 52509 1116 68 0 53364 0 [pid=11249] vsize: 213728 Current children cumulated CPU time (s) 591.43 Current children cumulated vsize (Kb) 213728 [startup+610.037 s] Raw data (loadavg): 1.02 1.00 0.93 1/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 52918 0 0 0 59500 624 0 0 25 0 1 0 1782277441 220205056 52814 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/11249/statm): 53761 52814 1116 68 0 53693 0 [pid=11249] vsize: 215044 Current children cumulated CPU time (s) 601.24 Current children cumulated vsize (Kb) 215044 [startup+620.038 s] Raw data (loadavg): 1.02 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 53185 0 0 0 60477 630 0 0 25 0 1 0 1782277441 221286400 53081 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 54025 53081 1116 68 0 53957 0 [pid=11249] vsize: 216100 Current children cumulated CPU time (s) 611.07 Current children cumulated vsize (Kb) 216100 [startup+630.039 s] Raw data (loadavg): 1.02 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 53391 0 0 0 61459 637 0 0 25 0 1 0 1782277441 222052352 53287 4294967295 134512640 134736556 3221224560 3221223184 134537458 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 54212 53287 1116 68 0 54144 0 [pid=11249] vsize: 216848 Current children cumulated CPU time (s) 620.96 Current children cumulated vsize (Kb) 216848 [startup+640.039 s] Raw data (loadavg): 1.01 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 53477 0 0 0 62445 644 0 0 25 0 1 0 1782277441 222453760 53373 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 54310 53373 1116 68 0 54242 0 [pid=11249] vsize: 217240 Current children cumulated CPU time (s) 630.89 Current children cumulated vsize (Kb) 217240 [startup+650.038 s] Raw data (loadavg): 1.01 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 53660 0 0 0 63424 651 0 0 25 0 1 0 1782277441 223129600 53556 4294967295 134512640 134736556 3221224560 3221223268 134609065 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 54475 53556 1116 68 0 54407 0 [pid=11249] vsize: 217900 Current children cumulated CPU time (s) 640.75 Current children cumulated vsize (Kb) 217900 [startup+660.039 s] Raw data (loadavg): 1.01 1.00 0.93 1/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 53802 0 0 0 64399 660 0 0 23 0 1 0 1782277441 223805440 53698 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/11249/statm): 54640 53698 1116 68 0 54572 0 [pid=11249] vsize: 218560 Current children cumulated CPU time (s) 650.59 Current children cumulated vsize (Kb) 218560 [startup+670.039 s] Raw data (loadavg): 1.01 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 53967 0 0 0 65337 682 0 0 25 0 1 0 1782277441 224460800 53863 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 54800 53863 1116 68 0 54732 0 [pid=11249] vsize: 219200 Current children cumulated CPU time (s) 660.19 Current children cumulated vsize (Kb) 219200 [startup+680.04 s] Raw data (loadavg): 1.01 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 54109 0 0 0 66314 690 0 0 25 0 1 0 1782277441 224968704 54005 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 54924 54005 1116 68 0 54856 0 [pid=11249] vsize: 219696 Current children cumulated CPU time (s) 670.04 Current children cumulated vsize (Kb) 219696 [startup+690.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 54187 0 0 0 67299 695 0 0 25 0 1 0 1782277441 225337344 54083 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/11249/statm): 55014 54083 1116 68 0 54946 0 [pid=11249] vsize: 220056 Current children cumulated CPU time (s) 679.94 Current children cumulated vsize (Kb) 220056 [startup+700.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 54205 0 0 0 68290 698 0 0 25 0 1 0 1782277441 225427456 54101 4294967295 134512640 134736556 3221224560 3221223084 134536326 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 55036 54101 1116 68 0 54968 0 [pid=11249] vsize: 220144 Current children cumulated CPU time (s) 689.88 Current children cumulated vsize (Kb) 220144 [startup+710.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 54300 0 0 0 69247 713 0 0 25 0 1 0 1782277441 225792000 54196 4294967295 134512640 134736556 3221224560 3221223168 134634142 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 55125 54196 1116 68 0 55057 0 [pid=11249] vsize: 220500 Current children cumulated CPU time (s) 699.6 Current children cumulated vsize (Kb) 220500 [startup+720.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 54489 0 0 0 70204 727 0 0 25 0 1 0 1782277441 226582528 54385 4294967295 134512640 134736556 3221224560 3221223140 134716325 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 55318 54385 1116 68 0 55250 0 [pid=11249] vsize: 221272 Current children cumulated CPU time (s) 709.31 Current children cumulated vsize (Kb) 221272 [startup+730.042 s] Raw data (loadavg): 1.00 1.00 0.93 1/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 54675 0 0 0 71176 738 0 0 25 0 1 0 1782277441 227373056 54571 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/11249/statm): 55511 54571 1116 68 0 55443 0 [pid=11249] vsize: 222044 Current children cumulated CPU time (s) 719.14 Current children cumulated vsize (Kb) 222044 [startup+740.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 54855 0 0 0 72145 750 0 0 25 0 1 0 1782277441 228032512 54751 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 55672 54751 1116 68 0 55604 0 [pid=11249] vsize: 222688 Current children cumulated CPU time (s) 728.95 Current children cumulated vsize (Kb) 222688 [startup+750.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 54966 0 0 0 73116 759 0 0 25 0 1 0 1782277441 228569088 54862 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/11249/statm): 55803 54862 1116 68 0 55735 0 [pid=11249] vsize: 223212 Current children cumulated CPU time (s) 738.75 Current children cumulated vsize (Kb) 223212 [startup+760.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 55373 0 0 0 74085 770 0 0 25 0 1 0 1782277441 230199296 55269 4294967295 134512640 134736556 3221224560 3221223296 134529328 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 56201 55269 1116 68 0 56133 0 [pid=11249] vsize: 224804 Current children cumulated CPU time (s) 748.55 Current children cumulated vsize (Kb) 224804 [startup+770.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 55574 0 0 0 75073 775 0 0 25 0 1 0 1782277441 231141376 55469 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 56431 55469 1116 68 0 56363 0 [pid=11249] vsize: 225724 Current children cumulated CPU time (s) 758.48 Current children cumulated vsize (Kb) 225724 [startup+780.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 56134 0 0 0 76059 780 0 0 24 0 1 0 1782277441 233439232 56029 4294967295 134512640 134736556 3221224560 3221223236 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 56992 56029 1116 68 0 56924 0 [pid=11249] vsize: 227968 Current children cumulated CPU time (s) 768.39 Current children cumulated vsize (Kb) 227968 [startup+790.044 s] Raw data (loadavg): 1.07 1.02 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 56374 0 0 0 77040 787 0 0 25 0 1 0 1782277441 234385408 56269 4294967295 134512640 134736556 3221224560 3221223200 134536560 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 57223 56269 1116 68 0 57155 0 [pid=11249] vsize: 228892 Current children cumulated CPU time (s) 778.27 Current children cumulated vsize (Kb) 228892 [startup+800.044 s] Raw data (loadavg): 1.06 1.02 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 56545 0 0 0 78024 793 0 0 25 0 1 0 1782277441 235061248 56440 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11249/statm): 57388 56440 1116 68 0 57320 0 [pid=11249] vsize: 229552 Current children cumulated CPU time (s) 788.17 Current children cumulated vsize (Kb) 229552 [startup+810.045 s] Raw data (loadavg): 1.05 1.01 0.93 1/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) T 11248 11249 9854 0 -1 0 56633 0 0 0 79004 800 0 0 25 0 1 0 1782277441 235466752 56528 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/11249/statm): 57487 56528 1116 68 0 57419 0 [pid=11249] vsize: 229948 Current children cumulated CPU time (s) 798.04 Current children cumulated vsize (Kb) 229948 [startup+820.045 s] Raw data (loadavg): 1.04 1.01 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 56891 0 0 0 79964 814 0 0 25 0 1 0 1782277441 236531712 56786 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 57747 56786 1116 68 0 57679 0 [pid=11249] vsize: 230988 Current children cumulated CPU time (s) 807.78 Current children cumulated vsize (Kb) 230988 [startup+830.047 s] Raw data (loadavg): 1.04 1.01 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 57024 0 0 0 80957 818 0 0 25 0 1 0 1782277441 237072384 56919 4294967295 134512640 134736556 3221224560 3221223184 134524549 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 57879 56919 1116 68 0 57811 0 [pid=11249] vsize: 231516 Current children cumulated CPU time (s) 817.75 Current children cumulated vsize (Kb) 231516 [startup+840.048 s] Raw data (loadavg): 1.03 1.01 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 57130 0 0 0 81935 825 0 0 25 0 1 0 1782277441 237469696 57025 4294967295 134512640 134736556 3221224560 3221223164 134537504 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 57976 57025 1116 68 0 57908 0 [pid=11249] vsize: 231904 Current children cumulated CPU time (s) 827.6 Current children cumulated vsize (Kb) 231904 [startup+850.047 s] Raw data (loadavg): 1.02 1.01 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 57879 0 0 0 82916 833 0 0 25 0 1 0 1782277441 240459776 57774 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11249/statm): 58706 57774 1116 68 0 58638 0 [pid=11249] vsize: 234824 Current children cumulated CPU time (s) 837.49 Current children cumulated vsize (Kb) 234824 [startup+860.048 s] Raw data (loadavg): 1.02 1.01 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 57948 0 0 0 83906 837 0 0 25 0 1 0 1782277441 240865280 57843 4294967295 134512640 134736556 3221224560 3221223236 134529176 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11249/statm): 58805 57843 1116 68 0 58737 0 [pid=11249] vsize: 235220 Current children cumulated CPU time (s) 847.43 Current children cumulated vsize (Kb) 235220 [startup+870.049 s] Raw data (loadavg): 1.02 1.01 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 57983 0 0 0 84897 841 0 0 25 0 1 0 1782277441 241000448 57878 4294967295 134512640 134736556 3221224560 3221223280 134529182 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 58838 57878 1116 68 0 58770 0 [pid=11249] vsize: 235352 Current children cumulated CPU time (s) 857.38 Current children cumulated vsize (Kb) 235352 [startup+880.05 s] Raw data (loadavg): 1.01 1.01 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 58384 0 0 0 85884 846 0 0 25 0 1 0 1782277441 242622464 58279 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 59234 58279 1116 68 0 59166 0 [pid=11249] vsize: 236936 Current children cumulated CPU time (s) 867.3 Current children cumulated vsize (Kb) 236936 [startup+890.05 s] Raw data (loadavg): 1.01 1.01 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 58422 0 0 0 86874 849 0 0 25 0 1 0 1782277441 242757632 58317 4294967295 134512640 134736556 3221224560 3221223296 134529232 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 59267 58317 1116 68 0 59199 0 [pid=11249] vsize: 237068 Current children cumulated CPU time (s) 877.23 Current children cumulated vsize (Kb) 237068 [startup+900.05 s] Raw data (loadavg): 1.01 1.01 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 58868 0 0 0 87861 855 0 0 25 0 1 0 1782277441 244514816 58763 4294967295 134512640 134736556 3221224560 3221223284 134529176 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 59696 58763 1116 68 0 59628 0 [pid=11249] vsize: 238784 Current children cumulated CPU time (s) 887.16 Current children cumulated vsize (Kb) 238784 [startup+910.051 s] Raw data (loadavg): 1.01 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 58907 0 0 0 88855 858 0 0 25 0 1 0 1782277441 244785152 58802 4294967295 134512640 134736556 3221224560 3221223148 134550916 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 59762 58802 1116 68 0 59694 0 [pid=11249] vsize: 239048 Current children cumulated CPU time (s) 897.13 Current children cumulated vsize (Kb) 239048 [startup+920.052 s] Raw data (loadavg): 1.01 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 58940 0 0 0 89850 859 0 0 25 0 1 0 1782277441 244916224 58835 4294967295 134512640 134736556 3221224560 3221223164 134537537 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 59794 58835 1116 68 0 59726 0 [pid=11249] vsize: 239176 Current children cumulated CPU time (s) 907.09 Current children cumulated vsize (Kb) 239176 [startup+930.053 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 59060 0 0 0 90840 864 0 0 25 0 1 0 1782277441 245321728 58955 4294967295 134512640 134736556 3221224560 3221223160 134554109 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 59893 58955 1116 68 0 59825 0 [pid=11249] vsize: 239572 Current children cumulated CPU time (s) 917.04 Current children cumulated vsize (Kb) 239572 [startup+940.053 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 59061 0 0 0 91836 866 0 0 25 0 1 0 1782277441 245321728 58956 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 59893 58956 1116 68 0 59825 0 [pid=11249] vsize: 239572 Current children cumulated CPU time (s) 927.02 Current children cumulated vsize (Kb) 239572 [startup+950.053 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 59082 0 0 0 92833 867 0 0 25 0 1 0 1782277441 245456896 58977 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 59926 58977 1116 68 0 59858 0 [pid=11249] vsize: 239704 Current children cumulated CPU time (s) 937 Current children cumulated vsize (Kb) 239704 [startup+960.054 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 59112 0 0 0 93828 869 0 0 25 0 1 0 1782277441 245583872 59007 4294967295 134512640 134736556 3221224560 3221223188 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 59957 59007 1116 68 0 59889 0 [pid=11249] vsize: 239828 Current children cumulated CPU time (s) 946.97 Current children cumulated vsize (Kb) 239828 [startup+970.054 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 59151 0 0 0 94821 872 0 0 25 0 1 0 1782277441 245719040 59046 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 59990 59046 1116 68 0 59922 0 [pid=11249] vsize: 239960 Current children cumulated CPU time (s) 956.93 Current children cumulated vsize (Kb) 239960 [startup+980.056 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 59190 0 0 0 95814 876 0 0 25 0 1 0 1782277441 245854208 59085 4294967295 134512640 134736556 3221224560 3221223232 134528659 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 60023 59085 1116 68 0 59955 0 [pid=11249] vsize: 240092 Current children cumulated CPU time (s) 966.9 Current children cumulated vsize (Kb) 240092 [startup+990.056 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 59961 0 0 0 96788 886 0 0 25 0 1 0 1782277441 249098240 59856 4294967295 134512640 134736556 3221224560 3221223232 134528714 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 60815 59856 1116 68 0 60747 0 [pid=11249] vsize: 243260 Current children cumulated CPU time (s) 976.74 Current children cumulated vsize (Kb) 243260 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 60049 0 0 0 97766 895 0 0 25 0 1 0 1782277441 249372672 59943 4294967295 134512640 134736556 3221224560 3221223200 134553321 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 60882 59943 1116 68 0 60814 0 [pid=11249] vsize: 243528 Current children cumulated CPU time (s) 986.61 Current children cumulated vsize (Kb) 243528 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 60100 0 0 0 98751 900 0 0 25 0 1 0 1782277441 249638912 59994 4294967295 134512640 134736556 3221224560 3221223084 134536676 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 60947 59994 1116 68 0 60879 0 [pid=11249] vsize: 243788 Current children cumulated CPU time (s) 996.51 Current children cumulated vsize (Kb) 243788 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 60113 0 0 0 99744 902 0 0 25 0 1 0 1782277441 249638912 60007 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 60947 60007 1116 68 0 60879 0 [pid=11249] vsize: 243788 Current children cumulated CPU time (s) 1006.46 Current children cumulated vsize (Kb) 243788 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 60137 0 0 0 100728 907 0 0 25 0 1 0 1782277441 249774080 60031 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 60980 60031 1116 68 0 60912 0 [pid=11249] vsize: 243920 Current children cumulated CPU time (s) 1016.35 Current children cumulated vsize (Kb) 243920 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 60230 0 0 0 101723 908 0 0 25 0 1 0 1782277441 250175488 60124 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 61078 60124 1116 68 0 61010 0 [pid=11249] vsize: 244312 Current children cumulated CPU time (s) 1026.31 Current children cumulated vsize (Kb) 244312 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 60302 0 0 0 102719 910 0 0 25 0 1 0 1782277441 250429440 60196 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 61140 60196 1116 68 0 61072 0 [pid=11249] vsize: 244560 Current children cumulated CPU time (s) 1036.29 Current children cumulated vsize (Kb) 244560 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 60570 0 0 0 103704 915 0 0 25 0 1 0 1782277441 251625472 60464 4294967295 134512640 134736556 3221224560 3221223096 1077377229 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 61432 60464 1116 68 0 61364 0 [pid=11249] vsize: 245728 Current children cumulated CPU time (s) 1046.19 Current children cumulated vsize (Kb) 245728 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 60868 0 0 0 104692 920 0 0 25 0 1 0 1782277441 252850176 60762 4294967295 134512640 134736556 3221224560 3221223212 134554110 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 61731 60762 1116 68 0 61663 0 [pid=11249] vsize: 246924 Current children cumulated CPU time (s) 1056.12 Current children cumulated vsize (Kb) 246924 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 61218 0 0 0 105671 929 0 0 25 0 1 0 1782277441 254181376 61112 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 62056 61112 1116 68 0 61988 0 [pid=11249] vsize: 248224 Current children cumulated CPU time (s) 1066 Current children cumulated vsize (Kb) 248224 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 61543 0 0 0 106651 937 0 0 25 0 1 0 1782277441 255533056 61437 4294967295 134512640 134736556 3221224560 3221223248 134536448 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11249/statm): 62386 61437 1116 68 0 62318 0 [pid=11249] vsize: 249544 Current children cumulated CPU time (s) 1075.88 Current children cumulated vsize (Kb) 249544 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 61575 0 0 0 107646 939 0 0 25 0 1 0 1782277441 255664128 61469 4294967295 134512640 134736556 3221224560 3221223216 134528671 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 62418 61469 1116 68 0 62350 0 [pid=11249] vsize: 249672 Current children cumulated CPU time (s) 1085.85 Current children cumulated vsize (Kb) 249672 [startup+1110.06 s] Raw data (loadavg): 1.08 1.02 0.94 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 61740 0 0 0 108639 942 0 0 25 0 1 0 1782277441 256339968 61634 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 62583 61634 1116 68 0 62515 0 [pid=11249] vsize: 250332 Current children cumulated CPU time (s) 1095.81 Current children cumulated vsize (Kb) 250332 [startup+1120.06 s] Raw data (loadavg): 1.07 1.02 0.94 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 61909 0 0 0 109635 943 0 0 25 0 1 0 1782277441 257015808 61803 4294967295 134512640 134736556 3221224560 3221223276 134524324 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 62748 61803 1116 68 0 62680 0 [pid=11249] vsize: 250992 Current children cumulated CPU time (s) 1105.78 Current children cumulated vsize (Kb) 250992 [startup+1130.06 s] Raw data (loadavg): 1.06 1.01 0.94 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 62343 0 0 0 110615 951 0 0 25 0 1 0 1782277441 258899968 62237 4294967295 134512640 134736556 3221224560 3221223200 134553321 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 63208 62237 1116 68 0 63140 0 [pid=11249] vsize: 252832 Current children cumulated CPU time (s) 1115.66 Current children cumulated vsize (Kb) 252832 [startup+1140.06 s] Raw data (loadavg): 1.05 1.01 0.94 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 62902 0 0 0 111586 963 0 0 25 0 1 0 1782277441 261193728 62796 4294967295 134512640 134736556 3221224560 3221223248 134529363 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 63768 62796 1116 68 0 63700 0 [pid=11249] vsize: 255072 Current children cumulated CPU time (s) 1125.49 Current children cumulated vsize (Kb) 255072 [startup+1150.07 s] Raw data (loadavg): 1.04 1.01 0.94 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 63248 0 0 0 112563 971 0 0 25 0 1 0 1782277441 262545408 63139 4294967295 134512640 134736556 3221224560 3221223152 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 64098 63139 1116 68 0 64030 0 [pid=11249] vsize: 256392 Current children cumulated CPU time (s) 1135.34 Current children cumulated vsize (Kb) 256392 [startup+1160.07 s] Raw data (loadavg): 1.03 1.01 0.94 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 63494 0 0 0 113547 978 0 0 25 0 1 0 1782277441 263614464 63385 4294967295 134512640 134736556 3221224560 3221223284 134529176 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 64359 63385 1116 68 0 64291 0 [pid=11249] vsize: 257436 Current children cumulated CPU time (s) 1145.25 Current children cumulated vsize (Kb) 257436 [startup+1170.07 s] Raw data (loadavg): 1.03 1.01 0.94 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 63741 0 0 0 114523 989 0 0 25 0 1 0 1782277441 264548352 63632 4294967295 134512640 134736556 3221224560 3221223120 134550935 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 64587 63632 1116 68 0 64519 0 [pid=11249] vsize: 258348 Current children cumulated CPU time (s) 1155.12 Current children cumulated vsize (Kb) 258348 [startup+1180.07 s] Raw data (loadavg): 1.02 1.01 0.94 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 64242 0 0 0 115490 1002 0 0 25 0 1 0 1782277441 266694656 64133 4294967295 134512640 134736556 3221224560 3221223124 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 65111 64133 1116 68 0 65043 0 [pid=11249] vsize: 260444 Current children cumulated CPU time (s) 1164.92 Current children cumulated vsize (Kb) 260444 [startup+1190.07 s] Raw data (loadavg): 1.02 1.01 0.94 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 64796 0 0 0 116455 1017 0 0 25 0 1 0 1782277441 268980224 64686 4294967295 134512640 134736556 3221224560 3221223232 134536510 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 65669 64686 1116 68 0 65601 0 [pid=11249] vsize: 262676 Current children cumulated CPU time (s) 1174.72 Current children cumulated vsize (Kb) 262676 [startup+1200.07 s] Raw data (loadavg): 1.02 1.01 0.94 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 65590 0 0 0 117421 1029 0 0 25 0 1 0 1782277441 272216064 65480 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11249/statm): 66459 65480 1116 68 0 66391 0 [pid=11249] vsize: 265836 Current children cumulated CPU time (s) 1184.5 Current children cumulated vsize (Kb) 265836 [startup+1210.07 s] Raw data (loadavg): 1.01 1.01 0.94 2/56 11249 Raw data (/proc/11249/stat): 11249 (bsolo) R 11248 11249 9854 0 -1 0 66256 0 0 0 118385 1043 0 0 25 0 1 0 1782277441 274915328 66146 4294967295 134512640 134736556 3221224560 3221223232 134528659 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11249/statm): 67118 66146 1116 68 0 67050 0 [pid=11249] vsize: 268472 Current children cumulated CPU time (s) 1194.28 Current children cumulated vsize (Kb) 268472 One traced child (pid=11249) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1210.93 CPU time (s): 1195.14 CPU user time (s): 1184.58 CPU system time (s): 10.5594 CPU usage (%): 98.6962 Max. virtual memory (cumulated for all children) (Kb): 268472
Verifier: OK -4121005